). Which is smaller: q or y?
y
Let d be (-2)/(-7) - (-57)/21. Let g = -2 + -7. Let a be 3/5*d/g. Which is bigger: a or -0.1?
-0.1
Suppose -k + 22 = -4*c + 2, 3*k + 25 = -5*c. Suppose -2 = -2*r - m, -5*r - m - 4*m + 10 = k. Let q(i) = i**3 - i**2 - 2*i. Let w be q(2). Is r smaller than w?
False
Let f(t) = -3*t - 3. Let u be f(-2). Suppose 2*i = u*i. Which is smaller: i or 1/11?
i
Let s(q) = q**3 + 4*q**2 - 2. Let c be s(-4). Let a be (-4)/30*(-20)/c. Let u = -1 - -1. Are u and a non-equal?
True
Let b = -6 + 6. Let j = 0.2 - 0.2. Let y = 0.1 + j. Which is smaller: y or b?
b
Let y = 1/57 + 509/228. Which is bigger: y or 3?
3
Let k be -3 - ((-197)/42 + 1). Let f = k + -4/21. Let y = 3 + -2. Is y > f?
True
Let s = 1 - 2. Let m(g) = g**3 + 2*g**2 + 2*g + 1. Let i be m(s). Let x be (0 + (-1)/(-2))*1. Which is smaller: x or i?
i
Let c(n) = -4 - 4*n - n + 4*n + 0*n. Let y be c(-7). Is y less than or equal to -0.2?
False
Let z = -0.031 - -8.031. Do z and 1 have the same value?
False
Let f = -48 - -50. Let y be 1/3*6/(-8). Which is smaller: y or f?
y
Let p = 134 - 141. Is p less than 1?
True
Suppose -2 + 0 = -2*t. Suppose 7*h + 2*f = 3*h + 4, h - 4*f - t = 0. Let l(j) = j**2 - j + 1. Let n be l(1). Is h bigger than n?
False
Let o be 3/(-9)*(-6)/(-2). Let p be (o/((-1)/4))/(-1). Is -5 bigger than p?
False
Suppose d = 2*d + 4*s, 3*s = -4*d + 13. Let y be 7/(-3)*d/(-14). Are -1/10 and y equal?
False
Let m = -1 + 1. Suppose 6 - 18 = -3*o. Suppose -o*j = -m*j. Which is smaller: j or -2/11?
-2/11
Let r be 3942/(-990) + 2/11. Which is smaller: -4 or r?
-4
Let c be (-4 - -1) + 1*-2. Let r = -121 - -115. Which is smaller: r or c?
r
Let t(o) = 2*o**2 + 2*o + 2. Let a be t(-4). Suppose -3*l - a = -2. Is l != -6?
True
Let m(d) be the first derivative of -d**3/3 - 3*d**2/2 - d + 1. Let a be m(-2). Let f = 201/56 + -31/8. Is a at most f?
False
Let d be (1/20)/(20/48). Let o = d - 14/325. Let b = o - 15/26. Is b less than 0?
True
Suppose -23*m - 28 = -27*m. Do m and 7 have the same value?
True
Let y(p) be the second derivative of -p**5/20 + 7*p**4/12 - p**3/3 + 5*p**2 + 4*p. Let a be y(7). Let x = a - -3. Which is smaller: 2/17 or x?
x
Let p(t) = t**2 + 3*t. Let z be p(-2). Let h be (z - -4) + (0 - 4). Which is bigger: -4/5 or h?
-4/5
Suppose 4 = u - 1. Let n be (-2)/u - (-24)/(-15). Let f = 278/5 + -56. Which is smaller: f or n?
n
Let z(j) = j**2 + 10*j + 7. Let p be z(-9). Suppose 0*r = 5*r + 30. Let y be (r/5)/((-6)/(-15)). Is p at most as big as y?
False
Let k(q) = 2*q + 1. Let v be k(-12). Let y = -24 - v. Are -2/23 and y equal?
False
Let g(n) = -n**3 + 9*n**2 - 9*n + 8. Let z be g(8). Let t = -37/221 + -5/17. Is z at most as big as t?
False
Let v(s) = -s**2 - 2*s - 3. Let x be v(-2). Suppose -2*l - 3*d = -14, -11 = -3*l - 4*d + 8. Let k be l*(2 + x) + 0. Which is smaller: -1/3 or k?
k
Let f = -76 - -77. Which is smaller: f or 1/7?
1/7
Let t be (14 + -2)/((-1)/28*-6). Is t greater than 57?
False
Suppose 0*l = 5*l + 4*m - 8, 0 = l + 3*m + 5. Suppose v + 1 - l = 0. Suppose 3 = -4*b - v*u + 2*u, 7 = -3*b + 4*u. Is b less than 1?
True
Let j be 2 + (-1 + 3)/(-2). Are -1 and j unequal?
True
Let n = 2 - 2. Suppose n = -0*h + 4*h. Let r = -80/3 - -27. Is r at most h?
False
Let m = -11 - -12. Are m and -1/2 equal?
False
Let s = -1/62 + -121/186. Which is smaller: 0 or s?
s
Let t be 2/18*(-18)/12. Which is smaller: t or -0.8?
-0.8
Let c = 6 + 1. Let b(o) = o + 2. Let z be b(1). Suppose i = z*g - c, -i + 4*g - 3 = 6. Is -1/6 at most as big as i?
False
Let r be (2*(-4 + 1))/2. Let m = 27 + -11. Suppose a - m = 5*s, 0 = -a - 3 - 1. Is r > s?
True
Let u = -45 + 44. Is u smaller than -5?
False
Suppose 2*j + 32 = -5*l + 6*j, -2*j = -5*l - 36. Which is bigger: l or -6?
-6
Let p(t) = -4*t**3 + 4*t**2 + 6*t - 5. Let o(r) = r**3 - r + 1. Let f(v) = 5*o(v) + p(v). Let c be f(-4). Let s be ((-12)/10)/(c/10). Which is smaller: s or 4?
s
Let q = 2 + -4. Let n = q + -5. Let p = -5 - n. Is p less than or equal to -0.2?
False
Let g be (-6)/(-4)*(-36)/45. Is g equal to -1?
False
Let q = 52 + -52.1. Which is smaller: q or -1.9?
-1.9
Let d = -2 - -6. Let a = 23.9 + -24. Which is smaller: a or d?
a
Let m(h) = 6*h**2 - 4*h + 2. Let v(d) = 5*d**2 - 4*d + 1. Let z(p) = -4*m(p) + 5*v(p). Let y be z(4). Are y and -3 equal?
True
Let g(f) = -f**2 - 10*f - 2. Let q be g(-7). Let h = q - 33. Let y be -1 + h/(-6) + -1. Is 1 < y?
False
Suppose 4*l - 2*h = 0, -3*h + 2 = -7*l + 2*l. Let q = -3 + l. Are -1 and q equal?
True
Let n = 8 - 12. Let g = n + 3.9. Is g >= -1?
True
Let o = 28 - 85/3. Let y = -0.6 + 7.6. Let l = 7 - y. Is l > o?
True
Let y(p) = 2*p**3 + p**2 + 4*p + 2. Let j be y(-1). Let h be ((-28)/16)/((-3)/(-4)). Which is bigger: j or h?
h
Suppose 3*b = b - 12. Let a(o) = 7*o + 1. Let y be a(-1). Is b >= y?
True
Let p = 1 - 3. Let w = -5 - p. Is -3 smaller than w?
False
Let p(u) be the first derivative of u**2 + 16*u + 3. Let a be p(-10). Which is bigger: -5 or a?
a
Let g be -47*(-6)/18*(0 - -3). Is g > 46?
True
Let v = -289 + 160. Let q = v - -11480/89. Let c = q - 84/445. Are -1 and c nonequal?
True
Let f(l) = -85*l**2 - 2*l - 1. Let i be f(-1). Let b = i + 423/5. Let j be 4/(-2) - (-5 + 2). Which is smaller: b or j?
b
Let l be 3*((-3)/(-9) + 3). Let c = l + -12. Are -7/3 and c non-equal?
True
Suppose -7 = -2*f + v, -4*v + v = 2*f + 5. Suppose -x + 0*x = 3*t - 2, f = -3*x - t. Is x != 1?
True
Suppose 2*p + 18 = 5*p. Do p and 7 have the same value?
False
Suppose -2*o + 2 = -6. Let u be (o/12)/((-1)/(-12)). Let m be ((-3)/u)/(3*-1). Is m smaller than 2/5?
True
Suppose -18*o = -14*o - 4. Do o and -4 have the same value?
False
Let a = -138 + 116. Which is smaller: -2 or a?
a
Let l be 46/16 - 3/1. Are l and 0 non-equal?
True
Let n be (-1 - 2/(-4))*-4. Which is bigger: 0 or n?
n
Suppose -5*j - 3 = -8*j. Which is smaller: j or 0?
0
Let l be 4/(-66)*-3*1. Suppose -4*f + 2 = -2. Do f and l have the same value?
False
Let g be (-209)/33 - (-2)/6. Is -9 <= g?
True
Let o = -15 + 13. Do o and 0 have the same value?
False
Suppose -4*c = 2*x + 16, 13 + 16 = 2*x - 5*c. Does x = 1/2?
False
Let w(i) = i**2 + 6*i + 5. Let v be w(-5). Suppose 8*t - 4*t = -3*u + 1, 3 = 5*t + 2*u. Which is smaller: v or t?
v
Suppose -3*d + 7 + 5 = 0. Suppose v = d*v. Let a be (-9)/6*((-11)/(-15) + -1). Is v not equal to a?
True
Let d = 196 - 194.99. Let u = d - 0.01. Let q = u + 0. Which is smaller: q or -0.3?
-0.3
Suppose 0 = 4*j - 76 + 116. Let c be (-3)/1 + (-2)/(-1). Is j at most as big as c?
True
Let l = -0.04 + 0.02. Let z = -0.98 + l. Is -2 < z?
True
Let u = -0.117 - 12.883. Are -1/3 and u nonequal?
True
Let y be (2 + -16)/(1 + -3). Suppose 0 = x + x + k - y, 0 = -3*x + 2*k. Let u be x - ((-2)/2 - -3). Do u and 1/6 have the same value?
False
Let d = -19 + 12. Do d and -8 have the same value?
False
Suppose 0*q = 5*a + 3*q + 21, 3*q = -2*a - 12. Let o be -4*1/a*-3. Is -3 less than or equal to o?
False
Let d(y) = -y**3 - 8*y**2 - 6*y + 5. Let w be d(-7). Let b = -12 - w. Is b greater than or equal to -9?
False
Suppose -q + 2*w = 1, 5*q - q + 3*w = -48. Which is smaller: q or 5?
q
Let h be 39/26*8/3. Are h and 4 unequal?
False
Let o(b) = b + 4. Let c be o(-10). Let u = 4 + -9. Which is smaller: u or c?
c
Suppose -8 = 17*f - 13*f. Is -8/3 at most as big as f?
True
Let t be (34/12)/((-8)/18). Let v = t + 113/24. Which is smaller: v or -2?
-2
Suppose -3*g - 42 = 12. Is g bigger than -17?
False
Let i = 45388628/15 + -3017870. Let f = -8033 + i. Let h = -16/3 + f. Is 1/4 at most h?
False
Suppose 0 = -p - 3*a - 19, 0 = -4*p - 2*a - 12 - 14. Let o = p - -2. Let g = 1 + 0. Is g >= o?
True
Let t be 10/4*15/25. Let h = 5 - 3. Let p be 1/2 - (-5)/h. Do p and t have the same value?
False
Let s = -0.94 + -0.06. Let r = 35 - 33.1. Let u = r + -2. Is s greater than u?
False
Suppose 2*p + 15 = 7. Let k(s) = s**2 - 5*s - 3. Let w be k(6). Suppose w = -2*n - 3. Which is bigger: n or p?
n
Suppose 0 = -5*w, -7*t = -2*t - 2*w + 45. Which is greater: -10 or t?
t
Let n be 2*(8/(-6) - -1). Let d be 76/(-570) - 13/15. Do n and d have the same value?
False
Let w = 0.07 + 0.03. Let p = -5.4 - -5. Is p less than or equal to w?
True
Suppose 0 = -5*n + 25. Let q = 6 - n. Which is greater: -1/3 or q?
q
Let t(i) = i**3 + 5*i**2 + 3*i + 3. Let q be t(-5). Let