133. Let n = -85/126 + 7/18. Is a at most n?
False
Suppose -v = -5*k - 25, -16 = -k - 5*v + v. Let g = 11 - -4. Suppose 5*d + 25 = 3*j, -d - g = 2*d - 3*j. Is d smaller than k?
True
Let v be (-2)/5 + 8/10. Let z = -151 + 151. Which is bigger: z or v?
v
Let h(s) = -s - 7. Let k be h(-7). Let w be (-9)/(-2) + (k - 3). Which is smaller: -0.1 or w?
-0.1
Let h = -1/45 - 1/5. Let z = -1 + 1. Is h > z?
False
Let r = -14 + 11. Is -0.1 < r?
False
Suppose 3*g + 0*g = 6. Suppose 5 - g = z. Suppose z*j - 2*b = 8, 4 = -j + 4*j - b. Are 0 and j unequal?
False
Let u = -12.8 + 11. Are u and 1 nonequal?
True
Suppose -3*j - 4*a = 54, 3*j = -a + 5*a - 54. Which is smaller: j or -19?
-19
Let p(n) = -4*n - 3. Let t be p(-3). Let b be (-9)/4*(-6)/t. Let i = 1 - b. Which is smaller: -1 or i?
-1
Let i be (-6)/27 - 174/432. Is i >= -1?
True
Suppose 19 = -5*x - 4*z, -x - 7 = -0*x + 4*z. Let u = 0.3 - 0.3. Which is smaller: u or x?
x
Suppose -5*o + 3 = 13. Let n = -7 + 5. Do n and o have the same value?
True
Let o = -1/18 - 4/9. Let i(w) = -w. Let a be i(-1). Let j be (-3)/a*2/3. Is j at most o?
True
Let g(r) = r + r**2 + 0*r**2 - 2*r**2. Let z be g(-2). Let l = z + 5. Is -4/3 smaller than l?
True
Suppose -5 - 5 = 2*f, 0 = -3*r + 3*f + 6. Which is bigger: r or 3/7?
3/7
Suppose -3 = 3*f + 3*h, f - 3*h - h = 9. Let c = -37/84 + 4/21. Is c greater than or equal to f?
False
Let u be (-2)/(-20)*(3867 - 0). Let n = u + -387. Are n and -1 unequal?
True
Suppose 3*r = -2*r - 475. Is -95 < r?
False
Let m be (2/(-3))/(2/(-6)). Let x = 35 - 33. Let c be 1 - x*1/m. Is 0 at least c?
True
Suppose 1 = -2*b + 3*b. Let k = 66 - 129/2. Is k equal to b?
False
Let s(w) = w**3 - 4*w**2 - 5*w + 6. Let x be s(5). Let i(r) = -r**3 + 7*r**2 - 6*r + 1. Let l be i(x). Which is bigger: 2/21 or l?
l
Let l be (1/1)/(5/6). Let f be 64/34 + (0 - 14/(-119)). Is l < f?
True
Let m(t) = t - 19. Let k be m(7). Is k <= -13?
False
Let r = -234 + 243. Suppose -5*y = -3*y + 4. Is y > r?
False
Let n = 240115 - 5036305/21. Let q = n + -291. Which is smaller: 1 or q?
q
Let h = 99/28 - 13/4. Which is smaller: h or 27?
h
Let r = 1/46 - 143/230. Are r and -1 equal?
False
Suppose 23 + 2 = -4*f - n, 0 = -3*f - 2*n - 25. Let t = f - -5. Suppose t = 5*r - 0*r - 15. Which is smaller: r or 5/3?
5/3
Let y(p) be the first derivative of p**2/2 - 2*p - 3. Let d be y(2). Which is smaller: -2 or d?
-2
Let n = -460.1 + 435. Let d = n + 25. Which is greater: 6 or d?
6
Suppose -5*l + a + 27 = -2*a, 3*a = -l - 9. Which is greater: 12/5 or l?
l
Let g be (4/7)/(20/14). Let u(r) = r**2 - r + 4. Let j be u(0). Let w be 1/3*(1 - j). Is g >= w?
True
Let c = 0.12 - -6.88. Which is smaller: c or 0.1?
0.1
Let h = 1561.7 + -1640. Let b = h + 75. Let c = b - 0.7. Which is bigger: c or 0?
0
Let h = 4 - 3. Let r = h + -0.2. Let c = -0.2 - r. Is 0 at most c?
False
Let b = 14/9 + -121/72. Is -1 less than or equal to b?
True
Let k(f) = -2*f. Let v be k(-1). Suppose 3*b = v*n + 2*b, 14 = 5*n + b. Which is smaller: 3 or n?
n
Let t = 1/31 - 33/62. Which is bigger: t or -2/19?
-2/19
Let w(f) = -f**3 - 3*f**2 - 3*f - 2. Let g be w(-2). Suppose 4*t + 0*t - 3*q + 28 = g, -4*q + 4 = 3*t. Which is greater: t or -5?
t
Let z(a) = -a**2 - 18*a + 3. Let w be z(-12). Is 74 smaller than w?
True
Let l(v) = -2*v - 1. Let q be l(-1). Let o be 1/(1 - (2 - 2)). Is q != o?
False
Suppose -8 = -2*k + 2*s, 4 = -4*k + s + 32. Suppose 49 = 3*i - 2*u, 2*u + u = -6. Let t = i - 7. Is t equal to k?
True
Suppose -3*b + 8 = -4*w - 0*w, -4*w = 3*b - 16. Let v = b - 7. Let k be 1 + 1*v/6. Is k bigger than 2/5?
True
Let w(b) = 4*b - 6*b - 2*b + 3*b + 10. Let x be w(5). Suppose 7*m - 2*m = 25. Is m at least as big as x?
True
Let t(r) = r**3 + 6*r**2 + 4*r - 7. Let y be t(-5). Let j(l) = -l**3 + 8*l**2 - 10*l + 9. Let u be j(6). Let a = 19 - u. Is a < y?
False
Let k be -1*-23*(-5)/(-5). Are 23 and k unequal?
False
Let z = -91/3 + 30. Let c = 1 + 2. Let n = 6 - c. Do n and z have different values?
True
Let n = 11.7 + -12. Let q = -0.4 - n. Which is bigger: q or -1/5?
q
Let d be 6/(0 - 3) + (-1 - -2). Which is bigger: d or -21/10?
d
Suppose -4*s - 4 = 0, -7*a + 4*a = -3*s - 9. Suppose 4*v = -6*l + 2*l - 32, -4*v + a*l - 8 = 0. Let n be (-1)/v - (1 + -2). Which is greater: n or 2?
2
Let w = -7 + 9. Which is greater: 5/3 or w?
w
Let y be (6/60*-2)/(66/15). Which is greater: y or 0?
0
Let u = 133 - 403/3. Is u smaller than 0?
True
Let q(n) be the second derivative of -n**4/12 - 7*n**3/6 - n**2/2 + 4*n. Let a be q(-7). Which is greater: -3/2 or a?
a
Let t = 7.1 - 7. Let x = 2 + -7. Are x and t unequal?
True
Let q = -76 + 77. Which is smaller: -129 or q?
-129
Let p(u) = -u**3 + 4*u**2 + 6*u + 10. Let v be p(5). Are 15 and v equal?
True
Suppose 4*v - 3 = -2*k + 3*v, 5*k = -2*v + 5. Let q be 5/140 + k/(-4). Suppose 0 = -4*f + 3*f + 1. Which is bigger: f or q?
f
Let n = 126 + -247/2. Suppose 0*r = 2*r. Suppose r = 2*w - 4*s + 4 + 6, -5*w + 23 = 2*s. Is n less than w?
True
Let d = -35 + 17. Let q = -6 - -8. Let g be (-7 + 4)*q/d. Which is bigger: g or -0.2?
g
Let s be -4*(-4)/(-16)*3. Is s > -3?
False
Suppose -p = m + 3*p - 19, 0 = 3*m - p + 8. Do m and -1/14 have different values?
True
Let k = -14 + 7. Let m be (3 + 0)*(k + 8). Let n = 0.1 + -0.3. Which is smaller: m or n?
n
Let x be ((-6)/(-14))/(3/2). Is -2 at most x?
True
Let i = 1.1 + -22.1. Which is greater: -0.1 or i?
-0.1
Let d = 4 - 6. Let y = 12 + -66/5. Is d equal to y?
False
Suppose 4*t = 3*n - 20, 7*n - 6*n = 5*t + 25. Let m = -123/16 - -4733/624. Let a = 7/26 + m. Which is bigger: a or n?
a
Suppose -3*w - 7*w - 180 = 0. Let b = -36 - -17. Is b bigger than w?
False
Let h = 0 - 4. Suppose -y = -4*n + 17, y + 3*y = -n - 17. Let s = n + h. Which is smaller: 1/4 or s?
s
Let n be ((-14)/(-126))/(4/6). Is n <= 0?
False
Suppose -4*o + 1 = 45. Let c = o + 19. Suppose 3*m - 5 = c*m. Are -1 and m equal?
True
Let a(v) = -v**3 - 4*v - 1. Let j be a(3). Let g = j - 4. Let s be g/36 + (-4)/(-18). Is -3 smaller than s?
True
Let q(f) = 8*f**3 + 2*f**2 + 2*f + 1. Let y be q(-1). Let u = -7 - y. Suppose u*k = -5*k - 10. Which is smaller: k or -4?
-4
Suppose m - 3*g + 5 = -4*g, 2*g = -10. Suppose p + p = m. Is 0 greater than p?
False
Let k = 259 - 5954/23. Let f = 7 - 8. Which is greater: k or f?
k
Let p be ((-575)/20 - 0) + 6/8. Which is bigger: -27 or p?
-27
Let c(g) = -3*g**3 - 3*g**2 + 3. Let m(n) = 4*n**3 + 3*n**2 - 3. Let d(j) = 5*c(j) + 4*m(j). Let u be d(3). Suppose u*s = 2*s. Which is smaller: -1/8 or s?
-1/8
Let t = 45 + -45.46. Let o = t - -0.06. Let z = 0.5 + o. Which is bigger: z or -0.3?
z
Suppose 0*t + 3*t + 2*q = -6, 3*t + 9 = -3*q. Let j = 0 - t. Let b = -41.8 + 42. Is j at most as big as b?
True
Suppose 3 + 1 = 4*d. Let r be -1 + 1/(-5)*d. Suppose 0*p + j = 2*p - 1, -4*p - 16 = 4*j. Is p less than r?
False
Let g = 10 - 4. Let z = g + -7. Is z < 1?
True
Let n = -0.26 + 0.15. Let a = n - -5.11. Which is bigger: -1 or a?
a
Let q = 52 - 261/5. Let o = 3.4 - 1.4. Which is smaller: q or o?
q
Let g be -1 - -65*2/126. Let x = 4/21 + g. Suppose -4 = -8*v + 4. Is x less than v?
True
Let p(k) = k**3 - 6*k**2 - k + 7. Suppose -7*g + 36 = -g. Let y be p(g). Let n = 775/88 + -69/8. Are y and n nonequal?
True
Let s = -15 + 27. Let l be (-20)/s + (-2)/(-3). Is l greater than 2/5?
False
Let h be (-2)/6 + 16/(-6). Let a = 14 - 17. Is h > a?
False
Let f = 16165 - 113593/7. Let d = 444/7 + f. Is d at least 2?
False
Let t be -1 + -1*75/33. Is -4 at most t?
True
Let q = -1.7 - -1.6. Is 0 at least q?
True
Suppose 3*k - 5*k + 6 = 0. Suppose -17 = -5*c - 12. Which is bigger: c or k?
k
Let q = 9 + 3. Is -0.1 equal to q?
False
Let n be (-2)/(-4) - (-116)/8. Let c = n - 10. Suppose -3*h - 6 = 2*x + 2, c*x - 6 = -h. Which is greater: x or 0.1?
x
Suppose -g + 20 = 3*g. Let q(w) = w**3 - w**2 - 10*w + 1. Let t be q(4). Suppose 4*v - t = g*n, 0 = 5*v - 2*v + 5*n + 2. Which is greater: v or 3/5?
v
Let s = -6.8 + 4. Let g = 3 + s. Is g bigger than 7?
False
Suppose 6*b + 33 - 9 = 0. Is -12 less than b?
True
Let h = -7/37 + -393/74. Which is greater: h or -7?
h
Suppose 0 = -3*b - 3, -2*s - 170 = -5*s - b. Is 57 >= s?
True
Let w = 2 - 1. Let o be (-1)/w - (0 - 2). Let x = 4 - 4. Do o and x have the same value?
False
Let v be (1 + -2 - 0)/(-1). Let k = 0 + 0. Suppo