?
True
Let c = 14.8 - 14. Is c at most as big as 1?
True
Let x = -8 + 8.3. Let j = 2.7 - 3.4. Let b = x - j. Are b and 1 nonequal?
False
Let x be (-2)/(-6) + (-12)/9. Is x at most as big as 1/67?
True
Let j = 0.2 - 0.1. Suppose -3*y + 3 = -2*y. Suppose y*q + 3 = -3. Which is smaller: j or q?
q
Suppose 12 = -2*n - 44. Let z = n - -28. Is z equal to 0?
True
Suppose 8*n + 0*n = 8. Which is bigger: n or -1/12?
n
Let v = 779 + -15583/20. Which is smaller: v or -1?
-1
Let v = -95/2 - -49. Let d = -5 + 2. Which is greater: d or v?
v
Suppose -27*u = -24*u + 15. Which is smaller: -52/9 or u?
-52/9
Let l = 0.011 + 0.029. Which is bigger: l or -7?
l
Let f = -180 + 3061/17. Which is greater: -0.3 or f?
f
Let b = 15.6 - 15.45. Is b bigger than -1/3?
True
Suppose 0 = 3*f - 2 + 8. Suppose -4*y + 5*i - 3 + 1 = 0, 0 = -3*y + 2*i + 2. Let m = f - y. Is m at least -4?
True
Let j = -1/14 + -3/7. Let i = -4 - -7. Suppose -i*q + 2*q = 2. Is q less than j?
True
Let m be 6/10 + 66/(-60). Let z = -1.4 - -0.4. Which is greater: m or z?
m
Let u = -11 + 21. Suppose 9*q = 41 + 49. Is q not equal to u?
False
Suppose -y - 3*t + 7 = -5, -5*y + 3*t + 6 = 0. Let p = -2532/5 + 508. Is p equal to y?
False
Suppose 3*r = -2*r + 240. Let y = r + -30. Let a be ((-6)/(-4))/(y/(-8)). Is -2 bigger than a?
False
Let z = -151 - -152. Is 7 < z?
False
Suppose c = 14 + 13. Let d be 6/c - (0 - 0). Is 1 greater than or equal to d?
True
Let v = 0.25 - -0.75. Does v = -0.8?
False
Let c = 0 - 1. Are c and -3 equal?
False
Let w = 379/2 - 2635/14. Is w <= 2?
True
Let d = -3.1 - -3. Let s = 1 - 15/13. Is s at most d?
True
Let o be (-15)/(-25) - (-6)/(-10). Let m = -1/70 + 3/10. Does m = o?
False
Let w(f) = f. Let l be w(0). Let c = 35/6 + -221/42. Which is smaller: c or l?
l
Suppose 6*n = 8*n + 6. Is n equal to -2?
False
Let g = -485/6 + 81. Which is greater: 1 or g?
1
Let p = 7 + -5. Let i be 141/(-594)*(-6)/p. Let c = -1/22 + i. Which is bigger: c or 2/7?
c
Let t be (8*3)/(-2) - 2/5. Which is smaller: -12 or t?
t
Let x = -3191018 + 6991519805/2191. Let w = x - -1/313. Are w and 1 nonequal?
True
Suppose -4*q = -5*r + 25, -6*q = -3*q + 5*r - 25. Let n be ((-84)/9 - -2) + -1. Let b = n + 134/15. Do q and b have the same value?
False
Suppose s + 5*w - 6 = 0, 4*s + 2*w = -0*s + 6. Which is greater: s or 8/5?
8/5
Suppose 3*r + 3*x = -9, 2*r + x + 0*x + 1 = 0. Which is bigger: r or -31?
r
Let i = -2 - -4. Suppose 0*h = -2*h + i. Let u be h/2 + (-95)/150. Which is smaller: u or -1?
-1
Suppose 4*i + 30 = 3*x, x + i - 3*i = 10. Suppose 3*r = v - x, v = 5*v - r + 4. Which is smaller: v or -3?
-3
Let n be -13 - 9/6*-2. Let v = n - -9. Which is greater: v or 1/7?
1/7
Let f(l) = -10*l + 3. Let q(p) = 3*p - 1. Let a(m) = 2*f(m) + 7*q(m). Let h = -1 + -1. Let r be a(h). Which is bigger: r or -1?
-1
Let z(j) = 2*j**2 - 17*j - 6. Let y be z(8). Is -14 != y?
False
Let w(u) = -u**3 - 6*u**2 - 5*u - 1. Let x be w(-5). Let j = -2 - -2. Suppose 2*l + k - 3 = j, 2*l - 3*l = k - 4. Is l < x?
False
Suppose n + 3*r = 10, -4*n + 115 = n + 2*r. Suppose -n = 4*g - 5. Let o be ((-3)/6)/(g/(-2)). Which is smaller: o or -1?
-1
Let f be (-2)/15*(-15)/10. Let w = f - 9/20. Let c(b) = -b - 4. Let x be c(-3). Which is greater: w or x?
w
Let m = -9 + 18. Let j = m - 8. Which is bigger: j or 5?
5
Suppose -l = -2*l + 4. Suppose -l = -3*f - 1. Which is smaller: f or 3/8?
3/8
Let m(x) = -x**2 + 6*x + 8. Let o be m(7). Let c = 572 + -10871/19. Are o and c nonequal?
True
Let w be -2*(-2)/(-1) + (1 - 1). Which is greater: -15/4 or w?
-15/4
Let t(d) = -d**2 - 3*d - 6. Let n be t(0). Suppose 0 = 3*k - 6*k - 24. Which is greater: k or n?
n
Suppose -23 + 8 = -3*q. Let p be q*(-3)/(15/2). Which is smaller: p or -0.1?
p
Let v = 0.3 - -2.7. Let u = -10.2 - -4.3. Let a = u - -6. Is v greater than a?
True
Let v be 10/4 + (-2)/4. Let b be (-560)/285 + 4/v. Let d = -61/114 + b. Which is smaller: d or 5?
d
Let z be (-1)/2 + 1 - (-27)/(-14). Which is bigger: z or -1?
-1
Let h(l) = 2*l + 7. Let q be h(0). Which is greater: q or 6?
q
Let x(a) = -9*a**2 - 2*a. Let y be x(1). Is y not equal to -11?
False
Let k be (-26)/((-1 + 5)/(-2)). Suppose k - 3 = m. Suppose -6*r = -r - m. Is r >= 2?
True
Suppose 0*l - 18 = 3*l + 3*k, 3*k = 4*l + 52. Which is bigger: -11 or l?
l
Suppose 4*p + 6*k - k = 0, 3*k = -2*p. Is -2/35 greater than p?
False
Let x = -100/17 - -1112/85. Are x and 8 equal?
False
Let w(f) = -f**3 - 7*f**2 + f + 6. Let z be w(-7). Let h be 2*-4*(-1)/4. Is z less than h?
True
Let m = -56 + 65. Which is smaller: m or 7?
7
Suppose -4 = 4*l + 4. Let y be (-136)/(-22) + (-2)/11. Let c = y + l. Which is bigger: c or -1?
c
Suppose -h + 3*h - 6 = 0. Suppose -9 + h = -2*i. Let z = -3 - -6. Is z > i?
False
Suppose -2*i - 10 = -20. Which is greater: 6 or i?
6
Let k = -102 + 62. Are -39 and k equal?
False
Let s be (-20)/70 - (-288)/1106. Which is smaller: 1 or s?
s
Let p be (-1)/(0 - 1) + 2. Is p bigger than 4?
False
Let t be (3/1 + -6)/(-1). Suppose 0 = -t*g - 14 - 1. Which is greater: g or 0?
0
Let m = -3 - 0. Let b(c) = 3*c**2 - 1. Let g be b(1). Suppose -g*f - t = 2*t + 4, 0 = -4*f + 2*t - 8. Is m smaller than f?
True
Let d = -50 - -56. Suppose 0 = -5*q + 30. Is d not equal to q?
False
Let h = -349/846 - 3/94. Which is smaller: 1 or h?
h
Let b be (-14)/(-8) - 1/(-4). Let n be 2 - b - 14/2. Which is greater: -8 or n?
n
Let j be (1/2)/((-1)/1). Let o = 8 - 8. Is o equal to j?
False
Let j = -186 + 145. Is -41 <= j?
True
Let t = -14 - -11. Let l = 14 + t. Is 11 at least as big as l?
True
Suppose -2*p = 225 + 83. Let n = p + 77. Let x = n - -151/2. Are x and -1 nonequal?
True
Suppose 4*t + 4 = -f - 1, 5*t + 15 = -3*f. Let u(z) = -3*z**2 + 6*z - 3. Let w be u(2). Is f != w?
True
Let l(h) = -h**2 - 2*h + 5. Let y be l(5). Let a be (-3)/2*20/y. Is -2/23 < a?
True
Let u be (1 + 0)/(4/(48/10)). Are u and 0 nonequal?
True
Let j be -1 - (-3 + (7 - 4)). Let b be (3/27)/(3/(-2)). Which is greater: j or b?
b
Let q = 23.4 - 135.4. Let b = -118.3 - q. Let h = -6 - b. Is 1 less than or equal to h?
False
Let q = -72.9 - -73. Which is smaller: 25/4 or q?
q
Suppose -4*m = -2*d - 6 + 26, 9 = 3*d + m. Suppose d*w - 2 - 6 = 0. Suppose 2*z = x - 5, -2*x + 3*z + 2*z + 11 = 0. Which is greater: x or w?
x
Let g(s) = -s**3 - s**2 + 1. Let x be g(1). Let m be (-5)/2*4/5. Let f = -3 - m. Is f at least as big as x?
True
Let y(t) = -t**2 - 5*t - 1. Suppose 3*j = -2*n - 10, -3*n + 4*j = n + 20. Let a be y(n). Let m(i) = 3*i**2 + 2*i + 1. Let g be m(a). Which is greater: g or 3?
3
Let d = 12 - 8. Let g be 3/d*-2 + 2. Let z = 9.4 + -8.4. Which is smaller: g or z?
g
Suppose -2*i = 3 - 7. Let b be (i/3)/(-2 + -1). Which is bigger: b or -1?
b
Let o be (-1 - 7)/(4 - 5). Let g = o - 8. Are g and 3 unequal?
True
Let w = 331 + -181. Suppose -o + 3*y + 43 = 0, 0 = -5*o - 2*y + 4*y + w. Let i = o - 55/2. Which is smaller: 1 or i?
i
Suppose 6*x + 8*x - 154 = 0. Which is bigger: x or 0.1?
x
Suppose 2*a + a = 87. Suppose -w - 2*w - 5*h = -9, 4*w + h - a = 0. Suppose d - 1 = t - 6, 2*t - w = 0. Is -1 less than d?
False
Let z = 3218/9 + -358. Let h(t) = -t**3 - 4*t**2 + t + 5. Let a be h(-4). Which is greater: a or z?
a
Let a be ((-2)/(-3))/(3 - -1). Suppose 2*z = -2*z. Is z greater than a?
False
Let o = -0.18 + 1.18. Which is bigger: 0.1 or o?
o
Let b = 6 - 4. Let c be b/4*(-2)/3. Let r = 9.1 + -9. Which is bigger: c or r?
r
Let s be 1*(-4)/(-2) + 4. Let y be 1/2*3/s. Which is bigger: y or -1/5?
y
Suppose -j - 14 = -3*j. Let y = j + -8. Which is greater: y or 1/12?
1/12
Let k = 8 + -6. Suppose -3*f - 14 = -5*d, -d + 6 = 4*f - 3*f. Are f and k non-equal?
False
Let t be -1*(3 - (1 + 0)). Let s be (-2)/4*8/t. Let m = s - 1. Is m != 1/8?
True
Let i = 10.46 + -0.46. Which is bigger: 1 or i?
i
Let c = 7 + -8. Let a = 0.5 - -0.4. Let r = c + a. Do -1/4 and r have the same value?
False
Suppose -6 = -5*s + 2*s. Suppose -s = -b - 5. Let z be (2 + -1)/(-1 + 0). Which is smaller: z or b?
b
Let u = 0.02 + -0.82. Let k = 7.2 - 7. Let r = k - u. Which is smaller: -2 or r?
-2
Suppose 4*g - 37 = 3. Let x(l) = -l**3 - 17*l**2 - 14*l + 32. Let j be x(-16). Suppose 5*z - g = -j*z. Is 2/3 >= z?
False
Let k be 70/21*18/4. Suppose 8 = 4*u + 5*j - 31, -k = -5*j. Is 5 smaller than u?
True
Let i = 9 - 9. Is -1/29 at most i?
Tru