(3 - ((-15)/10 - -4))*2. Is z < 5/66?
False
Let t be 196/(-2717) - (-17)/221. Is t at most 0?
False
Let z(r) = 2*r**3 - 8*r + 7. Let f be z(1). Is f less than -3/128?
False
Suppose -b - 5*j - 15 = 0, -5*b = -0*j + 3*j + 9. Let t be 1 + b/(4/(-2)). Which is smaller: t or -1/38?
-1/38
Suppose -4*i - 5*a = -1079, 3*a - 1070 = -4*i + a. Which is smaller: 267 or i?
i
Let b = -148 - -134. Suppose -5*r = -2*r + 15. Is b bigger than r?
False
Let n = -8 - -10. Suppose n*s - 3*s = 0. Let u = 43/2 + -21. Is s bigger than u?
False
Suppose -6*p - 24 = -6. Let g be p + (-5)/((-220)/124). Let x(n) = n**2 - 4*n + 4. Let b be x(3). Which is bigger: b or g?
b
Let o = 244 + -1710/7. Which is bigger: -349 or o?
o
Let n = 83 - -14. Suppose -2*z + n - 39 = 0. Is 30 >= z?
True
Let i = 0.749 + -7.749. Is i at most -0.024?
True
Let n(s) = 3*s**2 - 39*s + 1. Let p be n(13). Which is smaller: 2/4095 or p?
2/4095
Let h be 4*106*7/(-28). Is h at most as big as -106?
True
Let f(m) = m**2 - 5*m + 3. Suppose 5*d = -4*n + 72, d = 5*n - 129 + 10. Suppose t + 0*w - 11 = -3*w, -3*t - 4*w = -n. Let i be f(t). Which is smaller: i or 2?
2
Let a(i) = i**3 - 3*i**2 + 3*i - 2. Let k be a(3). Let t be 15/45 + 92/(-6). Let v = -7 - t. Is k not equal to v?
True
Let s(f) = f. Let x be s(1). Let m be (-2471)/30 - 12/8. Let v = -84 - m. Is v bigger than x?
False
Let o = -3 + 8. Let w be ((-14)/(-6))/(301/258). Suppose -7*p = -5*z - 3*p - w, -8 = o*z - p. Are -2/5 and z nonequal?
True
Let c be ((-5)/10)/(2/(-68)). Let k = c + -17. Suppose 3*q - 4*p + 9 = -k*q, 2*q - 2*p = -4. Which is smaller: 2/27 or q?
2/27
Let v = 318 + -296. Does 133/6 = v?
False
Let s be ((-136)/6)/((-26)/18 - -1). Is 52 >= s?
True
Let a be (8 + 1728/(-226))*24/(-20). Which is smaller: -1 or a?
-1
Let j be ((-2)/3)/(-2) - (-51)/(-85). Let s be 0/(((-1)/3)/(2/6)). Which is smaller: j or s?
j
Suppose -10*r - 100 = 40*r. Is r greater than or equal to 239?
False
Let c = 928/3 + -313. Suppose 25 + 527 = -91*q + 97. Which is bigger: c or q?
c
Let q = 62/319 - 190292/4147. Let c = q - -4401/104. Which is smaller: c or -4?
-4
Let i be (-2)/(52/54) - -2. Let c = 448 + -448. Are c and i equal?
False
Let p be (-12)/10*10/(-4). Let q be (-4)/(-10) + (-2515)/725 + p. Which is bigger: q or 0?
0
Let k = -57 + 44. Let y = -30 - k. Which is smaller: -2 or y?
y
Suppose 2*b - 82 = 4*u, 78 = -4*u + 2*b - 4*b. Let v = -3/271 - 10563/542. Which is smaller: u or v?
u
Let h = 0 - -4. Suppose -z - 33 = -6*z + h*l, 19 = 3*z - 2*l. Let w = z + -3. Is 4/3 bigger than w?
False
Suppose 9*h + 0 = 9. Which is greater: h or 2/7?
h
Let y = -1579/280 + 1/70. Is y smaller than -7?
False
Let o = -3.1 + -0.1. Let n = 2.95 + 0.05. Let w = o + n. Does w = -0.08?
False
Let g be (0 - (-3 - -4))*-1. Let h = 1 - g. Suppose 0*t - 2*t - 6 = h. Is -3 at most t?
True
Let q = 295179/1066352 - 1/38084. Let y be 4/6 + 59/(-48). Let z = q + y. Is z not equal to -3/7?
True
Let p be -4*(-2)/3*(-54)/(-144). Is 1/175 != p?
True
Let r = 13 + -13. Suppose 9 = o + 2*o. Let y be 2/(-3) + 2/o. Does y = r?
True
Let q = 269 - 27975/104. Let x = q - 241/3432. Suppose 0*b = -b. Which is greater: x or b?
b
Let i = 1561 + -1552. Let w(x) = 3*x**3 - 4*x**2 + x + 2. Let b be w(2). Is b equal to i?
False
Let f = -30 - -78. Let v = f - 142/3. Let x be 0 - ((0 - -1) + -2). Which is smaller: x or v?
v
Let w = 1984 + -1887. Are w and 3 non-equal?
True
Let q = -19 - -38. Let x = q - 14. Suppose -u = x*u. Is -0.03 < u?
True
Let z = 6 - -33. Let o = z + -37.8. Is o less than 2?
True
Suppose 0 = 31*a - 146 - 1280. Is 38 equal to a?
False
Let c(t) = t - 3. Let k(i) = 2*i - 9. Let g(d) = -8*c(d) + 3*k(d). Let b be g(-6). Let f be 2/((-8)/b) - -2. Which is smaller: f or -0.1?
f
Let r = 13/4 + -125/36. Suppose -6 - 5 = 11*n. Which is bigger: r or n?
r
Suppose 0 = -19*g - 352 - 256. Which is smaller: -33 or g?
-33
Let v(r) = -r**2 - 15*r - 12. Let w be v(-14). Let u be (24/(-9))/(1/w). Let j = u + 5. Which is greater: 1 or j?
1
Let y be 1*3/(-6)*-1. Which is smaller: y or 0.214?
0.214
Suppose -4*t - 99 = 161. Let h = t - -64. Is -1 at most h?
True
Let v = 446 - 222. Suppose -4*f - 4*l + v = -272, 4*l = -3*f + 368. Let r be (-16)/f + 2/(-8). Which is greater: -1 or r?
r
Suppose 0 = 14*k - 70 + 210. Is k >= -12?
True
Let p be -3*(14950/(-1870) - -8). Which is smaller: p or 0?
p
Suppose 4*g + y = 7, 126*g = 130*g - 3*y - 11. Suppose -12 = c - 4*c. Is c bigger than g?
True
Let w be (-208)/(-156)*15/(-56). Let p(o) = -o - 9. Let i be p(-9). Are i and w non-equal?
True
Suppose -3*l + 14 = m, -l = 4*m - m - 10. Let y be (18/l)/((-2)/(-4 - -12)). Which is smaller: -19 or y?
-19
Let p = -3.46 - -1.56. Which is greater: -0.07 or p?
-0.07
Suppose 4*l + 2*x = -x - 261, -2*x = 3*l + 195. Let y be (-18)/l + ((-186)/(-70))/(-3). Let j be (-3)/(-12) - (-5)/(-4). Is j at least y?
False
Let t = 584 + -583. Let x = -0.3 + -0.1. Let v = -0.4 - x. Which is greater: v or t?
t
Suppose 4*d - 204 = 4*n + 6*d, -n = -5*d + 40. Which is smaller: n or -35?
n
Let n(v) = -17*v - 17. Let y(q) = 6*q + 6. Let b(m) = -4*n(m) - 11*y(m). Let x be b(-3). Which is greater: -10/3 or x?
-10/3
Let h be 0 - 2/8 - 0. Let z(c) = -c**3 - 11*c**2 - 11*c - 14. Let p be z(-10). Let x = -5 - p. Which is smaller: x or h?
x
Let j(d) = 2*d**3 - 14*d**2 - 39*d - 11. Let p(l) = 3*l**3 - 21*l**2 - 59*l - 16. Let s(w) = 8*j(w) - 5*p(w). Let i be s(9). Which is bigger: 7/18 or i?
i
Let j be 4/((-48)/9)*1. Let z be (-318)/36 + 9 - (-30)/108. Which is smaller: z or j?
j
Let d(s) = -2*s - 11. Suppose -r = -4*r - 15, 3*l + 5*r + 52 = 0. Let y be d(l). Let p = -5 + y. Which is smaller: p or 7/4?
7/4
Let f = 3.65 + -0.05. Let c = f - 3.6. Let i = 5 - c. Which is smaller: i or 1/2?
1/2
Let x be (242/4)/((-73)/(-146)). Is 121 at least x?
True
Let y(m) be the second derivative of 0 - 1/3*m**3 - 4*m + 1/2*m**2. Let t be y(2). Which is greater: t or -2?
-2
Let s(k) = -3*k**3 + 27*k**2 + 8*k - 38. Let z be s(11). Is z < -676?
False
Let g(m) = -m**2 - 1 + m + m**3 - m**2 - m**2. Let f be g(3). Which is bigger: f or 12/13?
f
Suppose 4*j = -5*i - 5, 0 = 2*i - j + 12 + 3. Let h(t) = -2*t - 18. Let m be h(i). Suppose u - 1 = 2*b - 7, -3*u + 5*b - 14 = 0. Which is smaller: u or m?
m
Suppose 3*m - 3 = -2*j - 5, 3*m = 3*j + 18. Let d = -83 - -85. Suppose 3*f + 4*t - 20 = -d*f, 0 = f + t - 4. Which is smaller: f or m?
m
Let x = 230 + -217.1. Let i = x - 13. Let t = -28 - -22. Is t at most as big as i?
True
Let c be (2 - (-2 + 5)) + (-6)/(-3). Which is smaller: -1/139 or c?
-1/139
Let a = 547 + -367. Let m be 2/3 - (-258)/a. Let z = -57/20 + m. Which is bigger: z or 0?
0
Let t(f) be the third derivative of f**4/24 + 11*f**3/3 - 21*f**2. Let u be t(-13). Is 10 greater than u?
True
Suppose 5*s = -2*i + 10, 7*i - 20 = 3*i - 4*s. Suppose -5*r - 4*h - 1 = -3*h, -2*r = -i*h + 22. Is 3/19 less than or equal to r?
False
Let p(l) = -l**2 + 23*l - 126. Let h be p(14). Is h less than 5?
True
Suppose 602 = 5*z + 632. Which is bigger: -19/4 or z?
-19/4
Suppose -10 = q - 4*r - 6, -3*r + 3 = 3*q. Suppose 4*z = 3*z. Let t be 2/(-18) - z/4. Which is greater: q or t?
q
Let r be (-4)/24 - 25/(-6). Suppose -16 = -3*x - r*n, 4*n = -5*x + 56 - 16. Let b = x - 14. Which is smaller: -1 or b?
b
Suppose 49*k + 7 = 56*k. Which is smaller: k or -2/343?
-2/343
Let z(m) = m**2 + 9*m - 3. Let h be z(-9). Let q(y) = y**2 - y + 6. Let u be q(h). Let v be (-27)/u - (-3)/10. Is -2 bigger than v?
False
Let q be 18/48 + (-837041)/1163480. Let r = q + -2/5015. Which is smaller: r or 1?
r
Suppose l = -5*j + 2*l + 19, -5*j - 5*l = 5. Suppose 5*y + 4*r = -58, 2*y = 3*y - j*r + 23. Is -12 greater than y?
True
Let s(z) = -5*z. Let j be s(-2). Let u(x) = 3*x + 10. Let q be u(0). Is j greater than or equal to q?
True
Suppose 3*v + 4965 - 4944 = 0. Is 83 at least v?
True
Let o = -328.576 - -2.576. Which is bigger: o or 0?
0
Suppose 0 = -3*h - 3*h + 288. Suppose n + 2*x = -0*n - h, 3*n + 109 = x. Is n equal to -38?
True
Let r be ((-8)/6)/1 + 1324/(-6). Let m be ((-6)/r)/((-87)/(-30) - 3). Which is greater: -1 or m?
m
Let c = 1 + -2. Let a be (8/120*-6)/((-489)/15). Which is smaller: a or c?
c
Suppose 367 = 14*l - 4267. Which is smaller: 330 or l?
330
Suppose -10*a = 6*a + 816. Let p be a/6*8/(-26). Which is smaller: 3 or