25*d = 1182753 - 217971. Is 78 a factor of d?
True
Suppose 7480 = 10*y - 19070. Is y a multiple of 15?
True
Let r(m) = 19*m - 91. Let d be r(-17). Let l = 900 + d. Is 18 a factor of l?
True
Let d(q) = -q**3 - 9*q**2 - 20*q - 33. Let y be d(-10). Let u = y - -54. Is u a multiple of 21?
False
Let f = 183 - 185. Does 10 divide 11784/84 + f/7?
True
Let q(v) be the third derivative of v**5/60 + 5*v**4/24 + v**3/3 + 2*v**2. Let n be q(-3). Is 53 a factor of 28296/99 - n/22?
False
Let x(j) = -j**3 - 3*j**2 + 13*j + 10. Let b be x(-7). Suppose -4*u + 1281 + b = 0. Does 22 divide u?
False
Let h be 2 - (-5 + 11 - 4). Suppose -a + 60 + 182 = h. Does 7 divide a?
False
Let v(s) = -s + 1. Suppose 2*f + 0*f + 8 = -d, 0 = 4*f - d + 10. Let w be v(f). Is 24 a factor of 13/w + 2/(-8) + 100?
False
Let v be 3 + (0 - 68 - -1). Let h = v - -62. Let k = 16 - h. Is 9 a factor of k?
True
Is 15 a factor of 2/7*(-10787)/268*-150?
True
Let k(j) = j**2 + 22*j - 29. Let z be k(-37). Let l = -366 + z. Is 18 a factor of l?
False
Let z(y) = 22*y + 103. Let d be z(-5). Let t(c) = 6*c**2 + 2*c - 23. Does 19 divide t(d)?
False
Suppose 18169 = 2*h + 10*t - 7*t, -18174 = -2*h + 2*t. Is 154 a factor of h?
True
Suppose -168 = -3*h - 3*f, -h + f - 296 = -6*h. Let b be (-5)/((-2 + 4)*-1 + 1). Is 60*(h/16)/b a multiple of 18?
False
Suppose -2*k - 4 = 4. Let l be 0/(5/(20/k)). Suppose 2*r = 4*z + 188 - 632, l = -2*z - r + 226. Is z a multiple of 16?
True
Let d be (-1 - (-1 + -5)) + 1097. Let k = -508 + d. Is 33 a factor of k?
True
Let m = 375 - 373. Is (-46 + m/1)*63/(-18) a multiple of 77?
True
Let r(a) = -39*a - 22. Let b be r(-7). Suppose 4*p + 2*y + y + 1000 = 0, 0 = p + y + b. Let x = -127 - p. Is x a multiple of 12?
True
Suppose 2*n + 4*v - 22424 = 0, -806*n + 3*v = -803*n - 33672. Is 47 a factor of n?
False
Suppose -v = 3*v - m - 16, 5*m = 3*v + 5. Let j(g) = g**3 - 4*g**2 - 2*g - 9. Let q be j(v). Suppose -q*x - 24 = -8*x. Is 6 a factor of x?
True
Let d = 3868 + 130. Is d a multiple of 127?
False
Let w(t) = 408*t - 204. Is 68 a factor of w(14)?
True
Let x(a) = 19*a**2 - 5*a + 28. Let o be x(6). Let h = 762 - o. Does 16 divide h?
True
Suppose -27*z = -5*z + 1540. Is 34 a factor of (-42)/z + 3432/5?
False
Suppose 55*q + 73*q - 738055 = 287225. Is q a multiple of 121?
False
Let s(i) = -i**2 + 131*i - 13. Is 13 a factor of s(24)?
False
Is 8 a factor of 1656 + (15 - 5*7/5)?
True
Let c(p) be the third derivative of -p**6/60 - p**5/3 + 5*p**4/24 - 13*p**3/6 - 3*p**2 + 53. Is c(-13) a multiple of 39?
True
Suppose -5*w + 10*w - 15 = 0. Let n be w - (-19 - (-4)/2). Does 13 divide (0 + 8/n)*65?
True
Suppose 3*n - 5 = -q - q, 0 = -3*n - 4*q + 13. Let x = 3 + n. Suppose -x*w + 172 = 3*r, -3*r + 283 - 107 = w. Is r a multiple of 5?
True
Suppose -5*l - 15 = -8*l. Suppose 0 = 2*m + 2, 909 = 4*q + l*m - 2*m. Suppose -5*b + q = 3*i, -3*i + 3*b - b + 249 = 0. Does 18 divide i?
False
Suppose -779171 = 503*t - 2942574. Is t a multiple of 17?
True
Is ((-468)/(-14))/((-302)/(-126840)) a multiple of 8?
True
Let w(h) = -h**3 - 61*h**2 + 400*h - 50. Does 20 divide w(-71)?
True
Let o(m) = -m**3 + 5*m**2 + 9*m - 18. Let z be o(6). Suppose z = 9*w - 16*w + 42. Suppose -w*n - 600 = -11*n. Does 10 divide n?
True
Suppose 6*n - 4*m = n - 3883, 5*n + m = -3898. Let j = 549 + n. Let p = 382 + j. Is p a multiple of 19?
True
Let t be 2/10 + (-112)/(-140). Let z(y) = 53*y**2 - 8*y + 3. Does 10 divide z(t)?
False
Let t = -48 - -87. Let p = -42 + t. Does 22 divide p*-82*1/3?
False
Suppose 8*r + 8*r = -16. Does 15 divide 6/7 + r + 76704/476?
False
Let x(f) = -2*f**3 - 4*f**2 - 3*f + 8. Let h be x(-4). Let t = h + -73. Let y = 1 + t. Does 12 divide y?
True
Suppose -k = -4*v + 15 + 13, -3*k = -2*v + 24. Does 13 divide 5 - v/(-12)*662?
False
Let q = 30 + -28. Suppose -q*b = -55 - 225. Suppose 29 - b = -3*o. Does 37 divide o?
True
Let d = 559 + -580. Let l(n) = -15*n + 278. Is 10 a factor of l(d)?
False
Is (-70)/1890 - 3778492/(-108) a multiple of 143?
False
Suppose 9*t + 424 = t. Suppose -2*o + 23 = -j, -60 = 3*j - 5*o + 7. Let l = j - t. Is 6 a factor of l?
False
Let b(y) = 3*y**3 + 7*y**2 - 9*y + 8. Let k be b(-4). Does 37 divide ((-3)/(k/(-174)) + -4)*-34?
True
Let y(f) = f**3 - 9*f**2 - 12*f - 15. Let i be y(10). Does 31 divide 45*((-392)/i)/2?
False
Let t(x) = -962*x**3 - 2*x**2. Suppose p + 4*o = -13, 3*o - 1 = 4*p + 2*o. Let j be t(p). Suppose 4*k = -4*w + j, -6*k + w = -2*k - 975. Is 27 a factor of k?
True
Let b be ((-9)/((-243)/(-72)))/(2/(-12)). Let x(w) = -w**3 + 15*w**2 + 25*w + 18. Is 9 a factor of x(b)?
True
Let c = -6779 + 10568. Is c a multiple of 13?
False
Let f be 308/20 - 2/5. Let p = -12 + f. Suppose p*q = -4*a + 150, 0*a + 50 = q + a. Is q a multiple of 5?
True
Let g be (-3)/9*(0 - -15)/(-1). Is 4*(-2 - -3) + 380/g a multiple of 8?
True
Suppose -y = k - 1888, -599 = 5*k + 2*y - 10027. Is 12 a factor of k?
True
Let n(g) = -5*g + 19 + 9 - g**2 - 29. Let z be n(6). Let d = z - -169. Does 17 divide d?
True
Let s(f) = 413*f - 40. Let t(x) = 7*x**2 - 11*x + 7. Let z be t(1). Does 13 divide s(z)?
False
Let l(u) = -4*u - 17. Let x be l(-7). Suppose 5*a - n = x + 839, -5*a + 835 = 2*n. Is 4 a factor of a?
False
Let h(i) = 44*i - 7. Let a be h(7). Let c = -465 + 889. Suppose -5*o + a = -c. Is o a multiple of 29?
True
Let d(h) = -13*h**3 - 2*h**2 - 36*h - 34. Does 86 divide d(-14)?
False
Let m = 10079 - -3055. Does 66 divide m?
True
Let t(a) be the third derivative of a**5/60 - 13*a**4/12 + 7*a**3/2 - 8*a**2. Let q be t(25). Is 2/q*2472/(-36)*3 a multiple of 20?
False
Let g(p) = 9*p**3 + 4*p - 57. Does 113 divide g(8)?
False
Is 34 a factor of (-10 - (765 - -4))/(2/12*-2)?
False
Let u(d) = 12*d - 122. Suppose 0*w - 195 = -5*w - 2*v, 4*w = -3*v + 163. Does 46 divide u(w)?
True
Let a(b) = -24*b**3 - 8*b**2 + b + 188. Is a(-8) a multiple of 98?
True
Suppose -7 = -3*m - 10. Does 6 divide (m - 2/(-3)) + 490/3?
False
Let f(h) = 1100*h - 2723. Is f(6) a multiple of 10?
False
Let n be ((-431)/2)/((-31)/310). Let f = n - 843. Does 32 divide f?
True
Let b = -24015 + 37371. Is b a multiple of 9?
True
Let n(y) = -4*y**3 - y**2 + 2*y + 2. Let h be n(2). Let d(j) = -12*j - 99. Does 10 divide d(h)?
False
Suppose 2*z + 0*z = -22*z + 17304. Is 7 a factor of z?
True
Let j be 36*-11*9/(-12). Suppose 21*v - j = 18*v. Does 5 divide v?
False
Suppose 0 = 9*q - 1774 - 3896. Does 44 divide 11/(22/q) - 7?
True
Suppose -3 + 5 = -3*c - 4*g, 2*c + 3*g = -2. Suppose c*t - 109 - 629 = 0. Does 6 divide t?
False
Let q = -69 + 1261. Suppose 7*c - q = -324. Is c a multiple of 24?
False
Suppose -54*k = 81*k - 98668 - 201167. Is 22 a factor of k?
False
Suppose 0 = -g + u + 5316, 36*g - 35*g - 2*u = 5308. Does 7 divide g?
False
Suppose -20*k = -20149 - 47551. Does 65 divide k?
False
Let j(n) = -1310*n + 5093. Does 50 divide j(-22)?
False
Suppose 5*o - 136 = 109. Let z = o + -50. Is -197*(8/(-6) - z)*3 a multiple of 18?
False
Suppose 4*i = -2*b - 182, -3*b + i - 411 = 2*b. Let u = b + 335. Does 21 divide u?
True
Let s = -11643 - -28249. Is 107 a factor of s?
False
Is 4 a factor of -2416*(4 - (-75)/(-18))*18?
True
Let n be 41850/255 - (-2)/(-17). Suppose n*x + 1287 = 167*x. Is x a multiple of 11?
True
Suppose 35*x + 20061 = 44*x. Suppose 4*a - 3*a - 1484 = -2*u, 3*a = -3*u + x. Is u a multiple of 39?
True
Let d(j) = j**3 + 9*j**2 + 6*j - 11. Let i(l) = l - 30. Let o be i(22). Let n be d(o). Suppose 200 = n*u + 5*p, 2*u - 49 = 5*p + 38. Does 14 divide u?
False
Suppose 3*f - 3 = 2*x, 0 = -f + 2 - 1. Suppose -4*r = -4*w + 1724, x = 4*r - 0*r. Is w a multiple of 44?
False
Suppose -5*w + 32 = 12. Let i(m) = -3*m**2 + 4. Let v be i(w). Let p = v - -49. Does 5 divide p?
True
Suppose -160*k + 1480 = -156*k - 2*w, 0 = 2*k - 6*w - 740. Does 2 divide k?
True
Suppose 8*r - 4*r - 112 = 0. Suppose -6*v - 10 - 32 = 0. Let n = v + r. Is 6 a factor of n?
False
Suppose 0 = -x - 2*x - 273. Let v = 5 - x. Does 6 divide v?
True
Let g(w) = -4*w**3 + 5*w**2 - 14*w - 11. Let s be g(-6). Suppose -413 = -10*t + s. Does 11 divide t?
False
Suppose 49*k - 51*k = -9756. Does 51 divide k?
False
Is 7/4 + 25359167/796 a multiple of 135?
True
Let g = -376 + 378. Suppose g*v - 354 = 208. Is v a multiple of 12?
False
Is 4 a factor of ((-124)/(-248))/((-2)/(-1568))?
True
Is 59/826 + 