s j less than 44?
False
Let d = -47 - -47. Which is bigger: 1/39 or d?
1/39
Let b(p) be the third derivative of -p**6/120 + p**5/30 + p**4/24 - p**3/6 - 4*p**2. Let i be b(2). Is -3 <= i?
True
Let f(r) = -r**3 - 8*r**2 + 7*r - 13. Let t be f(-9). Suppose 4*k - 10 = -2*q, 8 + t = 4*k + q. Suppose -1 = -k*z + 5*z. Are -1 and z nonequal?
False
Let m = 21079/5 + -122953782/29165. Let j = m + -6153850/40831. Let t = j + 151. Is t at least 0?
True
Let f = -19893886/37 - -537718. Let g = -291469/6438 + f. Let d = 1/29 + g. Are -1 and d non-equal?
True
Let y(o) = o**3 + 7*o**2 + 10*o - 13. Let b be y(-6). Which is smaller: -35 or b?
b
Let p = 187 - 83. Which is bigger: -0.1 or p?
p
Let c = 14 - 14.7. Is c less than 2/7?
True
Let s = -2.4 - -2.1. Which is greater: s or 3?
3
Let g = 6 + -3. Suppose -3*w - g + 0 = 0. Which is bigger: 2/55 or w?
2/55
Let o be (-55)/(-15)*-3*1. Is o >= -52/5?
False
Let l be 39/(-18) - (-1)/(-3). Let c = -1 - l. Which is bigger: 2 or c?
2
Let f be ((-1)/3)/((-1)/(-2)). Let c(u) = -u**3 + 4*u**2 - u - 2. Let t be c(2). Suppose -t*m - 2 = 6. Are f and m equal?
False
Let j(b) = -7*b - 10. Let l be j(-5). Suppose -l = -5*g, y + 0*g = 2*g - 11. Which is bigger: 2 or y?
2
Let j be (-6)/18 - 34/(-3). Let s be ((-3)/j)/((-3)/(-2)). Is s at least as big as -1?
True
Let l be (3 - 5 - 0)*-1. Let w be (l - (0 - -2))/2. Suppose -o + 6 - 5 = w. Are o and 2/27 unequal?
True
Let m = 253/4 + -63. Suppose 2*p = p - 1. Which is greater: p or m?
m
Let t be (-6)/14 - -1 - 1. Suppose 0*g = -2*g + 6. Suppose -5*f - 3*h + 9 = 0, g = -2*f - 3*h + 12. Which is greater: f or t?
f
Let c be (-6)/(-9) - 26/(-6). Suppose -c*v + 3 = -3*t - 12, 3*t = 0. Suppose 4*x - 7 = -v. Which is smaller: 1/2 or x?
1/2
Let x be (-1 - 0) + 35/7. Let u be (-2 - -6)/(x/6). Suppose 0 = u*f - f - 40. Which is smaller: f or 7?
7
Suppose -2*f - 72 + 24 = -2*q, 96 = -3*f - 3*q. Let p be ((-8)/f)/((-1)/(-7)). Let r be (3/3)/((-1)/(-2)). Is p < r?
False
Suppose 0 = 4*j + 33 - 29. Which is greater: -1/72 or j?
-1/72
Let v be (6/(-4) + 2)*-52. Let t = -8 - v. Let i be -3 - (t/(-8) - 0). Is i < 1/3?
True
Let v = 7/12 + -5/6. Is v smaller than 14?
True
Let d be (-20)/15*(-1 + 4). Let w be 1/d*6*-1. Is w at most as big as 1?
False
Suppose 0 = -0*c + c - 1. Which is bigger: 6/23 or c?
c
Suppose s - 21 = -3*m + 7*m, m - 5*s = -10. Let w = -4 - m. Which is greater: w or 1/2?
w
Let y be 12/(-9)*72/6. Is y < -16?
False
Suppose 4*o - g = -16, -2*g = -g + 4. Let c = o - -7. Let j be (-2)/4 + 5/c. Is 2 != j?
False
Let i be 1717/2 + (-15)/10. Let o = -5983/7 + i. Is 3 at most as big as o?
False
Suppose p = -5*z + 27, -1 = 3*p - 2*z + 3. Let g = 0 - p. Suppose -2*a - 2*b = -0*a + 4, -8 = 4*a - 4*b. Is a not equal to g?
False
Let j = 571/4 - 143. Let q = 31 + -153/5. Which is greater: j or q?
q
Let q be 2/((-2)/60*-5). Is q <= 12?
True
Let u(a) = a**3 + 13*a**2 + 8*a - 35. Let r be u(-12). Are 9 and r equal?
False
Let g(h) = h**3 + 23*h**2 + 19*h - 46. Let c be g(-22). Which is smaller: c or -4/7?
-4/7
Let l(f) = -f**3 + 2*f + 1. Let t be l(-2). Suppose -7*u - 8 = -t*u. Are -3 and u nonequal?
True
Let c = -52 - -209/4. Let f = -45 - -32. Is c > f?
True
Let n = -15.1 - -26.1. Which is greater: 1 or n?
n
Let u = 5 + 8. Which is smaller: u or 12?
12
Let p = 243/5 + -50. Which is bigger: -0.2 or p?
-0.2
Let f(g) = g**3 + 6*g**2 - 8*g - 2. Let j be f(-7). Suppose -3 = -b + j*q, -5*b - 1 = -3*b - 3*q. Let p be -1 - 1*b/10. Which is bigger: p or -2?
p
Let s = 0.09 - 2.09. Let q = 107/5 + -21. Which is smaller: s or q?
s
Let m = -0.27 + 0.67. Are m and -5 unequal?
True
Suppose i - 112 = -p, i = -2*p + 5*p + 96. Which is greater: 109 or i?
109
Let q = 3 + -3. Let l = 0.1 + q. Let t = l + 0. Is 2 at most as big as t?
False
Let t(a) = -a**3 - 10*a**2 - 8*a + 1. Let s be t(-9). Is -10 greater than s?
False
Let t(z) = z - 5. Let v be t(-16). Is -21 smaller than v?
False
Suppose -3*x - 2*y = -3 + 1, 22 = -3*x + 4*y. Let j be (-4)/(-18) + x/9. Let o be 76/(-144) - ((-36)/(-16) - 3). Do o and j have the same value?
False
Let y be 6/10*(-7)/((-21)/(-27)). Are y and -2 equal?
False
Let a(v) be the second derivative of -v**5/20 - v**4/12 + v**3/6 + 2*v**2 - 2*v. Let s be a(0). Which is bigger: 3 or s?
s
Suppose c + 56 = 5*c. Let v = c - 23. Is -9 at most as big as v?
True
Let n = 11 - 8. Let m be -2*n/((-6)/(-4)). Let p be 48/(-54)*1/m. Which is smaller: 1 or p?
p
Suppose 2*f = -6 - 18. Suppose 31 + 17 = -4*i. Is i > f?
False
Let g be 3/(-2) + 8/4. Are g and 0 non-equal?
True
Let h = 5.2 - 5. Is h > 1/2?
False
Let c = 281/1305 - -1/145. Let d = 12.72 + 0.28. Let z = -15 + d. Is c not equal to z?
True
Suppose -3*l - 2*o = -5*o - 12, -5*l + 11 = 4*o. Suppose 3 = -6*n + l*n. Let m = -29/105 + 2/15. Is n bigger than m?
False
Let j = -109 - -109. Let l = 2 - 5. Is l at most as big as j?
True
Suppose 5*o + 480685 = 5*y, -6*o + 192286 = 2*y - 2*o. Let t = -674495/7 + y. Let w = 217 + t. Which is smaller: 1 or w?
w
Let a = -2 + 0. Let y(l) = -4*l + 4*l + 3*l - l + 3. Let w be y(a). Which is bigger: w or -2/7?
-2/7
Let n = -0.2 + 0.4. Let u = 13.17 - 0.17. Let k = u + -12.6. Is n > k?
False
Suppose -3*q + 4*q + 4*l + 15 = 0, 2*l = 2*q. Let y be (-27)/q*2/6. Let t = 5 - y. Is t less than 1?
False
Let r = -2/1681 + -3160/169781. Which is bigger: r or -1/6?
r
Let f = -1 + -7. Let n = f - 0. Let s = 7.9 + n. Is 0 bigger than s?
True
Let m(p) = -6*p - 8. Let i be m(-5). Are i and 22 equal?
True
Suppose h = 6*h. Let k be (1 + 1 - 1)/1. Let m be (k - 1) + -1 + 3. Which is smaller: m or h?
h
Let h = 10 + -6. Suppose -h*s + 7 = l - 10, 0 = -5*s + 20. Is 9/7 at least l?
True
Let c be 10 + (0 - (1 + -1)). Suppose 0 = -4*x - 2 + c. Which is bigger: 5 or x?
5
Let c = 4.9361 + 0.0939. Let m = c - 5. Let b = m - -0.97. Which is smaller: -0.3 or b?
-0.3
Let p(d) = -d - 3. Let u be p(-5). Which is bigger: 4 or u?
4
Let q = 26 + -15. Let y = 11 - q. Is -6/13 greater than or equal to y?
False
Let z(d) = -2*d. Suppose -8*j + 7*j - 4 = 0. Let w be z(j). Is w < 7?
False
Let g(m) = -2*m - 21. Let i be g(-14). Let k = i + -10. Let d(f) = f**3 + 5*f**2 - 2. Let r be d(-5). Which is smaller: r or k?
k
Suppose -11 + 1 = -i. Let v be -3*(i/3 + -3). Which is smaller: v or 3/8?
v
Let j be (-2)/15 + 2/6. Let y be (-2)/2 - (-4 - -2). Is j at most as big as y?
True
Suppose 0 = w - 5*w. Let y = 2 + w. Suppose -5*s = y + 3. Which is smaller: s or 0?
s
Let m = 3.9 + 0.1. Let f = 5 - 1. Let u = m - f. Which is bigger: u or -2/11?
u
Let b be (-6)/(-2)*(-4)/(-6). Suppose 8*n + 25 = p + 3*n, b*p - 15 = 3*n. Suppose 0 = -5*u - p*u - 5. Which is bigger: -0.2 or u?
-0.2
Let y = 1.17 - 0.17. Does 0.07 = y?
False
Let c = -7 - -7. Are -2/15 and c nonequal?
True
Let a = -56 + 59. Let w(q) = q. Let f be w(2). Which is smaller: a or f?
f
Let r = -1.49 + 1.6. Let z = r - 0.21. Which is smaller: z or 2/7?
z
Let m(g) = 2*g**2 - 2*g + 1. Let t be (-4)/3*6/(-4). Let d be m(t). Which is bigger: d or 6?
6
Suppose 13*h = 15*h - 36. Let m = h - 18. Let n = 3 + -3. Is m at most n?
True
Suppose -y = -4*z + 2*z - 26, y + 4 = 0. Which is smaller: -13 or z?
z
Let i = -15 - -13.8. Let x = -5.2 - i. Let y = 6 - 6.1. Which is smaller: x or y?
x
Let y(p) = -p**3 - 4*p**2 - 4*p - 3. Let i be 3 - (-4)/(-8)*10. Let x be y(i). Is x at least as big as -8/5?
False
Suppose 0 = -4*o - 8*o - 36. Is o > 6?
False
Let u(n) = n + 4. Let g be u(-7). Let w be (g/2)/3*-2. Is w less than or equal to 2/9?
False
Suppose 0 = -4*w - 49 - 271. Let t be (-10)/(-4)*(-8)/w. Which is smaller: -1 or t?
-1
Let k = -1557/2 - -3913/5. Let h = k - 4. Which is smaller: 0 or h?
0
Let f be 2448/5418 + 3/(-7). Let v(l) = -l**3 - 4*l**2 - l - 4. Let y be v(-4). Which is greater: f or y?
f
Let k(z) = -6*z + 1. Let f be k(10). Let u be f/(-44) + (-5)/20. Is 0 <= u?
True
Let q = 5 + -5. Let k = 154 - 1692/11. Are q and k equal?
False
Let x = 56 - 71. Is x equal to 0.3?
False
Let y = 15 + -21. Which is bigger: y or -7?
y
Let k = 0.08 - 0.08. Which is smaller: 0.07 or k?
k
Let r be (-4)/(-14) - (-9)/(-56). Let q = -14 - -28. Let j = q - 15. Which is smaller: r or j?
j
Let h be (1 - 3) + 5 - 1. Suppose 0 = h*x - 0 - 4. Which is smaller: 1 or x?
1
Let q be -78*(-5)/200 + -2. Which is greater: q or -1?
q
Let u = 904/16851 + -