
Suppose 0*q + 112 = -2*q. Let x be (q/(-12))/(6/(-9)). Is -9 >= x?
False
Let o(a) be the third derivative of a**8/20160 + a**7/5040 + a**6/360 + a**5/20 - 2*a**2. Let y(n) be the third derivative of o(n). Let z be y(0). Is z > -2?
True
Let g be 3/(-30)*(-9)/(-3). Is 0 less than g?
False
Let w = -12 - -9. Let a = 3 + w. Which is smaller: 2/5 or a?
a
Let g = -61 + 40. Which is greater: -1 or g?
-1
Let y(m) = m + 11. Let r(g) = 7*g + 2. Let o be r(-2). Let j be y(o). Which is smaller: j or 0?
j
Let k be 5/(1 + -31) + (-50)/(-284). Which is bigger: k or -1?
k
Let n = -0.19 - 0.01. Let a = 30/17 + -103/68. Which is smaller: a or n?
n
Let s(l) = -113*l + 2. Let f be s(-4). Let g = f + -15892/35. Is 0 at most g?
False
Suppose -4*t + 40 = -0*t. Suppose -3*n = 4*j + 2*n - t, 3*n = 3*j - 21. Suppose -s + j*d = 25, s - 2*d = -0*d - 10. Which is smaller: 2/13 or s?
s
Suppose 2*b = -4*p + 12, 4*p + 4*b = 2*p + 12. Suppose p = -z + s, -z - 4*z = -s + 14. Let n be ((-12)/(-9))/((-2)/z). Which is smaller: n or -0.1?
-0.1
Suppose 4*o + 5*h = 601, 5*o - 2*h + 255 = 1031. Let c = -64379/2 - -452805/14. Let p = o - c. Is -1 less than or equal to p?
True
Let g(x) = x - 5. Let y be g(5). Let f be 0*(-1 - (y - 0)). Suppose -5*d - 25 = 0, -3*s - d = 5 - 3. Which is greater: f or s?
s
Let n = 16 - 13. Suppose 2*j + 18 = 3*z + n, 3*z - 6 = -j. Is z != 4?
True
Let z(h) be the second derivative of h**4/12 + h**3/3 - h**2 - h. Let p be z(-3). Suppose 0 = 4*s - 5*g + 2, 6 = 3*g. Which is greater: p or s?
s
Let h = -404 + 18178/45. Is 1 smaller than h?
False
Suppose -4*f = 9 - 5. Is f greater than -4/9?
False
Let v be 1*(-6)/(-1 - -3). Suppose -d + 132 = -5*d. Let c = 65/2 + d. Which is smaller: c or v?
v
Let j = -77 - -57. Is -22 <= j?
True
Suppose 0*w = 4*w + 4. Let s = 97715/18 - 5430. Let c = s + 113/90. Which is smaller: w or c?
w
Let z be 1/2 + (-1407)/2874. Let v = 8687/6227 - z. Let l = -121/78 + v. Is 1 smaller than l?
False
Suppose 5*d = 5*f + 25, -d = -f + 2*d - 7. Suppose 9 - 1 = 5*v - z, 3*z = -3*v + 12. Let h be (-3)/(-6)*(-7 + v). Which is greater: f or h?
h
Let y = 238/3 - 3572/45. Which is smaller: 0 or y?
y
Suppose -26 = -r - 26. Is 12/23 greater than r?
True
Let p be (1/3)/((-2)/(-18)). Let a = 3 - p. Is a less than 1/2?
True
Suppose 0*p + 28 = -4*p. Let o = -15 - p. Do o and -8 have different values?
False
Let n = -2.687 + -0.013. Let f = n + 0.7. Let t = -1.8 - f. Which is bigger: 2 or t?
2
Let k = 38 + -38. Is k not equal to 1/34?
True
Suppose 3*x = 2 + 4. Let l(k) = -3 + 8*k - 5*k - x*k. Let n be l(3). Is -1 equal to n?
False
Let s = 1.128 - 0.128. Let j be -1 - (-1)/((-5)/(-2)). Which is smaller: s or j?
j
Let d = -26 - -44. Let w = d + -12. Let y be (-1 + 3)/(4/14). Is w > y?
False
Let f = -0.08 - -1.48. Let p = f - 1. Let q = 0.4 - p. Is 1/4 < q?
False
Let q = 3642/13 + -280. Let c(a) = -a**3 - 8*a**2 - 6*a + 8. Let p be c(-7). Is q greater than p?
False
Suppose -8*o = 12 - 20. Which is smaller: 3/13 or o?
3/13
Let g be (-2)/4 + (-2)/4. Let a be ((-4)/24*-1)/3. Do a and g have the same value?
False
Let f be (-48)/(-10) - (-1)/5. Suppose -f*v - 20 = -4*v + 3*z, -v + 2*z = 20. Let u be (-4)/v - 24/70. Which is smaller: u or 1?
u
Suppose -2*d = -t + 34, t + 3*d + 29 = 78. Which is bigger: 41 or t?
41
Let n(m) = -m**3 + 7*m**2 - 5*m - 2. Let t be n(6). Suppose -2 = 2*o + 3*r + 2, -32 = -t*o + 4*r. Do o and 4 have different values?
False
Let n(r) = -2*r**2 - r + 2. Let b be n(-2). Which is bigger: b or -1?
-1
Suppose 5 = 3*p + i, -2*i + 8 = 5*p - 0*p. Suppose 0 = 2*w - 7 + 1. Is w bigger than p?
True
Let q = -0.2 - -0.14. Let v = q - 0.14. Which is bigger: v or 0.1?
0.1
Let s be 3 + 0 - (-4)/(-2). Let x = -0.02 - 3.98. Which is smaller: s or x?
x
Let h = 2.3 + -0.3. Let o = -8 + 9. Which is greater: o or h?
h
Suppose 3*f + 0 = 3. Let w(a) = -a**3 + 5*a**2 - 4*a. Let z be w(3). Which is smaller: f or z?
f
Let g be (-1)/((300/(-9))/(-5)). Let s = g + 29/60. Which is bigger: s or -0.02?
s
Let r = -86 + 85. Which is greater: r or 1/92?
1/92
Let o(g) = g**2 + 6*g + 7. Let r be o(-2). Which is smaller: r or -3/10?
r
Let c be (0 - 35/10)/(2/12). Are -23 and c nonequal?
True
Suppose -5*a = -8*q + 3*q - 10, a + 6 = 5*q. Suppose 4*r + 16 = 4*t, -t + r + 8 = q*t. Suppose -3*l + t = -1. Which is greater: l or -1/3?
l
Let k be 3/(-6)*(-4)/(-46). Is 1 not equal to k?
True
Suppose n + 5 = 1, 4*m + 2*n = -8. Are m and -1/13 nonequal?
True
Suppose 59*o + 116 = 61*o. Are o and 58 equal?
True
Suppose -5*h - 86 + 11 = 0. Let x = 21 + h. Suppose n + 2*n + x = 0. Is -3/5 at least n?
True
Let z(b) = 9*b**3 + 2*b**2. Let j be z(2). Let o be j/(-23018)*(-34 + 1). Let a = o + 2/677. Is -1 <= a?
True
Let d = -6 - -11. Suppose -5 = x - 5*a + 8, 0 = d*a - 15. Which is smaller: 1 or x?
1
Let f be (-1)/(0 + (-2 - -3)). Let i = -11/9 - -8/9. Is f at least as big as i?
False
Suppose 2*w + 3*w = 0. Let l = -160 - -1118/7. Is w less than l?
False
Let s = -93/203 + 5/29. Let y = s - 3/14. Which is greater: y or -2?
y
Let k = 0 - -1. Suppose -2*j + 0*c = c - 8, 0 = 3*j - 3*c - 21. Suppose -2*z - 4*w = -j*w, 4 = 2*z + w. Is k at least z?
True
Suppose -2*b = 4*j - 12, 0*b - j = b - 3. Suppose b = -v - 4*s - 16, 0 = -v + 2*s - 3*s - 1. Let d = -4 + v. Which is greater: 2/9 or d?
2/9
Let c(q) be the third derivative of -q**5/60 - q**4/4 + q**2. Let h be c(-6). Let r be (-4)/(-32)*20/3. Which is smaller: h or r?
h
Let p be (-7 - -5)/((-4)/22). Which is smaller: p or 5?
5
Suppose 3*j - 3*s = -9, -2*s - 3*s + 25 = 0. Suppose 4 = 4*x + 2*v, 0*x - 14 = 2*x + 5*v. Let o be (x/(-7))/((-20)/35). Which is bigger: o or j?
j
Suppose -3*y + 0 - 12 = 0. Let c be ((-1)/y)/(4/(-16)). Is 2/7 smaller than c?
False
Let s = 8 + 43. Which is bigger: s or 0.1?
s
Let k = -34 + 440/13. Which is smaller: 0.1 or k?
k
Let r(z) = -z**3 + 11*z**2 + 12*z + 4. Let c be r(12). Which is bigger: c or 2?
c
Let h be ((-4)/(-9))/((-276)/(-18)). Let w(j) = -j + 10. Let p be w(10). Are p and h equal?
False
Let z(p) = -2*p + 2. Let j be z(4). Let h be ((-12)/(-18))/((-2)/j). Which is smaller: h or -1/5?
-1/5
Let h = -9 + 29. Suppose -10 = 5*s + j, -j + 5*j = -h. Let b = -149/6 - -25. Is s not equal to b?
True
Let w = -1060 + 2175/2. Let s = w + -27. Let q = -17/2 + 9. Is s at least as big as q?
True
Let n be (-6)/8 - (150/(-56) - -2). Is 1 at most n?
False
Suppose 0 = -4*r + 2*r + 6. Suppose 2*y + 6 = y - r*v, -y + 2 = -v. Which is bigger: y or 2/11?
2/11
Let b be -1 - 3 - (-252)/49. Which is greater: 1 or b?
b
Let f = -0.44 - -1.44. Is -1 greater than f?
False
Let h(j) = 0*j + 2*j - j - 3. Let b be h(3). Suppose b = -2*w - 0*w. Does w = 0?
True
Let x be (-115)/231 - 4/(-14). Let v = -4/33 + x. Suppose -4*n + 6*n = 0. Is v at least n?
False
Let o = 144 - 2871/20. Let k = o + -59/220. Is 1 smaller than k?
False
Let m = 0.2 - 0.2. Let a = m - 4. Let o = a - -1. Which is smaller: o or -1?
o
Let h be ((-96)/(-10))/(6/20). Suppose -2*g = -r + 18, -r - 3*r = 5*g + h. Let c(b) = b**3 + 9*b**2 + 7*b - 11. Let d be c(g). Is -1 bigger than d?
True
Let k = 5 + -3. Suppose -k*n - 12 = 2*n. Let q(z) = 2*z + 23. Let x be q(-13). Is x >= n?
True
Suppose -3*n + 16 = -q, -69 = 3*q + 3*n + 27. Let c = q + 24. Which is greater: -16/5 or c?
-16/5
Let y be 2 + -1*0/(-1). Let x = y + -3. Let z be (-1)/(1 + x/2). Which is bigger: -1/2 or z?
-1/2
Let o = -0.18 + -10.82. Let u = o - -7. Which is greater: 0 or u?
0
Let j = -7 - -11. Suppose 0*g - j*g = -20. Suppose -g = -2*l - 3. Which is smaller: l or 3?
l
Let u be -9*(6/(-10) + 0). Are u and 4 equal?
False
Let c(l) = -110*l**2 - l. Let g be c(1). Let q be 2 - (g/(-21) + -3). Which is smaller: q or 0?
q
Suppose 2*n + 2*n = 16. Suppose n*c - 6 = 5*h + 10, -3*c + 5*h + 17 = 0. Which is greater: -2/7 or c?
-2/7
Let r(j) = 2*j**2 - 3*j - 3. Let t be r(3). Let f be 4/t*(-81)/18. Do f and 0 have the same value?
False
Let k(d) = -d**3 - 10*d**2 + 12*d + 11. Let v be k(-11). Which is greater: v or -1?
v
Let y = -13.01 - -13. Let s = 5.01 + -5. Let l = y + s. Is l smaller than 0?
False
Let a = 12 - 10. Suppose a = k + 4. Is k smaller than 0?
True
Let m be 0 + 2 + 5 + 1. Suppose -3*b + m*b = 0. Is 1/5 > b?
True
Suppose -h - 3*h - 2*d = 10, -h - 13 = 4*d. Let r be h*(-1 + (2 - 0)). Let p be ((-2)/(-1))/(-8)*1. 