?
-30/2197
Let k = -1351 - -1353.42. Let j = k + -2.62. Let y = 3.7 - -1.3. Are y and j non-equal?
True
Let y = 225 - 221. Let h be (y/164)/(7/21). Is h at least as big as 0.4?
False
Let w = 1007 - 1002. Which is greater: 28 or w?
28
Let k = 2657/820 - -2/205. Let x = -144.82 + 139.82. Is k at least x?
True
Suppose 2*w = 5*w - 15. Suppose p + w = 8. Let s be (5 - (-3 + 7)) + p. Which is greater: s or 8?
8
Let t(p) = -64*p**3 + 114*p**2 - 115*p + 1. Let j be t(1). Is -56 greater than j?
True
Let g(f) = f**3 - 6*f**2 + f - 5. Let x be g(6). Let q(m) = -m**3 + 10*m**2 - 9. Let z be q(10). Let c be 8/(-68) - z/(-153). Is c < x?
True
Let l(j) = 2*j - 21 + j**2 - 3*j**2 + 19 + j. Let z be l(4). Let a = -22 - z. Which is smaller: 1/18 or a?
a
Suppose d = -0 + 5. Suppose 4*p - 4*n - 536 = p, 2*p - d*n - 348 = 0. Let s be (-1)/(-2) + (-116)/p. Which is smaller: 0 or s?
s
Suppose 5265 + 12972 = 199*k + 890*k + 6258. Let s(a) = -a**3 - 6*a**2 - 5*a - 4. Let f be s(-5). Let u be f/6 - 100/(-6). Is k < u?
True
Let q be 0 + 3/(-12) - (-14 - (-278856)/20192). Which is bigger: 1 or q?
1
Let x(r) = r**2 + 14*r - 57. Let t be x(-21). Let c = 94 - t. Suppose 4*f - 12 = -4*g, c*f - 2*g - 12 = g. Is 4 at least as big as f?
True
Let h = 60 - 65. Let a be ((-6)/(-60))/(2/h). Is -0.2 at most as big as a?
False
Let n be 578/(-12)*(2516/(-119) - -25). Which is smaller: -186 or n?
-186
Let r = 0.18179 + 0.01821. Which is smaller: 2211 or r?
r
Let z(o) = -o**3 + 5*o**2 + 3*o + 22. Let i be z(6). Suppose 3*v = -i*v. Is v < -1/1181?
False
Let g(p) = -p**2 - 10*p - 20. Let z be g(-6). Suppose -z*m + 7*m = 3*b + 24, -50 = -5*m + 3*b. Let c = 106 + -94. Which is smaller: m or c?
c
Let d be -1*(2 - (-2 + 1)). Let g be (d/(-3 + 2))/1. Let f = 9.175 - 9.075. Is g less than or equal to f?
False
Let l be 4 - 12 - (-1)/1. Suppose -10*s = -175 + 275. Which is bigger: s or l?
l
Let z(k) be the second derivative of 7*k**3/3 + 33*k**2 - 112*k. Let v be z(-4). Which is greater: v or 210/19?
210/19
Let g = -602 - 1012. Let r be g/16974 + 10/115. Which is smaller: r or 1?
r
Suppose t - 5*w = 885, 4 = -652*w + 650*w. Is 873 not equal to t?
True
Let u(c) = c**2 + 9*c + 6. Let p be u(-7). Let l(w) = w**3 - 3*w + 3. Let z be (-3 + (-11)/(-3))*(-6 - -3). Let s be l(z). Which is greater: p or s?
s
Suppose -i + 50 = -10*c + 9*c, 0 = -c + 2. Let t = 28 - -22. Which is greater: t or i?
i
Let h = 25566 + -25766. Do h and 1.6 have the same value?
False
Let d(y) be the third derivative of -7*y**6/40 - y**5/20 - y**4/6 - y**3/6 - 19*y**2. Let j be d(-1). Suppose j*t - 16*t = -35. Which is smaller: t or -4?
t
Let q(j) = 88*j - 3256. Let x be q(37). Let w = 5106 + -5053.13. Let b = w + 1.13. Which is bigger: b or x?
b
Let d = -152.541 + 168.62. Let c = 0.079 - d. Which is greater: c or -2/11?
-2/11
Let s(g) = -g**3 - 4*g**2 - 3*g + 3. Suppose -2*r - 11 = -5. Let n be s(r). Suppose 5*l = n*q - 0*l - 1, q = -3*l + 5. Are 13/7 and q non-equal?
True
Let x be -6*(-3)/18 - -13. Let q be (x/(-1113))/((-4)/18). Which is smaller: -1 or q?
-1
Let b(c) = -c + 1 + 3 - 3. Let r be b(0). Let h = 6292.82 - 6293. Which is greater: r or h?
r
Let l = -137899/41170 - -3/1790. Is -3 greater than l?
True
Let p(v) = -2*v - 2. Let i be p(-2). Let h be (-10 + -81)*1/(-1 + i). Is -90 at most as big as h?
False
Let r(z) = -2*z - 5. Let i be r(-4). Suppose 0 = -x - i + 2. Let h = 4787 - 71804/15. Which is smaller: x or h?
x
Suppose 814 = 3*j + 8*j. Suppose -11*m = -j - 146. Let t be (-2)/14 - 889/(-49). Which is bigger: m or t?
m
Suppose 5*j = -2*b - 1, 2*j - 3*b + 3 = -5. Let a be 4/(-68)*(-37)/(-444). Is a < j?
False
Let a = -5276 + 5275.26. Which is smaller: a or 7?
a
Let b = -103 - -119. Suppose -b*w - 31 = 15*w. Is w greater than 1/23?
False
Let v = -160/3 - -9410/177. Suppose 0 = 138*s + 774*s. Do s and v have different values?
True
Let s = 17901 + -17901.07. Which is smaller: s or -9/26?
-9/26
Suppose 0 = -2*k - 3*q + 3, -5*q + 5 + 0 = 0. Let t(a) = -4*a**2 - 28 + 23*a + k*a**2 + 63 + 3*a**2. Let r be t(22). Which is bigger: 56 or r?
r
Suppose 31*u = 33*u - 38. Suppose 20*o - u*o + 4 = 0. Let h be (-14)/21*(-1 + 2/o). Do h and -1/18 have the same value?
False
Suppose -781 = 13*z + 1156. Let s = z + 263. Which is greater: 115 or s?
115
Let h = -701 + 709. Suppose 6*t - 14 = -h*t. Which is greater: 7/81 or t?
t
Suppose 0 = -5*m + 21 - 1. Suppose -9*g - m*g = -3*g. Suppose g = 2*y + 2*y + 4. Is -3/29 bigger than y?
True
Suppose r - 5*y = -11, -64*r - y - 113 = -61*r. Which is greater: -150 or r?
r
Let f = -136 + 82. Let a be (-838)/(-16) - (-9)/(-24). Let h = a + f. Which is bigger: h or -6/11?
-6/11
Let q = -66559/6 - -11123. Does 31 = q?
False
Let l = -98 + 79. Let z = -20.38 - l. Let y = -1.28 - z. Are 2.1 and y equal?
False
Let h be (-1 - 0)/(234/(-78))*28806. Which is smaller: 9600 or h?
9600
Let p = 36 + -478. Let u = -3089/7 - p. Is 0 <= u?
True
Let n = -0.003 + -2.097. Let g = 2 + n. Let t = -0.057322 - -11.057322. Is t less than or equal to g?
False
Suppose -2 = -2*u - 4*j, 0*j + 2*j + 10 = 0. Let w = u + 13. Let k be -3 + (-124)/w - 8/6. Which is smaller: -9 or k?
k
Suppose -157 = -3*y - 184. Suppose 3*c = 4*o + 22, 3*c + c + 3*o = -4. Suppose w = c*d - 7, -2*w - w + 5*d - 22 = 0. Is w != y?
False
Let n be 6/(-1*(-4 - -2)). Suppose n*w - 18 = -0*w. Let x = -531 - -528. Which is smaller: x or w?
x
Let o = 0.287 + -0.221. Let z = -0.106 + o. Are z and 15 nonequal?
True
Let j(b) = 5*b**3 + 2*b - 2. Let f = 10 - 9. Let z be j(f). Let d = 11 - z. Are d and 7 unequal?
True
Let v = 6 + -6. Suppose -4*c - 15 - 21 = v. Let o = -1.143 - -1.043. Is c != o?
True
Let r = -591.713 - -592. Let s = 66.287 - r. Which is smaller: 1/5 or s?
1/5
Let n be ((-3)/(-12))/(3/(-773)). Let y = n + 62. Is y smaller than -1?
True
Let j = -0.2833 - 0.9237. Let q = j - -0.807. Which is bigger: 1 or q?
1
Let y = -41.025 + 41. Let p = 1.025 + y. Let l = -602/9 - -200/3. Which is bigger: p or l?
p
Suppose -2*m - x + 19 - 16 = 0, 3*m + 1 = 4*x. Is m less than or equal to 68/49?
True
Let j(s) = 48*s - 2*s**3 - 22*s + 5 + 8*s**2 - 37*s. Let a be j(5). Which is smaller: a or -99?
a
Suppose 0 = i - 4*w - 0 + 5, 0 = -3*i + 3*w + 3. Let m(a) = 9*a - 2. Let y be m(i). Suppose q - 28 = -x, -5*q - x = -103 - 29. Is y <= q?
True
Let y = 1197/86273 - 4/713. Let a(c) = -9*c - 8. Let i be a(-1). Is i less than or equal to y?
False
Let b = -96.99 - -82.99. Does b = 0.0304?
False
Let w be 3/((-6)/(-22))*483/69. Suppose 2*m = -2*m - 5*q + 337, -q = 4*m - 317. Which is smaller: m or w?
w
Let u = -3266.42 - -3377. Let i = u + -111. Let q = i + 0.31. Which is smaller: q or 2/9?
q
Suppose -3*m + 0*m = 162. Let d be (90/m)/(5/(-126)). Suppose d = 12*o - 10*o. Is 6 at most o?
True
Let q be (4/(-7))/(5/(6 + -41)). Let j be ((-11)/3 - 3)*-3. Let n be (-3 + j/8)*q. Is -4/7 >= n?
True
Suppose 0 = -4*u - u + 5*n + 805, -n + 619 = 4*u. Let p = -3117/20 + u. Is p < 8?
True
Suppose 2*a = -0*a. Suppose a = 4*w - w. Let q = 3946/9 + -438. Is w > q?
False
Let s = 211.998 + -7.973. Let p = -204 + s. Is p <= 4?
True
Let a = -2706 - -2936. Suppose 853 = 4*f - 71. Which is smaller: f or a?
a
Let r = 81 + -69. Let z be 78/4 - (-8)/(32/r). Let g = 24 - z. Which is greater: g or 2?
2
Let x(q) = -q + 9. Let n be x(9). Let p be (-3 + 2)*(4 - (-3486)/(-36)). Let l = p - 93. Is n greater than or equal to l?
True
Let o(r) = -r + 5. Let c be o(6). Let v = 33 + -28. Let b be (2/(-7))/((-4)/80*v). Which is smaller: b or c?
c
Let n be ((-2)/3)/(116/5046). Let i be -2 + 34*(-5)/6. Which is greater: i or n?
n
Suppose -4547 = 5*x + 3*u, 0 = -2*x - 2*u + u - 1818. Which is bigger: x or -906?
-906
Let t = 17 + -12. Suppose t*w + 71 = -39. Let o(c) = -67*c - 3504. Let p be o(-52). Which is greater: w or p?
p
Suppose 2*l = -l + 168. Let t = 557/10 - l. Let n = 26.9 - 27. Are n and t equal?
False
Let t = 24.1 - 63.1. Let q = -40 - t. Which is greater: q or 5/2?
5/2
Let g = 95569/2 - 48686. Is -902 greater than or equal to g?
False
Let s(z) be the second derivative of 3*z**5/20 + 2*z**4/3 - 7*z**2 + 3*z. Let h be s(-6). Let w = -10102/27 - h. Does w = -1?
False
Let y be 3*-1 - (-44 - -35). Suppose -y*d - 79 = 5. Do d and -16 have the same value?
False
Let c be -8650*(21/5 - 3)/((-3)/2). Is c greater th