 = s - 120. Is -40 at most s?
True
Let w be (54/(7 + 2))/((-4)/(-6)). Let a(z) = z**2 - 3*z + 3. Let o be a(w). Let h = -76 + o. Which is bigger: h or 3?
3
Let f be 456/171*135/(-18580). Which is bigger: f or 1?
1
Let n = -0.259 - -0.245. Let b = n - -0.014. Which is smaller: b or -1.16?
-1.16
Let d = 106 - 102. Let f(p) = -11*p + 44. Let j be f(d). Which is greater: j or -1/177?
j
Let d be 52/(-338) - 10688/26. Let y = d - -411. Is -0.1 greater than or equal to y?
True
Suppose 5*g - 5*w - 25 = 0, g = -4*g + w + 9. Let c = 6 - 3. Let b be (4*-1)/(c + -1). Is g bigger than b?
True
Let o be (55/(-180))/(-11) + (1 - 35/28). Is o != 228?
True
Let n = 88 - 100. Let d = n - -17. Let y be (d/20)/(20/976). Which is greater: y or 12?
y
Let p be (15/(-3) + 3)*-2. Suppose 0 = -q, -2*q - 68 + 248 = p*j. Let c be j/(-100) - (-9)/12. Is c < 1?
True
Suppose 0*a = a - 4. Suppose -3*m - a*v + 14 = -2*m, -16 = -4*v. Suppose -113*f + 100*f = -195. Are m and f unequal?
True
Let r(d) = 2*d**2 - 194*d - 229. Let f be r(100). Which is bigger: f or 358?
f
Let i be (-1)/((-210)/10)*7 + 140/(-405). Let c(m) = -2*m + 2. Let x be c(-2). Let l be (-4)/x*6/(-4). Is l smaller than i?
False
Let y be (3/2)/(-5 + (-203)/(-42)). Let n = y + 58. Let b = -50 + n. Which is smaller: b or -4/11?
b
Let f = 5.69 - 5.79. Which is bigger: f or -1864?
f
Suppose w = -20 - 0. Let b be (5 - 1)*(-15)/w + 0. Suppose -b = 4*u - u. Is u less than or equal to 2/31?
True
Let y be 16 + -11 + (-2890)/8 + 4. Is y <= -352?
True
Let a be (3 - 2862910/894675) + 1/5. Is -1 smaller than a?
True
Let r(h) = h**3 - 35*h**2 + 15*h - 78. Let k be r(35). Let w = k - 448. Which is smaller: w or -2/1255?
w
Let z = -1317/7 - -106663/567. Suppose f + 0 = 2*g - 2, -5*g + 5*f = 0. Which is bigger: z or g?
g
Let b be (-254)/(-6)*(8 + 198/(-18)). Which is smaller: b or -81?
b
Suppose 0 = 3*i - 4*i. Let f be 10 + -11 + (-12819)/(-1281) + -9. Which is greater: f or i?
f
Let n = -8220 + 8236. Which is greater: -947 or n?
n
Let a = 127 - -228. Let n = -356 + a. Is n > -1?
False
Let r = -70.095 + 70. Let o = r + -8.105. Let z = o - -12.7. Which is smaller: 0 or z?
0
Suppose -3 - 2 = -5*y. Let x be -6 + (-191334)/(-29848) - (18/(-7) + 3). Which is greater: x or y?
y
Suppose 134*m - 877 - 991 = 410. Which is greater: m or 417?
417
Let w(x) = x**3 - 13*x**2 + 10*x - 30. Let i be w(12). Let g be (-18)/189 + (-3838)/(-70). Let o = i + g. Is 1 at most o?
False
Suppose -4*b - a = -3*a - 2, -2 = -b + a. Let i be (-9)/(-3)*b*-1. Suppose 3*g = -2*g - i*t - 289, 4*g - 3*t + 242 = 0. Which is greater: -58 or g?
-58
Let s(l) = -22*l + 55. Let d be s(-11). Let t = -276 + d. Which is smaller: t or 23?
t
Let j(p) = 72*p + 4018. Let r be j(-56). Which is smaller: 40 or r?
r
Let r = 0.226 + -102.226. Let s be 4/((-47)/((-1175)/(-350))). Is s not equal to r?
True
Let z be (-19330)/43425 + (2 - 98/63). Is z less than -1?
False
Let k be ((-1)/2)/(5/(-100)). Let x be 10/8 + -2 + k. Suppose 0 = 4*o, 3*l + 2*o - 8 = 2*l. Which is bigger: l or x?
x
Let h be ((-33)/84 - 2) + -1 + 45/36. Is h bigger than -19?
True
Let k(q) = -3*q**2 - 44*q + 29. Let x be k(-15). Are x and 44 nonequal?
True
Let u = 5.855 + -5.155. Let r be (-2)/(-136)*(3 + -106). Let p = r - -30/17. Which is smaller: p or u?
p
Let q(d) = -d**3 + 11*d**2 - 10*d + 1. Suppose 5*m = -10, 0 = 4*j - 5*m + 2*m - 274. Let n = j - 57. Let t be q(n). Is t > 32?
False
Let z be -1 + (-464)/32 + 6/4. Let c be (-4)/z + 90/(-70). Is 17/52 at most as big as c?
False
Suppose 2*u - 10 = 0, -35 = 5*h - 7*u + 4*u. Let s be h/((-195)/10*6). Which is greater: s or 0?
s
Suppose 0 = 15*l - 9*l. Suppose -9*x + 6 + 12 = l. Suppose 5*q + x = -3. Is q <= 3/13?
True
Let v be (-2486)/72 - 1 - 68/272. Which is greater: -37 or v?
v
Let o = 267 - 410. Let m = o + -33. Is 2/7 >= m?
True
Suppose 34906 = -10*h + 3306. Is -3159 equal to h?
False
Let x(t) = -t**2 - 13*t - 36. Let m(q) = 22*q + 104. Let d be m(-5). Let r be x(d). Which is greater: 11 or r?
11
Suppose -3*f + 78 = -3*z, 3*z + f + 46 = -12. Let p = 26 + -45. Which is smaller: z or p?
z
Let h = -1327 + 1327. Which is smaller: -6/1969 or h?
-6/1969
Let x(g) = 22*g + 23. Let h(q) = -q**2 + 11*q - 19. Let v be h(2). Let p be x(v). Which is smaller: p or 155?
p
Let m be (-1)/2 + (-242)/(-460). Let f be 29 + -32 + 8 - 6. Which is bigger: f or m?
m
Let w = -3.44 - -3.6. Let a = w - -11.84. Let b = -1259 - -1259. Which is smaller: b or a?
b
Let r = 51601 - 51601.45. Let j = -1 + 0.6. Is r >= j?
False
Let j = 349 + -595. Let n = 256 - 501. Are n and j unequal?
True
Let t = 70 + -45. Suppose 20*m - 125 = t*m. Suppose 2*p + 50 = -2. Is p at most as big as m?
True
Let s(k) = k**2 + k - 17. Let f be s(-5). Let t be (f + (-93)/6)/4 + 3. Is t at most -5?
False
Let t be (330/166 + -2)*(-487212)/(-12). Let d = t + 489. Let m = d + 688/5063. Is m >= 1?
False
Let l = -304.12 - -5.02. Let q = l - -286. Is q at most 3?
True
Let h = -12753 - -7128945/559. Is 1 at most as big as h?
False
Let c = 9681/4 + -15015239/6204. Let q = c - -3332/178365. Is q less than or equal to 1?
True
Suppose 0 = 3*p + 2*c + 7203, -18*p + 13*p + 5*c - 12055 = 0. Which is greater: p or -4807/2?
-4807/2
Let q be -4 - ((-19 - -3) + 5 + 782). Which is smaller: q or -770?
q
Suppose -24117 = 16*t - 24*t + 69739. Is 0.1 > t?
False
Suppose -100*o + 4510 = -45*o. Is -19 at most o?
True
Let a be (98/21*5)/(26/(-6)). Is a bigger than -4?
False
Let g = 54 - 51. Let k be (g - (3 + -62)) + (-1)/(-1). Which is greater: k or 185/3?
k
Let l = -2391.5 + 2392. Let h be (7 - 6)*1/50. Which is smaller: h or l?
h
Let c = 8 - 10. Let h = 58 + -54. Suppose 0 = h*b - 7 + 23. Which is bigger: c or b?
c
Let c = 363252 - 2523805/7. Let j = c - 2688. Let u = -3596/175 + j. Which is smaller: u or 0?
u
Let b = 65285.33 - 60752.9. Let u = 4607 - b. Let l = -0.43 - u. Is -1 greater than or equal to l?
True
Let c be (-16599)/(-121) + 4/(-22). Let d(u) = -2*u**2 + 45*u - 25. Let o be d(18). Is o at least as big as c?
True
Suppose 11*v + 136 = 3*v. Suppose -10*a + 275 = -145. Let m = a - 59. Is m smaller than v?
False
Suppose -4*r + 2*d = 9829 - 49937, 2*r + d = 20062. Are r and 10027 nonequal?
True
Let a = 179 + -170. Let u be (a/(-3456)*6)/((-18)/8). Is -1 not equal to u?
True
Suppose -26*m + 25*v - 56860 = -30*m, 5*v - 71075 = -5*m. Is 14215 at most m?
True
Let y = 13/997 - -774643/1994. Is y <= 390?
True
Let z be 3 - (-6)/(-1) - 804/(-2). Let v = -428 + z. Is -30 at least v?
False
Let w = 0.4 + 27.6. Let k = w - 12. Let x = 0.065 - 0.065. Which is smaller: x or k?
x
Let b be 6/(6/(-1134)*-6). Let t be 210/b*6*-1. Suppose 2*w = -3*p + 4*w - 24, 3*w = 3*p + 27. Is t at least as big as p?
False
Let o(y) = -4*y**3 - y**2 - 6*y - 5. Let f be o(-1). Suppose 2*c + 56 = 3*m, -5*m = f*c + 11 + 79. Is -25 less than or equal to c?
True
Let f(w) = -w**3 - 3*w**2 - 24*w - 62. Let s be f(-5). Which is smaller: s or 1178/11?
1178/11
Let z = -99 - -269. Let m = -176 + z. Which is smaller: m or -56/9?
-56/9
Let g(d) = 7*d**2 - 20*d + 60. Let c be g(3). Let h be (63/(-18))/(5 - c/12). Let s be 129/9*(0 - -1). Is h bigger than s?
False
Let s be (3 - 859)*(2 - (-42)/12). Is s at most as big as -4708?
True
Let o be -5 + (-329)/(-63) - (-52997)/(-63). Is -843 at least o?
False
Suppose -5*y - 160 = -10*y. Let i = y - 26. Let j(r) = -r**3 + 8*r**2 - 12*r + 1. Let m be j(i). Are m and -2/25 unequal?
True
Let c = -60 + 38. Let r be 512/3*(-2)/c. Let a = 46/3 - r. Which is greater: 0.7 or a?
0.7
Let c = -372964 + 372961. Suppose 29 = 3*a + 2*g - 3*g, 4*g = 2*a - 6. Let w be -2 - a*1/(-6). Which is smaller: c or w?
c
Let h = 0.3 - 0.4. Let m = -14852/289445 + 2/66795. Is m at least h?
True
Suppose 23*h + 28 = 97. Suppose 5*s - 2*u = 95, -h*s - u = -3*u - 57. Let i = 213/4 + -53. Which is smaller: s or i?
i
Let f = 154 + -38. Suppose 3759 = -2*n - 4*t + 3941, -4*n + t = -472. Is f greater than or equal to n?
True
Let b(u) = 11*u + 463. Let j be b(-9). Which is smaller: j or 367?
j
Let w(y) = -y**3 - 10*y**2 + 4*y - 14. Let h be w(-12). Suppose -3*j - 6*t = -t - 671, -5*j = 2*t - 1131. Which is bigger: j or h?
j
Let d be ((-152)/(-1672))/(1/11). Suppose y = -c - 8, -3*y - c - 18 = -0*c. Let i = -7 - y. Is i less than or equal to d?
True
Let j(s) = 11*s**3 - 