3. Let m be s/(-2)*(-3)/(-9). Let i be (-2)/4*-4 - 0. Which is bigger: i or m?
i
Let m be (-7)/3 - 8/(-4). Let k(t) = -t**2 - 3*t + 4. Let g be k(-4). Is m at least g?
False
Let r(u) = 2*u - 28. Let y be r(12). Is -5 at least as big as y?
False
Let s(p) = p + 8. Let c be s(1). Is c less than 9?
False
Suppose -10 + 1 = -o. Suppose -3*j + 0 + o = 0. Let y(t) = t**3 + 2*t**2 - t. Let r be y(1). Is r at most as big as j?
True
Let l(h) = -3*h + 1. Let d be l(3). Let f = -11 - d. Let z = 4 + -7. Is f <= z?
True
Let w = 10 - 10. Let q = w + -0.1. Which is bigger: 0.01 or q?
0.01
Let l be (-175)/28 + 1/4. Let m be 33/(-9) - (-1 - -3). Is l at least m?
False
Let m be 1/6 + (-31)/6. Let f = m + 29. Let c be (-2)/1 - f/(-14). Are 2/9 and c equal?
False
Let g = -110/3 + 37. Let k = 15 - 11. Suppose -k*m = 8, 4*s = -m - 7 + 1. Which is smaller: g or s?
s
Let w be -4 - (-3 + 5 + -4). Let b be (4 + 0)*(-2)/2. Which is greater: w or b?
w
Let k be 2/5*105/96. Is k <= 1?
True
Let m be 31/18 + -1 + 4/(-18). Let y = -3 - -6. Let v = y - 3. Which is smaller: v or m?
v
Let o(u) = u - 20. Let x be o(0). Let n = x - -30. Let l = n - 11. Are l and -3/8 equal?
False
Suppose 0*c - c = 14. Is c >= -14?
True
Suppose 2*a - 2*s = -4, 3*a + s = 6*s - 8. Is a not equal to -5?
True
Suppose l - 4 = -4*o + 2, -4*l = -5*o - 3. Suppose 2*p + o = 3*h + 6*p, -5*h + p = 6. Suppose 0*u - 8 = 4*u. Are u and h unequal?
True
Let x = 77/5 - 549/35. Which is bigger: x or -3/14?
-3/14
Let h = -21 + 83/4. Let x = 2.94 + 0.06. Is x > h?
True
Suppose n = 3*s + 2*s, -n = -2*s. Let t = s - 4. Let a = -5 - t. Are a and -1 nonequal?
False
Let z = 10706/15 + -714. Is z bigger than -1/2?
True
Let r(m) = -m**2 - 6*m - 5. Let i be r(-5). Which is greater: 1/9 or i?
1/9
Suppose 3*u = -6, 0*u + 9 = -z - 5*u. Let w = -1 + 1. Is z bigger than w?
True
Suppose 0 = -7*l - 3*l + 220. Is 21 smaller than l?
True
Let w = 17 + -37. Let n be 2/5*w/14. Which is greater: -0.1 or n?
-0.1
Let i = -49 - -55. Does i = 16/3?
False
Let v(u) = -4*u - 1. Let s be v(-4). Suppose 2*k = 7*k + s. Suppose -1 = -3*z - 7. Is z <= k?
False
Let h = -417 + 1235/3. Which is bigger: h or -1/2?
-1/2
Let o = -662 + 660. Let l = 3 + -8. Is o at least as big as l?
True
Let z = -1.86 - -1.85. Which is bigger: 0 or z?
0
Let h = -37.3 + 35. Let z = -2.4 - h. Which is bigger: -1/4 or z?
z
Suppose 4*p = -7 - 1. Suppose -8 = -5*h + q - 0, -8 = h + 3*q. Let a be (p/11)/(h/1). Which is greater: a or 1?
1
Let g = -59/126 - 2/63. Which is smaller: g or -1?
-1
Let v(j) = 2*j + 3. Let a be v(-2). Let l be (6/171)/((-2)/(-6)). Which is smaller: l or a?
a
Let b = -31 - -91/3. Is 5 > b?
True
Let d = -2 + 2. Is 1/11 bigger than d?
True
Suppose 2*m - 32 = -0*m. Suppose j - 3*j - m = 0. Is -7 smaller than j?
False
Let r = 2 - 3. Suppose 4*n = 43 - 3. Let i be ((-1)/(-10))/((-4)/n). Is r greater than i?
False
Let p = -0.253 - -0.093. Which is bigger: 2/3 or p?
2/3
Suppose -2*n - n = -6. Let c be -3 - -3 - -1*n. Suppose -k + c = -0*k. Which is bigger: k or 1?
k
Let z be ((-7)/2)/(2/(-4)). Let q(o) = o**2 - 7*o + 2. Let t be q(z). Let v be 57/(-24) + t/1. Is 1 at most as big as v?
False
Suppose -2*k - 3*n - 1 = 3, -44 = 5*k - n. Is k less than -8?
False
Suppose 3*c + 2*c = -160. Let x = -95/3 - c. Suppose -4*l + 9*l + 5 = 0. Is x at most as big as l?
False
Let c = -1.5 + 3.4. Let f = c - 2.1. Is f at most as big as -1?
False
Let f be (-5)/15*(-5 - 1) + -3. Do f and -1/215 have different values?
True
Let n be 2 + (2/2 - 2). Let c = 15 - 16. Let l = c - n. Which is greater: l or -3?
l
Let o(i) = -i**2 - 26*i + 28. Let g be o(-27). Which is smaller: -7/25 or g?
-7/25
Let b = -6 + -37. Which is greater: -42 or b?
-42
Suppose -65*p + 61*p - 64 = 0. Which is greater: p or -18?
p
Suppose 7 = -y + 4*q + 1, -4*q = 2*y - 12. Which is greater: y or -18?
y
Suppose 0*p + 10 = 2*p + 4*n, -n + 1 = -p. Which is smaller: -6/37 or p?
-6/37
Suppose -3*q = 5*b + 85, 5*q + b = 16 - 121. Let u be (3/2)/((-15)/q). Is u smaller than 0?
False
Let q(z) = 2*z - 2. Let g be q(1). Is -1/79 equal to g?
False
Let h = 5 + -3. Let z be (h/8)/((-5)/6). Which is smaller: z or 1?
z
Let a(k) = k**2 + 24*k + 32. Let d be a(-24). Which is smaller: 30 or d?
30
Let t = -14 + 11. Is -5 <= t?
True
Let h = -87 + 123. Suppose v - 5*v = -h. Which is greater: 8 or v?
v
Let t = 1740 - 15704/9. Which is greater: -5 or t?
t
Let i = -24995/21 + 1190. Are 0 and i non-equal?
True
Let j(c) = -36*c + 8. Let g = 5 + 2. Let f be j(g). Let w = -1224/5 - f. Which is bigger: w or 0?
0
Let u be (2/4 + 0)*2. Let w(j) = j**2 + 9*j + 10. Let z be w(-8). Which is greater: u or z?
z
Suppose -1 = -3*k + 5. Let s = 0.05 - -2.95. Which is smaller: k or s?
k
Let u = 2547/10 - 255. Is -0.4 less than u?
True
Let v(x) = x**2 - 2. Let l be v(-2). Suppose -6*o + 7 = -11. Is o at most as big as l?
False
Let l(d) = -d**2 + d - 1. Let s be l(0). Let g = 0 + s. Which is greater: 5 or g?
5
Let a(y) = y**2 - 5*y - 7. Let t be a(7). Suppose -2*q + t*q = 2*b + 30, 0 = -5*q + 20. Suppose 17 = -5*w + 4*u, 3*w + 2*u = 4*u - 11. Is b bigger than w?
False
Let d = 97/70 - -1/70. Which is bigger: d or 0?
d
Let p = 0 - 0. Which is smaller: p or -1?
-1
Let w = -9.5 + 8.1. Is -1/6 >= w?
True
Let l(b) = b**3 + 5*b**2 + 7*b + 8. Let q be l(-6). Let o be 8/(-28) + 8/q. Is 0.1 not equal to o?
True
Let l = -8 - -5. Let v be (-6 - l)*2 - -3. Is v at most as big as -3?
True
Let h = -2 - -1. Let s be 14 + (3 + 0)*h. Let n = s + -7. Which is greater: 5 or n?
5
Let x be (-570)/154 + (-15)/(-35). Which is smaller: x or -3?
x
Let r be (9 + -7)/((-4)/6). Which is greater: -28/9 or r?
r
Suppose -c = -0*c + 8. Let b(d) = -d**3 - 11*d**2 - d - 20. Let h be b(-11). Is h less than c?
True
Let v be -3 - (-2)/(-4)*-6. Suppose 2*p = s + 2*s + 11, v = -2*s - 2*p - 24. Let x = s - -4. Which is smaller: -2 or x?
x
Let h = 12 - 6. Which is smaller: 4 or h?
4
Let o(b) = b + 6. Let j = 13 + -8. Let p be o(j). Suppose -m + 3*m - 3*f = 14, 0 = -m - 3*f - p. Is -4 not equal to m?
True
Suppose 2*x = 5*r + 33, r + 30 = 5*x - r. Which is greater: 0.2 or x?
x
Let b = -8 - -12. Suppose p = -4*v - 0 - 4, -3*p = -4*v - b. Is 3 bigger than p?
True
Let y = -148.99 + 149. Does y = 13/5?
False
Suppose -a = 3*a. Let m be (2 - a) + 84/(-39). Let b(d) = d**3 + d**2 - d + 1. Let v be b(0). Is v smaller than m?
False
Let d be 1 + (-4 - -2) - -5. Suppose 0 = 2*k - 5 - 3, -2*a - 12 = -d*k. Let b = -8 + 8. Which is greater: b or a?
a
Let d(f) = f**3 + 5*f**2 + f - 2. Let q be d(-3). Let z = q + -6. Let u = z - 6. Are u and -6 nonequal?
True
Suppose 6*c - 12 = 2*c. Let n be (c/2)/((-6)/(-16)). Suppose -3*h - 7 + n = 0. Do h and 1/12 have the same value?
False
Let t = -10/11 + 53/22. Suppose 3*y - 4*g = 25, -2*y + 7*y + 2*g - 7 = 0. Which is greater: t or y?
y
Suppose 0 = -2*w + 7*w - 260. Is 53 not equal to w?
True
Let h = -2/345 + -136/345. Let x be (-9)/6 + 2/4. Is x at most h?
True
Let r(g) = g**3 - 4*g**2 - 5*g. Let l be r(5). Is l less than 0?
False
Let s = -3 - -3. Let v = -6/11 + -7/88. Is s at most v?
False
Let z = 8 + -16. Let t = -7 - z. Which is smaller: 1/4 or t?
1/4
Let x = 3642/35 + -104. Which is bigger: -1 or x?
x
Let y = 15.9 - 16.2. Which is smaller: y or -44?
-44
Let f(z) = -z**3 + 8*z**2 - 9*z + 7. Let c be f(7). Are -8 and c nonequal?
True
Suppose 6 = -a + 4. Let n be a/4*(-4 + 2). Let w be ((n - 1)/3)/(-3). Is w greater than or equal to -4/11?
True
Let p be 2 + 3 + (-66)/10. Which is bigger: p or -3?
p
Let g = -9.4 + -4.6. Let a be (1 - (0 - 0))/1. Is a not equal to g?
True
Suppose 3*q = 4*q - 4*p - 36, -79 = -4*q + 3*p. Are q and 16 equal?
True
Suppose 13*m - 14*m = 0. Let c = -1 + m. Let h be 6/(-15) + 16/(-10). Which is bigger: c or h?
c
Let g(h) = h - 14. Let w be g(14). Let b = 123/460 + -2/115. Which is greater: w or b?
b
Let v = 21 + -27. Which is smaller: -7 or v?
-7
Suppose h - 23 + 5 = -4*l, -5*h - 30 = -4*l. Which is greater: h or -3/2?
-3/2
Let c(s) = -s**3 - 4*s**2 + 5*s + 2. Let z be c(-5). Suppose -z*a - 1 = -13. Suppose -4 - a = 2*k - 2*h, h = 4. Is -1 less than or equal to k?
True
Let d = 23 + -16. Let i be (-2)/d - 52/(-84). Do 1 and i have different values?
True
Let h = 23 + -20. Which is bigger: 4 or h?
4
Let f(p) be the third derivative of -1/8*p**4 - 1