 g - -3. Let y be 3 - r*3/6. Is 4 > y?
False
Let r = 0.17 + 0.93. Let l = r + -0.9. Let t = -51/4 + 13. Which is smaller: t or l?
l
Let t = 1 + -2. Let n be -4 + -1 + 0 + t. Let w = n - -8. Are 2 and w unequal?
False
Let y = -7 - -10. Let k be (0 - -11)*(y + -2). Do k and 11 have the same value?
True
Let j(m) = -4*m**3 + 5*m**3 + 0*m**3 - m - 2*m**2. Let y be j(-1). Let q be (-39)/33 - y/11. Is q less than -4/7?
True
Let u be (-4)/18 - 4/(-18) - 3. Let f be -2 + (1 - 4 - -1). Which is smaller: u or f?
f
Let q be (-2*2/12)/(119/(-306)). Which is greater: 1 or q?
1
Let w be 23 + -22 + (0 + 1 - 3). Let k be (2/(-8))/((-7)/(-8)). Which is greater: w or k?
k
Let h(x) = -6*x**2 - 3*x - 10. Let n(l) = -5*l**2 - 2*l - 2*l + 4 - 14. Let f(t) = 4*h(t) - 5*n(t). Let q be f(-7). Is q less than or equal to 3?
True
Suppose -5*n + 7*x - 4*x - 28 = 0, -3*n + x = 16. Let y be n/20 + 34/8. Let v(d) = -2*d + 5. Let p be v(y). Is p not equal to -3?
False
Let w be (-38)/(-30) + 3 - 4. Is -1 < w?
True
Suppose 23 = 4*p + 27. Is p bigger than 19?
False
Let d(p) = -2*p**2 - 2*p + 1. Let m be d(-1). Is m smaller than -2/109?
False
Let y be 50/20 - 6/4. Which is smaller: -2/221 or y?
-2/221
Let u(w) = w**2 - w. Let f be u(1). Let g(j) = 1 + 4*j**2 + 0*j**2 - 5*j**2 + 6*j. Let a be g(6). Which is smaller: f or a?
f
Suppose -3*d + 15 = 2*d. Suppose -2*i + 4*p + 14 = -3*i, d*i - 4*p - 6 = 0. Are 0 and i equal?
False
Let b = -0.2 + 2.2. Let w be 3 - (-1)/8*-22. Which is bigger: w or b?
b
Suppose 3*z + 2*z = -s + 5, -2*s + 10 = -4*z. Let f be z/((-1 - 1)*-1). Suppose -x + 14 = -3*c, -4*x = -f*x - c - 1. Is 1/3 less than x?
False
Let g(w) = w**3 - 5*w**2 - 7*w + 8. Let h be g(6). Is h not equal to 2?
False
Let o(a) = -4*a + 1. Let w be o(1). Let l be (-26)/24 + 2/6. Is l at most as big as w?
False
Let w be (-3)/(-9) + 358/24. Let v = -75/4 + w. Is -4 smaller than v?
True
Let z be (1/(-4))/((-10)/8). Let h = 11 - 10.4. Let x = 0.4 + h. Which is greater: z or x?
x
Let d = -8 + 2. Is d less than or equal to -4?
True
Let g(j) = -j**2 + 7*j + 1. Let s be g(7). Which is greater: s or -1?
s
Let q = 5 + -3. Suppose 0 = 2*d + 2*d - 12. Suppose -d*c - 5 = -2. Is c at least q?
False
Let q = 29 - 28. Is 2/25 greater than or equal to q?
False
Let h be 2/(-3) - 128/(-120). Let p = -2 + 3. Suppose 0*q + p = -q. Is q < h?
True
Let p = -0.6 - -0.8. Is -4 >= p?
False
Let l(r) = r**3 + 3*r**2 - 2*r - 3. Let h be l(-3). Is h != 1?
True
Let n = -90 + 46. Is n equal to -44?
True
Suppose 5*i = -28 + 48. Let r be (3/9)/((-2)/4). Which is smaller: r or i?
r
Let g(l) = l. Let s(z) = z + 1. Let m(j) = -5*g(j) + 4*s(j). Let v be m(3). Let u be (-1*1 - -3) + -1. Do u and v have different values?
False
Let s be (8/(-70))/((-6)/15). Are 0.2 and s unequal?
True
Let k be (-28)/36 + 3 + -3. Which is smaller: k or 0?
k
Suppose 2*b = 4*b - 5*d + 15, -15 = -3*d. Let n = 1 - 6. Let c = b + n. Does c = -2/17?
False
Let m = -56 - 32. Which is bigger: -87 or m?
-87
Let y(t) = -t**2 + 4. Let d be y(2). Which is smaller: d or 8/9?
d
Suppose 0*p = 5*p - 30. Let n be 27/21 - p/21. Let o be (1 + -1)*(-3)/6. Which is smaller: n or o?
o
Let z be 4*((-28)/40 - -2). Which is smaller: 2/7 or z?
2/7
Let f be (-8)/12 + (-64)/12. Let z be 46/(-8) - 8/32. Is z greater than or equal to f?
True
Suppose 3*s = -0*s - 9. Let x be -4 - s - (-2)/1. Which is smaller: -3/7 or x?
-3/7
Let z = 66 - 62.3. Let a = -7.7 - -8. Let o = z + a. Is o <= -0.1?
False
Suppose 16 = -4*p, -63 = -3*j - 4*p - 358. Which is bigger: j or -94?
j
Let y = -1 + 1. Let z(l) = l**3 + 38. Let n be z(y). Let s = 113/3 - n. Which is bigger: s or -1?
s
Let c = -41.9 + 42. Let d = 2.92 + 0.08. Is c < d?
True
Let f(o) = -o - 5. Let p be f(-5). Let z(h) = -5*h + 10. Let r be z(8). Let m be -2*(1 + 21/r). Which is greater: m or p?
p
Let n = -2349570406113539/40455 - -58078615894. Let a = n + -11/899. Let g = a - -14/5. Which is smaller: g or -1?
-1
Suppose 6*l - 25 = l. Suppose 2*v - 6 = f, l*v - 2*f - 3*f - 5 = 0. Let p = v + -5. Is p at least 1/2?
False
Suppose -5*j = -22 - 23. Suppose -6 = 5*a + j. Let t = 0.051 - -0.049. Is a at least t?
False
Suppose 0 = -x + 3*m + 104, 3*x + m = -2*m + 264. Is 93 greater than or equal to x?
True
Suppose -j + 0*j = -3. Are -0.2 and j equal?
False
Let f = -3.1 + 3. Which is bigger: f or -5?
f
Let t(f) = -2*f**2 + 6*f - 6. Let b be t(4). Let w be (-159)/273 + (-6)/b. Suppose -l + 4 - 3 = 0, 4*l = -4*k + 4. Which is smaller: k or w?
w
Let o = -37.7 + 39. Which is smaller: 0 or o?
0
Let s = -0.01 - 3.99. Let d = s + 4.2. Which is smaller: d or 2?
d
Let q be (-1018)/(-840) + (-5)/25 + -1. Which is greater: q or 1?
1
Suppose -j = 4*j - 20. Suppose j*a = -a + 5. Suppose 0 = -3*o - 19 + a. Is o <= -7?
False
Let q = -5.2 + -0.8. Let v = -4 - q. Which is smaller: -1 or v?
-1
Let g(w) = -w**3 - 8*w**2 - 8*w - 6. Let v be g(-7). Suppose -2*u + q + v = -2, u + 3 = 2*q. Suppose u*r = r. Does -1 = r?
False
Let r = -193.5 - -252.45. Let i = -61 + r. Let d = -0.05 - i. Does d = 2?
True
Let k(h) = h**3 + 4*h**2 - 4*h + 6. Let r be k(-5). Suppose 0 = 5*l + 5*w + r - 26, 3*w = -5*l + 17. Suppose 4*t + 3*a - 9 = 0, -t - 13 = -5*a + 2. Is t <= l?
True
Let u = 20 - 18. Which is smaller: u or 1?
1
Let j be (-8)/(-14) - 4/7. Which is bigger: 2/17 or j?
2/17
Let f be (-1)/(-4) - (-2)/(-8). Suppose f = s - 4 + 1. Suppose -4*b + 0*b - 3*x - 19 = 0, -s*b = -2*x + 10. Which is greater: 0 or b?
0
Let g(u) be the first derivative of u**2/2 + 16*u + 2. Let c be g(0). Suppose 0 = -0*y + y + 5*z - 17, -5*y = 2*z - c. Is 3 less than or equal to y?
False
Let q = 3 + -2. Suppose 5*g = 6*g + 1. Is q smaller than g?
False
Let t = 12.2 - 11. Let y = -1.18 + t. Which is bigger: 1/3 or y?
1/3
Let s = 2 + -2. Which is greater: s or -2?
s
Let z = -22.6 + 12.5. Let x = z + 11. Let i = x - 1. Is i greater than or equal to -1/6?
True
Let k(q) = -q**2 - 7*q - 7. Let f be k(-6). Let v be (-28)/(-4) + 1 - 3. Suppose 0 = -2*d - 5*l - v, -5*d - 4*l - 4 = -0*l. Is d > f?
True
Let l be 3/((-9)/(-6)) - 3. Let p = 4 + l. Suppose -5*x + 2 = -4*m, 17 - 1 = 3*x + 5*m. Which is bigger: p or x?
p
Let x be (-1)/((-22)/(-4)) - 0. Suppose -5*y = -3*s + 22 + 103, 0 = 4*y + 5*s + 63. Let j be (-4)/22 - 4/y. Which is smaller: x or j?
x
Suppose 2 = -i, -2*p + 5 = p - 4*i. Which is greater: p or -2?
p
Suppose -z - 16 = -5. Let s be 2/3 - z/(-12). Suppose 14*r - 19*r + 5 = 0. Do r and s have the same value?
False
Let d(w) = w**3 - 4*w**2 - 3*w - 2. Let x be d(5). Suppose x = -r - r. Let u be (r/(-10))/((-3)/(-5)). Which is smaller: 3 or u?
u
Let w = -26.86 - -23.8. Let j = 0.06 + w. Let y(o) = o**3 + o**2 - 3*o - 2. Let l be y(-2). Which is smaller: l or j?
j
Let q = 677 + -30467/45. Is -0.3 <= q?
True
Let m = -4/67 - -94/3819. Which is smaller: -1 or m?
-1
Let v = 0.4 + -0.4. Let q = -0.5 + 0.7. Let y = q - 0.3. Which is greater: v or y?
v
Let l(o) = -o**2 - 5*o + 1. Let v = -9 - -4. Let p be l(v). Is -2 < p?
True
Let l be (-4*(-3)/36)/(2 - 1). Which is smaller: -1/6 or l?
-1/6
Let z = 0 + 0.1. Which is greater: z or 1?
1
Let h = -2 + 6. Which is bigger: h or 5/2?
h
Suppose 0 = -2*j - 3*l + 5*l - 4, -5*l = -2*j - 16. Suppose c - 2*c - 6 = -3*s, 3 = -3*s + 4*c. Let v = j - s. Which is smaller: v or -2/11?
v
Let z = 9 - 11. Is -3/2 equal to z?
False
Suppose n - 5 = -2. Suppose 10 + 5 = -n*b. Suppose -2*d = 2*d + 16. Is d <= b?
False
Let g = -3/28 + -1/7. Suppose -u - 2*u + 4*p - 17 = 0, -19 = u - 4*p. Is u less than g?
False
Let w(r) = r**2 + 2*r - 1. Let v be w(-3). Suppose 4*p - u = 21, p + v*u = -p - 2. Suppose -9*n + 4*n = 2*f - 17, -5*f = -5*n + 45. Which is smaller: p or n?
p
Suppose 3*z + 30 = 12. Is -5 < z?
False
Let x = 175/4 + -43. Which is greater: x or 1?
1
Suppose 5*u + 4*l + 14 = -7, -4*l - 14 = -2*u. Suppose 4*n - 210 = -n. Let i be 16/n*(-6)/8. Which is smaller: i or u?
u
Suppose p + 1 = 3. Let r = -10 + 15. Suppose 15 = r*j - 0. Which is smaller: j or p?
p
Let x be (-2413)/42 + (-10)/(-60). Let h = x - -57. Is h < 2?
True
Let y(k) = k**2 - 2*k - 4. Let o be y(4). Let p(l) = -3*l + 8. Let f be p(o). Are f and -5 equal?
False
Let c = 14.4 - 14. Which is greater: -2/13 or c?
c
Let c be 6/(-9)*(-9)/(-3). Is c equal to 0?
False
Let g = 7 - 13. Let u = 7 + g. Which is greater: u or 8?
8
