 36/10*v/(-90). Is 5 less than or equal to k?
True
Let n be ((1560/675)/(-13))/(2 - 0). Which is smaller: 0 or n?
n
Suppose 2*u + 2*u - 8 = 0. Suppose -9 = -u*m - m. Let r = -1040829/11 - -94623. Are m and r equal?
False
Let d(l) = 2*l**3 - l**2 - 3*l - 17. Let n be d(3). Let s(x) = x**2 - 15*x - 8. Let f be s(11). Let k be (-21)/(-6)*f/(-10). Is n greater than or equal to k?
True
Suppose 0 = -2*z - 0*z + z. Suppose 4*w - 12 = -g, z*w = -4*g + 6*w - 18. Which is smaller: g or -2/441?
-2/441
Let n(j) = 16*j. Let u be n(1). Suppose 3*d = d + u. Suppose 3*c + 86*t - 90*t - 1 = 0, 5*t = -c + 32. Is c not equal to d?
True
Let i be ((-11)/(-1) - 6)*(-19 + 10). Which is bigger: i or -37?
-37
Let d = -479/150 - -97/30. Is -73 at least d?
False
Let i be ((-48)/30 - -2)/(408/180). Let t be -1*(-3 + 2) + 2. Suppose 2*b - 6 = -t*s, 5 = -2*s + 4*b - 7. Which is bigger: s or i?
i
Let w = -105402 + 30250404/287. Which is greater: 0 or w?
w
Let n be ((-8756)/77)/((-18)/252). Which is greater: n or 1591?
n
Let l(p) = -2*p - 160. Let h be l(9). Let t = -164 - h. Which is greater: t or 91/6?
91/6
Let v be 41760/(-201780) + (-2)/(-19). Let p be 6/2 - (6 - 3). Which is greater: v or p?
p
Let z be (2 + -4 + 2)/1. Suppose 0 = x + 4*p - 28, 4*x = 7*x + 4*p - 100. Suppose 0*m - 3*m + 3*v = 0, x = 4*m + 5*v. Which is smaller: m or z?
z
Let n = 5110 + -5147. Which is smaller: 11 or n?
n
Let t = -450 - -778. Let v = t - 322.52. Let m = -5.4 + v. Is 0.02 less than or equal to m?
True
Let j(l) = 37*l - 1. Let c be j(1). Suppose -3*q = -2*r - 20, -8*r - c = -5*q - 4*r. Suppose -21 = -s + q*s. Which is greater: -9 or s?
s
Let h = 55912 + -1845665/33. Is -16 at most h?
False
Suppose -4*m - 16 = -4*g, 4*g + 3*m - 1 = 1. Let n(o) = -o**3 - 5*o + 7. Let k be n(g). Let p be (-20)/(-121) - (-2)/k. Which is smaller: 0 or p?
p
Let z = 0.534 - 496.534. Let f = -497 - z. Is f bigger than -0.15?
False
Let q be -4*(3 - (-2)/(160/(-7756))) - -6. Which is smaller: q or 382?
q
Let t(b) = 3*b**3 + 8*b**2 - b + 1. Let u be t(-3). Suppose 14 = -3*o + 35. Let v be (-90)/35 + (-3)/o. Is u <= v?
True
Let c(g) = -g - 14. Let x be c(-14). Let o be 12/(-8) + (-1)/(-2). Let b be o/(-1 + (-32)/(-6)). Do x and b have different values?
True
Let d = 0.0584 + 0.0676. Let k = d - 1.026. Which is greater: -3/2 or k?
k
Let o = -18028 + 199335595/11057. Are o and -1 non-equal?
True
Let u = -65246 - -5350025/82. Which is greater: u or -2?
u
Suppose 27*c - 98 = 598 + 33. Let n be (-5)/((-10)/(-96)) + 1. Let l = n + c. Which is bigger: -21 or l?
l
Let v be (1/5)/(2356/(-95)). Let g = 419/62 + v. Is 6 equal to g?
False
Let z = 1322/3 + -463. Suppose -31*k + 316 = 998. Is k greater than or equal to z?
True
Let t = -258 - -216. Let q be (63/t)/(1 + (-57)/48). Let k = -8 - -11. Which is smaller: k or q?
k
Let g = 1348 + -1343. Suppose -5 + 11 = 2*k. Are g and k non-equal?
True
Let g = -1860 - -20400/11. Which is smaller: g or -7?
-7
Let g(b) = b**2 + 38*b + 2. Let v be g(-38). Suppose -43 + v = -u + 4*n, -u + 41 = -2*n. Is 39 less than u?
True
Let w(j) = j**3 + j**2 - 7*j - 13. Suppose 38*i = 33*i - 20. Let y be w(i). Is -33 at most y?
True
Let k be (2 - 0)/(-20 - (-2 - (-988)/(-57))). Suppose 2*t - 206 = 4*t. Let u = t - -399/4. Is k at least as big as u?
True
Suppose 5*k + 2*y = -y - 9, -2*y + 4 = 0. Suppose -2*a - 2*h = -4*a + 48, 2*a - 4*h - 56 = 0. Let v(l) = -5*l + 97. Let i be v(a). Is i less than k?
False
Let j(b) = -2302*b - 4605. Let g be j(-2). Are -1/9246 and g unequal?
True
Let g = 267715 + -1870763/7. Are 0 and g non-equal?
True
Let n = -139.25 - -145.25. Is n > -125?
True
Let t = 2.281 + -2.181. Which is smaller: t or 2508?
t
Let h(n) be the third derivative of -n**6/120 - 2*n**5/15 + 2*n**3/3 - 10*n**2. Let t(q) = q**2 - 15*q + 28. Let d be t(12). Let k be h(d). Is 7 bigger than k?
True
Let b(x) = -x**3 + 3*x**2 + 5*x - 4. Let z be b(4). Suppose 0 = -z*q + 2*q. Let s = -2239/5 - -447. Which is smaller: s or q?
s
Let m(i) = i**2 - 17*i + 6. Let s be m(13). Let v = -37 - s. Suppose 39 = 2*j + v. Which is smaller: j or 14?
14
Let z be 0 + -406 + 96 + -101. Let q = -345 + -65. Is q equal to z?
False
Let u = -397221139/1305 + 304384. Which is smaller: 0 or u?
u
Let l = -6446.4 - -6447.4. Let b(p) = -p - 145. Let a be b(0). Is a at least l?
False
Let h(l) = 2*l**2. Let u be h(0). Let j be (18/(-4))/(8 - 68/8). Which is smaller: j or u?
u
Let s = 11382 + -9296. Are s and 2086 equal?
True
Let m(k) = -6*k + 3. Let o be (-8)/(0 - -4) - (-1 + 1). Let d be m(o). Let c be (-4)/(-6) + (-265)/d. Are c and -18 unequal?
True
Let q be 198/740 + 11*(-4)/20 + 2. Is q equal to 1?
False
Let u = 7551714/229 + -32977. Which is greater: 0 or u?
0
Suppose 0 = 4*a + j - 795 - 2189, 0 = 3*j - 12. Suppose 0 = 25*n - a + 2895. Which is smaller: -88 or n?
-88
Let a(z) = -z**3 - 11*z**2 + 17*z - 1. Let w be a(-9). Let c = -315 - w. Do 3/7 and c have the same value?
False
Let y be (-375)/306 + (1 - 0). Is y > -1?
True
Let i = -21601 + 107994/5. Let n(o) = -o**3 + 4*o**2 + o - 2. Let z be n(4). Let l = 1 - z. Is l != i?
True
Let n = 1592.1 + -1595.1. Which is smaller: 0.163 or n?
n
Let o be 5/(-14)*144/(-90). Let b be (1 - 1/(-1)) + -10. Let i(n) = -2*n**2 - 18*n - 12. Let x be i(b). Do x and o have different values?
True
Let f(x) = x**3 + 46*x**2 + 77*x - 465. Let t be f(-44). Is -39 at least t?
False
Let h = 2383 - 6367. Which is smaller: h or -3985?
-3985
Let h = 1.334 + -0.814. Let b = 0.2 + 2.22. Let u = h - b. Which is bigger: u or 2?
2
Suppose 8 = -s - g, -5*s + 2*g - 56 = 3*g. Let u be 4 - (5 + (-5 + 2 - 1)). Let b be -6*((-1 + u)/s)/1. Which is smaller: 30 or b?
b
Let b = -0.009 + -0.0358. Let o = b + 2.0448. Do o and 52 have different values?
True
Let q(u) = -3*u - 14. Let x(z) = z**3 - 15*z**2 + 57*z - 15. Let d be x(7). Let p be q(d). Which is greater: p or 19?
19
Let l be (2 - 1)/(1084 + (-42 - -24)). Which is smaller: l or -1?
-1
Let o = 6.26 - 12.52. Let l = -56.74 + o. Is l <= 0?
True
Let c = -119489 - -593489/5. Which is smaller: -791 or c?
c
Let s = 127.705 + -1.705. Is s > 2.5?
True
Let c(r) = 5*r + 1. Let s be c(-7). Suppose 1330 + 815 = -65*l. Which is greater: l or s?
l
Let m be 16/((-256)/24)*(-124)/6. Which is bigger: m or 5.4?
m
Let k = 2399.859 + 1.141. Which is bigger: k or 0?
k
Let l = 0 + 0. Let n(m) be the third derivative of -m**6/120 + m**5/60 - 43*m**3/6 - 12*m**2 + 3*m. Let g be n(l). Is -43 != g?
False
Suppose x - 2*w - 89 = 0, -7*x - 30*w + 31*w = -688. Suppose -4*c = -182 - 214. Are x and c equal?
True
Let d(b) = -2*b**3 - 3*b**2 + 6*b + 7. Let h be d(-2). Which is smaller: 3/3416 or h?
h
Let v = -102 + 83. Let s = -0.21 - -1.06. Let l = s - -0.15. Which is smaller: l or v?
v
Let r be (-2 - 167/(-5))/1. Let p be 32 - 0/(2*(9 + 7 + -14)). Which is smaller: p or r?
r
Let j(u) = -36*u - 325. Let a be j(-9). Let n = -68 - -45. Which is greater: a or n?
a
Let d be (-1)/2*-6*1. Let p be (2 + d + -6)/5. Suppose -25*t + 27*t = -w + 5, -4*t - 5*w + 25 = 0. Which is smaller: p or t?
p
Let n = -100987/60 - -1683. Let k be (-30)/(-15) - 6/3. Which is greater: k or n?
k
Let a = -0.658 + -65.342. Let i = -413 - a. Which is greater: i or 0?
0
Suppose 9*v - 21 = 15. Let b be ((-2)/v)/(3 + (-4936)/1648). Is b equal to -101?
False
Let f(x) = -3*x**2 - x + 5. Let l be f(-11). Let c = l - -347. Is 2/15 > c?
True
Let p(m) = m - 5. Let h be p(5). Let a = -0.43 - -29.43. Let v = a - 37. Is v at most as big as h?
True
Let k = -6.52 + 454.52. Let l = k + -447.91. Which is greater: -45 or l?
l
Let x(k) = -3*k**2 - 22*k + 21. Let j be x(-8). Let d(s) = s - 5. Let v be d(4). Let p be (-2)/(v + 7)*-9. Which is smaller: j or p?
p
Suppose 10*k - 5547 = 108*k + 2097. Which is smaller: -59 or k?
k
Suppose 5*k - 3*u + 769 + 1759 = 0, 0 = -u - 4. Let z = k - -517. Which is smaller: -1/2 or z?
-1/2
Suppose -4*r - 80 = -0*w + 5*w, -48 = 4*r - 3*w. Let a = -11542 - -11517. Which is greater: a or r?
r
Let l be 1264/((-45)/(-15) - 10). Is -182 >= l?
False
Let d = -455 - -453. Suppose i - 3*z + 6 = -7*z, -4*i = 4*z. Which is bigger: d or i?
i
Let z = 1396.233 + -1396.4. Is 0.03 not equal to z?
True
Suppose 39*v - 145 = 10*v. Let u be 510/35 + 12/28 - v. Is u greater than 4?
True
Suppose 3*m + 2*o - 48 = 0, -m + 10 + 10 = 2*o. Suppo