n 49?
False
Let k(a) = -a**2 - 8*a - 3. Suppose 3*o = 2*q + 1 + 1, -2*q - 2*o = -8. Suppose -d + s = 2 + 3, q*s = -2. Let j be k(d). Is 10 bigger than j?
True
Suppose 2*h - v - 33 = -4*v, -4*h + 5*v + 11 = 0. Suppose -7 = -5*o + 5*m + 3, 0 = -5*o - 3*m + 50. Which is greater: o or h?
h
Let z = 41/119 - 18/17. Is z at least 0?
False
Suppose 12*s + 3280 = 7*s - 3*i, 2*s - i = -1323. Is s at most as big as -659?
True
Let h = 25 - 20. Suppose 0*x = h*x + 5. Is x equal to 1/16?
False
Suppose 8*y - 35*y - 810 = 0. Which is smaller: y or -4?
y
Suppose 8 = d + 6. Suppose -2*f + 9 = -d*c + 3*c, 3*c - 4*f + 13 = 0. Is 2/7 greater than or equal to c?
False
Let s = -532 + 531. Is s <= -3/109?
True
Let p = 15/8 + -41/24. Suppose 2*q = -12*q - 14. Is p less than q?
False
Let b = -494 - -494.09. Is -15/2 > b?
False
Suppose 1 = w - 2. Suppose 4*z + 21 = y, 5*y - 13 = -0*y - w*z. Suppose m + y = 3. Are -4 and m equal?
False
Let w be 2 + 1/(-1) + 2. Suppose -4*r + 5 = -w. Is -5 <= r?
True
Let w be 27/(-12) + (-2)/(-8). Let y be (-15)/w*1/10. Suppose 0 = -o - 3 + 4. Is y at least as big as o?
False
Let f(m) = -m**2 - 6*m - 6. Let p be f(-5). Let w(t) = t**2 - 15*t + 2. Let b be w(16). Let g be (-2 + 1)/(102/b). Is g less than or equal to p?
False
Let p(l) = l**3 + 4*l**2 + 2*l + 1. Suppose 5*v = -2*x - 14, -2*v - 4*x = 3*v + 8. Let c be p(v). Which is smaller: c or -8?
-8
Suppose 3*o = -3*t + 9, -5*o + 11 = -3*t - 36. Is 5 equal to o?
False
Suppose b + 33 + 1 = 0. Let x = 9 + b. Let a = x + 25. Is 2 less than a?
False
Suppose 2*x - l = 260, 4*x + l = -3*l + 520. Which is smaller: 1 or x?
1
Let z be (-13)/104 + (-23)/8 - -4. Let h = -0.4 + -0.6. Which is bigger: z or h?
z
Let x = 83 + -92. Suppose 3*g = -3*j - 15, 3*g + 35 - 10 = -4*j. Which is bigger: j or x?
x
Let u(j) = -21*j + 354. Let z be u(-11). Is z greater than 585?
False
Let p(q) = -q**3 + q**2 - q + 1. Let b be p(0). Let g = -13 + 13. Suppose g*o = 3*o. Is b equal to o?
False
Let b be (-4 + 136/28)/((-2)/14). Let a be 15/6 - 0 - (-18)/b. Which is smaller: a or -2.7?
-2.7
Suppose -2*h + 3*f + 3 + 73 = 0, 0 = 2*f. Let n be (h/(-4))/(1/24). Let j be n/(-2385) - 6/45. Which is greater: j or 1?
1
Let y = 1.882 - 1.9. Is y equal to -0.1?
False
Let z = -23.2 + -0.8. Let o = z + 16. Let m = 0.1 - 0. Which is greater: o or m?
m
Let c be -2 - (-1 + -5) - (1 + -2). Let l be (6/(-18) + c/6)*-4. Is l <= -1/2?
True
Let r(q) = -q**3 + 15*q**2 - 2*q + 34. Let x be r(15). Which is smaller: 5 or x?
x
Suppose -61 + 41 = -5*l. Suppose 0 = -66*n + 70*n - l. Which is smaller: 2/169 or n?
2/169
Let w = -2.48 - 0.3. Is -0.1 at most as big as w?
False
Suppose 2*p - 9 = p - 3*t, 3*p + 5*t - 23 = 0. Let l(j) = -2*j**3 + 6*j**2 - 3*j - 4. Let h be l(3). Let w be (-80)/h - 20/130. Is w > p?
False
Let k be (2 - 8) + (-41)/41. Let v be (2 + 0)/(2/5). Let u = v + -13. Is u < k?
True
Let s = -0.48 - -0.18. Let u = 7.7 - s. Which is smaller: u or -2?
-2
Suppose 48 = 2*b - 3*m + 4*m, -4*m - 120 = -4*b. Let c = b + -27. Is 3/10 <= c?
False
Suppose -168 = -0*f - 4*f. Which is smaller: 43 or f?
f
Suppose -6*u + 13*u - 63 = 0. Let x(t) = -t**3 + 9*t**2. Let v be x(u). Is -2/29 != v?
True
Let q = 27665/744 + -273/248. Let g = q - 191/4. Is g greater than -12?
True
Let z = -401 - -401.2. Which is greater: z or -109?
z
Let z be -4 + (-4 - -7) - -5. Let f = -825/4 + 209. Is f at most z?
True
Suppose -65 = 25*t + 260. Which is smaller: -11 or t?
t
Let j(k) = -22*k**3 + k**2 + 2*k - 3. Let u be j(1). Which is bigger: -8 or u?
-8
Let j(k) = -24*k**2 + k - 5. Let w be j(2). Let c be (-44)/w - (-2)/(-18). Is c >= 2.3?
False
Let l(c) = 17*c - 14*c + 11*c + 0 + 2. Let r be l(-5). Is -67 at least as big as r?
True
Suppose 11*u + 14 = 4*u. Suppose 3*s = -4*i - 448, -3*s - 224 = 2*i + 2*s. Let p be (i/60 - -2)*-12. Which is smaller: p or u?
u
Let j be (0 + 0)*(-1)/2. Suppose -5*i + 18 = 5*b - b, -16 = -4*i - 4*b. Suppose j = -3*u + 2*u + 5*g + 15, 0 = i*g + 6. Which is bigger: 1 or u?
1
Let v be (-3)/(-9)*1017/15. Let p = v - 23. Which is smaller: p or 1?
p
Let j = 319 + -319. Which is bigger: 5/39 or j?
5/39
Let z = -139 - -150. Suppose -4*p - 2*f = -0*f - 10, -5*f = 3*p - z. Which is smaller: p or 48?
p
Let p = 255 - 5867/23. Which is greater: p or -1?
p
Let w = 3.5 + -43.5. Let v = -41 - w. Is -6/7 at least as big as v?
True
Let i = -9 + -3. Let n = 1.25 - 1.35. Are i and n nonequal?
True
Let q = 135.01 - 135. Is -15 bigger than q?
False
Let d = -4/25 - -19/25. Let t(r) = -3*r + 43. Let y be t(15). Is d smaller than y?
False
Let x be ((-154)/(-42))/(2/(-6)). Let r(c) = 4*c**2 - c - 2. Let v be r(-2). Let s = v + x. Which is smaller: -3 or s?
-3
Let d = 9/2 + -5. Let u = d + 25/46. Which is smaller: -1 or u?
-1
Let o = -7.01 - 2.09. Let t = 1.1 + o. Let s = t - -12. Which is greater: s or 0?
s
Let o = -146 + 146.02. Are 0.4 and o equal?
False
Let w = -1.87 + -125.13. Let z = w + 126. Is -0.9 < z?
False
Suppose -5*l - 341 + 346 = 0, 5*q + 4 = 4*l. Let p = 7 - 58/9. Which is bigger: p or q?
p
Let j = 1 - -2. Suppose 28 = -j*b + 7*b + 3*x, -3*x + 21 = 3*b. Let u = 91 - 84. Is u at least b?
True
Let l(b) = -7*b - 4. Let a(x) = -8*x - 5. Let h(g) = -2*a(g) + 3*l(g). Let z be h(-1). Suppose f - 6 = 4*u - 3*u, 3*f = -u + 2. Which is smaller: z or f?
f
Let d be (-68)/(-44) + -1 + (-204176)/2772. Is d <= 2?
True
Let z(p) = 7*p - 9. Let h be z(3). Let g be (-1)/h*-4*48. Which is bigger: 18 or g?
18
Suppose -3*h = -27 + 15, -316 = -4*c + 5*h. Is c equal to 83?
False
Suppose 4*p - 59 = -5*s + 40, -5*s = -3*p + 83. Is p < 25?
False
Let a be (-8)/148 - (-14739)/330854. Is 0 >= a?
True
Suppose -3*t - 5*a = -503, 943 - 111 = 5*t + 2*a. Which is bigger: t or 163?
t
Suppose 2*t + 2*t + 6 = -2*v, -12 = 4*v - 5*t. Let k(u) = -2*u**3 - 4*u**2 - 3*u. Let f be k(-2). Suppose -3*s + 4*p - 25 = 0, -3*p + f + 6 = 0. Is s > v?
False
Suppose -139 = 2*k - 137. Which is smaller: -102/59 or k?
-102/59
Let m = -29 - -31. Suppose 2*d + 0*z = -5*z - 29, 5*d = -m*z - 20. Is d greater than -24/13?
False
Suppose 2*z - 12 + 6 = 0. Let u be (z - 3)*1/(-2). Which is smaller: u or -10?
-10
Let g(u) = -38*u**2 - 1. Let r be g(-1). Let i = 66 + r. Which is smaller: i or 28?
i
Let k be (2*50/(-7))/(246/(-861)). Which is bigger: k or 42?
k
Let m = -1295 + 1263. Is m greater than -214/7?
False
Let g(z) = z**2 + 8*z + 24. Let f be g(-8). Let c be f/36 + (-1)/((-3)/(-23)). Which is bigger: -0.1 or c?
-0.1
Let d(b) = b + 40. Let h be d(0). Let c = 4 + -42. Let p = c + h. Is 1/6 greater than or equal to p?
False
Let k = 189785/738 - 1543/6. Which is greater: k or 0?
0
Let u = 0.30164 - 13.31264. Let x = u - -0.011. Is 2 less than or equal to x?
False
Let g be (-14)/(7 + -5) - -6. Which is greater: -8/17 or g?
-8/17
Let d be (-11 - -11) + (8/(-862))/(-2). Let z = d + 2143/2586. Is 1 bigger than z?
True
Let c = 132 + -254. Is c equal to -121?
False
Let z be 1*15/(20/4). Suppose 3*f - 26 = -4*o, -2*o - 4*f + z + 5 = 0. Suppose -3*j + 32 = 2*h, -4*h - 12 = -j + o. Which is greater: j or 10?
j
Let v = 499.412 - 499. Which is smaller: 0.2 or v?
0.2
Let w(u) be the second derivative of u**4/12 - u**3/6 - 4*u. Let h be w(-2). Let z be (h/(-14))/(10/(-7)). Is z < -1?
False
Let t be ((-6)/(-8))/((-174)/(-16)). Let l = 7 + -7. Suppose l*w = -3*w + 3. Which is smaller: w or t?
t
Let q = -7/19 + 40/57. Are -10 and q equal?
False
Let j = -1307 - -1307.8. Which is smaller: j or 6?
j
Suppose 0 = -2*c + 4*c + 4. Let v be -3*(-2 + 5/3). Let t be (v - 28/24)*5. Is c <= t?
True
Let n be 25 + 4 + (-261)/29. Suppose -3*d = 2*h - 50, -5*d - 2*h = -6*h - 120. Is n at most as big as d?
True
Suppose -4*v - 2*l - 16 = -2*v, 0 = -3*v + 3*l. Let b be (v/40)/(3/27). Is 0 at most as big as b?
False
Let g = 271 + -273. Let r = -0.47 + 0.5. Which is greater: r or g?
r
Let b(v) = 45*v + 362. Let m be b(-7). Which is bigger: m or 48?
48
Let p = -0.93 - 75.07. Let m = p - -76.04. Are 2 and m nonequal?
True
Let g = -13.13 - -13. Let z = 0 - 0.03. Let d = z - g. Which is smaller: -0.01 or d?
-0.01
Let q be 2*-1 - (15/(-3) + 4). Let n = -180 - -105. Let y be 48/n + (-3)/(-5). Which is smaller: y or q?
q
Let f be (-8)/6*(-117)/156. Let q(i) = -i + 3. Let x be q(0). Let t be (-7)/70*4/x. Which is smaller: t or f?
t
Let k be (-21484)/(-4