- 3*p - 3, -u + 3*p - 7 + 22 = 0. Suppose 10 = 5*c, -a + 3*a - u*c - 42 = 0. Is a a multiple of 12?
True
Let d(f) = -2*f**2 + 2*f + 4. Let m be d(-3). Let c = 43 - 5. Let j = m + c. Is 18 a factor of j?
True
Let j = 2 + 3. Suppose -2*q = -5*q + 4*y + 179, j*y = 4*q - 238. Does 15 divide q?
False
Let h = -65 + 119. Is h a multiple of 9?
True
Suppose t = r - 4, -2*r = -4*r - 5*t - 6. Let o be r + 1/(-1) - -4. Suppose 2*p - o = 15. Is p a multiple of 5?
True
Let a be (1 + (-6)/(-10))*5. Let h(g) = -g**3 - 2*g**2 - 2*g - 1. Let r be h(-2). Let t = a - r. Does 5 divide t?
True
Let l(u) = 159*u + 3. Does 16 divide l(1)?
False
Let f = 115 + -71. Is f a multiple of 7?
False
Suppose 2*s = 1 + 13. Suppose 9*r - 62 = s*r. Is r a multiple of 7?
False
Suppose 4*f - i - 66 = 0, i - 8 = -3*i. Suppose l + p - 4 = 9, -4*l = -3*p - f. Is 7 a factor of l?
False
Let z(k) = 3*k**2 + k + 7. Does 19 divide z(3)?
False
Let t = -19 + 40. Suppose -19 = -2*q + t. Is 9 a factor of q?
False
Let j(g) = 5*g**2 - 2*g + 2. Is j(2) a multiple of 18?
True
Suppose 2*c - 2*t = 26, -4*t = -4*c - t + 48. Does 7 divide c?
False
Let a = 57 - 0. Suppose -3*x - v + a = 0, 1 = v - 2. Does 15 divide x?
False
Suppose 2*x - 5*t = 270, 4*x - 540 = 3*t + t. Suppose h + 5 - 9 = 0. Suppose -x = -k - h*k. Is k a multiple of 12?
False
Suppose 5*y - 12 = 4*y. Let p = y - 7. Suppose 0 = l + p*w + 4 + 2, -5*l + 62 = 2*w. Is l a multiple of 7?
True
Let n = 140 - 52. Does 15 divide n?
False
Does 14 divide 1/((-2 - -4)/140)?
True
Let x(y) = -y**3 - 3*y**2 - y - 1. Let u be x(-3). Suppose 62 = u*r - 5*c + 5, 2*r - c = 53. Is r a multiple of 26?
True
Let l(f) = -f**2 - 6*f - 6. Let v be l(-3). Suppose -2*g - o = 2*g - 262, -o - 193 = -v*g. Is 13 a factor of g?
True
Let s(a) = -a - 4. Let m be s(-5). Let w(g) = 32*g**3 + g**2 + g - 1. Is w(m) a multiple of 12?
False
Suppose 4*n - k - 4 - 40 = 0, -3*k + 72 = 5*n. Let i(a) = 4*a + 1. Does 17 divide i(n)?
False
Is ((-24)/(-18))/((-8)/(-420)) a multiple of 5?
True
Let o = 198 + -127. Is o a multiple of 13?
False
Suppose 656 = 4*w - 0*w + 3*h, w + 2*h = 164. Is w a multiple of 11?
False
Let y = 18 + -13. Let m = 39 + y. Let p = -11 + m. Does 11 divide p?
True
Let g(i) = 13*i - 24. Does 18 divide g(6)?
True
Suppose -3*w = 2*m - m - 7, 5*w + 25 = 0. Let k = m - -16. Is 25 a factor of k?
False
Suppose -4*z - 2*i - 1034 = 0, -i + 5 - 4 = 0. Is z/28*2*-2 a multiple of 10?
False
Let r be -2*((-5)/(-2) - -2). Let l = r - -24. Suppose -5*m = -i - 190, -i = -m + 27 + l. Is m a multiple of 24?
False
Suppose -6*d = -3*d + 5*r - 431, 0 = 3*d - 4*r - 476. Is d a multiple of 10?
False
Let y(t) = 2*t**3 + 3*t**2 - 4*t - 2. Let h be y(-3). Let s = h + 35. Suppose 3*d - d - s = -5*u, d = 3*u + 20. Is 5 a factor of d?
False
Let c(p) = -p - 1. Let i(b) = 2*b**2 + 3*b + 6. Let w(l) = 4*c(l) + i(l). Does 4 divide w(2)?
True
Suppose 3*t + 2*l - 12 = 0, -4*t + t - 5*l = -12. Does 8 divide (-5)/(-2)*t - -2?
False
Let d be 9/12 + 19/(-4). Is (-1)/4 - 25/d a multiple of 6?
True
Let l = -36 + 51. Suppose -y - 3*y + l = 3*h, 0 = 4*h + 4*y - 24. Is 4 a factor of h?
False
Suppose 25 = 4*f - 175. Is f a multiple of 11?
False
Let f = 0 + 0. Suppose 30 = -f*d - d. Let u = 47 + d. Is 17 a factor of u?
True
Let w(u) = 15*u. Let p be w(1). Suppose 2*a - 2 = 8. Suppose -k = -5*t + t + 15, 0 = -a*k - p. Is 3 a factor of t?
True
Suppose -3*q + 95 = 2*q. Does 19 divide q?
True
Let o(u) = 34*u**2 - u - 1. Let v be (3/(-9))/(2/(-18)). Suppose 8 = -l + 5*l + v*h, l - 7 = -2*h. Is o(l) a multiple of 17?
True
Let v(u) be the third derivative of u**6/120 - u**5/30 + u**4/24 + 2*u**3/3 - u**2. Suppose 0 = 15*l - 11*l - 12. Is 12 a factor of v(l)?
False
Suppose -24 = 2*f - 4. Suppose -3*r + 41 = 11. Let y = r - f. Is y a multiple of 10?
True
Suppose c - 424 = -4*m, -3*m - 570 = -2*c + 300. Is 13 a factor of 3*1 + c/6?
False
Let b(l) = -l**2 + 5*l - 3*l - 3*l + 3*l + 4. Let u be b(3). Let j(m) = 15*m**2 - 1. Is j(u) a multiple of 7?
True
Let q be (3/(-6))/(1/(-6)). Suppose 3*m + 54 = q*w, -3*m + 31 = 2*w - 20. Is 10 a factor of w?
False
Suppose 0 = -2*y - 10, 5*z + 2*y + 2*y = -20. Suppose z = -5*b + 2 + 188. Is 11 a factor of b?
False
Let a(n) be the first derivative of 2*n**3/3 - 3*n**2 - 5*n + 3. Is 9 a factor of a(5)?
False
Suppose 4 + 30 = -4*f - 3*w, 20 = -4*f + 4*w. Is (-8 + 2 + 3)*f a multiple of 8?
False
Let m(x) = x - 10. Let v be m(7). Let q = -1 - v. Is (2/q)/((-3)/(-9)) a multiple of 3?
True
Let j(v) = -3*v + 2. Let f be j(3). Let k be (f/3)/(1/6). Let q = k - -34. Is q a multiple of 8?
False
Let i be (-122)/14 + (-4)/14. Let a = 14 + i. Suppose -a*u = -t - 21, -2*u + 5 = -5*t + 3*u. Is 4 a factor of t?
True
Suppose -7*d + 4*p + 180 = -3*d, 2*p = d - 48. Is 14 a factor of d?
True
Suppose -9 = -4*k + 23. Let l = -20 - k. Let z = -20 - l. Is z a multiple of 8?
True
Let i(l) = -21*l**3 + 2*l**2 + 2*l - 1. Let h = 0 + 2. Let o be i(h). Let c = -104 - o. Is c a multiple of 20?
False
Suppose 0 = 3*f - 4 - 2. Let i be 1/f*(7 - 3). Suppose -44 = -i*c - 2*c. Does 7 divide c?
False
Suppose 0 = -3*a + 6, -i - 15 = -5*a + 3*a. Let t(m) = m**2 + 9*m + 2. Does 12 divide t(i)?
True
Let d(v) = -2*v**3 + 6*v**2 - 4*v - 10. Does 23 divide d(-4)?
True
Suppose n = 3*n - 4. Suppose 0 = n*z + 4*p - 142, -p + 140 = 2*z + 2*p. Suppose 2*g - z = -17. Is 10 a factor of g?
False
Let b = -58 + 266. Does 26 divide b?
True
Suppose 0 = -2*f - 2*d + 54, 0 = 4*f - 4*d - 64 - 12. Is f a multiple of 8?
False
Let d = -168 - -310. Does 16 divide d?
False
Is 15 a factor of 272/10 + (-8)/(-10)?
False
Let d = 85 - -45. Let k be (-6)/5*d/(-4). Suppose -3*z - 18 = -3*s - 0*z, -4*z + k = 5*s. Is 3 a factor of s?
False
Suppose 0*l + 5*t - 183 = -2*l, -4*l + 3*t + 301 = 0. Does 12 divide l?
False
Let l(d) = -8*d**3 + d**2 + d + 1. Let g be (-132)/16 + (-1)/(-4). Let y = g + 7. Is l(y) a multiple of 9?
True
Suppose 13 = -2*m - 9. Let d = 44 - m. Is d a multiple of 18?
False
Suppose -4*o = -5*z + 462, -4*z + 2*o = -o - 369. Does 13 divide z?
False
Let b = 0 + 0. Suppose -22 = -s - b. Is s a multiple of 11?
True
Let h = 22 + 11. Does 11 divide h?
True
Suppose -3*j = j - 48. Is 3 a factor of j?
True
Let b(v) = -v + 48. Is b(13) a multiple of 4?
False
Suppose k = -0*k + 36. Suppose 3*f = -5*c - 23 + 75, k = 2*f + 3*c. Is f a multiple of 8?
True
Let g(l) = -l**2 + 9*l - 3. Let p be g(6). Suppose u - 6*d + 5*d = 0, 4*u + d - p = 0. Suppose -v + 1 = 2*i, -3*v + u*i = -45 - 3. Does 11 divide v?
True
Let x be 0 + 3 - (0 - 0). Let j = -1 + x. Is j/5 - 128/(-5) a multiple of 13?
True
Let s(o) = 5*o**2 + 4*o - 2. Is s(-2) a multiple of 4?
False
Suppose 2*d - 73 = -3. Is d a multiple of 2?
False
Let q be 112/(-18) - (-8)/36. Let d(m) = 1 - 5 + 4*m**2 + 2*m**2 - 3*m + m**3. Does 14 divide d(q)?
True
Suppose 3*m + 3*r = -2*m + 45, 3*m = -r + 23. Does 11 divide 33/2*4/m?
True
Let b be (-2)/(-6)*3*3. Let f(r) = -r**2 + 3. Let o be f(b). Let d(q) = q + 14. Does 4 divide d(o)?
True
Does 27 divide (62/4)/(12/24)?
False
Is 20/((0 - 3)/(-3)) a multiple of 3?
False
Let h = 2 - -6. Let u = 12 - h. Is u a multiple of 4?
True
Let n = -30 - -75. Does 13 divide n?
False
Suppose 39 = -4*p + 7. Let z = 10 + p. Suppose 0*y - z*h - 43 = -y, -3*h = 4*y - 227. Is 16 a factor of y?
False
Let p(x) = x**3 + x**2 - 2*x + 2. Let y = -9 - -17. Suppose w = -3*w + y. Does 5 divide p(w)?
True
Let u = 15 + 36. Does 17 divide u?
True
Let u(p) = p - 5. Let s be u(6). Suppose 2*o + 5*k + s = 0, -o - 36 = -4*o + 5*k. Is 7 a factor of o?
True
Let p(s) = s**3 + 7*s**2 - 2*s - 3. Let k be p(-5). Let j = -112 + k. Let o = 79 + j. Is 12 a factor of o?
True
Suppose -5*s = -0*s. Suppose 0*x - x = s. Suppose -4*i - p - p + 30 = x, -2*p = -2*i. Is i a multiple of 3?
False
Suppose 2*y = -3*q + 235, 3*q - 2*q = 5*y + 67. Does 11 divide q?
True
Let p = 53 - 32. Suppose 4*v - p = 11. Is 4 a factor of v?
True
Let b = 38 + 22. Is 30 a factor of b?
True
Let i(u) = -3 + 2*u - 5 + 0*u. Let b be i(7). Suppose m = b*m - 65. Is 9 a factor of m?
False
Suppose 0 = -5*w - 5, j - 3*w - 1 = -6*w. Let y be (j - 3) + (88 - 2). Suppose -2*h - h = -y. Is 15 a factor of h?
False
Let n(x) = -x**2 - 9*x + 3. Suppose 9 = -2*s + s. Is 3 a factor of n(s)?
True
Suppose -h - 2 = -5. Suppose -h*q + 5*c + 118 = -10, 4*c 