 38 = 3*w + 5*b. Suppose k - 22 + w = 0. Which is smaller: 17 or k?
k
Let d be (-1060)/6825 - (-4)/30. Is d not equal to 1?
True
Let t = 2/10653 - -31343/3281124. Is t > 0?
True
Let f(l) = -9*l - 11. Let z be f(-7). Let u = 56 - z. Is 8/3 at most u?
True
Suppose 270 = -11*k - 7*k. Let f be ((-18)/(-15))/3 - 129/k. Which is smaller: 6 or f?
6
Let v = 2058.8 - 2059. Which is smaller: v or 57/7?
v
Let k be 4/(-14) + (-1)/(210/(-130)). Which is smaller: k or -1?
-1
Let l = 6889/3 + -2323. Let y = 1/233665 + -131553416/4906965. Let j = y - l. Which is greater: j or -1?
j
Let m = 4892/67 - 73. Is m bigger than -1?
True
Let m(c) = c**3 + 5*c**2 - 2*c - 5. Let w be m(-3). Suppose -w = -6*l - 7. Let s be -2*(-1 + 2/(-4)). Do s and l have the same value?
False
Suppose 15*l - 836 = 91*l. Which is bigger: l or -6?
-6
Let v be (-1)/((-6)/4)*-18. Let y(t) = -t**3 - 13*t**2 - 11*t + 6. Let k be y(v). Which is smaller: 2 or k?
k
Let q be (2/(-6))/((-34)/2142). Is 240/11 at most q?
False
Let z = -486 - -601. Which is bigger: 0.1 or z?
z
Let n be (-5)/(5/(-8)) + -2. Let s be 4/n*9/12. Let g be 6*(-2)/(-4) - (3 - 0). Do s and g have the same value?
False
Let h be (-3)/15*9*10/(-3). Let n = 8 - h. Do n and 2 have the same value?
True
Let k = -182 + 189. Which is bigger: k or 50/7?
50/7
Suppose 5*f - z = 4*z + 700, 2*f - 3*z = 280. Suppose 5*d = h + f, -2*d + 3*h = -0*d - 56. Suppose -5*o + d = -o. Are o and 7 non-equal?
False
Let b = -1.2 - -1.05. Let r = b - -0.05. Let y be (2/5)/((-22)/33). Which is greater: r or y?
r
Suppose -42*x - 60*x - 2754 = 0. Which is greater: -18 or x?
-18
Let s = 20372 + -19496002/957. Is s at most as big as 0?
False
Let m = -29/68 - 3295/884. Let o = -87/26 + m. Which is bigger: -7 or o?
-7
Suppose -3*i - 66 = 5*t + 347, t + i + 83 = 0. Which is smaller: t or -83?
-83
Let h = -30 - -31. Let z be (-272)/(-12) - h/(-3). Which is smaller: z or 22?
22
Let h be 3/12*2*0. Suppose h*y - 3*y + 9 = 0. Suppose 4*d - y = 1. Is d equal to 9/7?
False
Let b = 73 - 61. Suppose -4*c + b = -0. Is 2 bigger than c?
False
Let l be (256/(-6))/((-1)/(-27)). Let s be 292/l + (-4)/(-18). Are 0 and s non-equal?
True
Let y(x) = 4*x - 101. Let f be y(24). Let l = -6271/5 + 1249. Is l < f?
True
Let c(r) = 3*r - 2. Let x be c(3). Let l be (-4 + 12/3)/(-1 - 1). Suppose -4*m + 38 = 6*s - 4*s, l = -5*s + 2*m + 35. Is s at most x?
False
Let h be (-4117)/(-92) + (-2)/(-8). Which is bigger: h or 46?
46
Suppose 13*k + k = 364. Is 22 < k?
True
Let t(m) = 2*m**2 + m + 1. Let i be t(-1). Suppose -2*l + 22 = -2*q, 1 - 10 = -3*q. Suppose 1 = -4*f - h + 4*h, -2*h + l = 4*f. Is f less than or equal to i?
True
Let a = -3 - -20. Let q be 2/(-2) - (-17)/a. Let n be 14/(-20) + 1/1. Are n and q equal?
False
Let m = 0.1 - 0. Let f(u) = 2*u**2 + 4*u. Let i be f(-3). Let k be ((-1)/i)/((-2)/8). Is m <= k?
True
Let y(q) = -q - 20. Let t be y(0). Let k = -3480 + 3458. Which is bigger: t or k?
t
Let u be 9 - 7 - 130/(-12). Let l = -29/2 + u. Let a be (2/(-6))/((-4)/(-12)). Is a at least as big as l?
True
Suppose 0 = u, 0*a + 1172 = 4*a + 4*u. Let z = 432 - a. Which is greater: z or 140?
140
Let k = 0.21 + -0.01. Let m = 28 + -28. Which is smaller: k or m?
m
Let k be 1 - 5/5*10. Let z(l) = 4*l. Let u be z(5). Let o = u - 28. Is k less than or equal to o?
True
Let u(m) = 4*m**2 + 11*m + 5. Let g be 25/(-4) + 3/12. Let i(x) = 5*x**2 + 12*x + 5. Let l(o) = g*u(o) + 5*i(o). Let w be l(6). Is -6 bigger than w?
False
Let p be 1/((-1)/20) - (-15 + 15). Let r be (1 + p/8)/3. Which is bigger: -2 or r?
r
Let s be (-2)/4*2*-3. Let q be 5/(-4 + 3) + s. Let r be 7/4 - q/8. Is r equal to -2?
False
Let t(c) = -c**3 + 37*c**2 - 33*c - 109. Let p be t(36). Let q(b) = -2*b + 4. Let w be q(4). Let f be 2/76*1*w. Which is smaller: f or p?
p
Let v be -1 - (-5 - -1) - 382/122. Let w = v - -1170/7991. Which is smaller: w or -1?
-1
Let v be (-200)/(-34) - 36/(-306). Let b be (-2)/(-8)*v*(-6)/237. Which is smaller: b or 0?
b
Suppose 6*k - 5*k - 24 = -5*t, -t = -3*k - 8. Which is smaller: 12/91 or k?
k
Let m = 140 - 140.3. Which is greater: 0.2 or m?
0.2
Let d = 184/5525 + -18/425. Let k(q) = -q**3 - 14*q**2 - 15*q - 25. Let u be k(-13). Is d less than u?
True
Suppose 0 = -5*y + 2*i + 40, i + 25 = -0*y + 3*y. Let f be y/(-42) + 12/18. Let u = 3 - 4. Is u greater than f?
False
Let q be (198/16)/((-15)/20)*14. Is q less than or equal to -232?
False
Let x = -14 + -3. Let g = 15.94 - -0.96. Let p = g + x. Which is bigger: p or 1.4?
1.4
Let m = 2230 + -2227. Which is smaller: 161 or m?
m
Let h(u) = -u**2 + 8*u + 1. Let n be h(0). Which is smaller: n or 12/79?
12/79
Let h = -16.45 + 16.05. Do 0.31 and h have the same value?
False
Let t = 1 + 22. Is t bigger than 1?
True
Let p = -19.06 + 5.76. Are p and 0.3 non-equal?
True
Let p be 1/((-1)/(-5 - -3)). Suppose 3*v + f - 6 = 0, p*v + f = -0*f + 4. Let z be 2/(4 + (-22)/v). Do 5/3 and z have the same value?
False
Suppose 0 = 3*k + 4*u - 160 + 32, -36 = -k - 3*u. Is -15/2 != k?
True
Suppose 0 = -i + 2*o + 35, -4*i - 3*o = -76 - 42. Let n be (64/5)/4*10. Is n greater than i?
True
Let p = 2426 - 1387. Is 1038 smaller than p?
True
Let k = 40.919 - -0.081. Let r = 43.02 - k. Let a = -0.02 + r. Which is smaller: 0.1 or a?
0.1
Let p = 70 - 66.7. Let m = -12.7 - p. Let g = m - -16.1. Is g not equal to -15?
True
Suppose -9*u + 284 = -175. Which is smaller: 54 or u?
u
Let z = -40/101 - 2/505. Which is greater: z or -1091?
z
Suppose 0 = 5*c - 4*j + 41 - 8, -5*c - 2*j - 21 = 0. Suppose 0 = -5*h + 5*i - 9*i - 1, 8 = 2*h + 3*i. Are h and c unequal?
False
Suppose -2*w + 4*j + 21 = w, w + 4*j + 9 = 0. Suppose 7*l + 12 = w*l. Let o = l - -4. Which is smaller: 0.4 or o?
0.4
Let h be 8/(-40) - 4/230. Let r = -70 + 69.9. Is r >= h?
True
Let z = -7 + 13. Let w(u) = u**3 - 7*u**2 + 8*u - 13. Let j be w(z). Let v be (j - 3) + 664/160. Is v greater than or equal to -1?
True
Let j = -9.93 - -9.8. Is j less than -2/7?
False
Suppose 5*m - 191 = 2*o, -5*o + 202 = 4*m + 36. Suppose -k - 5*t + 22 = -t, 3*t + 202 = 5*k. Which is bigger: m or k?
m
Let o(l) be the second derivative of l**4/12 - 3*l**3/2 - l**2 - 9*l. Let q be o(9). Which is smaller: q or 2?
q
Let o = -9184 + 9164.036. Let x = -0.036 + o. Let h = x + 18. Are h and 0.6 nonequal?
True
Let q = 361/155 - -58/31. Is -1/3 not equal to q?
True
Let x = 6.9 + -10. Let g = 0.043 - 0.043. Are x and g equal?
False
Let g = -24.5 + -6.3. Let d = -30 - g. Is -0.1 at least as big as d?
False
Suppose 5*v + 2 = -i + 38, 0 = -i - v + 40. Let b = -49 + i. Which is greater: b or -2?
-2
Let m = 225.76 + -214. Let r = -0.24 - m. Let h = r + 11. Do h and 2/23 have the same value?
False
Suppose -w + 25 = 5*a + 2*w, 4*a = 3*w + 20. Suppose 3*z - 10 - a = 0. Let o be 2/z*119/(-34). Is o greater than or equal to -1?
False
Let d = 1116.52 + -1128. Which is greater: d or 1?
1
Suppose -17 = -5*y + 4*b, 8 = y + y - b. Let z be (16/(-6))/2 - 30/45. Let x be (-4 + 2)*(0 + z). Which is smaller: x or y?
x
Let a = -17.049 + 0.049. Let h = a - -29. Is h smaller than 1?
False
Let v(b) = b**2 + 6*b + 11. Let o be v(-5). Let l be (o/9)/(8/(-12)). Which is smaller: l or -6?
-6
Let c = 138 + 45. Is c at least as big as 183?
True
Let q = -2/39215 + 79972/30234765. Is q at most 1?
True
Let x = 47 - 11.2. Let g = -36 + x. Is -6 at most g?
True
Let p = 5 + -5.25. Let n = -8 - -7.85. Let d = n - p. Which is bigger: 4 or d?
4
Let a = -0.1 + 0.4. Let z = -57 - -58. Let s be 1/(-7)*z + 12/28. Which is smaller: a or s?
s
Let p = 10 - 10. Let x = -105 + 106. Which is smaller: p or x?
p
Let y = 34 - -53. Suppose -4*o + 3*s = -o + y, -5*o = -2*s + 136. Let h = -39 - o. Which is greater: -1 or h?
-1
Suppose 443 = -2*f + c, -4*c + 572 = -5*f - 537. Is -221 smaller than f?
False
Let l = -3 - -5. Let z = -14 + l. Let i(s) = 2*s + 5. Let x be i(-8). Which is bigger: z or x?
x
Let k = -1068 + 1071. Which is smaller: k or 3/17?
3/17
Suppose 2*c + 10 = 3*c + 3*w, c + 14 = 5*w. Let h be 213/(-2431) + 96/1248. Which is bigger: h or c?
c
Let r = 0.7 - 0.82. Let s = 6.12 + r. Let i = s - 5.9. Which is bigger: i or 1/3?
1/3
Let j(f) = -f**3 - 3*f**2 - 4. Let g be j(-4). Suppose s + 2*v = -g, -4*s - 19 - 1 = v. Let d be s/(-8) - 2/4. Which is smaller: -1/4 or d?
-1/4
Suppose 4*v - 10*t - 1318 = -5*t, -