66)). Let h(t) = 19*t + 154. Let v(d) = d**3 - 8*d**2 + 7*d + 3. Let g be v(2). Let p be h(g). Which is bigger: p or u?
u
Suppose -8 = -5*r - 243. Let n = r - -71. Suppose 506 = -281*g + 304*g. Is n smaller than g?
False
Let w be 225/15 + (-17296)/1144. Is 0 smaller than w?
False
Let p = -24811 + 1017489/41. Are p and 6 non-equal?
True
Let h(n) = -8*n - 7 - 22 - 6 + 4*n. Let i be h(-4). Is -19 greater than i?
False
Let o = -7 + 7. Let u = -6930013925453/30576 - -226648807. Let j = u + 15/208. Is o at most as big as j?
False
Let d be ((-2)/5)/(1 + 1). Let b be 48/18*45/20. Let o(k) = 22*k - 146. Let u be o(b). Which is smaller: d or u?
u
Suppose -3981 = -6*t + 2517. Let q = 1526 - t. Let s = q - 65119/147. Are 1 and s non-equal?
True
Let m = 1395 + -1393.174. Let x = -0.054 - m. Let z = x - -0.08. Does -2/5 = z?
False
Suppose 24*i - 22*i = -4*j - 258, 3*i = -3*j - 396. Is i at most -135?
True
Suppose 76*t = 81*t + 690. Let j = t + 64. Is j greater than -75?
True
Let q = -740/623 + 4/89. Let d = 4.426 + -9.426. Which is bigger: d or q?
q
Let r(z) = z**2 + 34*z - 1007. Let l be r(-53). Which is smaller: -112 or l?
-112
Let q = 15.0954 - 0.0954. Let p(s) = 5 + 9*s**2 + s**3 + 3 - 2*s**3 - 13*s + 4*s. Let a be p(8). Which is greater: a or q?
q
Suppose -24*p = -30*p + 15*p - 39132. Is p equal to 4348?
True
Let j = -0.2 + -1.8. Let t = -4403.5 - -4385.5. Which is bigger: j or t?
j
Let o be 3/(-9)*-1009*17/(-10 + -7). Is o at least as big as -336?
False
Let x(q) = q**3 - 62*q**2 + 184*q + 444. Let u be x(61). Is 7947 < u?
False
Suppose 85*x - 78*x - 115 = 122*x. Which is greater: x or 2/2957?
2/2957
Suppose 0*c - 9*c = 108. Let l(t) = 2*t**2 + 11*t - 15. Let u be l(c). Suppose 4*n - 7*n = u. Which is smaller: n or -48?
-48
Suppose -708 = -5*j - 688, 3*j = -5*c - 2488. Which is smaller: c or -505?
-505
Let r = -132 - -27. Let v be (28/r)/(106/5). Let g = -206.94 - -205.94. Which is smaller: g or v?
g
Let d = 32509 + -1040275/32. Suppose x = 6*x. Is d less than or equal to x?
False
Let q(r) = -43*r - 6. Let b be q(1). Let m = 54 + b. Suppose -a = m + 2. Which is smaller: a or 0?
a
Let q = -21142 + 20539. Is -2/9 <= q?
False
Let s(f) = -f**3 + f**2. Let m(w) = -4*w**3 + 23*w**2 + 7*w - 2. Let p(o) = m(o) - 6*s(o). Let k be p(-8). Is 51/10 != k?
True
Suppose 343*l - 341*l = 8. Let m be 120*(1*l + (-220)/50). Is m smaller than -47?
True
Let x = 58275274/537 - 108520. Is x greater than 0?
True
Let w = 3419 - 3530. Which is smaller: w or -89?
w
Let z = 176 + -165. Suppose -z = 4*p - 3. Which is bigger: p or -9/13?
-9/13
Let s = -2121.6 + 2123.1. Let t = -0.3 + 0.4. Is t smaller than s?
True
Suppose r = 6*r. Suppose r = 5*o - 20 + 5. Let t = -884 - -885. Which is smaller: t or o?
t
Let m be (4620/(-880))/(1218/240 - 5). Let w be (-4)/6 + 416/(-6). Is w less than m?
False
Let f(v) = -40*v + 3. Let q be f(3). Let u = -28478 + 28363. Is u != q?
True
Let p be (24/27 + -2)*111/(-74). Let b(l) = 2*l + 2*l - 4*l - l + 1. Let m be b(0). Which is smaller: p or m?
m
Let a be 9/(-15) - (-87688)/(-20). Which is greater: -4386 or a?
a
Suppose 5*z + 2*d + 26 - 7 = 0, 0 = 5*d + 10. Let q(m) = -5*m**2 - 14*m + 3. Let s be q(z). Is -11/42 greater than or equal to s?
False
Suppose 48*x = 56*x + 248. Let i = x + 30. Let l be 3/6 - 1/3. Which is smaller: i or l?
i
Let x = 4454 - 4455. Does -117 = x?
False
Suppose x = 4*g - 146, -3*g + 133 = -x - 8. Let w = x - -125. Is w at most 2/219?
True
Let q(z) = 23*z**3 - 2*z**2 + 1. Let p be q(1). Let t = -7 + p. Let u = 29 - t. Which is bigger: u or 0?
u
Let r = -28849.6 + 28853. Is 275 at most r?
False
Suppose 0 = 16*i - 13 + 61. Let j(v) = -7*v**3 - 3*v**2 + 3*v + 7. Let t be j(i). Is 159 less than or equal to t?
True
Let g(q) = 831*q + 109. Let d be g(3). Which is bigger: d or 2603?
2603
Let u = -561 - -463. Suppose 0 = -28*q + 29*q + 2. Is q less than u?
False
Suppose -p - 3*l - 4 = 0, -4*p + 3 = -5*l + 2. Let w be (-12)/4 - (p + 4). Let i be (-5 + (-34)/w)/(0 + 1). Is -2 greater than i?
False
Let h = 0.05511 - 0.45511. Is -104 <= h?
True
Suppose -35 = -11*n + 16*n - 5*z, 4*z = 3*n + 19. Which is bigger: n or -78?
n
Suppose -80 = 5*b + 15. Let u = -3 - 18. Is u != b?
True
Let n = 82.19 + 6.41. Let m = 90.5 - n. Let z = -3.1 + 3. Is z > m?
False
Let q be (-3)/2 + (81/(-6))/(-9). Let k be (12/4 + -4)*q + 2. Suppose k + 1 = f. Which is bigger: f or -4?
f
Suppose 0 = 20*o - 95*o - 29850. Which is smaller: -396 or o?
o
Let w(r) be the third derivative of -r**6/120 + r**5/15 + 2*r**4/3 - 23*r**2. Let h be w(-8). Let f be h/1505 + (12/7 - 2). Is f > -1?
True
Let l be 62/(-341) - (-2688)/22. Let z be 92/(-966) - ((-10)/(-28))/5. Which is greater: z or l?
l
Let r be (-2)/6 + 70/(-6). Let x be (-3 - 32/(-12))/((-15)/(-41055)). Let n = -923 - x. Is r at least as big as n?
False
Let j = 52 - 58.2. Let t = -2 - j. Let w = t + -4.3. Are w and -0.1 nonequal?
False
Let i(r) be the first derivative of -r**4/4 + r**3/3 + 3*r**2 - 6*r - 27. Let m be i(2). Is m less than 70?
True
Let i = 8 + 0. Suppose -p - i - 9 = 0. Let f(g) = g - 17. Let t be f(0). Is p > t?
False
Let y = -10132 - -15640. Which is smaller: y or 5507?
5507
Let f = -3.8 - 0.2. Let p(h) be the third derivative of -h**6/60 + 13*h**5/60 + 23*h**4/24 + 3*h**3/2 - 89*h**2. Let g be p(8). Which is smaller: g or f?
f
Let w = 466/61 - 158506/20557. Which is smaller: w or -1?
-1
Suppose -69*h + 59*h = 200. Let v be (-1)/h*240/20. Which is smaller: v or 5?
v
Let p be (-164)/(-14) + 6/21. Let j = 44 + -197. Let z = j - -167. Is p greater than z?
False
Let g(z) = -7*z + 36. Let y be g(5). Which is bigger: 46/151 or y?
y
Let t be 20/(-30)*21/2. Let c be (-1 - (-6)/4)/((-43)/(-86)). Let m be ((-11)/33)/(c/12). Is m less than t?
False
Suppose 10*f - 5*f = -25, -630 = 4*s + 2*f. Let n = 194 + s. Which is bigger: n or 40?
40
Let j = 143 + -145. Let v be j*(2 + -1)*-46. Let r = v + 20. Is r at least 112?
True
Suppose 4*q = -2*g + 8, 3*q - 24 + 8 = -4*g. Which is smaller: 1/1556 or q?
q
Suppose -271 + 1771 = -5*t - c, 0 = -4*t + 4*c - 1176. Suppose -3*q + 3*p = 894, -298 = 8*q - 7*q - 5*p. Are q and t nonequal?
True
Let h = -15.7 + -54.3. Let q = h - -37. Let j(s) = s**2 - 3*s + 2. Let f be j(2). Which is smaller: f or q?
q
Suppose k - 1831*z + 1826*z - 248 = 0, 5*k - z = 1096. Which is smaller: 11 or k?
11
Let d be (56/21 - (-50)/60)*(-30)/4385. Which is smaller: d or 1?
d
Suppose -161 - 19 = -r - x, 2*r + 5*x - 375 = 0. Is r at least as big as 175?
True
Suppose -954*k + 964*k = 0. Let a be 6176933/(-6363) + (-2)/9. Let v = a - -971. Which is smaller: k or v?
k
Suppose -2*s + 1718 = 4*i, -213 = -4*s + 4*i + 3187. Suppose -4*h = 3*x - s, 4*h + 582 = 2*x - 0*h. Is 286 equal to x?
False
Let s = 505 + -490. Suppose 3*z - s*z = 0. Is -2/523 at most z?
True
Let c = 62.7 + -69. Let k = 0.5 - c. Let h = 7.3 - k. Are 0.01 and h non-equal?
True
Suppose 3*n + d - 3 = -d, 0 = 5*n + 5*d. Suppose -n*k = -3, -j = 2*j - 5*k + 11. Let s be -1 - (2 + j + 3). Do s and -6 have the same value?
False
Suppose 411*n = 150*n - 2644191. Is n at least -10134?
True
Let t = -5380 - -5296. Are -85 and t equal?
False
Let q be (20/15)/((-4)/54). Let x = q + 10. Suppose -5*b = -s - 3, -3*s - 5*b + 4 = 13. Which is greater: s or x?
s
Let m = 222 - -8819. Is m bigger than 9041?
False
Let g = 149479/23 - 6483. Is g <= 16?
False
Let u be -5 + -1 - (2 - (-40)/(-8)). Let v(l) = 2*l**2 + 5*l - 4. Let g be v(u). Is -3/29 != g?
True
Suppose -9*i = 3527 + 1900. Let n be 4/(-7)*(i/6)/3. Let u = -14620/763 + n. Do u and 0 have the same value?
False
Let u = -2017.94 + 1870.069. Let m = 0.129 - u. Which is smaller: m or -1?
-1
Suppose 2*s - 10*s = 1656. Let y be (3 - s/(-201)) + -2. Suppose 3*g = 3*m + 3, 2*g = -3*m - 2*g - 3. Which is greater: y or m?
y
Let v = -16.4 + 42.8. Let m = 27 - v. Let n = 0.4 + m. Which is greater: 5 or n?
5
Let s = -207.1 + 245.38. Let v = s - 39. Let p = 0.82 + v. Which is smaller: p or -3?
-3
Let v = -121 - -207. Let s = v - 61. Let d be (-1 + 6)*130/25. Which is greater: d or s?
d
Let i be (9/60)/(183/(-244)). Let x = 0.15 + -0.05. Let c = x + 0.9. Is i <= c?
True
Let i = -469 + 2348/5. Suppose 4 + 6 = -2*a, 15 = 2*q - 3*a. Suppose 5*b = 10, 0 = g + 2*b - q*b - 5. Is g smaller than i?
False
Suppose -20 = 2*v + 3*