*b + 1. Let r be n(s). Is r equal to -12?
True
Let j = 32 + -5. Let v = j - 18. Suppose 49 = 5*b + v. Is 6 bigger than b?
False
Let i be (-47)/611*4/(-38). Is i bigger than 3?
False
Let k = -29 - -29. Suppose -4*f = -k*o + 4*o + 128, 3*f + 2*o = -98. Is f > -34?
False
Let s(i) = 4*i + 26. Let z be s(-8). Does z = -14?
False
Let v be -27*6/(-156) - (1 - 0). Suppose -3*b - 4*h + 19 = h, 2*b = -3*h + 11. Let n = b - -1. Is n bigger than v?
False
Let d be ((-460)/6 + 2)/(18/81). Let f = 4358/13 + d. Which is greater: -2 or f?
f
Suppose -5*t = -5*q + 375, 14*t = 15*t + 2*q + 84. Does -76 = t?
False
Let y = 32 + -32.9. Let h = -5.9 - y. Let n = -23 - h. Do n and -1 have different values?
True
Suppose -12*k - 18 = -13*k. Let t = k - 15. Suppose -4*w + t = -29. Which is smaller: 7 or w?
7
Let l = 421 - 629. Is -2 < l?
False
Let l = -180 - -181. Which is greater: 2/135 or l?
l
Let l be 16/(-30) - (-18)/(-27). Which is greater: l or 1/5?
1/5
Suppose -3*r - 24 = -2*y + 4*y, -4 = 2*y - 2*r. Let m(p) = -p**2 - 5*p + 6. Let z be m(y). Suppose z*l - 1 = -l. Which is smaller: l or -4?
-4
Let w(c) be the first derivative of c**4/4 + 7*c**3/3 - 9*c**2/2 - 7*c - 2. Let j be w(-8). Let s = -176 + 1582/9. Is s >= j?
False
Let l(s) = -s - 2. Let m be l(-2). Suppose m = y - 4*x, -5*y + 3*y = -x - 7. Suppose -5*g + 6 + y = 0. Is 1 at most g?
True
Let n be (-2)/(-116)*40/(-70). Are n and -1 non-equal?
True
Let g = 113 + -48. Suppose 7*l + 23 = g. Does l = 48/7?
False
Let a be 2/(-9)*-3*-18. Let b = -18 - a. Let d = -5 - b. Are 0 and d unequal?
True
Let j = -6 - -4. Let q be (11 - 11)/(4/j). Suppose -4*z = -q*z + 4. Is 10 smaller than z?
False
Let o be 7*1*(-4)/(-28). Let v = 425 + -16997/40. Which is smaller: v or o?
v
Suppose 6*z - 5*z = 4, 3*z - 15 = -3*i. Let t = -11 + 497/45. Which is smaller: t or i?
t
Let q be -3*((-32)/(-12))/(-1). Suppose -3*w - 8 = t, 2*t - q = 3*w + 12. Do t and 4 have the same value?
True
Let q be ((-19)/38)/((-3)/(-18)*5). Let m be ((6/16)/(-1))/(-3). Let s = m + -5/8. Which is bigger: q or s?
s
Let c(u) = 5*u**2 - 136*u + 12. Let o be c(26). Is -144 greater than o?
False
Let x(g) = g**2 + 6*g + 1. Let p be x(-6). Let m = -1531/13 - -118. Is p less than or equal to m?
False
Let f be -7*((-10)/7 + 1). Suppose -a - f*a = 4. Is a less than 1/28?
True
Let d = 845 - 27887/33. Suppose 5*v = -5*y + 5, v + 5 = 5*y - v. Which is smaller: y or d?
d
Suppose o - 2*m + 9 = 0, 5*m + 22 = -3*o + 6*m. Suppose 17 = 2*s + 2*r - 1, -r = -5*s + 15. Let b be 20/(-6)*9/s. Which is bigger: o or b?
o
Let k(t) = 2 + 9*t + 2 - 3*t**2 - 18 + 2*t**2. Let s be k(7). Is -1 <= s?
True
Let y be ((-70)/165)/((64/(-24))/(-4)). Are y and 0 nonequal?
True
Suppose 0 = -5*j - 50. Let u be (-15)/105 + (30/77)/(-3). Let m = u + -1/77. Is j >= m?
False
Let k = -2 + 5. Suppose -1 + k = l. Suppose 2*z + l = 6. Which is smaller: z or 2/3?
2/3
Let h = -49 + 337/7. Suppose 4*g = 2*d + 8, 5*d + 3 = 3*g - 3. Which is greater: d or h?
d
Let a(n) = -5*n + 54. Let j be a(8). Let h be (-20)/8*j/(-35). Let s = 607 + -7279/12. Which is bigger: h or s?
h
Let f = 30/319 + 31810/957. Which is smaller: f or 33?
33
Let i be (-11)/66*(-117)/30. Do 1 and i have the same value?
False
Let t = -399.2 - -396. Which is bigger: t or -2/5?
-2/5
Let q be 4/(-25) + -2 + 36/15. Which is smaller: q or -1?
-1
Let i be (54/1962)/(15/(-10)). Is i smaller than -0.3?
False
Let r(p) = -5 - 14*p + p**3 + 13*p**2 - 13 - 27*p**2. Let w = -21 + 36. Let a be r(w). Which is bigger: a or -2?
-2
Let x = -90/7 - -464/35. Let n = 8 + 2. Which is greater: x or n?
n
Suppose 66*g + 2*i - 6865 = 61*g, 0 = g - 5*i - 1400. Which is smaller: g or 1374?
1374
Let u be 657 - (8 - (11 + 7)). Which is greater: 669 or u?
669
Let g be (-1 - (-219)/(-6))/((-18)/(-120)). Is g less than or equal to -250?
True
Let r = 0.26 + -26.88. Let k = -0.62 - r. Let o = k - 32. Which is smaller: 2/7 or o?
o
Let d = 2186 + -2225. Is 2 less than or equal to d?
False
Let s = 624 - 11852/19. Let j be (11 - 544/51)/(1/(-3)). Which is smaller: j or s?
j
Let v = -297/2 + 124. Is -24 smaller than v?
False
Let p(c) = -3*c + 468. Let m be p(0). Let q be (-3)/(117/6) + (-6)/m. Which is greater: 10 or q?
10
Let m = -2392 + 2392. Is -2/5053 smaller than m?
True
Let q be 3/(-1)*(4 + -5). Let v(p) = 2*p**2 + p - 3. Let u be v(q). Let j = u - 18. Are j and 4 nonequal?
True
Let b be 7/2*4 - 3. Let u = -13 + b. Let x be (u/14 + 0)/1. Which is smaller: x or 0?
x
Let g = -202 - -215.3. Let h = -3.3 + g. Which is smaller: -0.2 or h?
-0.2
Let k = -7 + 4. Let m be (-1)/((-80)/28 - k). Let w be (m/21)/((-1)/(-3)). Which is smaller: -3 or w?
-3
Let v be ((-1)/(-14))/(3/(-6)). Let c be (-17 + 20)*(-32)/(-6). Suppose c = 4*d, -2*k = -2*d - 3*d + 22. Is k equal to v?
False
Let k = 12 + -11. Let i be k/(-5) - 2/(-10). Suppose 4*o + 0*o + 8 = i. Which is smaller: -1/2 or o?
o
Let c(l) = l**3 + 3*l**2 - 5*l + 4. Let b be c(0). Is b greater than or equal to 0.2?
True
Suppose 0 = 3*b - 8*b - 25. Let y be (-10)/b*(-4)/16. Are y and 38 non-equal?
True
Let t be (5/30)/(4/((-36)/(-39))). Does 26 = t?
False
Suppose -5*l + r = -2 + 6, 4*l - r = -4. Is l at most as big as -4/91?
False
Let m = 46 + -52. Which is bigger: -1 or m?
-1
Let q be (313/975)/((-9)/(-81)) - 4. Let j = -22/25 - q. Let x = 0.8 - -0.2. Is j < x?
True
Suppose f - m + 5 = 0, m + 3 = 2*f + 9. Which is greater: f or 1/610?
1/610
Suppose -2*i = 113 - 41. Let t = 35 + i. Is t at least as big as -2/17?
False
Let t be 12/(-6) - 10683/(-60). Let w = 176 - t. Suppose -k = 4*k. Which is greater: k or w?
k
Let z = 643/11 - 117/2. Let a(d) = 62*d + 311. Let c be a(-5). Which is smaller: z or c?
z
Let o be (-2)/17 + 45873/(-1530). Let l = -148/5 - o. Is 2/7 < l?
True
Suppose 15*p - 30*p = -30. Which is smaller: p or -1.78?
-1.78
Suppose -54*a + 64*a - 3760 = 0. Are 377 and a non-equal?
True
Let u(w) = -w + 3. Let q be u(3). Suppose -5*a - 5 = 5*c + 5, 0 = -4*a + c - 13. Let b = q + a. Which is greater: -2 or b?
-2
Let s = 0.34 + -0.4. Let f = s - -0.1. Let q = -0.24 + f. Is 2/9 at most q?
False
Let j = -10 - -25. Let w be 128/(-20) - (-6)/j. Let i be 1 + -7 - (1 - 0). Which is greater: w or i?
w
Let d(o) = 3*o - 13. Let f be d(5). Let x be (1 - f)/((-4)/(-36)). Which is smaller: x or -10?
-10
Let j be (8/(-10))/(6/15). Let u be (-2 - 1)/(j/4). Is 27/5 <= u?
True
Let l be (16/(-6))/(0 - (-8)/(-12)). Suppose -12 = v - l*v - 3*b, 3*v - 12 = -2*b. Which is smaller: 16/5 or v?
16/5
Let k(x) = x**2 + 5*x - 4. Let y be k(-6). Let c be 5 - (-1)/(-1)*y. Suppose -r = c*r + 4*t + 8, 0 = -4*r + 2*t - 8. Does -2 = r?
True
Suppose -2*i + 0*i = 4. Let m be 1/((-5)/(-7 - i)). Which is smaller: m or -5?
-5
Let c be (-922)/307 - (-20 - -17). Let t = 6757/921 + c. Which is smaller: t or 6?
6
Let f = -18999/38 - -500. Let l = -17/76 - f. Which is bigger: l or 0?
0
Suppose 1370 + 1402 = -4*j + 4*y, 3*y = -2*j - 1376. Is j < -689?
True
Let q be ((-44)/3)/(((-2)/9)/1). Which is smaller: q or 67?
q
Let o be 0 + (-457)/8 - (-3)/24. Which is bigger: o or -46?
-46
Let t(h) = -h**2 + 11*h - 6. Let c be t(5). Let m(q) = 17*q - 213. Let w be m(14). Is c smaller than w?
True
Suppose 40 = -8*z + 56. Is 0.3 < z?
True
Let w be (-1 + -187)/(3 - 1). Let j = w + 468/5. Let n(l) = -l**2 - 4*l - 4. Let m be n(-3). Is j not equal to m?
True
Suppose -5*t - y + 1125 = y, 5*y - 429 = -2*t. Which is bigger: t or -0.1?
t
Let w = -0.051 + -27.949. Let y = 28 + w. Which is smaller: -5 or y?
-5
Let v be ((-3)/161)/((-8)/7). Which is bigger: v or 1?
1
Let m = 13/2 - 413/62. Is m bigger than 0?
False
Suppose 6*l + 18 = 8*l. Let h be 2 - 0 - 2 - l. Let s be (h/12)/((-3)/(-2)). Is s at most -2/13?
True
Let t be (-4)/2 + 17 + -5. Suppose 0*w + t = w. Let v be (-6)/(-15) + (-6)/w. Do v and 0 have the same value?
False
Let v be 4 + (-44)/(-6919)*1259/(-2). Which is smaller: v or 0?
v
Let v = -773.327 - -773. Let w = v + -0.023. Is -0.2 at least w?
True
Let w = 2.47 - 4.47. Is w not equal to 170?
True
Let u = -15 + 9. Let v be (-1684)/u + 3/9. Let g = 23883/85 - v. Which is smaller: -1 or g?
-1
Suppose n + 3*o = -1 - 9, 4*n - 2*o = 30. Suppose 0 = -5*i, -4 = -2*v - 0*v + n*i. Let p be 3/v + (-74)/48. Is p at least -1?
True
Let g(k) = -k**3 + 31*k**2 + 70*k - 51. Let v be g(33). Is 81 gr