42) + (-116)/(-210). Is k >= l?
True
Suppose -m + 66 = 2*m. Let o = m - 31. Do o and -7 have the same value?
False
Let f = -992 - -10913/11. Do f and 1/10 have the same value?
False
Suppose -2*p + 2*h = 16, -h - 16 = 5*p - 0*h. Let l = 13 - 12. Suppose -5 + l = y. Are y and p equal?
True
Let q be ((-1)/8)/((-1)/2). Suppose 0 = 6*h - 8*h + 20. Suppose 5*l - h + 5 = 0. Do q and l have different values?
True
Let m(g) = -g. Let t be m(-3). Suppose 0 = -t*x + 10 + 50. Suppose -4*c + x = 0, 4*c - 25 = -0*r + 5*r. Is 2/21 smaller than r?
False
Suppose 20*d = 24*d - 520. Suppose 14*g = 9*g - d. Which is smaller: -28 or g?
-28
Let s(z) = -z**3 + 12*z**2 + 14*z - 7. Let h be s(13). Suppose h*l = 3*l - 12. Which is smaller: l or 4?
l
Suppose 2*a + 0*a - y - 70 = 0, 5*y = a - 26. Suppose 24 = -4*j - a. Which is greater: j or -13?
-13
Let x = -33 + 23. Let t = -14 - x. Is t smaller than 1?
True
Let c = -42.8 + 42.82. Is -4 smaller than c?
True
Let i = 25 + -26. Let n be (24 + 2)/(2/i). Is -13 <= n?
True
Let i be (-8)/(-36)*(-558)/24. Let k = 179/30 + i. Which is bigger: k or 0?
k
Suppose 0 = -5*j - 4*a - 1 - 7, -5*j + 3*a = 29. Let w = 6 - 4. Suppose 0 = -i + m - 1, -5*i - 1 - 13 = -w*m. Is j bigger than i?
False
Let p = -0.69 - -0.69. Which is smaller: 88 or p?
p
Suppose -5 - 29 = -3*m - 5*g, -5 = -g. Suppose -4*a - 5*v = -0*a - 33, m*v = 2*a + 11. Let f be (-3)/(a/((-28)/(-3))). Is f greater than or equal to -14?
True
Let i be (-1)/12*(-222)/6364. Is 2/5 != i?
True
Let p = 925/4 - 1618/7. Which is bigger: p or -1?
p
Suppose -62*h - 4*h = 0. Does h = 1/298?
False
Let z be (7 - -1)/(-4) + -3 + 3. Let h be z - (-1 - 0) - 870/29. Is -31 < h?
False
Let c be (0/3)/(-4 - -2). Suppose p - 3*v + v = -5, 3*p - 2*v + 19 = c. Which is smaller: -8 or p?
-8
Let u(v) = -2*v**3 - 23*v**2 - 13*v - 23. Let a be u(-11). Is a > 3/496?
False
Suppose 4*x + 2*m + 360 = 0, 6*m - 10*m = -16. Is -92 > x?
False
Let d be ((-16)/3)/(26/9). Let s = 218/13 - 713/39. Let x = s - d. Is x smaller than -11?
False
Suppose 0 = 3*a - 12*a. Let b = -9/14 + 145/182. Which is smaller: b or a?
a
Let u be (3 - 1)*10/(-60)*-3. Which is smaller: 3/320 or u?
3/320
Let f(j) = -67*j + 264. Let n be f(4). Let a be -2 + 0 - 12/(-1). Which is bigger: a or n?
a
Let g = 351 - 432. Is g greater than -82?
True
Let w = 126 + -26. Is 102 greater than w?
True
Suppose -m = -w + 22, -2*m + 0*w - 39 = -w. Are -21 and m unequal?
True
Suppose -z = -4*f + 3*z + 20, 25 = -5*z. Let y = 115 + -182. Let p = y + 65. Which is smaller: p or f?
p
Suppose 3*u = -5*r + 28 - 19, u - 3 = 2*r. Is r at most as big as 3/733?
True
Let j(o) = o**2 - 3*o - 3. Let x be j(-2). Let v(y) = -y**2 + 6*y + 1. Let i be v(x). Let r = i - -3. Is -5 < r?
True
Let f = -77 + 43. Suppose 110 + 6 = 4*p. Let t = p + f. Which is bigger: t or -11/2?
t
Let o(v) = -2*v. Let i be o(-2). Suppose -7*q + 20 = -2*q. Let r = i + q. Is r at most 9?
True
Let g = -13.3 + 16. Let o = 1.3 + g. Let k = o - 5. Which is greater: -0.3 or k?
-0.3
Let d = 321971/56 - 22955/4. Let y = d + -83/7. Are y and 2 equal?
False
Let t be (76/(-8))/(44/(-40)). Let z = t - 103/11. Which is bigger: z or -1?
z
Let k(p) be the third derivative of -p**4/12 + 7*p**3/2 - 5*p**2. Let u be k(12). Is u at most as big as -5/3?
True
Suppose 4*h + 12 = 0, 2*s - 30*h = -25*h + 2185. Do s and 1084 have the same value?
False
Let z = 11 - 7. Suppose 0 - 33 = -z*m - 5*a, a = 3*m - 1. Let y be (8 - 6)/(m/13). Do 11 and y have the same value?
False
Suppose 5*x - 3 = 2*x. Suppose 319 = -t + 320. Does x = t?
True
Let l = -207 - -513. Which is smaller: 0.1 or l?
0.1
Let z = 1/18 - -55/9. Which is greater: -0.1 or z?
z
Let z = 6 + -1. Suppose 128 = -4*n - 0*n. Let m = n + 36. Which is smaller: m or z?
m
Let h = 96 + -149. Which is bigger: 0 or h?
0
Suppose 0 = -4*x - 5*i + 58, i + 46 = 4*x - 0*i. Let w = x + -10. Are 11 and w non-equal?
True
Let c be 319/66 - (-1)/(-3). Which is smaller: -20 or c?
-20
Suppose 10 - 30 = -g - 5*y, -y = -2*g + 29. Suppose 0 = 3*o - 7*u + 2*u + g, -12 = 3*o - 4*u. Which is bigger: o or 0.1?
0.1
Let n = 1305 - 1344. Suppose 4*z + o + 153 = 0, 121 = -4*z + 4*o - 27. Which is bigger: n or z?
z
Let l = -1 - -1. Let h be ((-39)/26)/(3/(-22)). Let y(t) = t - 9. Let i be y(h). Which is smaller: l or i?
l
Suppose -48 = -36*c + 20*c. Suppose v + 4*v = 15. Let g be c*(v/(-18))/(-1). Is g not equal to 1?
True
Let h = 364 - 366. Is h < -118?
False
Let q(v) = 10*v**2 + 5*v + 3. Let p(x) = -11*x**2 - 4*x - 4. Let w(z) = -3*p(z) - 2*q(z). Let u be w(-2). Which is smaller: u or 53?
53
Suppose 2*h = -4*r - r - 25, -10 = 2*r - 5*h. Let s(x) be the first derivative of x**2/2 + 12*x + 58. Let o be s(r). Is o less than or equal to 7?
True
Suppose -3*h + 5*h + 2 = 0. Let i = -1443/20 - -723/10. Is i at least as big as h?
True
Let h = -12 - -10. Let a be ((-2)/40)/((-885)/(-24680)). Let z = a - 1/177. Is z greater than or equal to h?
True
Let f = -232.91 + 233. Let o(t) = -t**3 + 7*t**2 + 8*t + 9. Let z be o(8). Let x = 11 - z. Which is greater: f or x?
x
Let m be 8/(-6)*21/14. Let q be m/(5/(-5)) - 1175. Let k be ((-2)/6)/(23/q). Is k less than or equal to 17?
True
Let n(v) = 12*v**2 + 2*v - 1. Let l be n(2). Let f = -5821 + 5872. Is l equal to f?
True
Let z = 447 + -1005/2. Let q = 53 + z. Is -2 at most as big as q?
False
Let h = -432 + 431. Which is bigger: 1/60 or h?
1/60
Let k = 25 + -223/9. Suppose 5*o = -0*o - 145. Let n = o + 30. Are k and n nonequal?
True
Let a be ((-2)/(-4))/((-9)/1530*5). Which is smaller: a or -53/3?
-53/3
Let q = 9 - 11. Let z be (-1)/2*q - -5. Suppose 0 = -2*r - z - 2, 0 = 5*h + 3*r + 17. Is h greater than -1?
False
Let y(n) = -n + 229. Let j be y(-17). Is j <= 247?
True
Let s = 41 - 53. Let f be (-114)/(-115) + 11 + s. Which is greater: -1 or f?
f
Suppose -60 = -322*w + 318*w. Let q(p) = 16*p. Let x be q(1). Is w < x?
True
Let d = 8640/29 + -298. Suppose 0 = -4*l - 0*l - 8, 0 = -2*t - 2*l - 6. Is t at least as big as d?
False
Let r be 9/(-4)*(80/(-15) - -8). Suppose 3*y = -2*y. Let s = y - 5. Is s equal to r?
False
Let i be (-1849)/172 + (-6)/(-8) - -1. Let b = -8 - -8. Let n be -20*(1/2 - b). Which is smaller: i or n?
n
Suppose 108*b + 42 = 115*b. Which is smaller: 4 or b?
4
Let d = -1258319 - -985263926/783. Let k = -61607/27 + 2282. Let h = k - d. Which is smaller: -1 or h?
-1
Let y = -23 - -20. Let t be ((-1860)/18)/(2/y). Suppose -55 = 5*p - t. Is 19 equal to p?
False
Suppose 6*a - 24 = -0*a. Suppose 0*u - a = -4*u. Is 4/21 less than u?
True
Suppose 0 = -2*s - x - 23, -s = 3*s + 3*x + 51. Let g be (-1 + -17)*s/18. Suppose -51 + g = 6*w. Which is smaller: w or -6?
w
Let w(v) = v**2 - 3*v + 2. Let m be w(4). Let x be (0 - (-8)/m) + 3. Which is smaller: x or 3?
3
Let x be ((-31)/(-62))/(1/228). Suppose 78 - x = -c. Which is smaller: -1 or c?
-1
Let l = 22 + -3. Suppose 59 = 5*g + l. Suppose -28*m + 26*m + g = 0. Is 4 smaller than m?
False
Let c be 2*((-44)/24)/11. Let q = 4.06 + -0.06. Are q and c unequal?
True
Let d be -1*((-18)/(-30))/(187/(-55)). Let r = -312/5 - -62. Which is greater: r or d?
d
Let v = 271/3 + -451/5. Is v at most as big as 2.1?
True
Let j = -104.1 - -124. Let g = j + -20. Is g at most -0.9?
False
Let r = -2466 + 17264/7. Which is smaller: r or 110?
r
Let q(r) = r - 3. Let z be q(11). Let u be 0 + -3*z/6. Let w be 1/(2 - 14/6). Is u <= w?
True
Suppose -4*f - 12 = -5*q + 5, 2*f - 4 = 0. Let w be -4*1*q/(-90). Let g = -213 - -213. Does w = g?
False
Let k(q) = q**3 - 10*q**2 - 4. Let w be k(10). Let o be (-502)/55 + (w - 110/(-25)). Is -9 less than o?
True
Let n be (-27 + -3)*(-1 - -1 - 1). Let g be 10/105*n + (-2)/1. Are g and 0 unequal?
True
Let j(t) be the third derivative of -t**5/60 + 2*t**4/3 + t**3/2 - t**2. Suppose 0 = c + 3*b - 2, 2*c - 7 - 7 = -4*b. Let x be j(c). Is -14 at most x?
True
Suppose 25*c - 1535 - 40 = 0. Is c > 64?
False
Suppose -5*o - 67 - 78 = 0. Let i be 8/(12/(-3)) - o. Is i equal to 26?
False
Let a = 13 + -16. Suppose -52 = -5*u - 2*s, -u = -5*u + 5*s + 35. Suppose u = -2*l + 5*k, -k + 5 = -l + 4*k. Is l < a?
True
Suppose 0 = i + 10 + 14. Let g be (36/i)/(3/4). Is g < 1?
True
Let u = 938 + -947. Do u and -1.1 have the same value?
False
Let m(d) = d**3 + 9*d**2 + 7*d - 5. Let u be m(-8). Suppose 0 = 5*f + u*l - 46, 0