
Suppose -5*a = 5*l + 700, 4*l + 12 + 0 = 0. Is -136 at most as big as a?
False
Suppose -h + 1 = 0, 6*y - 5*y + 3 = 4*h. Let f be y + -3 + 2 - -15. Is 16 <= f?
False
Let a = -438 - -420. Which is greater: -7/3 or a?
-7/3
Suppose 4*t - 20 = -0. Suppose -1 - t = -r. Let f be (6*(-4)/18)/r. Which is smaller: 0 or f?
f
Let g be 20/((-2400)/696) - (-1)/(-5). Which is smaller: g or -204/37?
g
Let g = -12 - -19. Suppose -g*n + 7 = -0. Let j(v) = -v + 2. Let q be j(2). Which is greater: q or n?
n
Let c = 145 + -289/2. Which is bigger: c or -2/15?
c
Let i = 7 - 14. Suppose -3*j - 7 = 20. Let w = j - -5. Which is smaller: i or w?
i
Let t(x) = 7*x - 16 - 2*x + 6 + x**3 + 8*x**2 - 5. Let d be t(-7). Which is smaller: d or -2/111?
d
Let q = 13 + -12. Let x = 67 + -59. Is x <= q?
False
Let v = 17/35 - 2/7. Let y(z) = -z**2 + 4*z - 3. Let i be y(3). Suppose i = -3*w + 15, -5*b - 4*w + 3*w = -10. Is v < b?
True
Let g(d) = 6*d - 4. Let m be g(-4). Let o = m - -7. Let w be o*(-3 + (-20)/(-6)). Which is smaller: w or -5?
w
Let v = -204 - -144. Let o be 588/v + 2/(-10). Suppose 3*n - 2*y = -16, -40 = 4*n - 0*n + 2*y. Is n equal to o?
False
Let c = -59972 + 59968. Let u(j) = -j**3 - j + 0*j + 2 + 0*j**3. Let n be u(0). Are c and n equal?
False
Let l be (-253)/(-33) - 4/6. Suppose -3*y + 2*t = 10, t - l = 4*y - 2. Suppose -2*r + r - 2*w = -2, r + 3*w = y. Is -3 < r?
True
Let y(v) = v**2 + 6*v + 7. Let r be y(-5). Suppose 5*a = -r*z + 4, -a + 2 = -z - 3. Which is smaller: z or -1?
z
Let a = -2029 - -2034.93. Which is smaller: -2/11 or a?
-2/11
Suppose d = 5*n + 6*d, -4*d = 0. Suppose n = -3*u - 2 + 8. Suppose 2*q = q + u. Is 2 > q?
False
Let p = -18370009/33135 - 7/6627. Let k = p + 552. Let h be ((-4)/(-3))/((-4)/6). Which is greater: h or k?
h
Let j = -0.1279 + -0.7721. Is j bigger than -9?
True
Suppose 0 = w + 2*w + 3*d + 12, -5*d = 6*w + 24. Which is bigger: w or 0?
0
Let c be (10/(-15))/(3 - (-24279)/(-8091)). Is 899 equal to c?
True
Suppose -6*p + 42 + 0 = 0. Let v be p/49*2/(-88)*-14. Is v != 0?
True
Let j be ((-306)/56)/(31/248). Which is bigger: -44 or j?
j
Let h = 141/70 + -12/7. Which is smaller: 1.5 or h?
h
Let o(d) be the second derivative of -d**5/20 + 7*d**4/12 - d**3/2 - 6*d**2 - 3*d. Let x be o(6). Let j = x - 7. Which is smaller: -3/4 or j?
j
Let a(d) = d**2 + 25*d - 118. Let b be a(-37). Is b bigger than 327?
False
Let d be 1924/(-3) + -6 + 8. Let u = d - -627. Is -11 bigger than u?
True
Let k(u) = 9*u**2 + 26*u - 16. Let c be k(-3). Suppose 4*j - 2*r + 3*r = -61, 3*r = -5*j - 85. Which is smaller: c or j?
j
Let p be -6 + 12279/1989 + (-4)/26. Let a = -16 - -15. Is p >= a?
True
Suppose 21 = -v - 4*t, -5*v - 4*t - 26 = -1. Which is bigger: v or -2/115?
-2/115
Let i = 14.535 - -0.065. Let a = i - 15. Let z = a + -9.6. Is z greater than or equal to -2/7?
False
Suppose 5781 = 54*l - 13*l. Is l greater than 148?
False
Let u(r) = 2*r**3 + 34*r**2 + 31*r - 18. Let d be u(-16). Is d bigger than -23/11?
True
Let w = 805 - 806. Is -6/133 equal to w?
False
Let y(p) = -5*p - 6. Let l(v) = v + 1. Let b(d) = 6*l(d) + y(d). Let z be b(-4). Let u be (-27)/6*(-8)/z. Is u greater than -8?
False
Let p(r) = r**3 + 3*r**2 - 6. Let o be p(-3). Let u be (-1)/(-2)*o/(-69). Which is bigger: -1 or u?
u
Let x = 15.672 + -0.072. Let z = 5.4 + x. Which is bigger: -0.1 or z?
z
Suppose 9 = 3*p, 5*p - 49 = -w + 2*p. Suppose -l + 5*l = w. Let c be 8/l*50/20. Is c greater than 2?
False
Let g = -78 - -65. Let q be (55/(-25) + 1)/(9/30). Does q = g?
False
Let o = -36 + 46. Is o != -1/12?
True
Suppose 5*n = -3*c - 6 - 4, 2*c + 6 = -3*n. Let j = 8/13 + -94/195. Which is greater: c or j?
j
Let r be (6/15 + -2)/((-2)/(-10)). Let f be ((280/(-15))/r)/((-2)/(-3)). Is f at most -1/2?
False
Let v = 0.5 + -0.51. Let x = -8 - -7. Let o = -3 - x. Which is smaller: o or v?
o
Let h = -4/229 + -3058/8473. Which is smaller: 1 or h?
h
Let g = 30 - 20. Suppose -h = 4, -5*c - 3*h + 5*h = -188. Let k = -25 + c. Which is bigger: k or g?
k
Let s = -618.946 - -587. Let g = s - 0.054. Let n = -31.9 - g. Are -1.4 and n unequal?
True
Let b be 11/(-52) - 3/84*-7. Let z(i) = -i**3 - i**2 + 1. Let j be z(1). Which is smaller: j or b?
j
Let f be (296/20)/(1/(-5)). Let g be 2 - (420/f)/(-3). Which is smaller: -1 or g?
-1
Let x(f) = -3*f - 3. Let j be x(-2). Suppose 22*h - 29*h + 21 = 0. Is h at least j?
True
Let f(n) = -7*n**2 + 26*n + 4. Let u be f(8). Is u < -237?
False
Let d = -117.53 - -1.53. Let w = 116.5 + d. Is 0 <= w?
True
Let s be -4 + 195 + (7 - 9). Which is smaller: s or 187?
187
Let o be (-1038)/2226 + (-3)/(-7). Is 1 < o?
False
Let r(w) = -12 + 8 + 3*w - 2*w - 4*w. Let s be r(-2). Suppose 4*i + 6 = s*i. Which is bigger: 4 or i?
4
Suppose 0 = -4*q - 2*q - 12. Let p be (-1)/1*(-16)/(-10). Is p at least q?
True
Let q(h) = -4*h - 2*h**2 - 3 - 1 + h**3 - 2*h**2. Let u be q(5). Let b be ((-3)/4 + 0)/(2457/(-504)). Which is smaller: u or b?
b
Let j = -20287/5527179 - 1/10409. Is 0 at most as big as j?
False
Let b = -285 + 393. Which is smaller: 106 or b?
106
Let z(s) = s**2 - 7*s - 1. Let l = 34 + -27. Let p be z(l). Are p and -7/4 non-equal?
True
Let d be ((-4)/(-15))/((-450)/945). Which is smaller: d or 0?
d
Let p(s) = -21*s**2 - 7*s - 3 + 22*s**2 + 7 + 7. Let h be p(5). Is h greater than -2/221?
True
Let p(j) = j**3 + 2*j**2 - 8*j - 12. Let q be p(-3). Suppose -8 = 2*c, q*s + 5*c - 13 = -48. Suppose 4*h + 4 + 4 = 0, d = 4*h + 5. Which is bigger: s or d?
d
Let n = 2.977 - -0.023. Are n and 2.2 equal?
False
Let i = 35 - 35. Let u = 2 - i. Is 2 less than or equal to u?
True
Let u = 12 - 15. Let i = -2.4 + u. Let s = 0.6 - i. Which is smaller: s or -1?
-1
Let z(v) be the third derivative of 0 - 9*v**2 + 0*v - 1/4*v**4 + v**3. Let h be z(5). Does h = 0?
False
Let d(v) = 2*v**3 + 45*v**2 - 22*v + 23. Let n be d(-23). Let b = -7 - -1. Let y be (n - -1)/(b/(-6)). Is 2/15 greater than or equal to y?
False
Let h = -3 - 3. Let n = 200 - 192. Let f = n + h. Is f bigger than -2?
True
Let p = 66 - 46. Let u = p - 15. Let z(l) = l - 6. Let b be z(10). Is u greater than or equal to b?
True
Suppose -10*h = -27 + 27. Which is greater: h or 1/235?
1/235
Suppose 0 = -9*g + 6*g - 27. Let x = g + 1. Let m = x - -9. Is m at most 3?
True
Let g(w) = -w**2 + w - 4. Let z be g(0). Let k be (-128)/(-16) - 49/4. Which is greater: k or z?
z
Let z(l) = -l**3 - 2*l**2 - 1. Let f be z(-3). Suppose 0 = -2*g + 3*g + 3*w - 8, -3*g = w - f. Let s = g + -12. Which is bigger: s or -9?
-9
Suppose 8*a = 9*a + 39. Let n = 43 + a. Is 5 at most as big as n?
False
Suppose 3569 = 35*o - 5426. Is o not equal to 256?
True
Suppose 70*x - 38*x = 576. Is x smaller than 31?
True
Suppose d + 5*s = 12 + 11, -13 = 4*d - s. Let a be (1 + (-36)/40)*d. Which is bigger: -1 or a?
a
Let d = 2.2 + -1.2. Let l be 2 - (-88 - (2 - 2)). Let b be (-5)/l*(1 - -3). Is d at most b?
False
Let d = 141 + -141. Let h(a) = -1 - 2*a + 1 + 0*a. Let w be h(1). Which is smaller: w or d?
w
Let c(t) = -t**3 + 24*t**2 + 26*t - 8. Suppose 4*j = 2*p + 102, 79 + 22 = 4*j - p. Let d be c(j). Is d less than or equal to 13?
False
Suppose 107 = -5*j + 267. Suppose -4*p = -4*b + j, -5*b + 87 = 5*p + 7. Let h be 4/(-16)*(-20)/b. Is 0 < h?
True
Let f(u) = u**3 + 15*u**2 + 14*u + 10. Let r be f(-14). Let h = r + -11. Which is smaller: 2/15 or h?
h
Suppose 3*g - 4*z = -z + 33, -5*g = -3*z - 47. Suppose -4*c + 9 = -g*c. Let r be (-14)/3 - -1 - -1. Which is smaller: r or c?
c
Suppose -h - 14 = -38. Let m be 4/h + 2/6. Let a be (-5)/15 + 4/3. Is a at most as big as m?
False
Suppose -4*x = 0, -3*x = -5*y - x. Which is greater: y or -8/17?
y
Suppose -z + 39 = -5*o, 2*o + 17 = -5*z - 4. Let p be 123/12 - (-2)/o. Is 10 less than or equal to p?
True
Let b be ((-20)/(-3))/((-355)/(-1278)). Is b > 18?
True
Let o = 13.26 + -8.26. Which is smaller: -203 or o?
-203
Let j be ((1 - -2) + -5)*-11. Let u = -28 + 30. Is j bigger than u?
True
Let g = -234906386379 + 10571294565092/45. Let f = -11269380 + g. Let d = f + -1243. Which is smaller: 1 or d?
d
Let m = 0.025 - -0.205. Which is greater: m or 14?
14
Let n = 48 - 16. Let l = -31.4 + n. Let w = l + -0.5. Is w bigger than -0.6?
True
Let y(g) = -g**3 + 12*g**2 - 4*g + 20. Let k be y(11). Are 193/2 and k unequal?
True
Let w = 5880/29041 - 22/113. Which is b