 19*s - 47. Let m(t) = -5*a(t) - 3*i(t). Is 10 a factor of m(12)?
False
Is 5 a factor of 1/2*-1 + (135056/32 - -15)?
True
Let w = 240 - 229. Let a(d) = d**2 - 3*d - 45. Does 2 divide a(w)?
False
Let g be 0 - ((2 - 101) + 1). Let u = -38 - -44. Let b = g + u. Is 12 a factor of b?
False
Suppose 7*z - 13222 = 3130. Is 73 a factor of z?
True
Let c(i) = -i**2 + 3*i - 8. Let s be c(0). Let r(l) = l**2 + 6*l - 7. Let f be r(s). Is 246/f + 2 + (-16)/12 a multiple of 14?
True
Let k(t) = t**3 - 9*t**2 + 22*t - 20. Let r be k(6). Suppose -3*x + 1080 = -h, 196*x - 194*x - r*h = 720. Does 20 divide x?
True
Suppose -2*i - u = -11, 3*i - 6*u + 2*u = 0. Let a be ((-11)/(-2))/(2/16*i). Suppose 0 = -5*j - 3*x + 82, -j - 2*x + 33 - a = 0. Is 14 a factor of j?
True
Suppose -3*g - c - 1695 = 0, 4*g - 7*c + 2273 = -4*c. Let f = g - -1415. Is 40 a factor of f?
False
Let v(q) = 6*q**3 + 4*q**2 - 3*q - 1. Let k be v(-3). Let b = 174 + k. Does 17 divide b?
False
Let i(l) = 1363*l**2 + 2158*l + 15099. Is i(-7) a multiple of 265?
True
Suppose 2*y - 5*q = -17, 5*y = -3*q + 1 + 3. Is 18*1235/26 - (y + 1) a multiple of 15?
True
Suppose 35*g - 35822 - 266607 = -66669. Does 254 divide g?
False
Let p(d) be the first derivative of -d**4/4 - 2*d**3 - 5*d**2/2 - 14*d + 1. Let l be 1045/(-110) - ((-17)/10 + 1/5). Does 18 divide p(l)?
False
Let v be (-11 + 17)*1*36. Let l = 87 + -211. Let k = l + v. Is 23 a factor of k?
True
Is ((-3474)/4)/((-21)/196) a multiple of 14?
True
Suppose -4*z - 28 = 0, 5*r - 24045 = 3*z + 6731. Is 32 a factor of r?
False
Suppose -54*q - 5*f = -51*q - 103269, -q + 8*f + 34336 = 0. Is q a multiple of 11?
True
Suppose -43*b - 21088 = -64690. Is b a multiple of 7?
False
Let o = 419 - 648. Let q = o - -327. Suppose x - q = -0*x. Is 8 a factor of x?
False
Suppose a = 154 - 152. Suppose a*b - 3*h = 2*h + 389, 0 = 3*h + 9. Does 17 divide b?
True
Suppose 0 = 3*s - 5*f + 31, 3*s = 2*s - 3*f + 13. Let x(b) = -16*b - 3. Is x(s) a multiple of 3?
False
Suppose -2*n + 5*a - 1 = 0, 3*n - a - 7 + 2 = 0. Suppose 3*l + 358 = n*k, -2*k + 177 = -k - 2*l. Does 51 divide k?
False
Let v(f) = -7*f + 75. Let u be v(-8). Let w = u + -1. Does 14 divide w?
False
Let a = -51 - -81. Suppose 2*k + 0*k - a = -v, -2*v = -2*k + 30. Let s(h) = 2*h - 18. Does 5 divide s(k)?
False
Let c = -22 - -49. Suppose -j = 23 - c. Suppose 3*n - j*v = 485, n + 3*v - 153 = -0*v. Is 33 a factor of n?
False
Let g(t) = 28*t - 11. Let p be g(1). Suppose p*f - 3377 = 2998. Does 15 divide f?
True
Let k be (2 - (-24)/(-18))*(0 + -42). Let c = -130 - -110. Is 6 a factor of 23 - (4/10 - k/c)?
True
Let m(h) = 2*h**2 - 4*h - 9. Let d be m(5). Suppose 4*j + d = 53. Is (0 - (-1410)/8) + 6/j a multiple of 14?
False
Suppose 0 = 8*g - 587 + 11. Suppose -g = 211*q - 220*q. Is q a multiple of 4?
True
Suppose -f - u = -1648, -47*u + 1654 = f - 49*u. Is 10 a factor of f?
True
Is (2/1)/((-12)/16 + (-6245)/(-8316)) a multiple of 9?
True
Suppose 147 - 228 = -9*s. Does 13 divide 1914/s + (-120)/45?
False
Let l(v) = 2*v**2 - v - 4 + 2*v + 2*v. Let q be l(-3). Suppose -2*h + 3 = -3*h, q*h + 43 = d. Does 15 divide d?
False
Let p(y) = -y**3 - y**2 + y - 7. Let l(s) = 12*s - 10. Let t be l(5). Let z be (((-12)/15)/(-2))/((-5)/t). Does 8 divide p(z)?
False
Is 21 a factor of (-1)/(4/(-20)) + 1/3*93351?
True
Let j = 82 + -74. Suppose 0 = 4*p + j + 4. Is 22 a factor of 3 - 6 - (p + -166)?
False
Suppose 0 = -4*k + 5*h - 25, 2*k = -2*k - h + 5. Suppose -3*g = -3*o + 558, -o + 2*g - 6*g + 176 = k. Is o a multiple of 8?
True
Suppose 15*a - 2430 = 60*a. Suppose 2*i - g = -249, 4*i - 3*i + 123 = g. Let r = a - i. Is r a multiple of 12?
True
Suppose -143902 = -36*z - 26*z. Is 62 a factor of z?
False
Let q = -1172 - -4195. Does 39 divide q?
False
Is ((-483690)/92)/((-3)/4) a multiple of 10?
True
Let d = 7492 - 6955. Does 7 divide d?
False
Suppose -630*z = -634*z + 6061 + 1739. Is z a multiple of 19?
False
Let s = -56258 - -97607. Is s a multiple of 33?
True
Suppose 3*m + 50*u - 93424 = 45*u, u = -5*m + 155648. Is m a multiple of 59?
False
Suppose -j - 215 = 3*r, -8*j + 265 = -4*r - 5*j. Let b(a) = -11*a + 5. Let w be b(-8). Let o = w - r. Is o a multiple of 11?
False
Let d = -59 + 67. Suppose 12*o = d*o + 24. Does 14 divide 2/o*2*(45 - 15)?
False
Let q(o) = 4*o + 87. Let w(h) = -h**3 + 4*h**2 + 6*h - 10. Let c be w(4). Does 13 divide q(c)?
True
Suppose 4 + 6 = -5*r. Let f be (r/(-6))/(95/(-45) + 2). Let t = f + 9. Does 3 divide t?
True
Let p(d) be the first derivative of -59*d**2/2 - 138*d - 26. Is p(-11) a multiple of 20?
False
Let x = 23 + -29. Let a = x - -6. Suppose 5 - 42 = -2*t - 3*v, -t - 4*v + 11 = a. Is 23 a factor of t?
True
Let b = 5919 - 1861. Suppose 13114 = 16*u + b. Does 13 divide u?
False
Let s = -77 + -90. Let k = s + 235. Is k a multiple of 3?
False
Let o = -30862 + 38311. Is o a multiple of 39?
True
Suppose -3*m + 5*a = -1745, -4*m = -4*a - 1873 - 467. Is m a multiple of 10?
True
Let a(k) = -834*k - 84. Is 16 a factor of a(-5)?
False
Let l be (-2)/(-4)*11/(77/70). Suppose l*t + 31 = 41. Suppose -23 = -t*v + 145. Is 21 a factor of v?
True
Let q(w) = 52*w - 704. Is 50 a factor of q(52)?
True
Suppose -88*x + 22968 = -64*x. Suppose -7*w + 100 = -x. Does 5 divide w?
False
Suppose 0 = 13*y - 17*p + 15*p - 38200, 2*p - 14684 = -5*y. Does 71 divide y?
False
Let l(y) = 11*y + 58. Let a be l(-5). Let f(h) = h**2 + h. Let q(o) = o**2 + 3*o + 1. Let v(c) = 9*f(c) - 4*q(c). Does 8 divide v(a)?
True
Let n(l) = 13*l**2 - 6*l + 8. Let f(a) = -a**2 + 10*a - 16. Let c be f(9). Is 28 a factor of n(c)?
False
Let v = 3164 + -2259. Is 2 a factor of v?
False
Let z(x) = x**3 + 27*x**2 + 81*x + 35. Is 25 a factor of z(-19)?
False
Let n(x) = -x - 3. Suppose -b + 3 - 5 = c, 5*b - 5*c = -50. Let h(m) = m - 1. Let s(w) = b*h(w) + n(w). Is s(-5) a multiple of 19?
True
Let a = 5766 + -3407. Is 7 a factor of a?
True
Let z = -5322 - -9326. Suppose z = -3*f + 10*f. Does 13 divide f?
True
Let t(a) = 890*a + 7. Let n be t(2). Suppose 7*q + n = -215. Does 6 divide (-3)/5 - q/10?
False
Suppose 0 = 2*a - c - 12, 4*c + 27 = 11. Suppose a*u + 5*g = -586 + 1576, -3*u + 3*g = -756. Is u a multiple of 67?
False
Suppose -5*o + 9984 = b, 26*o + 10020 = 31*o - 5*b. Is o a multiple of 35?
False
Let p(a) be the first derivative of -6*a**2 + 8*a**2 - 23 - 24*a - 5*a**2 + 3*a. Does 15 divide p(-6)?
True
Suppose 292922 = 102*u - 138844. Is u a multiple of 3?
True
Suppose 3*p = -5*y + 557, -5*p + 0*y - 4*y = -937. Let w = p - 154. Is 5 a factor of w?
True
Does 58 divide ((-28)/84 - 369781/(-75)) + 2/(-25)?
True
Suppose 4*j + 47 = 5*k, k + j + 3*j + 5 = 0. Suppose 3*c = -k*c + 1980. Suppose -148 = -2*i + c. Is i a multiple of 42?
False
Let x = 540 + -540. Suppose 2*n - 2*j - 128 = x, -3*j + 58 = n - 7*j. Does 6 divide n?
True
Suppose 13 = 2*x + l, -5*l + 11 + 4 = 0. Suppose i + 1 = -3*k, 0*i - 8 = -x*i - 2*k. Suppose -i*v = 2*c - 346, 0*c = 4*v + 5*c - 687. Does 17 divide v?
False
Is 86 a factor of (-18339)/12*3*900/(-675)?
False
Let o(d) = 111*d**2 + 27*d + 55. Let k(p) = 56*p**2 + 14*p + 28. Let q(z) = 5*k(z) - 2*o(z). Is 42 a factor of q(-3)?
True
Let b be (-470)/(-90) + (-2)/9. Suppose -9*j = -12*j - 5*h + 1065, -b*j = -2*h - 1744. Is j a multiple of 35?
True
Let f(l) = l**2 - 13*l - 30. Let b be f(15). Suppose -4*h + 154 = 5*w, b = h + 3*w - 7 - 35. Does 9 divide h?
True
Suppose 18*j = 13*j + 2*f + 19881, -32 = 4*f. Is 19 a factor of j?
False
Let c = 15 - 19. Let k be (8/4)/(c/(-106)). Let x = k + -38. Does 3 divide x?
True
Let f be -6*(1 - (-10)/(-15)). Does 18 divide 26682/57 + f/19?
True
Suppose 28 = 4*d - 0*d. Suppose -521 = d*a + 172. Does 3 divide -201*6/a + (-4)/22?
True
Let r = -15591 + 27711. Is 172 a factor of r?
False
Let m = -3245 - -4361. Is 6 a factor of m?
True
Let x be -263 + (160/(-50) - (-4)/(-5)). Let v = x + 991. Suppose 4*b = 8*b - v. Is b a multiple of 30?
False
Is 804*(-4)/(-6)*(-1053)/(-216) a multiple of 7?
False
Suppose 25 - 33 = -8*k. Let z(q) = 18*q + 30. Is 24 a factor of z(k)?
True
Let w = -471 - -473. Suppose a - 111 = f, -5*a + f = -w*f - 545. Does 7 divide a?
False
Let a(m) be the first derivative of -m**3/3 - 39*m**2 + 3*m + 170. Is 71 a factor of a(-8)?
False
Let b be -5 + 3 + 3 + 168. Suppose b*h - 165*h = 372. Is h a multiple of 9?
