-v + m. Is v a multiple of 10?
True
Let q = 50 - 46. Suppose -3*o + 219 = q*d, -4*o - 2*d + d = -305. Is 20 a factor of o?
False
Suppose 8*g + 204 = 2*g. Is (-540)/g - (-5)/(340/8) a multiple of 4?
True
Suppose 0 = -5*l - 10 - 40. Let p = 5 - l. Does 15 divide p?
True
Let w(k) = 2*k**3 + k**2 - 32*k + 29. Is 40 a factor of w(11)?
False
Let a(z) be the third derivative of z**6/20 + z**5/60 + z**4/24 + z**3/3 + 3*z**2. Let u be 7/(154/48) + (-6)/33. Is a(u) a multiple of 12?
False
Suppose -3*q = -q - 5*f - 15, 3*q - 26 = 4*f. Suppose -4*d - 3*z + 75 = 0, z + z = q. Is d a multiple of 7?
False
Let k = 89 - 85. Suppose 5*n - 188 = k*n. Is n a multiple of 17?
False
Suppose 0 = 4*b - 7 - 9. Suppose 2*y - 97 = -4*c + 305, 4*c = -b*y + 392. Is c a multiple of 30?
False
Let s(a) = -a**3 - 14*a**2 - a - 9. Let v be s(-14). Suppose q = v*d + 2, -q + 3 = 3*d + 1. Suppose d = -3*g + 2*g + 14. Is 14 a factor of g?
True
Suppose 0*j - 4*j = 3*j. Suppose -4*r - 240 = -4*c, j = c - 3*r - 0*r - 70. Is c a multiple of 11?
True
Suppose 3*w = 14*z - 15*z + 10, -z + 13 = 2*w. Is z a multiple of 19?
True
Let x(g) = -3*g**3 + 27*g**2 + 16*g - 29. Is x(9) a multiple of 16?
False
Does 15 divide 915/122*120/2?
True
Let c(a) be the second derivative of a**5/20 + a**4/2 - 3*a**3/2 + 7*a**2/2 - a. Suppose -5*g - 24 = 11. Is 7 a factor of c(g)?
True
Let q(d) = -d + 11. Let u be q(0). Let o = 16 - 25. Let t = o + u. Does 2 divide t?
True
Let k(o) = o**2 + 5*o - 11. Let c be k(-10). Suppose c + 81 = 8*t. Is 11 a factor of t?
False
Let j = 558 - 236. Is 14 a factor of j?
True
Suppose 0 = 3*r + 9*r. Suppose r = -10*c + 5*c + 150. Does 10 divide c?
True
Let v(u) = 453*u**2 + 33*u - 33. Does 8 divide v(1)?
False
Is (-1 + 5 - 6)*-1*1472 a multiple of 128?
True
Suppose 35*z - 1760 = 13*z. Does 5 divide z?
True
Let t(c) = 11 - 8*c - 2*c**3 + 2*c**3 + 6*c**2 - c**3. Let p be t(5). Let i = p + 46. Is i a multiple of 7?
True
Let t = 582 - 330. Is 7 a factor of t?
True
Let i be -1 + 0/(-3) + -1. Let g be -1 + (-1 - i - -2). Suppose -q + g*c = -0*c - 14, q = 5*c - 1. Is q a multiple of 8?
True
Let x(n) = -n**3 + 18*n**2 - 23*n - 8. Is 13 a factor of x(16)?
False
Suppose -12096 = -105*i + 69*i. Does 56 divide i?
True
Suppose -c - 23 = -26. Let x(l) = 55*l - 15. Is 54 a factor of x(c)?
False
Let k(w) = -5*w + 21. Let a = -52 + 36. Is k(a) a multiple of 37?
False
Suppose s + 0 = -o - 1, 3*s - o = -3. Let m = -5 - s. Is 27 a factor of (-6)/12 + (-306)/m?
False
Suppose -6 = 19*i - 18*i. Let b(c) = 2*c**2 + c. Is b(i) a multiple of 22?
True
Let z be (-10)/35 + (-51)/(-7). Let t = -11 + z. Does 14 divide t/(-3)*(29 + 10)?
False
Let r = 46 - 3. Suppose -r*c = -48*c + 495. Does 16 divide c?
False
Suppose 2*c + 5*z = 2487, -3*z - 2527 = -2*c - 0*c. Does 82 divide c?
False
Does 5 divide 4 + (7 - (-1535 - -13))?
False
Let v(o) be the first derivative of o**3/3 + 3*o**2/2 + 6*o - 7. Does 16 divide v(-5)?
True
Let t(j) = -24*j + 3. Let a be t(7). Let d = a + 261. Does 12 divide d?
True
Is 3/16*-2 - (-98610)/304 a multiple of 13?
False
Suppose 1 = 9*x - 26. Suppose -x*f + 7 = -77. Is 14 a factor of f?
True
Let x(k) = -k**2 + 15*k - 12. Let f = 2 - -5. Suppose -f*a + 6*a = -12. Does 12 divide x(a)?
True
Let g be (4/(-6))/((-14)/693). Suppose -6*a - 5*v = -a - 50, -3*a - 2*v + g = 0. Is 6 a factor of a?
False
Let g = -51 - -467. Is 16 a factor of g?
True
Suppose 2*x = 4*q - 6, -2*q + 2*x + 3 = q. Let i(w) be the second derivative of 2*w**4/3 - 5*w**3/6 + 3*w**2/2 + 2*w. Is 22 a factor of i(q)?
False
Suppose 14 = a - 0. Suppose 0 = 6*x + a - 158. Is 6 a factor of x?
True
Let d(n) = 5*n**2 + 12*n + 48. Let g be d(-6). Suppose 72 = -3*p + g. Is 7 a factor of p?
True
Suppose 5*f - 2340 = -0*f. Is 18 a factor of f?
True
Suppose -10*y + 56 = -44. Let s(p) = p**2 - 16. Is 12 a factor of s(y)?
True
Let k be (8/10)/((-2)/(-20)). Let p be 8/28 - -2*355/(-35). Does 27 divide 3*p/(-12)*k?
False
Suppose 5*j + 3 = i, 0*i + 5*j - 6 = -2*i. Let d(v) = v**2 + 3*v - 3. Let c be d(-6). Suppose -g + i*g = 2*l - 20, -l = -2*g - c. Is 4 a factor of l?
False
Let s be 2/4*2*51. Let p = s + -72. Let g = 44 + p. Is g a multiple of 8?
False
Let k = 20 + -16. Let h(y) = -y**3 + 5*y**2 + y - 5. Is h(k) a multiple of 5?
True
Let z(t) = t**3 - 3*t**2 + 2*t + 2. Let h be z(3). Suppose 3*q - h = -2. Suppose -s = 4*u - 35, 56 = 4*s - q*s + u. Does 27 divide s?
True
Suppose 4*u = -2*g + 3*g + 72, -2*g - 18 = -u. Suppose -6*m = -0*m - u. Suppose s + 14 - 87 = -m*p, 2*p + 138 = 2*s. Does 13 divide s?
False
Let d be (12/8)/((-3)/(-2)). Let b(w) = 23*w**3 + 3*w**2 - 3*w + 1. Does 13 divide b(d)?
False
Suppose -9464 = 4*f - 17*f. Does 56 divide f?
True
Suppose -x - 53 = 4*y, -3*y - 2*x = 43 - 2. Let c(w) = w**3 + 15*w**2 + 11*w - 15. Let g be c(y). Suppose -s - 4*s + g = 0. Is s a multiple of 18?
True
Let d = 827 - -661. Is d a multiple of 16?
True
Suppose 0 = -2*p + 3862 - 2086. Does 8 divide p?
True
Let d(p) = 0 - p**2 + 4*p + 3 + 2. Let o be -4 + 6 + 3 + -1. Does 5 divide d(o)?
True
Suppose 2*o + 3*t = 2*t + 352, 0 = 3*o + 2*t - 529. Is 11 a factor of 3/12 + (0 - o/(-4))?
True
Let k = 3936 - 2650. Does 22 divide k?
False
Suppose 3*d + 3 = -2*p + 13, p - 2*d + 2 = 0. Suppose -n + p*z = -3*n + 102, 5*n - z = 285. Does 7 divide n?
True
Suppose 7*k + 1830 = 12*k. Is k a multiple of 3?
True
Let i(f) = f**3 - 6*f**2 + f - 4. Let x be i(4). Let y = x - -60. Suppose 2*k = -k + 15, -k = -v + y. Is v a multiple of 11?
True
Let a(l) = -l**3 - 5*l**2 + 5*l. Let z be a(-6). Let i(x) = 9 - 31 + 10 + z*x. Does 12 divide i(8)?
True
Let x(b) = b**3 + 37*b + 1060. Is x(0) a multiple of 73?
False
Suppose -5*h - 120 = 5*n - 880, -n + 4 = 0. Does 74 divide h?
True
Suppose 4*q = -r + 5, 3*r + q - 15 = -4*q. Suppose -r*s + 4*i + 99 = 0, 3*s + i = 6*i + 62. Suppose -s = -2*u + 5. Does 8 divide u?
False
Let u be 13/(-26) - 47/2. Let n be -3*4/u*32. Suppose n = 3*p - 248. Is p a multiple of 22?
True
Is ((-3)/(54/(-4236)))/(3/9) a multiple of 17?
False
Let i be (4/6)/((-12)/(-90)). Let a = i - -1. Suppose -5*j - 9 = 2*f, -2*j - a = 4. Is f a multiple of 5?
False
Let o = 31 + 99. Is 13 a factor of o?
True
Suppose 8*n = 7 + 25. Suppose 5*w - 8*d = -4*d + 905, -2*w = n*d - 334. Is w a multiple of 36?
False
Let h be -10*(-2 - (-9)/3). Is (92/h)/(8/(-80)) a multiple of 23?
True
Let b(w) = -w + 5*w**2 + w**3 - w**2 + 3*w + 5 - 2. Let g be b(-4). Is ((-6)/(-2))/(g/(-20)) a multiple of 12?
True
Let y(z) be the second derivative of z**4/12 - 2*z**3 - 9*z**2 + 11*z. Let j be y(16). Suppose -5*l + 104 = -j. Does 4 divide l?
False
Suppose 6*t = t + 3*c - 901, 0 = 2*t - 2*c + 362. Let x = t + 266. Does 29 divide x?
True
Suppose 3*j - 2*x + 6 = 0, 2*x = 4*j - 1 + 7. Suppose -u + 59 = -j*u. Does 22 divide u?
False
Let k(j) = -j**3 - 3*j**2 + 5*j + 1. Let h be k(-4). Let a(s) = -107*s + 17. Let f(o) = 18*o - 3. Let r(d) = 6*a(d) + 34*f(d). Does 19 divide r(h)?
False
Suppose 18*u - 125 = 13*u. Suppose 28*o - 144 = u*o. Does 35 divide o?
False
Let u = 4 - -46. Let l = 77 - u. Suppose -5*r = -3*v - 106, -2*r + l = -3*v - 19. Is 5 a factor of r?
True
Suppose 0 = -274*t + 302*t - 74200. Is 25 a factor of t?
True
Is 15 a factor of (3024/105)/((-2)/(-10))?
False
Let t be -22 - 1/(-2 + 1). Suppose -7*v + 388 = -3*v. Let n = v + t. Is n a multiple of 24?
False
Let f(t) be the first derivative of t**4/4 + 5*t**3 + 5*t**2 + 14*t + 6. Let r be f(-14). Does 13 divide (r/(-8))/(3/(-12))?
False
Let k(w) = 2 + 11 + w - 1. Let g be k(-9). Suppose -160 = -g*c + 56. Is 24 a factor of c?
True
Let s(p) = p - 2. Let i be s(4). Suppose 193 = i*g - 25. Is g a multiple of 25?
False
Let p(g) = -g**2 + 32*g + 76. Is 23 a factor of p(17)?
False
Suppose -12*n + 14*n - 5*x - 3135 = 0, 3156 = 2*n + 2*x. Is n a multiple of 15?
True
Let m(l) be the first derivative of -l**4/12 + 5*l**3/3 + 6*l**2 + 10*l - 4. Let c(n) be the first derivative of m(n). Is 6 a factor of c(10)?
True
Suppose 2*q - 28 = 2*z - 3*q, -4*q = -2*z - 28. Let y = z - -31. Does 3 divide y?
False
Suppose 8*o + 5707 = 16267. Is 40 a factor of o?
True
Let k be ((-38)/8)/(1/(-20)). Suppose p - k = 6. Does 23 divide p?
False
Suppose 0 = -u + 2*m + 228, -16*m - 456 = -2*u - 17*m. Is 57 a factor of u?
True
Suppose q - 2 = 0, 4*r + 4*q - 34 = 2*r. Le