7*j - 6. Let v be t(-6). Let s be ((-4)/(-6))/(52/v). Which is bigger: s or y?
s
Suppose -5*o - 2*i = -79, -4*i + 14 - 6 = 0. Let p = 61 + -67. Let f be p/o - (-54)/10. Which is smaller: f or 3?
3
Let w = 18 + -11. Let z(h) = 2*h**3 - 2*h**3 - h**3 + 8*h**2 - w*h. Let l be z(7). Which is smaller: -1/2 or l?
-1/2
Let o be (-4)/20 + (-78)/10. Let s = -18 - -12. Which is smaller: o or s?
o
Let z(k) = -k**3 - 11*k**2 - 9*k + 14. Let g be z(-10). Let j be -2*(g - 44/12). Which is greater: j or 6?
6
Let i = -16 + 3. Let d = i + 9. Is 0 >= d?
True
Let x be ((-55)/(-9))/5 + -1. Which is smaller: x or 0.7?
x
Let b(i) = -i**3 + 2*i - 3. Let y be b(4). Let q be (59 - 0) + 2/3. Let g = q + y. Which is greater: g or -0.1?
g
Let m = -11.2 + 24.5. Let x = 13 - m. Is x less than -1?
False
Let n be 1/((-81)/(-63) + (-4)/14). Which is smaller: 12 or n?
n
Suppose -4*u + 4*w = 12, -w + 3*w - 10 = 0. Suppose -7*k = -2*k. Let y = k + 3. Is u greater than y?
False
Let z be (-14)/21*(-1 + -8). Let q be (-19)/z - 0 - -3. Let k = -99/4 - -25. Which is bigger: k or q?
k
Suppose 2*f = f - 5*c + 18, -c = 5*f - 66. Is 12 greater than f?
False
Let t(o) = -o**3 - 3*o**2 + 2*o + 5. Let h be t(-3). Is h at least as big as 2/21?
False
Suppose -2*x + 24 = 5*w, 9*x - 6 = 4*x + w. Let g be ((-3)/(-9))/(5/15). Which is bigger: x or g?
x
Let m = 2.25 + -22.65. Let t = m + 20. Let x be (-16)/10*1/(-4). Which is smaller: t or x?
t
Let x(p) = -4*p + 5*p + 1 + 1 - 5. Let m be x(5). Let w(l) = -l - 2. Let r be w(-4). Is r less than or equal to m?
True
Let s be 7/(-9) - 8/36. Let x(o) = -o**3 - 1. Let u be x(s). Which is smaller: 2/3 or u?
u
Let a = 5/18 + -4/9. Is -1 at least as big as a?
False
Let d = -51 - -56. Which is smaller: d or 9?
d
Let g be 5/(-1 + (4 - 4)). Which is bigger: g or -17/3?
g
Let c = -24 + 25. Let n be 6/(-4)*(-2)/5. Is n < c?
True
Suppose -2*s + 8 = -s. Suppose s*d = 4*d. Let z be 34/52 + (-2)/4. Are d and z nonequal?
True
Suppose 3*z = 1 + 11. Suppose -2*r + z = -0*r. Is 1 at most as big as r?
True
Let b be 2 - (27/6 - 2). Let r = b + -1/6. Is r less than 0?
True
Let y be (40/(-25))/((-2)/15). Suppose 4*p + y = -3*l, -l = 3*p + 17 - 3. Which is smaller: -9 or p?
-9
Let f = 2.2 + -2.18. Which is smaller: f or -2/5?
-2/5
Let o = 16 + -9. Let j = -5 + o. Is 2 >= j?
True
Let j = -0.6 + 0.7. Let f = j + -0.2. Is 1 less than or equal to f?
False
Let i = 47 + -11. Is i not equal to 0?
True
Let l = 247/4 - 62. Which is greater: l or 6?
6
Let k be (-2)/(-8) + (-49)/(-28). Let o be 0/((-1)/2*k). Suppose -1 = x - 0. Is o at least x?
True
Let k = -5 + -1. Let u be (6 + -3)/(k/(-4)). Let m be (1 - u)/(-1 + 0). Which is greater: m or -2/13?
m
Let n be (378/(-45))/(6/(-40)). Which is greater: 55 or n?
n
Let w(v) = -3*v - 5. Let h be w(-5). Suppose h = b - 6. Suppose -b = -5*u - 4*d + 1, 4*u = 4*d - 8. Which is bigger: u or -1/5?
u
Let k be 5 + 1 + -4 + (-34)/15. Is k greater than or equal to 0?
False
Let x be -10*-2*(-2)/8. Let d = x + 7. Which is smaller: d or 0.3?
0.3
Let r(m) = m**3 - m**2 - m - 3. Let f be r(0). Which is smaller: f or -4?
-4
Let b = -4 - -3. Let f be 1/(80/32*5*1). Which is smaller: f or b?
b
Let d(g) = g**3 + 5*g**2 - 2*g - 3. Let q be d(-5). Let a(l) = -2*l**2 + 2*l + 7 + l**2 + 4*l. Let r be a(q). Is r smaller than -1/2?
False
Let y be (-20)/(-6) - 1/3. Suppose 4*q + 90 = -q. Let c be q/56*(-8)/y. Is c at most as big as 2?
True
Let w = -243/2 + 119. Suppose -3*q + 4*z - 16 = 2*q, 5*q + 5*z = -25. Which is smaller: q or w?
q
Let p be (2/12)/((-6)/(-18)). Is p greater than -0.13?
True
Let b = 0.43 - 0.38. Is b smaller than -0.1?
False
Let b be 32 + -30 - ((-101)/2 + 2). Which is greater: b or 51?
51
Let v = -9/7 + 59/35. Let c = -1261/14 + 90. Let m = c + -3/14. Which is smaller: v or m?
m
Let d(i) = -63*i + 2. Let u be d(2). Let x be 10/(-45) - u/639. Is x >= -1?
True
Let y = -1.5 - -1.2. Let i = y - -0.3. Is i greater than 9?
False
Let a = 9 - 14. Which is smaller: a or -2?
a
Let h = -2.7 - -2. Let u = 14 + -14.9. Let x = h - u. Is -2 less than or equal to x?
True
Suppose -5*v + h = -9 - 1, 2*v + 2*h = 16. Let b be (-8)/(-3)*v/2. Let s = b - 2. Is s at least as big as 2?
True
Suppose 0 = 5*f - f + m - 30, 4*f - 24 = -4*m. Let k be (f/(-50))/((-54)/45). Is k <= 1?
True
Suppose 0*b = b - 4. Suppose b*g - 11 = 9. Which is greater: 4 or g?
g
Let q = -5 - -14. Let s be ((-1)/(-3))/((-12)/q). Suppose 4*j - 10 = -2*i, 0 = -0*j - 3*j + 9. Is i bigger than s?
False
Let l = 2 - 2. Suppose -5*k - 6 + 1 = -5*w, 0 = -2*w + 8. Is k bigger than l?
True
Let n(b) = 2*b - 3. Let x be n(3). Suppose 5*w - l = -195, 5 = -x*l + 4*l. Let p = -151/4 - w. Which is bigger: p or 0?
p
Let q be (6/9)/((-2)/(-36)). Let p be 4/q - (-4)/6. Which is greater: 2/25 or p?
p
Let v be 72/(-180) + 2/10*7. Let a be 4/(-126)*(-9 + 12). Which is bigger: a or v?
v
Suppose 5*c = -4*l + 131289, 3*c - 4*l + 14356 - 93155 = 0. Let y = c - 1838101/70. Let u = y - 27/10. Is u at least as big as 1/4?
False
Let s = 1423010/77 - 18480. Let i = s - 4/11. Let p be 2/(-3) + 1 + (-6)/18. Is p less than i?
True
Suppose -4*i + 0 - 9 = 5*f, -5*i = -4*f + 1. Let r be (f/18)/(4/(-8)). Are r and 1 non-equal?
True
Let k = -3/7 - -19/28. Let z be (-2 - -3) + 0 + -1. Is z greater than or equal to k?
False
Suppose 4*a + 0 = 16. Let l be (a + -4)/((-4)/2). Is l bigger than -1/5?
True
Let s = 1.1 - 1.1. Suppose 12 = 4*o, 0 = 5*u - 0*o + 2*o - 11. Let h be -1 - (0 - 0)/u. Which is greater: s or h?
s
Let q be 6/4 + (-2)/(-4). Suppose 4*k + q*y + 38 = 0, -k + y + 40 = -6*k. Which is smaller: -6 or k?
k
Let m(r) = -7*r**2 + 1. Suppose -2*w - 4 = 2*w. Let k be m(w). Is -5 at most as big as k?
False
Let l = 6 - 5. Let k = 1 - l. Let n = k - -0.2. Which is smaller: n or 0.1?
0.1
Let r(c) = c**3 + 5*c**2 + 6*c + 7. Let f be r(-4). Is 1/12 greater than or equal to f?
True
Let m = 6 - 4. Let c be 37/m - 7/14. Let w be ((-3)/10)/(c/(-15)). Which is smaller: -1 or w?
-1
Suppose 3*f - 2*m = 5, m = 5*f - m - 11. Suppose -f*p - 4 = -p. Let r be (1/(-4))/(1/2). Which is greater: r or p?
r
Let x = -22 + 18. Let c = 5/2 + -2. Which is smaller: c or x?
x
Let c = 4 + -7. Let u be ((-5)/c - 2)/1. Which is smaller: u or 0?
u
Let g = 2 + -3. Let w be (-2)/((13 - 2)/g). Suppose -3*m + 0*m = -3. Which is bigger: w or m?
m
Let p(d) be the second derivative of d**3/6 + d**2/2 - 3*d. Let k be p(-5). Which is greater: -3 or k?
-3
Let k = -62 + 63. Which is greater: k or 21?
21
Let h be (4/(-16)*2)/((-2)/(-28)). Is -8 smaller than h?
True
Let w = -18 + 17. Let h = -1.1 - w. Do h and 10 have different values?
True
Let i(q) = -2*q + 6. Let k be i(3). Suppose n + 8 = -m, 0*m + 7 = n - 2*m. Let w be 1/n*(-12)/(-10). Is w greater than k?
False
Let n = -30 + 25. Let z = 4 + n. Is 1/3 at least z?
True
Let p be (-2)/(-11) - 13/11. Let v be 0/(-2) - (-2)/p. Let a = 1 - 3. Is v smaller than a?
False
Suppose 4*i = z + 2*i + 2, -1 = -z - i. Which is smaller: -1/2 or z?
-1/2
Let x be (-5)/(-3)*(-15)/(-5). Suppose -x*w = 5*k + 25, k = w - 1 - 0. Which is greater: k or -5?
k
Suppose 30*h = 32*h + 20. Is h <= -9?
True
Let t = -12/7 - -142/91. Is t at most as big as -2/9?
False
Suppose 8 = 5*u - 2*a, 0 = u - 2*a - 8 - 0. Suppose -2*s = -u*s. Which is smaller: s or -3?
-3
Let k(p) = -2*p**2 + 1. Let g be k(0). Let u be (2/g)/(6 - -10). Which is greater: u or -1?
u
Let j = 45 - 44. Which is smaller: j or 11/7?
j
Let g = -1 + 2. Let b = 0.9 - g. Let u = b - -0.2. Which is smaller: -2 or u?
-2
Let b be 2 - -1*(2 + -2). Let u be (21/6)/(b/4). Let d(o) = o**3 - 7*o**2 - o + 7. Let s be d(u). Are 2/7 and s equal?
False
Let z(l) = -l**2 + 2*l + 5. Suppose 0 = 4*v + 4, 3*p = 2*v + 2 + 12. Let u be z(p). Suppose 10 - 4 = 3*o, 2*w - 5*o + 18 = 0. Is w greater than u?
False
Let d be (-1072)/(-36) + 2/9. Let z be 14/d - (-2)/10. Is z greater than or equal to 3?
False
Let v = 0.3 + -0.5. Let a = 0.12 - 0.1. Let b = a - -1.98. Is v at least as big as b?
False
Let p(d) = d**3 - 21*d**2. Let j be p(21). Which is bigger: -0.2 or j?
j
Suppose a = -a + 8. Let q = 6 - a. Suppose 5*c = 3*o + 2*o, 3*c = q*o - 1. Do o and 0 have the same value?
False
Let f = 62 + -46. Is f at most 17?
True
Let u be 6*4/(-8) - -19. Let p be (-66)/(-8) - (-12)/u. Which is bigger: p or 8?
p
Let b = -39 - -