2/(-2) + 0). Suppose -2*g + y*z + 32 + 7 = 0, -55 = -3*g + 4*z. Is 16 > g?
False
Let b = -104 - -97. Are b and -78/11 equal?
False
Let t(i) = 4*i + 1 - 11 + i - i. Let d be t(6). Is d greater than 3?
True
Let c = 1 + -5. Let w be -4 + (-3)/(1 + c). Let j be (-5)/(5/w) - 2. Is j <= -0.1?
False
Let m = -0.08 + 0.134. Let g = -15.946 - m. Let t = -3 + 4. Which is smaller: t or g?
g
Let r(k) = -k**2 - 5*k - 1. Let w be r(-4). Suppose 0 = w*i - 0*i + 36. Let s = i - -9. Is s less than or equal to -3?
True
Suppose -9*g = 45 - 36. Let k be (-2 - g) + 7 - 5. Which is smaller: k or 10/43?
10/43
Let b = -169 - -168.6. Is 40/9 > b?
True
Let q = 32/117 - 5/13. Is q greater than or equal to -0.1?
False
Let z = 112 + -7839/70. Is z at least 0?
True
Suppose -8 - 15 = -z. Suppose -f + 8 = -4*b, -8*f + 5*f + 3*b = -60. Is z > f?
False
Let f(w) = w**3 - 3*w - 1. Let z(x) = x**2 - 11*x - 15. Let v be z(12). Let h be f(v). Let j = -29 - h. Is -10 less than or equal to j?
True
Let v(g) = -2*g**2 + 76*g + 1463. Let y be v(-14). Let t = 3 - 2. Let s be ((-2)/(-4))/(t/12). Which is smaller: s or y?
s
Let r be (-2)/6 - (-20)/60. Which is smaller: 3/94 or r?
r
Let l(n) = -7*n**2 + 1. Let j be l(1). Let f be (27/3)/(-3) + 6. Suppose -5*t + 40 = -f*d, -5*d - t = t + 15. Which is bigger: j or d?
d
Let i = -0.07 + 0.49. Let x = i + -0.42. Which is greater: x or 2/5?
2/5
Let q be -42*(-3)/(18/4). Let w = 29 - q. Which is greater: 2/65 or w?
w
Let w = -9.04 - -3.04. Is w at most -2/5?
True
Let o = 16 - 19. Suppose -225 = -72*l + 81*l. Are l and o unequal?
True
Let z = 0.796 - 3.796. Which is smaller: z or 33/7?
z
Let z = -107 - -101. Which is smaller: z or 4?
z
Let f be 232/(-56) - (0 + 1/(-7)). Let w be f + 6 - (1 + 16/6). Is w bigger than -2?
True
Let t be (-158)/600 + 1/4. Suppose 24*f = -112*f - 212*f. Which is smaller: t or f?
t
Suppose -3*n + 6 = 0, -6*n = 3*d - 4*n - 1. Which is greater: 136 or d?
136
Suppose 0 = -0*h - h + 10. Suppose -3*y - d + 2 = -3*d, h = 3*y + 2*d. Are y and 3/2 equal?
False
Suppose -3 = 3*w - 9. Suppose -7*t = -w*t - 5. Let p = -3 - -5. Are t and p unequal?
True
Suppose -3*y = 2*w - 2, 0 = 3*y - 8*y + w - 14. Let h be (-13876)/70 + (-15)/(-35). Let n = -199 - h. Do y and n have the same value?
False
Let d be (-6444)/(-8)*(-3)/(12/8). Is d at most as big as -1610?
True
Let m = 155 + -157. Which is smaller: 93 or m?
m
Suppose 53*n - 6382 - 349 = 0. Is 124 > n?
False
Let k be 15*2/6*3. Let q be (1 - 0)*(-16 + k). Which is greater: q or -39?
q
Let a be ((-1)/(-3))/(4/36). Suppose v - a = 3. Let n be v/((-1)/(16/60)). Which is smaller: n or -3?
-3
Let t = -531 - -531. Which is bigger: 1/34 or t?
1/34
Suppose k + k = -6. Let a be (5 + k)/(-80)*-1. Is a bigger than -1?
True
Let y(g) = -g**2 + 7*g + 69. Let k be y(13). Is k equal to -114/11?
False
Let w be 0 - -4 - 2 - (-326)/14. Let q = w + -25. Which is greater: q or 0.31?
0.31
Let m = 218460/53 - 4122. Is m greater than 1?
False
Let b = -0.59 - -0.69. Does -6.8 = b?
False
Let l = -0.041 - 29.959. Let u = l - -29.9. Which is greater: u or -5?
u
Let t = 28 + -23. Suppose t*m = -l - 9, 3*l - 3*m - 5 = -2*m. Does l = 1/99?
False
Let t = -5.1 + 0.1. Let f = -144.4 + -9.6. Let s = f + 156. Which is smaller: s or t?
t
Let o = -1271 - -1271.2. Suppose 5*l - 4*h = 72, 3*l - h - 25 - 21 = 0. Are l and o equal?
False
Let q be 277/6 - 2/(-6). Let j = 833/18 - q. Is 3 equal to j?
False
Let a = 71851/27 + -2660. Let v = 493/135 + a. Is v at least as big as 4?
True
Let i = -1/221 + 889/1105. Suppose -2 = 2*t - 4*t. Let c = t + 0. Are c and i non-equal?
True
Let o = -6 - -9. Suppose 5*p - 14 = -5*l + 1, 0 = 5*p + l - 23. Suppose 4*w - p = -1. Is o bigger than w?
True
Suppose 4*m + 20 = -4*l, -5*m + 47 = -l - 3*l. Let a be -1 + -1 + 4/1. Suppose 5*j + z - a + 27 = 0, 3*z - 25 = 5*j. Which is smaller: j or l?
l
Let v = 35/2 + -17. Let m = -3.24 + 3.2. Which is smaller: m or v?
m
Let y(i) = i**2 + 7*i - 3. Suppose 5*c = -10 - 45. Let d(j) = 6*j**2 + 35*j - 14. Let a(n) = c*y(n) + 2*d(n). Let t be a(6). Is t greater than or equal to 1/11?
False
Let g(r) = r + 13. Let q(d) = -3*d - 38. Let h(j) = 11*g(j) + 4*q(j). Let m be h(-9). Is m equal to 4/29?
False
Let p be 45/20 - 2*3/24. Let k be (-52)/16 - p*(4 - 5). Which is smaller: k or -2?
-2
Let v = -11 + 15. Suppose 79 = 3*w + v. Let f = w - 23. Which is smaller: f or 1/6?
1/6
Suppose -770 = 3*f + 2*f. Let w = 50 - f. Let d be w/210 - (-6)/14. Do d and 0 have different values?
True
Let j = 854/323 + -48/19. Let b = -27 + 28. Let d be (0 - (1 - 2))*b. Is d > j?
True
Suppose -5 = 3*l - 4*j + 3*j, -14 = 2*l + 2*j. Let w be (-259)/(-168) + l/(-24). Let z = -17 - -19. Which is smaller: z or w?
w
Suppose 412 = -11*a + 533. Suppose -7 = -2*o + 15. Is o equal to a?
True
Let v = 224 + -110. Let x = v - 113. Is 31 != x?
True
Let f be 2/8 + 2/(-8). Let y be (-60)/40 + 22/16. Is f > y?
True
Let z(u) = 2*u + 35. Let h be z(-15). Suppose -5*v - h = -15. Suppose 4*w + v*o = 72, 4*w + o = -2*o + 70. Is w greater than 20?
False
Suppose 0 = -3*y + 6, 3*d - 2*y = -0*d - 4. Suppose -4*w + 2*w = d. Suppose 0*b = -2*k + 4*b + 2, 0 = -2*k - 5*b - 7. Is k greater than w?
False
Let z be ((-2)/(-3))/(2/57). Let l = 39/2 - z. Let n = -0.462 - -0.062. Is n < l?
True
Suppose s + 1 = a, -7*s + 2*a = -3*s + 10. Let k(f) = 4*f**3 - 2*f**2 + 1. Let n be k(1). Suppose -i + n = 2. Is s greater than i?
False
Let i be 3 - 0 - (-80814)/(-28170). Let h = -2/939 - i. Which is smaller: h or 0?
h
Let j = 8.06 + -7.06. Which is greater: 2/467 or j?
j
Let r(x) = x**2 - 12*x + 11. Let j be r(11). Suppose -3*c + j*c + 17 = 4*a, -5*a + 19 = 3*c. Suppose -3*n = a*n - 30. Which is smaller: 5 or n?
5
Let d = -37 - -27. Let s = d + 12. Suppose -14 = 4*t - s*t. Which is greater: t or -2?
-2
Let c(k) = k - 5. Let h be c(5). Let z = 5 + h. Let m(s) = 109*s - 214. Let x be m(2). Which is smaller: x or z?
x
Let t(v) = -73*v - 18. Let b be t(-10). Let z = b + -4993/7. Is z less than 1?
True
Let v = 5726.07 + -5778. Let x = 52 + v. Which is bigger: x or -0.1?
x
Let b = -20 - -46. Suppose r - p - 12 = 0, 2*r + 2 = -3*p + b. Suppose 5*j = 29 + 31. Do r and j have different values?
False
Let n(p) = -p + 12. Let x be n(14). Which is greater: -17/19 or x?
-17/19
Let c be -7 + 3 + (-6)/3 + 5. Let w be (-3097)/(-6346) - 2/4. Is w bigger than c?
True
Suppose 0 = -b + w, 2*b + 3*w = -b + 30. Suppose 2*r - x = -5*x - 2, -3*x + b = -5*r. Is r bigger than -2/51?
False
Suppose 125*x + 2*p - 30 = 121*x, 3*x - 30 = p. Let g be (-8)/28 + (-2)/(-7). Suppose g = 3*s - 17 - 13. Which is greater: x or s?
s
Let z = -3.319 + 0.219. Which is smaller: z or 2/5?
z
Let l(a) = a**3 - 12*a**2 + 11*a - 6. Let d be l(9). Let h = 149 + d. Is 1/18 at most h?
False
Let q = 37/28 + -11/7. Let d = 1736.1 + -1758.1. Which is bigger: d or q?
q
Let a = -72 - -134.3. Let c = a - 62. Which is smaller: -0.1 or c?
-0.1
Suppose 0 = -5*r + 8 + 167. Let h be (-90)/r*(-2)/(-3). Which is bigger: h or -1?
-1
Suppose 10*f + 40 = 5*f. Suppose 7*w + 10 + 14 = 31. Which is greater: w or f?
w
Suppose -3*p + 5*i + 140 = 2*p, -3*p + 2*i = -88. Let t = -31 + p. Let z be (-6)/(-4) + (-1)/2. Is t >= z?
True
Suppose 49*w = -w. Is -3 smaller than w?
True
Let q(g) be the first derivative of -g**3/3 - 2*g**2 - g - 5. Let o be q(-3). Suppose -t - o*t + 3 = 0. Do 6/11 and t have the same value?
False
Let s = -7 + 4. Suppose 0 = -l + 3*a + 93 - 23, 210 = 3*l - 4*a. Let i = -72 + l. Is i bigger than s?
True
Suppose 0 = -2*q + 3*q + 2, 20 = 5*y + 5*q. Suppose y*p = p - 5. Which is smaller: 2/9 or p?
p
Let m = -201.29 - -201. Are m and -1 equal?
False
Suppose -37 = -2*o - 13. Let z = -13 + o. Which is bigger: z or 43?
43
Let j = 6.53 + 6.47. Which is greater: 7 or j?
j
Let n(l) = -2*l**2 + 14*l - 11. Let x be n(9). Let f = x + 46. Is -12/5 > f?
False
Suppose 5*q + 3*g + 11 = 5, -4*g = 5*q + 8. Is q >= 2/633?
False
Suppose 6*s + 0*s = 2*s. Let y be 8/(-12)*9/6. Let t be y - ((-68)/(-32) + -3). Is s greater than or equal to t?
True
Let g be (-328)/(-12)*(-10)/(-4). Let s = -67 + g. Which is smaller: 1/3 or s?
1/3
Let y be -57*3/(36/(-28)). Is 134 less than or equal to y?
False
Let t(r) = -r**3 + 6*r**2 + 10. Let p be t(6). Suppose 8 = -2*z + p. Does 5/6 = z?
False
Let l = -45.8 - -59. Let q 