n(u) = 5*u + 20. Let w be n(q). Let j be ((-5)/(3275/w))/(2/1). Which is smaller: j or -1?
-1
Let t(g) = -g**3 - 26*g**2 + 27*g + 2. Let j be t(-27). Suppose -j = -3*m + m. Which is bigger: -1/20 or m?
m
Suppose 5*n - 3*i + 53 = 34, 5 = 5*n + 5*i. Let y be ((-1008)/(-288))/(n/12). Let b be -1 - (-2 + (-131)/(-6)). Which is bigger: y or b?
b
Let a(l) = l**2 - 12*l. Suppose 0 = 2*c - 48 - 42. Suppose -5*w = 3*q - 31, 0*q = 4*q + 3*w - c. Let h be a(q). Is -2/29 bigger than h?
False
Let b be ((-348)/171 + 2)*(-42)/224*-604. Is b less than -5?
False
Let z be 174*(-1)/2*1. Let s = 19787 + -19875. Which is smaller: s or z?
s
Let t be ((-93)/(-92) - 1)*2*-7354. Let j = t - -160. Is j less than or equal to -1?
False
Let w = 1247/3368 - -2/421. Let k = -20285 - -20273. Is w greater than k?
True
Let z = 15214 + -8683. Which is smaller: 19591/3 or z?
19591/3
Let m = -1139/11385 - 14/1265. Which is smaller: -2/15 or m?
-2/15
Suppose 4*l - 7*d + 11840 = -11*d, -3*l + 3*d = 8892. Are l and -2963 unequal?
True
Let j be -4 - (-4)/(16/4)*3. Let w be 54/(-99) - 2994/(-5247). Which is smaller: j or w?
j
Let h be ((-379)/2274)/((-4)/6). Let j = -9 - -4. Let l be j*(-1 - 53/(-55)). Which is smaller: l or h?
l
Suppose 25*x - 1728 = 672. Do 101 and x have the same value?
False
Let m(n) = n**3 - 4*n**2 - 3*n - 8. Let y = -11 - -16. Let f be m(y). Let a be (3/f)/((-6)/32). Is a >= -8?
True
Let w = 35.8 + -1.7. Let c = 1 + -35. Let k = w + c. Is k bigger than 11?
False
Let u = -0.737 - -0.537. Let m = 1 + 20. Suppose 0 = -5*w - t - 3*t - 17, -5*w - 2*t - m = 0. Which is greater: w or u?
u
Let d = 1364 + -1345. Does 35/2 = d?
False
Let m be (-7*(-6)/42*-6)/(18/5064). Which is bigger: -1690 or m?
m
Let u(l) = 4*l**2 + 4*l + 4. Let d be u(-1). Let g be (1430/20)/((-6)/d). Let o = g - -48. Which is smaller: 11/6 or o?
o
Let q be (-90)/105 + (-41)/(-7). Suppose -3*g = q*w - 106, 2*w + 4*g = 27 + 21. Is 59/3 less than w?
True
Let h = 537.3 + -537.1. Let g = 0.3 + -1.9. Let m = g + 17.6. Do m and h have the same value?
False
Let x = 0.062 + -43.062. Let r = x - -41. Let f = r - -2.2. Which is greater: f or 0.21?
0.21
Let z = -54 + 84. Let y(p) = 32*p + 154. Let w be y(-5). Which is smaller: w or z?
w
Suppose 2*p = t + 3, -p = -2*t - 0*p + 3. Let w = -22 - -558. Let r be w/240 - (-2)/12. Are t and r non-equal?
True
Suppose m + 2*m + 150 = 0. Suppose 3*w + 4*j - 113 + 139 = 0, -2*j - 12 = w. Let u be (1 + w)*(33 + 19). Is m smaller than u?
False
Let f(i) = -3*i**3 + 12*i + 41. Let m be f(-3). Is 84 bigger than m?
False
Let n(c) be the third derivative of 53*c**4/12 + 52*c**3/3 + 172*c**2. Let i be n(-2). Is i at most -2?
True
Suppose 0 = 5*y + d + 21603, 0 = -5*y + 2*d - 285 - 21309. Is -4320 at most y?
True
Let o be (15/50)/((2/20)/(1/(-12))). Let l be (0 - 85) + 4 + -1. Let h = -2210/27 - l. Which is smaller: o or h?
o
Let x = -11 - -14. Let p = 16 - 13. Suppose -2*b - 1 = -p*b. Which is smaller: b or x?
b
Let y(o) = -6*o**2 - 19*o - 15. Let r be y(-11). Let f be (-24)/14 - (-152)/r. Is -152 less than or equal to f?
True
Suppose 2*t + 192*i - 194*i + 454 = 0, -5*t - 1151 = -i. Which is greater: -1845/8 or t?
-1845/8
Let a = 3 + 16. Let c be (-27)/(-33) - (-6)/33. Which is bigger: c or a?
a
Let d(s) = 4*s**2 + 3*s - 1. Let y = -41 + 43. Let l be d(y). Let g = 21 - l. Which is smaller: 4 or g?
g
Let l(k) = -743*k**3 - 6*k**2 - 27*k - 36. Let o be l(-2). Is o not equal to 5939?
True
Let d(c) = c**3 - 8*c**2 + 8*c + 4. Let a be d(7). Let k be (-7)/a*(2 + -4). Suppose -2*j - 106 = -4*h - 132, 0 = 26*j + 2*h - 14. Is k not equal to j?
True
Let t be (-4)/32 + (-138)/(-1360). Let v = 1.55 - 17.45. Let p = v + 16. Is p <= t?
False
Let c = 7918 + -8148. Does -1379/6 = c?
False
Let m = 94/3 - 32. Let i be 140/32 + ((-9)/8)/3. Suppose 0 = 3*y - 5*a - 12, 4*a + 7 = y - i. Is m <= y?
False
Let l be 4 + (-32776150)/95 + 4. Let w = l - -344900. Let q = w + 104. Which is bigger: q or -0.5?
q
Let t(h) = -3*h - 70. Let l be t(-25). Suppose -3*d = -l*m - 12, 2*m - 15*d + 16 = -11*d. Is m at most 2/371?
True
Let t = 7803 - 39188/5. Let s = t + 34. Is s <= -0.71?
False
Let q = 3183 - 3204. Which is bigger: 38 or q?
38
Let j(c) = -3*c**2 + 45*c + 4. Let y be j(15). Suppose 3*n - 413 = -2*f, y*n - 2*f + 3*f = 559. Is 141 less than n?
False
Let s(g) = g**2 - 34*g + 32. Let d be s(33). Let w(v) = -v**3 - 6*v**2 + 5*v - 12. Let r be w(-7). Let c be (2 - 6)*r/(1240/15). Is c bigger than d?
True
Let o = 1008 - 1006. Which is smaller: 5871 or o?
o
Let m be (2 - 3)*(3 + 228 + -4). Let y = m - -226. Is y at most as big as -2/199?
True
Let g be (1 - -1 - -13)/(-1). Let c = 2.45 - 112.45. Let f = c - -109.9. Which is bigger: g or f?
f
Let i = -1354.4 - -1352.4. Is -636 equal to i?
False
Let x(v) = v**3 + 7*v**2 - 10*v - 10. Let d be x(-7). Suppose 13*h - 754 = 13. Which is smaller: d or h?
h
Let o(h) = -h**3 + 16*h**2 + 19*h - 34. Let w be o(17). Let c = -0.082 - -0.18. Let f = -90.902 - c. Is w at most f?
False
Let y = 3628 + -1497. Suppose 0 = 13*b - y + 649. Which is bigger: 115 or b?
115
Suppose -21*v = 15*v + 360. Let r be (-22)/55 + -2 + (-24)/v. Let j = -24/19 - -350/247. Which is greater: r or j?
j
Let g(p) = -p**2 + p. Let k(o) = 4*o**2 + 20*o - 31. Let x(n) = 3*g(n) + k(n). Let r be x(-13). Let j be 3/21 + 44/r. Is j at least as big as 0?
False
Let l = -16 + 27. Let n(z) = 240*z + 13*z**2 - 119*z - 1 - 121*z. Let w be n(1). Is l < w?
True
Let s(w) = -12*w + 97. Let b be s(-14). Suppose 3*v = -b + 247. Which is smaller: -7 or v?
-7
Suppose 6*z - 4 = 4*z. Suppose -g = -4*b - 36, 0 = z*g - 7*g + 2*b + 90. Let y be 0 - (2 + -2) - g/8. Which is bigger: y or 2?
2
Let q(f) = -2*f - 3. Let w be q(-3). Suppose -4*x + 4 = -4*l, -2*x + 2*l = w*l - 2. Let i = 953/14 - 68. Is i at most x?
True
Let r = -3743 + 3736. Which is smaller: 87 or r?
r
Let w be -1*4*(-247)/(-52). Which is smaller: -384/19 or w?
-384/19
Let b = 8.8 + -28. Let x = 235/12 - 81/4. Is b not equal to x?
True
Let i be (-4)/(30/(-6) + 3). Let m be (i/10)/((-12)/30). Is 2/69 > m?
True
Let m = 406 - 402.86. Let w = m + -5.24. Is 1/10 < w?
False
Let d = -33 + -51. Let j be (-6615)/(-525)*80/(-12). Is d less than or equal to j?
True
Let o = 46 - 45.8. Let y be (-1)/(-2)*58/(-3). Let x = -142/15 - y. Is o at least as big as x?
True
Let r be 0 + -1 + (-15)/(-4). Let q be (39/(-26))/(6/(-4)). Suppose 93*g - 90*g - 2*h + q = 0, 4*h = g + 17. Do r and g have the same value?
False
Suppose -5*v + 664 = -13*v. Let s = 93 + v. Which is bigger: s or 14?
14
Suppose -4*i = -20 - 13 + 33. Which is greater: -120/29 or i?
i
Let t be 0 - -36 - (0 + 2). Suppose 0 = 3*o + 2*q - 101, 2*o - 5*q = -0*q + 61. Are o and t unequal?
True
Let a = -604 + 444. Let b(h) = -5*h**2 - 6*h - 6. Let q be b(5). Which is smaller: a or q?
q
Suppose -7*n + 3*n = -3*n. Is 1/14112 <= n?
False
Let f be 6 + (2 + -16)*1. Let m be ((-1)/(-2))/(2026/f). Are -1 and m non-equal?
True
Let q(v) = v**2 - 4*v - 2. Let i(a) = 5*a**2 - 15*a - 9. Let w(y) = 2*i(y) - 9*q(y). Let g be w(-3). Let x = g - 3. Which is greater: -13 or x?
x
Let s(i) = i**2 + 5*i + 8. Let p be s(-4). Suppose -f = p*f - 30. Suppose -3*h - 3*k + f = 0, 2*k - 2 = 8. Is h smaller than -3?
False
Let i = 0.3 - 0.2. Suppose 0 = 11*g - 2477 - 5091. Let k = g - 634. Is i greater than k?
False
Suppose 139 + 40711 = 38*f. Is f <= 1076?
True
Let r(a) be the first derivative of 5*a**2/2 - 70*a - 43. Let z be r(6). Let j = 0.13 - 0.03. Which is smaller: j or z?
z
Let d be 2/((-6244)/(-12489)) - (-7 - -11). Let f = 137353/46830 + d. Which is bigger: f or 4?
4
Let h = -0.5 - -0.3. Let v be 29 + (-6 - 4 - (-9 + 3)). Which is greater: h or v?
v
Suppose 24*c + 3456 = -312714 + 4746. Is -12976 bigger than c?
False
Let b be ((-108)/14 + 3)/((-126)/588). Which is bigger: b or 25?
25
Let n = -108.5 + 104.5. Which is smaller: n or -34?
-34
Let r(g) = 18*g + 37. Let x = 688 - 690. Let d be r(x). Which is bigger: d or 11/34?
d
Let n = -0.1767 - -86.2767. Let a = -86 + n. Which is smaller: -13.8 or a?
-13.8
Suppose 0 = -10*j + 7*j + 117. Let k = -37 + j. Suppose 3*p = -2*n + 7, 4*n = -2*p - k + 4. Which is smaller: p or 2?
2
Let p be (0 + (-10)/(-190))*2 - 15198/22002. Does -2 = p?
False
Let i be (-8)/4 - 210/4*1160/(-174). Is 355 equal to i?
False