Is n less than -49?
False
Let s(z) = 28*z - 147. Let h be s(11). Which is smaller: h or 159?
159
Let y = 172.006 + -172. Is y >= -3?
True
Let s = -5 + 4.45. Let y = s - -34.55. Which is bigger: y or -1?
y
Let i be (668/9)/((-44)/(-198)). Is i greater than 335?
False
Let i(n) = -9*n**2 + 8*n + 30*n**2 - 7*n + 1. Let a be i(-2). Let k = 399/5 - a. Is -4 smaller than k?
True
Let c(r) = -r**2 - 8*r + 9. Let b be c(-9). Let p be 1 + b + 2 - -1. Suppose 0 = -4*s - 2*d - p - 6, 2*s + 2*d = -6. Is s bigger than -3?
True
Let c be (-16)/(-440)*-15*(-1)/1377. Do 1 and c have the same value?
False
Suppose -60*j + 68*j = 64. Which is smaller: 1 or j?
1
Let q be 2/15*(-10)/(-3). Let v be -1*(-9)/3*21/63. Which is smaller: q or v?
q
Suppose -5*l = 4*i + 175, i - 92 = 3*l + 6*i. Is l at least as big as -39?
True
Suppose 42 = r + 7*j - 2*j, 3*r + 3*j = 78. Suppose 0 = -4*p + 6*p + r. Are -9 and p unequal?
True
Let v = 1323 - 1324. Which is smaller: v or 24/73?
v
Let c = 220 + -213. Which is greater: c or -0.09?
c
Let n = -36 + 20. Let x = -15 - n. Let u be x/(-2)*(-14 - 0). Which is greater: u or 9?
9
Suppose -q - 17 = -5*b + 33, -5*q = b - 10. Suppose 3*a + 2*z - 22 = a, -5*a + 50 = 4*z. Is b at most as big as a?
False
Let z = -23.3 - -24.3. Let u = 0.1 + 5.9. Let l = -7.1 + u. Is l not equal to z?
True
Suppose -302*l + 315*l = -1300. Is l less than -690/7?
True
Let q = 225 - 234. Let i(x) = -2*x + x**3 + 6*x**2 + 5 + 4*x**2 - x**2. Let c be i(q). Is 24 less than c?
False
Suppose 9 = 3*h, 29*s + 4*h = 33*s + 176. Suppose 210 = 3*y - 8*y. Which is smaller: s or y?
y
Let g(o) = o**3 + o**2 + 15*o - 4. Let j be g(11). Do 1613 and j have the same value?
True
Let j = 335 - 315. Is -3 at most j?
True
Let s = -3.0998 - -0.0998. Which is smaller: s or -0.37?
s
Let z(p) = -p**2 - 5*p - 5. Let a be z(-4). Let x(m) = 3*m**2 - 1. Let d be x(1). Suppose c + 32 = -3*b, -3*b - d*c = 2*b + 55. Which is bigger: b or a?
a
Let a(v) = -5*v - 3. Let f be a(-6). Let c be (f/(-12) + 2)/(-1). Suppose -3*m = 9, h - 6*h - 2*m = 6. Are h and c non-equal?
True
Let f = 1.45 - 1.61. Is 0.1 < f?
False
Let f be (-195)/78*20/86. Is -1 at least f?
False
Suppose x = 5*n - 6, 4 = -0*n + 2*n. Suppose -16 - 4 = 4*y + x*s, y - 3*s + 9 = 0. Which is greater: y or -22/3?
y
Let r be (4/(-90))/(20/60). Suppose 0 = 3*d - 3*x - 15, 0 = -4*d - d - x + 55. Let m = 9 - d. Which is smaller: m or r?
m
Let i(p) = p**3 + 8*p**2 + p - 1. Let y(h) = 4*h + 5. Let q be y(-3). Let r be i(q). Let b be r/6 + -3 + -3. Which is smaller: 2 or b?
b
Let f = 21/22 - 49/22. Let v = 0.7 + -0.9. Are v and f non-equal?
True
Let f be 42/12*(-4)/(-14). Let u be (f - 4)/(3/(-202)). Let m = 2224/11 - u. Is 4 at least m?
True
Suppose -3*k + 63 = -2*m, 5*m - 20*k = -22*k - 186. Is m >= -73/2?
True
Let d(y) = -9*y - 4. Let s be d(-1). Suppose -4*t + 4 = -4*k + 24, -2*t = 3*k - s. Are 0 and k equal?
False
Let f = 10/11 + -31/22. Let k = -105 + 104.95. Is k bigger than f?
True
Let d = 14818/7 + -2122. Is d less than -6?
False
Let n = 4315/11808 + -8/369. Which is bigger: n or -1?
n
Let j be ((-2)/(-10))/(8/45). Let g(n) = 2*n**3 - 7*n**2 - n + 3. Let q be g(6). Let w = q + -176. Is j less than w?
False
Let d(m) = m**2 - 5*m - 2. Let r be d(6). Let c be ((-45)/(-60))/((-21)/(-98)). Which is smaller: r or c?
c
Let z be (21 + (-12)/3)/(-1). Let k be (-56)/10 - (z - -13). Do -3 and k have the same value?
False
Let w = 39 + -35. Suppose u + w = -1. Which is greater: u or -2?
-2
Let k = -93/28 - -11/7. Let q(n) = n**2 - 3*n + 1. Let z be q(4). Suppose -4*u = 5*m + 16 + 3, -8 = m + z*u. Which is greater: k or m?
k
Suppose 2*i - 373 + 375 = 0. Is i >= 4/89?
False
Suppose 0 = 3*f + 4*f. Let z(i) = -i**3 - 3*i**2 + 9*i + 7. Let v be z(-6). Suppose -2*c + 4 = f, 5*w + 2*c + 12 = v. Is w at least 9?
True
Let s(w) = -2*w**3 - 20*w**2 - 19*w - 8. Let f be s(-9). Which is bigger: f or 4/13?
f
Let z(s) = s**3 + 5*s**2 - 3*s - 3. Let r be (-11)/3 - (-3)/(-9). Let v be z(r). Is v bigger than 25?
False
Let f be (-6 + (-9 - -15))/(3 + -1). Is f >= -5/139?
True
Let g = 67202/53 + -1268. Let v(c) = -c**3 + 6*c**2 + c - 4. Let f be v(6). Let p be (-2 + f)/((-2)/2). Is g at least p?
False
Let s = -5 + 4. Let w(h) = -28*h. Let l be w(s). Suppose -y - 5*v + 26 = 0, 5*y + 5*v - 2 = l. Is y less than or equal to 1?
True
Let c = -0.8395 + -0.1605. Which is smaller: 406 or c?
c
Let m(q) = -4*q**3 + q**2 - 6*q + 18. Let p be m(3). Is p greater than -97?
False
Let s be 4/776*-1762 - -9. Is s >= 1?
False
Let l = -0.3 + 0.2. Let h = 4.66 + -5.2. Let f = -0.64 - h. Is f bigger than l?
False
Let m be 0 + 0 + 0 - 1. Suppose 13 = -3*q + 10. Let t = q + m. Is t greater than 0?
False
Let t be (234/12)/((6/8)/(-1)). Let m be (-242)/10 + -2 - (-17)/85. Is m at most as big as t?
True
Suppose 5*u = -z - 2955, 0*u + 6*u - 5*z = -3515. Does -592 = u?
False
Let r = 46364/11 + -4219. Are r and -1 unequal?
True
Suppose 92*v + 6 = 95*v. Let r be v + (1308/224)/(-3). Which is smaller: r or -1?
-1
Let w be ((-6)/8)/(18/288). Let s be ((-126)/w)/(6/32). Which is bigger: s or 55?
s
Let n = 1 - 0.97. Let z = 1.07 - 1.14. Let g = n - z. Which is bigger: -1 or g?
g
Let g be 6/21*(-5)/(-10). Let x(a) = -a**2 + a + 4. Let r be x(0). Suppose r*q = -3*p - 3, 3*p - 5*q = -0 - 3. Is g greater than p?
True
Let n be (10/(-16))/((-6)/8). Let h = 7947 + -7941. Which is smaller: n or h?
n
Suppose -5*l + 905 = 40. Is l bigger than 175?
False
Let m be 12*20/(-40)*1/674. Is -1 <= m?
True
Let s(i) = -i**3 - 4*i**2 + 5*i. Suppose 0 = -5*x - 5, 3*x - x - 13 = 3*m. Let d be s(m). Suppose 2*c + z = 2 - d, -3*c + 4*z + 3 = 0. Is c bigger than 0.16?
True
Let g = -6.85 - -0.85. Which is smaller: -89 or g?
-89
Let i = -22.87 + 23. Let w = i - 13.13. Which is bigger: w or 0.1?
0.1
Let n be (323 + 0)*(-11 - (-30)/3). Which is bigger: 2/7 or n?
2/7
Let h = -12 + 22.62. Let g = -8.7 + h. Let u = g + -2. Is u < 0.2?
True
Suppose y + 104 = -5*s - 0*s, 0 = s - 5*y + 26. Let j = -40 + 20. Which is smaller: s or j?
s
Suppose 157 = -7*o - 18. Let f be (1 + -2)*(0 - o). Are -25 and f non-equal?
False
Let u(g) = g**2 + 3*g + 3. Let c be u(-2). Let b be c/3*(-5 - -2). Let p be (0/b)/((-2)/(-1)). Which is greater: p or 2/7?
2/7
Let j = -27 - -7. Let c = 23 - 29. Let t be (c/15)/((-7)/j). Are -1 and t non-equal?
True
Let c(l) be the second derivative of 7*l**3/3 + 3*l**2/2 - 25*l. Let q be c(-3). Is -39 equal to q?
True
Let o be ((-2)/(-3))/((1936/(-5643))/22). Which is bigger: o or -43?
o
Let b be ((-3)/(-2))/((-6)/1860). Let n = -2332/5 - b. Are 0 and n equal?
False
Let p be 5*(-2)/(-40)*-6. Suppose 3*f = -2*f - 10. Which is smaller: f or p?
f
Let m = -183 + 184. Is m bigger than 0.109?
True
Let x = -58.6 - -53. Let z = -5.6 - x. Which is greater: -5 or z?
z
Let s(o) = -o**2 + 6*o - 5. Let h be s(4). Suppose -3*i - h*k - k = 40, -3 = 3*k. Is -14 at most i?
True
Suppose -192 = -4*p - 4*u, p + p + 3*u - 101 = 0. Is p at most as big as 49?
True
Let j = -851/9 + 95. Let m(h) = 2*h**2 - 1. Let i be m(1). Is i at most j?
False
Let s be (-7 - 7604/(-1086))/((-3)/(-18)). Which is smaller: -1 or s?
-1
Let v be (119/(-49))/(8/(-168)). Which is bigger: 52 or v?
52
Suppose 12 = 4*l + 4*c, 0*l - 2*c + 6 = -5*l. Does -1/418 = l?
False
Let a = -0.04 - -2.04. Let n = -37.21 + 37. Let v = n - -0.14. Is v greater than a?
False
Suppose -475*a + 463*a - 1356 = 0. Which is bigger: -115 or a?
a
Let m = -35 - -25. Let b be (204/m)/((-110)/50). Let r = b - 2641/286. Is r > 0?
True
Let z = -1 - 15. Let x = 11 + -9. Let o be (20/z + x)/(-3). Which is smaller: o or 2/9?
o
Suppose -4*m + 5*f = -20 + 65, 4*m + 2*f + 38 = 0. Which is smaller: 22 or m?
m
Let r(m) = -m**2 - 4*m + 1. Let n be r(-3). Suppose 6 = -5*f - 2*j, n*f - 12 = -f + 4*j. Let x be 12 + 574/(-42) + (0 - -2). Is f less than or equal to x?
True
Let h = -0.2 - -0.3. Let p = 17.55 + 0.45. Let w = 16.9 - p. Which is smaller: w or h?
w
Let j = 9 - 25. Let n = 2/59 + -124/177. Which is smaller: n or j?
j
Let l = -2.007 + 0.007. Let g(o) = -o - 15. Let v be g(-10). Let u be ((-1)/v)/(24/(-30)). Is u less than or equal to l?
False
Let t = -3281.3 + 3488. Let k = 221 - t. Let s = -14 + k. Which is smaller: -1/3 or s?
-1/3
Suppose -3*h + 5*s = 77, -3*s + 11 = -h - 16. Let q be (h/100)/((-6)/(-4