17. Which is smaller: y or 1?
y
Let v = -456 - -42. Let d = v + 317. Which is bigger: -92 or d?
-92
Suppose 132 = 15*w + 18*w. Suppose 3*j + 53 = 4*m, 3*j + 56 = -w*m - 29. Is j not equal to -43/2?
True
Let z(p) = 3*p**3 + 127*p**2 + 42*p. Let o be z(-42). Which is smaller: o or 4/1221?
o
Suppose -7*v - 15205 = 23505. Are v and -5530 non-equal?
False
Let n(s) = -8*s + 33. Let o be n(6). Let l be (-5)/o*1*(2 + 1). Suppose 5*x - 10 = -5*d, 3*x + d = -1 - l. Which is bigger: x or -3?
x
Let d be (-23 - -14) + 85/10. Let p = -1.53 - 0.07. Let z = 1.4 + p. Which is smaller: d or z?
d
Let n be (((-110)/4)/(-5))/((-695)/(-278)). Does n = -0.2?
False
Suppose 4*b = 2*b + n - 3, 4*b + 5*n = -13. Let p be (2 - 278)/b - 0. Let r be (p - 47)/(-5 + 2 + -1). Which is smaller: r or -23?
-23
Let c = -1075 - -1074. Which is bigger: -3737 or c?
c
Let h = -93 + 97. Suppose 2*i = -2*i + h. Suppose 5*d - 5 = -0*d. Is i at least as big as d?
True
Suppose 0 = -18*j + 1832 + 1156. Are j and 165 nonequal?
True
Let f = 913 + -1351. Is -439 >= f?
False
Suppose -4*l + 2*h = -129 + 715, 5*h = 4*l + 571. Let z = 148 + l. Which is greater: 3/125 or z?
3/125
Let q(t) = 14*t**3 + 3*t**2 - t. Let y be q(4). Suppose -276 = -8*l - y. Let w = l - -82. Is w not equal to 1/33?
True
Let w be 298/(-152) + (-12)/(-6). Let j = 116 - 117. Which is greater: w or j?
w
Let c be 2/9 - (1804788/1215 - (-6)/(-30)). Which is bigger: c or -16320/11?
-16320/11
Let x = -23/53 + 2164/5353. Let t(f) = -f**3 - 10*f**2 - f - 10. Let s be t(-10). Which is bigger: s or x?
s
Let k = 165.5 - 90.7. Which is bigger: -0.16 or k?
k
Suppose 20 = 5*b - 3*b. Let n be 19 - ((-2 - 5) + 5). Let s = n + -8. Is b equal to s?
False
Let x = 120094 + -120114. Let p(u) = -u**2 - 8*u - 7. Let c be p(-6). Is c smaller than x?
False
Let d(z) = -z**3 + 13*z**2 - 136. Let k be d(12). Let m be (-273)/364 + 6/k. Which is bigger: 35/27 or m?
35/27
Let b = 26 + -24. Suppose -n = -h - 4, -b*h = -n - 0*n. Suppose n + 7 = -3*s. Is -5 less than s?
False
Let n(k) = 35*k**2 - 2*k - 3. Let s be n(-1). Let t be 4/s*(-1)/(-121 - -5). Is 0 < t?
True
Let j = 341.9 + -336.328. Let d = -5.99 + j. Which is greater: 1 or d?
1
Let l = -185 + 392. Let k = 206 - l. Which is bigger: 46 or k?
46
Suppose 0 = -3*w - 29 - 115. Let h be (-44)/(-6)*(-42 - w). Which is bigger: h or 45?
45
Let s be ((-5)/(-3) + -2)*(2 + -8). Suppose 3*g - s*l - 40 = 2*l, 95 = 5*g - l. Which is greater: g or 19?
g
Let m = -8571 - -8564. Which is smaller: m or -1/7?
m
Suppose 5*m = m. Suppose 3*r + m*r - 6 = 0. Let w = 10390/9 - 1152. Is r greater than or equal to w?
False
Let w = 55.072 - 0.072. Which is smaller: -3 or w?
-3
Let v = -5/11084 + 853943/1052980. Let j = 1/95 - v. Suppose 0 = b + 3*b. Does b = j?
False
Suppose -n + 3*l - 62 = 0, -4*l + 277 = -4*n - n. Let q be n/(-2) - 3/(-2). Let g = q + -55. Which is bigger: -25 or g?
-25
Let d(m) = -3*m + 29. Suppose 4*b + 2*c - 6*c = 24, 5*c + 2 = b. Suppose -b*i + 2*i = -50. Let k be d(i). Is k <= 1/5?
True
Let x = -8950 + 8389. Is x less than or equal to -562?
False
Let w(n) = -386*n - 1257. Let u be w(-4). Is -1/3 at least u?
False
Let l = 55/4 - 133/12. Suppose 824*i - 829*i = -5. Which is greater: i or l?
l
Suppose 10*f - 5 = 11*f - 3*l, 0 = -f + 4*l - 7. Is -5/3392 < f?
True
Let x = -148 + 150. Suppose 0*l - 3*l = -x*o - 7, -l - 26 = 5*o. Let n = 32 + -163/5. Which is greater: n or l?
n
Suppose -15*d - 3*d = 22*d + 1440. Is d greater than or equal to -64?
True
Let d = 0.05 + -0.038. Let z = 85 - 85.112. Let n = d + z. Is n >= 7/4?
False
Let q = 2.05244 + -0.05244. Are q and 534 equal?
False
Suppose -5*l = 15, 55 + 287 = 4*o - 2*l. Let z be (o/(-10))/((-3)/45). Let f = -105 + z. Do 21 and f have different values?
False
Let z = -5 - 42. Let v = z + 36. Let s = 16.9 - 17. Is v bigger than s?
False
Suppose -873 + 153 = -80*g. Let s = -2 + 1. Is s at most as big as g?
True
Let t be 5*7*4/(-140). Which is greater: t or 3/706?
3/706
Let o = -134 + 69. Let t = -54 - o. Which is smaller: t or 21/2?
21/2
Let x be 221536/126 + (-6)/27*1. Do 1758 and x have the same value?
True
Let y = -16367/72 - -455/2. Which is bigger: 0 or y?
y
Let l be (4/18*-2)/(138/(-2484)). Which is smaller: -30 or l?
-30
Let m be 1 + (27*44/649 - (2 + 1)). Which is smaller: m or -2/3?
-2/3
Let f(c) = -2*c**3 + 44*c**2 - 2*c - 40. Let r be f(22). Let d(v) = -11*v - 10. Let s be d(7). Let g = r - s. Does 2 = g?
False
Let a be -4 + (-306)/(-81) + 8552/(-234). Is -37 greater than a?
False
Let a be 1714*24/34 + (-72)/(-612). Is a greater than or equal to 1211?
False
Let u(p) = -8. Let j be -6 - (1 + 3 + -5). Let x(d) = -d + 7. Let y(a) = j*x(a) - 4*u(a). Let l be y(8). Does 38 = l?
False
Let h = -17244 - -17243. Let b be (-2)/11 - (-21)/55. Which is greater: b or h?
b
Let q(y) = y**2 + 5*y - 6. Let b be q(-6). Let u(x) = 117 - x**3 - 80 - 68 + 29*x + 2*x**2. Let v be u(-5). Is v not equal to b?
True
Let b(h) = -h**3 + 8*h**2 - 4. Let r be b(8). Let x(a) = a**2 + 6. Let i be x(r). Let o be 630/(-77) - -8 - 370/i. Which is bigger: o or -16?
-16
Let n = -18091/2983230 - 2/18415. Which is bigger: -1 or n?
n
Let w = -505 - -347. Let s = w - -155. Which is bigger: 13 or s?
13
Let d = 128668/23 - 5597. Is -4 greater than or equal to d?
False
Let a = 1262 - 2424. Which is smaller: a or -0.2?
a
Let x(y) = -17*y - 25 - 17*y**2 - 14*y**3 - 24*y**3 + 57*y**3 - 20*y**3. Let c be x(-16). Which is greater: -14 or c?
c
Let r be (((-18)/(-15))/((-4)/65))/(1778168/(-1808)). Which is smaller: r or 0?
0
Let o = 429 - 428.9783. Let q = o + -0.3217. Is 0 greater than or equal to q?
True
Let b = -0.248 + -11.752. Let x = -111 - -113. Which is smaller: b or x?
b
Let l = -54/431 - -13093/190502. Let k = -671/494 + 28/19. Let q = l + k. Which is smaller: 0 or q?
0
Let v be (8/(-10))/(-12*76/(-4560)). Let j = -10 + 6. Are j and v non-equal?
False
Let j = -2/471 + -1399/3297. Let t(l) = -l**2 - 3*l + 4. Let b be t(-6). Let r = 15 + b. Which is smaller: j or r?
j
Let z(d) = -20*d - 218. Let i be z(-11). Suppose 25*p - i*p = 0. Is 2/395 less than p?
False
Let j(y) = 20*y - 97. Let x be j(5). Suppose x*l - 808 - 1118 = 0. Which is smaller: 1 or l?
1
Let t = 282 - 1127/4. Is 3313 >= t?
True
Let i be (0/2)/(1 - 0). Let q be (-1 + 91/76)/(48/16 - 27/8). Which is greater: i or q?
i
Suppose s - 62 = 5*l, 40*l = -2*s + 41*l + 79. Suppose -2*w - 2 = 5*o, -7*w = 2*o - 3*w - 12. Let h be (s/o)/((-20)/8 - -3). Which is smaller: -38 or h?
-38
Suppose -2*y + 3*y - 4*k = 6, -5*y - 5*k = -5. Suppose -4*x = q - 20, y*q - 42 = -q - 3*x. Do q and 12 have different values?
False
Let b = 588.8496 - -0.3504. Let d = b + -589. Is 6.7 equal to d?
False
Let k = 1/69924 + -7551907/8041260. Which is greater: k or -2?
k
Let x = -930181/1759167034 + 3/226726. Is x less than 0?
True
Let z = 47.7 - 74.5. Let i = z - -35.8. Which is smaller: i or 0.12?
0.12
Suppose -3*w = -2*h + 2562, -w + 0*h - 838 = -6*h. Is -856 greater than w?
False
Let q = -26483 + 21949. Is q < -0.1?
True
Suppose 97842 + 5262 = 861*i + 17004. Let s(m) = 2*m**3 - 2*m**2 + 2*m - 4. Let n be s(4). Are n and i equal?
True
Let h = -65298 + 4636041/71. Which is smaller: -2 or h?
-2
Suppose 2*r - 109 = -3*y, -4*y + 1698*r - 1693*r + 199 = 0. Which is greater: y or 30?
y
Let a = 36501.3 - 36487. Which is smaller: a or 0.16?
0.16
Let s(c) = 13 + 6 - 20 - c. Let v be s(-1). Suppose 0 = 6*h - v*h. Which is smaller: 2.1 or h?
h
Let i = 930.9 + -931.9. Which is smaller: i or -569?
-569
Suppose -1084*w + 1059*w = 450. Which is greater: -25 or w?
w
Suppose 4*u + 176 = -0*u. Suppose 176 = 10*f + 156. Suppose -f*t + 52 = n - 2*n, 5 = t. Which is smaller: u or n?
u
Suppose -87*p = -40*p - 42*p. Suppose p = -n - 4, l + 4 = n. Is 1 greater than l?
True
Suppose -8*d - 7*d - 51 = 36*d. Let u be (12/9)/(76/(-126)). Is d greater than or equal to u?
True
Let u be 4/(-28)*(-1190)/340. Is -9.98 < u?
True
Let d(u) = -4*u**2 - u + 1. Let f be d(-1). Let i(z) = -3*z - 5. Let r be i(f). Let s be 0 + (2 - (-320)/(-158)). Is r > s?
True
Let s(u) = 3*u**2 - 17*u + 16. Let b(i) = -4*i**2 + 18*i - 17. Let c(n) = -5*b(n) - 6*s(n). Let y = 6103 + -6110. Let r be c(y). Which is greater: 2 or r?
r
Let x = -160.6 - -16.6. Let n = x + 136.4. Which is smaller: 0.2 or n?
n
Let a be 12 