 0. Does -102/5 = b?
False
Let p = -26 + 24. Let i be 30/8 - (-4)/16. Let k = i - 5. Is p < k?
True
Let v = -415 + 385.9. Let p = v - -35.24. Let f = p - 0.14. Is f less than -2/5?
False
Let t be (-14)/(-5) + -13 + 11. Let j(g) be the third derivative of g**6/120 - g**5/15 + g**4/24 - g**3/2 + 3*g**2. Let c be j(4). Are t and c equal?
False
Let s(l) = l**3 - 6*l - 4*l**3 - 9*l**2 + 18 + 2*l**3. Suppose 2*i = 4*u - 10 + 2, i + 12 = -2*u. Let r be s(i). Does 0 = r?
False
Suppose x + 7 = -4. Suppose -3*i + 41 = -3*y + i, y - 5*i = -21. Do y and x have the same value?
True
Suppose b + b - 254 = 0. Let p = 2017993/11 - 183581. Let a = b + p. Which is smaller: a or -1?
-1
Let x(m) = -43*m - 43. Let k be x(-18). Are k and 732 unequal?
True
Let m = 1 + -0.1. Let f = -0.1 - m. Let b be -1*(4 + (-81)/21). Is b at least f?
True
Let r = -8.265 + 8.273. Let h be (-1)/(-1) + 9/(-7). Is r greater than h?
True
Let c(q) be the second derivative of q**6/720 + q**5/40 + 2*q**4/3 + 9*q. Let k(o) be the third derivative of c(o). Let f be k(0). Are f and 3 nonequal?
False
Let x be (-4)/14 + (-15114)/(-77) + -1. Which is smaller: 196 or x?
x
Let u = 20 - 26. Let z be (-1)/u*-2*3. Suppose -3*o - 5 = -d - 8*o, -4*d + 5 = 5*o. Is d bigger than z?
True
Let b = -40 - -362/9. Let o = 617 - 613.01. Let c = o - -0.01. Which is smaller: c or b?
b
Let o be 10/(-2) - 48/(-4) - 6. Does 3/4 = o?
False
Suppose -513*j = -518*j + 5. Is 1/347 != j?
True
Let j be 16/24*6/(-70). Let k(r) be the first derivative of -r**3/3 + r**2 - r + 10. Let o be k(2). Which is smaller: o or j?
o
Let r be 36/(-15)*((-6)/4 - 1). Suppose -5*k = -31 + r. Which is smaller: k or 9/2?
9/2
Suppose -4*o + 1 = 65. Let g be 38/4 + o/32. Is g < 7?
False
Let w(f) = -f + 14. Let l be w(11). Let y be l/9*-1*12. Is -4 greater than or equal to y?
True
Let q = 2085 + -2085.1. Is -3.7 bigger than q?
False
Let v be 56/(-12) - (16/12 + -2). Let x be ((-6)/v)/(-1) + 390/(-220). Which is greater: x or -2?
-2
Let x be 1 + ((-32)/14 - -1). Let k = 270.12 - 302. Let a = 32 + k. Is a at most x?
False
Suppose -b + 85 = 5*s, -4*b + 8 = 2*s - 26. Let p = 11 + 5. Is s less than p?
False
Let r = 0.23 - -22.77. Are r and 9 non-equal?
True
Suppose -u + 21 = -5*b + 190, -2*b + 3*u + 78 = 0. Suppose 4*z + 12 = 4*v, 4*z = -3*v - 2*v + b. Which is greater: 6 or v?
6
Let x = 248 - 249. Which is smaller: x or 2/715?
x
Let a be ((-61)/(-244))/((-2)/12). Let w = -0.6 + 6.6. Which is smaller: a or w?
a
Let a(f) = -30*f - 473. Let g be a(-22). Is g != 186?
True
Let g be (2 + (3 - 2))*(-1)/(-1). Suppose j = -4*v - 127, 4*v = -0*v + g*j - 131. Is -31 < v?
False
Suppose -4*g = -5*x - 35, g + 10 = -2*x - 3*x. Let i(r) = -r**2 + 11*r - 6. Let u be i(8). Suppose u = -g*k + 2*k. Does -8 = k?
False
Suppose m = 2 + 1. Suppose -10 = a - m. Let f be (-1)/(-1)*(-7)/a. Which is smaller: f or -2/23?
-2/23
Let h = -119.1 + 119. Which is smaller: 0.0191 or h?
h
Let v be (1/(-3))/((-13)/975). Suppose 207 = -3*t + 12*t. Is t greater than v?
False
Let f be -2 - (2/(-4))/(4/32). Are 41/2 and f unequal?
True
Let f = -754.51 + 788.5. Let a = -34 + f. Is -0.1 >= a?
False
Let l = -424 - -409. Is 1/5 greater than l?
True
Suppose 2*w = 3*r - 8, -2*w = -r - 0*w + 4. Let s(h) = 1 + 6*h - 7 + h**r + 5 + 5. Let z be s(-4). Is z greater than -5?
True
Let m = -221/11 + 453/22. Let i = 185696/3 + -2425625/39. Let t = i - -297. Which is greater: t or m?
m
Let w = -0.26 - -0.13. Let i = w - -0.1. Let j = 7.03 + i. Is -1 less than or equal to j?
True
Let k = -1/112 - -253/112. Suppose -4*v + 19 = 3*r, -21*r + 16*r - 4*v + 21 = 0. Which is greater: r or k?
k
Suppose 5 + 0 = 5*q. Let a = q + -2. Suppose 2*d - 8 = 6*d. Which is bigger: a or d?
a
Let s = -12 + 4. Let y = s + 8. Let p be 3/18*6/(-4). Which is smaller: y or p?
p
Let a = 4 + -4.7. Let y = -39.7 - -38.7. Is y >= a?
False
Let b(d) = 3*d + 73. Let g be b(-25). Is g > -66/23?
True
Let l(x) = -2 - 4*x**2 + 0 - 16*x - 13 + 3*x**2. Let w be l(-15). Let d be 0 - (-2)/7 - w. Which is bigger: -0.2 or d?
d
Suppose 2560 = -38*m + 7690. Is 1476/11 equal to m?
False
Let f = 49.23 - 49. Let c = -109/308 - -3/44. Is c greater than f?
False
Let f = 4187/2870 + -51/35. Let n be 22885/43050 + 4/6. Let o = f + n. Which is smaller: 1 or o?
1
Let r = -5.98 - -6. Let f = -288.1 + 288. Is f smaller than r?
True
Let b be 5/((-20)/113) - 6. Which is smaller: b or -34?
b
Suppose -5*s + 4*d = -14, -s = 5*d + 3 - 0. Let z be (-8 + 5)*s/(-3). Suppose z*w + 5 = -3*w. Which is smaller: -2/7 or w?
w
Let n be -6*(-2 + 3) + (-725)/(-45). Is 11 < n?
False
Let g(k) = 30*k**3 + k**2. Let j be g(1). Let u(a) = a + 18. Let d be u(13). Is j not equal to d?
False
Suppose -21*v = 682 - 157. Do v and -27 have different values?
True
Suppose -l = -3*l + 72. Suppose -4*d + l = -0*d. Suppose 0 = 4*j - 3*z - 1 + 13, -3*j - d = -4*z. Which is smaller: -2 or j?
j
Let r be ((-280)/154 - 2/11) + 3. Let a be ((-6)/(-22))/(4/20). Is r greater than a?
False
Suppose -2*v - 5*j = -33, -2*j + 21 = 2*v - j. Suppose 5*q - 1 = 2*b + 11, 2*q - 16 = -2*b. Suppose -5 = b*p - v. Which is smaller: -1/15 or p?
-1/15
Let w(q) = -q**3 + q**2 + 4. Let c be w(0). Which is greater: 31/10 or c?
c
Let j = 661/3184 + -4/199. Is j less than 0?
False
Let x(i) = i**2 + 5*i - 12. Let y be x(-9). Let v = -23 + y. Let l be ((-1)/19)/((-1)/(-3)). Which is greater: l or v?
v
Let n = 0.804 - 0.114. Let j = 0.33 - n. Let t = 0.36 + j. Is t bigger than 2/15?
False
Let u(y) = y**3 - 4*y**2 - 2*y - 14. Let f be u(5). Let p be f/(-1) + 63/90. Does -1/3 = p?
False
Let x = 36774 - 625470/17. Is -19 greater than or equal to x?
False
Let q be -2 + 0 - 564/(-270). Let l be (-72)/(-30) + 2/(-5) - 2. Which is bigger: q or l?
q
Suppose 0 = 6*g - 7*g + 2. Let h(i) = g*i + 31 - 31. Let c be h(0). Which is smaller: c or 1?
c
Suppose 0 = 4*b + b - 20. Suppose c = -g - 4, -3*c - 2*g + b*g = -8. Let w = 12/37 + -279/518. Are c and w equal?
False
Let w(c) = -88*c + 13. Let y be w(-4). Let t = -1831/5 + y. Which is smaller: -1 or t?
t
Let b(x) = x**3 - 5*x**2 + 5*x - 8. Let h(v) = -v**3 + 5*v**2 - 5*v + 7. Let a(r) = -2*b(r) - 3*h(r). Let w be a(4). Is w != -2/53?
True
Suppose 3*x = -0*x + 6. Suppose -3 + 6 = -t - 4*q, x = 4*t + 2*q. Which is bigger: t or 1/23?
t
Let b = 896.4 + -896. Let l = 0.5 + -0.3. Which is greater: b or l?
b
Let r be (-26)/(-2)*(0 - (2 + -1)). Let p = -80 + 68. Is r at least as big as p?
False
Let z = 20 - 19.8. Let r = -0.1 - z. Let o = r + 0.2. Is o >= -9?
True
Let b = -46 + 33. Suppose -2*m + 5*m = 24. Suppose m = 2*j, 5*j - 21 = p - 0*p. Which is bigger: b or p?
p
Let s(t) = -2*t - 22. Let h be s(-9). Let m(i) = -i**2 - 4*i - 3. Let r be m(h). Is -6 bigger than r?
False
Let r = -836179/49 + 17065. Suppose 6*z = z. Is r greater than or equal to z?
True
Let u be (-182)/(-208) - 3/24. Which is smaller: -13 or u?
-13
Let j(c) be the second derivative of c**4/6 + 13*c**3/6 + 7*c**2 - 9*c. Let x be j(-6). Which is smaller: 7 or x?
7
Suppose 5*k + 5*n = 160, -2*n + 5*n = -12. Suppose -4*u + 8*u = -k. Let y be -3 - (124/u)/4. Is y at most as big as 0?
False
Let t = -9 + -1. Let k be 168/(-35)*10/(-2). Let r = -34 + k. Is t at most r?
True
Suppose 0 = -0*w - 4*w - 124. Is w bigger than -35?
True
Let u(n) = 3*n - 12. Let j be u(5). Suppose 0 = o + j*o - 4. Which is greater: 0 or o?
o
Suppose -4*u = n + 4, -4*n - u + 2 = -3*u. Suppose -s - s - 16 = 5*c, n = -2*c + 4*s - 16. Is c less than 3?
True
Suppose -4*z + 5*x + 836 = 3*x, -3*z + 653 = 5*x. Do z and 212 have different values?
True
Let j = -0.3 + 0.3. Let w = -14 + j. Let p = w + 13.86. Is p >= 2/3?
False
Suppose 0 = 316*d - 322*d + 186. Is d at least 20?
True
Suppose -2*q + 3*q = 4*t - 62, -196 = 4*q - 3*t. Is -46 != q?
False
Let v = 439/3 - 145. Is v less than or equal to -8/11?
False
Let a(l) = l**3 - 2*l + 3. Let n be a(3). Let q = n - 16. Are q and 8 equal?
True
Suppose 5*m + 4*x + 14 = 0, -3*m = -4*x - 3 + 5. Suppose 26 = 3*o + v - 14, -2*o + v = -20. Let g be (3/12)/(m/o). Do g and -3 have different values?
True
Suppose -p = 3*p - 3*t - 28, -28 = -5*p + 2*t. Suppose 0*i + k = -p*i + 6, -5*i = -2*k - 1. Is i >= 3/7?
True
Let a be 2/(-5)*3600/(-880). Let l(o) = 6*o + 2. Let u(i) = -2*i - 1. Let m(t) = 6*l(t) + 17*u(t). Let b be m(4). Is b sm