*b(z) + m(z). Let j be k(0). Suppose -f - j*s + 6 = -12, -s - 1 = 0. Is 12 a factor of f?
False
Suppose 2*t - l - 17 = 0, 2*t - l - 26 = 3*l. Let j(i) = -i**2 + 10*i - 10. Is 3 a factor of j(t)?
False
Suppose 3*u - 4 - 2 = 0. Suppose -5 - 1 = -u*q. Is q even?
False
Suppose -o + 2*w - 68 = 0, 3*w - 7 = -4. Is (o/10)/((-8)/40) a multiple of 11?
True
Let w = 13 - 8. Suppose -4*n = -2*l - 4, -w*n + 3*l + 1 = -6. Is 5 a factor of (-3 - n) + 42/2?
False
Suppose -9 = 4*v + 7. Let l(n) = 2*n**2 + 5*n + 1. Does 7 divide l(v)?
False
Let x(o) = 24*o + 51. Is 13 a factor of x(10)?
False
Suppose 2*d - 1628 = -9*d. Is d a multiple of 13?
False
Let l = 21 + -15. Suppose 10*j - l*j = 104. Is j a multiple of 13?
True
Suppose 0 = -54*h + 57*h - 378. Does 14 divide h?
True
Let t = 47 - 35. Is 4 a factor of t?
True
Suppose 0 = t + 3 - 22. Let b = t - 1. Is b a multiple of 9?
True
Let l = 12 - 10. Suppose 3*a = h + 66, 3*h + 30 = -a + l*a. Is a a multiple of 6?
False
Suppose 21*y - 270 = 87. Is y a multiple of 2?
False
Let m be 972/14 - (-3)/(-7). Suppose -19*q - m = -20*q. Is 25 a factor of q?
False
Let o = 177 + -125. Is o a multiple of 13?
True
Let t be ((-16)/(-24))/((-2)/(-33)). Suppose -2*b = -b - t. Is b a multiple of 11?
True
Let f = 266 - 128. Is 34 a factor of f?
False
Let n = -35 - -39. Is 3 a factor of n?
False
Suppose -4*f - o = -2*o + 21, 4*o = 2*f. Is 3 a factor of 34/6 - f/18?
True
Let y = 1 - 1. Let o be 1/4 + 45/12. Suppose -o*v + 72 = -y*v. Does 9 divide v?
True
Suppose 2*z - 3*z = 5*q - 372, 378 = 5*q + 4*z. Does 5 divide q?
False
Let r = -215 - -316. Is r a multiple of 7?
False
Suppose 3 = 3*x + 4*z, 4*x + 3*z = 4 - 0. Suppose x = f + 4. Let s(l) = -4*l - 2. Is s(f) a multiple of 8?
False
Let w = 11 - 8. Let o be -1*3/(w/(-53)). Suppose -5*x - a = -o, x + 3*x + a = 42. Is 5 a factor of x?
False
Let y(g) = g**2 + 4*g + 9. Let d be -3 - 0 - (3 - 0). Does 20 divide y(d)?
False
Suppose 5*z - 18 = -j, j + 2*z = -j + 12. Suppose 1 + 2 = j*r. Suppose 0 = d + r - 6. Does 5 divide d?
True
Let x be ((-2)/(-2))/(1/10). Let b be 4/x - (-46)/10. Let m = b - 2. Does 2 divide m?
False
Let j(m) = -m**3 + 4*m**2 + 7*m + 1. Let c be j(5). Suppose 2*a - c - 5 = 0. Does 4 divide a?
True
Suppose 5*g = -5, -2*z + 5*z + 4*g - 8 = 0. Suppose -m + z = 1. Is 19 a factor of (-19)/m*-3*2?
True
Let k(d) = 9*d + 8 + d**2 - 2*d**2 + 4*d**2 + 0*d**2. Let z be k(-10). Suppose 5*q - z = 7. Is 13 a factor of q?
False
Suppose 3*f = 3*o - 2*o, 0 = -5*o - 5*f - 20. Let r be (1/o)/(4/(-36)). Suppose 0 = 2*u - 3*d - 58, 5*u + r*d - 86 - 59 = 0. Is u a multiple of 11?
False
Suppose s + 2 - 5 = 0. Suppose -3*j + 4*m + 113 + 46 = 0, 0 = j - 3*m - 48. Suppose -j = -s*c + 60. Is c a multiple of 13?
True
Let o = -14 - -35. Let f = o + -15. Is 6 a factor of f?
True
Let b(c) = 2*c**2 - 2*c - 2. Let k be b(2). Suppose -y - 5 = -f, -k*f + y = 5*y + 2. Let p = f - -3. Is 6 a factor of p?
True
Let u be 8*(1 - -1)*1. Suppose -u = -4*a, 3*q + 2*a = 2*q + 74. Is q a multiple of 22?
True
Suppose -5*k + 6 = -3*k - 2*f, -2*k + 3*f + 4 = 0. Suppose -2*a + 0 = -w - 1, -13 = 4*a - k*w. Does 3 divide a?
True
Let p = 40 + -91. Let l = 85 + p. Does 28 divide l?
False
Let c = -9 - -9. Does 14 divide (-1 + 28)*(2 + c)?
False
Suppose -3*x - 108 = -4*x. Suppose x = 4*i - 52. Does 10 divide i?
True
Let n = -49 + 92. Is n a multiple of 8?
False
Let k = -7 - -16. Is 15 a factor of (3/2)/(k/330)?
False
Suppose n - 13 = -6. Is 4 a factor of n?
False
Suppose -h + 0*h + a = -17, 2*a - 5 = -h. Does 3 divide h?
False
Let i(v) = 10*v - 6. Let x be i(8). Is 13 a factor of x/6 - 2/(-3)?
True
Suppose 0*r + 74 = -2*r. Let o = 60 + r. Is o a multiple of 15?
False
Let r = -5 + 6. Let f be r - (-2 - -2) - -1. Let o = 9 + f. Is o a multiple of 11?
True
Suppose 54 = 4*i + 2*h, 3 + 6 = i + 2*h. Suppose -4*j + j = -i. Suppose -j*d + 2*d = -21. Does 2 divide d?
False
Suppose 13 = 3*b + 5*p, -4*b = b + 2*p - 9. Let h be 1 + 4/2 + b. Suppose 63 = h*s + 15. Is s a multiple of 12?
True
Suppose -4*r + 55 = r. Let g = r + -6. Does 5 divide g?
True
Let r(o) = o**2 - 3 - 3 + 4 - 5*o. Let g be r(-4). Suppose 4*h = -3*j + 68, -g = -4*h + 2*h + 4*j. Is 6 a factor of h?
False
Let v = 48 + -7. Does 6 divide v?
False
Let h(a) = a**3 - a**2 - 5*a - 3. Let f(n) = n**3 - 2*n**2 - 9*n - 6. Let s(d) = 3*f(d) - 5*h(d). Is s(-2) a multiple of 13?
True
Let q(d) be the second derivative of -d**3/6 + 4*d**2 + 2*d. Let r be q(6). Suppose r*w + 35 = 5*i, -6 = -i - 2*w + 1. Does 7 divide i?
True
Suppose 4*s - 2*m = -10, 3*m - 10 = 4*s - 3*s. Let y(o) = -14*o**3 + o**2 + 2*o + 1. Does 14 divide y(s)?
True
Let h = -50 - -110. Suppose -3*l + 9 = -2*l. Suppose -3*c - l = -h. Is c a multiple of 9?
False
Let v(q) = -q**3 + 13*q**2 + 8. Is v(12) a multiple of 19?
True
Let s be 10/14 + 2/7. Does 15 divide (-3)/(s - 64/60)?
True
Let v = 432 + -250. Is 26 a factor of v?
True
Let r(k) = -k**3 - k**2 + 2*k + 2. Let n be r(-3). Let m = -5 + n. Suppose 0*z - 5*q - m = 2*z, z - 3*q - 23 = 0. Is 5 a factor of z?
False
Let a(j) = -j**3 - 3*j**2 + 2*j + 3. Let g be a(-3). Suppose 3*y + y + 4 = -2*t, -4*y = 8. Is 3 a factor of t/g*(-126)/12?
False
Let o be 2/(-5) - (-154)/10. Suppose o = 5*q - 5*l, 0 = q - 5*l + 1. Suppose q*x - v - 79 = -0*v, 0 = 3*x - 5*v - 38. Is x a multiple of 10?
False
Suppose -1601 = -5*r + 584. Does 22 divide r?
False
Let w(f) = f**3 - 11*f**2 + 22*f - 8. Is 16 a factor of w(10)?
True
Let d = 1 + 1. Suppose -d*b - 2*b - 4 = 0. Is 10 a factor of (-2)/(-3)*(b - -25)?
False
Let f = 492 - 312. Is f a multiple of 9?
True
Suppose 0*g + 16 = 4*g. Does 6 divide 6/5*(g - -1)?
True
Is (-114)/99*-219 + 4/(-22) a multiple of 28?
True
Suppose 0 = v + 4*g + 15 - 1, -2*v = 4*g + 8. Suppose 13 = 3*l + y, l + 3*y - v - 9 = 0. Let a = 8 - l. Is 4 a factor of a?
False
Let l(a) = 6*a**2 - 2. Let h be l(2). Let y = h - 13. Is -1 - (-3)/(y/39) a multiple of 12?
True
Is 14 a factor of (-12)/(2/44*-4)?
False
Suppose -3*n - 4*w = -7*w + 15, -2*n - 25 = -5*w. Suppose -6*a + a + 30 = n. Does 3 divide a?
True
Suppose 0 = 3*p + 1 - 19. Let m(j) = 7*j**3 + 5*j**2 - 3*j - p*j**3 - 3 - j**2. Does 9 divide m(-4)?
True
Let c(d) be the second derivative of d**3/3 - 2*d. Let b be c(1). Let p(v) = 17*v - 2. Is p(b) a multiple of 16?
True
Suppose 27 = 5*f + 77. Let t be (2 - 14)/(15/f). Suppose 4*h - 3*w = 20 + 16, 2*h + t = -5*w. Does 6 divide h?
True
Let y = 26 + 31. Let a = 122 - y. Suppose -6*t + a = -t. Does 13 divide t?
True
Let b = -2 + 6. Suppose d - b*d - 78 = -3*z, 0 = -5*d. Suppose -5*v = -34 - z. Is 6 a factor of v?
True
Let z(m) = -m**3 + 4*m**2 + 5*m + 3. Let v be z(4). Suppose -3*l = -v - 10. Let t = -6 + l. Does 2 divide t?
False
Suppose 0 = -g + 7 + 3. Does 5 divide g?
True
Let l be (-3 - -9 - 3) + 3. Let a be ((-213)/l + 3)*-2. Suppose 0*v - i = v - 22, a = 3*v + 2*i. Is v a multiple of 20?
False
Let r be 0 + (4*62)/4. Suppose -4*u = -3*o - r, 32 + 32 = 4*u - 4*o. Does 7 divide u?
True
Let r = -8 + 10. Suppose r = x + 9. Let k = 1 - x. Is k a multiple of 4?
True
Suppose -4*d + 0*d + 63 = -5*t, d - 4*t = 24. Suppose 4*p + b - 2*b = 2, -p - 4*b + 9 = 0. Let k = d - p. Does 11 divide k?
True
Is 43 a factor of 15/9 + 640/3?
True
Suppose -4*l + 197 = 3*o, -3*o + o = -6. Does 7 divide l?
False
Suppose 0 = 3*g + 14 - 5, 3*u = 3*g + 93. Let s = -10 + u. Is s a multiple of 7?
False
Let k = -9 - -10. Is 12 a factor of (-51)/(-3) - (2 - k)?
False
Let d(m) = m + 4. Let z be d(0). Suppose g + 10 = 5*l, g + z*l - 15 - 2 = 0. Suppose g*f - 145 = -w + 42, 0 = -2*w + 4. Is f a multiple of 16?
False
Let c = 3 + 2. Suppose -c*g - 48 = -2*p, -131 = -5*p + 3*g + 27. Is p a multiple of 12?
False
Let a = -14 + 25. Let d = 2 + a. Does 11 divide d?
False
Let w = -12 - -2. Is 8 a factor of (-116)/w - (-4)/10?
False
Suppose -6*g - 19 = 11. Is -6 - g - (-41 + 1) a multiple of 13?
True
Let j(d) = -d**3 + 10*d**2 + 10*d + 14. Is j(10) a multiple of 14?
False
Let f = 341 + -637. Is 34 a factor of 3 + 3/((-12)/f)?
False
Let q = 88 + -64. Is 3 a factor of q?
True
Let m(q) = q**2 + 5*q - 6. Let y be m(-6). Let c(v) = -v + 15. Is c(y) a multiple of 8?
False
Suppose -39 = 2*o - 15. Let y = -17 - o. Is 4 a factor of (-2)/y - (-43)/5?
False
Suppose -k = 4, 0 = -0*a - a + 2*k + 10. Is 6 a factor of 36/27*