- -3. Suppose 0*l = -n*l. Which is greater: -2/71 or l?
l
Let r(d) = -d**2. Let g(y) = 2*y**2. Let w(p) = 2*g(p) + 5*r(p). Let f be w(0). Let o be ((-4)/(-4))/(1 + f). Which is greater: o or -3?
o
Let d(k) = k**3 - 2*k**2 - 3*k + 4. Let f be d(3). Suppose f*l = t - 0 + 10, 2*t - 2*l = -8. Suppose 5*r - 16 = -2*q - 2*q, 0 = -4*r + 16. Is t bigger than q?
False
Let k be 56/90 - (-6)/(-15). Let q(p) = p**3 + 4*p**2 - 2*p + 16. Let f be q(-5). Which is greater: f or k?
f
Let a(m) = -m + 5. Let s be a(15). Does s = -80/9?
False
Let m be (2 - 3)*3/12. Is 8/7 greater than or equal to m?
True
Let k be (41 + 1)*(-2620)/390. Let a = -282 - k. Which is bigger: 1 or a?
1
Let r be ((-4)/(-3 - 1))/1. Which is greater: r or -2/7?
r
Let k = -4/9 + 35/18. Are 2 and k unequal?
True
Let b(z) = -z**3 - 7*z**2 - 8*z - 7. Let v be b(-6). Suppose 2*s + 10 = 4*l, s = v*s + l + 2. Is s less than or equal to 1/3?
True
Let f(u) = -u**2 + 4*u. Let d be f(4). Suppose n + 3*n - 3*o + 14 = d, 4*o + 8 = 0. Which is bigger: -6 or n?
n
Let p = -1226765/9 - -136103. Let g = p - -204. Do 0 and g have the same value?
False
Let r be -2 + (-6)/(-15) + 2. Suppose 2*y + 25 = 2*v + 3*v, -25 = y - 5*v. Suppose f + y*f = 2. Is r at most f?
True
Suppose -2*i + 16 = 2*i. Let t be 2/i*0/(-3). Suppose h = -t*h. Is 1 greater than h?
True
Let n be 39 - (-2 - (-5)/1). Let g be (3 - 176/n) + 2. Which is greater: -1 or g?
g
Suppose b + 2*b = 9. Let n be -2 - 0*b/(-9). Let q be n/9 - 2/72. Does q = 2/7?
False
Let u = -52.5 - -53. Which is greater: u or -2?
u
Let l = 62 + -185/3. Is l != 1?
True
Let b be ((-2)/(-4)*0)/((-2)/(-2)). Which is bigger: b or 9/22?
9/22
Suppose -3*n + 28 = w, n - 7 = -0*w + 2*w. Suppose -3*v + q = -19, -3*q + 38 + n = 4*v. Let b = -8 - -15. Which is bigger: b or v?
v
Let o = -2.2 - -0.6. Is 0.1 smaller than o?
False
Let w = 11.5 + -9. Let o = 0.5 - w. Let p = -2 - o. Is p bigger than -0.1?
True
Let f(a) = -a**2 + 8*a - 7. Let r be f(6). Suppose -r*s = 3*h - 4 - 6, -2*h = 0. Let y be s/(-9) + 40/18. Is 2 smaller than y?
False
Let t(q) = 2*q + q - 4 - 5*q**2 - 9*q + 4*q**2. Let m be t(-5). Let g = 0 + 0. Is g < m?
True
Let y be -6*(28/32 - 1). Let p = -2 + 1.9. Which is greater: p or y?
y
Suppose 61 + 3 = -4*k. Is k < -18?
False
Let z = -24 + 23.56. Is -0.1 greater than or equal to z?
True
Let l be 2/4 + 4/8. Let a be (-3 + 3/2)*288. Let m = -9934/23 - a. Is l bigger than m?
True
Let q = -4.6 - -4. Let m = 0.8 + q. Is -3 at least as big as m?
False
Suppose -23 = -2*c - 5*o, o = c - 3*c + 3. Let h be 11 + -1 + (c - -1). Let j be -2 - 4*h/(-18). Is j bigger than -1?
True
Suppose -3*t - 7*z = -2*z - 136, 0 = 5*t + 3*z - 232. Suppose -6*p + 49 = -t. Is p >= 16?
True
Let b be 76 + 0 - (-24)/8. Is 80 less than or equal to b?
False
Let c be (-22)/(-30) + 3/(-9). Let m = 3.9 - 4. Let x = 0 - m. Is x greater than or equal to c?
False
Let s = -29 - -30. Which is greater: -1/78 or s?
s
Let n be (-1)/(1 + 0 - 2). Let l be 2/(-5) + 638/20. Let w = -31 + l. Which is smaller: n or w?
w
Suppose 4 = -j + 9. Suppose j = 4*p - 2*w - 21, -16 = -3*p + 5*w. Let x(i) = i - 7. Let o be x(p). Which is smaller: 3 or o?
o
Let j be (-42)/(-8) - (-8)/(-32). Let m be ((-3)/(-9))/(j/6). Which is smaller: 2/13 or m?
2/13
Let b = 14.9 + -15. Let k = 0 - b. Which is bigger: -2 or k?
k
Let p = -2.8 - -3. Is p bigger than -1?
True
Suppose a = 2*a - 5. Suppose -s = -a*s + 24. Which is smaller: 7 or s?
s
Suppose 0*y - d = 3*y + 2, -y = -3*d - 6. Suppose u - 5*s - 11 = y, 2*u - s + 0*s = 4. Suppose 3 = -4*g - u. Is -2 less than g?
True
Suppose 21 = -4*p - 3*m + 2, 0 = -4*p + m + 1. Let k = -53477 + 1604141/30. Let x = k + 35/6. Are x and p non-equal?
True
Let m(y) = 3*y + 2. Let d(c) = c + 1. Let w(f) = -5*d(f) + m(f). Let i be w(-2). Let u be 18/(-48) + 6/16. Which is bigger: u or i?
i
Let h = 6/277 + -499/10249. Is h equal to -1?
False
Let v(x) = -x**2 + 2*x + 4. Let a be v(5). Let y = a + 12. Which is greater: y or -2/11?
y
Let b = 7 - 5. Suppose u = -u - b. Let m be (-12)/105 - 4/(-10). Which is greater: u or m?
m
Let a(w) be the third derivative of w**5/60 - w**4/24 + 3*w**3/2 - 10*w**2. Suppose 2*k + 1 = -1, 3*f - 3*k = 3. Let r be a(f). Is 8 equal to r?
False
Let y be (5 - 1) + (0 - 8). Which is smaller: y or 3?
y
Suppose -4*n - 4 = -r, -6*r = -2*r - 16. Suppose d + 5*z - 21 = 0, n = 4*d + z - 3*z + 4. Which is smaller: d or 2/5?
2/5
Suppose -5*y = -3*t + 11, y = 3*t + 5*y - 2. Which is bigger: 20/17 or t?
t
Let h be -1 + (1 - 1) + 5/15. Let u = 6 + -2. Let c = u - 2. Which is bigger: c or h?
c
Suppose m = 3*m + 6, -3*f + 9 = -m. Let s = -1 + f. Let y be 1 + (-26)/8 - -2. Is y bigger than s?
False
Let q = 13 + -39. Let n = q + 25. Is 0 >= n?
True
Let x = 17.6 - 3.6. Is 0.1 bigger than x?
False
Let y = -26 - -26. Which is smaller: y or -1?
-1
Let v = -8/189 - -278/3591. Which is bigger: -1 or v?
v
Let f = -497/8 - -62. Which is bigger: -1 or f?
f
Suppose 5*w = 2*w - 6. Let l = -397 + 2377/6. Is w >= l?
False
Let h = 1.3 - 1.5. Let t = 8.3 - 8. Which is smaller: t or h?
h
Let p(v) be the third derivative of v**6/120 - 3*v**5/20 + v**3/2 + 2*v**2. Let k be p(9). Suppose 2 = -k*m - 4. Do m and -1 have the same value?
False
Let v(k) = 2*k + 12. Let l be v(-5). Is l bigger than 4?
False
Let l = 43 + -124/3. Which is bigger: 1 or l?
l
Let y = -1 + -2. Let x = 0.8 + -1.8. Let j = y - x. Is j greater than or equal to -1/4?
False
Suppose 1 = -m + 2. Let c = -28 + 48. Let g be (-12)/c - m/(-5). Is 0 greater than or equal to g?
True
Let u(d) = -d**3 + 4*d**2 - 4. Let o be u(4). Which is smaller: -0.2 or o?
o
Let x(g) = g**3 - 6*g**2 + 2*g - 6. Let n be x(6). Let f be (n/63)/((-3)/9). Is f at most as big as 4?
True
Suppose 0 = 5*q - 5 + 10. Which is smaller: 2/45 or q?
q
Suppose -4*o + 5*c + 6 = 0, o - c = c. Are o and 4 nonequal?
False
Let y = 0.73 + -1.86. Let i = -0.13 - y. Is 1/5 greater than i?
False
Let k = 19 + -19.1. Is k at least as big as 2/11?
False
Let k(v) = v**2 + 7*v + 3. Let g(i) = i**2 + 7*i + 2. Let t(m) = -4*g(m) + 5*k(m). Let c be t(-7). Are c and 7 nonequal?
False
Suppose -3*c = 19 + 5. Let a(p) = -p**2 - 9*p - 8. Let k be a(c). Are k and -2/25 unequal?
True
Let r(a) = -a - 3. Let w be r(-6). Let c be 0/(w + -2 + 0). Let j be 2/(0 - (-1 + c)). Do j and 2 have the same value?
True
Let a(u) = 2*u - 20. Let c be a(18). Is 16 at least c?
True
Let w = 2043206641682513/29438233715 + -4/535240613. Let v = w + -69402. Let f = 48/11 - v. Is f greater than -1?
True
Let x(i) = -3*i - 6. Let z be x(6). Which is smaller: z or -25?
-25
Let r be (-20)/21 - 2*(-7)/21. Which is smaller: 2/119 or r?
r
Let p = -59 + 59.2. Are p and -10 unequal?
True
Let b = -0.52 + 0.5. Let u = 0.98 - b. Is 0 at least as big as u?
False
Let f = -8.8 + 8.8. Which is greater: f or -8?
f
Let o(z) = z**2 - z + 2. Let n be o(3). Let x(i) = -i + 3. Let q be x(n). Let b = -4 - q. Is 0 bigger than b?
False
Let u = 9 + -8. Does 2/17 = u?
False
Let z(p) = -p**3 + 8*p**2 - 7*p + 6. Suppose -14 = -5*s + 21. Let f be z(s). Suppose 0 - f = -2*t. Do 2 and t have the same value?
False
Let p = 0.35 - 0.3. Which is smaller: p or 0?
0
Suppose -5*n + 3*n = -3*f + 15, 3*f = -5*n - 6. Let z be (-3)/f + 199/276. Let o = z + 2/69. Are o and 2 equal?
False
Let v(o) = o + 10. Suppose -3*z - 2*h + 0*h - 38 = 0, -h = -4*z - 47. Let m be (-1)/((z/21)/(-4)). Let s be v(m). Is 1 != s?
True
Let m be 48/(-84)*1/2. Which is smaller: m or -0.01?
m
Let o be -37 + 1/(-4)*-4. Let k be (-6)/o - 327/18. Which is greater: k or -19?
k
Let x = -395614/101 - -3917. Which is smaller: 1 or x?
x
Let i = 16 + -7. Let v = -11 + i. Let b = -25/26 - -6/13. Is b less than v?
False
Let h = 263/10 - 8203/310. Are 0 and h nonequal?
True
Suppose 5*d - 3*t = 2*t + 310, 0 = -3*d + 2*t + 187. Which is bigger: d or 62?
d
Let p = -3 - -5. Suppose p*k = 5*k - 15. Which is bigger: k or 3?
k
Let r = -10/2807 + 314474/25263. Is 13 at most as big as r?
False
Let l = -31 - -32. Is 4 < l?
False
Let b = -3 - -1. Let z be (3/(-68))/(3/(-2)). Let a = z - 9/17. Is a at least as big as b?
True
Let s = -21 + 33. Is 11 at most as big as s?
True
Let h be 1*2 - (2 + 0). Suppose -2*l - 44 = -5*d - 3*l, d - 5*l - 14 = 0. Let v be (-15)/d - (-4)/6. Is v >= h?
False
Let j be 4/((-35)/(-15)*-1). Which is sm