o - 6*x - 578, 2*x = 3*o + 1748. Let t be (-4)/22 + 8 + o/66. Which is greater: -4/3 or t?
t
Let g = -473846/163 + 2907. Let n = -4/674549 + 472199296/2528884201. Let a = g - n. Is -1 less than or equal to a?
True
Let f be (11920/(-2772))/10 + (-4)/(-18). Let q = 1150/3311 + f. Which is smaller: q or -1?
-1
Suppose 252 = u + 6*u. Suppose 11*x = 8*x - u. Let o be x*(-5)/20 - 0/2. Is 1/4 less than or equal to o?
True
Let y = -119 + 127. Suppose -5*b + 169 = y*b. Is 1/2 greater than or equal to b?
False
Let m = 74896729/3159 + -23709. Is -0.1 at least as big as m?
False
Let j = 5781 + -11785. Does -6003 = j?
False
Let p = 856253/7 + -123075. Is p equal to -753?
False
Let n = -232414.8 - -232415. Let o = 16 + 20. Which is smaller: n or o?
n
Let q be ((-7630)/(-7848))/((-2)/6). Let h be ((-9)/(-6))/((-3)/8). Is h at least q?
False
Let p be 717/9 + 4/(-6). Let l(t) = -9*t**2 - t - 17. Let u be l(3). Let z = -23 - u. Is p not equal to z?
True
Let g(a) = -2 - 168*a**3 + 0 + 82*a**3 + 12*a**2 + 85*a**3 + 16*a. Let d be g(11). Is d < 295?
False
Let g(j) = -j**2 - 153*j + 1458. Let q be g(9). Suppose o = -0*o + 6. Suppose o*m - 4*m - 1 = -3*z, -5*z = -5*m - 10. Which is smaller: z or q?
q
Let s = 3203/462 - 116/21. Let z = -12/497 - -6096/5467. Let o = s + z. Which is smaller: o or 2?
2
Let p(g) = -g + 14. Let f be p(-15). Suppose 2*t + 60 = -4*y, 4*y - 31 = 3*t + f. Let m = 19 + t. Which is greater: 2 or m?
2
Let f(k) = 10*k**2 - 6 - 4 - 8*k + 8*k**3 + 11*k**3 - 20*k**3. Let p be f(9). Suppose 2*g = -2*x - 3*g + 11, 9 = 3*g. Do p and x have different values?
True
Let x = 22 - 17. Suppose x*m - 300 = -960. Let k be 1 - (-4 + m/(-28)). Which is smaller: k or 0?
0
Let x(p) = p**3 + 18*p**2 - 19*p - 4. Let t = -34 - -40. Suppose -v - t - 13 = 0. Let h be x(v). Is h not equal to -8?
True
Let y be (8/(-6))/(-149*(-2 - 1 - -2)). Does -1 = y?
False
Let w = 17.273 + -17.2. Let d = -49.073 + w. Let t = 58 + d. Is 0 greater than or equal to t?
False
Let l = -33334 - -33331.8751. Which is greater: -0.1 or l?
-0.1
Suppose 26*v - 126 - 4 = 0. Let z(k) = k**2 + k + 1. Let l = -3 - 0. Let t be z(l). Which is greater: t or v?
t
Let f = 16234 - 16206. Is f at most 94?
True
Let c be ((-2)/9 - 49576/(-99) - -7) + (-198)/363. Suppose 0 = 2*q + q - 9, z - 4*q - 496 = 0. Which is smaller: z or c?
c
Let z = -7.19 - -500.19. Let a = z - 492.6. Is a >= -2/3?
True
Let q = 649 + -648. Let v be 16/(q - -3) + 9079/(-2268). Which is smaller: 1 or v?
v
Let b(c) = c**3 - 4*c**2 + 9*c + 28. Let t(s) = 6*s**3 - 19*s**2 + 45*s + 138. Let g(y) = -11*b(y) + 2*t(y). Let i be g(-5). Which is smaller: 147/4 or i?
147/4
Let t be -13 + 13 - (-434)/(-2). Let g = t - -223. Is g != 6?
False
Suppose -1681 - 1045 = 47*w. Which is smaller: -69 or w?
-69
Let f = -22142 - -22610. Is f at least 468?
True
Let y be 70/10 - (6/(-3) - (0 - 9)). Let u be ((-51)/279)/(1/6). Let z = 1323/1178 + u. Which is smaller: y or z?
y
Let l = -16172363/308847 + 1/28077. Let c = l - -2476/33. Is 24 <= c?
False
Let x(g) = -g**3 + 9*g**2 - g + 7. Let m be x(9). Let i be 5 + 10 + -5 + m. Let c = -88 + 88.1. Do c and i have the same value?
False
Let p = 30 + -32. Let g = -183 + 177. Is p less than g?
False
Suppose 110*a - 14*a = -40985 - 224071. Are a and -2759 nonequal?
True
Let u be (-3)/((-960)/20) + (-1135)/752. Is u greater than -1?
False
Let n be (-128)/(-370) - (-4)/(-10). Let u = -238370 - -238369.95. Is u at least n?
True
Let g(a) = 9*a - 342. Let d be g(38). Suppose d*y + y + q = -9, -q = 3*y + 27. Let p = 3 + -13. Do y and p have different values?
True
Let i = -67.03 - -61.8. Let a = -72 - -71.77. Let y = a - i. Which is greater: -8 or y?
y
Let d be 3/((-9)/24)*8. Suppose 5*a + 16*c = 14*c - 1, 5*a = 5*c - 50. Which is greater: d or a?
a
Let i(m) = -m**3 - 29*m**2 + 112*m + 445. Let p be i(-33). Which is greater: p or 3317/3?
3317/3
Suppose 0*h - 7*h = -14. Suppose 4*g - x = 67, -g + h*x + 13 = 3*x. Does g = -2/5?
False
Let b be (-2)/(-4) - (-41)/(-70). Let d(g) = g + 2. Suppose -t + 5*h = -3*t - 14, 0 = -4*t + 3*h - 2. Let x be d(t). Is x bigger than b?
True
Let b = -72 + 116. Suppose -46*p + 304 = -b*p. Which is smaller: p or 0?
0
Let g = -2011 - -3116. Is 1107 < g?
False
Let d(v) = v**2 + 1 - 2 - 3 - 4*v - 2*v. Suppose 102 = -740*o + 757*o. Let f be d(o). Is 0.1 greater than or equal to f?
True
Let c be 1/((-10)/((-100)/(-17090))). Is c at least as big as 1?
False
Let k = 529 + -539. Let t be (2 + k/6)/((-272)/(-864)). Is t > 0?
True
Let c = 3 - 2.23. Let z = c + -0.37. Let m = 112 - 112.1. Which is bigger: z or m?
z
Let b = 10339 + -10342. Is 11/34 greater than b?
True
Suppose 172*k - 2040 = 138*k. Which is bigger: k or 34?
k
Let f = -7633 - -7627. Is f at least 0.066?
False
Let p = -1114888/33 - -33782. Which is smaller: p or 2?
p
Let j(m) = -98*m - 3920. Let o be j(-30). Which is greater: o or -978?
-978
Suppose -86 = b - 6*b - v, 0 = 5*b - 2*v - 83. Is 1 >= b?
False
Suppose 31*j + 1608 + 1213 = 0. Which is smaller: j or -107?
-107
Let s be (-4)/(-8620)*-2*(195/(-10))/(-13). Is s not equal to -1?
True
Suppose 0 = -5*u + u - 360. Let q be (-419)/6 - (-15)/u. Let n = q - -82. Which is greater: 13 or n?
13
Let w(n) = 16 - 54 - 42 + 16 + 6*n. Let f be w(-3). Suppose 18 - 99 = i + y, -i - 79 = 2*y. Do i and f have the same value?
False
Suppose 0 = -0*s + 2*s - 4*v + 26, 4*s - 3 = -3*v. Let f be -11 - 37/s - 28/(-6). Which is smaller: 16 or f?
f
Let x(a) = -8*a**2 - 6*a - 8. Suppose -5*y + 4*y - 2*g = 10, -19 = 4*y + g. Let c be x(y). Is -113 at most as big as c?
True
Let t = 2368 + -2184. Let k = 506 + -322. Is t at most as big as k?
True
Suppose 0 = -21*n - 16*n + 1110. Let u be (805/n)/(-1) + 3/(-18). Which is bigger: 3 or u?
3
Let c(p) = p + 2. Suppose 28 = 3*d + 4*j, -d - 3*j + 0*j + 16 = 0. Let u be c(d). Suppose 3*n + 12 = 4*i - 12, 0 = 5*i + 3*n - 30. Is i > u?
False
Let i be -6 + ((-592018)/2016)/(-49). Which is greater: -1 or i?
i
Let n(z) = -5*z**3 - 14*z**2 - z - 20. Let k(s) = 9*s**3 + 27*s**2 + 3*s + 39. Let h(f) = 6*k(f) + 11*n(f). Let v be h(9). Which is smaller: -25/6 or v?
-25/6
Let j be (-1435)/82 - 1*-19. Which is smaller: 0.1759 or j?
0.1759
Let i be (-223815)/(-150) - (-10)/(-100). Which is greater: i or 1494?
1494
Let m = -24.41 - -52.41. Which is smaller: -0.23 or m?
-0.23
Let b be (2 + -105)/(22 + 111/(-5)). Is 512 greater than b?
False
Let v be (-18)/7 - (0 - 3). Suppose 42 = -2*j - 86. Let t = j + 63. Is v at most t?
False
Let d = -393.8 - -382. Let a = -2.8 - d. Is a at least as big as -10?
True
Suppose -5*g = -71 - 314. Let q = g + -74. Suppose -3*v = 3 + q. Do -21/8 and v have different values?
True
Suppose 11445 - 11874 = -13*n. Is n greater than 1048/33?
True
Suppose 16 = 9*q - 11*q - 2*m, 4 = -3*q + m. Is q < 182?
True
Suppose -k + 5*k - 180 = -5*c, c = -4*k + 52. Let y = c + -27. Suppose y*j = 6*j. Which is smaller: -2/71 or j?
-2/71
Suppose 0 = -t - s + 2, t - s = 3*t - 3. Let o = -1839 - -31254/17. Let a = -49/221 - o. Are a and t nonequal?
True
Let x be -16 + -25 + 24 + -2244. Is -2261 greater than x?
False
Let o = 55655/16523 + -138/41. Are o and 0 equal?
False
Let c be 32340/(-357071) - (-1)/11. Which is bigger: c or 0?
c
Suppose -43*j + 45*j = 12. Suppose -j*t + 13*t = 259. Which is greater: 39 or t?
39
Let g be 1*(2 - -1) - 2. Let s be 314/106 - 3/g. Let j = 800/497 + -94/71. Is s less than or equal to j?
True
Let p(u) = -21*u**2 + 2*u + 687. Let q be p(32). Are q and -0.1 nonequal?
True
Suppose -11212 = 5*g + 2*n, 4*g - 6*n = 13*n - 8846. Is g not equal to -2237?
True
Let o(i) = -2*i**2 - 58*i + 74. Let j be o(-30). Let a be 340/(-9) - j/63. Are a and -43 nonequal?
True
Let y be -4*(-7)/28*17. Let o be (-39330)/510 - (-2)/y. Is o greater than -78?
True
Suppose o = 5*o, -6 = -2*f + 4*o. Let i be (-1)/f - (-170)/528. Suppose 4*m + 5*h = 26, 2*m + 2*h - 11 = m. Is i less than or equal to m?
False
Let b be 2/((-8)/(-12)) - (6 + 2620/(-835)). Is b != -1?
True
Let q = 10134 + -50671/5. Which is smaller: -571 or q?
-571
Let b = -7.11 + 304.11. Let p = 301 - b. Is p at least -15/4?
True
Suppose 14*a + 91 + 819 = 0. Let b be 249 + (52/a)/(1/5). Is b less than or equal to 244?
False
Suppose 0 = -2*f - 10 + 22. Suppose 25 = f*i + 139. Let u be (-1 + 28)*2/(-3). Which is smaller: 