7). Are 2 and g unequal?
False
Let b(y) = -y**2 + y. Let k(j) = -7*j**2 + 3*j + 1. Let z(f) = 6*b(f) - k(f). Let n = -4 - -1. Let r be z(n). Is 1/3 < r?
False
Suppose 27*y = 32*y - 20. Are y and 11/3 equal?
False
Suppose 0 = -5*x - 5*o + 25, 0 = 3*x - 7*x - 2*o + 12. Do x and 1 have the same value?
True
Let w be 2/30*-1*(-24)/5. Which is bigger: w or 0?
w
Let n(k) = -k - 6. Let q be n(-7). Which is smaller: 1/4 or q?
1/4
Let v be (-15)/(-6)*(-2)/(-3). Which is bigger: 3 or v?
3
Let f = -1 + 3. Let u be f/8*(-4 - -26). Which is bigger: 7 or u?
7
Suppose 0 = -v - 2, -6 = 2*n - 0*v + 4*v. Let g be 4/(88/5) + 1. Let i = g - 8/11. Is i != n?
True
Let y = -50.08 - -50. Is 0.1 greater than y?
True
Let j = 1645/284 - 3/71. Let v = j + -6. Which is bigger: -1 or v?
v
Let k be (-6)/10 + (-1817)/(-2645). Let y = 3 - 4. Is y > k?
False
Let v(t) = t**2 - 6*t - 1. Let z be v(5). Is z greater than -6?
False
Suppose t - 2*x = -t + 34, -3*t = 3*x - 75. Let v be ((-2)/(-3))/(56/t). Which is bigger: v or 2?
2
Let a(p) = 3*p + 14. Let h be a(-6). Is h less than -26/7?
True
Let m(t) = 2*t**2 + 14*t + 13. Let o be m(-6). Let f = 27 + -39. Let l = f - -25/2. Which is bigger: l or o?
o
Let q = -0.25 + 0.05. Which is bigger: q or 11?
11
Let l(d) = 3*d - 27. Let m be l(16). Are 2/7 and m nonequal?
True
Suppose -v + 42 = 5*a - 4, -5*v + a + 178 = 0. Let r be 1/2 + (-6)/v. Which is bigger: 1 or r?
1
Suppose 2 = h - 3*b, 5*b = -3*h - h - 43. Let p = h - -4. Let j = -3 - p. Which is smaller: j or -2?
-2
Let g = 28.6 + -29. Let h = 0.2 - 0.3. Which is smaller: g or h?
g
Suppose 3*l = -3*m - 12, -61 = 4*m + l - 6*l. Let q be 6*(3 + 24/m). Which is smaller: q or -3?
-3
Let z = -26 - -26.32. Is -0.1 at most as big as z?
True
Let x be 3 + -1 - 256/56. Let s = x + 76/35. Let m(w) = -w - 2. Let k be m(-3). Is k greater than or equal to s?
True
Let k be (-1 - 25*-1) + 0. Suppose -3*q + k = -3*r - 0*q, 4*r = -q - 7. Is r <= 2?
True
Let m(t) = t**3 - 14*t**2 + 12*t + 13. Suppose -5*i + 12 + 53 = 0. Let z be m(i). Which is bigger: z or -2/13?
z
Let s(v) = -v**2 + v - 20. Let w be s(0). Suppose -3*x = b + 35, -2*b - 42 = -x - 7. Is b smaller than w?
False
Suppose -2*r + 14 = 4. Let v be 4*(-2)/(-16)*4. Suppose -7*d + 2*d - 15 = -v*x, 2*x - d = 11. Is x greater than or equal to r?
True
Suppose -5*q = -4*q. Suppose q*k - 5*l - 31 = -2*k, k = 5*l + 28. Let h be (-1)/((21/(-1))/k). Which is smaller: h or 0?
0
Suppose -4*p + 21 + 9 = 2*r, -2*r + 33 = 5*p. Is 9 at most r?
True
Let p(z) = 4*z + 13. Let b be p(-5). Let l(a) = a + 6. Let r be l(b). Is -8/5 bigger than r?
False
Let u be -2 + -6*2/(-9). Let h = -1 - u. Is -1 <= h?
True
Suppose -5*h = 21 + 39. Let n = -13 - h. Which is smaller: n or -3?
-3
Suppose 0 = -0*s + 5*s + 2*r - 10, -4*s = -4*r + 20. Which is smaller: s or -3/23?
-3/23
Let b be 5*(2/(-8))/((-25)/8). Is -0.03 <= b?
True
Let p(j) = j**2 + 14*j - 32. Let g be p(-16). Which is smaller: g or -2/39?
-2/39
Suppose -4*m + 1 + 11 = 0. Let u be (-30)/(-4)*4/m. Which is greater: u or 11?
11
Let s = -5 - -8. Let d be (-3*(-8)/6)/((-84)/(-63)). Is s greater than or equal to d?
True
Let z = -3 - -2.96. Let d = 0.24 + z. Is 0 equal to d?
False
Let q be 2/2*(-2 + -1). Suppose -4*h + 48 = -4*c, -4*h = -2*c - 3 - 27. Let t be (-6)/(-27) + 29/c. Is t greater than q?
False
Suppose 82*g + 27 = 79*g. Which is smaller: g or -6?
g
Let j be 16/(-10) + 1 + 1. Is j greater than or equal to 5?
False
Let f(i) = -6*i**2 - 3*i. Let p be f(-2). Let m = p + 107/6. Are 0 and m non-equal?
True
Let l be 9 + -2 + 3 - -1. Is 11 less than or equal to l?
True
Let x be (-6)/(-40)*104/(-12). Let j = x + 5/4. Is j at least as big as -1?
True
Suppose -z + 2*z - 2*v + 3 = 0, 4*v - 12 = 0. Suppose -b = -z*b. Let i be (-1)/3*(0 + b). Which is greater: i or -4/5?
i
Suppose 2*x + 3*x = 10. Is x smaller than 2?
False
Suppose -2*v + 2 = -0. Let g be ((-9)/(-6))/(1 + v). Which is smaller: 2 or g?
g
Let w(f) = -f**3 - 4*f**2 - 5*f - 3. Let s be w(-3). Let t be (4 - 6)/1 - -4. Let v = s - t. Which is smaller: 1/3 or v?
1/3
Let b(m) = -4 - 5*m + 4*m + m**2 + 0*m**2. Let k be b(0). Does k = -3?
False
Suppose 2*d = -2*d. Let b = -7 - -7. Are b and d equal?
True
Let m be ((-9)/(-12))/(4/112). Let y = 253/12 - m. Which is bigger: 0 or y?
y
Suppose -2*z + 3*z - 3 = -5*q, 6 = 2*z - 2*q. Suppose 2 = -z*s + 8. Which is bigger: 9/4 or s?
9/4
Let u = -97 + 98. Which is bigger: 6 or u?
6
Let a be ((-2)/10)/(380/(-25)). Let r = a + 299/380. Which is smaller: 0 or r?
0
Let a = -9 - -17/2. Let h = 15 + -6. Is h smaller than a?
False
Suppose 6*w = w - 300. Let i be (-2)/7 - w/(-35). Let g = i + 0. Is -1 equal to g?
False
Let v = -47 - -35. Is v at least -2?
False
Let l = 83 - 577/7. Is l smaller than 1?
True
Let q = 0.5 - -0.5. Let t = -1.56 + -0.44. Which is greater: t or q?
q
Let d be (-4)/(-12) + 55/(-3). Let y be (-2 + d/(-7))/(-2). Which is smaller: -0.04 or y?
y
Suppose c - 14 = -c. Let d(w) = w**3 - 8*w**2 + 7*w + 1. Let b be d(c). Let n be (-1)/(-2) - 27/30. Which is smaller: b or n?
n
Suppose 3*b + 7 = 10. Let x = 597/5 + -119. Which is smaller: b or x?
x
Let b = -9/13 + 1/39. Suppose d - 55 = -4*d. Let m = 10 - d. Which is smaller: m or b?
m
Let q = -16 - -24. Let t be ((-4)/(-6))/(2/21). Is t bigger than q?
False
Let i = -48 + 45. Is -30/19 less than or equal to i?
False
Let b be (-1)/36*-19 + 60/(-80). Is 0.16 less than or equal to b?
False
Let c = 18 + -71/4. Let u = -2.1 + 2. Is c greater than or equal to u?
True
Let r(s) = s**3 + 6*s**2 + 4*s - 1. Let m be r(-5). Suppose m*b + 5 = -3. Which is smaller: -3 or b?
-3
Suppose 3*f = 8*f + 20. Let q(s) be the second derivative of -s**4/12 - s**3/2 + 3*s**2/2 + s. Let t be q(f). Which is smaller: -0.1 or t?
t
Let m = 3 - 0. Suppose 1 = -y - 3*h, 0 + m = y - h. Is 1 <= y?
True
Let z be 31/5 + 144/30 + -4. Is z not equal to -10?
True
Let f(d) = -5*d - 2. Let z be f(2). Let w = -2 - z. Let j = 15 - w. Which is smaller: 4 or j?
4
Let n = -19 - -23. Is n smaller than 23/5?
True
Let q = -40/3 - -13. Let i be (4/6)/(2/(-3)). Let y = i + 0. Is y at least q?
False
Let j(b) = 5*b**2 - 9 + 3*b**3 - 2*b**3 + 3*b**2 - 10*b. Let m be j(-9). Suppose m*g = -2*g. Which is bigger: g or 2/11?
2/11
Let g = 66 + -65. Which is smaller: g or -3/31?
-3/31
Let n(l) = l - 1. Let a = 1 - -6. Suppose -5*o = -2*q + 27, -a = -q + 2*o + 5. Let f be n(q). Is f equal to 5?
True
Suppose -20*k = -25*k + 5. Is k at least 1/7?
True
Let a(j) = 3*j**2 + 3*j - 2. Let k be a(-3). Let o be (-2)/3 - k/(-24). Which is smaller: -2 or o?
-2
Let c(y) = y**3 + 8*y**2 - y - 6. Let m be c(-8). Suppose 5*l + m*s - s - 17 = 0, l + 5*s + 11 = 0. Let q be 14/120 - l/16. Which is bigger: q or 1?
1
Suppose 3*u = 5*l - 95, -7*l + 2*u = -3*l - 76. Let i = l + -11. Is i not equal to 7?
True
Let p = 3.81 - 0.71. Which is bigger: 3 or p?
p
Suppose 6 = -2*j + 36. Suppose -j = 3*f, 4*f = -3*i - f - 25. Is -1/4 greater than or equal to i?
False
Let k(c) = -2*c - 26. Let g be k(-13). Are 30 and g equal?
False
Let a = 0 - -3. Let h be (2 - a) + 3 - 2. Are -1/4 and h equal?
False
Let z(g) = -g + 7. Let r be z(-6). Suppose -r = 5*d + 2, 5 = 4*l - 3*d. Let s be 6/(-27) - 26/45. Is l less than or equal to s?
True
Let s be (-3)/4*104/27. Let q = s + 121/45. Is -0.2 <= q?
True
Let r(w) = w**3 + 2*w**2 - 2*w + 3. Let d be r(-3). Is d less than or equal to -2/11?
False
Let p(f) = -f + 7. Let t be p(5). Suppose n - t = -n. Let q be n/(-1) + (-4)/(-10). Which is smaller: -2 or q?
-2
Suppose 2*h - 3 = -3*g + 18, 2*h - 2*g + 4 = 0. Does h = 27/7?
False
Suppose u - 9 = 5*s - 0, 4*s = 3*u - 5. Let z be 4/3 + s/6. Let q = 0.01 - 0.01. Is z greater than q?
True
Let t = -17 - -22. Suppose t = u + 7. Which is bigger: 0.5 or u?
0.5
Let w(f) = f**2 - 11*f + 6. Let x be w(9). Let g be (-3)/x + 2/(-8). Is g less than or equal to -2/11?
False
Suppose 3*p = 4*w - 18, 6*w = 3*p + w + 21. Let q be -3 - p*(-3)/2. Does q = -4?
False
Let k(g) = g + 12. Let i be k(-9). Suppose -5*t - i = -2*t. Is -2/3 <= t?
False
Let g be ((-318)/(-45))/((-2)/(-18)). Let s = g + -64. Is 1 greater than s?
True
Suppose 0 = 5*n - n + 16. Is 1/4 equal to n?
False
Let v(c) = 7*c**2 + 4*c + 17. Let r(t) = -3*t**2 - 2*t - 8. Let s(m) = 9*r(m) + 4*v(m). Let k be s(3). Let h = 1 - 1. Is h not equa