. Is -1 > f?
False
Let p = -298 + 2082/7. Let j be -1*(2 - 0/(-2)). Which is smaller: p or j?
j
Let l = -79 - -77. Are 3/7 and l nonequal?
True
Let c be ((-9)/4)/3*20. Is c > -15?
False
Let a be 2/5 + (-1)/(-5). Suppose -3*g + 6*g = 0. Are g and a unequal?
True
Let m = -1.6 + 1. Let n = 1.6 + m. Is n at most 1/2?
False
Let q = 4.18 - -0.02. Let o = q - 0.4. Let r = -0.8 + o. Which is greater: 0 or r?
r
Suppose -5 + 1 = s - 4*x, 2*s - 2 = -2*x. Is s equal to -1?
False
Let j be 24/2 - (3 + -6). Suppose -2*u = -z + 10, 4*z - j = 6*z + 3*u. Which is bigger: -1/3 or z?
z
Let d be (8/12)/1 - (-2)/(-3). Let p = -13 - -9. Let f be (-10)/p*(-12)/255. Which is smaller: d or f?
f
Let o = 0.02 - 0.12. Let i = -11.3 + 13.32. Let y = 0.02 - i. Which is greater: o or y?
o
Let o(k) = -k**2 + 9*k - 8. Let d be o(8). Suppose 211 + 319 = -5*x. Let v = -956/9 - x. Which is smaller: v or d?
v
Let n = 7/22 - 137/154. Let c = -11 + 11. Which is greater: n or c?
c
Let h be (-11)/(-22)*(0 + 2). Which is smaller: h or -10/27?
-10/27
Let u(y) be the third derivative of y**4/12 + 2*y**2. Let c be u(2). Let a be 48/45 + c/(-6). Is a < 0?
False
Suppose -5*i = -209 - 1801. Let x be 0 - (-1)/(9/i). Let z = -44 + x. Is z at most 1?
True
Let z(q) = q + 7. Let b be z(-8). Let f(a) = -a**2 - 5*a + 3. Let p be f(3). Let s be (-82)/42 - 6/p. Is b bigger than s?
True
Let i = 107 - 106. Are i and -2/37 nonequal?
True
Let t(q) = q**2 - 3*q + 1. Let m be t(2). Suppose -w + 4 = -5*w. Are w and m nonequal?
False
Let h(t) = -11*t - 1. Let y be h(-1). Suppose 0*u - y = 5*u. Let d be u + 5 + -2 + -2. Is 1/10 >= d?
True
Suppose -2*m - m = -6. Let u = 1 - m. Which is smaller: u or -4/5?
u
Let s = 2 - 0. Suppose -s*a - a = 0. Which is smaller: 1 or a?
a
Let m be (-4)/(-18) - (-775)/(-45). Let d = -31/2 - m. Which is smaller: 3 or d?
d
Suppose 3*l = -2*v + l - 4, 0 = 5*v + 3*l + 4. Which is smaller: -3/22 or v?
-3/22
Suppose w = -3*n - 36, 2*n = -2*n + w - 41. Let h be 16/(-6)*33/n. Let u = -13 + h. Are u and -4 equal?
False
Let a(k) = -k**3 - 2*k**2 + 9*k - 1. Let b be 4/(-3)*(-5 - -8). Let d be a(b). Suppose -3*i - 11 - 4 = 0. Do d and i have the same value?
True
Let c = 0.39 + -0.34. Is c != 0.2?
True
Let b be (1*(-1 + 0))/1. Suppose 5*c = -0*c - 5*i + 5, 0 = -4*c - i + 1. Is c <= b?
False
Suppose 7*y = 16*y - 54. Let v be 34/10 - (-2)/(-5). Let c = y - v. Which is smaller: 0.1 or c?
0.1
Let g(i) = -i**2 - 9*i + 1. Let d be g(-9). Let p be -2 - (d - (-2 + 5)). Suppose p = -m + 2*m + 5*w + 16, 0 = -4*m + w - 1. Which is smaller: 3/8 or m?
m
Let h = 26 + -17. Let u be (-1)/3*h/(-3). Let y be (8/20)/((-29)/5). Is y less than u?
True
Suppose 0 = z + 4 - 6. Suppose z*c = -c. Which is smaller: c or -1/18?
-1/18
Let w be (23 + -41)*1/8. Which is smaller: -3 or w?
-3
Let j be ((-1 + -4 + 5)/1)/1. Which is greater: -2 or j?
j
Let y(v) = 6*v + 2. Let g be y(3). Is 21 at most g?
False
Let x(i) = i + 1. Let z be x(0). Let v(u) = -5*u**2. Let k be v(z). Is -5 at most as big as k?
True
Let t be (18/2 - 0) + -1. Suppose -5*a + a + t = 0. Suppose 4*h + 8 = -5*q + 2, a*h = -q - 6. Is -4 at most h?
True
Let p(d) = d**2 - 2*d - 2. Let n be p(4). Suppose n = l - 4*l. Let v be l*3/18*-2. Is 0.5 greater than or equal to v?
False
Let d = -39 - -39.1. Which is smaller: d or -11?
-11
Suppose 4*c = -3*x - 10, -5*c + 4 = -3*c - 3*x. Let n be (-11)/33 - (c + 0). Let a = 238 + -2140/9. Is n >= a?
True
Let k be (-12)/(-7) - 4/(-14). Let g = 4/3 - 5/6. Which is smaller: g or k?
g
Suppose -55 = -0*w + 5*w. Are w and -1 non-equal?
True
Let s = 0.13 + -19.13. Let l = -20 - s. Which is bigger: 2/7 or l?
2/7
Suppose 4*k + 0 = 2*r - 28, 2*r = 2*k + 20. Let c be (r - 8) + (-40)/(-21). Which is smaller: 1 or c?
c
Let t = 2 + -2.1. Suppose 3*v + v = 0. Let k = -1 + v. Is t < k?
False
Let d(l) = l**3 + 8*l**2 + 7*l + 1. Suppose -5*n + v = -6, v = 1 + 3. Let f be 1/(n + (-15)/7). Let w be d(f). Which is smaller: w or 2?
w
Suppose 0 = -5*j + 2*i + 26, 0 = -4*j - 0*j - 3*i + 30. Is 8 greater than j?
True
Let d = 9160/9 - 1024. Is -7 > d?
False
Let g = -20 - -14. Let o be g*(-2 - (-4 + 3)). Is 6 greater than or equal to o?
True
Suppose -2*c + 2 = -2. Suppose -c = 7*w - 5*w. Is w bigger than -3/5?
False
Let v = 46/41 + -1127/164. Is -6 at least v?
False
Let l = -8.2 + 7. Which is smaller: 5/2 or l?
l
Let h = -2.4 - -2. Is h at most 1?
True
Let a = -57 + 734/13. Which is greater: a or -1?
a
Let k = -3.8 + 4. Do k and 6 have different values?
True
Let h = 60 + -62. Let o = -2.23 + 0.03. Let y = h - o. Does 0.1 = y?
False
Let y = -5507/15 + 367. Let h = 10 + -14. Let p = h - -4.2. Which is bigger: y or p?
p
Let i be 2/(0 - 1/(-2)). Suppose -5*o + 25 = 0, 4*q + 4*o = o - 49. Let u be i/6 - q/(-60). Which is smaller: 1 or u?
u
Let g be (-3)/(((-3)/2)/(-1)). Suppose 0 = 3*m - 9 + 27. Let d be (6/7)/(9/m). Are d and g unequal?
True
Suppose 0 = 4*c - 6 - 14. Suppose -v = -4*m + 5*m + 1, 5*m = -v - 17. Suppose c*f + 12 = -v*g, f = 2*f. Which is bigger: -3 or g?
-3
Let f = 3 + -2. Let b be 1/(-6) - (-25)/6. Let w be (f*-1)/(b/(-4)). Do 1 and w have the same value?
True
Let o(z) = z**2 - 11*z + 33. Let r be o(7). Is r equal to -9?
False
Suppose 3*h - 9 = -3*n, -3*h - 4*n + 2*n + 9 = 0. Suppose i + 0 = -h. Let t = i + 7. Is t < 2?
False
Let p = 13 - 17. Let d = -0.3 - -0.5. Which is bigger: p or d?
d
Suppose 5*w = 2*w + 113703. Let h = -339761/9 + w. Let a = h + -150. Is a equal to 1?
False
Let v = 0 - -0.1. Let c = -0.1 + v. Let a be (-8)/(-28) + (-11)/14. Which is bigger: a or c?
c
Let x = -7 - -7.46. Let p = x + -0.06. Let t = -0.2 + p. Which is smaller: t or -1?
-1
Suppose -5*s - 5*w = -w - 16, -w = s - 4. Suppose -2*a - 3*a = s. Suppose u - 3 + 7 = a, -5*o + 4*u + 41 = 0. Is o less than 4?
False
Let f(v) = -v**3 + 6*v**2 + 6*v + 7. Suppose 7 = 5*l - 28. Let m be f(l). Is m smaller than 0?
False
Let s = 993/5 - 198. Let j = 44 + -41. Which is greater: s or j?
j
Suppose -6*s = -4*s - 6. Suppose -56 = -4*m - 12. Let a be m/6 - (-1)/(-3). Is s >= a?
True
Let m be (32/20 + -2)*-2*-5. Which is smaller: m or -6?
-6
Suppose -2 = -t - 11. Let m(l) = -l**3 - 6*l**2 + 9*l - 1. Let o be m(-7). Let x = t - o. Does x = 6?
True
Let i = 9 + -4. Let n = i + -9. Let t(y) = -y**2 + y - 1. Let o be t(2). Is o bigger than n?
True
Let a = 131/165 + -13/33. Let s = 3 + -5. Which is bigger: a or s?
a
Suppose 2*w - 7*w + 4*n - 1 = 0, -4*w + 2*n - 2 = 0. Let y(p) = p**3 - 7*p**2 - 6*p - 4. Let m be y(-5). Let z = m - -2189/8. Is w > z?
False
Let d(m) = -m - 4. Let t be d(-4). Let f be (-7)/20 + 3/5. Do t and f have the same value?
False
Let g(f) = -f - 1. Let b be g(-5). Suppose 0 = 3*l + 3*r - 3, 0 = 3*l - b*r + 11. Let u be (3/12)/((-18)/16). Which is smaller: l or u?
l
Suppose a + 66 = -2*a. Which is smaller: -24 or a?
-24
Suppose -t = 3*t + 2*g + 12, 4*g + 14 = 2*t. Let y = 1 + -1.1. Is t not equal to y?
True
Suppose 2*h + 2 - 8 = 0, 4*c + 7 = 5*h. Suppose -4*i + 2*i = 0. Let u = i - 1. Are c and u unequal?
True
Let p(k) = -k**3 - 8*k**2 - 10*k + 12. Let j be p(-6). Is j equal to -2/81?
False
Let t = 11 - 3. Suppose -14 = -f - 4*q, t = 2*f - 0*f + 4*q. Let s(h) = h**3 + 5*h**2 - 6*h + 1. Let d be s(f). Is 1 <= d?
True
Let m(v) = -v**3 - 6*v**2 - v - 6. Let r be m(-6). Let h = -94193/2436 - -1/2436. Let g = 39 + h. Which is smaller: r or g?
r
Let s(p) = p**2 + 2*p - 6. Let k be s(-6). Suppose 2*c + k = -c. Let l be c/(-21) - (-4)/35. Is 2/5 greater than l?
False
Suppose -3*q + 4*k + 3 = -6, -5*q = 2*k - 41. Suppose 0 = -5*h + 3 + q. Which is smaller: h or 4/5?
4/5
Suppose -5*o + 3 = 3*l, -3*l = 2*l - 5. Suppose -2*m = -2 - o. Is m at most as big as -3?
False
Let h be 15*(0 + 11/3). Suppose 20 = -5*p - h. Let q be 3/p - 4/5. Is 0 <= q?
False
Let f be 9 + (1 - 1 - 0). Suppose -5*a - f = 1. Let n = 208 - 1460/7. Is a <= n?
True
Let a = -1.6 + -0.4. Let q(r) = -r. Let y be q(0). Are y and a equal?
False
Let l be (-6)/(-21) + (-2)/7. Suppose l = -3*h + n, -4*h - 3*n = 2*n. Let c be 12/(-9) + 8/4. Which is bigger: h or c?
c
Let r = 6 + -7. Is r smaller than 2/29?
True
Let y = -2 - -8. Suppose -w = -y*w + 30. Which is smaller: 5 or w?
5
Let o = 65 - 65. Is 19 greater than or equal to o?
True
Suppose -5*k = 5*t + 35, 4*t + 12 = -2*k - 4. Let a be ((-12)/(-14))/(-6 - 2