0. Let r(j) = 6*j - a - j**2 - 7 + 11. Let z be r(5). Which is greater: -1/7 or z?
z
Suppose -10 = 2*r - 3*g, 0*r + 4 = -3*r - g. Let v be ((-3)/r)/(7/14). Suppose -2*h + n + 3 = -0*n, -v*n = -5*h + 8. Which is bigger: 6/7 or h?
h
Let d(b) = -b + 6. Let c be d(0). Let y = -34 + 98. Let t be 4/(-10) + y/10. Is c smaller than t?
False
Let i be (-56)/8*2/(-28)*4. Which is greater: i or 62/25?
62/25
Let m(z) = 5*z**2 + 3. Let h be m(2). Is 24 less than or equal to h?
False
Let i = -0.88 - -0.08. Let b = 0.3 - i. Let x = -1 + b. Which is smaller: -1 or x?
-1
Let r be 2/4*(16 + -16). Suppose -4*m - 3*m = r. Which is smaller: m or -1/23?
-1/23
Suppose -2*l - 28 = -3*d, -5*l + 2 - 9 = 3*d. Suppose 0 = -0*f - 3*f - d. Let k(c) = -c**3 - 2*c**2 - 2*c - 2. Let b be k(f). Which is smaller: 3 or b?
b
Let c be -206 + 197 - 524/(-50). Which is smaller: c or 2?
c
Let c = 0.25 + -0.05. Suppose 0 = 2*r - 1 + 51. Let l = r - -20. Is c >= l?
True
Let t = -2.02 - -0.02. Let h = -1 + 1.18. Let g = h + 0.02. Are g and t nonequal?
True
Let t = -5435/7 - -773. Is -4 greater than or equal to t?
False
Let i(t) = 2*t**3 - 3*t**2 + 5*t - 5. Let y be i(2). Suppose -y*r = -5*r - 4. Is -3/19 at most r?
True
Let n = -5264/471 + 3/314. Is n greater than or equal to -11?
False
Let h = -151.1 - -151. Which is smaller: 1/1770 or h?
h
Let t(g) = g + 16. Let j be t(-12). Suppose 5*b = 3*a + 51 + 3, -b = -j*a - 21. Suppose 0 = b*h - 7*h. Does -2 = h?
False
Let a(q) = 2*q**3 - 18*q**2 + q + 15. Let f be a(9). Let j be -2 - ((-14)/(-1) - (-12)/f). Which is smaller: -16 or j?
j
Suppose -49*b = 22 + 27. Which is smaller: b or -8?
-8
Let u(v) = 3*v - 16. Let b be u(-4). Let w = b - -27. Are w and 2/13 unequal?
True
Suppose 4*d + 152 = 5*r - 85, 2*r - 99 = 3*d. Let x = -39 + r. Let k be (-24)/(-15) - x/(-15). Is k less than 11?
True
Let c(o) = -9*o - 14. Let q be c(5). Are q and -57 nonequal?
True
Suppose 0 = 5*u + 3*h + 33 - 9, -5*u - 3 = -4*h. Suppose -4*o - 13 - 63 = 0. Let v = -21 - o. Are v and u equal?
False
Let m be 0 - ((-7443)/(-15) + (-1)/5). Let w = m + 1472/3. Suppose 4*j + 6 = -10. Is w less than or equal to j?
True
Let h = -9.35 + 7.35. Is h greater than or equal to -9/2?
True
Suppose 2*a - 4*k = -124, 2*a + 115 = k - 0*k. Let v = a + 62. Which is smaller: 5 or v?
5
Let y(f) = -f**2 - 1. Suppose -2*z + 3*c = 0, -6*z = -z + 3*c. Let q be y(z). Let v be 2*(1 + (-18)/17). Which is smaller: v or q?
q
Suppose -s - 13 = 4*n - 16, -2*s = -4*n + 6. Which is smaller: 15/104 or n?
15/104
Suppose -3*y + 2*x - 3 = 0, -4 = 4*y + x + 2*x. Let q = 20 - 9. Let k = 8 - q. Do k and y have different values?
True
Suppose 5*h - 28 = 4*a - 91, 0 = 5*a + 4*h - 48. Let x = 18 - a. Let w = 186 + -180. Is w greater than x?
False
Suppose -5*q - 314 = -0*b + 3*b, -100 = b + 4*q. Let w = 124 + b. Is 18 at least as big as w?
True
Let y(r) = -r + 13. Let z be y(10). Let o be 12/((-6)/2)*(-27)/72. Which is smaller: z or o?
o
Suppose -5*p + 2*a = -a + 595, 4*p = -2*a - 476. Let v = p + 34. Let o = v - -763/9. Which is smaller: o or 1?
o
Let x = -7.2 + 0.2. Let g = x - -7.1. Which is smaller: g or 2/5?
g
Suppose -3*n = 3*y - n + 79, -94 = 4*y - 3*n. Let r = 41 + y. Which is greater: 2 or r?
r
Let n = -255 + 258. Let g = 16 - 11. Let k = g - n. Is k smaller than -0.6?
False
Suppose 2*y + 4*y + 48 = 0. Let c(s) = -3*s - 16. Let w be c(y). Let o be w - 4 - (-636)/(-158). Is o at least 1?
False
Let v be (-2*1)/(3/(-18)*1). Suppose a - 18 = 2*k - 5*k, a + k = v. Let l = 3164/3 + -1046. Which is greater: l or a?
a
Suppose 3*m - 204 + 0 = 0. Let v = 69 - m. Which is smaller: 1/20 or v?
1/20
Let g(i) = -13*i - 10. Let m(u) = 26*u + 19. Let b(v) = 5*g(v) + 3*m(v). Let a be b(-1). Does -2 = a?
False
Suppose -y = -1 - 2. Let a be (2/4)/((-4)/32). Let u = a - y. Is u >= -8?
True
Let s(h) = h**3 + 13*h**2 - 10*h + 6. Let d be s(-15). Let r be -4*(-3)/d + 0. Is r greater than or equal to -1?
True
Let v = 0.7 + 0.3. Let m = 99 + -100.1. Let i = m + v. Which is bigger: i or -2/5?
i
Let g = 142.9 + -142. Which is smaller: g or -4?
-4
Let a be -3 + (-13)/((-416)/76). Is 20 less than a?
False
Let g = 33 - 35.4. Let j = -13.6 + g. Which is smaller: j or 0.1?
j
Suppose -5*b - 3*c - 94 = 0, -4*c = -12 + 4. Let j(u) = 3*u. Let o be j(-7). Which is bigger: b or o?
b
Let m = -905 - -967. Let k = -22 - -86. Is m greater than or equal to k?
False
Let o be (-1 - -3)*-81*5/(-30). Is 29 less than or equal to o?
False
Suppose -5*f = -37 + 57. Is -7 less than f?
True
Let m = 69 + -48. Suppose -2*b + m = -5*i, -4*b + 3 = 4*i + b. Which is smaller: -4 or i?
-4
Let v = -269 - -2423/9. Does 3/28 = v?
False
Suppose 3*t - 82 - 62 = 0. Suppose -4*o = 2*o + t. Let n be (-16)/(-6)*12/o. Does n = -6?
False
Let q = -10267/5665 + -3/515. Let f(x) = x**2 + 4*x. Let p be f(-3). Is p at least q?
False
Let l = -0.0913 + 0.1913. Let d = -2.5 + 2. Let a = d + l. Is -3 greater than or equal to a?
False
Let u = 30 - 27. Suppose -u*j = -4*y + 19, -6*j - 7 = -2*y - 5*j. Which is smaller: y or 9?
y
Suppose -3*z - 4*h + 35 = 0, h - 25 = -4*z - 0*h. Suppose z*o = 7*o - 34. Which is smaller: o or 18?
o
Let q = -0.07 + -0.1. Let u = 6.17 + q. Let b = u + -5.88. Is b at most as big as -1/2?
False
Let f = -13 + 16. Suppose -f*s - 48 = -s. Let c be s/1*1/(-14). Which is greater: 1 or c?
c
Let r(q) be the first derivative of -q**2 + 20*q + 8*q + 8 - 13. Let u be r(15). Are -24/7 and u nonequal?
True
Let f = 10/17 + -9/17. Suppose 11*a - 12 = -1. Is f greater than a?
False
Let y(k) = k + 195 - 205 + 0*k. Let v be y(7). Which is bigger: v or -17?
v
Let j = 29 - 28. Which is smaller: j or 2/1519?
2/1519
Suppose -30*u + 25*u = 0. Which is bigger: u or 19/16?
19/16
Suppose -4*t + 33 + 138 = 5*t. Suppose 2*p - 60 = -p. Is p at most as big as t?
False
Let v = -159 - -224. Suppose 0 = -4*w - 5*u + v, 20 + 30 = 4*w + 2*u. Let a be (-5)/w - 3/(-5). Which is greater: -1 or a?
a
Suppose 1 = 7*g - 3*x, 0 = -17*g + 13*g + 3*x + 7. Are g and -34/23 unequal?
True
Let i = 254/3 + -84. Let m(z) = 3*z - 15. Let r be m(11). Let p be (r/(-3))/(-2) + -2. Which is greater: p or i?
p
Let r(f) be the second derivative of 5*f**4/12 + 2*f**3/3 + 3*f**2/2 - 6*f. Let j be r(-1). Which is smaller: j or 3?
3
Let k = 3048/66725 + -14/425. Which is smaller: 0 or k?
0
Let z = -355 - 254. Which is smaller: z or 1/2?
z
Suppose 2*m - t - 19 - 13 = 0, -3*t = 5*m - 69. Let k(g) = -2*g**2 + 2*g - 3. Let l be k(3). Let i = m + l. Which is smaller: -2/33 or i?
-2/33
Let h = 7 - 29. Let d = 34 + h. Suppose -2*f - 5*v = -d, 5*v = 2*f + 2*f - 24. Is f at least as big as 6?
True
Let m be (-2)/5*(-3053260)/1134. Let d = m - 1077. Let b = d + 29/162. Which is smaller: 0 or b?
0
Let y = 9251 + -6044. Let d = 12573/4 - y. Let h = 64 + d. Which is greater: h or 1/6?
h
Let j = -34 + 21. Which is smaller: -49/4 or j?
j
Suppose -b = -58 + 57. Is 1/13 equal to b?
False
Let p be 2/(-16)*(5 - -3). Which is greater: 3/53 or p?
3/53
Let k = 10 + -8. Suppose -4 = -2*q - k*r, -q + 2*r = 4*r - 5. Is 7/15 smaller than q?
False
Suppose 0 = 5*n + 3 - 3. Let o be (n - 36/15) + 8/4. Which is smaller: -27 or o?
-27
Suppose 0 = d - 2*b + 2, -4*d - 6*b + 12 = -10*b. Which is smaller: 7 or d?
7
Let o = -18.5 + 18.5. Which is bigger: -64 or o?
o
Suppose 5*d - 23 = 52. Suppose y - 2*k = 6, -d = 4*k + k. Suppose t = -5*a - 0 + 19, y = 4*a - 16. Is t smaller than 1/4?
True
Let h be 17/7 - (7 - 5). Let t(q) = -105*q + 3 + 102*q + q**2 - 3. Let b be t(3). Is b less than h?
True
Let c(k) = -k**3 + k**2 + 2*k + 1. Let u be c(-1). Suppose 0 = -2*d + 3*d - u. Let w be ((-3)/(-69))/((-4)/8). Which is greater: d or w?
d
Suppose -3*o + 1 = 16. Let h = 42 - 38. Suppose -4*a = h*t + 28, -t + 2*t = -4*a - 22. Is a >= o?
True
Suppose -2*j - 3*j - 4*l - 229 = 0, -178 = 4*j - 2*l. Let r be (-30)/j - (-49)/3. Is 18 smaller than r?
False
Let z be 5568/84 - 2/7. Let d be (-43)/2*12/z. Let n = d + 623/165. Which is smaller: 2 or n?
n
Let q be (-112)/24*54/(-4). Let l = q - 63. Is l at least as big as 12/11?
False
Suppose 5*n - 2*g = -17 - 3, 2*n = 4*g + 8. Suppose 4*i + 3*q = 13, -3*i + 0*q = 2*q - 9. Let f = -6 + i. Which is bigger: n or f?
f
Suppose 3*v = -4*h - 7, 4*h - 6 = -2*v - 12. Let u = 4 - 2. Which is smaller: u or v?
v
Let z = -2 + 1. Let c = z -