= -60.2 + 32.4. Let y = d - -28. Is y equal to -1?
False
Let w(x) = -51*x - 154. Let f be w(-3). Which is bigger: -2/1841 or f?
-2/1841
Let o = 16 - 9. Suppose -g = -o - 10. Suppose g = 4*n - 3. Which is greater: n or 4?
n
Let z be (-2408)/43*1/(-2) + -7. Suppose 2*g + 11 = 55. Is g bigger than z?
True
Let s be 2/(-14) - (-4)/14. Suppose 2*l - 32 - 4 = 0. Suppose 3*j = -5*f + l, 0*j + j - 5*f + 14 = 0. Is s at most j?
True
Let c be (-3 - -3)/(1 + 1). Suppose 0 = -c*f - 4*f + 32. Suppose o - 3 = 5*k - 45, k - 18 = 5*o. Is k at most f?
True
Suppose -3*b - 2*i + 4 - 3 = 0, 3*i + 7 = 4*b. Is b <= 2/361?
False
Let m = -11.7 - -62.7. Let z = m - 51. Which is greater: 25 or z?
25
Suppose -2*w = -7*w + 215. Let i = w + -40. Is i greater than or equal to 4?
False
Let q be 3*(2*-2 + 1 + 4). Suppose -5*s + 1 = -4*r, 5*r - 2*s + 0 = q. Is 3/4 at least r?
False
Let g be -5*(-8)/(-6)*-3. Let b be ((-110)/g)/((-1)/2). Which is smaller: 9 or b?
9
Suppose -37*n = 119 + 1028. Is -32 greater than n?
False
Let t be 2/((-3)/((-6)/(-4))). Suppose -5 = -v - 0*v. Suppose -o - 5*j = -10, v*j - 8 = -2*o + j. Which is greater: o or t?
o
Suppose -3*f + 2*a = -2*a + 14, 2*a - 14 = -2*f. Let n be (f - 4/6)/(-4 - 2). Let t be (2/(-6))/(2/4). Do n and t have the same value?
False
Suppose -4*o + 6 + 2 = -2*b, 0 = -o - 4*b + 20. Let a = -449 - -454. Which is bigger: o or a?
a
Let h(j) = -j**2 - 3*j + 22. Let p be h(-6). Suppose -2*n = -b + 9, 0*n + n = -p. Which is bigger: b or 0?
b
Let v = 318 - 369. Which is smaller: v or -0.3?
v
Let i = -283 + 351. Is 66 at most i?
True
Let y = 323/420 + -11/15. Let x = -1/168 - y. Are x and 0 equal?
False
Suppose -k = -2*v + 10 + 1, -k + 13 = 2*v. Is v not equal to 2?
True
Suppose 5*j + 880 = -85. Which is bigger: j or -195?
j
Let p be ((-4)/(-35))/(-2 - (-228)/115). Let m = 409 + -411. Which is greater: m or p?
m
Let c = -113.007 + 113. Let x = 1.007 + c. Is -14 at most as big as x?
True
Let c = -162 - -159. Which is smaller: c or -69?
-69
Let u = -311 - -312. Which is smaller: 5 or u?
u
Let d(x) = 9*x**3 - 4*x**2 + 2*x - 1. Let k be d(3). Let j be ((-1)/3)/(k/24). Which is greater: j or 0?
0
Let o(f) = 22*f - 67. Let l be o(3). Which is bigger: -1/1231 or l?
-1/1231
Let w = -0.94 + 81.94. Let f = -77 + w. Is -5 at most f?
True
Let k(l) = -l**3 + 45*l + 2 - 46*l - l**2 + 2*l**3. Let h be k(1). Are 1/61 and h nonequal?
True
Let i = -0.1214 + 1.1214. Does i = 352?
False
Let p(m) = -m**2 - 4*m. Let u(l) = -l - 1. Let t be u(3). Let d be p(t). Let n be 270/504 + 4/(-14). Is n greater than or equal to d?
True
Let i be 3/2 + (-12)/16. Let n(h) = -16*h**2 - 20*h - 21. Let w(q) = -3*q**2 - 4*q - 4. Let j(u) = 2*n(u) - 11*w(u). Let t be j(-4). Is i <= t?
True
Let p = 453/253 + -13/11. Which is greater: p or 0?
p
Let i be 3 + ((-3)/(-24))/((-1)/21). Let q = -11 - -17. Let k be q/3 + -3 + 2. Is i at most k?
True
Let m(f) = -5*f + 5. Suppose 2*b + 3*h + 4 = -0*b, 0 = b + 5*h + 9. Let u be m(b). Is -2/3 at least u?
False
Let u(f) = -9*f**2 - 7*f + 6. Let m be u(-3). Let v = m - -38. Let c be (-2)/(-7) + 363/(-21). Which is greater: v or c?
v
Let o(w) = w**2 - 16*w + 15. Suppose 3*f = 24 + 21. Let d be o(f). Let u = 77 + -384/5. Is d < u?
True
Let r = 18 + -19. Let a(p) = 7*p**3 + 12*p**2 - 9*p - 5. Let v(t) = t**3 + t**2 - t. Let n(s) = -a(s) + 6*v(s). Let k be n(-6). Which is smaller: k or r?
k
Suppose 0 = 5*i - 5*t + 655, -134*i - 5*t = -129*i + 615. Which is bigger: -128 or i?
i
Suppose -33*m + 57*m = -24. Suppose 298 + 150 = -5*g + j, 2*g = 4*j - 172. Let i = 899/10 + g. Which is greater: i or m?
i
Let z = -193 - -192. Which is greater: 1/154 or z?
1/154
Let l(y) = y**3 - 4*y**2 - y + 4. Let w be l(3). Let k = -49 - -44. Which is smaller: w or k?
w
Let w = -292 + -274. Which is bigger: w or -567?
w
Let m(d) = -d**2 - d + 1. Let n be m(-2). Let t = 1 + n. Let l be 2/(-58)*18/(-9). Is t at least as big as l?
False
Suppose 352*k = -4*v + 347*k + 2970, 4*v + 4*k = 2972. Which is bigger: 746 or v?
746
Let c = -10 + 13. Suppose -3*g - c*r = 0, -g + 6*r = r + 18. Let d be g/(-27)*7 - 1. Is 0 <= d?
False
Let i = 64 - 62. Suppose 4*j - 2*m = -112, -51 = i*j - 2*m + 5. Is j >= -26?
False
Let y(w) = -w**2 - w + 2. Let q be y(-2). Suppose -l + 4*s + 10 = -q*l, -3*l + 16 = -5*s. Suppose 6 = c + l. Is c at least as big as 15/4?
True
Let u = -98.4 + 140.4. Which is greater: u or 1/7?
u
Let k be (30/(-4))/(7*(-14)/(-13132)). Which is smaller: k or -1004?
k
Let v(z) = 3*z + 2. Let l be v(-3). Suppose g + 14 = -g. Let w = g - l. Which is smaller: w or -1?
-1
Let q = -14.6 - -16.06. Are 4/9 and q equal?
False
Suppose -h + 20 = 5*p, -53 = 5*h - 2*p - 45. Are 19/32 and h unequal?
True
Let m(v) = -v**3 - 7*v**2 - 6*v + 1. Let y be m(-6). Let t be 4 - ((-33)/(-3) + y). Is -8 greater than or equal to t?
True
Let f = 1320 - 904. Let k = 4573/11 - f. Suppose 3*y = -p + 2 - 0, -3*y + 4 = -p. Which is smaller: k or y?
k
Let c = -7.2 - -8. Let a = c + -0.7. Let v = 2/11 - -5/33. Which is greater: a or v?
v
Let x be (88/33)/(4/6). Suppose 0*i = -3*r - 3*i, -7 = -3*r + x*i. Is r at least -5/27?
True
Let g = -41 - -87. Let t = g + 40. Which is bigger: 0 or t?
t
Let x(j) = -j**2 + 2*j + 8. Suppose 0 = 3*d + 3*t - 27, -4 = 2*t - 14. Let l be x(d). Which is smaller: l or -29?
-29
Let c be ((-264)/20)/((-15)/(-200)). Which is smaller: c or -175?
c
Let l(k) = -4*k + 24. Let w be l(6). Let b be (w - -29) + (-7 - -4). Let g = -29 + b. Is g bigger than -5?
True
Let z = -255 - -775/3. Let l = 5 - 5. Suppose -2*v + 13 - 7 = l. Which is bigger: v or z?
z
Suppose q - 90 = -4*q + z, -2*q + 36 = 5*z. Suppose -q = -2*i + i. Is i >= 19?
False
Suppose -732 = 7*o + 5*o. Let h = -53 - o. Which is bigger: 7 or h?
h
Let l be 10/(-4)*(-20)/(-5375)*-5. Which is smaller: -1 or l?
-1
Suppose -t = -5*x + t + 27, 3*x - t = 17. Let o = -20 + 50. Let j be o/4 + (-3 - -2). Which is smaller: j or x?
j
Let r = 0.3 - -5.1. Let b = -5.5 + r. Which is smaller: b or -30?
-30
Let v = 9721/161 + -433/7. Let m = 1575/1081 + v. Which is bigger: m or 0?
0
Let v = 221 + -680/3. Is v at least as big as 0?
False
Suppose 126 = -36*y + 43*y. Is 56/3 greater than y?
True
Let x be (-2)/(3 + (-690)/235). Which is smaller: 0 or x?
x
Suppose 0 = -3*z + z. Let j = 3 + z. Which is bigger: -3 or j?
j
Let r = -2053169 + 51315772/25. Let u = -538 - r. Which is smaller: u or 0?
0
Let c(y) = 4*y - 25. Let b be c(10). Suppose -b*u + 18*u = 0. Let g be (6*3/12)/(-6). Which is smaller: u or g?
g
Let z be (-13)/((-52)/(-620)) - -9. Which is greater: z or -140?
-140
Suppose -3*l - 2*i + 156 + 4 = 0, 4*l = 4*i + 180. Are 44 and l nonequal?
True
Let p(h) = -h**2 - 21*h - 45. Let k be p(-19). Let n be (-19)/k - (24/(-28))/3. Is n at least as big as 2?
True
Suppose 0 = -p + j + 134, 2*p - 2*j = -7*j + 233. Let q = 167 - p. Which is greater: 37 or q?
q
Let q be 8 + (-72)/7 - (-4)/14. Let d(m) = m**2 - m - 3. Let t be d(4). Let z be (t/(-66))/(q/4). Which is bigger: 1 or z?
1
Suppose -95*d = -99*d + 40. Suppose 3*f - 7*f + 4 = 3*m, f = -3*m + d. Which is bigger: -10/9 or f?
-10/9
Suppose 3 = -8*d + 9*d. Suppose -16 + 19 = -d*t. Which is bigger: 2/103 or t?
2/103
Let p(d) = d. Let y be p(3). Suppose 2*o = -h - 4 + y, 0 = 4*h - 4. Suppose -4 = 5*z + w, -2*z - 2*w = -5*w - 12. Is o != z?
True
Let t = 934 - 865. Let l = -0.06 + -0.04. Which is smaller: t or l?
l
Let m be ((-47)/44 - -1)/3. Let k = -101/572 - m. Which is smaller: 0 or k?
k
Let f be 3*(-5)/20*-4. Suppose -f*l - 3*q = -83 + 26, 6 = -2*q. Which is greater: 23 or l?
23
Let t(y) be the second derivative of -y**4/12 + y**3/6 + y**2/2 + y. Let q be t(2). Which is bigger: 9 or q?
9
Let w = 1323 - 1492. Is -169 < w?
False
Let a = 83 + -109. Is -0.03 smaller than a?
False
Suppose -4*c = -3*f + 1 + 32, 0 = -2*f - 2*c + 36. Let t be f*32/(-6)*6/(-10). Is t >= 49?
False
Let f(u) = -u**3 - 11*u**2 - 6*u + 8. Let i be f(-10). Let b be 4/(i/6) - 2. Suppose -10 = -2*o - 16. Is o < b?
True
Suppose 2*k = 6*k - 16. Suppose k*a = -0 - 16. Which is greater: a or -5?
a
Let l = 100 + -101.4. Let v = 2.8 - 1.5. Let n = v + l. Is -3 less than or equal to n?
True
Let x be 1/6 - 10/76. Suppose 4*s = 12, 248*d = 246*d - 2*s + 8. Is d greater than x?
True
Let i = -2 - 2. Let k(h) = 13*h - 10. Let c be k(2). L