. Suppose -u + v*u = 10. Suppose -i = -u*i. Is i less than 3?
True
Let s = -231/416 - -19/32. Let r(z) be the second derivative of -z**5/20 - 7*z**4/12 + 3*z**3/2 + 4*z**2 + z. Let j be r(-8). Which is smaller: j or s?
j
Let m be 27/(-4) + (-53 - -46). Is m less than -13?
True
Let n = 58 - 56. Let i be (n + (0 - 2))/(4/(-2)). Which is smaller: i or -1/58?
-1/58
Let f be 2840/16*2/50. Which is smaller: f or 7?
7
Let y(u) = 5*u**2 + 2*u - 2. Let r be y(2). Suppose 0 = 2*k - 4*v + r, -5*k - 4*v + 0 = 13. Is k greater than or equal to -6?
True
Suppose c = -u + 3*c + 8, -3*u - 4*c = 26. Let a be (-18 + 19)*(5/4)/5. Is a smaller than u?
False
Let i = -12 - -5. Suppose 0 = -5*k + 50. Let h be (-5)/6*(-4)/k. Is i equal to h?
False
Let c be 3/6*8 - -3. Let g = -12 + c. Is -16/3 less than or equal to g?
True
Suppose f - 4*f = 2*d - 526, 3*d - 166 = -f. Is f at least 177?
True
Let l = 498 + -223. Suppose 9*x - l + 32 = 0. Which is greater: x or 28?
28
Let z(i) = i**2 - 8*i + 13. Let x be z(7). Let q be -2*1/(-2) - -6. Is x greater than q?
False
Let v = 13.9295 + 0.0705. Which is greater: v or -22?
v
Let j = -32 + 39. Let k be (-33)/(-90) - (7/6)/j. Let s = -3 + 2. Which is smaller: s or k?
s
Let d = -32/3 - -6566/615. Suppose 7*j - 6*j + 4*c = 7, -11 = j - 5*c. Do j and d have the same value?
False
Let a = -2/219 + -428/1095. Suppose 0 = 7*x - 0*x - 91. Suppose -x*y + 12*y - 1 = 0. Do a and y have the same value?
False
Let b = 110 + -109. Which is greater: b or 4/115?
b
Let k = -1 + 3. Suppose -8*j - v - 20 = -12*j, -3*v = j - 18. Is k <= j?
True
Let p = -3447 - -58577/17. Is 1/3 greater than p?
True
Let m = 58 - 2. Let z = -66 + m. Let d(p) = -p**2 - 2*p + 3. Let b be d(-5). Is b greater than z?
False
Let i = -539 - -539. Is 0.0332 greater than or equal to i?
True
Let o be (9 - 4)/5*((-13 - -6) + 6). Let s = 165049961/126 + -1309927. Let q = 81/14 + s. Which is smaller: q or o?
o
Let i be 2/10 - ((-376)/(-5) + -5). Let p = -68 - i. Is p > 0?
True
Suppose 0*o = o - 4. Let r be -2 + 1 - (-4 - 0). Suppose 4 + 5 = 3*t - p, r*t = o*p + 18. Which is smaller: 1 or t?
1
Suppose -2*z + 1118 = -4*z - 2*t, 0 = 2*t. Do -556 and z have different values?
True
Let p(y) = -2*y - 9. Let k be p(-6). Suppose -4*u + 3*t - 4*t = 60, 28 = -k*u - 5*t. Do u and -17 have the same value?
False
Let p be 1*(-3)/(-6)*0. Suppose p = -2*g + 6*g - 8. Suppose 5*v + 3*n + 5 + 4 = 0, g*v - 3 = n. Is -3/8 at most v?
True
Let n = -60.13 - -14.13. Which is greater: n or 1.2?
1.2
Let m = -41 - -126. Let w = m + -89. Which is greater: w or 0.09?
0.09
Let u be 5 + -35 + -2 + -2. Let c = 45 + u. Which is smaller: c or 12?
c
Let q = 2444 + -90437/37. Which is smaller: 0 or q?
q
Let j = 36.6 - -11.4. Let f = 48.76 - j. Which is greater: f or 0?
f
Let l = -0.4 + -14.6. Let m = 22 + -8. Let q = m + l. Is q smaller than -1?
False
Let l be 0 + 18/68*-16. Which is bigger: -3 or l?
-3
Let s = -268 - -267.3. Is s greater than 10?
False
Let v = 557/4 + -140. Let u(b) = b**2 - 7*b - 4. Let w be u(8). Suppose -6*t + w*t = 2. Is v less than t?
False
Let p = 54.7 + -27.6. Let q = 84 + -111. Let t = q + p. Is 0.1 greater than or equal to t?
True
Suppose 4*f - 5*d = -0*d - 96, 0 = -5*d. Let o be -6 + f/(-4) + -2. Let t be (1*(-30)/(-21))/o. Is t less than or equal to -1?
False
Let k be (-2)/(-100) - (-15 + 15). Let x = 17/150 + k. Suppose 3*c = -4*v + 1, -5*c + 3*v - 7 = 1. Is c less than x?
True
Let z(q) = -2*q + 8. Let x be z(-31). Which is smaller: x or -1?
-1
Let o be ((-422)/5)/(34/(-85)). Do 211 and o have the same value?
True
Let i = 723.8 - 788. Let u = 64 + i. Are u and -15 equal?
False
Let m be -11 - ((-1 - 22) + 13). Which is smaller: 355 or m?
m
Suppose -7*w + 1185 = -4*k, w + k + 672 = 5*w. Are 167 and w nonequal?
False
Suppose 0*d = 2*b - 4*d + 68, 0 = -5*b - 5*d - 155. Let s = b + 33. Suppose 0 = c + s. Which is smaller: 6/13 or c?
c
Let k = -2249 + 2242. Let p(b) = b**2 + 3*b - 1. Let r be p(-2). Which is greater: k or r?
r
Let t(q) = 6*q**2 + 4*q - 3. Let p be t(1). Let r be 2/p - 1975/175. Is r != -11?
False
Suppose -25 - 7 = -4*w. Suppose 4*g + 39 = 3*k, 5*k + g = 7*k - 21. Which is greater: k or w?
k
Let c(l) = l**3 + 6*l**2 + 12*l + 7. Let a be c(-5). Let k be a/(-60) + -4 + 5. Does 0 = k?
False
Let g = 25/34 - 4/17. Let b = 0.182 + -0.082. Is g less than b?
False
Suppose 3 = -3*p - 0. Suppose -24 + 12 = -12*g. Which is bigger: p or g?
g
Let d = 185 - 148. Which is smaller: d or 36?
36
Let w be (-2*(-2)/6)/(21/4284). Let t be -4 - (w/(-36) - (-2 + 2)). Is t <= 1?
True
Suppose -r + 2*r - 1 = 0. Let i be (-27)/(-300)*12 + 1/(-1). Which is bigger: i or r?
r
Let a = 61/14 - 1553/350. Suppose 5*w + 4*r = 34, -4*w + 0 = -4*r - 56. Suppose b + 5 = 4*y + w, 4*y + 3*b = 15. Is y greater than a?
True
Let n = -34.997 - -35. Let l = 0.103 - n. Is l at least 3/2?
False
Suppose 4*t + 1346 = -h - 39, t - h + 350 = 0. Let w = 508 + t. Let c = w - 479/3. Is c != 0?
True
Let b(y) = y**2 - y - 6. Let q be b(0). Let o = 16 + q. Suppose 0 = -91*v - 227 + 1228. Is v at least as big as o?
True
Suppose -2*m - 105 = -7*m. Let c be m*2/6 - 0. Suppose -17 = -2*q - 5. Is c >= q?
True
Let d be (-55)/(-11) - 2 - 241/11. Is d bigger than -18?
False
Let b be 3/1 + 4*1917/144. Which is greater: b or 55?
b
Let u = -8.83 - 0.17. Let z = 18 + -28. Let a = u - z. Which is greater: 0 or a?
a
Let h = -588 + 1416. Let f be -6*(-1)/h*(0 + 4). Which is bigger: f or 1?
1
Suppose -8*n + 225 = -3*n. Let j(c) = -2*c**3 + 27*c**2 - 11*c + 19. Let l be j(13). Is l greater than n?
False
Let s = -394 + 1964/5. Suppose -f + 4*k - 6 = 55, 0 = -4*f + 5*k - 200. Let o = f - -43. Is s greater than or equal to o?
True
Let l = 491 + -470. Suppose 5*o = k - 15, 3*k + 3*o + 9 = -0*k. Which is smaller: k or l?
k
Let q be (0 + -110)*((-570)/25 + -4). Let c be -1 + 2 + 3 - 11704/q. Are 0 and c nonequal?
True
Let s = -44 + 17. Let n = 26 + s. Is 5 at most n?
False
Let i be -1*(-1)/(-6) + 225/(-1890). Which is smaller: i or 17.7?
i
Let p be 2 + 8465/(-2115) - -2. Is p bigger than -1?
True
Let g = -4.2 + 4.24. Let i = -3 - -3.04. Let a = i - g. Is 4 != a?
True
Let o(r) = 2*r**2 + 22*r + 36. Let v be o(-9). Which is bigger: v or -164?
v
Let c be 51 + -43 - 12/2. Is 10/3 less than c?
False
Let q(x) = -x**3 - 10*x**2 + 12*x + 13. Let v be q(-11). Let f be -5 + (v + -4 - 1). Is f less than -35/4?
False
Let b = 0 + 1. Let u be (4/10)/((-22532)/860). Is b >= u?
True
Let n(z) = z**2 - 13*z - 883. Let c be n(37). Let o = 4 + -3. Is o at least c?
False
Let k = 46 + -27. Suppose x - 4*w = -k, -5*x = w + 6 - 16. Let h be x/4*-2*0. Which is smaller: 2 or h?
h
Let f = -226 - -226.097. Let j = 0.075 - f. Which is bigger: 1/2 or j?
1/2
Suppose 0 = 51*b + 4584 + 21834. Are -518 and b unequal?
False
Let m = -66.1 + 55.1. Let b = -59.2 - -70.18. Let i = b + m. Which is bigger: 1 or i?
1
Let n be 0 - (-1 + -17) - 1. Let a = 78 + -98. Let m be 3/(-4) - n/a. Is 0 greater than m?
False
Let n = -5342/9 - -596. Which is greater: 2 or n?
n
Let k = -1.47 - -1.17. Let w(l) = -l**2 - 2*l - 1. Let t be w(-5). Which is smaller: k or t?
t
Let n(i) = -6 + i**3 + 3 + 2*i**2 + i + 1 - 5. Let u be n(0). Let s(p) = p**2 + 8*p - 8. Let x be s(u). Does x = -15?
True
Let q be (-2)/7 - 1684/(-14). Suppose -6*p + 2*p = q. Which is greater: p or -31?
p
Suppose -6*r + 2*r = 4. Let w = r + -15. Let c = 51 + -65. Which is smaller: w or c?
w
Let d = 27406/17 - 1611. Which is bigger: d or 2?
2
Suppose 18*m + l = 16*m + 3, 5*l + 21 = -m. Let h = -4 - -4.1. Is h at most m?
True
Suppose -2*a = 2 - 4. Let y be ((-52)/(-6))/((-2)/(-6)). Let f be y/40 - a/4. Is f smaller than -2/19?
False
Let g = -35 - -44. Let b be g/15*11/3. Which is bigger: 2 or b?
b
Let m(c) = -7*c**2 + 0*c + c - 4 - 8*c + 0*c - c**3. Let o be m(-6). Let n = -1 - -1. Is o >= n?
True
Let x = 294 - 1181/4. Which is smaller: -5 or x?
-5
Let f = -291 - -291. Which is greater: -10/41 or f?
f
Let w be 1/2 + (-42)/68. Let u be ((-168)/105)/(1*(-1)/5). Suppose -a = u*a. Are w and a unequal?
True
Let k = 141.53 + -141. Let a = k - 0.03. Which is greater: 1 or a?
1
Let h = -108 + 113. Suppose -13*j + h*j = 32. Are -39/8 and j nonequal?
True
Let o(q) = q**3 - 22*q**2 + 53*q + 33. Let u be o(19). Let h(y) = -y**2 - 3*y - 3. Let n be h(5). Is