True
Let i be 5/(-4)*-1*-4. Let f be (-14 - (-484)/33)*(-72)/2. Let c be (2/(-6))/(56/f). Is i <= c?
True
Let a be (-3)/(-21) - ((-6456)/378 - (-2)/9). Let f(m) = -m**3 + 4*m**2 - 2*m + 2. Let u be f(3). Suppose u*c - a = -37. Which is bigger: -3 or c?
-3
Let f = -3991.98 - -3992. Which is bigger: 8/5 or f?
8/5
Let z(y) be the first derivative of -3*y**4/4 + y**3 - y**2 - 1. Let f be z(2). Suppose 610*h + 3343*h + 67201 = 0. Which is bigger: h or f?
f
Suppose -3*a + 3*i = 237, -2*a - a = 5*i + 245. Let l(h) = 266*h - 5665. Let m be l(21). Which is greater: a or m?
m
Let t = -614 + 613. Let f be (t/(-48))/((-8)/(-72)). Suppose 3*x = 6*x + y - 7, 2*x + 2*y - 10 = 0. Which is greater: x or f?
x
Let s be 1350 - (3 + 11/12 - 15/(-180)). Which is smaller: 1344 or s?
1344
Let o be 16/6*39/26. Let x(n) = 4*n**2 - 7*n + 5. Let c be x(o). Suppose 5*q = c - 31. Which is greater: 24/7 or q?
24/7
Suppose 1 = 3*j + 7. Let n(r) = -r**3 - 19*r**2 + 20*r - 7. Let g be n(-20). Let o be (-4)/(-28) + (-1)/g. Do o and j have the same value?
False
Let a be -5*(-6)/30 - (1 - 194). Suppose -914 = -8*g - a. Is g equal to 2/3?
False
Let q = -46.8 - -38. Let h = 19.2 - q. Let w = -28.4 + h. Is 1 at most as big as w?
False
Let n be 4/82 - 314608/1148. Which is greater: n or -269?
-269
Suppose -80*v = 33*v - 69947. Is v <= 615?
False
Let i = -426/11 - -10639/275. Let r = 41694/11 + -8338063/2200. Let x = r - i. Which is greater: x or -1?
x
Let t(u) = -33*u**2 - 163*u + 10. Let s be t(-5). Is -2/121 bigger than s?
False
Let q = -305/522 - -1/1044. Let t = -1/12 + q. Are t and -2 unequal?
True
Let s be (29716/102)/(0 + 2/(-3)). Let u = -14417/33 - s. Is 1 >= u?
True
Let s be 1480/1184*(-64)/(-5). Let b = 41 - 27. Which is greater: b or s?
s
Suppose q + 2*q + 13 = 2*c, -5*c + 3*q = -10. Let u be ((-12)/(-8))/(c + 33/24). Suppose -u*f - 170 + 28 = 2*h, -3*h - 158 = -5*f. Which is bigger: -60 or h?
-60
Suppose 5*t - 26 = m, 0*m - 3*t = -5*m - 20. Let y be 1 - (-3 + 3)/m. Let c be -1 - (y - 0)*-7. Which is smaller: 5 or c?
5
Let y be (32/128)/((-2)/(-24)). Suppose 6*d + 39 - y = 0. Is -2 >= d?
True
Let c = -9311 - -9296. Is 108 less than or equal to c?
False
Let s be (-330)/25*((-9)/(-2) - (-40)/(-20)). Suppose 2*m + 99 = -2*w + 15, 0 = 5*m - w + 186. Which is smaller: s or m?
m
Let a = -25872 + 25873. Which is greater: a or 52/139?
a
Let m = -45030 + 44988.282. Let v = -0.282 + m. Is 5 < v?
False
Let g(j) = -j**3 + 6*j**2 - 3*j - 5. Let t be g(4). Suppose -21*w = -t*w - 984. Is w > 165?
False
Let c = -1 - -6. Let o be 1/(-5) + (25476/(-55))/(-6). Suppose 0 = 60*x - o*x + 119. Which is greater: c or x?
x
Let w = 66628/3161 - 437/109. Which is smaller: 16 or w?
16
Let c = -4786 - -4787. Is -48/629 at most c?
True
Let d(t) = t**3 + 25*t**2 + 57*t + 256. Let b be d(-23). Let m(u) = -u + 8. Let i be m(6). Suppose i*a = 5*f + 6, f + b*a = -2 + 11. Are f and 0.06 non-equal?
True
Let p = -0.236 + 0.136. Let w = 67.4187 + -0.4887. Let b = w + -67. Is b greater than p?
True
Suppose 0 = -2*p - 4*y + 403 - 341, -2*y = -3*p - 27. Let m be 0 + 22*(-1)/(-42). Which is smaller: m or p?
m
Let u be (-102 + -3 - -1)*8. Let d = -25782/31 - u. Are d and 1 non-equal?
True
Suppose 5*h - 288 = 4*c, -34*h - 35*h = -71*h - 24. Let r(p) = -28*p. Let s be r(3). Which is bigger: c or s?
s
Let j be -5 - (-2 + (-54)/(-3)). Let g = j - -21. Let p(o) = -o**3 + o**2 + 3*o + 18. Let z be p(g). Which is smaller: 17 or z?
17
Let f = 1481 + -158487/107. Do f and 0 have the same value?
False
Let k = -11/90 + 7/30. Let s = 5 + -5. Is k <= s?
False
Let f = 639 + -430. Let l = f + -210. Which is smaller: l or -2/181?
l
Let w be ((1269/(-6))/(-3))/6. Let v = 199/20 - w. Let y be (-3 - 0 - -7) + -5. Is v < y?
True
Suppose -131*z = 422 + 418 - 840. Let l = -1 + 2.45. Which is smaller: z or l?
z
Let r = 125 - 1. Let h = r + -77. Let t = 79 - h. Which is bigger: 31 or t?
t
Let r be 25/(-422)*(2 - (-24)/(-10)). Is r > -1?
True
Let g = 562513/11 - 50627. Is g at most 511?
True
Suppose -128 - 40 = -4*g - 12. Is g smaller than 602/15?
True
Let y = -48 - -34. Suppose 4*l + 80 = -0*x + 2*x, -5*l = x - 26. Let g be (-1 - 10) + 2*(-18)/x. Do y and g have the same value?
False
Let v = 161 - 159. Suppose v*d = 2*b - 284, 4*d + 423 = -5*b - 163. Which is greater: -145 or d?
d
Let d = 1863 + -1861. Do d and 117/61 have different values?
True
Let t = -15774942 + 362756540/23. Let k(x) = -489*x + 16. Let c be k(6). Let v = c - t. Is 0 less than or equal to v?
True
Let l be (-1)/9 - 122/(-3294). Let a = 0.31 + -0.27. Which is bigger: a or l?
a
Let t be ((11 + -6)*-1)/((-2)/(-58)). Suppose 2 = 2*j, -24*q - 3*j = -19*q + 717. Does q = t?
False
Let v(m) = -8*m + 926. Let o be v(28). Which is smaller: 698 or o?
698
Suppose 0 = 4*g + 2*n - 8, 0 = -8*g + 13*g - 5*n - 25. Suppose 2*p + 5 = g. Which is bigger: -4/207 or p?
-4/207
Let o be (2/6 + 0)/((-22041)/(-73656)). Which is bigger: o or 0?
o
Suppose -51*z + q - 1 = -49*z, -2*q - 6 = 4*z. Which is greater: z or 8382?
8382
Suppose -38*q - 20318 + 4506 = 119772. Which is bigger: -3569 or q?
q
Suppose 4*u - 5 = -1. Let c be (-1 + 64)*(76/(-12) - -5). Let d = c + 919/11. Is d greater than or equal to u?
False
Let h = 25 - 16. Suppose 6*g = 9*g - h. Let t be ((-2)/1)/(68/g). Which is greater: t or -1?
t
Let c be ((-2)/(-18)*(-144)/(-160))/118. Is c greater than or equal to -1?
True
Suppose 5*f - 7327 = -5*v + 2143, -1894 = -v - 3*f. Let j = v + -1759524/929. Which is bigger: j or 1?
1
Suppose 36*w = 22*w + 25*w + 65802. Which is smaller: w or -5983?
-5983
Suppose 151 = 217*w + 32 - 98. Is 3/289 less than or equal to w?
True
Suppose 2*j = j - 1. Let i(z) = 2*z**3 - 8*z**2 - 40 - 27*z - 31*z + 10 + 66*z. Let b be i(4). Which is bigger: j or b?
b
Let u = -1.1325 + 1414.1325. Is u greater than 1/3?
True
Let y(h) = 34368*h - 34353*h - 5 + 3*h**2 - 2 - h**2. Let p be y(-8). Which is smaller: -3/146 or p?
-3/146
Suppose 59501*g = 59511*g + 6310. Is g < -632?
False
Let v be -4 + ((-15210041)/(-2176526))/((-12)/(-8)). Let i = v + -2/7239. Does i = 1?
False
Suppose -133*t - 4120 = -123*t. Let i = t + 418. Let z = 15 - 10. Is z at least as big as i?
False
Let c(d) = 3*d**2 + 7*d + 45. Let t be c(-13). Let l = t - 1408/3. Let s = 12 - 20. Is s at least as big as l?
True
Let i = 5733 + -5571. Are 1131/7 and i nonequal?
True
Let i = -32291 + 32358. Which is greater: i or 66?
i
Let n(h) = -3*h**2 + 73*h + 217. Let a be n(27). Do a and -4/2615 have the same value?
False
Suppose -4*x + 411 = 3*a + 40, -3*a = 2*x - 379. Let g = 104 - a. Suppose 5*n = -137 + 12. Is n not equal to g?
False
Let l(u) = -u**2 - 3*u + 5341. Let t be l(-74). Let o be (-2 + -1)*29*-1. Is t at most as big as o?
True
Suppose 1 + 1 = 5*g + z, 5*z - 10 = 3*g. Suppose -2*c - 59139 = -59109. Do c and g have different values?
True
Let a be (-1 - (-36)/21) + 32*25/2800. Let q be (-1)/(37/3*1). Which is smaller: q or a?
q
Let d = 15 - -2. Let s(o) = 3*o - 97. Let t be s(d). Which is bigger: t or -45?
-45
Suppose 27*d - 16*d = 31130. Which is bigger: 2829 or d?
d
Suppose -36*b + 41*b + 12 = -g, -3*g - 12 = 3*b. Let h be 9/6*4/6. Let w be h/((-2 + g)/12). Is -3 at least as big as w?
True
Let c be (-2)/((2 - 0) + 0). Suppose 5*d - 2 = 4*d. Let b be (-1)/d + 240/416. Are c and b equal?
False
Let i(p) = -333*p - 2330. Let s be i(-7). Which is smaller: -0.754 or s?
-0.754
Let q = -14 + 6. Suppose 154*j - 581 = 189. Let v be q + j + (-122)/(-41). Does v = 1?
False
Let g(j) be the first derivative of -j**2/2 + 9*j + 23. Let s be g(12). Let b be (-8)/(1 - -3) + s. Which is smaller: 2 or b?
b
Let c = -20 - -21.3. Let a = c + 11.7. Let w = -12.7 + a. Is -7/3 at most as big as w?
True
Suppose i - 6*i + 20 = 0. Suppose 60 = i*o + 68. Let t(b) = b - 6. Let f be t(7). Is o at least f?
False
Let f be 3 + -6 + 8 + (-316)/1. Is -1 <= f?
False
Let w = 1398 + -1396. Suppose 0*t + 5*y - 4 = -2*t, -4*t = -5*y + 52. Let d be (t + 1)/((-27)/3). Is d bigger than w?
False
Suppose -31*z + 4*z - 15390 = 0. Are -2 and z equal?
False
Let r = 10.5 - 42.9. Let y = r + 29.85. Is y greater than or equal to 2?
False
Let u = 2/271 - -6936/14905. Let g = u - 31/880. Is g <= 1?
True
Suppose 3*a + 2586 - 441 = 0. Let x = 12829 + -13544. Do a and x have the same value?
True
Suppose 