+ -42.7. Let u = q + y. Which is smaller: u or -2/9?
-2/9
Let x be -3*3/18*-3816. Let y be ((-1)/2)/(18/x). Let b be y/(-105) + (-33)/55. Is 0 smaller than b?
False
Let p = -566 - -565.7. Is p < 81?
True
Suppose -c - z - z = -5, -5*z + 17 = -2*c. Is 3/329 smaller than c?
False
Let q = 55/402 - 8833/16080. Are 0 and q equal?
False
Let c be 0*(3 + 15/(-6)). Suppose -6*z + 2*z + 5*o = 0, c = 4*z + o. Let l be 35/28*(-2)/5. Which is bigger: l or z?
z
Let f be (-258)/42 - 1/(-7). Let c be 1231/1300 - f/24. Let v = c - 14/13. Which is smaller: 0 or v?
0
Let v be (6/(-42))/(2/(-262)). Which is bigger: v or 18?
v
Let y = -233/147 - 4/49. Suppose -39 = 5*h - 24. Which is smaller: y or h?
h
Let w = -1953/10 + 196. Is w < -23?
False
Let q = 35.17 - 35. Let s = 3.83 + q. Is s > 1/4?
True
Let s be 12*(-4)/12*1. Suppose 2*m - m = -3. Which is smaller: m or s?
s
Let t be -5*(3 - (-36)/(-10)). Let z = -2 - t. Is -7 greater than z?
False
Let s be (-188)/12 + (-10)/(-15). Let f = s - -20. Suppose 0 = h + 3*r + 9, 4*h - h + f = 2*r. Is -4 smaller than h?
True
Suppose -4*c = -1 + 5. Let h(q) = -11*q**2 - 1. Let d be h(-1). Let p = d + 11. Are c and p unequal?
False
Suppose -210*o = -207*o. Which is bigger: o or 4/159?
4/159
Let b be (1 + 442/(-6))/((-2)/3). Suppose 17 = -9*r - b. Is r >= -14?
True
Suppose 0 = c - 2*i + 2, 5*i = c + 13 - 5. Suppose 36 = 2*w - 2*j, -c*w - 3*j = -0*j - 56. Let t = 21 - w. Which is smaller: -3 or t?
-3
Let q(l) = -13*l**3 - 4*l + 9. Let d be q(4). Let z be d/(-77) + (-1)/11*2. Does 12 = z?
False
Let n be (-8)/(-32) - 6/(-8). Let y be 1 - 2 - (0 - 3). Suppose -4*j = 4, -y*w - n = -j - 2. Which is bigger: -1/2 or w?
w
Let b be 3 + -2 + (81 + -4 - 4). Is 75 greater than b?
True
Let t be ((-3)/9)/(3/201). Let z(s) = s**3 + 11*s**2 - 23. Let p be z(-11). Which is smaller: p or t?
p
Let u be (-6)/(-4)*(-70)/21. Let z be (2 - u/4)*4. Let p be (-9 - 1)*(-138)/115. Is p at most z?
True
Let p be (1/(15/(-130)))/(2/(-6)). Suppose -5*a - 85 = -5*r, 2*r - 3*a = p + 12. Is r at most 1?
False
Suppose -m - 7 = d, 11 = -10*m + 7*m - d. Which is smaller: 269 or m?
m
Let i = -2477 - -2474. Are -4/73 and i unequal?
True
Let f = -125 - -124. Which is bigger: 1/197 or f?
1/197
Suppose -386 = -p - 385. Let i be (-247)/630 + (-4)/(-10). Let m = i + 3/14. Is p <= m?
False
Suppose -k + 44 = -0*k. Suppose -2 = -6*w - k. Let o be (-12)/(-56) + 6/21. Which is greater: w or o?
o
Let j(t) = -6*t**3 + t**2 + t - 1. Let b be j(1). Suppose 0 = -4*y + 6*y - 94. Let x = -53 + y. Does b = x?
False
Let t(c) = 8*c**3 + c**2 - 1. Let q = 9 + -10. Let v be t(q). Let k be 4/v + 189/402. Which is bigger: k or -1?
k
Suppose -6 = -b + 5*r, b + 5*r - 2 + 6 = 0. Let y be (b - 20/12)*(-12)/(-16). Are 20 and y unequal?
True
Let d(n) = n**2 - 7*n + 2. Let h be d(6). Let c be 21/84 - 1/h. Is c < 0?
False
Let y(a) = 8*a + 77 - 18*a + 9*a + 3. Let l be y(15). Is l < 65?
False
Let t(q) = -q**3 - 9*q**2. Let z be t(-9). Let w be 1736/2220 + -1 + 4/20. Which is greater: w or z?
z
Let v be 7 + -3 - 33/9. Is v less than 468?
True
Suppose 6*a = 3*a + 96. Let f be a/40*(-5)/(-2). Let s(n) = -n + 4. Let q be s(f). Which is smaller: q or -5?
-5
Suppose 0 = 3*s - s - 3*s. Let f = 900 + -9910/11. Which is smaller: f or s?
f
Suppose 6*v - 12 = 3*v. Suppose -v*j - f = 5 + 1, 4*f = -4*j - 12. Is j at most 1/10?
True
Suppose 8*l - 4809 = 4*l - p, -3*p = 5*l - 6013. Is 1202 not equal to l?
False
Suppose -4*s = 5*s - 18. Let m(q) = -q**2 + 5*q - 3. Let r be m(2). Suppose r*t = g + 4*g + 3, s*g + 1 = t. Which is smaller: g or -4/3?
-4/3
Let l = 0.315 + -0.035. Let u = l - 0.38. Is u greater than 1/50?
False
Suppose -11*w - 700 - 92 = 0. Let l be (w/110)/3*(-15)/1. Let k(y) = y**2 - 3*y - 6. Let m be k(5). Which is smaller: m or l?
l
Let h be 5164/(-34) - 3*(-20)/(-510). Are h and -152 equal?
True
Let c(k) = -7*k**2 + 24*k - 37. Let y(r) = 4*r**2 - 12*r + 18. Let u(i) = -3*c(i) - 5*y(i). Let m be u(7). Which is smaller: -16 or m?
-16
Let b = -0.118 - -0.075. Let x = b - -0.053. Which is smaller: x or -2/7?
-2/7
Suppose 111 - 4 = 5*s + 4*a, 0 = -3*a + 9. Suppose -s = 3*x - 2*f, 34 - 5 = -3*x + 4*f. Let d be 6*((-68)/16 + 4). Which is smaller: d or x?
x
Let b be (-2)/(-1)*15/6. Let u(w) = w + 4. Let j be u(3). Suppose 5*s = 3*o - 0 - 1, 3*s + j = b*o. Is 1 not equal to o?
True
Suppose 5*t + 2*x + 0*x + 19 = 0, 2*x + 13 = -3*t. Suppose -2*j - 2*j + 16 = 0. Suppose u + 2*i + 2 + j = 0, u = i - 3. Which is greater: u or t?
t
Let g be (140/30)/((-4)/(-54)). Let r = g + -64. Which is greater: 1/5 or r?
1/5
Suppose 4*a = n - 2944, -2*n - 1 = -9. Which is greater: a or -737?
a
Let n be 5/(-5)*6 + (-4)/2. Is -23/3 < n?
False
Let w(y) = 3*y + 342. Let b be w(6). Is b at most 360?
True
Let l = 13/5 + -21/10. Let k = 9 - -16. Let v = k + -25.7. Which is bigger: l or v?
l
Let k = -0.5 - 0.1. Let g be 2 - (92/28 + -1). Is g less than or equal to k?
False
Let d = -105.28 - -2.28. Let q = d + 105. Which is greater: q or 47?
47
Let s = 159.9458 + -160. Is 1 > s?
True
Let k = 22/117 + 1345/936. Is k at most 1?
False
Suppose 4*x + 8 = -8. Let m be (-20)/100 + x/5. Does m = -2/5?
False
Let l = 226 - 219. Is 0 less than or equal to l?
True
Let i be (5/(-3) - -3)*3. Let m = -5 + 8. Suppose m*q = -22 + i. Is q bigger than -6?
False
Let h(y) = -y**2 - 51*y - 394. Let k be h(-11). Which is smaller: 39 or k?
39
Let n be -4*1*(-3)/4. Suppose 2*t + 3*t + 15 = -2*d, 2*t = -n*d - 17. Is t greater than or equal to 7/2?
False
Suppose 0*n + 4*q = 5*n - 13, 0 = n + 4*q + 7. Is n smaller than -6/641?
False
Let c be (-7 + 11)*(-1 + 0). Suppose 3 + 15 = 2*y. Let f be (y/12)/((-1)/4). Is c greater than f?
False
Suppose -135*a - 809 = 1351. Let f = 0 + -16. Are f and a non-equal?
False
Let c be ((-82)/(-21))/(8/(-112020)). Let j = 54301 + c. Let x = j - -376. Which is smaller: x or 0?
0
Suppose -3*o + 41 = 5*c, 5 = -2*o - 1. Suppose -5*p = -2*u - c - 1, -p + 4*u = 5. Which is smaller: 30/13 or p?
30/13
Let r be (-150)/9*(-960)/25. Let s be r/(-300) + 0 + 2/15. Which is greater: s or 0?
0
Let l = 991 + -1816. Which is bigger: -1 or l?
-1
Let o be 371 - ((-18)/(-5) + 22/55). Let s be -4 - ((-4)/24 - o/(-6)). Which is bigger: -64 or s?
-64
Let d(s) = 2*s**2 + 13*s + 5. Let k be d(-6). Let i be 10/55 - k*(-1 - -1). Which is bigger: 1 or i?
1
Suppose 0 = -6*d + d - 10. Let a be (-1 + (-1 - -2))/d. Let u be 10/25*(-12 - (-63)/7). Which is smaller: u or a?
u
Let q be (-21 - -14) + 2 + 6. Which is bigger: -1/502 or q?
q
Suppose -11*l + 79 = 332. Suppose 5*a + 4*x = -138, 4*a + 136 = -a - 3*x. Let u = l - a. Which is greater: u or -1?
u
Suppose 3*u - 4*o + 673 = 0, -o = -3*u - 627 - 34. Is -219 less than u?
False
Suppose 0 = 76*t - 68*t + 568. Is -69 at least t?
True
Let q(f) = -2*f**2 - 5*f + 2 + 7*f + 3*f - 13. Let l(u) = 3*u**2 - 4*u + 11. Let x(y) = 3*l(y) + 4*q(y). Let o be x(-7). Is o < -1?
True
Suppose 0 = -i - 4*f - 6 + 41, 0 = 2*i - 3*f - 48. Let n = i + -19. Suppose -3*l + b + b + 23 = 0, 3*l + 5*b - 37 = 0. Which is greater: n or l?
l
Suppose -4 = 6*o - 2*o, 3*d + 3*o - 60 = 0. Let j = 29 + d. Let u be j/(-20) - (-1)/2. Is u >= -1?
False
Suppose 2*z - 6 = -46. Let n be -57 - 15/z*-4. Is n greater than or equal to -60?
True
Let u be -132 + 1 + -12 + (-30)/(-5). Is u <= -137?
True
Let n = -835.3 + 828. Which is smaller: -0.4 or n?
n
Let h be 4/32*-2*(-4)/(-1). Is h at most -1/738?
True
Let s(i) = -i**3 + 26*i**2 - 23*i - 53. Let l be s(25). Is -49/13 at most l?
True
Let z be (-3)/40*118/26196. Which is smaller: z or 0?
z
Let z = 260 + -778/3. Which is greater: 2 or z?
2
Suppose 8 = -3*y - 4. Let a = y - -9. Suppose -3*x + a*s = 2*s + 15, 0 = 4*s - 4. Which is smaller: x or -3?
x
Let l = 9 + -8. Let s(h) = 25*h**2 + 4*h - 5. Let w be s(l). Which is smaller: 23 or w?
23
Let g(q) = 2*q + 40. Let d be g(-32). Let u(z) = 6*z. Let b be u(-3). Let m = d - b. Which is smaller: -5 or m?
m
Let n(o) be the second derivative of o**5/10 + 31*o**4/12 - 8*o**3/3 + 23*o. Let s be n(-16). Which is bigger: s or 4/17?
4/17
Let z = 0.08 - 0.08. Which is bigger: -33 or z?
z
Let i = 0.16 + -0.06. Suppose -2*s = -3*b + 2, 0*s + s = 4*b - 6. Suppose -5*d + 4*d + 15 = 4*u, 0 = 3*d - s*u + 25. Which is smaller: d or i?
d
Let v(o) = o**2 + o - 1. Let g be v(-2). Le