 is greater: 0 or w?
0
Let p = -11.474 - 0.526. Which is smaller: p or -6/5?
p
Let c = -117.7 - -117.75. Let i be (-2)/(-4) + (-1)/2. Is i at most as big as c?
True
Let u = 295 - 283. Is 168/13 at least u?
True
Let g(r) = -r**3 + 5*r**2 + 8*r. Let v be g(5). Suppose 2*y = -2*y + v. Is y != -1/3?
True
Let t be 7780/70 + 1/(-7). Is 106 < t?
True
Let k be 1*2/6*-3. Let x be (-2)/10 - 808/(-40). Let h be 48/(-10) - x/(-5). Which is bigger: h or k?
h
Let r be -10 + (5 - (-319)/3). Which is smaller: r or 100?
100
Let b be (22 - 0)*((-102)/(-24))/17. Let m(p) be the third derivative of p**5/30 - p**4/6 - p**3/6 + p**2. Let d be m(3). Is b at most as big as d?
False
Let f = 247.19 - 248. Let r = 0.79 - 0.09. Let p = r + f. Which is smaller: -2/3 or p?
-2/3
Let z = -69.154 + 69.1. Which is smaller: z or -0.01?
z
Let a be (-4 + 7)*(-60)/(-198). Is a <= 20?
True
Let j = 12 - -21. Let x be j*4/(-36)*3. Suppose 4*a + 4*c = -a - 34, -5*a = -2*c + 58. Which is smaller: x or a?
x
Let f = 1.8 - 18.8. Let s = 7 - -38. Let a = 45 - s. Which is smaller: a or f?
f
Let l be 6/9*(-360)/(-16)*1. Let x = -7 - -10. Suppose x*n + 11 = -4*b + 4*n, l = -3*n. Is -2 smaller than b?
False
Let l be 13/(-44) + (-4)/(-16). Which is smaller: -1 or l?
-1
Let c = -0.1 + 12.1. Let s = -13 + c. Let v = s + 0.9. Which is smaller: -4 or v?
-4
Let i = 37 - 83. Let d = 1.1 - 0.1. Is d bigger than i?
True
Let n = 37 - 37. Let i be (-1)/((-1)/(-6)) + -2. Let x be ((-3)/(-14))/(6/i). Which is smaller: x or n?
x
Let g be (90/4 + 6)*4/6. Let u = -3 - -21. Is u less than or equal to g?
True
Let q be 12/8 + 17/2. Suppose 3*j = j + 18. Let x = j - q. Which is smaller: x or -2?
-2
Suppose 2*i = 4*i - 12. Let o be ((-1)/2)/(i/12). Let v be o + 6/27*6. Which is greater: -2 or v?
v
Let g = 0.953 + -328.953. Which is bigger: 0.1 or g?
0.1
Let s = 0 + 0.2. Suppose -j - 17 = 65. Let q = j - -92. Which is smaller: q or s?
s
Let h = 132250/61 - 2168. Let w = 3.1 - 3. Which is smaller: h or w?
h
Let i = -216/5 - -1309/20. Which is smaller: -1 or i?
-1
Let m = 1340805727/155 - 8650317. Let b = 212/5 - m. Which is greater: b or 0?
0
Let y = 78 - 56. Let k = y - 21.87. Let z = k + -0.03. Which is bigger: z or -13?
z
Suppose 0 = 5*i - 25 - 0. Let u be (18/15)/((-6)/(-15)). Is i less than or equal to u?
False
Let t be ((-6)/4)/((-5)/(-120)). Let j = -34 - t. Suppose -5*l = -7*l - j. Is l less than -1?
False
Let t = -204 - -206.7. Let h = -1 - 1.3. Let u = t + h. Is u less than 2/5?
False
Let m = 0.337 + 6.663. Is 10/3 < m?
True
Let c = -61 - -425/7. Let z be (16/4 + -1 - 3)*-1. Let o be (-24)/96 + z/2. Is c bigger than o?
False
Suppose 4*a + 56 = 4*q, 0*q - 6 = -a - 4*q. Let v be 5*-1*(-102)/a. Which is smaller: v or -52?
-52
Let u = 1199 + -1199. Let o(y) = -y**2 - 1. Let w be o(0). Let m be (0 + 0 + 0)/w. Is m bigger than u?
False
Let f = -18359/6 - -3069. Is f less than 9?
False
Suppose -3 = z + 7. Let i be (-3)/(-45)*3 - (-262)/z. Is -27 at most i?
True
Let v(l) = l**3 - 3*l**2 - 5*l + 9. Let p be v(6). Suppose 3*u = -2*q - q + p, -4*u - 39 = -q. Let n = q - 29. Is n not equal to 5?
True
Let p(d) be the first derivative of -d**3/3 - 6*d**2 - 11*d - 2. Let q be p(-8). Let a be (q/(-14))/((-1)/2). Is a at least 3?
True
Let j = -494 - -501. Suppose 6*v - 78 = 3*v. Suppose 18 = 3*l + 2*p + 3, -2*l + v = -4*p. Are j and l nonequal?
False
Suppose -7*p + 8*p - 4 = 0. Suppose 3*y + 12 = -3. Which is smaller: p or y?
y
Let x be (-9)/(36/(-272))*1/(-4). Suppose 0 = 3*m + 65 - 11. Is x <= m?
False
Let b be (-4)/6*(12 - 3). Let h = 232/3 + -82. Are b and h equal?
False
Let m = 3113/5 + -623. Is m at most as big as -2?
False
Let k = 2377 - 2366. Is 60 greater than or equal to k?
True
Let p be (-3)/(765/375)*6/40. Are 1 and p non-equal?
True
Let l = -128/85499 + -78316168/229051821. Let t = l - -22/57. Which is smaller: 0 or t?
0
Suppose 0 = -3*i - c - 9 - 3, 5*c + 10 = -5*i. Let p = i - -9. Let x(t) = -t**3 + 4*t**2 + 4. Let w be x(4). Is p bigger than w?
False
Suppose 25*g = 5*q + 27*g + 80, -4*q = -2*g + 46. Which is bigger: q or 29?
29
Let k = -25.4 + 25.3. Which is greater: -416 or k?
k
Suppose 0 = 30*n - 18*n - 1488. Which is bigger: 122 or n?
n
Let r = -1046230/11 + 95047. Let y = 65 + r. Let d = -0.34 + 0.14. Which is smaller: d or y?
d
Suppose 8*t = 9 - 1. Let m be (t - (-8)/2) + 0. Is m <= 8?
True
Let u = 78 + 487. Is 564 bigger than u?
False
Suppose -19*w + 16 = -15*w. Suppose 0 = r - 3*q - 10, -10 = -3*r + 5*q + 12. Is w at least as big as r?
True
Let t(s) = 12*s - 624. Let v be t(52). Is 7/30 < v?
False
Let q(z) = 6*z + 108. Let o be q(-33). Which is smaller: o or -91?
-91
Suppose 0 = -7*d + 3*d + 1132. Let o = 1409/5 - d. Suppose 2*n + 1 = -3. Which is smaller: o or n?
n
Let q = 310 - 310. Is q != 16/67?
True
Let d = -14.14 - -0.14. Let y = d - -14.6. Let k = 0.7 - y. Which is smaller: k or 0?
0
Let g(o) = -o**3 + 9*o**2 + 16*o - 57. Let i be g(11). Is -1 bigger than i?
True
Suppose 0*n = 3*n - 24. Let y(s) = 10*s + 0*s - 12 - 39*s**2 + 40*s**2. Let z be y(-11). Which is greater: n or z?
n
Suppose -75 = -4*h + 5*j, 3*j = -5*h + 99 + 4. Which is smaller: 7/5 or h?
7/5
Let n = 17 - -24.2. Let j = 41 - n. Is 2/7 not equal to j?
True
Suppose 38*x - 105 = 43*x. Let a(i) = i**2 + 23*i + 44. Let p be a(x). Let o be 1 + -1*2/(-16). Is p equal to o?
False
Suppose -4*i = 5*g + 108, g - 2*i + 24 = -4*i. Let a = g + 16. Do a and 0 have the same value?
False
Let h(l) = l**3 + 14*l**2 + 22*l - 38. Let m be h(-10). Which is greater: 141 or m?
m
Suppose 0*c = 2*c + 3*v + 617, 0 = -2*c + 2*v - 622. Let r = 7132/23 + c. Let d(o) = -o**2 - 4*o + 4. Let s be d(-5). Is r greater than or equal to s?
True
Let t = -553 + 535. Which is smaller: t or -17?
t
Let o = 250.5 + -249.5. Suppose -3*k + 3*t = t + 20, -5*k = 3*t + 65. Let f be ((-1)/(-5))/(4/k). Which is greater: o or f?
o
Let n = -16.69 - -16.75. Which is greater: -9 or n?
n
Let v be (1/(-2))/(-9 - 9140/(-1016)). Let y = v + -1019/8. Which is smaller: y or 0?
y
Let l = -209 + 419/2. Is -56 greater than l?
False
Let q(h) be the second derivative of 0 + 1/6*h**3 - h**2 + 2*h. Let l be q(3). Are l and 3/7 non-equal?
True
Suppose 1888 = 3*l - 5*b, -7*b = 3*l - 10*b - 1890. Which is greater: l or 633?
633
Let q = -749 + 690. Which is smaller: -296/5 or q?
-296/5
Let b = 40 - 39.67. Let h = b - 0.36. Which is greater: 6 or h?
6
Suppose 5*t - 24 = 41. Suppose 3*j - 195 = 3*i, t - 5 = -2*i. Is 60 less than or equal to j?
True
Suppose -b - 1 = c, -3*c - 2*b = -5*c + 14. Suppose 3 = -4*q - c*t - 1, -4*t = -5*q - 5. Which is greater: q or -4/9?
-4/9
Let u(k) = -12*k - 63. Let o be u(-7). Suppose -34*v + o = -37*v. Which is smaller: v or -10?
-10
Suppose 19*h - 715 = 8*h. Suppose q + j = -h, -3*q - 230 = -0*q - 4*j. Which is bigger: q or -69?
-69
Let v be (-9)/15*(-1586)/36. Let l = -459695/17457 + -2/5819. Let s = l + v. Which is smaller: 0 or s?
0
Suppose -10*q + 20*q = 60. Let a be (-2*5 - (-12)/3)/(-1). Is a >= q?
True
Let c = -2.12 + 0.12. Let b = 2.04 + c. Let q = 0.24 - b. Which is smaller: q or 2?
q
Let g(b) = -b**2 + 20*b - 83. Let v be g(14). Let k be (-2 - 0)/2 + 13. Is v != k?
True
Let f = 1 - 2.1. Let c = 26 - 236/9. Which is smaller: c or f?
f
Let i = -292 + 312. Which is greater: i or 1?
i
Let b be (-3)/(-10)*(-9 + 343/42). Is -76.9 >= b?
False
Let n = -12 + 20. Suppose -3*l + 37 = -203. Let p be (n/l)/((-10)/8). Which is greater: p or -1?
p
Let x = -1236 - -1226. Let h(t) = -t**2 - 6*t. Let g be h(-6). Suppose -3*j + 2 + 1 = g. Is x <= j?
True
Let i = -1882/6945 - -2/463. Let f = i + -29/60. Is f greater than or equal to -1?
True
Let q = 31 - 31. Suppose q*a + 7*a - 4*a = 0. Let k = -3 + 2.85. Does k = a?
False
Let y be (4*1/(-70))/(-2). Suppose 6*v - 6 = v + 2*l, -l = 5*v + 3. Which is bigger: y or v?
y
Suppose -123*u = -136*u - 3055. Is -237 at most as big as u?
True
Let d = 117 - 60. Suppose d*x = 56*x + 6. Are x and 9 unequal?
True
Let z be 474/(-39) - (-12)/78. Let v be 6/(-4) - (7 + z + 5). Is -13 less than or equal to v?
True
Let k be (-4)/(-3)*(-9)/(-6). Suppose 0 = k*m - 0*m. Let t be (-29)/(-8) + (-3 - m). Which is smaller: 0 or t?
0
Let t be (2/5 + (-426)/(-60))*6. Which is smaller: 44 or t?
44
Let t = -204 + 202. Is -2.4 less than t?
True
Suppose 54 =