?
False
Let s = -3 - -4. Let w = 6 - s. Let x = 3 - w. Which is smaller: 1 or x?
x
Let g = 6.8 - 7. Let y = -0.1 - g. Which is bigger: 2 or y?
2
Let p = 4.7 - -0.3. Let i = p - 6. Are 0 and i equal?
False
Suppose -4*v = -5*g + 52, -v = 2*v + 9. Suppose 4 = -2*p + p - 2*o, 0 = 5*p - 4*o - g. Which is bigger: -3 or p?
p
Let i = -20.2 - -1. Let r = i - -19. Let h = 0.3 + -0.5. Are h and r nonequal?
False
Let m = 5/1553 - -276389/13977. Let q be 162/(-8) - (-1)/4. Let d = q + m. Which is greater: d or 1?
1
Let m = -4 + 9/2. Suppose 0 = -0*s - 3*s - 6. Which is greater: m or s?
m
Suppose -3*b + 0*b = -78. Is b > 25?
True
Let a = 2 - 4. Let t = a - -8. Is -1 smaller than t?
True
Let f be 1544/5*1/(-2). Let i = 155 + f. Is 2 <= i?
False
Let p = -7/19 - -145/342. Is 1 at most p?
False
Let b be 14/49 + 100/(-7). Is b equal to -15?
False
Let i(x) = -x + 7. Let m be i(8). Is m >= 1?
False
Suppose 2*t - 3*t - 2 = 0. Let i be 0/((-1 - -2)*t). Let r = i - 0. Is 1 at least r?
True
Let j(z) = -z + 3. Let q be j(0). Suppose q*s = -k - 5, -k = -s + k + 10. Let t be (-6)/8 + 45/252. Which is greater: t or s?
s
Let c = -16317001 - -20461512361/1254. Let i = c + -2/627. Is i equal to -7?
False
Let p be (-8 - 2)/(0 + 1). Is -10 bigger than p?
False
Let k be 156/27 + (-4)/(-18). Let v be (-1)/(-1) + k/(-3). Let j = -4 + 3. Is v at most j?
True
Let q = 206 + -2676/13. Which is smaller: q or 0?
0
Let n be -6 - -1 - -2*1. Suppose 4*w - 40 = -w. Let r be (-26)/w + 1/4. Is n bigger than r?
False
Let s(v) = v**2 + 15*v + 14. Let q be s(-15). Which is smaller: 15 or q?
q
Suppose 4*t = -x + 9, t = 4*t - x - 12. Suppose -u + 0*y + 2*y = -6, 5*y = -t*u + 7. Suppose 1 = a - 3. Is u != a?
False
Let q be ((-21)/(-3) + -3)*-5. Let t be (q/125)/((-2)/20). Which is smaller: 1 or t?
1
Let a = 13 + -11. Suppose 0 = 5*j - a*j + 6. Is -1 bigger than j?
True
Let h = 11 + -10. Let i be ((-2)/(-6))/(2/12). Which is bigger: h or i?
i
Let o be -9*2*((-19)/10 - -2). Is -2 != o?
True
Let c = -0.3 - -0.1. Suppose -4*v = 4*x + 15 - 43, -5*x - 1 = -4*v. Which is bigger: c or v?
v
Let f(u) = u - 3. Let r be f(3). Suppose 5*k + r = 10. Which is greater: -1/2 or k?
k
Let f be (-1 - -3)*(-10)/(-4). Let l be ((-10)/(-6))/(f/(-30)). Let b be l/(-35) - 23/7. Are 1 and b nonequal?
True
Suppose 3*o + 12 = -12. Let s = -6 - o. Let h = -67/2 - -34. Which is smaller: s or h?
h
Let v be (-6)/(-24)*(1 + -2). Is v > 10?
False
Let q be (0 + -1)*(1 + -2). Let b be 6/(-3) - -1*q. Let y = 1667/9 - 185. Which is bigger: b or y?
y
Let p be -4*(-2)/(-2) + 20/3. Is p less than or equal to 2?
False
Let x = 4 - -4. Let f be x/12*(-9)/6. Let o = -191/285 - -4/57. Which is bigger: f or o?
o
Let q be 4/6 - (-57)/9. Suppose 4*m + q = -1. Is -3 at most as big as m?
True
Suppose 5*q - 5*f + 30 = 0, -3*f = -0*f - 6. Let z = -5 + -10. Let m be 6/z + (-21)/10. Which is smaller: q or m?
q
Let b(s) = -s**3 + 2*s**2 + s. Let z be b(2). Let j be (-4)/(3/((-3)/z)). Let d = -15 - -16. Which is greater: d or j?
j
Let z = 0.3 - 0.3. Let m = z + 4. Let a = m - 6. Which is greater: a or 1/2?
1/2
Let o = -0.6 - 1.4. Let r = 3 + o. Let f = r - 0. Is 1 <= f?
True
Suppose 0 + 8 = 4*y, -5*l = 5*y. Which is smaller: l or -3?
-3
Let z = 7 + -6. Which is smaller: 1/36 or z?
1/36
Let b = -17/410 - -14/41. Let n = 101.9 + -102. Do n and b have the same value?
False
Let u = 10 + -12. Let l = u + 2.3. Which is greater: l or -2?
l
Suppose -m = 2*d - 5*d, 2*d - 5*m = 0. Suppose h + d*h = 1. Let v(u) = -u**3 - 4*u**2 - 4*u - 1. Let k be v(-3). Is h less than k?
True
Let t be (-1)/(-1)*(-12)/(-2). Let p be -2 - (3 - 1 - t). Is 2 less than or equal to p?
True
Suppose 25 + 13 = 2*m. Suppose -5*q + l = 7 + 2, 5*l - m = -q. Do q and 3 have the same value?
False
Suppose -3*u = 4*b + 24, 0 = -2*b - 3*u + 2*u - 12. Let q = 14 + -20. Is q != b?
False
Let v(g) be the third derivative of -g**4/6 - 3*g**3/2 + 7*g**2. Let w be v(4). Which is bigger: w or -24?
-24
Let d(k) = -k - 27. Let x be d(-23). Which is bigger: x or -6?
x
Let m be ((-3)/19)/(-1 - 0). Suppose 4*s - 5*i + 16 = 0, 4*s = s - 2*i + 11. Does m = s?
False
Let q = 195521/5 - 39258. Let a = -155 - q. Is 2 smaller than a?
False
Let y be (-219)/(-9) - 2/(-3). Suppose -t - 13 = -6*t + 2*x, -y = -5*t + 5*x. Which is smaller: 0 or t?
0
Let n = -86 - -85. Which is smaller: 1/42 or n?
n
Suppose 39 = 2*v + 11. Let l be (v*(-2 - -1))/2. Let o = 3 + l. Which is smaller: -6 or o?
-6
Let q = 3.2 - 3.07. Which is smaller: -2 or q?
-2
Suppose -2*w - 3 = g, 2*g + 12 = 3*w - 2*g. Which is greater: w or 1/9?
1/9
Suppose -3*o + u = 50, 3*u = 3*o + o + 75. Is -17 < o?
True
Suppose -3*w - 1 = 17. Let t(o) = -o**2 - 5*o + 5. Let d be t(w). Let u(z) = -3*z**3 + 3*z**2 - z - 1. Let y be u(1). Which is bigger: d or y?
d
Suppose -5*p - 4*q = 18, -5*q = -4*p + 5*p + 12. Let m be 21/14 - (-1)/p. Let h be m*-2 + 18/6. Is h at most as big as -1?
False
Let m = 733/4 + -183. Suppose -3*u + 12 = -2*n + 2, 0 = -u - 3*n - 4. Let g = u + -1. Is g less than m?
False
Let c = -105 - -105.2. Is 8/11 less than or equal to c?
False
Let m be 1/(1*1/(-5)). Let i = -11 - m. Let b be (-4)/i + 130/(-105). Which is greater: -1 or b?
b
Let q(n) = n**2 + 3*n - 2. Let s be q(-3). Let m = 11 + -6. Suppose 0 = m*p + 4*l - 2, -4*p - 1 = p + 3*l. Is p equal to s?
True
Let a = -67983/4 - -17386. Let w = 388 - a. Is -3 not equal to w?
True
Let f = -15.1 - -15. Let k = 0.1 - f. Which is greater: -1 or k?
k
Suppose -14 = 2*s + 2. Let r be (-31)/(-5) + (-2)/10. Let l be s/6*r/4. Is l at least as big as 0?
False
Suppose 3*u = -3*m - m + 12, -5*u = -m - 20. Suppose -u = 4*h, -2*h = 4*d - 6*h + 24. Is -7 bigger than d?
False
Let q be (1 + 1)*(-27)/6. Let n(v) = -v**3 - 9*v**2 + v + 11. Let c be n(q). Which is bigger: c or 3/2?
c
Let z be 12/(-3)*(5/2)/(-5). Which is smaller: z or 18?
z
Suppose 2 = -0*m + 2*m. Let j(a) = 1 - a - 1 + 3*a**2. Let y be j(m). Which is greater: 1 or y?
y
Let h = -6857/3 - -2325. Let s = -40 + h. Is s < 0?
True
Let w(p) = p**3 + 4*p**2 - 4*p + 5. Let m be w(-5). Which is smaller: -1 or m?
-1
Let y = 232 - 1164/5. Let k(n) = -n**3 - n. Let q be k(1). Is y > q?
True
Suppose 4 - 2 = j. Let l = -5 + j. Let p(u) = u**2 + 3*u + 1. Let g be p(-1). Are l and g unequal?
True
Let r = -5 - -4. Let y be -2*(2 + (-14)/8). Which is smaller: r or y?
r
Suppose 2*o - 7*o + 2*r = 28, 16 = -2*o - 4*r. Let l(k) = -k**3 + k**2 - 6*k**2 - k**2 + 8 + 2*k. Let i be l(o). Does i = -3?
False
Let l = -3 - -2. Let j = 175 + -1573/9. Which is bigger: l or j?
j
Suppose 3*v - v = -10. Which is smaller: -1/4 or v?
v
Let u = -45 - -46. Which is smaller: u or 10?
u
Let d be (-5)/(-2) - (-2)/(-4). Let o = 3 - 2.88. Let k = -0.42 + o. Is d > k?
True
Let h = 112 - 3583/32. Let r = 41/32 - h. Let l be 2/6 - (-1)/(-3). Is l at most as big as r?
True
Let j be -2 - (3 + -1) - -1. Let c be (-1)/(3/((-27)/j)). Are c and -3 non-equal?
False
Suppose -4*v - 1 = -u, 5*u + 29 = 2*v - 2. Which is greater: u or 1?
1
Let u be (-72)/33 + 4/2. Let j(n) = -n**2 - 3*n + 5. Let y be j(-4). Which is smaller: u or y?
u
Let a = -8 - -10. Suppose 4 + 0 = a*b. Which is greater: 1 or b?
b
Let j = -43 - -42. Which is bigger: j or -0.042?
-0.042
Let d(p) = -p**3 - 5*p**2 - 2*p - 5. Let i = 3 + -8. Let h be d(i). Suppose 0*y = -2*y + 2*a - 6, 2*y - h*a = -9. Which is greater: y or -3?
y
Suppose -2*r - k = 9, -3*r - 4*k = 17 - 1. Let q = r - -6. Which is smaller: q or 3?
q
Suppose -3*t = -5*x - t + 84, -x = -2*t - 20. Let y = 25 - x. Suppose 4 = 5*q + y. Is q greater than 1?
False
Suppose -4*q = -s - 47, -3 = -5*q - 4*s + 40. Is q >= 11?
True
Suppose -6*p + 3*p - 285 = 0. Is p at most as big as -96?
False
Suppose -t = p + 58, -6*p + 2*p + 83 = -t. Is -62 smaller than t?
False
Suppose -4*u - h + 6 = 0, -3*u - h + 13 = 4*h. Suppose 0 = -2*s + j - 4, -u = 5*s - 2*j + 8. Which is smaller: s or 0?
s
Let o = 10 - 14. Let n = 25 + -14. Suppose q + n = -5*l - 3, -6 = 2*q - l. Is o > q?
False
Let j = 1.2 + -1. Let s = j + -0.3. Is s greater than -2?
True
Let l be ((-24)/20)/(6/(-15)). Suppose -l*j + 4 = -4*j. Which is smaller: j or -5?
-5
Let p = 232/399 + -10/21. Is p at least -1?
True
Let v = 56/15 + -10/3. Is v less than -6?
False
Let l(y) = y**3 + y**2 - 2*y - 1. Let z = 14 - 15. Let n be l(z). Is 2/7 