 or k?
k
Let b(m) = m - 4. Let n be b(6). Suppose 0*z + z + 5*k = -5, -2 = -z + n*k. Let f = 1/21 + -68/105. Which is smaller: f or z?
f
Let s(i) = i**3 - 2*i - 1 + 6 + i**2 + 2*i**2. Let l be s(-4). Which is smaller: l or -4?
-4
Let w be ((-3)/(-160))/((-24)/(-20)). Which is bigger: w or 0?
w
Let l be 30/(-20)*(-4)/3. Let x be 1/l + 85/(-150). Are x and 1 nonequal?
True
Let y = 6 - 4. Suppose -u = -2*d - 2, -4*u + y*d = -3 + 1. Are -1/2 and u non-equal?
True
Suppose 8 = -3*f + f. Is f smaller than -11/3?
True
Let r be 2/(-4) + 19/40. Which is greater: r or -1?
r
Suppose 5*y = 21 + 139. Suppose -5*z - g + 20 = 0, 4*g - y = -z - 3*z. Suppose 6 = 2*w - 3*f - z, -4*w + 17 = -5*f. Are 0 and w unequal?
True
Let p be 6/(-20)*(-256)/(-48)*-5. Which is greater: 3 or p?
p
Suppose -3*j + f = -8*j - 20, 0 = -2*f - 10. Let o be (2/j)/((-26)/(-6)). Let u(t) = -t + 32. Let k be u(32). Which is bigger: k or o?
k
Let h be 46/(-11) - 2/(-11). Let w be h*4/(-6) - 2. Which is smaller: 6 or w?
w
Let d(w) = w**2 - 4*w. Suppose -3*i + 14 = x, -3*i = 3*x - 11 - 7. Let z be d(i). Let k = -1.8 + -0.2. Is z less than or equal to k?
False
Suppose 5*l + 12 = h, 4*l - 1 = -2*h - 19. Which is bigger: h or -13/3?
h
Let d(g) = g**2 - 2*g - 3. Let b be d(4). Suppose b*i + 5*o + 40 - 15 = 0, -i + o = 15. Let y be (15/25)/((-2)/i). Does 2 = y?
False
Suppose -2*u + 5*u - 5*y = 37, 2*u + 7 = -3*y. Suppose -t = -u*t. Do 2/7 and t have the same value?
False
Let w be -4 - -1 - (-1)/((-2)/66). Are -36 and w equal?
True
Let p be (-55)/(-20) + 1*-3. Which is bigger: p or 1/3?
1/3
Let j(r) = r**3 - 6*r**2 + 3*r + 11. Let k(h) = h**3 - 6*h**2 + 3*h + 12. Let x(t) = 5*j(t) - 4*k(t). Let w be x(5). Are -3 and w unequal?
False
Let t(o) be the second derivative of o**3/6 + 7*o**2 - 4*o. Let m be t(-10). Does 5 = m?
False
Suppose 0 = -0*j - 4*j + 8. Suppose -4*b + 8 = 2*l, 0 = -5*b + 5*l - j - 3. Which is smaller: b or 1/9?
1/9
Let d = -0.19 - -0.39. Is d smaller than 3?
True
Let r = 23 + -91/4. Which is greater: 2/5 or r?
2/5
Let q be (-2)/(-6) + 6/(-18)*-2. Which is greater: -2/37 or q?
q
Let j = -1 - -0.6. Let o = 1.3 + -0.3. Which is greater: o or j?
o
Let v be (1 + 2)*40/6. Let k(n) = -3*n + 5. Let w be k(-5). Let h be 5/v*w/6. Is 2 at least as big as h?
True
Let n = 1 + -2. Let z = -9.8 + -0.2. Let g = -10.1 - z. Which is greater: g or n?
g
Suppose 5*z + 32 = -2*k, -2*k + 28 = -16*z + 11*z. Which is greater: z or -21/4?
-21/4
Let j be 96/(-351) + (-6)/(-27). Let b be 2*2/(-8) - -1. Are b and j nonequal?
True
Let d = -1/6 + -1/12. Suppose 2*z - 10 = 5*m - 6*m, 4*z - 20 = 0. Which is smaller: m or d?
d
Let q = 0 - 0. Let c = 0 + q. Let g = -10127/15 + 675. Which is smaller: g or c?
g
Let z = 34 - 41. Is z less than or equal to 1/4?
True
Suppose 0 = 2*h + x, 4*h + h = 4*x. Suppose -z + 3 = -h*z. Are z and 0.1 equal?
False
Suppose -3*k = -u - 4, 5*k - 3*u - 4 = 8. Suppose 3*d - 2*d = k. Which is smaller: d or 1/5?
d
Let o(s) = s**3 - 2*s**2 - 2. Let m be o(3). Let n be 7 + -1 - (2 + -3). Is m less than or equal to n?
True
Suppose 15 = 4*n - 5. Suppose -6 - 10 = -3*c + 2*h, 2*c + 6 = -2*h. Suppose 40 = -4*l - 5*y, c = -n*l + 3*l + 2*y. Is l less than -4?
True
Let t be -2 + -6 + -3 + 3. Let y be (6/t)/((-90)/96). Which is greater: y or 1?
1
Suppose 0 = 2*h - 4*h + 12. Let p = h - 4. Does 2 = p?
True
Let i(g) = -8*g**3 + 2*g**2 + 3*g + 1. Let j be i(-1). Which is smaller: 20/3 or j?
20/3
Let h(w) = -w + 3. Let m be h(3). Suppose m = 3*o + 6 - 3. Let x = -127/259 + -3/37. Which is bigger: o or x?
x
Let n be (-1)/(3/9) + 0. Let m(p) = -2*p - 5. Let h be m(n). Which is greater: h or -1?
h
Let n = 18.79 + 1.11. Let a = 20 - n. Which is greater: -3/10 or a?
a
Suppose 4*f - 421 = r, 7*r = -f + 3*r + 118. Is f bigger than 106?
False
Suppose -p - 5 - 11 = 0. Let f be 27/4 - 4/p. Let l = 14 + -8. Is l < f?
True
Let m(r) = -r - 9. Suppose 26 = 4*z - 6. Let n be -5 + -1 - (10 - z). Let d be m(n). Is 1/4 less than d?
False
Suppose 14 = 3*l + 5*j, -5*l + j + 11 + 3 = 0. Suppose -3 = -l*h - 9. Which is bigger: h or -8/7?
-8/7
Let a be (-21)/(-9) + (-1)/3. Suppose 9 = -4*r + a*q - 1, -25 = -5*q. Let b = 926/65 + -72/5. Which is smaller: r or b?
b
Let d be (-36)/(-285)*25/(-2). Let x = -357/190 - d. Is x less than 1?
True
Suppose -r = -0*r - 5. Suppose 2*x = r*x. Is 0 less than x?
False
Let c = 0.2 - 0.08. Let o = -9.12 + c. Which is smaller: o or 1?
o
Let r(c) = 9*c - 2. Let f be r(-1). Which is smaller: f or -23/2?
-23/2
Let r(m) = -4*m**2 + 6*m + 3. Let b(h) = 5*h**2 - 6*h - 3. Let g(z) = -2*b(z) - 3*r(z). Let a be g(3). Is a at most -5/2?
True
Let u(r) = -r**3 - 5*r**2 - 5*r - 3. Let f = 0 - -4. Suppose -28 = 5*d + 2*j, -20 = -3*d + f*d + 4*j. Let h be u(d). Is h less than 2?
True
Let a = 11 + -35. Which is bigger: a or -25?
a
Let k(s) be the second derivative of -s**4/12 + s**3/2 + 3*s**2/2 - 4*s. Let r be k(4). Is 1 less than or equal to r?
False
Let p = -166 + 5811/35. Which is smaller: 0 or p?
0
Let m(t) = t**2 - 2*t. Let a(c) = -c**3 - 5*c**2 + 4*c - 2. Let i be a(-6). Suppose -u = 3*q - 0*q - 7, -5*u = i. Let k be m(q). Is 3 > k?
False
Suppose -18 = 5*j - 3, 5*j - 85 = -5*a. Suppose -4*v - v = a. Is v at least -4?
True
Let m = 0.4 + 0.2. Let w(f) = 2*f**3 - 16*f**2 + 10*f + 29. Let c be w(7). Which is smaller: m or c?
m
Suppose -n = 2*n - 3. Let u be -1*(0 - (-9)/(-21)). Does u = n?
False
Let i(b) = b**3 + 4*b**2 - 11*b - 2. Let q be i(-6). Which is smaller: q or -64/9?
q
Suppose -75 = 2*n - 7*n. Suppose -p + 5*g + 3 = -n, -4*p - 20 = 3*g. Is -1/2 smaller than p?
False
Suppose -5*l - 23 = 52. Let c be (-2)/(-10) - (-3)/l. Let b be (0 + -3)*(-4)/6. Which is smaller: c or b?
c
Let f = 0.01 - 1.01. Is 2/9 greater than or equal to f?
True
Let i = 150 - 83. Suppose 5*c + i = -158. Let v = 228/5 + c. Are 2 and v unequal?
True
Let c = -34 + 36. Suppose 0*p - 3*p + 8 = c*y, -1 = y - p. Let v be 2/(-6) - 17/(-33). Is v bigger than y?
False
Let d be ((-1)/(-8))/(12/70). Let k = d - 1/16. Which is bigger: 2 or k?
2
Let j = 2 + -1. Let u(a) = 3*a - 101. Let h be u(34). Are j and h non-equal?
False
Let c = -0.9 + -0.1. Let k = c - -0.5. Let s = 0.7 + k. Is s less than or equal to -1/3?
False
Suppose -4*y = -w + 3*w + 16, 8 = -4*w. Let k(o) = 2*o. Let m be k(y). Is m at least -6?
True
Let z = -1447/10 + 144. Let u = z + -4/5. Which is bigger: -1 or u?
-1
Let q = 0.8 + -0.9. Is q > 3?
False
Let a = -0.1 - -4.1. Let x = 7 - a. Which is smaller: x or 2/7?
2/7
Let r = 10 + -8. Suppose r*v = 5*v. Is 2/25 < v?
False
Let w be (2/1 - 1)/1. Which is bigger: 2/41 or w?
w
Suppose -5*o - 20 = -5*a, 4*a + 3*o = -0*a - 19. Which is smaller: 8/33 or a?
a
Suppose -z - 22 = 2*d, 4 - 13 = 3*d. Are 0.3 and z nonequal?
True
Let j = -78 - -77. Which is greater: -1/10 or j?
-1/10
Let j be -3 + 2 + 4 + -1. Let y be 2/9 + (-102)/(-27). Suppose -j*a + 4*o - 2 = 0, -2*a - 3*o = -a - y. Is 2 greater than a?
True
Let y = 226/183 + 6/61. Is y at least as big as 0?
True
Let d(z) = z + 8. Let q be d(-8). Suppose -4*r - 3*l + 8*l - 20 = q, -20 = 4*r - 2*l. Is -5 != r?
False
Let s be 1/(-4) - (-6 - (-99)/18). Are -10 and s non-equal?
True
Let i = -7 + 9. Suppose 2*b = -0*b - 2*n + 20, -n + 17 = i*b. Is 7 bigger than b?
False
Let g(z) = -z**3 + 8*z**2 + 10*z - 12. Let u be g(9). Let w be 0/u + (-1 - -2). Suppose 2*d - 5 = -3. Does d = w?
True
Suppose 0 = -4*x + 5*h - 25, -3*x - 2*h + 10 = -7*x. Suppose -28 + x = -4*p. Let o = 10 - p. Which is smaller: 0 or o?
0
Let i be (-27)/(-9) + (-14)/(-1). Let m = -17 + i. Which is bigger: m or -1/15?
m
Suppose -f - 2*n = -9, 28 - 12 = 4*f + 4*n. Let d(s) = s**2 - 24 + 18 + 4*s + s. Let c be d(-6). Which is smaller: f or c?
f
Suppose 1 = 4*n + 3*a, -n - 5 + 0 = -a. Let q(v) = 2*v + v - v + 3. Let s be q(n). Which is bigger: 0 or s?
0
Suppose 234 = 20*m - 14*m. Which is bigger: 38 or m?
m
Let y = 12 + -21. Let i be 315/6*(-6)/y. Let w be (4/(-10))/((-28)/i). Which is greater: 0 or w?
w
Let y = -112 + 113. Which is smaller: -2/69 or y?
-2/69
Let m be (3/(-9))/(2/(-18)). Suppose m = g - 2*u, -5*g + 4*u = u - 15. Is g < 2?
False
Let k be (-6)/4*(-20)/(-6). Which is greater: k or -4?
-4
Let o be ((-1)/(-1))/(5/(-35)). Is o > -1/4?
False
Suppose 0 = 4*x + 4*v - 0*v - 208, -x = -v - 56. Does 53 = x?
False
Supp