17)). Which is smaller: d or h?
h
Let y = -2760/7 + 395. Suppose 7*f + 3*f = 0. Which is bigger: f or y?
y
Suppose -3*t = 10*t. Is t greater than 1/491?
False
Let u(b) = -11*b - 190. Let x be u(-8). Which is smaller: -101 or x?
x
Let w = 8 + -3. Let f = w - 7. Let j = -0.01 - -0.11. Is f at most j?
True
Let d = 28/237 + -5701/54273. Which is smaller: -1 or d?
-1
Suppose -2*k = -v + 5, -v + 0 = 1. Let a be 31/k - 36/(-27). Is -9 less than a?
False
Let r be (-2)/42*(-6)/2. Let x = 4019 - 4017. Is x smaller than r?
False
Let k be 3*(-190)/143 + 84/21. Which is greater: k or -1?
k
Let k(s) = 4*s - 336. Let o be k(11). Is -293 smaller than o?
True
Suppose -a = p + a + 17, -3*p - 11 = -2*a. Suppose 4*i + 6 = i. Let n be 1*(-4 - (-4)/i). Which is greater: p or n?
n
Let w = 7/52 + -253/2652. Which is smaller: 1 or w?
w
Let x = 1 - 3. Let i = 869.9 - 870. Is x at most i?
True
Let u be 58/18 - (-6)/(-27). Suppose -u*h = 2*s - 2*h - 39, 0 = 3*s - 2*h - 62. Let m = 19 - s. Which is greater: m or 1/10?
1/10
Let h(z) = z**2 + 5*z - 18. Let d be (-10 + -2 + 4)/1. Let o be h(d). Which is bigger: 9/2 or o?
o
Let o = -61.8 - 20.2. Let f = 81 + o. Let g = 1195/13 - 92. Is g < f?
False
Let u = 33 + -59. Let o = -25 - u. Let y be (-3)/o - (-21)/7. Is -9/8 != y?
True
Let a be (-2)/(1 - 3) - 109/(-13). Which is greater: a or 8?
a
Let u = -378/47 - -5842/329. Which is greater: u or 10?
10
Let m = 11 - 9. Suppose y = 3 + 33. Let k be y*6/63 - 2. Which is greater: k or m?
m
Let j(g) = g**3 + 9*g**2 + 1. Let i be j(-9). Let y(r) = -6*r - r**3 + 0*r**3 + 0 - i + 7*r**2. Let t be y(6). Are t and 1 non-equal?
True
Let p = -29.054 - -0.054. Let z = p - -29.1. Is z at most -2/7?
False
Let t be -2 + 0 - 2*-1. Let j = -43.6 + 5.6. Let q = j + 38.4. Which is smaller: q or t?
t
Let b(c) = -c**3 + 4*c**2 + 3*c + 4. Let z be b(5). Let g = -1499 - -4480/3. Is z at least as big as g?
False
Let z = 2 + -0.8. Let g = -132.27 + 131. Let h = z + g. Is -2/5 less than or equal to h?
True
Suppose 3*h + 67 = -17*s + 21*s, 5*h = 2*s - 93. Is h greater than or equal to -29?
True
Let u = -554 - -554.1. Is u <= -152/3?
False
Suppose 2*n - 10 = -4*u, 3*n + 5*u - 14 = n. Are -12 and n equal?
False
Let b = -0.0326 + 3.0326. Let x = 6.08 - 6. Is x at most as big as b?
True
Suppose 3*j - 2*l = -2*j + 3748, 0 = 4*j - 3*l - 3004. Let c be (-2243)/j - (-5 + 2). Let i = 6725/5236 + c. Which is bigger: 2 or i?
2
Let p = -19 + 95/7. Is -4 > p?
True
Suppose -92 + 692 = -40*x. Is x less than -21?
False
Suppose 42*p - 29*p = 130. Which is greater: 2 or p?
p
Suppose -77*o + 27 = -68*o. Which is smaller: 1.4 or o?
1.4
Suppose -26 = 568*q - 594*q. Let r be (1/4)/(0 - 3). Which is bigger: q or r?
q
Let f = 1.8 + -0.9. Let d = -7.9 + f. Let b = -1 + 3. Which is smaller: d or b?
d
Suppose -404 = -3*i - 2*i - o, -4*o - 4 = 0. Let u be 3/i*79 - 3. Is 1 at least as big as u?
True
Let v = -14 - -20. Let d = 0.868 + -6.868. Let u = d + v. Is u at most as big as 2/3?
True
Let o = -8 - -17. Let h = o - 14. Let j = -241.9 + 242. Is j less than or equal to h?
False
Let j be 4*7/(-14)*(-3 - 30). Are 64 and j equal?
False
Let n be 2/30 - (-2)/6. Let q = 11.9 + -8.9. Is n bigger than q?
False
Let u = 208 - 207. Is u at least as big as -3/118?
True
Let b = 2689.9 - 2690. Is b bigger than -316?
True
Suppose r + 1067 = -3*u + 276, 0 = 2*r + 2*u + 1566. Which is smaller: r or -1?
r
Let m = -37 + 43. Let o be 2/m - (-17)/30. Is o != 1?
True
Suppose 24*s = 67*s + 64*s - 6099. Let c(k) = -k**3 + 2*k**2 - 5*k - 2. Let d be c(-3). Which is greater: d or s?
d
Let n = 1725 + -1731. Let i(l) = 15*l**2 - 1. Let r be i(-1). Let d = 6 - r. Which is greater: d or n?
n
Let i = 253/1120 - 9/35. Which is bigger: i or 0?
0
Let z = -12 + 11. Let u = 9 + -7.4. Which is greater: u or z?
u
Let h be (-2)/(-21)*70/7. Let g be 1/(-1) - 2/(-6). Let n = g + h. Does n = 0.08?
False
Let v = -1.703 + -0.297. Which is smaller: -3/29 or v?
v
Let y = 66 + -595/9. Let l be ((4 + (-4)/1)/(-3))/(-17 - -15). Which is bigger: l or y?
l
Suppose 0 = 2*y - 4*r + 122, -4*r + r + 6 = 0. Which is greater: -58 or y?
y
Suppose -5*z = 4*g + 80, 2*g + 51 - 11 = -2*z. Let a = 13 + g. Which is smaller: -5 or a?
a
Let j = 5 - 7. Let b be (34 - 0)/(j/1). Is b smaller than -17?
False
Suppose -320 = 6*h - 338. Suppose -3*g + 21 = 4*c - 6, 29 = 3*c + 4*g. Is c bigger than h?
False
Let c = 2 + -3. Let g = 9 - c. Let y(m) = -m + 21. Let h be y(12). Are g and h nonequal?
True
Let c = 25 - 26. Let i = -352 + 354.03. Let k = i - 2. Is c smaller than k?
True
Let z = -255 - -96. Is z < -159?
False
Let d = -69.9 - -70. Let a = -17 - -32. Are d and a non-equal?
True
Let v = -121 + 50. Is -1 equal to v?
False
Let j = 15 - 13. Suppose 2*v + 7 - 29 = -5*a, -j*v - 3*a + 14 = 0. Which is greater: v or -2/17?
v
Let j = 67.7 - 65. Let v = -2.5 + j. Which is smaller: -2/7 or v?
-2/7
Let a be -2*(-2)/(-10)*(-5)/(-2). Are a and -2/399 nonequal?
True
Let n = -1063489/34 + 62513/2. Is -22 at most as big as n?
False
Let j = -2.6 + 2.8. Let w = j - -0.8. Let t be (-91)/14*(0 + -2). Which is smaller: t or w?
w
Let b(c) = -c**2 + 24*c - 135. Let f be b(15). Which is greater: f or -1/82?
f
Let f = 373 + -20517/55. Let y = f + -49/165. Which is smaller: y or 0.9?
y
Let d be -16*4/(-4) + -4. Let g = -22 + d. Let z(a) = a**3 + 9*a**2 - 11*a - 4. Let t be z(g). Is t not equal to 5?
True
Let u be (-170)/(-15)*(-2)/8. Let p(g) = -4*g - 66. Let t be p(-16). Which is bigger: u or t?
t
Let k be 2*(5/2 + -2). Let p be (2 + 0)*k/33. Which is smaller: 0 or p?
0
Let x = -3/1472 + -301751/4416. Is x < -67?
True
Let g = 317 - 323. Is -6 < g?
False
Let h = 0.066 - 13.666. Let b = 0.6 + h. Is b at least 1/2?
False
Suppose 0 = 3*c + 3*s - 42, 2*c + 2*c - s - 46 = 0. Suppose 4*l = -5*m - 15, 2*m + 2*m + c = -l. Is -4/21 greater than or equal to l?
False
Suppose 6*v + 9 = 135. Let b = v + -20. Is b at most as big as 2/145?
False
Suppose -2*d - 13 = -3*l, -d - 8 = 2*l + d. Let x = -0.03 - 0.07. Let r = -0.05 - x. Which is smaller: l or r?
r
Let w = -0.308 - -0.408. Is w greater than 131?
False
Let w = -10 - -14. Suppose r + 19 = w*k, -5*k = -r - 23 - 1. Which is smaller: r or 1/7?
1/7
Let t be 4*2/(-6)*3. Let y be (-2 - -3)/(2/t). Let f be 0/((3 - -1) + -3). Do y and f have different values?
True
Let o = 0.9 + -1. Let b = 48314/99 - 488. Is b smaller than o?
False
Suppose -16*g + 3170 = -11*g. Let h = g - 12677/20. Which is bigger: h or 1?
1
Let d = 853/2 - 426. Which is bigger: 201 or d?
201
Let r(n) = -3*n + 1. Let f be r(4). Let u be ((-1)/(-2))/(2/(-44)). Let d = u - f. Do -8 and d have the same value?
False
Let j = 0.965 + -1.265. Is -10/3 smaller than j?
True
Let z = 30 - 18. Suppose 0 = -y - 5*d + 16, 3*y + 3*d = -z. Let p = -10 - y. Is -1 bigger than p?
False
Let n be -3 + 115/10 + -8. Is n less than or equal to 0.109?
False
Let i = 63 + -62. Let o be (4/(-144))/((-4)/6). Is i > o?
True
Let p be (-2)/(-1*2/(-3)). Suppose 18 = 2*q + 5*v - 14, 2*v = -5*q + 38. Let m be q/(-9)*6/1. Is p less than m?
False
Let a = 10 + -8. Suppose 2*x = 4*i - 14, x + a = -i + 2*i. Suppose -g + x*g + 4 = 0. Are g and -8/5 equal?
False
Let g(p) = p**3 - 10*p**2 - 12*p + 14. Let b = 4 + 7. Let r be g(b). Let h = 118 - 114. Is h > r?
True
Let w = -3/60394 + -1573686419/785122. Let t = -2003 - w. Which is smaller: 0 or t?
0
Suppose 13 = -4*w - 11. Let p(d) = -230*d + 1 - 223*d - 6*d**2 - d**3 + 454*d. Let h be p(w). Which is smaller: -7 or h?
-7
Let m(l) = l - 5. Let q be m(-4). Let p be ((-16)/120)/((-12)/q). Let f(c) = -2*c - 1. Let j be f(-1). Which is greater: j or p?
j
Let a(o) = -o**3 + 6*o**2 - 41. Let q be a(6). Which is smaller: q or -40?
q
Let c(n) be the first derivative of -n**3/3 - 25*n**2/2 - 45*n + 1. Let k be c(-23). Which is greater: k or 3/7?
k
Let h be (-8 + -1)*700/630. Is -21 > h?
False
Let i be (-35 + 34)/(290/(-4)). Let n(c) = -c**2 + 3*c + 3. Let j be n(4). Which is bigger: i or j?
i
Let s = -9 + 13. Let h(p) = -p**3 + p**2 + 6*p + 7. Let x be h(s). Which is greater: x or -16?
-16
Let x = -76 - -78. Suppose -x*p = -10 - 20. Is p > 17?
False
Let g = -2502 + 2510. Are g and 21 unequal?
True
Let d be (-4)/8*(-1 + (-2 - -1)). Does -5/63 = d?
False
Let b = -410 + 2064/5. Let p = -7 - -7. Suppose 2*z - 6 + 0 = p. Is b < z?