- 9 = -8*s. Which is bigger: s or -4?
s
Let i be (-9)/(4*2/8). Let m(c) = -c**2 - 12*c - 6. Let v be m(i). Is 2 at most v?
True
Suppose -2*a - 3*b + 17 = 0, -a - 4*b = -3*a - 18. Which is smaller: a or 0?
0
Suppose -37*f = -34*f + 249. Which is smaller: 1 or f?
f
Suppose 58 = -5*a + 8. Let f = -21 + 134. Let z = f + -124. Which is smaller: a or z?
z
Let c = 44.66 - 44. Let l = c - 0.47. Which is smaller: 0 or l?
0
Let t = -4 + 3. Let n = -18.7 - -18. Let b = -0.9 - n. Is t smaller than b?
True
Let v = -1172.6 - -1173. Let y = 0.2 + -0.26. Is v greater than y?
True
Suppose -3*l - 3 + 22 = 4*o, 5*l + 2*o = 13. Suppose 2*u - 5*b = 15, 4*u - 4*b = 5*u - 1. Which is smaller: l or u?
l
Let m be -9 + 12 + 4/2 - 3. Do -34 and m have the same value?
False
Let z be 4/6 - 1/(-3). Let q = -1748 + 12213/7. Let h = q + 628/189. Which is smaller: z or h?
h
Let l = -17 + 8. Let i be (2/l)/((-12)/(-36))*1. Is i equal to 12/5?
False
Let s(d) be the second derivative of -d**5/20 + 7*d**4/6 - d**2 + d. Let k be s(14). Which is smaller: k or -3?
-3
Let f be 81/(-243)*(-600)/2. Which is smaller: 99 or f?
99
Let w be 2/(-4)*-2 - -3. Let v(m) = -m**3 + m**2. Let u be v(0). Which is smaller: w or u?
u
Suppose -l + 19 = r - 8, 4*l - r - 128 = 0. Is 31 at least l?
True
Let y = -242 + 252. Let i = 5 - 6. Are i and y nonequal?
True
Suppose -3*a - 18 = -3*d, 13*a - 9*a = -d + 1. Is -7/41 greater than or equal to a?
True
Suppose 4*s - 3*n = -7, 5*n = -3*s - 19 + 50. Which is greater: 100 or s?
100
Let r = -0.016 + -0.083. Let u = r - -0.049. Which is greater: -0.2 or u?
u
Let l = 6 + 7. Suppose 3*r - l - 5 = 0. Is r equal to 6?
True
Let m be ((-8)/(-164))/(18/(-12))*-24. Which is greater: m or -0.1?
m
Suppose 8*s = -9 + 49. Suppose -5*m - 88 = -o + 21, -m + s*o - 41 = 0. Which is greater: -22 or m?
m
Suppose -394 = 3*o + 2*n, 5*n = -2 + 7. Which is bigger: o or -131?
-131
Let c(b) = -2*b**2 - 73*b + 192. Let x be c(-39). Is x >= -60/31?
False
Let n(q) be the second derivative of -q**4/12 + 7*q**3/6 - 5*q**2/2 - 16*q. Let a(w) = w + 1. Let b be a(3). Let d be n(b). Which is bigger: 0.2 or d?
d
Let u be (-1 + 2)/(13/(-2)). Let t = -0.3 + 0.8. Let d = 0.5 - t. Which is bigger: u or d?
d
Let x(u) = 2*u - 11. Let c be x(5). Let j be (-6 + (-4640)/(-775))/(2 + c). Are j and 1 unequal?
True
Let q(z) = -42*z - 2. Let y be q(-1). Let a be ((-32)/y)/(68/(-10)). Which is smaller: a or -2?
-2
Let z = -654 + 352. Which is smaller: z or -1?
z
Suppose -1201*i = -1204*i - 306. Is 2 at least i?
True
Let j = -2509 - -2508. Which is smaller: -2/1215 or j?
j
Let m(r) = -r**3 - r**2 - 2*r + 558. Let q be m(0). Let g be (-5)/(135/(-6)) - 88/q. Which is smaller: g or 1?
g
Suppose 0 = -c + 2*c + 2*x - 13, c = -x + 9. Suppose -20 = -c*p + 3*p. Let u be -1 - 1/((-3)/36). Which is smaller: p or u?
p
Let a = -52 + 50.78. Let c = 0.22 + a. Let x = 3 - c. Is -0.1 smaller than x?
True
Let u(k) = -k**3 + 17*k**2 + 19. Let m be u(17). Which is smaller: m or 13?
13
Let n = -209 + 208.88. Is 12 >= n?
True
Let m(j) = -3*j**2 - 13*j + 7. Let k be m(-3). Which is smaller: k or -0.7?
-0.7
Suppose 15 = i + 2*i. Let f = i - 9. Suppose -110*o - 34 = -76*o. Does f = o?
False
Let r be ((-4)/70 - 0)/(127/(-889)). Which is greater: 0.6 or r?
0.6
Let s(k) = -k**3 - k**2 + 7*k + 3. Let j be s(-3). Suppose j = -2*c - i - 8, -5*c = -4*i - 0*i + 7. Is -2 at least as big as c?
True
Let w be -35*(6 + -5 + -3). Let d be w/(-15)*(-3)/(-12). Let u be (-3)/6*0/1. Which is bigger: u or d?
u
Let n = 1298 - 1298. Do n and 2/295 have the same value?
False
Suppose -20*f = -130 - 90. Suppose 3 = -x, -5*m + x + 24 = 3*x. Let o be 1/3 + 58/m. Is f smaller than o?
False
Let n = 350 + -330. Is 59/3 smaller than n?
True
Let u(t) = -t - 9. Let v = 9 - 15. Let k = v - -2. Let y be u(k). Is y greater than 0?
False
Suppose 3*n = -5*y + 18, n - 3*n + 3*y = 7. Let x = 8504 - 280634/33. Is x at least n?
False
Let x(y) = -y**3 - 1. Let l be x(-1). Suppose -5*b - 1 - 4 = l. Let q = -77 + 74. Is q greater than or equal to b?
False
Let j = 56 - 121. Let a = j + 39. Which is bigger: -25 or a?
-25
Let k be -4 + -1 + (-4)/(-2). Let s = -4 - -1. Is s bigger than k?
False
Let b be -9 + 4 - ((-12)/3 + -3). Which is smaller: -0.15 or b?
-0.15
Let i(l) = l**3 - l**2 - l + 4. Let d be i(0). Let r be (1/(-3))/(d/12). Let u = 15/4 - 91/20. Which is smaller: u or r?
r
Let j(l) = -7*l**2 - 11*l. Let s be j(-2). Which is smaller: -32/5 or s?
-32/5
Suppose 3*w + 319 = 313. Which is smaller: -11/17 or w?
w
Let s = -10 + 13. Suppose -39 = -s*q + y, -q + 3*q - 13 = 5*y. Is 13 less than q?
True
Let h be (2/(-3))/(8/(-5544)*-7). Do h and -1/3 have the same value?
False
Let i(q) = 2*q**2 + 6*q - 9. Let u(n) = -5*n**2 - 13*n + 18. Let a(j) = -9*i(j) - 4*u(j). Let x be a(0). Is x at least 11?
False
Let p(c) = c**2 - 4. Let z be p(3). Let j be (2 - 1)/(z + -4). Let r be 6*3/24*2. Are r and j equal?
False
Suppose -9*j = -6*j. Suppose j = -2*c + 4*w - 8, w - 2 = c + 2. Is c less than or equal to -4?
True
Let a = -131/7 + 10852/581. Is a less than 0?
True
Let y(o) = -o - 11. Let m be y(-10). Let n be (-10 + -2)*m/3. Is n less than 2?
False
Let g be 4/12*3996/144. Is 8 not equal to g?
True
Let w be 2 - (18/(-18))/((-381)/771). Are w and -0.2 unequal?
True
Let d = -88 - -88. Are d and -7/24 equal?
False
Let c be (-1 + 17/(-20))*(51 - 75). Let d = 44 - c. Is -5 bigger than d?
False
Let p be (78/(-12) + 7)*-12. Which is bigger: 19 or p?
19
Let t = 26 + -18. Suppose -3*w + 2 = 5*o, 2*w - 5*o - 31 = 12. Is w at least as big as t?
True
Let y be (-8)/2 - (-14 - (-50 + 8)). Are -22 and y non-equal?
True
Let c(k) = -k + 2. Let s be c(-7). Suppose 2*v - v - 3 = 0, -5*w - 2*v = s. Let l = 4 + w. Are l and -3/20 nonequal?
True
Let k(x) = -x + 17. Let m be k(6). Suppose 5 = 12*v - m*v. Let c be (4/v)/((-24)/60). Is -7/3 bigger than c?
False
Suppose 3*z - 5*s = -2720, -3*s = 2*z + 2215 - 389. Which is smaller: z or -911?
-911
Suppose -11*k = -15*k + 24. Let q be (15/(-50))/(k/5). Which is smaller: q or 2/69?
q
Let d be 696/(-136) - (3 + -8). Let u = -0.21 + -0.09. Let g = -0.5 - u. Which is smaller: g or d?
g
Let x be (-18)/(-22) + (0 - 6/(-33)). Is x != 7?
True
Let n be (-6 - -2)*24/(-3). Suppose q + 12 = b - 2*b, -3*b - q - n = 0. Let u = -67/12 + 21/4. Which is smaller: b or u?
b
Suppose -12*w + 34 = -98. Is 11 less than w?
False
Let m = -70 + 11. Let o = 56 + m. Is 2 < o?
False
Suppose -4*k + 7 = z, k + 0*k - z = 8. Let j be k/9*9/1. Suppose 3*y - 6*y - 2*o = -j, 0 = -3*y + 3*o - 12. Is -2/5 less than y?
False
Let y = -24 - -8. Suppose 3*k = -3*s - 48, 0 = 2*s + 7*k - 3*k + 32. Is y >= s?
True
Let s = -27 + 32. Suppose 0 = -4*r + t - s*t + 76, -2*t - 6 = 0. Which is smaller: -1 or r?
-1
Let l = -1/814204 - 2637613853/4071020. Let v = l - -647. Is v equal to -2?
False
Let x be (1125/(-20))/(-9) + (-6)/24. Which is greater: x or 11?
11
Suppose -3*s + 3*m - m - 79 = 0, -4*m + 33 = -s. Which is smaller: -30 or s?
-30
Suppose y + 3*y = 5*d - 373, -3*d + 476 = -5*y. Let o = y + 36. Is -60 > o?
True
Suppose 18 = -2*q - 9*p + 5*p, -2*q + 5*p = 36. Is -7 <= q?
False
Let l(w) = -7*w**2 + 7*w + 11. Let u = 57 + -59. Let s be l(u). Which is greater: s or -30?
-30
Let z be (0 + -1)*6/(-507). Let o = 1.4 + -2.4. Is o greater than z?
False
Let b(h) = h**2 - 46*h - 250. Let x be b(-5). Which is bigger: -42 or x?
x
Let z = 0.029 - 0.229. Is 6 less than or equal to z?
False
Let s = 21.2 - 21.4. Does -120 = s?
False
Let o = -129.291 + 0.291. Let s = -127 - o. Is s equal to -31?
False
Let c = -72 + 69. Let u(s) = 3*s**3 + 4 - 4*s**3 + 2*s**3. Let n be u(c). Which is bigger: -24 or n?
n
Suppose 4*q = -3*u - 334, 0*u - 3*q - 223 = 2*u. Is 3/7 equal to u?
False
Let u be ((-6)/(-8))/(-3 + 514/(-8)). Is u less than or equal to -1?
False
Let h = 14.7 + 1.3. Let x = -14 + h. Let u = -0.1 - 0. Is x <= u?
False
Let l(f) = 8*f**2 + 88*f - 20. Let p be l(-9). Is p at most -166?
False
Let w(s) = s**3 + 5*s**2 - 4*s + 1. Let j be w(-6). Let p = j + 5. Let x be 6*-3*p/(-135). Does 0 = x?
False
Let d(v) = -v**3 + 3*v**2 - 1. Let j be d(3). Let f be 2/4 - (-2)/j. Which is smaller: -2 or f?
-2
Suppose 0 = -6*f - 55 + 13. Let h(z) = z**2 + 8*z + 6. Let x be h(f). Let b = -3/65 + -7/130. Is x != b?
True
Let l = -216 - -19