 i be 2/1 + 2 + -3. Is i at least as big as x?
False
Let t = 7 - 71. Are -64 and t non-equal?
False
Suppose 2*p + 3*y = 10, 3*p - 2*y = 3*y + 15. Let f = -4 - 0. Let r = f + p. Which is smaller: -1 or r?
-1
Let f = 4/65 - -232/455. Is 2 at most as big as f?
False
Let d(o) = -3*o. Let q be d(1). Suppose 34 = 5*s + 4. Suppose 0*p - s = 3*p. Which is smaller: q or p?
q
Let y(l) = 2*l + 51. Let u be y(-32). Does -4 = u?
False
Let f be 3/(-1)*5/15. Let a be f/(-3)*12/4. Which is greater: a or -2/15?
a
Suppose 5*a = 4*a - 2*t + 3, -4*t + 12 = -4*a. Let h(o) = -4*o**3. Let v be h(a). Let k be ((-12)/9)/(2/(-6)). Is k at least v?
True
Suppose q + 4*n + 0*n = -19, -81 = 3*q + 4*n. Is q less than -30?
True
Let u(o) = -o**3 + 6*o**2 - 6*o + 7. Let p be u(5). Suppose 2*w - 20 = p*a, 4 + 26 = 3*w + 4*a. Let h be (12/w)/((-6)/20). Are h and -4 nonequal?
False
Let o be ((-87)/58)/((-141)/(-4)). Which is smaller: o or 0.5?
o
Let x = 8 + -6. Let q = 18 + -16. Is x > q?
False
Let g be (1/(-4))/((-3)/874). Let s = g + -73. Suppose 0 = 5*h - h. Is h at most s?
False
Let x(r) = -14*r + 2. Let n be x(-1). Is n smaller than 16?
False
Let x be ((-4)/(-12))/((-1)/46). Let j = 16 + x. Is j less than or equal to 1?
True
Let w = 9.977 + 0.023. Are 1 and w nonequal?
True
Let l = 13 + -9. Suppose 0 = -3*m - l - 5. Which is smaller: -1 or m?
m
Let s = 3 - -24. Let m be 1 - -5*(-6)/s. Which is smaller: 1 or m?
m
Suppose 5*p - 2*t + 11 = 0, -2*p - 2*t = -3*p - 7. Let j be (2/8)/((-34)/14). Let b = -6/17 - j. Which is greater: b or p?
b
Let p be (-2)/6 - 50/(-6). Let z = 24 - 17. Let w = z - p. Which is smaller: w or -2/5?
w
Let g = 3406 + -483655/142. Let f = 2461548 + -1747698497/710. Let c = f + g. Is 1 != c?
True
Let i(d) = 2 - d + 2 + 0*d. Let n be i(7). Let h be 6*n/(-18)*2. Does -1 = h?
False
Let p = -7 + 11. Let a be p - 2 - (-5)/(-2). Let z(k) = k**3 + k**2 - 1. Let b be z(-1). Is b less than or equal to a?
True
Let k = 59 + -52. Which is smaller: k or 6?
6
Let z = 6 + 1. Let i be 19/z - 18/(-63). Is 2 bigger than i?
False
Let y = -1 + -7. Is y != -9?
True
Let q be ((-3)/(-2))/((-2)/4). Let r be (q - (-9)/4)*-4. Which is bigger: r or 2?
r
Suppose 0 = -2*v - 8, 3*v + 22 = -0*f - 5*f. Let m be -1*1 - (1 + f). Are m and -1 nonequal?
True
Let m = 64 + -64. Which is smaller: 17 or m?
m
Suppose 27 - 21 = k. Let w be 1/(1 - 2) + 13. Let b = w + -7. Is k > b?
True
Suppose 5*c + 18 = -2*x, 2*x - 5*c + 2 - 4 = 0. Suppose 0 = -p - d + 2*d - 5, 4*p = -2*d - 8. Which is smaller: x or p?
x
Suppose -4*u = u - 25. Let h = u - 5. Let c = -70 + 349/5. Which is smaller: h or c?
c
Let n be 16/6 - (-2)/(-3). Suppose -r + 10 = r. Suppose r*w = 4*y + 25, 3*w - 22 = -7. Which is smaller: n or y?
y
Let p be (2 - 0)/2*0. Suppose -2*n - 2 - 2 = p. Do -5/6 and n have different values?
True
Let l be 1 + -1 + 2033/11. Let j be ((-35)/(-28))/((-2)/296). Let v = j + l. Is -1 not equal to v?
True
Let c(q) = -q**2 - 4*q + 6. Let i be c(-5). Is i < 9?
True
Let t = 2 - 6. Let z = t + 2. Is z >= 0?
False
Let s = -3/4 - -13/12. Let k = s + -1. Are 3 and k unequal?
True
Suppose 3*g + 24 = 21. Is -1 <= g?
True
Let b(f) = -f**3 + f. Let z be b(0). Suppose 0 = 2*c - 6*c - 4. Let o be (0 + 1/(-1))/c. Is z at most as big as o?
True
Let g(k) = 2*k - 22. Let o be g(9). Is -4 less than or equal to o?
True
Suppose 24 = 6*p - 3*p. Let j = p + -4. Let i = -4 + 7. Is j < i?
False
Let n(i) = i**2 - 5*i - 6. Let c be n(6). Suppose -p + 2*k + 1 + 15 = c, 0 = 4*p + 4*k - 4. Suppose -2*h = h - p. Which is greater: h or 4?
4
Let k(x) = x**2 - 6*x. Let o be k(6). Is 2/13 >= o?
True
Let p(i) = -2*i**2 - 3*i + 5. Let g be p(4). Let m = g - -157/4. Is -1 at most m?
True
Let s = 1.81 - 114.81. Is 1 < s?
False
Let n = -60 - -59. Let k = 1342/7 + -192. Is k equal to n?
False
Let f = -0.04 + 1.64. Let k = f - 0.6. Is k smaller than 1?
False
Let r(y) = y + 12. Let b be r(-10). Let p = 4 - 1. Which is bigger: b or p?
p
Let l be -5 - 8/(1 - 5). Is l at most as big as 0?
True
Let b be 2/9 + (-32)/(-18). Suppose -2*q = b*q. Which is smaller: -1/3 or q?
-1/3
Let h = -36 + 26. Let x = -75 + 64. Let s = h - x. Is s at least as big as -1?
True
Let u(b) = -b**3 + 5*b**2 + b - 5. Let l(x) = x - 3. Let q be l(8). Let m be u(q). Let w be m/(-3) + (-2)/(-5). Is w >= 0?
True
Let d be (-48)/16*(-4)/(-126). Does d = 1?
False
Let n = 3.2 + -0.2. Let t = 3.1 - n. Let s = 0.1 - t. Which is bigger: -1 or s?
s
Suppose -3*b - 4 + 1 = 0. Let h be 3 - (-2 + 2 - -3). Suppose h = o + 2*o. Which is bigger: b or o?
o
Let c(z) = z - 4. Let y be c(2). Let f(n) = 3*n**3 - n. Let p be f(-1). Is y > p?
False
Let h be (-2 - -2 - 1)*-2. Suppose p = -4*a, h*p + 0*a - 5*a = 13. Suppose -5*d + 7 + 2 = 4*n, p*d - n = 3. Which is greater: d or 2?
2
Let d be (1 - 0)/(-1 - -2). Let g = 95 - 89. Which is smaller: d or g?
d
Let z be 2*(-1 + 12/(-8)). Let h = 41 + -44. Which is bigger: h or z?
h
Let d(b) = b**3 + 3*b**2 - 2*b - 3. Let u be d(-3). Which is smaller: u or 2?
2
Suppose 12*a - 5*x = 10*a + 17, 5*a + 4*x + 7 = 0. Let z = -22/7 - -124/35. Is z less than or equal to a?
True
Suppose -9*l = -11*l. Which is smaller: 2/227 or l?
l
Let j = 889 - 8901/10. Let p = 14/15 + j. Let n be (-2 + (-56)/(-35))*10 + 4. Is p bigger than n?
False
Let m be (-2)/(-3 - (-105)/37). Let g = 113/9 - m. Is 1 < g?
False
Suppose 5*u - v + 3 = -5, -4 = 2*v. Let g = u + 4/3. Is g < 0.2?
True
Suppose 3*u - 4 - 5 = 0. Suppose 2*d + 6*o - 2*o - 34 = 0, 0 = -u*d - 2*o + 31. Is d >= 1?
True
Let s be 45320/11340 - (-8)/(-2). Which is greater: s or 0?
0
Let f(j) = j**3 + 2*j**2 + j + 3. Let s be f(0). Is 31/8 smaller than s?
False
Let l be (-1)/69*(-9)/(-4). Is l bigger than 0?
False
Let b be 4/30 + 2559/45. Does 2 = b?
False
Let d = -40 + 159/4. Suppose r - 5*u = 0, -4*r + 2*r = -2*u. Which is smaller: r or d?
d
Suppose -z - 5*j = -2*z + 2, -3*j = 4*z - 8. Suppose -z = p - 0*p. Which is smaller: p or -3/4?
p
Let s(t) = 4*t**3 - t**2 - 2*t + 1. Let d be s(-3). Let c = 335/3 + d. Is -2/9 >= c?
False
Let y = -902/6005 - 250907/17798820. Let r = 1/156 + y. Which is smaller: -1 or r?
-1
Let h(w) = -w - 8. Let u be h(-6). Let f(b) = 2*b. Let c be f(1). Let s be (c - 5/(-2))/(-3). Is u greater than s?
False
Let q = -13/22 - 10/11. Suppose 3*i + 2 + 7 = 0. Is q less than or equal to i?
False
Let m be (-7 - (-1 - 0)) + 0. Suppose -4*l = -n - 24, 5*l = 2*n - 4*n + 4. Let s be ((-9)/(-66))/(m/n). Which is smaller: s or -2/5?
-2/5
Let c = 3.3 - 3.4. Which is greater: c or -18?
c
Let u be 2/4 + 1/(-2). Let s be 4/(-3)*36/(-84). Are s and u non-equal?
True
Let a(p) = -p**2 + 10*p - 18. Let j be a(8). Is j smaller than 0.06?
True
Suppose -3*i = 5*k - 7, -5*k - 5*i + 10 + 5 = 0. Let b be ((-2)/5)/(4/(-40)). Suppose -4*y = -2*f - b, 2*y + 2*f = -f - 6. Which is smaller: k or y?
k
Let n be (19 - 16) + 1 + -4. Suppose -10*s + 9*s = n. Let t be ((-1)/6)/((-8)/18). Is s <= t?
True
Let s be 3*((-2)/18 - 0). Is s greater than -3?
True
Let m be (-1)/((-2 - -11) + -2). Is -1 smaller than m?
True
Let o = -6.04 + 0.04. Let t = -5.2 - o. Is t >= -1?
True
Suppose -2 = 5*i + 3. Is 2 greater than i?
True
Let y be (-4*2/4)/8. Which is smaller: y or -6?
-6
Let u(n) = -n**3 - 5*n**2 - 7*n - 4. Let c be u(-4). Is 8 equal to c?
True
Let r = 15 - 19. Suppose -2*i + 1 - 9 = 0. Do r and i have the same value?
True
Let y = 33.92 - 34. Which is smaller: y or -1/13?
y
Let h = 56 - 34. Which is smaller: 1 or h?
1
Let y be -19 - 3/(1 - -2). Let l be y/(-3) - (-1)/3. Let m be (l + -4)*1/6. Which is bigger: m or 0?
m
Let m be 0 - (-1)/9*-38. Let w = 407/90 + m. Which is bigger: w or -1?
w
Let a be (0/(-1))/(4/(-2)). Suppose a = 2*r - 4 - 4, r = 4*i + 12. Let y = 444/7 - 64. Which is smaller: y or i?
i
Let u = -54.9 + 51. Let c = 4 + u. Suppose 5*f = f. Is c less than or equal to f?
False
Let i(a) = a**3 - 6*a**2 + 7*a - 7. Let v be i(5). Let m be v/(-2)*(-3)/(-63). Is 0 less than m?
False
Suppose -3*f + 14 = 2*w - 15, 5*f = -w + 53. Is f greater than or equal to 0?
True
Let v = -77 - -81. Let o(q) be the third derivative of q**5/60 - q**4/8 - q**3/2 - q**2. Let a be o(v). Which is smaller: 3/2 or a?
a
Let w = -23 + -9. Suppose -5*u + v = -11, 4*u + v = -2*v + 5. Let l be u + 1/17*w. Is 0 bigger than l?
False
Let w be (2/2)/((-3)/(-15)). Let p