 -6). Is r equal to g?
False
Let m(f) = f + 5. Let r be m(-7). Let x be 352/24*(-9)/8. Let y = -17 - x. Is y greater than r?
True
Let f(q) = q**3 + 5*q**2 - 6*q - 7. Suppose 4*s - d = -23, -3*s - 20 = 3*d - d. Let x be f(s). Suppose -7*a - 36 = -a. Is x less than a?
True
Let u = -135.058 - -135. Let z = u - -0.158. Is -0.2 equal to z?
False
Suppose -9*p = -2*p + 14. Is p greater than 0.06?
False
Let z be (0/2 + 971)/8. Suppose -52*y = -74*y - 2662. Let n = z + y. Which is greater: n or -1?
n
Let m be 5 - 0 - 1 - -1. Suppose -m*c - 39 = 46. Let q = c + 17. Is q >= 5/6?
False
Let p = 92 - 68. Let l be (-12)/2*-11*(-16)/p. Which is bigger: -43 or l?
-43
Let y be 76/18 + (-18)/81. Let u = -38 + 62. Suppose -2*r + 9 = q + 3, 5*q + y*r = u. Which is greater: q or 3?
q
Let b = -12 + 10.7. Let m = 2.1 + b. Let g = -3.8 + m. Which is bigger: 1 or g?
1
Let q be (5 + (-102)/24)/(5/(-8)). Let i(n) = n**2 - 4*n + 2. Let s be i(5). Let f = s + -8. Is q at least f?
False
Let p(h) = 2*h**2 + 4*h - 1. Let j be p(-3). Suppose 0 = 10*d - 5*d - j. Let k be ((-12)/44 + 0)/d. Which is bigger: 0 or k?
0
Let d = 36 + -34. Suppose -12 + 26 = -d*t. Suppose -4 = 3*n - 2*p + 23, 0 = 3*n - 5*p + 36. Are n and t unequal?
False
Let l be -5 - (5 - 9) - 1110. Let a be (-11)/l*(0 + 1). Is a bigger than 0?
True
Let z = 4 + -3. Let t = -4 + -1. Let w be ((-1)/t)/((-10)/(-20)). Which is smaller: w or z?
w
Suppose 77 = 2*u - 3*p, 4*p + 118 = -3*u + 6*u. Is 0 less than u?
True
Let s = -1540 - -1500. Is -9 at most s?
False
Let i be (-2)/6 + (0 - 0). Suppose 5*z + 18 = 6*z. Let p = z + -19. Is i less than or equal to p?
False
Let g = -30 + 51. Let c = g - 22. Let a be 1*((-3)/c + -3). Which is smaller: -2/17 or a?
-2/17
Let d = -18 + 64. Let k = d - 52. Which is smaller: 0.7 or k?
k
Let f(l) = -3*l**2 + 42*l - 29. Let x be f(13). Let v be (-4)/(4/(-10)*-1). Let y = x + v. Which is smaller: 1/2 or y?
y
Suppose 28*f - 20 = 8*f. Do f and -2/1669 have different values?
True
Let u = -10 - -10.07. Let i = -1.9046 - 0.0954. Is u at least as big as i?
True
Let a be 2/14 + 6400/35. Which is smaller: 0.1 or a?
0.1
Suppose 4*z + 17 = -5*h, 13*z = 4*h + 9*z - 8. Let w be 16*(0 - 3/26). Which is smaller: h or w?
w
Let n be 4/(-22)*(-6)/44. Let t be ((21 - 15)/(-6))/(((-1)/1)/1). Is n bigger than t?
False
Suppose 4*s + 0 + 32 = 0. Let v be -1 - 6/s - (-535)/(-20). Is -27 at least v?
True
Suppose -5*k + 5*s + 7 = 2*s, 4*k - 4 = 4*s. Suppose -i - 70 = -2*z - 0*i, -3*z - k*i + 105 = 0. Suppose -5*x + z = 5*y, 3*x - 16 + 1 = 0. Is y > 9/4?
False
Let o(j) = 3*j + 9. Let d(r) = r + 4. Let y(p) = -5*d(p) + 2*o(p). Let l be y(10). Which is greater: 3 or l?
l
Let b = -0.033 - -3.633. Let v = b - 2.6. Which is smaller: v or 2.6?
v
Let n = 123.9 - 124. Is n > 111?
False
Let n = 1874/3 + -625. Suppose -3*z + 39 = -6*z. Is z smaller than n?
True
Let c = -0.319 - 1.681. Which is greater: c or -45?
c
Let a(o) be the first derivative of -o**2/2 + 15*o + 3. Suppose -3*n = 0, 11*b - 15 = 8*b - 2*n. Let j be a(b). Which is bigger: -2 or j?
j
Let j be (-8 - -4) + 6 + -2. Suppose -k = j, 2*v - 7*v + 320 = 5*k. Is 64 <= v?
True
Let r(f) = -14*f**3 - f**2 + f. Let v be r(1). Let j = v - -20. Let d = -148 + 151. Is d not equal to j?
True
Let s(p) = -2*p**2 + 2*p + 1. Let i be s(2). Let h be (7/3)/(1/i). Let z be h/(-21) - 14/(-3). Is 7 less than z?
False
Let l(o) = -o**3 + 13*o**2 - 4*o + 11. Let y be l(10). Which is greater: y or 272?
272
Suppose 3*q - 27 = 3*x, -3*q = 19*x - 20*x - 21. Let h(n) = n**2 + 3*n + 3. Let y be h(-3). Suppose -6 = -y*t + 15. Which is bigger: t or q?
t
Let r = -243 - -317. Is r at most 73?
False
Suppose 7 = 3*f - 5. Suppose -3*u = -f*l - 51, 4*u - 32 = 3*l + 1. Suppose v = -3*j - 27, 5*v = -j - 0*j - 79. Is l at least v?
True
Let q = -116 - -86. Let y be (-4)/q + 2436/(-45). Which is smaller: y or -53?
y
Suppose -3*v - 2*g - 7 = 0, -3*v + 0*g = -3*g + 12. Suppose 5*f - 12 = 4*x + 10, -3*f = 2*x. Let i be ((-1)/f)/((-3)/(-12)). Which is greater: v or i?
i
Let v be (12/(-12))/((-198)/(-192) + -1). Which is smaller: 14 or v?
v
Let c be (-1)/(7/(-14)*2). Does c = -62?
False
Suppose 2*s = -3*s - 5, 171 = 2*r + 5*s. Which is bigger: r or 89?
89
Let d(x) = 5*x**2 - 47*x + 30. Let v(w) = 3*w**2 - 31*w + 20. Let r(s) = 5*d(s) - 8*v(s). Let f be r(-13). Which is bigger: -6 or f?
-6
Let d be ((-9)/18)/((-9)/(-347)). Let g = -39/2 - d. Which is greater: -1 or g?
g
Let j be (-2 - -5) + 88/8. Let p = j - 19. Let w be (-1 - -4)/(-1) - 1. Is p bigger than w?
False
Let c = -42 + 35. Let g be -2 + (-3862)/(-2072) - 1/c. Which is greater: -1 or g?
g
Let k be -2 + 0 - 4*-1 - 6. Let n = 271/2 - 140. Is k less than n?
False
Let c = 190 - 520. Which is greater: -1/4 or c?
-1/4
Let n = -32301 - -117349531/3633. Which is smaller: n or -1?
-1
Suppose -6*d + 5*g + 22 = -8*d, g + 1 = 3*d. Is d bigger than 2/329?
False
Let v = 174 - 173.9. Is v > 2.73?
False
Let p = 1/3 + -1. Let a = 967 - 964. Are p and a equal?
False
Suppose -5*u - 10 + 5 = 0. Let w = 3/547 - -3195/15863. Does u = w?
False
Let k(y) = y**2 + 5*y - 14. Let f be k(4). Suppose 5 + 1 = c - 2*j, 2*c + j - f = 0. Which is smaller: 13 or c?
c
Let z(h) = -5*h - 11. Let x be z(-5). Let i = -6 + x. Suppose 4*m + 36 = 5*s, -3*s - 3*m - 37 = -8*s. Is s at most i?
True
Let r = -0.788 + 0.888. Which is bigger: r or 63/2?
63/2
Let y = 14/75 + 2/25. Is 2 at most as big as y?
False
Let y be 2/4*(12 - 11)*26. Which is greater: y or 19?
19
Let i = 2 - -1. Let r(v) = v - 7. Let m be r(11). Suppose m*x + 13 = -4*h + i*h, -2*h + x = 17. Which is smaller: 0 or h?
h
Suppose 9 = f + 6. Suppose 3*r = r - 4*y + 24, 5*r + f*y - 25 = 0. Which is smaller: 6/7 or r?
6/7
Suppose -4*q - q = 0. Suppose 2*h + q*z + 6 = -2*z, 2*h + 18 = -5*z. Which is greater: 5 or h?
5
Suppose -f - 2*s + 249 = 0, -2*s + 3 + 5 = 0. Is 242 at least as big as f?
True
Let j be (-14 - 54/(-6))*1008/10. Are 0 and j unequal?
True
Suppose -2*j + 15 = s, j + j = -5*s + 75. Let p = s + -15. Suppose -14*h + 12*h - 10 = p. Which is greater: -2 or h?
-2
Let x = 23 + -1153/50. Which is greater: 1 or x?
1
Let h = 16.1 - 16.1. Which is smaller: h or 17?
h
Suppose -18*r = -3*l - 13*r, 0 = 5*r. Is -37 > l?
False
Let s = 557/10 - 1829/20. Which is smaller: s or -37?
-37
Let v(s) = -4*s**2 - 23*s + 3. Let a be v(-4). Which is smaller: -2/71 or a?
-2/71
Let v be (-18)/24*(2 + 18/(-3)). Suppose h - 17 = -5*y, v*y - 10 = -4*h + 7. Is 19 at most as big as y?
False
Let l = 1793129/279 + -6427. Is 1 greater than or equal to l?
True
Let t be 14/56 - (-274)/(-8). Let o = t + 25. Let c be (-12)/o + (-14)/6. Is 2/11 smaller than c?
False
Suppose -56*d = -15088 + 41688. Is -474 <= d?
False
Let o = 24 + -39. Let w be 0/(-1) + o + 11. Let b(r) = r + 5. Let n be b(w). Which is bigger: n or 16/9?
16/9
Let x be 1/((-1)/(-8)*2). Suppose -4*u + 5*l - 73 = 0, -u = u + 4*l + x. Let p = 12 + u. Do p and -1/6 have the same value?
False
Let k be (-7 - 33/(-6)) + 31/18. Suppose -3*s - 11 = 5*y, 4*s = -3*y + 2*s - 6. Which is bigger: k or y?
k
Let b = -0.42 - 20.58. Let d = 20 + b. Which is greater: d or -1/3?
-1/3
Let h = 1013/80912 + -3/389. Which is smaller: -1 or h?
-1
Let q = 3.2 - 4. Suppose 80 = -137*o + 57*o. Is q equal to o?
False
Suppose 9*y + 56 - 74 = 0. Let s = 4115/3354 + 1/258. Which is smaller: s or y?
s
Let j = 25/102 + -10873/44778. Is 0 bigger than j?
False
Let b(x) be the second derivative of -x**3/3 - 15*x**2 + 3*x. Let s be b(-21). Is s smaller than 10?
False
Suppose 8*q = 3*q. Let z = 1144 + -10306/9. Which is bigger: q or z?
q
Suppose -r - 25 = 5*t, r + 4*r = 5*t - 35. Is r equal to -3?
False
Let m = -53 - -54. Let r(z) = z**2 + 4*z - 3. Let u be r(-5). Suppose 2*p - 5*v = -u, -m = -2*p + v - 3. Which is bigger: p or -3?
p
Suppose 60 = -2*f - 8*f. Let u(g) = 4*g + 24. Let x be u(f). Is x greater than or equal to -5?
True
Suppose 2*s = -2*s + 16. Let j = 5 - s. Which is bigger: 2/37 or j?
j
Let i = -3.1 + 3.1. Let l = i + -12. Which is bigger: l or -0.1?
-0.1
Let q = 243476/13 - 18708. Which is smaller: 22 or q?
q
Let f = 106 + -69. Let l = f - 38. Which is bigger: l or 1.5?
1.5
Let x(i) = -1 - 7 - 4*i + 5*i - 3*i. Let o be x(-6). Suppose l = c, l + 15 = 3*l + 3*c. Is l < o?
True
Suppose 2*s = 4*s - 12. Let g = 7 - s. Let