- 33*l - 92 = 0. Suppose -v + 3 = 26. Is m bigger than v?
False
Let t be ((-8389810)/(-21516))/65 + -6. Which is smaller: 10 or t?
t
Suppose 0 = -5*f - 10 + 15, 2*i - 669 = f. Which is smaller: 336 or i?
i
Let d = -13 + 14. Let z = 0.057 - 0.757. Let v = z + d. Is v <= -4?
False
Let j = 12826703/813 - 15777. Are -0.032 and j nonequal?
True
Let a(l) = 22*l - 64. Let m be a(3). Suppose m*u - 5*u + 96 = 0. Is u equal to 31?
False
Let l = -12802 - -12800. Is -17/8 <= l?
True
Let w be (56/40)/(147/42). Is 5415 less than w?
False
Let k(r) = -r**2 - 11*r + 22. Let l be k(-10). Let x(z) = z**2 - 34*z + 22. Let y be x(l). Let j be (-15)/2*112/y. Do -1 and j have different values?
True
Let k = 19 - 19.1. Let n = 18760 + -19088. Which is smaller: n or k?
n
Let n = 211 + -138. Let b(q) = q**3 - 10*q**2 + 8*q - 10. Let p be b(8). Let m = p + n. Is m smaller than 4/27?
True
Let h(i) = i**3 - 2*i**2 - 3*i - 1. Let d be h(3). Let z = -3765/22 + -67781/330. Let o = 377 + z. Which is smaller: o or d?
d
Suppose 110*y + 5*k = 109*y + 976, -5*k + 4880 = 5*y. Which is bigger: y or 974?
y
Let f = 0.017 - -52.983. Let o = f + -60. Let n = o - -32. Which is smaller: -1/3 or n?
-1/3
Let o = -748 + 1266. Suppose -o*r = -535*r + 5984. Are r and 352 nonequal?
False
Let k(f) = f**3 - 19*f**2 + 19*f - 13. Let w(j) = j**3 - j**2. Let i = -132 - -131. Let h(l) = i*k(l) - w(l). Let d be h(9). Is 28/9 bigger than d?
False
Suppose -9 = -2*z - 1. Let l(n) = -n**3 + 6*n**2 + 5*n - 14. Let i be l(5). Suppose 0*y + 3*y + 4*d - i = 0, -2*d + 38 = 4*y. Is y less than or equal to z?
False
Let h be (-12)/(7/(-112)*-4). Let o be (-12)/h*(-32)/236. Which is bigger: o or 0?
0
Let w = 0.955 - 1.17. Let q = w - -0.365. Let o = 0.4 + -0.3. Which is greater: q or o?
q
Let i(n) = -4*n + 48. Let k(o) = -4*o + 49. Let p(s) = 4*i(s) - 3*k(s). Let y be p(13). Let u = -15 + 9. Does y = u?
False
Let d = 16 - -7. Let o be d - (3 - 1 - 1). Let m = 91/4 - o. Are m and 2 equal?
False
Let x = 4.423 + -2.923. Let m(o) = o**3 + 5*o**2 - 2*o - 7. Let t be m(-5). Let a be (-2)/t + (-3)/(-9). Which is greater: a or x?
x
Let f = 3/216040 + -7042907/216040. Suppose 0*j = -4*j - 8. Is f != j?
True
Let w = -2.693 + 2.793. Which is bigger: -1732 or w?
w
Let v be (-22 - -36) + 5904/(-6). Which is greater: -963 or v?
-963
Let b = -203 + 145. Let z(m) = -m + 18. Let x be z(8). Let n = x + b. Which is smaller: n or -47?
n
Let h = -22936985248236495/12816141725822300012 + 3/1100411879356. Let y = h - -2/9149. Which is bigger: 0 or y?
0
Let s be (88 + -97)/((-6)/(-2)). Which is greater: s or 923?
923
Let r = 45 + -117. Suppose 5*o + 369 = m, 4*o = -2*m + 155 - 453. Which is smaller: o or r?
o
Let l(w) = -w**3 + 16*w**2 - 18*w + 45. Let a be l(15). Is a <= 1/8089?
True
Let y = 14 - -220. Let u = 226 - y. Is u at most -78/11?
True
Let g = 421 - 416. Suppose 29 = -t - g*j, -37 = -5*t - 2*j - 136. Which is bigger: -89/5 or t?
-89/5
Let t = 9.9 - -104.85. Let k = t + 1.25. Let h = k - 112. Which is bigger: h or -6?
h
Let n be -4*(335/950 - 15/50). Is 8 equal to n?
False
Let i be ((-10)/(-50))/((-2)/(-10)). Let j be 2/6 + (0 - 394/(-6)). Let a be (-3)/j*(-3 + 1 + 4). Which is smaller: a or i?
a
Suppose -5*o = -q + 26040, 24*o = 25*o - 5*q + 5184. Which is bigger: -5211 or o?
o
Let b(i) = 25*i**2 - 9*i + 13. Let x be b(3). Let r = x + -210. Let m = -1117/70 - -118/7. Is m at most r?
True
Let z = -215 + 249.4. Let s = 29.4 - z. Which is bigger: -1 or s?
-1
Let r = -2188 + 2343. Which is bigger: 152 or r?
r
Let q = 6.9 + 3.1. Let t = -18 - q. Let r = 7 + t. Which is smaller: r or 1?
r
Let p be 2/(-16)*-4*(84888/(-42489) + 2). Which is smaller: p or -1?
-1
Let n = -39 - -41. Suppose -5*y - 163 = 4*a, 125 = -n*y - 2*y - 5*a. Let j be y/(-25) - (-4)/(-10). Which is greater: 1/4 or j?
j
Suppose -7*v - 123 = -718. Suppose -14*w - v + 15 = 0. Let k be (w - 65/(-15))*15. Are k and -9 equal?
False
Let y(q) = 39*q + 21. Let f be y(5). Suppose -f = 29*m - 13. Which is bigger: -33/5 or m?
-33/5
Suppose 291*u = 282*u + 117. Suppose -8*q + 230 = -u*q. Let b(x) = -13*x + 5. Let y be b(4). Which is smaller: q or y?
y
Let o(u) = -10*u - 20. Let c be o(-18). Suppose -h = -4*r - 3*h - c, -4*r = 5*h + 172. Is -38 greater than r?
False
Suppose 14*a - 24 = 6*a. Suppose 0*f - 2*f = -4. Suppose -f*c - a*c = 5. Which is greater: c or 3/19?
3/19
Let m = 26 + -27. Let s be 2/18 + (-18249)/151767. Which is greater: m or s?
s
Suppose 3*q - 15 = 12. Let v = q + -15. Let b(x) = -x**2 + 57*x - 787. Let w be b(34). Which is smaller: w or v?
v
Let w = -859 - -864. Suppose 2*i - i = w*b + 2295, -3*b = 4*i + 1377. Is -458 less than b?
False
Let q(a) = a**3 - 9*a**2 + 30*a - 4. Let b be q(5). Suppose 2*g + 22 = -3*n, 0 = 2*g - 2*n + b - 4. Are g and -17 nonequal?
False
Suppose -5 = -n - 2. Suppose j + 51 = 3*a, 6*a + 15 = n*a. Let l be ((-1)/(-3))/(((-20)/j)/10). Which is bigger: l or 12?
12
Let l be ((-2)/3)/((-455)/(-195)). Is l bigger than 91.9?
False
Let h = 9.2438 - -0.0362. Let m = 5.28 - h. Is m > -26/3?
True
Let c(r) = 111*r - 5. Let x be c(-2). Let w = x + 262. Is w at least as big as 26?
True
Let n = -2455570817 - -41765680566/17. Let x = 1234474 - n. Let d = x + -552. Is 0 >= d?
True
Let c(j) = j**3 + 5*j**2 - 8*j - 5. Let l be c(-6). Suppose -5*v = -l + 2. Let r be ((-4)/10*v)/1*-1. Is -5 <= r?
True
Let m(b) = -2*b**2 + 2. Let a be m(0). Let o be 13/(-6) + (a - (0 + 2)). Let c be (-4 - 0) + 2 - -1. Is o bigger than c?
False
Let h(t) = -120*t**3 + 9*t**2 + 6*t - 4. Let n be h(-3). Do n and 3300 have different values?
True
Let q be (3 - 9)*1 - (-475636)/79275. Which is greater: -1 or q?
q
Let x be 17902/11932 + 10/50 + (-102)/60. Is 1 equal to x?
False
Suppose -d - 959 = 4*f, -5*d = -2*f - 3*d - 472. Do f and -237 have the same value?
False
Suppose -4*z = 5*f - 5*z - 11731, -f + 2*z = -2348. Is 2348 <= f?
False
Suppose 4411*k - 4398*k + 13 = 0. Is k at most 7/289?
True
Let w = 39 + -18. Let j = 18.5 - w. Let u = -2.5 - j. Is u less than or equal to 1.4?
True
Suppose -4*n - 85 - 19 = 3*w, 28 = -w + 2*n. Which is greater: -9 or w?
-9
Suppose -k = 5*w + 2, 3*k - 4*w - 88 = -18. Suppose 0 = -l - 3*g + 8, 3*l + 0*g - 5*g = -k. Which is bigger: 6/29 or l?
6/29
Let u be (159/6 + -14)/(3/2). Which is smaller: -35 or u?
-35
Suppose 5*r = -2*y + 151, -y + 254*r - 256*r = -77. Is -5/6 bigger than y?
False
Let u = -6946 + 6588.964. Let c = u + 357. Is -1 <= c?
True
Suppose 7*n - 15 - 83 = 0. Suppose -10*u = -n*u + 40. Let p(a) = a**3 - 11*a**2 + 9*a + 10. Let g be p(u). Which is smaller: -3 or g?
-3
Let n be (45/135)/((-2)/(-2946)). Let h = n + -534. Is -45 smaller than h?
True
Let r be -3 + 14/6 - -1. Let a(v) = v**2 + 9*v + 19. Let n be a(-6). Is r smaller than n?
True
Let u = 3/205 - -5819/205. Let m = -13 + 41. Is u greater than or equal to m?
True
Let s = -26.92 - -27. Let d(v) = v**3 + 5*v**2 + 5*v + 25. Let x be d(-5). Is x bigger than s?
False
Let p(d) = -3*d**3 - 23*d**2 - 128*d + 51. Let v be p(-11). Which is greater: 2668 or v?
v
Let i be (-156)/(-14) + ((-1833)/91 - -20). Let n be 48/(((-30)/(-4))/5). Let x = n + -22. Is i less than or equal to x?
False
Let q = 2735.5 + -2735.49. Is -55 less than or equal to q?
True
Suppose -4*y - 28 = -3*r, -r - y + 5 + 9 = 0. Let p be 1*20/(-472)*r/15. Which is smaller: 1 or p?
p
Let s(f) = -2*f**3 - 4*f**2 - 4*f - 3. Suppose -4*g - 2*y - 10 = 8, 0 = 4*g - 5*y - 17. Let o be s(g). Suppose o = -4*d + 1. Is -32/13 > d?
False
Let y = -3.8219 - 4529.1781. Is y != -2/5?
True
Let u = 3009 + -3009. Is 3887 >= u?
True
Let g be (-1065)/(-6)*((-143)/(-65) - 5). Which is bigger: g or -496?
-496
Let w be (1/(-138))/(11/1826). Which is smaller: -1 or w?
w
Let f = 59.5 + -8.5. Let g = 9708.99 - 9760. Let o = f + g. Do -1 and o have the same value?
False
Let l = 23845 - 35424. Is -0.1 greater than l?
True
Suppose -5*i + 3*s = 23, -70*i + 3 = -71*i + s. Which is bigger: i or -737?
i
Let i = 0.572 - -5.648. Let c = i + -6.19. Is 1 bigger than c?
True
Let l = -4746 - -6983. Is l <= 4?
False
Let j = 0.57 - 0.47. Let v be (-3)/(-5) + (-55)/350. Let g = v - -5/14. Is j not equal to g?
True
Suppose -6*k = -2*k - 16. Suppose -a - o + 6 = -3, -k*a + 2*o = -6. Let t = -3/15572 - -420459/77860. Is t <= a?
False
Suppose -4061 = 20*l - 1261. 