 i or -3?
i
Suppose 0 = -y + 12 + 4. Is y <= 16?
True
Let b be 575/185 + -4 + (1 - 0). Which is smaller: b or -1?
-1
Let g = 10.2 - 11. Let i = g - -5.8. Let c = -4.9 + i. Is c bigger than -1?
True
Suppose -4*m + 108 = -2*a, 0 = 3*a - 2*m - 13 + 171. Is -52 at most a?
True
Let h = 4 + -4. Let c be (3 + -1)*(-2)/(-4). Is c equal to h?
False
Let k = 2.9 - 3. Suppose 3*a + a = 4. Let s be -4*a*(-3)/(-6). Is s >= k?
False
Suppose y - 190 = 3*y. Let k be (-4)/(-10) + y/(-75). Which is smaller: 0.1 or k?
0.1
Suppose o + 2*o = -y + 40, 0 = 4*o - 5*y - 85. Let z be ((-4)/o)/((-2)/5). Which is smaller: z or 2?
z
Suppose 0*o = o. Let t = 7/9 - 23/18. Is o at least t?
True
Suppose 4*u + 0 = -4. Which is bigger: 2/13 or u?
2/13
Suppose 1 = -v + 6. Let m(o) = -2 - 3*o - 2*o + o**2 + 0*o. Let h be m(v). Which is smaller: -3 or h?
-3
Let j be ((-2)/(-27))/(2/(-12)). Is 0.2 at least j?
True
Let u = 8.09 - 8. Is 3 not equal to u?
True
Let w = 15 + -9. Let s = 7 - w. Which is smaller: -3 or s?
-3
Suppose -3*g - 2 + 62 = 5*p, -63 = -5*g + 4*p. Is 15 less than or equal to g?
True
Let a = -13 - -13. Is 10/9 at most as big as a?
False
Suppose -3*y = 15, 4*i + 3*y - 41 = 8*y. Suppose 0*k = i*o + k, -5*k = -4*o. Are 1 and o equal?
False
Suppose 4*h + 2 = 4*c + 6, 23 = -h - 5*c. Suppose 0 = -2*u - 4, -11 = -4*x + u + 7. Let m be (3/x)/((-1)/4). Is m at most h?
True
Let o = -15 + 16. Suppose -g = -3*l + 8*l - 29, 0 = -4*l - 3*g + 32. Is l at least as big as o?
True
Let n = 31 + -29. Are n and -0.1 equal?
False
Let w be 5/(((-12)/(-2))/(-2)). Let b = 11/9 + w. Are 0 and b nonequal?
True
Let r = -5 + 3.8. Let y = r - -1.13. Which is bigger: 1/3 or y?
1/3
Let i = -17 + 28. Let h = i + -12. Is 1 at most h?
False
Let z = 13/45 - -2/45. Let o(v) = -v**2 - 4*v - 1. Let a be o(-5). Let h be (-1)/(-3) - a/(-18). Which is bigger: h or z?
z
Suppose -4*q - 2*g - 3 = 3, 0 = q - 2*g - 11. Which is greater: q or -4?
q
Let q = -0.6 + 1.6. Is q != -0.17?
True
Suppose -f + 12755 = -5*h, -h = -0*h + 3*f + 2567. Let z be 1/((-15)/h) + -2. Let b = z + -168. Is b < 1?
True
Let f = 6 - 6.07. Let t = 0.11 + 0.06. Let l = f + t. Is 6 less than l?
False
Let b = -2.95 + -0.05. Let q = b - -3.1. Is q at least 2/3?
False
Suppose 2*k = 12*k - 490. Which is greater: k or 50?
50
Let j = 0.02 + 0.18. Which is smaller: 1 or j?
j
Suppose v + 0*v = 5. Suppose 0 = -v*u - 5 - 10, -3*i + u = 3. Which is greater: i or -6/11?
-6/11
Let u = 2 + -2. Suppose 0 = 4*c + 2*t + 2 - u, c + 1 = -t. Suppose -2*n - 2 = -4*a, c = -a + 5*n + 5 - 0. Which is smaller: -1 or a?
-1
Let g = -27 - -35. Which is greater: g or 1?
g
Let o(n) = n - 4. Let m(l) = l - 3. Let x be m(7). Let q be o(x). Is q at least -4/5?
True
Suppose 8*i + 192 = 4*i. Is i not equal to -48?
False
Let z = 7 + -6.4. Let h = -0.3 + z. Let y = 0.4 - h. Is 2 bigger than y?
True
Let m = -304 + 315. Let z = 0 + 1. Which is smaller: z or m?
z
Suppose -3*m - d + 75 = -2*d, -55 = -2*m - d. Is 27 bigger than m?
True
Suppose 4*w + 5*p - 5 = 0, -5*w + 5*p = 4 + 1. Suppose -h + w = -1. Which is smaller: h or 1/4?
1/4
Suppose 2*v = -2*z - 2*z + 10, -4*v + 3*z - 2 = 0. Let n = 45 - 29. Let a be 30/88 + (-4)/n. Which is smaller: a or v?
a
Suppose 0*h = 12*h + 48. Is -16/5 at least as big as h?
True
Let x be (3 - 8/6)/((-3)/(-2)). Which is smaller: x or 2?
x
Let b(w) = -3*w + 5*w**2 - 3 + 1 - 4*w**2 + 0*w**2. Let g(f) = -f**3 + 3*f**2 + 5*f - 1. Let k be g(4). Let j be b(k). Which is smaller: j or -3?
-3
Suppose -23 = 5*a + 5*p - 3, -5*a + p = -4. Suppose 10 = 2*w, -4*v + w - 3*w + 6 = a. Let t = -106 + 527/5. Which is smaller: t or v?
v
Let g(b) = b**3 + 5*b**2 + b - 6. Let y be g(-4). Let r = -6 - -11. Is r at least y?
False
Let m(l) be the third derivative of -l**6/120 + l**5/5 - 5*l**4/12 - 7*l**3/3 + 7*l**2. Let b be m(11). Which is smaller: b or -2?
b
Suppose -5*d = -0*d + 20, 5*z - 3*d = 7. Which is smaller: -21 or z?
-21
Suppose -4*w + 23 = -5*o + 3, 3*w - 15 = 3*o. Suppose w*j - i - 100 = -15, 85 = 5*j + 2*i. Is 16 smaller than j?
True
Let t = 0.6 + -0.6. Let y = -5 - -5. Is t at least y?
True
Let q be 26/(-10) + 4 + (2 - 3). Let c = -9 + 4. Which is greater: c or q?
q
Let s(d) = d**2 + 9*d + 10. Let m be s(-8). Is 3 < m?
False
Suppose 8*r = -r - 153. Is -17 equal to r?
True
Suppose u + u = -4*f - 142, 5*u + 344 = f. Let c = 1/11522 + -798311/11522. Let o = c - u. Which is smaller: -0.1 or o?
o
Let q be (-1 - 0)/(23/23). Which is bigger: q or -2?
q
Suppose 3*k + c = -c + 1, 11 = 5*k + c. Let i = 4 - 0. Suppose -k*w - 2*w + v + 20 = 0, 0 = -2*w - 2*v - i. Is 2 < w?
True
Let b be (-4 - 23) + 1/(1/2). Which is smaller: -23 or b?
b
Suppose -5*n - o - 2*o = -110, 2*o = 0. Let z be 77/n*-2*1. Is -6 > z?
True
Suppose -18 = -13*l - 5*l. Which is bigger: l or 28/17?
28/17
Let d be (-2)/(-9) + (-32)/(-18). Suppose -3*g + k + 1 = 0, 3 = -g + 3*k - d*k. Which is smaller: g or 3?
g
Let i = -42.083 + 0.083. Which is smaller: i or -1?
i
Let a(h) = -h**2 - 2*h + 1. Let n be a(-3). Let d be 2/(n/(8 - 0)). Let v = -5 - d. Is v greater than or equal to 2?
True
Suppose -3*l - 2*q + 4 = 0, 0*l + l - 5*q - 7 = 0. Suppose -7*f + 10*f = 0. Is f at most l?
True
Let a(m) = -m. Let w be a(7). Let v = w + 9. Are 0.1 and v equal?
False
Let x(v) = 2*v + 9. Let g(q) = -q. Let j(f) = -5*g(f) - x(f). Let y be j(4). Which is greater: 1 or y?
y
Let z be ((-2)/(-3))/((-4)/(-12)). Which is smaller: 7/6 or z?
7/6
Let s(u) = 2*u**2 - 6*u - 13. Let g be s(5). Let y = -12 - -18. Which is smaller: y or g?
y
Suppose 5*r - 161 - 64 = 5*c, -4*r - 2*c = -198. Which is smaller: r or 1/3?
1/3
Let f(b) = b**2 - 6*b + 3. Let r be f(6). Suppose 2*h = 0, -o = -r*o - h. Which is smaller: o or 10?
o
Let y = 4 - 3. Let b = y + -3. Is b less than or equal to -6/7?
True
Let d = 8 + -7. Which is bigger: d or 17?
17
Suppose 4*j = 6*j. Let d be (0 + j - 0)/(-1). Is 0.1 != d?
True
Let l = -14/5 + 16/5. Is l smaller than -1?
False
Let w(r) = -r**3 - r**2 + 15. Let q be w(0). Let u be (4/(-10))/(21/q). Which is smaller: -2 or u?
-2
Let k be ((-99)/24)/(3/(-4)). Are k and 6 equal?
False
Let k(x) be the second derivative of -1/2*x**3 + 3/2*x**2 + 0 - 1/12*x**4 + 2*x. Let g be k(-4). Is g at least 2/21?
False
Let x be ((-4)/18)/(1/(-3)). Does x = 8/7?
False
Suppose 12*r = 6*r + 18. Which is greater: 8/5 or r?
r
Let n = 28 - 28. Let m = 1/3 + -8/15. Which is bigger: m or n?
n
Let h be (-6)/(-8)*(-64)/(-456). Is h greater than or equal to -1?
True
Let j = 0.18 + 0.02. Are -7 and j unequal?
True
Suppose 4*j = 2*d + 16, -d + 2*j - 5 = j. Is -3 at most as big as d?
True
Let s(i) = 4 + 9*i - 10*i**2 + 2 + 6*i**2. Let a(j) = 3*j**2 - 8*j - 5. Let u(k) = -5*a(k) - 4*s(k). Let h be u(-3). Which is bigger: h or 0?
0
Let v be 1/(-4 - 39/(-9)). Do 18/11 and v have different values?
True
Let o = 117 - 66. Let v be 6/4 + o/(-2). Let k be 3/4*v/(-39). Does 0 = k?
False
Let i = -22.8 + 23. Is -1 != i?
True
Let k be (-4)/(4 + 228)*2/(-4). Which is smaller: 1 or k?
k
Let r be 22/99 - (-47)/(-9). Is r >= -3?
False
Let t(k) = k**3 + 2*k**2 + k. Suppose -3 = u + 2*u. Let d be t(u). Which is greater: 1/3 or d?
1/3
Let d(i) be the third derivative of -i**4/24 + 2*i**3/3 - 2*i**2. Let q be d(3). Is -4/9 greater than or equal to q?
False
Let q be (1/1 - -2) + 9. Let k = -11 + q. Is k not equal to -4/11?
True
Let o = -1839 + 7415/4. Which is smaller: 16 or o?
o
Let k be 4/6 + (-4)/6. Suppose k = 6*d - 10*d. Which is bigger: 1 or d?
1
Let v(y) = -y**2 - 6*y - 6. Let d(l) = l**3 - 5*l**2 - 2*l + 6. Let p be d(5). Let q be v(p). Is 2 >= q?
True
Let p(o) = o**3 + 14*o**2 - o - 13. Let h be p(-14). Is h at most as big as 12/7?
True
Let l(y) = y - 5. Let p(b) = -3*b - 1. Let g be p(-2). Let r = g + 2. Let n be l(r). Do 0 and n have the same value?
False
Suppose 0*c = c. Let j be (3/2)/(7/(7/(-9))). Is j < c?
True
Let r = -20.22 - 0.78. Which is smaller: -2 or r?
r
Let r = 68/5721 + -4884031/17163. Let s = -285 - r. Is 0 <= s?
False
Let o be (6/(-12))/(-1*(-2)/(-4)). Which is smaller: -1/8 or o?
-1/8
Let u = 0.13 + 1.87. Is u bigger than -5?
True
Let y = 7 - 4. Suppose -p + 4*b = 3 + 1, -y*p - b + 14 = 0. Suppose -5*x + 2 = -3. Which is greater: p or x?
p
Let u = -119 + 118. Let q be (-2)/(-18) + 2/(-6). Is u at least as big as q?
False
Let l be 40/15*(