reater: f or -8/3?
-8/3
Let s = 10 - 10. Suppose s = -4*x - x + 5. Which is smaller: x or -2/35?
-2/35
Let r be -2 - (-2 + 2 + -5). Let a = -23 + 16. Let x be a/((-7)/2) - 28/12. Is x at most r?
True
Let j be (15*(-77)/84)/(13/4). Which is smaller: j or -3?
j
Let t = 20.7 + -20.78. Which is smaller: t or -2/177?
t
Let o = -4547/5 - -917. Which is smaller: 8 or o?
o
Let m = -0.04 - 0.36. Let b = -0.3 - m. Let i = 401.11 - 401. Which is bigger: b or i?
i
Let b be 3 - (0 + 3) - -3. Let z(w) = -2*w**3 + 5*w**2 + 3*w + 4. Let f be z(b). Which is bigger: f or 1?
f
Suppose 5*f - 2*d = -355, -2*f + 141 = -4*f + d. Let o = 101 + f. Are 29 and o unequal?
True
Suppose 20*t + 22 = 562. Do 17 and t have different values?
True
Suppose -2*o + 27 = 9. Suppose o - 3 = j. Suppose -2*u + 2*c + j = 0, 0*c + 3 = 5*u - c. Which is bigger: u or -3/7?
u
Let r = 386509 - 1864132891/4823. Let t = -4576947/24115 - r. Let f = t - -191. Which is greater: f or 0?
f
Let z be 6/(-45) + (-2630)/(-19950). Which is bigger: 1 or z?
1
Let h(q) = -8*q**3 - 10*q**2 - 17*q + 4. Let m be h(-3). Is 181 less than or equal to m?
True
Let m(d) = 4*d + 4. Let s be m(3). Let t = 753 + -736. Which is greater: t or s?
t
Let w = -4300049548064/5955672645 - -4/26948745. Let q = 722 + w. Which is smaller: q or -1?
-1
Suppose 3*r = 4*r. Let p = 13 + -8. Suppose p*c + 0*c = r. Is c at most 2?
True
Let t(z) = z + 3. Let w be t(-3). Let x be -1 - (-28)/4 - w. Let h = 13.8 - 14.8. Which is smaller: x or h?
h
Let b = -15.01 - -15. Let y = -0.11 - b. Let m = y - -0.1. Which is bigger: 1 or m?
1
Let g(w) = -3*w + 6. Let c be g(7). Which is greater: -3 or c?
-3
Let j be -5 + (-15)/(-3) - (-2)/22. Let q = 25/33 - j. Let k = 6 - 6.1. Is k greater than q?
False
Suppose -5*v - 4*q = 16, 4*q + 3 + 9 = -4*v. Let u(n) = n + 7. Let i be u(v). Let t be (-2)/(-8)*-2*-3. Is i <= t?
False
Let n = 8765/6 - 1451. Is n at most 9?
False
Let h = 94 - 149. Let i = 50 + h. Is i at most as big as -2/31?
True
Let q = 1236 + -102589/83. Let v(j) = j**3 + 19*j**2 - 19*j + 19. Let s be v(-20). Which is smaller: q or s?
s
Let j(d) = d**2 + 24*d + 25. Let f(y) = y**3 + 4*y**2 + 7*y + 6. Let b be f(-4). Let z be j(b). Which is smaller: -20 or z?
-20
Let n = -5 + 21. Suppose -3*d - d = -n. Suppose 3*y + 45 = -5*h, d*h + 2*y + 0*y + 34 = 0. Which is smaller: h or -5?
h
Suppose -5*t - 3*w + 46 = 0, 45 = 4*t - 4*w - 11. Let n = t - -10. Let g = n - 7. Is 1 greater than g?
False
Let i(l) = -33 - 143*l + l**2 + 2 + 136*l. Let s be i(10). Which is smaller: s or -1/8?
s
Let p = 405 - -882. Is p != -1?
True
Let d = -15 - -11. Let c = d - -3.7. Which is smaller: 2/3 or c?
c
Let w = 1.04 + -0.34. Let q = w - -0.3. Which is smaller: q or -0.9?
-0.9
Let g be 6/2*(-35)/(-70). Is g at least 0.05?
True
Let b = -51 - -51. Let x = -7.2 + 12.3. Let l = x + -5. Is b greater than l?
False
Let l = 98 - 94. Is -10 greater than or equal to l?
False
Suppose 3*x - 46 = p + x, 0 = -3*p - 2*x - 154. Let g(y) = -2*y**2 + 3*y + 5. Let n be g(6). Do n and p have the same value?
False
Let q = 264 - 263. Let t = 2.1 + 0.4. Is q at least t?
False
Let w be 2/(-6)*(-8)/(32/(-12)). Is w less than -8/13?
True
Let d = -12 - -1. Let v = 10 + d. Is v bigger than -45?
True
Let c(y) = -2*y**2 + 12*y - 4. Let p be c(6). Let x be (6 + 130/(-25))*(-210)/p. Is 85/2 bigger than x?
True
Let h = -1 - -2. Suppose -8*s = -3836 + 140. Let n be 2/5 - (2 - s/245). Which is smaller: h or n?
n
Suppose -5*u = -2*p - u - 12, -p + 4*u = 12. Suppose 3*j + p*j - 18 = -4*a, 0 = -a. Suppose -3*z + j*z - 33 = 0. Is 11 smaller than z?
False
Let q = 56 - 77. Let r(d) = 5*d - 17. Let p be r(4). Are q and p equal?
False
Let r = -342 - -295.1. Let o = r - -48. Let w be 1/3 - 1/21. Do o and w have different values?
True
Let r(o) = -o**3 - 13*o**2 + 14*o + 10. Let k be r(-14). Suppose 3*q - k = q. Let w = 2 + q. Does w = 7?
True
Let v = 10/37 - -266/111. Which is bigger: 1 or v?
v
Let z = 294 + -305. Is z >= -1?
False
Let j be (-17 - 17/(5304/(-5239))) + (-1)/8. Let g = 43 - 119. Let x be (-4)/g*(0 + -2). Is x greater than or equal to j?
True
Let w be 0/(4/(-5 - -3)). Are w and -7/10 non-equal?
True
Let h be (35/10)/((-1)/2). Suppose 0 = -8*p - 87 + 15. Which is bigger: h or p?
h
Let o(y) = -2*y**3 - 4*y**2 - 3*y + 4. Let q be o(-3). Suppose -143 = -17*g + 350. Which is greater: q or g?
q
Let o(g) be the third derivative of 11*g**6/120 - g**5/30 - g**4/12 - g**3/6 - g**2. Let t be o(-1). Let q be (8/t)/((-2)/3). Which is greater: q or 0.14?
q
Let c be ((-35)/(-76))/(-5)*(-222)/518. Is c greater than -1?
True
Let k(w) = w + 12. Let t(m) = -m. Let n(r) = -k(r) - 2*t(r). Let b be n(13). Let a be (-12 - (-2 + 5))*b. Which is smaller: -16 or a?
-16
Suppose -4*y - 2*g - 16 = 0, -4*g + 26 + 8 = -3*y. Let f be ((-4)/y)/((-22)/33). Is 5/3 >= f?
True
Let o(c) = -c - 5. Let q be o(-1). Let i be -27*(q - (-50)/15). Which is bigger: i or 16?
i
Let j = -1 + 1. Let y = 26143 + -261699/10. Let g = y - -27. Which is greater: g or j?
g
Suppose -120 = -3*f + 57. Is 59 at most f?
True
Suppose -16*s + 22 = 118. Is s > -0.4?
False
Let v = -60/101 + 19544/32219. Is v bigger than 0?
True
Suppose -3 = o + 2*o. Let k be 3 + (o - 3) - -2. Let y be k/(-4 + -3 + 6). Is 1/5 greater than or equal to y?
True
Let f = -112 - -116. Let a(z) = -3*z**2 + 3*z. Let p be a(f). Is p equal to -37?
False
Let o = 27.3 + -27.3. Are o and -1/67 equal?
False
Let o be (-27)/(-8)*(-352)/(-24). Let n = 49 - o. Which is greater: n or -22?
n
Let l = -1/38 - -193/114. Let n = 0.41 + -0.3. Let i = 0.89 + n. Which is greater: i or l?
l
Let b(u) = 3*u**2 + 10*u - 113. Let v be b(-8). Which is greater: 2/1399 or v?
2/1399
Suppose -l - 27*a = -29*a + 1008, -2 = -2*a. Does -1008 = l?
False
Let y = -12 + 10.9. Let s = 1.55 + y. Which is bigger: -0.1 or s?
s
Let h(x) = 38*x - 4. Let f be h(10). Let t = f - 5642/15. Let z = 11 + -10. Is z >= t?
True
Let x = -1.75 - -30.75. Is -5 less than x?
True
Let h(j) = j + 3. Let m be h(18). Let y = m + -13. Do y and -2 have different values?
True
Let d(n) = 2*n**3 - 5*n**2 + 19*n - 3. Let p be d(4). Which is bigger: 122 or p?
122
Let i = -0.6 - -0.3. Let g = -17241/20 - -862. Which is smaller: g or i?
i
Let x = -280 - -314. Let q = 2 - -33. Which is smaller: q or x?
x
Let i = -1886 + 1341. Is i less than -545?
False
Suppose -6*q - 3*q = -63. Let f = 12 - q. Which is smaller: 2 or f?
2
Let t be (-26)/(-6) + (-2)/6. Let c be (t/12 - (-60)/(-189))*3. Is 1 less than or equal to c?
False
Suppose 0*y + y + 5 = 0. Suppose -2*x - 12 = x. Let q be x/8 - (-12)/(-8). Which is bigger: y or q?
q
Let a(v) = -v - 50. Let b(j) = j + 25. Let c(d) = -3*a(d) - 5*b(d). Let r be c(12). Let f be (2/8)/(3/(-4)). Is r < f?
False
Let d be (-1)/(2*(-5)/80). Which is bigger: d or -5?
d
Let q be -1 - ((-9960)/(-1652))/(-6). Which is smaller: q or 1?
q
Let b = 306 + -310. Is b at least -29/6?
True
Let i(z) = 4*z + 40. Let s be i(15). Let d = s - 702/7. Is d bigger than 16?
False
Let k be (16 - 1) + 9 + -5 + -7. Suppose 65 = x + 4*x. Is k > x?
False
Let z be (-5109)/(-234) - (-10)/(-12). Which is greater: z or 1?
z
Suppose 49 = 3*k - k + 3*s, -3*k = 2*s - 61. Suppose 24 = -2*u + 4*r, -u - 1 - 14 = -r. Let o = u + k. Do o and 1/30 have the same value?
False
Let c be (-4)/(-6)*(-6 - -3). Let z be c/12 + (-1)/3. Let r = 5 + -4/3. Which is greater: z or r?
r
Let g = -1861/29 - -64. Which is bigger: -1 or g?
g
Suppose -3*l - 3*o + 848 = 2*l, 4*o - 849 = -5*l. Is l smaller than 171?
True
Let g = 95/3 - 32. Suppose -4*z - 18 = 3*i + z, -2*z - 6 = 0. Let w = i + 1. Is w less than g?
False
Let u(o) = o + 5. Let j = -11 - -13. Let x(p) = -2*p**2. Let g be x(j). Let i be u(g). Is i > -1?
False
Let a be (-5 - -1)/(6/81 - (-384)/3564). Suppose -q - 5 = -3*k, -5*q + 5*k + 7 - 2 = 0. Suppose 4*r + 5*n + 88 = 0, 0 = -q*r + r - 2*n - 66. Does r = a?
True
Suppose -266 = 5*m - 5*h + 49, -2*m - 5*h - 105 = 0. Is -119/2 smaller than m?
False
Let d = 3 - 2. Let n be (-5)/120*-158 - 7. Which is bigger: n or d?
d
Suppose 50*o = -1 + 1. Do o and -54/41 have the same value?
False
Let n(h) = h**3 + 7*h**2 - 12*h - 34. Let j be n(-8). Which is greater: j or -62/19?
j
Let l = -3.2 - -19.2. Is l equal to 5?
False
Let b(g) = g**2. Let n be b(-2). Let y be (9/(-12) - 3)*n. Let 