?
True
Let i be (-1 + 30/5)*(-2)/6. Let j = 7 - 3. Suppose -2*n - 6 = -j. Does n = i?
False
Suppose 4*f = -6*f - 80. Which is greater: f or -10?
f
Let u(b) = -32*b**2 + b + 2. Let g be u(-1). Suppose 99 = -2*m - m. Which is smaller: m or g?
m
Let n(g) = -g**2 - 11*g + 2. Let w be n(-11). Which is smaller: w or 19?
w
Let l(f) = f + 5. Let s be l(-5). Suppose s = g - 3. Let k be 3 + (0 - 1) - -2. Is g greater than k?
False
Let c = -3 + -1. Suppose 41 = -3*n - 4*b + 62, -3*b = 4*n - 28. Which is smaller: c or n?
c
Suppose -4*k - 30 = -378. Suppose 31 = -f + k. Is f at least as big as 55?
True
Let q = -0.193 - -2.893. Which is smaller: 0 or q?
0
Suppose 3 = 68*w + 71. Which is smaller: w or 18/37?
w
Let t be (1 - 6)/((-45)/36). Let n(g) = g - 5. Let v be n(t). Let o be 12/9*6/(-52). Is v bigger than o?
False
Let t be ((-28)/(-102))/((-286)/169). Let f = -1/51 + t. Which is smaller: 1 or f?
f
Let j(q) = -18*q**2 + 8*q + 1. Let l be j(-6). Let x = 194062757/279120 - -5/18608. Let m = x + l. Which is greater: m or 1?
1
Let j be ((1 - -689)/10)/((-6)/(-26)). Which is bigger: 301 or j?
301
Let j be -2 - (-30536)/(-10180) - (-30)/6. Which is greater: -1 or j?
j
Let b = 0.01 + 0.06. Which is bigger: 0 or b?
b
Let i(m) = -3*m**2 - 33*m - 90. Let c be i(-6). Is -4/163 smaller than c?
True
Let m(f) = f + 6. Let d be m(-2). Suppose -4 - 16 = -d*v. Suppose 3*j - 1 = 4*x, -v*j - 1 - 4 = 0. Is -1 at least as big as x?
True
Suppose 8 = -3*c + 5. Let w be (-2)/(2 + 18/21). Let r = w + 9/10. Which is bigger: c or r?
r
Suppose 101 = -5*o + 266. Suppose -2*d - 38 = -2*v, -3*d - o = v + 24. Let t be 4/6 - d/(-24). Which is smaller: t or 0?
t
Let v be -4 + (-3)/((-15)/65). Suppose 10*p = v*p. Do p and 2 have different values?
True
Suppose 4*p - 1 = -13. Suppose -11*s + 18*s - 28 = 0. Suppose 20 = s*w + w. Which is greater: p or w?
w
Suppose -306*y + 318*y - 84 = 0. Suppose 0 = -4*i + i + 3. Which is smaller: y or i?
i
Let u = -20.45 - -20. Let v = -15332/5 - -3066. Which is bigger: v or u?
v
Let z = 170/633 + 130778/22155. Let r = 6847/1043 + 1/149. Let d = r - z. Is d greater than 1?
False
Let z = -19.25 - -1.35. Let v = z - -19. Let p be (3 + (-22)/4)*(-4)/45. Is p smaller than v?
True
Let y = 647 + -729. Is 2 > y?
True
Let v = 0.661 - -398.339. Is -2 != v?
True
Let l = 171/7 - 2893/119. Let f = 26 - 28. Which is smaller: f or l?
f
Suppose -t + 2 = 5*y + 3, 5*y + 25 = 5*t. Suppose -5*x = -4*k - 63, 30 = t*x + 2*k - 10. Which is smaller: x or 12?
x
Let p = -6.097 - -6.097. Let w = -36.9 + -7.1. Is w greater than p?
False
Suppose 0 = k + 16*k + 34. Which is bigger: -19 or k?
k
Suppose 5*v = c + 288, 3*v = -5*c - 2124 + 796. Let b = c - -513. Let h be 6/14 + 287/b. Is 1 != h?
True
Suppose -4*b - 2*r = -10, -5*b + 4 + 9 = 2*r. Is b < 17.1?
True
Let x = 8 - 4. Suppose 3*a = x*a - 1. Let v be (0 - 1) + 3/12*0. Which is greater: v or a?
a
Suppose 11*q = 3*q + 136. Is 16 at most q?
True
Let a(s) = -s**2 - 61*s - 583. Let z be a(-55). Is -253 less than z?
False
Let o = 9 + 3. Let v(d) = -4*d + 33. Let y be v(o). Which is smaller: -14 or y?
y
Let a = -268 - -284. Is a less than or equal to 16?
True
Suppose s + 0*z + 1 = 4*z, 3*s - 2*z + 3 = 0. Let q be ((-35)/(-25) + -3)*7/14. Which is smaller: s or q?
s
Let u = -32 - -56. Let p be u/(-10) - (-4)/10. Let h be 7 - (-7 - -1)/p. Does h = 4?
True
Suppose 41*a = 40*a - 4. Let o be 2/88*-3*a. Which is bigger: o or 0?
o
Let p = 395 - 396. Which is greater: -0.049 or p?
-0.049
Let r = 0.35 - 0.5. Let b = -4.15 - r. Is -2/3 less than b?
False
Suppose -4*c = v - 5*v, 4*c = 3*v. Does v = -2/59?
False
Let b = -70 - -75. Let d = 4.9 - -0.1. Let w = d - b. Which is smaller: w or -5?
-5
Let s be ((-45)/(-25))/3 - 15/25. Is 12.3 smaller than s?
False
Let f = 937 - 936. Is f > -2/3877?
True
Suppose -10*n + 11 = -9. Suppose 0 = -n*w - 3*w + 40. Is 8 greater than or equal to w?
True
Suppose -4*i - 3*y + 0*y = -14, -2*i = -3*y - 16. Let f be ((-12)/15)/((-1)/i). Suppose -40 = t + f*t. Are -7 and t nonequal?
True
Suppose 0 = 4*n - 5*p - 25, -5*p = 7*n - 5*n + 25. Is -3/257 > n?
False
Let f = -78/31 + 2603/899. Let c = f - 245/493. Which is greater: 0 or c?
0
Suppose 5*k + 13 = 4*k - 3*m, -5*m = -2*k + 29. Let i be k/8*-10 - (-6)/12. Suppose 5*g + 0 = 5. Is i smaller than g?
True
Suppose 0 = -3*s + o - 127, 2*s + 2*o = s - 54. Let x = s + 45. Is 1/7 greater than x?
False
Let t = 88 - 85. Suppose 2*h = -b - t*b + 198, 5*b = -h + 90. Is 104 less than h?
True
Suppose 0 = 3*j + 1018 + 545. Which is smaller: j or -519?
j
Let t = 13 - -3. Suppose -3*b + t = -u - 20, -b = -4*u - 23. Let j be 11*2*(-5)/(-10). Is j at most as big as b?
True
Let p = -45 + 72. Let w = -27.1 + p. Which is bigger: 14 or w?
14
Let t(m) = 2*m. Suppose -7*j + 9 = -19. Let o be t(j). Which is smaller: o or 4?
4
Suppose 5*o + 13 = 2*y, -2*o - 25*y = -27*y + 10. Which is smaller: -1/30 or o?
o
Let b = 0.238 - 0.368. Is b <= 6?
True
Let o be (4/128)/((-18)/(-120)). Which is smaller: o or 0?
0
Let p be 20/50 - (-232)/170. Which is bigger: 1 or p?
p
Let v = 17 - 18. Let m be (6/(-4) - v)*0. Let g be (0*(1 - 2))/(-1). Is g greater than m?
False
Let v = 132 - 132.1. Which is smaller: 0.15 or v?
v
Let t = -9003 - -9003.5. Suppose p + 3*h + 1 = -2, 12 = -4*p - h. Are t and p equal?
False
Let o be (18/8 + -2)/(657/292). Which is smaller: o or 14/11?
o
Let v = 5 + 49. Suppose 17*f - v = 31. Which is bigger: 26/5 or f?
26/5
Let s = 0.594 + -0.494. Which is smaller: 2/1253 or s?
2/1253
Let t = 588 + -385. Which is greater: -0.1 or t?
t
Suppose 0 = r - 5*b + 13, 5*r + b - 8 - 5 = 0. Suppose -8*y + r*y = 84. Which is smaller: y or -13?
y
Suppose 8*s = 10*s + 12. Let c be 15 - 1/2*s. Is c > 19?
False
Let c(s) = -s**3 + s**2 + 52*s - 6. Let x be c(-7). Which is greater: x or 10?
x
Let b = 69 - 321. Is b bigger than -252?
False
Let m = -3338 + 3355. Let k be (51/9)/(2/6). Is k at most m?
True
Let f = -69.78 - 1.22. Let x = -70.8 - f. Does 14/3 = x?
False
Let n be (-40)/(-180) + (-11)/9. Is -2 at most as big as n?
True
Let u = -2941 - -538201/183. Is 0 smaller than u?
False
Let v be (-57)/20 + 3/1. Suppose 4*s - 2 = 2. Which is bigger: s or v?
s
Let u be 46/10 - (16/10 + -2). Suppose -32 + 177 = u*d. Is d less than 30?
True
Let p be 2*-3*(-10)/12. Suppose -20 = -r - 17. Suppose r*m + 8 - p = 0. Do 2/27 and m have the same value?
False
Let h be (6/(-12))/((-3)/6). Let u be 12/20*5 + (h - -3). Is 9 bigger than u?
True
Suppose -3*u + u = -6. Suppose -u + 15 = -3*b. Suppose -20*d - 8 = 32. Is b equal to d?
False
Let r(n) = n**3 + 4*n**2 - n - 2. Let l be r(-4). Suppose -t = l*t - 57. Let f = -180 - -199. Are t and f equal?
True
Let m = 7 - 19. Let n = m + 11. Let s = -63 + 61. Is n equal to s?
False
Suppose 4*o = 44 + 16. Suppose 32 = 2*r + 2*t, 5*t - 58 = -4*r + 9. Is r > o?
False
Let t = 0 - -0.1. Let i be -322*(-8)/(-176) + 15. Which is smaller: i or t?
t
Let j be 2 + 0 + (15 - 15). Let d be ((-112)/12)/(j/(-6)). Is d > 28?
False
Suppose -2*t = -4*j + 8, -7*j + 10 = -2*j + 2*t. Let r be (j + (-1)/1)/(1 - 4). Let p = 13 - 23. Is p at most as big as r?
True
Let t be 20/10*3/(-130). Let z = t - 2/13. Which is smaller: z or -1?
-1
Let k be 1/((-11)/14399) + 0. Is k < -1309?
False
Let s = 246 + -242. Is 4 at most s?
True
Let s = -12/65 + 2657/14040. Which is smaller: 1 or s?
s
Let a be (-6)/15 - (-2)/5. Suppose -2*t + 3 + 3 = a. Suppose 5*b = -5*b + 20. Which is greater: b or t?
t
Let j be 2/(-1) - -2 - -3. Suppose -10*t = -3*t - 14. Let m be 4 + 0/((-6)/(-3)) - t. Is j less than m?
False
Let s(v) = -40 - 9*v**2 - 13*v + 14 - v**3 + v. Let y be s(-8). Is y < 5?
False
Let b be -3*74/(-90) + 1/3. Let y(p) = p**2 - 2. Let h be y(2). Which is smaller: b or h?
h
Let u be -245 + -6 - (4 + -3). Is -253 less than u?
True
Let u = 0.18 + 7.82. Let k = u - 7.8. Let y = 2/117 + -80/117. Is k >= y?
True
Suppose 20*t = -878 - 2662. Which is smaller: t or -178?
-178
Let l be (-12)/36*(-15)/(-4). Which is smaller: l or -0.03?
l
Let k(w) = 4*w**2 + 1. Let j = -24 - -22. Let s be k(j). Which is smaller: 16 or s?
16
Let q be (-145)/(-6) + (-6)/9. Let i = q - 24. Are -1 and i nonequal?
True
Let n be (4/2 - -1) + 578/(-170). Suppose -r - 4*r + 3 = 3*i, -5 = -5*i - 2*r. Which is smaller: n or i?
n
Let n(c) = c**2 + 4*c - 