12/(-18)*(-2 + -1). Suppose 5 - 7 = -g. Suppose 0*l + l = g. Is w bigger than l?
False
Let p = -0.9 + 0.85. Let k = 0.05 + p. Let r be 1/((-3 + 0)*-1). Which is smaller: k or r?
k
Let w = 7.5 - -1.5. Let m = w - 10. Which is smaller: m or 3?
m
Let s(w) = -w**2 - 8*w - 6. Let i be s(-6). Suppose i = h - 3. Suppose 3 = -4*n + p, 0 = -2*n + 2*p + p - h. Is 0 > n?
False
Suppose 0 = -2*v - 2*v + 8. Suppose -v*y = -0*y. Let z be (-1)/(-3) - (12/(-9) - -2). Is z < y?
True
Let d(p) = p**3 - 6*p**2 - 7*p + 1. Let n be d(7). Let a = 4 + -11. Let i = a + 50/7. Is n at most as big as i?
False
Let d = -0.2 + -0.8. Let q = -2 - d. Let x be 1/(-1*(-1 - -4)). Which is smaller: q or x?
q
Let k(c) = c - 7. Let j be k(5). Let h be j/(4 + (3 - 5)). Which is smaller: h or -2?
-2
Let w = -191 - -194. Which is greater: w or 1?
w
Let b = 6 + -3. Suppose -q + 14 = -b*q. Which is smaller: -8 or q?
-8
Let r = 31 - 30.04. Let f = r + 0.04. Let y = f - 1. Is 3 not equal to y?
True
Let u = 4/39 - 449/195. Do -2 and u have the same value?
False
Let s = -883/33 + -10/11. Let a = s - -341/12. Which is smaller: 0 or a?
0
Let f be 2/(3 - 5/2). Suppose -3*r + 6*r = 3*y - 6, 0 = -5*y - 5*r + 40. Suppose 2*u = -y*k + 2, -2*u + 2*k + 19 = 3. Is u smaller than f?
False
Let x = 0.17 - 0.43. Let a = x - -0.06. Which is smaller: -1/2 or a?
-1/2
Let d = 10 - 5. Suppose -z = -3*z + d*b - 24, 4*z + b = -4. Do -1 and z have the same value?
False
Let c(a) = a**3 + 5*a**2 + a + 4. Let q be c(-5). Is q != 1/4?
True
Suppose 4*r - 3*v + 27 = 0, v = 2*r + r + 14. Is -1 greater than r?
True
Let p be 4/(-20)*-4 + (-1 - -3). Which is bigger: p or -2?
p
Suppose 3*g + 1 = 10. Let x be ((-14)/g)/((-3)/(-9)). Do x and -14 have different values?
False
Suppose 5*c - 3*b + 12 - 172 = 0, -2*c - 2*b = -48. Is c at least 28?
True
Let z = -4 + 5. Suppose -3*w - 32 = 2*p - 4, -w + p = z. Is w equal to -5?
False
Let m = -149 - -148. Does m = 55?
False
Let o(t) be the second derivative of t**5/20 + 3*t**4/4 - t**3/6 - 3*t**2 + t. Let i be o(-9). Let d = i + -5. Is d bigger than 0?
False
Let s be (-10)/(-4) - (-2)/(-4). Suppose 0 = m - 5*q + 22, 2*q = 4*m + m - 5. Let c be 1*(m - (4 + -2)). Is s less than c?
False
Let c be 2*(-3 + 1)/4. Let z = -335/159 + -12/53. Does z = c?
False
Let m be (-1)/((-20)/8)*-5. Is 0 <= m?
False
Suppose -j - 3*y = 14, -3*j + 5*y + 28 = -0*y. Let p = -3 + 7. Which is smaller: p or j?
j
Let j = 2680 - 8164/3. Is -41 > j?
True
Let c be 18/4*(-4)/3. Let w be 2/c + (-3)/(-9). Suppose 0 = 4*m - 0*m. Is w at most as big as m?
True
Let u(t) be the second derivative of t**5/20 + 13*t**4/12 + 5*t**2/2 + 3*t. Let w be u(-13). Which is greater: 6 or w?
6
Let l = 0 - 7. Let x = l + 7. Which is greater: x or 2?
2
Let c = 0.06 - -0.07. Let m = c + -0.03. Is 1/3 at most m?
False
Let g be ((-1)/2)/1*-2. Let n be 0 + (g - -1) + -7. Is -4 less than n?
False
Let m = 2 + -3. Let x = m - -1. Let r be (3 + -4)*(0 + 1). Which is bigger: x or r?
x
Let m = 12 - 12. Let v be m + (-1 - 21/(-12)). Is 1 greater than v?
True
Let j = -1299 - -3857/3. Let n = j - -13. Suppose -i = -0*i. Does n = i?
False
Let x = 20 + -18. Let b = 39 + -24. Suppose -3*g + z + 4 = -2, 3*g = -x*z + b. Is 3 at most g?
True
Let m = -7 - -6.99. Let v = m + -0.99. Do -2/9 and v have different values?
True
Let t = 0.2 - -0.4. Is -1 >= t?
False
Suppose 0 = t - 4*i + 2 - 15, -10 = -t + 3*i. Let z = -211/4 - -53. Is t > z?
True
Let q = 4096/23 - 178. Is 1 equal to q?
False
Let t = -4.07 + 0.17. Let m = t - -4. Let x = m + 0.1. Which is greater: x or -1?
x
Suppose -2*a = 5*v - 23, -4*v + 27 = 4*a - 1. Let r = 2 - v. Which is smaller: -2 or r?
-2
Let w = 20 - 39. Let n = 18 + w. Do 3/10 and n have the same value?
False
Suppose 0 = -0*b + 5*b - 15. Suppose 2*m + 2*m - 39 = -3*w, 0 = b*w + 9. Which is greater: 11 or m?
m
Let s = -5 + -21. Let q = 79/3 + s. Is 1/3 at most q?
True
Let d be 3 - (0 + 3 + 0). Which is smaller: 1/36 or d?
d
Suppose 0*l = -l. Let r be (l*(-2)/(-4))/(-1). Is r at most 1/4?
True
Let x = -1.99 - 0.01. Let g be 2*(0 - (-1)/3). Is g > x?
True
Let o = -2623/5 - -523. Is -2 at most as big as o?
True
Suppose 5*n - 27 = -4*n. Let f = -0.08 - 2.92. Which is smaller: n or f?
f
Let z be ((-6)/4)/((-3)/6). Is 1/21 > z?
False
Suppose 0 = 4*q - 5*u - 30, -4*q + 23 = -4*u - 5. Suppose -5 = -5*j + q. Which is bigger: j or 0.2?
j
Suppose 4*h = -5*g - 26, -4*g = -7*g + 4*h - 22. Let p(n) = -2*n**2 - 3*n + 2. Let r be p(2). Let l be (-1)/g - 4/r. Is l bigger than 2?
False
Let r = -4 + 26. Let m be r/(-60) - 1/(-5). Which is smaller: m or 1?
m
Let t = -0.07 + 15.07. Let f = t - 10. Is 0.1 < f?
True
Let h be (0 - (-2)/4)*-2. Let w be (h/4)/(1/3). Suppose 5*z - 3*d + 7 = -15, -3*d = z - 10. Which is smaller: w or z?
z
Let m = -3 - -3. Let d be (5/(-10))/(4/2). Which is bigger: m or d?
m
Let u = 5 - 3. Suppose -y + 5 = 5*w - 0, 5*w - 5 = u*y. Suppose -s = -y*s. Is 1 bigger than s?
True
Let g be 2/10 + 84/(-20). Let k = -2 - g. Suppose 0*w = k*w. Are w and -2/9 non-equal?
True
Suppose 5*y + 23 = 2*p - p, -4*y = 4*p + 4. Suppose -5*r + 35 = -5*a, -7*r + 2*r + 45 = -3*a. Let l be (-4)/6*r/8. Is l greater than or equal to p?
False
Let u = -1517/73476 - -2/1413. Is u <= 0?
True
Let p = -71/5204 + -1878407/65050. Let b = 41/25 + p. Let t = 27 + b. Is t at least -1?
True
Let o = 0.05 - 0. Let x = -0.05 - o. Which is smaller: x or 2?
x
Suppose 1 = s - 0*s. Is s equal to 1?
True
Let k = -1746 - -6921/4. Let l = k - -717/44. Which is bigger: l or 1?
1
Let d(s) = -2*s**2 - 6*s - 1. Let c be d(5). Let m be 18/c - (-184)/18. Suppose 5*f + 4*l = -11, m + 2 = -4*f - 4*l. Is f at least as big as 3/4?
True
Let k = 0.75 - 0.85. Which is bigger: k or 0.055?
0.055
Let o = -4.789 + -0.011. Let a = -3.8 + -1.2. Let d = a - o. Is d at least as big as -0.1?
False
Let d(o) = -o**2 + 5*o + 11. Let q be d(8). Is q >= -16?
True
Let t = -18 + 20. Do 7 and t have different values?
True
Let q = -20.03 + 20. Let v = q - -1.03. Let c = -0.1 + 0.1. Which is bigger: c or v?
v
Let v = 1 + -11. Let g be (4/v)/(4/(-5)). Which is smaller: g or 1?
g
Let c(x) = -x. Let g = 1 + 5. Suppose 0 = i - 2*d + g, 2*i = i + 4*d - 12. Let q be c(i). Do -2 and q have the same value?
False
Let o(a) = a**2 + 11*a - 31. Let t be o(3). Which is greater: 9 or t?
t
Let r = 131 - 2753/21. Let t(o) = -4*o - 19. Let l be t(-5). Is r greater than or equal to l?
False
Let l = -0.41 + 0.04. Let c = 0.17 + l. Which is smaller: 5 or c?
c
Let m = -0.59 + -15.41. Is m <= -1?
True
Let g = -70.8 + 85. Let p = 15 - g. Is p less than 0?
False
Suppose -g + i - 57 = g, -5*i - 63 = 2*g. Which is smaller: g or -30?
-30
Let k = 10.773 + 0.027. Let d = -11 + 22. Let c = d - k. Are -3 and c nonequal?
True
Let k = -5805/16 - -363. Let h = k + -43/144. Which is greater: -1 or h?
h
Suppose -5*u = -4*n - 26, -2*n + 4*u = -3*n + 4. Let a be -2*(0 + (-138)/n). Let p = 205/3 + a. Which is smaller: p or 3?
p
Suppose -4 = -12*y + 13*y. Is -2 less than y?
False
Let n = -9.1 - -9. Which is bigger: 1/4 or n?
1/4
Let t be (-30)/80*12/9. Which is bigger: t or -6/5?
t
Let c = 2/11 - -8/77. Let f = -64 + 65. Is c > f?
False
Let d = 13 + -12. Which is smaller: 2/23 or d?
2/23
Let n be (-1 + (-33801)/(-33795))*-3. Let d = 3183/1073930 - n. Let s = -589/4862 + d. Is 1 greater than or equal to s?
True
Let b = -0.3 - 0.7. Let c = b - -0.9. Let u = 44 + -43. Which is greater: u or c?
u
Let i(j) = -j**2 + 4*j. Let p be i(4). Is p >= 2/23?
False
Suppose 0 = -k - 3*k + 8. Let w(f) be the first derivative of 3*f**2/2 - 3*f - 3. Let c be w(2). Which is greater: c or k?
c
Suppose -4*m + 16 = -0*m. Let r be 26/(-2) + -1 + 0. Let b be (r/m - -3)/4. Which is smaller: 1 or b?
b
Let j = 31 - 32. Is 4/41 at least j?
True
Let g be 4/21 - (4/(-6) + 0). Suppose 4*m = -0 + 4. Which is greater: g or m?
m
Let q = 0.022 + 0.578. Are 0 and q unequal?
True
Suppose 3*s + 13 = -5*v, -3 = 3*s - v - 20. Is 2 not equal to s?
True
Let j = 2.082 - -0.018. Let g = -1.8 - j. Let w = -0.1 + g. Is 2/3 smaller than w?
False
Let y be -4 - (-2 + 3) - -2. Does y = -36/11?
False
Let l = -20 + 19. Let x = 0.1 - 0.1. Which is smaller: x or l?
l
Suppose -2 = 2*v + 2*x, 4*v - x - 13 = v. Let q(a) = 2 + 13 - v - a. Let o be q(12). Is 2/11 bigger than o?
True
Let q = -21 + 13. Let 