er: -20/3 or s?
s
Let i(k) = -8*k**2 - k**3 + 4*k**3 - 11*k**2 - 2*k**3. Let j be i(19). Let g be 2/4*32/(-392). Is g greater than j?
False
Suppose -3*h + 6 = -5*p, -h + 17 = p + 23. Which is greater: p or -109?
p
Let n = 0.2 - 3.6. Let s = -3 - n. Let l(z) = -z + 2. Let g be l(3). Is g bigger than s?
False
Let t = -0.578 + 0.048. Let n = -0.27 + t. Is n less than or equal to -0.1?
True
Suppose -y + 45 = 5*h - 6*y, y - 16 = -4*h. Suppose 0 = -3*l - 3*v + 13 + h, -2*l + 2*v = 8. Is l greater than -1/5?
True
Let t(d) = -4*d**2 + 118*d + 353. Let c be t(-3). Let g(n) = -37*n**3 - 2*n**2 + 1. Let b be g(1). Is c at most b?
False
Let j = -611/7 + 87. Suppose 40 - 16 = -4*r. Let v be (r - -3)*(-2)/(-6). Which is bigger: v or j?
j
Let k(q) = 7*q**2 + q + 1. Let b be k(-1). Suppose 6 = 3*i, -16 = -4*a - 5*i + 82. Suppose 5*l + 18 = j, 5*j - 4*l + b*l + a = 0. Which is smaller: j or -2/9?
j
Let z = 1 - -32. Is -2 > z?
False
Let k(d) = -d + 3. Let b be k(3). Let h = b + 5. Let n(q) = -q**3 + 6*q**2 - 6*q + 6. Let w be n(h). Is -3 less than or equal to w?
True
Let v = -0.008 - 3.492. Let b = 3.4 + v. Is -1/3 != b?
True
Let j = -36.3 + 7.3. Suppose 3 = 5*z - 4*a, -32*a - 7 = 5*z - 31*a. Is j >= z?
False
Suppose 0 = -4*t + z - 5*z + 40, 17 = 2*t - z. Let s be (-3*(-12)/t)/((-6)/9). Which is smaller: s or -36/7?
s
Let a = 9.4 - 3.4. Is a < 8?
True
Let m = 53.4 + 0.6. Let q = m - 36. Let w = -17.85 + q. Is w at least as big as -1/2?
True
Let i(n) = -5*n + 25. Let k be i(-16). Suppose 5*z = 2*z - k. Is z bigger than -35?
False
Let f(y) = 2*y**2 - 17*y + 10. Let g be f(9). Is 0 at most g?
True
Suppose -5*d + 1094 = 199. Suppose -5*u = -5*r - 540, 0 = 5*r + 3*u + 369 + d. Let x = r - -979/9. Which is bigger: x or 6?
6
Let l = -785 + 742. Is -39 at least l?
True
Let w = 25 + -22. Let p be -4*w/(9/3). Is -21/8 >= p?
True
Let i be (6 - (0 - 12))*28/(-1). Is i <= -503?
True
Suppose 6 = -5*c + 1. Let y = -6 + c. Let i = y + 7. Does i = 1?
False
Suppose 3*b - 63 = 3*d, b - 2*d + 0*d = 25. Let v = b - 13. Let i be -2*v/112*6. Are -1 and i unequal?
True
Let q(o) = -o**3 - 7*o**2 + o. Let z(j) = 4*j**3 + 29*j**2 - 5*j - 1. Let p(t) = -9*q(t) - 2*z(t). Let x be p(-4). Is 15 at most as big as x?
False
Let z be 2*(-1 - -3) + 28. Let k be 4/z*1*-553. Let s = k - -69. Is -1/3 > s?
False
Let o = -2.3 + 1.3. Suppose 53 = 4*m + 4*h - 35, 3*h = 2*m - 54. Suppose 6*l - 2*l = -m. Which is greater: l or o?
o
Let f = 1 + -2. Let m = f + 1.1. Let a = 3 + -3.01. Is m at most as big as a?
False
Suppose 4*f - 369 = -141. Suppose f + 3 = g. Is 61 less than g?
False
Let s = -118 + 141. Do s and -1/4 have different values?
True
Suppose 3*g + 2*g = 30. Let x(t) = -t**2 + 6*t + 11. Let p be x(7). Let b be p/((40/12)/5). Is b smaller than g?
False
Let u = 0.529 + 0.171. Let t = -0.05 + -0.95. Is t bigger than u?
False
Suppose 2*o + 16 = -4*d, -3*o - 5*d - 5 - 15 = 0. Suppose r + o*r = -6. Let i = 5 + r. Which is bigger: i or -4/5?
-4/5
Let d = 826 - 809. Is 26 < d?
False
Let c = 35 + -48. Let f = -13.3 - c. Is 0.3 > f?
True
Suppose -k = -2*m + 64 + 6, -2*k - 142 = -2*m. Let o = k + 91. Let j = -36 - -56. Are j and o nonequal?
True
Let g(o) = 0 + 2 - 7*o + 0*o**2 + 0 + o**2. Let b be g(3). Let r = b - -9. Is -1/6 > r?
True
Let l(k) = k**3 - 4*k**2 + 4*k - 3. Let g be l(3). Let b be (-2)/((5 - 1) + g). Which is greater: b or -24?
b
Suppose -7*r = q - 2*r, 2*q + 5*r = 0. Suppose 0 = g - q*g - 6. Suppose f = g*f + 5. Is f at least -0.12?
False
Let x = -280 + 152. Which is smaller: -129 or x?
-129
Let d be ((-1225)/10 - -3)*2. Which is smaller: d or -237?
d
Let d = -1112 + 1115. Let k = -79 - -325/4. Which is greater: k or d?
d
Suppose 0 = -5*s + 3*h - 345, -3*s - 28 - 179 = 4*h. Are -69 and s non-equal?
False
Let d(o) = -o**3 + 12*o**2 - 11*o - 20. Let m be d(11). Let w be m/8*12/75. Is w greater than or equal to 0.1?
False
Let w = 16.03 - 2.03. Is w > 7?
True
Let y be (-8)/(-35)*10/(-12). Suppose 3 = -f, 51 - 54 = -2*d + f. Which is smaller: y or d?
y
Let r = 3 - -2. Let c = -63 + 67. Let t = r + c. Is 0 <= t?
True
Let a be (-6)/2 - 175/(-65). Suppose 1 = 6*h - 2*h - i, 3*h + 6 = 3*i. Do a and h have the same value?
False
Let k = -0.64 + 0.91. Let q = k + 0.73. Which is smaller: q or 2/13?
2/13
Let h be 1749/22*(0 - (-2)/(-3)). Let j be (1/h)/((-7)/14). Suppose -3*u + 7 = -2, 4*u = 4*n + 16. Is j <= n?
False
Suppose -5*v - 5*j - 92 + 67 = 0, 5*v + 21 = -j. Let q = -7 - 13. Is q >= v?
False
Suppose 23*a - 19*a = 112. Which is smaller: 29 or a?
a
Let w = -526 - -442. Is w at most -84?
True
Let h be 1 - (-49 - (4 + -5)). Let n = 43 - h. Which is bigger: -5 or n?
-5
Let q(p) be the first derivative of p**2 - 17*p - 9. Let x be q(13). Let d be 3 + -3*6/x. Is 1 at most d?
True
Let x(n) = 4 + 5*n**2 - 4*n**2 - 9 - 2*n. Let j be x(5). Let k = j + -10. Are -1/9 and k equal?
False
Let y = -45 + 54. Is y at least as big as 83/9?
False
Suppose -194 = 86*m - 106*m - 994. Suppose -2*a - 23 = 3*k + 87, 4*k = 5*a - 185. Is m >= k?
True
Let w(t) = t**3 - 30*t**2 - 42*t + 101. Let p be w(31). Is -238 less than p?
False
Let f be 18/27 + 182/6. Suppose -f - 37 = 4*w. Is w at most -17?
True
Let c = -2171654/241 - -9011. Let k be (-5916)/(-5302)*(-2)/(-4). Let r = k + c. Is 1 <= r?
False
Let k be ((-2344)/1168 + 2)/(-1). Is -1 bigger than k?
False
Let a = 83.019 + -0.019. Let m = a + -82. Does -1/7 = m?
False
Let n = -371 + 122. Which is smaller: -247 or n?
n
Suppose -12 = -4*v + 8. Suppose 0 = -g + o, -v*o + 4*o = 2*g - 3. Is g <= -3?
False
Let f = -10216 + 10839175/1061. Are f and 1 equal?
False
Let s = 628.92 + -629. Are s and -0.1 equal?
False
Let k = 270 - 382. Let m = 120 + k. Which is smaller: -5 or m?
-5
Suppose -11*t + 416 = 3*x - 16*t, -5*x + 706 = -2*t. Which is greater: x or 141?
x
Suppose 2*m = -3*a + 7*m - 6, 15 = 5*m. Suppose 0 = -5*i + 2*k + 124, -3*i + a*k = -6*i + 66. Which is smaller: 23 or i?
23
Let k be (-12)/(-8) - (-150)/(-4). Let r = k - -37. Is 13 < r?
False
Suppose 14 = -5*g + 9. Let t be ((-287)/49 - -5)/(g/21). Which is bigger: 20 or t?
20
Let d = -3159/8 + 395. Which is smaller: 0.05 or d?
0.05
Let s be (-266)/(-42) + 1/(-3). Suppose 3*i + 69 = s*i. Is 23 != i?
False
Let j = 117 - 117. Suppose 0*v - 10 = -v + 5*r, 4*v + 2*r + 48 = 0. Which is bigger: v or j?
j
Let i = 4204/2517 + -3/839. Which is greater: 12 or i?
12
Let a be 2 - 1 - (-16)/1. Let o = 27 - a. Do 10 and o have different values?
False
Suppose 9 = 4*h - 3. Let w be h/((-6)/5 + 1). Let b = 11 + w. Is b < -5?
False
Let o be 304/532 + (-89)/119. Suppose 0*q + 3*q = 2*a + 2, 3 = 5*q - 3*a. Is o greater than or equal to q?
False
Let v = 2 - 2. Let r(z) = -z**3 + z - 1. Let h be r(v). Let k = 3/644 - 2633/12236. Do h and k have the same value?
False
Let c = 5 - 4. Suppose c = -5*b + 6. Is b > 1/13?
True
Let k be ((-114)/9*2)/((-8)/(-12)). Which is smaller: k or -36?
k
Let n = 1357/4590 + 2/459. Suppose -2*b + 10 = -q, -3*b = q - 3*q - 18. Let x be q/(-9) - 2/(-6). Which is smaller: n or x?
n
Let w be 65735/230*32/198. Let p = w - 416/9. Let o = 16/23 - p. Does o = 0?
False
Let j = 26.7 - 30. Let n = 3.4 + j. Is 0.16 bigger than n?
True
Suppose -11*m - 700 = 14*m. Is -194/7 smaller than m?
False
Let m = -84 + 15. Let c = -69 - m. Is c at most as big as 3?
True
Let j be ((-258)/(-16))/(7/((-84)/81)). Let g = j + 13/6. Is 0 >= g?
True
Let v be 39*(-20)/15 + (-3)/1. Let m = 8344 + -33597/4. Let d = m - v. Do d and 1 have the same value?
False
Suppose 4*o - 2*a - 14 = -48, 3*o - 4*a = -18. Let s be (5 - 4)*(50 - 3). Let x = -139/3 + s. Which is greater: x or o?
x
Suppose 16*v - 16 = -32. Which is smaller: 2/759 or v?
v
Let d(x) = x**2 - 13*x + 22. Let s be d(11). Which is smaller: 20/23 or s?
s
Let r be 14/24*(-15)/105. Let d = 5 + -6. Which is smaller: r or d?
d
Let z = -2 - -3. Let q be (9/(-20)*1)/(26/(3536/(-51))). Which is greater: q or z?
q
Let a = 14213/5742 + -19/198. Let d = a + -9631/4060. Let p = d - -51/700. Which is smaller: 2/7 or p?
p
Let w(n) = 10*n**3 + 2*n**2 + 2*n + 1. Let g be (0 + 2)/(4/(-2)). Let i be w(g). Let h(c) = 50*c + 292. Let d be h(-6). Is i at most as big as d?
True
Suppose 39 = -5*g - 26. Let y = 14 + -30. Let c = y - g. Which is greater: c or -5?
c
Let w = 47586 + -47588. Let x = 8 - 11. Let f = -7