1437/15?
True
Let l = -24219 - -28779. Is 121 a factor of l?
False
Let j = 40 - 19. Suppose -j - 4 = -5*t, 1 = -4*d + t. Is 8 a factor of d/(-3) + (-250)/(-30)?
True
Suppose -90 = -8*n + 134. Suppose 5*q + 3*h + 5 = n, -4*q + 4*h = -12. Is (-6)/q*44/(-6) + 1 a multiple of 12?
True
Suppose 0 = -2*s + 2*w - 3*w, -3*s + 5*w + 26 = 0. Let v be 6/s*(-75)/(-45). Suppose 0 = -6*j + 2*j - 16, v*x = 2*j + 1283. Is 17 a factor of x?
True
Let y(d) = -d**3 - 13*d**2 - 10. Let o be y(-13). Is 28 a factor of 528 - (o - -6)*1?
True
Let m(c) = 3*c**2 - 16*c - 48. Let g be m(-3). Is 2 a factor of -6*95*g/(-54)?
False
Let y be 16/6*12/(-4). Let i be 15/20 - 26/y. Suppose 3*w - i*p + p = 63, -p - 75 = -4*w. Does 18 divide w?
True
Let h(b) = -b**3 + 10*b**2 - 23*b - 2. Let q be h(6). Suppose -q*o + 489 = -911. Is 53 a factor of o?
False
Let j(t) = -3 - 5*t - 12 - t**3 - 14*t - 19*t**2. Let d be j(-18). Does 23 divide (3/(d/1))/(1/57)?
False
Let m be 1*6*15/9. Let v(h) = -h**3 + 8*h**2 + 13*h + 3. Let x be v(m). Let f = 113 + x. Does 18 divide f?
False
Let p = -32280 - -61865. Is 17 a factor of p?
False
Suppose -510*w + 3*j = -508*w - 15471, 2*w - 4*j - 15476 = 0. Does 84 divide w?
True
Suppose 4*r - 156604 = -4*b, -3*b + r - 34695 + 152156 = 0. Does 47 divide b?
False
Suppose 4*n - 8936 = -4*t, 0 = 3*n + t - 5055 - 1659. Does 14 divide n?
True
Suppose -28 = 4*d + 12. Let j(y) = y**3 + 11*y**2 + 7*y - 9. Let i be j(d). Suppose 23*o - 212 = i*o. Is 30 a factor of o?
False
Let k(w) = -w**3 + 2*w**2 + 4*w - 4. Let d be k(2). Suppose 0 = -2*f - 2*a + 128, 0*f - d*a = 3*f - 193. Let o = f + -21. Is o a multiple of 10?
False
Suppose -4*x + 7 = -f - 1, 0 = 5*x - 15. Suppose -f*c = 3*j - 3357, -3*j - 3362 = -4*c - j. Is c a multiple of 40?
True
Let q(u) = u**3 + 48*u**2 + 143*u - 64. Let n be q(-44). Suppose n = -7*s + 8815. Does 19 divide s?
False
Suppose 0 = -5*j + 4*k + 165555 + 23732, 0 = 5*j + k - 189297. Is j a multiple of 184?
False
Let z be (-2)/(-5*(-10)/(-75)). Is z*(4/(-6))/(6/(-27)) a multiple of 9?
True
Suppose 413167 = 122*n + 67419. Does 6 divide n?
False
Let o(y) = -317*y**3 - 12*y**2 - 111*y - 513. Is o(-5) a multiple of 11?
False
Suppose 5 = 2*w + 1, 5*w = -4*n - 1478. Let s = 188 - n. Does 52 divide s?
False
Let s = -141 - -245. Let h = s - 34. Suppose -5*q = -4*u + 386, -3*q - 221 - h = -3*u. Is u a multiple of 15?
False
Suppose 0 = -3*x - 65 + 23. Let w = 19 + x. Suppose 3*q = w*q - 44. Is 11 a factor of q?
True
Let s(d) = 8*d**2 + 2*d - 2. Let b = 32 - 29. Suppose 1 = 3*x + 2*g, -b*x + g + 7 = -3*g. Is 4 a factor of s(x)?
True
Suppose -w + 10106 = 5*i, 3*i + 18 = 3. Does 33 divide w?
True
Let g(h) = 293*h**3 + h**2 - 4*h + 3. Let l = 129 + -128. Does 6 divide g(l)?
False
Suppose 4*u - 85 - 23003 = 5*p, u = 2*p + 5772. Is 74 a factor of u?
True
Let g(d) = -10*d - 7. Let l be g(-1). Suppose 2*u + l*a = 804, 4*a - 1053 = -3*u + 153. Does 3 divide u?
True
Let m(w) = -3329*w**3 + 3*w + 2. Let g be m(-1). Suppose -p - 7*p + g = 0. Does 12 divide p?
False
Suppose -51*m + 561460 + 177330 = -901676. Does 18 divide m?
True
Let c be 6/48 - (-31)/8. Suppose -18 - 10 = -3*o + 5*v, -2*o - c*v = -26. Suppose -5*d - o = -111. Does 5 divide d?
True
Let d(r) be the second derivative of 41/2*r**2 - 1/20*r**5 + 5/2*r**4 + 0 + 17*r - 9/2*r**3. Is 10 a factor of d(29)?
False
Let y(a) = a**3 + a**2 + 6*a + 4. Let j = -21 + 15. Let o be y(j). Let k = o - -362. Is k a multiple of 28?
False
Let n be (-321)/(-12) + (-1)/(-4). Let t(w) = -w - 7. Let u be t(-5). Let b = u + n. Is 9 a factor of b?
False
Does 20 divide (-101 + 1)*(-129 - -116)?
True
Suppose 789 = -190*k + 193*k. Suppose -2*f - k = -5*a, -a = a + 3*f - 90. Is a a multiple of 13?
False
Let d(k) = -k**3 + 14*k**2 + 46*k - 229. Is 13 a factor of d(13)?
False
Suppose -2*x = -21 + 3. Let n be 1*(1 + 1 + 2). Suppose -x*u + n = -8*u. Does 3 divide u?
False
Let k = 1 + 19. Suppose -k = -w - 11. Suppose 2*f + 182 = w*f. Is 13 a factor of f?
True
Suppose 3*s + 3 = -v, -v + 5*v - 6 = -3*s. Suppose -v*h - a = -5, 4*h + 2*a - 4 = -0*h. Suppose h*j - 58 = 134. Is 10 a factor of j?
False
Let s(t) = -102*t**2 - 2852*t + 11. Is 52 a factor of s(-25)?
False
Suppose 67*x + 121*x - 31*x = 873705. Does 7 divide x?
True
Is 17 a factor of (-2027*(-3 + 2))/((-12 - -4) + 9)?
False
Suppose 4*r + 2*p = 30, r - 3*p - 2 = 9. Let z(h) = -71*h + 38. Let c be z(-2). Suppose r*v - 7*v = c. Is 36 a factor of v?
True
Let k = 2234 - 1869. Is 9 a factor of k?
False
Let j be 271359/132 - (1 + -3)/8. Suppose 21*k - 7264 = -j. Is k a multiple of 9?
False
Let n(a) = 17*a - 65. Let q be n(4). Suppose 13*z = 12*z - 4*c + 646, q*c = 12. Is z a multiple of 24?
False
Let q(u) = 2*u**3 - 13*u**2 + 21*u + 21. Let g be q(5). Let m be 20*((-10)/(-4))/(-5). Let k = g + m. Is 13 a factor of k?
False
Let c = 7 - -37. Suppose c = g + 2*o, 0*o + 2*o = -5*g + 180. Suppose -2*b = -8 - g. Is b a multiple of 12?
False
Let o = 13550 - 12636. Is o a multiple of 6?
False
Suppose 3*w + 2*w - 4494 = 3121. Does 4 divide w?
False
Suppose p = 4*l - 188, -27 - 65 = -2*l + p. Suppose 1508 + 2572 = l*g. Is 5 a factor of g?
True
Let n(w) = -w + 14. Let g be n(10). Does 28 divide -154*g/(-8)*1?
False
Let u(q) = -70*q - 96. Is 10 a factor of u(-69)?
False
Suppose -o - k = 1, 5*o + 3*k - 7 + 6 = 0. Suppose -2*d + 4*x = -270, 5*x - o*x = 2*d - 265. Is d a multiple of 25?
True
Suppose -2*g = -t + 799, -t + 20*g + 774 = 23*g. Is t a multiple of 4?
False
Let w(c) = -32*c**3 - 2*c**2 + 73*c + 127. Is 19 a factor of w(-5)?
False
Let m be 30/(-12)*(-12)/15. Suppose 0 = -3*w + 5*l + 2396, 2*w - m*l - 508 = 1096. Does 12 divide w?
False
Let b(y) = y**3 + 14*y**2 + 26*y + 10. Let z be b(-12). Let d(u) = u**2 + 11*u - 5. Let i be d(z). Suppose -i*q + 35*q = -44. Is 8 a factor of q?
False
Suppose -s + 1609 = -4*w, -3*w - 1146 = -3*s + 3717. Is 21 a factor of s?
False
Let j = 22 + -2. Suppose -10*v = -14*v + j. Suppose -v*u = 0, 276 = 4*t + 7*u - 3*u. Is t a multiple of 23?
True
Let x(d) = 2*d**3 - 25*d**2 - 4*d - 10. Let l be x(13). Let y = l - 47. Let r = y - 48. Is 8 a factor of r?
False
Let w(a) = a**3 - a**2 - 4*a - 1. Let q be w(3). Let b = -66 + 71. Suppose q*k = -25, -1060 + 280 = -b*x - 5*k. Is 23 a factor of x?
True
Let g = 1212 - 456. Suppose -135*v = -141*v + g. Does 14 divide v?
True
Let i(y) be the third derivative of 7*y**5/60 + 17*y**4/24 - y**3/6 + 42*y**2 + 4. Is i(10) a multiple of 9?
False
Let l(y) = 18*y - 26. Let t(s) = -s - 3. Let z be t(-5). Suppose -17 = 3*k - 6*k - d, -3*k = -z*d - 20. Is l(k) a multiple of 11?
False
Suppose -3*w + 31300 = 22*y - 20*y, 0 = -2*y + 10. Does 9 divide w?
False
Suppose -122*a + 116*a = -1128. Let f = -76 + a. Does 14 divide f?
True
Let y(k) = -16*k**3 + 2*k**2 + 4*k + 4. Let z be (4/3)/((-4)/6). Let g be y(z). Let w = g - 74. Is w a multiple of 11?
False
Suppose 0 = 2*g + 4 + 12. Let t be (-4)/(g/(-54)) + 3 + -4. Let b = 62 + t. Does 8 divide b?
False
Let p = -160579 + 229231. Does 12 divide p?
True
Let b be 137 + 1*(-12)/(-3). Let f = 448 - b. Is 6 a factor of f?
False
Let w = 235 - 230. Suppose 4*v - 1004 = -4*m, 4*m + w*v - 1435 + 431 = 0. Is 19 a factor of m?
False
Is 43 a factor of (-19 + 30)/11 + -2 + 3299?
False
Suppose 7*n - 120 = 12*n. Is 9 a factor of 119 - 0/(n/(-6) + -2)?
False
Does 14 divide 51182/3 - (-20)/(-30)?
False
Let c be 1 - 12/10 - 432/90. Does 6 divide (-7774)/(-8) - c*(-10)/(-200)?
True
Let c(m) = -8*m**3 - 356*m**2 + 72*m - 58. Does 49 divide c(-45)?
True
Let j(u) = 93 - 115*u + 105*u - 8. Does 2 divide j(7)?
False
Let v be (-1 + -2)/((-8)/48). Does 13 divide -2*2*(-8 - v)?
True
Suppose -2 = 14*j - 12*j. Let t be ((0/j)/(4 - 2))/(-1). Suppose -4*q + 80 = h - t*q, 0 = -3*h + 5*q + 274. Does 8 divide h?
True
Suppose -l - 4*u = -94, -6*l + 210 = -4*l - 3*u. Let q = 300 - l. Does 22 divide q?
True
Let p(n) = -99*n**3 + 3*n**2 - 10*n - 9. Does 3 divide p(-3)?
True
Let v(d) = -d**2 + 17*d + 2. Let h be v(6). Let m = -66 + h. Suppose -m*s + 0*r - 3*r + 210 = 0, 0 = 4*s - 3*r - 438. Is s a multiple of 12?
True
Let d = -369 + 376. Let c(j) = j + 29. Is 12 a factor of c(d)?
True
Let v(s) = s**3 + 31*s**2 + 2*s + 62. Let j be v(-31). Suppose -6*i + i + n = -2663, -5*i - 5*n + 2675 = j. Does 41 divide i?
True
Suppose 0 = -2*u + 