(-16)*-2*6. Let j(k) = k**3 + 2*k**2 - k + 1. Let g be j(-2). Which is smaller: q or g?
q
Suppose -941*m + 3 = -944*m. Which is bigger: m or -38/31?
m
Suppose -14*b = -66 - 214. Suppose -3*l + 17 + 40 = 0. Which is smaller: l or b?
l
Let h be 3/(-12) - (-162)/(-24). Let q = 0 - 1. Let z be q/(-3) - (h + 7). Which is greater: -1 or z?
z
Let x(s) = 5*s - 51. Let r be x(10). Let k be 4/2*(-2)/8. Is r not equal to k?
True
Let y = 26.1 + -14.2. Let g = y - 11.8. Which is smaller: g or 14?
g
Let i = 14683/72 + -51/8. Does i = 199?
False
Let i(d) = d + 12. Let t be i(-3). Let x be (t/4 - 9/(-36))*-4. Is x bigger than -12?
True
Suppose -2*u = -3*u - 5. Let o be -5*(12/(-20) + 0). Suppose -o*y + 8*y + 15 = 0. Do y and u have different values?
True
Let d = -388/5 + 3532/45. Which is bigger: 1 or d?
1
Let w(p) = -p - 10. Let q be w(0). Suppose 2*v + 5*m + 17 = 6*m, 5*v = -3*m - 48. Is q bigger than v?
False
Let m(u) = -3*u + 21. Let d be m(0). Let n(w) = -w - 24. Let o be n(0). Let g = d + o. Is -3 bigger than g?
False
Let j(c) = -2*c**3 - c**2 + c. Let z be j(-2). Let g = 11 + -6. Suppose -z = -5*u - g. Which is bigger: 2/25 or u?
u
Let a be (-8)/70 + (-2)/7. Let m = -23.19 - -0.19. Let c = 22.8 + m. Are c and a equal?
False
Let j = -46978173/56 + 838750. Let a = j - -146. Let v = 5/8 - a. Which is greater: 1 or v?
1
Let v = -11.6 - 68.4. Let i = 94 + v. Which is smaller: i or 0.2?
0.2
Suppose -103 = 7*p - 26. Is -11 less than p?
False
Let t = 16.6 + -29. Let s = t - -12.3. Let h = -1.6 - 7.4. Which is smaller: s or h?
h
Let r(l) be the second derivative of -l**4/12 + 5*l**3/6 + l**2/2 - 5*l. Let k be r(3). Is 8 at most k?
False
Let h be 15/28 + 8/(-28). Let y = -64 + 61.1. Let j = -3 - y. Are j and h equal?
False
Let f(h) = h**2 - 19*h + 19. Let g be f(17). Are g and -2 nonequal?
True
Let t be (1/(-2))/(43 + -9). Are -1 and t non-equal?
True
Let h be (-4 + (-129)/(-30))/(-9). Let v(s) = -s + 15. Let j be v(15). Is j less than h?
False
Suppose -t + i + 91 = 116, -5*t - 143 = i. Are -42 and t equal?
False
Let x be (-62)/21 + (-44)/33. Suppose -11 + 14 = -a. Which is smaller: a or x?
x
Let o = 39 + -32. Suppose u + o = -1. Is u less than or equal to -7?
True
Let x = 33 - 33. Which is greater: x or 35?
35
Let c = -482 - -483. Which is bigger: c or -1/591?
c
Let w = -80/159 - -52559/104145. Does 1 = w?
False
Suppose -11*i = -10*i - 6. Let a be (-49)/(-84)*4 + i/(-2). Which is smaller: a or 3/5?
a
Suppose 18 = h + 19. Let r be h*(-3)/(-2) + (-56)/(-112). Is -0.6 != r?
True
Suppose r = 10 - 0. Suppose 3*z = r*z - 630. Which is bigger: z or 91?
91
Let r = 153 - 152. Is r at least 6/55?
True
Let o be (32/48)/(2 - 16/9). Let b be -1 + 1*2/1. Suppose 2*r = r + b. Is o != r?
True
Suppose -2*v = 1 + 3, 54 = -5*i + 3*v. Let a = -8 - i. Suppose 0 = d + 4, -4*c - a*d = -8 - 4. Is 2 greater than c?
False
Let k(t) = t**3 - 19*t**2 + 68*t + 47. Let v be k(14). Is v at most 1?
False
Let t = -28 - -60. Suppose 3*y - 158 + 18 = -5*q, 21 = q + 2*y. Which is bigger: q or t?
t
Suppose 3*b = 5*b. Let k(a) = -a**3 - 2*a - 18. Let r be k(b). Let v be 4/r - 247/(-1638). Which is greater: v or 0?
0
Let u = 82 - 36. Let r be (1 - 0)/(2/94). Which is bigger: u or r?
r
Suppose -5*n - 3*l = 2*l - 3400, 704 = n - 5*l. Which is bigger: n or 683?
n
Let i be -2*(36/(-8) + 2). Let r(h) = -h**3 + 4*h**2 + 7*h - 12. Let q be r(i). Is q bigger than -2?
False
Let r = 0.058 + -0.258. Which is greater: 4/123 or r?
4/123
Let x be ((-20)/(-7))/(4/14). Suppose 2*y = 4*w + 4*y - 4, 0 = -4*w + 5*y - x. Suppose -d + 3 - 4 = w. Is -6/11 greater than d?
True
Let o be 4/(-18) + 2178/1053. Which is bigger: o or 0.1?
o
Suppose -j + 4*j - 30 = 3*s, 0 = 4*s - j + 37. Let f be s/(-3) + (-3 - -1). Let r = 2/33 + -100/561. Is f smaller than r?
False
Suppose -90*l + 4176 = -4*z - 86*l, 5*l + 3148 = -3*z. Are z and -1047 non-equal?
True
Let k be (-7 - -11) + (-30)/8. Let s be (-2)/4 - 18/(-4). Suppose 3*u = s*u. Which is smaller: u or k?
u
Suppose 3*g - y - 79 = 3*y, 64 = 4*g + 5*y. Let i(w) = -w**3 + 20*w**2 + 23*w - 36. Let t be i(g). Which is smaller: t or 5?
5
Let d(v) = -9*v + 260. Let t be d(29). Which is greater: 2/435 or t?
2/435
Let h = -1408/65 + 111/5. Let o be 2/30 - (-9)/(-135). Are h and o equal?
False
Let m be 1*-3 + 2/2. Suppose -3*r = -0*r - 5*w + 79, -2*w - 8 = 0. Let b = -31 - r. Which is smaller: m or b?
m
Let k(m) = m**3 + 5*m**2 + 2*m - 1. Let a be k(-2). Let r = -10 + a. Which is bigger: -4 or r?
r
Let v = -42 + 75. Let g be (-1)/(2/6 + 22/v). Which is greater: g or -1/6?
-1/6
Let z(k) = 2*k**2 - 2*k + 4. Let b be z(4). Let f be b/42*(-3)/(-26). Let r = -0.4 - -0.3. Which is greater: r or f?
f
Let x = -295 - -294.991. Which is smaller: x or 0.2?
x
Let c be (6 - 35/5)*(-487)/(-224). Let x = 31/32 - c. Suppose 0*s - 2*s + 4 = 0. Is x less than or equal to s?
False
Let u(w) = -w**2 + 5*w - 5. Let z(o) = 9*o**3 + 2*o**2 + o. Let c be z(-1). Let p be (c/12)/1*-3. Let h be u(p). Is h smaller than 1?
False
Let u be (-6)/((-30)/(-25)) - -23. Suppose -6*r + 72 = -2*r. Is u at least as big as r?
True
Let p = 12.21 + -29.21. Suppose -13 = -5*h + 4*t - 7*t, -t = -4*h + 7. Which is bigger: h or p?
h
Suppose -28*h + 239 = -97. Is 52 at most h?
False
Let f be 3 - (-4 - (-3 + 0)). Let n be (-4)/(-9)*18/f. Suppose -2*x = c - 11, -x = 4*c + n*x - 39. Which is bigger: c or 8?
c
Let y = -20 + 19. Let f be (-4)/(-18) + (-214)/(-9). Let u be 2/(2 - f/9). Which is smaller: u or y?
u
Let m be 19 + -18 + 70/(-2). Let z = m + 36. Which is greater: -1 or z?
z
Suppose 3*r - 10 - 53 = 0. Let c = r + 8. Which is greater: c or 30?
30
Let n = -0.1 + 0.1. Let t = 0.612 + 16.388. Is t equal to n?
False
Let a = 714 + -713. Which is smaller: a or 3?
a
Let v(q) = 16*q**3 + q**2 - q. Let t be v(1). Let h be 4/(8/(-6)) + t. Let n be -2*(60/(-10) + (-2)/4). Does n = h?
True
Let c = -21 + 34. Suppose 4*n = 5*b - 140, 5*b + 4*n + c - 113 = 0. Which is smaller: 22 or b?
22
Let o(g) = -g**3 + 4*g**2 - 2*g + 6. Let b be o(3). Which is bigger: b or -10?
b
Let l be 2 + (10 + -4 - 2). Suppose 18 = -l*v - 24. Which is smaller: v or -8?
-8
Let w = 30.75 + -13.88. Let i = w - -0.13. Let l = -17.8 + i. Which is smaller: 1 or l?
l
Suppose 12 + 3 = 5*p. Let b be (15/(-6) + p)/(1/4). Suppose -f + 2*t = -1, 3*t = 2*f - f. Is b > f?
False
Let q(g) = 3*g - 3. Let z be q(1). Suppose 4*d - c = z, c = -8*d + 3*d - 9. Is -2/69 < d?
False
Let t(l) = 9*l**2 - 4*l + 4. Let k = 65 + -63. Let a be t(k). Which is bigger: a or 31?
a
Let f = 231 + -232.2. Let g = -3 - -3. Which is greater: f or g?
g
Let c = -12 - 0. Let o = c - -11. Do 8/3 and o have the same value?
False
Suppose 0 = 8*q - 11*q. Suppose 1011 = 2*a + 195. Let k = 6525/16 - a. Which is smaller: k or q?
k
Let j = -25 - -28. Let p(s) = s**2 - 4. Let i be p(j). Is i greater than 21/5?
True
Let x = -13 - -18. Suppose -40 = x*v - 10*v. Let l be ((-14)/(-20))/(9/(-18))*-5. Are v and l equal?
False
Suppose -2*r = 3*r - 4*v + 546, 4*r + 441 = -v. Let s be r/(-340) - 2*2/8. Is s at least as big as 0?
False
Let b = 0.29 - -0.43. Let x = -0.82 + b. Let o = -0.12 - 10.88. Which is smaller: x or o?
o
Let f = -1/1198354 + 373287345/88678196. Let v = f - 54/37. Is 3 greater than v?
True
Let s = 2 - 8. Let n be 0/1 + (-66)/s. Let v = n - 3. Does v = 8?
True
Let r be (-1270)/5 + 1 - -1. Let u = -7310/29 - r. Is u > 1?
False
Let q(j) = -j**3 - 8*j**2 + 7*j. Let l be q(-9). Let y be l/(-12)*(-4)/2. Let v(r) = -2*r**2 + 3*r. Let f be v(y). Are f and -9 equal?
True
Let w be ((-2)/3)/(1/(-18)). Suppose -35*o + 266 = -49. Is w less than or equal to o?
False
Suppose -6*z + 4*z + 64 = 0. Let u = z + -29. Let m = 9 - 5. Is u equal to m?
False
Suppose 0 = -4*i - 28*z + 30*z + 60, 4*i + 2*z - 52 = 0. Which is greater: 13 or i?
i
Let i = 3.3967 - 0.0967. Which is bigger: 1/4 or i?
i
Let w = 708 + -687. Which is bigger: -5/2 or w?
w
Suppose 4*r - 3*i + 15 = 0, 5*r - 24 = i - 29. Is r equal to 0.48?
False
Let k be (-6)/(-2) - (-205)/(-25). Suppose 5*a - 6 = -26. Is k >= a?
False
Suppose 91*o - 80*o = -693. Is o bigger than -50?
False
Let t(r) = -2*r**2 + 51*r - 19. Let v be t(25). Let z be 84/10 - (-2)/(-5). Is v < z?
True
Let l be ((-6)/(1 - -5))/(2/(-730)). Which is bigger: l or 366?
366
Suppose 4*p + 145 = k, -3*p = 4