-3*t + s*t. Which is bigger: t or 8?
8
Let p(z) = -z - 9. Let k be p(-12). Let d = k - -2. Suppose 2*u = 7*u - d. Which is bigger: -2 or u?
u
Let g(i) = i**3 + 8*i**2 + 5*i - 6. Let b be g(-7). Let u be (-6)/(-2) - b/(-2). Which is smaller: u or 0?
0
Let q = 0 - -1. Suppose 12*l + 21*l + 66 = 0. Which is bigger: l or q?
q
Let l be ((-4)/14)/((-17)/((-238)/(-18))). Which is smaller: -1/21 or l?
-1/21
Let t be 4/(-10) + (-2489)/(-285). Suppose -4*a - 14 = -6*a. Is t at least a?
True
Let w be 567/33 - (8 + -8). Which is smaller: 18 or w?
w
Let b be (6*1)/(11 - 9). Suppose 3*n - 2*k = -2*n + 68, b*k = -12. Let l be n/(-28) - 108/(-154). Which is smaller: -1 or l?
-1
Let y = 53 + -20. Let i be (-11)/y - 50/(-168). Which is bigger: i or -1?
i
Suppose -1584*n + 6383 = -1571*n. Is n < 491?
False
Suppose 28*v - 19*v = 729. Which is smaller: 80 or v?
80
Let l be ((-12)/8)/((-8508)/(-16)). Which is smaller: l or 1?
l
Let k(p) = 5 + 5 + 40*p - 4 + 2. Let j be k(-1). Which is smaller: j or -33?
-33
Suppose 0 = 14*k - 20 - 36. Suppose 8 = k*n, 1 + 1 = 2*s - 5*n. Suppose -3*c = 4*f - 34, 2*f = 3*c + 10 - 2. Which is smaller: f or s?
s
Let s = 217 + -361. Let c be (382/12)/(2/(-9)). Let z = c - s. Which is bigger: 1 or z?
1
Let k be 1 + ((-285)/42 - 9/(-6)). Which is smaller: k or -4?
k
Suppose 4 = 5*q - 6. Let k be (-1)/q + 3/(-6). Let n = 95 + -98. Is n at least k?
False
Let o = 1.46 - 1.25. Which is bigger: 0.03 or o?
o
Let h(k) = -k + 10. Let o be h(2). Suppose -4*z = -0*z - o. Is -26 at least z?
False
Let j be (-3)/(-1) + 2170/(-721). Is j >= 1?
False
Let v = 317 - 364. Suppose -230 = 3*o + 2*o. Is v <= o?
True
Suppose 4*m + 1 = 9. Suppose -29*w - 10 = -28*w. Let g(b) = -b**2 - 10*b + 5. Let f be g(w). Which is bigger: f or m?
f
Let q(w) = -4*w - 2 - w**2 + 0*w - 5*w + 14. Let y be q(-10). Let j be y/(-8) + 135/140. Which is greater: j or 0?
j
Let l = -13927943/240730 + -1/34390. Which is smaller: l or -58?
-58
Let x(j) = -4*j + 18. Let v be x(4). Let z be 0 - (v - 912/452). Which is bigger: 1 or z?
1
Let g be -1 + 3 + (-16)/(-4). Suppose g*z - 12 = 8*z. Does z = -4?
False
Let t = -69/19 + -895/57. Suppose -5*y = -4*v - 84, -3*y + 77 = 2*y + 3*v. Let a = t + y. Is a bigger than -2?
False
Let q be ((-11)/22 + 226/468)*69. Which is greater: q or -2?
q
Let z = 1 - 0.9. Let j = 25.66 - 18.827. Let x = 0.167 + j. Is z less than or equal to x?
True
Let x = 750 - 792. Is x smaller than -65?
False
Let b(l) = -l**2 + 9*l - 3. Let q be b(6). Let o be 5*q*6/5. Let u be 2*(-3)/o*2. Which is smaller: 1 or u?
u
Let q = 22 - 19. Suppose -2*f - 3 = 5*r, 3*f = -6*r + q*r. Which is bigger: r or -2/149?
-2/149
Suppose 0 = 4*v - 4. Let d be ((-21)/14)/(v/2). Let m = d + -1. Is 0 not equal to m?
True
Let j(a) = -4*a**3 + 5*a**2 - 8*a + 20. Let v be j(4). Are -189 and v non-equal?
True
Let u be -18*(147/(-9) + 3). Let x be -1 - 0 - u/(-225). Which is greater: -1 or x?
x
Suppose 5*y + 15 - 5 = 0. Suppose 3*x = z - 5*z + 5, 0 = -4*z + 4*x + 40. Let l be (-2)/20 + (-2)/z. Is l greater than or equal to y?
True
Let a(w) = 9 + 12 - 2*w - 10. Suppose 12*j = 15*j - 15. Let g be a(j). Is g not equal to 2/39?
True
Let s be 5/(5490/528) - 1/3. Is 1 at least s?
True
Let u = 9 + -19. Let y = u - -14. Which is greater: y or 13/3?
13/3
Let p(m) be the second derivative of m**5/20 - m**4/3 - 2*m**3/3 - 5*m**2/2 - 8*m. Let b be p(6). Do 44 and b have the same value?
False
Let z be 4/(-4)*(2 + -2). Suppose -6*s + 115 + 29 = z. Is 24 > s?
False
Let t be (-5)/(-2)*(-8)/(-10). Suppose -t*z - 2*z + 12 = 0. Let o be (0 - z)/((-18)/4). Which is smaller: o or -2/5?
-2/5
Suppose 3*k + 4*k - 21 = 0. Suppose -3*t - 12 = 3*w - 0, 4*w + 20 = -k*t. Are w and -2 equal?
False
Let y = -4.54 + -4.26. Do 0 and y have the same value?
False
Let b be (-57)/(-12) - (-66)/(-88). Which is bigger: -72 or b?
b
Let y = 0.06837 + -0.05337. Let k be 16/(-6) + 1*2. Which is bigger: y or k?
y
Let k = 12 - 19. Let d = -1799 + 1801. Which is smaller: k or d?
k
Suppose 5*c + 91 = -24. Let f = -21 - c. Is 2 at least f?
True
Suppose -112*j = -109*j + 9. Is 4 >= j?
True
Suppose -1 = -b - 5. Let i = -4 - 1. Let g = i + 6. Which is smaller: g or b?
b
Let r be (56/10)/(10/25) - -5. Is r >= -3/2?
True
Let w be 2/(-8) + (-22578)/3160. Let z = -32/79 + w. Is -7 at least as big as z?
True
Let q = 211483036/137169 + 120/15241. Let g = q - 1540. Are 2 and g nonequal?
True
Suppose -j - 24 = 5*q + 2*j, 0 = q + 4*j + 15. Let a be (1 + 13)/(q - -4). Which is smaller: a or -2?
-2
Suppose 7 = -4*b + 3. Let f = -26 + 42. Let x = f + -15. Is b at least as big as x?
False
Let i = 3450 + -3449. Let d be (2 - 1) + (-336)/340. Is d at most as big as i?
True
Suppose -5*n - 10 = 0, -2*q = -5*n + 18 - 10. Which is bigger: q or -15/2?
-15/2
Suppose 6 = -h - 4*i, -h = -4*h + 4*i - 18. Let a(x) = 2*x**3 + 11*x**2 - 4*x + 12. Let m be a(h). Which is greater: -5/37 or m?
m
Let y = -160.8 - -160. Is y < -0.27?
True
Let i be 0 - 6*16/12. Let y = 5 + i. Let p be (-1 - y)/(7/4). Which is greater: 0 or p?
p
Suppose 2*c + 6 = 5*c. Let b be (c + -1)/((-4)/132). Let t = b + 33. Are t and 3/13 unequal?
True
Let g = -1820 + 1787. Is -0.3 less than or equal to g?
False
Let i = 49 - 1424/29. Let s(d) = d**3 + d**2 - d. Let r be s(0). Are r and i nonequal?
True
Let s(w) = -w**3 + 2*w**2 - 5*w - 1. Let z = 30 - 27. Let k be s(z). Let y = k - -13. Is y not equal to -11?
True
Let a(c) = c**2 - c + 1. Let f be a(2). Suppose f*u - 5*o - 5 = 0, -4*u + 2 = -u - 2*o. Let t = 16.06 - 16. Which is greater: t or u?
t
Let s be 25*(39/(-15) - -3). Let a = s - 9. Let m be 6 + -6 + (-40)/(-17) + -2. Which is greater: m or a?
a
Suppose 0 = 34*c + 28*c + 16182. Which is smaller: -264 or c?
-264
Let o be 2/(-33)*((-189)/78)/(-21). Is o at most 0?
True
Let b(s) = s**3 - 11*s**2 - s + 1. Let d be b(11). Let l be (-2)/9 - (-476)/36. Suppose -35 = 2*x - l. Is d greater than x?
True
Let p = -6 - -6. Suppose 3*r + p*r = 6. Suppose 4*y + 2 = -r. Is y not equal to 11?
True
Let b = -38 + 22. Let z = b + 22. Let r = 11 - 6. Is r not equal to z?
True
Let q be ((-2)/(-5))/(1014/(-130)). Which is greater: -0.1 or q?
q
Let u be ((-14)/(-21) - (-14)/6) + 3. Suppose -u = -2*f + 8*f. Suppose -2*o + 8 - 28 = 4*z, 2*o - z = 0. Which is smaller: o or f?
o
Let p be ((-4)/(-14))/1 + 9048/182. Let j = p - 20. Is j > 30?
False
Suppose 3*z = -j - 13, 21*z - 16*z + 18 = 2*j. Which is greater: z or -14?
z
Suppose 4 - 8 = 4*c. Let s(x) = 3*x + 2. Let z be s(c). Let v be 8*3/(-54)*1. Which is greater: v or z?
v
Let f(j) = 3*j**2 - 3*j. Let a be f(2). Let q be (-2)/a - 2/3. Let n = -851 - -4247/5. Is n < q?
True
Let r = 0.1 - -4.9. Let t be -6*(-3 + 44/12). Which is greater: r or t?
r
Let z = -3.9 + -9. Let s = -13 - z. Let m be (-2 + -1)/(-18)*-2. Which is bigger: m or s?
s
Let g be 4/(-2)*(-1)/45. Let d(h) = -h - 8. Let w be d(-9). Suppose 2*k - k = w. Is g < k?
True
Let f = -564/5 + 2271/20. Is f equal to -45?
False
Let a be (-1722)/30 - 3/5. Let u be (-3 - (a + 1)) + -1. Let t = 37 - u. Which is bigger: t or -17?
t
Suppose -2*x + w = -4*x + 13, 17 = -2*x + 5*w. Suppose 0 = -3*h + 3*v + 21, -7 = x*h - v - 32. Let k = -2 - -7. Is k at least h?
False
Let j be (-50)/(-475) + 34/38. Is -3 at most j?
True
Let m be ((-53)/12)/((196/273)/(-4)). Let r = 160/7 - m. Which is smaller: r or -1?
r
Let r be (3/1)/((-2)/(-6)). Let d = 596 - 596. Which is smaller: r or d?
d
Let s = -60.02 + -10.88. Let m = -71 - s. Let q = 0.2 + -0.15. Which is greater: m or q?
q
Let f(o) = -5*o + 39. Let x be f(4). Which is smaller: 13 or x?
13
Let d be ((-1295)/10 + -5)/((-2)/4). Is d at least as big as 269?
True
Let a be (12/(-8))/((162/444)/9). Suppose -4*k + 62 = 2*q, 0 = 2*q - 3*k - 38 - 45. Let y = a + q. Is y > 0?
False
Suppose -4*x = -0*x + 4. Suppose -6*d + 72 = -2*d. Let f = d - 18. Which is smaller: x or f?
x
Let l be (-10)/(-326)*90/150. Are 1 and l equal?
False
Suppose -4*p = 25 + 15. Let i = 219 - 229. Is p <= i?
True
Suppose -j = -1, 25 - 1 = -p - j. Suppose -o + 96 = -4*g, 4*o + 11 = -5. Is p bigger than g?
False
Let h = 1.3 - 1. Let k = 5.89 - -1.11. Which is smaller: h or k?
h
Let j = -1553/16409 - -6/61. Is 1 not equal to j?
True
Let j be 4*((-22)/8 - 0). Let y be -4 + (-5)/(30/36). Is y bigger than j?
True
Suppose -4*b + 