s -10 >= b?
False
Let a(m) be the third derivative of -m**5/60 + 5*m**4/24 + 11*m**3/6 + 3*m**2 - 5. Let h be a(4). Does 11 = h?
False
Let z = 84 + -42. Suppose z*j - 45*j = 0. Which is smaller: j or -2/105?
-2/105
Suppose 4*t + 2*a - 36 = 0, -48*t = -50*t - 2*a + 14. Is -150 >= t?
False
Suppose 4*t + 5 = -s, -15*t + 18*t = -2*s - 10. Suppose -3*a - 5*l = -4*l + 251, -a + 2*l - 86 = t. Let v = 104 - 188. Is a at least v?
True
Let a be (9/(-880))/(6/(-5)). Let l = a - 893/22176. Let u = -227444 - -227445. Which is smaller: u or l?
l
Let h be (42458/(-8))/((-76)/32). Let x = h + -2234. Suppose 5*l = -3*t - 25, -2*t - 3*l + 8*l + 25 = 0. Which is greater: x or t?
x
Let g = 628 - 133. Let b be ((-30)/g)/(1*2/30). Is -2 > b?
False
Let s = -3645 - -65581/18. Let n = s + 3133/2034. Is 1 smaller than n?
False
Let a(j) = -j**2 - 2*j + 25. Let k(x) be the first derivative of -x**3 - 3*x**2 + 74*x + 17. Let s(z) = 17*a(z) - 6*k(z). Let q be s(3). Does q = -42/13?
False
Let z = -7 - -9. Let d be 14*(-1 - (-1)/z). Let l(x) = -x - 7. Let m be l(d). Are -0.19 and m equal?
False
Let i(n) = 48*n + 2218. Let c be i(-44). Which is smaller: c or 94?
94
Suppose -13*q + 34*q + 63 = 0. Let c be 1 + 1 + q - (20 + -22). Is c less than 6/49?
False
Let c be (-1101128)/(-14994) + 4/34. Is c at least as big as 73?
True
Let y(q) = 2*q**2 - 10*q - 35. Let f be y(7). Let x be (27/(-15) - f)*40. Is x bigger than 207?
True
Let b be (-2)/(-18)*-937*(-407)/(-66). Let l = 642 + b. Is 0.3 >= l?
True
Let m(l) = -1574*l**2 - 11*l - 3. Let k be m(-1). Is k < -1562?
True
Let o be ((-1036)/(-35))/(((-448)/60)/8). Let r = -258 - -225. Which is smaller: r or o?
r
Let z be 86/(-258) + 17/(-3) - 5132. Are -5140 and z unequal?
True
Let y = -0.0471 + -4.9229. Let c = 5.1 + y. Let n = -0.13 + c. Which is smaller: -2/31 or n?
-2/31
Let v be ((-2)/6)/((-23)/100). Let i = v - 18/23. Let z(d) = -d**2 + 10*d - 24. Let g be z(4). Which is smaller: i or g?
g
Let h be -22*-6*2/6. Let q be (23 - 12)*(0 - (-4)/h). Which is smaller: 5/2 or q?
q
Suppose 5*v - 3*q + 606 - 2577 = 0, -3*v = -4*q - 1176. Let z = -365 + v. Which is greater: z or 127/4?
127/4
Suppose 0*m + 6 = -3*m, 4*s + 4*m = 28. Suppose -s = 2*y - 11. Which is smaller: y or 1/4?
1/4
Let h(s) = -s**3 + 43*s**2 + 86*s + 129. Let r be h(45). Is r smaller than -63?
False
Let y = 13947648/149 - 93608. Which is greater: y or -1?
y
Suppose 3*z + 2*l - 20 = -0*z, -z - 8 = -3*l. Let n(h) = z*h**2 + 3*h + 0*h + 4*h**2 + h**3 + 9 + 3*h**2. Let v be n(-11). Which is smaller: -23 or v?
v
Let a = -6451 + 6485.77. Let i = a + 0.23. Let p = 496 + -497. Is p at least i?
False
Let m = 240.73 + -240. Let a = m + 2.27. Is a greater than -0.27?
True
Let v = 130793 - 130797. Let d = -2.1 - 6.9. Which is bigger: v or d?
v
Suppose -4*c = -4*n + 744, 3*c + 137*n + 537 = 133*n. Is c at most as big as -179?
True
Let k = 6 - 5.6. Let m = 608 + -652.8. Let x = 44.9 + m. Which is smaller: k or x?
x
Suppose 19*f - 494 = 741. Which is greater: 592/9 or f?
592/9
Suppose 775*o - 776*o + 20 = 0. Let r = -22 + 46. Suppose -r*s + 26*s = -o. Which is greater: s or -4?
-4
Let j(f) = f**2 + 3*f + 3. Let v be j(-2). Let g(u) = 9*u**2 - 25*u - 1. Let y be 18/(-3 - 3) + 6. Let q be g(y). Which is smaller: v or q?
v
Suppose -21*v + 1430 = -11*v - 32*v. Is v at most -62?
True
Suppose 15*o + 25*o = 10*o - 103650. Is -3455 at most as big as o?
True
Let w(t) = -8*t - 581. Let c be w(-70). Let d = -4 + 13. Suppose l + 12 = -d. Is c at most l?
True
Let o = 4980 - -216. Are o and -2 equal?
False
Let u = -2989/3 - -996. Is 1 greater than or equal to u?
True
Let v = 15 + -5. Let j be -1*(112/(-16))/((-4)/(-5)). Which is smaller: v or j?
j
Let f be (11/1)/(8 + -9). Let r(u) = 52*u + 356. Let y be r(-7). Is f != y?
True
Let x(t) = t**3 + 8*t**2 - 11. Suppose 4*p = 6*u - 3*u - 14, 0 = -5*p - 5*u - 35. Let w be x(p). Let q = w - 111. Is q smaller than -48?
False
Let m be 19/(1596/(-103716)) + (-6)/21. Is m less than or equal to -1244?
False
Let y(w) be the third derivative of w**5/60 + 11*w**4/24 + 13*w**3/3 + 3*w**2. Let a be y(-7). Let t be (-56)/(-21) - a/(-3). Is t != -3?
True
Suppose -23*t - t = 35784. Is -1492 greater than t?
False
Suppose -4*w = 2*p + 376, -4*w = -0*w - 5*p + 348. Let b be (w/115)/(4/(-10)). Which is smaller: 18/19 or b?
18/19
Let h = -377 - -365. Let j be (3/(-12))/(14 + h). Which is smaller: j or -35?
-35
Let v = -158 + 167. Suppose -v*h = 3*h - 36. Is -8 at most h?
True
Suppose 0 = -4*q - d - 16565, q + 3*d = -d - 4145. Let n = -12283/3 - q. Is n less than 47?
True
Let q be -10*24 - (-900)/45. Which is smaller: 7 or q?
q
Let s = 3 - 0. Let o = -10 + 31. Suppose 30 = 3*r + o. Is s at most r?
True
Let j(l) = l**3 + 18*l**2 + 22*l + 34. Let t be j(-17). Let g be (-34)/36 + t/34. Is g smaller than -2?
True
Let y = 10325.34 + -10325. Which is bigger: -3/17 or y?
y
Suppose 5*v - 8*v = -10*v + 56. Let q be 0 + -2*9/(-2). Which is smaller: q or v?
v
Let s = -68 - -68. Let z be 0/(0 - 2 - s). Suppose 5*w = -5, 3*o - w = -2 - z. Is o >= 3/8?
False
Let y = 238 - 233. Suppose 0 = -y*n - 3*f - 61 + 17, 4*n + 5*f + 43 = 0. Which is greater: -0.7 or n?
-0.7
Let c be ((-50)/(-6) - -1)/(32/(-624)). Let u = c - -173. Is u greater than or equal to -19/2?
True
Let n(a) = 4*a**2 - 11*a + 4. Let u be n(-5). Let i = -161 + u. Which is bigger: -20/11 or i?
-20/11
Let o be 11/5 - (-6)/15. Let s = -581 - -578. Let l be 4*(-2)/8*s. Which is greater: o or l?
l
Let y = 2092/13 + -161. Let n = -290 - -321.7. Let i = 30.7 - n. Which is greater: i or y?
y
Let y(v) = -178*v**3 + v**2 - 12*v + 12. Let j be y(1). Let s(n) = -6*n**2 - n + 32. Let c be s(-6). Which is bigger: c or j?
j
Let v(g) = g**3 - 2*g**2 - 36*g - 6. Let k be v(-5). Let m be 4 + 75/(-20) + k. Is 0 < m?
False
Let l(q) = 4*q + 32. Let z be l(-5). Let w be -101 - -1 - z/6. Let i = 115 + w. Is i less than or equal to 2?
False
Let w(s) = 137*s + 2733. Let u be w(-20). Suppose 2*b - 14 = -2*c, 3*b + 3*c - 1 = 4*c. Which is greater: b or u?
b
Let y be (-21 - -22)*(-29)/(-3)*537. Is 5192 at most as big as y?
False
Let n = 547 + -338. Let j be -3 - 1 - (-858)/n. Is -1 smaller than j?
True
Let w = -33 - 20. Let n = 28 + w. Suppose 2*q - 2*f + 78 - 20 = 0, -q + 1 = 5*f. Are q and n nonequal?
True
Let q(k) = -k**3 + k**2 - 2*k. Let w(i) = 4*i**3 + 14*i**2 + 24*i + 67. Let t(n) = 3*q(n) + w(n). Let u be t(-16). Are 35 and u unequal?
False
Let b be 3464/(-195716)*(-6)/(-4). Let v = -3/13 + 25/52. Does b = v?
False
Let f = -5841 + 5827. Which is smaller: 115 or f?
f
Let r be 786/4*590/(-90). Let b = r - -1288. Let o = 29.1 - 28. Which is smaller: o or b?
b
Suppose 1048*b + 88440 = 1008*b. Is b <= -2209?
True
Let w(k) = 6*k**3 - 2*k**2 + 2*k - 1. Let c be w(1). Suppose -4*v - 42 = -3*d + c*d, 3*v = -5*d - 14. Are v and -10 unequal?
True
Let b = 358 - 361. Is b greater than or equal to -84/41?
False
Let y = 29761/9729 + -144/47. Suppose -111*z - 40*z + 151 = 0. Which is smaller: z or y?
y
Let z = 145 + -74. Let j = 71.044 - z. Let v = -0.156 - j. Is v equal to -2.2?
False
Let c(o) = -3*o**3 + 26*o**2 + 8*o - 1. Let z be c(9). Let x be ((-8)/3)/(z/(-90)). Which is smaller: x or 0.4?
x
Suppose 2*t - 4*z + 106 = 0, -t + 2*t + 5*z + 46 = 0. Let b = -515 + 462. Let i = b - t. Do i and -24/11 have different values?
True
Let b = 32 - 10. Suppose -19*c = -b*c - 4*d, -5*c + d = 0. Which is bigger: -11 or c?
c
Let r(f) = 147*f + 1768. Let k be r(-12). Which is bigger: 109 or k?
109
Let n be (-21)/(-3) - -1 - (28 - 1871 - 0). Is 0 < n?
True
Suppose 4*b + 639 - 635 = 0. Which is bigger: -26/3 or b?
b
Let m(p) = -1542*p + 5710. Let b be m(4). Is -464 >= b?
False
Let v = 672 + -670. Let o be 1708/84*(-6)/v. Is -61 > o?
False
Suppose -3*l - 5 = -g, -g + 2*l - 4*l + 5 = 0. Suppose -3*a = -7*a + n + 7, -31 = -2*a - g*n. Which is smaller: a or 58/21?
58/21
Let d be (2/2445)/((-2214)/315 + 7). Which is smaller: 0 or d?
d
Let v = -0.0951 - 0.0549. Let x = 62 + -62.29. Let l = v - x. Is 0 at least l?
False
Suppose 3*d = 5*k - 98 - 280, -125 = d - 2*k. Is d equal to -1190/9?
False
Let s = 133.892 - -0.108. Let x = s - -5. Is x smaller than 0.1?
False
Suppose 3*h = 5*h. Suppose h = u - 4*u. Let g be 3597/231 - 16 - -2*(-298)/(-1372). Which is bigger: g or u?
g
Let z be