s q?
False
Let d = 965 + -468. Let a = d - 2993/6. Which is greater: -2 or a?
a
Let h = 428 - 649. Let k be h/(-77) + (30/(-35))/6. Which is bigger: k or 3?
3
Let q be -1 + ((-9)/(-2) + -5)*-4. Let n(y) = -5*y**2 + 4*y + 2. Let i be n(q). Suppose -k - r - r = 0, 2 = -2*r. Is k bigger than i?
True
Suppose -312 - 28 = -10*k. Suppose k = -3*q + 52. Which is smaller: 4 or q?
4
Let i = 3418 - 3484. Which is smaller: i or -114?
-114
Let f be (-7 - -6) + ((-2196)/(-2))/3. Let z = f + -12771/35. Let b = 31 + -32. Which is bigger: b or z?
z
Let z(x) = 166*x + 36. Let c be z(9). Let r = c - 16849/11. Which is bigger: -3 or r?
r
Suppose -2352 = 4*l + 4*v, -6*l - 96*v + 93*v = 3516. Which is bigger: l or -2924/5?
l
Let t be (-70)/6 - 2 - 9/27. Let q be -13 + -4 + (-90)/(-24). Which is greater: q or t?
q
Let z = 95 - 123. Let p be (24/(-15))/4*(-126)/z. Which is smaller: p or 1?
p
Let x(b) = 3*b. Let g be x(2). Let c = 180 + 50. Let o be 14/91 - c/(-26). Is g less than or equal to o?
True
Let p be (-1332)/(-77) + -7 + 1 + 1. Let o = p - 181/22. Is o < 3?
False
Let w(k) be the second derivative of 1/3*k**3 + 11*k**2 - 19*k - 1/12*k**4 + 0. Let a be w(0). Are 23 and a equal?
False
Suppose 27*h = 9*h + 504. Let g be (h/(-126))/(1*(3 - 30)). Is g != -1?
True
Let c(j) = j - 24. Let f be c(20). Let z(k) = -37*k - 41. Let a be z(f). Let t = 108 - a. Is -2/31 != t?
True
Suppose 1746 - 4281 = s - 3*u, s = -5*u - 2559. Is -2545 equal to s?
False
Suppose -22*x + 21*x - 238 = -3*y, -2*x = -3*y + 239. Suppose -o - 3*o + 3*c = -311, -3*c = -o + 80. Which is greater: y or o?
y
Let h be 1 + 1 - (-2 - -1). Let x be 10 - (216346/22154 - 1/(-19)). Is x at most as big as h?
True
Let q be 0/(-1)*(4 - 7/2). Suppose 3*x = -3, -4*k + 2*x + 21 - 191 = q. Which is smaller: k or -42?
k
Let d = -17.446 + 16.446. Which is greater: d or -10.29?
d
Let h(z) = -4*z**2 - z - 1. Let r = -7 + 6. Let a be h(r). Let d be (-1 - 2/a)/((-27)/(-4)). Which is greater: -2 or d?
d
Let i = 0.78 - 1. Let b = i - -0.33. Let x = 0.21 - b. Which is smaller: 29 or x?
x
Let v = 0.4431 - 0.0031. Let s = -0.11 - 0.23. Let o = v + s. Is 0.33 less than or equal to o?
False
Let n = -1.8674 + -0.4726. Does n = -12?
False
Let c = 433/4 - 90509/836. Is c equal to 0?
False
Suppose 37 = 3*f - 5*p, 35 = 5*f - 4*p - 5. Suppose 9*g - 5*g = -f. Let r = -7984/11 + 726. Is g at least r?
False
Let n = 0.60186 - -0.19814. Is n at most 1.246?
True
Let h = -14031409/1608 - -8726. Is 1 at least as big as h?
True
Let t = 137 - 137.11. Let o = 0.01 + t. Is o equal to -127?
False
Let k = 39 + -23. Let u(p) be the third derivative of p**6/120 - p**5/20 - 7*p**4/24 - p**3/6 - 15*p**2. Let q be u(5). Which is bigger: q or k?
k
Suppose 1 = 8*v + 25. Let z be 4/14 - (5930/910 + v). Let p = -0.1 + 0. Is p less than z?
False
Let r be 69/18 - (1 + 28/(-24)). Suppose r*b + 3*d = -50, 0 = -4*b + 2*d - 16 - 44. Suppose 0 = 2*s - 5*s - 42. Is s at most as big as b?
True
Let f = -2144282235409/49410 - -43397738. Let l = f - -7/305. Do l and 0 have the same value?
False
Let y = -241.47 + 192. Let u = y - -47.2. Let z = u + 2.3. Which is bigger: -4 or z?
z
Suppose 3*u - 4*q + 210 = 0, 178*u + 5*q = 180*u + 154. Do 0.051 and u have the same value?
False
Suppose -5 + 17 = -3*c + 2*x, 2*x - 6 = 0. Let h be 1*3/(-9)*c. Let a = -0.01136 + 0.12136. Is h equal to a?
False
Suppose 54 - 24 = 6*x. Suppose x*s = 13*s - 16. Suppose 4*o + 7 = 27. Is o != s?
True
Let o = -5391 - -21549/4. Is o bigger than 0.2?
False
Let x = -3829/10 + 382. Suppose 0 = -6768*j + 6767*j - 1. Is x > j?
True
Let c = 2.81 - 2.889. Suppose -14 = 3*i - 5. Is i != c?
True
Suppose -5*q + q + n = -278, -4*n + 218 = 3*q. Let v be 16/(-4) - (5 - q). Let g = v + -57. Which is smaller: 11/3 or g?
11/3
Let h = 68493/19460 + -123/35. Which is bigger: 0 or h?
h
Let n be (470045/42730 - -1) + (-32 - -20). Which is smaller: n or 1?
n
Suppose -7 = -4*p + 2*a + 19, -4*a = 4*p - 8. Let r(n) be the second derivative of n**4/6 - n**3/3 + 4*n**2 + 17*n. Let t be r(2). Are p and t unequal?
True
Let c = 53 - 63. Let l = c - 68. Let u = -18 - l. Which is smaller: u or -1/4?
-1/4
Let n = 16.4 - 19. Let c = n - 0.4. Let q = -2305 + 2310. Which is smaller: q or c?
c
Let s = -5/8456 + -2264063/3627624. Let w = 13/33 + s. Are 0 and w equal?
False
Let n be 22/(-4)*(-492)/451. Suppose 2*x - 28 = -2*q - n, -2*x + 10 = -2*q. Are x and 3 non-equal?
True
Let h = 876/329 + -19843/1645. Suppose t + 35 = 6*t. Let p = -2 - t. Which is greater: h or p?
p
Let h(i) be the second derivative of i**5/20 - 4*i**4/3 + 23*i**3/6 - 7*i**2 + 33*i. Let s be h(15). Let q = s + -104. Which is greater: q or -1/11?
q
Let k be 2 - ((-9)/(-4))/((-7)/(-28)). Let z(l) be the first derivative of l**4/4 + 7*l**3/3 + l**2 + 10*l - 8. Let n be z(k). Which is bigger: -34/9 or n?
-34/9
Let j be 23/(-46)*(-2)/3 - 18/27. Is j at least -3277?
True
Let h be ((-65)/20)/((-1)/(-4))*(-35)/70. Let p(g) = -g**3 - 5*g**2 + 7. Let k be p(-5). Suppose -k - 21 = -4*s. Is h less than or equal to s?
True
Let o(p) = -p**3 + 3*p**2 - 43*p - 151. Let q be o(-3). Let z be 1*-75*4/(-10). Which is greater: z or q?
q
Suppose 14*b = 4*o + 17*b + 8, -o - 15 = 4*b. Is o <= -1/41568?
False
Suppose 3*l - 28337 = -7919. Let m = l - 88418/13. Which is bigger: m or 4?
m
Let u = 20586 - 20837. Let v = -49 - -197/4. Is v greater than or equal to u?
True
Let j be (2/3)/(-2)*147/(-98). Let f = 0.475 + -0.035. Let s = 1.44 - f. Is s greater than or equal to j?
True
Let b(c) = 2*c**2 - 15*c - 23. Let n be b(-10). Let j = -197 + n. Let y = j - 913/7. Is y at most 0.04?
True
Let a = -10 + 19. Suppose -4*j + 110 = -2*l + 2, -2*l = 2*j - 60. Let h be (-5)/(-2)*(5 + j/(-20)). Is h != a?
False
Let m = 126.5 - -20.5. Let o = 145.78 - m. Let t = -4.72 - o. Is t at least 1?
False
Let k = -65 + 120. Let p be ((-89)/2)/(k/22). Which is bigger: p or -18?
p
Let s(b) = -5*b**2 + 4*b + 3. Suppose 122 = -5*c - 28. Let o = -31 - c. Let u be s(o). Which is smaller: -2 or u?
u
Let w = -3768 - -3783. Let q = 0 - 0.04. Which is smaller: q or w?
q
Suppose 0 = -3*r + 9*a - 12*a + 279, -a + 489 = 5*r. Is 501/5 not equal to r?
True
Suppose -230 = -2*j - 2*t, 3*t = -5*j + 7*t + 539. Let u be (-148)/j*(-6)/4. Which is smaller: -2 or u?
-2
Suppose 4*n - 46 = -x, x - 25 = -3*n + 5*x. Suppose -222 = y - 227, -2*z + 4*z - 2*y = 24. Which is smaller: n or z?
n
Let b = -129 - -134. Suppose -4*k = -4, b*k - 4 - 4 = 3*r. Is -2/85 bigger than r?
True
Let m(n) = 2*n**3 - 10*n**2 - 13*n - 4. Let l be (-95)/(-15) - 1/3. Let z be m(l). Which is smaller: -9 or z?
z
Let a be (158/(-5) + 38 + -34)/((-3)/(-45)). Is a at most as big as 2.8?
True
Let o(s) = -5*s**2 - 52*s - 111. Let q be o(-7). Let d = 22 + -16. Which is bigger: d or q?
q
Let f = 164.2 - 3.2. Let g = 160.929 - f. Let v = 0.029 - g. Which is bigger: -4/5 or v?
v
Let z = 0.085 - 30.085. Let q = 14.7 - -7.3. Let n = q - 23. Which is greater: n or z?
n
Let o = 4706.4 + -4805.572. Let m = 99 + o. Let l = m + -0.028. Is l <= 0?
True
Let s(o) = o**3 + 18*o**2 + 24*o + 2. Let n be s(-16). Suppose n = -10*b - 0*b. Which is smaller: b or -16?
-16
Let k(m) = 39*m**2 + 279*m + 44. Let z be k(-7). Is z < -0.93?
False
Let d = -17 + 13. Let f(n) = -n**3 - 9*n**2 + 8*n + 20. Let p be f(-9). Let m be 4*(p/16 - -2). Which is smaller: d or m?
m
Suppose 1720 = -177*o - 38*o. Which is smaller: o or -55/6?
-55/6
Let i = 0.078 - 0.003. Let y = 3.275 - i. Which is smaller: 1/3 or y?
1/3
Let z = 1957 - 2392. Which is bigger: z or -427?
-427
Let n = 523 - 528. Let z be (20/(-5464))/n*2*1. Which is bigger: z or 0?
z
Suppose -2 = -v + 3. Suppose -4*w + 2*l - 96 = -w, v*l = -w - 32. Let y be 1 - (1 + 1) - 30. Is y < w?
False
Let x(n) = 3*n**2 - 24*n + 6. Let o be x(10). Let s be 28/(-2)*33/o. Is -9 <= s?
True
Suppose o + 5*m = 23, -2*o + 6*m - m + 31 = 0. Let j(g) = -g**3 + 16*g**2 + 36*g + 17. Let p be j(o). Which is smaller: p or 53/3?
p
Let r = 2.2228 + 0.0072. Let w = -1.23 + r. Which is greater: 2/653 or w?
w
Let t = -2.6 + 3.7. Suppose 45*r = 132*r + 348. Which is smaller: t or r?
r
Suppose 0 = -137*h + 37*h - 31100. Which is smaller: -0.05 or h?
h
Suppose -4*s = -30 - 2. Let y be ((-16)/(-64))/((-2)/s). Which is smaller: -51 or y?
-51
Let j = -233295757/4013 - -58135. Is -0