uppose k + 37 = w*u, -u - k - 9 = -2*u. Are u and 8 unequal?
True
Let p = 0.0615 - -0.0085. Are 2.1 and p equal?
False
Let a = 7 - 9. Let v = a - -10. Let b = -9 + v. Which is greater: b or -3/5?
-3/5
Let r = -66/23 + 143/138. Let a be (6 - (-3 - -5))*1/(-4). Is a at most as big as r?
False
Let t = 104.062 - 0.062. Which is smaller: 1/2 or t?
1/2
Suppose -5*c - 4*u = -31, 0*u + 4*u = -4. Let p be 18/12 - ((-45)/6)/5. Which is smaller: c or p?
p
Suppose -5*g + 2*c + 41 = 0, 4*c = 4*g + 7*c - 19. Suppose -g = 4*p - i - 152, 3*p = 4*i + 99. Are p and 2/9 nonequal?
True
Let i be 21/9 - (-5)/(-15). Suppose -i = -0*v - v. Let u be 1 - (-6 - -4) - 0. Which is greater: u or v?
u
Let r(z) = -28*z + 870. Let t be r(34). Is -75 >= t?
True
Let c = -28212/35 + 806. Let w = 7 + -4. Let h be 1/w + (-2)/(-3). Which is greater: h or c?
h
Let l = 3/7 + -1/7. Do l and -4/31 have the same value?
False
Let f = -43.6 + 17.7. Let z = -26 - f. Let j = 5/14 - -1/7. Which is smaller: z or j?
z
Let j be 8 + (-23 - -19) + (-1452)/369. Which is smaller: j or -1?
-1
Let x = -29 + 16. Let c = 13.4 + x. Let k be (-39)/54 + 2/4. Which is bigger: k or c?
c
Let c = 962 - 7703/8. Suppose 0*m + 2*m = -2. Which is smaller: m or c?
m
Let d = 1/114 - -3/19. Let p be (-5)/2*2*-1. Suppose -2*n = -3*b - 5, 0*b + p*b + 9 = 4*n. Which is bigger: n or d?
n
Let v = 549.04 + -533. Let c = v + -16. Let t = 37/3 - 182/15. Which is smaller: t or c?
c
Suppose -3*w = 3*w + 102. Let a = -5 + -10. Is a >= w?
True
Let j = -4.9 + 3.9. Let q(f) = 2*f - 2. Let n be q(2). Let y = n - -1. Which is smaller: y or j?
j
Let s = -960 + 951. Let f = -29 - -17. Which is bigger: f or s?
s
Let p be (1674/(-372))/(2/((-4)/(-1))). Is -0.1 at most p?
False
Let v be (-15 + 12)*(-8)/(-24). Which is greater: v or -210?
v
Suppose f + 7*q = 4*q + 2, 3*f + 50 = 5*q. Let v = 19 + f. Let d be 12/v*1/(-24). Which is greater: d or 0?
0
Let b = 20509/3 - 6776. Do b and 59 have different values?
True
Let r = -738 + 738. Do 46 and r have the same value?
False
Let a = -314/91 + 83351/24024. Which is bigger: 1 or a?
1
Let q(i) = -9*i**2 + 13 - 5*i**2 + 15*i - 4*i**3 + 3*i**3. Let x be q(-15). Is x greater than 2/5?
True
Let y = 2651/160 - 83/5. Which is bigger: y or 1?
1
Let a(m) = m + 1. Let d be a(2). Let t(g) = -g**3 + 3*g**2 + 2*g - 4. Let v be t(3). Do v and d have the same value?
False
Let n(d) = -d**2 + 3*d - 25. Let r be n(-8). Let c be (-4)/32 - r/8. Does c = 3?
False
Let z = -37.054 + 0.054. Let p = 37.27 + z. Let h = 0.73 + p. Is -2/5 greater than or equal to h?
False
Let p(d) = d**2 + 29*d + 113. Let f be p(-22). Is f greater than -41?
False
Suppose 6*i = -4*i + 20. Suppose 0 = 2*y - i, 5*g + 5*y + 106 + 29 = 0. Which is smaller: -27 or g?
g
Let m be ((-6)/(-12))/((-2)/(-24)). Let f be m/(-8)*2/9. Let i = f + 1/2. Is i greater than -5?
True
Let i(c) be the second derivative of c**6/30 - c**5/120 + 2*c**3/3 - 5*c. Let o(s) be the second derivative of i(s). Let h be o(1). Is h < 0?
False
Let z(g) = g**3 - 4*g**2 - 3*g - 10. Let h be z(5). Let a = -5.43 - 0.57. Which is bigger: a or h?
h
Let y = 172 + -4296/25. Which is smaller: -1 or y?
-1
Let z be 0 + (-5 - -1) - 26. Let h = z - -33. Do 14/5 and h have different values?
True
Let o = -44 + 23. Let l be -2*2 - o/7. Let g = 3/95 + 32/1995. Is g < l?
False
Let p be 1/7*(601 + 5). Suppose -90 = v + i, -2*i - i + 332 = -4*v. Let k = v + p. Are k and 2 unequal?
True
Suppose -144 = 11*b - 47*b. Which is smaller: b or -2/13?
-2/13
Let k = 39.4 - 48. Let p = k - -5.6. Is p less than or equal to 3?
True
Let j = 25 + 14. Suppose -2*b + 7 = -4*q + 17, -5*b + 3*q = j. Which is smaller: -8 or b?
b
Let n = 45673548/65 + -704127. Let p = n + 1457. Suppose -4*v - 16 = 2*t - 2, -3*v = -t - 2. Is v greater than or equal to p?
False
Let n = -39.9476 - 0.0524. Which is smaller: n or -3?
n
Suppose 0 = 5*t + 5. Let c be ((-4)/(-12))/(t/(-18)). Let k = 0.3 - 0.4. Which is bigger: k or c?
c
Let r(d) = -6*d + 5. Let c(k) = 1. Let x(f) = -6*c(f) + r(f). Let z be x(2). Let n be z/4 + (-36)/(-12). Which is smaller: n or 3?
n
Let m = 50 - 47. Suppose m*w = 5*h + 134, -3*w + 131 = -5*h - w. Is h at most as big as -25?
True
Let f = -0.03397 + 0.13397. Let d = 38.62 + -38. Let o = d - 0.02. Is o bigger than f?
True
Let n be (147/42)/(1/(-12)). Which is smaller: -52 or n?
-52
Suppose -5 = 2*v + 9. Let l(g) = -g - 7. Let p be l(v). Let j = -2/685 - -5494/4795. Is j less than p?
False
Let l(y) = y**3 + 6*y**2 - 4. Let w be l(-5). Suppose -o + 15 = 4*o. Suppose 0 = m - 4*r - w, -o*m + 7 = -5*r - 21. Do m and 1/5 have different values?
True
Let g be 7/175*(-2)/(12/15). Let i = -0.87 + 5.87. Which is smaller: g or i?
g
Let s be 342/(-45) - (-2)/(-5). Let n(x) be the second derivative of x**5/20 + 2*x**4/3 + x**2/2 + 16*x. Let m be n(s). Is -2/19 equal to m?
False
Suppose 4*h + 13 + 3 = 0, 0 = 5*s + 4*h - 39. Is s greater than 15?
False
Let b = -67 - -32. Let s = -16 - b. Is s at most 18?
False
Let z(p) = -2*p + 12. Let d be z(5). Suppose -d = -3*l - 38. Which is smaller: -14 or l?
-14
Let a = -21/5 - -22/5. Let f = a - -21/5. Is 5 less than or equal to f?
False
Let f = -4.11 - -0.11. Let h = -722 - -754.9. Let t = -33 + h. Is t greater than f?
True
Suppose 4*g + 8 = -0. Let d be -4*g/((-24)/(-9)). Suppose -d*c = c. Which is smaller: c or -8/11?
-8/11
Suppose 640 = 2*n + 4*u, 1304 = 28*n - 24*n - 4*u. Are n and 0 nonequal?
True
Let s = 8109/1276 - 70/11. Let u = s + -225/812. Which is bigger: -1 or u?
u
Let h = 75 - 187. Is h equal to 1?
False
Let i(n) = -n**3 - n + 11. Let f be i(0). Suppose -5*q = s - 1 - 53, -3*s = -2*q + 25. Is q bigger than f?
False
Let d be 1536/(-9) - (-4)/6. Let h be 9/27 + d/507. Let q = 1045/15717 + h. Do -1 and q have different values?
True
Let t be 10/(-75) - (-332)/15. Are t and 26 unequal?
True
Let h be 528/64 - (-2)/(-8). Let l(v) = 3*v - 7. Let i be l(5). Is h equal to i?
True
Let d = -6 + 10. Let s = 6 - d. Let c = 1 + s. Which is smaller: -1/2 or c?
-1/2
Let p = 4855 - 4854. Let m = 2021/1183 + 1/169. Which is smaller: p or m?
p
Let l = 10 + -3. Suppose -1 = 5*z - 2*v - 2, 2*z - 3*v - l = 0. Let m be 1 + (10/14)/z. Which is bigger: 1 or m?
1
Let a be (-1)/(15/9) - (-6745)/3700. Let t be (-1*(-2)/(-74))/(-1). Let n = a + t. Is 1 greater than n?
False
Let r be ((-2)/27)/(8/(-24)). Is -127 != r?
True
Let z be 11/((-33)/150) + -4. Let d = z + 56. Which is greater: 8/9 or d?
d
Suppose -3*s + 0*s = -93. Let p be s/2 + (-12)/8. Let f = p - 14. Which is smaller: -2/9 or f?
-2/9
Suppose 2*z = 65 + 45. Let t = z - 47. Do t and 22/3 have different values?
True
Suppose -40*y + 4*k = -41*y + 23, y + k = 17. Is y <= -6?
False
Let x(t) = -t**2 + 9*t + 7. Let y be x(9). Let h = 13 - y. Let z be (-30)/h*(-1)/1. Which is bigger: 4 or z?
z
Let s be 10/(-12)*6/20. Suppose -29*b + 32*b = 12. Is s less than b?
True
Let w be 4/14 + (-216)/(-126). Suppose 0 = -4*c + w*h, -h + 3*h = 4. Which is smaller: 2 or c?
c
Let w be -1 + ((-30)/(-9))/5. Let h = 1.6 - 1.58. Let t = -0.18 - h. Which is greater: w or t?
t
Let k(r) be the second derivative of -r**3/6 + 2*r**2 + 18*r. Let f be k(3). Are f and 12/7 non-equal?
True
Let k be (-2 - (3 - 5))/2. Suppose -2*n - 2*n + 12 = k. Let m be 6 - 1/n*3. Which is bigger: m or 7?
7
Let u = -1.6971 + -1.3029. Let y be 142/462 - 2/6. Is u >= y?
False
Let g = -89 + 91.27. Let v = -16.03 - g. Let t = -18 - v. Is -3/4 >= t?
False
Let o = -1/340 + -2543/2380. Is o less than -2?
False
Let g(r) = -r**3 - 3*r**2 - r - 1. Let f be g(-2). Let p = 5 - 6. Let b = p - 1. Is f at most b?
True
Let z = -224 - 1. Let l be 4/((-456)/z) - (-6 + 8). Is 0 greater than or equal to l?
True
Let l = 7890/17 + -464. Let v be 1 - (21/(-3) + (2 - -1)). Suppose 2*f + 7 = y, -5*y - v*f = -0*f + 25. Which is greater: y or l?
l
Let y be -15 - -9 - (1 + -2). Let z = -1 + -2. Which is smaller: y or z?
y
Let d(v) = 10*v - 8. Let w be d(3). Suppose 5*q + w = -4*m + 7, -9 = -3*m + 3*q. Is 5/8 equal to m?
False
Let v(w) = -16*w - 34. Let d be v(-2). Which is smaller: d or -8?
-8
Suppose -4*q = -0*q - 12. Suppose -q*x = -0*x. Suppose x - 2 = -2*y. Which is smaller: -1/5 or y?
-1/5
Let g be 4 - ((7 - 3) + 10). Let v = g - -15. Let j = v + -18. Which is greater: -12 or j?
-12
Let w = -31 + 44. Let r = 