2. Is c at most as big as -1.11?
False
Let z = -4.257 - 0.743. Which is smaller: z or -10?
-10
Suppose 0 = -3*r - 3*h + 24, 19 + 21 = 5*r + 4*h. Suppose -52 = -5*z + z + 2*t, 5*t - 50 = -5*z. Is r >= z?
False
Let b = -84787861/234 - -362342. Let y = b + -17/18. Is -1 greater than y?
False
Suppose 2*m + 106 = -4*q + q, m - 27 = q. Which is bigger: q or -30?
-30
Suppose 11*m - 12*m = -11*m. Is 192 <= m?
False
Let d = -17 + 22. Suppose 0*o + 50 = 5*o + l, -d*o + 60 = 3*l. Which is greater: o or 8?
o
Let d(p) = 5*p + 142. Let b be d(10). Is b equal to 1?
False
Let g be (-95)/(-350) + 16/(-28). Suppose 0 = -5*v - 3 - 2. Which is greater: g or v?
g
Let m be 75/85*300/45. Does m = 7?
False
Let m be ((-15)/(-2)*8/12)/6. Let g be 1/(-1)*(1 + -4). Suppose g*z + 4 = 10. Which is greater: z or m?
z
Suppose -42*u = -11*u + 496. Let g = -21 - -31. Let p be g*(49/u - -3). Is p < -1?
False
Let s be 5104/10 - 6/(-10). Is 511 smaller than s?
False
Let v = 31.7 + -32. Let k = v + -7.85. Let q = k + 0.15. Which is greater: -0.1 or q?
-0.1
Let w = 500.01 - 500. Is w < -5?
False
Let d = 139.4 - 77.5. Is d greater than -1?
True
Let r(d) = -52*d**2 - 360*d + 24. Let i be r(-7). Let a(u) = -6*u**2 + u. Let y(v) = v**2 - 4*v + 4. Let k be y(3). Let w be a(k). Which is smaller: w or i?
w
Let o be 0 + (-4 - 24) + -2. Let a be 1/1*o/3. Is -9 >= a?
True
Let s = 2.6 + -1.3. Let d = -1.12 + s. Which is smaller: -0.1 or d?
-0.1
Suppose 4*i - 34 - 266 = 0. Let l = i + -57. Is 17 at most as big as l?
True
Let a(p) = p**2 + 3*p - 4. Suppose 100 = -4*w - 16*w. Let y be a(w). Is y equal to 7?
False
Let b = 11317/266 + -788/19. Let o(p) = -p + 7. Let h be o(5). Is h greater than b?
True
Let a(z) = 2*z**2 - 32*z - 33. Let j be a(15). Is -64 less than j?
True
Let i(a) = -14 + 3*a + a**3 + 6*a + 6 + 8*a**2 - 3*a. Let t be i(-6). Let f = 22 - t. Is f at most as big as 1/2?
True
Suppose 19 = -b - 4*g, g = 2*b + 8 + 3. Let l be ((-2)/(-5))/(18/(-2880)). Let u be 3 - (l/12)/(-2). Which is greater: u or b?
u
Let b = 43 + -33. Suppose -5*t - 5*g - b = 0, -2 = 4*t + g - 0. Let i = 0.04 + 0.26. Which is greater: i or t?
i
Let c(k) = k + 8. Let v be ((-2)/(-6))/(9/(-135)). Let d be c(v). Let i(m) = -m**3 + 4*m**2 - 4*m + 2. Let u be i(2). Which is greater: u or d?
d
Let v = -8 + 3. Let t be ((-2)/(-4))/((-6)/144). Let d = v - t. Is d greater than or equal to 7?
True
Let f(m) = m**3 - 2*m**2 + 311. Let l be f(0). Let s = -4669/15 + l. Which is greater: 1 or s?
1
Let q = 7 + -34. Let a be (q/18)/(2/(-4)). Which is bigger: a or 4?
4
Let d = 3 - 4. Let o be 1/(-2) + (-1)/2. Let z = o + d. Which is smaller: z or 2?
z
Let u = -354.3 + 349. Which is smaller: u or 2/3?
u
Let z = 84 + -84.96. Let x = z + 0.56. Is 0.03 >= x?
True
Let i be -3 - ((-8)/24 - (0 + 380)). Let l = i + -381. Is l greater than or equal to -4?
True
Let o = 2 - 1. Let r(z) = -8*z - 29. Let j be r(-4). Is j bigger than o?
True
Let n(v) = 4*v - 3. Let h be n(2). Let p(f) be the first derivative of -f**4/4 + 2*f**3 - 3*f**2 + 2*f - 4. Let j be p(h). Are -3 and j equal?
True
Let h(z) be the second derivative of z**3/3 + 2*z**2 - 4*z. Let o be h(0). Suppose s - o*s = -y + 9, -y + s + 3 = 0. Is -4/9 less than or equal to y?
True
Let f be (-17)/(((-2)/28)/((-52)/104)). Is f less than or equal to -593/5?
True
Suppose 4 + 2 = 2*v. Let o be -1 - (2 - 0)*-2. Suppose -5*i + v*g - 14 = 0, -4*i - g = o*g - 8. Is i at least as big as 0.1?
False
Let r be (-6 - 0) + (-136)/20. Which is bigger: r or -12?
-12
Let b(j) = j**2 + 39*j + 399. Let w be b(-18). Which is greater: w or 13?
w
Suppose 0 = -3*s - s + 8. Suppose -3*a - w = 112, 0*a + s*w + 113 = -3*a. Which is smaller: -39 or a?
-39
Suppose 2*f - 4 + 3 = 3*p, 2*f = -2*p - 4. Is p equal to -17?
False
Let t(r) = 4*r + 33. Let u be t(0). Is u bigger than 34?
False
Let o be 2/(-8) + 2478/(-406). Let a = 25/4 + o. Which is smaller: a or -1?
-1
Let n = 18 - 16. Let s be n/6*(-25 - -28). Is -1/6 bigger than s?
False
Let i(m) = m**3 - 6*m**2 - 13*m - 13. Let r be i(8). Let h = -1 - r. Is -11 smaller than h?
False
Suppose -7*z + 18*z = 8*z. Is z < 40?
True
Let h(r) = -r + 6. Let c be (21/35)/((-2)/(-10)). Let g be h(c). Suppose 2*l = -3*l. Is l at most g?
True
Let v(b) = b**3 + 8*b**2 + 8*b - 3. Let j be v(-6). Suppose 0*s + 5*s = -2*u - j, -5*u + 25 = -3*s. Which is smaller: 0 or u?
0
Let k = 1773578/305 - 5815. Which is greater: 1 or k?
1
Let i(w) = -8*w**2 - 2*w + 46. Let c be i(11). Is c at least as big as -945?
True
Let b be -4 + 21/6 - 322/(-4). Let c be (24/b)/((-62)/(-25) - 2). Suppose 4*z + 10 = 3*q + 2*z, q + 15 = -3*z. Is c greater than q?
True
Let r = -1 + 6. Let y(z) = -3*z + 7 + z**2 - 5 - r. Let h be y(5). Which is greater: 6 or h?
h
Let y(z) = -z**3 - 7*z**2 - 8*z + 3. Let x be y(-6). Let i(s) = s**2 - 17*s + 19. Let a be i(x). Let c = 7 - 17. Is c equal to a?
False
Suppose r - 2 - 1 = 0. Let q = 0 + r. Suppose 4*d + q*o = -2*o, 4*o = 2*d. Which is greater: -1/14 or d?
d
Let k be 2 + -2 - 3/(-7). Let x = 5 - -2. Let b = x + -7. Is k != b?
True
Let k be (-9)/(3/(-6) + -1) - 3. Are 33/10 and k equal?
False
Suppose -2*x = -3*x + 35. Let s = 7 + x. Let v = -125/3 + s. Which is smaller: v or -1?
-1
Let v = 86.75 + -3.05. Let m = v + -84. Which is greater: -1.3 or m?
m
Let t = -0.15054 - 2.84946. Let l = 0.28 - 0.01. Let k = -0.03 - l. Which is bigger: t or k?
k
Suppose 0 = -3*l - 3*q - 12, 3*l - 1 = q + 7. Is l less than or equal to -7?
False
Let w be ((-120)/150)/(2/(-110)). Is w > 1/4?
True
Let r = 167833 - 2679213/16. Suppose 1121 = 3*t - 5*u, 2*u + 475 - 103 = t. Let x = t - r. Is -1 != x?
True
Suppose 645 = 15*x - 780. Is x < 94?
False
Let a = -0.75 - -6.25. Let k be (-1 - -3)*3/12. Which is bigger: k or a?
a
Let x = 15 + -37. Let f = 1 - x. Let z = f - 23. Which is smaller: z or 1.5?
z
Let l = 1.99 - 2.09. Suppose -12 - 4 = -4*g. Which is smaller: g or l?
l
Let y(r) = 6*r + 8. Let t(m) = 7*m + 9. Let x(l) = 5*t(l) - 6*y(l). Let f be x(-6). Is 1 > f?
False
Let a(n) = -n**3 - 3*n**2 + 4*n + 1. Let m be a(-4). Let d = -100 - -6997/70. Which is smaller: m or d?
d
Suppose 26 - 24 = 2*h. Let n be ((-16)/30)/(112/(-24)). Which is smaller: n or h?
n
Suppose 4*j - 2*h - 6 = 0, 0 = -5*j - 3*h + 5 - 3. Which is smaller: 18/11 or j?
j
Suppose -4*v = l + 12, 3*v + 0*v = -3*l. Let z(k) = k**2 - 5*k - 4. Let q be z(0). Let j be ((-1)/(-2))/(22/q + 3). Which is greater: l or j?
l
Let k be 4/18 - -3*(-250)/216. Let j = -239/76 - k. Do j and -1 have the same value?
False
Let y be -1 + -1 + 18 + (-1313)/(-91). Is 31 < y?
False
Suppose 5*i + 2*b + b = -19, 0 = -3*i - 2*b - 12. Let q = 2.3 - 2.2. Do i and q have the same value?
False
Suppose -4*d + 2*v + 2*v + 88 = 0, -v = -2*d + 43. Suppose t + 5*r = -41, 3*r = -d + 6. Let w be (t/100)/(2/(-5)). Is w equal to 1?
False
Suppose -2*g + g = -3*p + 15, -5*p = -3*g - 29. Suppose p*n + 2*x = -10, x = 5*n + 5*x + 20. Suppose n*l = 4*l. Which is smaller: 2/17 or l?
l
Let w(m) = -m**3 + 25*m**2 - 34*m - 6. Let j be w(23). Let i be (j/35 + 4/14)/2. Do i and 5 have different values?
True
Let t(k) = k**2 - 15*k - 544. Let x be t(-17). Let u = -656/13 - -142995/2834. Which is smaller: u or x?
u
Suppose 13 = 2*n - 2*u + 1, n = 2*u + 8. Let w be n/(-14) + 225/126. Which is smaller: 0.1 or w?
0.1
Let k be 5/1 - 4544/912. Let m = k + -179/3705. Is 1 at least as big as m?
True
Let b = 116.1379 + -116.2. Is b < -0.1?
False
Let t be 8/2 + 1*6399/(-1602). Which is bigger: t or -1?
t
Suppose 0 = 5*n + 2*u + 566, -6*n + 2*n + u - 458 = 0. Let w be -6 + n/(-18) - (-20)/(-6). Is w greater than -2?
False
Let b be ((-3384)/16215)/(87/(-105) - 15/(-35)). Suppose i - a - 4 = 0, 2*i + 4*a = -1 - 9. Is i > b?
True
Let y(x) = x**3 - 13*x**2 - 14*x - 20. Let t be y(14). Which is smaller: t or -24?
-24
Let i = -10/3 - -67/20. Let c = 253/780 - i. Which is bigger: 0 or c?
c
Suppose 3*c = 4*s + 8*c - 26, 5*s + c - 22 = 0. Suppose 9*g - 118 = 4*p + s*g, 3*g = -2*p - 70. Is p >= -32?
True
Suppose x = i - 1, -6*i = -3*i - 5*x - 7. Let y be (i*1)/((-4)/(-52)). Let a = 513 + -1049/2. Is y smaller than a?
True
Let u be (-5)/4*3/15. Suppose -20*a = 3*a. Which is smaller: a or u?
u
Let g(y) = -y**3 + 7*y**2 - 7*y + 9. Let c be g(6). Suppose 0 = -c*u - u + 4*x + 4, -2 = 4*u + 2*x. Let p be -2*6/1