 - 24 = 2*k. Is w bigger than -10?
False
Let n be 10/6 - (2 + -1). Let z(q) = -12*q**2 - 14*q + 37. Let i be z(4). Let y = -211 - i. Which is smaller: n or y?
y
Let a be ((-227)/2)/((-12)/72). Let i = 18395/27 - a. Which is smaller: i or 0?
0
Let s be 6/(-5)*10/(-3). Let k be 6/((-1)/(2/s)). Is k at least as big as -2?
False
Let f = 1626 + -2764. Let a = -1170.71 - f. Let k = 33 + a. Is 0.1 > k?
False
Let l = -489 + 5386/11. Let b = -1 + 3. Which is smaller: l or b?
l
Let t = -70 - -81. Suppose 10*m + 1 = t*m. Is 1 >= m?
True
Suppose -1366*w - 65 = -1379*w. Is 16 at most w?
False
Let m = -3.82 - 474.18. Which is smaller: 1/2 or m?
m
Let j = 2121/11 - 193. Suppose -g = -1 + 3. Let h be (g/2)/(-13 - -14). Are j and h equal?
False
Let h = 1214/10379 - 5/97. Let x = 1765/2461 + h. Is x greater than 1?
False
Let b = 388 + -389.2. Let q = 0.1 + 1.1. Let k = q + b. Is -1 >= k?
False
Let f be (-28 - (-3 + -4))*2/(-3). Let a be -3 + ((-4)/f - (-96)/42). Let z be (-2)/8 + (-33)/12. Is z at least as big as a?
False
Suppose i - 4*i + 2*q = -8, -8 = 5*i + 2*q. Suppose l + l = 5*y + 22, -y - 1 = 3*l. Let d be (-14)/49*(-1)/l. Which is bigger: d or i?
d
Let z = 2 - -3. Let f = z - 4.88. Let u be 0/(3/(-4)*(2 + 2)). Which is smaller: f or u?
u
Let k be (-2)/(-9) + (-20)/9. Let x be k/7 - 9/(-7). Let v = 2981 - 2979. Which is bigger: v or x?
v
Let u = 0.054 - -0.046. Which is smaller: 64.3 or u?
u
Let h = -1.7 - -2. Let z = -151 + 162. Suppose z = y + 13. Which is smaller: y or h?
y
Let o = -31/3 - -299/33. Which is bigger: 0.04 or o?
0.04
Let r be 4/(-5) - 474/(-105). Let j = 449/119 - r. Let c = 2 - 3. Which is greater: j or c?
j
Suppose 4*l = -6 + 2, -3*z + 3*l - 96 = 0. Which is bigger: -29 or z?
-29
Let p be (-10)/2 - (-12)/(2940/1211). Let g = -3 + 2. Is g <= p?
True
Suppose -9*o + 1136 = 1244. Is -147/13 greater than o?
True
Let y be 49/(2/(-4)*2). Let w = y + 47. Which is smaller: w or 5?
w
Let c(n) = n**2 - 4*n + 3. Let l be c(3). Let w = 30 + -29. Which is greater: w or l?
w
Let c = 1/1261 - 5053/11349. Suppose -y + 1 = 0, -b + 2*y - y + 3 = 0. Suppose -7*j - b = -3*j. Is j at least c?
False
Let p(y) = 35*y - 3. Let q be p(1). Let j be q - (3 - (3 - 4)). Suppose 24*f + 20 = j*f. Is 8 bigger than f?
True
Let y = 540 + -532. Which is bigger: -21 or y?
y
Let w = 1.74 + -1.6. Let c = 0.24 - w. Which is smaller: 14 or c?
c
Let w be ((-3)/(-86))/((30/5)/2). Let c be (1039/2)/(-301 - 0). Let v = c + w. Is v at most -1?
True
Let i be ((-1)/(-10))/(2/(-58)). Let s = 331/115 + i. Is s less than -1?
False
Suppose 0 = -3*b, 11 = -4*f - 2*b + 31. Suppose 0*c + 2*c + 4*g = -14, -5*g = f*c + 50. Let w(k) = -k + 4. Let l be w(5). Which is greater: l or c?
l
Let u(g) = 2*g**3 - 9*g**2 - 14*g + 117. Let c be u(6). Which is bigger: c or 136?
c
Let d(x) = 5*x - 10. Let b be d(2). Which is greater: b or -2?
b
Let l be 1 - (-7)/(-4) - 3538/(-4408). Which is smaller: 0 or l?
0
Let a be 4/((-2)/(-15) + 0). Let g = 323 - 323. Which is bigger: g or a?
a
Let n be -2*(-2)/8*12. Let t = 0 - n. Suppose 25 = -q - 4*q - 5*i, -2*i + 39 = -5*q. Which is smaller: t or q?
q
Let k = 172 - 171. Which is greater: 6/11 or k?
k
Let j = -5 - -3.8. Let l = j - -0.9. Let u be (0 + 2)/((-7)/2). Do l and u have different values?
True
Let w be (-9)/11*-2*(-4)/(-24). Which is smaller: w or 1?
w
Let t = -536 + 551. Which is greater: t or -2?
t
Suppose 0 = 3*f + n - 113, -4*f + 3*n + 147 = 5. Suppose 33*i = f*i - 208. Which is smaller: -1 or i?
-1
Let q = 182 + -177. Which is smaller: 15 or q?
q
Let p = 182156/7 - 25912. Do p and 109 have the same value?
False
Suppose 7 = m - 10. Suppose 3 = p, -j + 4 - m = 4*p. Is -26 less than j?
True
Let m(x) be the third derivative of -3*x**4/8 + x**3/2 - 2*x**2. Let d be 2*(18/12 + -2). Let h be m(d). Do h and 13 have different values?
True
Suppose -4*o = -7*o + 21. Which is greater: 5 or o?
o
Let l be (-2)/(-3)*5/(130/117). Which is greater: -64 or l?
l
Suppose -4*u = -2*u - 770. Let v be (-1)/(-8) + u/(-2184). Let o = v + 17/78. Is -1 not equal to o?
True
Let l = 0.082 + -0.182. Let t be ((-10)/(-4))/(16/(-24)). Is l smaller than t?
False
Let u(t) = -t**2 - 22*t + 26. Let k be u(-19). Which is smaller: k or 0?
0
Let m = 160.108 - 160. Is 0.1 greater than m?
False
Suppose u - 3*u - 5*u = 0. Is u at most -2/587?
False
Let t = 25.59 + -0.59. Let b = 25.3 - t. Is b smaller than 3?
True
Let z be 96/240 + (-321)/800 + 0. Is z > 1?
False
Let l = 26.8 + -39. Let i = -12 - l. Is 5 > i?
True
Suppose 0 = 4*m - i + 4, -3*i = -14*m + 9*m - 5. Is -11/25 greater than m?
True
Suppose 75*q = 79*q - 68. Is -12 greater than q?
False
Let p = 0.1354 - 0.0454. Let k = 3 + -3.1. Is p less than k?
False
Let l = -77 - -82. Let o(b) = -2*b**2 + 11*b - 4. Let z be o(l). Which is bigger: 1/4 or z?
z
Let o be 342/(-273) + (-14)/49. Which is smaller: o or -3?
-3
Suppose 3*i + 125 = 8*i. Suppose -2*j + i = 4*w - j, -w = -3*j + 10. Let d be ((-8)/(-5))/(1/w). Which is bigger: d or 5?
d
Let m(c) = c**3 - 7*c**2 - c + 7. Let z be m(7). Let d be 0 + (-1 + 0 - z). Let j = -72 + 73. Is j equal to d?
False
Let m be (3/((-18)/(-4)))/(4/354). Let q = 175/3 - m. Suppose t = 1, -5*v + 64 + 8 = 2*t. Which is smaller: q or v?
q
Let r be (1/(-4))/((-319)/(-748)). Is r smaller than -2?
False
Suppose c + 75 = l + 6*c, 0 = -5*l + 4*c + 462. Is l not equal to 90?
False
Let b be 18/(-72) + 1*(-2703)/(-12). Which is smaller: b or 223?
223
Let l = -78/5 - -81/5. Which is greater: l or -3?
l
Let c = -84 - -85. Is -8/55 equal to c?
False
Let p(t) = t - 66. Let c be p(15). Do -56 and c have the same value?
False
Let l be -2 + -4 + 44/7. Suppose -8*i + 4*i + 16 = 0. Suppose -i*o = -2*o. Which is smaller: o or l?
o
Let a = -0.03 + 4.03. Let g = -394 + 395. Are a and g unequal?
True
Let y(j) = j + 3. Let d be y(6). Suppose 1 = -3*n + 2*f + d, f = -n + 6. Let a be ((-6)/n)/((-3)/2). Which is smaller: 6/13 or a?
6/13
Suppose 3*l - 22 = 4*d, 0*l - 14 = 3*l + 5*d. Suppose -4*g + 18 = -l*g + 2*q, -29 = -4*g + 3*q. Is g not equal to 6?
True
Suppose -205 = 4*s - 2*y - y, s + y = -46. Let g = 48 + s. Is -3.7 at least as big as g?
False
Let s be (-5 + 2)/(2*(-4)/128). Does s = 51?
False
Let d = -0.3 + 0.1. Let m = 22 + -29. Let f = m - -9. Which is smaller: d or f?
d
Let i = -147651/58435 + 1916/403. Let j be (-2)/(-3) - (-42)/261. Let y = i - j. Is 1 equal to y?
False
Let p = -60/5617 - -7959889/56170. Let b = -142 + p. Let m(q) = -q**2 - 3*q + 551. Let n be m(22). Which is smaller: b or n?
b
Let s = -8177/5719 - -1/817. Suppose 5*f + p + 11 = -1, 3*f = -5*p - 16. Is s less than or equal to f?
False
Let u = -199/6 + 67/2. Let r be (0 - 1)*4/(-2524). Let f = -1907/8834 + r. Is u > f?
True
Let b = -10/41 - -212/533. Let h = 81 - 112.4. Let p = -31 - h. Which is smaller: p or b?
b
Let c be -3*(4/5)/(36/30). Let a be ((-4)/24)/(c/(-6)). Let k = 2326/15 - 155. Which is bigger: k or a?
k
Let d(t) = -2*t**2 - 40*t - 142. Let y be d(-5). Is y at least -4/3?
True
Let n(s) = -s**3 - 9*s**2 - 14*s - 5. Let a be (-4)/(-14) + (-120)/28. Let k be n(a). Is -30 < k?
True
Let z = 12 + -14. Let a be (0 - 23 - -1)/z. Let q be (24/(-10))/(1/(-5)). Do q and a have different values?
True
Suppose 149 - 39 = 5*z. Let m = 7 - z. Let i be (20/m)/(2/12). Is i != -6?
True
Suppose -5*h - 34 = 4*w, -h - 3*h - 4*w = 24. Let a be (-1)/(-1) + 12 + h. Suppose 4*n - 20 = 0, y - 2*n + 2 = -a. Are 4 and y equal?
False
Let r = 4.6 - 5. Let f = r - -0.7. Let a = 2706/13 - 208. Which is bigger: a or f?
f
Suppose 4*u - 3*d = 2*u + 27, d = -3. Suppose 2*n = -2*r + 6, 0 = 2*n - n + 3*r - u. Suppose -7 - 1 = 4*c. Is n < c?
False
Let h be (44/(-16) + 3)/((-1)/(-172)). Let n = -165/4 + h. Is n not equal to 3?
True
Let m = 632/225 - 26/9. Is m at least as big as -9?
True
Let c(r) = 45*r - 1. Let o be c(1). Let g = o + -45. Which is smaller: g or -6/7?
g
Let k = -187 - -187.06. Which is greater: k or -0.07?
k
Let w = 100 + -101.3. Let s = w + 79.3. Is s greater than or equal to 1?
True
Let i = 0.129 + -1.389. Let b = i - -0.16. Suppose 17 = 3*k + 4*w, 3*k = -2*w + 7*w - 28. Which is smaller: k or b?
b
Let a = -42 + 46. Suppose 170 = a*r - 14*r. Let t = 24 - 40. Is t greater than or equal to r?
True
Let v = -12.965 + -0.035. Is v less than -5/14?
True
Let h(j) = 4*j 