 = -n + 4*w. Is -10 != n?
True
Let z = 11 - 7. Suppose 0*s - 2*s = z. Let o = -46 + 44. Is o less than s?
False
Let z = -101/6 + 91/6. Which is smaller: z or -1?
z
Let w be (-3)/2 + 41/6. Does w = 5?
False
Let s = -0.1 + -0.1. Let f = 0.3 + s. Let o = -1.9 - f. Is 0 smaller than o?
False
Let h = 1.81 + 0.19. Let x = -5 - -8. Is x > h?
True
Let y = -2 - -2. Let z be 34/8 + (-1)/4. Suppose -z = -6*p + 2*p. Which is greater: y or p?
p
Let z be (4/(-3))/((-56)/12). Which is smaller: -4 or z?
-4
Let p be 2/(-4) + (-81)/6. Let t = p + 16. Which is smaller: 3 or t?
t
Let c = 5/767 - -47519/5369. Is c greater than 8?
True
Let t(c) = -c**3 - c**2 + 1. Let n be t(0). Let w = n + 3. Let g = w + -9. Which is greater: -6 or g?
g
Suppose 9 = 4*r + 5*h - 35, r = h + 2. Suppose i + r - 17 = 0. Which is smaller: 13 or i?
i
Let r = 13 + -21. Let n be (-2)/r*(-2)/(-5). Is n < -1?
False
Let p = 16 + -42. Is p greater than 2?
False
Let w = 18 + 13. Let g = w - 26. Is -2 greater than or equal to g?
False
Let p = 1237/13 - 95. Is p at least 1?
False
Suppose 8 = 3*f + j, -3*f - 3*j + 25 - 7 = 0. Let w = 1.2 - 1. Do w and f have the same value?
False
Let f = 1.9 - -0.1. Let c = -4 + f. Is 2 less than c?
False
Let l be 4/(-12)*1/((-3)/(-24)). Is -3 smaller than l?
True
Let v(w) = w + 3. Let j be v(-3). Suppose -10 = -5*b, 3*k + 5*b - 16 = -0*k. Is k >= j?
True
Let u be (-12)/63*-6 + (-8)/28. Which is smaller: u or 1?
u
Let u(b) = -b**3 + 3*b**2 + 3*b - 4. Let m be u(-2). Is 43/5 not equal to m?
True
Let q = 27 + -19. Let o(s) = s**3 - 4*s**2 - 2*s + 8. Let y be o(5). Suppose -3*p + q*p = -4*a - y, -4*p - 4*a = 16. Is -6 smaller than p?
False
Let y = -53 + 62. Is 9 >= y?
True
Let i = -2589219/182 - -28449/2. Let g = -22/13 - i. Which is bigger: g or 0?
g
Let q(v) = 2*v + 14. Let z be q(-7). Suppose -3 + z = 3*j. Which is bigger: j or 1/16?
1/16
Let n be (1*24 + 2)/4. Let y = -14 - -15. Are n and y unequal?
True
Let x = 4 + 80. Let q = x + -1088/13. Is -1 greater than q?
False
Let u(i) = i**2 - 5*i + 1. Let b be u(2). Let f = b - -6. Which is bigger: f or -2/5?
f
Suppose 0 = -2*z + 8 - 10. Suppose 0 = 2*y - 3*y - 2. Which is smaller: y or z?
y
Let x = -5 + 3. Let o be 2*-1 + (-3)/x. Let h(w) = -2*w**2 + 10*w. Let c be h(5). Does o = c?
False
Let m = -5.3 + 5. Is m smaller than -1?
False
Suppose -3 - 12 = -3*q. Let r = q - 2. Suppose -j = r*j + 12. Is j at least as big as -3?
True
Suppose 6*u = 20*u - 14. Are u and 7 equal?
False
Let f = -403381 - -115770513/287. Let b = f - 2/287. Let k be 16/10 + 4/10. Are b and k non-equal?
True
Let n = -353 - -683/2. Is n != -12?
True
Let t be 2/1 + -4 + 1. Suppose -3*v = 4*r + 2, -3*r - 9*v + 4 = -4*v. Is t bigger than r?
True
Let i = -2.3 - -2.5. Is -13 greater than or equal to i?
False
Let c be (6/(-9))/(2/(-30)). Suppose p + 7 = 5*w, -3*p + 7*p = 2*w - c. Let m(a) = -a**3 + 8*a**2 + 9*a - 3. Let d be m(9). Which is greater: d or p?
p
Let u = -246 - -1481/6. Which is greater: -2/7 or u?
u
Let t be 3/(-1) + 782/261. Let w = t + -515/1827. Is -0.3 at most w?
True
Let l = -5.29 - -0.41. Let u = l + -0.12. Let x = -2 - u. Is x >= 1/2?
True
Suppose -2*o = 3*o - 10. Suppose 0 = o*x + 2*x. Which is bigger: 4/9 or x?
4/9
Let q = 5 + -4.97. Which is smaller: 2/3 or q?
q
Let j = -21 + -6.89. Let t = j - -28. Which is greater: -0.1 or t?
t
Let u = -6 + 2. Let k(f) = -3*f**2 + 8*f + 5. Let o(q) = q**2 + 1. Let y(s) = u*o(s) - k(s). Let b be y(-7). Is b greater than or equal to -2?
True
Suppose 2 = -5*h + z, 6 = -h - 0*z + 3*z. Let y = 25 + -13. Suppose y = -3*p - 3*b, -3*b + 4*b = -2*p - 4. Do h and p have the same value?
True
Let m = -1.89 + -0.11. Let w = 2 + m. Which is smaller: 0.3 or w?
w
Let y = -14 + 25. Suppose -4*n + 3*h - 18 = 0, -3*n - h + 2*h = y. Which is greater: -4 or n?
n
Let g(h) = h**3 - h**2 + h - 3. Let d be g(0). Let j be -15*(3 - (-5)/d). Let v be (5/j)/(1/(-4)). Is v bigger than 1?
False
Let y be 2 - 3 - (480/(-9))/(-5). Do -12 and y have the same value?
False
Let s be 1 + 2 - (-626)/2. Let y = s - 7898/25. Is 0 less than or equal to y?
True
Suppose 0 = -5*n + 13 + 17. Suppose j - 2*h - 3 = n*j, 4*h + 14 = -2*j. Which is smaller: 2 or j?
j
Let z(t) = t + 28. Let x be z(-15). Which is greater: 15 or x?
15
Let y = 15 + -6. Suppose 0 = -5*d - 2*q + y, 5*q - 6 = 3*d + 1. Does d = 4?
False
Let o(g) = -g**3 + 5*g**2 + g - 2. Let z = 8 + -3. Let k be o(z). Are 7/2 and k non-equal?
True
Let y be 40/(-48) + (-7)/6. Suppose b = -2*b. Suppose 3*i = -4*t + 9, -5*t = -i - b*t - 16. Do y and i have the same value?
False
Suppose -5*r = -8*r + 18. Suppose -1 = -r*l - 19. Is l > -4?
True
Suppose 5*p - 20 - 75 = 0. Suppose -x = 7*w - 3*w + p, -5 = w. Which is greater: x or 2/11?
x
Let k(r) = -r - 5. Let z be k(-4). Let t be 2/z + 2 + -1. Let d = 0.3 - 0.2. Which is bigger: d or t?
d
Let a(t) = -t**2 - 9*t + 35. Let k be a(-12). Let b(r) = 2*r - 6. Let f be b(4). Suppose -f = x - 1, g - 2 = x. Which is smaller: k or g?
k
Suppose l = -2*g + 2*l + 4, -6 = -4*g + l. Are g and -1/88 equal?
False
Let h be (-1)/(-6) + (5/6)/(-5). Which is bigger: -2/179 or h?
h
Let o = -2.3 - -24.3. Which is bigger: o or 2/5?
o
Let a be 16/(-56) - 66/14. Which is greater: a or -6?
a
Let o = -1.97 - 0.03. Let p = 1 - o. Let y = p + 0. Is -1 greater than y?
False
Suppose 0 = -2*u + 3*o - 2*o - 13, u + 4 = o. Let n = 1132/7 - 162. Which is greater: n or u?
n
Let j = 0.5 + -0.2. Let z = -1.3 + j. Let m be (-6)/15 - (-2)/5. Does m = z?
False
Let d = -0.03 + -2.97. Let z = 9 - 5.7. Let y = d + z. Which is smaller: y or -1/2?
-1/2
Let y be (0*(1 - 2))/(-3). Is -5/4 at least y?
False
Let n be 474/135 - (-18)/(-45). Is n > 3?
True
Let x = -50614 + 1771317/35. Let d = -22/7 - x. Which is smaller: d or 3?
d
Let x be (18/(-8))/(138/(-16)). Which is smaller: 1 or x?
x
Suppose -2*f + 7*f = 0. Suppose f*i + 5*i = 0. Which is smaller: 1 or i?
i
Suppose -2*x + 8 = 4*n, 3*n - 3*x + 0 = -3. Suppose 2*k + n = -l, 4*l - 3*k + 3 = l. Let u = 95/232 + -1/29. Which is bigger: l or u?
u
Let v(x) = x - 2. Let g be v(4). Let t = 11 + -34/3. Is t less than or equal to g?
True
Let k be ((-3)/1)/45*-2. Does 3/5 = k?
False
Let x be 3/15 + (-174)/20. Let i be (-4)/9*(-294)/16. Let k = x + i. Is k >= -1?
True
Let n = -5 - -8. Suppose 5*l = n*o + 9, -3*l = 2*o + o + 33. Is o greater than or equal to -6?
False
Let q(y) = 3*y**3 + 5*y**2 - 3*y - 1. Let x be q(2). Which is bigger: 36 or x?
x
Let u(f) = -f**2 + f + 22. Let d be u(-7). Is -35 smaller than d?
True
Let h be (-4 + 12)*1/12. Are -7 and h nonequal?
True
Suppose -p + 24 = -5*h, -3*p + 4*h - 8 = 5*h. Let n be -1*(-1)/(-1) - p. Let w = 32 + -129/4. Which is smaller: n or w?
w
Let p be ((-4)/(-6))/((-6)/(-9)). Let h = -2/115 - -123/460. Is h != p?
True
Let l = 2 + -4. Let a = l - -8. Let b be 4/a*9/(-6). Which is bigger: b or 1/4?
1/4
Let y = 14 - 8. Let j = y - 1. Is 2/5 <= j?
True
Suppose 0 = 2*o - 0*o. Let s be ((-6)/(-9) + 0)/1. Which is bigger: o or s?
s
Let q be -4*(3 + -3 + -1). Suppose 2*g + 4*w - 24 = 0, -q*w + 2 = -3*g - 12. Let a be 0*g*1/(-2). Is 0 greater than a?
False
Let t = -49 - -49.21. Let v = t + -0.31. Is -1/7 greater than or equal to v?
False
Suppose -4*p + 41 = c - 3*p, -3*c - 2*p + 126 = 0. Let v be (-1)/(-2) - (-11)/c. Is v smaller than 1?
True
Let f(r) = -6*r - 22. Let u be f(-6). Is 12 greater than u?
False
Let h be ((-2)/(-5) - 0)*5. Let k be (-2)/5 + (-112)/(-105). Which is smaller: k or h?
k
Let x be ((-6)/(-5))/((-4)/(-10)). Suppose -5*k = -2*r - 6, 0 = -5*k - 4*r + 3*r - x. Suppose o = -o - 3*q - 10, 3*o - 7 = q. Is o greater than k?
True
Let b = 0.6 + -0.1. Let v = b - -0.5. Are 4 and v unequal?
True
Let o(b) = b**2 - 10*b + 2. Suppose 60 = 5*n - 4*h, 4*n - 3*n = 4*h + 28. Let q be o(n). Which is smaller: -15 or q?
-15
Suppose 5*o - v - 2 = 2*v, -4*v - 14 = -o. Which is smaller: o or 2?
o
Let w(d) = d**3 + 3*d**2 + 2*d. Let r be w(-2). Let x = -3 + 2. Is x < r?
True
Let y be (16/(-38))/(8/(-4)). Which is greater: y or -1?
y
Let h(a) = a - 2. Let j be h(2). Suppose -g + 0*g = j. Let l be 5/10*(-3 + 1). Which is bigger: l or g?
g
Let p be 4/(-12)*1 + 3. Which is bigger: p or 3?
3
Let y be 4/5 - (-6)/30. Suppose y = -3*c - 11. Is -4 less than c?
False
Suppose z + 2 + 6 = 0. Let l = z + 33/4. Which is smaller: