o + 45 = 5*j, -95 + 19 = -4*o + 4*j. Let u be 4/5 + 959/o. Is u < 49?
True
Let w(k) = -k**3 + 12*k**2 - 10*k - 8. Let o = 42 - 31. Let u be w(o). Let g be u - 4/12*9. Is g not equal to -2/9?
True
Suppose -2*y + 3*q = -4, -3*y + 3 = -4*y + 4*q. Suppose -5*n + 2*k + 527 = -2*k, y*n - 5*k = 525. Is 1/4 >= n?
False
Let x = -605 - -588. Let w(m) = m**3 - 7*m**2 + 6*m. Let h be w(6). Suppose 5*v + 35 + 35 = h. Which is smaller: v or x?
x
Suppose -5*k - 366 = 54. Let h be (-18654)/k - 2/(0 - -4). Let u = h + -222. Is 1 equal to u?
False
Let r be (186/16)/(140/65). Let h = -38/7 + r. Suppose 5*w + 15 = 4*f, -7*f = -12*f - 3*w - 9. Do f and h have the same value?
False
Let h(p) = p + 2. Let l be h(6). Let i(d) = d**3 - 10*d**2 + 13*d - 26. Let y be i(l). Let w = 83 + y. Which is smaller: w or 32?
32
Let h = 14710 - 14708. Is h at least as big as 2662?
False
Let n = -6 - -5. Let q(d) = -10*d**2 + d - 3. Let h be q(-3). Let g be (4/(-198))/((-16)/h). Which is greater: n or g?
g
Let x = 246 - 248.19. Let h = x + 2.3. Let n = 34.89 + h. Is 1/4 at least as big as n?
False
Let j(l) = 65*l - 5. Let o be j(3). Let t be (-3)/9 - (o/(-45) - -4). Let b(n) = n**3 - 4*n**2 + n - 3. Let y be b(4). Is y > t?
True
Let l = -97 + 174. Let g = l - 73. Suppose 2*p = -2*q + 34, 3*q + 76 - 1 = g*p. Is p < 21?
True
Let c(b) = b**2 + 6*b + 5. Let t be c(-4). Let q be (-18450)/(-175) - t/(-7). Is q <= 106?
True
Let u = 91 - 85. Let a be -2 - 13/(-11) - u/33. Which is bigger: a or 0.28?
0.28
Let y = -2137.72 + 2110. Which is smaller: -2/3 or y?
y
Let o = -17 + 7. Let j = -10 - o. Let u(k) = k**2 - k - 2. Let m be u(j). Which is bigger: m or 0?
0
Suppose -4*t + 4*i = -180 - 16, 0 = -5*t + 3*i + 243. Let g(j) = -j**3 + 47*j**2 + 51*j - 117. Let w be g(t). Which is bigger: 32 or w?
32
Let p = -65 + 21. Let f = 47 + p. Suppose -79 = 5*o - 3*n, 0 = o + 4*n + f + 22. Which is smaller: o or -19?
-19
Let v(t) = 11*t**3 + 1 + 1 + t**2 + 36*t**3 - 2*t. Let g be v(1). Let l = 140/3 - g. Which is greater: 1 or l?
1
Let d(c) = 2*c - 9 - 5*c + 11*c - 3*c**2 + 2*c**2. Let y be d(3). Is y > 54/11?
True
Let x(a) = 14*a + 602. Let j be x(-43). Which is bigger: j or 2/29591?
2/29591
Suppose 0 = 65*q - 68*q - 3. Let p = 3623/36 + -302/3. Is p at most q?
False
Let n be (-1)/(-1) + -1 - -327. Suppose 73*u + 10442 = 34240. Which is greater: u or n?
n
Let s = 1086.8 - 1157. Let g = s + 70.4. Let i = 661 + -7289/11. Which is bigger: g or i?
g
Let y be (53/(((-360)/81)/10))/(1/4). Which is greater: y or -476?
-476
Let k = 203.7 + -207. Let j = 3.6 + k. Which is smaller: j or -9?
-9
Suppose -604 + 604 = -7*s. Suppose s = -3*j + j - 4*j. Is j > -3/82?
True
Let n = -9.4 - 0.6. Let z = -2.93 - 0.03. Let d = -2.96 - z. Do n and d have the same value?
False
Let j = 15.32 + -0.32. Let b = 0.163 + -15.263. Let k = b + j. Is -1 >= k?
False
Let m be (-1)/(-2)*(-20)/(-30). Let l = 2 + 1. Suppose -6*u + l*u - 3 = 0. Is u at most m?
True
Suppose 4*n = -9 - 3. Let l be (-15)/(-80)*(-4)/n*0. Which is greater: l or -1/238?
l
Let m(u) be the first derivative of -u**4/4 - 13*u**3/3 + 6*u - 1. Let i be m(-13). Let w(s) = -8*s + 48. Let k be w(i). Is k < 2/5?
True
Let m be -1*(-4 + 2)/2. Let d = -6.941 - -6.91. Let n = 42.031 + d. Which is greater: m or n?
n
Let a be 115549/820505 + (-2)/14. Is a less than or equal to 1?
True
Let n be (1 - 3) + (-2860)/((-25)/5). Suppose 3*v - 432 = 6*g - 3*g, -2*g + n = 4*v. Which is greater: v or 285/2?
v
Let h(y) = 115*y - 15. Let z be h(-2). Let a = 7 + 33. Let x be a/z + 4/14. Which is greater: -1 or x?
x
Let j = 0.131 - 0.066. Let p = 0.155 + j. Let o = p - -0.68. Which is bigger: o or -1/3?
o
Let s = -242 - -245. Let o = 12 - 33. Let m = -26 - o. Is m <= s?
True
Suppose 210*u = 286*u + 138396. Is u < -1821?
False
Let d(h) = h**2 + 47*h - 149. Let o be d(-50). Which is bigger: 2/5299 or o?
o
Suppose 0*h - 5*h = 4*f - 343, -274 = -4*h - 3*f. Let c = 337/5 - h. Which is smaller: -4/7 or c?
-4/7
Let q = 132 + -126. Let l be (q + 0 + -5)*8. Which is bigger: 14 or l?
14
Suppose x - 18 + 20 = 0, 5*j = -x - 212. Which is smaller: 17 or j?
j
Let u = -1/136 + 311/5304. Suppose -4*j + t + 3 = -3, 0 = -5*t + 10. Let h be (1 - 3/2)*j. Which is bigger: h or u?
u
Let d = -9.478 - -9.318. Which is bigger: -2/21 or d?
-2/21
Let x = -0.10033 + 0.10033. Is -256 less than or equal to x?
True
Let k(v) = 104*v**3 + v**2. Let g be k(1). Let h be (111 - (-28)/(-4)) + (-4)/(4 + -6). Which is greater: h or g?
h
Let z = -0.809 - -0.8441. Let g = z - 4.0351. Which is bigger: g or 26?
26
Let x(s) = 39*s**2 + 425*s - 45. Let g be x(-11). Let t = -1/253 - -277/6072. Which is smaller: t or g?
g
Let q be (-31888)/8*(-5 - -3)/(-4). Which is smaller: -1994 or q?
-1994
Let d = 24975 + -25836. Are -0.3 and d nonequal?
True
Let p = -40.6 + 38.44. Let a = 36.16 + p. Which is bigger: a or -1?
a
Let t(y) = 28 + 16 - 2*y**3 + 7*y**2 - 76 + 16 + 31*y. Let x be t(8). Which is bigger: x or 1?
1
Let p = -495.45 - -9.45. Let l = p - -405. Which is greater: l or -1/4?
-1/4
Suppose -j - 2*a = -2, 7*a + 28 = 2*j + 3*a. Let l = 23 + -10. Let f = j - l. Is f at least as big as 1.1?
False
Let a = 69 - 68.934. Let y = -8.634 - a. Let b = 9.7 + y. Is b greater than or equal to 35/2?
False
Let y = -2833496/41 - -69113. Which is bigger: y or 4?
4
Let r = -1/179 + -347/1969. Let w = 5.34 - -0.7. Let t = -6.14 + w. Is r at least t?
False
Suppose -4*n = -w + 27032, 28*w - 33768 = 5*n + 24*w. Which is greater: -6759 or n?
-6759
Let m be 0 + (-10)/(-24) + (-3)/(-9). Let x = -572.7 + 548. Let u = x + 24. Which is smaller: m or u?
u
Suppose w = -2 + 17. Let x(v) = -14*v + 19. Let f be x(3). Let c = w - f. Is 38 less than or equal to c?
True
Suppose t + 2*t = 102. Suppose -j + 0*j = -t. Suppose -15*i = -13*i - j. Is 4 greater than i?
False
Let c = -45 + 54. Let l = 5 + 0. Suppose -20 = -2*a - f - 0*f, -a = l*f - 19. Is a > c?
False
Let g(s) = -19*s - 152. Suppose 25*m + 21*m - 276 = 0. Let x be g(m). Is x not equal to -265?
True
Let w = 12/1693 + -1234257/8465. Is -145 less than or equal to w?
False
Let q(j) = -j**3 - 6*j**2 - 8*j - 4. Let g be ((-10)/3)/(4/6). Let d be q(g). Suppose 7 - d = 4*t. Is t greater than 0?
False
Let z = 49 - 46. Suppose 21 = 5*p + h, z*p = -0*h - 3*h + 15. Let s be p/14*(2 + 5). Which is smaller: s or 12/17?
12/17
Let o = 3440 - 120398/35. Suppose -5*p - 3*l + 29 = 0, -2*l + 24 = 3*p + p. Suppose 3*m - p*m = -4. Which is greater: o or m?
m
Let x = -1002 - -1050.1. Let k = -26.8 - x. Let p = k - -75. Which is smaller: -4/7 or p?
-4/7
Suppose 5*n + 4*n - 3*n = -2658. Is -2651/6 at least n?
True
Let a = 1706605/172 + -9922. Which is greater: a or 1?
1
Let q(u) = -u**2 + 23*u + 139. Let m be q(28). Let k(j) = -149*j**2 - 16*j - 17. Let t be k(m). Is -149 bigger than t?
True
Suppose 14*h + 3 = 13*h. Let t be (-10)/35 + h/((-42)/(-94)). Let x be (((-42)/4)/t)/((-30)/(-8)). Is x less than or equal to 3.3?
True
Let f(z) = -4*z**3 + 2*z**2 + 6*z + 15. Let o be f(0). Which is greater: 52 or o?
52
Let o = -10/3869 - -46679/16563189. Which is greater: 1 or o?
1
Let s be (-115 + -5)*42/(-10). Let a be (-112)/s + (-3)/(11286/(-872)). Let c = -2 + 2. Which is bigger: a or c?
a
Let y = 3009.8 + -3010. Which is smaller: -116 or y?
-116
Let h be (2 + (-11)/2 - 1)*(-5)/1380. Is h greater than or equal to -26?
True
Suppose 22*q + 20378 = 58*q - 574. Which is bigger: 571 or q?
q
Let b be (-8)/(-6)*(66 + -63) - (-454295)/(-113570). Does -1 = b?
False
Suppose -3*j - 4 = 140. Let l = j - -50. Suppose 2*i + 2*d + 3*d - 2 = 0, l*i = 5*d - 38. Is i at most -10?
False
Let c = -2274 - -530. Which is smaller: c or -0.2?
c
Let u = 190814/15 - 38143/3. Suppose -s = -3*g + 19, -3*g + 2 + 14 = 2*s. Which is smaller: g or u?
g
Let d = -0.6633 - -0.4633. Is d greater than or equal to 1131?
False
Let a(r) be the third derivative of r**6/120 - r**5/3 + r**4/24 - 8*r**3/3 - 10*r**2. Let o be a(20). Suppose 0 = 6*v - o*v - 2. Which is bigger: 1/91 or v?
v
Suppose 2*d - 3*d = 0. Let v be (-900)/(-4158)*51 + -11. Which is greater: v or d?
v
Suppose 5*t + 3 = 6*t. Suppose -4*f - 4*g - 32 = 0, -t*f = -4*f - 3*g. Is -94/7 at least as big as f?
False
Let w = 1394 - 1412. Let x = -0.172 + -0.828. Is x at least w?
True
Let v = -3619 - -3605. Which is greater: -