 != z?
True
Let s = 0.02 + 3.98. Let v = 12 + -12.1. Which is smaller: s or v?
v
Suppose -2*g + 4 = 3*o + 2, 0 = 2*g + 2*o. Let p be 2*-1 - 2/(-2). Which is bigger: g or p?
p
Let h be (-5)/(20/(-14)) + 0. Is 5 at most h?
False
Suppose 3*a - 2 = 4*b - 16, -5*b + 17 = -4*a. Is 3 at most b?
True
Let c be (4 - 13)/((-5)/(20/102)). Suppose -g + 5*n = -1, 5*g + 0*n = 2*n + 5. Which is smaller: c or g?
c
Let n(d) = d**3 - 2*d**2 + d - 2. Let b be n(2). Let m = b + 0. Suppose -24 = -0*q - 2*q - 4*g, 3*q + g = 11. Is q greater than m?
True
Let n = -26 + 31. Let b = -1.5 - -7.5. Let v = b - n. Are -0.2 and v equal?
False
Let m = 20 + -19. Let b(s) = 4*s + 1. Let c be b(m). Is 3 equal to c?
False
Let x = -953/5 - -196. Suppose -3*f - 5*q - 5 = 5, q - 11 = 2*f. Let b = f + x. Does b = 1?
False
Let d be 2/5 - 13/20. Let y be 0 + (-1 - (3 - 4)). Is y less than d?
False
Let t = -189.8 - -190. Is t < 30?
True
Suppose -5*i - 3*t = -5*t - 2, -5*i - t - 1 = 0. Let x = i - 1. Is 1/3 bigger than x?
True
Let m be (7 - 8) + (-1 - 2). Do -3 and m have the same value?
False
Suppose 3*d - 160 = -5*q, 2*q + 5*d - 136 = -53. Do 29 and q have the same value?
True
Let g = 12 + -6. Suppose -3*w = 3*s - 9, -g*w + 3*w = -2*s - 9. Let f be (-136)/(-224) + (-6)/8. Is f > s?
False
Let k be 0*3*3/9. Suppose -4*q + k = -4. Is 1 at least as big as q?
True
Let x be (32/(-18))/(-2) + (-4)/18. Does 2 = x?
False
Suppose w - 2*w = -2. Let u(i) = -i**3 + 3*i**2 + i - 2. Let n be u(w). Let r = 97 + -189/2. Is r equal to n?
False
Let m = 29.02 + 1.98. Which is bigger: m or 0?
m
Let q(w) = w**2 - 4*w + 2. Let r be q(5). Suppose -r = -d + 2*d. Is -6 smaller than d?
False
Let x = 0.2 + 2.8. Let l = x + 0. Let k = -2 + l. Which is greater: -1 or k?
k
Suppose -5*y = 5*m - 135, -y - y = -2*m - 66. Suppose -20 = -4*s, -s = 5*o + 4*s - y. Let k = -12 + 11. Is o != k?
True
Suppose 0 = -c - 5*y - 14, -2*c + 0*y + 8 = y. Suppose 0 = b - 5*x - 7, -2*x = 4*b + b - 35. Which is smaller: c or b?
c
Suppose -3*l - 2*l = 3*a + 23, 2*a = -2*l - 10. Let f be (3 + -3)/a*-1. Which is smaller: f or 1?
f
Suppose 6*x = x + 50. Suppose -5*a = 2*m + 34, -m = -0*a - 2*a - x. Let p be 2/a - 2/(-6). Is -2/5 greater than p?
False
Let v be (5 - 1)/(3 + -1). Let n be 3 - (v + -1 - -3). Is 2/5 < n?
False
Suppose 13 = w + 2*y, 4*w + 3*y = y + 28. Suppose 3*t + 0*t = -3*n - 3, -w*n = 20. Let m be (-4)/((-12)/9) + 1. Which is smaller: t or m?
t
Suppose 4*p - 5*q = 33 - 177, q - 159 = 5*p. Which is greater: p or -30?
-30
Let m be (-248)/(-770) - (-4)/(-14). Is m < 0?
False
Let d(t) = t**2 - 6*t - 3. Let f be d(7). Is -0.2 equal to f?
False
Let z = -2 - -1. Let v be 18/30*(-5)/(-12). Which is smaller: z or v?
z
Let w be 3/(-2)*10/60. Let k be (1/3)/((-11)/(-13)). Let i = -2/33 + k. Which is greater: w or i?
i
Let u = 0.12 + -1.12. Is -0.13 less than u?
False
Suppose 5*u - 3*u = 0. Let y = -1.1 - -0.3. Which is bigger: u or y?
u
Let j be 6/15 - 128/20. Which is greater: -7 or j?
j
Let j = 100 + -395/4. Which is smaller: -7 or j?
-7
Let c be (6/(-10))/(-3*(-5)/(-75)). Suppose r - 2*r + 4 = 0. Is c != r?
True
Let k(a) = a - 4. Let f(l) = -5*l - 6. Let i be f(-4). Suppose 3*j = -5*v + 34, 3*v + 6*j - i = j. Let g be k(v). Which is smaller: 3 or g?
3
Let r be (-4)/(3/((-1089)/14)). Let m = -1 + 105. Let h = m - r. Are 2/7 and h unequal?
False
Let n = 55 + -75. Is -18 smaller than n?
False
Let s(y) = y**3 + 7*y**2 - 6*y + 15. Let r be s(-8). Which is smaller: 5/13 or r?
r
Let d be 1 + 0 - (2 + 151). Let u = 882 - 2075/2. Let m = u - d. Do -3 and m have the same value?
False
Let n = 60 + -60. Are n and -2/3 nonequal?
True
Let u be 130/(-14) - (-6)/21. Is u at most -9?
True
Let u = -0.02 + 0.52. Which is bigger: 1 or u?
1
Let y(c) = -c**2 + 6*c + 1. Let r be y(4). Let n(k) = k**2 + 9*k + 17. Let d be n(-8). Is r at most d?
True
Let p = 8/3 + -50/21. Which is bigger: 1.1 or p?
1.1
Let t = -7 + 6.9. Let v = 2.5 + -2. Is v > t?
True
Let g be 2/(-1 - (-9)/6). Let s(m) = -m**3 - 5*m**2 - m - 4. Let a be s(-5). Suppose g*x = 3*y + 17 + a, y + 5 = x. Is 2/7 greater than or equal to y?
True
Suppose 4*o - 4*x - 4 = x, 2*x = 4*o + 8. Which is greater: -1/7 or o?
-1/7
Let n = -0.1 - 0. Let s be (1/(-2))/(2/4). Which is smaller: n or s?
s
Let p = -8 + 8.06. Let x = p - -0.14. Which is bigger: x or -0.1?
x
Let o(u) = 3*u**2 + 10*u + 3. Let m be o(-3). Which is smaller: m or 1?
m
Let h = -0.22 - -0.3. Is h greater than 0.1?
False
Let s(l) = l**2 + 7*l. Suppose 3*a + 25 = 4. Let r be s(a). Let x(h) = -h**2 - 13*h - 22. Let g be x(-11). Do g and r have different values?
False
Let r be (-1)/((3/(-45))/((-6)/15)). Suppose 0*h - 5*l = -h + 9, 0 = 2*h + 3*l + 21. Is r greater than or equal to h?
True
Let c = 5/8 + 1/24. Let g(v) = -v**3 + 3*v**2 + 5*v - 1. Let r(n) = -2*n**2 - 4*n + 1. Let t(j) = -3*g(j) - 4*r(j). Let u be t(1). Is u not equal to c?
True
Let i be 3/2 - 246/4. Let j = i - -542/9. Are j and -1 equal?
False
Let x = 7 - 2. Let b(y) = y - 2. Let q be b(x). Let f = -1 + q. Are f and 0 equal?
False
Let c(x) = -587*x**2 - 3*x - 2. Let i be c(3). Let m = i - -36980/7. Let k = -80/7 - m. Which is smaller: -1 or k?
-1
Suppose -3*p + 4 + 8 = 0. Let h = -0.6 - -0.1. Let b = -0.6 - h. Which is smaller: b or p?
b
Let g = -4 + 6. Suppose -g*t = -0*t. Let l = 1 - t. Is 0 < l?
True
Let i(p) = p**3 - 7*p**2 - 8*p + 4. Let t be i(8). Suppose f - t*f + 20 = 5*r, 2*f = -5*r + 15. Do r and 1 have different values?
False
Let g be ((-2)/(-40))/(21/(-28)). Which is bigger: 0 or g?
0
Let z = -3 - -2. Let v be (-1 - -1)/(2*z). Let r be -1 - 10*(-3)/54. Is v > r?
True
Let a(o) = o**2 + 7*o + 11. Let q be a(-8). Is q less than 19?
False
Let f(g) = g**3 - 13*g**2 - g + 4. Let l be f(13). Which is smaller: -39/5 or l?
l
Let w = -19 - -8. Is w smaller than -10?
True
Let s(l) = 4 - 11*l + 4*l + 6 + l**2. Let g be s(8). Which is smaller: g or 17?
17
Let o = 6 + -9. Is -3 greater than or equal to o?
True
Let h = 226 + -225. Let j be ((-288)/(-46))/(-3) - -2. Which is bigger: h or j?
h
Let x be (-6)/2*1 + 3. Let w be ((1 - x) + -6)*-1. Which is greater: 4 or w?
w
Let o(u) = 3*u**3 + u - 1. Suppose 3*c - 2 = 1. Let d be o(c). Suppose 3*j - 6 = d. Is 4 bigger than j?
True
Let m(y) = y - 5. Let q be m(5). Suppose 2*i + 3*i + 10 = q. Which is greater: -3 or i?
i
Let w = 3 + -1.9. Let i = w + -2.1. Let g = -4.04 - -0.04. Which is bigger: i or g?
i
Let i be -3 - (0 + (-266)/90). Which is bigger: 1 or i?
1
Suppose -8*u = -9*u - 1. Is 5/26 less than u?
False
Let s = -0.879 + -0.121. Which is smaller: s or 6/5?
s
Suppose -2*o + 65 = 3*o. Is 15 at most o?
False
Let j(a) = -a**2 - 6*a - 6. Let u be j(-5). Let h = 1496/9 + -166. Which is smaller: h or u?
u
Suppose -2*z + 3*z - 3 = -5*f, 4*f = 5*z - 15. Let p = 9 - 83/9. Which is smaller: f or p?
p
Suppose -5*g - 4*o - 20 = -1, g + 4*o + 7 = 0. Which is bigger: -19 or g?
g
Suppose 6*l - 2*l + 8 = 0. Let p be (4*2)/((-4)/l). Suppose -2*t - p = -0*t. Which is smaller: t or -1?
t
Let a be (-810)/(-40) + 6/8. Is a < 21?
False
Let x = -46 + 46.3. Is 10 greater than or equal to x?
True
Let i(f) = -f - 2. Suppose 2*g = o + 4*o - 17, 21 = -4*g - 3*o. Let w be i(g). Suppose -1 + w = s. Is 0 < s?
True
Suppose -10 = -5*d, h + 7*d - 17 = 2*d. Let o(s) = -s**3 + 6*s**2 + 6*s + 4. Let j be o(h). Is j <= -3?
True
Let s be ((-1)/(-2))/(17/(-34)). Which is greater: s or -4/9?
-4/9
Let d(o) = -2*o**2 - o + 3. Let t(a) = a**2 - 1. Let u(h) = d(h) + 3*t(h). Let z be u(0). Is 1 bigger than z?
True
Let q(w) = 2*w**3 + 10*w**2 - 11*w + 12. Let x(a) = 3*a**3 + 11*a**2 - 12*a + 13. Let n(u) = 4*q(u) - 3*x(u). Let k be n(6). Is -3 at most as big as k?
True
Let m = -23086157/180 + 128256. Let u = -1/36 - m. Let p = -11/15 + u. Is p <= 0?
True
Let s = 156.2 + -156. Which is bigger: s or -8?
s
Let p = 37 + -554/15. Which is smaller: p or 0?
0
Suppose -3 = -7*y + 10*y. Let j = 1470/13 + -113. Which is smaller: y or j?
y
Let f = 3.2 + -5. Let c = -0.8 - f. Which is smaller: c or 0.07?
0.07
Let u(q) = 20*q**3 + q**2 - 1. Let r be u(-1). Let m = r - -13. Are -7 and m unequal?
False
Suppose -3*o + o = 12. Let k be 2/15*(-4 + 1). Which is bigger: k or o?
k
Suppose -36 = -w - w. Let p be (1/(-3))/((-2)/w). Which is smaller: 4 or p?
p
Let u = 1060/7 + -152. Is u less t