2*l + 10 = -3*a, 0 = -4*a - 5*l - 16. Let f be (15/(-12))/((-3)/(-12)). Let c be (f/((-5)/(-2)))/2. Which is smaller: a or c?
c
Let z = 3/2 + -3/10. Let f be (0 - 1)*(-4 + 2). Is f at most z?
False
Let q(v) be the first derivative of -v**3/3 - 3*v**2 - 3*v - 3. Let l be q(-5). Is l greater than or equal to -1?
True
Let l be 0 + 1 - (-588)/170. Let b = -52/17 + l. Let p = 8/5 - b. Which is bigger: p or 0?
p
Let y = -1 + -3. Let n be ((-3)/(y - -1))/1. Suppose 0 = -5*j + 3 + 2. Is j equal to n?
True
Let h be (-4)/18 - 58/(-18). Suppose 6*f - h*f = 0. Suppose -4*w + 10 - 2 = f. Which is smaller: w or 1?
1
Let u be ((-3)/(-6))/(-1)*1. Is u smaller than 0?
True
Let y = 2/209 + -424/627. Suppose 4*d + 3*l = 2, 2*l - l = -2. Suppose d = -4*f - 2. Is y less than or equal to f?
False
Let y = -1399/51 - -83/3. Which is smaller: y or 0.1?
0.1
Let k(d) = d**3 - 25*d**2 - 6*d + 44. Let x be k(25). Is x > -107?
True
Let z = 1661/15 + -111. Is z not equal to 1?
True
Suppose -4*x - 25 = 3. Is -1 <= x?
False
Let u(i) = i**3 + 6*i**2 - 4*i + 8. Let n be u(-7). Which is smaller: n or -1/4?
n
Let l = 15 + -16. Let k = -43 - -431/10. Do k and l have the same value?
False
Let f = 0.21 + 27.79. Is f bigger than -4?
True
Suppose -5*z - 3*d = -15, 0 = -2*z + z - d + 5. Let m be 30/8 + (-9)/12. Let i(a) = a**2 - 5*a + 4. Let u be i(m). Which is bigger: z or u?
z
Let y be ((-2)/(-6))/((-3)/9). Suppose -b + 2 = b. Which is smaller: y or b?
y
Let b = -2.1 + 0.1. Let i = -1 - b. Are 0.1 and i non-equal?
True
Let v = 7.87 - 8. Let q = v - 2.87. Which is smaller: q or -0.2?
q
Let i = -1 - 2. Let v = 1.17 + -0.07. Let b = -1.2 + v. Is i at most as big as b?
True
Let a be (-2)/(-1) + 3615/(-490). Let g = 6/49 - a. Is 6 > g?
True
Suppose 4*h = 5*m - 6 + 19, -3*m + 2*h - 7 = 0. Which is bigger: m or -8/21?
-8/21
Suppose -1 = -3*w - 4. Let x(c) be the second derivative of -c**5/10 - c**4/12 + 18*c. Let v be x(w). Is -1 equal to v?
False
Suppose 2*y + 4*w = 40, -3*y - 4*w + 36 = -24. Let i = y + -15. Is 2/3 at least i?
False
Let i be ((-16)/(-70))/(4/510). Let m = -29 + i. Is m greater than 1?
False
Let i be (-1)/(1*-1 - 9/36). Do 5 and i have the same value?
False
Let c = 78 + -545/7. Let t be 0 - -2 - 2/1. Do t and c have different values?
True
Suppose 4*r - 4*u - 4 = 8*r, -u - 1 = 2*r. Let i be (-2 - -3) + -2 + r. Is i less than -2/7?
True
Let m = -0.17 + 6.17. Is m less than 1/2?
False
Let l = -12 - -14.5. Let v = l - -0.5. Let g = v + -2. Which is greater: 0.1 or g?
g
Let v = 3393/16 - 212. Which is bigger: 1 or v?
1
Let o be ((-16)/6)/(2/(-6)). Suppose -j - 3*x = -x - 3, 4*x = o. Let s be 4/(-22) - (-21)/55. Is s at least j?
True
Let g be 4/14 + (-10)/175*5. Is 1/57 greater than g?
True
Suppose -3*z - 5*s + 0*s + 5 = 0, -z = -4*s + 4. Suppose -2*r - 5*g = 52, 5*r + 3*g - 48 + 159 = 0. Let u be r/(-27) + 3/(-9). Are u and z nonequal?
True
Let k be (-37)/(-11) + (7 - 10). Is k at most as big as 0?
False
Suppose -p + 3*p + 2*n = -10, -4*n + 34 = -5*p. Let x = p - -7. Let q = 13 + -25/2. Are x and q non-equal?
True
Let y = -0.3 + 0.5. Let x = -6 - -5.9. Is y >= x?
True
Let d be 8/(-32)*(2 - -2). Let p = -4751/68 - -279/4. Which is smaller: p or d?
d
Suppose 0 = 5*r - 4*k - 69, -k - 80 = -4*r - 4*k. Let m = r + -8. Let x = m - 9. Which is greater: 1 or x?
1
Let l = -1.02 + -50.98. Which is smaller: -0.1 or l?
l
Suppose 2*u + u + 3*w - 75 = 0, -3*u + 5*w + 43 = 0. Let o be 7/6*8/u. Which is bigger: o or -1?
o
Let o be (-28)/(-6)*-1*(15 + 0). Are -71 and o nonequal?
True
Let o(g) = g**3 - 8*g**2. Let y be o(8). Suppose -4*t - 8 = -y. Is t at least as big as -3?
True
Let j = 0 + -0.8. Let o = j - 0.2. Which is smaller: o or -4?
-4
Suppose 0 = h - 2*h + 15*h. Let m be (-4)/(-7)*(-1)/(-2). Which is greater: h or m?
m
Let l = 0.5 + -0.49. Let k = 0.99 + l. Is -2/3 less than k?
True
Let j = 365/14 + -26. Which is smaller: -1 or j?
-1
Let b = 1 + -1. Let x = -1/116 - -235/348. Which is smaller: b or x?
b
Let y(g) = g**2 - 5*g + 18. Let c be y(3). Which is smaller: 8 or c?
8
Let v be (-7 - -4) + 3/1. Suppose 0 = -5*j + j - 8, -4*w - 2*j = v. Which is smaller: 2 or w?
w
Suppose 0 = 5*c - 206 + 56. Let n be 3 + c/(-9) - 0. Which is bigger: 7 or n?
7
Let d be 100/3*(-162)/45. Which is smaller: -121 or d?
-121
Let s = 135/44 - -68/11. Let d = -243/28 + s. Which is bigger: d or 2?
2
Let m be 2/4 + (-2)/(-4). Which is bigger: m or 16/7?
16/7
Suppose -q + 0*q = -2*q. Do -7/9 and q have the same value?
False
Let y(z) = -z**2 + 19*z + 3. Let b be y(19). Is b greater than 6?
False
Let s = 5 - 5. Let p be 583/(-15) + (-1)/(-5). Let f = -38 - p. Is f smaller than s?
False
Let f = -0.2 + -0.4. Which is bigger: -1/2 or f?
-1/2
Let x = -11.9 - -14. Let k = 0.07 + 1.93. Let y = x - k. Which is greater: -3 or y?
y
Let w be 1/5 + 11/(-5). Let k be w*(9/(-3))/6. Is 2/17 less than k?
True
Let f be 124/12 + 4/(-12). Is f greater than or equal to 10?
True
Let z = 0.02 - 0.04. Let m = -2.02 - z. Suppose -x - 17 = 4*v, -v + 7 = 4*x - 0. Which is smaller: x or m?
m
Let o = 0.3693 + 2.626. Let m = -0.0747 - o. Let c = m + 0.07. Which is bigger: c or 0.1?
0.1
Let p = -0.06 - 4.94. Let g = 4 + p. Is 0.1 < g?
False
Let b = -8.83 - -9.83. Let f(s) = -s**2 + 2*s. Let q be f(3). Let h = 5 + q. Which is smaller: b or h?
b
Let h = -7/9 + 19/36. Is h <= 2.1?
True
Let v = 50 - 45. Is v less than 6?
True
Let k = -14 + 15. Let o = -2.1 - -2. Is k < o?
False
Let l = -15 + 21. Let m be (-3 - -2)*(0 + -7). Are l and m equal?
False
Let o be (3/2)/1*-2. Let h be (-1 - -1 - o) + -7. Are h and -4 equal?
True
Suppose 53 + 42 = 5*l. Is l smaller than -1/2?
False
Let o be (20/165)/((-3)/9). Suppose -2*f - 10 = -2*p, 0*f - 4*f = -3*p + 20. Which is bigger: p or o?
p
Suppose 12 - 2 = -2*c - 2*p, -p - 19 = 3*c. Is c at most as big as -4?
True
Let q be ((-4)/12)/(1/15). Let p = q - -4. Suppose 2*o = -2*o + 4*r - 12, 2*r = 4. Are p and o nonequal?
False
Let c = 0.01 + 0.09. Is c bigger than -21?
True
Let s = 5 + 3. Let g = 10 - s. Which is greater: -1 or g?
g
Let t be (-2)/4 - (-2 + 0). Let b = -1 + t. Let r(g) = -g**2 - 30*g + 25. Let a be r(-31). Which is bigger: a or b?
b
Suppose 0*u - 1 = u. Which is greater: 4/13 or u?
4/13
Let g(r) = r**3 - 15*r**2 + 14*r + 4. Let t be g(14). Suppose -3*y - 3 = -t*y. Let a be 2/(-2 - -4) - -1. Is a less than or equal to y?
True
Let g be (22/12 - 2)/(-1). Let w = 6 + -4. Suppose 4 = -3*v - u + w, -u + 5 = -4*v. Is v greater than or equal to g?
False
Suppose 2*y - 3 = -f, -9*y + 12*y - 2 = f. Are 2/7 and f non-equal?
True
Suppose 5*l - 4 - 11 = 0. Suppose l*j + 3*f = 2*j - 4, -16 = 4*j + 4*f. Is -4 less than or equal to j?
True
Let i be 8/4 - 28/2. Let f be 2/(-2) + (-15)/i. Which is greater: -1 or f?
f
Let x be (-4)/(-18) + 132/(-351). Let m(o) = -o**3 - 8*o**2 - 9*o - 10. Let t be m(-7). Let c be 1/(t + -2)*0. Is c greater than or equal to x?
True
Suppose 18 = -3*l + l. Let i be l/3 + (-47)/(-16). Which is smaller: i or -1?
-1
Let b = -7 + 3. Let w be (3/(-3))/((-2)/b). Which is bigger: w or -6/5?
-6/5
Let p(w) = w**2 + 7*w - 1. Let h be p(-7). Let b be 0 - 1*(h - -3). Is -5/3 bigger than b?
True
Let s = 79 - 79. Which is smaller: -5/4 or s?
-5/4
Suppose 12*o + 32 = 16*o. Let m be (-4 - (2 + -4)) + o. Is m != 6?
False
Let h = 1.6 + -7.6. Let l = h - -6.1. Let m be 2/(-6)*3/2. Which is smaller: m or l?
m
Let u(z) = 2*z**3 - 4*z**2 + 2*z. Let x be u(2). Is 46/9 > x?
True
Let r = -1688/315 + 10/63. Let f be 3541/(-680) + (-38)/323. Let q = r - f. Which is greater: 1 or q?
1
Suppose -17 = -3*b + 4*q, -5 = b + q + 3*q. Suppose 2*p - 4 = -r - 1, -b*r + p + 2 = 0. Suppose -2*d + 3*d - 1 = 0. Is d > r?
False
Let n be (-85)/(-20) - (-2)/(-8). Let a(v) = 2*v - 6. Let x be a(n). Which is bigger: x or -2?
x
Let k(m) = 2*m - 4. Let d be k(3). Suppose -d = 4*w + 2. Let q = -11/3 + 4. Is q at least w?
True
Let j = 6 - 4. Suppose -j*y = -5*y + 3. Which is smaller: y or -2/15?
-2/15
Let z = -0.61 + 0.31. Let y be ((-2)/(-5))/((-3)/5). Which is bigger: y or z?
z
Let d be 35/21*(-2)/3. Is -2 not equal to d?
True
Let z be (-4)/(-33)*105/14. Which is bigger: z or 2?
2
Let i = -363 - -2537/7. Which is bigger: i or 0?
0
Let i be (0/(-1))/3 - 4. Let m be 12/8*i/(-6). Let y(a) = -a**2 + a. Let b be y(1). Is m != b?
True
