 21 a factor of l?
True
Suppose 0 = -v - 3, 4*v = h + 2 - 14. Suppose y - 77 - 28 = h. Suppose -3*p + 0*p - 115 = -4*s, -4*s + p = -y. Is 6 a factor of s?
False
Let v = -768 + 546. Let j = v - -396. Is 9 a factor of j?
False
Let v be (117/(-2))/(51/(-68)) - 0. Suppose 34*o = 31*o + v. Let q = 56 - o. Is q a multiple of 6?
True
Let k be (-1 - (2 + -1))/(-2). Let s(y) = 26*y - 3. Let g be s(5). Suppose 0 = -2*o + k + g. Is 25 a factor of o?
False
Let i be 3/((-4)/(-10 + 6)) - 3. Suppose 2*p + 309 - 1221 = i. Is 11 a factor of p?
False
Let m(i) = -28*i - 1. Let z be m(-4). Suppose -8*w - z = -751. Does 2 divide w?
True
Suppose 0 = 43*d + d - 18*d - 596232. Is 84 a factor of d?
True
Suppose -z + 3 = -2*d, 4*d - 7*d + 4*z = 7. Let q be (d - 1) + -2 + -52. Let f = -31 - q. Is f a multiple of 15?
False
Let n = 343 - 546. Let p = 523 + n. Does 13 divide p?
False
Let j be ((-2)/(-4))/(((-55)/(-1470))/11). Let p = j + -63. Is 4 a factor of p?
True
Let y = 492 - 831. Let o = 1039 + y. Is 25 a factor of o?
True
Let o(j) be the first derivative of -j**2 + 34*j - 86. Is o(4) a multiple of 7?
False
Suppose -87*z = -92*z + 3770. Does 26 divide z?
True
Let m = 107 - 162. Let f be (23*2)/((-22)/m). Suppose 4*a - 60 = -k - 10, 2*k + 5*a - f = 0. Is k a multiple of 14?
True
Let p = -56 + 61. Suppose 2*v + 85 = -0*v + p*n, -2*n = -v - 42. Let t = 25 - v. Is t a multiple of 12?
False
Let o(g) = g**2 + 8*g + 17. Let w be o(-5). Suppose -k = 4*h - 1, -2*k - 3*k - w*h = -95. Is k a multiple of 3?
True
Let c be 15*((4 - 1) + -4). Let t be c*(-3)/5*4. Suppose y - t = -y. Is 18 a factor of y?
True
Let t(p) = -4*p**2 - 2. Let m be t(-2). Let f = 23 + m. Suppose j - 2*i = 19, 0*i - 74 = -2*j - f*i. Is j a multiple of 9?
True
Suppose -5*k - 4*w + 101114 + 20964 = 0, -24445 = -k - 5*w. Does 13 divide k?
False
Let t(u) = -u**2 + u. Let a(x) = 6*x**2 - x - 6. Let c(h) = -a(h) - 4*t(h). Let i be c(-6). Is 6*(-4)/i*-46*-2 a multiple of 13?
False
Suppose r + 4*f - 3245 = 0, 2*r + 2*f - 1925 - 4559 = 0. Does 5 divide r?
False
Suppose 4*q = 2*n + n - 463, 0 = -4*n - 4*q + 664. Let k be ((-1284)/8)/((-18)/12). Let a = n - k. Is a a multiple of 18?
True
Suppose 0 = 36*v - 14*v + 6996. Is 36 a factor of (v/42 - -5)*-266?
True
Let z be 10/(-3)*((-42)/4)/7. Suppose 1038 = 4*q - s, s + 2*s + 1294 = z*q. Suppose -5*j + 2*g = -g - q, -3*j - 4*g = -185. Does 7 divide j?
False
Suppose -m = -4*j - 16, 3 = 2*j + 4*m + 11. Does 3 divide (j/5 + 570/150)*137?
True
Let g(r) = -12*r - 46. Let a be g(-4). Suppose -f - f + 2*p = -8, 2*f + a*p - 24 = 0. Is -2 - 1/((f/(-236))/2) a multiple of 4?
False
Suppose -2*l + 2*l = -26*l + 49894. Does 19 divide l?
True
Let h(v) = 20*v**3 + 5*v**2 + 2*v - 10. Let d(f) = f**3 + f**2 + f - 1. Let t(r) = 6*d(r) - h(r). Let o be t(-4). Suppose 7*g = 2*g + o. Does 15 divide g?
True
Suppose -3*d - d - 66 = 3*f, 0 = -2*f + 4. Let u = -13 - d. Suppose -m + u*y + 48 = -69, -4*m = 5*y - 443. Is 16 a factor of m?
True
Suppose -2*x + 5*x + 12 = 0. Let p be (x/8 + (-2)/12)*9. Is (0 + (-83)/6)*p a multiple of 13?
False
Let m(t) = -t**2 + 24*t - 26. Let f be m(23). Let p be (-2)/f*(-1)/(14/(-903)). Suppose 4*k - 3*r - p = 2*k, -5*k + 160 = 3*r. Is k even?
False
Suppose 16 = 4*p, 0*r - 2*r + 888 = -3*p. Let t = -137 + r. Does 19 divide t?
False
Suppose 0 = 5*w - 4*s - 2261, w = -2*w + s + 1358. Let b = w + -87. Is b a multiple of 6?
True
Suppose -118*m + 82754 = -218*m + 123*m. Is m a multiple of 133?
False
Let m(h) = -19*h**3 + 5*h**2 - 2*h - 12. Let j be m(-3). Suppose 18*r - 26*r = -j. Does 23 divide r?
True
Let c be 4175/75 - (-2)/6. Let a = c + -134. Let m = a + 189. Is 19 a factor of m?
False
Let b = -2760 - -11982. Does 87 divide b?
True
Suppose 2*b - 6*b + 1963 = 3*k, 5*k = 3*b + 3320. Let s = k + -377. Is s a multiple of 71?
True
Let v = 10043 - 7040. Is v a multiple of 21?
True
Suppose -r = -5*w - 129, r + 105 = -3*w + 34. Is 7 a factor of 10/w + (-20244)/(-60)?
False
Let t(k) = 39*k - 117. Is 11 a factor of t(21)?
False
Let p(i) = -i + 14. Let j be p(3). Suppose 3*a + j*h = 6*h + 259, -4*a = -h - 330. Suppose 4*x = 41 + a. Is 6 a factor of x?
False
Suppose -13 = 2*j + 4*p - 35, -3*p + 12 = j. Suppose -j*q + 4386 = -3*q. Is 25 a factor of q?
False
Let g = 19 + -19. Suppose 5*q + g*q - 395 = 0. Let x = q - 36. Is 34 a factor of x?
False
Suppose 2*v = 31*h - 33*h + 11728, 3*h = 4*v + 17536. Does 8 divide h?
True
Let p(h) = -29*h + 5. Let o be p(1). Let t = o - -169. Does 14 divide t?
False
Let q(v) = -v**2 + 261*v - 2828. Is q(117) a multiple of 44?
False
Let t be (-5192)/66 + 1 + 2/(-6). Let l be (-4)/16 - (-473)/4. Let k = l + t. Is 20 a factor of k?
True
Suppose 5*s - 7499 - 747 = -2*v, -2*s - 4132 = -v. Is v a multiple of 12?
True
Suppose 12 = 4*u + 3*z - 0*z, 2*u = -z + 6. Let n be (-6)/27 + (-60)/(-27) + u. Suppose 2*a - 153 = -0*a - n*f, -426 = -5*a + 2*f. Is 6 a factor of a?
True
Let a(j) = -24*j**3 - 2*j**2 + 2*j. Let h be a(2). Suppose 6320 = -14*n + 34*n. Let y = h + n. Is 15 a factor of y?
True
Suppose -2*g - 4 - 52 = 0. Is g/(112/(-24) - -4) a multiple of 2?
True
Suppose 0 = -6*m + 3549 - 549. Let r = m - 296. Is 12 a factor of r?
True
Let o = -218 + 1955. Does 3 divide o?
True
Let m = -163 - -165. Suppose -5*x - 7 = 18, 5*n + m*x = 610. Does 33 divide n?
False
Suppose -30*a + 26*a - 2*b + 11230 = 0, -1 = b. Is 24 a factor of a?
True
Is 6 a factor of (-190)/(-570) - (-422)/3?
False
Let k = -122 + 58. Let u = -66 - k. Let i = u - -22. Is 5 a factor of i?
True
Suppose -12*r + 65 = -223. Is ((-278)/(-2))/(6/r) a multiple of 52?
False
Let s(g) = -33*g**3 + 2*g**2 + 2*g + 1. Suppose -2*u - u - 1 = -r, 0 = -2*r + 4*u + 12. Let w = -17 + r. Is 17 a factor of s(w)?
True
Let q(z) be the third derivative of z**7/840 - z**5/10 + z**4/6 + 3*z**3 + 48*z**2. Let b(r) be the first derivative of q(r). Is b(6) a multiple of 36?
False
Let o = -42 + 42. Suppose 580 = 2*r - o*r. Does 51 divide r?
False
Let v(k) = -11*k**2 + 47*k + 55. Let m(s) = -6*s**2 + 24*s + 27. Let c(b) = 5*m(b) - 3*v(b). Does 38 divide c(15)?
False
Let g(l) = l - 10. Let y be g(4). Let d be 2/12 + (-263)/y. Let p = 66 - d. Is p a multiple of 6?
False
Let h(u) be the first derivative of -u**4/4 + 2*u**3/3 + 3*u**2 - u - 22. Let k be h(4). Is 2 + 20/k - (-5984)/36 a multiple of 21?
False
Suppose 4*y = -20, -w = 2*w + 3*y + 6. Suppose -s + n = -217, 5*s - w*n - 861 = 232. Is 17 a factor of s?
True
Let q be 1*-6 + (2 - 12/6). Does 25 divide 5 - (11 - -78)*(q - -1)?
True
Suppose -2*t + 39 = 11*t. Is 49 a factor of (-196)/(t*9/(-54))?
True
Suppose -5*w = 52*c - 50*c - 2709, 4*w + 1322 = c. Is 31 a factor of c?
False
Does 39 divide 3472/252 - 14 - 31529/(-9)?
False
Let v(n) = -8*n**3 + 3*n**2 + 2*n - 4. Let m be v(2). Let u = m - -55. Does 12 divide (-25 + -2)*(-1 + (-14)/u)?
False
Suppose 0 = 2*k - 2*n - 23546, 610*k = 614*k - 2*n - 47094. Is k a multiple of 5?
False
Let o = 45273 + -24704. Is o a multiple of 60?
False
Suppose -y = -4*q + 527, 0*y - 3*y + 680 = 5*q. Suppose 0 = 4*u + 2*w - 176, q = 4*u - u + 2*w. Suppose 4*c = -u + 115. Is 3 a factor of c?
True
Suppose 2*r - 11720 = -t, 2*r - 4533 - 7195 = -5*t. Does 93 divide r?
True
Let f = 7 - 5. Suppose -2*o + 2*o = 3*o - 15. Suppose -2*h = -f, -5*k = -o*h + 122 - 317. Is k a multiple of 20?
True
Suppose 8*w + 3 = 9*w. Suppose -9*i + w = -12*i. Is i/2 + 219*(-5)/(-30) a multiple of 12?
True
Suppose -6*g + 12*g = 0. Is 150/50 + (g - -543) a multiple of 42?
True
Let n(w) = 125*w**2 + 13*w - 18. Is 8 a factor of n(1)?
True
Suppose 3056 = -185*f + 181*f. Let c = 1076 + f. Does 13 divide c?
True
Let m(s) = -s**3 + 15*s**2 + s - 9. Let c be m(15). Suppose -c*r + r = z - 859, 0 = 4*r - z - 689. Let g = r - 121. Is g a multiple of 6?
False
Suppose -8*c = -9*c + 2, n = c - 7. Is -6 + 90/n*-5 a multiple of 4?
True
Suppose 7988015 = 73*t + 88*t. Does 37 divide t?
False
Let k = -74 - -108. Suppose 30*s = k*s. Suppose y - x = -17 + 58, s = 5*x. Is y a multiple of 10?
False
Let w(i) = -i**2 - 32*i - 130. Let t be w(-27). Let z(b) = -b**2 + 13*b - 10. Let n be z(11). Suppose -n*l = -t*l - 196. Is 5 a factor of l?
False
Let p = -15 - -11. Let a be (2/(p/(-2)))/(10/10). Is 19 + a/(-2)*12/6 a multiple of 10?
False
Let j(m) = 52*m**2 - 152*m + 1195. Is j(8) a multiple of