Which is smaller: j or 1048?
1048
Suppose 0 = 28*x - 32*x - 708. Is x less than or equal to -177?
True
Let f = 32.7 - 28.7. Is 12/7 equal to f?
False
Let n be -40*(-11 + (-5790)/(-520)). Is n < -4?
True
Let n be (-19)/(-6) - 3/6. Which is smaller: n or 0.3?
0.3
Let l(j) be the second derivative of -j**5/20 - 2*j**4/3 - 3*j**3/2 + 5*j**2 + 2*j. Let r be l(-7). Let y = -17 + r. Is 7 greater than y?
False
Let f = 8.54 - 8. Let w = 0.5 - f. Which is greater: -2 or w?
w
Let x = 8 + -58. Let a = x + 52. Which is greater: -13 or a?
a
Suppose 5*c - 3*t - 54 = 137, 4*t + 68 = 2*c. Are c and 43 equal?
False
Let l = -52.25 + -0.75. Let r = l + 36. Let m = r + 11. Which is greater: 1 or m?
1
Let q(g) = -g**2 + 3*g - 3. Let v(f) = f - 4. Let u be v(7). Let z(k) = -2*k**2 + 7*k - 7. Let n(b) = u*z(b) - 5*q(b). Let i be n(5). Which is bigger: i or -3?
i
Suppose 0 = 2*c - l + 25, -c + 2*l = 6 + 11. Suppose 4*b = -r + 19, -b + 2*r + 16 = -0*r. Let z = c + b. Which is smaller: -4 or z?
z
Let k be 2*(14/2 - 3). Let b(r) = -3*r + 20. Let t be b(k). Which is smaller: -36/7 or t?
-36/7
Let i = 0.2 + -7.2. Let k = -0.47 - 0.53. Let y = i - k. Is y <= 0.1?
True
Let g(l) = 21*l + 668. Let k be g(-32). Which is smaller: -22 or k?
-22
Let t(y) = -y**2 - 3*y + 6. Let k = 31 + -35. Let r be t(k). Suppose -d - 3*f = 12, -3*d - 5 = -2*f - 24. Is r less than d?
True
Let z(d) = -d**2 - 6*d - 4. Let m be z(-6). Let r be (3 + 11/m)/(-8). Is r smaller than -1?
False
Let j = 3569/425 + 1/425. Suppose -2*z + 16 = -0*z. Is j at least z?
True
Suppose -d + n - 4 = -3, -2*d - 8 = -4*n. Let p = -0.9 + -4.1. Is p >= d?
False
Let g(c) = -c**2 + 12*c - 55. Suppose 0 = 3*v - 11 - 10. Let i be g(v). Which is bigger: i or -56/3?
-56/3
Let t = 11.2 - -3.8. Let g = t + -15.1. Is -12 at most as big as g?
True
Let k be (5/10)/((-7)/8*-4). Is 19/2 >= k?
True
Let h = -12/767 - -13857/150332. Let d = 1/147 + h. Let f = -6 + 7. Are f and d equal?
False
Suppose -10 = 2*j + 3*z, -z - 5 = -4*j + 3. Let h(v) be the first derivative of v**4/4 + 2*v**3/3 - v**2/2 - 2. Let c be h(j). Which is bigger: 2/5 or c?
c
Let o(g) = -123*g**3 - 1. Let i be o(1). Let f be i/16 - 2/8. Let c = -8 - f. Which is smaller: 4/11 or c?
c
Let b = 0.053 - 2.153. Let m = -110 - -204. Let f = 284/3 - m. Which is bigger: f or b?
f
Suppose 16*u = -16*u + 192. Which is greater: u or 12?
12
Let x be 0 - 1/(-2)*0. Let k be (-1)/(-2)*(-2 - -2). Let s be 18/(-3)*((-3)/15 + k). Is s <= x?
False
Let u be 4/32*4*2. Let s(j) = u - 2 - 2 - 2*j - 3. Let g be s(-5). Which is smaller: 1/5 or g?
1/5
Let b = 21.19 + 2.38. Let a = b + -0.57. Is a != 1?
True
Let m(s) = s**2 + 14*s - 13. Let x be m(-15). Suppose -14 = -x*n + 7*n + 3*b, n - 4*b = 11. Let j = 10 - 6. Is j less than or equal to n?
False
Suppose -8*l - 42 = 14. Let g(o) = -15*o**2 + 6*o + 1. Let d(n) = 14*n**2 - 5*n - 1. Let m(a) = -6*d(a) - 5*g(a). Let j be m(1). Which is smaller: j or l?
j
Let f be (-8)/(-12)*100/(-16) + 4. Which is smaller: f or 112?
f
Let o(z) = 8*z + 4. Let j be o(-2). Let s = -17 - j. Suppose 0 = 5*q + 20. Which is smaller: q or s?
s
Suppose -24*k + 1529 = -1375. Is k != 121?
False
Suppose 0 = 2*y + 2*y - 3*d + 23, 3*d = 5*y + 31. Is -13 less than or equal to y?
True
Suppose -25 = 5*s - i, -2 = s - i - 1. Let a be 1 + (-3)/6*s. Suppose -18 = -p - 2*p + 2*c, 19 = a*p - c. Which is smaller: 3 or p?
3
Let i be ((-92)/9)/(2130/(-279)). Let j = i + -2/355. Let o = 2.1 - 2. Is j less than o?
False
Suppose 0 = d - 116 - 42. Let b = 2069/13 - d. Is 1 != b?
True
Let x be -388*-2*3/(-12). Let s be x/(-7) - (-36)/126. Is s at most as big as 28?
True
Let y = -94 - -93.86. Let z = y + 0.13. Is 1 equal to z?
False
Let d be -314 + -3 - (23 + -15). Is d bigger than -323?
False
Let n be 4/(-24)*0*(-1)/2. Suppose -m = -3*m - 6, n = -4*h - 5*m - 23. Is h bigger than -22/17?
False
Let a(g) = 17*g**3 - 2*g**2 - 38*g + 81. Let p be a(2). Is p at most 135?
True
Let m be (-8)/(-2) + (-5 - -8). Suppose -4*q + m*q = 12. Let u be (2 + 0)/2*3. Which is bigger: q or u?
q
Let g(u) = -u**2 - 3*u + 7. Let x be g(-5). Let w = 3 - 3. Suppose -3*h + d - 10 = w, 3*d + 15 = h - d. Which is greater: x or h?
x
Let h = -1081 - -1081.38. Is h at least -2?
True
Let s be 4/14 + 2/(-7). Suppose 0 = 5*z - 3*f - 1, 4*z + s*f = f + 5. Suppose -5*p = -4*j + z - 1, 0 = 2*p + j - 10. Which is smaller: p or 1/3?
1/3
Let x = -32 + -146. Which is bigger: x or -177?
-177
Let s be ((-10 + 20)/20)/((-1)/(3 + -1)). Let m = -79420/61 + 1302. Is s less than m?
True
Let g be 5 + (78/(-8) - -5). Let m = 1/7 - 2/7. Which is bigger: m or g?
g
Let q be (-25)/(-9) - 6/(-27). Let a = -2.14 - -1.74. Which is greater: a or q?
q
Let i be ((-5)/2655)/((-10)/(-60)). Is 3 smaller than i?
False
Suppose -3*y + 2*q = -34, -q = -2*y - 4*q + 40. Let l be 1/y*4/1. Let r be -1 - ((-1)/3)/(4/(-12)). Is r <= l?
True
Suppose 3 + 5 = -c. Let i(o) = o**2 - 5*o - 4. Let j be i(4). Is j greater than c?
False
Let h be 0 + -2 - 7/7. Let c be -2 + 5 - (h + (6 - 3)). Let q = -0.02 - -2.02. Is c less than q?
False
Let g be (-15)/6 - (-10)/20. Let v be -48 + (-4)/8*g. Which is smaller: v or -48?
-48
Suppose -6*g + 3*g + 3 = 0. Let w = -2502/17 + 736/5. Let l = w + -107/935. Are l and g equal?
False
Let b be (-3)/(-5) - 27756/48060. Are b and 0 nonequal?
True
Suppose -72 - 24 = -4*d. Let o(y) = -4*y**3 + y**2 + 3*y - 4. Let i be o(2). Let b = i + d. Which is greater: -5/6 or b?
-5/6
Let i(x) = -5*x - 1. Let b be i(-1). Let s(z) = -5*z**2 + 16*z + 4. Let w be s(3). Let r be w*(-2 - b/(-4)). Is -7 at least r?
True
Let y = -2721 + 2720. Is 968 less than or equal to y?
False
Let m be ((-273)/6)/(11/142). Suppose -2*h - 287 + 1461 = 3*t, -2*h + 1174 = -2*t. Let k = h + m. Is -1 <= k?
True
Let p = -6960/11 + 632. Let g(o) = o**2 + 9*o - 10. Let a be g(-10). Which is bigger: p or a?
a
Let y = -50 + -92. Are -142 and y equal?
True
Let l = -1561 + 902. Which is smaller: -0.1 or l?
l
Let j = -204234/553 + 2584/7. Which is greater: j or 1?
1
Let s = 2/780015 - 3853274114/5460105. Suppose 4*z + 3520 = 9*z. Let d = s + z. Which is bigger: d or -1?
-1
Let m(u) = -u**2 - 25*u - 117. Let j be m(-6). Is -48/23 less than or equal to j?
False
Let u(g) = g**3 - 25*g**2 + 22*g - 24. Let b be u(24). Are -73 and b non-equal?
True
Suppose 24*a = 27*a + 2*f - 4, 2*a + f = 2. Let q = -38/39 + 1784/1911. Do a and q have the same value?
False
Let t(j) = 2*j - 3. Let a(q) = -q**3 + 7*q**2 + 8*q + 5. Let o be a(8). Let s be t(o). Let y = 44 + -38. Which is smaller: s or y?
y
Suppose j = -5*k + 1, 3*k - 2*k - 21 = 5*j. Suppose -k = 2*r + 3, 3*g - 2*r - 37 = 0. Let m = g + -5. Is m >= 7?
False
Let v(a) = -a**3 + 29*a**2 + 98*a - 72. Let d be v(32). Is d bigger than -12?
True
Let n = 73/7 + -8899/854. Which is smaller: n or 0?
0
Let q = 380 - 390. Is q < -10?
False
Let t = 251 - 229. Is t not equal to 7?
True
Let k = -0.2463 + 0.1463. Which is bigger: k or -1400?
k
Suppose -4*g - 12 + 91 = b, 5*g = -2*b + 98. Which is smaller: g or 13?
13
Let r be (-11 + 1)*(-10)/20. Let q = 3653/570 + -1/114. Is q > r?
True
Let j(d) = -d**2 - 3*d + 2. Let z be j(-3). Let t(m) = 40 - m**z + 7*m - 42 - 2*m. Let i be t(5). Is -0.1 > i?
True
Let i be (-102)/(-4) - 7/14. Do 24 and i have the same value?
False
Suppose -5*m - 9 = -z - 0, 3 = -5*z + m. Which is greater: z or 1/47?
1/47
Let y = 115775/8 - 14519. Is y not equal to -46?
True
Let y = 53 + -53.1. Let v be (-9)/11 - 1 - -2. Is v at most y?
False
Suppose 9*n - 4*n = 10. Let p be 610/50 + n + -6. Is p at most as big as 9?
True
Let i be 3114/90 - 9/15. Is i != 40?
True
Suppose 4*k - 8 = n, -21 = 4*n + 2*k - 25. Which is bigger: n or 3?
3
Let l = -19 - -19. Which is smaller: -0.035 or l?
-0.035
Suppose -k = 5*x - 3, 0 = -x - x. Suppose 0 = f - 3*f + 8, k*f - 24 = -3*v. Suppose 5*h + 27 = r, -5*r + 2*h = -0*h - 20. Do r and v have the same value?
False
Suppose 63 = -2*m + 5*m. Let w(v) = v**2 - 21*v - 10. Let c be w(m). Is c bigger than -10?
False
Suppose 8*n + 1904 - 552 = 0. Are n and -169 equal?
True
Suppose 0 = -r - 3*w + 6, -4*r = 4*w - 3 - 5. Let y be (r*3/12)/2. Let q = -181/28 + 25/4. Which is bigger: y or q?
y
Let n(u) = -u - 6. Let f be n(-2). Let s be 7/(1120/12)*f. Is s greater than 1?
False
Suppose -2*w - 5*t = 0, 0 = 2*w + 2*t - 7*t - 