1. Which is smaller: i or 16?
16
Let p = -9042.3 + 9070.0774. Let a = 0.0726 + p. Let y = a - 28. Which is smaller: 2/3 or y?
y
Let r = 16.11 - 16.07. Which is smaller: 13 or r?
r
Let y = -3403729/571 + 5961. Is y >= 0?
True
Suppose 10 = -5*g + 90. Suppose 4*u = -4*y - 196, -u - 4*y = 39 + g. Is -47 < u?
False
Let i be (-50)/(-14) + -4 - (-17)/7. Suppose 0 = 2*h - 0*h - i*g + 20, 40 = -4*h - 3*g. Is h <= -8?
True
Let x(g) = -g**2 + 3*g - 3. Suppose 3*b - 3*s = 21, -8 = -3*b + 4*s + 18. Let q be x(b). Let w = -284/11 + 26. Is w at most q?
False
Let y be (-51)/85 - 1128/(-5). Is 0.2 at least as big as y?
False
Suppose 0 = -4*f + f. Let p = -10729/247 + 564/13. Is f equal to p?
False
Let b(u) = 7*u + 90. Let q be b(-10). Is q at most as big as 22?
True
Suppose -3*c + 9 = 0, 37*n + 5*c = 42*n + 15. Is 15/79 at most as big as n?
False
Let y(o) be the second derivative of -o**4/12 - o**3 + 4*o**2 + 5*o. Let u be y(-6). Is u != 8?
False
Let d = 2 + 0. Suppose -8*w = -60 + 92. Let g = d + w. Is g at most as big as -2?
True
Let l = -1687 + 1631. Suppose 4*m = -89 - 135. Is l greater than m?
False
Let r be -1*(2/6 + (-26)/(-39)). Let y = -11147/25 - -446. Is r <= y?
True
Let l = -8.71 + -2.29. Let k be 4/18 - (-88)/(-234). Is l >= k?
False
Suppose 18 - 18 = 10*r - 28*r. Let v(h) = -4*h**3 + 8*h**2 - 6*h + 4. Let z be v(6). Let k = 10339/17 + z. Which is smaller: r or k?
r
Let j = 48 - -8. Suppose 2*p + j = r + r, 5*p + 116 = -3*r. Is -25 at least p?
True
Let u = -3.0522 + 0.0522. Which is smaller: u or -15/2?
-15/2
Suppose 21 + 16 = d. Suppose 4*k = 4*y + k - d, -y = 2*k - 12. Let h(l) = l - 22. Let q be h(y). Which is bigger: -13 or q?
q
Let s = -2462/7 + 352. Which is smaller: 0.23 or s?
0.23
Suppose 0 = g + 2*g - 69. Suppose -5*z = -2*z + 4*m - g, -4*z - m = -9. Let s be 1 + (-2)/(-3) - z. Is s less than -2?
False
Let a = 109 + -111. Suppose 4*f + y - 3 + 9 = 0, 3*y - 2 = -2*f. Is f equal to a?
True
Suppose 0 = -z - 1, 5*d = 2*z + 205 + 67. Is d at most as big as 53?
False
Let t = 21 + -10. Let p = 10 - t. Let w = -0.35 - 0.05. Is w != p?
True
Let x be 148/(-259) - 326/(-448). Is x not equal to 0?
True
Let i = -10233/70 - -1052/7. Which is smaller: i or 3?
3
Let w = -377 + 367.05. Let t = w + 10. Let j = 5.05 - t. Which is bigger: 0 or j?
j
Let u(a) = -5*a**3 + 6*a**2 + a - 1. Let v be u(1). Let t be 560/12 - (-1)/3. Let i = t + -140/3. Are v and i nonequal?
True
Suppose 2188*y - 2190*y + 2168 = 0. Is 1083 smaller than y?
True
Let s be (-6)/(-133)*728/(-7904). Which is smaller: 1 or s?
s
Let b = -221.21 + 221. Which is smaller: b or 0.1?
b
Let f(h) = h**3 - 6*h**2 + 2*h + 4. Let z be f(4). Let c = -3618 - -10853/3. Is c >= z?
True
Let k(p) = -p**2 + p + 18. Let n be k(0). Let h = n + -39. Which is bigger: -22 or h?
h
Let s be (11/(-2))/((-3)/8). Let l = s + -15. Suppose 7*z - 12 = -54. Is z less than or equal to l?
True
Suppose 38*f + 180 = 34*f. Let d = f - -49. Let b = 8 + -3. Are d and b equal?
False
Let r(f) = -3*f - 1. Suppose -3 = t + b, -b = -4*b. Let l be r(t). Suppose 10*z = l*z. Is -2/33 not equal to z?
True
Let m be (-2)/14 - 2/((-7070)/575). Which is smaller: 1 or m?
m
Suppose 0 = 15*a - 12*a + 9. Let f be 52/(-12) - (a - -6). Is f <= -8?
False
Let x = -359 + 519. Which is greater: x or 159?
x
Let d be 4/(-10) - 28/5. Let q = -1215 - -1204. Which is smaller: d or q?
q
Suppose -5 = -3*z - 2*l, 0 = 2*z - l + 4 + 2. Let j be 87/(-30) - (-5)/2. Which is smaller: z or j?
z
Suppose 2*s - 2 = -12, -4*s = 3*b + 158. Which is bigger: -44 or b?
-44
Suppose -7 = 4*y + 2*c + 3, -4*c = y + 6. Let g be y/((-1)/(3/(-6))). Let j = -0.033 + -0.067. Does j = g?
False
Let q = 2028 + -2028. Let j(f) = 19*f**2 + f. Let x be j(1). Which is bigger: q or x?
x
Suppose -3*m = 22 + 2. Let k be (-1935)/(-903) + (-1)/7. Which is greater: k or m?
k
Let j be (-4 - -8)*(-20043)/68. Is -1178 != j?
True
Suppose -17 = -4*g + 35. Suppose g*h + 21 = 281. Does h = 20?
True
Let d = 6 - 5.92. Let n = d + 33.92. Let q = n - 21. Is -1 at most q?
True
Suppose 0*k = 2*k - 26. Let d = k + -15. Let u = 2 - d. Is 4 at least as big as u?
True
Let s(u) = 162*u - 11 - 321*u + 165*u. Let m be s(2). Is m smaller than -2/37?
False
Suppose 5*c + c - 48 = 0. Let d(r) = 2*r - 16. Let m be d(c). Which is greater: -3/8 or m?
m
Let r be 1 + (-102)/21 - (-71 + 67). Are -2/405 and r non-equal?
True
Let g(k) = k**2 - 31*k + 58. Let p be g(29). Let r(b) = 2*b + 4. Let c be r(-5). Let t = c - -6. Is t < p?
False
Let i = 6.5 + -2.5. Let a = i - 2. Let g = -0.02 - 0.38. Which is smaller: g or a?
g
Let r = -19 - -34. Which is smaller: 79/5 or r?
r
Let n = 0.3 + -0.1. Let c(k) = -k**2 - 3*k - 6. Let o(f) = f**2 - 28*f - 31. Let h be o(29). Let p be c(h). Which is smaller: p or n?
p
Let s = 149 + -194. Let d = s + 49. Is d at most -3/7?
False
Let b(u) = -2*u**2 + 80*u**2 + 4 - 5*u - 2*u. Let l be b(4). Let x = l + -69766/57. Which is smaller: x or 0?
0
Let j be (15/(-12))/(420/(-48)). Which is smaller: -3/2 or j?
-3/2
Suppose 4*w - 10 = 2*i, -5*i + w = -4*i + 2. Are 1/1134 and i nonequal?
True
Let n be (-1 - (-1 - 1)) + 9987/(-5). Let r = n - -2003. Is r at most as big as 6?
False
Let q = 118497/71 - 1669. Which is smaller: q or -1?
-1
Suppose 4*z - n = -21, -24 = 4*z - 2*n - 2*n. Let i be 10/15 - z/6. Are i and 1 non-equal?
True
Let f = 87 - -11. Are f and 98 equal?
True
Let x(w) = 34*w + 440. Let t be x(-13). Which is bigger: -19/35 or t?
-19/35
Suppose -62*n + 56 = -76*n. Is n bigger than -51/14?
False
Let j(v) = -v**2 + v + 1. Let p be j(1). Let r(q) = 3*q + 2. Let f be r(2). Suppose 3*s + p = -f. Which is smaller: s or -2?
s
Let k be (-14 - -15) + 50/(-62). Which is bigger: 0 or k?
k
Let r = -16818754 - -5617469341/334. Let w = r + 3/167. Is 17 at least w?
True
Let k be (-6)/(-18)*(1 - -2). Let g be 4 - 11 - -5 - (-46)/20. Let l = g + 3/2. Which is smaller: l or k?
k
Let y = 83 - 416/5. Which is greater: 5/3 or y?
5/3
Suppose 5*k + 0*s + 110 = 3*s, -2*s = 0. Let h be 2/(((-2)/(-23))/(-1)). Is k less than or equal to h?
False
Suppose -2*h + 1682 = 2*s, 3*s - 2515 = 11*h - 6*h. Is s bigger than 841?
False
Let l be 25/(-10)*(19 + 1). Are l and -50 unequal?
False
Let b be 51/219*(-274)/(-56). Let d be (-585)/292 + -1 + 3. Let u = d - b. Is u less than or equal to -1?
True
Let h = 401 + -466. Which is greater: h or -66?
h
Suppose -6*l + 19 - 1 = 0. Let s be 4/(-6) + 7/(-3) + l. Do -1 and s have the same value?
False
Let u(z) = -z**3 - 4*z**2 + 44*z + 198. Let q be u(-5). Which is smaller: q or -0.072?
-0.072
Suppose -20 = -4*z, 0 = 3*m - 4*z - 476 - 5. Which is smaller: 163 or m?
163
Let m be -61*30/42 + 5. Is m smaller than -38?
True
Let k be (42/(-18))/(1/(-3)). Suppose -k*i + 41 - 13 = 0. Let t be (-24)/(-8) + (-2)/6. Which is greater: i or t?
i
Let f = 1888 - 1887.9847. Is f smaller than -1/2?
False
Let m be 5/(-1) - 1374/(-30). Is m >= -1?
True
Let x = 0 - 1. Let p = -12.4707 + -0.5293. Is x smaller than p?
False
Let s = -0.1 - -0.6. Let d = 386/15 - 79/3. Which is smaller: d or s?
d
Let g = 27 + -25. Let u be 54/(-18) - (-8)/g. Which is smaller: u or 0?
0
Suppose 34*b + 642 = -888. Is b at most -45?
True
Let a = -22 + 10. Let u(c) = -7*c + 6. Let q be u(6). Let d = 25 + q. Is d <= a?
False
Let f = -1121/2 + 7851/14. Which is smaller: -42 or f?
-42
Let j = 7 + 5. Suppose j*v = 4*v + 8. Is v < -2/15?
False
Let i be 1/(84/(-54) + 1). Which is smaller: 0.1 or i?
i
Let j = -7.0003 + 0.0003. Is j greater than -1.3?
False
Let g = 0.59 + 0.06. Let x = g - 0.72. Which is greater: x or 1?
1
Let s = 180 - 1801/10. Which is smaller: s or -2.8?
-2.8
Let l = -0.048 - 0.002. Let z = -2.05 - l. Which is bigger: z or 7?
7
Let x(p) = 51*p + 34. Let v be x(3). Are 371/2 and v unequal?
True
Let w = -3 + 13. Let u = w + -19. Let g = u - -8.99. Are g and 1 unequal?
True
Let n = 22/15 + -9/5. Let v = 76.95 - 71. Let i = v + -6. Which is bigger: i or n?
i
Let b = -335 + 343. Which is bigger: -7 or b?
b
Suppose -4*z = -5*z + 4. Suppose -60 = 4*h - z*a, -2*h + 1 = -h - 5*a. Which is bigger: -20 or h?
h
Let k be (-1 - (-2)/(-1)) + 27/3. Suppose -k = -3*d - 3*x, -3*x = -2*d - x. Which is greater: -1/109 or d?
d
Let l(i) = 3*i - 19. Let z be (-2)/(-12)*8*(-27)/(-6). Let n be l(z). Is n smaller than 1/32?
True
Let d be (15/3