4 = -b. Suppose 2*l + 702 = -5*r + 3*l, 3*r + 2*l + 416 = 0. Let c be 6/(-39) + r/(-65). Which is smaller: c or b?
c
Suppose 0 = 4*k + 2 - 30. Let r = -7 + k. Suppose -5*n + 8 = -4*s, -5*n = -r*s + 2*s + 4. Which is bigger: s or 2/7?
2/7
Let o(s) = 3*s - 13. Let r(l) = -l**3 + 4*l**2 + 5*l + 6. Let p be r(5). Let d be o(p). Which is bigger: 4 or d?
d
Suppose -7*s + 22*s - 315 = 0. Does s = 41/2?
False
Let t = -68 + 34. Let w = t + 22. Let v be (-6 + (-654)/(-108))*-4. Which is smaller: w or v?
w
Let g = -384 - -544. Is 160 greater than or equal to g?
True
Suppose 6 = 24*t + 6. Is 22/41 > t?
True
Let g be (21 + 2)*(-3 - -5). Suppose -2*d - 3*j - g = 0, 27 = -4*d - 3*j - 53. Is d < -16?
True
Suppose 0 = n - 5*a - 21, -4*n + 2*n + 42 = -4*a. Let b = n - 14. Let w be ((-1)/b)/(2/(-8)). Are w and 2 unequal?
True
Let n(z) = z**3 + 8*z**2 + 4*z - 7. Suppose 3*m + 1 = 2*m + 2*b, 5*b + 29 = -2*m. Let r be n(m). Which is smaller: 16 or r?
r
Let c = -20 - -9. Suppose k + 1 = -0*k. Is c at least k?
False
Let x be (2/(-3))/(20/(-50190)). Let c = 8429/5 - x. Is 13 != c?
True
Suppose k = 3*t + 819, k - 825 = -16*t + 17*t. Is k less than 827?
False
Let j = 109 - 116. Is j <= 7?
True
Let x = -2.39 + 15.29. Let r = x + -13. Let m be (9/(-15))/(-2 - (-34)/10). Which is bigger: m or r?
r
Let a be 8/22*571/2. Suppose -320 = 6*l + 304. Let q = l + a. Is q greater than 2?
False
Suppose -5*n + s - 10 = 0, -2*n + 6*n = -s - 8. Let g be (2 - (-4)/(-2)) + 3. Suppose g*k - 3*a - 9 = 9, -3*a = 5*k - 38. Which is greater: n or k?
k
Let w(y) be the third derivative of y**4/24 - 8*y**3/3 + 2*y**2. Let r be w(18). Suppose -7*g = -6*g + r. Which is bigger: g or 1?
1
Let p(n) = n**2 + 3*n - 6. Let c be p(-5). Suppose u - 1 = -5*j - 2*u, 11 = -3*j + c*u. Does 1/3 = j?
False
Suppose 2*k = -5*d + 5, -2*k = -14*d + 13*d - 11. Which is smaller: -34/79 or d?
d
Suppose -p - q + 3 = -0*p, -q + 7 = 3*p. Suppose -5*g + 3*g + 11 = -5*z, g + p*z - 28 = 0. Which is bigger: g or 17?
g
Suppose -60 = -32*g + 2052. Is 332/5 not equal to g?
True
Let i be ((-2)/(-7) + 796/7)*-1. Let l = 82 + i. Which is smaller: -30 or l?
l
Let w(r) = 2*r**3 + 3*r**2 + 15*r + 17. Let t be w(-5). Which is bigger: -232 or t?
-232
Let h = 3 - -1. Let g = 80 - 78. Suppose -h*l + 2*l = 2*t - 10, -4 = 4*l - g*t. Are l and -4/19 nonequal?
True
Suppose -208 = -0*h + 16*h. Is -10 less than or equal to h?
False
Let y be 20/35 - (16/14)/2. Let i(r) = 5*r + 4. Let n be i(y). Is -1 at most n?
True
Let d be (-46)/(-12) - (-4)/24. Let w = 7 + d. Let x(u) = -u + 13. Let f be x(w). Is f equal to 2?
True
Let i(m) = -m**3 + 6*m**2 + 2*m - 18. Let c be i(-5). Let r be 120/780 - (-1)/c*-51. Let j(l) = -l + 5. Let z be j(4). Which is smaller: z or r?
r
Let s = 586/16065 + -4/85. Which is smaller: 1 or s?
s
Let x = -70 + 136. Let p = x + -53. Are p and 13 nonequal?
False
Suppose 2*x + 974 + 1055 = g, -2*x = -5*g + 10113. Let p = -434517/215 + g. Which is greater: -1 or p?
p
Let h = -1 + 7/10. Suppose 4*o - 1 - 11 = 0. Let y be (-10)/(-8) + o/(-12). Is y equal to h?
False
Let q = 1493240/341 - 4379. Which is bigger: 1 or q?
1
Let y = -0.034 + 29.034. Let m = -19 + y. Let h = 9 - 10. Do h and m have the same value?
False
Let y = 955.6 + -957. Is 36 not equal to y?
True
Let w = -1107 + 1106. Which is smaller: 18/125 or w?
w
Let d(f) = -f**2 + f + 1. Let l(j) = -4*j**2 + 2*j - 31. Let o(t) = -5*d(t) + l(t). Let x be o(9). Let b be 4/10 - (-176)/10. Is x greater than or equal to b?
True
Let m = 93 + -90.016. Let q = 0.016 + m. Is q greater than 1?
True
Suppose h = -4*l, 0 = 3*h + 5*l - 15 + 1. Let m(f) = 2*f - 16. Let v be m(h). Suppose v = 5*b - 2*b - 48. Which is bigger: 15 or b?
b
Let h be 2/(-4) + (-34)/(-92). Do h and 0 have the same value?
False
Let a be (3/10)/((-108)/10). Let p(m) = -m**2 - 5*m + 1. Suppose 8*f - 6*f - 7*f = 0. Let v be p(f). Is a at most as big as v?
True
Let q be (-6)/(-15)*55/22. Which is smaller: q or 1/262?
1/262
Let s(v) = -v**2 + 9*v - 2. Let t be s(8). Suppose 147 = -t*k - 9. Do -27 and k have the same value?
False
Suppose -217 = 132*y - 101*y. Let x(s) = -s + 3. Let c be x(6). Which is greater: y or c?
c
Let b be (13/(-2))/(3/(-6)). Suppose -37 - 5 = -5*i - 4*l, -2*l - 14 = -i. Which is greater: i or b?
b
Let x(k) = -3*k + 6. Let i be x(3). Let w be (3 + i - 1)*0. Do w and 2 have the same value?
False
Let j be (-17838)/1288 - (-3)/4. Let b be (-4)/16 + (-361)/28. Let n = b - j. Is 1 greater than n?
True
Let d = 3.531 + -3.56. Is d smaller than 1?
True
Suppose 2*y = o - 6*o + 24, -3*y + 6 = 0. Suppose 0 = -2*v + 2 - o, 125 = 4*l - v. Is l < 30?
False
Let t be 12524/(-186)*(-2 - 1/(-2)). Which is smaller: t or 94?
94
Suppose -2*f + 11 = -3*s, 2*f + s - 7 = -0*f. Suppose -m + 2*j = -f, m - 21 = 2*m + 3*j. Which is greater: -70/13 or m?
-70/13
Let u = -31.9 + 28.9. Which is smaller: 2/141 or u?
u
Let i be 30/(-4)*28/(-35) - 5. Do i and -2/5 have the same value?
False
Let z be (27/15 + -2)*-2. Let o = 30 + -33. Which is bigger: z or o?
z
Let m(l) = -2 - l**3 + 6*l + 6*l**2 + 10 + 0. Let n = 19 - 12. Let i be m(n). Is i > 0?
True
Let t(m) = -9*m - 2. Suppose 2*s - 2 = 2. Let f be t(s). Which is smaller: f or -41/2?
-41/2
Suppose -5*v - 38 = -48. Suppose 4*l + 6 + 2 = x, v*x + 2 = -l. Let d = 70 - 1609/23. Which is bigger: x or d?
d
Let n = 0.24 - 22.34. Let i = n - -2.1. Let d = i - -19.8. Is d at most as big as -0.04?
True
Let l(n) be the third derivative of n**6/120 - n**5/30 - n**4/12 - n**3/3 + 6*n**2. Let k be l(3). Does -2/61 = k?
False
Let b(z) be the second derivative of z**3/2 + 3*z**2/2 + 7*z. Let i be b(-16). Is i > -44?
False
Suppose 0 = 49*g - 53*g + 8. Let u be (3 - 2) + 1/g. Let o(y) = -2*y. Let p be o(1). Is u smaller than p?
False
Let x(u) = 3*u + 5. Let t(a) = a + 8. Let b be t(-3). Let k be x(b). Which is smaller: 21 or k?
k
Let g = 1695 + -1683. Is 1/45 less than or equal to g?
True
Let q(f) be the second derivative of -3*f**3/2 - f**2 + 149*f. Suppose h - 2*h = -1. Let n be q(h). Which is greater: n or -10?
-10
Let v be 0/(-1)*(-19)/(-38). Which is smaller: v or 18.7?
v
Let o = 6.9 - 7. Let p = 31612 + -347400/11. Let g = -30 + p. Are g and o non-equal?
True
Let y be (4/(-19))/((-1)/(-1)). Suppose -5*l + 5*t = -4*l + 16, 5*l = 3*t - 14. Is y bigger than l?
True
Let b(r) = 18*r + 31. Let i be b(-10). Let g be i/(-2) + ((-12)/(-8))/3. Is 75 at most g?
True
Let l = -18 - -76. Suppose l = -5*p - 4*i, -i = 3*p - 3*i + 48. Is -14 at most as big as p?
True
Let b be (84/105)/((-4)/(-10)). Suppose -s = 4*n + 46, -2*s = b*s - 2*n + 148. Let g = 31 + s. Is -5 < g?
False
Let x = 2442.569 + -2443. Are 1 and x unequal?
True
Let d(u) = 53*u**2 - 15*u + 34. Let z be d(3). Is 465 at most z?
True
Let a be (33/(-11))/((-3)/2) + -6. Let l be (a/5*-1)/(9/(-120)). Are -12 and l equal?
False
Let s = 9 + -14. Let d be (s - 1)/2 - -3. Suppose 0*p - 3*p + 3 = d. Is p bigger than 1?
False
Suppose 13*h - 136 = 11*h. Which is bigger: 5 or h?
h
Let p(s) = s**2 - 14*s + 39. Let x be p(16). Which is greater: 73 or x?
73
Let k(y) = -y**3 + 6*y**2 + 13*y + 3. Let o be k(8). Is o >= -20?
False
Let q = 2378 - 3395. Is q at most as big as -1016?
True
Let h be (-6)/16*-2 + 48/64. Let v = -72/7 - -230/21. Which is smaller: v or h?
v
Let w be (12385/(-1770) - -7)*3/2. Which is bigger: w or 0?
w
Let z be 78/90 + 2/15. Is z less than -3/329?
False
Let f = 56 + -66. Let q be -5*(6 + f) + 2/3. Is 22 > q?
True
Suppose -6*j + 12 = -2*j. Suppose 3*b + j*b = -30. Is 1 <= b?
False
Let l(f) = -f - 2. Let m be l(-8). Suppose -4 = m*o - 2*o. Let j be (-2)/10*(-2)/o. Is 1.2 at least as big as j?
True
Let y = 589.28 - 574. Let a = y - 15. Are a and -1 unequal?
True
Let s = 806 + -806.05. Is s less than or equal to 4?
True
Let t(m) = 6*m - 85. Let k be t(15). Let d be k/15 - 52/(-6). Let a = -3 + 8. Which is bigger: a or d?
d
Let r = -8995/36 - -2240/9. Let x = 3/4 + r. Let p be 0*(-2 - (2 + -3)). Is p less than or equal to x?
False
Let t = 7.4 + -9.92. Let j = 2.6 + t. Is j less than -1?
False
Let j be 4/(-1 - (-3 - 0)). Suppose -5*l - 3 = j*b, b + 4*l + 0 = 3. Which is smaller: b or 0?
b
Suppose -10 = -o - 4*o. Let r be 0/o*(-1)/2. Suppose 4*y + 5*q - 8 = 0, -5*y - 5*q + 10 = -r*y. Which is smaller: 3 or y?
y
Suppose -5*j = -l + 53, 24 = 5