*c = -18. Suppose 5*t = c*t + 1. Suppose -7*f - 5*r - 15 = -2*f, 0 = 2*f + 5*r + 12. Is f at most as big as t?
True
Let y(j) = j**3 + 7*j**2 + j. Let f be y(-7). Let i(x) = 3*x - 2. Let u be i(3). Let q = u + f. Do 0 and q have different values?
False
Let b be (-10)/8*((-2 - -5) + 1). Let a(y) = -y - 7. Let j be a(0). Are j and b non-equal?
True
Suppose 22 = b + 3. Let s be 12/6 + (-2)/1. Suppose s = m + 3*g + 17, -b = 4*g + 1. Which is smaller: -1/2 or m?
m
Let l be 12/21 - (-854)/49. Which is smaller: l or 13?
13
Let t(y) = y**3 - 9*y**2 - 9*y - 7. Let g be t(10). Suppose 2*o + 66 = -5*d, -o = g*d - 2*d + 15. Let b be (-1 + 3)/((-2)/13). Is d equal to b?
False
Suppose 0 = -5*v - 58 - 57. Let n be v/6 + 1/(-6). Let y be (8/n - 0) + 3. Are y and 1 non-equal?
False
Let n(j) = -5*j**2 + 8*j - 7. Let u be n(6). Is u smaller than -139?
False
Let b be (-51)/255 - 42/(-10). Is 56/13 equal to b?
False
Let u be (-969)/(-1083) - 4/(-38)*1. Which is greater: u or 1/4?
u
Let m = 57 + -24. Let d = -33 + m. Which is bigger: d or 6?
6
Suppose 6 - 2 = 4*g. Let x be ((-2)/(-5))/(14/10). Is g greater than or equal to x?
True
Let u = 6.18 + -5.98. Which is greater: -27 or u?
u
Let l = 653 + -437. Let j be (-6)/10 + l/310. Is -1 <= j?
True
Suppose -4*u + 2*r + 16 = 0, 3*r + 3 = 9. Let o be (-26)/65*15/(-12). Is u greater than o?
True
Let v(q) be the third derivative of -q**4/8 - 4*q**3/3 - 2*q**2. Let w be v(9). Let d be (2/(-6))/(w/21). Which is smaller: -1 or d?
-1
Let b = -912.1 + 1035. Which is bigger: b or -1?
b
Let g be (28*(-43)/(-3010))/(0 - 18/40). Suppose 0 = f - 5*t - 10, -5*t = 5*f + 6 + 4. Is g < f?
True
Let q be -9*1639/(-264) + -11. Is q at least 46?
False
Let x(j) = -2*j + 49. Let f = 26 + -2. Let u be x(f). Is 1/10 not equal to u?
True
Let g = 65 + -268. Are -204 and g equal?
False
Let o(u) be the first derivative of -u**3 + 2*u**2 - 2*u - 13. Let b be o(4). Which is bigger: b or 0.1?
0.1
Let b(r) = 4*r - 6. Let s be b(4). Suppose -3*i = 5*j + s, 3*i - 4*i - 5 = 0. Let k be (-4)/(-6) + (-169)/429. Are k and j equal?
False
Let y = -0.118 + -15.682. Let v = y + 16. Which is greater: v or -0.2?
v
Let z = 127 - 138. Is 0.9 greater than or equal to z?
True
Let c = -225 - -221.3. Which is greater: c or 0.3?
0.3
Suppose -36 = b - 11. Let f = -3.703 - -3.503. Which is greater: b or f?
f
Let b = -12909 + 12883. Let q(l) = -24*l**3 - l**2 - l + 1. Let x be q(1). Is x > b?
True
Suppose 0 = 3*r - 3*o - 15, -2*r - 2*r + 5 = -o. Let t = 0.99 - -0.01. Let d = t + 9. Which is bigger: r or d?
d
Let v be 0*(-6 - (-51)/9). Which is greater: v or 4/45?
4/45
Let h = -42/37 + 47/74. Let z = -1 + 1. Suppose z = -4*y - 4. Which is smaller: h or y?
y
Suppose 4*d + 2*o = -76, 2*d - o + 45 - 11 = 0. Is d < -17?
True
Let m = -33 - -33. Suppose m = -0*b - 10*b - 60. Which is smaller: -8 or b?
-8
Let i(h) be the second derivative of h**4/6 + h**3 - 6*h**2 + 29*h. Let o be i(-4). Suppose -2*k - 2*k = -4*q - 16, -4 = -5*q - 3*k. Is o != q?
True
Suppose 18 = -0*a + 3*a + s, a - 2*s = -1. Suppose 0 = -a*g + 18 + 27. Let f be 2*(-3)/(g - 3). Is 1/6 at least as big as f?
True
Suppose 3*k + 459 = 3*v, 3*k + 2*v + 118 = -346. Is k > -154?
False
Let c be -3*3/(-18) - 451/(-22). Let t be 61/c - 1 - 2. Is t at least as big as 1?
False
Suppose 0 = -2*w, -3*w + w = 4*y - 3264. Is 817 at most y?
False
Let i be -6*2/(-4) + -166 - 1. Let m be (-36)/108 + -1 + i/(-150). Which is smaller: m or -1?
-1
Suppose 0 = -44*a + 40*a + 20. Suppose a*b - m = -16, -b + 3*m + 4 = -4. Let o be 0 + (-6)/1 + 1. Are b and o equal?
False
Let h = -343/555 + -9/185. Is h equal to 273?
False
Suppose 8 = -2*t - 0*t. Let a(b) = -b**2 - 4*b + 1. Let y be a(t). Let w be 1*3/15*2. Which is smaller: w or y?
w
Suppose 3*u - 2*y + 5 = 0, y + 7 - 11 = 3*u. Which is smaller: u or 2/23?
u
Let m(f) = -f**2 - 6*f - 5. Let w be m(-4). Suppose 0 = w*u + 2*y - 88, u - 24 = -0*u + 2*y. Suppose 11 = -3*s - u. Is s < -13?
False
Suppose t + j + 0*j - 1 = 0, -3*j - 37 = -5*t. Suppose 0 = t*o + 170. Which is greater: -0.1 or o?
-0.1
Let b = 272.8 - 170. Let f = -103 + b. Which is greater: 2/63 or f?
2/63
Let x be 15*2*1/(-3). Let i be (-3)/6 + (-8)/x. Which is smaller: -3 or i?
-3
Let h = 77 + -71. Let c(o) = o - 7. Let p be c(h). Suppose 5*l + 0*l - 2*s = 5, 0 = -4*l - s - 9. Are l and p nonequal?
False
Let g(b) = -2*b + 9. Let j be g(-6). Let u = -1 - -11. Let s(c) = 2*c. Let m be s(u). Which is smaller: j or m?
m
Let b = 663/107 - -2/535. Suppose 14*s - 17 = -5*s + 116. Is b <= s?
True
Let k be (7 - 2456/280)/(-1). Which is smaller: k or 3?
k
Let q be (13 + -8)*(-1)/5. Which is smaller: q or -2/361?
q
Let h(c) = c**2 - 4*c - 1. Let x be h(5). Suppose 5*v = 3*q + 207, 0 = -x*v + 4*q - q + 165. Which is bigger: 41 or v?
v
Let d = 59 - 34. Let r be (30/d + -1)*5. Let i = -63747/49 - -1301. Which is bigger: r or i?
r
Let a be -5*24/(-20) - 21. Which is greater: a or -1/2?
-1/2
Suppose -2*w + 6*w - 8 = 0. Let b(d) = -d**3 - 11*d**2 + 10*d - 20. Let l be b(-12). Is w at most l?
True
Let p be (-9)/(7/(28/(-6))) + 159. Is p > 161?
True
Let q = -53 + 53. Let v = 39 - 122/3. Which is greater: v or q?
q
Suppose 0 = -2*v + 2*x - 6 - 140, 5*v = -x - 365. Is -73 <= v?
True
Let g = 1864 - 1865. Do g and -7/67 have the same value?
False
Let x = 2 - -3. Let m(t) = -26*t**3 - 1. Let y be m(1). Let o be x/(-2)*y/(-45). Which is greater: -1 or o?
-1
Let x(l) = 6*l + 9. Let r(n) = 7*n + 8. Let f(c) = -5*r(c) + 6*x(c). Let k be f(5). Is k equal to 18?
False
Let c(x) = x**3 - 19*x**2 - 23*x + 65. Let t be c(20). Is t equal to 36/7?
False
Let i(q) = -q**2 + 6*q + 10. Let s be i(7). Suppose 3 = -f, 5*b - 2 = s*f + 2. Are -2/73 and b equal?
False
Suppose 2 = 2*v + x, -3*v - 5*x = -10 - 0. Suppose 28*t - 23*t - 10 = v. Let m = -394/10027 + -4/271. Which is bigger: t or m?
t
Let a be ((-3)/(-2))/(6/8). Suppose 2*h = -a*h. Is -2/73 smaller than h?
True
Let f be ((-3)/2)/((-4)/(-16)). Suppose 4*n - 13 + 5 = 0. Suppose -n*i - 25 = -7*i, 5*t + 5*i - 30 = 0. Are t and f non-equal?
True
Let a(g) = g**3 + 17*g**2 + 15*g - 7. Let c be a(-16). Suppose 0 = -2*d + y + 3, 3*d + y - 1 = -c. Is d not equal to 1/57?
True
Let b(w) be the second derivative of w**4/6 + w**3/3 + 7*w**2/2 - 15*w. Let m be b(6). Are m and 92 equal?
False
Suppose -10*c + 28 = 318. Which is smaller: -26 or c?
c
Let h be 2 - (-1)/(-3) - 1. Let j = 54 + -53.46. Let w = 0.24 - j. Which is greater: w or h?
h
Suppose 4*g - 9*g = -10. Suppose -5*o = 3*n + 107, -2*n + 7 = -g*o - 23. Which is smaller: o or -20?
-20
Let c = 72.553 - 72.2. Let u = c - -0.147. Which is smaller: u or -0.4?
-0.4
Let h = -50 + 73. Let g = h - 32. Is -3 < g?
False
Let d(y) be the third derivative of -y**4/24 + 4*y**3/3 - 3*y**2. Let f(a) = -3*a - 8. Let g be f(-5). Let u be d(g). Which is greater: 5/11 or u?
u
Let j be 5 + -3 + (-104)/54. Let i = -116 + 116. Which is smaller: i or j?
i
Suppose -5 = -5*s - 0*s. Let x = 13166 - 3001849/228. Which is smaller: s or x?
x
Suppose 2*l + 53 = 5*m, -2*l + 2*m + 5 = 43. Is l > -12?
False
Let y = 10 + -9. Is 2/151 != y?
True
Let i = -729 + 728.8. Which is smaller: -1.68 or i?
-1.68
Let k be 1/(-4) + 51/(-4). Let t be (-86)/387 + 442/(-36). Which is greater: k or t?
t
Let d = 44 + -2. Let u be (-3)/(18/7 - (1 - -2)). Suppose -u*t + d = -10*t. Is t bigger than -14?
False
Suppose 0 = -4*n - 5*g + 8, -4*n - 2*g = -0*n + 4. Let p be (n - (-54)/30)*5/(-2). Is p < 2?
False
Suppose -190 = p - 6*p - 4*l, 0 = -p - 5*l + 38. Let y = p - 21. Is 18 less than or equal to y?
False
Let p = 9247 + -83087/9. Let q = p + -14. Is q equal to 0?
False
Let o be (1 - (-22)/(-8))*4. Suppose 3*f + 11 = -4. Which is smaller: f or o?
o
Suppose 6 = x + 2*x. Suppose 3*o - 5*q - 17 = 0, x*o = -q - 3 - 3. Let a = -39/2 - -267/14. Does a = o?
False
Let r = 4.26 + -4.07. Is -6/5 > r?
False
Let a = 0 - 1. Let c be ((-4)/484)/(((-45)/(-10) - 5)*-1). Which is bigger: a or c?
c
Let d(k) = -2*k**2 + 3*k + 1. Let w be d(-3). Which is smaller: w or -25?
w
Let q be -2*1*1/2. Let w = -31 + 33. Let c be (w/8)/(7/56). Is c smaller than q?
False
Let u be 394/21 + (25/(-3) - -7). Let o = u + -1349/77. Is 1 greater than o?
True
Let p = 15163 - 22027. Let m be 10517/p + 2/2. Let i = m + 9/16. Is 1 greater than or equal to i?
True
Le