 -82. Is d a multiple of 10?
True
Does 11 divide (-3402)/105*(-10)/3?
False
Suppose 0 = -4*r + p - 330, r = -0*r + 2*p - 86. Let h = r - -122. Is 20 a factor of h?
True
Is 2 + 5/(15/156) a multiple of 27?
True
Suppose -2*y + h = 1, 2*y - 26 = -y - 4*h. Suppose -3*b - 5 = c + 12, 36 = -4*b + y*c. Let s = b + 15. Is 3 a factor of s?
False
Let j be (-3 + 2)/((-2)/34). Let c = j - 10. Is c a multiple of 3?
False
Let r = 4 + 8. Let q = r - 7. Suppose q*b - 54 = 121. Does 11 divide b?
False
Suppose -705 = -8*w + 55. Is w a multiple of 24?
False
Let f(d) = -d**2 + 15*d - 9. Let x be f(12). Suppose 45 = 2*v - x. Is v a multiple of 9?
True
Let k = 146 + -63. Is 6 a factor of k?
False
Let s(r) = -2*r**2 + 2*r - r**3 + r + 6*r**2. Does 12 divide s(4)?
True
Let u = -17 - -17. Suppose 28 = 3*x - r - 1, -4*r - 20 = u. Is x a multiple of 8?
True
Let s(a) = 2*a**2 + 10*a + 6. Is s(-6) a multiple of 8?
False
Let b(u) = u**3 - 4*u**2 - 10*u - 2. Does 25 divide b(7)?
True
Suppose 0 = 5*g + 158 + 37. Let q = 64 + g. Let t = q - -7. Does 14 divide t?
False
Let l be 1*(1 + 4 - 3). Suppose -5*k = -3*b + 39, 5*b - l*k - 66 = b. Does 9 divide b?
True
Suppose 4*g + 30 = q, 2*g + 54 = 5*q - 3*q. Does 4 divide q?
False
Let u(p) be the second derivative of -p**5/20 - p**4/3 + 5*p**3/6 - 3*p**2/2 + 3*p. Is u(-6) a multiple of 13?
True
Suppose -d + 41 - 22 = 0. Does 15 divide d?
False
Suppose 0 = 2*j - 3*j + 58. Let z = j - 31. Does 2 divide (1 + 0)/(9/z)?
False
Suppose 0 = -4*n - 5*s + 12, 2*n - 6 = -0*n - 2*s. Let r(k) = 4*k - 2*k**2 - k**n - 6 - 2*k**2 - 11*k. Does 22 divide r(-4)?
True
Suppose v = -4*s + 15, 0 = -3*v + v - 5*s + 21. Let z = v - -1. Suppose z*i = 2*i + 24. Is i a multiple of 8?
False
Let g = 12 - 9. Suppose -6 = -3*n, -2*i - g*i - 4*n = -73. Is i a multiple of 13?
True
Suppose -2*k + 6*k - 104 = 0. Does 11 divide k?
False
Is (3/(27/21))/(4/12) a multiple of 7?
True
Let l = 174 - 16. Suppose l = 2*q - 2*u, 0 = -2*q - q + u + 243. Is 16 a factor of q?
False
Let g be (2/5)/((-3)/(-15)). Let x(o) = 9*o**2 - 3*o**2 - 2*o + o**2 + o - 2. Is x(g) a multiple of 14?
False
Suppose 4*p - 11 - 5 = 0. Suppose -p*t + 137 = -195. Does 21 divide t?
False
Let y = 5 + -1. Suppose 106 - 26 = y*w. Is w a multiple of 10?
True
Suppose -6*t + 2*t + 204 = 0. Let o = 7 - 7. Let r = o + t. Does 17 divide r?
True
Let q(j) = -j + 20. Is q(-11) a multiple of 4?
False
Let q = 605 + -330. Is q a multiple of 11?
True
Is 21 a factor of 1/(5/(-144))*(8 + -13)?
False
Let v(f) = -f**3 + 4*f**2 - 3*f + 2. Let l(h) = -h**3. Let a(i) = -2*l(i) + v(i). Let x be a(-5). Does 4 divide 33/2*x/(-12)?
False
Let r = -7 - -11. Is r a multiple of 4?
True
Suppose 0 = 8*c - 7*c - 65. Is 13 a factor of c?
True
Suppose 107 = 6*p + 23. Does 3 divide p?
False
Let c(a) = -3*a - 4*a + 6*a. Is 3 a factor of c(-8)?
False
Let f = -3 + 9. Let u = f - 1. Is u a multiple of 5?
True
Suppose -i = i - 2. Let b be i + (3 - 0) + -1. Suppose -b*a = -71 - 31. Does 17 divide a?
True
Suppose 5*s + 3*j = 40, 0 = -4*j + 8 + 12. Suppose s*u = 2*d + d + 133, 4*u = -2*d + 124. Is u a multiple of 11?
False
Let i be (-16)/(-10)*(-20)/(-8). Suppose -5*o + 21 = 2*c - 47, -5*c + 236 = -i*o. Is 9 a factor of c?
False
Suppose -471 = -4*r - 3*c, 2*r - 2*c - 225 = -7*c. Suppose q - r = -q. Does 30 divide q?
True
Let s be 18/(-8) - (-3)/12. Let y(u) = 12*u**2 - 3*u - 1. Does 18 divide y(s)?
False
Let i(q) = -q**2 + 3*q - 1. Let j be i(3). Let l be 26 + 1 + j*2. Let b = l + -16. Does 4 divide b?
False
Suppose 0 = 4*k - 3*w - 91, -64 = -k - 2*k - 2*w. Is 22 a factor of k?
True
Let w = -60 + -67. Let k = 186 + w. Suppose 3 = -4*z - 5, 5*z - k = -3*n. Does 12 divide n?
False
Suppose u - 20 = -4*u. Let p(l) = 0*l**3 + u*l**2 + l**3 + 3*l**2 - 6 + l. Is 15 a factor of p(-5)?
False
Let g = 7 - 5. Let i(o) = -4*o**2 + 4*o**g - 4 + 4*o**2 + o**3 - 8*o. Is i(-5) a multiple of 11?
True
Suppose -3*x - 19 = -4, -3*m = 2*x - 29. Suppose 40 = u - 3*z, u - 7 = -z + m. Is u a multiple of 19?
False
Suppose m = -0*m + 2. Suppose -m*f - 14 + 63 = 3*y, 0 = 2*y + 5*f - 40. Does 15 divide y?
True
Let l(x) = x**3 + x**2 + x - 1. Suppose -3*g = 2*q - 19, 2*g + 0*g = -q + 12. Let p be l(q). Suppose 0 = -3*w + 17 + p. Is 10 a factor of w?
True
Let x = 22 - 20. Suppose -4*v = -12, -a - v + 87 = -0*a. Suppose x*m = 5*m - a. Is 18 a factor of m?
False
Let y = -18 - -20. Suppose -y*b + 28 + 16 = 0. Does 5 divide b?
False
Let x be 59 - 3/((-3)/(-1)). Let w = x + -38. Is w a multiple of 10?
True
Suppose 3*f + 70 = 7*f - o, 0 = 3*f - o - 52. Let i = 29 - f. Is i a multiple of 10?
False
Suppose -c + 64 = 3*c. Suppose 0*j - c = -4*j. Suppose 0 = t - 5*y - 20, -3*y - 2 = -j*t + 44. Does 7 divide t?
False
Let l be 5/2 + (-6)/(-12). Let q = l - -5. Does 4 divide q?
True
Suppose -g - 48 = -4*z, -2*g - 33 = -z - 7*g. Does 3 divide z?
False
Let w(d) = 5*d**2 - d - d**2 - d**3 + d**2 - 1. Is 3 a factor of w(4)?
False
Let i be (-1)/2 + 70/20. Suppose 4*f - n - 177 = -0*n, -5*n - 120 = -i*f. Does 15 divide f?
True
Suppose 0 = -4*g - 5*l + 2 + 181, 3*g - 146 = 5*l. Is 8 a factor of g?
False
Is (348 - 3) + 15/(-3) a multiple of 17?
True
Let w(h) = 4*h**2 + 4*h + 6. Let m be -5 + -2 + 2 + 1. Let a be w(m). Is (-16)/(-6)*a/8 a multiple of 9?
True
Is 108/10*(-7)/(126/(-60)) a multiple of 9?
True
Let r = 13 + -22. Let s be ((-3)/r)/(1/(-15)). Let g(c) = -c**3 - 4*c**2 + 3*c - 2. Is 4 a factor of g(s)?
True
Let r = -8 + 12. Suppose 6*n - 815 = n - 3*z, 630 = r*n - 2*z. Is (2/4)/(4/n) a multiple of 10?
True
Is 4 + 0 - (-15 + -1) a multiple of 14?
False
Is 1/(0 + (-4)/(-156)) a multiple of 13?
True
Let o be 4 + -7 + 2*21. Suppose -o = -4*f + 81. Is 10 a factor of f?
True
Let l = 15 - -12. Is l a multiple of 3?
True
Let r = -98 + 58. Let j = 4 - r. Does 11 divide j?
True
Suppose 11 = f + 4*k, f - 5*k - 4 = -2. Does 2 divide f?
False
Suppose 0 = 5*t + 95 + 40. Let w be 0 + 0/(-3) - t. Suppose -w = 3*s - 147. Does 20 divide s?
True
Suppose -62 = -q + 35. Is q a multiple of 15?
False
Is (-115)/(-3) - (-6)/9 a multiple of 13?
True
Suppose 3*d - 11 = 1. Let s(b) = 6*b**2 + 5*b + 5. Let r be s(-2). Let m = r - d. Is 4 a factor of m?
False
Let m be 6/(-5)*10/(-3). Suppose m = -4*k - 2*z, -3*z = -2*k + 8 - 2. Suppose f + k - 5 = 0. Is f a multiple of 3?
False
Let r(w) = -w**2 + 8*w - 9. Let k be r(6). Suppose q = k*q. Suppose q = y - 42 + 3. Is y a multiple of 15?
False
Let h = -17 + 38. Does 4 divide h?
False
Let c = 10 - 3. Suppose 5*t + x + 98 = 0, t + 3*x + c = 7*x. Let p = t - -49. Is 17 a factor of p?
False
Suppose 19 = 5*a + 4. Suppose a*o = -o + 100. Does 9 divide o?
False
Suppose 5*f = -5 + 25. Let g be f/(-18) + 70/(-9). Let o(y) = y**2 + 6*y + 6. Does 12 divide o(g)?
False
Let k be 5/2*136/20. Let w = 28 - k. Is 8 a factor of w?
False
Let l be (-1)/(-3 + 2)*0. Suppose -2*s + l*s = 0. Suppose 0 = -5*t - 2*j + 212, s = 2*j - 4*j + 2. Is t a multiple of 19?
False
Let q(h) = 72*h + 20. Does 10 divide q(4)?
False
Let a(p) = p**3 - 3*p**2 - 3*p. Let h be a(-2). Let y = -7 - h. Does 7 divide y?
True
Let x = -18 + 16. Is 12 - 3/6*x a multiple of 4?
False
Let q(g) = -g**3 - 9*g**2 + 28*g + 14. Is q(-12) a multiple of 11?
True
Suppose 2*o + 21 = -2*i + 101, 12 = 3*i. Does 8 divide o?
False
Let l = -11 - -16. Suppose -44 = -4*k - l*i - 154, 5*k + i = -148. Is 10 a factor of (-336)/k - (-1)/(-5)?
False
Let g(t) = t**2 + t + 34. Let q be g(0). Suppose 0 = 4*u - 2*u - q. Is u a multiple of 7?
False
Let r be (-6)/9 - 460/(-6). Suppose o - r = -3*o. Is o a multiple of 18?
False
Let o = 6 + -6. Let l(a) = 3*a + 50. Is 25 a factor of l(o)?
True
Let p = 300 - 90. Is (p/(-25))/(1/(-5)) a multiple of 17?
False
Let d be (2/2)/(-2 - -3). Let u = d - -7. Does 3 divide u?
False
Let w(p) = 43*p**2 + 30 - p - 29 + 0*p. Is w(1) a multiple of 17?
False
Let w = 29 - 54. Let j be (-43 + -6)*(3 + -4). Let b = w + j. Does 9 divide b?
False
Let h = 30 + 375. Is h a multiple of 25?
False
Suppose 4*z + z - 765 = 0. Is 9 a factor of z?
True
Let g = -11 - -30. Is 14 a factor of g?
False
Is 5 a factor of (-12)/(-30) - 1164/(-15)?
False
Let i(w) = -w**3 - 3*w**2 + 2*w + 6. Let p be i(-5). Let h = p + -16. Is 11 a factor of h?
False
Suppose -4 + 7 = g, 2*o + 5*g = 33. Suppose -3*y + 0*a + 2*a + 12 = 0, o = 3*a. Suppose y*j - 