6373 - 8909. Is x a multiple of 12?
True
Let h be (-321)/428 + ((-2)/(-8))/(-1). Is 7*(-10)/140*h*1966 a multiple of 98?
False
Suppose -4*q - h = 16 + 30, 3*h = -2*q - 28. Let l = q + 15. Suppose 15 = l*r - 3*r. Is r a multiple of 3?
True
Let l(d) = -2*d**2 + 49*d + 16. Let t be l(15). Suppose -9*r + t + 725 = 0. Does 19 divide r?
True
Suppose -5*n + 7*n - 3533 = -3*b, -b = -5*n - 1172. Is b a multiple of 17?
False
Let c(d) = 4*d + 100. Let w be c(0). Suppose -2*r + 3*r - w = 0. Suppose -11*t + r = -6*t. Does 10 divide t?
True
Suppose 48*r - 187487 + 48575 = 0. Is 10 a factor of r?
False
Let g = 3843 - 1183. Suppose -2*i + 1277 = -3*z, -5*i = 2*z - g - 485. Is 7 a factor of i?
False
Let u = -10055 + 30400. Does 313 divide u?
True
Let u be (3/2)/((330/(-80))/11). Is 32 a factor of (38 - -75)/((-2)/u)?
False
Let c = 31 - 28. Suppose c*y + 33 = 5*r, -2*y - 3*y = -3*r + 39. Let l = 5 - y. Is 3 a factor of l?
False
Let i = 281 - 37. Let g = i + -44. Is 20 a factor of g?
True
Let u(v) = 4*v + 23. Let y be u(-5). Let l be 3/(-18) + 195/(-18) + y. Let n = -3 - l. Is n a multiple of 3?
False
Suppose 0 = 2*w + 3*w - 20. Suppose 108 + 48 = w*b. Suppose 2*k = b + 11. Is 17 a factor of k?
False
Let r be 63/(-14)*(1/(-3) - -1). Suppose 4*a = 2*a. Is 14 a factor of 7/1*(4 + a/r)?
True
Let h be (1 + -2)*1*4. Let v be 1*(h + 2 + -83). Let o = -32 - v. Is 17 a factor of o?
False
Let o(g) = 4*g**2 - 19. Let u be o(-6). Let l = u + 64. Is 63 a factor of l?
True
Let g = -46 + 62. Suppose 0*y - g*y = -192. Is y a multiple of 3?
True
Let j(b) = 109*b - 4. Suppose -l = -2*u - 9, -3*l - 2*u - 4 - 1 = 0. Does 15 divide j(l)?
True
Let d be (7 + -5)*(2810/4)/5. Let g = -142 + d. Is g a multiple of 6?
False
Suppose 0 = 7*k - 1 + 22. Let h be 49/28*(k + 7). Suppose -h*m + 1440 = 3*m. Is 36 a factor of m?
True
Suppose 2*u = -3*s - s + 30, -3*s + 2*u = -5. Let p be 6/10 - 18/s. Let r(m) = -2*m**3 + 4*m**2 + 4*m + 2. Does 34 divide r(p)?
False
Let y be (3 - 5 - -1) + 1 + 0. Let x be (-2 + 7/(-7))*(y + -1). Suppose -b = x*c - 155, -c + 30 = b - 5*b. Does 23 divide c?
False
Suppose -3993119 - 288875 = -328*j + 2971070. Is j a multiple of 39?
True
Let u = 268 + -273. Let c(l) = -6*l**3 - 2*l**2 - 5*l. Is 29 a factor of c(u)?
True
Let l(y) = -313*y**3 + y**2 - y - 1. Let j be l(-1). Let c = -206 + j. Is c a multiple of 36?
True
Suppose 5*h - 79 = -64. Suppose -h*q + 3529 = 5*s - 7*q, -3*s = 3*q - 2112. Does 16 divide s?
False
Let t be (1 + 4 + (-218)/(-4))*-2. Let o = -74 - t. Is 5/o - 2266/(-18) a multiple of 14?
True
Does 13 divide (-23856)/(-108) + (-8)/(-72)?
True
Suppose 5*a = 2*p + 11983 + 67292, 2*p = -5*a + 79275. Is 15 a factor of a?
True
Let q(p) = p**2 + 106*p - 17. Does 59 divide q(22)?
False
Let u be (9/2)/(3/18). Suppose 5*s = -m + 9, u = m + s - 5*s. Is m a multiple of 5?
False
Suppose -12*s + 1102 - 1138 = 0. Let a(q) be the second derivative of 5*q**4/12 - 2*q**2 - q. Is a(s) a multiple of 9?
False
Suppose 0 = 3*s + s - 64. Let o be 6 + (-133)/21 + s/3. Let g(d) = 3*d**2 - 3*d - 8. Is 9 a factor of g(o)?
False
Let j = -7396 + 17176. Is 138 a factor of j?
False
Suppose 0 = -6*n - 9147 + 627. Let w = n - -3227. Is w a multiple of 65?
False
Let w = 450 + 23207. Does 5 divide w?
False
Let f(m) = 4*m**2 + 796 + 73*m - 816 + m**2. Is f(-17) a multiple of 23?
True
Let c be (-6544)/12 - (-1)/3. Let w(n) = -100*n**3 - 4*n**2 + 5*n + 6. Let j be w(-2). Let q = j + c. Is 47 a factor of q?
True
Suppose 4250 = -5413*z + 5423*z. Does 29 divide z?
False
Let c be 35/((-175)/(-30)) + -509. Suppose 189 = -2*g - 269. Let s = g - c. Is s a multiple of 14?
False
Is (1 - (0 - 2))/((-15)/(-243025)) a multiple of 53?
False
Suppose -14*o = 3*j - 10*o - 40748, o - 2 = 0. Is 10 a factor of j?
True
Let c(v) = 5 - 8 - 26 - 13 - 6 + 18*v. Is c(7) a multiple of 39?
True
Let m = -42 - -56. Let t(q) = -m*q - 2*q**2 + 3*q**2 - 24 + 41*q - 2*q**2. Does 16 divide t(23)?
False
Let z(h) = 31*h**2 - 33*h - 63. Is z(-5) a multiple of 2?
False
Let r be (38 - -31)*1/((-3)/(-4)). Let f = -84 + r. Suppose -f*k + 35 = -3*k. Does 3 divide k?
False
Let b(w) = -w - 8. Let n be b(-4). Let l be (n + -1)/5*-5. Suppose -7*q = -2*q - 15, -l*o = -3*q - 191. Is o a multiple of 11?
False
Suppose 33*x + 2 = 34*x. Suppose -19 = -4*i + 1, x*r = 4*i - 20. Let n(y) = 7*y + 72. Does 12 divide n(r)?
True
Let x(o) = o**3 - 5*o**2 + 6*o - 5. Let p be x(5). Suppose 0 = -p*u + 13*u + 3288. Is u a multiple of 4?
False
Let p(s) = s**3 + 27*s**2 + 19*s + 47. Is 154 a factor of p(-24)?
False
Suppose 7*d = 4*b + 2*d - 19, -3 = -3*d. Let s be b/(-3) - -3*1/1. Is 11 a factor of 9/(-3) + 36/s?
True
Let c(l) = 3175*l - 1634. Does 15 divide c(4)?
False
Let p(x) = -x**3 + 11*x**2 - 2*x + 21. Let g be p(11). Let k be (-2 + g + -1)*2*-4. Suppose 50 = y - 5*s, -s - 3*s + k = y. Does 10 divide y?
True
Let x(p) = -p + 3. Let y be x(-5). Let r(v) = -4 - 13*v**2 + 4*v + v**3 + y - 8*v. Is r(14) a multiple of 17?
False
Suppose -8*f + 37*f = -8*f + 336108. Does 22 divide f?
False
Suppose 3*m = -4*m + 1565 + 1592. Does 8 divide m?
False
Suppose -7*t = -2*t - 10. Let x(d) = -d**2 + d + 2. Let g be x(t). Suppose -8*u + 261 + 467 = g. Is 9 a factor of u?
False
Let s(f) = 175*f + 181*f - 6 + 22*f**2 - 357*f. Is s(-4) a multiple of 14?
True
Suppose 15*u + 5212 = 62572. Is 4 a factor of u?
True
Suppose 0 = 12*c - 94*c + 5725 + 538345. Does 3 divide c?
False
Suppose -8 = 2*i + 2*m, -18 = 3*i - 4*m + 5*m. Let g(s) = -78 - s + 53 + 40. Is 11 a factor of g(i)?
True
Let p = -11342 - -21841. Is p a multiple of 24?
False
Suppose -5532 - 34788 = -14*p. Is p a multiple of 10?
True
Suppose -50*x - 721 = -57*x. Let y = 69 + -120. Let a = x + y. Is a a multiple of 11?
False
Suppose 13*t - 15*t + 36711 = m, -m + 36667 = -9*t. Does 17 divide m?
True
Let y(k) = -4*k + 21. Let u be y(3). Is 1 - 80/(-6)*u/4 a multiple of 3?
False
Suppose f = 5*o - 19, -2 + 1 = -2*f - 3*o. Let q(v) = 2*v**2 - 12*v - 20. Let w(x) = -3*x**2 + 12*x + 21. Let s(z) = f*w(z) - 5*q(z). Is 13 a factor of s(-8)?
False
Let k(x) = -351*x**3 - 9*x**2 + 348*x**3 + 10*x + 5*x**2 - 19. Does 15 divide k(-6)?
False
Suppose 2*x + x = 2*l - 350, 2*l = -3*x - 370. Let f(u) = 83*u - 375. Let j be f(4). Let t = j - x. Does 43 divide t?
False
Let s(n) = -13*n**2 + 12*n - 18. Let f(u) = -13*u**2 + 11*u - 17. Let o(l) = -6*f(l) + 5*s(l). Let q(r) be the first derivative of o(r). Does 13 divide q(2)?
False
Let v(m) = -m + 18. Let i be 10/(-15) - 0 - 60/(-9). Let c be v(i). Suppose c + 6 = 2*n + 5*k, -2*n + 5*k + 58 = 0. Does 15 divide n?
False
Suppose 25*f = -4*f + 29145. Suppose 2*w - 2547 = -f. Is w a multiple of 35?
False
Let y(m) = m**3 - 21*m**2 - 21*m - 30. Let b be y(22). Let l be 4/b + 2/4 - 55. Let s = -33 - l. Is s a multiple of 11?
True
Let m(t) = -52*t - 103. Let q(z) = -36*z - 73. Let a(r) = 12*m(r) - 17*q(r). Let u(g) = -g**2 + 4*g - 3. Let f be u(4). Is 3 a factor of a(f)?
False
Let w(m) be the second derivative of -35*m**3/6 + 70*m**2 + 43*m. Does 20 divide w(-9)?
False
Let y be (2 - -11) + 17 + -26. Suppose 0 = -2*v + 3*l + 3212, -6*l = y*v - 2*l - 6424. Is 22 a factor of v?
True
Let r = -553 - -581. Let l = r + -16. Is 12 a factor of l?
True
Let r be (-4 + 27/6)*2. Let w be 3 - 12/2*r/(-3). Suppose 0*l + w*l = -3*q + 843, 836 = 5*l - 4*q. Is 14 a factor of l?
True
Let d = 51 + -53. Does 56 divide 560 - ((1 - d) + -3)*1?
True
Suppose -9*h = h. Let w be 0 + (-2 + h - -447). Suppose a + 0*a = 2*o - w, -o + 212 = 3*a. Does 37 divide o?
False
Let j be 226*-8*5/(-20). Suppose 4*k - j = -x, 5*k - 370 - 184 = -4*x. Does 3 divide k?
True
Is -924*(-30)/9*(-279)/(-124) a multiple of 35?
True
Let t = -807 - -5322. Does 19 divide t?
False
Suppose 3*m = -5*x + 17, 12*x - 3*m + 13 = 16*x. Suppose -x*p + 1983 = 5*w - 0*p, -w + 3*p = -389. Is 25 a factor of w?
False
Let p be (0 - (-61 + -7))/((-2)/4). Does 6 divide (-1 + 4)/((-6)/p*2)?
False
Let l(f) = -15*f**2 - 13*f + 40 - 2*f**3 + f**3 - 21*f + 24*f. Is 10 a factor of l(-15)?
True
Suppose -v - 22 = -19. Let x = 7 - v. Let d(u) = -u**3 + 10*u**2 + 3*u - 4. Is d(x) a multiple of 12?
False
Let y(c) = 573*c + 12263. Does 4 divide y(-21)?
False
Let c(y) = -21*y - 60. Let p be c(-3). Suppose 5*q - p*o - 200 = 910, -3*q + 660 = -3*o. Is 43 a factor of q?
False
Le