188 - 2. Let s = f + -544/235. Which is bigger: -0.2 or s?
-0.2
Let b = -182 - -182. Let f be 3/(-5) - (-223)/355. Which is bigger: b or f?
f
Let a be 1 - (-1)/(3/(-273))*-1. Which is smaller: a or 93?
a
Let d = -5 + 4.6. Let l = -159 + 166. Are l and d non-equal?
True
Let s be 6*(3 - 20/8). Let a(i) = 4*i - 22. Let l be a(s). Suppose -20 = 3*t + 7. Is t less than l?
False
Let d(h) be the second derivative of h**3/6 - h**2/2 - 12*h. Let c be d(-11). Which is bigger: -2 or c?
-2
Suppose v - 4*v = -4*q - 42, 2*v - 2*q = 26. Suppose 5*s - 3 = 5*c + 2, 0 = 2*c - 4*s + v. Let k = 76 - 77. Which is greater: c or k?
c
Suppose -5*p = 4*z + 2, z + 10 + 1 = 4*p. Suppose -2*w - 4 = -5*i - 1, 4*w = i - 15. Which is smaller: i or z?
z
Let j = -1216 + 1215. Let i be ((-8)/54)/((-6)/9). Is j > i?
False
Let m = -2.187 - -0.187. Which is smaller: 24/11 or m?
m
Let h(g) = 11*g**2 + g - 4. Let j be h(2). Let i = 52 - j. Which is smaller: 11 or i?
i
Let c be 31 + -1 + (-3 - -4). Let g(s) = -2*s + 5. Let o be g(-14). Let j = c - o. Is 1 bigger than j?
True
Let v be 4/28 - (-6080)/70. Which is greater: 175/2 or v?
175/2
Suppose 2*t = -2*t. Suppose 2*u + 2*l + 14 + 2 = t, -5 = 5*u - 2*l. Let z(m) = -m**2 - 5*m - 6. Let x be z(u). Do -3 and x have the same value?
False
Suppose 459 = 29*d - 23*d + 45*d. Let j be 1 - -9 - 2/4. Are d and j nonequal?
True
Let w = 56 - 14. Let l(x) = -x**2 - 23*x - 42. Let o be l(-2). Is w smaller than o?
False
Let r = -435 + 503. Is r smaller than 66?
False
Let h be (17 + -27 + 17)/((-29)/(-2)). Is h greater than 2?
False
Suppose -2*t + 0*t + 18 = 0. Suppose 6*z - 2*z = 3*s - 20, -20 = 4*s + 4*z. Suppose s = j - 0*j - t. Are 9 and j equal?
True
Suppose -3*y - 2*h = -526, -4*y - 3*h - 391 + 1094 = 0. Which is greater: 0.1 or y?
y
Let n = -0.108 + 47.108. Let x = 45.1 - n. Let l = x + 1.9. Which is bigger: l or -5?
l
Let v = 159 + -104. Which is smaller: v or 54?
54
Let j = 564 + -563. Which is greater: j or 1.09?
1.09
Suppose -3*j = -2*h - 11, 3*j = -5*h + 5*j. Suppose -3*k + h*q - 19 - 6 = 0, 3*q - 33 = 4*k. Is k <= -28/3?
False
Let n = -35 + -27. Let g = n + 46.9. Let q = g - -15. Which is smaller: -1 or q?
-1
Let j be -6*(3/2 + -2). Suppose -j*f + 3*a = -6, -4*a + 3 = -3*f + 8. Let y be (f - 2) + 3 - 3. Is 0 at most y?
True
Let p = 5 + -4.9. Let m = -300 + 316. Is m at least as big as p?
True
Let n(z) = 2*z**3 + 16*z**2 + 16*z + 15. Let i be n(-7). Is 2/1249 < i?
True
Let r = -585/41503 + 1/121. Let f(z) = -z**2 + 8*z. Let u be f(8). Which is smaller: r or u?
r
Suppose -3*n + 8 + 7 = 0. Suppose -4*d + 6 = -5*a - 0, n*a - d = -9. Which is greater: -1 or a?
-1
Let x be -59*(2 - (-159)/(-81)). Let r = x - -1027/297. Let s = r - 13/11. Which is greater: 0 or s?
s
Let d = -40 - -70. Let m = -6 + d. Let r = 24.2 - m. Is r less than or equal to 0.01?
False
Suppose -5*s + 6*s = -18. Is s smaller than -18?
False
Let t be (2/138)/((-7)/(-42)*-2). Let i be (0 + (0 - -1))*-1. Are t and i nonequal?
True
Suppose -29*o + 8*o + 42 = 0. Which is greater: 52/27 or o?
o
Suppose 6*z - 172 = -40. Let r(c) = c**3 - 16*c**2 - c + 39. Let j be r(16). Is j greater than or equal to z?
True
Let j = 462 + -4160/9. Let o(u) = u + 4. Let y be o(-4). Which is bigger: y or j?
y
Let g = -22 - -4. Let i = -806 + 823.97. Let p = g + i. Is 0.1 at most p?
False
Suppose -9*h = -11*h + 56. Let f = h - 31. Is f greater than or equal to -5?
True
Let r = 36/11 + -296/77. Suppose 0 = 3*n - 9, -n = d + 2*d - 3. Let p = d - 0. Which is smaller: p or r?
r
Let d = 6.58 + -6.68. Which is bigger: -201 or d?
d
Suppose 0 = -3*y + 31*y - 9772. Is y > 349?
False
Let o = 547/42 + -79/6. Are -15.9 and o equal?
False
Suppose -12 = -0*s + 3*s. Let c = -1450 + 1437. Which is greater: s or c?
s
Suppose -18*m = 6405 + 3171. Let o be 0 + (6 - 2) + m/134. Which is smaller: 0 or o?
0
Suppose -3*i + 3 = 9. Let q be (6/(-105))/(i/(-10)). Let b = 8.44 - 1.44. Which is greater: b or q?
b
Suppose -29 = 50*m + 21. Is m equal to 162?
False
Suppose 0 = 6*h + 4 + 32. Let k(g) = 13 + 8 - 3*g - 23 - g**2. Let q be k(-4). Is h <= q?
True
Let d be 2370/(-26) + 6/39. Which is greater: -90 or d?
-90
Let r = -3191 + 3220. Is 54 at least r?
True
Let u = 2199/7672 + -1/1096. Which is smaller: 28 or u?
u
Let z = -506 + 486. Which is smaller: z or -22?
-22
Let i be -86 + -9 - 0/(-2). Let p be i/(-225) + (-4)/18. Suppose 3*m + 0*m = 4*m. Which is smaller: m or p?
m
Let s be (94/(-30))/((-4)/(-268)). Let v = 210 + s. Do -1 and v have the same value?
False
Suppose -q = 3*x - 4*q + 417, -5*x - 4*q = 713. Let v = 142 + x. Which is greater: 6 or v?
6
Let d = -1146.09 + 1146. Is d equal to 15?
False
Let x(z) = z**3 - 2*z**2 + 2*z - 3. Let l be x(6). Let c = -10983431807/71772246 + -5/1139242. Let i = c + l. Is -1 less than i?
True
Suppose 2*h + 68 = -2*h. Let b = -892 - -872. Which is smaller: h or b?
b
Let d = 44 + -439/10. Let x be -14*(120/(-35))/6. Suppose -4*q - 5*j + 10 = 0, -q - q + 4*j - x = 0. Is q != d?
True
Suppose -f - 4*p - 14 = 0, -3*f = 2*f + p + 32. Let q(x) be the second derivative of -x**4/3 + x**3/6 + x. Let r be q(-1). Is r bigger than f?
True
Suppose -g + 16*x - 13 = 12*x, -13 = 4*g - 3*x. Which is greater: g or -7/30?
-7/30
Let d = -463 + 463.32. Which is greater: 0.4 or d?
0.4
Let k = 0.636 + -0.636. Is k != 339?
True
Let q be 38/(-6)*((-450)/(-18) - 13). Which is smaller: q or -75?
q
Suppose 0*s = -2*s. Suppose 0*y - 2*y + 2*k = 16, s = 5*y + 5*k. Is y equal to -5?
False
Let k(s) = -4*s - 32. Let p be k(-8). Is -1/107 greater than p?
False
Let l be (40/(-7))/((-153)/119) - 4. Suppose -5*i - 3 = -2*a, -3*a + 0*a - 3*i = 27. Let o(p) = p + 6. Let c be o(a). Is c > l?
False
Suppose -16*o - 6*o = -330. Which is bigger: 16 or o?
16
Let l(o) = o**2 - 5*o - 6. Let y = -50 + 55. Let q be l(y). Which is greater: q or 2?
2
Let x(n) = -n + 12. Let d be x(9). Suppose 4*r = -3*h + 20, -r - d*r + 20 = 2*h. Is h at least as big as -3/4?
True
Let l(f) = -f**2 - 8*f + 16. Let i be l(-12). Let g be ((-2)/8)/(2/i). Is 4 > g?
False
Let d(j) = -j**3 - 10*j**2 - 2*j - 4. Let x be d(-10). Suppose -n = x - 2. Let l be -4 + n - -1 - -4. Is -12 at most l?
False
Let r = -1225/2 + 579. Let q = r - -3013/90. Is 2/5 at most q?
False
Suppose 4*f = -3*o + 17, 0*o - 42 = -4*f + 2*o. Suppose 2*y - 14 = f. Suppose y = 3*n + 41. Which is greater: -17/2 or n?
-17/2
Let r be -146 - -146 - (0 + (-1978)/4). Is 494 at most r?
True
Let r = 72 + -32. Let t be ((-2)/r)/((-24)/16). Suppose 5*y = 25, 15 = -4*u + 5*y - 10. Which is greater: t or u?
t
Let k = 15 - 21. Let p = k - -5.6. Let i = -4 + 5. Is i bigger than p?
True
Let j = 0.122 - -285.878. Is j != 0?
True
Let b = 0.35 - -0.05. Let i = -0.021 - -16.021. Let o = i + -16.1. Which is smaller: b or o?
o
Let w = 37 + -41. Let k be ((-22)/w - 3 - 2)*-39. Is k > -19?
False
Let u = 3884 - 23375/6. Which is greater: -0.1 or u?
-0.1
Let r = -36.322 - 0.678. Do 0.8 and r have the same value?
False
Suppose -4*p + 0*p + 8 = 0. Let n = 14 + -2. Let t = -7 + n. Which is smaller: t or p?
p
Let l = -1.94 + 18.94. Which is smaller: l or -5?
-5
Suppose 2 = o - 4. Suppose 0*n + n - o = 0. Let t be (-80)/(-14) - n/(-21). Which is smaller: t or -2?
-2
Let y be (-4)/((-1173)/(-177) + -7). Which is smaller: y or 11?
y
Let s be -2 - -6*(-3)/(-6). Let l be s/(-2) + (-221)/(-26). Are 4 and l non-equal?
True
Let a = -399 + 6781/17. Which is smaller: a or -1?
-1
Suppose 0 = 4*k - 5*b - 10, -5*k + 2*b + 4 = 0. Which is smaller: k or 3/88?
k
Let a = 1041/2 + -76007/146. Are a and 1 equal?
False
Let f = -23 - 14. Let t = 110/3 + f. Which is greater: 4/71 or t?
4/71
Let m be (-158764)/110 - (-12)/30. Let q = m - -1441. Which is smaller: -1 or q?
q
Let c(r) = -r - 6. Let u be c(-3). Are -60/19 and u nonequal?
True
Let w be (-114)/(-27) + (-8)/36. Suppose -5*d = -4*q - 2897, 0*q + d + 2915 = -w*q. Let p be q/(-176) - 4/1. Which is bigger: p or 0?
p
Suppose -r = 2*z + 4, -4*r + 4 - 15 = 3*z. Let n = 4309/60 + -287/4. Which is smaller: n or z?
z
Let a(l) = l - 1. Let y be a(0). Let q be 0/3 + -6 - -2. Let p be 20/(-112) + (-1)/q. Is y at most p?
True
Let d = 1/33 - 137/165. Suppose -5*k - 85 = -5*x, -5*k + 9 + 77 = 4*x. Let i = -19 + x. Which is smaller: d or i?
d
Let m = 10.99 - -0.01. Let w be 0 + 0/(4 - 3). Which i