 Which is smaller: -0.1 or n?
n
Let c(m) = -m**2 + 5*m. Let k(v) = v**2 - 6*v. Let b(z) = -3*c(z) - 2*k(z). Let f be b(3). Let y be 427/(-122)*(-4)/49. Which is smaller: y or f?
f
Suppose 4*r = -6*x + x + 45, 3*x - 35 = -4*r. Suppose 245 - 250 = -r*j. Is 1/21 > j?
False
Let m be 11/((-66)/18) + 14. Suppose -m*x = 9*x. Which is greater: -15/32 or x?
x
Let g = -261 + 291. Suppose -28*z = -27*z + g. Is -59/2 > z?
True
Let w(s) = -3*s**3 - 7*s**2 + 6*s - 5. Let v be w(-3). Let k be 4 + v + 6 + -9. Let q = -71 + 135/2. Is q less than or equal to k?
False
Suppose -127*x + 120*x = -1323. Which is bigger: 180 or x?
x
Let r = 11524.008 + -11677. Let j = r - -158. Let q = j - 0.008. Is q at most -1/5?
False
Suppose -2*a + 3447 = j, 0 = -a + 8 - 15. Are 3462 and j equal?
False
Let t(w) = -w**2 - 2*w + 12. Let j be t(-12). Let b = -228 - j. Is -120 bigger than b?
False
Let s(b) = -b**2 - 10*b - 15. Let t be s(-10). Let d(v) = v**2 + 14*v + 5. Let a be d(t). Is a > 18?
True
Let z = -13777 - -13825. Is 5.2 < z?
True
Let j be (-4)/8 - (4 + (-12682)/(-4)). Is j at least -3175?
True
Let j(s) = 19*s + 456. Let i be j(-24). Are 3/1415 and i non-equal?
True
Suppose 13*j - 359 = -34. Suppose 4*x + 12 = -28. Let a = x + j. Which is smaller: 14 or a?
14
Suppose -351 = 20*j + 7*j. Let g = -15 + 18. Suppose 0 = 3*d - 5*d + 5*i - 16, 4*d + g*i = -58. Is j at least as big as d?
True
Let m be (5 + -2 + 1584)*(-210)/(-126). Which is greater: m or 0?
m
Let l(h) = h**3 - 2*h**2 + 1. Let c be l(1). Let p(x) = x**3 + 8*x**2 - 8*x + 14. Let w be p(-9). Let j be (49/w)/(1/5) + c. Are 49 and j unequal?
False
Let m(n) = 34*n**3 - 5*n**2 - 11*n - 5. Let p be m(-4). Which is bigger: p or -2218?
p
Let p = 5867 - 5867. Do p and 480 have the same value?
False
Let z(a) = 2946*a - 487. Let g be z(0). Which is bigger: -470 or g?
-470
Let u(r) = 3*r**2 + 19*r + 16. Let a(w) = -w - 2. Let o(s) = -5*a(s) - u(s). Let l be o(-4). Which is smaller: -10 or l?
-10
Let z be (-2)/4 - 75/(-142). Let u = -13044 - -13044. Which is smaller: z or u?
u
Suppose 0*j = 5*s + 2*j - 373, -4*s - j + 299 = 0. Suppose -7*n - 30 = s. Which is smaller: n or -24?
-24
Let q be (13 - 4)/(2 + 581/(-287)). Is q < -375?
False
Let z = -1711 - -1691. Is z less than or equal to -8/11?
True
Let b = 11 - 22. Let f be (b/33)/(0 - 2/30). Suppose 7*h = f*h - 2. Which is smaller: -1/11 or h?
h
Let b(g) be the second derivative of -g**4/6 - 11*g**3/3 - g**2/2 + 4*g + 8. Let q be b(-11). Which is greater: q or 3/68?
3/68
Let j = 15.1029 - -0.8971. Is 0.69 < j?
True
Let g = -115/85269 - 2/9915. Suppose 0 = -4*r + 18*m + 144, 5*r = 30*m - 35*m - 40. Which is bigger: g or r?
r
Let i be (-1696)/(-22) - (-1 - -2). Suppose 30*q - 5*q + 1900 = 0. Let w = i + q. Is w at most -2/9?
False
Let r be -1*(-3 + 4)*1. Let h be 14/(-56) - r/4. Which is smaller: -3 or h?
-3
Let l(q) be the second derivative of q**4/12 + 7*q**3/3 - 2*q. Let a be l(-14). Suppose -4*g = -3*f + 59, a*g = -3*g - 5*f - 37. Is g bigger than -14?
False
Let d be (2 + (-62)/32)/(105/(-2541990)). Let q = d - -1513. Which is bigger: q or 1?
1
Let h be ((-40)/30)/((-4)/6). Let b be 48/(-360)*159/h. Let z = -10 - 0. Which is smaller: z or b?
b
Let v(l) = 28*l - 305. Let b be v(11). Suppose -f = 5*j - 52, -f = -4*j - 28 + b. Is f != 181/5?
True
Let i = -194 + 183. Let b = i + -9.4. Which is bigger: -1 or b?
-1
Let p be (-2076)/540 - 12/18*-6. Which is smaller: 0.3 or p?
p
Let f be 1*(24 + 0) + 69/(-23). Let l = 27 - f. Suppose -3 = -k - s, l*k + 2*s - 2 = 2*k. Are k and -3 non-equal?
True
Let r be 8/150*-7*6/266. Which is greater: 1 or r?
1
Let c be ((-72)/15)/((-2)/20). Let r(a) = -a**2 + 20*a + 36. Let s be r(22). Let w(l) = -l + 41. Let g be w(s). Which is smaller: c or g?
c
Suppose 4*p = 4*x + 296, 2*x + 2*x = -p - 311. Suppose 2*l + 2*i = 84, -4*l + 168 = 4*i - 2*i. Let n = l + x. Is n equal to -35?
True
Let b(k) = k**3 - 13*k**2 + 22*k - 12. Let f be (-18)/((-119)/70 - (-2)/10). Let m be b(f). Is 108 equal to m?
True
Let l = 205 + -115. Suppose 6*v = v - l. Let x = -19 - v. Is 3/13 greater than or equal to x?
True
Let l(s) = -s**3 - s**2 - 4*s - 7. Suppose 3*o = 5*o + 6. Let m be l(o). Let u = 1543/66 + 4/33. Which is smaller: m or u?
m
Let w be ((-6)/(-5))/((-1)/10). Let v be (-1 + -3)*(-180 - -53). Let n = 496 - v. Are n and w non-equal?
False
Let v be 6/4*(-202)/(-303). Let z be -43 + (v - 0) - (-7 + 4). Which is smaller: -35 or z?
z
Let t(c) = -c**3 - 8*c**2 + 8*c - 34. Let q be t(-9). Let z be (-60)/q + 1 + -5. Which is smaller: z or -5?
-5
Let i be -3*(-109212)/46800 + -7. Which is smaller: -1 or i?
-1
Suppose 2*g - 11 = -56*d + 61*d, -g - 8 = 2*d. Let v be -4*3/(-6) + 3. Suppose -4*s = v*u + 27 - 6, u + 13 = -3*s. Is g at least s?
True
Let v = 42541 - 42540. Which is bigger: v or -10/3699?
v
Let q(x) = -x**2 - 7*x - 8. Suppose -5*i + 3*n - 576 = -0*n, 0 = -n + 2. Let y = i + 106. Let t be q(y). Is -17 less than t?
True
Let a be (72/224)/((-96)/(-14) + -6). Is -1/906 at most a?
True
Let u = -30 + 35. Let w be 16 - (-3247)/(-204) - (-83)/12. Is w at most u?
False
Suppose 0 = 3*c - 5*c + 274. Let i(w) = -w**2 - 24*w + 22796. Let k be i(-163). Are k and c non-equal?
True
Suppose 299 = -2*z - 13. Let d = -106 - z. Is 50 less than or equal to d?
True
Let q = -1.106 - -0.59. Let u = 54.484 - q. Is u at least -5?
True
Let n = 9116/61 + 324345/671. Let l = 633 - n. Is l not equal to 15?
True
Let t be 47/(-9) - (-2)/9. Let i be (6 - (-216)/(-42))*(-84)/18*3. Which is greater: i or t?
t
Let r be (9 - 135086/(-7)) + -1 + 5. Is 19311 smaller than r?
False
Let x(g) = -g**2 - 4*g + 16. Let s be x(-4). Let w be (s/12)/((16/6)/(-4)). Is w at least as big as -13/17?
False
Let o = 249 + -245. Suppose o*k + 4 = -0*k. Which is greater: k or 1/58?
1/58
Let u be (2878/78)/(5/75). Let b = u + -553. Which is greater: b or 0?
b
Let o = -233 + 206. Let u be (6 + o)*-4 + (3 - 8). Which is smaller: u or 77?
77
Let k = -83.069 - 1.631. Let d = 84.8 + k. Which is smaller: d or 97?
d
Let k = -20745 - -3464445/167. Let q = -12124/65631 + k. Which is greater: 0 or q?
0
Let g be (154/21 + 24)/(5/((-45)/6)). Is -19 <= g?
False
Suppose -2*d + 8244 = -14*d. Let h = d + 8883/13. Is -3 < h?
False
Let p = 0.9285 - 32.0125. Let j = 0.084 + p. Let r = -30.9 - j. Is r greater than or equal to 34?
False
Suppose 0 = 14*k - 6*k - 16. Let b(m) = -m**3 + 5*m**2 + 0*m**k - 3 + 20 + 4*m - 3. Let s be b(6). Is 2 at least s?
True
Let n = 1265 - 1268. Let h be -6*(-14)/(-21) - 193/(-49). Is h < n?
False
Let u(q) = q**3 + 24*q**2 + 143*q + 28. Let o be u(-10). Suppose 4*x - 15 = 1. Let v = x + -2. Which is greater: o or v?
v
Let d = 81 + -141. Let q = d + -44. Which is greater: q or -1?
-1
Suppose -17*m - 141882 = -51*m. Is m less than or equal to -2/5?
False
Let j(o) = o**3 + 32*o**2 + 48*o - 47. Let k be j(-28). Suppose 38*z + k = 643. Is 1/2 less than z?
False
Let v(h) be the second derivative of 3*h**5/20 + h**4/12 - 7*h**3/6 - 7*h**2/2 + 121*h - 2. Let d be v(-2). Which is bigger: -11 or d?
-11
Let m(g) = -9*g - 11. Let v(t) = 17*t + 23. Let o(c) = 5*m(c) + 2*v(c). Let k be o(-1). Suppose z = k*f + 12, 0 = f + 4*z - 0 - 3. Are -5 and f nonequal?
False
Let o be (-7 + 5 + 4)*(-17)/(-2). Suppose o = 6*c - 7. Which is bigger: 20/7 or c?
c
Let d(b) = -6*b**2 - 42*b. Let g be d(-7). Suppose g = -2*s + 24*s + 220. Let p be 2/(-11) + (-564)/44. Are p and s nonequal?
True
Let o(h) = -h**3 + 6*h + 2. Let j be o(-4). Let z be 12/((j/4)/(-1)). Let g(x) = x. Let m be g(-1). Which is smaller: z or m?
z
Let b = -36 + -8. Suppose 2*i + 116 = f + 17, -2*i + 2*f - 102 = 0. Let u = i - b. Are -24/7 and u unequal?
True
Let f be ((-1)/(-3203))/((-282)/(-94)). Which is smaller: f or -1?
-1
Let s(p) be the third derivative of p**4/8 - 125*p**3/6 - 7*p**2 - 8*p. Let w be s(28). Which is bigger: w or -43?
w
Suppose 12*v + 148 + 1557 + 599 = 0. Which is bigger: 1 or v?
1
Let f be (-213)/(-193) + (7 - (7 - -1)). Is f < 0?
False
Let j(p) = -p**3 + 13*p**2 - 39*p + 30. Let q be j(9). Let s be (1846/(-65))/(3 + q/(-3)). Let a(y) = -12*y**2 + y. Let o be a(-1). Is o >= s?
True
Suppose -81876*o + 81864*o + 16752 = 0. Which is bigger: o or 4190/3?
4190/3
Let f(a) = -a - 1. Let q be f(-2). Let t be (q/2)/(2/(-6)). Let r = -0.000651 - -0.000651