Is -0.2 equal to w?
False
Suppose 2*x = -5*c - 68, 4*c + 158 = -4*x - 2. Which is bigger: x or -45?
x
Let b(p) be the third derivative of -p**5/60 + 7*p**4/8 - 3*p**3 + 10*p**2. Let g be b(20). Does g = 12/13?
False
Let b = 0.0867 + -3.7167. Let q = -3.7 - b. Which is smaller: 2/9 or q?
q
Let r = -86 + -29. Which is smaller: -113 or r?
r
Let h(b) = -b**3 - 8*b**2 + 3*b + 28. Let z be h(-8). Let c be (-382)/(-342) + z/(-18) + -1. Which is smaller: c or 0?
c
Let m = -86 + 127. Is 41 at most as big as m?
True
Let k be (-6)/(-504)*(-24)/(-39). Is k at most as big as 1?
True
Suppose 0 = 4*y + 4*h + 172, -y + 5*h = 14 + 17. Is y less than -39?
True
Let g = 0.26 + -0.23. Let d = -7.97 - g. Let q = 3 + d. Which is smaller: -3 or q?
q
Let m(u) = 70*u + 184. Let x be m(-3). Which is greater: -18 or x?
-18
Let p be 4 + (0 - 3) - -14. Suppose 11*o - 6*o = -p. Let l(q) = -q - 1. Let z be l(o). Is z greater than 7/3?
False
Let s(h) = h**2 + 4*h - 11. Let i be s(-6). Let c = 2 - 3. Let x(k) = 3*k. Let l be x(c). Which is smaller: i or l?
l
Let x = -1447/20 + 143/5. Which is smaller: x or -45?
-45
Let f be 3*(-18)/4 + (-6 - -10). Suppose 5*m + x + 40 = 3*x, -x = -3*m - 25. Is m <= f?
True
Let g be 8/(-12) - (-16)/6. Suppose -3*q + g*q - 6 = 0. Let d = q - -11. Which is smaller: 3 or d?
3
Let r(k) = 23*k - 12*k**2 + 9 - 3*k + 14*k**2. Let u be r(-9). Which is smaller: -4 or u?
u
Let i = 884/9 - 3725/36. Which is smaller: i or -11?
-11
Let g = -12.2 - -7.1. Let j = g + 6.1. Which is smaller: j or -52?
-52
Let l(z) = -z**2 + 9*z - 6. Let s be l(8). Suppose s*j = -2*j + 16. Let r = -2 - j. Which is smaller: r or -7?
-7
Let w = 22 + -20.9. Let h = 1.2 - w. Let v = -0.03 - -0.33. Which is smaller: h or v?
h
Suppose -2*b + 24 = b. Let i = 45 + -35. Suppose 4*s + d - 3*d - 14 = 0, -4*d - i = -5*s. Is b greater than or equal to s?
True
Let d(a) = 2*a. Let h be d(1). Let n be (-2832)/1358*32/(-78). Let s = 2/1261 + n. Which is smaller: s or h?
s
Let j = 385 - 6543/17. Is j <= -1?
False
Let z(j) = -7*j + 2. Let o be z(7). Is -47 less than o?
False
Let r = 0.08 + -2.08. Let d = -1 - r. Let h(t) = -t**3 + 13*t**2 + 11*t + 44. Let a be h(14). Is d equal to a?
False
Let n = 3.21 + 31.39. Let c = -32 + n. Let a = -2.6 + c. Which is bigger: -5 or a?
a
Let z = -0.024 - -0.019. Let v = -0.995 + z. Which is smaller: 4/9 or v?
v
Let l be (-52)/(-13)*(1 + 0). Suppose -m = -v - 1, -3 = -l*m + 3*v + 2*v. Do 3 and m have the same value?
False
Let k be (-1)/(17/2) + 200/425. Which is bigger: k or 1?
1
Suppose 3*t + 2683 = 4*h, 2*t - 5*h = -h - 1794. Let q be t/30 - 3/6. Let s = 30 + q. Which is bigger: s or -1?
s
Let x = 0 - -3. Let z be ((x - 3) + 1)*0. Let t = 3/17 + -145/51. Is z equal to t?
False
Let s(y) = 5*y**2 - 1. Let l(f) = f + 4. Let k be l(-5). Let i be s(k). Let b = 204 - 200. Are b and i unequal?
False
Suppose -64 = -2373*f + 2381*f. Which is bigger: 85 or f?
85
Suppose 0 = 3*s - 4*s. Let f be s/(3 - (5 + -3)). Suppose -6*l + 3*l = a - 1, f = 4*l + a. Which is smaller: l or 2/27?
l
Let t be (-3)/(-2)*294/9. Let o = t + -57. Is o < -10?
False
Let u = -330 + 330. Let p = 3 - 2. Which is bigger: u or p?
p
Let l be 2 + -2 + (-1)/2. Let q(d) = -d**3 + 16*d**2 - 40*d - 2. Let m be q(13). Which is bigger: l or m?
l
Suppose 22 = 2*w - 2*q, -3*w + q + 11 = -16. Suppose 6*l - 2*l = 0. Suppose 2*z - 5*z = -5*a + w, l = 5*z + 5. Do a and -2/13 have the same value?
False
Let v be 1*(1 - 1) - -12. Let f(c) = 16*c - 68. Let w be f(5). Is w < v?
False
Let h be -74 + 0 + 5/5. Let r = -73 - h. Let u = 107/1017 - -2/339. Which is smaller: u or r?
r
Let n = 11.16 + -10.16. Which is smaller: 76/5 or n?
n
Let t = -52 + 54. Let s be 14/(3/(4/(-6 + t))). Let u = -8 + 2. Is s bigger than u?
True
Let t = 33 - 31. Suppose 0 = -u + 3*m - 5, t = -2*m + 4. Do u and -4 have the same value?
False
Suppose -3*h - f = -8*h + 228, -231 = -5*h + 2*f. Let o(p) = p**3 + 12*p**2 + 10*p - 15. Let i be o(-11). Let q be (-60)/h*6/i. Which is greater: 1 or q?
q
Let u be 14 - 13 - (-7)/15. Let s = -499/330 + u. Which is smaller: -1 or s?
-1
Suppose -3*p - 56 = -2*j, -p = 4*j - 3*p - 96. Suppose j = f - 3*f - 2*g, f - 4 = 2*g. Let m be (f/(-4))/(24/32). Do 0.1 and m have the same value?
False
Let u be ((-186)/(-12))/(2/(-4)). Let h be (-1)/(3/(-1 - -97)). Is u at most h?
False
Let r be (-5)/10*-5*-12. Let n = r - -32. Suppose 5*a - 66 = 4*u + 24, -n*a + 48 = -4*u. Does a = 16?
False
Let j = -12 - -14. Suppose 5*y - 2*n - n = 19, 0 = -3*y - j*n. Suppose 2*x - y*a = -18, -28 = 5*x - 4*a + 21. Is x > -15?
True
Let o be (1 - (2 + 14))*-1. Let t = o - 11. Suppose 0 = 3*x, 2 = -t*g + 5*x - 18. Which is smaller: -6 or g?
-6
Let h = -26 - -43. Suppose -4*r + h = -15. Suppose -10 = -2*g - 3*m, -2*g = -m - 2 + r. Is g less than or equal to 0?
True
Let u = 31/16 - 6371/3280. Which is greater: u or 1?
1
Suppose 3*m - 1 = g, 8*m = 3*m + 4*g - 10. Which is greater: m or 2/69?
m
Let a = -37 + -26. Let u be -6 + (-456)/(-78) + a/13. Let g = -38021/9055 + -2/1811. Is u at most g?
True
Let z(n) = -2*n + 4. Let k be z(-12). Is k equal to 28?
True
Let v = 2117 - 2098. Are -0.21 and v nonequal?
True
Let p be 3/26*(-32)/48. Is -6 less than or equal to p?
True
Let n = 607 + -81946/135. Let y = -803/945 + n. Let u be (-6)/9*12/8. Which is smaller: y or u?
u
Let y be (-1 - 1)*(-2667)/(-42). Let v = y + 126. Which is smaller: v or -5/4?
-5/4
Let h = -12266/21 + 584. Let g(n) = 25*n + 325. Let c be g(-13). Which is smaller: c or h?
h
Let v = -163 - -163. Which is bigger: 5/44 or v?
5/44
Let r(h) = -h**3 + 14*h**2 - 14*h - 6. Let u be r(13). Is u greater than 1/4?
False
Suppose -j - 192 = 4*o - 5*j, o + 2*j + 39 = 0. Which is greater: o or -44?
-44
Let j(p) = -p**2 + 6*p + 10. Let b be j(7). Suppose b*h + 13 = 4*h. Suppose 25*a - 442 = -9*a. Is a bigger than h?
False
Let z be (-21 + 17)*(-2)/20*16. Is z less than 6?
False
Let r(o) = o + 1. Let n be r(1). Let i be (0 + (-9)/30)*n. Is i smaller than 0.1?
True
Let s = 1641254/39 - 42087. Let k = 1339/399 - 3/133. Let c = s + k. Is c at least 1?
False
Let z = -412 + 411. Is z > 3/178?
False
Let d be (5/(-15))/(1/(-6)). Let m be (d*(-3)/(-6))/5. Suppose 24*j - 1 = 23*j. Do j and m have the same value?
False
Suppose 0 = -3*t - 15 - 15. Let i be ((-46)/t)/((-136)/85). Is i != -3?
True
Let a = -1.79 + 2. Let u = a + -0.14. Let t = -1.33 - u. Which is greater: t or 0.1?
0.1
Let b = -16 + 23. Suppose 5*r - b = -2. Let f be (-9)/(-4) + (r - 2). Is -0.1 bigger than f?
False
Let d(q) = q**3 + 7*q**2 + 13*q + 13. Suppose -5 = 7*p + 30. Let k be d(p). Which is smaller: -5 or k?
-5
Suppose 5*n + 33 = 4*k, 2*k + 0*k + 3*n = 33. Suppose 0 = -2*o - 4 + k. Let b be 36/30*10/o. Is 1 greater than b?
False
Let p(l) = l**3 - 6*l**2 - 3*l + 16. Let o be p(6). Let v be 8/(-10)*(-20)/4. Suppose 0 = 3*i - v*i. Which is smaller: o or i?
o
Let g = -295 + 65. Is -230 bigger than g?
False
Let t(u) = -u**3 - 4*u**2 + 5*u. Let r be t(-5). Let l = 843 + -841. Suppose r = 3*h - l*h. Is h greater than 1?
False
Let c = -9.2 - -0.2. Let i = 2.1 - -5.9. Let x = c + i. Is 0 at least as big as x?
True
Let w be ((-12)/(-24))/(5/(-6)). Let c = -9 + 12. Which is smaller: w or c?
w
Suppose 1 + 7 = -4*o. Let m = 1167/4 - 12909/44. Which is smaller: o or m?
o
Let c be (6 - 0)*(-42)/(-9). Let m(b) = -3 + c*b + b**2 + 8 - 24*b. Let r be m(-4). Is -1 less than r?
True
Suppose -2*p - 2*x - 40 = 0, 3*p - 2*x = 3*x - 100. Are -73/3 and p non-equal?
True
Let b be 2/(-14)*-2*8/96. Is b at most 0?
False
Let f = -441 + 1281. Is f less than or equal to 841?
True
Suppose z + g = -0*g + 7, -2*z = 3*g - 18. Suppose z*d + 1 = -47. Is -17 > d?
False
Let g be (28/6)/(8/(-36)). Let l be 0/1 + g - 8/8. Is -23 smaller than l?
True
Let i = 0.02 + 0.98. Let g = -9/10 - -259/310. Is g equal to i?
False
Suppose -6779 = -3*r - 1868. Which is smaller: r or 1636?
1636
Let u = 18 + -66. Let r = 48 + u. Which is bigger: r or 0.4?
0.4
Suppose 37*c = 24*c - 1040. Are 1/3 and c non-equal?
True
Let k = 693/19 + 24162/133. Let i = k - 217. Which is smaller: 2 or i?
i
Let w = -62 + 36. Let i = -184/7 - w. Is i greater than or equal to -5?
True
Let q(i) be the first derivative of i**4/4 + i**3 - i**2 - 3*i - 5. Let z be q(-3). Suppose -m + z = 15. Is -11 <= m?
False
Let 