e
Let m = 47438 + -140237/3. Is m equal to 692?
False
Let u(w) = -w**3 - 7*w**2 + 2*w + 5. Let i be (6/2)/(9/(-24)). Let j be u(i). Let s = j + -52. Which is greater: 13/5 or s?
13/5
Let p = -293573 + 3819419/13. Which is smaller: p or 229?
p
Suppose 4*t = 5*x - x + 8, 4*x = -2*t + 22. Suppose 0*j + 4*p = -t*j, 5*p = -4*j + 9. Suppose 0 = q + 3*z - 6, 483*z - 481*z + 22 = -5*q. Are j and q non-equal?
True
Suppose -5*n = 3*k + 5969, -2*n + 12*k - 14*k - 2386 = 0. Is n > -1195?
False
Let a(g) = -34*g + 46*g - 14*g + 43. Suppose -17 = -5*q + 68. Let d be a(q). Which is bigger: d or 10?
10
Suppose -5*j = -3*j - 5*u - 647, u + 1537 = 5*j. Which is greater: j or -2?
j
Let n = -0.02699 - 0.17301. Which is smaller: n or 3/733?
n
Let v be 8/10 - (-30)/(-100)*(-104)/(-39). Is -117 greater than v?
False
Let g = -1.0026 + 0.9726. Let i = 0.82 - 0.6. Is g less than or equal to i?
True
Let j be -2*((-50940)/(-3650) - 14)/((-4)/(-10)). Is j less than -1?
False
Let x(c) = -c**2 - 89*c - 970. Let h be x(-76). Is h at most as big as 418/23?
True
Let o(b) = b**2 - 27*b + 44. Let s be o(25). Let r be 207/(-375) + (-6)/(-10). Let p = -1137/250 + r. Is p equal to s?
False
Let u be (-25)/((-2925)/26) + (-62)/360. Which is smaller: u or -2/85?
-2/85
Let a = 19/3 - 6. Are a and 918 non-equal?
True
Let n = 165.253 + -0.253. Let p = n - 185. Are p and -3 equal?
False
Let j(d) = -2*d**3 + 7*d**2 - 8*d + 17. Let u be j(7). Let c be (37/((-407)/2794))/(4/6). Is c <= u?
False
Let g be (-6 + (-484)/(-110))/((-2)/565)*-1. Is -452 greater than g?
False
Let z be 11913/(-1045) + (-2 + 2 - 5). Are z and -16 nonequal?
True
Let m = -189 - -211. Suppose 0 = m*o - 13*o - 9. Which is bigger: -47/5 or o?
o
Suppose -3*z + 1 - 4 = 0. Let h be z/6 - (-70)/438. Let j = h - 119/3942. Which is smaller: 1 or j?
j
Let o = 0.215 - 33.315. Let s = o + 33. Let z = s - 0. Is 4 > z?
True
Suppose -2*x - 2*x - 4 = -2*r, -4*x = r + 4. Let y be (-346)/(-1356)*(-392)/(-343). Let j = y - 2/339. Which is greater: j or r?
j
Let y = 833 + -1408. Let h = y + 574.981. Is 1 equal to h?
False
Let h be 0 + 1 - (7 - 6). Suppose -12 = 3*q - h. Let r be (35/(-78))/((-26)/(-117)) + (-3)/4. Is q less than r?
True
Let x be 1/11*(-1811)/1. Let b = x - -165. Suppose -19*m - 4461 = -4442. Is m less than b?
True
Let m = -370509/4 - -90996. Which is greater: -1632 or m?
m
Let z = -397/235 + 70/47. Let o = -8.7 - 25.2. Let l = 34 + o. Which is greater: l or z?
l
Let f(l) = -l. Let q(p) = 7*p - 20. Let d(a) = 4*f(a) + q(a). Let r be d(8). Suppose 0 = r*k - 73 + 9. Is k at most as big as 16?
True
Suppose 0 = -152*z + 122*z + 120. Let m = -17 - -25. Let l be (m/2 - z)/2. Which is smaller: l or -2/25?
-2/25
Suppose 52 = -41*x + 15*x. Let c be (3 - 1294/430)/2. Let w = c - -818/215. Which is smaller: w or x?
x
Let p be 60/93 + (-4)/6. Let u(x) = x**3 - 3*x**2 - 2*x - 3. Let h be u(4). Suppose -5*w + 2*w + d = 0, 0 = h*d. Are p and w equal?
False
Let c = -142 - -147. Suppose 11*h + 126 = c*h. Which is smaller: -24 or h?
-24
Suppose 37 = -2*x - 1. Suppose 0 = 6*p - 48. Suppose u - 82 = 4*c, p = 7*u - 3*u. Is x not equal to c?
True
Let u(x) = x**2 - 19*x + 54. Let a be u(4). Which is smaller: -35/4 or a?
-35/4
Let r be 60/(-180) - (8/6)/(-1). Which is greater: -1/5593 or r?
r
Let q be ((-3)/(-5) - 1)*4. Let n = 1039 - 1040. Let s be -113 + 120 - (n - -9). Which is smaller: s or q?
q
Let s = 22/21 - -8/21. Suppose -14*g = -8*g + 732. Let c = g - -122. Which is smaller: s or c?
c
Suppose l = 2*f - 81, 4*l - 3*l + 167 = 4*f. Suppose 2*h = -f + 193. Let z(x) = 4*x**3 + 25*x**2 - 71*x - 136. Let v be z(-2). Is v > h?
False
Let u = -4912 - -5007. Is 2 > u?
False
Let a(r) = r**3 - 22*r**2 + 33*r - 19. Let w be a(20). Let q = 176 + w. Suppose 3*g + 51 = 2*o + o, -o - 5*g + 17 = 0. Is q not equal to o?
False
Suppose 0 = -q, -2*t + 3*t - 4*q = -3*t - 132. Are 15 and t non-equal?
True
Let f = 96.1 + -18.1. Let u = 77.98 - f. Which is greater: u or -4?
u
Suppose 0 = 2*c - 2*y - 70, 0 = -5*y + 4*y - 5. Suppose 26*t - 84 = c*t. Which is smaller: t or -61/3?
t
Let b be (0 - 2/(-6))*3. Let c be 144/(-7) + 16/((-1456)/39). Let z be ((c/518)/(-3))/(3 - 2). Is b >= z?
True
Let b(d) = -d**2 + 16*d - 11. Let r be b(7). Let y be (r/32)/(-13) - (-17)/152. Do y and -1 have the same value?
False
Let k(q) = q**2 + 17*q - 38. Let g be k(-19). Let w be (6 - (-40)/(-7)) + (-350)/1176. Is w smaller than g?
True
Let g be (-3096)/(-32)*(0 + 428/78). Let x = 531 - g. Is 1 >= x?
True
Let t = 0.1 + -0.2. Suppose 5*g + 25 + 45 = 3*u, g - 3*u = -26. Let j be (g/495)/((-9)/30). Which is greater: j or t?
j
Let f = 2709 - 2705. Is -1/121 bigger than f?
False
Suppose 0 = 5*o + w - 24, -o = -0*o + 3*w - 16. Let x be 4*(o + 2*465/(-220)). Suppose t + 1 + 2 = 0, -f = -4*t - 10. Which is bigger: f or x?
x
Let x = 1153 + -1156.4. Is -66 >= x?
False
Suppose 5*y + 10 + 10 = 3*a, -3*a = -y - 4. Which is greater: a or 2/6467?
2/6467
Let v = 158.1 - 158.05. Let o be -4 + 2 + 7/5. Does v = o?
False
Let d be (6 + -10)*6/(-4)*(-6)/156. Are d and 16 nonequal?
True
Suppose 0 = 7*i - 15 + 15. Suppose 4 - 7 = 4*g + w, -5*g + 2*w + 6 = i. Let y be (-12)/36 - (g - (-1)/(-3)). Is y at least 2/15?
False
Let h = 11080 + -11374. Which is greater: -295 or h?
h
Suppose 24*r = 22*r + 66. Suppose -30 = r*z - 36*z. Suppose 3*q + 4*n - 2*n = 38, 42 = 5*q - 2*n. Is q less than z?
False
Let y be 2/18 + (-6292)/(-396). Suppose 4*s + o + 1 = 0, o + 2 = -2*s - 1. Which is bigger: s or y?
y
Let j = -233.44 - -19.24. Let u = j - -214. Is 59 at most u?
False
Let x = -29 - 18. Let h = x + 52. Suppose h*n + 113 = 3*j - 5*j, 5*j = -n - 18. Is -23 at least as big as n?
True
Let y be 0*(-18 - 910/(-50)). Which is bigger: y or 1/77?
1/77
Let s be (1/(-6))/((-2)/(-8))*12. Let q = s - -14. Let v be (-49)/(-35) + q/10. Which is smaller: v or 4/3?
4/3
Let w be -148*(-2)/76 - 4. Let c = 109.013 + -109. Let l = c + -0.513. Is w equal to l?
False
Suppose -740*g + 40 = -750*g. Let c be 162/(-14) - (g/7 - -1). Is c > -0.24?
False
Let x = -12533/4 + 3133. Is 1.38 at most as big as x?
False
Let v = 0.1062 - 1.1062. Is -8025 <= v?
True
Let p(y) = -y - 5*y + 30 + 3638*y**2 - 3639*y**2. Let c be p(-9). Let h = 42 - 51. Is c >= h?
True
Suppose 4*k = -18 + 34. Let q be (k/3)/((-44)/(-66)). Which is smaller: 64 or q?
q
Let j = -1084 + 1738. Let m be 6/20 + j/20. Is m greater than or equal to 33?
True
Let d = 523 + -517. Let c be 4*(4 - 27/d). Which is greater: c or 182?
182
Suppose -5*j = 5*v + 20, 2*j + 3*v - 2*v = -6. Let z be ((-1)/j)/(122/16*14). Is z < 0?
False
Let t = 182 - 181. Let i be (-2)/11 + ((-26)/(-22) - t). Is -2/1673 bigger than i?
False
Let q = 8574 - 7213. Do q and -1 have the same value?
False
Suppose -4*b = -4*k - 292, -4*k + 148 = 3*b - 50. Let z be (-4)/(20/(-305)) - (-32)/4. Is b greater than z?
True
Suppose 19 = -3*m + 10*j - 5*j, 3*j = 4*m + 7. Suppose -2*u - m*y = 166, 11*y - 164 = 2*u + 15*y. Is u at most as big as -85?
False
Let n = -911.357 + 910. Let m = -0.057 - n. Which is greater: 1/8 or m?
m
Let s be 456/(-312) + 18/39. Is -10/67 smaller than s?
False
Suppose -332*m = -352*m + 31880. Which is bigger: 1593 or m?
m
Let p = -44942/3 + 281966117/18822. Is p equal to 1?
False
Let x = -1 + 0. Let q = 223 + -222. Let f be q/2 - 1/(-8 + 12). Is f equal to x?
False
Let k = 0.17 + -0.2. Let q = 0.17 - k. Let h = -3360 + 3351. Which is greater: q or h?
q
Suppose 5*d - 10 = d + 2*p, -12 = -4*p. Suppose -35 - 13 = d*y + 4*m, 2*m = y + 18. Let c be 110/(-8) + (-2)/8. Are y and c unequal?
False
Let f = 2921/3 + -609. Let t = -365 + f. Is t bigger than 26?
False
Suppose -4*a - 2*j + 290 = -0*a, -a + 74 = j. Let n(t) = -84*t + 3183. Let y be n(37). Is a less than or equal to y?
True
Let m = -12/10266553 + -6306137777325/3377695937. Let s = m + 1867. Which is smaller: s or 1?
s
Suppose 0 = b + 2*b + 6. Suppose -26 = 4*h - 18, 3*j + h = -104. Which is bigger: j or b?
b
Suppose 0 = -12*x + 13*x - 28. Let p be x/42 - (-22)/3. Suppose 0 = p*r - 0*r - 528. Is 66 <= r?
True
Suppose 0 = -m - 2*t - 2*t + 33, -54 = -2*m - 5*t. Let l(p) be the third derivative of p**4/4 - p**3/6 - 9*p**2. Let v be l(3). Is m smaller than v?
False
Let y(w) = 7*w. Let s(q) = 6*q + 2. Let t(p) = 4*s(p) - 3*y(p). Let b be t(2). Which is sma