 x be (-15)/18 - (-2)/s. Which is bigger: -2 or x?
x
Let u = -1/13 - 23/39. Is u <= -1?
False
Let d(c) = 6*c - 49. Let q be d(7). Are q and -13/2 unequal?
True
Let p be 16/(-24)*(-2)/8. Are -3/7 and p nonequal?
True
Suppose -2*m + 3*m + 3*w - 15 = 0, -7 = -m + w. Suppose -p + 10 - 37 = 0. Let a be (-21)/p + 2/m. Is a bigger than 1/5?
True
Let x be (-1)/3 - 87/9. Let c be 16/(-9) - x/(-45). Let a(t) = t**2 - 8*t - 9. Let i be a(9). Is c > i?
False
Let d = -3 - -1. Suppose 4*f = -0*f + 8. Let i be ((-2)/26*d)/f. Is 0 at most i?
True
Let c = 0 - -2. Let v be (-1)/(-2) + 3/c. Suppose -3*m + 5 - v = 0. Is 2 != m?
True
Let y be (6/(-8))/((-7)/168). Suppose 2 + 0 = 5*t + 4*x, 5*x = 4*t - y. Which is smaller: -2 or t?
-2
Let u = -28 - -16. Let k be ((-1)/(-16))/((-2)/u). Suppose 0*b + 3*b = 0. Which is greater: k or b?
k
Let s = -43319/276 - -1877/12. Let h = s - 3/23. Is h smaller than -2?
False
Suppose 5*t - 4 = -3*a, a - 4*t + 1 - 8 = 0. Is 1 smaller than a?
True
Let n = -22 + 21.9. Which is smaller: n or -0.04?
n
Let x(d) = d - 2. Let c be x(-7). Let g = -17 - c. Let l = g + 3. Is -6 at most as big as l?
True
Let n = 1.9 - 2.9. Do 2/29 and n have different values?
True
Let j = 2/399 + 260/1197. Is 0.08 smaller than j?
True
Suppose 70 = 5*k + 5*t, -23 = -2*k - 6*t + 5*t. Suppose u + u - 4*f = 14, 2*f = -2*u + 20. Is u > k?
False
Let u = -109447/7 - -15536. Let b = -99 - u. Is -1 bigger than b?
False
Let j(s) = -2*s**2 - s + 1. Let f be j(2). Let b = -6 - f. Suppose -20 = b*g + 2*g. Which is greater: -3 or g?
-3
Let q = 0.6 - 0. Let f = 391.1 + -391. Is q smaller than f?
False
Suppose 5*s = 4*s + 20. Suppose 0*z = -5*z + s. Which is greater: 8/3 or z?
z
Let p(t) = -2*t + 42. Let q be p(21). Is q less than -9/10?
False
Let l be 3 + -5*3/1. Let k be (-39)/24 + (-18)/l. Which is bigger: -1 or k?
k
Let p = 0.002 - 0.102. Which is smaller: 2/137 or p?
p
Let w(b) = -4*b - 7. Let v be w(-4). Is v bigger than 7?
True
Let v be 0/(-2)*(-1)/2. Let g be (-7 - (-2 + -2)) + 38/12. Is g at least as big as v?
True
Suppose 4*r - 242 = -90. Is r at least 38?
True
Let v be (1/(-6))/((-1)/4). Let i = -2.92 + -0.08. Let j = -2 - i. Which is smaller: j or v?
v
Let d = -0.08 + 0.18. Is -29 != d?
True
Let m be 2/(-4)*1/(-2). Let g = -8 - -11. Let y = 3.1 - g. Which is greater: y or m?
m
Let m(w) = w - 1. Let f be m(1). Let g = 4 + -10. Let y = g - -7. Is y > f?
True
Let h = 1 - 1. Let j = 29 + -30. Is h not equal to j?
True
Let z = 11 - 10. Suppose -3*q = -q - 2*r + 14, 0 = 5*q + 5*r - 15. Is q != z?
True
Let z be (-220)/75 - (-2)/6. Which is smaller: -2 or z?
z
Let m(u) = u**2 - 7. Let w(h) = -1. Let c(j) = -m(j) + 3*w(j). Let v(x) = -x**2 + 5. Let n(d) = -5*c(d) + 4*v(d). Let l be n(0). Which is smaller: l or 1?
l
Let l = 1.9 - 2.9. Does l = 1/2?
False
Let d(s) = -4*s - 6*s**2 + 2*s - 1 - 2*s. Let l be d(5). Let n = l + 1879/11. Is 0 bigger than n?
True
Let j be (-78)/8 + 3/(-12). Let u = j - -1. Is u < -10?
False
Let s be (-66)/(-14) + 4/14. Let j(p) = p**2 - 7*p + 7. Let o be j(s). Let r be -1*((-27)/(-12) + o). Is r less than or equal to 2?
True
Let f be (1/(20/12))/(-5). Which is smaller: 1 or f?
f
Let s = -0.4 + -1.6. Let m be 1/2 - (-54)/12. Suppose l + 4*l = -m. Is l bigger than s?
True
Let f(x) be the first derivative of x**2/2 + 6*x + 1. Let b be f(-5). Let u = -255/4 - -64. Is b at least u?
True
Let b = 4.1 - 4.3. Let v = -3 + 5. Which is bigger: b or v?
v
Suppose 0 = y + 2*y - 30. Let g be 112/(-5) - (-4)/y. Let v be g/8 + (-1)/4. Are v and -2 unequal?
True
Let j = -5.3 + 5.2. Is -14 equal to j?
False
Let g be 8/(-1)*24/(-16). Which is bigger: 14 or g?
14
Suppose -5*l + 0*l = -3*n - 10, 5*l = 4*n + 10. Let f be 1*(-4 + l) + 2. Let i = -1 - f. Is -1 smaller than i?
False
Let r = 33 - 20. Is r >= 43/3?
False
Let k be 0/((-3)/(-3) - 0). Suppose 0 = -k*x - x - 4. Let g = 2 - x. Is 5 < g?
True
Let g = 989/5 + -197. Which is bigger: 2 or g?
2
Let r = -0.34 + -17.46. Let p = r - -13. Let o = p + 5. Are 2 and o equal?
False
Let b be 1 - -1 - (-4 + -2). Let a be (b/(-10))/(1 + 1). Suppose -4*p + p - 3 = s, 2*s + 6 = 4*p. Is p less than or equal to a?
False
Let u be 1 + (-2*1)/2. Let x = -2 - u. Is x at least as big as -2?
True
Let y be 3 + (-1 - (-6)/(-3)). Let c be (1 - (-2)/4)/(-6). Which is smaller: c or y?
c
Let w(f) = 5*f - 5. Let h be w(-7). Let c be (-1)/5 + 2/h. Which is bigger: 0 or c?
0
Suppose -k - 17 = -59. Is 41 at most as big as k?
True
Let h = 10 + -6. Suppose t + k = -h, t - 4*k + 1 = 12. Let j(a) = -2*a - 10. Let n be j(-4). Which is greater: n or t?
t
Let b = -2 - -2. Let z = b - -15. Suppose -5*m + z = -h + 5, -5*m = -2*h - 10. Is -2/3 at least h?
False
Let l = -19 - -77/4. Let v(r) = -r**3 - 9*r**2 + 11*r + 8. Let y be v(-10). Let s = 1 + y. Which is bigger: s or l?
l
Let a be 18/(-12)*1 + (-3)/(-2). Which is greater: a or 1?
1
Let t = 1/3 + 0. Which is smaller: t or 1?
t
Let p = 11 + -10.8. Which is greater: -0.1 or p?
p
Suppose -2*p - 52 = 4*g, -7*g + 4*g - 53 = 2*p. Which is smaller: -29 or p?
-29
Let q be 1 + 1 + (-6)/3. Suppose q = 2*s - 7*s - 4*l - 18, s = -2*l - 6. Are s and -2 non-equal?
False
Let z = -1 + -5. Let u(a) = -18*a + 29. Let h be u(2). Which is smaller: z or h?
h
Suppose -r + 5*k = -22, -5*k - 19 = 5*r + 21. Which is smaller: r or -15/4?
-15/4
Suppose -4*d + 6 = -10. Suppose -d*f = -f. Let i be 2 + (56/15)/(-2). Which is smaller: i or f?
f
Suppose -5*d = -3*d. Let z be (0 - (d - 1)) + 4. Let w = z + -8. Which is smaller: -4 or w?
-4
Let v = 20 + -14. Suppose 0 = 3*g - 0*g - v. Let x = 0.02 + 1.98. Are x and g unequal?
False
Let d = 5 - 5. Suppose 5*i - 8 - 7 = d. Is i bigger than 3?
False
Suppose 22*j = 5*j + 17. Let z be 19/(-8) + (3 - 1). Which is smaller: z or j?
z
Let r be 1/((-14)/(-30) + (-22)/165). Let i(b) = -b**2 - 2*b + 3*b**2 - b**2 + 1. Let x be i(3). Do r and x have different values?
True
Let l be 5/105 - (-2)/(-6). Let f = -1 - 0. Let k(t) = t + 2. Let c be k(f). Do l and c have the same value?
False
Let n = -12 + -14. Do n and -26 have different values?
False
Suppose -a + 3 = -5*u, a + 5*u = -a - 9. Let n = 0 - a. Suppose -5*b = -2*g - 6, -2*b - 6 = n*g - 6*b. Is -4 equal to g?
False
Let n = -17 - -14. Let x be (2 + n)*(0 - 0). Which is smaller: x or 1?
x
Let h = -0.2 - 2.8. Let f(r) = r - 8. Let n be f(6). Which is smaller: h or n?
h
Let y be 177/504 + 2/(-6). Let h = y - 123/616. Which is greater: h or 0?
0
Suppose 0 = 2*x + i - 57, -5*i + 175 = 5*x + 40. Is 32 greater than or equal to x?
True
Let z = 37/8 + -31/8. Let s be -2 + 0 + 3 - 0. Which is bigger: z or s?
s
Let b = 5 + -2. Which is greater: b or 1?
b
Let f be (0 - -2)/((-4)/(-10)). Suppose -f*b - 10 = -0. Suppose 3 = -2*j - 1. Is b at most as big as j?
True
Let m = 0.1 + -2.1. Let k = m - -2. Which is smaller: k or -1?
-1
Suppose r + 12 = 5*u, r - 4 = 3*r. Let x be (1 - 1)*1/u. Are -2/21 and x unequal?
True
Suppose 64*i = 67*i + 60. Is -20 less than or equal to i?
True
Let g(q) = 0*q - 3 - 2*q + q. Let i = -1 - 2. Let x be g(i). Is x <= 0?
True
Suppose 25 = 5*d, -z - 2*d + 27 = d. Suppose 0 = -2*x - 2*x, -4*x = 3*y + z. Do y and -4 have different values?
False
Suppose a + 0 + 8 = 3*h, -a + 4 = h. Are a and 2/155 unequal?
True
Let y = 16/9 - 98/45. Let j be -1 + -4*1 + 1. Let v = j - -3. Is y greater than v?
True
Let w(f) = -5*f - 4. Let y be w(0). Is -7 greater than y?
False
Let h = -2.3 - 0.7. Let b = 6 + -4. Let x = b + h. Do x and 1/6 have the same value?
False
Let b = 7.19 - 7.2. Let p = -1 - -1.1. Let x = p - 0.2. Is x at most as big as b?
True
Suppose -5 - 7 = -4*g. Suppose -4*u = -g*u - 1. Is 1 equal to u?
True
Let x be (-15)/20 - (9/(-13) - 0). Is x at most 0?
True
Let b = -9 - -15. Let f(q) = q**2 + 7*q + 1. Let z be f(-6). Let v = z + b. Which is greater: 2 or v?
2
Let i = -0.3 - -12.3. Let f = i - 8. Let y = f + -5. Which is smaller: 1/3 or y?
y
Let v = 675/91 + -46/7. Which is smaller: 2 or v?
v
Let k = 2 + -4. Let y(s) = -2*s**2 + 1. Let l be y(-1). Let c = l - k. Is c at most as big as 1?
True
Suppose 5*m - 11 = -2*v - 0, 2*m + 5*v + 4 = 0. Suppose 7*r = m*r. Suppose r = -n - 3*n. Is -3/4 not equal to n?
True
Let x be (0 + (-42)/10)*2/12. Is -2 equal to x?
False
Let u = 95 - 86. Let v be -1 - 1 - 5/(-2). Which is bigger: v or u?
u
Let 