-m**3 + 2*m**2 + 4*m - 4. Let t be v(3). Is t bigger than 4/7?
False
Let c(b) = b**3 - 19*b**2 + 35*b - 24. Let o be c(17). Is -12 bigger than o?
False
Suppose 2*p = 3*p - 6. Let b(s) = -3*s**2 - 2*s + 2. Let a(h) = -h**2 + h. Let q(r) = -4*a(r) + b(r). Let n be q(p). Is 3 at most as big as n?
False
Let k = 0.05 - 0.05. Is -11 smaller than k?
True
Let o = 0.3 - 0.3. Let r = o + -0.05. Let c = -0.25 + r. Which is smaller: -1 or c?
-1
Let y be -1 - (-2)/(2/3). Suppose -4*d + 0*o = o + 13, 19 = -y*d - 3*o. Let c = 72 + -147/2. Which is greater: c or d?
c
Let p(v) = -v**2. Let u be (-10)/5 + (5 - 0). Let q = 3 - u. Let l be p(q). Is l at most as big as 0.3?
True
Let d = 13 - 13. Which is greater: d or 2/9?
2/9
Let x = 5.1 - 0.1. Let g = x + -4.9. Is g at most -0.2?
False
Let y = 30 + -29. Which is bigger: y or -2/223?
y
Let k be (-15)/18 + 2/4. Is k bigger than 9?
False
Let z = -15 - -9. Let o = z + 5.94. Let r = o - 0.34. Is -0.1 equal to r?
False
Let k = 36 + -36. Which is bigger: -3/2 or k?
k
Let g(r) = -2*r + 3. Let o be g(2). Which is smaller: -12/11 or o?
-12/11
Let h = -4 + 11. Let g = -8 + h. Is 9 greater than g?
True
Let l = -43 - -42.97. Is l greater than 0.2?
False
Let u = 29.4 - 29. Let l = -1.8 - -2. Which is smaller: u or l?
l
Let z = -7 + 7.1. Is 0.04 smaller than z?
True
Suppose 0 = -0*j - 2*j + 10. Suppose j*k = 210 - 0. Let c be (-2)/(-8) + k/(-104). Do c and -1 have the same value?
False
Let w(b) = b**2 - 13*b - 28. Let a be w(16). Which is greater: 22 or a?
22
Suppose 0*n - 4*n = 4*k + 28, -4*k - n = 13. Let q = 0 + k. Let m = q + 3. Which is bigger: m or 2?
2
Let p = 6 + -2. Let t be (6/(-4))/(21/p). Suppose 5*i - 3*i = 0. Which is smaller: t or i?
t
Let t(c) = c - 4. Let x be t(10). Suppose q - x*q = 0. Which is smaller: q or 2/5?
q
Let g = -0.01 - 0.09. Let n = 15 + -15. Do g and n have the same value?
False
Let z be ((-4)/3 + 2)/(-2). Suppose 0 = r - 3*o + 5, r - 9 = -4*o - 0. Which is smaller: z or r?
z
Suppose 14 = -4*k - 10. Let b(f) = -7*f**2 + 4 - f**3 - 2 - 2*f - 4*f + 0. Let o be b(k). Which is smaller: 3 or o?
o
Let k(v) = -8*v**2 + 20*v - 6. Suppose 5*u = 2*u + 33. Let t(j) = -3*j**2 + 7*j - 2. Let c(l) = u*t(l) - 4*k(l). Let a be c(-3). Which is bigger: 4 or a?
4
Let x = -32.01 - -32. Is -2/11 > x?
False
Let a = 7 + -5. Suppose 9 = r - a*r. Which is bigger: -8 or r?
-8
Let o = 0.08 + 5.92. Let m = -8 + o. Which is greater: 0 or m?
0
Let a = 26/7 - 23/7. Let q be 1*(0 - (-1 + 2)). Which is smaller: a or q?
q
Suppose 0*r = -5*r. Suppose -t + r*t = -2. Suppose 4*z = 5*g, 5*z + 3*g = -t*g. Are z and -1/2 equal?
False
Let p = 894756 + -16995388/19. Let b = 262 - p. Which is greater: b or 0?
b
Let a = 18 - 26. Let c = -8.31 - a. Let j = c + 0.01. Which is greater: j or 0.1?
0.1
Let b = -33 + 23. Let y = b + 17. Let j be y/(-28) + (-18)/(-8). Which is greater: j or 3?
3
Let q(f) be the second derivative of -2*f - 1/6*f**3 + 0 + 3/20*f**5 - 1/12*f**4 - 1/2*f**2. Let y be q(-1). Is y equal to -5?
False
Let z = 4 + -2. Suppose 0 = 2*i + 1 - 7. Which is smaller: z or i?
z
Let h = -1.6 - 1.4. Is 0 at least as big as h?
True
Suppose 0*c - 4*c - 4 = 0. Let r = 233 - 3032/13. Is r greater than c?
True
Let z = 5 - 4. Let j be 2 + 0/(0 + -1). Suppose 0*q - 2*y = -2*q + j, 0 = -2*q - 5*y + 2. Is q not equal to z?
False
Let n = 101.82 + 2.28. Let g = -100 + n. Let w = g + -4. Which is greater: 1 or w?
1
Let v be 4/(-18) - (3 + (-29)/9). Which is smaller: -39 or v?
-39
Suppose y - 29 = u, -u = 5*y - 91 - 78. Which is greater: y or 34?
34
Suppose g = -g. Let l = 52/3 - 17. Which is smaller: l or g?
g
Let y be 2/5 + 63/(-45). Which is smaller: y or -9?
-9
Suppose -14 = 2*v - 5*n + 19, 4*n = 5*v + 57. Is -12 less than or equal to v?
True
Let x(y) = 5*y**2 + y. Let d be x(-1). Suppose 5 + 3 = d*k - 3*h, -h - 4 = 0. Is -2/17 smaller than k?
False
Let p = -5.99 - -6. Let f = 0.19 + p. Is f equal to 1?
False
Let p(x) = x**3 + 2*x**2 - 3*x + 3. Let z be p(-3). Let d be 1/(z/6) + -2. Which is smaller: 2/3 or d?
d
Let y = -71 - -70. Let j = 185/6 - 31. Which is smaller: j or y?
y
Suppose -14 = -6*q + 10. Suppose 6*y - 28 = q*y. Which is smaller: y or 13?
13
Let s(w) = w - 1. Let h be s(1). Suppose -6*i + 3*i = h. Which is bigger: -1 or i?
i
Let c(n) = -7*n - 25. Let b be c(-5). Which is smaller: 1/2 or b?
1/2
Let f = -1 + 4. Let s(r) = r. Let n be s(f). Suppose 0 = -3*z + 1 + 5. Is z at most as big as n?
True
Let h be 6*((-21)/(-11) + -2). Is -2 less than or equal to h?
True
Suppose -i + 3 - 1 = k, i = -2*k + 4. Which is smaller: i or 1/24?
i
Let x(l) = l**3 + l**2 - 3*l - 2. Let h be x(-2). Let m = -39/4 + 41/4. Is h bigger than m?
False
Let n = 26 + -26.3. Which is greater: 0.2 or n?
0.2
Let r be (-27)/(-45) - 134/(-10). Is 15 less than or equal to r?
False
Let z = -0.02 - 0.08. Is 20 greater than z?
True
Let s = 25 + -99/4. Let h be 0/(-1) + (-4)/(-14). Which is smaller: h or s?
s
Let l = -107 + 107. Which is smaller: -7.2 or l?
-7.2
Suppose -2*w + 4 = -2*d, -4*d = 4*w - 3*w - 17. Suppose -5*z + d*r + r = 17, -5 = -z - 2*r. Is z greater than or equal to -1?
True
Let p be 1/(-2)*8/3. Suppose 6*f + 24 - 12 = 0. Which is bigger: p or f?
p
Let h be 3/(-36) - (-6)/(-9). Suppose 4*b - 9 = 3*x, 7*b - 2*b + 3*x = -9. Is b less than h?
False
Let h(g) be the first derivative of g**2/2 + 15*g + 3. Let j be h(-12). Is j equal to 3?
True
Let c be (42/(-35) - -2)*(-5)/(-58). Is 0 equal to c?
False
Let b = 9 + -6. Suppose 10 = 2*f, b*k - 2*f + 6 = 5*k. Let t be ((-6)/(-4))/(3/(-4)). Is t at least k?
True
Let z = 69/143 - 7/11. Which is smaller: z or -1?
-1
Suppose 2*u = 4*h - 28, -2*h - 2*h + 16 = 4*u. Let a = 19 + -13. Let x be a - 5 - (-4)/h. Is 1 <= x?
True
Let i = -1 - -2. Let l be (-2)/(-3)*(-27)/(-6). Is l less than or equal to i?
False
Let z = 37 - 36. Is -30 smaller than z?
True
Let y = -73725/4 - -18601. Let m = -169 + y. Which is greater: 1 or m?
1
Let t be 630/56 - 2/8. Which is greater: t or -0.5?
t
Let o be 8/(-4)*(-3)/2. Suppose -3*c - j = 7 - 1, -18 = o*c + 5*j. Which is smaller: c or 0.01?
c
Let s be (((-4)/2)/(-2))/(-5). Let j(l) be the third derivative of -l**5/60 - l**4/6 + 5*l**3/6 + 8*l**2. Let p be j(-5). Is s at most as big as p?
True
Suppose 3*u = -187 - 59. Let s be u*-1*3/(-312). Let o = -7/13 - s. Which is smaller: o or -0.1?
-0.1
Let p be ((-2)/8)/(77/168). Which is smaller: p or 0?
p
Suppose 5*u = 3*u - 6. Let b = -1 - u. Suppose b*r - 6 = -4*p + p, p - 10 = 2*r. Is p smaller than 4?
False
Let s = 6.99 + -7. Let z = s - -0.21. Is 0 > z?
False
Let u be 1/(8/14) + (-11 - -9). Which is greater: u or 33?
33
Suppose 4*l - 20 = -0*l. Suppose -5*u + 3*h = l*h + 16, -h = -u - 6. Let k be 1*((-2)/(-1) + -5). Which is bigger: u or k?
k
Let n(p) = -p**2 + 6*p + 9. Let q = -16 + 23. Let s be n(q). Let u(d) = -d**2 + 4*d - 1. Let t be u(3). Does s = t?
True
Let b = 289.7 + -290. Let l = -0.1 + 0.1. Let i = l - 3. Which is bigger: i or b?
b
Let d = 6 + -12. Let t be 2*(3/2)/(-3). Let s be d/(-8) - t/(-1). Is s != 1?
True
Let r = -30 + 22. Which is smaller: -7 or r?
r
Let w = -5.9 + 6. Is -1 at least as big as w?
False
Let r = -4 + 6. Let a be (-1 - 2)*r/(-2). Suppose 3*i = a*w - w + 11, -i = -2*w - 1. Which is smaller: 1 or w?
1
Suppose -b - 4*b + 5 = 0. Let s = 147241 - 39018966/265. Let w = s - 1/53. Which is bigger: w or b?
b
Suppose 4*r = 30 + 6. Which is smaller: 8 or r?
8
Let m(s) = s**2 - s + 16. Let q be m(0). Let t be 4/q + (-5)/8. Is t < -1?
False
Let b = -6/5 + 88/65. Which is smaller: 1 or b?
b
Let a = 181/23 + -8. Is a < 1?
True
Let x(y) be the second derivative of 2*y**3/3 + y**2 + 2*y. Let t be x(-2). Which is greater: -7 or t?
t
Let f be 3 - 1/((-12)/(-73)). Let u = 15/4 + f. Let r = -0.1 - 1.9. Is u less than or equal to r?
False
Let k = -0.05 + 0.75. Let u = 0.8 - k. Is -0.2 at least as big as u?
False
Let x be ((-5)/6)/(-5) + 273/(-126). Is x != 16?
True
Suppose 2*w + 17 = 4*y + 1, 3*y - 2*w - 13 = 0. Are y and 10 non-equal?
True
Suppose u + 0*q - 4*q = 19, -20 = -4*u + 2*q. Which is smaller: 12/7 or u?
12/7
Suppose x = -4*x. Let o = 476165377/662186 + -275/22834. Let i = 719 - o. Which is smaller: i or x?
i
Let a be (3 - 6)*(-1)/6. Which is greater: -1/14 or a?
a
Suppose j + 0*j - 2*p + 7 = 0, -11 = -j - 4*p. Let c 