 = a**2 - 150*a + 48. Is 57 a factor of v(-24)?
False
Suppose f - 2 - 8 = -2*c, 0 = f + 4. Let z(r) = r**2 - 5*r + 14. Is 9 a factor of z(c)?
False
Is (3 + -277 + 7 - -2)*-3 a multiple of 3?
True
Suppose 2*q = f + 37, 0 = -2*q + 2*f + 21 + 17. Does 10 divide q?
False
Suppose 106*t - 4284 = 99*t. Does 31 divide t?
False
Let u(a) = a**3 - 6*a**2 + 6*a + 5. Let s be u(5). Suppose 0 = -3*z - s*z + 468. Is z a multiple of 36?
True
Let a be (4/(-6))/((-6)/(-27)). Let o be (a/6)/(-1)*8. Suppose t - 3*t + 92 = 4*p, p - 184 = -o*t. Is t a multiple of 25?
False
Let d = 529 + 655. Is 37 a factor of d?
True
Suppose -3*v + v + 57 = -3*o, -25 = -v + 5*o. Suppose -2*y = -4*s + v - 86, 0 = y + 4*s - 4. Let h = y + -4. Does 7 divide h?
False
Suppose -19614 = -3*u - 2*u - 2*m, 0 = -4*u - m + 15693. Is 12 a factor of u?
True
Let m(i) = -22*i**3 - 2*i**2 - i + 4. Let h(g) = g**2 - 1. Let a(x) = 2*h(x) + m(x). Is 20 a factor of a(-2)?
True
Suppose -6 = -2*f + 2*a, -3*f + f + 3*a + 6 = 0. Suppose 2*l = -o + 21, l - 6 = o - f. Is 4 a factor of l?
True
Let g(w) = -59*w - 21. Is 26 a factor of g(-29)?
True
Let y be -20*2/(-8)*3. Is 7 a factor of (-20)/y*(-21)/1?
True
Suppose -19*n = -25*n + 6486. Is n a multiple of 7?
False
Suppose b + 2*k = -50 + 705, -2*k - 1965 = -3*b. Does 10 divide b?
False
Let o(h) = -17*h + 13. Is o(-1) a multiple of 10?
True
Let h(z) = -z**2 + 11*z - 3. Let p be h(10). Suppose -a - p = -4*l, l + 1 = -a - 1. Let g(b) = -2*b**3 - b**2 + b - 6. Is 17 a factor of g(a)?
False
Is 16 a factor of 1 + (1 - -46) - 1?
False
Suppose 0 = -5*c + c + 320. Let s be (4 + (-128)/(-8))/(-1 + 3). Is ((-416)/c)/((-4)/s) a multiple of 8?
False
Suppose 6*p - 3*p - 4*i - 2 = 0, 5*p - 2*i - 8 = 0. Suppose -4 - 232 = -3*t + 2*q, p*t = 2*q + 158. Let d = -39 + t. Does 8 divide d?
False
Let o(h) = -h**2 - 17*h - 15. Let f be o(-18). Let d = f + 72. Is 13 a factor of d?
True
Suppose -4*x + 4*s + 139 = 5*s, 0 = 4*x + 5*s - 135. Suppose -y + 3*n + 33 = 0, 3*y - 2*n - 80 = -9. Let q = x - y. Does 8 divide q?
False
Let d = 31 + -29. Suppose -32 + 138 = d*r. Does 29 divide r?
False
Let j = 31 + -35. Is ((-49)/j + -2)*(-12)/(-3) a multiple of 11?
False
Let o = 55 - 52. Suppose o*w - 41 = 37. Does 13 divide w?
True
Is 72 a factor of (-25114)/(-87) - 2/3?
True
Let g = -270 - -447. Suppose -b = 2*b - 4*j - 205, g = 3*b + 3*j. Is 7 a factor of b?
True
Let n = 108 - 145. Let q = n - -60. Is q a multiple of 4?
False
Let z = -366 - -212. Let j = z + 299. Is j a multiple of 29?
True
Suppose 0 = -5*p - 3*p + 32. Let a = p - -11. Is a a multiple of 3?
True
Let n = -247 - -351. Let g = -94 + n. Is 10 a factor of g?
True
Suppose y = 0, -3*p + 2*y + 427 + 80 = 0. Does 10 divide p?
False
Suppose -3*k = -k. Let a be ((-2)/3)/(10/(-45)). Suppose k = -f + a*f - 106. Does 19 divide f?
False
Let p = -1759 + 3039. Is 8 a factor of (2 + 1)*(p/6)/8?
True
Let d(a) = 8*a**2 + 7*a - 19. Let n be d(4). Suppose 140*b - 222 = n*b. Is b a multiple of 37?
True
Suppose 3*q + 8 = p, 3*q = 7*p - 2*p + 8. Let v be -8*q/8 + -4. Suppose v = t + 2 - 13. Does 11 divide t?
True
Let u = -254 + 667. Is u a multiple of 25?
False
Suppose -10240 = -48*x + 8*x. Is x a multiple of 3?
False
Let q = 71 - 79. Let m(r) = -11*r + 24. Is 14 a factor of m(q)?
True
Let t = -2 - -7. Suppose -7 = t*r - 6*r. Is r a multiple of 6?
False
Does 24 divide (56 - (-11 + 3))*2*6?
True
Let i = -9 - -14. Suppose -i*q + 4*b = -3 - 17, 36 = 2*q + 4*b. Is q a multiple of 4?
True
Suppose -4*g = -0*g - 4*o - 28, 0 = -4*g + 3*o + 23. Let k be g/7 + 68/7. Suppose -4*a = -4*b - 2*a + 18, 3*b + 2*a = k. Does 4 divide b?
True
Suppose -77*q + 72*q = -720. Let m = q - 18. Does 18 divide m?
True
Suppose 0 = -6*t + t + 5. Is 52 - 4/t*1 a multiple of 15?
False
Let y(j) = j + 1. Let v(l) = -6*l - 51. Let b(x) = -v(x) - 5*y(x). Is 5 a factor of b(14)?
True
Suppose b + 0*b - 8 = -3*r, r - 12 = -5*b. Let v be 0 + 6 + (-1 - r). Suppose 0 = -2*y + v*y - 5*l + 13, -y - 4*l + 32 = 0. Is 4 a factor of y?
True
Let s(k) = -k - 7. Let x = 22 + -11. Let f be s(x). Let z = f - -29. Is z a multiple of 2?
False
Suppose u - n = 1802, 15*u - 3614 = 13*u + 4*n. Does 41 divide u?
False
Let z(t) = t**3 - 6*t**2 - 9. Let l be 2*10/4 - 3. Suppose 16 - 2 = l*d. Is z(d) a multiple of 10?
True
Let c = 1583 + 1205. Is c a multiple of 17?
True
Suppose -y - 48 = -2*v, -5*y = -0*v - 3*v + 212. Let q = y - -78. Suppose -4*f = -94 - q. Does 11 divide f?
True
Let w = -31 - -46. Let p = 88 - w. Is 12 a factor of p?
False
Let b(l) = -l**3 + l**2 + 3*l - 3. Let j be b(2). Let s be (-3)/(j + (3 - 3)). Suppose 0 = -s*p + 4*p - 42. Is 14 a factor of p?
True
Suppose -5*t + 2*t + 24 = 0. Let x(b) = -b**3 + 8*b**2 + 2*b. Let h be x(t). Does 8 divide (-3 + 0)*h/(-6)?
True
Let d(s) = 3*s**2 + 19*s + 68. Is d(-6) even?
True
Let m = 134 - 121. Suppose 0 = -2*y - m*y + 1125. Is 6 a factor of y?
False
Let d = -103 - -194. Is 13 a factor of d?
True
Suppose -f = 5*h - 25, 0 = -0*f + 3*f - h - 59. Suppose -3*l + 15 = 0, -l + 5 = -5*p + f. Suppose p*u - 28 = 3*u - 4*a, 2*u = -2*a + 74. Is 10 a factor of u?
True
Suppose n = 3*n. Suppose -7*d + 49 + 287 = n. Is d a multiple of 13?
False
Is 26 a factor of 2/(-18) - (-711997)/1521?
True
Is (-2418)/(-9)*(-10)/((-80)/24) a multiple of 6?
False
Suppose -2*x + 7 + 17 = 0. Suppose -18*t + 150 = -x*t. Is t a multiple of 25?
True
Does 15 divide 6/(-39) - (-538424)/104?
False
Let t(j) be the third derivative of j**5/30 - j**4/24 - j**3/3 - 3*j**2. Let i be t(4). Let r = i - -37. Does 21 divide r?
True
Let i(q) = 35*q**3 + 3*q**2 - 5*q + 3. Let g be i(2). Suppose 8*j - 3*j = -g. Does 3 divide (j/(-6))/((-1)/(-2))?
False
Let d(x) = 25*x - 1. Let r(p) = 5*p + 26. Let z be r(-5). Is d(z) a multiple of 6?
True
Let z be (-2)/(-1)*(13 + -24 - -10). Let n(r) = 2*r**3 - 13*r**2 - r. Let o(w) = 3*w**3 - 20*w**2 - w. Let v(y) = -8*n(y) + 5*o(y). Is v(z) a multiple of 15?
False
Suppose -3*q - l + 6*l + 1730 = 0, -q - 5*l = -570. Is q a multiple of 5?
True
Suppose 2*r = -0*r + 280. Suppose -6*d + 2*d = -8. Suppose 0 = 2*c + d*c - r. Is 16 a factor of c?
False
Suppose 0 = 4*y + 3*k - 5*k + 428, 0 = 5*y + 4*k + 509. Let x = y - -290. Is 37 a factor of x?
True
Suppose -44 = 3*z - z. Let n = z - -41. Let q = n + -12. Is q a multiple of 3?
False
Does 106 divide 15 + -13 + 893 + 2 + -4?
False
Suppose -4*r = -t + 81, -19 = -t - 2*r + 38. Suppose 5*b = 10*b + t. Let q(l) = -l**2 - 14*l + 12. Does 6 divide q(b)?
False
Is 35 a factor of (-10)/((-30)/27) + 201?
True
Let o be (1/((-6)/(-27)))/(12/208). Let m = o + -36. Does 7 divide m?
True
Suppose -1144 = -2*t - 2*g, -2*t + 2*g + 1054 + 102 = 0. Does 25 divide t?
True
Is (4 - -16)/((-4)/(-18)) a multiple of 30?
True
Let o = 78 - 43. Does 11 divide 570/o + (-4)/14?
False
Suppose 55567 - 747442 = -125*o. Does 15 divide o?
True
Suppose -n - 12 = 2*n - 3*x, -2 = -n - x. Let h(m) = -41*m**3 - 4*m - 3. Does 14 divide h(n)?
True
Suppose 3*f + 5 = 5*f - 5*g, -4*f = g - 43. Let z be 5/f + (-15)/(-2). Suppose -3*h = z - 116. Is 8 a factor of h?
False
Is 81 a factor of (1384/12)/(((-7)/9)/(-7))?
False
Let v be (-14 - -11)/((-6)/14). Suppose 0 = -2*b + 1 - v. Let q = b - -79. Does 27 divide q?
False
Suppose -2*i - 24*p = -28*p - 3290, 2*i - p = 3302. Is 19 a factor of i?
True
Is 15612/15 + -2 - (-52)/260 a multiple of 71?
False
Suppose 5*r - 5 = 5. Suppose -3*l + 14 = -j, -r*l + 7 = -j - 4. Suppose -59 = -3*x + 8*n - 3*n, 0 = l*x - 2*n - 47. Is x a multiple of 4?
False
Suppose b - 19 = -4*c + 26, 0 = 4*b + 4*c - 144. Does 24 divide b?
False
Let t(w) = 13*w - 82. Does 3 divide t(12)?
False
Let c(z) = 4*z**2 - 2*z - 8. Let i be c(-4). Let j = i + -35. Does 16 divide j?
False
Let z = 8 + 42. Let x = -81 - -170. Let o = x - z. Is 23 a factor of o?
False
Suppose -3*x + 20 = -4*g, 5*g + 3*x = 1 + 1. Is 12 a factor of 37 - (g - -1 - -1)?
False
Let x = 20 + 148. Is 28 a factor of x?
True
Let k(f) = -2*f**2 - 20*f - 16. Let p be k(-9). Suppose -p*x - z = 3*x - 365, 0 = 2*x + 2*z - 154. Is 12 a factor of x?
True
Suppose -4*p = 2*s - 2026, -4*p - s = -3*p - 509. Is 36 a factor of p?
True
Let g be ((-6)/(-3) - -293) + 3. Suppose 4*d = -5*k + g, -5*k - 2*d = -k - 236. Is 7 a factor of k?
False
Let w(o) = -o**3 + 49*o**2 - 2 - 4*o + 38*o**2 - 89*o**2. Let b = 0 + -