 = 4*f - x, -3*x - 18 = -f. Suppose -4*w = -w - f. Is -3 < w?
True
Let m be 28/10 - (-2)/10. Let w be (-80)/(-15) - (-3)/(-9). Is w greater than m?
True
Let y be 3 + 333/(-12) + 2/(-8). Is -25 greater than y?
False
Let w(b) = b**2 - 2*b**2 + b + 2*b**2 - 91. Let z be w(0). Let c be 6/21 - (-12)/z. Are c and 1 unequal?
True
Let j(y) = y**2 + 2. Let g be j(0). Suppose -g = -3*l + 1. Let n = -5 + 8. Is n != l?
True
Let a be ((-841)/(-5))/(-1 + 2). Let l = a + -169. Suppose 0 = -4*b - 1 - 3. Is l less than b?
False
Suppose 3*d = 5*o, -24 = 5*d + 3*o + 10. Let w = 0 + 1. Let j = d + w. Is j <= -4?
True
Let i be (12/(-20)*(-12)/9)/2. Let r(s) = s**3 - 6*s**2 - s + 7. Let z be r(6). Which is bigger: z or i?
z
Let x be 18/(-84)*(-4)/(-2). Let m = 4/17733 - -7571971/88665. Let h = -85 + m. Is h smaller than x?
False
Suppose 4*y - 11 = -3*x + 2*x, -4*x = 5*y. Let o be y + -2 - 0/(-1). Is o greater than 2?
False
Let n be 0 + (-8)/(-48)*(-32)/6. Is 0.1 at least n?
True
Let i(r) = r**3 - 3*r**2 + r - 1. Suppose 0 = 3*n - 5 - 1. Let w be i(n). Let o = w + 3. Does o = -2/11?
False
Let v(g) = g**3 - 7*g**2 - g + 42. Let t be v(6). Suppose 2*k + 2*k = 532. Let b = k + -2529/19. Which is smaller: b or t?
b
Let o = -0.9 + 8.5. Let r = o + -8. Is -3 bigger than r?
False
Let p = 1/6 - -5/42. Which is bigger: p or 1/4?
p
Suppose u - 4*p - 1 = 1, 4*u + 46 = -2*p. Let l = 11 + u. Are l and 3/8 equal?
False
Let k = 0.6 - 0.4. Which is greater: -8 or k?
k
Let o(i) = -i - 7. Suppose -q = -6*q - 15. Let x be o(q). Is -5 at most x?
True
Let h(w) = -26*w**2 + w - 1. Let n be h(1). Is -25 <= n?
False
Suppose -4*a - 5*f = 5 + 10, 3 = -f. Let l be 0/(-4 - -3) - a. Is l less than or equal to 0?
True
Let c be 1/(((-16)/20)/(-4)). Is -0.9 > c?
False
Suppose 0 = -3*b + 4*j + 6, -4*b + 4*j + 2 = -3*b. Suppose b*y - m = -6, 4*y + y = -2*m + 3. Let z = -1 + y. Which is greater: z or -3?
z
Let r = -4 + 9. Suppose 0*f = 5*f + r. Let u = 1 - f. Are u and 1 non-equal?
True
Let u = -112779/4 - -28045. Let j = -149 - u. Is j at least as big as 0?
True
Let d(z) = -6*z**2 - 19*z + 20. Let s(l) = l**2 + 4*l - 4. Let j(k) = 2*d(k) + 11*s(k). Let a be j(6). Is a less than or equal to 1?
True
Let c = 126 - 128. Is -5/8 <= c?
False
Let m(i) = -i**3 - i**2 + 6. Suppose 2*a + 8 = 4*b, -2*b = 3*b + 3*a + 12. Let p be m(b). Let h = 12 - 7. Which is smaller: p or h?
h
Suppose 4*n - 12 = n. Suppose z = -1, -3*a + 5*z - 11 = -7*a. Suppose 1 - 12 = -4*v + c, -5*v + a*c + 11 = 0. Which is smaller: v or n?
v
Let b = 0 - -1. Suppose 0 = -4*r + 2*x + 400 - 12, 0 = 5*x - 20. Let s = r + -889/9. Which is bigger: b or s?
b
Let r(v) = -v**2 - 2*v + 1. Let a be r(1). Let p be 1/a - (0 - 0). Let o = 3 - 4. Which is smaller: p or o?
o
Let b(a) = a**2 + 4*a - 4. Let s be b(-3). Let p be (-32)/s + -2 + -2. Are p and 1 unequal?
True
Let d = 0.19 + 0.81. Is d > -1.1?
True
Let c be (-1)/2*-3*6. Let y(h) = -h**3 + 10*h**2 - 10*h + 13. Let p be y(c). Suppose 0*f = l + f, p = -5*l - f. Is l less than -1?
False
Let w = 1 - -2. Let s = w + -2.97. Let r = 0.17 + s. Is 2/3 < r?
False
Suppose -p - 3 = 7*r - 6*r, -r + 13 = -3*p. Are r and 1/8 unequal?
True
Let b = -16.1 + 8.2. Let w = b - -8. Which is smaller: w or -1?
-1
Let m be 1/(-3) + (-30)/(-252). Which is smaller: 0 or m?
m
Let n = -1799/2 + 950. Is -1 >= n?
False
Let q = -6 - -3. Let p = -49 + 44. Which is smaller: q or p?
p
Let u = 3/7 + -29/35. Which is smaller: u or 14?
u
Let y(n) = -5*n + 53. Let z be y(11). Which is bigger: -17/7 or z?
z
Suppose -2*i - 2*v + 3*v + 50 = 0, -i = -v - 26. Suppose 2*o = 2*u + 5 + 1, 4*u = -2*o - i. Let m be (1 - 9/(-15)) + o. Do m and 0 have the same value?
False
Let h(y) = y**2 - 2*y - 3. Let c be h(3). Let w be 3 + (1 - 60/14). Is w >= c?
False
Let z be ((-8)/2)/(4 + -3). Let y = z + 3. Does y = -2?
False
Let k be (-67)/(-21) + -4 + (-22)/(-6). Which is smaller: 4 or k?
k
Let v(l) = l**3 - 2*l**2 - 2*l - 2. Let q be v(3). Let n = 0 - q. Let j = -667/7 + 95. Which is bigger: j or n?
j
Let x(f) = -9*f + 38. Let p be x(10). Do -51 and p have different values?
True
Suppose 4*q + 2*q - 1356 = 0. Let r = 765414/7 + -109118. Let m = r - q. Which is smaller: m or 1?
m
Let n = 70/3 + -24. Let r = -0.2 + 0.4. Let l = 0.1 - r. Which is smaller: n or l?
n
Let o be (1 + -4)*1 - -3. Is 0 >= o?
True
Suppose -5 = -2*g - 3. Which is greater: 10/7 or g?
10/7
Suppose 0 = 7*s + s - 104. Is s != 14?
True
Suppose 0 = 12*s - 95 - 13. Which is bigger: s or 58/7?
s
Let n = -124/3 - -42. Does 3/5 = n?
False
Let p(m) = -m**2 - 3*m + 3. Let y be p(-3). Let z = 4 - y. Let x = 69/7 + -10. Is z smaller than x?
False
Let n(d) = -d**3 - 6*d**2 + 5*d - 12. Let p be n(-7). Let q be 0 - 0/1 - 0. Let f be (-2)/4*-2 + q. Which is smaller: p or f?
f
Let w = 230 - 2992/13. Is w < 0?
True
Suppose 0 = -4*v + 16, -4*m + 26 = -3*m + 5*v. Which is greater: 5 or m?
m
Let o be (2/39)/((-84)/(-7)). Let f be (-5726)/25740 - (-2)/5. Let x = o + f. Is 1 >= x?
True
Let p be 2 - (5/((-105)/39) - -2). Which is bigger: p or 2?
2
Suppose 2*h - h = 3. Suppose h*q = 0, 0 = -4*b - 3*q + 2*q - 4. Is b < -1/19?
True
Let g be -4*((-28)/16 + 2). Which is smaller: g or -1/2?
g
Suppose -4*a = -9 + 1. Suppose -q - 8 = -k, -a*q - 22 = -2*k - 3*q. Suppose t - k + 0 = 0. Is 9 equal to t?
False
Let d = 1.154 - 1.1. Is -1/3 not equal to d?
True
Let q = 17 - 12. Suppose -a + 0 = q. Do -5 and a have the same value?
True
Let a = 45/14 + -61/7. Is -6 at least a?
False
Suppose -x + 344 = 2*n + 1189, 5*n = 3*x + 2502. Let w = 59571/71 + x. Let o = -89/639 + w. Which is greater: o or -1?
o
Let q be 1/84*2*15. Which is bigger: q or -1?
q
Let n = 8.01 - 8. Let b = n + -1.01. Is b bigger than -2/9?
False
Suppose 0*d - 4*d = 14264. Let t be d/(-90) - 4/18. Let n = 39 - t. Which is smaller: 1/2 or n?
n
Let r = 6 + -15. Is r <= -9?
True
Suppose 4*f - 2*f + 6 = 0. Let w be f/(-1) - (-4)/2. Suppose -w*d + 17 = 3*r, -3*r + 5*r - 12 = -4*d. Which is greater: 2/9 or d?
d
Let g be 34/6 + 4/(-6). Suppose -5*s + 22 = -2*p, 5*p = -s + 4 - g. Suppose -2*l + 7*l + 2 = -y, 0 = -4*y + 5*l - 8. Is p at least as big as y?
True
Let t = -3.34 + -0.36. Let i = 4 + t. Are i and 0 non-equal?
True
Let z be ((-14)/10 + -1)*-5. Suppose -3*k + 2*d - 10 = 0, -4*k - z - 2 = -3*d. Which is greater: k or 2/5?
2/5
Let n = 7 + -71/10. Let u = -0.53 + 1.53. Which is bigger: n or u?
u
Let o be 1*(-1 - (1 + -1)). Let q = 0 + o. Let w be 0 + (1 - 0) - 3. Which is bigger: w or q?
q
Let v = 1.5 + -7.5. Let f(y) = -5*y + 29. Let n be f(6). Which is greater: v or n?
n
Let i be 1/((1 - 0) + -5). Let p = 4 + -2. Suppose 0 = -5*y - p - 3. Is y > i?
False
Let b(f) = f**3 - 7*f**2 + f - 7. Let o be b(7). Is -1/8 at most o?
True
Let r = 0.56 - 0.36. Let s = -0.1 + -0.1. Which is greater: r or s?
r
Suppose z = 3*p - 6*p - 17, 2*p = z - 3. Which is smaller: p or 1?
p
Let k be (3 + (-60)/28)*-7. Which is smaller: -8 or k?
-8
Suppose f + 360 = 6*f. Let v = f - 790/11. Is 0 at most as big as v?
True
Let q = 27 + -25. Let u(m) = -m**2 - 3*m. Let d be u(-3). Is q != d?
True
Let l = 2 + -2. Let g(c) = c. Let j be g(l). Let i be (2 + 0)/8 + j. Which is smaller: 0 or i?
0
Let n = 2 - 2.2. Is n greater than or equal to 0?
False
Let s be 1*-3 - (2 + -5). Let p be (-8)/30 - (-1)/(-3). Is p > s?
False
Let v(q) = -q**3 + 3*q**2 - 2*q + 1. Let n be v(1). Suppose -h = -2*h + 4*w + 11, 5*h = 2*w + n. Suppose 0*x = -x. Is h greater than x?
False
Let x = 97/2 + -48. Is 2 less than or equal to x?
False
Let s = -29 - -50. Suppose 24 = t + 3*t - 4*z, -s = -2*t + 5*z. Let g be -6*(4/(-3) - -1). Which is smaller: t or g?
g
Let q = 671/25 + -29497/175. Let a = 142 + q. Is a greater than -1?
True
Suppose 6*p + 32 = -16. Is p greater than -15/2?
False
Let d(f) = 233*f**3 - 2*f**2 - 2*f. Let k be d(3). Let t be k/42 - 2/4. Let w = -149 + t. Are w and 0 equal?
False
Let o = 16 + 17. Let w be (-22)/o*3/2. Suppose 2*a + 2*z + 12 = -0, 0 = 3*a - 4*z - 17. Is a greater than or equal to w?
True
Let m = -1 - -0.9. Let b = -9 + 9.1. Is m <= b?
True
Let g = 4 - 0. Let w be (g - 2 - 4) + -3. Let f = w - -8. Which is smaller: f or 2?
2
Let c = -0.91 + -0.09. Let i = -3 - c. Is -1 > i?
True
Suppose 2*b = 6*b. Suppose 3*s + 3 + b = 0. Let q be s*2/(-2 + 0). Is q > 2/7?
True
Let t(s) = s + 1. Let