-553/4. Which is smaller: m or -1?
-1
Suppose -4*t = 5*b + 14, 5*b = 3*t + 3 - 10. Is -2 < t?
True
Suppose 4 = 4*w - 8. Suppose -2*h + 0 = -w*s + 1, s = -4*h + 19. Is 3 != s?
False
Let g be (-1 - 5)*(-9)/54. Is g > -2/77?
True
Suppose 2*m + 1056 = -2*m. Let z be ((-4)/10)/(m/40). Which is smaller: z or -1?
-1
Let w be (4 + -1 - 4)/(-1). Let s be w + -3 + (11 - 3). Does s = 6?
True
Let y(u) = u**2 - 12*u + 22. Let a be y(10). Which is smaller: a or 3?
a
Suppose 67 = 3*t - 38. Suppose k = 6*k - t. Which is smaller: 8 or k?
k
Let a(s) = -s**2 + 10*s + 16. Let m be a(10). Is 16 less than m?
False
Let l = 84 - 590/7. Let f = 2 + -4. Which is smaller: f or l?
f
Let c(v) = -15*v**3 - v**2 + 1. Let j be c(-1). Let p = 11 - j. Let y be (-10)/p + 7/(-14). Is 2 at least as big as y?
True
Let y(b) = b + 4 - 5*b - 3 + b**2 - b. Let p be y(2). Is p > -6?
True
Let n be (-4)/(-12)*(1 + -1). Which is smaller: n or 5/7?
n
Suppose -8*h - 16 = 24. Is h not equal to -6?
True
Let g be 244/28 + (-4)/(-14). Let r(j) be the third derivative of j**4/24 - 2*j**3 - 2*j**2. Let q be r(g). Which is smaller: -2 or q?
q
Let q = 6 - 1. Let c = -1 - 1. Let b be (-9)/c + (-1)/2. Are q and b unequal?
True
Let p(l) = -l**2 + 3*l + 1. Let r be p(2). Suppose -3*b = -9 - r. Which is smaller: b or 5?
b
Suppose 4*o - 5*d + 2 = 0, -5*o = -o + 2*d + 16. Let x(f) = -3*f**2 - 1. Let v be x(-1). Which is greater: v or o?
o
Let w(v) = -4*v + 3. Let m be w(2). Let h be (-1)/((-10)/(-8) - 1). Is h greater than or equal to m?
True
Let f = -32 - -30. Let t = 2.1 + -2. Which is smaller: t or f?
f
Suppose 0*w + w = -8. Let x = w - -5. Let z be 2/2 - (-2 - x). Which is smaller: z or -1/4?
-1/4
Suppose 2*p + 1769 = -4*h + 503, 12 = -4*p. Let o be 244/h - (-6)/9. Let j = 4/35 - o. Which is bigger: j or 1?
1
Suppose -2*h + h + 4*l = 13, -3*l = -6. Let n = -6 - h. Is -2 at most n?
True
Let y(i) = -i**3 + 6*i**2 + 2. Let a be y(6). Let b be (a + -3)/((-1)/4). Suppose -12 = b*d, -t + 0*d - 7 = 3*d. Which is bigger: 1/2 or t?
t
Let f = -1.03 + -3.97. Are f and -6 equal?
False
Suppose 2*z = g + 12, -3*z + 6*z - 2*g = 18. Let j = z - 2. Suppose -j*t - 2 = -6*t. Which is smaller: 2/15 or t?
2/15
Suppose -47 = -g + 69. Is g equal to 115?
False
Suppose -3*x = -4*q - 0 + 3, 4 = -4*x. Let r be (q - -10)*2/8. Let j = -2 + r. Is 0 < j?
True
Suppose -5*i = 4*r - 58, -5*r + 3*r + 24 = 2*i. Is i greater than 11?
False
Let f = -5 - -11. Let i be 12/5 - f/15. Let b be 19/(-15) + i/3. Is b > -2?
True
Let o be (1 - 2)/((-1)/4). Let p be (-6)/o*16/(-24). Let l = p - 0. Which is smaller: 3/4 or l?
3/4
Let p = 0.09 + 2.91. Let z = -6 - p. Which is bigger: z or -0.1?
-0.1
Let h(m) = m - 4. Let w be h(2). Let a = -10 + 9. Let y be ((-1)/w)/(a/(-4)). Is y bigger than 1/2?
True
Let d = 56/893 - -2/47. Let r = 30 + -29. Which is greater: d or r?
r
Let r = 2245/5271 + 2/753. Suppose 12 = c + 14. Which is smaller: r or c?
c
Suppose -4*z = 2*b + 24, -12 - 16 = 2*z + 5*b. Which is bigger: -5 or z?
z
Let z be (6/(-5))/(10/25). Is -3 at least z?
True
Suppose -p - 3*h = 12, h - 48 = 4*p + 5*h. Let s be (p/675)/((-2)/5). Is s at least 0?
True
Let a be 1/(2 + (-3)/1). Let s(u) = 5*u**2 - 11*u + 7. Let t(o) = -o**2 + o. Let x(b) = s(b) + 6*t(b). Let h be x(-6). Is a greater than h?
False
Suppose -a - 4*a + 5 = 0. Let w be -4*3/(-42)*a. Which is greater: 1 or w?
1
Suppose 3*j - 836 = -8*j. Is j greater than or equal to 75?
True
Let i = 0.2 + -0.3. Let a be 9 - 5 - (-26)/(-6). Which is greater: a or i?
i
Let z(l) = l**3 + 11*l**2 - 11*l + 17. Let g be z(-12). Suppose 0*y - 10 = g*y. Is -2 equal to y?
True
Suppose -p = -3*f - 1 + 17, 5*f - 5*p - 40 = 0. Which is greater: f or 2?
f
Suppose -20 = -5*n - 0*n. Suppose -4*p + n = -0*p. Let o = 8 - 9. Does p = o?
False
Let l = -13 - -53/4. Let n(i) = i - 2. Let m(x) = -x**2 - 7*x - 5. Let h be m(-6). Let p be n(h). Which is smaller: p or l?
p
Let k = -1 - -1.1. Let w = 86 - 83. Is k at least as big as w?
False
Suppose -2*g - g + 3 = 0. Let u = -7 - -2. Let l = u - -5. Is g at least l?
True
Let r = -18 + 27. Suppose 2*l + 2*g - 6 = 7*l, -r = -3*g. Is 0 > l?
False
Suppose -2 = b + 2*v, 3*b + v = 6*v + 27. Let c be (0 - 1)/(1/(-2)). Suppose -6 = b*f - c*f. Is f at least as big as -3?
True
Let k = 0.975 + 0.025. Is k bigger than -2/73?
True
Suppose -3*w = -3 + 15. Which is smaller: 0 or w?
w
Let p = 1.6 + -1.1. Let f = -31 - -91/3. Which is smaller: f or p?
f
Let h(p) = -p**2 - 11*p + 8. Let m be h(-12). Which is greater: 3/7 or m?
3/7
Suppose 3*u + 7 - 22 = 0. Which is greater: 3 or u?
u
Let l(k) be the first derivative of k**4/12 - k**3/2 + 3*k**2/2 + k + 2. Let n(f) be the first derivative of l(f). Let d be n(2). Which is smaller: d or 2?
d
Let z(n) = -n + 1. Let y be z(2). Let q be y/3 - 2/(-6). Suppose -m - 4*l = 4*m - 5, q = 3*m + 2*l - 1. Which is bigger: -4 or m?
m
Let k = -9 + 3. Let y be 3/k*(11 + 0). Do y and -6 have different values?
True
Let b(c) = -c**2 + 4*c + 12. Let u be b(7). Are -9 and u non-equal?
False
Let z(t) = -t + 8. Let a be z(6). Let j be 8/5 + (-4)/(-10). Suppose 5*b = a*f - 6, -j*f + 5*b = 3*b. Are f and -2 nonequal?
False
Let b = 24 + -16. Let r = b - 7. Let m be -1 - -3 - 4/2. Is m at least as big as r?
False
Let j = 8 - 8. Let i(q) = -q - 32. Let r be i(j). Let g be -3 + 1 + r/(-14). Which is bigger: g or 2?
2
Let g be (-4)/14 + (-2)/(-7). Suppose -w + 1 = q - 0, q - 13 = 5*w. Suppose g = q*v - 6 - 3. Do 1 and v have the same value?
False
Let f be 75/(-60) - (-47)/44. Let z be 3*1 + -2 + 2. Let t = z - 2. Is f < t?
True
Let i be 539/33 - 1/3. Is i at least as big as 16?
True
Suppose -2*m + 0*m = 0. Suppose -i + 0 + 3 = m. Suppose -i*u = -5*k + 19, u - 6 = -2*k + 3*u. Which is greater: k or 3?
k
Let z = 427/4 - 107. Are -13/5 and z unequal?
True
Let p(q) = -2*q**3 + 37*q**2 - 20*q + 19. Let b be p(18). Is -89/5 less than b?
True
Let l = -3.91 - 0.09. Let w = 4.1 + l. Let k = 1/200 + 391/1800. Is k < w?
False
Suppose 5*v = -0 + 10. Let s(o) = 1 - 6 + 5*o + 1 - o**v. Let h be s(4). Is 0 at most h?
True
Let g be (-2 + 0)*1/2. Suppose -3*k + 4 = k. Which is greater: g or k?
k
Let g(i) = i - 10. Let x be g(13). Which is greater: x or 6?
6
Let s be -1 + (1 + -1)/1. Let i(n) = -n**2 - 3*n + 4. Let c = 6 - 10. Let l be i(c). Are s and l non-equal?
True
Suppose 0*k + 3*k - 6 = 0. Let q be k/7 + 90/(-21). Let s = q + 4. Is s > -1/4?
True
Let q = -0.32 - -0.12. Let t = 6 + -4. Which is smaller: q or t?
q
Let f = -15 + 16. Let o = 2 - f. Is -2 > o?
False
Let o(g) = g**3 - 12*g**2 - 13*g. Let l be o(13). Let q be 14/40 + (-1)/4. Is q >= l?
True
Suppose 0 = -y + 3*y. Let i be y/(0 - (-4)/(-4)). Let j = 258/209 + -20/19. Do j and i have different values?
True
Let t = -32 - -31. Are t and -10/9 equal?
False
Let s = -0.05 - -0.05. Do s and 10 have different values?
True
Let n = -0.09 - 0.11. Is -2/13 at most as big as n?
False
Let c be (-158)/(-22) - 6/33. Suppose c*k - 6*k = 0. Is -4 at most as big as k?
True
Let b be ((-14)/98)/((-4)/(-14)). Which is smaller: 1/22 or b?
b
Suppose 9*h - 6*h = 48. Is h equal to 15?
False
Let v(r) = r**2 - 5*r. Let w be v(5). Suppose a + 1 = w, -4*m + 0*a - 15 = -a. Is m at least 0?
False
Suppose -3*u = u - 60. Suppose -4*i + u = -9*i. Do i and -3 have the same value?
True
Let y be (1/(-12))/((-2)/28). Is 0 != y?
True
Let q be 4/(120/(-9)) - 0. Let b = -18 + 18. Does b = q?
False
Let r(y) = y**3 - 4*y**2 - y + 3. Let x(w) = 3*w + 1. Let h be x(1). Let z be r(h). Which is greater: z or -2/3?
-2/3
Let z be (-1*(-4)/(-8))/(2/4). Let f be 3/(2*(-3)/(-4)). Suppose -3*v - 4 = f. Is v <= z?
True
Suppose 5*n - 3*j + 0*j - 21 = 0, 5*n - 2*j - 24 = 0. Let i(p) = p**3 - 9*p**2 - 9*p - 8. Let t be i(10). Let w be (-9)/n*t/3. Which is smaller: -1/3 or w?
w
Let q be (2/64)/((-6)/(-18)). Which is bigger: 1 or q?
1
Let r = -158/7 + 1436/63. Let q = -50.04 + 50. Which is smaller: r or q?
q
Let w = 42/5 + -106/15. Suppose -2*t = -7*t. Is w > t?
True
Suppose 9*a + 19 = -2*j + 4*a, -4*a - 29 = -3*j. Suppose 2*i - 5*u = -i + 92, 60 = 2*i - 3*u. Suppose -5*b - i = -4*w, j*b = -0*w - 5*w - 7. Is w > 3?
False
Suppose -2*l + 29 = 5*v - 10*v, 19 = -3*v + 2*l. Let c be (-33)/9*(0 - -1). Are c and v non-equal?
True
Let u be 0 - 2 - 4/(-2). Suppose -k - 5*l + 11 = 0, 5*k = 4*l 