 + (-1)/(-3). Which is smaller: -1 or d?
-1
Suppose -4940 = 204*b - 5*b + 3418. Is -66 at most as big as b?
True
Let m = 0 + -15. Let l(n) = -n - 19. Let d be l(m). Let w be (d/(-8))/1 + (-1)/2. Which is smaller: w or -2?
-2
Let m(k) = -2*k**2 + 40*k + 71. Let b be m(21). Which is greater: b or 23?
b
Let c = 3315 + -3229. Let v = -238 + 435. Suppose 3*x - v - 64 = 0. Which is smaller: c or x?
c
Suppose 2*r = -5*p + 2651, 1578 = 3*p + 4*r - 21. Suppose -18*m - 151 + p = 0. Let i = -173/3 - -469/6. Is i equal to m?
False
Let i = -4.62 + 8.21. Let x = -1.59 + i. Which is bigger: 0.05 or x?
x
Let n = 10877 - 11217. Do n and -4 have the same value?
False
Let p be 0 + -5 - (-4)/2. Let y be 1/(-4) + (125/20 - 4). Let t be (17 - 15) + y*3. Which is smaller: p or t?
p
Let r(q) = -13*q**3 + 24*q**2 - 3*q + 13. Let i be r(2). Is -6/545 != i?
True
Suppose -35*j + 46 = -12*j. Let a(u) = -u**3 - 3*u**2 - u - 4. Let z be a(-3). Let v = z + j. Are v and 4/15 nonequal?
True
Let u be 1*3/(6/4 + 0). Suppose -q + 4*v + 16 = -0*v, -u*v - 16 = -q. Suppose -5*y - 17 = 3*a + q, 4*a = -3*y - 55. Is -11 at least as big as a?
True
Let a = -22217/5 + 4428. Let s = a + 15. Let h = 56 - 56.14. Which is greater: s or h?
h
Let a = 13.98499 - -0.01501. Which is bigger: a or -2/135?
a
Let c(y) = -y**2 - 2*y - 10. Let g be c(-7). Let j = g - -45. Suppose 2*k + 10 = j, -2*q - 22 = q + 5*k. Is q equal to -1/38?
False
Let t(s) = -2063*s + 1803. Let y be t(3). Is -4385 < y?
False
Let k(y) = y**3 + 3*y**2 + 2*y - 1. Let v be k(-2). Let x = 9/1765 - -8636/37065. Which is smaller: v or x?
v
Let j(q) = -q**3 + 36*q**2 + 128*q + 495. Let g be j(40). Is -787 greater than g?
False
Suppose -72*s - 228026 = -91586. Which is bigger: -1894 or s?
-1894
Let g = -181 + 126. Suppose 10 = 14*z - 19*z. Let u be (-2387)/g - z/(-5). Are u and 43 equal?
True
Let j = 1 - 6. Let u(c) = -c**2 + 4*c + 257. Let m be u(-14). Suppose -4*x + 17 = -5*z, 0*x = -m*x - 4*z - 30. Which is smaller: x or j?
j
Let k = 81207 + -71543357/881. Which is greater: 0 or k?
k
Let i = -7695 + 423227/55. Suppose -4*g = -0 + 4. Which is greater: g or i?
i
Let v(l) = l**3 + 10*l**2 - 2*l - 31. Let x be v(-9). Suppose -3*n - x = 5*i, -n - 7*i + 4*i = 24. Is -27 < n?
True
Let a = -13 - -14. Suppose 0 = 4*f - 24*f + 6300. Let t be (-15)/(-30) + (f/(-134))/5. Which is bigger: t or a?
a
Suppose -w + 0*w + 142 = 0. Let r = -62 + w. Let v = r - 113. Which is smaller: v or 1/2?
v
Let m(b) = 2*b**2 - 1. Let p(d) = 14*d**2 - 3*d + 46. Let l(t) = 4*m(t) - p(t). Let r be l(-7). Which is smaller: -366 or r?
-366
Suppose 4*t - 2*c + 4*c + 452 = 0, -226 = 2*t - c. Is -13 greater than t?
True
Let g(o) = o**2 + 11*o - 12. Suppose a = 3*v + 31, -2*v - 5*a - 45 = 3*v. Let h be g(v). Let n = h - -19. Is -13/8 at least as big as n?
True
Suppose 4*x + 64 = 2*z, -2*z - 2*z + 16 = -x. Let v = x + 50. Let j = v + -12. Is 21 < j?
True
Let g = -2.9957 + -0.0943. Let x = 9.91 - g. Are x and 2.1 nonequal?
True
Let x = -11.151 + 11.2. Let m = -0.151 - x. Suppose 41 = 3*c - 34. Is m at most c?
True
Suppose 2*s = 3*t - 38, 4*s + 0*s - 2*t = -68. Let m = -10 - s. Let j be (2 + 356/(-176))*m. Is 1 >= j?
True
Let q(b) = 2*b**2 - b - 1. Let o(h) = -13*h**2 + 42*h + 284. Let f(k) = o(k) + 6*q(k). Let z be f(44). Which is smaller: z or -0.1?
z
Suppose 0 = 6*q - 26 + 2. Let c be (-2 - (-3 + 1 + -2)) + q. Suppose 0*z - 2*z = -4*g + c, 3*g - 5*z = 22. Is 4/31 <= g?
False
Let z be -16*(-7)/(-6 + 13) + -7. Let a = -7/18 - -5/9. Is z bigger than a?
True
Suppose -2*q = -10, 5*c + 5*q = -73 - 37. Let i = 17 + -12. Suppose -i*g - 4*h = 148, -3*g = 2*g - 4*h + 132. Which is greater: c or g?
c
Let j be -270*(13 - -2)/15. Which is bigger: -256 or j?
-256
Let h = 130 + -122. Let j be h - 3 - 164/28. Is j != -2?
True
Let x(f) = f**2 - f - 1. Let y be x(1). Let h be 6084/1638 + -1 + (-18)/(-14). Let n be (-1)/4*h + 16. Is n < y?
False
Suppose 242 = -o + 3*p - 104, 5*p = -15. Suppose -31*f + 1420 = -35*f. Does o = f?
True
Let u be (-2 + 72/27)*357/2. Let f = 844/7 - u. Is f bigger than 2?
False
Let a = 27.87 + -28.27. Which is smaller: -78/7 or a?
-78/7
Suppose 334 = -3*s + 91. Let m = -0.28 + 0.38. Is s equal to m?
False
Let f(a) = -3*a**2 - 17*a + 16. Let u(t) = -4*t**2 - 18*t + 16. Let s(v) = -5*f(v) + 4*u(v). Let m be s(12). Let h be m*3/30*(95 + 0). Is -38 less than h?
False
Let t = 45 - 106. Let j = t + 63. Suppose 74 + 112 = j*g. Is 93 equal to g?
True
Let l be 1/5 + 142004/655 + 1/(4/(-12)). Let p = 0.1 - -0.1. Which is bigger: l or p?
l
Let r = -274.056 + 276. Let y = r - -0.056. Is 0.02 smaller than y?
True
Suppose -q - 3 = -2*r, -6*q + q = 4*r + 15. Suppose 14*i - 13*i - 32 = r. Let b = i + -17. Is 13 less than or equal to b?
True
Let r = 7334 - 7321.57. Does -3/2 = r?
False
Let x(f) = 116*f - 785. Let p be x(14). Which is smaller: p or 833?
833
Suppose 2*l + 13040 - 4235 = -l. Which is smaller: -2932 or l?
l
Suppose -6*z + 14 = -10. Let o be (-10)/z*(-108)/(-3195). Is o less than or equal to 1?
True
Let r be (-6)/(5 - (-396)/(-78)). Let o be 42/78*(5 - r/15). Which is smaller: 1 or o?
o
Let i = -144.94 + 175.14. Which is smaller: -2 or i?
-2
Let d(r) = 221*r**3 - 3*r + 4. Let u be d(1). Suppose 23*i + 1257 = u. Suppose 0 = 2*x - 3*s + 91, 3*x + 134 = 2*s - 0*s. Are i and x equal?
False
Let z = 1 + -5. Let c be 2/8 + (-42)/8. Let n = z - c. Is n < 12?
True
Suppose 244089 = -67*g + 36858. Are -3093 and g nonequal?
False
Let b(l) = -45*l + 5. Let o = 38 - 26. Let j(d) = d**2 - 10*d - 26. Let f be j(o). Let i be b(f). Is i smaller than 0.1?
False
Let m = -24807 - -25333. Which is greater: 517 or m?
m
Suppose 33*h - 134 = -2. Suppose -2*d - 2*d - 3 = -5*s, 2*s + h*d = -10. Which is bigger: -7/16 or s?
-7/16
Suppose 0 = -53*q - 11*q. Suppose q = 390*y - 379*y + 187. Is y less than or equal to -8?
True
Let y = 13 - 13. Suppose y = -5*l + 5 + 10. Let s = l - 8. Which is smaller: s or -9?
-9
Suppose -2*b + 5*v + 14 = 27, 5*v - 15 = 0. Are b and 2/19947 non-equal?
True
Let t = 85 - 79. Let d(n) = -n**2 + 10*n - 18. Let i be d(t). Suppose s - 31 = -4*x, -5*s + 0*x - 2*x + 65 = 0. Which is smaller: i or s?
i
Let v = -21 - -17. Let t be 3 - (24/4 + v). Let p be 2/(-4) - (993/402 - 3). Which is greater: t or p?
t
Let o(p) = 25*p**2 - 8*p + 12. Let m be o(2). Suppose 12*q - 10*q - n + 91 = 0, -2*q = -2*n + m. Let h = -27 - 15. Is q <= h?
True
Suppose -4*y - 7 - 5 = -4*a, 2*y = a - 5. Are 59/378 and a non-equal?
True
Let k = -16891 + 14288. Does -2601 = k?
False
Let s = 57.53 + -57.03. Suppose z = -2*z. Suppose 4*g + 18 = -3*y, 3*g + 0*y - 3*y + 3 = z. Which is smaller: g or s?
g
Let b = -0.04529 - 3459.95471. Which is bigger: b or -2?
-2
Let a = -225 - -241. Let g = a + -44. Are g and 1/2 nonequal?
True
Let t(k) = -k**3 + 9*k**2 + 23*k - 5. Let l be t(11). Let c be (34/51 - 10/l)*-44. Suppose 22*p - c = 20*p. Is 19 > p?
False
Let f = -240.51 - 15.89. Let c = f - -256. Which is bigger: c or 0.04?
0.04
Let u be ((-61735)/(-15))/(3/9). Let a = -10507299/851 + u. Which is smaller: a or 0?
a
Let k = 2111837/150 + -14079. Is 1 at least k?
True
Suppose 2*r - 12 = 6*r. Let h be (-565)/35 - (-93)/651. Which is smaller: r or h?
h
Let r be (((-16)/(-12))/2)/(40/2004). Is r less than 34?
True
Let j(b) = -b**3 - 21*b**2 - 22*b - 44. Let a be j(-20). Let p(d) = -2*d**3 - 10*d**2 - 5*d - 5. Let k be p(a). Let u be 51/k + 19/4. Which is smaller: 1 or u?
1
Let q be (-13)/((-4225)/(-1290)) + 4. Suppose 4*o - o = -81. Let b = o - -26. Is b bigger than q?
False
Let s = -22026 - -22025. Is 1/121 < s?
False
Let g = 15475/13746 + -147/158. Which is smaller: 0 or g?
0
Let z = 2867 + -2841. Which is bigger: z or 15?
z
Suppose 3*m - 4*z - z - 147 = 0, 3*m - z - 135 = 0. Suppose -3*q = m - 29. Let n be ((-1752)/246 - q) + 2. Is 0 at least as big as n?
True
Suppose -m + 5*z = m - 127, 0 = m + 2*z - 50. Is m <= 22/3?
False
Let k = 109 + 634. Let q = k - 6680/9. Let l = -28 - -28. Is l greater than q?
False
Let b = 0.2249 - -8.7751. Is 5.8 greater than or equal to b?
False
Let s = -273 + 268. Let i(r) = 6*r + 9. Let o(y) = -2*y - 3. Let j(u) = 2*i(u) + 7*o(u). Let a be j(-4). Is a at most s?
False
Let n(i) = 13 - 6*i + 23 + 7. Let d be n(2). Is 28 >= d?
False
Let b be ((-8)/(-50))/((-54)/(-135)) + (-7)/5. Let