 - 4. Are 2 and t equal?
True
Suppose -48 = -4*b + 4*f, 0 = -5*b - 6*f + f + 20. Which is bigger: 7 or b?
b
Let u = 507/5 + -101. Let i(x) = x**2 - 3*x + 2. Let w be i(2). Which is greater: w or u?
u
Let t = -77 + 80. Let d be 2 + (-1 - (2 + -4)). Is t greater than or equal to d?
True
Let o = 2 + -1.9. Let g = 0.02 - -0.02. Let s = o - g. Is -0.1 > s?
False
Suppose 0 = -s + 5*s - 5*g, s + 2*g = 13. Suppose 36 = s*f - 24. Let c be (0 + -1)/(f - 4). Is -1 smaller than c?
True
Let s(z) = -z**2 - 4*z + 4. Let b be s(-4). Suppose -4*d + 4*q - 12 = 0, 8*q = -5*d + b*q - 42. Let o = d + 7. Is 2 equal to o?
False
Let o be (-5 + -10)/3 + 4. Are o and -2/29 unequal?
True
Let t be (0 - -2)*(-3)/(-6). Suppose -21 = -5*c + 4*g + 1, -2*g = 2*c - 16. Suppose 11*k + 5 = c*k. Which is greater: k or t?
t
Suppose -2*y - 8 = 0, -4*y = -0*c + c + 25. Is -10 smaller than c?
True
Suppose 0 = 2*z + 2*h - 12, 4*z + 0*h - 4*h - 48 = 0. Which is bigger: z or 10?
10
Let u = -55 + 53. Let m = -30 + 44. Suppose 5*j = -1 - m. Which is greater: j or u?
u
Let o = -12 - -20. Let z = -182 + 189. Is z > o?
False
Suppose -i = -3*i + 6. Let m be (-2)/i - 3/9. Let s = -82/3 + 27. Do s and m have the same value?
False
Suppose -6 = 4*h + 2. Let x be -1*12/(1 - -2). Which is greater: h or x?
h
Let o be 20/(-175) - (-4)/(-14). Let i = 0.06 + 0.01. Which is greater: o or i?
i
Suppose -k = -4*m + 14, 4*m - 5*k - 19 = m. Suppose -8 - 13 = -m*f. Are f and 6 equal?
False
Let v be (49/(-63))/(4/6). Is 3 at least v?
True
Let y be 2*5/10 + 0. Let s = 1 - 3. Is y greater than s?
True
Let a(k) = -2*k + 8. Let h be a(6). Let w be (-4)/((-5)/((-10)/h)). Suppose -3*m - w*l + 11 = 0, -m + 6*l - 11 = 3*l. Do m and 1 have different values?
False
Suppose -2*u + 0 = 2*i - 10, -17 = -u - 5*i. Suppose -5*q + v = 25, -4*q - 10 = -u*q - v. Is -3 at most q?
False
Suppose -3*p - 15 = 0, 3*t + 5*p = 2*p - 6. Suppose 3*f + 3*x = x + 11, -14 = -2*f - t*x. Do f and -1 have the same value?
False
Let y = -3/7 + 58/21. Which is greater: y or 1?
y
Suppose -2*n + 7*n + 5 = 0. Let a = 244/195 - 18/13. Is n less than or equal to a?
True
Let i be ((-3)/6)/1 + (-436)/8. Which is smaller: i or -54?
i
Let m = 50 + -49.7. Which is greater: m or 0.1?
m
Let g be (-1 + 4 + -3)/2. Is g >= -1/52?
True
Suppose 5*w + 123 = 2*w. Is w bigger than -42?
True
Let r = 2/131 - -119/786. Suppose 5*k = 4*o + 21, 4*o = 4*k - 22 + 2. Let y = k - 2. Which is greater: y or r?
r
Let x(f) = -f**2 - f. Let w be x(0). Let a be (-5)/(w - (-2)/2). Is -4 > a?
True
Suppose 5 + 7 = 3*q. Suppose 0*o - 4*o - q = 0. Is 5 smaller than o?
False
Let z(v) be the second derivative of v**3/6 + v**2 + v. Let u be z(-4). Let f be (-2 - -2)/(u - 0). Which is bigger: 1/15 or f?
1/15
Let f(u) = u + 5. Suppose 5 + 11 = -2*d. Let z be f(d). Is z at least -7/4?
False
Let k be (12/60)/(42/(-10)). Which is bigger: 0 or k?
0
Let b be 5/20 - 28/(-16). Suppose 5*k - b = 3*k. Which is greater: 1/39 or k?
k
Suppose 0 = -4*f - 2*n, 3*f - 6*n + 2*n + 22 = 0. Is -1 equal to f?
False
Let k = 1 + 0. Let j be (k/(-3))/(3/45). Is -5 bigger than j?
False
Let j(a) = -a + 2. Let l be j(0). Suppose 4*t = 3*c + 11, 3 = -2*t - 3*c + 4. Suppose y - 1 + t = 0. Are y and l unequal?
True
Suppose 0*l + l = -2. Let i = 2 + l. Let u be 3/1*2/(-6). Is u at most as big as i?
True
Let i = 243 - 2675/11. Which is bigger: -2 or i?
i
Let v = -0.97 + 3. Let z = -2 + v. Let r = -0.23 + z. Which is bigger: -2/9 or r?
r
Suppose -4*n = -9*n - 2*q, 5*q = 25. Which is smaller: n or 0?
n
Let i = 154.64 + -160. Let c = i - -6.4. Let n = c - 0.04. Which is smaller: 5 or n?
n
Suppose 4*b - 3*b + 18 = -4*u, 2*b = 4*u + 24. Which is greater: 5 or b?
5
Let g = -3/50 - 19/100. Let f be 1 + -1 + (-2470)/(-18). Let s = f + -137. Are s and g non-equal?
True
Let t = 16.8 + 0.2. Is 0.1 > t?
False
Suppose 9*h = 3*h + 42. Is 9 not equal to h?
True
Let w = 0.07 + -0.07. Let d = -0.1 + w. Which is smaller: 15 or d?
d
Let i = -6 - -6.12. Let c = i - 0.02. Is c < 0.1?
False
Let x be 2/4*6/(-3). Suppose 4*c = 3*c + 16. Suppose -3*p = r - 3, -c + 1 = -4*p - 5*r. Are p and x unequal?
True
Let t(a) = a**2 + 5*a - 11. Let c be t(-7). Suppose 3*x + 7 + 5 = 3*p, c*x + 10 = 4*p. Which is greater: -7 or x?
x
Let g = -23.8 - -24. Is g < -1?
False
Suppose -2 = j + b, 3*j - 29 = -0*j + 4*b. Let y be (2/j)/(5/(-3)). Which is smaller: -1 or y?
-1
Suppose b + 2*j + 5 = 0, -2*b - 3*b - j + 20 = 0. Suppose -4*x + 3*k = 1, b*x + k = 6*k. Which is smaller: 3 or x?
x
Let m be 116/(-203) + -1 + (-8)/(-14). Is m equal to 1/6?
False
Let x = 12 - 13. Let n(j) = -j - 6. Let q be n(-4). Let k be 29/(-9) - -1 - q. Which is greater: k or x?
k
Suppose 3*q - a = 6, -4*q - 4*a + 5 = 13. Let k = 13297/31 + -429. Which is smaller: k or q?
k
Let z = 0.05 + 0.95. Let x = 10 - z. Let p = x - 12. Which is smaller: 0.1 or p?
p
Let c(y) = -y**2 + 4*y + 4. Let l be c(4). Suppose -3*s + 7*s = 24. Suppose -l = -s*h + 2*h. Which is greater: 1/4 or h?
h
Suppose -l - 10 = -3*l. Suppose -3 = -l*n + 2*n. Let t be 2 - 1 - (2 - 1). Which is greater: n or t?
n
Let u = 6 + -5.9. Let c = u - -0.3. Let r = -4.4 + c. Is r equal to 1/2?
False
Let b be 10/(-35) + (-52)/14. Let j = -4 - b. Let i be 3/(-12) + 1/4. Are j and i nonequal?
False
Let m = 0.01 + -2.01. Let j = 2 + m. Let n = j + 1. Which is bigger: -2 or n?
n
Let m = -0.4 - -0.4. Let n = 0.1 - 0.1. Let u = m + n. Is u at least as big as 0?
True
Let w = -27 - -28.2. Is w less than 0?
False
Suppose -2*x + 2 = x + 4*g, 4*x - 4*g = -16. Let u = x - -4. Suppose u*o = -y - 7, 5*y + 24 = -5*o + 4. Is -2 bigger than y?
False
Let x(c) = -c**2 + 7*c + 11. Let b be x(8). Suppose 8 - 35 = -b*j. Suppose 2*o + 4*r = -3*o + 21, -r = 5*o - j. Do o and -1/4 have different values?
True
Suppose -2*v = -10, -4*w - 3*v + 0*v = -11. Let c = -36250/57 + 636. Which is smaller: c or w?
w
Let j(f) = -f + 11. Let s be j(4). Is s less than or equal to 41/5?
True
Let w = 471/11 + -43. Let b = -20 + 21. Is b != w?
True
Let j = -97 + 98. Let x(m) = -m**2 + m + 4. Let g be x(0). Which is smaller: j or g?
j
Let s(l) = -l**3 + 4*l - 3*l**2 + 0 - 5*l + 1. Let w be 2*1/2 - 3. Let q be s(w). Which is greater: 0 or q?
0
Suppose -15 + 7 = 4*a, -2 = 4*q + 5*a. Let b = 543/55 - 102/11. Which is greater: q or b?
q
Let m be -3*(-330)/9 - 2. Let n be m/9*(-4)/(-6). Which is greater: n or 7?
n
Let k be ((-3)/8)/((-42)/(-28)). Suppose 3*d - 8*d - 15 = -p, 0 = 3*p - 2*d - 6. Which is bigger: k or p?
p
Let y = -3 - -4. Which is smaller: y or -3?
-3
Suppose -2*l - 8 = 3*k - 0, -k = l + 2. Suppose 10 = 2*u, -l*u = -3*n - 7 + 30. Is n less than 11?
False
Let k(w) = w**2 - 11*w - 2. Let h be k(12). Let f be 14/(-10) + h/25. Which is smaller: f or 1?
f
Suppose -697 = 13*h - 112. Is h at least -45?
True
Suppose -9 = -3*p, -y - p = -0 - 4. Which is smaller: -3/14 or y?
-3/14
Let j(p) = 3*p**2 - 3*p + 1. Let g be j(3). Are g and 18 equal?
False
Let a = 209 - 115. Are 93 and a equal?
False
Let r be ((-2)/(-2) - -2) + -3. Is 4/11 >= r?
True
Suppose 8 = 4*j, -3*v + 7*j - 8 = 3*j. Which is bigger: v or 5/7?
5/7
Suppose -4*y = -2*y - 4. Suppose 3 = 3*g - 6. Which is bigger: y or g?
g
Suppose -7*w + 3*w = 0. Let a(v) be the second derivative of v**3/6 - v. Let y be a(1). Which is smaller: y or w?
w
Let q = -7 - -11. Suppose -q*c = -20 - 0. Is 5 at least as big as c?
True
Let c be 2 + 2 + -5 + 7. Is c at most as big as 6?
True
Let g(v) = -v**3 + 9*v**2 - 3*v + 17. Let z be g(8). Is z less than 0.2?
False
Let p(z) = z**3 + 6*z**2 - 2*z - 7. Let h be p(-6). Let a = h - 10. Which is greater: -19/4 or a?
-19/4
Suppose -z + 136 - 25 = 0. Let v = 337/3 - z. Suppose 15 = 3*j - 3*t, 0 = -4*j + 5*t - 0*t + 24. Is v > j?
True
Let a be 0 - 2*(-9)/6. Suppose f + 3 = u, f - 2*f - 5 = -a*u. Which is smaller: u or 0?
0
Let k(a) be the second derivative of a**4/12 - a**3/6 + 4*a. Let z be k(1). Let v(p) = 3*p**3 - 2*p**2 + 2*p - 1. Let x be v(1). Which is smaller: z or x?
z
Let u be -1 - (11 + (2 - 3)). Let w = u - -15. Suppose 5*f - 2 + 7 = -4*m, -w*f + 4*m = 4. Is f >= -2?
True
Let y = -5 - -3. Is -8/7 >= y?
True
Suppose 0 = m - 3*f, -m - 5*f = -2*m. Suppose -5*c + x = -12, -c + 7 = x + 1. Suppose t = -t - 5*j + 9, -c*t + 4*j = -2. Which is smaller: t or m?
m
Let u = -2401 + 348147/145. Which i