l?
True
Suppose o + 14 - 6 = k, 4*k = 2*o + 26. Let r(q) = -q**2 - 5*q + 20. Let a be r(-8). Let d = a + o. Do -7 and d have different values?
False
Suppose -6*n = -3 - 3. Let p = 59/8 - 135/8. Let w = 103/10 + p. Which is bigger: w or n?
n
Let a be 6/(-4) + (-4)/((-7392)/3174). Let c = 28251/44 - 642. Let l = c + a. Is 2/7 at least l?
True
Let b = -322.1 - -289. Let l = 33 + b. Let w = 0 - 4. Is w bigger than l?
False
Let q(g) = 2*g + 109. Let b(m) = m + 73. Let k(u) = 8*b(u) - 5*q(u). Let v be k(18). Which is smaller: v or 5/3?
5/3
Let o be 4/(-20) - 88/10. Let c be (o*3/(-9) - 54)*1. Which is bigger: -50 or c?
-50
Let t = 91/5 + 6047/15. Which is bigger: 421 or t?
t
Let d = -2 - -5. Suppose 3*r + 28 = -2*c, 0 = -2*r - r + d*c - 18. Suppose 5*i - 4*t + 2*t = -39, 2*i - 5*t = -3. Which is smaller: r or i?
i
Let p = 202 + -204. Let w(q) be the third derivative of q**5/60 + 7*q**4/24 - 11*q**3/6 - 3*q**2. Let j be w(-9). Is p > j?
False
Suppose -4*a = -4*g - 8, 4*a = -3*g + 21 + 1. Suppose 2*z - g + 8 = -n, 2*n = 2*z. Which is smaller: -15/8 or n?
n
Let u(c) be the first derivative of c**3/3 - 7*c**2/2 + 6*c + 1. Let h be u(6). Let q be 1456/(-429)*-3 - 10. Do h and q have different values?
True
Let u = 5.9 - 6. Let j be 87/378 - (-2)/36*-4. Let s = j - -223/3654. Are u and s unequal?
True
Let u be ((-78)/(-195))/((-46)/200). Are u and -2 equal?
False
Let r = -11864773/33126 + 24/5521. Let c = r + 359. Which is smaller: c or 0?
0
Let s(p) = -2*p + 8. Let j be s(6). Let u = 4 + j. Suppose u = 7*z - 9*z. Is 1/5 < z?
False
Suppose -2*a = -5*u + 63, 0 = -2*a - 5*u + 28 - 41. Are a and -8 equal?
False
Let y(w) be the first derivative of w**4/4 - w**3/3 + 5*w**2/2 + 4. Let t be y(0). Let s = 1/76 - -4/57. Is t equal to s?
False
Let a be 11/(-352)*-8*-4. Which is smaller: 2/309 or a?
a
Let x be (6/(-9))/2*3. Let y be (3 - 1)/2*x. Let c be (-4)/38 + 10523/(-1292) + 8. Which is smaller: y or c?
y
Let s = -6 - -6.2. Let m = -0.1 - -1.6. Let f = m - 1.3. Is s at least as big as f?
True
Let i be (81*-2)/(3 - 2). Let p be (11/2)/(-11) + (-79)/i. Which is smaller: p or -1?
-1
Let u be (-3)/(-2 + (-58)/(-32)). Let s = -15 + u. Is 1 bigger than s?
False
Suppose -3*i - 12 = 0, p = -0*i + 2*i + 4. Let q(r) = -r**3 - 6*r**2 - 4*r - 4. Let w be q(p). Is w <= -18?
True
Let n(j) = 6*j + 3*j - 10*j - 6. Let w be n(-5). Which is bigger: w or -2/15?
-2/15
Let v be 576/480 - 2/10. Suppose z - 4*z - 99 = 0. Let r be z/2*4/(-36). Which is smaller: v or r?
v
Let h = -6236531/39660 + -1/9915. Let a = -157 - h. Suppose 13 = -k - 3*y, 4*k + 1 = -k + y. Which is smaller: k or a?
k
Let d(k) = k**3 - 8*k**2. Let v be d(8). Let i be (13/3 + -4)*v. Which is smaller: i or -2/11?
-2/11
Let f = 7807/10 - 780. Which is bigger: 2 or f?
2
Suppose -5*j = 2*h - 8, 0*j = 2*j - 4. Are 3/215 and h equal?
False
Let x(o) = o + 3. Let j be x(2). Suppose 5 = -4*a + 2*m + 1, j*m + 23 = -a. Is -2 less than a?
False
Suppose -2*j = 11 - 1. Let p = j + 6. Let w = 3.4 - 3. Which is greater: p or w?
p
Let r = -0.2 + 0.3. Let o = 400/7 + -27586/483. Which is greater: r or o?
r
Suppose -y = -3*y. Let f = 1823/6 + -9157/30. Which is greater: y or f?
y
Let m(f) = -2*f**3 + 2*f**2 - 216. Let u be m(0). Which is bigger: u or -217?
u
Let w = 52 + -40. Let o = -7 + w. Let d(v) = v**3 - 4*v**2 - 2*v - 10. Let i be d(o). Is i less than or equal to 2?
False
Let l = 0.0016 - 0.1016. Which is smaller: -0.005 or l?
l
Let n = 460 - 455. Suppose 0 = 2*f + 3 + 1. Let v be n + f + 140/(-48). Is 0 <= v?
True
Let s = 1.151 - -44.889. Let g = s - 45. Let a = 0.04 - g. Which is greater: a or -3?
a
Let f = -1.5 + 1.6. Let i be (2/12)/(8/(-108)). Let l = i + 73/36. Is f at least as big as l?
True
Let y be (-2)/(-12) - 105/198. Let f = -0.25 + 1.45. Let s = -2.2 + f. Is y greater than s?
True
Suppose 3*q + 18 = p - 22, -4*q = p - 5. Suppose -3*b - p = j, -54 + 19 = 4*j - b. Is -11 greater than j?
False
Let c = 1233 - 1232. Is -1/1506 at least as big as c?
False
Let q = -14.89 - -15. Let r = 0.21 - q. Let b = -0.11 + r. Which is smaller: -1/4 or b?
-1/4
Suppose -3*g - 5*q - 14 = 0, -3*g + q + 11 - 1 = 0. Suppose -5*a - 34 = t, -2*t + 6*t + 26 = g*a. Which is smaller: -11 or t?
-11
Let j(i) = 12*i**2 + 26*i + 4. Let a be j(-2). Which is greater: -3/86 or a?
a
Let a = 5499/4 - 1385. Are -10 and a nonequal?
True
Suppose -3*v - 19 = f + 2, v + f = -9. Let c be (1 - v/(-8)) + (-105)/196. Does c = -2/7?
True
Let u = -0.32 + -153.68. Let j = 138 + u. Let c = 242/5 - 48. Is c at least j?
True
Let k(q) = -q**3 + q**2 - 7*q + 6. Let a be k(1). Suppose -2*g + 2 = -2*x, -5*x - 10 = g - 5. Are g and a equal?
False
Let p = -113 + 104.88. Let v = -0.12 - p. Let u = -10 + v. Is u less than -1/2?
True
Let c(d) = -4*d + 15. Let b be c(6). Let r be (-102)/9 - 1/(-3). Which is bigger: r or b?
b
Let t = 111 + -177. Let h be (1/(-3))/(t/(-9)). Is 0 greater than or equal to h?
True
Let f = 185 - 187. Let k = 5/141 - 2573/987. Which is bigger: f or k?
f
Let l = 202 - 1013/5. Which is greater: -2/327 or l?
-2/327
Let a = -24 - -22. Let q(u) = -u**3 - 7*u**2 - 5*u + 5. Let x be q(-6). Let t be (2/(-4))/(x/(-6)). Are t and a unequal?
True
Let n be 15 + (4 + -4 - 3). Suppose 3*p + n = -4*d, -4*p - 9 - 7 = 3*d. Let u(q) = -q - 2. Let a be u(3). Which is smaller: a or p?
a
Let t be 0/((-26)/10 + 18/30). Are t and -2/537 nonequal?
True
Let a be -4 + (7 - (-4 + 4)). Suppose -a*n + 0*n - 55 = -2*h, 5*h = n + 14. Which is bigger: n or -20?
n
Let b = 2328/13 - 179. Which is smaller: 0.23 or b?
b
Let x(p) = p + 12. Let y(g) = -g**2 - 1. Let m be y(4). Let c be x(m). Let t = -11/2 - c. Does t = -1?
False
Suppose 3*h = -h - 3*a + 34, a - 23 = -3*h. Let d be 0 + 4/4 + 1. Let s be d/h + 518/245. Does s = 3?
False
Suppose 2*i = 4*i. Suppose 2*z - 16 = 5*x, -z - 4*x + 9 + 25 = i. Let t be 3 - -1 - z/4. Is t smaller than -3?
False
Let v(a) = -45*a + 266. Let b be v(6). Which is smaller: b or -66/25?
b
Let l = 1391 - 1398.047. Let t = -0.047 - l. Which is smaller: t or 0.1?
0.1
Let q = -10 + 7. Let m = q - -3. Let j be 100/(-225) + 10/18. Which is bigger: j or m?
j
Let h(i) = -13*i - 11. Let m be h(-1). Let d be 24 + (m - (6 + -2)). Is d less than 68/3?
True
Let g be (-45)/(-21) - (-3)/(-21). Suppose -3*h = 4*t - 6 - 10, 0 = -3*h + g*t - 8. Which is smaller: h or -3/14?
-3/14
Let b be -4 + 3 + (-2 - -5). Suppose -b*s - 9 = 7. Is -7 >= s?
True
Let u(d) = 0 - 3 - 16 - 19*d**2 + d**3 - 19*d. Let i be u(20). Let v be 2 + (-9)/(-15)*-4. Is v > i?
False
Suppose -23*s - 280 = -30*s. Is 9 greater than or equal to s?
False
Let u(c) = -10*c + 1. Let s be u(-1). Let x = 7 - s. Let v = -260/3 - -86. Is x bigger than v?
False
Suppose -2*r + 6 = 2*b, 6 = 2*b + 2*r + r. Suppose b*z = 7*z + 220. Which is smaller: z or -54?
z
Let c(r) = -r - 3. Suppose -3*j + 5 = -1, -5 = 5*k - 5*j. Let a be (k + 0)/((-2)/14). Let f be c(a). Which is bigger: 7/2 or f?
f
Let s = 1812/23 - 2004/23. Which is smaller: -7 or s?
s
Suppose 16*p = 21*p + 20. Let l be ((-2)/p)/(5/100). Is l < 2?
False
Let i = -0.1 + 0.2. Let y = 936.4 - 938.3. Is i >= y?
True
Let b be 10/76*20/250. Which is smaller: b or 0?
0
Let l = 10 + 17. Let o = l + -10. Is 18 less than or equal to o?
False
Let u = 1 - -2. Suppose 4*c - c = -u. Is c greater than -16?
True
Let b = -0.09 - -36.09. Let y = b + -36.2. Which is greater: y or -3/5?
y
Let k be 3/(-2) + (-2754765)/(-1140). Let j = 2415 - k. Which is greater: 1 or j?
1
Let s(b) = -b**2 - 5*b - 1. Let o be s(-4). Suppose -5*j - 84 = -4*h - 17, o*h - 5*j = 54. Are h and 12 nonequal?
True
Let m be 0 + (-12)/(-11358)*3. Is 0 > m?
False
Suppose 4*s + 62 = -n + s, -2*n - 164 = -2*s. Let h = n + 78. Is h at most as big as -0.25?
False
Let b = -58 - -59. Let j be 2 + 0 - 19/10. Which is greater: j or b?
b
Suppose -2*l - 20 = -6*l. Suppose 4*y = -y - 3*x, -l*x = -25. Let i be (-7 - (y - 0))/(-1). Is i greater than 5?
False
Let s = 63 + -42. Let a = s - 20.9. Which is greater: 0.007 or a?
a
Let a(g) = g**2 - 16*g - 17. Let p be a(17). Let o(d) = 2*d - 33. Let z be o(p). Let k = z + 19. Is -15 >= k?
False
Let t = -54.1 + 53. Let a = 0.34 - -0.96. Let j = a + t. Which is bigger: j or -4?
j
Let z be ((-146458)/(-195))/((-130)/6). Let g = z + 104/3. Let t = g + 71/1950. Which is bigger: t or 