t t be 46/(-3)*(-27)/(-72). Let m = 59 - 55. Suppose 2*j = -2*j + 16, 0 = -m*w + 5*j - 44. Is w < t?
True
Let s be ((-7)/(-14))/(32102/6420 - 5). Which is smaller: s or 1604?
1604
Suppose -2*n + 2*s = 455 + 31, -5*n - 1170 = 4*s. Is -237 < n?
False
Let k(w) = -1517*w - 304. Let a be k(1). Which is smaller: a or -1?
a
Let w = 1.66 + -0.06. Let s = -1409.6 - -1408.7. Which is greater: s or w?
w
Suppose 4*y = 3*k + 26, -5*y + 6*y = 5*k + 32. Let j(w) = w**2 + 2*w - 26. Let u be j(k). Which is smaller: 3/2 or u?
u
Let j = -725 + 726. Is j >= -35?
True
Suppose -6*a + 206 = -16. Let k = 46 - a. Suppose -2*o - 3*b + 11 = 0, -2*b + b - 13 = -o. Is o greater than k?
True
Let m = -5708 + 5069. Are m and -642 equal?
False
Let f = 1570 + -1583. Suppose 24 = -2*t - 4*r + 2*r, 10 = -t + r. Which is smaller: t or f?
f
Let k = 113/214 - 110/107. Let m be (10/6)/(1/3). Which is smaller: m or k?
k
Let c be (1 - (-267)/38)/((-42)/28). Let h = 6/19 - c. Let y = 6 - 0. Is y < h?
False
Let o = -113.87 + 114. Let u = -0.07 - o. Let d = -1 - -1.1. Is u <= d?
True
Suppose -4*n + 6*n + 62 = 0. Suppose 3*g = -3*y + 129, 0 = -4*g + 2*y - 98 + 276. Let z = n + g. Which is bigger: 14 or z?
14
Let f be 2 + 2 + (-3 - 1). Let n be (-27*18/1335285)/((-1)/(-5)). Which is bigger: n or f?
f
Let i be 112/22*(-891)/(-39042). Which is bigger: i or -1/3?
i
Let g(f) = -498*f**2 - 5*f + 8. Let i be g(4). Let q = -39724/5 - i. Let m = q - 26. Which is bigger: m or 9?
m
Let c be (-1)/2 + 1/2. Let i(y) = 25*y. Let d be i(1). Let f be d/((-1575)/(-396)) - 5. Is f at most as big as c?
False
Let p(n) = -2*n**2 - 6*n + 6. Let b be (-126)/(-168)*4/3. Let c be p(b). Which is greater: -12/13 or c?
-12/13
Let u be (6/18 + 0)*(0 + 2). Let l = -214 + 214. Is l > u?
False
Let q be ((-14)/3 - -4) + (-12207)/(-14274). Is -1 less than or equal to q?
True
Let x = -1 + 0.9. Let i = 3.88 - 0.78. Let c = -2.9 + i. Is x at most c?
True
Let w(m) = m**3 - 7*m**2 + 12*m - 13. Let k be w(5). Let z be 30/(-5565)*7/k. Which is smaller: 1 or z?
z
Let g be (-643)/(8/(-24 - -8)) - -1. Let m = 1759708 + -22892943/13. Let a = g + m. Which is bigger: a or -2?
a
Let v(c) = -52*c**2 + 44*c - 213. Let q be v(4). Which is smaller: -868 or q?
q
Let q = 33 - 16. Suppose -u = 2*r - q, -r + 4*u = -4*r + 28. Suppose 4*o + 45 = 9*o. Which is greater: r or o?
o
Let n be (20/7)/(690/2415). Which is bigger: 116/13 or n?
n
Let u = 1809 + -1884.1. Let k = u + 75. Is k != -190?
True
Let k be (-18)/(-45) + (-9035)/25. Do -367 and k have different values?
True
Let d = 381 - 737. Let g = 354 + d. Which is greater: g or 67?
67
Let g be (6 - 3)*-1*10/15. Let h be (-3513)/(-11) - (-3 - g). Let t = -321 + h. Are t and -1 unequal?
True
Let y = 7087/6 - 1175. Let a = 7644 - 7639. Which is smaller: a or y?
a
Let v = 128915 - 128915. Let t be (-1)/(-3) - (0 - 0). Which is smaller: t or v?
v
Let t = -9634 + 9728. Does 35 = t?
False
Let b = -2.58 + -0.22. Let r = 3 + b. Suppose 5*x + w = 2*x + 17, -41 = -4*x - 5*w. Which is smaller: x or r?
r
Suppose -3743 = -373*s + 479 + 11817. Is s less than or equal to 20?
False
Let n be (-1661)/187 - -9 - (-1528)/(-12699). Suppose -z = -3*z. Which is greater: z or n?
z
Let c = 2256.2 - 2256.3. Which is bigger: 2314 or c?
2314
Let z = -4790 + 3932. Is z at least -0.1?
False
Suppose -3*r + 6*t = 2*t - 12098, -2*r = t - 8080. Let j be 3 - (r/1350)/1. Which is greater: j or -1?
j
Suppose 3*d - 389 = -1229. Let y be (-988)/d + (-2)/20. Which is bigger: 4 or y?
4
Suppose -5*m = -9*m + 16. Suppose n = m*u + 7, 3*u + 9 = -4*n + n. Let j = -9 + 5. Which is greater: j or u?
u
Let c = 12.148805 - 0.148805. Let l = -1 + 1.1. Let s = 0.2 - l. Which is greater: s or c?
c
Let o(x) = -x + 18. Let g(v) = v**3 - 8*v**2 + 2*v - 14. Let w be g(8). Suppose 5*l - 42 = w*l. Let u be o(l). Is 3 bigger than u?
False
Let o be 1 + 1 - (1 - -34). Let y = 20353 + -20385. Which is smaller: y or o?
o
Let u = 2406/19 + -1056272/8341. Let h = u - -892/3073. Is 5/9 not equal to h?
True
Let v(c) = 10*c - 33. Let s = -39 - -46. Let f be v(s). Is f smaller than 36?
False
Let l(x) be the second derivative of -x**3/6 - 81*x**2/2 - 98*x. Let d be l(23). Is d at most as big as -101?
True
Let k be 2 + -1 + -1 + 1. Let m be 105/315*(-1159233)/151. Let x = 2559 + m. Which is smaller: k or x?
x
Let x = -2/37 + 132/1073. Suppose -3465*w = 3*h - 3466*w + 6, -4*w + 14 = -2*h. Is h > x?
False
Let w be (-282)/(-730) + ((-3)/(-5) - 1). Let r(m) = 4*m**3 - m. Let q be r(1). Suppose -v + 3 = y - 2*v, q*y - 5*v - 13 = 0. Is y less than or equal to w?
False
Let q = 509 + -513. Let m = -5 - q. Which is bigger: m or -2/33?
-2/33
Let d = -0.6 + 2.1. Let b = 127 + -125.683. Let y = b + -0.317. Which is greater: y or d?
d
Let f(i) be the second derivative of -11*i**4/2 - 17*i**3/6 - 8*i**2 + i - 1. Let x be f(-1). Which is smaller: -66 or x?
-66
Let u = 8.742 - 8.942. Let i = -0.182 + 148.182. Which is greater: i or u?
i
Let p = -99.67 - -18.67. Is 1/2 <= p?
False
Let d(t) = 1358*t + 46213. Let y be d(-34). Let s be 0 - -35 - (-2)/1. Let p = 77 - s. Which is greater: y or p?
y
Let h = 256327 - 1759172195/6863. Which is greater: h or 0?
h
Suppose 5*v - 79 = -4*d, -1 - 1 = 2*v. Let x = d + -14. Let h be ((42/(-12))/7)/(x/(-4)). Is 3/5 less than h?
False
Suppose 11*f - 235 + 642 = 0. Is -480/13 equal to f?
False
Let o(b) = b**3 - 5*b**2 - 11*b + 26. Let p be o(6). Let d be p - (-3 - -1 - 1)*1. Which is smaller: -20/13 or d?
-20/13
Let c = -65 - -74. Let h be -4 + (c - 4) + -2 + -46. Which is smaller: h or -46?
h
Let k = -0.9648 - -11.9648. Which is bigger: k or -64?
k
Let l = -325 - -328. Suppose -23*i + 49 + 20 = 0. Are l and i nonequal?
False
Let z(d) = 6*d**2 + d + 15. Let a be z(4). Suppose 0 = -106*r + a*r - 9. Is r != 3/5?
True
Let p(a) = a**3 + 104*a**2 + 101*a - 1940. Let s be p(-103). Is -1736 != s?
True
Let s = -18.0015 + 0.0015. Is s less than or equal to -14/5?
True
Let f(w) = -2*w**2 + 2*w + 8. Let n(y) = -5*y**2 + 7*y + 24. Let j(l) = -8*f(l) + 3*n(l). Let g be j(-4). Suppose -u + 8 = 4. Is g greater than u?
False
Suppose 0 = -2*y - k + 84, 66*y - 67*y + 6 = 5*k. Let h(m) = -15*m - 1. Let u be h(-3). Which is smaller: u or y?
u
Let d = 258 + -2326/9. Let x = -21.829 - -21.429. Is x less than or equal to d?
False
Let z(c) = -c**2 + 77*c - 146. Let l be z(2). Suppose 0*m = -m - 3. Is l < m?
False
Let f = -40.5 - 36.85. Let z = 77.3 + f. Do z and -0.015 have the same value?
False
Suppose 1472 = 79*c + 13*c. Let d = -2845/3 - -963. Which is smaller: c or d?
d
Let i(d) be the first derivative of -d**2/2 + 16*d - 15. Suppose 72 = 5*z + 22. Let r be i(z). Which is greater: r or 8?
8
Let s = -59.072 - -59. Let o = -3.928 + s. Let g = 8 - o. Is g at least 0?
True
Let d(g) = -2*g**2 - 3. Let l be d(-4). Let i = -191.76 + 191.56. Which is bigger: i or l?
i
Let p = -1041 + -1389. Which is greater: -2429 or p?
-2429
Let r(t) = -t**2 - 17*t - 15. Let b be r(-16). Let y be 1/3*(-10 + b). Suppose -18*s + 5 = -19*s + w, w = -4*s - 25. Which is greater: y or s?
y
Let s = 980 + -581. Let c = -396.87 + s. Let o = 0.13 - c. Which is smaller: o or -14?
-14
Suppose -q - 4 = 3*f, -4*q = 220*f - 221*f + 3. Do q and 6290/9 have the same value?
False
Let v = -581 - -554.1. Let u = 27 + v. Let c = 458 + -5969/13. Which is smaller: u or c?
c
Let j = 4932 + -4931. Which is greater: -21/1256 or j?
j
Let g = 24730 + -37809. Let o = g + 13693714/1047. Which is smaller: o or 1?
o
Let w(h) = 4*h - h**2 + 6 + 8*h + h - h. Let o be w(13). Is -15 at least o?
False
Let s(d) = -d**3 + 11*d**2 - 5*d + 25. Let n be s(10). Let h be (0 + 8/n)*(-390)/520. Suppose i - 4*g - 1 + 14 = 0, -2*i - 4*g = -10. Which is smaller: i or h?
i
Suppose -9*w = 3*f - 5*w - 4, -3*w + 4 = 2*f. Let s be (-163170)/(-40815) + 1*f*1. Which is smaller: 1 or s?
s
Let d(w) = -w**3 + 2*w**2 - 2*w + 55. Let r be d(-8). Is 710 > r?
False
Suppose -7*c - 8*c + 8626 = 4*c. Is c != 458?
True
Let q = -2796 + 243250/87. Is q at least as big as 1?
False
Let q be 96/27 + (-4)/(-9). Suppose -5*r + 4*h = 8, 3*r + q*h - 8 = -0*r. Is r > -1/11?
True
Let i = -2740 + 3708. Is i smaller than 3869/4?
False
Let j(k) = k**2 + 3*k - 10. Let g be 25/5*(1 + -2). Let a be j(g). Is -1 < a?
True
Suppose 4*p = -192 - 244. Let v = -96 - p. Suppose -d