 + 30. Suppose 4*l = -3*d - 8, g*d = 2*d + 5*l - 25. Let w(s) = -s - 8. Let h be w(-6). Is d at least as big as h?
False
Let q = 17 - 17.07. Let u = q - 0.93. Do u and -3/2 have the same value?
False
Suppose 12 = -4*w, j + 0*j + 8 = -3*w. Is j > 2/35?
True
Let s(z) = 8*z + 1. Let c be s(-1). Let r be 5/10 + c/2. Which is smaller: r or -17/4?
-17/4
Let h = -709/4 - -182. Is 5 less than h?
False
Let o be 3/(-2)*(-120)/9. Suppose 0 = b - 5*w - o, 2*b + 2*w = -11 + 3. Do b and -3/7 have the same value?
False
Let c(w) = -w**3 + 6*w**2 - 5*w - 2. Let s be c(5). Let k be -1*(-1 - 3)/s. Let f be (-2)/(2/2) + 0. Is f != k?
False
Let f be ((-3)/(-5))/(15/50). Suppose n - g + f*g = 3, -3 = 3*n - 3*g. Which is smaller: n or -3/10?
-3/10
Suppose t - 5*t - 32 = 0. Let g = t - -8. Is 1/2 at most g?
False
Let d = -1817807/1945 + 4673/5. Let v = d + -5051/1167. Is v smaller than -3?
True
Let v be (-21)/(-6) + (-1)/2. Suppose c - v*c = 0. Is -2/15 at least as big as c?
False
Let z = -105 + 1149/11. Which is bigger: z or -0.1?
-0.1
Let o be ((-58)/6)/((-4)/(-12)). Let l = o + 173/6. Which is smaller: -0.1 or l?
l
Let g be (-38)/(-9) + (-2)/9. Let z be g/10 - (-1 + 1). Let n be (-1 + 0 + 1)/2. Is n >= z?
False
Let f = 72827/1414 - 3/707. Let k = f + -53. Which is smaller: k or 1?
k
Suppose -l = -4*g - 9, 3*l + 0*g - g = 16. Let z = 2 - -3. Is z <= l?
True
Let n(i) = i - 1. Let x be n(4). Suppose 54 = -5*y + 8*y. Let w be 4/(-2)*x/y. Is 1 at least w?
True
Let y = 223 + -445/2. Let r = 0.3 + 0.1. Which is bigger: r or y?
y
Let h(u) = -2*u - 5. Let a be h(-4). Suppose -3*f = -5*f + 4*i - 26, a*f - 5*i = -35. Which is bigger: -1 or f?
-1
Let p = 11 + -26. Which is bigger: p or 0?
0
Let p be (-2)/4*-22 + 3. Let r be 4/p + (-33)/(-7). Suppose -2*x + 3*l = x - 12, -r*x - 4*l = -2. Is x at least 2/3?
True
Let q = -21.94 + 22. Which is bigger: 1 or q?
1
Let z(r) = r**3 + 2*r**2 + 3. Let h be z(-2). Let k = h - 11. Is k greater than -7?
False
Let k be 0/(4 + -3) - 0. Suppose k = 5*j - 22 + 7. Is 12/7 at most as big as j?
True
Let q be 2/6 - 1/3. Let n = -5999/17 + 353. Which is smaller: q or n?
q
Let y = 109 - 108.95. Which is smaller: y or -2/5?
-2/5
Let k = -27 + 40. Let i be (-2)/8 + k/4. Suppose -3 = 3*r + i. Is r < -2?
False
Suppose 0 = -2*v + 4. Let s be 2/4 + (-7)/(-2). Suppose 0 = s*p + 5*w + 1, -3*p + 2*w - 3 = -8. Which is smaller: p or v?
p
Suppose -2*z = -z + 4, 0 = -2*q - 5*z - 18. Let k = q - -1. Which is smaller: 3 or k?
k
Let i(x) = -x + 13. Let q be i(9). Suppose o + 21 = q*o. Suppose -2*y + 24 = y. Which is smaller: y or o?
o
Let z be (3/(-2))/((-11)/242). Is 33 equal to z?
True
Let l be (-555)/(-12) + (-2)/8. Let a be l/5 + (-4)/20. Let n be 20/a + 18/(-81). Which is greater: n or 0?
n
Let u = -2 - -5. Suppose -4*p - 15 = -u. Are p and -2 unequal?
True
Let r be 9/3 + 1 + -4. Suppose r*q + 40 = 2*q. Suppose 2*n + 3*n = k + 1, 0 = -5*k + q. Which is smaller: 1/5 or n?
1/5
Let n be (-1)/2 - (-135)/(-10). Which is smaller: -16 or n?
-16
Suppose 3*z = 2*n - 2, -4*z - 1 = -2*n - 3. Let m = 6 - n. Does -1/10 = m?
False
Suppose 0*v = v - 1. Which is greater: v or -2/15?
v
Let z = 0.8 - -0.2. Let b = 4 - 4. Let i = 0 + b. Which is smaller: i or z?
i
Suppose 0 = -6*s - 8*s. Which is smaller: -2/205 or s?
-2/205
Let u = 0.06 - 0.04. Let i = -0.98 - u. Which is greater: i or 0.2?
0.2
Suppose -2*o = 3*i + 2*i - 26, -4*i + 32 = 3*o. Let s(q) = q - 9. Let z be s(o). Is -1 at least z?
True
Let n = 829/10 + -83. Let t = n + -12/5. Let m = t - -9/4. Which is smaller: 0 or m?
m
Let r be (-1 - -44)*2/(-60). Let w = r + 11/6. Let s be 1*(-3)/3*-1. Which is smaller: s or w?
w
Let o = -52 + 52.031. Is 1/4 >= o?
True
Let a = -11801/13 + 907. Which is bigger: -2 or a?
a
Let y = -1100343/11 - -99935. Let i = y - -96. Which is bigger: -1 or i?
i
Suppose -4*v - 1 - 7 = 4*r, -4*v + 4 = -2*r. Let d = 2 - 4. Let p be (-2 - v) + 5 + d. Is p less than or equal to 2/9?
False
Let f be ((-2)/(-3))/(-2 - 0). Suppose 3*q - 6 = -2*l, l + 2 - 4 = -q. Let z be l/3 + -3 - -3. Is f > z?
False
Let z(i) = -i**2 - i + 2. Let c be z(0). Let f = -1/4 + 3/4. Which is smaller: f or c?
f
Let i(p) = p**3 - 6*p**2 + 6*p - 1. Suppose 7 = v + 2. Let y be i(v). Suppose 0 = y*d - 20, 0*x + 25 = x + 5*d. Do x and 2/5 have different values?
True
Let o(w) = -w**3 - 2*w**2 - 2*w - 1. Let a be o(-2). Let n(u) = u - 3. Let j be n(a). Which is bigger: j or -2/3?
j
Let m be 2/(-4) - 13/2. Suppose 0 = -5*g - 3*s + 26, -5*g = s - 8 - 14. Let k(a) = -a**2 + 4*a - 6. Let l be k(g). Which is smaller: l or m?
m
Let t(a) = a**2 - 4*a + 2. Let u be t(3). Is u != -3/19?
True
Let r = -1 - -3. Let t = 0 + r. Suppose 0 = -t*f - 2*n + 2, 4*n = 5 - 1. Is f smaller than 2?
True
Let l be (-116)/(-396) - 2/18. Is l bigger than 5?
False
Let m = -112 - -558/5. Let l(q) = 2*q**3 - 2*q + 1. Let z be l(1). Suppose 2*o + z = -1. Does m = o?
False
Suppose 3*j = -0*j + 2*c - 10, -2*c = 5*j - 10. Suppose -3*y + k - 6 = j, -6*k + k = -y - 2. Let x = 1 - 4. Is x smaller than y?
True
Let s(y) = 112*y**2 - 4*y + 2. Let v be s(3). Let d = v + -38924/39. Are 0 and d equal?
False
Let f(l) = l**3 - 13*l**2 - 13*l - 15. Let u be f(14). Let r = 25 - 43. Let k be u/6*(-48)/r. Is k greater than or equal to -1?
True
Let g = -1.7 - -1.54. Let l = 0.26 + g. Which is smaller: 1.2 or l?
l
Let o = -1 - 2. Is o >= 4?
False
Let g = 2 - 2. Is 0.11 != g?
True
Let g = -19 - -19. Is 8 greater than or equal to g?
True
Suppose 84 = -10*q + 14*q. Let i be (-6)/q - (-188)/(-28). Does -5 = i?
False
Let f = -8.9 - -8. Let b = f + -0.1. Let h = -361 + 360.9. Is h bigger than b?
True
Suppose -5*a - 2*l = l - 18, -19 = -5*a - 4*l. Let x be ((-9)/a + 2)*-1. Suppose -1 - x = 2*t. Is -2/11 smaller than t?
False
Suppose -2*c = -5*w - 7, 3*c = -2*c + 5. Is -2/5 bigger than w?
True
Let j be -2*4*3/6. Let y be (24/9)/8 + -3. Which is greater: j or y?
y
Suppose -211 = 4*w - 2*b + 693, 0 = -w + b - 226. Let r = -1586/7 - w. Let o = 0.2 - 0.1. Is r at most as big as o?
True
Let p = 37/22 - 2/11. Let n(c) = 2*c**2 - c. Let a(r) = r - 4. Let b be a(3). Let k be n(b). Which is smaller: k or p?
p
Let m = 0.2 - 3.2. Let n = m + 2. Let g = 45 + -226/5. Is n at most g?
True
Suppose 0*d + 3*d = -4*t - 145, 4*d + 200 = -4*t. Let u be (-4)/(-10) + 32/d. Which is bigger: u or 1?
1
Suppose 0 = -4*w + 4*u - 12, -4*w + u - 3 = -0. Which is smaller: w or -3/7?
-3/7
Suppose -3*n + 15 = 5*d, 0*n = 2*n + 4*d - 12. Suppose -4*c = -2 + 6. Let z be (1 - c)*(-2)/20. Which is smaller: z or n?
z
Let b be -1 + 2 + -1 + 5. Let c = b + -9. Let f be (-1)/(-3) - c/(-3). Is -2 at least as big as f?
False
Let y = -21 - -21. Are -2/9 and y unequal?
True
Let h(s) be the second derivative of s**4/12 + s**3/6 - s**2/2 + 3*s. Let g be h(-2). Suppose 5*r = 3*z - 12, -z = 2*r - 6*z + 20. Which is smaller: r or g?
r
Let i(v) = 3*v - 21. Let a(q) = -q + 10. Let f(p) = -5*a(p) - 2*i(p). Let b be f(-8). Let z = 164/91 - 16/13. Which is smaller: z or b?
b
Suppose v - 5 = -2. Suppose -v*c = -0*c - 3. Suppose 0 = -4*q + 2*q + 4. Is c less than or equal to q?
True
Let u be 1/1 + 8/(-9). Let v(a) = a**3 + 15*a**2 - 2*a - 31. Let m be v(-15). Which is smaller: m or u?
m
Let l = -733/154 - -59/14. Is l at least as big as 0?
False
Let p = 91/8 + -11. Is p >= -2/5?
True
Let i = -0.3 + -0.2. Let r = i - -3.5. Let f = r - 2. Is f <= -1?
False
Let i = 16 + -17. Do i and -11 have different values?
True
Suppose -5*u + 140 = -5*i, -2*i + 5*i - 5*u + 94 = 0. Which is greater: -21 or i?
-21
Let q(s) = 5*s - 9. Let j be q(3). Which is bigger: 0 or j?
j
Let p = -24 - -28. Let h(w) = -w**2 + w + 13. Let o be h(p). Let j(a) = -4*a - 1. Let l be j(-1). Is l at least o?
True
Let h = 30 - 35. Which is smaller: -3 or h?
h
Let v = 12.89 - -0.11. Let h = v + -12. Do 0.3 and h have the same value?
False
Suppose 5*n - 5 - 45 = 0. Is 11 at least as big as n?
True
Suppose 0 = -4*d + 5*d + 12. Suppose -5*n = -3*c + 58, -5*n + 4*c - 6*c - 53 = 0. Which is bigger: d or n?
n
Let h(s) = -2*s + 3. Let d be h(-3). Suppose 2*j - d + 1 = -i, 2*j = 2*i - 4. Which is smaller: i or 3?
3
Let k(i) = -i**3 + 23*i**2 - 21*i - 54. Let h be k(22). Which is smaller: -34 or h?
-34
Suppose -2*j + 4 = 2*o, o + 3*o - 8 = 0. Suppose 3*u = i + 7, 4*u - 4 = 6*i - 2*i. Suppose -