)). Is l greater than or equal to 1?
False
Let h = 25 + -36. Let i be (-659)/(-8) + 6/(-16). Let w = 70 - i. Is h at most w?
False
Suppose 0 = -6*p + 4*p + 6. Let j(a) = -a - 9 - 1 + p*a. Let d be j(5). Which is greater: -3/22 or d?
d
Suppose 13 = -n + 2*s, 4*s - 6 - 2 = 0. Let q = 7.5 + -1.5. Let v = q - 6. Is n at most as big as v?
True
Suppose 0 = 4*o - 7 - 5. Suppose -3*x = -0 - 9, o*x + 27 = 4*t. Let m be (1 + t/(-15))/(-1). Is 3/17 > m?
True
Let p(x) = -x**2 + 10*x - 10. Let i be p(9). Let g be ((-4)/(-3))/(i/6). Suppose o + 3*v = -18, 2*o - 2*v + 15 = -v. Which is bigger: g or o?
g
Let j be (-2)/(-3) + (-2)/(-6). Let u be (j + -2)/((-1)/2). Let w be (0 - u/4)*-8. Is w equal to 4?
True
Let y = -58 + 61. Is y < -6?
False
Let l be 9/(-36) + (-603)/(-80). Let u = l + -75/16. Is 3 >= u?
True
Let a(s) be the third derivative of -11*s**4/24 + s**3/2 - 9*s**2. Let y be a(2). Which is smaller: y or 1/4?
y
Let x(s) = 18*s**2 + 7*s - 12. Let t be x(2). Let k = t - 73. Which is smaller: k or 1/45?
1/45
Let f = -219.4 + -100.6. Are f and 2/5 unequal?
True
Let m = -15 - -2. Let w be (m + 5)*3/(-18). Is w equal to 0?
False
Let w = 658 - 651. Is -79 at least w?
False
Let j(q) be the third derivative of -q**5/60 + q**4/2 - 5*q**3/3 - 7*q**2. Let m be j(8). Let p be 3 + -3 + m/7. Which is smaller: p or 3?
3
Suppose 5*z - 6*y - 85 = -y, -z = 4*y + 3. Suppose z = -2*w + 5. Let c = -5 + 3. Is c bigger than w?
True
Let k be (-5)/((-75)/478) + 114/855. Is k bigger than 32?
False
Let x(t) = t**3 - 6*t**2 + 6*t + 4. Let p be x(5). Let n be 250/(-102) + 2 + 3/p. Which is bigger: 1 or n?
1
Let f be 4 - 2 - (-2 + 5). Let x be f*1*5/(-5). Which is smaller: x or -1/17?
-1/17
Suppose 0 = -3*m + 3*d - 4*d - 113, d - 43 = m. Let j be ((-6)/8)/(9/(-3)). Are j and m nonequal?
True
Let f = 2105 + -10523/5. Is 2033 greater than or equal to f?
True
Let r be (279/(-6))/(0 - 8/16). Which is greater: -0.2 or r?
r
Suppose 3*n = 25 - 10. Let k = 3 - 15. Let a be -5*(k/(-10) + -2). Which is smaller: a or n?
a
Suppose 5 = -h + 12. Let z(m) = -17*m - 95. Let s be z(-6). Let c = s - h. Which is greater: c or 1/44?
1/44
Let c be (-6)/24 - (-17)/4. Suppose -c*l = -2*g - 44, g - 6*l + 27 = -3*l. Let x = g - -5. Which is bigger: -5 or x?
-5
Let y be (-9)/(-12) - (-217)/4. Suppose -5*g + 0*a + 5*a = y, -g = a + 7. Is -9 at least as big as g?
True
Suppose 0*w - 4*w = t + 9, t = 3. Let v(i) = i - 6. Let u(n) = n - 4. Let b be u(10). Let m be v(b). Does w = m?
False
Suppose -7 - 6 = 2*h - 5*k, 2*h = -2*k - 20. Let w be (228/90)/(6/h). Which is greater: -5 or w?
w
Let l = -4 + 5. Suppose 3 = 2*j - l. Let y(w) = -w**2 + 13*w + 18. Let u be y(14). Is u > j?
True
Let d = -16 + 16.4. Let h = 8.4 - d. Let x = h + -7. Which is smaller: x or -3/19?
-3/19
Let h = -5.3 + 4. Let z = h - 4.7. Let l = z + 11. Which is greater: -1 or l?
l
Let f be (-60)/18 - (-1)/3. Let c be f/2 + 1/(-2). Which is smaller: 19 or c?
c
Let z = -1 + 2. Let v(q) = -q**3 + 11*q**2 - 10*q + 15. Let s be v(10). Suppose 10*n = s*n + 25. Does n = z?
False
Let s = -3 - -2. Let f be 35/(-1001)*(-1854)/25 + -3. Let c = f - 3/55. Are c and s unequal?
True
Suppose -4*v - 2*k + 422 = k, -2*k = 3*v - 316. Suppose 2*l = 10*l + v. Which is bigger: l or -15?
l
Let i = 432 + -432.08. Is i bigger than -11?
True
Let i be (5 + -4 + -1)/(-1). Suppose d - 4*z + 6 = i, 3*z - 10 = -2*z. Which is greater: 1 or d?
d
Let b = -89 + 125. Let r be 3*40/b*-3. Let m = 6 + r. Which is smaller: -5 or m?
-5
Let p(u) = 28 - 4*u + 5*u - 29. Let z be p(-3). Are z and -1 non-equal?
True
Suppose 11*p = 10*p + 17. Suppose 2*y + 4*h + 18 = y, 4*y + 5*h = -p. Which is smaller: y or 4/3?
4/3
Let n be (2/(-20))/(308/4510). Let h = -5/7 - n. Is h != -0.3?
True
Let q be ((-12)/10 - -1) + (-257)/(-110). Let r = q - 18/11. Let m(d) = 4*d**3. Let l be m(-1). Is r != l?
True
Let w = -2 - -17. Let p = w - 5. Let b be (10/(-25))/(1/(-25)). Is b greater than p?
False
Suppose 3*u + 0 - 3 = 0. Let q = 1563/935 - 3/85. Is q at least as big as u?
True
Let g = -30 + 268/9. Is -8 at least g?
False
Let x(n) = -n**3 + 14*n**2 - 12*n - 21. Let o be x(13). Let q be o/(-6) - (44/(-12) + 4). Which is smaller: q or -10/21?
-10/21
Let s = -10 + 21. Suppose -19 = -r + 4*l - 2, -2*l - s = -r. Let f be 42/9 + (-4)/6. Which is smaller: r or f?
f
Let o = 9 - 6. Let x = -147 + 150. Suppose 4*h + 4*k = x*h + o, 3*h - k = 9. Is h > 16/7?
True
Suppose -4*o = 3*l + 448 - 41, 0 = o + 4*l + 118. Are -3 and o equal?
False
Let r = -1 - -1.1. Let a = -33.3 - -35. Let v = a - 3.7. Is v != r?
True
Let p = 86 - -11. Let q = 101 - p. Which is greater: 3 or q?
q
Suppose 4*k - w - 4*w - 55 = 0, -4*w - 52 = -4*k. Which is greater: 9 or k?
k
Let w(y) = -9 - 3*y + 10*y - 6*y. Let v be w(14). Let p(f) = -f**3 + 5*f**2 + 5*f + 4. Let o be p(v). Which is bigger: 0.1 or o?
o
Let r(t) = t**3 + 3*t**2 - t - 1. Let g be r(-3). Suppose -2*b + g*x = -6 + 2, 2*b = -3*x - 6. Is -1/23 at least b?
False
Suppose -3*h = -7*i + 5*i - 30, 4*h = -5*i - 29. Let j be 2/i - 1256/18. Is j < -70?
False
Let g(l) = -2*l**3 - 13*l**2 - 14*l + 6. Let u be g(-5). Is u greater than 3/478?
True
Let j = 1.92 - 2. Let u = -0.08 - j. Let w = u - 0.5. Is w less than or equal to 1/3?
True
Suppose -6 = -h + 3*r, -2*r - 4 = -3*h - 0*r. Let f = 2177/4 + -558. Let a = f + 1917/140. Which is smaller: a or h?
a
Let z = 72 - 71. Is -20.1 at most as big as z?
True
Suppose 2*c - 3000 + 3238 = 0. Which is bigger: c or -120?
c
Let y be 20/12 + (2 - (-950)/15). Which is bigger: 69 or y?
69
Suppose 3*m - 2 = -11. Let j be (m*(-9)/(-81))/(8/(-150)). Do 5 and j have different values?
True
Let y be (49/2)/((-2)/(-4)). Let s = -195/4 + y. Let x = 5.9 + -6. Is x greater than s?
False
Let d(x) = 2*x**3 + 7*x**2 + 2*x - 4. Let y be d(-3). Let p be ((5/1)/5)/y. Which is smaller: p or 1/40?
p
Let t be 4/14 + (-4128)/(-56). Let q = t - 74. Let y be (-57)/(-135) + 4/(-18). Is y bigger than q?
True
Let m be 3*166/240 + (-2)/1. Let v = -71/120 - m. Which is greater: -22 or v?
v
Let j(z) = z + 1. Let w be j(5). Suppose 5*c = 5*u - 10, 2*c - 3*u = -3*c - w. Are c and 3/26 nonequal?
True
Suppose 0 = -5*o + 504 + 121. Is o at most 123?
False
Suppose 10*t = 9*t - 2, 2*t = 4*d. Is d > -15/116?
False
Suppose 0 = -7*f + 5*f + 44. Suppose -5*o + 2*o - 2*l = -f, o = 4*l - 16. Suppose o = 3*v - 5. Which is bigger: v or 4?
4
Suppose 12 = -3*k + 6, 0 = -2*g + 5*k + 12. Let h = 2 - 1. Let i be (h/1)/(2/(-6)). Which is greater: g or i?
g
Let z be (2 - 0) + (-448)/252. Which is smaller: z or 4/5?
z
Let q be ((-1)/(-1))/((-9)/6). Let c(x) = -x**2 - 4*x + 19. Let o be c(-7). Which is smaller: q or o?
o
Let b = -2.9 - -0.9. Is b <= -8?
False
Suppose -4*d - 3*i = -96, -3*d + 48 = -3*i - 3. Let z = d - 16. Suppose -5*v = 2*y - 25 - 7, y + 44 = z*v. Which is smaller: 6 or v?
6
Let j be (-300)/(-220)*40/(-30). Let p = -3 - -1. Which is smaller: p or j?
p
Let g = 28 - 22. Let o(x) = x**2 - 6*x + 4. Let y be o(g). Suppose 2*c - 6 - 1 = l, -y*c + 3*l = -19. Is -2/23 at least as big as c?
False
Suppose 5*t = -2*x + 6, 0 = -5*t + 4*x - 8*x + 12. Is -4/115 less than or equal to t?
True
Suppose 2*x = -3*c + 86, 3*c - 3*x = -x + 82. Let w be 0/(-14) + c*-1. Is 1 >= w?
True
Suppose 5*v + v = 78. Suppose v*w - 20 = -280. Is w at most as big as -20?
True
Let q(u) be the third derivative of -u**6/120 - 7*u**5/30 + 13*u**4/24 - 35*u**3/6 - 25*u**2. Let g be q(-15). Let l = 2 + -4. Do l and g have the same value?
False
Let x = -129/10 + 73/5. Is 3 at most x?
False
Let n be (11/(-66))/(7/3). Is -1 != n?
True
Suppose 29 = -4*i - 71. Suppose 9*r - 598 = 32*r. Is r != i?
True
Let a = 456 + -456. Is a smaller than -44?
False
Let l(s) = -s**2 + 2*s + 10. Let o be l(17). Let k = o + 240. Let m(f) = 2*f - 1. Let v be m(-2). Is k smaller than v?
False
Suppose 20 + 22 = 14*a. Suppose -5*o = -u - 1, u + 4*o = -a*u - 28. Which is smaller: u or 2?
u
Let z(m) be the third derivative of -m**3 + 0 + 2*m**2 + 0*m + 1/60*m**5 - 1/2*m**4. Let a be z(12). Which is greater: a or 0.2?
0.2
Suppose 36 = 2*x + 20*x - 272. Suppose -4*o + 37 = -15. Is o < x?
True
Suppose 0 = -2*g + 5*o - 21, 0 = -2*g - 0*g - o + 9. Suppose 3*c - 9 = 4*w, 2*w - 2*c - g*c = -2. Is w greater than or equal to -6?
True
Let t = 155 + -155.53. Is 0.5 != t