- 5*n - 25 = 0. Let y be a/63*(w - -3). Which is bigger: 0 or y?
y
Let c be 3*3/27*(1 - 0). Suppose -2*q + 10 = 5*t, -26 = 2*t - 5*q - 1. Is t <= c?
True
Let q = -2/5091 - 33934/15273. Let p be (44/(-66))/(8/12). Which is bigger: p or q?
p
Suppose -4*y - 3*y = -3*y. Suppose 4*m - 3*j = -y*j, -j = 5*m. Is m != -5/12?
True
Let q(i) = -i - 11. Let x(u) = -1. Let z(d) = -q(d) - 3*x(d). Let k = 18 - 28. Let r be z(k). Which is bigger: 3 or r?
r
Let z = 20555/13 - 1403. Let t = -59 - 119. Let l = z + t. Do l and 0 have the same value?
False
Let k(d) be the third derivative of -d**4/8 + 26*d**3/3 + 8*d**2. Let i be k(17). Let b be -1*(1 - 2)*0. Are i and b unequal?
True
Let i be 150*(-11 - -1)/10. Do -150 and i have the same value?
True
Let z(m) = m**3 - 11*m**2 + 13*m + 21. Let r be z(8). Which is smaller: -328/5 or r?
r
Let s(m) be the third derivative of -m**6/120 + m**5/60 - m**4/24 + m**3/3 + 3*m**2. Let p be s(0). Let b be (-2)/(p/(-3)) - -5. Are b and 8 non-equal?
False
Let o = 0.6 - -1.6. Let p = o - 0.2. Which is bigger: p or -2?
p
Suppose 3*p = 5*p + 16. Let u be (p/(-5))/(8/60). Let l be (-2)/5 - u/45. Which is smaller: l or 3/13?
l
Let p = 54 + -51. Suppose -5*v + 30 = 3*k, -v - p + 9 = 2*k. Suppose -2*i = 4*t + 6, 4*t = -3*i - t - 4. Does v = i?
False
Let y be (-2)/(-4) + 130/(-4). Let w = 92.6 + -92.5. Is y less than or equal to w?
True
Let c(p) = -p**2 + 17*p - 14. Let r be c(15). Let v = 40 + -25. Let x be (v/20)/((-14)/r). Are x and 0 nonequal?
True
Let y(l) = l**2 + 16*l - 11. Let o be y(-11). Let q = -68 - o. Which is smaller: -5 or q?
-5
Let g(j) = -j**2 - 37*j - 318. Let i be g(-14). Do i and 73/17 have the same value?
False
Let f(q) = q**3 + 4*q**2 - 4*q - 5. Let s be f(-4). Let j(l) = -l**2 - 10*l + 10. Let p be j(-10). Does p = s?
False
Let z = 44.04 - 44. Let w = -1/19 - -63/475. Is w bigger than z?
True
Suppose -9*x + 23*x = -1148. Which is smaller: x or -80?
x
Let z(l) = 2*l + 2. Let x be z(-4). Let m be ((-1)/x)/((-5)/(-30)). Let i be (-3)/4 + 30/8. Does i = m?
False
Let i be (-3 - 2) + 6 + (-230)/175. Which is greater: -1 or i?
i
Let i = 5 - 9. Do -43/11 and i have the same value?
False
Let l = 11655/13 + -896. Which is smaller: l or 0?
0
Let j = 18647/56 + -333. Let f be (32/(-15) - (-4)/30)/(-2). Is j equal to f?
False
Let o(i) = 3*i. Let t be o(2). Let b(z) = 2*z - 19. Let k be b(11). Suppose -k - t = r. Which is greater: 1 or r?
1
Suppose 4*u = -18*u - 22. Is u >= -6?
True
Let x = -2690 - -2707. Which is bigger: 70 or x?
70
Let k = -340 + 378.2. Let t = -48.6 + 10.6. Let b = k + t. Is 2/9 bigger than b?
True
Let m = 6 + -5. Let k be m + (-5)/(20/4). Suppose -a - 2*y - 6 = -k*y, -3*y - 15 = 0. Which is smaller: 8 or a?
a
Suppose -8*q - 19 = -35. Suppose 0 = 4*s - 15 - 1. Suppose g + 0*g = -o + 5, 0 = -s*o - g + 14. Which is bigger: q or o?
o
Suppose -59 = u + t - 5, 3*u = 5*t - 194. Is u > -48?
False
Suppose 48*i = 449 + 223. Which is bigger: 18 or i?
18
Let w = 2/15 - 3/10. Let u be (-6)/36 + 19/6. Let h be -3 + 20*u/18. Is w > h?
False
Let a = 1.7 + -0.7. Let p = -0.3 + 0. Let g = p + a. Which is greater: g or -1?
g
Suppose -c + 4*c - 18 = 0. Let g = 32 - 24. Let q be 12/g*24/9. Which is greater: c or q?
c
Let l = -826 + 578. Which is smaller: l or 0.2?
l
Let n(p) = -3*p - p**2 + 16 + 15*p + 0*p**2. Suppose 0*i + 5*i = -2*l + 13, 6 = -2*i. Let h be n(l). Is h < -12?
False
Let z(h) = -3*h - 45. Let i be z(-16). Let v(q) = 3*q**2 + 2*q - 6. Let g(j) = -j**3 + j**2 - 1. Let u(c) = -5*g(c) + v(c). Let l be u(1). Is l less than i?
False
Let p = 7976 - 7933. Let j = -66 - -107. Is j less than p?
True
Let c = -587 - -637. Is 50 >= c?
True
Let w = -1.8 - -2.1. Let q = 101.8 - 102. Are w and q equal?
False
Let m = -259 - -273. Is m less than -7?
False
Let p = 1271 - 1288. Is p bigger than -0.21?
False
Let c be (-1)/(((-3)/(-63))/(-1)). Suppose 4*l = 7*l + c. Which is smaller: -9 or l?
-9
Suppose l - 1615 = -395. Let q = 6146/5 - l. Is 9 < q?
True
Let n = -31111/28 + 1111. Is n at least as big as -1?
True
Let j(f) = -7*f - 4. Let l(x) = 3*x + 2. Let r(p) = -4*j(p) - 9*l(p). Let k be r(3). Suppose -2*v = -4*c - 3*v + 3, 4*v = 3*c - 7. Is c < k?
False
Suppose t - 4*t = 0. Let d(c) be the first derivative of c**4/4 + 5*c**3/3 - 3*c**2 + 2*c - 6. Let v be d(-6). Is v at most as big as t?
False
Let o be (2/5)/(4/120). Let b = -13 + o. Let q be -4 - (b + 0 - 2). Is q <= -1/4?
True
Suppose -7*a + 3*a = 5*f + 1, -a - 9 = 3*f. Which is smaller: a or 23/5?
23/5
Let m = 73682/41 - 1797. Do 1 and m have the same value?
False
Suppose 4*p + 7 = v, -5 = 2*p - 0*v + v. Let h = -5 - -19/4. Which is bigger: h or p?
h
Let i be (-6)/4 + 2/2. Let m = -54.05 - -53.944. Is i < m?
True
Let d = 0.8476 + -0.1376. Which is smaller: -2 or d?
-2
Suppose -2*x + f = x + 28, -2*f + 40 = -4*x. Is -8 less than x?
False
Let i be (6 - -659 - (-1 - -1))*1. Is 664 greater than i?
False
Let a be 6/(-24) + 18/200. Let s = a + 78/175. Let v = -9 - -9.2. Which is bigger: v or s?
s
Let a = 1.912 + 29.088. Which is smaller: a or -27?
-27
Let l = -1469 + 1316. Does l = -150?
False
Let z = -9.0792 + 0.0792. Which is bigger: -17 or z?
z
Suppose 2*v - b + 6 = -4, -2 = -v - 3*b. Let h(l) = -2*l**2 - 2*l - 4. Let u be h(v). Do u and -28 have the same value?
True
Let p = -15761/62 + -195/31. Is -260 smaller than p?
False
Let b = -3036 - -3036. Let v = 2/13 + -25/78. Which is smaller: b or v?
v
Let y = 269164/59 - 4562. Is 1 bigger than y?
True
Let t = -25.26 - -2.24. Let h = -23 - t. Let i = -5 + 5. Is i at least h?
False
Let u(t) = -t**3 - 3*t**2 + 6*t + 1. Let r be u(-4). Which is greater: r or -8?
r
Let u be 4/(8/5)*-6. Let z = -72 - -58. Which is smaller: u or z?
u
Let o(l) be the first derivative of 2*l**3/3 - 15*l**2/2 + 6*l - 12. Let y be o(8). Which is smaller: -2 or y?
-2
Let t(w) = -27*w - 299. Let j be t(-11). Which is greater: j or -28/9?
j
Let x = -13 - -12.98. Let v = x + -0.04. Let b = v - -0.06. Is 7 at least b?
True
Suppose -77*l = -65*l. Are l and -4/115 nonequal?
True
Suppose 4*f - 2*h + 0 + 28 = 0, 3*h = -3*f - 12. Let p = -7 - f. Is 1/44 equal to p?
False
Suppose 0 = 48*q - 51*q + 42. Suppose 0 = q*d - 12*d - 4. Is d < -4?
False
Let p be ((-3)/(-186)*-82)/(-17). Let b = 14/31 + p. Is 2 not equal to b?
True
Let b = 0.007 - -2.893. Let r = b + 7.1. Which is smaller: r or -0.1?
-0.1
Let j be 14/3 + 6/(-9). Suppose j*d = -6 - 2. Is d less than -9/4?
False
Suppose -191 + 205 = 14*w. Which is smaller: -2/85 or w?
-2/85
Suppose 5*c + 15 = -0*c. Let d be (-3)/(((-27)/(-12))/c). Let p = d - 3. Is -1/5 at most as big as p?
True
Let m = -6565310/607 - -10816. Is m > -1?
True
Let n be 0/2 + 25/5 + 4. Suppose -3*z - 2*z + 85 = 0. Suppose 4*v - z = 2*v - y, 0 = v - y - 7. Are n and v nonequal?
True
Let h = -24 + 47. Let v = h - 25. Is v greater than or equal to -2?
True
Suppose w - 5*w - 2*n = -14, 7 = 4*w - 5*n. Suppose -w*t = 5*l - 6*t + 85, -2*l - 18 = 2*t. Which is bigger: -15 or l?
l
Let g be (1 - 7)*-1 + 1. Let b(w) = w**3 + 14*w**2 + 11*w - 20. Let q = -66 + 53. Let h be b(q). Is h < g?
True
Let r = 149.9 + -150. Suppose 0 = -c - 2*c + 12. Suppose c*k = 2*k, -5*k - 5 = -v. Is v smaller than r?
False
Let l be ((-1)/(-4))/(21/(-3472)) + 3. Let g be 43 + (-1)/(-1)*-2. Let h = l + g. Does 4 = h?
False
Let l be (-4)/(-18) + 1064/882. Suppose -2*h = 2, -3*h + h - 10 = -4*q. Is q not equal to l?
True
Suppose -8*b + 3 - 11 = 0. Do b and -4/101 have the same value?
False
Let y = -9 + 18. Let o = y - 8. Let m = -1/2 - 0. Are m and o nonequal?
True
Suppose -3*k - 4*v - 16399 = 0, -v = -0*v - 2. Let t be ((-4)/6060)/((-3)/k). Let c = -1/303 - t. Is 2 < c?
False
Suppose 6*q = -0*q. Suppose q*y + 5 = 5*y. Is y != -1/25?
True
Let s = -0.2 + 0.5. Let n = -0.2 + s. Let v be 15/(60/8) + (-24)/15. Which is bigger: v or n?
v
Let a(w) = -22*w + 69. Let z be a(10). Is z at least -152?
True
Let v = 37.98365 - -0.01635. Let d be 1 - (1 - (-4)/(-6)). Which is bigger: d or v?
v
Let x(h) = -5*h + 1. Let v be x(-7). Let q be (-3)/(-4)*(-6)/v. Suppose 4*r + 3 = -i, 2*i - 1 = r + 2. Which is smaller: i or q?
q
Suppose 2*u - 24 = -u. Suppose 9 = -5*s + u*s. Is s < 9/4?
False
Suppose -2*x = 2*x + 72. Let u be (x/5)/((-6)/15). Suppose -2*d + 9 = -b + 2*d, -3*b + 3*d - u = 0. Is -3/5 greater