5*u - 3*y. Suppose 8 = 5*s + u. Let l = 3183/7 - 454. Which is greater: s or l?
s
Let r be (13 - 2061/294) + (-7 - -1). Is r < 1?
True
Let r be (225/(-27))/((-2)/6). Suppose -4*q + r = 29. Are q and -6/7 nonequal?
True
Suppose 32 = -r + 5*g, 3*r - 3*g + 58 = -26. Which is smaller: 4 or r?
r
Let w = -146 + 138. Which is smaller: -15/2 or w?
w
Let v = -1759/4 + 440. Is 320 greater than v?
True
Let u = 2 + 5. Let m = -5.9 + u. Let y = -1.135 + 1.035. Is y < m?
True
Let p be ((-2)/6)/1 - (-150)/45. Let f(q) = -q**3 + 8*q - 4. Let d be f(p). Which is greater: -4 or d?
-4
Let r = 0 - 1. Suppose 0 = -4*m + 8*m + 1116. Let o = m + 2793/10. Which is greater: r or o?
o
Let t be (-25)/10 - 36/(-24). Let v(b) = -b. Let h be v(-4). Suppose -8*m = -h*m. Which is smaller: m or t?
t
Let n = -126740/77 + 1646. Do n and 1 have different values?
True
Let i(m) = -3*m + 2. Let r be i(17). Let u = 48 + r. Does u = 1/7?
False
Let n(k) = k**2 - 16*k - 47. Let d be n(22). Which is smaller: d or 0?
0
Let m = -419.42 - -419. Which is bigger: m or -1?
m
Let j be ((0 - -1)*3)/(-1). Let a be (-1)/j + 35/(-60). Which is greater: a or 1?
1
Let q = 721 - 1806. Which is smaller: q or 0.1?
q
Let h be ((-4761)/2379 - -2)*-1. Let b = h - 136401/3965. Let p = b - -34. Do p and -8 have different values?
True
Suppose -3*h = 7 - 22. Suppose 0 = -2*u + h*u. Let q = 696 + -697. Which is greater: u or q?
u
Let u = -54 + 20. Let w = u + 34.06. Does 1/5 = w?
False
Suppose -4*j + 8*j - 2*h = 12, -5*h = 5*j - 15. Let w be (-4)/(-12) + (-15)/(-9). Suppose 0*p - p = w*p. Which is smaller: j or p?
p
Let f(k) = 6*k**2 - 7*k + 62. Let b be f(-6). Is b at least 320?
True
Let a = 6.872 - 0.072. Let z = 6.756 - a. Is 1 < z?
False
Suppose -4 = -u - 2. Suppose -5*z + l + u = -6*z, 4*l + 8 = 3*z. Suppose 0 = n - z + 3. Is -3 at least n?
True
Let w = -480 + 477. Suppose -5*v - 8 = 7. Is w < v?
False
Suppose -z - 1 = 4*r + 12, 4*r + 15 = -3*z. Let f = 3 + r. Is 12/11 at most f?
False
Let y = -14299/741 + 252/13. Which is greater: y or 1?
1
Let j be (-2565)/2489 - (-1 + 0). Which is bigger: 0 or j?
0
Suppose 712 = -27*c + 64. Let r be 46*(-1)/2 + 0. Which is bigger: r or c?
r
Let k = -223 - -334. Let b = -553/5 + k. Which is bigger: b or 1?
1
Let d(h) = -h**3 + 4*h**2 - h - 1. Let k be d(3). Suppose k*r = z - 92, -z = -r - 2*z - 22. Do r and -20 have different values?
True
Let l(v) be the second derivative of 0 - 4*v - 7/2*v**2 - 1/6*v**3. Let t be l(-5). Which is smaller: t or 3?
t
Let t(v) = 4*v - 131. Let d be t(33). Which is smaller: d or 2/11?
2/11
Let o = 0.19 - -11.81. Let d = o + -12. Which is bigger: d or 0.58?
0.58
Let a(v) = -v**2 + 23*v + 32. Let z be a(25). Let h be (-11)/(z/(-4) + -3 - 2). Is h <= 2?
False
Let p = -19 + 26. Let q(b) = -4*b + 42. Let v be q(p). Are 13 and v nonequal?
True
Suppose -24 = -6*f, 0 = 4*k - 5*k + 4*f - 16. Which is smaller: k or -6/95?
-6/95
Let c be 0 + (-2)/(-8) + (-2825)/1700. Is c bigger than 0?
False
Let c(i) = 8*i - 18 + 9*i - 27*i - i**2. Let t be c(-5). Is 7 < t?
False
Let k(m) = m**2 + 5*m + 5. Let c be k(-5). Suppose -3*z = 2*h + c, -3*h + 5 = 4*z + 12. Is -0.2 at most h?
False
Let i = -0.183 - -1.513. Let u = i - 0.33. Which is smaller: u or 5?
u
Let q(v) = 22*v - 1. Let z be q(1). Suppose 0 = 5*x - 2*x + z. Let t = -16 - x. Which is smaller: t or -10?
-10
Let w(t) = t**3 + 5*t**2 - 16*t - 16. Let v be w(-7). Which is smaller: v or -9?
-9
Suppose 1437*u = 1427*u + 4520. Are 454 and u non-equal?
True
Let y = 0.23 + -15.23. Let a = -20 - -35. Let k = y + a. Is k at least 2/5?
False
Suppose -5*k = -4*t - 1100, -3*k + 10 = -5*t - 1378. Which is smaller: t or -279?
t
Let a be (-12)/(306/(-48)*2). Which is smaller: 0 or a?
0
Let c be 2/((-3 - 0)/3) - 1. Let w = 36 + -20. Suppose m = 5*m - j + w, 2*m + 4*j + 26 = 0. Which is smaller: m or c?
m
Let y = -28510/33 - -864. Let n be (3/(-9))/((-2)/6). Suppose 2*c + 3 = n. Do c and y have the same value?
False
Let m = 143 - 155. Which is bigger: m or -21/2?
-21/2
Suppose -10 = 2*o, -2*i = i + o - 40. Let w be ((-6)/(-10))/(i/(-2)). Let r(k) = 8*k + 449. Let z be r(-56). Which is bigger: w or z?
z
Let s(i) = -i**2 + 13*i - 10. Let h be s(13). Let n(r) = r**2 + 11*r + 9. Let p be n(h). Suppose 4 = 5*b + 2*a, -4*b + 0*b - 4 = -2*a. Is p greater than b?
False
Let o = -41 - -41. Let h be 37/(-18) - (-4 - -2). Which is greater: o or h?
o
Suppose -5*v = -5*w - 20, -4*w + 10*v = 12*v - 8. Which is smaller: -13/32 or w?
-13/32
Suppose 0 + 2 = -2*u. Is 4/27 greater than or equal to u?
True
Let m be (55/10 - 5)*(-2)/(-4). Let x(h) = -h**3 - 11*h**2 - 9*h + 3. Let z be x(-10). Let d = z - -9. Which is bigger: d or m?
d
Let a = -220/1107 - -119452/140589. Let p = a - -2/127. Are p and -10 nonequal?
True
Let x = -67.3 - -2.5. Let p = 71 + x. Which is smaller: 1 or p?
1
Let t = -0.22 + -0.6. Let y = 1.72 - 1.6. Let r = t + y. Which is smaller: r or 0?
r
Let h(o) = 5*o - 10. Let b be h(6). Suppose 19 - b = g. Is 0 greater than g?
True
Let v = 39 + -21. Let o = -11 - -10. Is o >= v?
False
Let r = -877 - -876. Which is bigger: r or -15/14?
r
Suppose -3*z - b - 3 = -4*z, b = -3*z + 21. Let h be ((-5)/(-2))/((12/z)/4). Which is bigger: h or 7?
7
Let l = 39 - 25. Suppose 4*b + 6 = -3*c + 40, l = b - 2*c. Are 12 and b equal?
False
Let s = -204.5 + 205.3. Is s > -0.44?
True
Let r = 289 + -288. Which is smaller: -2.96 or r?
-2.96
Let h(y) be the third derivative of -y**4/24 - 11*y**3/3 - y**2. Let m be h(5). Which is bigger: m or -29?
m
Let r = 25.4 - 26. Let u = -451.8 + 451. Which is smaller: u or r?
u
Let u = 213.78 - -0.22. Let o = -214.93 + u. Let y = 0.17 - o. Is y equal to -2?
False
Let f = -0.327 - -0.527. Is -19.1 at most as big as f?
True
Let f = -125 + 42. Let k = 80 + f. Which is greater: k or -4/11?
-4/11
Let z = -18/85 + 172/1615. Let d = 4.5 + -5.5. Is d bigger than z?
False
Let x be (75/20)/5 - (-914)/(-88). Is 0.1 < x?
False
Let w(u) = -u**3 + 6*u**2 - 3*u. Let x be w(4). Let g be 51/(-85)*-51 + -12. Which is smaller: x or g?
g
Let l = -2.34 - -2. Let p = 0.21 + l. Let n = p + 0.12. Is n less than 2/7?
True
Let k = 370 + -377. Which is greater: k or -12?
k
Let x = -556.712 - -557. Is x at least as big as 2?
False
Let s = -0.2701 - -0.0531. Is s greater than 0.4?
False
Let q = -15705071/3 + 108597707/21. Let h = -63578 - q. Let p = h - 126. Is -1 >= p?
False
Let h(d) = -9*d - 90. Let t be h(-10). Which is bigger: t or -6?
t
Let h be ((-3)/42)/(3/(-618)) - 1. Are h and 14 equal?
False
Let g = -151 + 135. Let j(s) = s**3 + 17*s**2 + 15*s + 20. Let v be j(g). Is 35 bigger than v?
False
Let a = -18 + 3. Let r(m) = -m**2 - 17*m - 29. Let b be r(a). Which is smaller: 17 or b?
b
Let d be -1 - 314/8 - (-1)/4. Let p be (-46)/d - 40/100. Suppose 0 = -5*f + 3*f. Which is bigger: f or p?
p
Let i = 5459927/446 + -12242. Which is smaller: 0 or i?
i
Let y(m) = m + 8. Suppose 22 = -5*o - 38. Let f be y(o). Let b be 10/f*4/80. Is b <= 0?
True
Let c be 5 + -2 - (2 - -1). Let z = 6 - c. Let t be z/(-15) - 69/90. Which is smaller: t or -2?
-2
Let i = 800 - 531. Does 0 = i?
False
Let k = -622 - -623. Are k and 14/65 nonequal?
True
Let y = -1.21 + 0.6. Let j = 0.41 + y. Which is greater: j or -8/3?
j
Let m = 0.199 - -1.901. Let n = 64 - 64.1. Is m greater than n?
True
Let s = 46 + -34. Suppose -s = 3*t + 4*m, 2*m - 5*m - 9 = 0. Is t >= -1/3?
True
Suppose 6*v + 4*p - 96 = 10*v, -p - 48 = 2*v. Which is bigger: -40 or v?
v
Let d(u) be the first derivative of 8*u - 4 + 2 - u - u**2. Let q be d(5). Is -5 not equal to q?
True
Suppose 0 = 4*z - 3*z + 4*p + 11, -3*p = 4*z + 5. Let j be -26 + -2*z/2. Which is smaller: j or -2/3?
j
Let s = -71 + 70. Which is bigger: 24.6 or s?
24.6
Suppose 4*b + 76 = 4*c, 6*b - c - 51 = 10*b. Let v = -4717 + 23509/5. Which is smaller: v or b?
v
Let h = 563/48 - 35/3. Let y(x) = -x + 9. Let q be y(8). Which is bigger: h or q?
q
Let l = -31/3 + 11. Suppose -14 = -2*v + 2*n, 2*v - 68 = -5*n - 12. Which is smaller: l or v?
l
Let r(t) = -5*t**2 + 147*t - 61. Let s be r(29). Let w be 110/(-56) + (-2)/7. Do w and s have the same value?
False
Let i(t) = t**3 + 9*t**2 - 2*t - 9. Let l be i(-9). Let b(u) = u + 3. Let w be b(l). Let n be 4/16 + (-3)/w. Is 3/5 less than n?
False
Let n = -1178844 + 32998729/28. Let v = 318 + n. I