0 or n?
n
Let r = 0.3 + -0.1. Let a = r + -0.3. Which is greater: 1 or a?
1
Suppose -2*s - 4*h + 28 = 0, 0 = 3*h - 8 - 1. Is s bigger than 11?
False
Suppose 4*i - 5*m = 23, 0 = m - 1 + 4. Suppose 3*w = -5*z + 3, 2*w - i = -5*z + 2*z. Let u = 208 - 619/3. Are w and u equal?
False
Suppose 2*k = 5*p + 7*k - 140, 0 = -4*p - 2*k + 122. Is p smaller than -1?
False
Suppose 0 = 5*l - 19 - 51. Let y = -8 + l. Suppose 0 = i + v - y, 4*v = -4*i + 6*i + 18. Is 0 >= i?
False
Let t be (-1)/(-2)*1/(-5). Which is bigger: t or 0?
0
Let g be 1/4 - (-6)/40. Let z = 165 + -497/3. Is z at most g?
True
Suppose -4*z - 4*r - 13 = 11, 2*z = 5*r + 23. Let o = 1 + z. Suppose 3*n - 12 = 5*l + 6, o = 3*l + n + 8. Which is greater: l or -2?
-2
Let n(h) = -h**3 + 2*h**2 + 2*h - 3. Let i be n(2). Which is smaller: 14/19 or i?
14/19
Suppose 3 = -g - 2*g. Let j = 5 - 6. Is g >= j?
True
Let a = -4254/7 + 588. Let b(d) = -d**3 + d**2 - 20. Let m be b(0). Let p = a - m. Which is greater: p or -0.1?
p
Let u(m) = -m**2 - 5*m + 9. Let j be u(-9). Are j and -28 non-equal?
True
Suppose -4*h + 2*t = -4, t - 2 + 4 = -h. Is 2/67 != h?
True
Let d = -1 - -1. Let k = 0.05 - 0.35. Let v = 0.2 + k. Is v >= d?
False
Let r(l) = -l**3 - 6*l**2 - 6*l - 1. Let o be r(-5). Suppose -5*v - 5*n = -4*v, 0 = -o*v + 2*n. Let p be (4/10)/((-6)/10). Is v smaller than p?
False
Let x = 2 + 0. Suppose -2 = -3*n + 2*q, n + 11 = x*q + q. Suppose 5*c + 4*p = 33, 2*p = 3*c - p - 9. Is n smaller than c?
True
Let y(t) = t**2 - t + 8. Let g be y(0). Let l = 121 + -114. Is g at most l?
False
Suppose -6*q - 1 + 13 = 0. Which is smaller: 0 or q?
0
Let k(r) = -2*r - 4. Suppose -o - 3*l = -6, -l - 3 = 3*o + l. Let h be k(o). Suppose a + h*q = 14, -q - 31 + 10 = -3*a. Is 8 >= a?
True
Let d = 2641/82 + 12/41. Let s = d - 32. Suppose -3*v + 19 = 5*n, v + 12 = 5*v. Is n != s?
True
Let q = 289182/127 - 2277. Let g = -335/3429 + q. Is g at most -1?
False
Let c(y) = 2*y**3 - 2*y + 1. Let x be c(1). Do x and 4 have the same value?
False
Let j = -17 + 18. Which is smaller: j or 3?
j
Let q = 464 - 14382/31. Is q greater than 0?
True
Let n = 34 + -32. Let b be 3/(-7)*(-10)/(-15). Which is bigger: b or n?
n
Let f = -6254/17 + 368. Which is smaller: f or 3?
f
Let h = -45/116 - -4/29. Suppose 0 = -5*w + 3*w. Which is bigger: w or h?
w
Let w(y) = y. Let f be w(-1). Let u(x) = -x + 9. Let g be u(6). Suppose -g*b - 8 = b. Which is greater: b or f?
f
Let h be (-8)/(-6)*2/(-28). Let v be 0*3/18*-2. Suppose v = 4*s + s. Which is smaller: h or s?
h
Suppose 5*g + 4*y + 53 - 14 = 0, -4*g = -2*y + 26. Let k = -50 - -42. Which is bigger: g or k?
g
Let o = 8 + -7. Which is greater: o or -1?
o
Let c(o) = 3*o - 18. Let a be c(3). Is -38/5 < a?
False
Let a = 888/1505 - 4/215. Let f = 14 + -24. Let m(h) = -h - 9. Let w be m(f). Is a less than or equal to w?
True
Let b = -3 - 1. Let w be 126/(-45) + 2/10*-1. Which is greater: w or b?
w
Suppose -5*k + 7*k = -28. Is -13 != k?
True
Let y = 10 - -13. Let k be -4 + 0 + y/5. Suppose -5*w - l + 12 = 0, 0 = 2*w + l - 6 - 0. Is k >= w?
False
Let t = 13 + -3. Suppose -2*f = -4*u + 2*u - 10, -u + t = 4*f. Let o = -3/52 - 9/13. Is u greater than or equal to o?
False
Let j be 0 + -1*1/3. Let s = 2 + -2.9. Let h = s + 0.6. Is h at most j?
False
Let s = 0.5 + 0. Let h = s - 0.7. Let k = -4 - -6. Is h >= k?
False
Let s = -26 + 48. Let b = 16 - s. Which is bigger: b or -4?
-4
Let x = -60 + 11. Let n = -835/17 - x. Which is greater: n or 1?
1
Let t be 10/4*(-10)/5. Is t bigger than -7?
True
Let g be (-12)/9*3/14. Let u = -104/21 - -30/7. Which is smaller: g or u?
u
Let l(s) = -s**2 - 5*s - 3. Let i be (0 - 2) + 1 + -2. Let d be l(i). Let g(c) = c - 4. Let j be g(d). Which is bigger: -2/7 or j?
-2/7
Let t = -257/7 + 37. Suppose -2*u + 3 = -n, -u + 2 = -2. Let h(q) = -q**3 + 4*q**2 + 5*q + 1. Let j be h(n). Is j smaller than t?
False
Let l be (-14)/63 - 40/(-18). Suppose 0 = 3*f + l*f + 3*k - 16, -6 = -5*f + 2*k. Let d be 1*(-1)/(-10)*f. Which is smaller: d or 0?
0
Let m be (-1)/(-2)*-2*1. Let z = 1/43 + -233/13717. Let w = -624/2233 - z. Which is smaller: w or m?
m
Suppose -4*l = -4*j - 36, l - 3*j - 19 = -0*j. Let y be (3 + -5)/(l/154). Let p = 386/5 + y. Is 0 > p?
False
Suppose 4*r - 3*v - 2 - 14 = 0, -20 = -5*r - 3*v. Suppose 5*f - r - 6 = 0. Suppose 0 = 5*d - f*o + 3, -2*d + o + 0*o = 2. Which is smaller: 0 or d?
0
Let y be 6/27 + 75/27. Let u = 9 - 5. Suppose -r + 13 = u*t, 0*r - 3*r = -y. Is 1 not equal to t?
True
Suppose 2*a - 3*o + 4*o - 18 = 0, 4*o = 0. Let q = 12 + -2. Which is smaller: q or a?
a
Let h(a) = -a - 2. Let j be h(-2). Suppose 1 + 9 = 10*r. Which is smaller: j or r?
j
Let b = 0.04 + -7.04. Let i = 125.7 - 119. Let v = i + b. Is v bigger than 2/9?
False
Let b be 10/24 - 2/(-8). Suppose -5*j = -5*n, 0 = -4*n + j - 0*j. Suppose n = 5*x + 8 - 3. Is b at most as big as x?
False
Let d be 42/(-102)*6/7. Is 1 at most d?
False
Let a = 3.43 + -6.36. Let x = 0.07 - a. Let z = -2 - -1.9. Is x at least z?
True
Let s be 2 + (1*12)/(-4). Is s less than -0.5?
True
Let p = -1.2 - -4.2. Let j = -5 + 2. Let u = p + j. Is u less than or equal to 0?
True
Suppose -17 = -4*y + 11. Is y bigger than 10?
False
Suppose 4*d = w + 4, 3*d = 4*d - 2*w + 6. Which is greater: d or 3?
3
Let d = -0.13 + -9.87. Does d = -0.1?
False
Suppose -5*u = -11*u. Let f = -205/7 - -59/2. Are u and f non-equal?
True
Suppose 4*o + 6 + 8 = -t, t + 14 = 2*o. Let c = 15 + t. Let g be -4*2/28*-1. Is g at least as big as c?
False
Let t be (-1 - 10/(-6))*3. Let r be (t + 14/(-6))/(-1). Which is greater: r or -1?
r
Suppose -x = -3*x. Suppose c + c - 4 = x. Which is smaller: c or -2?
-2
Let q be 2*1*2/16. Which is smaller: q or 0.2?
0.2
Let s = 0.24 - -15.76. Which is smaller: 0.1 or s?
0.1
Let c be (-4)/(-24) + 238/12. Which is greater: c or 99/5?
c
Let s be 3/(-7)*4/(-6). Suppose -19*n + 24*n = 0. Which is smaller: s or n?
n
Suppose -o - 20 = 4*o - 5*k, 2*o - 5*k = -20. Suppose -3*i + 7*i = o. Which is smaller: -2/13 or i?
-2/13
Let j = -6 - -8. Let i(o) = j - o - 6 + 2*o. Let u be i(3). Which is greater: u or -3/2?
u
Let a be 3/2 + 3/(-2). Let y be a - (0 - (-2 - -3)). Let j = y - 2. Is 2/7 less than j?
False
Let l(t) = -t**2 + 4*t + 3. Let p be l(5). Let n = p + 1. Let m be (0/(-2) + -1)*1. Is n less than m?
False
Suppose -5*w + 20 = -w. Suppose o - w*g - 26 = 0, 2 - 8 = -o + g. Let j = 3 - o. Is 3 bigger than j?
True
Let u be (-385)/10 - 1/1. Let p = -1033/26 - u. Which is smaller: p or 1?
p
Let x = -12 - -12. Let w = 1 - 1. Is x <= w?
True
Suppose -a - a + 6 = 0. Suppose a*r - 2 = -2*j + 5, 29 = -4*r + 5*j. Which is smaller: -2/13 or r?
r
Let h(c) be the first derivative of -c**4/4 - 4*c**3/3 + 2*c**2 - 6*c + 1. Suppose 0 = p - 6 + 11. Let d be h(p). Is d at least -1?
True
Let p(z) = -z**2 + z + 7. Let s be p(7). Let i be (-2)/2 + (-30)/s. Suppose 0 = 2*l - 0*l. Is i >= l?
False
Let y = -0.86 - -0.66. Is y smaller than -2?
False
Let h = -151.1 - -172. Let k = h - 21. Which is bigger: k or -7/6?
k
Let j = -7 + 11. Let v(i) = 3*i**2 + 8*i + 4. Let p(o) = -8*o**2 - 23*o - 11. Let y(a) = -4*p(a) - 11*v(a). Let x be y(4). Which is greater: x or j?
j
Let b(u) = u**3 - 15*u**2 - 17*u + 19. Let c be b(16). Are c and 5 nonequal?
True
Suppose 3*t = -4*h + 60, -2*h - 74 = -4*t - t. Is t > -1?
True
Let j = -15 - -14. Let p = -3 - -3.2. Let v = 0 + p. Which is greater: v or j?
v
Let z = -272/5 + 52. Which is greater: -2 or z?
-2
Let j(u) = -5*u + 26. Let m be j(5). Which is smaller: 2/39 or m?
2/39
Let f = -4 + 1. Let j = 3 + f. Is j equal to -2/11?
False
Suppose 2*z = 5*d - 12, -13 = -5*d - 0*z + 3*z. Let u(r) = -r + 4. Let h be u(-4). Suppose d*c + 0 = -h. Is c equal to -1/3?
False
Let x = 3 - 0. Suppose -2*n + x*n = -2*u + 4, 0 = -2*n + 3*u - 6. Suppose -c = -4*f - 7, n = 2*f + 5*c - 6 - 7. Is -7/3 >= f?
False
Let o = 21 + -35. Let l be (-4)/o - 1762/(-56). Let w = 32 - l. Which is greater: 1 or w?
1
Suppose 5*i = -d + 3*d - 73, 27 = -3*i - 3*d. Is i at most as big as -15?
False
Suppose -2*n - 3*n = 10. Let o = -21.88 - 0.12. Let y = o + 22. Which is bigger: y or n?
y
Let w = 0.38 - -0.02. Let t = 0 - w. Let g = 0.4 + t. Which is smaller: g or -2/7?
-2/7
Let y = 7 + -2. Suppose -y*z = -2 - 3. Is 3/2 less than z?
False
Let g = -18.4 + 18. Which is greate