5*m - 4*w = 22. Let f = 90 + -84. Does m = f?
True
Let a(p) = -105*p**3 + 2*p**2 - 1. Let l be a(1). Suppose 9*c = -12*c - 2163. Is l equal to c?
False
Let k(w) = w**2 + 22*w + 93. Let n be k(-7). Suppose -5*a - t - 64 = 0, a + 5*t - 16 + 48 = 0. Let p be a/(-5)*(2 - 256/n). Does 56 = p?
True
Let v = -300.8 - -300.6. Is v at most 5276?
True
Suppose 8*h = -70*h - 25428. Is 1 smaller than h?
False
Let d = -2968.5 + 2968.9. Let s = 19 - 19. Is d bigger than s?
True
Let i = -257/3 - -86. Let f(h) = h**3 - 12*h**2 - h + 15. Let c(q) = q**2 - 6*q + 5. Let r be c(7). Let u be f(r). Which is bigger: u or i?
u
Suppose 5*m + 12128 - 843 = -4*k, 5*k = m + 2257. Is m at most as big as -2258?
False
Let s(n) = -5*n**2 - 23*n - 36. Let y(q) = q**2 + q + 1. Let b(w) = s(w) + 4*y(w). Let v be b(-18). Which is smaller: -29/2 or v?
-29/2
Let r = -42 + 42. Suppose 2*z - 3*a - 17 = 0, r = 2*z - a - 10 - 13. Suppose 4*s = z - 5. Is s >= 0.4?
True
Let r = -4729 - -4745. Are r and -0.059 nonequal?
True
Let i = 1572.15 - 1572. Is i >= 156?
False
Let b be -49 + 34 - (-1 - 0). Let o be 4/((-96)/4)*b/13. Which is bigger: -1 or o?
o
Let p(u) = -163*u**2 - 3*u + 1. Let a be p(1). Let n be (a/22)/(1/(-2)). Let c = 0.026 + -0.126. Which is bigger: n or c?
n
Let o be (-3005)/1233 - (2 - 2). Let a = -1/137 + o. Let y be -4 - (2 + -3)*3. Is y at least as big as a?
True
Let n(y) = y**2 - 5*y - 14. Let h be n(7). Suppose -2*w + 49 - 5 = h. Let s be 13/((-429)/(-336)) - 4/w. Is s less than or equal to 11?
True
Let q be (-2)/17 + 3 + (-20)/6. Let w = -125/918 - -1/54. Let m = q - w. Which is greater: -3/13 or m?
-3/13
Suppose -5*h + 3327 = 922. Let k = 676 - h. Is 194 greater than or equal to k?
False
Let z be (37/((-259)/(-42)))/4. Which is smaller: z or 19.5?
z
Let g(j) = 198*j**2 - 44*j - 193. Let w be g(-4). Is w < 3151?
False
Let y be -411*96/9 + -2. Let q = y + 1881596/429. Which is smaller: 0 or q?
0
Suppose -15*k - 2*k = 2581 - 6865. Which is greater: 249 or k?
k
Let v = 548 + -552.87. Let w = v - 0.53. Let h = -6.4 - w. Which is greater: h or -24?
h
Let l(t) = 4*t**2 + 21*t - 204. Let f be l(5). Is -2/24919 equal to f?
False
Suppose 7*t + 2*t - 90 = 0. Let u(v) = v**2 - 2*v - 2. Let r be u(5). Which is smaller: r or t?
t
Suppose 3*k + 54*g - 58*g - 23 = 0, 5*g = -25. Are 1/4704 and k equal?
False
Suppose 389*k - 7 = -384*k + 780*k. Which is smaller: k or -36/185?
k
Let o(z) = -1838*z**3 - 9*z**2 + 11*z - 33. Let h be o(8). Let s = h + 929333045/987. Let c = s + 10/141. Which is smaller: c or -2?
c
Let p(n) = n**3 - 6*n**2 + 7*n + 4. Let w be p(4). Let a(y) = 2 + 0 - 10*y + w*y + 7*y - 2*y**2. Let m be a(-2). Which is bigger: m or -1/9?
m
Let c(t) = -t + 13. Let m be c(4). Let w be -3*(-12)/m + -5. Let g be (-4)/(-56)*(-7)/((-7)/(-34)). Which is smaller: w or g?
g
Let d(u) = u**3 - 7*u**2 - 9*u + 9. Let n be d(8). Suppose -11*q + 34 = 5*c - 10*q, 3*c - 3*q - 6 = 0. Let f = c + -68/11. Which is smaller: n or f?
f
Let s be 34/7*(102/(-4012))/(3/2). Is -1 greater than s?
False
Let g(f) = 17. Let h(u) = -u - 16. Let l(i) = -5*g(i) - 6*h(i). Let d be l(-2). Do d and -4/73 have the same value?
False
Let l(a) = a**2 - 10*a - 28. Let m be l(12). Let g = 1 + m. Let b be (-2)/11 + g/(693/(-64)). Is 1 >= b?
True
Let p = 974 + -520. Let d = p + -420. Is 248/7 greater than d?
True
Let j(x) = -2*x**2 - 111*x - 26. Let p be j(-42). Let c be 0 + p/16 + (-5)/4. Which is smaller: c or 70?
c
Let o(i) = i**2 - 15*i - 15. Let c be o(16). Let m = -18/41 - -690/451. Which is smaller: c or m?
c
Let i = 198 + -197.03. Let r = i + -0.855. Let g = -0.015 + r. Which is smaller: -24 or g?
-24
Let u = 26 + -22. Let x be 7/4 + (-3)/u. Let w = 109 + -2290/21. Is x at least w?
True
Suppose -5*n - 7 = -8*n - f, 3*n - f + 1 = 0. Let b be (-1 + 14/1)*n. Is b != 23/2?
True
Let b be 4/(-1)*(39/(-6) - -1). Let p = -64 + b. Let q(g) = g**2 + 15*g + 12. Let x be q(-9). Is p greater than or equal to x?
True
Let p(n) = n**3 - 6*n**2 + 4*n + 2. Let q be p(4). Let x be -11 - (9 - (11 + 8)). Let g be x/q*4 - (-200)/35. Are g and 6 unequal?
False
Let p = 92557914594528/1099 + -84220111220. Let q = p - 11250. Which is smaller: 0 or q?
q
Let h(j) = 6*j**2 + 19*j + 36. Let c be h(-2). Is 32 >= c?
True
Let l be (7 - 3)/(-4) + 1*5. Let g be -2 - -3*l/(-12)*1. Let i = 11 + -14. Is g at most as big as i?
True
Let n = 28565 - 28572. Let w = -13 - -2. Which is smaller: n or w?
w
Let x = -6185 + 7880. Which is greater: 1/4 or x?
x
Let f be 7 + (-24)/4 + 37. Suppose 15*q - f*q = -598. Is q equal to 24?
False
Suppose 3*o - 93 = -161*z + 160*z, 18 = 3*z. Which is bigger: 46 or o?
46
Let q(t) = -t**3 + 3*t**2 + 6*t - 6. Let i be q(4). Suppose 54 = -42*h + 51*h. Suppose i = h*c - 5*c. Is c less than 14?
True
Suppose 2*x - 12 - 60 = 0. Let s(i) = x*i - 20 - 10*i - 19*i. Let j be s(4). Which is greater: -5 or j?
j
Let c be 43/(-3) - (-4)/(-6). Let k = c + 17. Let u be 0 + 4/(-28)*k. Do 2 and u have the same value?
False
Let w = 2/14665 + -287436/14665. Let v = 20 + w. Let r = 22316 - 22329. Is r greater than v?
False
Let i be -2 - -2 - (1 + 182). Let g be -6*(185/i - -1). Let v = 605079 + -605078. Is v greater than or equal to g?
True
Let j = -70 + 75. Suppose -3*r + 15 = 2*b + 43, -2*r = -j*b + 25. Let x = r + 12. Is x less than or equal to 2?
True
Suppose 30*r - 7*r = 4*r. Is r > 2/5?
False
Let n be (-2204)/988 - 3/(-13). Is -3/923 > n?
True
Let z = 19835 + -19834. Let n = 92/53 + -4971/2650. Is n bigger than z?
False
Suppose 2*t = -3*i - 397, 335*i = 338*i + 5*t + 394. Let f be (1 - (-2 - -3))/3. Which is greater: f or i?
f
Suppose 38 = 11*b - 17. Suppose 5*l = b*j + 1260, -4*j + 353 = 4*l + 1353. Is j < -0.1?
True
Let i(b) = b**2 - b - 2. Let u be i(0). Let t be (64/(-24))/(u/(-69)). Let a be (-260)/t - (0 - -3). Which is smaller: a or -1?
-1
Let f = -2.542 - 26.838. Let n = 29 + f. Let l = -0.88 - n. Which is smaller: 0 or l?
l
Let a = 0.234 - 0.024. Let w = -2.16 - -2.2. Let k = w + -0.14. Which is greater: k or a?
a
Let w = -7853 + 11444. Which is smaller: 3592 or w?
w
Let n = 36410 - 36421.8. Let k = 23 - 70/3. Which is smaller: n or k?
n
Suppose 0 = -136*w + 78*w. Let s = 583/1554 - 2/111. Is s at least as big as w?
True
Let h be (10 - (-4184)/(-16))*(-14)/7. Is h bigger than 4019/8?
True
Let x be (-1)/1*5 - -1. Let d be (-8)/(0 + x/2). Suppose 6*t - d*t = -32. Is -14 bigger than t?
True
Let r = 0.4664 + -0.501. Let j = r - 37.9654. Which is greater: j or 0?
0
Let s(a) = -a**2 - 16*a + 11. Let b be s(-14). Let k = b - 30. Let o(x) = -2*x**2 + 15*x - 18. Let u be o(5). Which is bigger: u or k?
k
Let u be ((-5487 - 3) + -3)*13/((-39)/(-4)). Is -29291/4 != u?
True
Let t be ((-2)/4)/(2/(-12) - 5918/(-6456)). Let j = 0.2 + -2.2. Is t at most j?
False
Let y = 194.847 - 195. Let m = y + -0.847. Do -4/3 and m have the same value?
False
Let t be 8664/30 + -1 + 1/5. Suppose -t = 13*r + 89. Is r at most -31?
False
Let d be 6/4*((-16)/12 + 2). Suppose -m + d = 6. Let w = -1 + -4. Is w at most m?
True
Let z(l) = 5*l**3 + l**2 - 23*l + 71. Let o be z(4). Which is bigger: o or 323?
323
Suppose 0 = -4*g + w - 79, -w - 81 = 4*g - 0*w. Let z(r) = -r**3 - 7*r**2 + 3*r + 21. Let n be z(-7). Let u be n - (2 - 3)*-20. Does u = g?
True
Let j be (-203875)/10730 + 19 + 0. Which is bigger: 2/9 or j?
2/9
Let u = -833 - -447. Let a = 383.36 + u. Do a and 1 have different values?
True
Let u = -1 + 3. Let c(l) = -9*l**3 + 9*l**2 + 16*l - 5. Let h be c(-3). Let r = 272 - h. Is r less than u?
True
Let l(u) = 53*u - 211. Let c be l(4). Let t be 3/(-9*c/(-291)). Is t bigger than 98?
False
Let z be 76/12 + (-4)/(-6). Suppose 5*x = z*x + 20. Let s be (-8)/(-28) - x/(-35). Is s greater than 8/9?
False
Suppose 3*m + 4*n = 416, 3*n - 2*n = 2*m - 259. Suppose m = 17*z - 276. Let s be (3*4/z)/(115/(-60)). Does s = 1?
False
Let y = 37.45 + -38. Let f = y - -1.03. Let d = 0.28 - f. Which is smaller: d or 3?
d
Let n = -13.6 + 28. Let i = n - 26. Let m = i + 12.6. Which is bigger: 1.09 or m?
1.09
Suppose -4 = 49*g - 48*g. Let w be (-2)/g - -2*2/24. Are 0.4 and w nonequal?
True
Let c(i) = 2*i**2 - 5*i - 31. Let y be c(7). Let z(j) = -12*j + 155. Let a be z(y). Is a not equal to -230?
True
Let v = 27476 + -25908. Which is smaller: 1560 or v?
1560
Let n = -0.1444 - -0.0