8?
878
Suppose -2*f + 15 = -y, 38 = -5*y - 5*f + 8. Let b = -49 - -22. Let a be 129/b + 2/y. Is a smaller than -5?
False
Let g be (-17 - -18)*(-2 - (-2000)/14). Do 141 and g have the same value?
False
Suppose 0 = -2*p + 2, -3*v + 6*v = 5*p + 568. Which is smaller: v or 190?
190
Suppose 7 = -3*a - 5. Let j = -68 + 67.83. Let q = j - -0.27. Which is greater: a or q?
q
Suppose 212 = 15*n + 362. Is n equal to -4?
False
Suppose -2*q - 4 = 0, 27*a + 53 = 22*a + q. Suppose -122 = -3*s - 5*m, 2*s + 3*m = -0*s + 83. Suppose -5*f = s + 6. Is f <= a?
True
Let l = -0.1548 + -0.0452. Is 5/6 smaller than l?
False
Let l be (4/(-10))/((-6)/(-5)). Suppose 3 = -3*q - 4*y, 8*q - 3*y + 4 = 4*q. Which is smaller: q or l?
q
Let t be 30/6 + (-132)/(9 + -5). Is t bigger than -22?
False
Let a = 7947 - 4331117/545. Which is bigger: a or 0?
0
Let x = 10 + -10. Let b(j) = j + 500. Let g be b(x). Let u = -2993/6 + g. Which is smaller: 2 or u?
u
Let j = 31 - 27. Suppose -2*y - 5 = -j*k - 1, y + 11 = 5*k. Let i(g) = g**2 - 3*g + 2. Let f be i(3). Which is smaller: k or f?
f
Let w = -0.05 - -10.05. Let p = -18 - -25. Let y = w - p. Is y smaller than 1?
False
Let o = 199 + -246. Which is smaller: o or -46?
o
Let q(s) = s**3 - 7*s - 14. Let y be q(-5). Let w = y - -105. Is 2/49 bigger than w?
False
Let d = -196 + 177. Which is smaller: -344/19 or d?
d
Let f be (-14)/22 + (0 - -1). Let l(c) = 17*c + 98. Let k(o) = -8*o - 48. Let z(m) = -9*k(m) - 4*l(m). Let h be z(-10). Which is smaller: f or h?
h
Suppose 0 = -3*v + 5*v - 88. Let t = v - 305/7. Are 1 and t non-equal?
True
Suppose -5*y = -2*y + 114. Let q = -30 - y. Suppose s - 5*n = -10, 3*n - q = 1. Does 2 = s?
False
Suppose -11*l - 7*l - 6138 = 0. Is l bigger than -341?
False
Suppose 0 = -12*u + 324 - 96. Let p be 2 - u - 8/(-2). Is p less than -14?
False
Let m be 20/9 - 6/27. Let a be m + 3/(18/(-8)). Are -0.01 and a unequal?
True
Let d = 144 - 139. Suppose 0 = -x + 3*x - 4. Is x bigger than d?
False
Suppose -g = -4*q - 55 - 0, -4*g - 4*q = -220. Let y be (-26)/(-7) + 4/14. Let l be 2/y*100/g. Which is greater: l or 1?
1
Let p(c) be the first derivative of c**3/3 - 5*c**2/2 + 6*c - 2. Let d be p(5). Suppose d*r - r = -5. Which is greater: -2/23 or r?
-2/23
Let i(q) = q**2 + 5*q - 1. Let v = -12 - -6. Let f be i(v). Suppose 3*a + a - 4*l = 0, f*a = -4*l - 18. Which is smaller: a or 3?
a
Let i(p) = p - 1. Let w be i(2). Let m be -1 + 8*10/200. Do w and m have the same value?
False
Let x = 135 - 80. Suppose 95 + x = 5*b. Which is smaller: b or 27?
27
Suppose -7*t - 8 = -3*t, 0 = -4*f + 4*t + 8. Suppose f*m = 2*m. Let n be (-72)/(-130) + 60/(-150). Do n and m have different values?
True
Let x = -0.45 - -0.29. Let p = -3 - -2. Is x bigger than p?
True
Let a(h) = 0 - 4 + h**3 - 3*h**2 + h**2 + 0. Let z be a(3). Suppose 4*t - t - 43 = z*q, 4*t + 2*q - 40 = 0. Which is smaller: t or 10?
10
Let u = -323 + 328. Do u and 0 have the same value?
False
Let i = 49 + -26. Let d = i + -24. Let t be d/2*-6 - -3. Is 4 smaller than t?
True
Suppose -612 - 3843 = 27*l. Which is smaller: l or -166?
-166
Suppose 0 = 4*m + 7 + 37. Let r be ((-43)/2 + 1)/(-2). Let s = m + r. Do 0 and s have the same value?
False
Let m(t) = 4*t - 26. Let y be m(24). Which is smaller: y or 69?
69
Let r = 0.0061 - -0.2939. Which is smaller: 0.112 or r?
0.112
Let x = 1/1230 - -14749/13530. Suppose 19 = 2*j - 9. Suppose -j*o + 7 = -7. Which is bigger: o or x?
x
Let q = -426.9 - -427. Which is bigger: q or -593?
q
Let k(m) = -m**2 + 28*m - 260. Let z be k(7). Which is smaller: z or -115?
-115
Let y(q) = -q - 6. Let h be y(-7). Let p be (-2 - (-2 + -7 + 5))/78. Which is greater: p or h?
h
Let g = -584.2 - -584. Which is smaller: g or -18.3?
-18.3
Let s(a) = a - 2. Let o be s(7). Let t be 0/(0/(-2) - 2). Suppose -r - c + 8 = t, -3 - 5 = r - 3*c. Is r <= o?
True
Let v(d) = -6*d + 12. Let l be v(7). Let r = l + 29. Is r smaller than 3.4?
True
Let c(y) = -y**3 - 19*y**2 - 3*y - 57. Let o be c(-19). Which is smaller: o or 1/18?
o
Let p = -6.9 + -0.1. Let q = -0.02 + -2.98. Let j = p - q. Does 1/3 = j?
False
Let c = -146037 - -1024271/7. Let a = -287 + c. Are 0 and a equal?
False
Suppose 41 - 13 = -7*k. Let o = k + 4. Which is smaller: -2/17 or o?
-2/17
Let v = -79.94 + 80. Let i = v + -44.06. Is -2/5 bigger than i?
True
Let v(k) = -k**2 - 7*k. Suppose 6*b - b + 30 = 0. Let i be v(b). Is 3 less than or equal to i?
True
Let s(m) = m**2 + 2. Let q be s(-4). Let j = 10 - q. Is -8 at least j?
True
Suppose 128 = h + 2*f - 0*f, 4*f - 382 = -3*h. Let t be (-28)/6*h/(-49). Let u be 68/t + -2 + -4. Which is smaller: 4 or u?
u
Let z = 107 - 179. Let f = -71.98 - z. Is f at least as big as -4?
True
Suppose -66 = 3*k - 2*u, -2*k = 4*u + 13 + 15. Suppose 0 = 5*s + 20, 5*s - 12 = -3*p + 25. Let i be 9/(-9)*(p - -1). Are k and i equal?
True
Let l(v) = v**2 + 3*v + 2. Let x be l(-2). Suppose 12 = 3*q - x, -3*m + 19 = 4*q. Are 8/7 and m unequal?
True
Suppose -1046 = -6*t - 128. Do 155 and t have different values?
True
Let y be (-33)/15 + (-2)/(-10). Let s = -1 + y. Let p(l) = -l - 2. Let k be p(s). Is -1/6 != k?
True
Suppose -3*b = -5*h - 318086556, -80390703 - 46843907 = 2*h + 5*b. Let o = h + 89700401741/1410. Let q = -1/1410 - o. Is 4 greater than q?
True
Let q be (-6)/21 - (-2219)/49. Let t be 128/(-48)*q/(-4). Let u = -181/6 + t. Are u and 0 nonequal?
True
Suppose 42 = -3*k + 6*k. Suppose 0 = -4*b - 3*u - 2*u + k, -3*u + 4 = -2*b. Let x be (55/3)/(-5) + b. Is -4 at most as big as x?
True
Let a = -76441 + 1452799/19. Are a and 23 nonequal?
True
Suppose -4*h = 5*s - 52, -5*h = 4*s - 92 + 27. Which is smaller: 30 or h?
h
Let a(m) = m**3 + 4*m**2 - 12*m + 5. Let w be a(-6). Suppose -18 = 4*d + 5*l, 5 + w = -5*l. Is d at most -3?
False
Let v be 291/21 + (-3)/(-21). Suppose 0 = -5*q - 28 - 37. Let g = q + v. Is 2/19 at least as big as g?
False
Let c = 0.02 + 30.98. Let f = 32 - c. Which is bigger: 2/7 or f?
f
Let f = -65 + 130. Is f greater than 66?
False
Let o(k) be the second derivative of -4*k + 0 + 1/6*k**3 - 7/2*k**2. Let p be o(9). Is 3 smaller than p?
False
Suppose 3*y + 2*b - 5*b = -585, -2*y - 387 = -3*b. Which is greater: y or -197?
-197
Let m(d) = -14*d + 2. Let f(t) = 7*t - 1. Let i(n) = 9*f(n) + 4*m(n). Let u be i(-1). Does -8 = u?
True
Let j(s) = 2*s + 1. Let u be j(0). Suppose -2*i + 2*h + u = -h, -4*i + 5 = -5*h. Suppose 2*q - 5*c + 9 = -2*q, -i*c - 27 = 2*q. Which is smaller: q or -5?
q
Suppose 5*z - 5*k - 50 = 0, -k - 4 = -0*k. Suppose 10 = 2*a + 4. Is a < z?
True
Let o = -0.01 + 0.91. Let i = o + -3.9. Let x = -211/3 - -71. Which is smaller: i or x?
i
Let x be ((-80)/30)/(-2 + 568/282). Let f be 2/9 - (x/(-9))/4. Which is smaller: f or -8?
-8
Let l(f) = -f**2 - 6*f - 4. Let c be l(-4). Let h be (3/9)/((12/(-9))/c). Which is smaller: 1 or h?
h
Let b = -53105/6 + 8801. Is b > -49?
False
Let w be 3 + -3 - (-6)/3. Let c = -4 - w. Is c < -2?
True
Let u be (58/4)/(245/812). Let b = u + -356/7. Which is bigger: -3 or b?
b
Suppose -3*q + 4*v = 74, -2*v - 13 = -2*q - 61. Which is greater: -23 or q?
q
Suppose 15*d = 4*d. Suppose -3*y + 7*y + 16 = d. Is 2 less than y?
False
Let o = 18 - 18.08. Let u = o - -0.18. Let a = 13 - 8. Do a and u have the same value?
False
Suppose 257 - 37 = 22*n. Which is bigger: n or 2?
n
Let y = 21 - 19. Suppose 3*a = 2*a - y*l + 42, -3*l = -4*a + 179. Is a <= 44?
True
Let p be 8421/(-168) - (-1)/8. Which is smaller: -53 or p?
-53
Let r be 64/(-6) + (1 - (-12)/(-9)). Which is greater: -13 or r?
r
Let p = 245 - 243. Is p at most -2?
False
Let w be (-237)/14 + ((-27)/6)/(-3). Which is bigger: w or -16?
w
Let o(u) = -5*u + 120. Let t be o(27). Is t greater than or equal to -14?
False
Let g be (-5)/2*68/(-85). Is g at least as big as -50?
True
Let p = -367 + 368. Is p smaller than 2/695?
False
Let f be 2716/70 + (-6)/(-5). Which is greater: f or 42?
42
Let q = 10725/14 + -1547/2. Which is smaller: q or 0?
q
Let r = 0.06 + 0.98. Let k = -1 - -1.04. Let p = r - k. Is p less than or equal to 1?
True
Let z = -36 - -43. Let c be 26/z*-1 + 4. Which is bigger: c or 6?
6
Let b be (-3)/(-2)*6/(-9). Let l be (-1 - b)*(-1)/1. Suppose -f - 2*f + 19 = 4*w, -5*f - 4*w + 21 = 0. Are f and l non-equal?
True
Let m = 0.042 - 0.042. Let j(r) = r**3 - 3*r**2 - r - 5. Let x be j(4