4/8 - 3*t**3 + 34*t**2. Let d be k(-26). Let j = 0.1 - -0.9. Which is greater: j or d?
d
Suppose -3*z - 5 - 10 = 0, 0 = 4*j + 4*z + 24. Let b be 2/(-5)*(-2)/(-30). Which is smaller: b or j?
j
Let v(j) = -j - 8. Let a be v(-11). Suppose a*f - 14 = -2. Let m(d) = -d - 1. Let x be m(f). Which is greater: x or 0?
0
Suppose 3*u = -3, -10*v + 75 = -12*v + 5*u. Are -40 and v equal?
True
Let k(s) = -2*s**2 - 3*s - 2. Let z be k(-2). Let g be 5 - 2*15/6. Is g equal to z?
False
Let c be (-6)/9 + (-2)/6. Let l be (-1 - 0)/((-30)/12*-3). Which is smaller: c or l?
c
Let x be 1*(0 + (0 - -56)). Suppose -c = -5*c - x. Are -14 and c equal?
True
Suppose -78 = 29*t - 32*t. Which is bigger: 33 or t?
33
Suppose -3*d = -4*v + 2377, 4*v + 2650 + 510 = -4*d. Which is bigger: d or -790?
-790
Suppose 205 - 53 = -8*l. Is -16 greater than l?
True
Let z = -0.105 + 0.095. Let u = 3.1 - 1.8. Let i = 0.3 - u. Is i equal to z?
False
Let k(s) = 2*s + 24. Let a(o) = -2*o - 4. Let m be a(4). Let j be k(m). Is j < -9/8?
False
Let i = 165 + -165.49. Let y = -1.49 - i. Which is smaller: -6.7 or y?
-6.7
Let i = -233366/51 - -4576. Which is smaller: 1 or i?
i
Suppose -1 = -b, 12*v - 9*v - 6504 = 3*b. Which is smaller: v or 2170?
v
Let r be ((-1)/6)/(5/142) - -5. Which is bigger: 1 or r?
1
Let v = 255 + -237. Suppose 8 + 22 = 5*w. Let b be v/(-42) + w/14. Is -3/4 > b?
False
Suppose 4*l + 2*w - 160 = 0, -w + 4*w = 2*l - 88. Let n = l - 285/7. Suppose 3*v - 6*x - 3 = -9*x, v + 5*x - 5 = 0. Which is smaller: v or n?
v
Let r be ((-76)/171)/(10/(-9)). Let n be 1/(-1)*(6 - 6). Let h be ((-8)/14)/(2 - n). Which is smaller: h or r?
h
Let y = -77.5 + 79.5. Which is smaller: 0.06 or y?
0.06
Let r be (1*5)/(-11 - -12). Suppose 5*d = -5, 3*v - 46 = 3*d - r*d. Suppose -4*k = -3*k - v. Is 0 < k?
True
Suppose 423 + 287 = 10*u. Which is smaller: 68 or u?
68
Let i = -751/2679 + -5/141. Let x(l) = l**3 - 5*l**2 + 2*l + 6. Let w be x(4). Let m be (-1)/(-5)*(w - -2 - 2). Is m greater than or equal to i?
False
Suppose 374 = -3*j + 1160. Which is bigger: 784/3 or j?
j
Let c = 15 - 16. Let u = 6 + c. Let w = u + -7. Is w less than or equal to -2?
True
Let k = -15400.063 + 15410. Let x = k + -0.037. Let y = x - 10. Which is bigger: -3 or y?
y
Let i(v) = v**2 - 19*v + 55. Let z be i(16). Suppose 0 = -z*l + 12*l + 2*t + 9, -5*t = 3*l + 13. Let d = 0 - -1/7. Which is bigger: l or d?
d
Let g = -0.2 + -0.8. Let j = 87.813 - -0.187. Let t = j + -87.8. Which is smaller: t or g?
g
Let d be (0 - 2)/(5 - (1 - -2)). Is 4.8 > d?
True
Suppose -9*a + a + 24 = 0. Let r be -12 - a/((-6)/(-8)). Is r equal to -15?
False
Let h be -7 + 368/56 + 400/(-14). Which is greater: -1 or h?
-1
Let k be 2*63/12*12. Let r be (k/36)/((-1)/(-2)). Let a(w) = -2*w - 11. Let z be a(r). Which is greater: -24 or z?
-24
Let z(s) = -35 + s**2 - 38 + 20*s + 22. Let o be z(-23). Which is smaller: o or 17?
17
Let l(o) = -o**2 + o + 20. Let a be l(-4). Let v = -1135/132 - -90/11. Which is smaller: v or a?
v
Let h = 0 + -0.04. Let w = -373.93 - -374. Let s = h - w. Which is bigger: s or 1?
1
Let s = 5.095 - -0.005. Let v = 5.1 - s. Are v and 1 nonequal?
True
Let g = 29 + -59. Is g >= 1?
False
Let c(y) = 3*y**2 - y - 1. Let m be c(-1). Suppose 2*t + t = -3*k + 6, -10 = 4*t - 2*k. Is t at most m?
True
Suppose 204 = 4*s + 48. Let i = -157/4 + s. Which is smaller: -1 or i?
-1
Let h(x) = -3*x**2 + 19*x + 2. Let y be h(6). Suppose c = 10 - y. Which is smaller: 13 or c?
c
Let q(j) = -j - 6. Let u be q(-4). Let b be (-3)/u*2/(90/(-65)). Is 1/2 at least as big as b?
True
Let k(n) = 2 - 2 - n**2 + 2*n + 3 - 6*n. Let c be k(-3). Let t be 1/7*(-2)/c. Which is smaller: t or 1?
t
Let g = 0.987 + 0.013. Let r = g - 1. Is -2 at least as big as r?
False
Let u = -1187 + 1186. Which is smaller: u or -2/2531?
u
Suppose 34*y + 955 = 3063. Which is smaller: y or 59?
59
Let h = -81 - -84. Suppose 4*s = -2*a - 28, h*a + 2*s + 12 = 6*s. Which is greater: -6 or a?
-6
Suppose 4*f + 4 = 3*f. Let r be -11 - 4*(-2)/f. Let o = 9 + r. Which is smaller: -5/2 or o?
o
Suppose 0 = 4*i + 36 - 12. Suppose 5*g = 2*g, -g + 21 = -3*j. Are j and i unequal?
True
Let n be ((-17)/((-136)/(-42)))/((-5)/(-98)). Suppose -103 = 4*k - 3*k. Let x = k - n. Is 0 at most as big as x?
False
Let p be (1*-4)/((-10)/(-4) - 2). Let s be 4/(-16) - (-14)/p. Is s less than 11?
True
Let f = -6 - 0. Let r = 7 + f. Is r > 7?
False
Suppose -12*f + 13*f = 91. Let j = 104 - f. Are j and 15 non-equal?
True
Suppose -y = -4*n - 3*y + 44, -5*y = -5*n + 40. Let q = n - 16. Let w be (-3)/(-6)*(q - -4). Is -1 smaller than w?
False
Suppose -16 = 4*y + 52. Let f = -1 - y. Suppose -5*k - 25 = -0*b - 3*b, -2*k + f = 4*b. Is b at least 4?
True
Suppose -6 = -v - 5*i, 0*v = -v + i + 18. Let s be (-18)/v - (-5)/4. Is s at most as big as 1?
True
Let o = -194 - -212. Which is greater: -1 or o?
o
Let v(b) = b**2 + 17*b + 6. Let k be v(-17). Which is bigger: 53/9 or k?
k
Suppose -15*p + 0*p = 780. Which is smaller: 11 or p?
p
Let u(t) = 5*t. Let n be u(1). Suppose 2*x = -n*g + 8, -4*g + 8 + 0 = 0. Is x not equal to -13/6?
True
Suppose v - 27 = -2*c, 3*c - 4*v - 52 = c. Let q = 16 - c. Which is greater: q or 6/17?
6/17
Let m be ((-12680)/50)/(-4) - 2. Which is bigger: m or 61?
m
Suppose 0*j + 12 = -3*j. Let b(s) = -6*s**2 - s**3 + 0 - 3 - 1. Let w be b(-6). Are j and w non-equal?
False
Let b(k) = -k**3 + 6*k**2 + 2*k + 11. Let q be b(6). Is -1 equal to q?
False
Suppose -t + 0 = -4. Suppose -v - t*v = v. Is -9 bigger than v?
False
Let v(g) = 13*g - g**2 + 0*g**2 - g**2 + g**2 - 12. Let c be (6 - 15)*(-1 - 0). Let n be v(c). Which is bigger: n or 23?
n
Let z = -3/46 - 41/782. Let l = 124 + -123.7. Which is smaller: l or z?
z
Let w(j) = -3*j**2 + 10*j + 7. Let r be w(4). Let h be (-43)/(-9) + (-6)/(-27). Suppose -b - 4 = 2*z, -h*z - 6 = 4*b + 4. Which is bigger: r or b?
b
Let j be 60/(-63)*12/(-10). Let p = -314/287 + j. Which is smaller: p or 1?
p
Let x be ((-35)/14)/((-5)/8). Suppose 2*l + 2*h = 3*l - 7, -x*l + 1 = h. Which is smaller: l or 1/4?
1/4
Let v be (-5 - 1) + 364/(-26). Which is smaller: -14 or v?
v
Let n = -1 - -1.3. Let w = n + -0.8. Let l = w - 1.5. Are 2 and l unequal?
True
Suppose 0 = 2*o - 2*j - 86, -j = -o + 4*j + 27. Suppose -2*d + 3 = -o. Let p = d - 21. Do p and -2 have the same value?
False
Let w = -1 - 32. Let r = -49 - w. Is r bigger than -1?
False
Let j = -355 + 530. Is 172 < j?
True
Suppose -2*s + 103 = 3*l + 2*s, 4*l - 108 = 2*s. Let w = l - 29. Is 5 <= w?
False
Let h(l) = l**2 - 15*l + 14. Let b be h(17). Let q = b - 41. Which is bigger: 1 or q?
q
Let l = 0.6 + -10.6. Let r = -8 - l. Let o = 108 + -433/4. Is o bigger than r?
False
Let c be (-138)/(-52) - 2 - 54/351. Let y = -0.01 + -4.99. Let m = -5.4 - y. Is c less than m?
False
Let p be (-3)/(-9) + 341/3 + -2. Which is bigger: p or 110?
p
Suppose 5*o - 3*g = 13, -3*g - 11 = -4*o - 0. Let j = o - -4. Is j <= 6?
True
Let l be (-10)/15*(1 - 4). Let y be (1 - l)/(5/(-2)). Let z = -1/28 + -13/28. Is z at most y?
True
Suppose 3*h - 8 = -5. Let j be h/7 - (-100)/(-14). Let l be (j/((-98)/16))/2. Are 2 and l unequal?
True
Suppose -5*c + 26 = -d, 2 = 5*d - 2*d + 5*c. Let q be 2*2 - (d + 12). Are q and -2 unequal?
False
Suppose n + 4*n + 2*h = -115, -5*h = -n + 4. Which is smaller: -24 or n?
-24
Let s = -2.9658 + -0.0342. Is s > -2/673?
False
Suppose 4*d = 5*b + 228, 3*d + 5*b = b + 171. Is d less than -0.1?
False
Suppose -2*q = -t - 0 + 2, -5*t + 10 = 0. Suppose -2*a + z + 3 = q, 0*a + 5*z - 3 = 4*a. Let w be (-14)/(a + -2 + 1). Is w at least -7?
True
Let w(q) = q**3 - 8*q**2 - 9*q - 12. Let v(o) = o**3 + 10*o**2 + 7*o - 9. Let p be v(-9). Let y be w(p). Let s = y + 22. Is s at most 11?
True
Suppose -61*d + 64*d - 5*c - 18 = 0, -d - c + 14 = 0. Is 14 at most d?
False
Let j(f) = 11*f + 2. Suppose 4*o - i + 2 = o, 5*i + 20 = 0. Let s be j(o). Let u be (-2)/(-7) - s/28. Is u <= 1/5?
False
Let p(k) = k**3 - 4*k**2 + 3*k - 2. Let z = 7 + -4. Let l be p(z). Let v be (-2)/(-3) - (-6 - (-120)/18). Which is smaller: l or v?
l
Let b be (504/(-15) - (-4)/(-10)) + 0. Which is greater: -3 or b?
-3
Let n = -9 - -11. Suppose -4*b = -2*u - 12, 0*u - n*u + 9 = 3*b. Let a(h) = -2*h - 16. Let i be a(u). Are -15 and i equal?
False
Suppose 6*h = 2*h - 8. Suppose -3*y + 0*y = -9. Suppo