r o?
o
Let a be (-2181)/(-15) - 2/5. Is a >= 145?
True
Let k(s) = s**3 - 20*s**2 + 3*s - 47. Suppose 60 = 3*t + 5*q, 3*t - 5*q + 20 = 4*t. Let h be k(t). Is 11 greater than h?
False
Let t = 2 - 0. Let n(l) = 2*l**3 - l**2 + l + 3. Suppose 0 = k - z + 6, -3*k = -5*k + z - 7. Let u be n(k). Is t at least as big as u?
True
Let z be (-1)/(4/12) - -66. Let f = -64 + z. Is -35 smaller than f?
True
Let j(r) be the second derivative of r**3/3 + r**2/2 + 3*r. Let i be j(2). Let q be (6/(-4) + (-9 - -13))*2. Is i at least q?
True
Let b(x) = -x - 6. Suppose -4*j - 4*v + 54 = j, -5*v - 90 = -5*j. Suppose 3*q - q = -j. Let h be b(q). Is -2.3 equal to h?
False
Let n be 80/(-528)*(-3 + 0). Is 0 at least n?
False
Let n = -26/11 + 278/99. Let u = n + -31/90. Let j be 6/(-33) + 4*1/22. Are j and u nonequal?
True
Let k = 1954 + -1954.052. Is -1/7 < k?
True
Let p(m) = -m**2 + 14*m - 21. Suppose 2*q = -2*t + 36 - 4, -5*t = -4*q + 28. Let s be p(q). Do s and 3 have different values?
False
Let p = 25 - 14. Suppose 0 = p*j - 37 - 18. Which is bigger: 6 or j?
6
Let o = 548 - 601. Is o at least -43?
False
Let l be 0 + (-2)/(-2) - (-18666)/(-18630). Let d = -12458/19665 - l. Which is greater: 0 or d?
0
Let k = 5 - -30. Do 33 and k have the same value?
False
Let f = 128 - 122. Is 45/8 < f?
True
Let t be (1/3)/((-35)/(-4515)). Which is smaller: t or 41?
41
Suppose -3*f - 2*h + 2206 = 0, -f + 5*f + 5*h = 2939. Is 736 less than f?
False
Let s = -923 - -922. Which is greater: 2/1055 or s?
2/1055
Let c = 46073/52 + -886. Which is bigger: 3 or c?
3
Suppose -5*b - 33 = -2*u, 0 = -4*b - 8 - 12. Let q be -2*1/(u/(-50)). Let y be 6/(-12)*1*-50. Do y and q have the same value?
True
Suppose 38 - 53 = 3*h. Suppose 5*x + 22 = 3*l - 5, 4*x + 26 = -2*l. Is x greater than or equal to h?
False
Let b(m) = -2*m**2 + 7*m + 7. Let p = -55 + 61. Let c be b(p). Is -22 greater than c?
True
Let w be (-4)/(-18) + 10/(-45). Suppose 5*z + w*u - 3*u = 4, 0 = -4*u - 12. Let h = z - -4/3. Is h at least as big as 0?
True
Suppose -o + 2*o - 1 = 4*x, -5*o + 49 = 2*x. Suppose 0 = 12*d - 21*d + o. Is d equal to 12?
False
Let p(c) = c + 3. Let m = -16 + 11. Let z be p(m). Let k(q) = q**3 - 9*q**2 + 7*q + 8. Let j be k(8). Is j at least as big as z?
True
Let m(b) = -b**3 + 2*b**2 - b. Let j be m(3). Let u = -7 - j. Which is smaller: 6 or u?
u
Let f(t) = -t**2 + t - 1. Let s be f(1). Let z = -5037/28 - -719/4. Are s and z non-equal?
True
Let i = -5.55 + 5.5. Let m = -0.04 + i. Which is bigger: m or 2?
2
Let x = -284 - -443. Let v = x - 158.21. Which is smaller: -1/4 or v?
-1/4
Let f = -1/29 - -31/58. Let v = 9.73 + -11.73. Is v greater than f?
False
Let m = 0.9 - 1. Let y = 5 - 13. Let f be ((-4)/y)/((-1)/(-3)). Do f and m have different values?
True
Let i be (-4)/6 - (-1)/(-3). Let w be (-4 + (-110)/(-25))/((-29)/15). Is i bigger than w?
False
Let o = 183.926 + 0.074. Let v = 181 - o. Let p = -0.7 - -1. Is v < p?
True
Suppose -s + 43 = 11. Suppose 37*d - s*d = -5. Which is greater: d or 1/4?
1/4
Suppose -113*o + 106*o = -581. Which is bigger: o or 87?
87
Suppose 30 = 5*t - 0*t + 4*s, -2*t = 3*s - 12. Suppose -6*i + 0*i - t = 0. Let q be (-15)/(-72) - 1/3. Which is smaller: i or q?
i
Let i be (-17)/(-4) + (-12)/48. Let r be 2 + 9/i + -4. Is r less than 0?
False
Let k = -36 + 7. Let h = -48 - -68. Let z be -7*((-3)/(-3))/(5/h). Is k at most as big as z?
True
Let p be (-764)/(-17)*(-4 - -18). Let d = p - 629. Is 1 smaller than d?
False
Let x = -8 + 1. Let a = -1794 - -1793. Which is smaller: a or x?
x
Let u(a) = -a**2 + 9*a - 19. Let h be u(4). Which is bigger: 3/425 or h?
h
Let i be 1*2*2*2. Let u = -144 - -149. Suppose i = u*j + 28. Is -6 at least as big as j?
False
Suppose 3*k - k = 3*o - 15, -5*k = 5*o - 25. Let d(v) = v**3 - 4*v**2 - 3*v + 1. Let z be d(o). Suppose 4*n - z + 3 = 0. Which is bigger: 1 or n?
n
Let j(v) = 3*v - 30 - 9*v - 17*v + v**2. Let y be j(24). Is y at least -6?
True
Let l = 240 + -240. Which is greater: l or -3/34?
l
Let x(n) be the second derivative of n**3/6 - n**2 - 2*n. Let d be x(2). Which is greater: 2.3 or d?
2.3
Let x(d) = 2*d**3 + 51*d**2 - 79*d + 54. Let y be x(-27). Is -3/134 at least y?
False
Let l = -7 + 9. Let y be (-4)/6*(-30)/20. Suppose -3*b + l*b + y = 0. Which is bigger: 0 or b?
b
Let r = 8 - 11. Let v = r + 4. Suppose 0 = -4*z - 5 + v. Which is smaller: 2 or z?
z
Let j(h) = -4*h + 7. Let m(a) = -7*a + 13. Let d(z) = -5*j(z) + 3*m(z). Let w be d(5). Which is smaller: -2/5 or w?
w
Let o = 2560 - 2302. Which is smaller: 262 or o?
o
Let u = -210 + 42. Let m be -1 - 1 - u/92. Is -1 at least as big as m?
False
Suppose g + 4*g + 90 = 0. Let l be 14*1 + 14 + g. Let p = l - 6. Is 3 greater than or equal to p?
False
Let z = 16 - 7. Let i be ((-46)/30)/(-6 - (-58)/10). Is i at most z?
True
Let p = 232.2 + -232. Which is bigger: p or 6/25?
6/25
Let m(t) be the first derivative of 3*t + 2 + 5*t**3 - 1/4*t**4 - 7*t**2. Let i be m(14). Which is smaller: 5 or i?
i
Let s(c) = -19*c + 40. Let h be s(3). Let a be 10/h*((-36)/(-8) + -6). Is 1 less than or equal to a?
False
Let o be 4/(32/(-24)) + 0. Let j(u) = -u**2 - 4. Let q be j(3). Are q and o equal?
False
Let p be (-6)/(-8)*(-8)/1470*-3. Do p and -1 have the same value?
False
Let m(c) = 7*c + 49. Let j be m(-7). Let v be (2/8)/(21/(-24)). Are j and v unequal?
True
Let x = -0.0087 + -2.9913. Which is bigger: 18 or x?
18
Let t = -58 - -58. Let n(x) = 2*x**2 - 2*x + 8. Let o be n(-9). Let b = o + -937/5. Which is bigger: b or t?
b
Let u be ((-4)/1 + (16 - 13))*2. Let g be (1148/(-205))/(u/10). Which is greater: g or 27?
g
Let u = 40 + -75. Let y = -14844 - -14807. Which is smaller: u or y?
y
Let u = -853/2 + 426. Is u greater than or equal to -0.03?
False
Let i be (-29)/174 + (-291)/(-18). Which is greater: 22 or i?
22
Let u(p) be the third derivative of p**5/60 + p**4/2 + 13*p**3/6 - 10*p**2. Let z be u(-11). Do 1 and z have different values?
True
Let h(l) be the second derivative of 35*l**3/3 + 7*l**2/2 - 41*l. Let d be h(-1). Which is greater: -64 or d?
d
Let d = -0.76 + 0.42. Let v = 135 + -137. Which is smaller: v or d?
v
Suppose -3*b = -b - 6*b. Suppose -6*v = -b*v - 6. Is v greater than -2/73?
True
Let z be 10/(-20)*-264 + 10. Which is smaller: 1 or z?
1
Let x be 4/20 - (-12)/(-10). Suppose 4*w = 2*w - u + 7, w - 5 = -u. Suppose -3*t = w*t. Which is smaller: x or t?
x
Let g(h) = h**3 + 13*h**2 - 46*h + 31. Let o be g(-16). Are o and -22/39 equal?
False
Let b(i) = -2*i**2 + 4*i - 2. Let t be b(3). Let r be (3 + -12)*2/6*-2. Let h = r + -15. Which is smaller: t or h?
h
Let n be (-1)/1167*-1*(5 - -1). Let x = 528/48625 + n. Is 0 at least as big as x?
False
Let d = 139.032 + -139. Let k = -0.068 - d. Which is smaller: k or 1.2?
k
Suppose -3*l + 5*p = 47, -l - 5*p - 5 = 4. Let k = l - -40/3. Which is bigger: k or 0?
0
Let w = 1344 - 16141/12. Let i = w - -4/3. Is i greater than or equal to 5/2?
False
Suppose k + p - 18 = 0, 2*p - 19 = 5*k - 74. Suppose -k*s + 0 - 13 = 0. Is s at most -1/8?
True
Let y be (1*-13)/(69/207). Is y >= -39?
True
Let y be 936/88 + 6 + -7. Is y less than 11?
True
Let x = -31 - -28. Let d = x + 2.7. Are d and -3 unequal?
True
Suppose t = 3*m + 43, t - 70 = -4*m + 1. Suppose 0*d = h + 5*d - 79, 5*d - 25 = 0. Are t and h non-equal?
True
Suppose -4*f - 9 = -5*f. Let p be ((-1)/3)/((-3)/f). Let j be ((-16)/(-70))/(((-12)/14)/(-1)). Is p equal to j?
False
Let y be 2/1 + (-3)/3. Suppose v - 4*v = -6*v. Are y and v nonequal?
True
Let y be -5 + 5 + 19/(-1). Let p = -20 - y. Which is smaller: p or 10?
p
Let n(v) = v + 2. Let x be n(-3). Let l = 216955/11 - 19747. Let h = l + 24. Do x and h have different values?
True
Let u(q) = q**2 + q - 4. Let w be u(-3). Let d = 50.84 - 51. Let h = d - 5.84. Is h at least w?
False
Let h(t) = 2*t**3 + 21*t**2 - 6*t - 6. Let z be h(-11). Which is bigger: -57 or z?
-57
Let j = -3 - -2. Let w = 64 + -58. Suppose 0*b + 2*b + w = 0. Is b less than or equal to j?
True
Let m be (10 + 0)/(10/(-5)). Let w(r) = -4*r**3 + 2*r**2 - 2*r. Suppose -11 - 8 = -4*t + 3*g, 3*t + g + 2 = 0. Let z be w(t). Is m smaller than z?
True
Let m = 543.05 - 543. Is m >= -0.1?
True
Suppose 23 = 2*g + 25. Is -3/4 less than g?
False
Let u = -0.726 - -0.766. Which is bigger: 0.058 or u?
0.058
Suppose -3*s + 268