least as big as -1?
True
Suppose 0 = -3*b + z + 7, -2*z + 25 = 4*b + 9. Suppose 4*i - 3*r - 19 = 5, 0 = b*r. Suppose i = -0*a - 2*a. Is -3 < a?
False
Suppose -12*q = -8*q + 4. Let k = -109/3 + 36. Are k and q non-equal?
True
Let l = -1/129 - -154/3225. Which is smaller: -2/7 or l?
-2/7
Let i(z) = z. Let c(m) = 7 - 2*m**2 + m**2 - 4*m - 3. Let u(q) = c(q) - 3*i(q). Let o be u(-7). Which is greater: 1 or o?
o
Suppose 30 = 2*s + 3*s. Let q = 130 + -126. Is q bigger than s?
False
Suppose -3 = 2*u + 2*u + j, 0 = 4*u - j - 3. Suppose 0 = -u*i + 3*i + 6. Let k be (-3)/i*4/6. Which is greater: 2/15 or k?
k
Let z = 1/5 + -19/45. Are z and -1 nonequal?
True
Suppose -5*u + 7 = 4*c, -u + 5*c = -6*u + 10. Is u != -4/29?
True
Suppose -i = 3*t - 2*i - 5, 2*t = -4*i + 22. Let a be 17/3 + (-9)/t. Which is smaller: 4 or a?
a
Suppose -5*t - 4*t = -4*t. Is t bigger than -4/25?
True
Let n be 34/((7 - 11) + (0 - -14)). Is 3 < n?
True
Let x = 9 + -2. Suppose -4*r - 2*j + 0 + 2 = 0, 5*r - 2*j = x. Which is greater: 1/4 or r?
r
Let j be 2 + -1*(-9)/(-3). Is -0.8 < j?
False
Let t be -3*(-7)/(-6) + (-2)/(-4). Is -2 at most t?
False
Suppose -3*z = 3*b - 18, 2*b = -b + 2*z - 7. Which is smaller: -6/25 or b?
-6/25
Let f be ((-3)/((-3)/(-4)))/3. Is f less than or equal to 0?
True
Suppose 0 = 3*k + 4*m + 112, 3*m - 37 + 4 = k. Let w = -141/4 - k. Suppose -2 = -6*g + 4*g. Is g greater than w?
True
Let f(o) = o**3 - 3*o**2 + o. Let x be f(1). Let l be (-3)/2*x/3. Which is smaller: -2/9 or l?
-2/9
Let s = -8 - -8. Let p be 2 + (-7)/(-9) + -3. Which is greater: s or p?
s
Let j(l) = l**2 + 7*l + 12*l - 8*l + 0*l**2 + 11. Let x be j(-9). Is -7 equal to x?
True
Suppose 0 = -5*h - 14 - 16. Which is smaller: -3 or h?
h
Let c = -137/187 - -14/17. Let u be 0/((-4)/(1*-2)). Is u at least as big as c?
False
Let y(l) = 11*l**2 - 3*l + 2. Let z be y(3). Let g be (2/z)/(3/(-12)). Suppose -13*d = 2 - 2. Is g != d?
True
Let y = 22/9 + -514/63. Which is bigger: y or -7?
y
Let a = 1 - 5. Let i = 2 + a. Let g = i - -1. Which is greater: 2/9 or g?
2/9
Suppose g + 5*a = -2*g + 65, a = -3*g + 49. Is g greater than 16?
False
Let o = -11.2 - -11. Which is smaller: o or 0?
o
Let y(r) = 2*r - 5. Let v be y(3). Are v and -3/40 unequal?
True
Let j(n) = -1 + n - 2*n + 0*n. Let p be j(5). Let k(q) = q**3 + 5*q**2 - 7*q - 5. Let o be k(p). Which is smaller: o or -2/21?
-2/21
Suppose -2 = 5*h + 3. Let r = -3.8 + 1.8. Is h greater than or equal to r?
True
Let j = -0.1 - -0.05. Are 1 and j equal?
False
Let m = 671/3 - 226. Which is smaller: m or -3?
-3
Let k be (-9)/(-2)*8*(-7)/84. Let n = 4/213 - 238/71. Is k bigger than n?
True
Suppose -3*k + 15 = 5*i, -2*i - 3*i + 5 = k. Suppose 8*j = 7*j + 18. Suppose -k*l + j = -t, -2*t + 3 = -2*l - 5*t. Is 4 at most as big as l?
False
Let r be (9/45)/((-1)/5). Are 2/25 and r non-equal?
True
Suppose -4*x = -4*o - 1 - 7, -x = -4*o + 1. Do 0.3 and o have the same value?
False
Let l = -16 + 8. Let q = -11 - l. Is q > 1?
False
Let t(k) = 10*k - 2. Let v be t(-2). Is v less than or equal to -21?
True
Suppose 0 = 4*w - w - 6. Is w greater than or equal to 2?
True
Let p be 2 + (-17 - -1)/4. Let b be p/((-3)/(27/(-42))). Which is smaller: 0 or b?
b
Let n = -4 - -5. Is 2 greater than or equal to n?
True
Let q be (-2)/14 + (-33)/63. Which is greater: q or -0.05?
-0.05
Let d be (-4)/(-10) - (-4)/(-10). Suppose -3*z + 3 = d, v + 4*v + 2*z = 22. Suppose 11 + 5 = -v*w. Which is bigger: w or -3?
-3
Suppose 0 = 7*n - 13*n - 252. Does n = -41?
False
Let l = 28 + -28. Which is bigger: l or -1/7?
l
Suppose 5*l - 3*l = 8. Suppose -3*t + 2 = -10. Is t at most l?
True
Let j = -64 - -56. Which is greater: j or -6?
-6
Let x = 0.5 + -1.5. Is 5 greater than or equal to x?
True
Let z be -2*(-1)/(-2)*-3. Suppose -z*d = d. Suppose 4*v - 5*i = 25, -5*v = 2*i - 7*i - 25. Is v at most d?
True
Suppose 4*x + x + 2*g = 16, 0 = 4*x - 3*g - 22. Which is bigger: x or 5?
5
Let w(b) = b**3 - 3*b**2 - 10*b - 6. Let l be w(5). Suppose 2*t = 42 + 18. Suppose -r = 4*r + t. Is l less than or equal to r?
True
Let m = -12 + 7. Let t = m + 3. Let y be (1/5)/(6/(-15)). Does y = t?
False
Let a(c) = -c**2 - 6*c + 4. Let m be a(-7). Let t = m + 7. Suppose 7*f = 2*f + 10. Which is smaller: t or f?
f
Let f be 2/1 + 76/5. Let b = -764/45 + f. Is b at least -1?
True
Let t = 50 + -49. Let s = -0.1 + 0.1. Let p = 1 - s. Is p at most as big as t?
True
Let w be (2 + -1)/((-5)/10). Is w < -1?
True
Let i = 1 + 0. Which is smaller: 1/16 or i?
1/16
Suppose 5*b = -15 - 0. Which is greater: -5 or b?
b
Let o = 11 - 13. Is -2 bigger than o?
False
Let g(p) = 4*p + 0*p**2 + 4*p + 4 + p**2. Let h be -5 + (-2 + 4)*-1. Let s be g(h). Which is bigger: s or 2?
2
Let w(k) be the second derivative of -k**3/6 - 9*k**2/2 - 2*k. Let x be w(-6). Suppose 0*b + 3*b = -12. Which is greater: b or x?
x
Suppose -8 + 3 = -5*n. Suppose 0 = 4*m - 0*x + x - 20, -2*x = 8. Suppose -m = -d - 2*d. Which is smaller: d or n?
n
Let r be 2/6 + (-1924)/(-15). Let j = r + -129. Is 0.3 != j?
True
Suppose -5*l = -49 + 19. Let c(a) = a**3 - 6*a**2 + 6*a - 1. Let m be c(5). Which is smaller: m or l?
m
Let l(v) = 10*v**2 - 5*v - 4. Let d be l(-8). Let s be 3 - (0 + d/228). Is 0 smaller than s?
True
Let n(r) = -r**2 + 6*r - 4. Let b be n(5). Suppose 0 + b = a. Let c be -1*(-3 - 172/(-60)). Do a and c have the same value?
False
Let x = 0.09 - 1.09. Which is greater: x or -2.3?
x
Let m = -5583/8 + 699. Does 1 = m?
False
Let q = -27 + 27.8. Is -4 bigger than q?
False
Let o(s) = -s**3 + 8*s**2 - 12*s + 31. Let d be o(7). Which is greater: d or -34/7?
d
Let j = 4/241 - -294/11327. Let p = 51/94 - j. Is p at most as big as 1?
True
Suppose 3*r + r = 3*t, t - 5*r = 0. Is t < 5/9?
True
Let f(b) = -b**3 + 5*b**2 + 8*b - 9. Suppose 0 + 24 = 4*d. Let v be f(d). Is v at least as big as 4?
False
Let z = -6 + 5. Which is greater: z or 2/49?
2/49
Let s = -92/95 + 7/19. Which is greater: s or -1?
s
Let o = 134/3 + -44. Suppose -3*y = 6*y - 8*y. Which is smaller: y or o?
y
Let d be (323/76 - 2/8) + -42. Is -38 at most as big as d?
True
Let v(b) = -b**2 + 3*b - 3. Suppose -2*w - w + 6 = 0. Let c be v(w). Which is greater: c or -3?
c
Let i = -7.4 - -7.1. Is 0 smaller than i?
False
Suppose -13*s + 18 = -4*s. Which is smaller: s or 5?
s
Suppose -2*a = -5*u - 20, u + 3*a = -u + 11. Which is smaller: u or -4?
-4
Suppose u - 4 = -0*u + b, 27 = 3*u + 2*b. Let d = -6 + 10. Suppose -d*t - 23 = -u. Which is smaller: t or -3?
t
Let q = -55 - -50. Is -5 != q?
False
Suppose 5*d - 7*d = 0. Is -6/13 at least as big as d?
False
Let p be (-4)/22 + (-204)/330. Let r = 21/20 + p. Does 0 = r?
False
Let v = 0.4 + 5.6. Let k = v + -6. Is 1 >= k?
True
Let r = -0.07 - -0.02. Let z = 2.95 - r. Is 0 equal to z?
False
Let s = 5 + 0. Which is greater: s or 2/7?
s
Let j = 4898038/21 - 233301. Let a = j + 61. Which is bigger: a or 0?
0
Let s(h) = -h - 15. Let q be s(-10). Let d = 6 + q. Which is smaller: d or 10?
d
Let h = 16 + -15.2. Let v = -1.1 + h. Suppose -5*s = -x + 1 + 6, 0 = 5*s - 4*x + 13. Which is bigger: v or s?
v
Suppose -4*l + 12 = -24. Let p = l - 17/2. Is p > 2?
False
Suppose -p + 0*p + 5 = 0. Suppose 4*x = -p*g + 23, -g + 0*g + 9 = 3*x. Are 5/6 and x non-equal?
True
Suppose 4*d - n = -4*n + 1363, 0 = 3*d - n - 1019. Suppose d = -c + 5*c. Let s = 427/5 - c. Are 2/3 and s unequal?
True
Let k = 76 + -78. Let y = -1 + 0. Let h be 3*(1/y + 0). Are h and k unequal?
True
Let q be (-1)/4*-1*2. Let x = -0.13 - 5.87. Let c = -5.8 - x. Is q at least as big as c?
True
Suppose 3*m = 2*v + 30, 3*m + 2 + 10 = 0. Let q be 12/v*(-7)/6. Which is smaller: q or -8?
-8
Let h be 6/21 - (-2)/(-7). Is -2/85 at most as big as h?
True
Suppose -20 = 4*r, 3*l = 4*r - 2*r - 5. Let v = l - -5. Suppose -9 = -3*t - v. Is t smaller than 4?
True
Let b = -5 + 2.8. Let y = b - -2. Is 0.1 not equal to y?
True
Let t(w) = w**2 - 4*w. Let f be t(4). Suppose -4*b + 3*c - 44 = 0, f*b - 4*c + 24 = -b. Let s be (-12)/b*4/(-10). Do s and 0 have the same value?
False
Let o(x) = 0*x**3 + 10*x - 10*x**2 + 5*x**3 - x + 1 - 4*x**3. Let u be o(9). Does u = 0?
False
Let k be (18/8)/((-1)/(-4)). Let t be (k/6)/(6/8). Suppose 3*a = -n - t*n - 21, -5*a - 5 = -5*n. Is n > -3?
False
Let o = 1 + 3. Suppose o*n + 4 = 5*n. Suppose 0 = 5*u - 3*c - 44 + 14, -u = c 