 w = -4739/143 + 471/13. Is w < 3?
False
Let y = -73 + 186. Which is bigger: y or 112?
y
Let q = -312 - -320. Suppose -20 = -4*t + 8. Let v = t + -7. Which is smaller: v or q?
v
Let g = 29 + -16. Suppose -5*l + 188 = 98. Which is smaller: l or g?
g
Suppose 0 = 5*z + 5*a - 11 - 19, 2*a = 10. Let l be 6/27 + (208/(-450))/z. Which is smaller: l or -1?
-1
Suppose 30*q = -198 - 162. Which is smaller: q or -67/5?
-67/5
Let p = 1043 - 1210. Which is bigger: p or -163?
-163
Suppose 2 = -2*k - 6. Let g(j) = 2*j + 11. Let c be g(-10). Which is greater: c or k?
k
Let r(d) = 2*d**2 + 4*d + 6. Let g be r(5). Suppose g = 3*i + k, -i + k + 20 = -4*k. Let f = -13 + i. Is f at most as big as 10?
False
Let w(m) = m**3 + 6*m**2 - m - 8. Let y be w(-6). Let q = 15 + -19. Let g be 16/5 + q - 0. Which is bigger: g or y?
g
Let z = -48 - -62. Suppose -12*q + z*q = 0. Let x = -0.07 + 0.04. Which is smaller: q or x?
x
Let c be 56/10 - (-24)/60. Suppose -2*z - c = 2*t, -4*z - 13 + 2 = 3*t. Is -2/53 equal to t?
False
Let x = -230 - -229.78. Are x and -0.1 equal?
False
Let s(g) = -2*g**3 + 78*g**2 - 73*g - 98. Let k be s(38). Let o(d) = d**3 + d**2 + 16. Let p be o(0). Are p and k equal?
True
Let v = -4 - 2. Let x(r) be the first derivative of r**4/4 + r**3/3 - r**2/2 - 3*r + 47. Let s be x(-2). Which is greater: v or s?
s
Let v = 619 + -626. Let l = 9 - 7. Let r = 3 - l. Which is bigger: r or v?
r
Let v = -68/5145 + -2/343. Let n be 78/(-624)*8/(-1). Which is greater: v or n?
n
Let i(z) be the third derivative of -z**4/24 - 19*z**3/6 - 20*z**2. Let t be i(-19). Which is bigger: t or 2/101?
2/101
Suppose -2*f = -2, -2*t - 3*t + 4*f + 11 = 0. Is 2 at least as big as t?
False
Suppose -37 = -5*y + k, -y - 3*k - k + 20 = 0. Suppose y = -0*q - 4*q. Let u be q/(3/((-15)/(-2))). Do -5 and u have the same value?
True
Let k = 14 + -21. Let q = k + 9. Which is smaller: q or -2?
-2
Let x(d) = -2*d**2 - 27*d + 13. Let s be x(-14). Let g be ((-1 - s) + -5)*(-66)/825. Is g != 3?
True
Let a be (-592)/(-72) - 8/36. Let z(n) = -n**3 + 9*n**2 - 10*n - 1. Let o be z(a). Which is smaller: o or -15?
o
Let a = 2943/56 + -425/8. Which is smaller: a or -1/3?
a
Let u = -115387/91 + 1268. Are 0 and u equal?
False
Let x = 10 + -10. Suppose x = -7*t + 4*t - 6. Let i be t*(-1)/(-3)*1. Which is greater: 2/9 or i?
2/9
Let i be (-94)/(-63) + 1/(4 + -5). Let y = 7/9 - i. Which is greater: -1 or y?
y
Let v be 1/(-3) - (-8)/6. Let z be (2/3)/(4/1380*-1). Let p be 10/25 + 112/z. Which is greater: v or p?
v
Let k = 1001 - 445. Let u be (k/1586 - -3) + -3. Let b = u - 12/61. Do b and 0 have the same value?
False
Let f be (93/2)/((35/(-14))/(-5)). Which is bigger: 91 or f?
f
Let w = -25.6 + 25.918. Let n = w + -2.188. Let v = n - -1.8. Is v equal to -1?
False
Suppose -5*i - 16 = -156. Let x = i - 34. Let h be x*5/(4 - 59). Which is bigger: h or 0?
h
Suppose -3*g + 68 = 5. Let x = 24 - g. Let q be 3/27*-1*x. Which is bigger: q or 0.2?
0.2
Let a = 358 + -356. Let b be (-12)/(-3) + -2 + 0. Is b at most as big as a?
True
Let p = 732 + -1385/2. Are 41 and p non-equal?
True
Suppose 4*j + m + 2*m = 133, 99 = 3*j + 2*m. Let d be j/5 - (-7)/(-35). Is d at least as big as 6?
True
Suppose 5*j = 17*j + 588. Which is bigger: j or -56?
j
Let r be (26/(-39))/(4/204). Suppose -2*c + 3*c = -34. Is c greater than or equal to r?
True
Let d be 7/38*(10/14 - 0). Which is smaller: -1 or d?
-1
Let s = -3.14 + 2.9. Let x = s - 0.46. Let f = x + -6.3. Which is bigger: -0.2 or f?
-0.2
Let w(s) = s**2 + 32*s. Let v be w(0). Are 211 and v unequal?
True
Let q = -0.27 - 16.73. Let c = q + 7. Let o = 11 + c. Which is bigger: o or 0.1?
o
Suppose -4 = -3*k - 46. Suppose 260 = 4*w + 8. Suppose 7 - w = 4*d. Do d and k have the same value?
True
Let w(k) = -k**2 + k. Let a be w(0). Let z be -2 - ((-8)/394*-100 - 4). Let r = z + -52/11229. Which is smaller: a or r?
r
Let g be (-48)/14 - 76/(-19). Which is smaller: 1 or g?
g
Let t = 509 + -578. Is 0.04 <= t?
False
Suppose -2 = 5*i - 7*i. Suppose -i = -c + 3, -3*k + 32 = 2*c. Let b be (-6 - -2)*(-2)/k. Is 2/11 at least b?
False
Let k be (2 - -4)*((-2266)/561 + 4). Which is smaller: -1/52 or k?
k
Suppose 5*p = -5*t + 10, -2 = -3*t + 2*t. Suppose 0 = -3*i - 0*i + 60. Let m be (2/(-12))/(5/i). Are m and p equal?
False
Suppose 2*w = 9 + 1. Suppose -5*n = 15, -2*o = -7*o - w*n + 5. Let j be (-2)/(4 + (-21)/o). Is 0.1 != j?
True
Let l(v) = -53*v - 206. Let q be l(-4). Do 10 and q have the same value?
False
Suppose -42*i + 54 = -41*i. Does i = 50?
False
Let m be 26/(-91) - 19/7. Let q = 8 - m. Suppose q = -n + 2*h, -n + h + 1 = 7. Which is smaller: -3/7 or n?
n
Let w = 32 - 125. Let b = w + 93. Is -19 equal to b?
False
Let y = 7010 + -63181/9. Let f = y + 10. Let k(q) = -q**2 - 11*q - 12. Let g be k(-10). Is f at least as big as g?
True
Let s = 9 - 4. Suppose -5*o - 17 = 3*z, 12 = s*z - o + 3. Let n(w) = -2*w + 17. Let f be n(7). Is z < f?
True
Let h = 45 + -27. Suppose l + 4*s = 3*l + 2, -3*l + s = h. Suppose -12 = 4*y, 0*y + 9 = u - 5*y. Which is smaller: u or l?
l
Let z = -0.0375 + -1.9625. Which is smaller: z or -4/109?
z
Suppose 5*a + 0 - 4 = -3*v, -3*v + 3*a - 36 = 0. Suppose 2*t - 280 = 6*t. Let q be (-10)/t - (-1)/v. Is q bigger than -2/9?
True
Let z(c) = -152*c**3 - 5*c**2 + 5*c - 1. Let f be z(1). Is -153 bigger than f?
False
Let x = -0.104 - -0.174. Is x at most -20?
False
Suppose -3*p + 0*p + 22 = b, 4*p - 27 = -b. Suppose 0 = 3*f - b*f + 8. Suppose 0*n + 4*n - 8 = -f*l, l - 4 = -3*n. Which is greater: 2/11 or n?
2/11
Let i be 50/88 - (8/11)/(-4). Let p(z) = z**3 + 5*z**2 + z + 5. Let y be p(-5). Suppose y = -5*c + 2*c. Which is smaller: c or i?
c
Let d = 33 - 44. Let s be -14 - (4 + -1 + -3). Which is greater: s or d?
d
Let t = -56 + 33. Are -23 and t unequal?
False
Suppose -9 = 96*l - 93*l. Let h = 2 - 1. Suppose h - 16 = 5*i. Does l = i?
True
Let m = -4535/2 + 2179. Let g = -91 - m. Is -2 < g?
False
Let y = 79 - 74. Suppose k - y*k = 4. Which is greater: k or -2/15?
-2/15
Let i be ((-5)/(-2) - 2)*0. Suppose 0 = -19*d - 2 + 2. Are i and d unequal?
False
Suppose 0 = h + 2*h + 9. Suppose -3*a + 10*l - 6*l = -42, -60 = -5*a + 5*l. Is h greater than or equal to a?
False
Let v = 76 + -54. Let d = v + -22. Suppose -3*a + d*a = 0. Is -1/7 smaller than a?
True
Let m = -6 + 28. Let n be ((-8)/(-42))/(m/(-33)). Which is bigger: n or -1/4?
-1/4
Suppose -c - 5*l = c + 7, 0 = -2*l - 6. Suppose q + 155 = 5*j, 5*j - 3*j - c*q - 80 = 0. Are j and 30 equal?
True
Suppose -7*o - 20 = s - 2*o, s - 5*o = 20. Which is bigger: s or 2/1793?
2/1793
Suppose 4*m = -1 - 7. Let c = 2 + m. Is c bigger than -4/11?
True
Let x(j) = 3*j + 16. Let h = -33 + 28. Let f be x(h). Let t = -43/2 - -22. Which is smaller: t or f?
t
Let r(c) be the first derivative of 2*c**2 + 5*c + 4. Let o be r(-3). Which is greater: o or -5?
-5
Let x = 1539 + -1586. Is -234/5 at least as big as x?
True
Let u = 4 + -4. Let f = -812 + 813.3. Is u <= f?
True
Let c be (13 - 2391/15)*8/6. Are -196 and c non-equal?
True
Let o = -83 + 27. Let f be ((-36)/(-14))/(((-60)/o)/5). Which is smaller: -2/3 or f?
-2/3
Let d = 147 - -37. Does 179 = d?
False
Let k be ((-1596)/(-18))/14 + 1*-1. Is 5 greater than k?
False
Let q = -106 - -757/7. Let f = 16 + -15. Is f at least as big as q?
False
Let j = -956 - -1340. Let z = -41854/109 + j. Which is bigger: z or -1?
z
Let n(c) = c**2 - c - 5. Let z be n(0). Let o(k) = k - 4. Let u be o(z). Let y = 6 + u. Which is bigger: -1 or y?
-1
Suppose -17796 = 16*z + 5228. Which is smaller: z or -1/2?
z
Let q = 1524 + -1524. Which is smaller: -23/12 or q?
-23/12
Let p be (-1 + -52)*11/(-11). Is p > 54?
False
Suppose -2*y - 2 + 0 = 0. Let l be ((-1)/(-3))/y - -1. Let a be -2*1/(-3)*(-3)/(-2). Which is smaller: a or l?
l
Let o be -1 + -3 - (-84)/3. Which is greater: o or 19?
o
Suppose -579 = -5*a + 4*l, 3*a + 48*l - 45*l - 369 = 0. Which is bigger: a or 122?
122
Let c = -363/181 - -726546/362543. Is -1 equal to c?
False
Let a be (-20)/10 + (-35)/(-17). Suppose -4 + 8 = z. Suppose -5*n = -z*l - l, l = -2*n. Which is bigger: n or a?
a
Suppose 42*l - d = 39*l + 56, -3 = l + 4*d. Let g be ((-1)/(-2))/((-1)/(-2)). Which is smaller: l or g?
g
Let y(f) = -f**2 + 5*f - 1. Let r be y(5). Let i(m) = -4*m**3 + 2*m + 1. Let n be i(r). Supp