e 34*v - 36*v - 38 = 0. Which is bigger: -17 or v?
-17
Let g = -7 - -11. Let i = -6 + g. Let w be (i + -1)*24/(-18). Is 4 smaller than w?
False
Let y = -551/1258 + 15/74. Which is smaller: 1 or y?
y
Let s be 1/(-3) + (-4)/(-3). Let a be 1 + ((-13)/11 - 0). Which is greater: s or a?
s
Suppose -j = 3*j + 4. Let h be j/27*24/20. Which is smaller: h or -1?
-1
Let x = -5/232 + -767/2088. Let h = x + 4/9. Is 1 bigger than h?
True
Let p = 2.05 - 2. Which is smaller: p or 0.1?
p
Suppose 0*b = -4*b - 4. Suppose -2*a + 6 = -2*g, 0*a + 2*g = 3*a - 6. Which is bigger: b or a?
a
Let x(p) = 4*p + 1. Let k be x(3). Let c = -6 + k. Let z(w) = w**2 - 2*w + 4. Let y be z(3). Are c and y unequal?
False
Suppose 0 = -3*g - 8 - 7, -11 = 4*p + 3*g. Let o be (-2)/(-5) + (-28)/20. Which is greater: p or o?
p
Let v be ((1056/(-15))/4)/(12/(-60)). Is v < 88?
False
Let c(b) = 17*b**2 + 4*b - 3. Let w(i) = -50*i**2 - 12*i + 8. Let y(d) = 17*c(d) + 6*w(d). Let j be y(-3). Let m = 2608/29 + j. Which is greater: -1 or m?
m
Suppose -8*m + 21*m = 377. Which is smaller: m or -2?
-2
Let p be 21/52 + -3 + (-33)/(-12). Which is smaller: p or -1?
-1
Let r be (-34)/(-156) - 11/66. Is -1 bigger than r?
False
Let n(p) = p - 1. Let w be n(3). Let q = 21/2 - 139/14. Is w at least q?
True
Let w be ((-2)/229)/(9/(-9)). Are w and 1 unequal?
True
Let l = 70 - 347/5. Let m = 9 - 7. Is l < m?
True
Let k be 1/(-4)*(-2 + 3). Suppose 2*z = z - 2. Let q = z - -1. Is k at most as big as q?
False
Let x = -18.4 - -17. Let k = x + 0.4. Let v = 0 + k. Which is smaller: -0.2 or v?
v
Let s = 11 - 14. Are -3 and s equal?
True
Let d = 23/42 - 3/14. Let x(c) be the first derivative of -c**2/2 + c + 2. Let j be x(0). Which is smaller: j or d?
d
Let w = -206 - -1850/9. Is w at most -1?
False
Let m = 0.01 + 0.19. Let l = m + -2.2. Let b be (1/4)/(-1) - 0. Is b at most as big as l?
False
Let b = -69.6 + 78.63. Let o = -1.5 - 7.5. Let t = b + o. Are t and 0 nonequal?
True
Let a = -81 + 82. Do a and -8 have the same value?
False
Let i be 0 + (1 + 0)*0. Is 1 != i?
True
Let y = 20.77 - 21. Which is bigger: 0.1 or y?
0.1
Let r(t) = t**3 - 5*t**2 + 2*t - 7. Let d be -1 + 1 + 2 + 3. Let w be r(d). Let c be ((-1)/(-3))/((-1)/w). Which is greater: c or -3/8?
-3/8
Let h = -12.5 + 13. Let r = h - 1.5. Let g = 26 + -180/7. Is g equal to r?
False
Let q be (33/44)/(1/4). Suppose 0 = -3*c + 2*j + q, -5*c + 3 = -4*j - 0*j. Which is smaller: 4 or c?
c
Let m = -52.21 + 52. Let f = 0.01 + m. Which is smaller: f or 0?
f
Let c = 19 + -19.1. Do 0.6 and c have the same value?
False
Let v = -889/1271 + 30/41. Which is smaller: v or -1?
-1
Let q = -2.415 + 0.445. Let n = q + -0.03. Suppose -4*h = 3*k - 10, -11*h = -2*k - 9*h + 2. Are n and k unequal?
True
Let s(r) = -6*r**2 - r. Let o be s(1). Suppose -5*t + 2*k + 25 = -3*k, 3*k - 5 = -t. Let p be t/(-10) - 2/4. Which is greater: p or o?
p
Let g = -64 + 29. Is g less than -36?
False
Suppose 0 = -2*b + b + 12. Suppose -5 = k + b. Which is greater: k or -16?
-16
Let h = -83.1 + 83. Is -1/2 > h?
False
Suppose -3*f + k + 2*k = -9, 4*f - 12 = -2*k. Let w be 2 - (2 - (f + -3)). Are 1/4 and w non-equal?
True
Let d = 0 + -2. Do -1 and d have the same value?
False
Let g = -51 + 305/6. Let l be (0/(-1))/(0 - -1). Which is smaller: l or g?
g
Suppose 3*n - 5*f = 31, -4*f + 2*f = -n + 11. Suppose -b - 4*o - 15 + 2 = 0, -b - 2*o = n. Let z be ((-2)/(-20))/(4/10). Which is smaller: b or z?
b
Let u = 1/774 - 47993/3870. Let d = u + 553/45. Which is smaller: 1 or d?
d
Let d = 81 - 141. Is d smaller than -62?
False
Suppose 5*r + 20 = -5*c, -3*r + c + 2 = -2. Let l be r - (1 - 6/1). Suppose x = l*x. Which is smaller: -1/3 or x?
-1/3
Let r = 11 - 15. Let i = 1.6 - 7.6. Let c = i - r. Which is smaller: c or -0.1?
c
Let q = -2 + 6. Suppose -3*a - 4 = t - 3*t, 2*t - 2 = q*a. Suppose -a*y - 4 = 4*d, -3*y + 5*d - 7 + 1 = 0. Which is greater: -1/2 or y?
-1/2
Let y = -13.84 - 0.16. Let i = y + 14.1. Is 5 < i?
False
Let n = 2.2 - 1.2. Let f be 4/3*(-3)/(-2). Is n < f?
True
Let u = 0 - -0.1. Let z = u - 0.4. Let l = 0.2 + z. Is -0.1 at most as big as l?
True
Let y = 4 + -4. Suppose 2*f + 4 = -y*f. Which is smaller: f or -2/3?
f
Let t be (-6)/4*(-8)/(-12). Is t not equal to -1?
False
Suppose 5*r + 20 = 0, 2*n + 3*r - 6*r - 16 = 0. Let m be -1*3*(-2)/3. Is n greater than or equal to m?
True
Let w be (-22)/6 + 2/3 + -2. Let o be (-5 - 0)*(2 + -1). Let x = o - w. Which is greater: -1/5 or x?
x
Let v = -5059/20 - -1095/4. Which is smaller: v or 21?
v
Suppose 0 = -5*r + 6*r - 4. Suppose l = -3*l + r. Do 0 and l have the same value?
False
Let m = 0.01 + 0.39. Let r = 30 + -32. Do r and m have different values?
True
Suppose x + 5 = 0, -33 = 2*y + 5*x - 8. Let r(b) = -b + 11. Let c be r(7). Suppose y = o + 2*h + 16, -3*h - 44 = -0*o + c*o. Which is bigger: -7 or o?
-7
Let d(j) = -3*j + 5. Let r be d(11). Is -28 greater than r?
False
Let n be 3*(10/21)/5. Which is smaller: 0 or n?
0
Let z(t) = -t - 4. Let o be z(-10). Let c = o + 9. Suppose -c = -3*d + 3*l, -d - 2*l = 2 + 2. Which is smaller: d or 3?
d
Let p = 4.2 - 4. Let s = p - 1. Is s <= 0.2?
True
Suppose 4*n + 8 = -12. Let f(t) = -2*t**2 - 2*t. Let i(h) = -h + 2. Let m be i(4). Let v be f(m). Is n at least v?
False
Let j be 5 - -3*89/(-51). Which is greater: j or 1?
1
Let q(w) = -9*w**3 - w**2. Let p be q(-1). Let a be 3/((18/p)/(-3)). Suppose v - 3*s - 8 = 2, -5*v - 30 = s. Is v equal to a?
False
Let w = 0 - -0.1. Let q = 268/411 + 2/137. Which is greater: w or q?
q
Let q be 1/(-4) + (-98)/(-8). Suppose 3*x + 5 = 4*y + q, -5 = -x. Let c be (2/y)/((-6)/(-18)). Which is smaller: c or 2?
2
Let y be -3 - (2 - (19 - 0)). Let j = 0 + y. Suppose -3*o + 4*o + 4*p = j, -3*o = 2*p - 12. Which is smaller: o or 5/2?
o
Let j be (-12)/(6/3 + -4). Let a be j/(-21) + (-16)/(-7). Is 2 equal to a?
True
Let m be (2/(-6))/(3/(-99)). Let i(z) = z**3 - 12*z**2 + 10*z + 12. Let t be i(m). Is 1 greater than t?
False
Let w(m) = -m + 4. Let i(a) = 3*a - 1. Suppose -2*s + 1 + 0 = -g, -3*s = -4*g + 6. Let n be i(s). Let r be w(n). Which is bigger: -2/9 or r?
-2/9
Suppose 4*k + 3*l = -22, -5*k + l - 10 - 8 = 0. Let f be (-2 - k) + 6/2. Does 1 = f?
False
Let n = 39.8 + -40. Which is bigger: n or -18/5?
n
Let l be ((-6)/(-81))/(1/6). Let c be 8/4*(-2)/4. Is c smaller than l?
True
Let a = 5/3 + -17/9. Is 1 equal to a?
False
Suppose 0*c + 10 = c. Suppose -2*k + 7*k = 5*j + c, 4*j = -3*k - 22. Let z be (-9 + 5)*k/8. Is z greater than -2/7?
True
Let t be 3/(-3)*2/(-1). Let f be (-94)/6 + t/(-6). Let p be f/42 + 6/(-21). Which is bigger: p or 1/2?
1/2
Suppose -3*u + 20 + 13 = 0. Let x = u + -3. Is 8 < x?
False
Let y = -7 + 9. Is y less than or equal to -7/4?
False
Let j(r) = r**2 - 4*r + 2. Let a be j(3). Let m = 0 + a. Is m <= -1/2?
True
Let k = 119 + -130. Is -12 at most as big as k?
True
Let y = 1327 + -128721/97. Let g = y + -275/776. Which is smaller: 0 or g?
g
Let s = 4.4 - 4. Let v = 10 + -5. Suppose 2*m = v - 7. Which is smaller: m or s?
m
Suppose -3*x - 16 = -7*x, 0 = g + 4*x + 89. Let t = g + 152. Let i = t - 140/3. Is 1 less than i?
False
Let y = -2 + 1. Let l = -0.6 - y. Let z be (-2)/4 - 21/(-18). Is z less than or equal to l?
False
Let c = 13 - 9. Suppose y = c*h - 16, -5*y - 4*h + 3 + 13 = 0. Which is smaller: y or 1/2?
y
Suppose 0 = 2*r - 10, 0 = z - 0*r - 5*r + 26. Let b(t) = t**2 + 4*t. Let x be b(-4). Suppose x = -2*j + j - 4. Which is greater: j or z?
z
Let y = -0.29 + 0.23. Which is smaller: y or 3?
y
Let p be (-9)/18*(-4)/(-2). Which is smaller: p or -2/39?
p
Let x = 58 + -57.8. Which is smaller: x or 11?
x
Let q = 17 + -15. Which is smaller: -2 or q?
-2
Suppose -g - 3*k - 6 = 4*g, -2*k - 4 = -4*g. Is g > -3/7?
True
Let q = 32.1 + -32. Is 5/3 >= q?
True
Suppose 0*a + 8 = 5*a + 4*r, -6 = a - 3*r. Let k be 2*(-1)/(-2)*a. Which is bigger: -2 or k?
k
Let x(y) = -y**2 + 7*y - 7. Let d be x(7). Let s be (-6)/8 - d/14. Is -0.2 at most s?
False
Let g = 4 + -4. Suppose 3*l - 7 = 8*l + 4*q, g = -3*q - 9. Which is smaller: 0 or l?
0
Let k be 112/180 + 4/(-18). Let x = 23 + -22.8. Is k at least as big as x?
True
Let g(v) be the second derivative of -v + 5/6*v**4 + 0 - 9/2*v**2 + 4/3*v**3 + 1/20*v**5. Let b be g(-9). Is b <= 2?
True
Suppose -l - 5*n - 7 = l, -4*l = -n + 25. Which is great