- 0. Suppose -4*a + 70 = -u, 6 - 2 = -d*u. Does 12 divide a?
False
Let f(b) = -2*b + 6. Let w be f(4). Let p be (0 - 0)*w/4. Suppose 3 = o - p*o - 4*u, -4*o + 3*u = -38. Is o a multiple of 11?
True
Let y(w) = -4 - 4*w + 2*w + w + 10 - 3*w**2 + w**3. Is 17 a factor of y(5)?
True
Let t = -6 - -7. Suppose 0*p = -p - t, 3*p + 30 = w. Suppose -w = -2*q + 33. Is 15 a factor of q?
True
Suppose 0 = -s + 4, v + s - 52 = -0*v. Let r = -23 + v. Is r a multiple of 5?
True
Let r be -1*2*(-4 + -54). Suppose 0 = -5*u + 3*z - z + 122, -5*u - 4*z = -r. Is u a multiple of 12?
True
Let w = 13 + 17. Is w a multiple of 9?
False
Let k be 2/(-3)*(-12)/(-2). Let u = 11 + k. Is u a multiple of 5?
False
Suppose 2*g - 57 = 21. Does 7 divide g?
False
Let l(m) = -m - 20. Let u be l(0). Is 12 a factor of u/25*15*-2?
True
Suppose 4*v = 2*j + 126, -93 - 12 = -4*v - 5*j. Is v a multiple of 4?
False
Does 3 divide (0*2/4 - 2) + 23?
True
Suppose -2*a = 3*m - 147, 2*m = -0*a + 5*a + 117. Is m a multiple of 17?
True
Suppose 2*t - 36 = -u - 2*u, -5*t = -4*u - 44. Does 9 divide t?
False
Suppose -26 = 3*k - 4*h, -5*k + 5*h = 13 + 22. Let i(g) = 4*g**2 - 2. Is 4 a factor of i(k)?
False
Suppose -3*n - 15 = 0, 2 = -t + 2*t + 2*n. Is 4 a factor of t?
True
Let w(o) = -15*o - 15. Let q be w(-11). Suppose -3*f - 3*k + q = 0, 101 = 2*f - 0*f + 3*k. Is f a multiple of 24?
False
Let p be 3 - (2 + -1) - -12. Suppose -5*a + 14 = 2*b, 5*a - 3*b + p = 43. Is a a multiple of 2?
True
Suppose w = -0*w - 4. Let h = w - -4. Suppose 3*p = -h*p + 15. Is p a multiple of 2?
False
Suppose -r = 6*r - 252. Suppose 0 = -4*v + r. Is 9 a factor of v?
True
Suppose 3*g + y = 4*g - 144, 8 = -2*y. Is g a multiple of 26?
False
Let y(j) = -2*j**3 + 2*j**2 - 3*j + 1. Let m be y(-5). Suppose -g + m = 5*s - 0*g, -5*s + 319 = 4*g. Is s a multiple of 21?
True
Let l(n) = 7*n**2 + 2*n + 1. Suppose -5 = 3*m + 2*m. Is l(m) a multiple of 5?
False
Let w(g) = -3*g**2 + 9*g + 4. Let h(o) = -o**2 + o + 1. Let a(s) = -4*h(s) + w(s). Does 18 divide a(-9)?
True
Suppose t = 2 + 1, -3*u + 138 = -4*t. Suppose -c + u = 4*c. Is c a multiple of 3?
False
Let y be (1/(-2))/((-3)/(-114)). Let j = 37 + y. Does 10 divide j?
False
Let g(n) = 6*n + 1. Let i(z) = -z**3 - 3*z**2 + z + 4. Let o be i(-3). Is 7 a factor of g(o)?
True
Suppose 0 = 4*x - 3*g - 12, 3*x - 4*g = -2*x + 16. Let h(u) = -u**3 - u**2 - u + 20. Does 6 divide h(x)?
False
Let o = -73 + 139. Let j = -16 + o. Suppose -2*q = -7*q + j. Is 10 a factor of q?
True
Let c be 4/(-10) - (-272)/5. Suppose -3*u = 2*m - c, 4*u = 2*m + 27 + 45. Is u a multiple of 9?
True
Let y be 26/6 + 3/(-9). Suppose -17 = -2*j - 4*t - 1, -y*t = -12. Is j a multiple of 2?
True
Suppose -b + 2*p = -88, -b + 21 = 5*p - 95. Does 13 divide 10/(4*4/b)?
False
Let a = -5 - 8. Let m = a - -34. Suppose -2*g = -t - m, 6*t = 3*t - 3. Is g a multiple of 4?
False
Let m(d) = d**2 - 21*d - 28. Does 3 divide m(25)?
True
Suppose p - 3 = -0. Let m = p + -2. Does 13 divide 1*((m - -12) + 0)?
True
Suppose 4*l - 12 = 2*l. Suppose -3*d - 15 = -2*x - l*d, 3*d - 24 = -5*x. Suppose m = 5*v - 14, 5*m + x*v = 3*m + 37. Is m a multiple of 11?
True
Suppose 56 = 4*r - 4*u, -6 = -r - 3*u - 0*u. Is 6 a factor of r?
True
Let z be (-2)/((-6)/(-3) + 0). Is 18 a factor of 2*z + 41 - 0?
False
Let x(j) = j**3 - 5*j**2 + 5*j + 4. Does 29 divide x(5)?
True
Let b(t) = t**2 - t + 1. Let n be b(2). Suppose -n*j + 7 = -23. Is j a multiple of 6?
False
Let p(h) = -10*h - 28. Is 27 a factor of p(-14)?
False
Suppose 13 = q + 3*v, 2*q + 9 = 4*v - 3*v. Is q*5/(5/(-3)) a multiple of 3?
True
Let o = 10 - 7. Suppose o*k + 1 = 16. Is k a multiple of 5?
True
Suppose 3*o - 28 = o. Is o a multiple of 3?
False
Suppose 4*v = -5*l + 459 - 108, 5*v = 3*l + 411. Does 21 divide v?
True
Let z(p) = -p + 32. Suppose 0 = -f + 3*b + 10, -6*f + 2*f + 3*b = -13. Let j = f - 1. Is z(j) a multiple of 17?
False
Let u = 83 + -57. Does 3 divide u?
False
Let r be (-8)/(-2) + -2 + 0. Suppose -5*l - 2 = -x, 0 = -r*x + 3*l + l - 20. Let s = x - -32. Is 14 a factor of s?
True
Let d(n) = -9*n - 3. Suppose 3*t - 2*u + 15 = 0, -3*u + 2 + 7 = 0. Is 12 a factor of d(t)?
True
Suppose -2*y + 4*i = 0, -5*i - 56 = 3*y - 23. Let l be 2*(-2 - 57/y). Is 2 a factor of (-50)/l*6/(-5)?
True
Let a(h) be the third derivative of h**5/30 + h**4/4 - 3*h**2. Is 11 a factor of a(-5)?
False
Let i = -2 + 5. Suppose i*m = 2*m + 8. Suppose -4*j - 3*c = -56, 3*c = m + 4. Is 11 a factor of j?
True
Let h(o) = 0 + 0*o**3 + 9*o**2 - 3 + 0*o**3 + o**3 - 2*o. Is 11 a factor of h(-9)?
False
Let c be (-4)/(0 + 0 - -1). Is (-96)/c + 2 + -1 a multiple of 9?
False
Let v(o) = o**2 + 5*o + 3. Let u be v(-5). Suppose -12 = -2*n + d, -u*n + 4*d = -8 - 15. Suppose 80 = 5*q + 5*s, s + 52 = n*q - s. Does 12 divide q?
True
Suppose 3*n - 5 = 1. Is 21 a factor of 65 + n/2 - -1?
False
Suppose p + 15 = 5*i + 3*p, -6 = -2*i + 4*p. Suppose -i*b + 0 = -9. Suppose j + 6 = b*j. Is j a multiple of 3?
True
Suppose 2*m - 149 = 45. Suppose -4*r = 2*f - 142, -3*f + 50 = 4*r - m. Does 8 divide r?
False
Suppose -3*l = -53 - 25. Suppose l = -g - 9. Let z = g + 101. Does 17 divide z?
False
Let z(v) = -48*v**2 - 4*v - 1. Let l(p) = -49*p**2 - 5*p - 1. Let q(d) = 3*l(d) - 4*z(d). Does 13 divide q(-1)?
False
Suppose 4*n = -5*k + 239 - 15, n - 4*k = 56. Is 8 a factor of n?
True
Let r = -2 - -5. Suppose -5*q + 0*s - s = -298, -5*q - r*s = -294. Suppose -4*o - 3*i - 16 = -75, -3*i - q = -3*o. Is o a multiple of 17?
True
Is (0 - 1)/((-22)/1650) a multiple of 15?
True
Let l(q) be the second derivative of -1/3*q**3 + 0 + 3*q + 2*q**2. Is l(-7) a multiple of 18?
True
Suppose 23 = d + 3*w + 2*w, 4*d - 32 = -5*w. Suppose t + d*t = -4*s, 6 = 2*s - t. Is 2 a factor of s?
True
Let u be -20*(3 - (-14)/(-4)). Suppose -m = 2*c - 18 - u, 5*m - 36 = -2*c. Let f = c - -11. Is 24 a factor of f?
True
Let a(p) = p**3 - p**2 + p + 5. Let y be (14/3)/((-6)/(-9)). Let d be 2/y + 2/(-7). Does 2 divide a(d)?
False
Let d(i) = -i**3 + 15*i**2 - 14*i + 24. Is d(14) a multiple of 24?
True
Let y = -78 - -167. Is 8 a factor of y?
False
Let i(m) = -m**2 - 4*m - 5. Let r be i(-3). Is 13 a factor of -2 - (-63 - r - 3)?
False
Let m(z) = 12*z**2 - 5*z + 5. Does 12 divide m(1)?
True
Suppose w + 51 = 4*w. Let m(l) = -l**3 + 8*l**2 - 6*l + 8. Let v be m(7). Let y = v + w. Is 16 a factor of y?
True
Suppose 0*x = x. Suppose x = 5*b + 2*l - 118, -2*b - l = b - 71. Is 12 a factor of b?
True
Let s = -42 + 21. Is (-1)/(45/s - -2) a multiple of 5?
False
Let p(m) = m + 12. Let k be p(-13). Is 12 a factor of (-1)/(-1) - (-10 + k)?
True
Let k = -125 - -195. Suppose -b = 0, -2*q - 3*q = b - k. Is q a multiple of 7?
True
Suppose 0 = -5*i + 3*i + 64. Suppose i = j + g, 2*j - g + 6*g - 73 = 0. Is 6 a factor of j?
False
Let p = 6 + -8. Is 19 a factor of p*(1*-16 + -3)?
True
Let r(t) = -27*t + 10. Does 13 divide r(-8)?
False
Let i(p) = 32*p + 71. Is 59 a factor of i(7)?
True
Suppose -3*b = -3*f + 441, -279 = -2*f - 0*f - 3*b. Is f a multiple of 24?
True
Suppose -63 = -2*n + n. Is n a multiple of 10?
False
Let n be (-3)/9*0 + 4. Suppose 3*x = -n*v + 140, -3*x - 28 = -2*v + 42. Does 11 divide v?
False
Suppose g = -2*g + 15. Suppose 0 = -g*w - 8 + 63. Is w a multiple of 7?
False
Is 21 a factor of (143 + -1)*(1 + 0/3)?
False
Suppose -5*x - 18 = -48. Suppose -x - 3 = -3*y. Is y even?
False
Suppose -5*j = -763 - 197. Is 12 a factor of j?
True
Let x = 36 - 23. Does 4 divide x?
False
Let v(m) = m**2. Let x be v(0). Suppose -4*j - c + 0*c + 319 = 0, -5*j - c + 399 = x. Suppose 39 = 2*u - 5*n, -40 - j = -5*u + 5*n. Does 14 divide u?
False
Suppose 0 = -2*k + 3*t + 176, -k + 14 = -t - 76. Is k a multiple of 32?
False
Suppose 4*o = -5*v + 193, -2*v = 2*o + 3*o - 237. Does 15 divide o?
False
Suppose 0*g - 2*g - 2 = 0. Let t(r) = -5*r**3 + r**2 + r + 1. Does 6 divide t(g)?
True
Suppose 66 = 3*x - 0*x. Is 6 a factor of x?
False
Let y(q) = -12*q**2 - 5*q + 5. Let f(h) = -12*h**2 - 4*h + 4. Let c(n) = 4*f(n) - 3*y(n). Let d be c(1). Let s = d + 25. Does 13 divide s?
True
Suppose l - 116 = -5*o, l = -2*o - 12 + 56. Is o a multiple of 8?
True
Suppose 0 = 2*w + 75 - 241. Does 18 divide w?
False
Let y(g) = -14*g + 1. Let j = -5 - -4. Does 4 divide y(j)?
False
Let l(j) = 210*j**2 + 7*j - 5. Is 29 a factor of l(1)?
False
Let w be