19*d**2/2 + 16*d - 9. Let c be q(-8). Do c and -3 have the same value?
False
Suppose 47 = 3*c - x, -7*c - x = -2*c - 89. Is 17 > c?
False
Let b = 7 + -5. Let u = -10 - 38. Let o = -191/4 - u. Which is bigger: b or o?
b
Let y = 8558 - 5074892/593. Is y <= 0?
False
Let n = -213 + 204.9. Which is smaller: n or -0.1?
n
Let t = 151 - 150.99. Which is bigger: t or 14?
14
Suppose -2*t + 10 = 2. Let v be ((-64)/24)/(t/(-6)). Suppose -c + 10 = -2*i - 2, 3*c - v*i = 26. Which is smaller: c or 10/7?
10/7
Suppose h - 6*h = 140. Let b be (2 - -1) + 82/h. Let d(j) = j**3 + 10*j**2 + 17*j + 9. Let g be d(-8). Which is smaller: g or b?
b
Let s = 853 + -852. Is 3/1357 not equal to s?
True
Suppose 79*d = 22*d - 1368. Which is greater: d or -71/3?
-71/3
Let v = -15 + 14.94. Let b = v - -0.05. Which is smaller: -2 or b?
-2
Let m = 11 + -12.45. Let d = m + -0.05. Let l = -1.7 - d. Are -0.1 and l nonequal?
True
Let u be (3 - 5) + (-15)/(-3). Let f = 298/39 + -17588/39. Let b = 447 + f. Is u at least b?
False
Let w(t) = 210981*t + 1. Let l be w(-1). Let v = 1268797/6 + l. Let z = -485 + v. Which is greater: z or 1?
z
Let t(f) = 5*f + 20. Let z be t(-6). Let g be (3/21)/(z/(-35)). Is -8 != g?
True
Let f = 6 + 5. Suppose -5*z - 10 = 0, 4*s - 3*z + 26 = -4. Let q = s + f. Is q bigger than 2?
False
Suppose 7*s = -0*s + 14. Is 42/25 equal to s?
False
Let z(q) = 2*q - 9. Let d be z(-5). Let f = -20 - d. Let t be 2 - (-7)/((-434)/120). Is f not equal to t?
True
Suppose 96 = -15*b + 126. Are 4/3 and b unequal?
True
Suppose 13*p - 14*p = 135. Is -135 >= p?
True
Let z = 9 + -9.059. Let f = 1.059 + z. Let w = -0.03 + 8.03. Is f equal to w?
False
Let p = 259.2 - -94.8. Is 0.1 at least p?
False
Let x be 74/6 - 2/(-3). Let m(s) be the second derivative of s**3/6 - 4*s**2 - 33*s. Let q be m(x). Which is greater: q or 3?
q
Let y = -0.72 - 5.28. Let h = -54.1 + 60. Let p = y + h. Which is smaller: -5 or p?
-5
Let y be (-2740)/(-250)*10 - (-6)/15. Is 110 bigger than y?
False
Let r = 1602 - 1638. Which is smaller: r or 21?
r
Let n = 2389 + -1482. Let q = -87071/96 + n. Which is smaller: q or 1?
q
Suppose -k + 305 = -2*r, 3*k + 5*r - 1112 + 142 = 0. Let o be k/(-18) - (-3)/(-2). Let j = o + 11. Is -9 greater than j?
False
Let x = 2.37 - 0.37. Let z = 0.2 + 0. Is z less than or equal to x?
True
Let y = -1521.12 - -1520. Which is smaller: -0.13 or y?
y
Suppose 3*p + 1842 = -4*o - o, -2*p + 1478 = -4*o. Is -369 equal to o?
True
Suppose 0 = -3*t - 71 + 2. Let k be (5 - 8/2)/(8/(-184)). Is k smaller than t?
False
Let y = 0.53 + -1.03. Which is greater: 0.1 or y?
0.1
Let t be (-66)/88 - ((-89)/(-4) + 1). Let l = t - -14. Is l less than or equal to -10?
True
Let x be (1/(-74))/((-63)/12*2). Is -1 at least as big as x?
False
Let q be -3*(-1)/15*0. Let y = 9465/19 - 498. Which is bigger: y or q?
y
Let q = 283 + -259. Is -2 bigger than q?
False
Let m be ((-3)/(-18))/(75/20). Which is smaller: m or 1?
m
Let c(l) = -l**2 - 13*l - 2. Suppose 0*w = 3*w + 33. Let t be c(w). Let x = t + -10. Are 10 and x unequal?
False
Suppose -24 = -2*m - o, 6*o + 26 = m + 3*o. Is 20 smaller than m?
False
Let m = 3722/100113 + 4/1963. Let n = 4 + -3. Which is smaller: n or m?
m
Let j be 25/(-175) + (-1)/(-7). Let o = 12/25 + -46/75. Which is smaller: j or o?
o
Let b = 218 - 215.58. Let n = 2.62 - b. Let q be ((-19)/(-3))/(1/3). Which is bigger: n or q?
q
Let d be (2/411)/(102/(-2568)). Let a = -10577 + 4347149/411. Let w = a + d. Which is greater: 0 or w?
0
Let p = -3.66 - -7.6. Let r = 0.06 + p. Which is greater: -0.1 or r?
r
Let k = -238.43 + 238. Which is smaller: -1 or k?
-1
Let g = 39 - 46. Do g and -13 have different values?
True
Suppose -4*t + 9*t - 25 = 0. Suppose 0 = t*n - m + 20, -2*m + 19 = -2*n - n. Let i = 59 - 62. Do n and i have the same value?
True
Let v be (-60)/(-48) + (-34)/32. Is 1 less than v?
False
Let z be 40396*(-5)/(-260) + (-6)/(-39). Is z at most as big as 779?
True
Let a = -29/31773 - 2/267. Does 0 = a?
False
Suppose 15*k - 1395 = 6*k. Which is greater: 157 or k?
157
Suppose 3*r - 12 = 15. Let v = -5 - -9. Suppose -18 = v*t + 2, 5*t = 2*x - 43. Is x less than r?
False
Let a = 100 - 95. Let h be (-5)/(-40) - a/(-24). Let d = 5 - 3. Which is smaller: d or h?
h
Let t(s) = -s - 12. Suppose 0 = -3*y + 9 - 21. Let b be -11 + 3/(-12)*y. Let j be t(b). Are j and 3/5 non-equal?
True
Let f = -0.49 - -0.4. Let t = 0.25 + f. Which is bigger: t or 1/3?
1/3
Suppose 0 = -2*w + 4*p - 5*p + 7, -2*p = -w + 6. Let s(q) = 2*q**3 + 2*q**2 - q + 1. Let x be s(-2). Let g be (1 - 1) + (-14)/x. Which is greater: g or w?
w
Let s = -47/43 + 1287/430. Which is greater: 1 or s?
s
Let s = 18.9 + 2.1. Let v = s - 21. Let a(t) = -2*t**2 + 6*t. Let i be a(4). Which is bigger: v or i?
v
Suppose -2*i + 4 = 0, 0 = 3*q - 5*q - 4*i + 8. Suppose 8 = 2*j + 2*b - q*b, -2*j + 4*b = 22. Is j at most as big as -1/47?
True
Let i be (-7)/(63/6) - 8/(-3). Let j be 1 - -1*7/6. Which is bigger: i or j?
j
Let o = 2204 + -2198. Let a(g) = -g**3 - 3*g**2 + 3*g + 2. Let c be a(-4). Are c and o nonequal?
False
Let w = -0.346 + 0.4. Is 1 at most w?
False
Let h = -0.0379 + 528.0379. Let n = 522.89 - h. Let t = n + 0.11. Is t at least as big as -2?
False
Let b(j) = 2*j + 19. Let l(w) = -4*w - 39. Let q(m) = -5*b(m) - 2*l(m). Suppose 0 = -7*p + 11*p + 48. Let g be q(p). Which is bigger: 5 or g?
g
Suppose -4*b - 5*u = -2, -3*u - 4 = 5*b - 0*b. Is b <= 8?
True
Let n = 7/2 + -29/6. Let t = -13/12 - n. Let w = 14 + -14. Is t at least as big as w?
True
Suppose -5*t = -t + 16. Suppose 0 = 5*g - 2*g - 45. Let i be (-9)/(g/6 + -1). Is t greater than or equal to i?
True
Let p be (-8*1)/(-4) + 0. Suppose -p*h + 6*h + 32 = 0. Let l = h - 6. Which is smaller: l or -1?
l
Let o = -47 - -47. Let u be o/((-3 - -5) + 0). Let h = -5 + 5.1. Is h >= u?
True
Let w = -30 + 17. Let b(x) = -1. Let z(q) = -2*q**2 + 2*q + 13. Let y(h) = 3*b(h) + z(h). Let g be y(4). Which is bigger: g or w?
w
Let g be (4/3 - 1)/(-1). Let w(a) = a**3 - a**2 - 3*a + 5. Let f be w(-2). Does g = f?
False
Suppose r - 5*r + 8 = 0. Let v = 8965/2 + -43373/10. Let i = v - 6464/45. Is r not equal to i?
True
Let y(g) = 13*g**2 + g. Let a be y(1). Suppose 3*b = -2*m + 192, 0 = 2*b - m - 2*m - 128. Suppose 26 = 6*j - b. Which is bigger: j or a?
j
Let h(a) = -12*a**2 + 47*a + 6. Let p be h(6). Are -0.03 and p nonequal?
True
Let m be (-6)/9 + (-55)/(-15). Suppose -10 = 5*l + c, m*l + 5*c + 8 - 2 = 0. Let n = l + 2. Are n and -2/3 unequal?
True
Let d = 4/13227 + 612671/595215. Let h = d + -7/54. Let x = h + -37/30. Which is bigger: 1 or x?
1
Let w be (0 - -1) + 45/(-3). Let x be 4/(-3)*(1 + 2). Let n be (-38)/3 + x/12. Is w bigger than n?
False
Let l(i) = -6*i**2 + 155*i - 117. Let k be l(25). Let u = -7 + 15. Are k and u nonequal?
False
Let v(j) = -j**2 - 5*j - 3. Let u be v(-3). Suppose 3*a - u = 6*a. Which is greater: a or 2/31?
2/31
Suppose 4*k + 16 = 0, 5*k + 89 = 5*p + 79. Are 1 and p non-equal?
True
Let y = 5.63 + -5.63. Let l be -2*1*3/16. Are l and y nonequal?
True
Suppose 0 = -3*g + 6*g - 42. Suppose -5*a = 3*b - 35, -a = 2*b - 0*a - g. Suppose 6*t = -2*n + 3*t - 1, 4*t = b*n + 14. Which is smaller: -6/11 or n?
n
Let i be (-2)/6 + (-300)/45. Let l(w) = w**3 + 6*w**2 - 8*w - 3. Let f be l(i). Let b be (0 - 0)/(-3 + f). Which is greater: -1/15 or b?
b
Let c = 20 - 15. Suppose 16 = 3*k + 2*p, 0 = -2*k + 3*k - c*p + 6. Is 0 less than or equal to k?
True
Suppose 27*o - 7*o + 18400 = 0. Which is smaller: -921 or o?
-921
Suppose -6*w = -11*w + 740. Which is smaller: w or 149?
w
Let u = -2012.1 + 2122.051. Let t = -110 + u. Do 1 and t have different values?
True
Let g = 155.31 + -153. Is g > 1?
True
Let f = -19 - -21. Suppose 5*y = -2*b, -2*b = -f*y + 3*b. Let x = -2 - -1.9. Is x equal to y?
False
Let p = 29.9 - -0.1. Let t = -29 + p. Which is bigger: t or -1.9?
t
Let r be ((-102)/(-14))/(6/21). Let q = r + -26. Let d = -52 + 52. Is d at most q?
False
Let i = 10 + -9. Suppose -i + 13 = -4*q. Are q and 8 equal?
False
Suppose 0 = 9*m - 5*m + 36. Let z be m/15 - 36/(-10). Let k(h) = -h - 1. Let q be k(-2). Is z at least q?
True
Suppose 0 = -l + 4*u - 11, 5 + 6 = 5*l + 2*u. Suppose -4*k + 36 = -172. Let d = k - 882/17. Which is smaller: d or l?
d
Let t(i) = i + 1. Let n(a) = -2*a**3 + 2*a + 2. Let y(