 1). Is -1 equal to h?
False
Suppose 2*l = -2*q - 13 - 11, 5*q + 25 = 2*l. Let t = 12 - 18. Which is smaller: q or t?
q
Suppose 2*f - 3*f + 4 = 0, -y = 3*f - 18. Which is smaller: 9 or y?
y
Suppose -2*x - n + 1 = 2*x, -2*x + 4 = 4*n. Is -1.2 not equal to x?
True
Suppose -5*y + 130 = -370. Suppose 0 = 6*r - r + y. Let i be r/21 - 2/(-3). Which is smaller: i or 0.3?
i
Let c = 6 + 14. Let u be c/8*(-4)/(-5). Is u > 5/6?
True
Let b(j) = -3*j**2 - 4*j - 3. Let k be b(-2). Let l = -11 - k. Suppose 4*r - 3*g = -0*g - 10, 3*r - g = -10. Do r and l have different values?
False
Suppose -5*y + 5*u + 5 = 0, 5*y - u = -0*u - 7. Let m = -1744/11 - -158. Which is smaller: y or m?
y
Suppose 5 = 3*k - 2*u, 2*u = -3*k - 2*u - 19. Let q be ((-1)/6)/(72/(-162)). Which is bigger: k or q?
q
Suppose 5*r = -2*r. Is r > -1/5?
True
Let g = 18 + -32. Let k = g - -14. Let a be 6/4*24/(-99). Which is smaller: k or a?
a
Let t = 12 - 11. Which is smaller: -2 or t?
-2
Let k = -29 - -34. Which is smaller: -1 or k?
-1
Let m be ((-8)/12)/(6/(-261)). Are 29 and m equal?
True
Let q = 16 - 22. Let k = q - -2. Is k < -4?
False
Suppose 60 = -0*u + 3*u. Suppose 5*b + 2*d + 25 = 0, -4*b + 4*d - 2*d = u. Let k = -3 - b. Which is smaller: k or 0?
0
Suppose 3*b = -17 + 182. Let w be 10/4*(-66)/b. Let j = -14 + 9. Are w and j nonequal?
True
Let n(v) = v**3 - 5*v**2 + 5*v - 2. Let d be n(4). Is d at least -4?
True
Let j = -6887 - -1411954/205. Let o = -9/41 - j. Are o and 1 equal?
False
Let a = -60 + 90. Which is bigger: 0.1 or a?
a
Let w(h) = -h**3 - 3*h**2 + 2*h - 2. Let y be w(-2). Is y less than or equal to -9?
True
Suppose 22 = 5*q - 18. Suppose 0*o = -4*o - q. Let z = 2 + o. Is 2/3 at least z?
True
Let x(y) = -y - 6. Suppose 3*q + 2*q = 0. Let i be x(q). Is -5 != i?
True
Let z(r) = r**2 - 12*r + 6. Let y be z(11). Let v be (-6)/(3 - (-1 - -3)). Let f = v - y. Do -4 and f have different values?
True
Let v be (-2)/(-3) + 95/15. Let l be (-2 + v/2)*-2. Which is smaller: -3/2 or l?
l
Let p = 796/5 + -159. Let x be (0/1 + -2)*1. Let j be 1*(-1 + 0 - x). Which is greater: p or j?
j
Let k be (21/14)/(1*-3). Is -1 > k?
False
Suppose 8 = 2*k + 2*k. Let s be (-1 - 1) + k/(-2). Which is smaller: s or -1?
s
Let o = 11 + -33. Let x = o + 20. Are x and -4 nonequal?
True
Suppose -4*m - 25 = -9. Let c be (-237)/(-27) + m/(-18). Suppose -p - 6 + 0 = 2*a, 3*p = 3*a + c. Which is smaller: 1/3 or p?
p
Let p(r) = 11*r + 16. Let t be p(-4). Is -28 at least t?
True
Let h = 6 - 5.4. Let k = h - 0.5. Let y be -1 + (1 - (-2 - -3)). Is k > y?
True
Let l be -2*(-2)/4 + 0. Let t = 27267/35 + -779. Are l and t equal?
False
Let u = 94 - 1691/18. Let j = 1/9 + u. Which is bigger: j or 1?
1
Suppose 5 = w, 2*w + 23 = y + 7*w. Which is smaller: y or -5/8?
y
Let k = -4 - -5. Let z be (2/1 - k)/(-1). Is z >= -1?
True
Suppose 5*f + 2*r - 8 = 11, 0 = -3*f - 5*r. Let c = f + -8. Is c less than -2?
True
Let v be 2/(-4)*1*0. Suppose 0 = -d - v + 3, k + 3*d = 10. Is k at least as big as 1/5?
True
Let y(p) = -11*p**2 + p. Let v be y(1). Let z be ((-2)/v)/((-4)/(-5)). Suppose 3*s + 2*a = 4, 2*a = 5*s + 5 - 1. Are z and s unequal?
True
Suppose 2*v - 4 = 4*v, v = -5*o - 22. Which is smaller: o or 0?
o
Let a be (-60)/(-19)*(-1 + 2/4). Is a <= -1?
True
Let l = 7.6 + -7. Let u = l + -0.6. Let q = u + 0.2. Which is smaller: 0.4 or q?
q
Suppose 10 = 2*u + 5*k - k, -13 = -4*u - k. Suppose m + u + 2 = 0. Which is bigger: -4 or m?
-4
Let v be 0 + 2/(-14) - 0. Let f be ((-2)/(-6))/(1/6). Suppose -2*a = f*a. Which is smaller: a or v?
v
Let y = 4 + -4. Suppose 0 = 3*f - y*f. Let r = -61/42 - -9/7. Is f < r?
False
Let x be (-4)/(-10) - (-32)/(-30). Suppose 0 = -4*r - 0*r - 12. Let j be 2 + r + 1 + -1. Is j >= x?
False
Let f(u) = 3*u + 2. Let o be f(-1). Does 6/19 = o?
False
Let s(g) be the first derivative of -g**5/120 + g**4/12 + g**3/3 + 1. Let d(n) be the third derivative of s(n). Let h be d(3). Is h at least as big as -1?
True
Let r be 4/(-2) + 1/(-1). Let y be (r/6)/(2/(-12)). Do y and -0.1 have different values?
True
Suppose -2*n + 0 - 2 = 0. Let b = n - 1. Let i = -1 - b. Does i = -1/7?
False
Let d be 4/(-14) - 4/(-7). Are -1 and d equal?
False
Let t = 126 + -105. Is t less than or equal to 21?
True
Let g be (35 - (-2 - -3)) + -1. Let a = 22 - g. Which is greater: a or -12?
a
Let d be (-1 - -4)*(0 - -1). Suppose -4*b - 4*s = 4, s = d*b - 6 + 1. Let y = b - 2. Is -2/11 equal to y?
False
Let f = -36457/8740 - -96/23. Let g be (2/20)/(684/1502). Let a = g + f. Is a bigger than 1?
False
Let z = 6.94 + 0.06. Let j = -6 + z. Is -1 at least as big as j?
False
Let i = 0.05 - 0.12. Let o = i - 0.93. Is -10 equal to o?
False
Let d be 10/(-5)*-1 + 4/(-2). Is d at most as big as -2/245?
False
Let u = -3 + 11. Let d = u - 5. Are d and 0 nonequal?
True
Let u = 41 + -37. Which is smaller: u or 3?
3
Suppose -5*a = -4*m - 23, -4*a = -m - 0*a - 14. Let z be 0/(m/(4 - 3)). Let n be 4*(2/36 + 0). Which is smaller: n or z?
z
Let q(y) = y**2 + 5*y. Let f be q(-4). Suppose 48*g - 49*g = 4. Is g > f?
False
Suppose 9 + 17 = 4*b + 2*j, b - 2*j - 4 = 0. Suppose 9 = -2*v + v - 4*p, -5 = 5*p. Let h = b + v. Is h less than -1?
False
Let u(o) = -o**2 - 4*o - 2. Let j be u(-4). Let f = j - -4. Suppose 0 = -i - 2*i - f*l - 9, 5*i - 3*l - 4 = 0. Do i and 1/6 have different values?
True
Suppose -6*v - 7 + 1 = 0. Is v less than or equal to 1?
True
Let y = -0.01 + -2.99. Let t be 1/(-4) - (6 + (-81)/12). Which is smaller: y or t?
y
Let y = -33 - -19. Let v = -10 - y. Suppose -3*x = -v*x - 1. Which is smaller: 2 or x?
x
Let r = -0.3 - -0.34. Let w = -2.09 - -0.39. Let s = -1.7 - w. Is r bigger than s?
True
Suppose -1 = -v - 0. Let w(l) = 4*l + 2 + 2*l**2 + 3*l + 3 - l**2. Let b be w(-6). Are b and v nonequal?
True
Suppose 0 = -4*i + 8*i + 24. Let j be (-4)/(-6) + 4/i. Suppose 8*w - 3*w - 35 = -4*v, w + v - 8 = j. Is 3 less than or equal to w?
True
Let g(d) = -d**2 + 4*d + 1. Let l be 92/22 - (-8)/(-44). Let w be g(l). Let r be (-3)/(-9) + (-2)/4. Are r and w non-equal?
True
Let u be (4/6)/(0 + 5/90). Is 14 less than u?
False
Let f be 10*6/(-75)*-5. Let k = -3 + 2.9. Which is smaller: k or f?
k
Suppose 5*i - 20 = -w, -w + i - 28 = -6*w. Suppose -a + w*a + 4 = 0. Are a and -1 unequal?
False
Suppose -6*k + 15 = -k. Suppose -u - 3*u - 3*x - 12 = 0, -3*x - 12 = k*u. Are u and 2 nonequal?
True
Suppose -2*o = 2*n - 0*o + 82, 4*n + 3*o = -167. Which is smaller: n or 0?
n
Let s(w) = -w**3 + w**2 - 8 + 5*w**2 + 5*w**2 - 3*w**2 - 5*w. Let x be s(7). Which is smaller: x or 5?
5
Let f = 0.03 + 0. Let n = -3.03 + f. Let i = n - -2.9. Which is smaller: i or 0.2?
i
Suppose 0 = -2*q + q. Which is bigger: q or -2?
q
Let h = 1651/232260 - -1/948. Is 1 > h?
True
Let a = -13.7 + 22.8. Let v = 8 - a. Let m = 1 + v. Is 2/3 less than or equal to m?
False
Suppose 56 = 18*f - 11*f. Let o be (1 - -1) + 2 + 0. Which is greater: o or f?
f
Let u = 0.03 - 0.13. Which is greater: 2/19 or u?
2/19
Let b = -30.3 - -30. Which is greater: b or 0?
0
Suppose 2*p - 4*p = -2. Suppose t + t = 8, -5*t = -3*q - 17. Suppose -2 = -v - q. Is p < v?
False
Let y(m) = -m**2 + 6*m. Let c be y(6). Is c equal to 2?
False
Let f = -6 - -10. Suppose 7*j - 5*j = -3*r - 20, j = -f*r - 20. Let s = j + 3. Which is smaller: -2 or s?
-2
Let b = -64 - -64.2. Is b at most 3.8?
True
Suppose 0*o - 4*o = -12. Suppose -2*i - i = -213. Let h = -206/3 + i. Which is smaller: h or o?
h
Suppose 5*g - 2*g + 9 = 0. Which is greater: -4 or g?
g
Let b = -31193/44 + 709. Let h = b - 109/308. Suppose -5 = 5*r - 0*r. Which is greater: r or h?
h
Suppose 0 = 5*o - w - 4*w - 45, 0 = o - 4*w. Let u be 18/o*(-4)/(-6). Suppose 0*f + 2*f = 4*z + 8, 3*z + 32 = -5*f. Which is bigger: u or z?
u
Let t = 149 + -181. Is -30 bigger than t?
True
Let r be (-1)/(-4) + ((-84)/(-80))/3. Let a be (-1)/(-1 - 4/(-5)). Suppose a*v + 2*g + 4 = 2, -4*g - 4 = v. Is r greater than v?
True
Suppose -5*h + 40 = -4*g, -g + 2*h + 2 = -3*g. Let y be (-4)/(-18) + 244/36. Let t(l) = l**3 - 6*l**2 - 9*l + 10. Let v be t(y). Which is greater: g or v?
v
Let w = 473879/5692 + -5/1423. Let c = -82 + w. Is -1/4 at most as big as c?
True
Suppose -v = -3 + 4. Let i = 0 + -2. Let r = i - -1. Is v equal to r?
True
Let m be 4 + -4 + 1*-2. Let u be (-1)/(-2) + (-5)/m. Suppose 2*t = 10, -2*z 