3*n - 1609437 + 65937 = -84*n. Is 100 a factor of n?
True
Suppose -3*y = -7 - 17. Suppose 0*g = 4*g - y. Suppose o - 27 = g*b, 5*o - 32 = -b + 147. Is o a multiple of 7?
True
Let q(k) = -k**2 + 3*k. Let p(r) = 3*r**2 - 7*r + 8. Let f be p(3). Let l be q(f). Let z = 219 + l. Is z a multiple of 13?
True
Let m = -43662 - -81678. Does 18 divide m?
True
Suppose -71 = 3*l + 4*v + 3, 46 = -2*l - 2*v. Let w be 100/6*l/15*9. Let i = 272 + w. Does 17 divide i?
False
Let v(x) = 11*x**2 - 45*x - 10*x**2 + 4*x**2 + 243 + 48*x - 249. Let m = 4 - 2. Is v(m) a multiple of 3?
False
Let v(d) = 96*d**2 - 13*d + 4. Let j be 5 - (48 - -1)/7. Is v(j) a multiple of 18?
True
Let j = -18003 - -27411. Is 90 a factor of j?
False
Suppose 76*u = 27*u + 97216. Is 16 a factor of u?
True
Let j = 6 + -8. Let v be j/(-3)*6 + 264. Suppose q - w - 47 = w, 5*q - v = -w. Does 11 divide q?
False
Let f = 5492 + -2547. Is 19 a factor of f?
True
Let m = 1941 + -915. Let u = -706 + m. Is 20 a factor of u?
True
Suppose -10*v + 35727 = -51833. Is v a multiple of 22?
True
Let y be (458/28 + (-1)/(-7))*-18. Let b = -248 - y. Is 4 a factor of b?
False
Suppose 5*w = 4*n + 36844, -2*w - 12*n + 9*n = -14756. Is 97 a factor of w?
True
Does 5 divide -94*10629/(-306) + (-12)/102?
True
Let l = -5850 + 5924. Does 7 divide l?
False
Let g = 796 + -341. Suppose 5*d = 0, 4*f - d = 293 + g. Does 17 divide f?
True
Let l = -4557 + 9890. Is l a multiple of 7?
False
Let v = 3785 - 2945. Is 15 a factor of v?
True
Let y(n) = -2*n**2 - 50*n + 81. Suppose g + 5*g = -150. Is y(g) a multiple of 27?
True
Let z(m) = -522*m + 990. Does 4 divide z(-4)?
False
Is 10 a factor of (-1 + 4 - 18)*(-22008)/28?
True
Is (-2)/(-12)*-2 - ((-960155)/(-15))/(-7) a multiple of 29?
False
Suppose 23*n - 166*n = -740454. Is 38 a factor of n?
False
Suppose -4*x + 2216 = -0*n - 5*n, 0 = -2*x - n + 1094. Suppose 4*d + 302 = 3*f - 71, 5*d - x = -4*f. Does 11 divide f?
False
Suppose 67*t = -25*t + 117168 - 17072. Is 16 a factor of t?
True
Suppose 0 = 2*k - 4, 3*d - 39 = 2*k + k. Let u(n) = -n**3 + 2*n**2 + 130*n + 182. Let p be u(13). Is (d - 12)*(0 + p) a multiple of 13?
True
Suppose 0 = 2*r - 4*d - 58, 3*r + 2*d - 76 = -3*d. Let v = r - 11. Is v a multiple of 10?
False
Let l be -51*(-3)/(-6)*(3 - -1). Let h = 99 + l. Let q(n) = 24*n**2 + 16*n + 4. Does 10 divide q(h)?
False
Suppose 0 = -4*a - 28*f + 2344, -31*f = 3*a - 35*f - 1958. Is a a multiple of 12?
False
Let r(s) = -9*s**2 - 34*s - 30 - 1826*s**3 + 1825*s**3 + 11*s + 27*s**2. Does 27 divide r(14)?
True
Suppose -2*f - d + 6*d - 23 = 0, -5*f = -5*d + 35. Suppose 5*s - 121 = r, -1 = -2*r - 3. Let p = s - f. Is 28 a factor of p?
True
Let r = -87 - -96. Let x(h) = 5*h - 18. Let l be x(r). Let g = l + 9. Is 4 a factor of g?
True
Let y be 4/(-3) + (-572)/(-78). Suppose 671 = -y*w + 4877. Does 39 divide w?
False
Suppose -2*j - 6 = -2*n, 0 = 2*j + 3*j - 20. Suppose -q - 12 = -n*q. Suppose 0 = q*t - 12. Is 6 a factor of t?
True
Suppose -l + 3*r + 14 = 1, l = -2*r + 3. Suppose 0 = i - l + 6. Does 8 divide (1 + i)/(1/4)?
True
Let l be ((-183)/(-9))/((-1)/(-9)). Let t = 323 - l. Is 14 a factor of t?
True
Suppose 0 = 318*s + 360658 - 2603198 - 2116286. Is 16 a factor of s?
False
Suppose -5*y - 3 = -6*v + 2*v, -y + 7 = 3*v. Let c be (3/5)/(4/20). Suppose -v*g - 206 = -c*k + 2*g, -4*k - 3*g + 258 = 0. Is 22 a factor of k?
True
Suppose -205*t - 31*t + 201220 + 255204 = 0. Is t a multiple of 33?
False
Let p = 4358 + -3602. Does 108 divide p?
True
Suppose 4*g - 41 = -21. Suppose 4*j = -j - g*o + 10, 0 = -o - 2. Suppose c + 7*u = 2*u + 66, 5*c - 435 = -j*u. Is 6 a factor of c?
False
Let y = 600 + 3391. Is 14 a factor of y?
False
Suppose 7*p = 55083 + 67193. Is 27 a factor of p?
False
Suppose -x - 38 = x. Let q = 53 + x. Suppose 2*l = 34 + q. Does 7 divide l?
False
Suppose -4*f - 23196 = -2*l, -5*l = -4*l - 6*f - 11574. Is 10 a factor of l?
True
Let f(h) = h**3 - 7*h**2 - 26. Let q be f(8). Suppose 5*b + 2*i - q = 116, -15 = 5*i. Is b a multiple of 3?
False
Let i(n) be the third derivative of -n**4/12 + 7*n**3/2 + 31*n**2. Let k be i(5). Let u = 2 + k. Does 4 divide u?
False
Suppose 2*b = -5*y + 14884, -3*b - 50*y + 47*y = -22353. Is b a multiple of 164?
False
Is 105 a factor of -35*(-2 + 50)*207/(-92)?
True
Let b(x) = x**3 + 36*x**2 + 8*x + 21. Let c be b(-35). Does 19 divide -2 + 1 + (7 - 3) + c?
True
Suppose q = -z + 9418, 48*q - 3*z = 43*q + 47138. Is q a multiple of 58?
False
Suppose 0 = -3*g - 5*j + 134, 3*g - j - 24 = 104. Suppose -2*h + g = -53. Let o = 5 + h. Does 11 divide o?
False
Let r be 23/(-2)*(-10 + 3 + 1). Let b = r - 41. Is b a multiple of 6?
False
Let p be (3/9)/(7/18669*7). Suppose -6469 = -4*i - h, -7958 - p = -5*i - h. Is 10 a factor of i?
False
Suppose -5*q = 3*a - 20, 6*a - 3*q - 46 = 2*a. Suppose a*o = 12*o - 144. Does 2 divide o?
True
Suppose 5*i = -3*n + 10*i - 118, 4*i + 127 = -3*n. Suppose -t + 3*r + r - 124 = 0, -4*t - 460 = 2*r. Let p = n - t. Is 15 a factor of p?
True
Suppose 11*s = -9986 + 83246. Is 24 a factor of s?
False
Suppose 5*j + 3*o = -2221 - 473, j = 4*o - 525. Let y = -433 - j. Is 3 a factor of y?
False
Let f be -1*284/((-16)/4). Let k be ((-16)/(-6))/(2107/1050 + -2). Suppose 75*m - k = f*m. Is 28 a factor of m?
False
Suppose 0 = -2*i - 3*i - 4*y + 90, -2*y = -10. Suppose 0 = 2*w + i*w - 928. Is w a multiple of 6?
False
Let v be 26/8 - 9/(-12). Suppose -v*b = 40 - 224. Suppose -4*u - 3*x = -b, -2*u + 4*x + 6 = -6. Is 3 a factor of u?
False
Suppose 342 + 258 = 5*a. Suppose 5*k = -10*k + a. Is k a multiple of 2?
True
Let g(l) = -l + 33. Let j be g(13). Suppose 329 = j*r - 19*r. Is r a multiple of 47?
True
Let q(d) be the third derivative of 0*d - 20*d**2 + 1/3*d**4 + 0 + 5/3*d**3. Is q(7) a multiple of 15?
False
Suppose -9*m + 43272 = -33*m. Let v = m - -4047. Is 44 a factor of v?
True
Suppose 5*g - 35365 = -5*w, 0 = 5*w + 4*g - 1361 - 33999. Is w a multiple of 57?
True
Let r = 857 + -505. Suppose 35 = 5*b - 5*j, -29 = 2*b - j - 39. Suppose 5*a = b*a + r. Is 22 a factor of a?
True
Let y be -1 + (-7)/(21/1326). Let s = 1073 + y. Does 102 divide s?
False
Suppose 0 = 6*b - 20*b. Suppose b = 5*l + 1130 - 1650. Is l a multiple of 8?
True
Suppose 79 = p - 150. Let c = p + -85. Is 16 a factor of c?
True
Let i = -192 + 197. Suppose 4*z + 0*z + h - 642 = 0, -i*h = 4*z - 650. Does 16 divide z?
True
Suppose 8*u = 214 - 126. Suppose -4*d + 3*y = -1824, 10*y - u*y - 455 = -d. Is 27 a factor of d?
True
Let z be (-6)/((12/16)/1). Let s be 0 - 12/z*-18. Let b = s + 45. Does 6 divide b?
True
Let h(k) = 20*k**2 + 9*k - 645. Does 84 divide h(29)?
False
Suppose 0 = -9*d + 8*d - 6, 190370 = 5*q - 5*d. Does 14 divide q?
False
Let x be (-2)/(-2) + (-1 - -7). Does 8 divide x + 0/2 + 153?
True
Suppose 196090 = 27*k - 81902. Does 36 divide k?
True
Let m = -9411 + 11427. Is 8 a factor of m?
True
Let l(w) = w**3 - 33*w**2 - 2*w + 69. Let n be l(33). Let m = -8 - -13. Suppose 9 = -n*q, m*q + 31 = 2*c - 0*c. Is 8 a factor of c?
True
Suppose p - 2*d - 3 - 4 = 0, -2*d = -4*p + 10. Let c(s) = -p + s**3 - 11*s**2 + 108*s - 94*s - 3. Is c(11) a multiple of 15?
True
Suppose 4*j = -4*a + 16832, 19*a + 21040 = 24*a - j. Is a a multiple of 14?
False
Suppose -4*b + 16*a - 70 = 15*a, 5*b - 2*a = -86. Is (-2514)/b + (-2)/(1 + -7) a multiple of 28?
True
Suppose -5*s - 4*b + 4110 = 0, -801 = -5*s + 4*s - 5*b. Suppose -s = 14*d - 16*d. Suppose 431 = 4*k - 2*i - d, -2*k - 2*i = -428. Does 19 divide k?
False
Let p(t) = t**2 - 10*t + 24. Let z be p(5). Let d be 3 + 1 + 447/(z - -2). Suppose 6*h - d = 857. Is h a multiple of 11?
False
Suppose 4*g = 3*q + 25653, 7*g + 20*q = 18*q + 44958. Is 214 a factor of g?
True
Suppose 7605 = 28*b - 23*b. Suppose 136 - 530 = -g + 4*w, b = 4*g - 5*w. Is 22 a factor of g?
True
Let q(c) = -c**3 - 9*c**2 - 7*c + 3. Let u be q(-8). Does 41 divide ((-43)/(-2))/(u/2040*-12)?
False
Suppose -9 = -12*n + 9*n. Suppose h - n*k - 109 = 0, 0*h + 5*h + 2*k - 562 = 0. Is h a multiple of 8?
True
Suppose -200748 = -29*p + 20645 + 112803. Is p a multiple of 172?
True
Let l be -6 - (-14 + 4 - -4). Suppose -3*y + 2*y - a + 294 = 0, l = 3*y + 5*a - 876. Is 9 a factor of y?
True
Let h(d) = 6*d**2 + 22*d + 17. Does 11 divide h(7)?
False
Let f(z) = -z**3 + 11*z**2 - 3*z - 108. Let k be f(10).