 y = 107/280 - m. Are 1 and y unequal?
True
Let p = 14 + -21. Let o = p - -7. Let f(a) = -a**2 - 8*a - 9. Let z be f(-6). Is o equal to z?
False
Let w = -34 + 241/7. Which is bigger: 0 or w?
w
Let p = -12.3 - -12.3. Let k = 0.3 - 0.8. Which is smaller: k or p?
k
Let y = 5 + -3. Let g(b) = -6*b**2 + 0*b**y - b**3 - 2*b - 4 + b. Let u be g(-6). Which is smaller: 3 or u?
u
Let c = 1.654 + 0.346. Suppose 19 = 5*s - 0*s + 2*m, 0 = s - 5*m + 7. Which is smaller: c or s?
c
Let k be (-45)/25 - 1/5. Let q be -1*k*1/(-2). Which is bigger: q or -1/6?
-1/6
Let u = -110.3 - -110. Let s = 3 - 2.9. Which is smaller: u or s?
u
Let a = -5 - -7. Suppose -12 = -q - a*c + 2, 3*q + 8 = 4*c. Suppose 2*o - 2 = -q. Is -1 > o?
False
Let w be 6/4*(-16)/(-1212). Let y be 109/202*(-2)/(-4). Let g = y - w. Which is bigger: g or -1/4?
g
Let h be 7/4 - 3/12. Is h <= 2?
True
Suppose l - 6*l + 3*l = 0. Which is smaller: -2/77 or l?
-2/77
Let c = 1 - -1. Suppose 6 = -c*s - s. Let z be (-1)/s*1/(-3). Which is smaller: z or 1?
z
Let i(p) = -p**3 - 5*p**2 - 2*p - 7. Let b be i(-5). Suppose -c - 2 = w, 4*c + b + 5 = 3*w. Which is greater: c or -3?
c
Let y be (-10)/5*18/(-4). Let i(x) = x**2 - 11*x + 11. Let l be i(y). Is l less than -1?
True
Let c(u) = -3*u**2 + 13*u - 4. Let m be c(4). Which is smaller: -2 or m?
-2
Let x be (5 - 29)*1/2. Let y be (-116)/24 + (-2)/x. Let b = y - -16/3. Which is bigger: 5/3 or b?
5/3
Suppose 1 = 5*b - 4. Let g = b + -1. Is 0 smaller than g?
False
Let o be ((-4)/(-8))/((-1)/4). Let a = o + 2. Let h = 10/21 + -68/231. Which is smaller: a or h?
a
Let h be 3/(1 + (-33)/6). Let w = 6 + -6. Which is smaller: h or w?
h
Let u = -2 + 2. Let z be (-32)/50*(-96)/(-33). Let q = z + 42/25. Is q > u?
False
Let n = -1 - 10. Is n greater than or equal to -1?
False
Let k = -232 - -2546/11. Suppose -3*y = -5*y - 4. Which is greater: y or k?
k
Let t = -6 - -5. Do -2/177 and t have different values?
True
Let w be (1 - -7)/((-1)/2). Let m be ((-1)/7)/(w/56). Are -1 and m equal?
False
Let d = 3 - 4. Suppose 3*f - 4 = -0*f - 2*g, 0 = -5*f - 3*g + 6. Is f at least as big as d?
True
Let n be 6*(-2 + 15/6). Suppose 3*c + 0*c = 6. Are n and c non-equal?
True
Let k = 8 - 6. Suppose -k*l - 2*l - 8 = 0. Is 1 at least l?
True
Suppose 4*h + 240 = 168. Is h > -0.1?
False
Let g be 3 - (0 + (-23)/(-7)). Is g smaller than 1?
True
Let w = 3.2 + -3. Let m = -0.2 + w. Let h = -1 + m. Is h less than -1/6?
True
Suppose 2 = 2*t - 6, 3*p + 2*t = 8. Let k = 1181 - 41341/35. Let m = 9/35 - k. Is m > p?
True
Suppose -h - 3 + 1 = -4*j, 3*h + 15 = 3*j. Let a = 3 - 10. Is a at most h?
True
Suppose -y + 5*t = 9, 5*y + t - 1 = -20. Let b be (-3)/y - 1/(-4). Let x be ((b - -1) + -2)/(-2). Which is bigger: 4/7 or x?
4/7
Let m = 11927/14298 + -2/2383. Let w = 1 + -1. Is m < w?
False
Let k = -38 - -37. Is k equal to 1/15?
False
Let f(p) be the first derivative of -p**4/4 - 5*p**3/3 + 3*p**2 + 1. Let l be f(-6). Let y be 78/(-90) + (-1)/(-5). Is l < y?
False
Let g = -80 + 79.47. Is g greater than or equal to 0?
False
Suppose -y + 5*y = 2*k + 8, 32 = 4*k + 4*y. Let t = 17 + -33/2. Is k less than t?
False
Suppose -2*d - 5 = 3*d. Let k = -33.3 + 34. Which is smaller: d or k?
d
Suppose 0 = -3*t - 1 - 38. Which is smaller: t or -12?
t
Let w = 58/5 + -34/3. Is 1 smaller than w?
False
Let c(k) = k**2 - 50. Let t be c(0). Let y be ((-8)/t)/((-12)/30). Is y bigger than 0.1?
False
Suppose -p + 4 = -1. Suppose -2*h + 3 - p = 0. Let l be ((-26)/(-16) - 0) + -2. Do h and l have the same value?
False
Let f = 7 - 4. Let j be ((-14)/(-5) + -2)*5. Suppose -j*p + 1 + 3 = 0. Is f at least p?
True
Suppose -5*f = -5*g - 10, 0 = -g + 2*g + 2*f - 10. Let a = 8 - 6. Suppose 4*m = 6*m - a. Which is smaller: g or m?
m
Let j(d) = d**3 - 2*d**2 + 1. Let s be j(1). Is s < 2/103?
True
Let k be 30/(-40) - -1*(-2)/8. Are k and 1/8 non-equal?
True
Let t(g) = 23*g - 5. Let x be t(-1). Is -28 < x?
False
Let w be 2/6*(-6)/8. Let s be -1*((-5)/3 + 1). Which is bigger: s or w?
s
Let j be 2/(-35)*18 - 75/(-175). Which is greater: -2 or j?
j
Let a = 1302/25 + -14893/225. Let o = -3917/3 - -1320. Let y = o + a. Which is bigger: y or 2?
2
Let g be (-4 - -3)/(5/(-5)). Which is smaller: 1/21 or g?
1/21
Let x = 11 + -15. Which is greater: x or -6?
x
Let q be 5 + -2 + 4 + -10. Which is smaller: q or 0?
q
Let s = 18 - 18. Which is smaller: s or -2/87?
-2/87
Suppose 3*j + 3*i + 6 = -3, -14 = 4*j + 3*i. Which is greater: -23/5 or j?
-23/5
Let v be (-66)/12 + 9/6 + 3. Are v and -8/11 equal?
False
Let m = -4 - 6. Let h = -8 - m. Which is smaller: 1 or h?
1
Let b = -14 - -13.6. Which is bigger: b or 2?
2
Let o(h) = -h**2 - 5*h - 1. Let s be o(-4). Suppose -3*t = 3*g + s, 1 = -t - 3. Which is greater: 1 or g?
g
Suppose -3*r + 15 = -8*r. Let p be -1 + 1 - r/(-18). Is p bigger than 2/3?
False
Let d be (4/(-7))/((-12)/42). Let w = -0.6 + 3.6. Let l = w - 2.9. Which is smaller: l or d?
l
Let a be (-1)/(-3) + 11/3. Suppose 5*k - 17 = -2. Suppose 0 = d - 2*d + k. Which is greater: a or d?
a
Let o be -5 + 2 + (-95)/(-25). Let p(j) = -j**3 - 7*j**2 - 5*j + 8. Let q = 2 - 8. Let g be p(q). Is g at least as big as o?
True
Let l(f) = f**2 + 9*f - 4. Let g be l(-10). Let d be (3/g*0)/1. Is -1/5 less than d?
True
Let n = 2419 - 41138/17. Which is smaller: n or -2?
-2
Let x(c) = -13*c - 30. Let t(y) = 4*y + 10. Let q(k) = -7*t(k) - 2*x(k). Let v be q(8). Let u be (-100)/v - (-2)/13. Is 1 less than u?
True
Suppose 5*o = -x + 13, -5*o + 35 = 5*x + 10. Suppose -2*u + 4*u = a - 12, 0 = -a - 4*u - 12. Let d = a - 2. Which is smaller: x or d?
d
Let f = 80 + -84.1. Let o = -12 + 8. Let t = f - o. Is -1/3 not equal to t?
True
Let v be -2 + 5 - (-2 + 1 - 1). Is v at least 3?
True
Suppose -6*q + 3*n + 13 = -q, 0 = 4*n + 4. Suppose 3 = -q*a - a. Let g = -11/15 - -133/120. Which is greater: g or a?
g
Let v = 54 + -72. Is v less than -17?
True
Let p = -0.02 + -0.08. Let v = 3.9 - p. Which is greater: v or -1?
v
Let u(v) = -v - 2. Let r be u(-2). Suppose -2*f - 3*b = 6, -3*b = -r*f + 4*f + 6. Suppose f = 2*q - q + 3. Is -2 at most as big as q?
False
Let c be 10/4 + 33/22. Suppose 0 = -2*w + 2*i, 6*i = c*w + 3*i. Which is greater: 2/11 or w?
2/11
Let q be (-6)/(-21) + 40/(-42). Suppose -5 = f + y, 2*f + 4*y = 4*f - 14. Does q = f?
False
Let z = -11/30 + 1/5. Suppose w + 2*c + 2*c = -12, 4*w = -3*c - 9. Are z and w equal?
False
Let d = 8 - 9. Is d > -3?
True
Let k be ((-2)/(-4))/(4/(-8)). Is 46 not equal to k?
True
Let w = 35.63 - 36. Let y = 0.07 + w. Let p be ((-1)/3)/((-1)/(-2)). Which is smaller: p or y?
p
Suppose -3 + 2 = -f. Let v = 1/45 + 13/90. Are v and f nonequal?
True
Let c be ((-5)/5)/((-3)/9). Which is bigger: c or 7?
7
Let p be 4/12 - 26/42. Suppose -m = 3*c + 1 - 2, 0 = -c - 5*m - 9. Which is greater: c or p?
c
Let f = 2 + -2. Let v be (843/(-6))/(2/(-4)). Let b = 1970/7 - v. Is b > f?
True
Let c(s) = -2*s**2 + 11*s - 9. Let i be c(4). Let m = 158/3 + -56. Let k = m - -35/6. Is i > k?
True
Let l(z) = -7*z + 1. Let u be l(1). Let d = -5 - u. Let i be (3/(-1))/(-3)*d. Is 1 greater than i?
False
Suppose 0 = -l - 3*l + 72. Is l > 19?
False
Let z be (-3)/(-6)*1 - 1. Which is greater: z or -4?
z
Let q = -3 - -6. Let s = -2 + q. Is -4 bigger than s?
False
Suppose 2*l = -5*v + 13, 0*l - 4*v = -4*l - 16. Let i = 67/3 - 22. Which is smaller: l or i?
l
Let f = -5 + -2. Let s(o) = -o**2 - 9*o - 6. Let g be s(-9). Which is smaller: f or g?
f
Suppose -4*i - 2*u + 54 = 0, 5*i - u - 87 = 3*u. Let o be i/42*(-20)/(-125). Which is bigger: 0 or o?
o
Let i = 8 - 6. Suppose -2*n - i - 8 = 0. Which is smaller: -4 or n?
n
Let j = 10 - 10. Which is smaller: j or 2/11?
j
Suppose 10*n - 45 = 5*n. Is 11 greater than or equal to n?
True
Let i(p) be the third derivative of -p**4/24 - 5*p**3/3 - 3*p**2. Let v be i(-9). Is v equal to -1?
True
Let u be (9/(-42))/((-6)/(-8)). Let d = u - -11/14. Which is smaller: d or 1/4?
1/4
Let p(o) = -o - 8. Let s be p(-11). Let z(v) = -3*v**2 + 5*v + 2 + 4*v**2 - v. Let k be z(-3). Is k greater than or equal to s?
False
Suppose -m + 6 = 4*r, -4 = -4*m + 2*r + 2. Suppose m*y + 5*u + 25 = 0, 25 = y + 3*y - 5*u. Let x = -81/2 - -41. Which is bigger: y or x?
x
Let u = 19 - 22. Let s = 0.25 - 0.25. Which is smaller: s or u?
u
Suppose 0 = -s - s + 3*m + 13, -3*s - 