True
Let t(x) = 110*x - 20. Let q be t(2). Suppose 0 = 5*r + 5*d - q, r = 5*r - d - 185. Is 44 != r?
True
Let f be (232/(-36))/29 - 2/((-144)/(-32519)). Which is smaller: -451 or f?
f
Let d = -8 + 13. Suppose 67 = 2*g + i + 4*i, d*i + 15 = 0. Let j = -40 + g. Which is greater: -3 or j?
j
Suppose -5*h - 175 = 2*k, 5*h - 395 = 19*k - 15*k. Let r = k + 97. Which is smaller: r or -27?
-27
Suppose 0 = 3*s - s + 52. Let t = -187 - -191. Suppose 0 = -3*l - t*j - 68, 3*j - 6*j = -l - 40. Is l greater than s?
False
Let r(k) = -2*k**2 - 119*k + 181. Let g be r(-38). Is g greater than or equal to 1817?
False
Let k be 14/2 - (-22990)/(-3570). Let g = k - 14/51. Is 0.66 smaller than g?
False
Let b = -15679 - -15752. Does b = -2.3?
False
Let u(d) = d**2 + 2*d - 14. Let t be u(-5). Let i(y) = -47*y + 5. Let l be i(t). Let n be (-2)/(l/1)*2/(-1). Which is greater: -1 or n?
n
Let v = 68 + -77. Suppose -y + 2*p = 4, 2*y - 9 - 7 = -4*p. Suppose 2*k + 32 = -y*k - o, -5*o - 13 = -k. Is v at least as big as k?
False
Let q be (-6)/(-10) - (-9)/(-15). Let m be (-34)/(-102) - ((-29)/3 - q). Let a = -18 + m. Is -9 less than a?
True
Suppose -16 = -4*s - 4*h + 2*h, 0 = 5*s + 2*h - 20. Suppose -s*v - l = 69, 0 = 2*v + 4*l + 33 + 19. Which is smaller: v or -5?
v
Let b(w) = -90*w + 3406. Let a be b(38). Which is bigger: a or -74?
a
Let n(u) = 4*u**3 + u**2 - 6*u - 18. Let a be (1 + (3 + 1 - 2))*-1. Let t be n(a). Is t at most -100?
False
Suppose -q + 3 = -5*q - 1. Is q bigger than 7/330?
False
Let s be (2/(-12))/(6 + 8474/(-1412)). Let a = -104 + 225. Let x = a - s. Which is smaller: 2 or x?
2
Let x = -254981/54 - -4722. Let q = x + -95/837. Is 1 < q?
False
Suppose -s - 2*d + 7 = -8, -3*s - d + 20 = 0. Suppose s = -t + 7. Is 0.158 less than t?
True
Let c be -9*(6/3 - (-2 + (-7980)/(-36))). Is c <= 1959?
True
Let i(d) = 2*d**2 - 30*d - 160. Let s be i(-7). Is 136 less than s?
True
Let h = 2065 + -45429/22. Is h at most 56?
True
Let u = -152 + 170. Let p be (u/(-15))/(30/(-250)). Is p <= 8?
False
Let t = 0.2306 - 0.2206. Which is bigger: 252 or t?
252
Let o = 3978.9 - 3979. Is o < -565?
False
Let j = 3817 - 11410/3. Which is smaller: j or 13?
13
Let z = -369 - -409.9. Let a = z + -52.9. Is -1/3 less than or equal to a?
False
Let u = 3806.02 - 3798. Which is bigger: u or -0.2?
u
Suppose -5*s = -4 + 4 - 0. Which is bigger: 2/7105 or s?
2/7105
Let x be -4 - (-6)/(-24)*-4. Let f be (1/x*8)/(6/(-45)). Which is bigger: f or 21?
21
Let g = 0.92 + -0.62. Let s be ((-90)/104)/3 + (-32)/(-128). Is s at most g?
True
Let o be 11/22*0/1. Let y(f) = f**2 - 3*f - 5. Let u be y(5). Suppose l = 5*l - u*c + 40, o = -l - 5*c + 15. Is l >= -2?
False
Let t = 0.224 + -0.024. Let j = -1.2 + t. Let z = -2/83 + -156/415. Is j at most z?
True
Let f = 5025/154 + -10/77. Let v = -2637 - -2671. Let b = f - v. Is -2 less than or equal to b?
True
Let n = -175/44 - -140/11. Let c = n - 7. Let l = 0.24 + -0.04. Is c greater than or equal to l?
True
Let m = -1 - 0. Suppose -61*y = -64*y + 36. Let r be -2 - 218/(-156) - 2/y. Which is smaller: r or m?
m
Suppose -448 - 198 = -38*m. Suppose 5*k + 6*n - n = 130, 0 = -2*k - 3*n + 56. Is m not equal to k?
True
Let l be 18/36 - (-2)/(-4). Suppose -5*y - f = -l*f - 83, 0 = y + 3*f - 25. Suppose -5*w = -3*q + y, 8*q - 3*q = 10. Is w > 3?
False
Let j(r) = 18*r**2 - 5*r + 7. Let a be j(-3). Suppose w = -4*u + 2*w + 196, a = 4*u + 2*w. Suppose -2*y - u = 44. Is -46 <= y?
True
Let t = 1109 + -986. Which is smaller: t or 20/3?
20/3
Let a = -7 - 1211. Let j be (a/(-63))/(2/(-3)). Which is bigger: -25 or j?
-25
Let r = -36032/187 + 2060/11. Let h = r + 12454/2295. Is 1 bigger than h?
True
Suppose -15758 - 13158 = 211*r - 5284. Is r at most -105?
True
Let f = 1116 - 564. Suppose -19*p - f = -27*p. Is p greater than 69?
False
Let y = -5163 + 5161. Which is smaller: y or -255?
-255
Let r(c) = -c + 3. Let o be r(3). Suppose -88 = -4*x - o*x. Let p(a) = 58*a - 35. Let t be p(1). Which is smaller: x or t?
x
Let x = -580 + 593. Suppose -11*b = x*b - 840. Which is smaller: 34 or b?
34
Suppose p = -4*w + 5*w - 94, -3*w - 3*p = -294. Do 11 and w have different values?
True
Let k be (-72)/(-7) - (-2)/(-7). Suppose k = z + 1. Suppose z*b - 3*b = 8*b. Is b equal to 2/15?
False
Let u(k) = -k**2 - 18*k - 17. Let c be u(-17). Suppose -150*w + 157*w + 28 = c. Which is smaller: -8 or w?
-8
Let t = 24601 - 24563.2. Are -2/7 and t nonequal?
True
Suppose u = -5*g - 15, -2*g + 17 = 25. Suppose u*i - 21 + 61 = 0. Which is smaller: -29 or i?
-29
Let l = -46900/61 - -769. Let f = l + -367/2074. Which is smaller: f or 1?
f
Let c(a) be the first derivative of -a**2 + 5 - a + 2/3*a**3. Let o be c(0). Which is smaller: o or 1/33?
o
Let u be -13 - (-35)/(-63)*-29. Which is greater: 6 or u?
6
Let u be 38/361 + 6398/(-5187). Which is smaller: u or -1?
u
Suppose 189945 = -80*l + 633065. Does 5539 = l?
True
Let o be -2 + 2 - 2 - (-6 + 2). Suppose -4*r + 114 = 3*x, 5*x - o*x - r - 129 = 0. Is x > 39?
True
Suppose 6*x - 6 + 0 = 0. Suppose 0 = 2*r - r - 2*q - x, 2*q + 8 = 2*r. Let i be 21/r - 8/2. Which is greater: i or 1/22?
1/22
Let l = 1523191298/103 + -14788397. Let i = -132 - l. Is i <= 0?
True
Let f = -40.097 + 0.097. Let g = -54.8 + 17.8. Let w = f - g. Which is smaller: w or -0.7?
w
Let u = 575.7 - 570.7. Is u <= 0.073?
False
Suppose -12 = 2*z + 3*p + 4, -2*p = -z - 8. Is 21.7 <= z?
False
Suppose 3*i + 2 = 14. Suppose -81 = -5*h - i*h. Which is greater: h or -2?
h
Let t be (2 + -14)/(19 - 14)*21/700. Which is bigger: -0.3 or t?
t
Let p = 584644803/55055 + -74335/7. Which is smaller: -1 or p?
-1
Let c = 1310 + -204361/156. Let a = 11250 - 1754965/156. Let n = a - c. Is n bigger than 0?
True
Let p(w) = -2*w**3 + 14*w**2 + 20*w - 1. Suppose -3*m = 2*b - 13, 3*b + 5*m = 6*m + 25. Let i be p(b). Which is bigger: i or 30?
i
Let x = -6600 - -59390/9. Which is smaller: x or -1?
x
Let c = 3.688 + 0.012. Let y = c + 12.3. Let k = -17 + y. Which is bigger: k or 11?
11
Suppose 3*t - 3 - 3 = 0. Suppose 4*p - 10 = 2*z + 3*z, -p = t*z - 9. Let s be (5/10)/(z/(-44)). Is -12 less than or equal to s?
True
Let d = 3646 + -3645. Which is smaller: d or 3/2779?
3/2779
Suppose 20 = -4*i, -3*f + 2*i = -2*i - 434. Suppose f*p - 134*p + 784 = 0. Which is smaller: p or -197?
-197
Let x(c) = 26*c - 130. Let q be x(5). Suppose -14*u - 425 + 2833 = q. Is u >= 172?
True
Let f = 27460 + -27277.49. Let x = f + -180. Let n = x - 0.51. Is 2/35 less than n?
True
Let v be (152/(-11))/((-710)/15 + -4). Let t = -2/121 - v. Suppose 12*g - 5*g = -7. Which is smaller: g or t?
g
Let r(x) = 20 + 0 + 16*x + 16 - 7*x. Let z be r(-5). Let j be 121/(-12) + (-10)/40. Is j at least as big as z?
False
Let u be -7*(413/(-49) + 8). Let t be 234/(-45)*-10 - u. Is t smaller than 44?
False
Let c = -0.5191 + -1.4809. Which is smaller: -259 or c?
-259
Let u = -4292/5363 - -38/173. Is -6 at most u?
True
Let h = -4549/1705547 + 1/1801. Which is smaller: h or -2?
-2
Let v = 0.05421 + 106.94579. Which is smaller: v or -3/10?
-3/10
Let b(o) = o**3 - 15*o**2 - 23*o + 107. Let t be b(4). Which is bigger: -806/5 or t?
t
Let z = 143.1 + -143.2. Let k = -12 + 170. Which is smaller: k or z?
z
Let r be -4*1/(-4) - -2*2. Suppose -563 = -r*f - 528. Which is smaller: f or -1?
-1
Let x(d) = -2*d**3 - 177*d**2 + 81*d - 767. Let y be x(-89). Which is bigger: y or -68?
y
Let z = -4206571/567 - -7419. Let w = 376/567 + z. Is -0.099 at most as big as w?
True
Let g = -104.2 - -594.2. Which is smaller: 6/5 or g?
6/5
Let c be (-2 + 2)/(24 - 23). Which is smaller: 2/1471 or c?
c
Suppose -5*f = -4*a + 1 - 6, 1 = f + 2*a. Let u be (1 + 1 - f) + (4 - 49). Let l be -4*(-2)/8*-45. Does u = l?
False
Let v(o) = -15163*o - 2. Let j be v(-1). Let z = 76416/5 - j. Let g = z + -4813/40. Is 2 > g?
True
Let x = -13.858 + 14.858. Which is smaller: x or -4246?
-4246
Let g = -26.6052 - -25.6052. Let w = -0.26 - -0.17. Which is bigger: g or w?
w
Let m = 175757/22419 + -415/53. Suppose j = 3*r + 4, -19 = -4*j - 3. Are m and r unequal?
True
Suppose -187 = 5*o + 52*r, 5*o + 63*r = 60*r + 107. Suppose 3*t + q - 76 = -q, 0 = 4*t - 3*q - 90. Which is greater: o or t?
o
Suppose 0 = 7*g + 7. Let m be ((-1)/((-9)/(-213)))/(g/3). Which is greater: 69 or m?
m
Let k(x) = x**2 - 5*x - 10. Let g be k(7). Suppos