ppose -q*m + 516 = -y, 13*m - 18*m + 4*y + 634 = 0. Which is greater: m or 132?
132
Let y = -68391 + 68392. Let s = 31/11 - 941/330. Do y and s have the same value?
False
Let r be ((-177)/29559)/((-3)/1). Is r at most 0?
False
Let j = 45 + 26. Let y = j + -85. Let v = 1 + y. Which is greater: 0.2 or v?
0.2
Suppose -15*u + 17*u + 2*i = 22, 3*u = -2*i + 36. Which is greater: 3/8 or u?
u
Let r = -829 + 832. Suppose r*n - 121 - 113 = -3*y, 393 = 5*n + 2*y. Is n less than or equal to 321/4?
True
Let h = 15 + -13. Suppose 664 = -5*b + h*d, -3*b - 4*d + 5*d - 398 = 0. Let u be 136/b + 2 + 2/3. Which is smaller: 2 or u?
u
Let k be ((-12)/60)/(-2*1/10). Which is bigger: 2/10979 or k?
k
Let w be 40/(-220) + (-35)/(-11). Let z(h) = 7*h + w*h - 11*h. Let n be z(1). Which is bigger: 0.19 or n?
0.19
Suppose -5*m = -5*n + 185, 11*m = -n + 8*m + 41. Suppose n*s + 20485 - 4601 = 0. Is s at most as big as 0?
True
Let l be (-1 + 5884)/(11*(-21)/(-385)*5). Which is greater: 1964 or l?
1964
Let n = 21 - 15. Let f(u) = -3*u**2 + 30*u - 12. Let j be f(9). Suppose -3*m + m = -3*p + 40, -j = -4*p - 5*m. Which is greater: p or n?
p
Let w(g) = -g**2 + 10*g + 322. Let i be w(25). Let n = -241 - -161. Let t = i - n. Are t and 27 non-equal?
False
Let s(v) = -5*v + 18. Let h be s(11). Let d be 3/4*(4 + -160). Let f = d + 81. Is f smaller than h?
False
Let m(k) = -k**2 + 35*k + 117. Let n be m(-3). Let x be (2 - -3) + (1 - 1). Suppose -7 = 5*q + x*p - 8*p, n*q = 2*p - 5. Is q at least 0?
True
Suppose 0 = -32*y + 63 + 65. Let k be ((-522)/(-145))/(y/90). Is k bigger than 81?
False
Let b be ((-15)/(-2345))/(18 + -25). Which is smaller: 0 or b?
b
Let s be (-2)/3*(-156)/1. Suppose -6*v = 4*c - 2*v + s, -c + 4*v = 36. Let m = c - -29. Which is greater: 2/17 or m?
m
Suppose -1086*g + 54*g = -20*g + 8096. Suppose -p - 2*j + 1 = -2*p, -2*p - 23 = 3*j. Is g equal to p?
False
Let d = 624 - 1005. Let k = d - -351. Is k not equal to -29?
True
Suppose 2*h - 488 = 2*d, -61*d + 58*d = -2*h + 737. Which is greater: d or -235?
-235
Suppose 0 = -a + 3*y - 3, 0 = -5*a + 4*y - 2 + 9. Suppose a*x - 38 = -4*z, 6 + 53 = 5*z - 2*x. Are z and 6 nonequal?
True
Suppose -8*h + 248 = 4*i - 4*h, 5*i - 310 = -4*h. Suppose -2*c + 5*c = 204. Let f = i - c. Which is smaller: f or -9?
-9
Suppose -595*a + 605*a + 10 = 0. Which is bigger: -0.03264 or a?
-0.03264
Let h be (-1694)/(-56) + (-6)/24. Let r be 2279/h - 9/54. Do r and 77 have the same value?
False
Let g be 9356*(-20)/(-832) - (-2)/8. Let f = -225 + g. Let y = 0.27 + -0.27. Is f < y?
False
Let z = 94 - 82. Suppose -27*i - z*i + 2769 = 0. Which is smaller: 73 or i?
i
Suppose -2*v - 4*f - 6 = 0, 15*f = v + 14*f - 9. Let c = 16 + -12. Is c greater than or equal to v?
False
Let q = -96.8 - -16.5. Let w = 27.3 + q. Is w less than 1/6?
True
Let l be (2664/1036)/(2/(-28)*-3). Let v(c) = c**2 - 10*c - 21. Let g be v(l). Is 14/5 < g?
True
Suppose -25 = z + 4*x, 2*z + z + 5*x = -33. Which is greater: 1/5078 or z?
1/5078
Suppose 16*a - 19*a + 2*m = 254, 5*a + 3*m = -455. Does a = -13?
False
Let b(x) = -x**3 - 34*x**2 - 65*x - 40. Let s be 1/((-3)/(-1)) + (-2037)/63. Let j be b(s). Is j equal to -3?
False
Suppose 2349 = 27*o + 2*o. Let f be (-4)/(-6) + (-3294)/o + -2. Which is greater: -40 or f?
-40
Suppose -6*i + 2768 = -2*m, 52 = -m + 45. Is i equal to 467?
False
Suppose 4*c = -d + 3, 5*d - 16 = -5*c - 1. Suppose -2*m + 0*m - 486 = c. Let r = -3887/16 - m. Which is greater: -1 or r?
r
Suppose 40 = -8*x + 392. Suppose -s = o - x, -240 = -3*s - 2*s - o. Suppose t = 20 + 28. Are t and s non-equal?
True
Suppose a = -a + 16. Suppose -12*x = -19 - 17. Suppose -w = x*w - a. Do 0 and w have the same value?
False
Let i = 28290 + -26650. Which is smaller: i or 1646?
i
Suppose -3*a - 10 = 2*o, -3*a + 25 = 2*a - 5*o. Suppose 5*k = -a*k + 4*g - 35, -k + 22 = 5*g. Let s be 10/k - (10/6 + -2). Which is smaller: -5 or s?
-5
Suppose -3*b = 29*t - 25*t - 3825, 1243 = b - 4*t. Which is smaller: 1266 or b?
1266
Let h(o) = o**2 - 2*o + 220. Let m be h(0). Let n = 36.7 + -34.7. Which is bigger: m or n?
m
Let u(c) = -59*c + 429. Let l be u(8). Which is bigger: l or -42?
-42
Let d(h) = h**3 - 15*h**2 + 13*h - 59. Let u be d(9). Is -2141/5 > u?
False
Let k = -10121 + 10065. Which is smaller: -171 or k?
-171
Suppose 0 - 4 = -j. Suppose 0 = 20*w - 34*w. Suppose -2*v - j*y - 10 = -w*y, 20 = -4*y. Is 4 < v?
True
Let g = 415.0371 - 0.0371. Let l = 417.04 - g. Which is smaller: l or 0?
0
Let q = 0 + 36.2. Let n = -35.9 + q. Is n < 45?
True
Let a = -444 - -430. Let u be 6/a*((-13370)/(-15))/7. Which is greater: -56 or u?
u
Suppose -a - 4 = -4*z + 1, -4*z = -3*a - 15. Let p = 8/6843 + 123038/116331. Are p and z equal?
False
Suppose -3*f + 1140 = 1509. Is f less than -122?
True
Suppose 14*t + 2*n = 13*t + 16, 4*t - 4*n = 52. Let l = t - 25. Which is smaller: l or -114/11?
l
Let u = -91886 + 91894. Let p be 4/(-14) + (-1)/21. Which is bigger: p or u?
u
Let o = -4373/693590 + 1/9678. Which is greater: 0 or o?
0
Let b = 64005 + -1280861/20. Let v = -3921 - -15529/4. Let m = b - v. Is m <= 2?
True
Let l be 4 + 3 - 92/12. Suppose -20 = -q - 4*q. Suppose g + 4 = 0, 51 = -3*d + g - q*g. Is l less than d?
False
Let x be ((54/(-11292))/9)/((-16)/(-384)). Is x >= 1?
False
Let o = -1344 - -1278.9. Let m = 64.62 - -0.38. Let r = m + o. Which is smaller: 0.2 or r?
r
Let c be -12*((-3)/(-1) - 2). Let y(v) = -63*v**2 - 11 + 6*v**2 + 58*v**2 + 30*v. Let p be y(-30). Which is smaller: p or c?
c
Let w(n) = 2*n**2 + 18*n + 38. Let g be w(-7). Suppose 9 + 11 = -g*c. Which is smaller: 1 or c?
c
Let p = 2 - -1. Let y = -1.9 + p. Let c = -1.2 + y. Which is bigger: 0 or c?
0
Let g be ((-6)/(-2))/(-5 - 1113/(-222)). Let z = 223 - g. Is z greater than -143?
True
Let j = 3782 - 3979. Which is bigger: -195 or j?
-195
Let s(y) = -y**3 - 7*y**2 - 7. Suppose 3*u + 1 + 20 = 0. Let c be s(u). Let j(x) = -x**3 + x**2 + 3*x + 3. Let k be j(3). Is k at most c?
False
Let s = -5 + -3. Let k(f) = -f**2 - 17*f + 9. Let d be k(s). Let o = -80 + d. Which is bigger: o or 6/35?
o
Suppose 12*u - 170 = 2*u. Suppose 0 = 16*w - u*w + 3. Suppose w*i - 2 = 97. Is -2 at least as big as i?
False
Let x = -3636 + 3636. Are x and -1/625 equal?
False
Let k = -18208 - -18208.2. Which is smaller: k or 1206?
k
Let i = -111 + 101. Let x be ((-8)/i*-39)/((-6)/(-30)). Which is greater: x or -157?
x
Let d(l) = 8*l**2 + 7 - 9*l**2 - 8 + 32*l + 12. Let i be d(33). Which is bigger: -1 or i?
-1
Let b = 10 - 8. Let g = b - 5. Let f = -4.74 - -4.68. Is g > f?
False
Suppose 24*y - y + 44 = 67. Is -1/16234 greater than y?
False
Suppose -5*f - 167*g = -168*g - 2738, -3*f + 5*g = -1656. Is f > 548?
False
Let a = 34.075 + -0.075. Let o = -10896 - -10901. Which is smaller: a or o?
o
Suppose 2 = 4*s + 6. Let g = 5731/28505 - 6/5701. Is g equal to s?
False
Let s be 13*2*(-2)/(-4). Let w be 2*(-1708)/8 - 0/(-2). Let v = -413 - w. Which is smaller: s or v?
s
Let u be (-2)/(-30) - (-2)/(-5). Let n be (-35244)/(-5960) + -6 - 4/10. Let w = n + -2/149. Is w > u?
False
Let n be 2/6*(-9)/15*(130 + -169). Which is greater: -0.7 or n?
n
Let g = 568 - -2646. Is g >= 3214?
True
Let v = 44427 - 44401. Let a(q) = -2*q - 15. Let x be a(-11). Is v != x?
True
Let y = -12499/60 - -431/12. Is -171 equal to y?
False
Let g be (-6)/10*20/(-12). Let b be (1 - -5)/(-6)*(-4)/(-386). Which is smaller: g or b?
b
Let o = 695 - 578. Suppose 5*q - 102 = 483. Is o equal to q?
True
Suppose 5*x - 382 - 2138 = 0. Let p = -2337 - -2344. Let y be (-2)/p - (-60)/x. Is y greater than -1?
True
Let o(l) = -9*l - 71. Let c be o(19). Let x = c + 233. Which is smaller: 11/3 or x?
x
Let y(w) = 2*w - 3. Let u be y(2). Suppose -o - 4*i - 30 + 139 = 0, 4*o = -5*i + 392. Suppose 0 = o*j - 96*j + 27. Which is smaller: u or j?
u
Suppose 11 = x - 4*j, 2*j - 5 = 4*x - 7*x. Suppose x = -2*v + 3*v. Suppose 0 = -6*q + v*q + q. Which is smaller: q or 2/111?
q
Let w = -2887 - -1821. Is w bigger than -1066?
False
Suppose -16*q + 1813 - 3655 = 3038. Which is bigger: -309 or q?
q
Let a = -3.3 - -2.3. Let s = -2 - a. Let d = 297/2006 + -7/59. Do s and d have the same value?
False
Let v = 252.23 + -29.23. Which is smaller: v or 0?
0
Let l = -72010 - -2448043/34. Which is greater: -10 or l?
l
Let r(h) be the first derivative of