w a multiple of 28?
False
Let d = -9 - -15. Let l = d + -3. Suppose 48 = l*t - t. Does 12 divide t?
True
Suppose -4*j - j = -445. Does 25 divide j?
False
Let x = 8 + -6. Let w = x + 0. Suppose -34 + 2 = -w*m. Is 16 a factor of m?
True
Let w(v) = 11*v - 9. Is w(9) a multiple of 18?
True
Let l = 337 - 153. Is l a multiple of 23?
True
Suppose 23 + 81 = 4*g. Suppose -39 - g = -5*h. Is h a multiple of 5?
False
Suppose 3*i = -10 + 22. Let d = 3 - i. Let j(q) = -12*q**3 + q. Is 11 a factor of j(d)?
True
Suppose -4*q + 10 = -2. Suppose q = -0*f + f. Let h = f + 7. Does 5 divide h?
True
Suppose 3*a - z = 66, -3*a + 5*a + 3*z - 55 = 0. Is 9 a factor of a?
False
Let x(m) = -m**3 - 10*m**2 + 21*m - 5. Is x(-12) a multiple of 5?
False
Let z(l) = l**2 + 4*l - 2. Suppose 5*q - 1 = -5*y - 6, 4*y = 20. Is z(q) a multiple of 3?
False
Let a be (8/10)/((-5)/(-25)). Suppose -a*y + 25 = -39. Is y a multiple of 16?
True
Suppose 3*o = 3*a - a + 3978, -7974 = 4*a + 3*o. Does 33 divide 2/(-5) - a/30?
True
Suppose g - 3*c = 116 + 41, -5*g = -4*c - 730. Does 29 divide g?
False
Suppose 4*d = -2*k + 6*k + 300, 3*k = 2*d - 148. Does 11 divide d?
True
Let i(t) = 138*t**2 - 3*t - 1. Is 7 a factor of i(-1)?
True
Let d(w) = w**2 - 6*w + 2. Let s be d(5). Let y(h) = -h**3 + 3*h**2 - 2*h + 3. Let b be y(s). Suppose 0 + b = 3*r. Does 18 divide r?
False
Let y be (-1)/3 - (-2)/6. Suppose y = -o - 3*o. Suppose -4*h - 88 = 3*a - 5*a, -5*a - 3*h + 155 = o. Is 12 a factor of a?
False
Is -1 + -1 + 2 + 33 a multiple of 8?
False
Is 18 a factor of (1782/(-55))/((-2)/5)?
False
Suppose -c - 107 = -3*c + 3*r, 0 = c + 4*r - 48. Suppose -3*m + m = -c. Does 10 divide m?
False
Suppose 5 = 3*s - 5*w, -2 = 2*s + 2*w - 0. Suppose z - 10 - 44 = s. Suppose -2*c + 5*i + 22 = 0, -4*c - 3*i + z = -c. Is 13 a factor of c?
False
Suppose 18 = -5*b + 2*b. Let x be ((-4)/b)/((-6)/108). Let l = x + 19. Does 6 divide l?
False
Is 3 + (1 - -1 - -49) a multiple of 12?
False
Let j = -7 + 8. Let x be j/(-3) - (-22)/3. Suppose -x = 4*p + 2*l - 57, 41 = 4*p + 5*l. Is p a multiple of 6?
False
Let b(s) = 5*s**3 + 6*s**2 - 5*s. Let w(j) = -4*j**3 - 6*j**2 + 4*j. Let h(x) = -3*b(x) - 4*w(x). Is h(-4) a multiple of 12?
True
Let c(v) = v**3 - 11*v**2 + 37*v - 12. Does 42 divide c(11)?
False
Is (740/70)/(6/21) a multiple of 5?
False
Suppose -5*t + 0*t + 225 = 0. Does 14 divide t?
False
Is 30/(2/12*4) a multiple of 5?
True
Suppose -2*r + 8 = 2*m, -3*r + 4*m - 1 = -6. Let u be r*(-12)/(-27)*-3. Let t = u + 6. Is 2 a factor of t?
True
Let u(t) = 2*t**3 - 2*t**2 - t - 1. Let z be u(2). Suppose 4*b - b = 12, z*m + 91 = -b. Does 7 divide (m - -2)/((-1)/1)?
False
Let v = -4 + 4. Let p = 63 + -39. Suppose 3*y = h + 20, -2*y - 2*h = -v*h - p. Does 8 divide y?
True
Suppose 6*r - 3*r - 255 = 0. Suppose -5*j + r - 10 = 0. Is 8 a factor of j?
False
Let c = -40 + 82. Is c a multiple of 12?
False
Suppose 2*m + 2 = 18. Is m a multiple of 8?
True
Suppose -l - 69 = -4*l. Suppose l = 3*y - 0*k - k, -y = k - 9. Does 8 divide y?
True
Suppose 6 = 2*w + 8. Does 16 divide (-3)/1 + 36 + w?
True
Suppose -4*v + 88 = -4*y, -4*v + 3*y - 57 = -145. Is v a multiple of 3?
False
Suppose 4*v + 11 = -5*i + 1, -2*v + i = -2. Suppose 488 = 4*x - 176. Suppose 4*m - 5*g - x = v, -5*m - 4*g = -31 - 156. Is 13 a factor of m?
True
Let x = -22 + 49. Is 27 a factor of x?
True
Does 14 divide 0 - (2 + -3 + -31)?
False
Let r(f) = f**3 + 5*f**2 - 10*f - 8. Let n be (0 - -1)/(3/(-18)). Let i be r(n). Suppose -2*v + 62 = i. Does 12 divide v?
False
Let n(w) = -w**3 + w**2 + w + 4. Let x be n(0). Suppose -84 = -3*y - x*v, 2*v = -y + 32 - 2. Let i = y - 12. Is i a multiple of 9?
False
Let d = -14 - -23. Suppose d = 3*w - 33. Is 7 a factor of w?
True
Let o be 12/(-32) - 2092/(-32). Suppose 0*s + o = 5*s. Is 9 a factor of s?
False
Suppose 2*o - 16 = -64. Does 25 divide o/(-2)*(-66)/(-24)?
False
Suppose l + 4*l - 6 = 2*v, 0 = l + 2. Let q(k) = k**2 + 6*k + 4. Is 10 a factor of q(v)?
True
Suppose -6*p + 2*x - 386 = -2*p, -4*x = p + 110. Suppose 4*g = 2*g - 24. Does 16 divide p/(-3) - (-8)/g?
True
Let u = -11 - -51. Is 17 a factor of u/(-16)*136/(-5)?
True
Suppose 4*j = 2*j + 8. Suppose 3*p = -j*u + 166, 32 + 26 = p + 2*u. Is 25 a factor of p?
True
Suppose z + 8 = -z, 3*a - 59 = -4*z. Suppose 9*q = 4*q + a. Is q a multiple of 2?
False
Let q(k) be the first derivative of 21*k**4/2 - k**3/3 + k - 8. Is 12 a factor of q(1)?
False
Suppose -2*d = -3*d + 33. Suppose d = 2*j + 13. Is j a multiple of 10?
True
Let u(h) = -h + 4*h**2 + 5*h - 2 - 3*h**2. Let p be u(-4). Does 6 divide (1 + 1)/(p/(-6))?
True
Let k be (2 + 30/4)*2. Let t = k + 4. Is t a multiple of 23?
True
Suppose 0 = -p + 5 - 1. Let m(k) = -k**2 + 4*k + 3. Let b be m(p). Suppose -31 - 47 = -b*f. Is f a multiple of 9?
False
Let s be ((-5)/3)/(1/9). Does 5 divide (s/(-6))/((-2)/(-4))?
True
Suppose -17*k + 8117 = 3000. Does 43 divide k?
True
Suppose -3*o + 125 = 5*y, -7*o - y = -3*o - 161. Is 10 a factor of o?
True
Suppose 2*m - 1 = 3. Let n = 1 + m. Is 2 a factor of n?
False
Let j = -107 + 117. Is j a multiple of 6?
False
Suppose -3*g + 3*s = -219, 0 = -g - 2*g - 3*s + 189. Is 12 a factor of g?
False
Let q = -27 - -41. Let k = -3 + q. Is k a multiple of 4?
False
Suppose -r - 3 = -8. Suppose -r*g + 426 = 16. Is 23 a factor of g?
False
Let k = -9 - -9. Suppose -3*n - 27 = 5*w, k*n - 8 = 2*n. Does 6 divide 7*3 - (w - -6)?
True
Let a = -90 - -180. Is 30 a factor of a?
True
Suppose 0 = 2*x + 14 - 4. Let s(i) = i**2. Does 12 divide s(x)?
False
Suppose -1 = -0*x - x. Let z be x + (-3 - -3) - 85. Let p = z + 123. Is 18 a factor of p?
False
Let s be 6*(1 + (-4)/(-3)). Let m = s - 8. Is 20 - (-1)/((-3)/m) a multiple of 9?
True
Suppose p = 4*s - 21, 4*p + 0*p - 4*s + 24 = 0. Let j = 2 - p. Let x = j - -3. Does 4 divide x?
False
Suppose -78 = -2*m - 5*j + 91, -4*j = 3*m - 236. Does 18 divide m?
True
Does 18 divide -4 - (-378)/5 - (-8)/20?
True
Suppose 3*u - x = 67, x = -3*u + 4*x + 75. Is 21 a factor of u?
True
Let d = 9 + -6. Let b be (2 - -14)*d/1. Suppose -99 = -5*x - 3*w - 3, -3*w - b = -3*x. Is 12 a factor of x?
False
Is -1 + (-552)/(-15) - 2/(-10) a multiple of 18?
True
Let t = -42 - -116. Suppose 3*z = -11 + t. Suppose -4*s = -8, 0*y - y - 4*s = -z. Is y a multiple of 13?
True
Let v(a) = -2*a**2 + 5*a. Suppose 0 = 6*d - 2*d - 16. Let u be v(d). Let g = 3 - u. Is g a multiple of 8?
False
Suppose -4*j + 4 = 4*o, 5*o - 3*o = 4*j + 14. Is 2 a factor of o?
False
Let f(q) = 2*q - 10. Let y be (-215)/(-45) + (-2)/(-9). Suppose -2*l = -y*l + 21. Is 4 a factor of f(l)?
True
Suppose m - 3*m = -6. Let i be (0 - 1)*-1 + m. Let l = 17 - i. Does 5 divide l?
False
Let g(t) = -t**3 - 3*t**2 + t - 5. Let w be g(-6). Let k = 83 + -80. Suppose 0 = 4*x + 4*l - 176, -k*x + w = 4*l - 31. Is 24 a factor of x?
True
Suppose 0 = -2*a + 2 + 2. Suppose -66 = -2*z - 4*b, -2*b + 7*b = -a*z + 71. Does 14 divide z?
False
Suppose 75 = 3*x + 6. Suppose -4*y = -3*g - x, g = -4*y + 5*y - 5. Does 4 divide y?
True
Suppose 2*q - q + 1 = 0, -5*c + 949 = q. Let g = c + -100. Is g a multiple of 30?
True
Is 3 a factor of ((-274)/9)/(-2) - (-2)/(-9)?
True
Let a be 39/(-21) + (-1)/7. Let l = 4 + a. Suppose -w + 39 = z, 6*w + z - 165 = l*w. Is w a multiple of 21?
True
Suppose 2*l - 2 = 0, 3*w - 4*l = -l + 51. Is w a multiple of 9?
True
Let m(t) = 5*t**2 - 38*t - 22. Is 65 a factor of m(12)?
False
Let j = 2 + -1. Let q be (8 + 0)*-1 + 0. Is ((-5)/2)/(j/q) a multiple of 10?
True
Suppose 25 = 5*p + 80. Let r(k) = 5*k**3 + 35*k**2 + 20*k - 20. Let m(d) = -d**3 - 7*d**2 - 4*d + 4. Let u(w) = p*m(w) - 2*r(w). Is u(-5) a multiple of 13?
True
Suppose 974 - 158 = 4*t. Is t a multiple of 17?
True
Let z = -1 - -1. Suppose z = -f + 44. Is 11 a factor of f?
True
Let u = 14 - 11. Suppose 4*k = -i + 45, -3*i + 54 + 36 = u*k. Is 7 a factor of i?
False
Suppose 4 = 5*x - 11. Suppose x*r + 77 = 7*r + 3*a, -4*a = 2*r - 46. Suppose -r = -2*s + 89. Is s a multiple of 19?
False
Let k(o) = -6*o. Let u be 0 + -2 - 0 - 1. Is 18 a factor of k(u)?
True
Suppose -3 = -u - 1. Suppose 6 = u*c - 0. Suppose 0 = 2*f - 3*g - 0*g, f - c*g + 3 = 0. Is 2 a factor of f?
False
Let d(h) = -6*h - 10. Let r(o) = -5*o - 9. Let y(w) = -6*d(w) + 7*r(w). Let s be y(7). Suppose -5*f + 4 = -s*f. Is f a multiple of 4?
True
S