941 = 138021 + 107372. Is 50 a factor of t?
False
Does 8 divide (-3)/4 + (-341506)/(-152)?
False
Suppose -3*x - m = -18713, -2*m + 5091 - 23816 = -3*x. Is x a multiple of 62?
False
Let b(g) = 150314 - 150299 + g**2 - 2*g + 11*g. Suppose -4*p + 15 = -3*o - p, 5*o - 3*p + 33 = 0. Is b(o) a multiple of 5?
True
Suppose -4*x = -278 - 626. Let v = x - 24. Is v a multiple of 48?
False
Let u be 3/(-5) + 2912/70. Suppose 0 = 45*j - u*j - 848. Is j a multiple of 53?
True
Let h be -1436*(-4 + 2 - (5 + -6)). Let v be h/10 + 7*4/70. Does 12 divide 7*(v/14 - 0)?
True
Let p(d) = 2*d**2 - 10*d + 14. Let x(u) = -u**2 + 21*u + 5. Let n be x(21). Is p(n) a multiple of 14?
True
Let p(l) = -4*l**3 + 5*l**2 - 16*l + 5. Let i be p(4). Let y = i + 358. Is 9 a factor of y?
False
Let w = 194 + 5167. Does 80 divide w?
False
Suppose 2 = 2*k - 10. Suppose 3*c - 972 = -k*c. Is 27 a factor of c?
True
Is (3*(-1265)/10)/((-10)/20) even?
False
Let x = 11145 + -1915. Does 13 divide x?
True
Suppose -t - 7339 = -2*d, -2*t + 0*t = -d + 14672. Let z = -422 + 317. Does 10 divide t/z - 1/(-7)?
True
Suppose n = -5*m + 3721, -4*n + 14827 = 39*m - 38*m. Is 17 a factor of n?
True
Let m(k) = -45 + 24 + 27 - 4*k**2 + 3*k. Let w(i) = 5*i**2 - 3*i - 6. Let v(h) = 6*m(h) + 7*w(h). Is v(-2) a multiple of 22?
True
Let s = -3550 + 3793. Is s a multiple of 2?
False
Suppose 21*p + 8593 = 27262. Is 92 a factor of p?
False
Suppose 5*g = 27*g - 22000. Suppose 2*r + 2*c = 4*c + 2016, -r = c - g. Does 45 divide r?
False
Let q(b) = 7*b + 27. Suppose 0 = -28*f - 54 - 30. Is q(f) a multiple of 2?
True
Let k be (-2 - 1)/((-6)/6). Suppose 0*o = -o + 63. Suppose -5*q - 2*f = -q - 92, -o = -k*q - 3*f. Does 5 divide q?
True
Suppose -22*x + 27*x = -2310. Let r = 450 - x. Does 57 divide r?
True
Is (-4)/(-30) + 8535864/3420 a multiple of 11?
False
Is (45608/(-55) + (-628)/1727)/(2/(-60)) a multiple of 202?
False
Let n(q) be the first derivative of -33 - 1/3*q**3 - 11*q + 3*q**2 - 1/4*q**4. Is n(-6) a multiple of 26?
False
Let t(i) be the second derivative of 2*i**4/3 + 9*i**3/2 - 6*i**2 - 2*i + 58. Does 9 divide t(6)?
False
Let g(k) be the second derivative of -k**4/12 - 5*k**3/3 + 40*k**2 - 2*k + 24. Does 8 divide g(0)?
True
Suppose v - n + 1 = -1, 4*v + 5*n - 37 = 0. Suppose v*i = -f + 6*f + 193, 4*i - 2*f = 248. Is i a multiple of 10?
False
Let i = 495 - 457. Suppose i*g - 34069 = -12637. Is g a multiple of 47?
True
Let k(f) = 24*f**2 - 40*f - 584. Does 5 divide k(31)?
True
Does 30 divide 3001 + -4 + (8 + -6)*2?
False
Let u be -215*(-4)/(-40)*6. Let r = u - -170. Is 6 a factor of r?
False
Let s(v) = 9*v - 28. Let t be s(4). Is 23 a factor of ((-460)/t)/(2/(-4))?
True
Suppose -3*x - 3*l + 3972 = 0, 2*x + 1165 - 3815 = -4*l. Is 27 a factor of x?
True
Let f = -107 + 154. Let q = f + -43. Is 158 + (5 - (q + -3)) a multiple of 27?
True
Suppose 20*i - 118476 = -i + 9*i. Is i a multiple of 221?
False
Is 72 a factor of 65127/17 - 45/3?
True
Let y be (-412)/(-28) + 6/21. Let x be ((-2)/(-3) - 10/y)*-1. Suppose 10*s - 7*s - 90 = x. Is 15 a factor of s?
True
Let m be (120/(-24) - 4/(-1))*-851. Let p = m - 464. Does 43 divide p?
True
Let g(z) = 84*z**2 - 4*z + 4. Let k be g(2). Suppose -k - 628 = 8*q. Is 8 a factor of (1*(-26)/8)/(15/q)?
False
Suppose 5*j + u + 23 = 0, -4*j - 3*u - 66 = -41. Does 18 divide (-3)/(163/(-212) + (-3)/j)?
False
Suppose -5*c = 5*z - 9*z - 128675, 0 = 3*c - 5*z - 77205. Is c a multiple of 10?
False
Let o(m) = -m**3 + 4*m**2 + 5*m - 6. Let z be o(5). Let d be (0 - 3)*-31 - z/(-6). Let s = d + -60. Is s a multiple of 8?
True
Let n(q) = 10*q - 8. Let d(m) = -9*m + 8. Let o(w) = 4*d(w) + 5*n(w). Let l = -338 + 340. Does 5 divide o(l)?
True
Let n = 5725 + -2971. Is 27 a factor of n?
True
Let v(g) = 18*g**2 + 11*g - 2. Suppose 13 = -4*k - 5*n, n + 20 = -3*n. Is v(k) a multiple of 51?
False
Let a = -89 + 98. Let z be a/(81/12) + (-2)/(-3). Suppose f = q - z*q + 132, 4*q = 3*f - 368. Is 21 a factor of f?
False
Let q(k) = k**3 - 12*k**2 - 8*k + 696. Is q(23) a multiple of 13?
True
Let v(p) = -31*p**2 + 1 - 31*p**3 - 13 + 33*p**3 + 17*p. Suppose 0 = 4*a - 67 + 7. Is v(a) a multiple of 4?
False
Is 19 a factor of (-349811)/(-49) + (-3 - -2) + 6?
True
Let b be (-28 + 21)/((-2)/(-18) + 0). Is (-1 - -3)*(b/(-6) + -7) a multiple of 3?
False
Let k = -192 - -192. Suppose 32*j - 37*j + 205 = k. Does 8 divide j?
False
Suppose 3*k - 106 = -f, -284 = -3*f + k + 74. Let h(c) = -c**2 + 8*c + 3. Let a be h(8). Suppose z - i - a*i - 79 = 0, 2*z - f = -2*i. Is z a multiple of 11?
False
Let t be (2 - 0)/(14/119). Suppose -215 = -t*z + 12*z. Suppose -z = -4*w + 117. Does 4 divide w?
True
Let w be (-64)/(-640) + (-118)/(-20). Let g(z) be the second derivative of -z**5/20 + 7*z**4/12 - 2*z**3/3 + 4*z**2 + z. Is g(w) a multiple of 20?
True
Let t(h) = -7*h**2 - 7536 + 362*h - 73*h + 7573. Is 2 a factor of t(41)?
False
Is 11 a factor of ((-22)/7)/((-119)/13328)?
True
Let s be ((-6)/(-2) - 804)*10/30. Let t = s - -461. Is t a multiple of 12?
False
Let z be 4 + -5 + 3 - -1. Let f be 70 - 4/z*3. Suppose -d = 15 - f. Is d a multiple of 17?
True
Suppose -108336 = -18*h + 534768. Is h a multiple of 116?
True
Let o(p) be the third derivative of p**5/60 - p**4/8 - 3*p**3/2 + p**2 - 268*p. Suppose -22 = 5*c + 8. Is 23 a factor of o(c)?
False
Let k(q) = -46*q + 49. Let i(h) = -22*h + 25. Let r(f) = 13*i(f) - 6*k(f). Let d be r(18). Let p = d + 236. Does 29 divide p?
True
Let t = 4443 - 4382. Is t a multiple of 3?
False
Suppose 5*z - 53233 = -4*l, -3*l + 39923 = -90*z + 94*z. Does 69 divide l?
True
Let n(r) = 25*r**2 - 18*r + 14. Let h(c) = -26*c**2 + 19*c - 15. Let u(t) = 2*h(t) + 3*n(t). Let z(k) be the first derivative of u(k). Is 14 a factor of z(4)?
True
Let t = 53 + -48. Suppose t*r - r - 228 = -3*j, 4*r = 5*j - 380. Is 21 a factor of j?
False
Let j(k) = -k + 0*k + 3*k - k - 2*k**2 + 117. Does 11 divide j(0)?
False
Let r be 399/(-6) - 3/(6/1). Let p = 70 + r. Suppose -2*h = p*j - 6*h - 167, h = j - 56. Is 5 a factor of j?
False
Let l(z) = 4208*z - 292. Is 76 a factor of l(5)?
True
Let v be 12944/40 - 2/(-5). Is 12 a factor of (16/6 + 0)*v?
True
Let f(j) be the third derivative of 29*j**5/6 - j**4/8 - j**3/6 - j**2 - 8. Is 27 a factor of f(1)?
False
Suppose -338*m + 50877 = -329*m. Let n = m - 4006. Does 59 divide n?
False
Suppose o + 1 = 2*o. Suppose 2*d + 1 = -k, d - k = -3 + 1. Does 13 divide (d - 1)/(o/(-31)*1)?
False
Suppose -8*u + 2 = -22. Let v(p) = 2*p**2 - 7*p + 6. Let y be v(u). Does 13 divide (-4)/((-4)/31) - 1*y?
False
Let a(b) = 37*b + 41. Let x(i) = 147*i + 161. Let c(t) = -23*a(t) + 6*x(t). Suppose -k - 8 = -l, 0 = 2*k + k + 3. Is 30 a factor of c(l)?
True
Let f(w) be the first derivative of 0*w + 2*w**2 - 5/4*w**4 - 14 + 1/3*w**3. Does 15 divide f(-2)?
False
Suppose -2*k = 2*k + 168. Let u(r) = -r**2 + 20*r - 44. Let q be u(10). Let g = q + k. Is 7 a factor of g?
True
Suppose -13*x + 11*x = -z - 14234, x = 5*z + 7090. Is x a multiple of 40?
True
Let b = 13034 + -12327. Does 6 divide b?
False
Let g(s) = -s**3 + 19*s**2 + 15*s + 41. Let y(b) = 14 - 5*b**3 + 7*b**3 - 38*b**2 - 50 - 29*b - 46. Let c(v) = 11*g(v) + 6*y(v). Is 10 a factor of c(20)?
False
Suppose 314*q = 319*q - 20. Suppose q*t + 1692 = 8*t. Does 47 divide t?
True
Let f be ((-258)/(-4))/(5/(-40)*-12). Suppose f*c + 19896 = 67*c. Does 44 divide c?
False
Suppose -41*b + 211 = 6. Let q(w) = 207*w - 353. Is 31 a factor of q(b)?
True
Suppose -3*j + 5 = 4*w - 5, -2*w + 12 = -2*j. Let n(s) = s**3 - 2*s**2 + s + 2. Is n(w) a multiple of 2?
True
Let c(f) = 225*f**3 - 3*f**2 + 4*f + 22. Is 11 a factor of c(3)?
False
Suppose 14 = 273*s - 266*s. Suppose -2*q + 7*q - 2080 = -s*u, -5*u = 4*q - 1681. Is q a multiple of 23?
True
Suppose -48*i + 281527 = 41*i - 367550. Does 138 divide i?
False
Suppose -5*l + 54061 = 3*y, -3*l = 5*y - 32768 + 325. Is 14 a factor of l?
False
Suppose 13*p = -40*p + 236062. Is 17 a factor of p?
True
Let p(b) = b**3 + 27*b**2 - 2*b - 51. Let i be p(-27). Suppose 3*t - i*m - 188 - 175 = 0, 0 = -m - 2. Is 17 a factor of t?
True
Let u(y) = y**3 + 7*y**2 + 2*y + 8. Let f be u(-7). Let a be 34/(f/(-4)*(-4)/6). Does 10 divide ((-68)/(-5))/(a/(-85))?
False
Suppose 1492 = -65*j + 67*j. Let c = j + -71. Is 12 a factor of c?
False
Let j = -1291 - -1994