ultiple of 8?
True
Suppose 5*a = -2*o + 447 + 13, -4*o = -2*a + 184. Suppose 2 = -2*u, 0 = g + 3*g + 4*u - a. Is 6 a factor of g?
True
Let p be 156/(-27) + 2/(-9). Suppose 22 - 2 = 5*z. Is 5 a factor of 26/(-3)*p/z?
False
Suppose 4*i - r + 5*r + 20 = 0, 5*i + 29 = -r. Let q be ((-8)/i)/((-2)/(-36)). Suppose q = -3*t + 99. Is t a multiple of 9?
False
Let i(u) = -u**3 - u**2 - 4. Is 13 a factor of i(-3)?
False
Let j(k) = -2*k + 53. Is 14 a factor of j(-6)?
False
Let p(h) = h**3 - h**2 + 4*h - 4. Is p(3) a multiple of 9?
False
Let i(f) = -f**2 + 8*f + 3. Suppose -1 = -2*n + 3*l - 2*l, n + l = -1. Suppose -h + 0*h + 6 = n. Is i(h) a multiple of 4?
False
Let g = -10 + 61. Does 18 divide g?
False
Suppose 0 = 3*j + 2*j - 5. Suppose -2*g = 3*k - j, k - 4 = 2*g + 5*k. Is (-2)/g - 75/(-12) a multiple of 3?
True
Let c = 179 + 107. Is 15 a factor of c?
False
Let c be (-4)/3*(-6)/4. Suppose 4*v - 156 = c*v. Is 9 a factor of v/8 + (-6)/8?
True
Suppose q - 7 = -3. Suppose -162 = -q*h - 2*j, 0*h = 3*h + 2*j - 123. Does 27 divide h?
False
Suppose 6*z = 4*z + 22. Is 11 a factor of z?
True
Let w(m) = 6*m - 2. Let l be -10*((-48)/(-20))/(-4). Is w(l) a multiple of 12?
False
Let x(i) = i**2 - 2*i. Let u be x(3). Let o = u - -18. Is 21 a factor of o?
True
Let v = 26 - 22. Is v even?
True
Suppose 4*i = -5 + 25. Let o(h) = -2*h**3 - 11*h**2 - 10*h - 17. Let l(d) = -d**3 - 6*d**2 - 5*d - 9. Let v(p) = i*l(p) - 2*o(p). Is v(-8) a multiple of 14?
False
Suppose 0 = -0*z + 4*z - 8. Suppose -5*r - 3*j + 6 + 6 = 0, -3*r = z*j - 8. Suppose v - 33 - 7 = r. Does 15 divide v?
False
Suppose 6 = 2*a, n = -3*a + 19 + 46. Let q = n + -20. Is q a multiple of 17?
False
Suppose 0*w = 3*x - 4*w - 143, 4*w - 21 = -x. Let o = 81 - x. Suppose -3*k + o = -17. Does 12 divide k?
False
Suppose -3*r + 13 = 1. Suppose 3*i + 6*d - 34 = r*d, 5*i - 65 = -5*d. Suppose -2*p - i + 42 = 0. Is p a multiple of 17?
True
Let u(p) = 55*p**2 - 2*p + 2. Does 6 divide u(1)?
False
Let d be (-24)/(-1 + 22/26). Let r = 82 - d. Does 3 divide (-3)/12 - r/8?
True
Suppose -3*f + f = -138. Does 10 divide f?
False
Suppose -4 + 8 = 2*n. Suppose 2*i + n*y - 4 = 0, -2*i = 4*y - 0*y. Does 4 divide i?
True
Suppose 0 = -n + 3*n - 40. Let c = 10 + n. Is 15 a factor of c?
True
Let u(w) = 5*w - 8 - w + w**2 - 4*w + 3*w. Does 10 divide u(-7)?
True
Suppose 4*y - 17 = -5, 0 = -3*k + 5*y - 15. Suppose 0 = -k*w - 5*w. Suppose -3*i + 23 = c + 3*c, c - 2*i - 3 = w. Is c a multiple of 3?
False
Suppose -u = 3*u. Suppose a - s = 32, -4*a + 136 = -u*s - 2*s. Is 12 a factor of a?
True
Let r = 15 + -9. Suppose 0 = -r*u + 2*u - 48. Is u*(-1 + (-6)/4) a multiple of 16?
False
Let m = -9 - -10. Let o(s) = 14*s**2 - s + s**2 + 1 + 3*s**2. Does 9 divide o(m)?
True
Suppose m = 2*m. Suppose m = 5*j - 3*j - 20. Does 8 divide j?
False
Let n(q) = 3*q**3 - 5*q**2 + 2*q + 4. Does 7 divide n(3)?
False
Let k(r) = -r**3 - 2*r**2 + 8*r + 9. Is 9 a factor of k(-4)?
True
Let i = -3 + 7. Is (-1)/i - 65/(-4) a multiple of 8?
True
Let h be (-2)/(4/(-6)) - -39. Suppose 6*v = v. Suppose f - 4*f + h = v. Does 6 divide f?
False
Let t(b) = b - 6. Let v be t(-9). Let p = v - -22. Does 7 divide p?
True
Let q = 3 - -12. Is 5 a factor of q?
True
Let p(n) = -n**3 + 10*n**2 + 2*n + 2. Let x be p(10). Suppose -2*k + 2 = -2, -2*t + 4*k + x = 0. Does 15 divide t?
True
Suppose 0*x = 3*q + 5*x - 66, 3*q = 2*x + 87. Is q a multiple of 27?
True
Is 15 a factor of -1 - 364/(-1 - 3)?
True
Is 601/4 + 4/((-80)/(-15)) a multiple of 27?
False
Let j = 78 - 17. Is j a multiple of 7?
False
Let i be 12*5/(-3)*2. Does 7 divide (0 + i)*16/(-20)?
False
Let r = -2 - -39. Does 11 divide r?
False
Suppose 2*n - 6*n = -32. Is 4 a factor of n?
True
Suppose 0*o + 21 = 2*o + 5*f, 0 = -5*o - 5*f + 30. Let v be o/(-6)*(1 - 1). Suppose v = -3*j - 15, 0*c + 34 = 3*c + 4*j. Is 18 a factor of c?
True
Let i = -151 - -85. Suppose v + 30 + 7 = 0. Let a = v - i. Does 10 divide a?
False
Let f be (65/4 + 1)*4. Suppose 2*m - 22 = 10. Suppose m + f = 5*s. Is s a multiple of 17?
True
Suppose 0 = 2*r - 10 + 2. Suppose -r*j = j + 80. Does 10 divide ((-15)/6)/(2/j)?
True
Let v be 0 + 3 + 7 + 21. Suppose 2*p - v = 35. Does 8 divide p?
False
Let o be 6 + 3/(3/(-2)). Suppose -o*v = -5*v + 16. Is v a multiple of 8?
True
Suppose -3*l + 4 = -2*l. Let r(m) = -4 + 0 + 1 + 1 + 2*m. Is 4 a factor of r(l)?
False
Let q(b) = -2*b - 7. Let i be q(8). Suppose -2*g - 2*g + t = 257, -2*t = -2*g - 130. Let v = i - g. Is v a multiple of 11?
False
Does 12 divide ((-60)/35)/((1/14)/(-1))?
True
Let f(x) = 3*x**3 - 14*x**2 - 8*x - 1. Let i(r) = 2*r**3 - 7*r**2 - 4*r - 1. Let b(l) = 3*f(l) - 5*i(l). Does 15 divide b(-7)?
True
Suppose -5 = -9*u + 49. Is u a multiple of 3?
True
Let r(s) be the first derivative of -9*s**2 + 2*s - 1. Suppose -9 = -z + 4*z. Does 20 divide r(z)?
False
Suppose -5*g = 5*t - 290, -4*t + 204 = -4*g - 52. Let b(u) = -u**3 - u**2 - u. Let v be b(3). Let m = v + t. Is m a multiple of 11?
True
Let m(j) be the first derivative of -j**4/4 + 7*j**3/3 + 7*j**2/2 + 7*j - 2. Let s be m(8). Let c = s + 5. Is 2 a factor of c?
True
Let x(v) = -v**2 + 6*v - 2. Let m be x(4). Let i(d) = 5*d**2 - 3*d**2 - d + 2 - d**2. Is i(m) a multiple of 16?
True
Let n = -2 + 5. Suppose -2*l + 25 = -3*s, 0*l - 4*s - 38 = -n*l. Is 7 a factor of l?
True
Let m = 13 - -59. Does 29 divide m?
False
Let r(h) = -h**3 + 6*h**2 + 7*h + 1. Let m be r(7). Suppose -m = z - 10. Is z a multiple of 4?
False
Is 2/(-3)*(15 + -87) a multiple of 21?
False
Let r(u) = -u**2 - 14*u - 3. Suppose 7 = -l - 4. Is r(l) a multiple of 14?
False
Let d = 190 - 117. Is 18 a factor of d?
False
Suppose -w = 3*w - 280. Is w a multiple of 22?
False
Let n = 1 - -3. Is 17 a factor of n/(-2) + (-5 - -45)?
False
Let c = 6 + -5. Is 19 a factor of (152/(-16))/(c/(-2))?
True
Suppose -2*f - 41 = -4*k + f, 0 = 3*k - 4*f - 36. Let s = -5 + k. Suppose -s*h + 60 = h. Is 9 a factor of h?
False
Let b(n) = -17*n**3 + 2*n**2 - n - 2. Is 8 a factor of b(-2)?
True
Let r(q) = -q**2 + 16*q + 20. Is 11 a factor of r(12)?
False
Let d = -3 - -5. Suppose -3*g = -5*u + 117, 4 = 2*g + d. Let n = u - -12. Does 12 divide n?
True
Suppose 0 = 2*d + 4*x - 16 - 2, -d - x = -6. Does 11 divide (d - 5)*11/(-2)?
True
Let f be 2/(-9) + (-76)/(-18). Let j = 9 + f. Does 6 divide j?
False
Suppose 5*n + 2*a + 0*a = 282, a + 120 = 2*n. Is 6 a factor of n?
False
Suppose 4*r - 22 = 3*r. Does 11 divide r?
True
Let x = -9 - -16. Let p(h) = -h**3 - h + 3. Let l be p(0). Let g = x - l. Is g even?
True
Suppose -5*f = 5*h + 80, -2*h + 52 = f - 3*f. Does 20 divide (6/(-4))/(f/490)?
False
Suppose -4*c - 21 = -4*m - 57, m + c = -3. Is (39/2)/(m/(-8)) a multiple of 9?
False
Let d be ((-6)/4)/(3/(-32)). Is (1 + -9)*(-92)/d a multiple of 24?
False
Suppose 6*u + 10 = 8*u. Is 5 a factor of u?
True
Suppose -3*k + 0*k + 471 = 3*q, -4*k + 322 = 2*q. Is 9 a factor of q?
True
Suppose -6*x + 2*x = -8. Suppose -18 = 2*q - x*t, 3*t + 2*t - 36 = 4*q. Let j = q + 44. Is j a multiple of 12?
False
Suppose 5*d - 815 = -5*m - 0*m, m + 314 = 2*d. Suppose -4*n = -959 + d. Is 4 a factor of n/14 + (-16)/56?
False
Let s(y) = 60*y - 40. Does 24 divide s(4)?
False
Suppose 10*d - 123 = 377. Does 16 divide d?
False
Suppose 3*i - 47 + 1 = -4*c, 18 = i + 2*c. Let j(p) = -p**3 + 9*p**2 + 10*p + 4. Is j(i) even?
True
Let r be (310/15)/(1/(-3)). Let o = r + 91. Does 12 divide o?
False
Let v = 43 + -11. Does 8 divide v?
True
Let k(v) = v**3 - 9*v**2 + 9*v - 6. Let p be k(8). Is 16 a factor of (p + -49)/(1 - 2)?
False
Suppose -33 - 63 = -2*v. Suppose -31 = -4*d + h, -4*d - 5 = -5*h - v. Is 5 a factor of d?
False
Let y(w) = -w**3 + 11*w**2 + 11*w + 10. Let q be y(12). Let z(j) = -j**3 + j**2 + 3*j + 3. Is z(q) a multiple of 3?
True
Let t(l) = l**2 + 4*l - 14. Is t(-12) a multiple of 25?
False
Suppose 4*b = -4*w + 4, -b + 29 = 3*b - w. Let u = b + 3. Is u a multiple of 7?
False
Suppose 4*f = 5*f. Let u(l) = -l - 3. Let w be u(3). Let a = f - w. Is 6 a factor of a?
True
Let h be (-5 - -19) + -1 + 2. Suppose -l + q + 1 = 3, -3*l = 4*q - h. Does 11 divide (-1)/((2/(-44))/l)?
True
Let g be -1 + 3 + 1 - -3. Is g/4*(-304)/(-12) a multiple of 13?
False
Let i = -28 - -64. Suppose -232 = -4*f + i. Let q = f + -34. Does 18 divide q?
False
Let m be ((-12)/10)/(15/(-50)). Suppos