 a?
False
Let v be -1*0/(-1 + 2). Let r be (0 + 0 + 1)*3. Let d be (3/30)/(r/(-6)). Which is smaller: v or d?
d
Let l = -11 - -8. Let z = -8 - l. Let s = -4 - z. Which is smaller: -1/6 or s?
-1/6
Suppose x = 5*x + 8. Does x = 1?
False
Let b be (3 - (-3 - -6))/2. Suppose b = 4*f + i - 16, 0 = -f - f + 5*i + 8. Suppose -f*s = s. Which is bigger: 1/7 or s?
1/7
Let j = 2 + 6. Suppose 3*u - j*u = -10. Which is greater: u or 1?
u
Let y = -30 - -28. Is y at most 0?
True
Let q(a) = 5*a**3 + 2*a**2 + 2*a + 1. Let k be q(-1). Suppose -7*z + 3*z + 88 = 0. Let v be z/(-10) - 8/k. Is -1 greater than v?
False
Let i(g) = 2*g - 1. Let n be i(-1). Let v = 4 + n. Which is smaller: v or 3/2?
v
Let a be 1 - 1 - 4/8. Suppose 0*g - 25 = -5*g. Suppose -g*h + 2*l + 5 = 0, -5*l + 15 = -10. Which is bigger: h or a?
h
Let z = -0.1 + 0.1. Let h = -0.6 - -1.6. Which is greater: z or h?
h
Let w = 49 + -46. Is 3 bigger than w?
False
Suppose 3*n + 3*r = -2*n, -3*n + r = 0. Suppose n = t + 3*o - 4*o - 3, -4*t - 16 = 3*o. Let a be 2/t - (-4 + 3). Which is smaller: -1/5 or a?
a
Let r = 406/3 - 135. Suppose -3*h + 0*h + 12 = 0. Suppose 0*c + h*c = 3*d + 9, 0 = 3*c + 2*d + 6. Which is bigger: c or r?
r
Suppose 8 = -4*u, u = 5*i - 3*u - 2788. Let n = 7787/14 - i. Which is smaller: n or -1?
-1
Let m = -0.5 + 0.4. Is -11 smaller than m?
True
Let d = -13.34 + 0.34. Let i = d + 15. Is i at least 0?
True
Suppose -5*f - 4 = 4*d, -3*d + 2*d = 4*f + 12. Let j be -1 + -2 - (d + -3). Which is greater: j or -5?
j
Let k be ((-80)/(-50))/(1*(-3)/15). Is -10 at most as big as k?
True
Let z(n) = n**2 + 3*n + 2. Let k be z(-2). Let d = 0.6 - -3.4. Which is bigger: k or d?
d
Let y = 1.7 + -1.84. Let b = 0.04 + y. Which is bigger: b or -10?
b
Let r be ((-57)/(-9) + -3)*6. Let n be (-22)/18 - r/(-90). Is -4/3 smaller than n?
True
Let h(r) = -r. Let l be h(-6). Suppose 0 = -3*q - 3*w - w + 32, l = 4*q - 2*w. Is q at most as big as 3?
False
Let l(u) = u**2 - 15*u - 18. Let b be l(16). Let m be -1 + (-10)/8*1. Which is bigger: b or m?
b
Let x = -598 - -17339/29. Does 0 = x?
False
Suppose m = -3*t + 2, -4*t + 9*t - 5 = 0. Let i = -1 + m. Let c = i - -2. Is c < -3?
False
Let h be (-4 - -1)*1*-1. Suppose 0*b - 3*b = 15. Let t be h/b - 10/25. Is t greater than or equal to -1/4?
False
Let m be 6/15 - 249/15. Let u = m + 16. Is u equal to -0.2?
True
Let n be (-36)/24 + (-38)/(-28). Are 0 and n equal?
False
Let v = -125421 + 255459/2. Let f = v + -22721/10. Let q = f + -36. Is q at most 1?
True
Suppose -b - o + 0*o - 12 = 0, 0 = 5*o. Let k = b - -7. Which is bigger: 2/9 or k?
2/9
Let z = -1.1 + 0.1. Let f = -6 - -6. Which is greater: f or z?
f
Suppose -2*t - 5*k + 17 = -t, -k = -t - 1. Suppose t*h = -5*i + 14, 2*h + 5 - 3 = -i. Which is smaller: i or 1?
1
Let d(b) = 5*b**3 - 2*b**2 + 1. Let q be d(1). Suppose 0 = -8*f + q*f - 8. Which is bigger: -4 or f?
f
Let y(v) = -v**2 - 10*v - 7. Let x be y(-8). Is 11 at most x?
False
Suppose -i = 3*f + f - 487, 2*i = -2. Let x = f + -608/5. Which is smaller: -3/8 or x?
-3/8
Let u be 6/27 + -4 + (-86)/(-18). Which is bigger: u or -1/4?
u
Let k be 2/4 - (-10)/(-12). Suppose -3*g = -4*g. Suppose 5*l - l - 8 = g. Is k bigger than l?
False
Let y(j) = 6*j**2 - 3*j**3 - j**3 + 3*j**3 - j + 6. Let b be y(6). Let d be 0 + (2/(-5))/1. Which is bigger: b or d?
b
Let x = -5.9 - 0.1. Is x less than 0?
True
Let g = 1/228 - -169/456. Let q be 9/8 - (-9)/(-18). Let u = g - q. Is 1 != u?
True
Let l = 0.8 + -0.83. Which is greater: l or 0.2?
0.2
Let i = -152/5 - -30. Suppose 0*u = u + 1. Is u greater than i?
False
Suppose 96 = i - 17*i. Is 1 > i?
True
Let j be (-1 - (-1026)/(-15))/8. Let o = j + 44/5. Which is smaller: o or 1?
o
Let c = -4 + 4.2. Let o = c + -3.2. Let u = -1 + 1. Is u at least as big as o?
True
Let o = -18 - -11. Which is smaller: -1 or o?
o
Let n be ((-1)/2)/(1/(-2)). Suppose 3 + n = 4*p. Which is greater: -1/21 or p?
p
Let u = -9.86 - 0.14. Let d = u - -10.1. Which is greater: d or 12?
12
Let b = 396 + -5942/15. Is b less than -0.3?
False
Let w(q) = 2*q - 11. Let o be w(6). Which is greater: 4 or o?
4
Let y = -14 - -9. Let x be -8 - -3*(-1)/(-3). Is x <= y?
True
Let r = -14 + 24. Suppose -r = -m - 0*m. Suppose -v + 4 - 3 = 0, -m = 5*t - 5*v. Which is bigger: t or 2/23?
2/23
Let g be 4 - 1 - 3/(-2). Suppose 2*h = -5*j + 15, 2*h - 8 + 2 = 4*j. Which is greater: g or h?
h
Let p = -425/6 + 71. Let u be 3 - (3 - (-3 - -6)). Let r = -4 + u. Which is greater: p or r?
p
Let r = -257 - -255. Suppose 2*c + 26 = -2*d + 6*d, 4 = d. Is r at most as big as c?
False
Let p(i) = i**2 - i - 1. Let l be p(-1). Let h(k) = k**2 + 4*k - 4. Let s be h(-4). Let z be (5 - 3) + -5 - s. Is l equal to z?
True
Let x(m) = m**3 + 2*m**2 - 5*m - 2. Let u be x(-3). Suppose u*j - 6 = j. Which is smaller: j or 3?
j
Let u = 11 - 9. Let f be 3/(-9) + (-74)/(-6). Let t be f/5 - 2/5. Is u > t?
False
Let z = 2 + -1.9. Let o = 0.4 + 0.1. Let c = o + -0.4. Is c bigger than z?
False
Let z(b) = -b**2 + 12*b. Let k be z(12). Let l be (3 - 3)/(-2 + k). Is l <= 0.1?
True
Let v(i) = i**2. Let x(a) = 3*a**2 - 1. Let l(r) = 4*v(r) - x(r). Let w(j) be the first derivative of l(j). Let o be w(-1). Which is smaller: o or -3/2?
o
Let d be 6/(-18) + 25/(-6). Are -5 and d equal?
False
Let j(d) = d + 7. Let z be j(-9). Let f be z/2*(-4)/2. Let b be ((-3)/f)/((-27)/72). Are 3 and b nonequal?
True
Let r(c) = c**2 + 3*c + 4. Let o be r(-4). Let p be (6/28)/(6/o). Which is smaller: p or 0?
0
Let i = -5.1 - -0.1. Let l = i + 7. Is 0.1 at least as big as l?
False
Let x = 2 - 0. Let o = x + 0. Let f = o + -3. Is f less than -2?
False
Let y be (-6)/(-9)*(-3)/(-1) - 13. Which is smaller: y or -1?
y
Let f(q) = q**2 - 5*q + 2. Let g be f(2). Let c = -2 - -1.9. Is g smaller than c?
True
Suppose 0*p + 2*r + 4 = 4*p, -5*p - r = -5. Let l(w) = -w**3 + 5*w**2 - 3*w - 4. Let b be l(4). Let c be 0 - b - (-1)/(-3). Which is smaller: c or p?
c
Let b(h) = -h**2 - 3*h. Let d be b(-7). Is d bigger than -27?
False
Let y be ((-8)/6)/(6/(-18)). Suppose -y = -2*b - 6. Is b greater than or equal to -2?
True
Let v = -2194/17 + 129. Which is greater: 1 or v?
1
Let r = -0.14 - -0.08. Let f = -3.94 + r. Let i = f + 3. Which is greater: 2/3 or i?
2/3
Suppose 0 = 46*r - 45*r. Do -23 and r have the same value?
False
Let n = -3 + 4. Let i = 15 + -19. Is n greater than i?
True
Let w = -41 - -37. Which is smaller: w or 3/2?
w
Let a(t) = t**2 + 4*t - 3. Let n be a(-5). Suppose b = -8 - n. Let m(l) = -l**3 - 9*l**2 + 9*l - 12. Let r be m(b). Is -0.1 smaller than r?
False
Let j be 3/(-12) + 9/4. Suppose 4*k + 11 = j*f - k, k = -1. Which is greater: 4 or f?
4
Let j = -0.2 - -0.3. Let t = 0.07 - 0.08. Let r = -1.01 - t. Is r at most as big as j?
True
Suppose 0 = -2*j + 8, 2*q + j - 30 = -4*j. Are 5 and q nonequal?
False
Let n = -1 - -1.01. Let a = n - 0.01. Let x = -1 - 0. Is x less than or equal to a?
True
Let y = -8 - -15. Suppose -m - y + 6 = 0. Is -2/5 > m?
True
Suppose 6 = 5*l - 2*l. Which is greater: 12/5 or l?
12/5
Suppose 4*v - 3*v - 1 = 0. Is v at least as big as 1/19?
True
Suppose 5*l = 6*m - 5*m + 15, -5*m - 29 = -2*l. Suppose 4 = -v - 0. Which is bigger: v or m?
v
Let v = 23 - 17. Which is greater: v or 1?
v
Suppose -3*j = 2*j. Let r be (-314)/3 - (-2)/3. Let p = -730/7 - r. Is j at least p?
True
Suppose -s - 5*v = 4*s - 20, -2*s = 3*v - 13. Which is bigger: 2/41 or s?
2/41
Let j be (-3 + 39/9)/(-10). Which is smaller: 1 or j?
j
Suppose -4*h + h = -2*m + 4, 0 = -3*m - 4*h - 11. Which is smaller: -2 or m?
-2
Let z = 7 - 0. Suppose -3 = 2*f - n + z, -3*n = -12. Which is bigger: -4 or f?
f
Let g(h) = -h + 7. Let u be g(7). Suppose u*w = -5*w. Is 3/8 < w?
False
Let o = 2 - -1. Let h be 15/(-99) + 1/o. Is 0 equal to h?
False
Let n = -0.7 - 0.3. Is n less than 1?
True
Let a = 4.8 + -5. Which is greater: a or -14?
a
Suppose -2*v = -5*v + 42. Let z be (-8)/v + 8/28. Suppose 3*h + 6*b - 2*b - 13 = 0, -2*h + 2*b = 10. Is z less than h?
False
Suppose -5*o + 55 + 110 = 0. Let y be -1*6*(-1)/o. Is -1 less than or equal to y?
True
Let m = -2/49 + -72/637. Let h = 13 + -12.9. Which is smaller: h or m?
m
Let g = -0.02 - -0.03. Let m = -0.99 - g. Is -1 less than or equal to m?
True
Let o = -12 - -14. Suppose -2 = 3*j - 17. Suppose -2*y - 12 = -j*y. Is y at least as b