
Suppose -2*t - a = -6*a - 18, 4*t - a = 18. Let w be (435/(-10))/(-3)*t. Let j = w + -37. Is 9 a factor of j?
False
Suppose 8*g - 80940 = -0*g + 4*g. Is 19 a factor of g?
True
Let k(y) = -45*y + 2142. Is 13 a factor of k(32)?
True
Suppose 3210 = 45*k + 16260. Let m = k - -1194. Is m a multiple of 14?
False
Suppose -10*l + 64106 - 10376 = 0. Does 37 divide l?
False
Suppose 2*m - 4*r - 534 - 5212 = 0, -4*r + 8579 = 3*m. Does 179 divide m?
False
Suppose 41059 = 25*o - 103316. Is o a multiple of 77?
True
Let v(z) be the third derivative of -23*z**4/12 - 10*z**3/3 - 3*z**2 - 383. Suppose 5*c + 39 = i, -31 = c + 3*c - i. Is v(c) a multiple of 58?
True
Let t(q) = -4326*q - 84. Is 132 a factor of t(-1)?
False
Let c(n) = -n**3 - 6*n**2 + n - 6. Let k be c(-6). Let x be k/32 - (-204)/32. Is 4 a factor of x - (3 + 0) - 7/(-1)?
False
Suppose -2*j + 3*g = -3, 9*g = 4*g + 15. Does 21 divide j/(-45)*5 - (-1325)/3?
True
Suppose 3*r = -5*i + 797, -6*i + 2*i = 20. Suppose 3*p - 427 = -2*t, 2*t - r - 159 = 3*p. Does 41 divide t?
False
Let l(r) = -183*r + 814. Does 14 divide l(-25)?
False
Suppose 4*c - 7 - 5 = 0. Suppose -n - 2 = -c*b + 7, 3*n - 8 = 2*b. Suppose -3*r = -816 + n. Is r a multiple of 12?
False
Let m be -1 + -1 + 4*(-2)/4. Let d(i) = i**2 - 4*i - 7. Let u be d(11). Is 33 a factor of (u - 0) + m/1?
True
Let b = -11239 - -12720. Does 16 divide b?
False
Suppose -4*l = 5*z - 9 - 9, 4*l + 2*z = 12. Let f = l - 6. Is (f/(-3))/((-42)/(-1323)) a multiple of 21?
True
Let u(h) = 1. Let n(j) = 2*j**2 + 3*j - 842. Let k(w) = -n(w) - 5*u(w). Does 93 divide k(0)?
True
Let p(z) be the third derivative of z**6/120 + 4*z**5/15 + 5*z**4/8 - 5*z**3/3 + 11*z**2. Let n be p(-15). Is 20 a factor of -1*(-6)/n + 806/10?
True
Suppose -33 + 8 = -3*x + 5*m, -4*x - 4*m + 76 = 0. Let v(i) = -2*i**3 + 19*i - 8 + 13*i**2 + i**3 + 14 + 8 + 11*i. Is v(x) a multiple of 8?
False
Let m(s) = 60*s + 5. Let i be m(4). Suppose -31 + 14 = -c + 4*t, -4*t + 3 = 3*c. Suppose -i - 65 = -c*q. Is 9 a factor of q?
False
Let u be (-2)/(-6) + (13552/21)/8. Let j = u + 312. Is j a multiple of 9?
False
Suppose r - 2*f - 304 = 0, 2*r - f = -r + 907. Let b = -110 + r. Does 16 divide b?
True
Let k(h) = -143*h - 1384. Does 47 divide k(-34)?
True
Let n(j) = -2*j - 9. Let k be n(-6). Let s = k - 5. Does 5 divide 13 + (0/(-5) - 4/s)?
True
Let p(c) = 2*c**3 - 10*c**2 - c + 5. Let x be p(5). Let m(j) = 4*j + 134. Let q be m(x). Suppose 5*u = 4*z - q, u = 3*z - u - 104. Is z a multiple of 11?
False
Suppose 4*h = 127 + 13. Let g(b) = -b**3 + 27*b**2 - 52*b + 52. Let y be g(25). Suppose -u + 4*x + 24 = -19, u - h = y*x. Does 27 divide u?
True
Let y(x) = -155*x - 45. Let a(d) = 8*d - 1. Let u(z) = 6*a(z) + y(z). Is u(-7) a multiple of 11?
False
Is 57 a factor of 4/(-22) - 2287524/(-1254)?
True
Let d = -47 + 52. Suppose 0 = -d*h + 903 + 637. Let v = h - 142. Is 26 a factor of v?
False
Let m(s) = 8*s**2 + 20*s + 1331. Does 27 divide m(-29)?
True
Suppose -4*k + 234 = -k. Suppose 2*l - 241 + k = y, -2*y = -3*l + 244. Let g = l - 53. Does 13 divide g?
False
Suppose -9*b = -292 - 23. Let m = -11 + b. Is 2 a factor of m?
True
Suppose 4*x - 22 = 2. Let w be (x + 2 - 2)/((-21)/(-14)). Is 5 a factor of (560/(-12))/2*(-6)/w?
True
Suppose 0 = -3*b + 5*b - 260. Let t = b + -48. Suppose -t - 191 = -3*n. Does 17 divide n?
False
Let c be 2270 + -2 + 18/(-9). Suppose 4*n = -18*n + c. Does 33 divide n?
False
Suppose 0 = 31*d + 35178 - 120707. Let a = -1939 + d. Is a a multiple of 21?
False
Let z = -332 - -341. Is 2351/z + (16/72)/(-1) a multiple of 15?
False
Let b be 1/7 + -4*318/(-14). Let p = -89 + b. Suppose -1032 = p*w - 6*w. Is 41 a factor of w?
False
Let c(n) = n**2 - n + 41. Suppose 3*a + 15 = -4*d - 13, 0 = 5*a - 20. Let s be c(d). Suppose -169 = -8*w + s. Is w a multiple of 8?
True
Suppose -3*u = -p - 2, 5*u = -9*p + 12*p + 6. Suppose -42*y + 22405 + 2795 = u. Does 30 divide y?
True
Suppose 5*m - 23 - 17 = 0. Let o be (-24)/(-4)*m/12. Suppose 8 = 2*f, 9 = z + o*f - 13. Does 5 divide z?
False
Let d be (24/6 - 2)/(1 - 0). Suppose 2*u + s - 9 = 0, 2*s = d*u - 4*u + 14. Suppose -57 = -4*k + 5*z, 4*z + 10 + u = -k. Is 6 a factor of k?
False
Let w = -30 + 31. Let x be ((-17)/(-2) - w) + 9/(-6). Suppose x*a = 39 + 87. Is 21 a factor of a?
True
Suppose -4*f = 4, 4*b - 3*f - 1 = 26. Let m(n) = 32*n - 56. Let c be m(2). Let x = c + b. Does 2 divide x?
True
Suppose -5 = -2*h + 47. Suppose r + 9 - h = 0. Suppose -3*q + 10 + r = 0. Does 4 divide q?
False
Let r be (-4 - (-28)/8)/((-5)/(-90)). Let d(z) = -70*z + 144. Is 18 a factor of d(r)?
True
Suppose -2*g - 14406 = -g - 7*g. Does 12 divide g?
False
Suppose 0 = 8*j - 17*j. Suppose j = -5*v + 2*u + 3604, -2*v + 9*u - 14*u = -1459. Does 38 divide v?
True
Let w be (-4)/1 + (8 - 10 - 6). Let s be (4/3)/((-1)/48). Let d = w - s. Is d a multiple of 26?
True
Suppose -4*p - 2*o = -134, 2*p + 0*p = 2*o + 52. Let f = 33 - p. Suppose f*w - 5*w - 3*q = -186, q - 302 = -5*w. Is 20 a factor of w?
True
Suppose -2*s - 2*l - 4*l = -2216, 1156 = s - 5*l. Does 14 divide s?
False
Let o = 387 - 383. Is (o + 76)*2 - -4 a multiple of 4?
True
Let d(z) = -z**2 - 17*z + 32. Let p be d(-15). Let o = p - 14. Is 5 a factor of -2 + o + 3 - (3 - 6)?
False
Let z(i) = -4*i - 102. Let s be z(-28). Let a(p) = p**3 - 10*p**2 + 5*p + 41. Is a(s) a multiple of 13?
True
Suppose -3*a + 3*r + 18 = 0, 3*r - 3 = 3. Suppose -4112 - 2160 = -a*m. Suppose 0 = 2*w + 4*u - 296, -u = -2*w - 3*w + m. Is w a multiple of 13?
True
Suppose 93 = -4*y - 3. Let l = y - -31. Suppose -43 = -l*c + 48. Does 2 divide c?
False
Let x = 8297 + -7786. Does 5 divide x?
False
Let n = -34 + 439. Suppose i - 4*d + d = n, 2*i - 2*d = 818. Is i a multiple of 18?
False
Let j = 337 + -805. Does 12 divide (-194)/((-2)/(-13) - (-150)/j)?
True
Let q = 100 - 144. Does 38 divide q/55*(-2 - 473)?
True
Does 22 divide (-21750)/(-15 + 12) + -1?
False
Let m = -20 - -27. Let i(n) = m*n + 5 - 8 + 7*n. Does 6 divide i(4)?
False
Suppose -567 = -2*s - 561. Suppose 5*q + 436 = s*t, t - 152 = 8*q - 3*q. Does 2 divide t?
True
Let l = -13 - -13. Suppose l = -3*n + 5 + 7. Let i(z) = 47*z + 7. Does 21 divide i(n)?
False
Suppose -1833 = 7*o + 260. Let g = o - -986. Does 78 divide g?
False
Suppose -b + 1348 = m, -m = -1563 + 1561. Is b a multiple of 15?
False
Let z be -71*2/8*4. Let p = 127 + z. Does 16 divide p?
False
Suppose f = 5*p + 6, 4*f - 5*f + 3*p = -4. Let q(u) = 3*u. Let a be q(f). Let d(o) = 12*o - 5. Is 5 a factor of d(a)?
False
Suppose -94358 + 13306 = -23*m. Does 122 divide m?
False
Suppose 2*h = -4*m + 24286, -4*h - 11*m = -6*m - 48590. Does 123 divide h?
False
Let a(h) = -6*h**3 - 4*h**3 - 5 - 45*h + 20*h**3 - 9*h**3 - 2 - 13*h**2. Is a(17) a multiple of 8?
True
Let g be 4/(-14) - 786/(-7). Let n be 13/(-182) + (-10153)/154. Let h = g + n. Is 23 a factor of h?
True
Let t = 802 + -627. Suppose 7*p - t - 210 = 0. Is p a multiple of 3?
False
Let y = -28 + 28. Suppose y = -3*p + 8*p - 20. Suppose 4*x + s = 104, 96 = p*x - 2*s + 5*s. Is x a multiple of 9?
True
Suppose -18 = -4*y - 2. Suppose -y*f + 204 = -f. Let s = -48 + f. Does 3 divide s?
False
Let t be (-10)/(-25) - (-102)/(-5). Let h be ((-1055)/t + 2)*24. Is (1*h/(-24))/((-6)/16) a multiple of 32?
False
Let q(t) = -2*t + 2*t**3 - 4*t**3 + 0 + 3*t**3 - 2 + 9*t**2. Let l = -6 - 3. Is 3 a factor of q(l)?
False
Let d(w) be the second derivative of w**3/2 - 16*w**2 + 17*w. Let m be d(14). Suppose -m*i = -6*i - 516. Is i a multiple of 14?
False
Let q = 9481 - 4637. Does 173 divide q?
True
Let f(o) be the second derivative of 5*o**4/12 - 7*o**3/6 - 6*o**2 - 94*o. Is f(-5) a multiple of 4?
True
Suppose 3*t + 105 = 3*a, 2*a - 82 = -0*a - 4*t. Suppose 4*y + a - 217 = 0. Does 9 divide y?
True
Let j(o) = 9*o**2 - 79*o - 918. Is 13 a factor of j(73)?
False
Suppose 0 = -l - 95*z + 99*z + 14439, 5*l - 4*z = 72259. Does 4 divide l?
False
Let d = 1593 + -974. Is 2 a factor of d?
False
Is 48 a factor of 18*(-8)/(-12) + 35521 + 0?
False
Let z(d) = -2*d**3 - 3*d - 115. Does 14 divide z(-14)?
False
Is 147 a factor of (-6)/(96/4) + (-455355)/(-60)?
False
Does 3 divide 58 - -1764 - 39/(-3)?
False
Suppose 0 = 4*h - 1358 - 1174. Let l = -486 + h. Is 77 a factor of l?
False
Let s(m) = 59*m - 25. Is 41 a factor of s(31)?
True
Let g(t) 