 8/20. Let h(m) = -3*m**3 - m**2 - m - 1. Let s be h(-1). Suppose -s = j - 3*j. Are d and j equal?
True
Let w be (-24)/40 + 4/(-10). Which is smaller: 1/2 or w?
w
Let m = -4.9 - -9.9. Which is bigger: -3 or m?
m
Let x = 2.4 - -0.6. Let d = 3.2 - x. Let y = -11 - -7. Is y equal to d?
False
Let y(z) be the third derivative of z**6/120 + 7*z**5/60 - z**4/3 + z**3/6 + 3*z**2. Let k be y(-8). Let m be (1 - -1)*(-1)/k. Is m at most as big as -2?
True
Let h = 0.42 + -0.42. Which is greater: h or 4.3?
4.3
Let a be (-9)/7 - (-4)/14. Let i(d) = -5*d + 2. Let u be i(1). Is u bigger than a?
False
Let t = -1 + 8. Which is smaller: t or 8?
t
Suppose 3*y - 4*o + 8 = 0, -y + 7*o = 3*o + 8. Which is greater: y or -3?
y
Let h be 12/(-4)*4/12. Let t be (1/7)/(6/7). Which is smaller: h or t?
h
Let g = -5 + -9. Let y be (-4)/g - (-62)/(-168). Which is smaller: y or 1?
y
Suppose -d - 45 = 2*d. Let h = d - -1. Do -15 and h have the same value?
False
Suppose -4*x + 0 = 4. Let o = -2 + 4. Let u = o - 2. Which is smaller: u or x?
x
Suppose g + 49733 = 20017. Let v = g + 3684761/124. Let u = 2/31 - v. Is -1 > u?
False
Let a(k) be the first derivative of k**3/3 + 9*k**2/2 + 10*k + 6. Let b be a(-7). Let v be 1*(-1 - -3 - 5). Is v at least b?
True
Let w = 1117 - 35747/32. Which is greater: -1 or w?
w
Let z be 0 + 2 + 7*-2. Let p be z/(-14)*18/12. Which is smaller: p or 2?
p
Suppose 5*z - 6*z = 1. Which is smaller: -4/13 or z?
z
Suppose -5*w + 2*o = -13, -w + 2 = -0*w - o. Suppose 2*p - 3 = -c, -3*c + 2*p = w + 4. Which is smaller: c or 1?
c
Suppose -6*c + 2*c = 28. Is -9 < c?
True
Let x = -2 - -2. Suppose -15 = -3*z - 4*v - 1, 4*v - 2 = 3*z. Let y be z/(-3 - (-2)/(-1)). Is x greater than or equal to y?
True
Suppose -3 + 0 = -3*w. Suppose 2 = 2*s - 4*r, -3*r + 3 - w = -5*s. Is 4/9 bigger than s?
True
Let i = -6127/5 + 1221. Which is bigger: i or -3?
-3
Suppose 0*q + 2*q = 5*s + 33, 0 = 3*s + 15. Suppose u + 12 = -5*v, -q*u - u = -5*v. Suppose -4*x + 0*x = 4*i + 8, -4*x = 8. Is u smaller than i?
True
Let v be (-1 - -1) + 0 + -2. Which is greater: 1 or v?
1
Let g(n) = 15*n**2. Let f be g(1). Which is smaller: 14 or f?
14
Suppose -3*z + 3*i + 2 = z, 0 = -3*z + 2*i + 1. Is z at least -1?
True
Let q = -1 + 1. Let w be 0*(1 - 0/(-2)). Let n be w - 4/(q + -1). Which is smaller: 5 or n?
n
Let x(c) = -c**2 + 8*c - 3. Let r be x(3). Is 57/5 not equal to r?
True
Let v(d) = d**2 + 11*d - 2. Let w be v(-12). Suppose 6 = 2*a - w. Which is bigger: a or 7?
a
Let y be -4 - (14/(-4) - 1). Is 1 < y?
False
Let s be ((-1)/3 + 0)*3. Suppose 0*m + 10 = 5*m. Suppose -4*g = -m*g. Which is greater: g or s?
g
Let d be ((-56)/20)/((-4)/10). Which is smaller: 8 or d?
d
Let p = 1.1 - 0.1. Let y = -87/133 + 7/19. Is p < y?
False
Let q(a) = a - 4*a**2 - 3*a**2 + 6*a + a**3. Let d be q(6). Which is smaller: 5 or d?
5
Let z(g) = -5*g - 7. Let p(h) = -h. Let f(s) = 6*p(s) - z(s). Suppose -5*n + 4*t + 23 = -2*n, 7 = n - t. Let x be f(n). Is x bigger than 1?
True
Let g be -5*((-309)/(-105) + -3). Let b = 0.17 - -0.01. Let z = 0.02 + b. Is g smaller than z?
False
Let o = -8/55 - 4249/660. Let p = -19/3 - o. Which is smaller: p or -1/4?
-1/4
Suppose -2*k = 3*j - 261 + 751, -k - 5 = 0. Let m = 1117/7 + j. Is m less than 0?
True
Let d(o) = o**3 - 9*o**2 - 1. Let m be d(9). Is 0 at most as big as m?
False
Suppose -4*t - t + 45 = 0. Let u(j) = j - 8. Let v be u(t). Let w = -3 + 3. Is w at most v?
True
Let k be (5 + -6 + 4)*(0 - 1). Suppose 2*u + 3 = -1. Is k >= u?
False
Let j(h) = 3*h**2 - 4*h - 1. Let t(s) = -s**2. Let d(r) = j(r) + 4*t(r). Let p be d(-4). Let n = -2 + 3. Does n = p?
False
Let o = 5486488/253 - 236034/11. Let g = -228 + o. Which is smaller: -1 or g?
-1
Let v be 15/(-2)*(1 + 1). Let l = 63/4 + v. Let h(f) = f**3 - 5*f**2 + 5*f - 3. Let p be h(4). Which is smaller: l or p?
l
Let u = 4/9 - 16/9. Is u <= 0?
True
Let f be (3 + -9 - -4)*-2 + -2. Is f at most as big as 10/7?
False
Let q be (-3)/(-2) - (-9)/6. Suppose -q*g = 2 + 7. Let u be 1 - (1 - 2/(-1)). Are u and g nonequal?
True
Let f = 4 - 2. Let v = f - 0.5. Let r = v - 0.5. Is -2/7 > r?
False
Suppose 5*r + 6*t - 4*t - 1 = 0, 5*r = -5*t - 5. Is -3 greater than or equal to r?
False
Let m be (-2)/(-9) + (-20)/9. Let i be 3/2 + 10/(-5). Which is smaller: i or m?
m
Let n = 31/440 - -3/55. Let y be ((-60)/(-8))/((-1)/10). Let a = 223/3 + y. Is a bigger than n?
False
Let z = 3.06 + -0.06. Let a = -1.7 + 1.7. Which is greater: a or z?
z
Suppose 2*l = -u - 2, -5 = 3*l + 5*u + 12. Is l smaller than -2/49?
False
Let v be (-2)/16 + (-836)/(-32). Which is smaller: 0 or v?
0
Let r = -0.72 + 0.62. Which is bigger: r or 17?
17
Let o = 0.11 + -5.11. Let y = o - -4.8. Is y less than 1?
True
Let i(q) = -q**3 + 5*q**2 - 5*q + 6. Let g be i(4). Which is greater: g or 0?
g
Suppose 7*f + 9 = -2*f. Let h = 4 + -2. Let a be h/(-6) - 5/3. Which is smaller: a or f?
a
Let j = 68/35 + -8/7. Is j >= -1/4?
True
Let q(j) = j**3 + 23*j**2 - 25*j - 4. Let g be q(-24). Is 21 greater than g?
True
Suppose -5*b = 3*a - 48, 5*b = 2*b + 3*a + 48. Let d(p) = 7*p - 2. Let w be d(2). Is w smaller than b?
False
Suppose 3 = p + 1. Let o(d) = p*d - d + 4 - 1. Let q be o(0). Which is smaller: q or 2?
2
Let h = -1.07 + 1.09. Is h >= -0.08?
True
Let f be -2 - (-3 - (4 + -3)). Let b be 6/10 - (-4)/10. Is f greater than b?
True
Let n = -5/2 - -99/38. Suppose -o + 2*d + 9 = 0, -5*o - 4*d = -o + 24. Is n at most o?
False
Let n = -0.17 - -0.57. Is 0.5 at most n?
False
Let a be -1 - (-1*2 - 13). Let l = -10 + a. Suppose 1 = 5*r - l. Is r at least as big as 1?
True
Let m = 11 - -4. Let s be 1 - (54/m - 3). Is s at least as big as 2?
False
Let j = 32 - 32. Does j = -1/10?
False
Suppose -x = n + 4, n + 2*x = -3*n - 18. Which is bigger: n or -4?
-4
Suppose 3*g - 7*g = -32. Suppose -p - g*q = -4*q - 14, -q = -5*p + 49. Is 9 not equal to p?
True
Let m = -12 - 5. Let o = 20 + m. Is o <= 0?
False
Let l(x) = x**3 - 8*x**2 + 8*x - 8. Let s be l(7). Which is smaller: 4/87 or s?
s
Let g be 6/(-4)*(-40)/30. Is 7 greater than g?
True
Let u(a) = a**2 + 26*a + 30. Let q be u(-24). Which is smaller: q or -23?
-23
Let b(r) = -r**3 + 2*r + 1. Let g be b(2). Let f = g - -2. Let z be ((-50)/(-24) + -2)*3. Which is bigger: f or z?
z
Let x = -1.1 + 0.9. Let y(z) = -z - 1. Let i be y(-2). Let u be ((-6)/(-4))/i - 2. Which is smaller: x or u?
u
Let z = 0.6 + 2.4. Is z less than 3/5?
False
Suppose -2*b + 2 = -6. Suppose 38 = k - 4*w + 12, 2*w - 20 = -5*k. Is k < b?
False
Let h = -54 - -54. Let w be 3/30*14/8. Let m = w + 3/40. Which is smaller: m or h?
h
Let i be (-5)/20 + (-27)/(-140). Which is bigger: 0 or i?
0
Let o(h) = 7*h**2 + h + 1. Let b be o(2). Let w be (-3 - -1) + 60/b. Is 1 at most as big as w?
False
Let r be 2 - (0 + -2 + 4). Let h(l) = l**3 + 5*l**2 - l - 6. Let n be h(-5). Let m = r + n. Which is greater: m or -1/6?
-1/6
Let f be (3/4)/((-3)/(-2)). Suppose 3*j = -j + 4. Let b = j - 1. Is b greater than or equal to f?
False
Suppose 3*r = -i - 13 - 18, -1 = -2*r - 5*i. Is r greater than -12?
False
Let k = -1946005/553 - -3519. Is k <= -1?
False
Let m be -3*((-52)/(-12) + -4). Is m > -4/9?
False
Let g be (3 - 2)*(-1 + 6). Let o(m) = -m + 3. Let c be o(g). Let j = -2 - 0. Is c > j?
False
Let z be (2/(-6))/(20/15). Is z at most -13?
False
Suppose -105 = -12*g + 7*g. Is g equal to 21?
True
Let l = -9.6 - -10. Let z = -0.6 + l. Is -3 != z?
True
Let o = -7 - -5. Let y = -1.96 - o. Let p = y - -0.36. Which is smaller: 0 or p?
0
Let a = 49 + -35. Do 15 and a have the same value?
False
Suppose 5*b + 4*f = 11, 0 = -4*b + 2*f - 4*f + 4. Let o = -4/873 - -147557/4365. Let r = o - 34. Is b greater than or equal to r?
False
Let u = 2330 - 431049/185. Which is smaller: 1 or u?
u
Let h = -23 - -22. Does h = 2/13?
False
Let y = 20 - 19. Is -1 bigger than y?
False
Let j(l) be the third derivative of -l**4/12 - l**3/3 + 2*l**2. Let h be j(-2). Let y be (-10)/6 + -1 + 2. Is y at most h?
True
Let j = 0.2 - 0.3. Let z = -0.49 + -0.01. Let d = z - -0.8. Which is smaller: j or d?
j
Suppose 44 = 3*s + 4*o, 2*s = 4*o + o + 14. Which is greater: s or 10?
s
Let k = 1.08 + -1.1. Let n = -41/4 + 10. Is n greater than or equal to k?
False
Let u(w) = -2*w**2 + 5*w - 2. Let c be u(1). Is -1/4 > c?
False
Let c = 50 - 249/5. Which is bigger: 