1/(-4) + 164/16. Suppose -5*y + 0 = v. Which is smaller: y or -3?
-3
Suppose -8*w = -3*w - 4*z + 165, w - 4*z + 17 = 0. Is w > -38?
True
Let v be 1/2*(0 - 9). Let j = -5 - v. Let n(u) = u + 5. Let k be n(-6). Does j = k?
False
Let a = 4 - 9. Let m = 0 + a. Let q be 6 + m - (1 - 0). Are 0 and q unequal?
False
Suppose 5 = -3*s + 5. Is -6/5 != s?
True
Let a(w) = -w**2 - 5 + w + 7*w**2 - 3*w**3 + 2*w**3. Let l be a(6). Let c be (-1)/(2 - l)*-1. Which is bigger: c or -2/7?
c
Suppose 0 = 5*t - 25 - 25. Let m = t + -15. Let u be (-7 - m)*2/4. Is u greater than -1/8?
False
Let v = 48 + -47. Which is smaller: -1 or v?
-1
Let t(h) = h**3 + 7*h**2 + 6*h + 2. Let u be t(-6). Let v = -3 - u. Let w = 25 - 99/4. Is v < w?
True
Let d be 1 + 2/(4/2). Let y(m) = -2*m + 5*m**2 - 3*m**d - m**2. Let l be y(2). Is l > 0?
False
Let d = -7 - -7. Is d greater than 10/7?
False
Let l(o) be the first derivative of -o**4/4 + o**2 - o + 2. Let g be l(1). Which is smaller: g or -2/13?
-2/13
Let w be -2*((-2)/8 - 15/(-12)). Are w and -6 nonequal?
True
Suppose -5 = 3*z - 17. Suppose 10 = -4*h + 5*u - 4, 4*h = -z*u - 32. Is -6 != h?
False
Let b(r) = -r**3 + 6*r**2 + 7*r + 3. Let k be b(7). Suppose -2*t = -3*t + 2. Which is bigger: k or t?
k
Let f = 7.7 - -0.3. Let p = f + -7.7. Is 0.1 at least p?
False
Let q = -2 + 2. Let m(y) = y**2 - 2*y. Let w be m(1). Let t be 2/(w + (-2 - -6)). Is q >= t?
False
Let k(t) = t**3 + 8*t**2 + 6*t - 4. Let w be k(-7). Suppose -4*u + w*c = -6, 2*c + 0 + 4 = -2*u. Which is bigger: 2/7 or u?
2/7
Let q = -0.117 + 0.017. Which is smaller: q or -1/5?
-1/5
Let v = 0.4 + -0.2. Let t = -0.8 - -0.5. Let u = t + v. Is 2/5 >= u?
True
Let q be ((-12)/(-8) - 2)*-2. Is -2/3 at least as big as q?
False
Let x = -7 - -5. Which is bigger: -7/6 or x?
-7/6
Let o(y) = -y**3 + y**2 - y - 6. Let j be o(0). Is j at least -7?
True
Suppose -4*i + 16 = -0*i. Suppose 0 = -i*h - h. Let q be (-3)/((-24)/7) + -1. Which is smaller: q or h?
q
Let z = 267 - 1877/7. Do z and -1 have the same value?
False
Let n be (0 - -2 - 2)/(-2). Let l be 7/(-14)*(1 + -9). Suppose n*b - p + 4 = -3*b, 2*b = l*p - 16. Which is bigger: -3/7 or b?
b
Suppose -3*m - 27 = 2*x, -4*x + 2*m + 0*m - 62 = 0. Let a = -11 - x. Is a >= 4?
True
Let a = 19 - -8. Let p = -15 + a. Suppose -3*v - p = -v. Is -6 < v?
False
Let u = 0.06 + -2.06. Let k = u + 1. Suppose 0 = 2*p - 3*q - 4 - 2, 0 = -5*p - 3*q - 6. Which is greater: p or k?
p
Suppose o - 3 = -2. Let h be 8/(-6)*15/10. Let q be h/(-7)*(-2 + o). Which is smaller: 1 or q?
q
Let n be 3/(-9) + (-8)/(-6). Let u = 1854989/126 + -14722. Let h = u + -5/14. Is n at most as big as h?
False
Let j = 0.1 - 0.2. Which is greater: 2/7 or j?
2/7
Let u be (-3)/(3 - -3)*2. Let m be 1354/(-16) + (-4)/(-8). Let r = m + 84. Which is smaller: r or u?
u
Let u = -1 + 4. Let s = u - 1. Suppose 3*z - 4*c = -13, 5*z + 13 = -0*c - s*c. Which is greater: z or -3/2?
-3/2
Suppose 16 = y - 3*r, -2*r - 13 = y - 4. Let a(u) = -2*u + 1. Let z be a(y). Is -1 smaller than z?
False
Let g(v) = -v. Let z be 0/(-2 + 0/(-2)). Suppose 2*s = a + 2, z = a + 4*a. Let t be g(s). Is t greater than or equal to -1?
True
Let m(j) = j**2 + 4*j + 5 - 4*j - 5*j - 2. Let d be m(5). Suppose f - 6 = -d. Are f and 3 equal?
True
Let g(t) = -t**2 - 2*t + 1. Suppose -1 = -2*q + 1. Let b be g(q). Let r be (-3)/((-2)/b) + -2. Do -4 and r have different values?
True
Let f = -5 - -7. Suppose y + 5*b = -y + 7, -2*y + f*b = 0. Let p be (3/6)/(y*-2). Which is smaller: p or 0?
p
Suppose 2*g - 7*g = -j - 96, -5*j = 4*g - 100. Let d be (12/g)/((-2)/(-10)). Is 3 at most d?
True
Let m = -26 - -39. Let x = -14 + m. Which is smaller: x or -1/2?
x
Let b be (-49)/100 + ((-56)/(-8))/28. Is 0 <= b?
False
Let l = 0 + -1. Let t = 0.3 + -0.41. Let p = -0.01 - t. Which is smaller: p or l?
l
Let b be (-1)/(-3)*(-9)/48. Is b smaller than -1/3?
False
Suppose -4*l = -3*l - 25. Suppose -5*t + l = z, 3*t = -t + 3*z + 1. Suppose t = h + 3*h. Is h at least as big as 2?
False
Let d = 7 + -7. Let j = 6.8 + -0.8. Which is smaller: j or d?
d
Suppose 0 = c + 18 - 5. Let d = c + 8. Let m be 64/(-30) - 10/d. Which is greater: 0 or m?
0
Let r be -1 - (3 + 138/(-33)). Which is smaller: 0.02 or r?
0.02
Suppose -x + 0 + 2 = 0. Let a = -19 + 59/3. Is x at most as big as a?
False
Let t = -7.3 + 0.3. Let g = t + 13. Do 1/4 and g have the same value?
False
Let h = -5 - 1. Let b be (4/h)/((-4)/54). Let x be 6/b*3/2. Which is bigger: -1 or x?
x
Let k(x) = -x**2 + x - 5. Let f = 3 - 6. Let n(b) = -b - 3. Let g be n(f). Let o be k(g). Are o and -4 non-equal?
True
Suppose 0 = -4*r - 5*w - 43, -4*w - 19 = -r + 2*r. Let f be (-96)/9 - r/(-21). Are f and 2 equal?
False
Let u = -17 - -16. Let y = -1.08 - u. Which is bigger: y or 0?
0
Suppose -3*v = -6, 3*v - 36 = -4*d - 126. Let c be ((-1)/3)/(2/d). Let i = c - 4. Which is greater: i or 3/7?
3/7
Let j(t) = t**3 + 7*t**2 - 8*t + 1. Let a be j(-8). Suppose -5*b - 31 + a = 0. Is -4 smaller than b?
False
Suppose 140 = 2*o + 142. Which is smaller: 1/81 or o?
o
Let y = 1/8 - 23/24. Let q = -4/3 - y. Which is greater: -3/5 or q?
q
Let f = -1597/120 + 451/30. Let n = -17/8 + f. Which is smaller: -3/5 or n?
-3/5
Let q = -831/7 + 119. Is q <= -4/9?
False
Suppose 0 = -10*i + 14*i + 28. Is -7 < i?
False
Let p be (-6)/(-2) + (-18)/6. Suppose 2*g + 3*g = p. Is -2/11 smaller than g?
True
Let x be (-4)/(-26) - (-160)/(-195). Is -77 at most x?
True
Let n = 1 + 1. Suppose n*i = -0*i + 12. Let b be i/(-4) + (-1)/(-2). Which is bigger: 0 or b?
0
Let c(p) = p**3 - 23*p**2 + 22*p + 1. Let y be c(22). Which is smaller: -1.3 or y?
-1.3
Let r = 295 - 5009/17. Which is bigger: r or 1?
1
Let b be 58/28 - (2 + 0). Are 1 and b equal?
False
Let t = 2406/41 - 444920/7667. Let b = t - 8/17. Which is greater: b or 0.2?
0.2
Let o = -94 + 95. Which is smaller: 2/87 or o?
2/87
Let g(r) = r**3 + 10*r**2 + 9*r + 1. Let v be g(-9). Let j be (-3)/(-18)*-4 + v. Are j and -1/10 nonequal?
True
Let c(p) = -p**2 + 2*p + 2. Let d be c(3). Is -2/33 at least as big as d?
True
Let r(c) = c**2 - 13*c + 41. Let d be r(12). Is d at least 29?
True
Let s = -1.9 - -0.9. Do s and 3 have different values?
True
Let z(q) = 2*q - 3. Let b be z(3). Suppose -b*g = -2*g + 1. Is g less than 0?
True
Let b(a) = -a**2 + 12*a. Let q be b(11). Which is greater: 12 or q?
12
Suppose 0*j - 6 = 3*d + 5*j, 6 = -3*d + 4*j. Let y be (-2)/5*6/4. Is y < d?
False
Let a(m) = -m + 2. Suppose -b = 3*g + 3*b - 13, 0 = -2*g - b + 7. Let o be a(g). Let k be o/(-2) - (-54)/(-60). Which is bigger: k or 2/7?
2/7
Let a(b) = b**2 + 9*b - 5. Let m be a(-10). Suppose m*l + g + 4*g = 0, 4*g + 2 = -3*l. Let k be l + -4 + (1 - 2). Is -1 at most k?
False
Let p be ((-345)/(-171) + -2)/(4/(-6)). Is p not equal to -1?
True
Suppose 4*i - 5*p - 8 = 0, 2*p + 25 = -3*i - 2*p. Suppose 5*l + 2 = 4*l. Is l <= i?
False
Let l = 37.4 - 36.4. Let u = -0.1 + 0.1. Which is smaller: u or l?
u
Let u = -0.1 - -0.2. Let w be (-22)/14 - (18/(-7) + 2). Is w greater than u?
False
Let p = -60 - -48.2. Let h = 11 + p. Which is smaller: -0.1 or h?
h
Suppose 2*k = 3*k + 3*j - 6, 4*k - 3*j + 36 = 0. Let n = 16 - 12. Let t = n + k. Are t and -3 nonequal?
True
Suppose -4*a + 16 = 4*c, 7 = 4*a - 5. Suppose s + 0 = c. Let y = 293 + -2929/10. Which is smaller: y or s?
y
Suppose 8*a + 3 = 5*a. Which is bigger: -6/13 or a?
-6/13
Let q = 8 - 7.4. Let a = 5.4 + q. Let x = a - 5. Is -1 at most as big as x?
True
Suppose 0 = 2*p + 2*o - 6 - 0, -2*p + 5*o = 1. Do 12/7 and p have the same value?
False
Let p = 8.79 - 9. Let b = p - -0.11. Which is greater: b or 1/15?
1/15
Let z be (2/(-3))/(140/(-6)). Which is greater: z or 0?
z
Let t(s) = -7*s - 3. Let k be t(-2). Suppose h = c - 2, 0 = 4*c - 0*h - 5*h - k. Is 3 greater than c?
True
Suppose 0 = 3*k - 5*f - 17, 3*k + 1 = -f - 6. Let n = 66/31 + -1137/403. Let v = -76/91 - n. Is v > k?
True
Let o(t) = -t + 1. Suppose 2*r + 1 = -1. Let s be o(r). Let k be s/4 + (-12)/8. Do 2 and k have the same value?
False
Suppose 4*j + 3*t - 15 = 0, -6*t + 20 = -4*j - 2*t. Let o = 1.997 + 0.023. Let d = 0.02 - o. Is d smaller than j?
True
Let m = 7 + 4. Does m = 11?
True
Let g = 11/2 + -5. Is 6 greater than g?
True
Suppose z + 1 = -4. Let f = -1 - z. Is 4 > f?
False
Let d = -9 + 9.3. Is -1 greater than d?
False
Let c