uppose y + 78 = w*z, 0 = 3*z - 3*y + 35 - 158. Which is smaller: 36 or z?
36
Let t be 5/(-20) + (-885)/(-20). Suppose s + 10 = -t. Does -53 = s?
False
Suppose f + 0*u + 4*u = -563, 4*f + 5*u + 2274 = 0. Which is smaller: -570 or f?
f
Let w be (-7)/(0 + (-5)/(-5)). Let g be ((-14)/35)/((-2)/w). Which is greater: -1 or g?
-1
Let n = 132 - -56. Suppose n = -2*x + 16. Are x and -86 equal?
True
Let j(m) = 15*m**3 + m + 1. Let n be j(-2). Let y be (22/n + (-10)/66)*-30. Is y equal to 15?
False
Let f = -111/598 + 691159/8970. Let i be (0/(-2) - 28)*88/(-32). Let q = f - i. Is 0 bigger than q?
True
Let z(n) = -2*n + 91. Let j be z(45). Which is smaller: -12/31 or j?
-12/31
Suppose 0 = -13*j - 18 - 21. Which is smaller: j or -0.014?
j
Let r be (4 - 1) + 84/(-8) + 7. Let s be (-2 - -3)/(1/3). Suppose 0 = -2*w + u + 4*u + 15, 0 = -4*w - u - s. Is w less than or equal to r?
False
Let p = 1909 - 1905.9. Is p not equal to 3/5?
True
Let o = 2 + -2. Let d = 39 + -71. Let m = d - -31. Is o greater than or equal to m?
True
Let y be ((-55)/(-22))/((-20)/(-16)). Is 11/8 < y?
True
Let z(j) = -j**2 - 10*j - 10. Let c be z(-9). Let u = -2/379 - 1466/9475. Which is smaller: c or u?
c
Suppose -4*s + 3*u + 10 = 29, 0 = 2*u + 6. Let r = 6.6 + -7. Let m = r - -0.3. Which is greater: s or m?
m
Let l be 9*1/((-6)/(-8)). Let p = -129 + 129. Suppose -v + 5*w = -4*v + l, p = -4*v + w - 7. Are v and -6/11 equal?
False
Let k(d) = -d - 3. Let g be k(-6). Suppose -g*o - 3*z = -0*o - 39, -3*z = 5*o - 55. Let u = 12 - o. Is 11/4 > u?
False
Let h be 3 + -4*145/60*21. Is h <= -200?
True
Let q = 371 + -370.87. Which is smaller: 1/2 or q?
q
Suppose -f = 5*l - 75, -l + 0*l - 99 = -f. Let y be (3/((-3)/(-2)))/((-20)/f). Which is smaller: -11 or y?
-11
Let a(d) = -5*d + 57. Let u be a(11). Suppose -u - 17 = 4*s + 5*f, -12 = -3*s + 5*f. Is s at most 1/12?
True
Suppose -5*x + 4*o + 1053 = 412, 1 = o. Is 127 greater than x?
False
Let w = -201.92 + 206. Let x = 4 - w. Let n = 0.12 - x. Is 0.1 bigger than n?
False
Suppose 0 = m - 6 - 0. Suppose 0 = 20*k + 43 - 323. Let v be -4 + m - k/4. Are -3 and v equal?
False
Let j be (-9)/(-4 - 6/(-2)). Let p be j/30*(-5)/(-6). Let a = -8 + 7. Which is greater: p or a?
p
Let u be (-9 - 3)/(-2) - 6. Let x = 523/110 + -53/10. Is x less than u?
True
Let v(z) be the first derivative of z**4/4 - 8*z**3/3 + z - 4. Let r be 2/(-2) + -1 + 10. Let o be v(r). Is o not equal to -2/11?
True
Let l be -6 + (-6)/(3840/(-3832)). Are 0 and l non-equal?
True
Let k = 180 - 177. Let r = 54 - 54.06. Is k >= r?
True
Suppose 2*a + 1 = 18*c - 15*c, -2*c - 3 = -5*a. Is -7/146 smaller than a?
True
Let o be ((-2)/36)/((66/24)/11). Is -27 at most o?
True
Let w be ((-2)/4)/((-55)/(-100)). Let q = 1227 - 1229. Is q < w?
True
Let s be 14/2 - 82940/11832. Let j be 1/(-2) - 3/(-2). Which is greater: s or j?
j
Suppose 25 = -f - 5*h, 15 = 3*f - 5*h + 2*h. Let x = 0.036 + -0.041. Let w = x + 27.005. Which is greater: f or w?
w
Let u = 6626 - 33028/5. Is u at least 20?
True
Let o(f) = f**2 + 6*f + 6. Let z(b) = -b**2 - 7*b - 5. Let p(u) = -6*o(u) - 7*z(u). Let w be p(-11). Which is bigger: -22 or w?
-22
Let j = -251235 - -6031241/24. Let x = j + -199/3. Is 1 at least as big as x?
True
Let a = -6 + 9. Let d be (-4)/2*(-3)/a. Suppose d*j - 2 = -0*j. Which is bigger: j or -1/5?
j
Suppose 24*c + 1029 = 21*c. Let d = c - -5143/15. Which is smaller: d or 0?
d
Let x be ((-4)/5)/((-14)/5). Let y = -17.55 - -17. Let l = y - -0.6. Is x at most as big as l?
False
Let f = -362 - -367. Is f greater than -3?
True
Let g be 30/12 + -2 - (-195)/(-36). Which is bigger: -6 or g?
g
Let w be (-147)/(-33) - (-24)/44. Which is bigger: w or -20?
w
Let w(b) = -b**3 + 3*b**2 + 10*b + 3. Let x be w(5). Suppose -2*t = x*t - 5. Let d = -1/111 + -34/333. Which is greater: d or t?
t
Let t = -122.4 - -19.4. Which is smaller: t or -2?
t
Let u(n) = -n**2 - 6*n + 2. Let g be u(-6). Let i be (g/(-28))/((-4)/8). Suppose 3*p + 4 = -0*z + 2*z, -2*p + z - 2 = 0. Is p != i?
True
Let l be ((-145)/(-280))/(11/44). Which is smaller: l or 2?
2
Let i be 2*(1 - 18/(-12))*1. Let n be 1/2 + (-47)/(-8). Is i greater than n?
False
Let y be 108/(-36) + 19 + 0. Suppose -5*z - y = 3*z. Are z and -17/8 equal?
False
Let b = 11 + 103. Let x = -112 + b. Is x not equal to -22?
True
Suppose i - 28*x = -29*x + 1, 0 = 3*i - x - 7. Suppose 0 = -j + 2*u + 2, 2*j + 14 = u - 6*u. Let w be (5/j*-2)/4. Is i smaller than w?
False
Let a = 1629 - 1630. Does a = -26?
False
Suppose 3*z = 2*r + 7, 4 = 4*r + 4*z - 12. Is 3/82 not equal to r?
True
Suppose -2*d + 48 = -8*d. Let t = 54 + -63. Which is greater: d or t?
d
Let q(y) be the first derivative of -2*y**2 + 4*y + 9. Let k be q(-5). Suppose -63 = 3*o - k. Which is smaller: -12 or o?
o
Let q be ((-3)/132*-11)/((-26)/(-56)). Let a = -1 + 3. Which is bigger: q or a?
a
Let s = -342 - -402. Is 303/5 equal to s?
False
Let k = -2.3 + 1.1. Let u = 0.4 + k. Let g = u - -0.2. Is 1 at least g?
True
Let f be ((-11)/(-935))/(3/33). Which is greater: -1 or f?
f
Suppose 4*j = 8*j - 24. Suppose 2*b + j = 3*w, b + 3 = -0*w + 4*w. Let c be 2*((-2)/(-1) + 39/(-18)). Which is smaller: w or c?
c
Let v = -838 + 838.784. Do v and -1/2 have different values?
True
Let n be (265/50 + -6)*-28. Is 20 at most as big as n?
False
Let k = -0.13 + -0.03. Let z = 0.114 + 0.046. Let i = k + z. Which is smaller: -1 or i?
-1
Suppose -3*o = -0*l + 3*l - 99, 4*o = 2*l - 72. Is l at most 19?
False
Let r be 2 + -1 - (2 + -4). Let l be r/(-1) - 10/(-5). Let a = 1/18 + 1/6. Which is bigger: a or l?
a
Let t(i) be the first derivative of 2 - 2*i**2 - 5*i - 2/3*i**3. Let q be t(-4). Which is smaller: q or -22?
-22
Suppose 0 = -3*c + a - 64, 0*a + 96 = -5*c - a. Let f be ((-54)/4)/1*(-2)/(-1). Let i = 8 + f. Which is smaller: c or i?
c
Let q = -235.85 + 228. Let t = -0.85 - q. Which is smaller: -2/3 or t?
-2/3
Suppose -y - 4 = -5*t, -4*y + 0*t + 14 = -5*t. Suppose y*i - 18*i - 120 = 0. Is i less than -7?
True
Suppose -3*q - 17*n + 16*n + 2 = 0, 5*q - n + 2 = 0. Is q at most 38/29?
True
Suppose -5*c = -4*g - 94, 3*g + g + 98 = 3*c. Let r = g - -17. Which is greater: r or -8?
-8
Let q be 4/(-22) - 171/(-33). Suppose -12 = -4*o, -o - 6 = -4*w + 91. Suppose 15 + q = 5*d - 2*b, 3*b = 5*d - w. Which is bigger: d or 1?
d
Let b be (-102)/(-15) - (-2)/10. Suppose -2*z = -4*d - 34, -b*d - 37 = -3*d - z. Is -9 greater than d?
True
Let i = -59 + 131. Let q be 130/i - 7/28. Which is bigger: 1 or q?
q
Let p = -10990351 - -11572840562/1053. Let s = -1/81 - p. Which is greater: s or -2?
s
Let t = -204560/23 - -8892. Is t less than -2?
False
Let g = 3 + -2. Let l(f) = -f - 1. Let z(k) = 3*k + 16. Let o(d) = -4*l(d) - z(d). Let p be o(11). Is p at most g?
True
Let t = -348 - -338. Let l be 4/(-18)*(-9)/6. Is t less than l?
True
Suppose 3*k - 25 = -x, -5*x = -10*x - 10. Let w = 7 - k. Which is bigger: w or -5/7?
-5/7
Let l = -0.1 + 0. Let r = -2.1 + -3.9. Let j = r + 13. Which is greater: l or j?
j
Let x = -1736 - -1617. Suppose u - 357 = 4*u. Is x at most as big as u?
True
Suppose 0 = 5*i - 80858 - 3277. Let y = 116860/7 - i. Let x = 133 + y. Which is bigger: x or 1?
1
Let q = 28 + -10. Let z be q/30 - 492/20. Let r = 25 + z. Which is smaller: r or 0?
0
Let f be 1 - 0 - (-2)/(1244/(-618)). Which is bigger: 0 or f?
f
Let r = -8/111 - -2276/777. Is r at least 3?
False
Let h = -60 - -41. Let d = h + 20. Let s = 4 - 4.6. Do d and s have different values?
True
Let f be (-3)/9 - 687/(-9). Is 73 != f?
True
Let a = -797 + 857. Which is greater: 41 or a?
a
Let d = -19 + 33. Suppose 2*f + 2 + d = 0. Let i be 6 - f/(-2)*1. Which is greater: 1 or i?
i
Suppose -11*g = -0*g - 2189. Let v = g - 411/2. Do -6 and v have different values?
True
Let c be (-3)/9*(39 - -1056). Which is greater: c or -366?
c
Let n = -14047/406 + 20/203. Which is smaller: -36 or n?
-36
Let v = -6 + 11. Suppose 5*b + 2*z - 19 = 0, 2*b - v*z + z = -2. Let q be ((-7 - -3) + b)/(-1). Are q and 1 non-equal?
False
Let r = -0.26 + 0.08. Let u = -0.02 + 0.1. Let h = u + r. Which is bigger: h or -2/9?
h
Suppose -3*o + o + 38 = 0. Suppose o*f - 15 = 16*f. Which is smaller: f or 6?
f
Let l = -2.7 + 0.7. Are l and 0.047 unequal?
True
Let q = 0.23 + 7.27. Which is bigger: q or 0?
q
Let g = 482 - 480. Are g and 31/2 unequal