*w + 0*w + 4 = u. Let x = -160/3 + 54. Does w = x?
False
Suppose -5*h + f + 2*f + 5 = 0, -h + 29 = 5*f. Suppose -4*b + 10 = b, -h*b = -v. Which is greater: 2/7 or v?
v
Let b = -0.11 + 0.11. Suppose -3*i = -3 - 6. Which is smaller: i or b?
b
Let x = 0.82 + -0.12. Let o = 15/1049 - -165427/22029. Let t = 48/7 - o. Which is bigger: t or x?
x
Let f = 23 - 29. Let k be (-7 - f)/(1/2). Is -3 bigger than k?
False
Let a be (-3 - (1 + -9))*-1. Is -3 bigger than a?
True
Let l be (-12 - -13)/((-1)/5). Let q = -6 - l. Which is greater: 0 or q?
0
Let s be 9/4 + 2/(-8). Let u = -22 - -10. Let d(v) = -v - 12. Let l be d(u). Is l > s?
False
Let y = 52 - 52. Are y and -4/9 nonequal?
True
Suppose 2*o + 2*i = 6, -3*i = -4*o + 2*i + 3. Which is smaller: 1 or o?
1
Let l(q) = -q**2 + 10*q - 25. Let c be l(5). Is 7/9 < c?
False
Let w(x) = -x**2 - 4. Let p be w(0). Let n be 2/((10/p)/5). Let u be n/(-10) + (0 - -1). Which is greater: u or 1?
u
Let k = 76 - 76. Which is smaller: -63 or k?
-63
Let n = -1.7 + 11.7. Let l = n - 9.2. Which is smaller: -1 or l?
-1
Let w = 1.055 - 0.055. Which is smaller: -1/5 or w?
-1/5
Let z be (-2)/(-6) - 116/(-12). Let k = z + -14. Let f = -2 - 4. Which is greater: k or f?
k
Let u = 0.036 - 0.036. Suppose 2*h + 2*h + 8 = 0. Is u greater than or equal to h?
True
Let n(g) = -g. Let d be n(-20). Which is bigger: 61/3 or d?
61/3
Let v = -15 - -19. Suppose -3*a = -o - v*a + 6, -3*a + 17 = 2*o. Which is bigger: -2/13 or o?
o
Suppose 4*x + 0*x + 3*i = 39, 2 = 2*i. Let c = -12 + x. Let d = -3151/1887 - -2/629. Which is bigger: c or d?
d
Suppose 0*r - 8 = 2*r. Do r and -5 have the same value?
False
Suppose 4*g - 24 = 2*g. Suppose -h - 4 = 0, c + 0*h - g = 3*h. Let j be -3 - (1 + (-3)/1). Is j less than c?
True
Let f(v) = -v**2 - 4*v + 4. Let g be f(-5). Let b = 9 + -9. Do g and b have the same value?
False
Suppose 5*q + 1 = -4. Suppose -5*y = -4*w + 15, 16 = 5*w - 9. Is q less than y?
True
Let h = 84 + -843/10. Which is smaller: 1/2 or h?
h
Let y(l) = -l**2 + 6*l - 3. Suppose 5*p - 10 = 20. Let x be 38/p + (-1)/3. Let b be y(x). Which is smaller: 1 or b?
b
Let k be (3/(-1))/(2/90). Let u be (-24)/k + (-2)/(-9). Which is smaller: 16 or u?
u
Let n = -0.2 - 1.8. Let i = n + 4. Which is smaller: -1 or i?
-1
Let n be ((-10)/(-4))/5*8. Suppose 0 = 2*m + n. Are 4 and m non-equal?
True
Let t be -3 + (-2 - -3 - 2). Which is bigger: t or -2?
-2
Let d = -0.01 + 14.01. Let b = -14.7 + d. Let z = -0.3 + b. Is z > -4?
True
Let d(u) = -3*u**2 + 5*u - 10. Let f(t) = 4*t**2 - 5*t + 9. Let j(k) = -5*d(k) - 4*f(k). Let w be j(-7). Which is bigger: w or 4/15?
4/15
Let i = 89/2 + -45. Which is bigger: i or -16?
i
Suppose 2*b = -4*z + 18, b - 3*b + 4*z = 14. Which is smaller: 4/25 or b?
4/25
Suppose -4*k - 11258 = -5*t, -9004 = -4*t + 4*k - 2*k. Let x = 267726/119 - t. Let v = 1/17 + x. Is v not equal to -1?
True
Let n = 28.8 + -29. Let p = n - -7.2. Which is smaller: -0.2 or p?
-0.2
Suppose 11*c = -205 + 40. Is c greater than or equal to -14?
False
Let f = 5 + -4.97. Let n = 0.33 - f. Let k = n + -0.3. Is k smaller than -3?
False
Let z = -856 - -857. Suppose 0 = 2*t + 18 + 10. Which is smaller: t or z?
t
Let t = -6 - -10. Suppose -3*h = -4*h + t. Suppose -5*g + 1 = -h. Which is greater: g or -1/3?
g
Suppose -10*y + 8 = -2. Which is greater: 7 or y?
7
Let c = -1 + 2. Let a = 17/2 - 223/26. Which is smaller: a or c?
a
Let a = 11 + -11. Let f(q) = -q**2 - 6*q - 1. Let u be f(-3). Let s = u - 5. Which is bigger: a or s?
s
Let s = -567/5 - -113. Is s less than 0.2?
True
Let t(f) = -2*f - 6. Let g be t(6). Let k be ((-6)/(-4))/(g/(-8)). Suppose -3*z - 2 = -8. Which is smaller: z or k?
k
Let s(m) = -m**3 - 7*m**2 + 8*m - 5. Let h be s(-8). Which is smaller: h or -3?
h
Let h = 3 + -12. Which is smaller: h or -10?
-10
Let u = -2590/3 + 875. Let q = 11 - u. Let r = 2 + -1. Is r bigger than q?
True
Let i(s) = -s**2 + 13*s - 11. Let f be i(12). Let y be (-4)/(-4)*(-1 + f). Let c = y + -4. Are c and -1 equal?
False
Let a be (((-12)/16 + 1)*12)/1. Is a bigger than 24/7?
False
Let r = 2 + 0. Suppose 0*g - g = -r. Suppose h = g*h - 1. Is h smaller than 0?
False
Suppose -8*t - 4 = -7*t. Let u be t + -2 + (-26)/(-4). Which is smaller: 11/2 or u?
u
Let h = 120 + -99. Which is greater: 20 or h?
h
Let k = 2.1 + -2. Let d = k - 0.2. Let l = 0.1 - d. Which is smaller: 2/7 or l?
l
Let f be 43/(-5) - 42/105. Does -5 = f?
False
Let b = 273 + -1369/5. Is b greater than or equal to -2?
True
Suppose 8 = -2*v - 2*g, 6 = -4*g - 6. Which is smaller: v or -3?
-3
Let n = -3917 + 43039/11. Let c = n + 229/55. Are c and -0.1 equal?
False
Let n = -2 - -2.1. Which is bigger: n or -1/14?
n
Let u = 545 + -15257/28. Is u less than 0?
False
Let z = 53/3 + -18. Suppose 0*f + c = 5*f, 2*f + 3 = c. Suppose 0 = 2*i + 3 - f. Which is smaller: z or i?
i
Let v(i) be the second derivative of -i**5/20 - i**2/2 + 2*i. Let b be v(-1). Suppose 0 = 2*w - b*w - 2. Are w and 2 nonequal?
True
Suppose 3*q = 3*k - 15, -10 = -4*k - 3*q + 2*q. Is 3 not equal to k?
False
Let d(m) = -m**2 - 2*m + 7. Let g be d(-5). Let v = -9 - g. Is v not equal to -3/11?
True
Let o(a) = 2*a**3 + 21*a**2 - 14*a + 29. Let m(g) = g**3 + 11*g**2 - 7*g + 15. Let n(t) = -7*m(t) + 4*o(t). Let w be n(-8). Is 4 smaller than w?
False
Suppose -25 = -5*j + 5*n, -14 = 2*j + 5*n - 3. Suppose 0 = 3*x - 6*x - j*r + 70, -5*x = -4*r - 124. Which is smaller: 23 or x?
23
Let n = -1.3 + 18.3. Let r = -25 + n. Which is smaller: 1 or r?
r
Let s = 1.4 - 1.45. Is s at most -2?
False
Let c be (4/12)/(3/42). Is 5 smaller than c?
False
Let f = -2 - 3. Let c = -0.1 + 0. Which is bigger: c or f?
c
Suppose -5 = -4*d - 13. Let a be (-4)/d + 2/(-6). Suppose -b - h + 13 = 2*b, 2*h = 4*b - 4. Which is smaller: b or a?
a
Let c = 1 - 3. Suppose 4*d = -10 + 34. Suppose 0 = -2*r - 0*r - d. Which is bigger: r or c?
c
Let y be (-2)/(-9) - 64/(-36). Suppose y*z + 0 = 2. Is 1/8 greater than z?
False
Let b(j) = 3*j**3 + j**2 - 2*j + 1. Suppose 0 = s - o + 4*o + 2, 0 = 5*o + 5. Let z be b(s). Is 1 greater than or equal to z?
False
Let w = -2 - -2.15. Let h = -0.05 + w. Is -1 >= h?
False
Let d be 9/(-6) + 2/(-4). Let m be d/(-4) + (-19)/2. Let y be ((-6)/16)/(m/6). Which is smaller: y or -1?
-1
Let v(y) = 2*y + 23. Let c be v(-10). Let o(i) = -3*i + 7. Let g be o(c). Which is smaller: -1 or g?
g
Let v(r) = -r**2 + 2 + 9*r + 5*r**2 - 6*r**2. Let o be v(5). Is -3 > o?
False
Let w(p) = -p - 6. Let l be w(-8). Let y(r) = r + 2 + 3*r + 4 - r**2. Let q be y(5). Do q and l have the same value?
False
Let a = -75 + -19. Is -94 != a?
False
Let q = -4/21 + -2/21. Which is greater: -2/21 or q?
-2/21
Let x be 7*2/(-2)*-1. Let i = 23 - x. Suppose 0 = -5*j - 4 - i. Which is bigger: j or 1/3?
1/3
Let f = 5 + -7. Let n = f - -2.03. Which is bigger: n or -1?
n
Let o(s) = -s**2 - 14*s - 21. Let x be o(-12). Suppose 0 = -k - t + 13, 2*k - 7*k + 63 = 4*t. Let v = -8 + k. Is x < v?
False
Let p(f) = -f**3 + f + 18. Let v be p(0). Let h be 76/v + (-12)/54. Is h greater than 3?
True
Let i be 0/(-1 + -1 + 3). Is i <= 2/13?
True
Suppose 5*r - 4*r = -4*r. Which is bigger: -2/11 or r?
r
Let l = 0 + -3. Let s = 11/3 + l. Which is smaller: 0.1 or s?
0.1
Let b(o) = o**3 - 7*o**2 + o - 4. Let v be b(7). Suppose 3 = 2*j + v*q + 2, 4*j = 4*q - 8. Which is greater: -2/7 or j?
-2/7
Let g = -156.79 - -158. Let b = g - 0.01. Let x = 0.2 - b. Is -1 greater than x?
False
Let v = -13.98 + 14. Let b = -4.02 + v. Which is smaller: b or 1/4?
b
Let w = -0.024 + 22.024. Which is greater: w or 3/4?
w
Suppose -d - d = 0. Let k be 795/(-20) + 2/(-8). Let h = -161/4 - k. Is d less than h?
False
Let z(f) be the second derivative of -f**3/6 + f**2/2 - f. Let d be (3/2)/(12/16). Let v be z(d). Which is smaller: v or 2/11?
v
Let o be (-10)/4 + 1 - (-437)/46. Suppose 7 + 33 = 4*k. Is o greater than k?
False
Suppose -7 = 4*p - 3*p. Is p bigger than -6?
False
Let g(x) = -7*x + 7 + 4*x + 4*x. Let u be g(-7). Is 1 at most as big as u?
False
Let s(f) = -2*f + 1. Let a be s(-1). Suppose -2*x = 5 + a. Are -3 and x unequal?
True
Suppose 2*h = -j - h - 6, j + 2*h + 4 = 0. Which is bigger: j or -2/33?
j
Let m = -64 - -77. Is m less than or equal to -4?
False
Suppose 139*j = 144*j - 75. Is j < 55/4?
False
Let d = -52 + 49. Let q(k) = k + 4. Let f(o) 