2 - -135. Let b = 57 + d. Is 12/29 smaller than b?
False
Let z = 210 + -208. Does 9/10 = z?
False
Let a be (-20 - -20)*-2*3/6. Which is bigger: a or -1/771?
a
Let b = -611/3 + 202. Let w(m) = m**2 + 4*m - 22. Let p be w(-7). Let u be (-15)/4 + 4 + p + 1. Is u at most as big as b?
False
Suppose -48 = -8*i + 12*i. Let t be 1 + (0 - (-525)/(-39)). Let k = t - i. Which is bigger: 1 or k?
1
Let d(u) = -7*u + 10 + 5 - u**2 - 8 + 3. Let j be d(-9). Let o = 5 + j. Which is smaller: -4 or o?
-4
Let x = -390 - -550. Is x less than or equal to -0.2?
False
Let i be 40*(287/56 - 4). Let g(s) = s**3 - s**2 - 3. Let d be g(4). Is i equal to d?
True
Let w be (4/3 - 215/15) + 2. Let y be ((-583)/(-60))/w - (-2)/15. Is y smaller than 0.7?
True
Let z be (-21)/(-15) + ((-4)/5)/2. Let s(m) = m**2 + 5*m - 4. Let x be s(z). Let v be ((-9)/10)/(3/(-6)). Which is smaller: x or v?
v
Let l be 53/(-13) + (-15)/(-3). Let m be 4/18 + (-224)/36. Let d(s) = s + 7. Let z be d(m). Is l < z?
True
Let v be ((-1)/1)/(3/(-12)). Let g(u) = u**2 + 10*u. Let k be g(-10). Suppose 3*i - 39 + 27 = k. Is i > v?
False
Let y = -898 + 912. Is -1 greater than or equal to y?
False
Suppose 0 = 4*y + y + 35. Let z be (-7 - y)/(0 - 2). Is -6/19 < z?
True
Let i = 963 - 963.197. Which is bigger: 4 or i?
4
Suppose 4*n = -0*n + 68. Let k(b) = 16*b**2 + 36*b - 36. Let y be k(1). Are n and y nonequal?
True
Suppose 80 = 29*c - 21*c. Suppose 45 = c*s - 45. Which is smaller: 8 or s?
8
Let t = 63333/38 - 2032581/1558. Let b = t - 362. Is b >= 0?
True
Suppose -5*n + 2*l + 154 = -0*l, -4*n = -2*l - 122. Suppose -m = 3*k + 2*k + 38, n = -3*k + 4*m. Which is bigger: -10 or k?
k
Let o(d) = d**2 - 11*d + 13. Let y be o(8). Let a(s) = -s**3 - 11*s**2 + 9. Let t be a(y). Does 10 = t?
False
Let j = 32 - 38. Let y(p) = -p**2 - 4*p - 9. Let h be y(j). Which is smaller: -19 or h?
h
Suppose -4*q = -3*c - 53, 2*q - 14 - 5 = 3*c. Suppose -5*y - q = t, 3*t = -3*y + 7*y + 6. Suppose r = 4*k - 19, -3*r = 3*k + 6 - 24. Is t equal to r?
False
Let g be (3*68/96)/4. Let h = g + -107/352. Let k = h + 1/44. Is -1 at least k?
False
Let k(b) = -b**3 + 28*b**2 - 73*b - 32. Let v be k(25). Which is smaller: 3/11 or v?
3/11
Suppose -15 = -5*g, -3*g = i - 7*g + 57. Which is smaller: i or -49?
-49
Let y be (18*(0 + 1))/(-3 + 5). Suppose -32 = y*a - a. Which is smaller: -13/5 or a?
a
Suppose -y - 33 = -4*t + 2*t, 4*y - 44 = -3*t. Suppose 0*x = 4*x - t. Suppose -x = 3*h + h. Is -11 at most h?
True
Let q(z) = 0*z + 8*z**2 - z**3 + 4 + 2*z**2 + 3*z - 4*z**2. Suppose -35 = -y - 4*y. Let w be q(y). Does -1 = w?
False
Let l = 0.06 - -0.04. Let o = -13 - -15. Let w = 2.04 - o. Does w = l?
False
Let j(s) = -s**2 - 4*s + 7. Suppose 2*x - 14 = -f, -2*x + 5*f - 15 = -x. Let c be -11 - -10 - 1*x. Let z be j(c). Which is bigger: z or -4?
-4
Let m be 396/(-6) - (-1 + 0). Let u = m + 74. Is u at least -1?
True
Suppose -23*c + 248 = -19*c. Let v = 182/3 - c. Which is smaller: -1 or v?
v
Let s(z) = 107*z**2 + z - 1. Let j be s(-1). Let t = j + -95. Which is smaller: -1 or t?
-1
Let h = -89/30 - 167/6. Which is bigger: h or -31?
h
Let i(s) = -s**3 + 10*s**2 - 23*s - 3. Let o be i(4). Which is greater: o or -539/4?
o
Let t = 274 - 279. Let r(p) = -5*p**3 + 2*p + 1. Let c be r(-1). Let y = c + -7. Which is greater: y or t?
y
Suppose -2*r + r - 4 = 0. Let u = -1686 - -5042/3. Which is smaller: r or u?
u
Let w(u) = -u**2 + 16*u + 136. Let f be w(21). Is 30 smaller than f?
True
Let r(q) = q**3 + 13*q**2 + 11*q + 35. Let h be r(-16). Let i = h - -9081/10. Is 0 greater than or equal to i?
True
Let m = 4500/11 + -29751/77. Is 22 <= m?
True
Let f = 36 - 36.2. Which is smaller: f or -3/53?
f
Let h = 5438 + -70626/13. Which is smaller: 5 or h?
5
Let q = -63 - -117. Let f = q - 50. Is f at most as big as 3?
False
Let w = 0 - 0. Suppose w = d - 2 + 7. Suppose 2*m - 2 = 3*c, -130*m = c - 125*m + 29. Is d at least c?
False
Suppose -3*b = -5*r - 7, -4*r - b - 1 = 8. Let l be 0 - -4 - r/(-56)*92. Which is smaller: l or 0?
0
Let f = -321 - -321. Which is bigger: f or -7/44?
f
Suppose -4*l + 2*l - 14 = o, -4*o - 56 = 3*l. Let w be (1/2)/(1/o). Let u be 0 - (10/w)/5. Is u > -1?
True
Let q = -87 - -48. Let f = 42 + q. Which is greater: f or -6?
f
Let a(b) = b**2 - 9*b - 1. Let u be a(9). Let d be -10*(u - 20/(-8)). Let o = d - -19. Is 4 bigger than o?
False
Let l(f) = -2*f**3 + 8*f**2 - 7*f - 4. Let z be l(4). Which is smaller: -33 or z?
-33
Suppose 1212 = 23*u + 1672. Which is greater: 0.1 or u?
0.1
Let p = -16.083 - 3.487. Let u = p - 0.43. Is 2 not equal to u?
True
Let u = 19221 + -711321/37. Which is bigger: u or -3?
-3
Let k be (3/(-1068))/((-15)/3084). Let w = 2/89 + k. Are 2 and w nonequal?
True
Let r(d) = d**2 + 9*d + 1. Let a be -2*(-9)/(-8)*4. Let i be r(a). Suppose 0 = -4*u - 3*t + 3, 5*t - i - 4 = 5*u. Is u less than or equal to 2/33?
True
Let x = 33/26 - 399/130. Which is bigger: x or -2?
x
Suppose 0 = 5*a + 50*a - 2255. Which is bigger: 290/7 or a?
290/7
Suppose 2*i - 5*j = -4*j, 5*j + 10 = 5*i. Let q be (-4)/(-14) + 171/63. Let p = q + i. Which is smaller: 2 or p?
p
Let a = -2447 + 3952. Is a > 1504?
True
Let x = -876 + 527. Is x >= -348?
False
Let y be 0/((-1)/(2/(-4))). Is -3/436 at most as big as y?
True
Let q be -2*((-84)/8 + -4). Let x = q + -24. Which is bigger: 6 or x?
6
Suppose 3*b - k = 4, 20 = 2*b + 3*b - 5*k. Let n be (-12)/4 - 1/8*-23. Which is greater: n or b?
b
Let s = 9 + -4. Suppose -s*z - 2 - 3 = 0. Let h be 1 + 1 + 36/(-15). Does z = h?
False
Suppose -3*z + 22 = 5*w, 22 = w + 3*z + 2*z. Suppose 4*g - 2 = w. Suppose -4 = -3*r + r. Which is bigger: r or g?
r
Suppose -225*w + 1050 = -223*w. Which is smaller: 523 or w?
523
Let l(q) = q**3 + 6*q**2 - 2*q - 8. Let u be l(-6). Let g be ((-2)/u)/(3/66). Let p be g/((1 - 1) + -1). Is p equal to 11?
True
Let n be 10/2*(-196)/20. Which is smaller: -50 or n?
-50
Let h = 4 - 4.1. Let r be (-75)/(-270)*12/15. Is r <= h?
False
Let g = -5392 + 91748/17. Which is smaller: 6 or g?
g
Let k = 48 + -27. Let g = k - 15. Let c = -14 + g. Which is greater: c or 0.1?
0.1
Let t = 919 - 790. Which is greater: t or 127?
t
Let m be ((-3)/(-9))/(8/1944). Which is greater: m or 80?
m
Suppose 57401 = -22*a - 39*a. Is a != -941?
False
Let v = 421 - 389.1. Let w = v - 32. Is 0.05 not equal to w?
True
Let d = 11 - 7. Suppose q = w - 3, -3*w + q = -d*q - 11. Let r be 98/36 + 13 + 1071/(-81). Which is smaller: w or r?
w
Let c = 1.7 - 3. Let y = 9.3 + c. Let s = -7.9 + y. Which is smaller: s or 1?
s
Let p = 588 - 889. Is p greater than -603/2?
True
Let g = -8 + 13. Suppose -3*d = -4*d + 4*w + 21, 5*w = g*d - 45. Suppose -3*q = 4*l + 11, -d*l = -3*q + 2*q + 9. Is q greater than or equal to 0?
False
Let m be -4*(0 - (2 + (-1 - 0))). Let h be (-24)/40 - -1*m/(-10). Which is greater: 2 or h?
2
Let k be ((-10)/(-4))/(63/(-14)). Let r be (21/378)/(-1 - (-40)/38). Let x = r + k. Which is smaller: x or -1?
-1
Let b be (-8)/3*(-6)/120*-282. Which is smaller: -37 or b?
b
Let q = -1048 + 913. Which is greater: q or -136?
q
Let r be (-1)/2*10*-1. Suppose -4*f - 1 = 3*k, 2*f + 3*f + 5*k = -r. Suppose 0 = 4*b + 5*c + 15, f*b + 3*b = -c - 3. Which is bigger: b or -1/4?
b
Let l(a) = 3*a - 1. Let z be l(8). Let i = z + -30. Is i <= -1?
True
Let n(o) = -o**3 - 3*o + 3. Let m be n(0). Suppose 3*v + 3*f = 4*f - 30, -m*f = 5*v + 50. Which is smaller: -7 or v?
v
Let w(r) = 207*r - 3. Let a be w(1). Let g be (-10)/45 + a/189. Are 2 and g equal?
False
Let w(q) = q**3 - 8*q**2 - 13*q - 4. Let z be w(10). Let f = 200/3 - z. Let p = 1.7 - 1.77. Which is smaller: f or p?
p
Let w = -1205 - -1203. Which is smaller: w or -39/5?
-39/5
Suppose -53 = -x - 49. Let j be x/(-16)*84/(-35). Are 2 and j non-equal?
True
Let a(o) = -32*o - 2126. Let j be a(-66). Let m = -1.9 + 2. Let f = 0 - m. Which is smaller: f or j?
j
Let u be ((-12)/(-20))/3 - 98/(-10). Let q be (-16)/10 + 2 - (-56)/u. Let x be (3 - (-6)/(-3)) + 5. Is x < q?
False
Let w(o) = 3*o**2 + 9*o - 14. Let x be w(-5). Which is bigger: x or 1?
x
Let w be 2/(-1) + 215/(-5). Let m be 11*-4 + (-4 - -3). Is w < m?
False
Let a = 0.9 + -1.9. Let b = 1.12 + a. Let g = b - 0.22. Which is smaller: -2/5 or g?
-2/5
Let y = -20 - -24. Let p be -2 - (y + (-1 - 1)). Is p >= -5?
True
Let k(t) be the third derivative of