Let p(g) = -g**3 - 6*g**2 - 1. Let k be p(-6). Let j = 0.1 - 0.3. Is j >= k?
True
Let f = 3.34 + -3.84. Which is bigger: f or 9/13?
9/13
Suppose -4*y + 3*t + 17 = -6, 0 = 4*y - t - 21. Let o be 2/6 - 196/12. Let n be ((-3)/(-6))/((-2)/o). Is n != y?
True
Let g(r) = 7*r**3 + r**2 + 2*r + 1. Suppose -3 = i - 2*i. Suppose 20 = 5*h + 5*x, -2*h - 12 = -i*x + 5. Let b be g(h). Which is bigger: b or -2?
-2
Let u = 17.4 - -8.6. Is u at least 2?
True
Let m(t) = -t**2. Let d be m(-1). Let z = -608/6293 + 6/217. Which is greater: z or d?
z
Let a = -10 + 9. Let s be (-4)/3 + 98/96. Which is bigger: s or a?
s
Let v be 4/10*10/2726. Let i = v - -2656/47705. Let c = i + 3/70. Which is smaller: c or 1?
c
Suppose 3*h = -4*b - 314, -6*b + 232 = -9*b - 4*h. Do b and -81 have different values?
True
Suppose -7*v = 14*v - 147. Let g = -78 - -82. Is v bigger than g?
True
Let m(d) = 5*d**3 + 16*d**2 - 9*d - 8. Let v(c) = 11*c**3 + 33*c**2 - 17*c - 17. Let k(x) = -9*m(x) + 4*v(x). Let u be k(-13). Which is smaller: 2 or u?
2
Let z = -0.02 - -0.07. Let q = z - 0.07. Let l = q + 5.02. Is l smaller than -2?
False
Let y be (-318)/27 + (-6)/27. Let w be y/(-8)*(-13)/3. Which is greater: -8 or w?
w
Let q = -199 + 191. Which is smaller: -50/7 or q?
q
Let j = -27 + 21. Let g be ((-2)/(-6))/((-2)/j). Which is bigger: 2/31 or g?
g
Let f = 431 - 437. Let q be 4*(-1 - 2/(-4)). Let o = 3 + q. Is f at most as big as o?
True
Let j be -1 - 1/((-52)/60). Which is greater: -5 or j?
j
Let w = -0.29 - -28.29. Let h = w - 39. Let v = 1 + h. Is 0.1 not equal to v?
True
Let h be 1/3*4*-6. Are -9 and h unequal?
True
Suppose 20 = 5*x + 4*a, -a + 0*a = -2*x - 5. Which is greater: 23/21 or x?
23/21
Suppose -4*n - h = -0*n + 73, -4*h - 45 = 3*n. Let k = -54 - n. Is k != -34?
True
Let x be ((-1)/14)/(4/(-24)). Let t = -6.738 - -6.7. Let z = 0.962 - t. Is x < z?
True
Let s(j) = -j**3 - 19*j**2 + 67*j + 16. Let t be s(-22). Is t at least as big as -49/9?
False
Let a be (-8)/(-22) + (8487/7084)/(-3). Suppose -3*f + 0*f = w - 9, -5*f = -w + 1. Suppose 3*o + 2 = w*u - 2*u, 4*u = 2*o. Is a <= u?
False
Let h = 3 + -10. Let g = h - -10. Suppose -g*j = -6*j + 15. Is 4 < j?
True
Let g = 44 + -74. Let q be 4/30*(-45)/g. Let m = 9 - 9. Is q equal to m?
False
Let k be (((-50)/(-45))/(-10))/(62/12). Is 1 less than or equal to k?
False
Suppose 0*m = m. Let n be (-8)/(-44) - 8304/86086. Let s = n + -12/91. Which is smaller: s or m?
s
Let h be (-8)/30*9/6. Let r be 12/(-7)*(-49)/14. Let j(v) = v**3 - 6*v**2 + v - 7. Let p be j(r). Which is greater: p or h?
h
Let o = 1571 + -1426. Which is smaller: -7 or o?
-7
Let p(f) = -f**3 + 16*f**2 - 3*f + 48. Let x be p(16). Is x >= -7/65?
True
Let r = 121 - 28. Let y(a) = -15*a - 11. Let f be y(-7). Is f bigger than r?
True
Let r be (-31)/111 - (-3)/9. Suppose 701*t - 692*t = 9. Which is bigger: t or r?
t
Let z = 3/163 - -459/1630. Which is bigger: -1/2 or z?
z
Suppose 0 = 3*q - 121 + 466. Which is bigger: -114 or q?
-114
Let s = -616 - -565. Is -47 at least as big as s?
True
Let m be (6 - (4 + -8))/2. Suppose 0*q + 5 = m*q, -23 = -l - 5*q. Suppose 4*j = -4*u - 60, u + 2*j - 4 = -l. Which is greater: 1 or u?
1
Let d(j) = -j**2 + j - 2. Let o be d(1). Let p be 6/249*(-2)/(-4)*o. Is p > 0?
False
Let o be (-2)/8 - (-85)/20. Let l(r) = r - 5. Let m be l(o). Which is greater: -1/22 or m?
-1/22
Let k(u) = -14*u + 63. Let l be k(9). Are l and -574/9 equal?
False
Let l be ((-9)/(-4))/((-4)/16). Let y be (18/(-40))/(l/(-24)). Suppose t - 2 = -4. Which is greater: y or t?
y
Suppose 5*r = -2*z + 56, -18 = -r - z + 4*z. Suppose 0 = 5*j - 6*i + 3*i + 12, 2*j = -3*i + r. Which is greater: j or 3/11?
3/11
Suppose 96 = 4*y - 264. Suppose -7437 - 1113 = -95*l. Is y at most as big as l?
True
Suppose 91*b + 4 = 57 + 38. Let d be (-98)/(-45) + (-2)/(-9). Is b > d?
False
Let l(i) = i**2 + 7*i - 19. Let r be 3*-6*4/(11 - 3). Let x be l(r). Is -7/16 at least as big as x?
True
Let s be (-2 + 4)*18/12. Suppose -5 = s*u + 1. Is -3 != u?
True
Let b = -173.5 + 179.5. Which is greater: b or 114?
114
Suppose 292*o - 26 = 291*o. Are o and 27 unequal?
True
Suppose 4*n - 68 = 20. Suppose -4*u - 38 = 5*v - 12, 0 = -v - 5*u - n. Let s be (v/(-18))/((-1)/(-6)). Which is smaller: 1 or s?
s
Let t be 19959/30 + (-36)/120. Is t <= 0.1?
False
Let m(b) = -b**2 - b + 3. Let n be m(-3). Let g be 1 + (45/(-396))/(n/(-20)). Which is smaller: g or -0.1?
-0.1
Let k(h) = -h**3 + 15*h**2 - 23*h + 26. Let g be k(13). Which is smaller: 67 or g?
g
Let r be -3*((-2)/2 - 0). Let n(b) be the first derivative of -b**4/4 + 5*b**3/3 - 3*b**2/2 + b + 13. Let d be n(r). Is d > 9?
True
Let r = 180 + -179. Is 12/53 at least r?
False
Let b = 30 - 27. Suppose -b*n - 28 = 2*t - 8, 5*n + 12 = 2*t. Is -4 less than or equal to t?
True
Let l be -8 - -14 - (-1)/(-2)*6. Suppose -4*d - 1 = -l*d. Is d less than or equal to -2/99?
True
Suppose 2*h = -4*c - 6018, 2*c + 3011 = 3*h - 2*h. Let z = 30107/20 + c. Is z smaller than 0?
False
Let n(x) = -x**3 - 6*x**2 - 5*x - 2. Let r be n(-5). Let q(c) = c**3 + 3*c**2 + 2*c - 2. Let k(y) = -y + 2. Let w be k(4). Let m be q(w). Is m not equal to r?
False
Let d be (-128)/(-1728) + 199/(-1836). Which is greater: 0 or d?
0
Let q be 295/(-42) - (8 + -15). Is q not equal to 1?
True
Let j(w) = 2*w**3 - 5*w**2 + w - 6. Let o be j(-3). Let t = -63 - o. Is t > 46?
False
Suppose -5*m + 3 = 5*j - 7, 4 = -2*j. Let h = -12 + 6. Let q be (2/m)/((-3)/h). Which is smaller: -3/40 or q?
-3/40
Let q be (-9)/(-6)*(-8)/(-6). Suppose -3 = a + q*g, 0 = 3*a + 5*g + 13 - 5. Let c be 16/(5 + a - 2). Is 8 != c?
False
Let t = 2357/14 - 6399283/38010. Is 1 != t?
True
Let z be 0/((-3)/3 - (-6)/2). Suppose -172*i + 168*i + 72 = z. Is 67/4 greater than i?
False
Let t be (142/(-4))/((-69)/138). Is 73 >= t?
True
Let t(h) = -h**2 - h + 3. Let i be t(0). Let b = -25 + 29. Suppose o - b = -4*n + 15, -20 = -5*n - 5*o. Which is smaller: i or n?
i
Let s be 0 - (-1 + 27/31). Let c = 143/93 + s. Suppose -5*t - 4*d + 0*d + 17 = 0, 5*t - 3*d + 4 = 0. Which is greater: t or c?
c
Let d = 6 - 6.06. Let n be 7 + (-143)/13 - 0. Is d < n?
False
Suppose 1 = -2*t + 7. Let x(p) = -p**2 - 27*p - 140. Let w be x(-7). Suppose w*g + 3 = t*g. Is g != 2?
True
Suppose 21 - 13 = -8*m. Which is smaller: m or 2/191?
m
Let w = 9 + -11. Let j(o) = -o**2 + 10*o - 4. Let z be j(9). Suppose z*g - 5*r = 10, -4*g - 2*r + 6 = 28. Which is greater: w or g?
w
Suppose 0 = -0*s + s. Let p = 138/43 + -25363/172. Let u = 145 + p. Is u > s?
True
Let d(v) = -v**3 - 6*v**2 - 5*v - 1. Let k be d(-5). Let r = -188/3 + 43. Let a = -407/21 - r. Is a greater than k?
True
Let n = -18 + 18.37. Let m = -9.63 - n. Which is greater: 1 or m?
1
Suppose 3*l = 6*l - 3*v + 18, -5*l - 6 = 3*v. Let y be (1/1 + l)*-1. Suppose -7*p = -y*p. Which is bigger: p or 1/11?
1/11
Let k(x) = 3*x + 407. Let f be k(64). Which is smaller: 601 or f?
f
Let a = 591 + -561. Are a and 30 unequal?
False
Let a = -535868/113 + 4742. Which is smaller: 0 or a?
a
Let l = 289 + -291. Is l at most 61?
True
Suppose 0 = -2*k - k - 60. Suppose -3*s + q = 62, 2*s - 1 + 14 = -5*q. Which is smaller: s or k?
k
Let u = -3.7 - -1.2. Let o(a) = 5*a**2 + 51*a + 124. Let i be o(-4). Which is smaller: i or u?
u
Let h = -0.17 + 0.29. Let p = -21 + 21.02. Let k = h - p. Which is greater: k or -4?
k
Let v = 198 + -106. Is 91 greater than or equal to v?
False
Suppose -22 = 5*c - 77. Suppose 4*b + b - 3*s - c = 0, -b - 5 = 3*s. Which is smaller: b or -1/7?
-1/7
Let a = 322632/2078845 - 98/629. Which is smaller: a or -1?
-1
Suppose 0 = -5*d + 3*j - 5*j + 546, -3*d + 4*j = -312. Suppose 10*y = 8*y + d. Does y = 53?
False
Suppose 3*i + 1572 = -3*i. Let s = i + 1839/7. Which is smaller: 1 or s?
s
Let d = 495/4 - 120. Which is greater: 3 or d?
d
Let r = 5.1 + -5. Let x = 85 - 60. Let g = x - 24. Is r at most g?
True
Let o be ((-8)/(-32))/(((-15)/24)/(-5)). Which is bigger: 14/9 or o?
o
Let z = 0.02 + -1.04. Let g = 0.22 + z. Which is smaller: g or 2/5?
g
Let v = -0.79 - -0.741. Let t = v - -0.449. Let s = -0.1 - 0.1. Which is bigger: s or t?
t
Let x be (-45)/(-15) + (-265)/87. Is 0 > x?
True
Let v = -16 - -20. Suppose b - 4*z = -5*z - 3, 0 = -b + v*z - 28. Which is greater: 2 or b?
2
Let p(g) = g**2 - 7*g - 4. Let c be p(7). Let s be (-10)/2 - (