1). Which is smaller: t or 3/4?
t
Suppose 0 = -2*k + 10, d - 2*k = -5*k + 15. Suppose -i + 4 + 0 = d. Which is greater: 11/4 or i?
i
Suppose 2*j - 2*d - 2 = 2*d, j = -3*d + 6. Let p be (-6 - 0)*(-374)/(-33). Let s = p - -70. Which is bigger: j or s?
j
Suppose -3*c = -3*m + 6, -1 = m - 2*c + 1. Let i(r) = r**3 - 6*r**2 + 2*r - 7. Let w be i(m). Which is greater: w or -2?
w
Suppose 29*m = 38 - 38. Is 2/25 at most as big as m?
False
Let c(f) = -4*f + 30. Let o be c(15). Let i be (o/(-40))/(9/(-14)). Which is smaller: -2 or i?
-2
Let w be 3*(-7)/((-84)/8). Suppose -x - w*x = -6. Let d be 5/x*(-4)/5. Is d less than or equal to -3?
False
Suppose -d + 3*d + 10 = 0. Let t be (1/2)/(d/2). Let a = 635 + -643. Is a greater than t?
False
Let i be (12/(-20))/((-1)/1). Let u(v) = -2*v - 4. Let l be u(0). Let t be (-1 + l)/((-15)/6). Is i at most t?
True
Let o(r) = r**2 + 77*r + 292. Let f be o(-73). Suppose 4*w + 0*v + 388 = -3*v, 5*w + 520 = 5*v. Let y be ((-6)/w)/((-18)/(-8)). Which is greater: y or f?
y
Suppose 9 = -4*a - o, 0*a + 5*a - 2*o - 5 = 0. Is a at most as big as 1/141?
True
Let q = -9 - -11. Let v be (10 + 8)*(-2)/q. Let l be (-4)/v - 1/126. Do -1 and l have the same value?
False
Let s = -0.41 - -0.41. Let q = s + 1. Is -0.4 greater than q?
False
Let r = -29 - -52. Suppose -2*z - 5 = -r. Suppose -n = 2*n + z. Which is smaller: n or -4?
-4
Suppose -2*d - 4*v - 5 - 1 = 0, -d + 1 = -2*v. Let c = 217/34 - 13/2. Which is greater: d or c?
c
Let x = -13 + 15. Suppose -3*q - 5*h - 33 = 0, 0*h = x*q + 3*h + 21. Is -6 greater than q?
False
Suppose -16 + 22 = m. Suppose t = m*t - 65. Let s = 12 - t. Which is greater: s or 7?
7
Let t(h) = -h**3 + 8*h**2 - 5*h - 4. Let n be t(7). Let k be -2 - ((-4)/n - 58/30). Is k greater than 0.16?
True
Suppose -5 = -3*w + 1. Suppose -4*j + w*j - 20 = -4*m, -2*j - 5*m - 29 = 0. Are j and -12 unequal?
False
Let r(j) be the second derivative of j**3/3 + j**2/2 + j. Suppose -i + 3*p + 0*p = 13, i - 15 = -4*p. Let z be r(i). Are z and 1/2 nonequal?
True
Let k(f) = f**3 + 8*f**2 + 10*f + 5. Let l be k(-6). Suppose -576 = i + l*i. Is -33 <= i?
True
Suppose 95 = -6*t + 95. Is -2/4649 <= t?
True
Let q = 2.36 + -2.2. Let p = q + -2.16. Let t = -4 + 6. Which is greater: t or p?
t
Let j = -984 + 694. Is j smaller than -2?
True
Let y(s) = -s**3 - s**2 + 1. Let z(p) = -5*p**3 + 5*p**2 + 9*p - 2. Let h(j) = 6*y(j) - z(j). Let f be h(-10). Let w be f/(-4) + 52/8. Are w and 6 non-equal?
True
Suppose -4*b - 33 = -3*g - 4, -5*g = -2*b - 25. Let f(x) = 5*x**3 - 4*x**g + 14*x + 7*x**2 - 1 + 7*x**2. Let o be f(-13). Is -15 greater than or equal to o?
False
Let j be ((-12)/(-18))/((-4)/(-18)). Suppose j*q + 78 - 3 = 0. Let x = -113 - -89. Which is smaller: x or q?
q
Let u be (2/(-48))/((-3636)/(-48) - -10). Which is greater: u or -1?
u
Let w be (-39)/(-2) - (-1)/2. Suppose 4*b + b = w. Let d be (-1)/(3/(-20))*9/12. Which is bigger: b or d?
d
Let t be (-4)/84*(-11 - (-2 + 1)). Is t less than 0?
False
Let b(r) = -3*r - 64. Let o be b(20). Which is smaller: o or -125?
-125
Let t = 415 - 419. Which is bigger: -14/3 or t?
t
Let v = 1494 - 46308/31. Which is smaller: -1 or v?
-1
Let r(q) = -q**2 + 7*q + 4. Let s be r(6). Suppose u - 2*w + 4 = 4*u, s = -2*u + 5*w. Which is smaller: u or -1?
-1
Suppose -2*d + 16*d - 1974 = 0. Is d greater than or equal to 141?
True
Suppose -4 = -3*j + 8, -2*j + 24 = 4*c. Which is greater: c or -2?
c
Let m = -274 + 274. Which is smaller: m or -2/201?
-2/201
Let l(v) = v - 2. Let y be l(5). Let c(j) = -j**3 + 11*j**2 + 10*j + 15. Let g be c(12). Let h be 6/5*(-30)/g. Is y > h?
False
Suppose 4*n - 2*n = 68. Let t be (-3681)/75 - (-30)/375. Let o = n + t. Is o at most as big as -16?
False
Let p = -35 + 38. Let y be (-94)/(-22) - (p + 1). Which is greater: y or 0?
y
Let b be (-181)/124 + (620/80 - 7). Which is greater: -1 or b?
b
Let l be (458/(-132) - 0) + (-5)/30. Which is bigger: l or -3?
-3
Let m(q) = 2*q**2 + 5*q**2 + 8*q - 1 - 3*q**2 - 7 - q**3. Let k be m(5). Which is smaller: 8 or k?
k
Let u be 1*-1 - (7 + -6). Let f be -3*2*15/u. Suppose -f = v + 4*v - 4*i, -3*i = -v - 20. Is v at least as big as -5?
True
Let u(r) = 8*r + 9. Let a(f) = -15*f - 17. Let m(n) = -6*a(n) - 11*u(n). Let p be m(2). Which is smaller: 5 or p?
5
Let i = 9 + 22. Let s = -30 + i. Is 7 less than or equal to s?
False
Let t = 96794/35 + -2767. Is t bigger than -1?
False
Let k = -1946543/56 - -34757. Let h = -25/8 - k. Let q = 4 - 5. Are h and q nonequal?
True
Let y = -192 - -53759/280. Which is bigger: y or -1?
y
Let j be ((-1756)/10)/((-4)/35). Let o = j + -1637. Let g = o - -103. Is g less than or equal to 2?
False
Let b = 54 + 52. Suppose -5*a + 2*x - b = 0, -8*a + 7*a - 20 = -x. Let j = -33 + 11. Is j less than or equal to a?
True
Let h be (-11)/(33/(-30)) + -2. Suppose -3*c + 2*c + 37 = -3*z, -4*z - 48 = -c. Let o = z + h. Is 1 less than o?
False
Let q(a) = -a + 24. Let b be q(28). Let l be (-2 + 4)/(b - -2). Which is bigger: -4/49 or l?
-4/49
Let v be -1 + -2 - (-104)/(-13). Let x = v + 9. Which is smaller: x or -1/4?
x
Suppose 0 = 3*w - 48. Suppose 12*t = w*t + 4. Is -15/13 >= t?
False
Suppose -2*l + 2*q + 0 = 4, -2*l + 4*q = 8. Let b = 187 + -1867/10. Which is smaller: l or b?
l
Let p be (4/((-96)/14))/(1/20). Let a = p + 181/15. Let t = 1 - 0. Which is bigger: a or t?
t
Let f be (-469)/(-63) + -7 - 7850/45. Is -174 less than or equal to f?
True
Suppose 10*b = -48 - 12. Let q = -7 - b. Is q greater than 4?
False
Suppose -11*f + 229 + 145 = 0. Which is smaller: f or -9?
-9
Suppose 0 = -7*w - 7. Let y be (-15)/21 - w - 65/(-42). Which is greater: y or 2?
2
Let i be ((-2)/(-70))/((-69)/115). Let p(c) = c - 5. Let a be p(5). Do i and a have different values?
True
Let i(h) = h**3 - 2*h**2 - 12*h. Let t be i(5). Suppose 44 = 3*r - 4. Is t at most as big as r?
True
Let o = 0.401 - 29.401. Which is smaller: 10 or o?
o
Let a(b) = b**2 + 8*b + 4. Let w be a(-7). Suppose 0 = 5*p - 205 + 65. Suppose -2*j + 9 = -5*y + 2*y, -5*y = j + p. Is j smaller than w?
False
Let p be (-8)/(-48)*8/18. Let w(n) = -n**3 + n**2 + 2*n - 3. Let t be w(3). Let m = t - -15. Which is smaller: p or m?
m
Let z = -21.3 - -21.31. Let w = -0.05 + -0.25. Which is smaller: w or z?
w
Suppose 5*o = -3*l + 30, 0 = 4*o - 5*l - 8 + 21. Suppose 5*d = -o*d. Is -1/10 at most d?
True
Let s(b) = b**3 - 7*b**2 + 8*b. Let l be s(6). Let m be 2/8*l/(-27). Suppose 3*p = -u - 3 + 12, p - 3 = -3*u. Does u = m?
False
Let v = 16 + -8. Suppose 3*r + 4 = v*r + 2*n, 4 = -r + 2*n. Suppose 6*o - 3*i = 2*o - 6, r = 4*o + 5*i - 10. Which is smaller: 4 or o?
o
Let o = 4 - 2. Let a = 17 - 17. Suppose 0 = n + 5*x + 5 + 7, -n + 2*x + 9 = a. Does n = o?
False
Let m be (-343)/168 + (8 - 6). Which is smaller: m or -0.2?
-0.2
Let k be -30*(6 - 21/6). Which is smaller: k or -74?
k
Let w = -132 + 69. Let u be (28/(-6))/(3/w). Do 99 and u have the same value?
False
Let v be 9 - (-1615)/(-5 + 0). Which is bigger: v or -315?
v
Let v be (-1)/(-3)*3/33. Let t = -233 + 232. Which is greater: t or v?
v
Let l = 1632 - 1029. Which is greater: 604 or l?
604
Let a = -1.05 + 5.35. Let q = a + -3.3. Which is smaller: -2/15 or q?
-2/15
Suppose -4*o + 3*o + 3*g = -74, 0 = 2*o + 5*g - 192. Which is bigger: o or 88?
88
Suppose 4*o + 4*i - 48 = 0, -3*o + 92*i = 90*i - 16. Suppose -2 = -4*c + 6. Which is smaller: o or c?
c
Let o = 32 - 28. Suppose -2*d = -6*d - o. Let x be 9/(-6) + (-1)/(-2). Is d at least x?
True
Suppose 0 = -d - 5*h + 2*h + 6, 4*h - 32 = -4*d. Suppose d*l - 76 = 167. Let m = -1.7 + 0.7. Which is smaller: m or l?
m
Let t be 1*165/6*(-48)/20. Is t less than -64?
True
Suppose -d = -0 - 6. Let v(f) be the first derivative of f**2/2 - 6*f + 2. Let z be v(d). Is 1/4 > z?
True
Suppose 14 = f - 3*j + j, 0 = -f - 3*j + 14. Let g = f + -12. Let m be 9/(-15)*(3 + g). Which is smaller: -4 or m?
-4
Let z be (151 + -1)*(18 - (-309)/(-18)). Is 874/7 less than z?
True
Let v(w) = -w**3 + 4*w**2 + w + 12. Let l be v(5). Does 9 = l?
False
Let d(s) = s**2 + s + 3. Let r be d(0). Which is smaller: r or 7/4?
7/4
Let q be (-88)/1020*(-231)/44. Let z = -810/17 - -48. Let h = q - z. Which is smaller: -1 or h?
-1
Let h be (8/(-24))/(1/(-9)). Let w be h*(12/9)/(-2). Which is greater: -1/2 or w?
-1/2
Let h = -192.103 - -192. Let r = 