). Let y be s/(-9)*3/(-4). Is y equal to -0.3?
False
Suppose -3*p + 30 = -15. Let j = 11 - p. Let t be (-1 - -3)/(-1 + j). Which is smaller: -1 or t?
-1
Let w(g) = 8*g**2 - 3*g**2 + 3*g**3 - 2*g**3. Let q be w(-5). Let u be 35/5 - (-99)/(-18). Which is greater: u or q?
u
Suppose 0*j + 6 = 3*j. Which is bigger: j or 3?
3
Let v(n) = -n**2 + 4*n - 2. Let t be v(2). Let q be (-5)/10*t/5. Are -1 and q nonequal?
True
Let a = 8 + -5. Suppose 4*w - 2 = -f, a*w = 2*f + 3*f - 10. Which is smaller: w or 1?
w
Let a be 1/(-3) - (-61)/21. Let n = 79/28 - a. Which is smaller: n or -1?
-1
Let a = 97 - 103. Which is smaller: 0.2 or a?
a
Let r(n) = -n**2 + 3*n + 2. Let p = 3 + -3. Suppose p = -0*g + g - 4. Let w be r(g). Is w equal to -2?
True
Let v = 8 + -13. Let d = -5.1 - v. Is d less than -1/4?
False
Let l(p) = -14*p**2 - 14*p**2 - 4*p + p**3 - 1 + 25*p**2. Let g be l(4). Is g greater than or equal to -1/41?
False
Let w = 6/17 - 41/68. Do w and 0.22 have different values?
True
Let z(m) = -m**2 - 11*m - 12. Let f be z(-9). Suppose 2*i - 4*t + 5*t - f = 0, i - t = 0. Are 2 and i unequal?
False
Let v(y) = -y**3 + 4*y**2 + 46*y - 9. Let s be v(9). Let p be (-4)/58 + (0 - 0). Is s at most p?
False
Let g be 15/20*(200/(-84) - -2). Let q = -175 - -1927/11. Which is smaller: g or q?
g
Let j be (-458)/264 - (-1)/4. Let n be 3*(-15)/(-220)*-4. Let g = n - j. Is g greater than 2?
False
Let y be 4 - 7 - (-102)/14. Let x = y + -436/105. Let t be 1*(1 + 0) - 2. Which is smaller: x or t?
t
Let g(k) = -k**2 - 8*k + 9. Let j be g(-7). Let t = j + -17. Which is smaller: 2/35 or t?
t
Let g(l) = -l**2 + 22*l - 22. Let r be g(21). Which is bigger: r or -0.063?
-0.063
Suppose -z = 2*z. Let l be 1 - (0 + 1) - z. Let m be (2 - 32/10) + 1. Are m and l nonequal?
True
Suppose -3*d + 5*s = 14, 2*s + 2 = s. Let i be (d/(-10))/(2/(-10)). Let u = -7 + 4. Is u bigger than i?
True
Let m(b) = -b - 10. Let s be m(-7). Let u be (-4)/s*2/(-8). Let l(i) = i**3 - 3*i**2 - i + 1. Let t be l(3). Is t < u?
True
Let g = -185 + 184. Let h = 1.8 - 2. Is g less than or equal to h?
True
Let r = 0.1 - -0.1. Let p = 0.1 - r. Let a = p + 4.1. Which is greater: 0 or a?
a
Let p = 0 - -2. Let j be (20/6)/(4 + (-4 - -1)). Is j <= p?
False
Let m be 16/12*(-3)/(-2). Suppose -2*r + 0*r = m. Suppose 2*f - a = -2, a + 3 = -3*f + 5*a. Is f at most as big as r?
True
Let n = 4 + -7. Let l(g) = 2*g + 7. Let f be l(-5). Let b = f - n. Which is smaller: b or 1/2?
b
Let o = 0.02 + 4.98. Which is greater: -4/7 or o?
o
Let h = -0.012 - -6.012. Which is smaller: h or -4?
-4
Suppose -2*s - 29 = -73. Which is smaller: 0.1 or s?
0.1
Let i(t) = -t**3 + 6*t**2 - 4*t + 2. Suppose -6*s = -2*s - 20. Let z be i(s). Let y = -58 + 64. Is z greater than y?
True
Let l = -5/41 + -431/164. Which is greater: l or -4?
l
Let u(a) = a + 5. Let p be u(-6). Let f be 2/p + 18/8. Let t(i) = -i + 2. Let b be t(3). Is b less than or equal to f?
True
Suppose -3*g - 2 = -5*g. Which is greater: g or 3/2?
3/2
Let i = 18 - 12. Let y = 28 + -21. Let a = y - i. Which is smaller: a or -2/13?
-2/13
Let x = -30 + 60. Are x and 29 equal?
False
Suppose -2*w + 0*w = 12. Let a be ((-9)/w)/3*0. Which is greater: 2/11 or a?
2/11
Let s = -185/4 - -46. Are -15 and s equal?
False
Let t = 485/2327 - -4/179. Let x(f) = -22*f + 307. Let w be x(14). Is t < w?
False
Let l = -97/70 - 4/35. Which is greater: -2/3 or l?
-2/3
Let c = -9 - -13. Let v be c/(-9)*(-1)/2. Let o(f) = f + 3. Let h be o(-3). Is v equal to h?
False
Suppose 3*d + 2 = 5*d, -2*d = -k - 3. Are k and 0.1 non-equal?
True
Suppose 0 = -4*m + 3*z - 17, -5*m - 4 = 3*z - z. Do m and 0 have the same value?
False
Suppose 4*w - 30 = -18. Is 13/4 at most w?
False
Suppose 43*w - 40 = 38*w. Is 7 less than w?
True
Suppose -14 - 18 = -f - 4*i, -3*f = -3*i - 21. Let s be (40/f)/(4/6). Let d = s - 5. Which is bigger: d or -2/11?
d
Let n be 4 - (-57)/(-15) - (-1)/(-5). Which is greater: n or -3?
n
Let m(y) be the first derivative of -y**4/12 - y**3/3 - y**2 + 2*y + 3. Let t(s) be the first derivative of m(s). Let a be t(-2). Is a <= -2?
True
Let o = -7 + 6. Let j = 4 - 4.1. Which is smaller: o or j?
o
Suppose -5 = 5*p + 15, 5*p = -4*b. Let t = b + -9. Are -4 and t equal?
True
Suppose 0 = -3*q - 6 - 6. Let n = 9/2 + q. Which is smaller: -0.1 or n?
-0.1
Let x = 11 - 8. Which is greater: x or 11/5?
x
Let w(i) = 19*i**3 - 2*i**2 + i. Let v be w(1). Suppose -3*a - m - 9 = 0, -4*a - m = v - 6. Let t be 0 + 5/((-5)/2). Which is smaller: a or t?
a
Let d = -6/103 - 552/1133. Suppose i = -4*i. Which is smaller: i or d?
d
Suppose -5*c = -4*p - 21, 5*c - 38 = -2*p - 11. Suppose -14 = -c*k + 6. Let f be k/(-9)*2/4. Is f at least as big as 1?
False
Suppose -l - 3*l = -2*t - 14, 0 = -4*t + 12. Let g = 4 + -1. Suppose -l*z = -2*z - g. Are 1/5 and z nonequal?
True
Suppose -6*q - 198 = -12*q. Which is smaller: q or 34?
q
Let k(h) = -2*h**3 - 30*h**2 - h - 15. Let p be k(-15). Which is smaller: p or -2/55?
-2/55
Let r = 3 + -1. Suppose 5*v - r + 12 = 0. Is -2 less than or equal to v?
True
Let o be 12/75*(-25)/(-10). Let k = -4 - -1. Is o at most as big as k?
False
Let c = 226 - 1579/7. Which is smaller: c or 1?
c
Suppose 3*s - 21 = 18. Let q = s + -8. Is q less than or equal to 5?
True
Let o = 2/13 + 29/65. Which is bigger: o or 1?
1
Let g = 34 - 33. Is 1 equal to g?
True
Let f = -1/42 + -9/14. Let u(t) = t**3 - 12*t**2 + 12*t - 10. Let j be u(11). Is f less than or equal to j?
True
Suppose 3*h - 8*p - 11 = -3*p, 4*h = 5*p + 13. Suppose 3*f - 4*c - 27 = 0, -2*f - 3*f - h*c + 19 = 0. Is 4 < f?
True
Suppose 2 = u + u, 4*u - 7 = -3*m. Suppose 2*n + o - m = 0, 5*n - 7 = -3*o - o. Let a(c) = -c - 8. Let h be a(-7). Is n at least h?
True
Let h be (-6 - -7) + 8/10. Which is bigger: 3 or h?
3
Let u = 0.6 - -5.4. Let c = 5.6 - u. Let b = -0.3 - c. Which is bigger: -0.2 or b?
b
Let k be -3 - ((-121)/21 - -3). Let r = k - -73/42. Which is smaller: r or 2?
r
Let s(a) = 11*a - 1. Let k be s(-1). Let z be (k/(-33))/(84/422). Let i = z - 46/21. Which is bigger: i or -1?
i
Let z(s) = s**3 - 2*s**2. Let c be z(2). Let o(d) = -2*d - 7. Let x be o(-5). Suppose -f + 3*f - 7 = x*t, f - 4*t - 11 = 0. Which is smaller: c or f?
f
Let i = 7 - 5. Let w be (-112)/(-21) - i/6. Suppose 5*d = 6*n - n - w, 3*d - 5 = -5*n. Is d at least 1?
False
Let r = 6 - 5. Suppose -2*a = -r + 7. Which is bigger: a or -7/4?
-7/4
Let h be ((-2)/(-4))/((-1)/(-2)). Let j be 80/(-45) + (h - -1). Is j less than 2/7?
True
Let x be 28/(-5) - 4/10. Let j be (-3)/2 + 3/x. Let r be (-2)/5 + 15/(-25). Which is bigger: j or r?
r
Suppose 0*m + m + 2*u - 5 = 0, -m + 7 = 3*u. Which is greater: m or -2/15?
m
Suppose 3*d - f = 7, -2 - 2 = -2*d + f. Suppose 3*a + 5*c = -21 + 6, -c = 5*a + d. Is a at most -1/10?
False
Let t = 0.06 + -0.26. Which is bigger: -5 or t?
t
Let f = -27.1 + 7.1. Which is greater: f or 0?
0
Suppose -2*d - 2*d + 41 = -u, -3*u = -2*d + 23. Let p = -6 + d. Suppose 0 = 2*i - p + 2. Which is smaller: 2 or i?
i
Let k(u) = -u**3 - 4*u**2 + 4*u - 2. Let d be k(-5). Suppose 0 = 4*n - d*n. Which is bigger: n or -2/13?
n
Let q(x) = 4*x + 2. Let c be q(-3). Let v(d) = d**2 + 9*d - 8. Let s be v(c). Let j = -2 - -3. Which is bigger: j or s?
s
Let h = -1443 + 1444. Let j = -26438/77 - -2378/7. Let m = j - -38/11. Which is smaller: h or m?
m
Suppose 0 = -t - 3*t + 28. Suppose 0 = 3*w + 2*w + d - 25, w = 4*d + 5. Let g = t - w. Are 2 and g unequal?
False
Let f(o) = -o + 12. Let w be f(11). Suppose 5*q + 5 = -4*c - c, c - q + w = 0. Which is smaller: -5/6 or c?
c
Let s = -0.17 - -0.27. Is -17 greater than s?
False
Let t be (-3)/(-1 + -35)*1. Suppose 20 = l + 5*q, -2*l - 2*l + 4 = q. Which is smaller: t or l?
l
Suppose 2*w + i - 23 = 3*w, 0 = 3*w + 5*i + 77. Let x be 10/w + 2/3. Is -1 >= x?
False
Let r(a) be the third derivative of a**5/60 + a**4/3 + 7*a**3/6 + a**2. Let l be r(-7). Suppose -3*x + 5*v = 3, l = -2*x + 5*v - 2. Is -4/5 bigger than x?
True
Let b = -0.01 - 0.99. Let s(v) = -v - 7. Let u be s(-12). Let j be (u + -4)/(7*1). Is j less than b?
False
Let i = 41 + -41. Let c be (-4)/3*(-15)/2. Suppose 3*b + 11 = 4*p, -5*p + b = -2*b - c. Which is greater: p or i?
i
Suppose -2*t = -4*f - 0*t - 20, 8 = -4*t. Let c = -6 - 0. Is f less than or equal to c?
True
Let k be 136/14 - (-2)/7. Let b