9608. Which is smaller: -91 or a?
a
Let i = 802 - 646. Let m be (-12)/8 - 470/i - -4. Which is bigger: m or 0?
0
Let y be (9 - (-10)/(-15)) + (-17 - -10). Is -233 less than or equal to y?
True
Suppose -2*g + 4*g = -0*g. Suppose 0 = -g*b - 4*b. Suppose 3*q + k - 19 = b, 4*q - 16 = -3*k + 11. Is 6 >= q?
True
Let u = -1.5 - -316.5. Let r = 315 - u. Is 0 less than r?
False
Suppose 3*y = 4*b + 8*y - 426, -200 = -2*b + 4*y. Let l = b + -47. Let h be l*(-3)/(-18)*-2. Does -18 = h?
False
Suppose 525 = -35*k - 40*k. Are -84/11 and k equal?
False
Let g = 1029/99866 - -1/598. Is g != -0.2?
True
Let j = -757 + 757. Suppose j = 8*h + 9*h. Which is smaller: -55/7 or h?
-55/7
Suppose -35 = 37*c - 32*c. Let w be -85*(c + (-30)/(-5)). Which is smaller: 86 or w?
w
Let x = -9098 - -8985. Which is smaller: -121 or x?
-121
Let f = 22330 - 22336. Which is smaller: 841 or f?
f
Let c(i) = i**3 + 9*i**2 - i - 6. Let s be c(-9). Suppose s*l = 5*l - 5*l. Is -2/137 > l?
False
Suppose 15*v = -88 + 133. Let z be -6 - (-1)/v*(12 + 6). Which is bigger: z or 5/7?
5/7
Let i be (-5740)/(-12) + 14/21. Suppose f = -3*f - 2*p - 388, -4*p = 5*f + i. Which is smaller: f or -499/5?
-499/5
Suppose -i + 6*i = -q + 218, 222 = q + 3*i. Let f be q/450 + (-2)/3. Is f less than or equal to 1?
True
Let x(r) = -r**2 + 39*r - 337. Let o be x(20). Is o less than or equal to 2?
False
Let r be 6/(-1)*1/(-32). Let y = 47/80 - r. Let b = -1129/5 + 227. Which is smaller: y or b?
y
Let b = 358 + -356. Let v = 102089/7 - 15279. Let j = 697 + v. Are b and j non-equal?
True
Let s(k) = 2*k**3 - 134*k**2 + 258*k - 84. Let c be s(65). Which is smaller: c or 11?
c
Let z = 43564 + -43548. Let y be (3/2)/((-6)/(-8)). Is y greater than or equal to z?
False
Let h(n) = -n**3 - 11*n**2 - 17*n + 10. Let g(i) = -i**2 - 13*i + 39. Let r be g(-16). Let u be h(r). Which is bigger: 32/21 or u?
32/21
Let i = -4483 + -4340. Which is greater: i or -8822?
-8822
Let m = -2 + 0. Let t = 363 - 360.174. Let a = t + -1.026. Which is smaller: a or m?
m
Let o = 44.033 + -0.033. Let k = o + -43.26. Let q = k + -0.86. Is -1 less than or equal to q?
True
Let b = 4.6 + -10.7. Let w = 6.14 - 0.06. Let v = w + b. Is -6 <= v?
True
Let x(u) = -4*u - 23. Suppose 0 = -4*y + 4*l - 3*l - 29, 27 = -4*y - l. Let r be x(y). Suppose r*i = -11 - 29. Which is bigger: -1 or i?
-1
Let k = -0.7 - -0.4. Suppose 14*s + 44 = 3*s. Let p be (s/9)/4 + (-38)/171. Do k and p have the same value?
False
Let o(w) = w**3 - 16*w**2 - 34*w - 27. Let h be o(18). Suppose h*i + 137 = 74. Is 5 bigger than i?
True
Suppose 5*a = -3*j + 7*j + 30, -2*a - 4*j = -12. Suppose -a*t - 45 = -57. Is 3 at most t?
False
Let w = -23 - -28. Suppose 2*z + 249 = 5*r, w*r - 6*z = -z + 240. Let g be 1/(201/r - 4). Do g and -17 have the same value?
True
Let f = 60118289/133715 - 5/26743. Which is smaller: 449 or f?
449
Let h = 18.913 + -18.409. Which is smaller: -3 or h?
-3
Let r = -0.6582 - 0.0518. Let x = -0.83 + r. Is x at least as big as -1/3?
False
Let k = -96.5 + 96.7. Is -507 <= k?
True
Let u(b) = -b**2 + 34*b + 68. Let d be u(16). Suppose -69 = 17*p + d. Is p at most -20?
True
Let q(l) = 3*l**2 + 10*l - 5. Let f be q(-4). Let w be 49 + (4/2 - 4) + f. Let k = -48 + w. Which is smaller: 3/2 or k?
3/2
Suppose 27*d + 108 = 36*d. Suppose -3*m + d*m = -153. Is -16 < m?
False
Let u be (((-100)/15)/(-10))/(3/(-36)). Let k = u + 295. Is 286 at most k?
True
Let q = -12/2663 + 42121/9938316. Which is smaller: -1 or q?
-1
Suppose 650555 = 207*n - 92*n. Which is smaller: 5655 or n?
5655
Let u be (-4)/(-2 + 4/3). Let j be (-1221)/1243 + (-1)/(-4). Let m = -2/113 + j. Are u and m non-equal?
True
Suppose 5779*j = 5780*j + 129. Is j at most -88?
True
Let u = -12523 + 12522. Which is greater: u or 1/17580?
1/17580
Suppose 2628 = -50*w + 97*w - 43*w. Suppose 65 + 602 = r - 2*u, 0 = 3*u + 15. Does w = r?
True
Let r = -110.029 + 0.029. Let s = r - -39. Let t = s - -70. Which is greater: t or 0.42?
0.42
Let y(b) = -36*b - 150. Let q be y(-5). Let a be (1 - (-21)/(-12))/(q/(-496)). Which is smaller: 13 or a?
a
Let g be 2 - (45/36 - 2/8) - -228. Which is greater: 231 or g?
231
Let k = 0 + 0.1. Let m be 2410/(-1085) - 15392/(-6734). Which is smaller: m or k?
m
Suppose 99 = 5*j + 364. Suppose 56*s = 3*s - 2809. Let b = j - s. Is 0.3 bigger than b?
True
Suppose -202*k - 63 = 467 + 278. Let y = 33/31 + -2673/589. Is y smaller than k?
False
Let k = -7264/3 - -2419. Is 55 greater than or equal to k?
True
Let x(d) = 4*d**2 - 34*d + 249. Let t be x(6). Which is greater: 565/3 or t?
t
Let n(s) = 2*s**2 - 15*s + 114. Let b be n(19). Let p = -723 + b. Is p at most -172?
True
Let v = -12323 - -19962. Is 7638 less than v?
True
Let b = 0.19 + -0.22. Let v = -0.04 + b. Let s = -0.07 - v. Which is smaller: -5 or s?
-5
Let c = 0.08271 - -0.19929. Which is smaller: -3 or c?
-3
Suppose 28*m = 22*m - 12. Let i be ((-102)/(-9))/(m/21). Which is bigger: -120 or i?
i
Let p(y) = -6*y**3 - 3*y**2 + 3*y. Let g be p(3). Let w be -1*3456/24 - 37. Which is bigger: g or w?
g
Let p = -6186 + 6189. Which is greater: p or 0.135?
p
Let m be 2002/1274 + (0 - 4/7). Which is greater: m or 9/139?
m
Let o be ((-22)/(-8))/((-8624)/784). Let j = 157.6 - -3.4. Which is smaller: j or o?
o
Suppose 0 = h - 2*j - 8 - 1, 5*j + 5 = -h. Let q(l) = -l + 3. Let o be q(h). Let g = 612 - 616. Which is smaller: g or o?
g
Let m be -3*18/189 - (-18)/14. Let f be 28/21*(40 + (m - -1)). Is f less than or equal to 56?
True
Suppose -2 = 5*p + 8. Suppose 116*y - 10 + 10 = 0. Which is smaller: y or p?
p
Let u = -367.473 + -0.527. Let o = u + 524. Is o greater than -1?
True
Let k be 0/(0 + -2 - 0). Suppose k = t - 0*t - 31. Suppose -2*p - 3*p = -160. Which is smaller: p or t?
t
Let k(b) = -6*b**3 + 33*b**2 - 249*b - 12. Let j be k(17). Is j < -24185?
True
Suppose -x - 37*y + 40*y - 2 = 0, -20 = 3*x - 2*y. Which is smaller: 122 or x?
x
Let l(n) = n**3 + 23*n**2 + 42*n + 1584. Let y be l(-24). Which is smaller: -2/46595 or y?
-2/46595
Let k be (2/(-23))/((-2)/(-4)). Suppose -2 = d, o + d + 121 = -115. Let z = -235 - o. Which is greater: z or k?
k
Let n(m) = m**3 - 30*m**2 + 26*m + 15. Let p be n(29). Let j be 1 + -6 + 2 + (-568)/8. Which is smaller: j or p?
j
Let q be 37 + (-16)/(-272) + (-376)/34. Is -2 less than or equal to q?
True
Suppose 26*l - 5*h = 25*l - 24, 4*h - 18 = 2*l. Which is smaller: -5/786 or l?
-5/786
Let i = -23693 + 27400.6. Is 1 at least i?
False
Suppose 3*o - 3 = -0, -5*w = 4*o - 24. Suppose w*t + 5*l - 239 = 0, 205 = 5*t + 5*l - 95. Is t > 61?
False
Let u be -12 + 3255/245 - 6702/(-259). Is 28 >= u?
True
Let l be (-5)/(-2) - 3 - -3. Suppose -5*j = 0, -2*x + 18 + 8 = 3*j. Suppose x*r - 23*r + 40 = 0. Which is smaller: r or l?
l
Let y = -126 + 130. Let i be ((-4)/y)/((-5)/15). Suppose -3*l - 3 = z, -8*z + 5*l + 25 = -i*z. Which is smaller: z or -0.06?
-0.06
Suppose j = 281 + 66. Let u = j + -350. Let c = -209/6 + 331/10. Which is smaller: u or c?
u
Let y = -11 - -15. Let q(g) = -3*g - 27. Let d be q(-10). Suppose -i + y = d. Which is smaller: -2/31 or i?
-2/31
Let g = -228 + 244. Suppose -l - 5*i + g = -7*i, -18 = -3*l - 4*i. Which is bigger: l or 1?
l
Let i = -72 + -16. Let k = i + 88. Is -2/83 at most k?
True
Let s = -5.1 + 1.1. Let a = 9158 + -210636/23. Is s != a?
True
Let n be -1 - (16 - 2794/122). Which is greater: n or 5?
n
Let d = 57 - 8. Let v = d + -55. Let y be v + (-7)/((-7)/3). Is -13/6 at most y?
False
Let l = 32.396 - -0.204. Let w = l + -0.6. Let y = -32.05 + w. Which is bigger: y or 0?
0
Let f(r) = 10*r + 14. Let x be f(2). Suppose -11*g - 593 = x. Let s = -571 + 513. Is g smaller than s?
False
Let h = 34 - 18. Suppose 0 = -h*k - 173 - 435. Which is bigger: k or -221/6?
-221/6
Suppose -5*n - y + 160 + 87 = 0, 3*n + 4*y = 138. Let u = n + -45. Suppose -15 = -4*v + u. Is v > 6?
False
Suppose -9*d - 16 = -17*d. Suppose 4*c - 2 = 2*l, 3*c - 1 = 6*c - d*l. Which is smaller: -21 or c?
-21
Let w = 623 - 623. Let l be (41 + -42)/(1/(-391) - w). Is 391 not equal to l?
False
Suppose 32*o - 36*o - 126 = f, 0 = -o - f - 33. Let d(k) = 5*k + 116. Let m be d(o). Which is smaller: -8 or m?
m
Let i = -3055 + 3055.6. Are 49 and i unequal?
True
Let x = 110662/78033 - -28/1369. Are 0 and x equal?
False
Let h be -5*(216/30)/9. Let l be (-6)/h - 