 derivative of -t**3/3 + t - 5. Let f be r(h). Is 2/9 equal to f?
False
Let x be (1 - 0) + (4 - 1). Suppose -2 = -3*u + 7. Suppose 5*m - b - u = 0, -x*m + 7 = 5*b - 7. Which is smaller: m or -4?
-4
Let o be 91/(-245) + (-3)/15. Let b = -1 + 0. Is o != b?
True
Let k = -853 + 29857/35. Which is smaller: 0 or k?
0
Let i = 6 - 10. Let z(w) = -4*w - 6. Let y be z(-4). Let x be i + 3 + y/8. Is x at least 1?
False
Suppose -3*c + 8 + 2 = -4*l, c + 2*l + 10 = 0. Let v be (-4)/(-3) - 5/15. Suppose -v = -3*z - 4. Is c at most as big as z?
True
Let f = 17 - 6. Let g = f + 0. Which is smaller: g or 0.1?
0.1
Let r be (-2 + 5 - 1)*3/(-36). Which is smaller: -6 or r?
-6
Let f = -446/7 + 64. Suppose 2*i + 4*r = 24, -5*i + 13 = r - 2. Suppose 5*c = i*c. Are f and c unequal?
True
Let o be (-15)/(-6) + 1/2. Let g be (-1)/2 - o/6. Let m = g - 2. Does m = -1?
False
Suppose -3*i + 10 = -i. Suppose s = 4*b + i, -4*b - s + 3*s - 10 = 0. Let n be 1/((-3)/((-12)/34)). Is b at most as big as n?
True
Let z be 7/35*-1 + (-158)/60. Is z > -2?
False
Suppose -14 = 2*i + 4*q, -4*i - 1 = -4*q - 9. Which is smaller: -1/44 or i?
i
Let w = -3 - -7. Suppose w*t - 2 = -14. Which is bigger: -9/5 or t?
-9/5
Let v be -1 + 3 + -3 + 1. Suppose 0 = 5*t - 5*w, 4*t = -6*w + 3*w. Let d = t - -1. Which is greater: d or v?
d
Suppose 4*s + 5*a - 4 = -0*s, -s = -a - 1. Suppose 2*g + 2*g - 24 = 0. Suppose -2*p - p = -g. Which is greater: s or p?
p
Suppose -2*q = 4*j + q + 17, 3*j - 3*q - 3 = 0. Let t = -5 + 4. Which is bigger: j or t?
t
Let n = -88 + -13. Is n greater than -1?
False
Suppose -i = -2*z + 17, 0*i - 2*z = -5*i - 101. Is -20 < i?
False
Let g be (3/6)/(1/(-18)). Let k = 7 + g. Which is smaller: -3 or k?
-3
Let q = 243 - 236. Let i be (-8)/(-14) - 4/14. Is q equal to i?
False
Let a = -32 - -98/3. Let s = -91 - -94.9. Let p = -4 + s. Is a != p?
True
Let l = 101/3 - 33. Let j = -195847/463 + 423. Let s = 940/3241 - j. Which is bigger: l or s?
l
Suppose -2*g + 3*g + d - 5 = 0, -4*g + d = -10. Let c be 4*(-3)/(18/(-15)). Suppose g*i = i + c. Which is greater: i or 2?
i
Let o = 2.2 + 0.8. Let q = 0.2 + -0.1. Let j = q - 0. Is o smaller than j?
False
Let h = 45 - 52. Suppose -4*r = -7*r - 18. Let a = r - h. Is 0 equal to a?
False
Let q = 0.04 - -0.16. Is -9 greater than or equal to q?
False
Let h(a) = 7*a**3 + 2*a**2 + 6*a - 3. Let v be h(4). Let n = v - 27553/55. Which is smaller: n or 1?
n
Suppose 2*a + 4 = 5*b - 5, -7 = -5*b + a. Let z = b + -5/3. Which is smaller: -1 or z?
-1
Suppose 5*x - 4 - 1 = 0. Let a = x - 1. Let j = -65 - -197/3. Is a greater than or equal to j?
False
Let r(j) = -18*j - 13. Let x be r(-1). Is x greater than or equal to 1?
True
Let j = 30 + -42. Let s = j - -12. Let t = -8 - -15. Is s > t?
False
Let k be (0 - -3) + (0 - 1). Suppose 5*a - i - 27 + 12 = 0, a = -2*i + 3. Suppose -k = -a*m - 8. Is -2 equal to m?
True
Let y be 28/6 + (-1)/(-3). Suppose -y*k - 4*o = -0*o + 9, 4*o = -4. Let m(v) = 4*v + 2. Let b be m(-1). Which is greater: b or k?
k
Let b(p) = -5 + 2*p**2 - 5*p - p**2 + 0. Let x be b(6). Let s be ((-2)/68*-4)/(-1). Is s less than x?
True
Let t = 19 + -20. Is t > 0.1?
False
Let w = -174 - -159.01. Let o = w + 15. Which is greater: -1 or o?
o
Let s = 458 + -3200/7. Suppose -5*f = -5*z + 6*z - 7, 2*f - 12 = -5*z. Which is greater: z or s?
z
Suppose 0*l = -3*l - 6. Which is smaller: -10/9 or l?
l
Let q = 5 - 9. Let f = -3 - q. Is f greater than 6/11?
True
Let s be -1 + 1 + 0 + 3. Let r = 6 - s. Suppose r*d + 7 = 3*m - 5, 4*m = 5*d + 23. Which is smaller: -8 or d?
-8
Let f be 1 + (4282/12 - 2). Let g = 355 - f. Is g equal to 0?
False
Let t be (-1)/3*21/(-28). Which is greater: -1 or t?
t
Let j = 8 - 5. Let n = -8 + 13. Is j < n?
True
Let o = -254/473 + -16/43. Let z = 8/33 + o. Which is greater: -0.1 or z?
-0.1
Let t = 1.842 - -0.158. Which is greater: t or 7?
7
Let m = -11942/19 - -628. Let b = 49/57 + m. Let n = 1.1 + -0.1. Which is greater: n or b?
n
Let m = -2 + 1.3. Is -2 != m?
True
Let i = 368 + -4051/11. Let s be -1*(24/(-15))/4. Which is smaller: s or i?
i
Let m(y) = y. Let o be m(-2). Let r = o + 2. Is r greater than 1/6?
False
Let m = -138496056983/180 + 3076927603/4. Let d = -190627 - m. Let j = 53/5 - d. Is 0 bigger than j?
True
Suppose 0*z = 3*z - 9, 0 = 4*l + z - 39. Let p(d) = -d**3 + 10*d**2 - 9*d + 1. Let h be p(l). Is h less than or equal to 1?
True
Let t = -0.11 + 0.14. Let z = 5 + -5.2. Which is greater: z or t?
t
Suppose 3*r + 1 = 13. Suppose 20 - 4 = r*n - 4*h, 3*n = 2*h + 8. Which is smaller: n or -1/10?
-1/10
Let l = -11/15 + 1/3. Let o = 0 - 1. Let w = o + 1. Which is bigger: l or w?
w
Let m(p) = 7*p - 10. Let u(v) = v. Let f(q) = -m(q) + 6*u(q). Let g be f(6). Suppose 0 = 2*a - 2*x - g, 4*x + 6 = a + 1. Is -1 equal to a?
False
Suppose 5*l = 6 + 19. Suppose -l*h = -15, 0*d - 3*h - 21 = 3*d. Which is smaller: d or -9?
d
Let o = -13 - -15. Suppose 1 = l - o. Which is smaller: l or 5?
l
Let i be 5/3*(-63)/70. Let b(s) = -s + 4. Let t be b(5). Which is greater: t or i?
t
Let c be -3 + (4648/2574 - -1). Let o = c + 4/99. Is 1 at least o?
True
Let o = -45 + 25. Let z = o + 17. Which is greater: z or -0.3?
-0.3
Let r be (-13)/12 + 6/(-9). Which is greater: -3 or r?
r
Let c be (-8)/(-64) + 3308/(-96). Are -33 and c non-equal?
True
Let q(m) = -2*m**2 + 5*m**3 + m - 9*m**3 + 5*m**3 - 2. Let a be q(2). Which is bigger: 3/4 or a?
3/4
Suppose 7*n = 2*n - 50. Which is greater: n or -3?
-3
Let a = 140131/173 - 810. Which is smaller: 1 or a?
a
Let l = -22 + 32. Let t = l - 10. Do t and 5 have different values?
True
Let b = 0.3 + -0.2. Let a = 0 + 4. Let d = 4.1 - a. Is d smaller than b?
False
Let i = 6 - 4. Let n = i + 1. Which is greater: -1 or n?
n
Let b be (-1)/((-3)/((-249)/(-2))). Let s = 38 - b. Which is bigger: -3 or s?
-3
Let k = 8 + -7. Which is bigger: k or -6/13?
k
Let r be (3/15)/((-1)/3). Which is bigger: -2 or r?
r
Let i = 0.4 + -0.1. Let l = 0.6 - i. Is 0.1 less than or equal to l?
True
Let d be (-35)/(-4) + (-12)/16. Let k = d - 5. Which is smaller: 2 or k?
2
Let z = 2.6 - 1.6. Is 16/3 less than z?
False
Let a(r) = r**3 - r - 1. Let p be a(0). Let u = -1 - p. Suppose u = 3*c - 3*b + 12, -3*c - 3*b + 12 = 0. Which is smaller: c or 2/5?
c
Let l be (16/(-6))/(2/(-3)). Let y be (0 - -3) + (1 - 2). Which is greater: l or y?
l
Let o = -1234065/127 + 9717. Let v = o + -297/1778. Which is smaller: 0 or v?
v
Let p = -1.01 - -1. Let v = -0.9 - -0.8. Which is greater: p or v?
p
Let m = 13 - 51/4. Suppose 0 = -7*l + 2*l + 25, -3*p + 2*l = 7. Which is bigger: p or m?
p
Let i(t) = t + 20. Let c be i(-9). Is c > -1?
True
Let b be -5*(2/1 - 1). Let p be (-1 - 3/b) + 1. Is 1 equal to p?
False
Let g be ((-6)/(-3))/1 + 2. Suppose -3*d - 8 = -g*h + d, 1 = 3*h - 2*d. Are h and -2 nonequal?
True
Let k(r) = 11*r**3 + 3*r**2 - 8*r + 9. Let z(t) = -4*t**3 - t**2 + 3*t - 3. Let v(a) = -3*k(a) - 8*z(a). Let u be v(0). Do u and -2 have the same value?
False
Let y(c) = 13*c**2 - 2*c**3 + 3 - 12*c + c**3 + 1 - 6. Let p be y(12). Which is smaller: -3 or p?
-3
Suppose 0 = -2*k + k - 2*z - 7, k = 5*z. Let n(j) = j**3 + 6*j**2 + 5*j + 3. Let i be n(k). Let b(f) = -2*f**2 + 30*f + 33. Let d be b(16). Is d less than i?
True
Let q = 0.1 + -1.1. Let p = q - -0.8. Let o = -1.2 - p. Which is smaller: o or 1?
o
Let k(x) = 2*x + 10. Let j = 18 + -23. Let p be k(j). Let t = -2 - -1. Which is smaller: t or p?
t
Let j be (-7 - -6) + (-5)/7. Which is bigger: j or -2/5?
-2/5
Let k be 0 - -3 - (0 + 3 + 1). Is k smaller than 1/38?
True
Suppose 4*z - 6 = z. Suppose -z*u - 2 = -0*u. Is -1/8 at most u?
False
Let p(i) = 3*i - 6. Let o be p(4). Let y(w) = o + 3*w**2 + w**3 + 2*w**2 - 3 + w. Let g be y(-5). Is g equal to 0?
False
Let p(i) = 2*i**2 + i + 1. Let m be p(-1). Suppose 0 = 4*k - 9 - 3, m*n = -2*k + 8. Let s = 0 - n. Which is smaller: s or -1/12?
s
Let i(l) = 2*l + 2. Let r be i(0). Let d = 1 - -2. Let j = d - r. Is j equal to 2?
False
Let t = 78 - 548/7. Let b = -1.08 - -1. Is b at least t?
True
Let r be 2/(-5) + 8/(-5). Let t be (-27)/(-18)*4/(-3). Is r at least t?
True
Let c = -1705/102 - -101/6. Is c at most 1?
True
Suppose -l = 2*l + 42. Let g = 13 + l. Which is bigger: -2 or g?
g
Let k = 34 + -31. Let b(c) = -c**3 + 2*c**2 + 2*c - 3. Let s be b(2). Suppose 3*h - 9 = -2*