 0.2 + 2.2. Let o = h + -2. Let r = 0.6 + o. Is r bigger than 1?
False
Let h be (-4084)/1064 - 8/(-28). Let u = h + -18/19. Is u equal to -5?
False
Let l(w) = -w**2 - 3*w + 4. Let q be l(-4). Suppose 0 = -q*g + g. Which is greater: g or -3/5?
g
Let b(m) = 7*m + 9. Suppose -4*v - 9 = 3. Let p be b(v). Does p = -12?
True
Suppose o = 2*o + w + 1, -3*o - 4*w = 4. Let v be 3*(4/(-6))/2. Which is smaller: o or v?
v
Let b be 3 + -1 + (1 - 0). Suppose -4*s = b + 5. Is s equal to -2?
True
Suppose 0 = -3*v - 4 + 10. Suppose t + f = -2, 3*t + v = 7*t - f. Which is smaller: t or -2/7?
-2/7
Let v = 17.2 - 17. Let k = 1.7 + 0.1. Let o = v + k. Which is greater: o or -1?
o
Let i = 28 + -86/3. Which is bigger: i or 1?
1
Let o be ((-17)/51)/((-2)/6). Let l be (o + 0)*(13 - 6). Let a(s) = 3*s. Let f be a(2). Is l greater than f?
True
Let p = -1733/105 + 83/5. Let o be 1*(0 - -1 - 2). Is o <= p?
True
Suppose -f - 11 - 6 = 5*v, v + 5 = 0. Are 0 and f unequal?
True
Let x = -18 + 12. Suppose w - 16 = -3*w. Let b = x + w. Is 0.1 bigger than b?
True
Let x(o) = -o**3 - 3*o**2 + 11*o + 5. Let y be x(-5). Which is smaller: -1/4 or y?
-1/4
Let m = 258 - 178. Which is smaller: 81 or m?
m
Let w(a) = 0 + 2 - a - 1. Let q be w(5). Are 0 and q non-equal?
True
Let m = -20106 + 101141/5. Let n = m - 123. Which is smaller: n or -1?
-1
Let f be 5*48/39 + 2/(-13). Which is bigger: 4 or f?
f
Let a = -240/409 - -34894/27403. Let n = -2429/268 - a. Let g = 199/20 + n. Which is smaller: g or 0?
0
Let h = 59 + -4. Let w be (8/(-10))/(11/h). Let j = -88/3 - -29. Which is smaller: j or w?
w
Let p = -7 + 10. Suppose f = -p*f. Let h be 2/8 - (-1)/(-4). Are f and h equal?
True
Suppose 8 = 2*z - 4*z. Let n be (-26)/(-80) - z/(-20). Is n < -1?
False
Suppose 3*l = 2*c - 14, 3*l - c + 13 = -0*c. Let w = l - 2. Let o(q) = q**3 + 5*q**2 - 6*q - 2. Let h be o(w). Which is smaller: 2/3 or h?
h
Let a(t) = t**2 + 8*t - 1. Let w be a(-8). Let s be 2 + (2 - 5 - w). Is s > 1/10?
False
Suppose -4*j + 2*l = -4, -21*l + 6 = -j - 17*l. Which is smaller: j or 10/3?
j
Suppose 12 = -4*s + 32. Suppose -2*y = -s*y. Is -1/39 bigger than y?
False
Let z be 23 - (4/(-1) + 2). Let n = 27 - z. Which is smaller: n or 1?
1
Suppose 3*q - 5*t - 14 = 0, 0 = -4*q + t - 4*t + 9. Let b(a) = a**3 - 4*a**2 - 5*a + 4. Let l be b(5). Let m be ((-1)/(-3))/(l/18). Which is smaller: q or m?
m
Let z = 695/8034 + -7/78. Let u = z - -1865/3399. Are u and 0 equal?
False
Let s = -0.81 + -0.19. Is 17 != s?
True
Suppose -3*d + 5 + 4 = 0. Suppose 4*w + 9 = d*h - 18, -5*h - 5*w = -10. Suppose 2*f - 14 = -2*p - 0*p, 0 = 5*p - 5*f + h. Which is bigger: 2 or p?
p
Suppose -d - 6 = -3*d + 2*b, 0 = 2*b. Suppose 0 = -3*i + 3*z, 2*i + d*z + 21 = 1. Which is greater: -2 or i?
-2
Let a = 13 + -9. Let o = a + -4. Is o at least as big as -2?
True
Suppose 8 = 3*n + n. Do 1 and n have the same value?
False
Let d be 1 + 18/26 + -2. Which is bigger: 1 or d?
1
Let u be 0/(-3 + 2 + 4). Suppose -4*a + a = u. Is -4/7 bigger than a?
False
Let y = -0.1 + 0.4. Is 2/3 greater than or equal to y?
True
Let o be (-4 - -7) + 6 + 1. Let n = o + -10. Let z be (0 - (-2)/68)*-2. Is n less than z?
False
Suppose -95 = -5*d + 3*u + 2*u, u - 61 = -4*d. Let s be -9*(d/12)/(-2). Which is bigger: s or 7?
7
Let q = -2/511 - 57226/1533. Let w = 37 + q. Is -1/5 less than w?
False
Suppose 18 - 1383 = 13*f. Is f at most -105?
True
Let j = -1.02 + -0.03. Let b = j + 0.05. Are -7 and b equal?
False
Suppose 0 = -l - 3*i - 11, -i = 5*l - 4*i - 35. Suppose -3*r - l = -10. Suppose -3 = -g - r*g. Is g less than 1/8?
False
Let g(z) = -z**3 - 7*z**2 - 3*z + 6. Let j be g(-6). Let m be j/15 + -2 + 3. Suppose -4*q + 3*c + 2 = 4*c, -2*c + 4 = -3*q. Is q < m?
True
Let i be ((-13)/3)/(-1) + -4. Is -4.2 equal to i?
False
Let k = 11 - -1. Suppose -p + k = -4*p. Let m be (-42)/(-30) + p/10. Which is smaller: 0 or m?
0
Let c = 1.38 - 0.28. Let y = 1.3 - c. Let t be 2/6 - 4/(-6). Which is greater: t or y?
t
Let u = 17 + -8. Which is smaller: u or 1?
1
Let r = 0.07 + -1.67. Let d = -1.1 - r. Let k = d - 1.5. Which is greater: 0.1 or k?
0.1
Let t(n) = n + 10. Let l be t(-8). Suppose 9 - 3 = 2*k. Which is greater: l or k?
k
Let w = 204/5 - 7966/195. Let a(g) = -g**3 + 5*g**2 - 1. Let n be a(5). Which is greater: n or w?
w
Let o(v) = -7*v - 1. Let c be o(3). Let j be 48/c + (-10)/(-55). Which is smaller: j or 2/5?
j
Let w be (-22 + 1)*3/(-33). Which is bigger: 3 or w?
3
Let w = 13.6 - 14. Is 1/3 > w?
True
Suppose -12 = -3*a, -3*z + z + a - 90 = 0. Is z >= -43?
True
Let n be 5/(100/8) + 8/(-30). Which is bigger: 1 or n?
1
Let b(z) = z**3 + z**2 + 1. Let r be b(-1). Suppose 0*w = 4*w. Is r not equal to w?
True
Suppose -7*c = -9*c - 28. Is c less than -16?
False
Suppose 0 = -5*s + 5*c - 15, 3 - 8 = -c. Let o be -4 + 2 + -6 + s. Does -5 = o?
False
Let a = 188/777 + -16/37. Is 1 <= a?
False
Suppose 3*z - 1 + 7 = 0. Let a be ((-16)/24)/(8/10). Which is greater: z or a?
a
Let v = -7 + 5. Let q be 3/v - (-35)/10. Suppose -4*b = -q - 2. Which is greater: b or 3/5?
b
Let y = -10 + 11. Which is smaller: -1/22 or y?
-1/22
Let j = 102 + -101. Is 0.054 greater than or equal to j?
False
Suppose 0 = 3*g - g - 8. Suppose -2 = 2*x + g. Is x at most as big as -5?
False
Let v(k) = k + 7. Let n be v(-8). Let y = n + 4. Which is smaller: 5 or y?
y
Suppose -r = -j - 3, -2*r - 17 = 3*r + 3*j. Is r at least 1?
False
Suppose -7*u = -6*u. Suppose 0 = -c + f, -8*f + 3*f = 4*c. Suppose -4*z + c*z - 28 = u. Do z and -6 have the same value?
False
Let b = -467.97 - -466. Let y = 2 + b. Let r = 0.3 - 1.3. Is y > r?
True
Let j(n) = -n**2 - 4*n + 2. Let r be j(-4). Suppose -3*f - 3*s - 20 = -7*s, 10 = r*s. Is -2/25 at least f?
False
Suppose -13 = 3*u + 5. Let x be (-6)/24 - u/(-8). Is 1/6 smaller than x?
False
Let x(y) = -y**3 + y**2 + 2*y - 2. Let p be x(2). Let c be (p/(-3))/((-2)/(-6)). Is 3 less than c?
False
Let k(y) = y**2 - y + 1. Let q(l) = 3*l - 3. Let r(x) = -2*k(x) - q(x). Let m be r(1). Let v = -4 - m. Is v != -3?
True
Let t be 3*1 + (2 - 3). Suppose t = -5*u + 12. Which is bigger: u or -1?
u
Let o(i) be the second derivative of i**5/20 + i**4/2 + 2*i**3/3 - 3*i**2/2 + i. Let r be o(-5). Let g be (-1)/5 - (-42)/10. Which is smaller: g or r?
r
Let f = -559/3 + 187. Let k(i) = -i**2 + 5*i - 1. Let b be k(5). Which is bigger: f or b?
f
Let q = -18 - -37. Let x = -18 + q. Which is greater: x or -7?
x
Let h = -0.04 - -0.14. Let u = 160/3 + -478/9. Which is smaller: u or h?
h
Let d be ((-14)/(-4) + -3)*-8. Is 0.2 equal to d?
False
Let a = 6 - 3. Let n be a*(4070/(-34) - -1). Let i = -356 - n. Which is smaller: i or 1?
i
Let t be (-15)/(-18)*(-8)/(-10). Which is smaller: -3/5 or t?
-3/5
Let g be 4/(-10) - (-306)/(-10). Do -29 and g have the same value?
False
Suppose 12 = -6*u + 3*u. Let v = u + 3. Let n = v - 0. Is 2/5 smaller than n?
False
Let r be (-2 + 1 - -2) + -1. Suppose -4*y + 12 = -2*q, 2*q + 33 = -r*q - 3*y. Is -1 less than q?
False
Let d be (70/21)/(2/3). Let q = -4 + 4. Suppose -30 = -d*c - q*c. Is 5 > c?
False
Suppose 2*j + 3*a + 22 = -a, -3*j = -3*a - 12. Let y = j - 0. Let d be 2*(y - 6/(-7)). Which is greater: 1 or d?
1
Suppose -m - 5*k = 4*m, 5*m + 3*k - 2 = 0. Let w(s) = -s**3 + s**2 + 2*s. Let x be w(2). Suppose x = -2*d + 5 - m. Which is greater: d or 4/5?
d
Let g = -32 + 26. Let l be 4*(-11)/g - 4. Is l >= 3?
True
Let c = 0 + 0. Suppose -1 + c = u. Are u and 0.07 unequal?
True
Suppose -2*s = 3*w, 3*s = 2*s + 3*w. Suppose -3*a - 2*a = 10. Which is greater: s or a?
s
Suppose -j + 3 = -2. Which is greater: 7 or j?
7
Let t = -0.2 + 0.3. Let g = 7 - 6.7. Let q = -0.5 + g. Which is smaller: q or t?
q
Suppose 3*c - 10 = c. Suppose c = 3*u - 7, -20 = 4*l - 4*u. Is -2/3 != l?
True
Let p = 4 + -5. Which is smaller: p or -2/17?
p
Suppose -159 = 3*u + 135. Is u bigger than -98?
False
Let w be (-1 + 4 - -1)/2. Let u = w - -3. Which is greater: 6 or u?
6
Let w(z) = z**3 + 16*z**2 + 16*z + 15. Let b be w(-15). Is b not equal to -7/11?
True
Let w = -1.28 - -0.28. Let f = -4 - -3.2. Let b = f - -1. Is w < b?
True
Let w = 54 - 53. Are 13 and w non-equal?
True
Let q = -0.4 - 4.6. Let r = 4 + 4. Let p = q + r. Is -1 at least p?
False
Let i be (100/30)/(2/9). Does 15 = i?
True
Let w be -1 - 0 - (-1 + 6). Let u(n) = n**2 - 7*n + 6. L