s d?
False
Let w = -9.6 + -3.4. Let o = -40 - w. Let t = o + 25. Is 3 less than or equal to t?
False
Suppose 2*h - i = 6, 0 = -3*h + 7*h + 4*i - 12. Let f be (-2)/h - (136/(-6) + -1). Let k(w) = -w**3 + 7*w**2 - 5*w - 4. Let g be k(4). Which is smaller: g or f?
f
Suppose 5*z + 4*g + 15 = 0, -5*z = -2*z - 3*g - 18. Let b be (0 + -9 - 0)/z. Let n(w) = -6*w + 640. Let h be n(108). Is h <= b?
False
Let l(n) = 3*n**2 - n + 45. Let a(k) = -2*k**2 - 23. Let i(f) = -5*a(f) - 3*l(f). Let y be i(-6). Is y != 1?
True
Let u = 7 + -6.79. Let m = u - -0.09. Is -2/3 bigger than m?
False
Let x be (-12)/(-1150)*(-220)/(-66). Which is bigger: x or -1?
x
Suppose -l + 233 = 3*i + 227, 0 = 4*l - 3*i + 6. Is l at least -7/48?
True
Suppose -2*p = -4*u - 1404, u + 0*u - 3*p = -356. Let k be ((u/15)/(-5))/(-6). Is -1 greater than or equal to k?
False
Let m = -338 + 336. Which is smaller: m or -87?
-87
Let n be 2/(-13) - (-8)/((-8320)/(-888)). Let v = -29/70 + n. Which is smaller: v or -5?
-5
Let l be (8*(-8)/(-64))/((-10918)/4). Which is smaller: l or 0?
l
Let i = -9.61 - -29.61. Is -0.03 > i?
False
Let u(z) = -1. Let y(k) = -6*k + 17. Let w(r) = u(r) + y(r). Let x be w(10). Is -44 equal to x?
True
Let x be ((-5)/(-10))/((-2)/(-16)). Suppose -14 + x = 5*a. Let v be 2/(1 + (a - 0)). Is v >= -1?
False
Suppose 2*h + 296 = -2*h. Let s be 1/((-4)/h*(-1)/2). Which is smaller: s or -36?
s
Let a be -1 - 1 - 15/10*184. Is -277 less than a?
False
Let f be 156/315 + 56/98. Which is smaller: 1 or f?
1
Let d be 6/(-2)*(-5)/5. Let t(q) = 97*q. Let l be t(d). Let c = 1449/5 - l. Is -1 less than or equal to c?
False
Suppose -3 = -4*b + b, 2*v - 19 = -3*b. Let u = -13 + -1. Let h = -7 - u. Which is bigger: v or h?
v
Let z = -346/357 + 36/119. Are z and -3/35 non-equal?
True
Let n = 4 + 2. Let p = -12 + 7. Let y = p + n. Which is smaller: -2/5 or y?
-2/5
Let k = 28 - 14. Which is smaller: k or 13?
13
Let r be 10 - (0 - -3) - 1. Suppose a - r = u + 2*u, 3*a - 3*u = 0. Which is bigger: 0 or a?
0
Let h be 254/86 + (-9)/3. Is h greater than -0.2?
True
Let c be 64/(-6) + (-4)/12. Suppose -3*l - 113 = -3*i + 4, 4*i + 3*l = 128. Let y be 10/i + (-86)/7. Is y <= c?
True
Let n = 7.62 - 3.62. Which is smaller: n or -44?
-44
Let l be -6 + 7 + 2/1. Suppose 4*z = 5*s - s - 68, l*z = -6. Let w = s - 20. Are -11/2 and w unequal?
True
Let l be 1/(-3) - 14/21. Let z = -308 + 356. Which is smaller: l or z?
l
Let w be (-13)/(-2) - 3/6. Let a(g) = 2*g + 36. Let i be a(-18). Suppose -2*l - 5*t - 13 = i, 3*l - 4*l + 5*t = -31. Is w greater than l?
False
Let d be 2/(-2)*16*1. Let p = -8369.8 - -8370. Which is greater: d or p?
p
Suppose -3*t + 9 = -2*j - 2, -35 = -5*j - 5*t. Let h = -590/7 + 85. Is h at most j?
True
Let o = 7.04 + 54.96. Is o < 2?
False
Suppose 3*s = 3 + 3. Suppose b = s - 1. Let i = -4/53 - -126/265. Which is smaller: i or b?
i
Let m be 2*(-2 - 9/(-2)). Suppose -5*d = -m*t - 10, -2*d - 4 = -6*d. Are 1/9 and t equal?
False
Let z be 1534/16 - (-2)/16. Suppose -4*c - h = z, 2*h + 63 = -5*c - 54. Which is smaller: c or -26?
-26
Let k(v) = -v**3 - 4*v**2 - 5*v - 3. Let w be k(-3). Suppose -31 = 2*l + w. Let o be ((-492)/(-287))/((-2)/21). Which is smaller: l or o?
o
Let q = 30 + -15. Suppose -16*r + q*r - 2 = 0. Is r greater than or equal to -3?
True
Suppose -7 = -3*u + 8. Suppose r = 5*x + 25, -3*r - u = x - 0*x. Let o(b) = 4*b - 51. Let c be o(13). Does c = x?
False
Let k(n) = -n**3 - 39*n**2 + 17*n + 260. Let m be k(-39). Which is bigger: m or -404?
m
Let x be (1 + -3)*90/(-180). Which is smaller: 5 or x?
x
Suppose 2*x - 31 = -3*d, 3*x + 4*d + 0*d = 44. Suppose -4*r + 12*r - x = 0. Let f be (-4)/(-12) - (-2)/(-10). Is r < f?
False
Let n be (-3*2/(-24))/((-18)/36). Is -143 at least n?
False
Let d = -8548/83 - -103. Is d bigger than 0?
True
Let r(x) = x**3 + 10*x**2 + 9*x. Let t = 19 - 28. Let p be r(t). Are 2/105 and p equal?
False
Let m = 53 + -17. Let r = -8 - -44. Let o = m - r. Which is smaller: o or 2?
o
Let b be 2/6 + (-7)/(-33). Let o = -150 - -140.9. Let k = -9 - o. Does b = k?
False
Suppose -41 = -v - 0*a + 4*a, 4*v - 5*a - 109 = 0. Suppose v*d + 110 = -d. Which is bigger: 0.01 or d?
0.01
Let g = 1.96 + 0.04. Let q = 1 - g. Let c = q - -0.8. Do c and -1 have the same value?
False
Suppose -2*w - 4*w - 144 = 0. Let d = -25 - w. Let n be -2*(0 + 1/(-2)). Which is smaller: n or d?
d
Let n = 3.46 + -3.52. Is -1 greater than or equal to n?
False
Let w = 0.36 - 0.16. Let a = 0.8 + w. Let c be (0 - 1) + 136/152. Which is bigger: c or a?
a
Let d(s) = s**2 + 10*s - 11. Let p be d(-11). Which is greater: p or 2/247?
2/247
Let j = -13.3 + 0.3. Let i = -12.99 - j. Let x = 0.01 - i. Is x smaller than -0.2?
False
Let w be ((-12)/60)/(20/(-10025)). Which is bigger: 99 or w?
w
Let b be (-2 - -1) + 6/(-3). Let n be -2*(24/(-2))/b. Let i be -11 - 1/(2/n). Which is smaller: i or -8?
-8
Let m be (1 - (-8)/(-12))/((-86)/9). Are -1 and m nonequal?
True
Let b(p) = p**3 - p + 1. Let r be b(0). Let l be (-15)/80*(-12)/(-9). Is l at most r?
True
Let o = 227/13659 - 2/87. Let h = o - 305/1413. Is h greater than 4?
False
Suppose -3*r - 5 + 11 = 0. Suppose -t = -3*x, -r*t - 2*x = -0*x. Which is bigger: t or -4?
t
Let h be (-2)/(-6)*(-2 - 100/(-35)). Let k = 131/7 - 19. Is h at least as big as k?
True
Let s = -0.377 + -52.623. Is -2/11 less than or equal to s?
False
Let g = 82 - 76. Let t(k) = -2*k + 24. Let b be t(g). Are 10 and b non-equal?
True
Let r = -2 - -1. Let n be 111/21 + (-5)/(-7) + r. Is n < 7/2?
False
Let g = 1229 - 1211. Is g less than or equal to -21?
False
Let r = -1 - -4. Let j(c) = 3*c + c + c**3 - 4*c - 6*c**2 + 4*c + 3. Let h be j(5). Which is bigger: h or r?
r
Let k be 2/5 + (-8)/(-30). Let x = -21.86 - -22. Let l = x + -0.21. Which is smaller: k or l?
l
Let b = -1 - -1. Let v = 429037/415 + -5169/5. Is b >= v?
False
Let v = 3166/5 + -633. Which is bigger: -4/3 or v?
v
Let j = -4/37 - 103/74. Let v be 5 + 123/16*20/(-30). Are j and v non-equal?
True
Let t be 124/110 - (90/33 + -3). Let i = 3.2 + -3. Is i greater than or equal to t?
False
Suppose -5*n + 4 = 2*g + 23, -3*n = 4*g + 17. Let y be (-6)/(-9)*18/(-4). Which is smaller: y or g?
y
Suppose l = -3*a + 6*l - 8, 0 = -2*a - 5*l + 3. Let b be (6/240)/((-15)/(-12)). Are b and a equal?
False
Let c be 11/(33/(-84)) - 2. Let w be ((-4)/c)/(20/(-30)). Is w at most as big as -16?
False
Let o = -956 + 1045. Which is smaller: o or 91?
o
Let g = -102 - -102.2. Let a = 1 - 2/3. Is g > a?
False
Let o = -129 + 487. Which is greater: 362 or o?
362
Suppose 21 = 3*t - 18. Let y be 4/26 - 93/t. Suppose 0*r + x = -2*r - 12, -4*x - 6 = 2*r. Is r at most as big as y?
True
Let b(k) = -27*k**2 - k + 1. Suppose -8*z + 6 = -2*z. Let n be b(z). Is -53/2 greater than n?
True
Suppose -3*o - 2*o - 4*r + 11 = 0, 3*o - 11 = 2*r. Let m = -2 - -4. Let w be -2 + 3 + 2/m. Is w at least as big as o?
False
Let s be 69 - (2 + (-9 - -12)). Which is smaller: 326/5 or s?
s
Suppose 0 = 32*y - 17*y + 4095. Are -274 and y nonequal?
True
Let o = 20 - 15. Let g be o/10*(1 + 1). Let y be g/(0 - 1/2). Are y and 0 non-equal?
True
Let v be 0 - (-3 + (45/3)/3). Let s = 2.85 - -0.35. Let g = 3 - s. Which is smaller: v or g?
v
Let w = 298 + -305. Is 5/4 at most w?
False
Let s be (-4)/(-14) + (-8)/(-12). Let x = s - 32/21. Are 0 and x unequal?
True
Let i = 6 + -4. Let f = 2.2144 - 0.0144. Let j = f - i. Do j and 1 have different values?
True
Suppose 2*u = -0*u + 20. Suppose 8*q - 64 = 4*q - 4*w, 5*w + u = q. Is q less than or equal to 16?
True
Let g(z) = z**3 + 4. Let d be g(3). Let b = 34 - d. Which is greater: 2 or b?
b
Let k = 35 - 31. Let a = 1 - 1. Let z be 0/((-1)/(a - 1)). Is k less than or equal to z?
False
Suppose 3*n = n - 6. Suppose 3*z - 24 = -f + 5*f, -2*z + 20 = -4*f. Is n less than or equal to f?
True
Let p = -1499 + 1352. Which is smaller: 0 or p?
p
Let i(r) = -r - 28. Suppose 3*l - 52 = 4*y - 2*y, 5*y + l = -147. Let n be i(y). Is -2/83 equal to n?
False
Let v = -0.28 - -16.28. Let p = 18.1 - v. Which is smaller: -1 or p?
-1
Let m be -1*6/(-21) + (-45)/84. Which is bigger: m or -2?
m
Suppose -5*p + p - 289 = -x, 0 = p + 5*x + 67. Let q be (-27)/p*1/6. Which is smaller: q or 1?
q
Let c = 861.19 + -9.19. Is c at least 2/7?
True
Let r = -22 + 68. Let w = -39 + r. Which is grea