tor of l?
False
Suppose 2*u + 2*t = t + 99, -2*u - 5*t + 95 = 0. Is u a multiple of 10?
True
Let s = -593 - -850. Is s a multiple of 20?
False
Is ((-76)/(-3))/((-4)/(-6)) a multiple of 19?
True
Suppose -f - 4*f + 160 = 0. Is f a multiple of 16?
True
Let l = 49 + -8. Is 5 a factor of l?
False
Let i be 100*(9/12 + 0). Let f = 24 + i. Is f a multiple of 33?
True
Let b(w) = 0*w**2 + 0 + 2 + w**2 + 2*w - 2*w**3 + 0*w. Does 9 divide b(-2)?
True
Suppose 3*z - 6*z + 15 = 0. Let r(q) = 2*q + 2. Does 6 divide r(z)?
True
Let m = 4 - 3. Suppose 39 = 2*s - m. Is s a multiple of 9?
False
Let n = -3 + 6. Is (-6)/n - -2 - -3 even?
False
Let i = 3 + 0. Suppose k = i*k. Suppose k = 6*l - l + 5*j - 95, 2*l + j = 38. Is 19 a factor of l?
True
Suppose -d + 5*d + 60 = 0. Is 10/(-3)*108/d a multiple of 12?
True
Suppose -27 + 215 = -4*i. Let c = i + 68. Is c a multiple of 6?
False
Suppose -5 = 4*u - 49. Is u a multiple of 4?
False
Let z = -37 - -65. Is 7 a factor of z?
True
Let a = 186 - 118. Is a a multiple of 17?
True
Let b = 5 - 3. Suppose -t + 255 = 3*l + 2*t, -79 = -l + b*t. Suppose 3*j - 4 = l. Is 12 a factor of j?
False
Suppose z - u = -2*u + 357, 5*z - 3*u - 1793 = 0. Is z a multiple of 50?
False
Let u(d) = -d + 13. Let l(a) = -a + 14. Let t(z) = 4*l(z) - 3*u(z). Does 17 divide t(0)?
True
Let d = 0 - -2. Let f be (6 + -3 - -3) + 0. Suppose 5*t - 135 = -a + f*a, 56 = 3*t + d*a. Is 11 a factor of t?
True
Suppose 2*u - 8 = 0, 3*n - 2*n = -4*u + 51. Is n a multiple of 25?
False
Let m be (-1 - 1)/(4/22). Is 11 a factor of 4/((-4)/m) + 0?
True
Let d = 124 + -85. Is d a multiple of 13?
True
Suppose 1 = 3*b - 35. Is 6 a factor of b?
True
Let h be -3*2/(-1*2). Suppose -h*x - 4*f + 74 = -0*x, 4*f - 44 = -2*x. Is 14 a factor of x?
False
Let s(p) = -p - 11. Let y be s(-14). Is -2 + ((-282)/(-2))/y a multiple of 15?
True
Let v be 31/((-1 - -2)*-1). Let a = 71 + v. Does 16 divide a?
False
Suppose -3*l + 2*l = 5*s - 24, -5*l = -2*s + 15. Suppose 3*k + s*a - 103 = 29, -3*k + a + 150 = 0. Is 24 a factor of k?
False
Let h be (12/10)/((-18)/(-240)). Let x be (-2)/(-3)*(-1 - 5). Let k = h + x. Is k a multiple of 12?
True
Let o be (-1)/(2*(-3)/12). Let i be (-40)/(-15) + o/(-3). Suppose 0 = 4*r - 8, i*k + 2*r = -3*k + 49. Is k a multiple of 3?
True
Suppose -3*v = -b - 4, 4*b + 2*v - 18 = -6. Suppose -16 = -f - b*p, 3*p - 45 = -5*f - 0*p. Is f a multiple of 3?
True
Let x(c) = c**2 - 2*c + 7. Suppose -2*z - 4*b + 36 = 0, -4*z + b - 5*b + 84 = 0. Suppose 5*y + g + 2*g - z = 0, -3*y + 3*g + 24 = 0. Does 14 divide x(y)?
False
Let h(s) = -2*s**3 - 2*s**2 + 2*s + 4. Let c be (-6)/(0 + 5 + -3). Is h(c) a multiple of 16?
False
Suppose -125 = -2*c - 4*i + 145, -3*c + 3*i + 360 = 0. Is c a multiple of 26?
False
Suppose 0 = 3*q - 50 + 11. Is 10 a factor of q?
False
Let k(o) = -10*o**3 - 5*o**2 - 2*o - 6. Suppose -13 = -3*y + 2. Let l(n) = -11*n**3 - 6*n**2 - 2*n - 7. Let v(p) = y*l(p) - 6*k(p). Is v(2) a multiple of 15?
True
Let j be ((-4)/12*0)/(-1). Suppose j = l + 6 - 18. Is 8 a factor of l?
False
Let m = 55 + -111. Let h = -12 - m. Is h a multiple of 17?
False
Let c = 14 - 5. Let b = 3 + c. Is 12 a factor of b?
True
Let o = -38 - -22. Let s = -29 - o. Let d = 21 - s. Is 15 a factor of d?
False
Suppose 15 + 17 = 4*p. Is p a multiple of 8?
True
Let j(r) = -r**3 + 4*r**2 - 5*r + 3. Let i be j(3). Let p be -2*2/(-1 - i). Let o = 17 - p. Does 7 divide o?
False
Suppose h = 5*h + 8. Let p(s) = 3*s**3 - 8*s**2 - 5*s + 3. Let x(z) = z**3 - 4*z**2 - 2*z + 1. Let n(b) = h*p(b) + 5*x(b). Does 13 divide n(-5)?
False
Suppose -s + 32 = -0*s. Is s a multiple of 8?
True
Let z be 17 - (3 - 3 - -2). Suppose k = 3*k - 10. Let y = k + z. Is 10 a factor of y?
True
Let k be (-3)/2 - 50/(-4). Does 7 divide (-156)/(-11) - 2/k?
True
Suppose 0*z + 2 = z. Does 18 divide ((-145)/(-15))/(z/6)?
False
Let y(r) = r + 4. Let m be (-2 - 1)*(-4)/(-6). Let z be y(m). Is (7/z + 1)*8 a multiple of 18?
True
Let j = -34 - -22. Let f = -6 - j. Is 122/f + 12/18 a multiple of 12?
False
Let o(f) = 4*f - 6. Suppose -28 = -5*b + 7. Is o(b) a multiple of 11?
True
Suppose 2*u + 4 = 12. Suppose -4 = -a + u*s, 0*s = 3*a - 4*s - 36. Does 8 divide a?
True
Suppose -4*y = -4*b + b - 26, -2*b - 8 = 2*y. Let w(i) = -i**2 + 5*i + 10. Let c(o) = -5*o**2 + 20*o + 41. Let n(a) = -2*c(a) + 9*w(a). Is n(b) a multiple of 7?
True
Suppose 0 = k - 0*k - 2. Let v = -2 + k. Suppose 5*g + 0*g - 110 = v. Does 12 divide g?
False
Let t(d) = 5*d**2 - 5*d - 1. Does 29 divide t(3)?
True
Suppose 5*w - 4*v - 18 = -0*v, -5*v - 18 = -4*w. Suppose 0 = 4*d - 20, -6*a = -w*a + d - 33. Is 3 a factor of a?
False
Let z = 9 + 3. Is 7 a factor of 3/z + 321/12?
False
Is 2 a factor of -3 + 3 + 3 + 0?
False
Let z(t) = t**3 - 5*t**2 + 4*t - 4. Let o be z(3). Is ((-115)/o)/((-2)/(-4)) a multiple of 9?
False
Let c be (12/(-8))/(9/(-66)). Suppose -6*n + c*n = 145. Does 15 divide n?
False
Suppose 2*h + 2 = 8. Suppose -32 = -h*m + m. Is m a multiple of 8?
True
Suppose -p + 2*l + 12 = -0*p, -p + l + 9 = 0. Suppose -106 = -2*g - 4*i, i + 57 = g + 4*i. Suppose -3*m + g = -p. Is m a multiple of 9?
False
Let s = -52 - -76. Let h be s/20 - (-1)/(-5). Suppose 5*l - h = 34. Is 7 a factor of l?
True
Let l(h) = 9*h**2 - 4*h + 2. Let x be l(2). Let t = x + -15. Is t a multiple of 6?
False
Is 16 a factor of (-6)/(-1) + -4 - (-220)/2?
True
Is 22 a factor of -36*4/8*-2?
False
Let i be (-99)/6*2/3. Let t = i - -24. Is t a multiple of 13?
True
Suppose 630 = 20*n - 5*n. Is 3 a factor of n?
True
Let m = -21 + 40. Does 19 divide m?
True
Let w(q) = -q**2 + q. Let o be w(1). Let v(z) = -z**3 + z + 6. Does 3 divide v(o)?
True
Suppose -3*x - 2*x = -15. Let v(c) = -2*c**3 + c - 1. Let z be v(1). Does 13 divide 6*(x + z/4)?
False
Suppose 0 = p + p - 4. Let k(q) = q - 1. Let a be k(3). Suppose -28 = -p*d + a. Is 15 a factor of d?
True
Let l(s) = -s**3 + 1. Let u be l(-1). Let o be 113/u + 4/(-8). Suppose o = 5*k - k. Does 7 divide k?
True
Is (26 - (6 + -4))/1 a multiple of 6?
True
Let w = 11 - 17. Let z = -248 - -372. Does 16 divide 5/15 - z/w?
False
Let p = 19 - -37. Is p a multiple of 8?
True
Let y = -11 - -15. Suppose -5*w = 4*v - 2*v - 757, -y*w + 5*v = -599. Suppose 171 = 5*z - 2*z + 3*x, -3*z = -x - w. Is 14 a factor of z?
False
Let u = 216 - 136. Is u a multiple of 20?
True
Let b(l) = -5*l - 6. Let q be b(5). Let j = -21 - q. Suppose 5*r = j - 0. Is 2 a factor of r?
True
Let z(q) = q**3 - 6*q**2 + 3*q - 6. Let j = -7 + 13. Is 6 a factor of z(j)?
True
Suppose 271 = 3*b + 2*v, 5*b + 0*v = -v + 447. Is 22 a factor of b?
False
Let q be (-3)/2*10/(-15). Is 12 a factor of q/((-2)/(14*-3))?
False
Let a(v) = -2*v + 46. Let q be a(0). Suppose 2*s = -4*l + 7*s + 100, 0 = -l - 4*s + q. Is l a multiple of 11?
False
Let y(x) be the second derivative of x**7/2520 - x**6/360 + x**5/120 + x**4/12 + x. Let n(t) be the third derivative of y(t). Is n(3) a multiple of 2?
True
Let j(p) = p**2 - 4. Let z be (-10)/(-15) - (-4)/(-6). Let h = z + 5. Is 19 a factor of j(h)?
False
Let k(f) = -7*f - 7. Suppose -g = -5*d - 22, 5*g + 41 = -2*d + 16. Is k(g) a multiple of 14?
True
Let r = 10 - 7. Let v(w) = -w**3 + 7*w**2 - 4*w. Let x be v(6). Suppose -r = o - x. Does 9 divide o?
True
Suppose -30 = -3*j - y - 0*y, 2*j - 4*y - 34 = 0. Does 3 divide j?
False
Let j be 12/(-102) - (-174)/34. Suppose 20 = j*t - 100. Is 24 a factor of t?
True
Let y = 0 - -3. Let s = 8 + y. Let d = 9 + s. Does 9 divide d?
False
Let t(y) = y**3 - 5*y**2 - y + 7. Let q be t(5). Suppose -3*c - 30 = -3*v, 4*v - q*c - 50 = -v. Does 2 divide v?
True
Let a = 0 - 8. Let k(f) = -f + 22. Let y be k(0). Let z = y + a. Is 7 a factor of z?
True
Suppose 6*v + 4 = 2*v. Is v*(-3)/(3/5) a multiple of 2?
False
Let n(l) = l**3 - l**2 - 6*l + 10. Is n(5) a multiple of 26?
False
Suppose 150 = 5*n + 2*b, 3*n + 2*b - 68 = 18. Suppose -3*l - 4 = n. Let t = -4 - l. Does 4 divide t?
True
Let k(g) = g**3 - 5*g**2 - 7*g + 9. Let m be k(6). Let q = 3 - 0. Suppose 24 = m*a - b - 2, 0 = -q*a - 2*b + 29. Is 8 a factor of a?
False
Let r be (-2)/(((-15)/(-6))/5). Let t = -2 - r. Is ((-7)/2)/((-1)/t) a multiple of 7?
True
Let g = -18 + 11. Let a(d) = -d + 7. Is a(g) a multiple of 8?
False
Let r = -5 - -8. Let n(s) = s - 7. Let p be n(7). Suppose p = r*u - 25 - 14. Is 8 a factor of u?
