et l be (c/15)/(-8) + 146/(-30). Which is greater: i or l?
i
Let d(r) be the first derivative of -r**3 - 3*r**2/2 + 7*r - 24. Let w be d(3). Which is smaller: w or -31?
-31
Let h be 2/(-8) + (-25)/(-60). Suppose -30 = 5*d + 2*i + 3*i, 2*d - 4*i = 0. Let j = d + 4. Is h less than j?
False
Let n = -983971/404 - 525432699/14140. Let p = -39583 - n. Let o = -86/7 + p. Which is bigger: o or 0?
0
Let h = -2/313 - -652/4069. Is -1.5 < h?
True
Let y = -1585/4 + 385. Suppose 3*b + 33 = -3*d, 2*b - b = 1. Do y and d have the same value?
False
Let h = 4.4 + -6. Let o = 1.84 + -0.34. Let n = o + h. Which is smaller: 8 or n?
n
Let i = 2/89 - 394/1691. Let d(r) = r**3 - 10*r**2 + 10*r - 10. Let j = 20 - 11. Let v be d(j). Which is bigger: v or i?
i
Suppose -4*r + 2*t = -0*t + 6, 3*r - 4*t + 7 = 0. Is r != 2?
True
Let r(k) = -k**3 - 6*k**2 + 3*k + 10. Let v be r(-6). Let u be 3/v*(1 + -11). Let b(s) = s**2 - 1. Let q be b(2). Which is bigger: u or q?
u
Let x = -20.7 - -20.464. Is 0 at least as big as x?
True
Let d be ((-9)/(135/20))/((-2)/(-9)). Let i be 76/d*-1*6/12. Let r = -4 - -9. Is i not equal to r?
True
Suppose -15502 = 2*j - 15488. Suppose 0 = -3*n - 2 + 11. Suppose 3*p + n*a - 6 = 0, -2*p + 0*a - 4 = -2*a. Is p greater than or equal to j?
True
Let l(h) = 6*h**2 + 74*h + 93. Let f be l(-11). Suppose -t + 1 + 4 = 0. Is t smaller than f?
False
Let g = 55 - 66.4. Let v = -12 + 1. Let d = g - v. Which is bigger: d or 0.1?
0.1
Suppose 57*u = 50*u. Is 1/715 bigger than u?
True
Let a = 1507 - 5915/4. Let d = a - 28. Which is smaller: d or 25?
d
Suppose -19*b = 47 + 86. Let v be (3/1)/(1/1). Let n be -1*(1 + (v - -1)). Which is bigger: b or n?
n
Let v be 1 + 1 + 26/(-2). Let c = v + 13. Is c > -1?
True
Let i(d) = -2*d + 18. Let x be i(3). Let j(f) = f**3 + f**2 - f + 12. Let a be j(0). Let n = a - x. Is n greater than or equal to 5/6?
False
Let w be (1 + 3)*4/(-1 + -3). Let z = -2 + 4. Is w < z?
True
Suppose -2*l = 2*l + 940. Let i = 1405/6 + l. Let n(c) = -7*c - 147. Let b be n(-21). Do b and i have different values?
True
Suppose 0 = -20*z + 5*z - 750. Which is bigger: z or -49?
-49
Let p = -17 + 9. Which is smaller: -1 or p?
p
Suppose -19 = 2*i - 13. Let s be i + (3 - 1/(-1)). Is s at most 3/5?
False
Let s(i) = 3*i**3 - 5*i**2 - 3*i + 3. Let c be s(2). Is -1/90 >= c?
False
Let d(i) = -3*i - 10. Let w be d(-4). Let a(t) = -15 + 2 - 4*t + t**w - 2*t - 5*t. Let v be a(12). Is -5 at least v?
False
Suppose y + 2*y - 2*h + 7 = 0, 5*h - 27 = -2*y. Suppose z - 2*z = y. Let r = 2 + z. Which is bigger: -2/5 or r?
r
Let m = -32 + 40. Suppose 11*v = m*v + 3. Is 1/8 < v?
True
Let u(v) = -v**2 + 7*v + 6. Let h be u(7). Let w be ((-60)/(-35))/(-1 - 30/(-28)). Suppose -23*o + 20*o = -w. Which is bigger: h or o?
o
Let t be (-12 + 14)/(-2 + 0 - 0). Which is smaller: -65/33 or t?
-65/33
Let j = -2.32 - -2.168. Which is greater: j or 0?
0
Let d = -0.08 + -0.92. Let p = -1.1 + -10.9. Let k = -12 - p. Is d greater than k?
False
Suppose 0 = -52*y + 54*y + 4. Let i = 4 - 2. Let j be 0 - (0/i + 2). Is y >= j?
True
Let m = -74 + 109. Let d = m - 28. Suppose 4*a + 10 = -2*g, 3*g = -4*a - 6 - d. Does a = -1/20?
False
Let u = 0.3 + -1.3. Let r = u - -1.4. Let z = -6957/2 + 20875/6. Which is smaller: r or z?
r
Suppose -4*x = -3*n - 3, 3*n = 7*x - 5*x - 3. Which is smaller: 2/113 or n?
n
Suppose -3*a + 22 = -17. Let k be a/(-39)*(5 + 1). Is k at least -6?
True
Let x = -395 - -395.1. Is 65 at least x?
True
Let p be (1/17)/((-12)/(-3292)). Let z = p - 110/17. Which is bigger: 11 or z?
11
Let y = -1 - -13. Let i be -1*(0 - y) - 3. Suppose -11*f - 24 = -i*f. Is f < -11?
True
Let h(x) = 10*x + 8. Let t be h(-3). Do -26 and t have different values?
True
Suppose h + 4*h = 565. Is h bigger than 114?
False
Let p be ((-48)/(-36))/((-4)/(-9)). Let s(n) = 31*n**3 - n**2 - n. Let h be s(-1). Let x = -34 - h. Which is smaller: p or x?
x
Let w(t) = -39*t**3 - 4*t**2 + 3*t - 2. Let h be w(2). Which is bigger: h or -325?
h
Suppose 78 = -6*x - 30. Let p = x + -7. Let y = 26 + p. Which is smaller: y or 0?
0
Let j = 26.8 + -30. Let f = 3.4 + j. Which is greater: f or 0?
f
Let b = -1171.001 + 1171. Is b < -5?
False
Let s = -8 - -53. Let w(b) = b**2 + 2*b + 10. Let f be w(5). Is f not equal to s?
False
Let m be (-1)/2 + (-28)/(-8)*3. Suppose -f - 10 = 4*c, m = -3*c - 0*c - 2*f. Is c less than or equal to 18?
True
Let a be (-1*1)/(29 - 30). Which is bigger: a or 4/47?
a
Suppose -8*s - 28 = -4*s. Let o be (-2)/s + (-4)/7. Is -3 <= o?
True
Suppose 0*f + 6 = 2*f. Let d = f - -1. Suppose 5*x - d*b - 48 = 5, -39 = -5*x - 3*b. Which is bigger: 8 or x?
x
Suppose -5*g + 5*k - 20 = 0, -4*g + 5*k - 43 = -23. Is g smaller than 1/394?
True
Suppose 4*b - 2*g = 0, -4*b - 2*g - 2*g = 12. Which is smaller: 4/21 or b?
b
Let a = 59 - 57. Let w be (3/(-15))/(12/15). Is a <= w?
False
Let m = -0.67 + -9.33. Let g = 24 + -26. Which is smaller: m or g?
m
Let r = 12101/44 - 275. Is 5 < r?
False
Let k(c) = -c + 2. Let a(z) = -z**3 - 5*z**2 + 8*z + 13. Let r be a(-6). Let l be k(r). Which is greater: l or 6?
6
Let q be (196/42)/(1/3*-1). Which is smaller: q or -2?
q
Let c(w) = -w**3 - w**2 + w + 9. Let k be c(0). Let v = 13 - k. Are 10 and v nonequal?
True
Let l be 5 - 3 - (-18)/(-3). Let f(n) = 2*n**2 + 2*n - 18. Let x(z) = z**2 + z - 9. Let j(o) = l*f(o) + 7*x(o). Let p be j(4). Does -12 = p?
False
Suppose 0 = -4*a - 26960 - 10692. Let v = a + 141131/15. Let t = -33/5 - v. Is t at least -2?
False
Let z be ((8 - -282) + -6)/(0 + 2). Which is smaller: z or 141?
141
Suppose -3 - 7 = -2*b, j + 3*b = 15. Which is bigger: -5/46 or j?
j
Let c = 191 - 209.8. Is c at least as big as 1?
False
Let l = 41 + -45. Let s(x) = -10*x - 41. Let v be s(l). Which is smaller: v or -2/13?
v
Let x(l) = -49*l - 37. Let j be x(0). Is j at least -39?
True
Suppose 2571 = -2*p + 871. Let v = p - -71401/84. Is v smaller than -1?
False
Let a(l) = -l**2 + 16. Let r be a(-4). Is 4/103 != r?
True
Suppose 1779 = 10*s - 2211. Is 398 != s?
True
Suppose j - 14 = -5*h + 7, -2*h + 2 = 2*j. Does 20 = h?
False
Let k = -5662 + 787012/139. Is k smaller than -1?
False
Let m = -9 - -12. Suppose -2*r + 7 + m = 0. Suppose -3*c + r + 13 = 0. Which is smaller: 8 or c?
c
Let c = -281 - -278. Do -7/9 and c have different values?
True
Let o = 36 + -35. Let t be 2/4*(o + 1 - 4). Let k be (15/9)/((-13)/(-3)). Which is smaller: k or t?
t
Suppose 5*y - 1800 = 65*y. Which is bigger: -29 or y?
-29
Suppose 0 = -5*n - 0*k - 4*k + 1, -2*n = -4*k - 6. Which is smaller: n or -16?
-16
Suppose 2*w = -x + 15, 7*x = 4*x - 4*w + 49. Suppose -4*y + 40 = -32. Let a = x - y. Which is bigger: a or 3/11?
a
Let g(s) = 5*s - 7. Let o be g(3). Suppose -o*q = -3*q - 190. Does 39 = q?
False
Let i = 9 - -3. Suppose 4*h - i = -2*h. Is h less than 13/9?
False
Let x(c) = -c**3 - 8*c**2 - 5*c + 1. Let s = -12 + 14. Let v(f) = 2*f**3 + 16*f**2 + 9*f - 2. Let k(z) = s*v(z) + 5*x(z). Let t be k(-7). Is -3 > t?
False
Let y = -0.11 - -1.11. Let o = -10 - -8.9. Let a = y + o. Which is smaller: 2.2 or a?
a
Let l be 10/(-8) + -3 + 1. Let f(p) be the first derivative of p**3/3 - 7*p**2 + 9*p - 22. Let r be f(13). Is l < r?
False
Let d = -12.936 - 0.064. Let z = d - -14. Which is greater: 0.2 or z?
z
Let o = -5 - 33. Let c = 40 + o. Suppose 23 - 3 = -4*d. Is d >= c?
False
Suppose -3*p - 2*d + 24 = 2*d, -4*d = p. Suppose g - 2 = -p. Which is greater: -7 or g?
-7
Let g be 30/(4*(-2)/(-4)). Suppose 36*k - 340 - 272 = 0. Is k <= g?
False
Let a = 30 + -30. Let o be a/(2 + (-1 + 2)*-3). Which is smaller: 1/15 or o?
o
Let l = -1069 - -1069. Which is bigger: 39/31 or l?
39/31
Let d(a) be the second derivative of -2*a**3/3 + a**2 + 6*a. Let v be d(3). Let k be 18/1*(-1)/2. Which is greater: k or v?
k
Let o = -10 + 4. Let k = 11/2 + o. Let m = -0.16 - -0.56. Which is bigger: k or m?
m
Let y = 1 + -1. Which is greater: -10/139 or y?
y
Let m(i) = -2*i + 9. Suppose 5*f = -0*f - 25, 3*f + 15 = 2*z. Let l be m(z). Suppose l*o - 9 = 6*o. Which is smaller: 1 or o?
1
Suppose -10 = 4*y + 30. Let d be ((-25)/y)/((-1)/(-2)). Suppose -4*p + d*i = 11, -5 = i + 4*i. Which is greater: -5 or p?
p
Let q = -0.1 + -0.9. Let o = -242 - -190.4. Let x = 52 + o. Which is smaller: q or x?
q
Let x = 61871/43 - 1439. Is -1 at least as big as x?
False
Let