 = -5*y - 3*u + 57 - 12, 2*y - 18 = 5*u. Suppose 3*c + y*v - 4*v = -13, 0 = 4*c + v - 11. Let f be 0/(-2 + 5) - -4. Are c and f equal?
True
Let k = 26.02 - 0.02. Let r = k - 27.1. Let w = r - -1.2. Which is smaller: w or 2/3?
w
Let m be 0*((-15)/(-6))/5. Let n(y) = y + 1. Let t be 3/(-9) + (-4)/6. Let a be n(t). Is m <= a?
True
Let i be 18/4*((-175)/21 + 7). Is i less than or equal to -4?
True
Let i = -192 - -180. Let y be ((-6)/(-68))/(i/24). Suppose -s - 4*s + 5 = 0. Which is greater: s or y?
s
Let a be 28/(-10)*210/(-8). Let f = a + -1009/14. Let r be (-2 - -6)*7/14. Is r at least as big as f?
True
Let i be 2/(-1) + 5/((-1450)/(-410)). Is i != 1?
True
Suppose -4*x - 2 = 6. Let j be ((1530/24)/17)/(-3*2). Is j smaller than x?
False
Let t = 9 + -9. Suppose 4*y = -5*b - 4, -5 = 5*y - 5*b - t. Let c be y/(-2) + 11/(-6). Is c >= -2?
True
Let g = 171.6 - 169.6. Which is greater: g or -7/3?
g
Let w be 10/48 - 3/(-24). Let k = -1 + 1.3. Are k and w nonequal?
True
Let s be (-78603)/441 - (-2)/(-6)*-2. Let b = -178 - s. Are b and 0 non-equal?
True
Let v be (-5)/20 - (3 + 478/(-88)). Which is smaller: v or 1?
1
Suppose -6*s - 66 = 114. Which is smaller: s or -187/6?
-187/6
Suppose -l + 5*c - 37 = 0, 3*l = 5*c - 75 + 14. Let b be 1*-3*12/l. Suppose 0 = -b*a - 0*a + 24. Which is smaller: 10 or a?
a
Let d = 880 - 856.65. Let y = -0.35 + d. Let k = -10 - -9.9. Do y and k have different values?
True
Let l = -2/1301 + -258893/3903. Let k = 67 + l. Which is greater: k or -2/11?
k
Suppose -2*g + 15 = 3*g. Suppose -2*d = -6*d + 24. Let c = d - g. Does c = 6?
False
Let g = 11.7 - 11.1. Let y = 32 - 97/3. Is g bigger than y?
True
Let a = 27 - -24. Let x = 51 - a. Is -3/8 at most as big as x?
True
Let d be -2*2 + (-220)/(-8). Let q = -23 + d. Suppose 3*n - p - 4 = p, -2*n = 3*p - 7. Is q at most n?
True
Let p(y) = -4*y - 3. Let f(g) be the first derivative of g**3/3 + g**2 - 9*g + 7. Let i be f(-4). Let h be p(i). Which is greater: h or 1/13?
h
Let t(a) = -8*a - 1. Let i be t(-2). Let w(y) = y - 15. Let o be w(i). Suppose -h - 4*h = 5*b + 25, -5*b - 3*h - 19 = o. Are b and 3 unequal?
True
Suppose 74 = -2*t - q, 4*t - 6*q = -4*q - 132. Let j = -53 - t. Suppose 2*z + 3*z + 85 = 4*b, 85 = -5*z - 3*b. Does j = z?
False
Let b be (58*4/(-8))/(-1). Let v be (0 - -32) + 1 + -1. Let y = v - b. Which is smaller: y or 2?
2
Let s be (-5)/(5/(-2))*26/52. Do s and 20/23 have the same value?
False
Let b be 532/(-105)*(-99)/(-11). Is b < -47?
False
Let z = -695868/7 - -99597. Suppose 5*k = 6*k + 187. Let w = k + z. Which is bigger: w or -1?
w
Let n = 43.5 + -53. Let q = -9.4 - n. Which is smaller: 9/2 or q?
q
Let u(k) = -6*k - 4. Let s be u(-2). Suppose s = 3*q - 10. Suppose 9 = -3*w + q. Is -3/13 != w?
True
Let j = 12 - -85. Let u = j - 98. Which is bigger: 1/31 or u?
1/31
Let a = -0.68 + 0.9. Let j = a + -0.12. Is -0.08 at least as big as j?
False
Let h = -50.1 + 31.8. Let u = h + 3.3. Which is greater: u or 0?
0
Let n = -6 + 8. Suppose -n*a + 30 = -5*a. Let z(t) = t**3 - 6*t**2 + 5*t + 4. Let l be z(4). Does l = a?
False
Let o be 3/2*12/(-9). Let v(b) = b**2 + 2*b + 1. Let x(s) = -s**2 - s. Let l(a) = -v(a) - 2*x(a). Let w be l(o). Which is smaller: 11/3 or w?
w
Let d be ((-96)/(-162))/((-4)/24). Is -5 >= d?
False
Suppose 0 = -21*r + 1751 - 5930. Which is bigger: r or -200?
r
Suppose -s = -5*d + 3, 9*s - 4*s = -15. Which is greater: -9/20 or d?
d
Let j = -82 - -78. Suppose -8 + 3 = z. Which is greater: j or z?
j
Let h(a) be the second derivative of a**4/12 - 5*a**3/2 - 10*a**2 - 22*a. Let i be h(17). Is 12 at least as big as i?
False
Suppose -13 = -3*n - 2*v - 3*v, 0 = -3*n + 5*v - 7. Let g(f) = f**2 + 4*f. Let r be g(-7). Let q be 0 - (0 + (-2)/r). Is n equal to q?
False
Let l = 0.095 - 73.095. Let x = l + 82. Does x = 1/4?
False
Let v be ((-3)/9)/((-2)/78). Suppose -5*a + v - 1 = 2*l, -5*a = -l - 9. Let p(m) = 2*m**3 - m. Let b be p(l). Is b != -3/10?
True
Suppose d = -3*d + 76. Let i(n) = -n - 31. Let z be i(-9). Let g = z + d. Which is bigger: g or 1?
1
Suppose -5*z - 277 - 363 = 0. Let w = 3175 - 3303. Are w and z non-equal?
False
Let t(n) be the second derivative of -n**4/3 + 29*n**3/6 + 2*n**2 - 39*n. Let i be t(9). Which is greater: -60 or i?
i
Let n = 1253/3 + -369. Are -2 and n unequal?
True
Let c = -2.7 + 16.7. Let y = c + -1. Let h = -20 + y. Which is greater: h or -1/4?
-1/4
Let j be 142/72 - 2/9. Suppose 2*o + 2*f = 2, -2*f - 6 = -0*f. Suppose 0 - 4 = -o*g. Which is bigger: j or g?
j
Let h(q) = q**3 - 8*q + 2. Let p be h(3). Suppose 0 = -p*k + 17 - 22. Which is greater: k or -1/37?
-1/37
Let b(o) be the third derivative of -o**4/6 - 35*o**3/6 - 12*o**2. Let h be b(-9). Which is greater: 2/203 or h?
h
Suppose 4*z - z + 93 = -3*i, 0 = 5*z + 5. Let s(a) = -8*a**2 - 3*a - 3. Let m be s(-2). Is i at most as big as m?
True
Let q be (1/22)/(8/48). Let z be 0/1 - (-1 - 2). Suppose 3*b = -5*i - z, i - 4*i = 0. Is b at most as big as q?
True
Let p = 78 + -78. Suppose 5*k - 8*k - 36 = p. Which is bigger: k or -10?
-10
Let w = -45.2 - -62.2. Which is smaller: -10 or w?
-10
Let n = 16 + -9. Suppose 3*x = n*x. Let c be (333/(-3330))/(5/6*(-6)/15). Is x greater than or equal to c?
False
Let a(u) = u**2 - 35*u + 10. Let d be a(35). Is 10 <= d?
True
Let v = 216 + -217. Which is smaller: v or -12/13?
v
Let j = -0.027 - -0.063. Let g = j - 0.016. Is g greater than 4/7?
False
Suppose -5*i - 862 = 3*a, -4*i = -7*i + 2*a - 521. Is -173 bigger than i?
False
Let k = -465 + 464. Are 35/2 and k equal?
False
Let n(h) = h**2 - h - 1. Let m be n(-1). Let l be (13/(-6))/m - -3. Suppose 0 = 2*p - 4. Do l and p have the same value?
False
Let m = -15/31 - 833/713. Which is bigger: -3 or m?
m
Let j = -756 - -783. Which is bigger: j or 19?
j
Let q = -1159 + 1197. Let s = 0.01 + 0.09. Which is smaller: q or s?
s
Let j be (-2*(-1)/2)/1. Let b = -2994 + 2992. Is b at most as big as j?
True
Let f = 708 - 1491. Is -783 equal to f?
True
Let d(j) = -j + 18. Suppose -5*h - 2*f + 4 = -2, 3*f - 9 = -3*h. Let x be d(h). Suppose -3*v + l + 6 = 0, 2*v + l = -3*l + x. Which is greater: v or -0.2?
v
Let f be (7/((-21)/12))/((-2)/24). Which is smaller: f or 47?
47
Let k be -73*3*3/5. Let h = k - -131. Which is bigger: 26 or h?
26
Let d be (8/(-7))/((-3)/21). Suppose -5 = d*f - 13. Let q = 58 + -868/15. Is q greater than f?
False
Let b(v) = 3*v - 11. Let x be b(7). Suppose -2*j - 8 + x = 0. Which is greater: -6/17 or j?
j
Suppose 3*g - 21 = -3. Let q = -41 + 37. Let h be (-24)/64*q/g. Is h equal to 1?
False
Let h = 7107/68 + -419/4. Is h at least 1?
False
Let w = 8 + -5. Suppose r + 4*c = 16, w*r + 2*c = r + 14. Let o be 3*r/(-6) + 1. Is -1 greater than or equal to o?
True
Let x = -12246 + 1775658/145. Which is greater: -1 or x?
x
Suppose -4*m = -2*j - 38, 0 = -3*m - 5*j + 2 + 20. Suppose 0 = m*b - 4*b + 10. Is -2/67 equal to b?
False
Let t be 2/(72/156)*-3. Let s(l) = -l**2 - l + 6. Let w(f) = -3*f + 1. Let x be w(2). Let v be s(x). Which is smaller: t or v?
v
Let c(t) = t**3 + 7*t**2 - 4*t + 1. Let x be c(-8). Let n = 31 + x. Let f be (-1)/4 + (-10)/(-8). Is n smaller than f?
True
Let m = -234 + 234. Is 7/8 greater than m?
True
Let b = -1.29 - 67.71. Let q = b + 40. Is 2/5 equal to q?
False
Suppose 5*q = 7*q - 366. Let r = 373/2 - q. Is r equal to 3?
False
Let x(a) = -22*a**2 - 102*a - 309. Let v be x(-3). Are v and -204 non-equal?
True
Let r be 6/(-3) + (-6)/3. Suppose -1 = 3*k - 4. Suppose h + k = -3. Is r at least h?
True
Let j be (3 - 2) + (-21)/22. Let g = -55 - -58. Suppose 4*d + 4 = -2*p, -p + 6 = g*d - 4*p. Is d greater than j?
False
Let z = -3582380470817/8487 + 422102093. Let a = -2/943 + z. Suppose -3*d + 38*c - 35*c - 9 = 0, 5*c = -4*d + 6. Which is smaller: a or d?
d
Let a(b) = -b + 7. Let i = 23 + -15. Let r be a(i). Let h be (-1 - 25/(-15)) + r. Which is smaller: -0.04 or h?
h
Let k be (-46)/4 + (21/3)/(-14). Let j = k + 16. Let o = -2/239 - -1677/478. Is j less than or equal to o?
False
Let l be (-4 + 1)/6*0. Which is smaller: l or 1/377?
l
Suppose -3*a - 4 = -4*l, l + 3*l = -3*a + 4. Is -100 less than l?
True
Suppose 0 = -2*w - 3*c - 9 + 170, 0 = -4*w + 4*c + 292. Let n = w + -141. Is -66 > n?
False
Suppose 3*p + 51 = p - 3*j, -2*j = 2. Let f = p - -40. Let l = f - 13. Is l < 2?
False
Let 