4?
True
Let j be 6/(-10) + (-528)/(-80). Suppose 4*f + 50 = -3*i, 0 = -2*i - 5*f - 42 - 3. Let n = i - -18. Which is greater: j or n?
n
Let c = -86.668 - -0.168. Let u = c - -86. Which is bigger: 4/9 or u?
4/9
Let f(j) be the first derivative of j**2 + j - 16. Let c be f(2). Let z be 6/4 - 3/6. Is c bigger than z?
True
Suppose -2*l + 6 = 0, 0*y - 3*l = -3*y - 798. Let k = -604297/561 - -22782/17. Let o = y + k. Which is bigger: o or 0?
0
Suppose 3*i + 4*s = 71, 5*i = 2*i + 5*s + 80. Let p be (24/(-10))/((-10)/i). Let u be ((-1)/(-2))/((-9)/p). Which is bigger: 0 or u?
0
Let p = 0.03 + 0.03. Let g = 0.418 - -0.042. Let y = p - g. Which is bigger: y or 1?
1
Suppose 0 = 5*o + 5*q + 60, 37 = -3*o + 4*q - 20. Let z = o + 16. Which is greater: -1/6 or z?
z
Let o(l) = 2*l**3 + 6*l**2 - 2*l + 2. Let b be o(-5). Let t be (3/4)/(102/(-11832)). Is b less than t?
True
Let i be -8 + 7 + (0 - -15). Suppose p = 6*p + 5, -i = 5*u - p. Let o be (1*(-1 - -3))/u. Are o and -2/15 non-equal?
True
Let k = 1178 - 5892/5. Which is bigger: k or 19/11?
19/11
Let o = 36.9 + -9.9. Let b = -629.9 + 603. Let f = o + b. Which is smaller: -7 or f?
-7
Suppose -b - 32 = -31. Let l = -5 + 2. Let x be l/(-10)*(-25)/10. Which is bigger: x or b?
x
Suppose -6*s - 9 - 45 = 0. Let t be (2 + 20/(-12))*s. Let b be -3*2*t/(-48). Which is smaller: b or 1?
b
Let z = -0.3 + -4.7. Let n = -0.028 - 2.172. Let q = -2.1 - n. Is q >= z?
True
Let n = 6.6 - 4. Let y = -2248/5 + 450. Is n at least y?
True
Let g be -2 - (4/2 + -15). Suppose -4*j = -j - g*j. Is j at most as big as 1/72?
True
Suppose 15 = -3*d + 6, -5*j - 3 = -4*d. Let y be (0 + -2 - -38) + -4. Let f = -33 + y. Which is smaller: j or f?
j
Let n(d) = -d**3 + 7*d**2 - 6*d - 4. Let w be n(6). Let j(r) = -r**2 + 9. Let t be j(w). Is -5 > t?
True
Let m be -4 + (7 - (-1820)/(-612)). Is 0 greater than or equal to m?
False
Suppose 26*c = c - 8275. Is c smaller than -331?
False
Let h(w) = 3*w**2 + w + 2. Let o be h(-2). Suppose o*x = 10*x + 58. Is x greater than 30?
False
Let y = 168541/8 - 21110. Let f = 40 + y. Which is smaller: f or -2?
f
Let l(a) = a**3 - 29*a**2 - 61*a - 143. Let t be l(31). Which is greater: t or -125?
t
Suppose 2*x + 283 = -47. Let v be 100/x - 2/(-3). Is v greater than 1?
False
Let c(p) = 2*p - 14. Let k be c(7). Let x be (k - (-4)/228)*1. Let z(s) = -s**3 + 8*s**2 - 8*s + 7. Let t be z(7). Is x not equal to t?
True
Let l = 105157/148 + -1421/2. Which is bigger: 0 or l?
l
Let m = 8.897 + 0.003. Let l = m + -0.9. Are l and 4/7 unequal?
True
Let k(d) = 24*d**2 - 4. Let l be k(2). Let q = l - 93. Let g = 3 - 8. Which is bigger: q or g?
q
Let l be (-164)/(-180) - 8/10. Suppose 2*f - 2 = -4*t, -2*t + 7*t = f - 1. Is t at least as big as l?
False
Let i(a) = a**2 + 31*a + 183. Let u be i(-21). Does u = -30?
False
Suppose 3*z + 4 = z. Let d = 2/1233107 + -299645231/141807305. Let n = d - 2/23. Which is bigger: n or z?
z
Let s(i) = -76*i - 10. Let z be s(2). Which is smaller: z or 0?
z
Let t(s) = 23*s - 176. Let x be t(7). Is -14 at least x?
True
Suppose -6*v + 6 = -3*v. Suppose -n - 1 = -v*l + 1, -15 = 3*l. Let k = n - -10. Is k less than or equal to -3/2?
True
Let o = -3265/3 + 414653/381. Let f = 1 - 1. Which is bigger: f or o?
f
Let z = -120 + 100. Let a be ((-8)/(-36))/(z/3). Are a and 0 nonequal?
True
Let g = -28 - -33. Suppose -2*n = 4*o + 12, -n - 28 = -g*n + 5*o. Suppose 4*l = 0, v - 6*l + n*l = 0. Which is smaller: -2/33 or v?
-2/33
Let d = -7/95 - -396/4085. Suppose 10*c = 9*c + 1. Suppose 4*o = -c + 5. Which is bigger: d or o?
o
Suppose -7*a + 3*a - 316 = 4*b, -b + 4*a - 54 = 0. Is -74 < b?
False
Let r be 6 + ((-4)/(-6) - 28/6). Suppose 2 = 4*k - 3*k. Are r and k nonequal?
False
Suppose 20*x + 24*x + 44 = 0. Is 2/121 not equal to x?
True
Let a be (10 - -29) + (-1)/(-1). Let p = a - 41. Let g be (-2)/(-6) - (-2)/3. Which is bigger: p or g?
g
Let j be 3/(-2)*(-36)/(-39). Let u = 3/26 - j. Suppose -4*p = -8 - 4. Which is greater: p or u?
p
Let f(q) = -q**2 - 6*q - 3. Let y be f(-4). Suppose -y*v + 0 - 15 = 0, d = -v + 81. Are 0 and d non-equal?
True
Let d be 1/8*(-9)/(-6). Suppose 4*l = 9*l - 5. Which is smaller: d or l?
d
Let b = 3 - 5. Suppose 23 - 44 = -2*t - 31. Is b greater than t?
True
Let n = 75.9 - -4.1. Is n at least as big as -1?
True
Let f = 11 + -60. Let c = -48.93 - f. Is c >= -0.2?
True
Suppose 4*v + 2*j - 28 = 0, 27 = 3*v + 4*j + 6. Let a = -94/21 - -71/7. Which is smaller: a or v?
a
Let o be (-42 - 0)*(-2)/4. Suppose -7*g = -63 - o. Which is greater: 1/3 or g?
g
Suppose -4*m + 5*o + 12 = 0, 4*m + 0*m - 12 = -4*o. Let j be (-10 + m + 35)*1/6. Is j > 4?
True
Suppose p - 185 = 5*y, 4*p - p = 15. Is -36 greater than y?
False
Suppose -4*r + 6 = 4*s - 14, -s + 10 = 2*r. Suppose -r*f = 24 + 36. Let z be (-4)/f*(-9)/(-8). Which is greater: 1 or z?
1
Let p = -52/9 + 6821/1179. Which is greater: p or 0?
p
Suppose w - 2*g + 9 = 0, -w - 11 = -4*g + 8. Suppose 0 = -s + 2 - w. Let b be (-4)/(-8)*14/(-49). Are s and b equal?
False
Let c = -2/3191 - -51090/54247. Let x = 189/34 + c. Is 8 less than or equal to x?
False
Let w be -7 + 0 + (-144)/(-24). Let c = 113865/14 - 8141. Let x = c - -55/7. Which is bigger: x or w?
x
Let x = -181 - -171.9. Let h = 3.7 + x. Which is bigger: h or -2?
-2
Let q be 528/(-1078)*2/(-8). Do 1 and q have different values?
True
Let i(b) = -b**3 + 13*b**2 - 11*b - 12. Let l be i(12). Which is bigger: -2 or l?
l
Suppose 5*g - 1 - 21 = 2*y, -g = -3*y - 7. Suppose 13 = b + 3*a - 16, -61 = -g*b - a. Let m = b + -19. Which is smaller: m or 1?
m
Let u be 3/5 - 168/80. Is u less than 72?
True
Suppose 0 = 3*v - 81 + 36. Suppose 0*a = -a + v. Is 61/4 smaller than a?
False
Let j(k) = -70*k - 343. Let l be j(-17). Is l less than or equal to 848?
True
Let u = -221.18 - -221. Which is greater: 5 or u?
5
Let z(o) = o**2 - o - 3. Let t be z(3). Let l(y) = -3*y + 8. Let w be l(2). Is t < w?
False
Let k be (-8 + 7)/((-1)/6)*9. Let i = 0.974 + 0.026. Which is bigger: k or i?
k
Let t = 20 + 18. Suppose -10 = -2*h, 0 = -4*w - 5*h + t - 9. Is w <= 2/61?
False
Let r(a) = 13*a**3 - a**2. Let t be r(-1). Is -13 != t?
True
Let j = -1185 + 1187. Is -1/75 at least j?
False
Suppose -3 = 3*o + 93. Suppose 0 = s - 4 + 52. Let n be o/(-3)*4/s. Do -2 and n have the same value?
False
Let b = -4/32285 + 18674192/4423045. Let i = b + -3/137. Let u = 23/5 - i. Which is greater: u or 3?
3
Let p be -2 + -1 + (-5)/(-1). Let o = p + 1. Let x be ((-7)/o)/((-27)/18). Is x >= 1?
True
Suppose 5*j + 0 - 20 = 0. Let k be (3 - j - 1) + 1*2. Are -3/14 and k unequal?
True
Let d = -0.1119 - -0.0119. Let l(o) = 3*o**2 + 4*o + 2. Let v be l(-2). Let q be (-3)/v*(-4)/(-2). Which is bigger: q or d?
d
Let c = 24 - 20. Suppose d = -c*m, 13 = 4*m + m - 2*d. Is m >= 2/63?
True
Let n = -13 + 24. Do 11 and n have different values?
False
Let j = 16 - 6. Suppose j*v - 11*v = -27. Which is smaller: 26 or v?
26
Let v be (588/10)/(32/80). Is v less than 587/4?
False
Let x = -29 - -29. Suppose -6 = 2*y - x*y. Which is greater: y or -5?
y
Let t = -3405 + 37467/11. Suppose -j = 5*h + 20, -11 = -2*j + 5*h + 9. Which is greater: j or t?
t
Let o be (-2 + (-15)/(-9))/((-3)/63). Is o smaller than 4?
False
Let z(x) be the first derivative of 9*x**2/2 - 13*x - 2. Let p be z(2). Let s = -30 + 152/5. Is p <= s?
False
Suppose -5*o + 0 = 5*v + 5, -2 = 2*o - 5*v. Let p = -2923/1455 + 41859454/62565. Let j = p + -667. Is j less than or equal to o?
False
Let m(h) = -h + 4. Let k be m(2). Suppose 3 = -k*d + 1. Let a be 3/26*(d - 3). Which is smaller: -1 or a?
-1
Let w be ((-88)/(-55))/(4/10). Let r be 9/w - 4/16. Suppose -4 = -r*j - 2. Is -1 at least j?
False
Let i(j) = j**2 - 15*j + 17. Let l be i(14). Suppose -8*m + l = -7*m. Suppose -12 = -2*x + 4*k + 16, 0 = 5*x + 4*k. Is m equal to x?
False
Let l = 1.1 - -1.9. Let z be 8/(-6) - 4/(-2). Which is bigger: z or l?
l
Let l = -7317/19 - -385. Which is bigger: l or 0?
0
Suppose -5*x + 8*x = -6. Let w be x/5 + (-672)/(-80). Suppose 2*i = w*i. Is 2/15 at most as big as i?
False
Suppose -10*d + 40 = -5*d. Let z be 2/d - (-1)/(-4). Is z greater than or equal to 0?
True
Suppose -339 = -3*s + 2*p + p, 5*p = -5*s + 525. Let j = 96 - s. Suppose 0 = -u + 5*r + 6, 2*u + 4*r + 24 = -20. Is u at least as big as j?
False
Let p(r) = 1