. Let y(u) = -u**3 + 2*u**2 - u + 2. Let w be y(n). Which is smaller: -1/17 or w?
-1/17
Let s be ((-7)/((-105)/(-20)))/(45/(-19920)). Is 590 <= s?
True
Suppose -38*d + 2320 = -30*d. Let w be 32/(-40) - 148/d. Which is smaller: w or -2?
-2
Let t(k) = 2*k**2 - 14*k + 8. Let f be t(4). Let h(z) = z**3 - 3*z**2 + 6*z - 14. Let p be h(5). Let i be ((-3)/p)/(1 - (-18)/f). Which is smaller: i or 1?
i
Let i(b) = 2*b + 58. Suppose -3*m = 4*h + 59, 2*h + 62 - 145 = 3*m. Let k be i(m). Is 65 greater than k?
True
Let w = 0.72 - -30.28. Let m = 34 - w. Let c = -3 + m. Which is smaller: 0.8 or c?
c
Suppose -3*k = 6*k - 90. Suppose 3*u - 1 = 4*s, -u - 3 = 2*s + k. Let v = s + 3. Is v < 0.1?
True
Let q be ((-21)/(-24))/((-1)/(-4))*2. Let i be (2 - q)*(-1)/(5/3). Which is smaller: i or 14/9?
14/9
Let r(h) = 2*h**2 - 32*h + 120. Let u be r(10). Is 1/2661 smaller than u?
False
Suppose 1031*p = 1045*p. Which is bigger: -1/1381 or p?
p
Let n(f) = -f**3 - 5*f**2 + f - 28. Let p be n(-7). Let c = -187/3 + p. Let i = 17 - 29. Which is smaller: i or c?
i
Let z = 450.0819 - 0.0819. Let k = -449.9 + z. Which is bigger: -2/45 or k?
k
Let y = 11 + -10. Suppose 5*n = n + 16. Let d be (-6)/27 - n/(360/(-182)). Is d less than or equal to y?
False
Let f = -131 - -129. Let l be (-18)/30 + (f - (-174)/15). Which is greater: l or 11?
11
Let w = -28284 - -28285. Which is bigger: w or 5/1137?
w
Suppose 7*c - 5168 = 4*v, c - 6382 = 5*v + 2*c. Which is bigger: v or -1280?
v
Let c(i) = -37*i - 224. Let l be c(-7). Suppose 5*p - 2*p - 12 = 0. Suppose -l = -4*m - 5*z, p*m - 2*z = -z + 41. Which is smaller: m or 11?
m
Let u = 2/9 - 401/1791. Is -1 not equal to u?
True
Suppose -4*k = -w - 4, -32 = -3*w + 6*w - 2*k. Let z = w + 38. Let r = 390 + -363. Which is bigger: z or r?
r
Let p = 688/7 + -17228/175. Let f be ((-58)/87)/((-1)/(-402)). Let r = f + 269. Which is bigger: p or r?
r
Suppose 9*d - n = 7*d - 1788, -3582 = 4*d - 3*n. Which is smaller: -889 or d?
d
Suppose -7*o - 23888 - 8924 = -8592. Is -3460 at most as big as o?
True
Let q(o) = -5*o + 16. Let d be q(7). Is -175/9 > d?
False
Let t(r) = -2*r**2 + 50*r - 304. Let d be t(12). Let o(w) = -10*w + 5. Let f be o(5). Let p be d/100*5*f. Is p > -18?
False
Let w be 17/(-37) - (-4 - -1). Let b be 6/(252/(-9376)*74). Let o = w + b. Is o greater than 0?
False
Let l be (-13 + (-1612)/(-130))/(1/1030). Are l and -618 equal?
True
Suppose 22*r - 2249 = -1215. Are r and 6 unequal?
True
Let f = -7262021/66 + 110026. Let r = 21/22 + f. Suppose 0 = -196*n + 173*n - 115. Is n bigger than r?
False
Let o = 83.41 + -85. Let a = -7.59 - o. Which is greater: -2 or a?
-2
Let j be (-1)/(-6) + (-155434)/22236. Is -8 at most as big as j?
True
Let g = -5/4858 + -25212965/53438. Is g greater than -471?
False
Suppose 14955 = 4462*l - 4467*l + 5*k, -k - 3 = 0. Is l greater than -20960/7?
True
Let x be ((-330)/70)/11 + 17592/(-14). Let g be (-177)/413 + x/7. Are -180 and g equal?
True
Let r be (60 - 0)*(51/9 - -1). Which is bigger: r or 399?
r
Suppose -2*y + 15*r - 378 = 13*r, 3*r + 189 = -y. Let u be y/203*6/18. Is 1 at least u?
True
Let s = 9008 - 9007.8. Is s less than -3633?
False
Let y be 16/(-6)*(-12)/(-8). Let q = 4 + y. Let t = 38/5 + -81/10. Is q less than t?
False
Let h be 1 + 4 - (16 + -11). Let n be (h - 2/8) + (-1940)/(-16). Is n less than 122?
True
Let y = -62 - -62.266. Let i = -0.288 + y. Which is bigger: i or 1?
1
Suppose -21*j + 18*j = 6. Let v be (-1287)/(-44) + (-21)/(-12) + j. Which is smaller: 28 or v?
28
Let c = 2690/3 + -523/6. Let r be 142*(2 + 2)*24/(-16). Let d = c + r. Is d != -42?
True
Suppose v = -2*p + p - 1852, 5*v = 5*p - 9240. Let h = -5171/3 - v. Let w = h + -153. Do -26 and w have the same value?
False
Suppose -103*s - 318 - 296 = 374 - 782. Let y be 34/6 + (-4)/6. Suppose -1 = -2*n - y. Is s at most as big as n?
True
Let j = 1325 + -7571. Which is bigger: -6247 or j?
j
Let w(j) = 10*j**2 - 43*j - 617. Let v be w(-6). Let x(y) = -y**2 + 9*y - 2. Let h be x(8). Suppose 0*o - o = -h. Is o <= v?
False
Let l = -1644.5 + 1644.7. Suppose -30 = 5*h - 3*c, 5*c + 38 = -2*h + c. Let w = h - -15. Is w > l?
True
Let s(u) = 9*u**3 - 59*u**2 + 61*u + 18. Let m(c) = 5*c**3 - 30*c**2 + 31*c + 10. Let h(n) = 11*m(n) - 6*s(n). Let t be h(-25). Is t >= 24/11?
False
Let v be (-2)/4*(-66)/5. Let r(z) = 29*z + 92. Let l be r(-7). Let d = 119 + l. Is d at least v?
True
Suppose -4*i - 220 = -15*d + 11*d, -i + 149 = 3*d. Suppose 2*g - 12 - 84 = 0. Is d < g?
False
Let j(u) = -6*u**2 + 37 - 18*u**2 + 25*u**2 + 22 - 19*u. Let g be j(6). Which is smaller: g or -77/4?
-77/4
Let q be 405/6*(-420)/(30 - 15). Which is bigger: -1893 or q?
q
Let d be 4/(-4)*-2 + (0 - 3). Let y = -450 + 449.942. Which is smaller: y or d?
d
Let b = 473 + -462. Suppose 74 = -5*v - 5*n - b, -3*n - 31 = 2*v. Is v at least as big as -16?
False
Let q = 2 - 4. Let g = 0.0019 + -0.0129. Which is smaller: g or q?
q
Let h = 791 - 790.98. Let t = -46 + 48. Which is smaller: h or t?
h
Let h = 229 - 5955/26. Let g(t) = t**3 - 2*t + 1. Let k be g(2). Suppose 12*m = k*m. Which is greater: h or m?
m
Suppose -l + 108 + 11 = -4*u, -4*u = -5*l + 547. Suppose -3*m - 3*b = -318, -m = -7*b + 10*b - 104. Is l <= m?
True
Let s(r) = -2*r + 7. Let f be s(13). Let p = 13 + f. Let j be 3/(3/(-8)) - -4. Which is smaller: p or j?
p
Suppose -5*s = 4*u - 27868, 12*s - 9*s = 12. Which is bigger: u or 6964?
6964
Let m be (-320)/(-176) - (18/22 + -1). Suppose -m*d = -8*d - 14*d. Is 14 not equal to d?
True
Let d be ((-1)/1)/((-1)/(-2)). Let k be d/(-6) + (-232)/12. Suppose 0 = 53*s - 367 + 1162. Which is greater: k or s?
s
Let g = -342 - -391. Let d = 49.1 - g. Which is smaller: d or -14/39?
-14/39
Suppose 97*f - 2781 = 1024*f. Let h = -27 - -18. Let l be -28*((-10)/h - 1). Are f and l nonequal?
True
Let k(v) = -447*v + 3540. Let t be k(10). Which is smaller: -925 or t?
t
Let s(t) = t**2 - t + 7. Let d be s(0). Suppose d + 14 = 3*p. Let z be (2 + 42/(-15))/(3/(-30)). Is z bigger than p?
True
Let y = -50657/15 + 3377. Is y at most 5?
True
Suppose 4*f + 4*k = 84, -8*k + 19 = f - 5*k. Suppose f*x = 21*x. Which is greater: 1 or x?
1
Suppose -33*z = -30*z - 684. Let k be (-14)/8*z/(-1881). Which is greater: 1 or k?
1
Let l be (-6)/4*(91/21 - 7). Let k be (-1792)/(-4655) + l/(-10). Which is bigger: 1 or k?
1
Let y = 61 - 58. Suppose 0 = 2*n - 3*z + 299, -y*n - 38 = -4*z + 408. Let l = n - -295/2. Which is greater: l or 4?
l
Let v be (-41)/78 - (-1)/2. Let r = 192 - 398. Let j = 206 + r. Which is greater: v or j?
j
Let a be (12/(-10) - -2)/((-48)/(-120)). Let k = -8 - -12. Suppose -56 = -4*l + k*v, 3*v = a*l - 0 - 32. Which is smaller: 12 or l?
l
Suppose -16*n + 0*n = -9632. Is n > 612?
False
Let v be (2 + 10/(-8))*-44*58. Let a be v/(-5170) - (1 + (-8)/10). Which is smaller: a or -1?
-1
Let p be ((10/5)/2)/((-1)/(-7)). Let z be 4/14 + 159/p - -2. Let w be (-2)/2 + z/(2 - 1). Which is bigger: 23 or w?
w
Let b(k) = k**3 + 2*k**2 - k + 19. Let n(v) = -4*v**2 + 33*v - 8. Let z be n(8). Let d be b(z). Let o = 38 + d. Is 57 less than o?
False
Let j be 2/(-2) + 43/((-559)/(-78)). Suppose -2*v + 5*u - 8 - 12 = 0, j*u = -3*v - 55. Which is smaller: -68/5 or v?
v
Let w(m) = m**2 - 77*m - 1889. Let q be w(105). Is q equal to 1050?
False
Suppose 0 = -30*j - 11*j - 26 - 220. Suppose -4*f + 5*g + 15 + 4 = 0, -3*g - 3 = -f. Let u(d) = -d. Let k be u(f). Is k >= j?
True
Let n be (126/(-28))/((-3)/8). Suppose 5*g - 17 - 3 = 0. Which is greater: n or g?
n
Let q = 6 - 1. Let f = 5288 + -5287.9. Is q less than f?
False
Let l(c) = 3*c**2 - 3*c - 2. Let y be l(-2). Let p be (14/(-24)*9)/(1/(-76)). Let d be (171/p)/(1 - (-1)/2). Which is bigger: y or d?
y
Let v(b) = 5*b**2 - 254*b - 1839. Let m be v(-7). Which is smaller: m or 186?
m
Let q = 1215/8 - 331679/2184. Does -7 = q?
False
Let m be (-4846)/(-118727) - 194/(-49). Let u(r) = r - 1. Let x be u(3). Let g = 2 + x. Is g not equal to m?
False
Suppose 28 = -8*y + 44. Suppose -24 = x - 5*g + 9*g, -3*x = y*g + 42. Let p be x/(-28) + 72/224. Which is smaller: p or -11?
-11
Let j(f) = -f**3 + 6*f**2 + 2*f - 5. Let u be j(6). Let q(b) = b**2 - 3 + 3770*b - 3761*b - 2*b**2. Let t be q(u). Which is bigger: 14 or t?
14
Suppose 4*f + 2*h - 10 = 0, -h + 22*h = 3*f + 60. Which is smaller: f or -