t m(y) = y**3 + 6*y**2 - 9*y + 2. Let d be m(-7). Suppose 5*t - a + 28 = 0, 2*a + 3*a = -2*t + 5. Let r be (34/4)/(t*(-1)/10). Is r smaller than d?
False
Let a(r) = -11*r**2 - 2033*r - 441. Let i be a(-185). Which is bigger: -804 or i?
-804
Suppose 4*l + 110 = 6*l. Let v = -58 + l. Let f be 1/(v - -2 - (-24)/22). Do f and 12 have different values?
True
Let q(h) = 16*h**2 - 44*h + 76. Let r(l) = -3*l**2 + 9*l - 15. Let t(g) = 2*q(g) + 11*r(g). Let a be t(9). Let m(x) = -4*x + 21. Let y be m(a). Is y < 2/3?
False
Let h(y) = 4*y**2 - y - 2. Let n be h(1). Suppose 0*o - 4*o - 8 = 0. Let z be (-94)/10 + (o - (n + -1)). Which is greater: z or -10?
-10
Suppose -40414 = 60*s - 634. Is s < -668?
False
Let l(c) = 4*c + 2. Let f be l(-3). Let n = 65 + -60. Suppose -n*v + 3*j = 44, -v + 2*j = 2*v + 26. Is f smaller than v?
False
Let l(z) = z**3 - 18*z**2 - 19*z + 5. Let m be l(19). Let b(f) = 6*f - 8. Let u be b(m). Suppose -u + 10 = 4*p. Are -1 and p nonequal?
True
Suppose 0 = 10*w + 6 + 4. Let k be w*7*(666/(-7))/(-3). Is k greater than -223?
True
Let t = -7622 - -7634. Which is smaller: 13/3 or t?
13/3
Let y be (1 - -1)/((-18)/3159*-13). Suppose -y = -2*c + 29*c. Which is greater: 1/169 or c?
1/169
Let m be 11 - (10 - 2*12/6). Let q be m/4 - (-1173)/28. Which is greater: q or 42?
q
Let v(n) = -426*n + 998. Let o be v(18). Is o at most -6670?
True
Let m = 2708 + -4752. Is m greater than or equal to 3?
False
Let d = 0.898 - 1.898. Is d at most 0.3333?
True
Let a = 114 - 191. Let o = a + 77. Is 16.9 less than o?
False
Let b(p) = -64*p + 529. Let z be b(5). Which is smaller: z or 2700/13?
2700/13
Suppose d = -z + 3*d - 1, 10 = 4*z - d. Let c be -4 + (-191)/z + -4 + 5. Which is bigger: c or -67?
c
Let c = -58 - 98. Let h = -162 - c. Which is greater: h or -5?
-5
Let d be ((-10)/40)/1 + 34/8. Let j = 13.5 - 15. Let p = j + 1.6. Which is smaller: p or d?
p
Suppose -11 - 58 = 3*j. Let u be 49/(-2) - ((-35)/10 - -4). Which is bigger: u or j?
j
Let z = -1.9602 + 0.8102. Is z <= -0.23?
True
Let u(a) = 8*a - 119. Let w be u(16). Suppose -5*i + 4*b = -5, 5*i + w*b = 4*b + 5. Which is smaller: i or 2/49?
2/49
Let y = 8307 - 4556. Which is smaller: y or 0.1?
0.1
Suppose -11*a + 150 = -a. Suppose 5*u - a = -5. Suppose 3*h - 5*h - 60 = u*f, 5*f - 3*h + 150 = 0. Is f greater than -30?
False
Let o be 3 + 9166/200 - 645/(-516). Which is bigger: 49 or o?
o
Let x = 66.8 - -316.2. Let j = x - 362.1. Let y = 21 - j. Is y at least 24?
False
Let r = 461.09 + -464. Let b = -4.91 - r. Suppose 2*x = 5*p - 28, 0*x + p = -x - 21. Which is smaller: x or b?
x
Let d be (21592/14925 - 0) + (0 - -2). Let z = 4/597 - d. Is z smaller than -4?
False
Let g = -332 + 540. Suppose 7*t - 3*t = -4*k + 440, 2*t = 2*k + g. Is t at least as big as 529/5?
True
Let k be 0/((-5)/15*-3). Suppose -d - 2*b + b = 7, d - b - 3 = k. Let g be (-3 - (-5)/(-15))/((-11)/(-3)). Which is smaller: d or g?
d
Let y be (848/144 - -9)*(0 - -9). Which is smaller: 149 or y?
y
Let o = 3183 - 3181. Is -86 bigger than o?
False
Suppose 55 = 5*a + 5*v, 2*a + 11 = 4*v + 33. Let w(l) be the first derivative of -l**3/3 + 25*l**2/2 + 12*l - 29. Let p be w(25). Which is greater: p or a?
p
Let l be (0 - 2)/((-52)/(-117)*-9). Is -685 at least as big as l?
False
Let j = -0.09062 + -0.90938. Does 1301 = j?
False
Let a = 103 + 74. Let y = a - 48. Is 129 less than or equal to y?
True
Let p be 4485/25 - (1 - 6/10). Suppose 4*n = p + 73. Is 63 < n?
False
Let g = -4.564 - -8.962. Let i = g - 0.398. Which is bigger: i or 10/7?
i
Let t = -76 - -103. Let b = -206 + 206.2. Which is smaller: b or t?
b
Let h = -218.8 + 38.8. Let x = h - -183. Is -38 greater than or equal to x?
False
Let a(y) = 19*y + 52. Let v be a(3). Let n = -177 + 364. Let r = n - v. Is r < 79?
True
Let v be (-7 - (7 - 12))/((-22)/142923). Is 12994 at least as big as v?
True
Let n = 1470685/1072 + -21963/16. Let g = n - -2/67. Suppose -12 = 5*y - 2*i, -7*y - 11*i + 6*i - 9 = 0. Is y <= g?
True
Let l(v) = v**3 - 15*v**2 + 16*v - 9. Let n be l(14). Let b = -17 + n. Suppose 147 = -3*f + 3*x - b*x, 2*f - 5*x + 98 = 0. Which is greater: -48 or f?
-48
Suppose 3*z = -5*s + 6*z - 21, 0 = -5*s - z - 13. Let o(t) = -92*t - 748. Let x(r) = -23*r - 186. Let g(q) = 2*o(q) - 9*x(q). Let y be g(-8). Is s > y?
True
Let v(s) = -s**2 + 9*s - 17. Let l = 96 + -90. Suppose -24 - l = -5*x. Let y be v(x). Is 5/22 >= y?
False
Let j(y) = y**3 + 3*y**2 - y + 2. Let n be j(-3). Suppose 0 = -i - 1, n*g - 2*i - 9 = -72. Which is greater: g or -12?
-12
Let t = 52193/91 + -9090195/7826. Let f = t + 588. Is 1 at most as big as f?
False
Let n = 253.2 + 1.8. Let d = n + -253. Are -69 and d unequal?
True
Let c = 542 - 542. Let v be c + -5 + ((-1195)/(-280) - -1). Which is smaller: v or 1?
v
Let k = -481 + 683. Suppose b = 3*j + 3 - 151, -4*j + k = b. Is j less than 4?
False
Let a = -11507 + 9441. Which is smaller: a or -2067?
-2067
Let q = 870 - 945. Let z = 134 - 26. Let p = z + q. Which is greater: p or -0.1?
p
Let i be (1 - 1 - -1078)*(13 + -10). Let l = 16114/5 - i. Is l at most as big as -12?
False
Let f(b) = -b**2 - 4*b - 3. Let o be (-3 - (-24)/4)*-1. Let w be f(o). Suppose 2*y - 5*r - 3 = w, 2*y - 2 = 2*r + 4. Is 4 at most as big as y?
True
Let s = 3271 + -3270. Which is smaller: s or 47/25?
s
Let n = -3/30289 + -417659/64485281. Which is smaller: 1 or n?
n
Suppose 11 = -5*k - 3*w, 3*w + 177 = 4*k + 175. Which is bigger: k or 1/2772?
1/2772
Let y be (-1 - 3) + 9 + (-9 - -5). Suppose -4*f - y = 5*a, f + 6*a - 5*a = 0. Are f and -7/62 non-equal?
True
Let r be 11/((-726)/(-35)) + 2/(-4). Suppose -4*x - 6 = c + 1, 4*x = 3*c - 11. Is r <= c?
True
Let u = -446759/22 + 20307. Let v(r) = -r - 4. Let i be v(-5). Is i less than u?
False
Let v be (-8)/32 - ((-6635)/(-68))/5. Let s = 15894/799 + v. Which is smaller: 1 or s?
s
Let w = 25651.776 - 25761. Let b = -0.224 - w. Let f = b - 108.9. Is -0.029 at least as big as f?
False
Let j be (2/142)/(0 - 1). Suppose 0 = 173*v - 28*v. Are v and j non-equal?
True
Let a(u) = -u**3 + 22*u**2 + 15*u - 7. Let n be a(-11). Is 3821 at most as big as n?
True
Suppose 0 = -38*k + 294 + 314. Is k >= 16?
True
Let i be 0/(9*(-8)/(-72)). Suppose 0 = -3*l + 5*w + 59, -5*w = l - i*l - 53. Which is smaller: 32 or l?
l
Suppose 65*x - 185782 - 63274 = -21*x. Is 2893 not equal to x?
True
Let j(w) = 132*w**3 - w**2 - 3*w + 2. Let u be j(1). Let p = -110 + u. Is 20 < p?
False
Let k be ((-1)/38)/(18 - 213/12). Which is smaller: k or -49?
-49
Let i = -59 - -33. Let d be (-24)/(-72) - i/(-6). Let z be (-343)/21 - d/(-6) - -1. Which is smaller: -15 or z?
z
Suppose -4*a = -17*a + 26. Let y be a/13*(-3)/(-99)*-3. Is y less than -1?
False
Let g be ((-23)/4)/(1780/(-320)). Which is smaller: 0 or g?
0
Let u(h) = -4*h**3 + 71*h**2 + 97*h - 38. Let t be u(19). Is 2/4099 < t?
False
Let q(o) be the third derivative of o**5/10 - 5*o**4/24 + 2*o**3/3 - 23*o**2. Let b be q(1). Suppose -4*i + 0*t - 11 = -3*t, b*t - 26 = -i. Is i at most 1?
True
Let o = -0.3617 - 0.3383. Are o and 7/40 equal?
False
Let m = -802064839/6023 + 133167. Are -1 and m equal?
False
Let r be (6 + (-306)/24)/(2*15/(-400)). Let s = 189 - 97. Which is smaller: r or s?
r
Let i be (-1*1 - 1) + (-76002)/(-37683). Let x be (-30 - -28)*(-2)/(-4). Is i > x?
True
Let f = 200 + -390. Let h = 191 + f. Let l = -1632 - -243166/149. Is h bigger than l?
True
Let t(r) = -r**3 - 9*r**2 + 12*r + 34. Let n be t(-10). Let s be (5/(-2))/(-1) + n/(-28). Let c be s - 40/15 - (-357)/549. Which is greater: c or 0?
0
Let f(m) = -m**3 - 19*m**2 + m + 25. Let j be f(-19). Suppose -2*p + j*p = 4*l - 148, 0 = -p - 4. Which is bigger: l or 34?
34
Let a be (-36)/(-2) - (0 + 2). Suppose -22 = -5*p - 4*t, 0 = 6*p - 3*p - t - 3. Let r be (-259)/(-21) + 0/p - -3. Which is smaller: a or r?
r
Let i = 32 - 16. Let a = 6 + -10. Which is greater: a or i?
i
Let m be (-17864)/(-6039) - (14/(-9))/7. Is m at most 4?
True
Let i = -7777 + 15030. Let n = i + -2197661/303. Suppose -4*u = -5 + 13, 5*b - 2 = u. Which is smaller: b or n?
n
Let t = 726747/46 - 15798. Which is smaller: t or 0?
0
Suppose -175*c = -176*c - 4, 2*p = -2*c + 1992. Does p = 1000?
True
Suppose v = -34 + 10. Let n(j) = 9*j + 223. Let a be n(v). Which is bigger: a or 14?
14
Suppose 7*q - 92 = 2*q - n, 4*n + 