pose -3*v - 306 = -4*p, 0 = 2*p - 2*v + 72 - 224. Let l = 23 - p. Let a = l - -82. Is a a multiple of 9?
True
Let s = -131 + 169. Is s a multiple of 15?
False
Let v(i) = 8*i**3 + 3*i**2 - 1. Let o be v(2). Suppose p + 85 = 3*u + 2*u, 3*p + o = 5*u. Is 16 a factor of u?
False
Let r(i) = -i**3 - 6*i**2 + 11*i + 11. Let o be r(-8). Suppose -5*d = 2*h - o, 7*d + 5*h = 2*d + 45. Let z = d + -5. Is 4 a factor of z?
False
Let v be (6/2 - -6) + 1. Is 24 a factor of (-5)/v + (-145)/(-2)?
True
Is 6 a factor of (-349)/(-8) + 258/48 + -5?
False
Let a = -2 - 1. Let r = 6 + a. Is (9/6)/(r/20) a multiple of 10?
True
Let y be -1*3*1/(-1). Let v be (y/(-9))/(2/(-24)). Suppose 2*s = -j + 10, 0*s + 4*s = -v*j + 40. Does 10 divide j?
True
Let s be (1 - 1)/2 + 0. Let t = 46 - s. Suppose 4*m - 82 = t. Does 12 divide m?
False
Suppose 5*y - 6*x = -3*x + 478, -2*y + 3*x = -193. Let k = y + -56. Is 9 a factor of k?
False
Let l(s) = 5*s**3 - s**2 + 5*s + 18. Let r(v) = -6*v**3 + v**2 - 6*v - 19. Let y(k) = 5*l(k) + 4*r(k). Let h = -11 + 11. Is 14 a factor of y(h)?
True
Let l(o) = 28*o**3 - o**2 - o - 1. Let p be l(-1). Let i = p - -47. Does 5 divide i?
False
Is 2 a factor of (250/15*-1)/((-4)/6)?
False
Let k(s) = -s**3 - 3*s**2 - 11*s - 14. Is 3 a factor of k(-4)?
False
Let l = -39 - -66. Is l a multiple of 4?
False
Suppose r - 3*r = 0. Suppose -4*q - 118 = -0*q + z, r = 3*q - z + 92. Let v = q - -46. Does 16 divide v?
True
Suppose -o = 3*s - 17, 0 = 2*o - 6*o - s + 90. Is 12 a factor of o?
False
Let t be (-1)/3 + 210/9. Let r = t - -1. Is r a multiple of 8?
True
Let t = 1 + 1. Suppose -4*n - 20 = -4*u, -6*n = t*u - n + 4. Does 2 divide u?
False
Let g(p) = p**2 + 4*p - 9. Let z = -19 + 10. Is 13 a factor of g(z)?
False
Let v = 2 + 3. Suppose -v*j + 44 = 3*l, -2*l - 10 = 3*j - 38. Is l a multiple of 3?
False
Suppose 34 = p - 15. Is 13 a factor of p?
False
Suppose 0 = 4*c - 0*c - 76. Does 4 divide c?
False
Let r(h) = -h**3 - 9*h**2 - h - 7. Let s be r(-9). Is 2 a factor of (3/s)/(4/8)?
False
Suppose 66 = q - 25. Let s = q + -26. Is 16 a factor of s?
False
Let u(w) = w. Is 2 a factor of u(10)?
True
Let m(r) = 139*r**2 + r. Is m(1) a multiple of 10?
True
Suppose -4*l - 5*i + 370 = 0, -3*l + 2*i + 266 = -0*i. Is l a multiple of 18?
True
Suppose -5*p = -7*z + 6*z - 16, 4*p + 25 = 5*z. Does 4 divide z?
False
Suppose 0 = -5*u + 3*l + 88, -2*u - 9 = -4*l - 47. Let p be (17 - 5)*2/(-3). Let m = p + u. Does 6 divide m?
False
Let p(n) = -2*n**3 + n**2 - 2*n. Does 4 divide p(-2)?
True
Suppose -49 = -5*d + 266. Does 13 divide d?
False
Let d = 84 + -49. Is 20 a factor of d?
False
Let q = 939 - 515. Suppose 2*v - q = -2*v. Let i = -63 + v. Does 21 divide i?
False
Let t = 14 + -12. Suppose 103 = 4*i - 41. Suppose -f + i = t*f. Does 12 divide f?
True
Let n(j) = 97*j - 5. Is 10 a factor of n(1)?
False
Let v(r) = 11*r + 21. Does 17 divide v(12)?
True
Let y(h) = -h**3 + 1 + 15*h**2 + 0*h**3 - 6*h**2 + 1. Let l be y(9). Suppose -l*m + 28 = -0. Is 11 a factor of m?
False
Suppose -5*n + 51 - 1 = 0. Is 8 a factor of ((-16)/n)/((-2)/15)?
False
Suppose 0 = x + 2 - 5. Suppose -5*b + 2*i + 54 = -3*b, -x*b - 5*i + 89 = 0. Is b a multiple of 14?
True
Let s = -8 - -11. Suppose -5*i - 3 = -28, -i = s*g - 41. Is 12 a factor of g?
True
Suppose -3*k = 3*f - 0*k - 138, -5*f - 2*k + 227 = 0. Is f a multiple of 10?
False
Let d(b) = 3*b**2 + 18*b - 14. Is 11 a factor of d(-8)?
False
Suppose 4*l = -2*b + 18, 3*b + 2*l - 72 = 5*l. Let n(j) = j - 4. Let q be n(2). Let w = b - q. Does 14 divide w?
False
Let a be (-2)/(-1 + 2) - 4. Let g be ((-80)/a)/(2/(-6)). Let q = -18 - g. Is q a multiple of 8?
False
Suppose 4*c + 34 = -2*k, k - 7 = 2*c - 0*c. Let v(y) be the second derivative of -y**4/12 - 3*y**3/2 + 2*y**2 - 2*y. Is v(c) a multiple of 11?
True
Does 15 divide (-8 - -3)/(1/(-3))?
True
Suppose -2*w = 5*x - 135, -2*w + 3*w - 4*x = 74. Does 17 divide w?
False
Let f be ((-44)/(-6))/(3/36). Let p = f - 53. Is 18 a factor of p?
False
Let c(v) = -2 + v + 5 + 4 - 6. Does 3 divide c(6)?
False
Suppose 4*a + 7 = -d + 1, -2*d - 2*a = 0. Suppose -d*n - 5*b + 12 + 63 = 0, 3*n - 4*b - 101 = 0. Is 12 a factor of n?
False
Let c = -3 + 6. Suppose 4*n - c*t + 17 = 0, -n + t - 3 = 2. Is -1 - (n + -3 + -2) a multiple of 3?
True
Let b(x) = -x**2 + 3*x + 3. Let y = 0 + 3. Let v be b(y). Suppose 0 = 6*s - s + v*n - 37, -3*s + 27 = -3*n. Is s a multiple of 8?
True
Let a = -2 + 2. Suppose 3*u + 2*s = -a*s + 18, s = 2*u - 19. Suppose -75 = 3*j - u*j. Does 15 divide j?
True
Does 22 divide -2 + -135*(2/1 + -3)?
False
Does 14 divide 46 + (-1)/(-1) + -1?
False
Is 9 a factor of (36/(-15))/((-5)/75)?
True
Let d(l) = 9*l**2 - l. Is 15 a factor of d(3)?
False
Suppose -2*l = -4*l + 6. Suppose 2*u + 5 = l*u. Is 5 a factor of u?
True
Suppose 0 = -2*h - 3*d - 0*d + 12, -4*d = 5*h - 23. Let l(a) = a + 6. Let k be l(-6). Suppose k = -h*n + 60 + 6. Is 10 a factor of n?
False
Suppose -2*x = 3*x - v - 25, -5*v + 20 = 4*x. Suppose -2*s - 1 = x*d, -5*s - 3*d + 7*d = 19. Is 11 a factor of s/(-1 + 0) - -19?
True
Let k(r) = 5*r - 2. Let h be (7 - (-2 + 3)) + -2. Is k(h) a multiple of 5?
False
Is 3 a factor of (-270)/4*12/(-18)?
True
Let u be -3 - 9/3*1. Let g be 1/(-2) + (-3)/u. Suppose -2*n + 68 = -g*n. Does 17 divide n?
True
Let b(y) = y**3 + 7*y**2 + 3*y + 9. Let g be b(-7). Let q be 9/(3/g*-2). Let m = 65 - q. Is 18 a factor of m?
False
Does 21 divide 9/(-6) + (-1395)/(-6)?
True
Let n(p) = 7*p - 5. Let k(z) = -2*z. Let a(i) = -1. Let s(w) = 2*a(w) - 2*k(w). Let o(b) = -4*n(b) + 9*s(b). Does 9 divide o(2)?
True
Suppose 0 = 5*k + 21 + 9. Let u(c) = -2*c - 5. Is 4 a factor of u(k)?
False
Let v = 0 + 0. Suppose v = -4*g - 0*g. Is 10 a factor of -2 + 11*(g + 2)?
True
Is 14 a factor of (-10)/(-6) + -1 - 87560/(-330)?
True
Is 23 a factor of (-168)/(-20)*(-15)/(-2) - 3?
False
Let y(o) = o**3 + 12*o**2 - 3*o - 7. Is y(-12) a multiple of 14?
False
Let j be 3/(9/(-132))*1. Let x = -71 - j. Let q = x + 39. Is q a multiple of 6?
True
Let x(t) = 2*t - 3. Suppose 3*f = 2*m + 4, f - 3*m = -9 + 1. Does 2 divide x(f)?
False
Suppose 0 = 3*b - 4*h - 549, -106 = b + 5*h - 289. Let y = b + -123. Is y a multiple of 15?
True
Let k be 4/6*3*1. Suppose -k*q + 7*q = -15. Does 12 divide (4 + -1)*(-31)/q?
False
Let d be (2/(-5))/(6/30). Let y be d + 0 - (-6 + 2). Let i = 6 + y. Does 4 divide i?
True
Let x(c) = 11*c. Let z be x(3). Suppose -2*s = 6, -2*l = 3*s - 2*s - z. Is 14 a factor of l?
False
Suppose 3*x - 2 = 4*l, 4*x + 3*l + 2*l + 18 = 0. Does 10 divide (6/15)/(x/(-70))?
False
Let w(a) be the third derivative of -2/3*a**3 + 0*a - 5/24*a**4 + 5*a**2 + 0. Does 8 divide w(-4)?
True
Let s(a) = 2*a**2 + 9*a + 27. Is s(-5) a multiple of 4?
True
Let l(c) = 8*c - 1. Let k be l(1). Suppose 3*m - 2 = k. Suppose 0 = -m*t - 5*j + 140, -2*t + 3*j = -111 + 24. Does 15 divide t?
True
Let j be 1*(-1 + 0)*5. Is 16 a factor of ((-20)/6)/j*66?
False
Let q(u) = 2*u + 2. Let k(x) = x**2 - 6*x + 3. Let r be k(4). Let o be q(r). Let g(f) = -3*f - 8. Is g(o) a multiple of 7?
False
Let x(q) = q**2 - q + 8. Let h be x(0). Suppose -12 - h = -2*j. Is j a multiple of 6?
False
Let v(m) = 2*m + 5. Let n be v(-4). Does 9 divide (0 - n) + -1 + 16?
True
Let d be (-15 - -7)*1/(-4)*2. Suppose 0*f = f - 4. Suppose -69 = x - f*x + 4*b, -d*x - b = -92. Does 17 divide x?
False
Suppose -4*w - 593 = 3*c - 100, 4*c + 4*w + 652 = 0. Let b = c + 239. Suppose -p - b = -6*p. Is 8 a factor of p?
True
Suppose -o - 8 = -5*o. Is 15 a factor of o - (-2 + -1 - 43)?
False
Let s(a) = a + 2. Let i be s(7). Suppose 19 = 5*p - 6. Let b = p + i. Does 14 divide b?
True
Suppose -5*r + 288 = 7*r. Does 24 divide r?
True
Suppose 0 = -4*j - 5*b - 39, 2*j - 3*b = -j - 63. Let s be (48/60)/((-2)/95). Let i = j - s. Is i a multiple of 11?
True
Let w(p) = 12*p + 7. Let a(s) = -1. Let v(h) = 5*a(h) + w(h). Is v(2) a multiple of 13?
True
Let o(j) be the second derivative of -j**5/20 + 13*j**4/12 + j**3/2 + 9*j**2/2 + 6*j. Is 31 a factor of o(13)?
False
Let f(s) = s**2 + 9*s + 3. Let o be f(-7). Let c = -7 - o. Does 4 divide c?
True
Let o = -222 + 418. Is o a multiple of 9?
False
Is ((-4)/(-6))/((-17)/(-1122)) a multiple of 25?
False
Suppose -6 = 3*d - 24. Suppose -5*y = -r - d, -r + 2*y = 4*r + 7. Is 3 a factor of r + 6 + 1 + 0?
True
Suppose