-7*c - 2148, -2*a = -c - 4307. Is a a multiple of 32?
False
Suppose 22*m - 30 = 16*m. Suppose -5*l + 0*r + 173 = 2*r, -m*l - 5*r + 185 = 0. Does 3 divide l?
True
Suppose -2 = 2*v - 10. Suppose -10 = v*z + 18. Let i(c) = c**3 + 5*c**2 - 18*c - 7. Does 11 divide i(z)?
False
Let m(a) = -a**3 + 28*a**2 - 103*a - 43. Let h be m(24). Let b(d) = -d**3 - 2*d - 6. Let k be b(5). Let c = k - h. Is 14 a factor of c?
True
Does 5 divide ((-1059)/(-6))/((-2)/9*15/(-40))?
False
Suppose -j = i - 4*i - 7, -2*j = 2*i - 6. Let z be (-3)/(-9)*(-132)/i. Suppose 0 = -5*a - 4*b + z, 5*a = -4*b + b + 48. Does 6 divide a?
True
Let c be -879*(-4)/((-20)/(-5)). Let l = 1275 - c. Is 67 a factor of l?
False
Let i(d) = d + 1. Let j(k) = -60*k - 84. Let c(r) = 132*i(r) + 2*j(r). Suppose 0 = -7*z + 6*z + 8. Is c(z) a multiple of 30?
True
Suppose 2*i - 69 = 17. Suppose 0 = i*o - 44*o + 40. Suppose -29*h - o = -33*h. Does 3 divide h?
False
Suppose 2*a + 4*q = 1552, 7*a - 4*a - 2295 = 5*q. Suppose 14*t = a + 322. Is t a multiple of 4?
False
Let n be 8/(2/(3 + -2)). Let z(u) be the first derivative of u**4/4 - u**3 + 5*u + 377. Does 11 divide z(n)?
False
Suppose 16*b + 405 - 1653 = 0. Let i = b + 195. Does 13 divide i?
True
Let d(q) = -6*q**2 - 7*q + 35. Let y(m) be the first derivative of -m**3 - 2*m**2 + 17*m + 2. Let j(i) = 4*d(i) - 9*y(i). Is 10 a factor of j(-9)?
False
Let y be (40 - 39)*(-2 - 645). Let h = -557 - y. Is h a multiple of 6?
True
Let n = -6411 + 12477. Is 6 a factor of n?
True
Let l = 305 - 437. Let q = -56 - l. Is 19 a factor of q?
True
Suppose 4*j + 4*c - 2822 = 2354, -6 = -2*c. Suppose -3*z = 4*o - 6*z - j, -3*o + 3*z + 969 = 0. Does 23 divide o?
True
Let u be (-14)/(-3) + (-13)/(39/2). Does 28 divide u/(-1) + (-4 - -176)/4?
False
Let m be (-2)/(-6) - 24/(-9). Suppose m*s - 4*s - 7 = 3*q, -3*q - 11 = -s. Suppose 0 = p - u - 16, -3*p + 7 = -s*u - 43. Is p a multiple of 18?
True
Suppose 7*s - 13 = 1. Let k(w) = -4 + 100*w + 3*w**s - 196*w + 97*w. Does 4 divide k(3)?
False
Let p be (-46)/(-276)*103*6. Suppose g + 2*z - p = 0, 2*z + 173 + 199 = 4*g. Is g a multiple of 8?
False
Suppose -20*w = 33*w + 12*w - 220220. Does 19 divide w?
False
Let w = 233 - -108. Does 3 divide w?
False
Suppose 10*d = -17*d - 5292. Let x = d - -336. Is 14 a factor of x?
True
Suppose -3*r + 12 = -u, -3*u = -5*r + 7 + 17. Is 10 a factor of (-3 + u + 5)*5 + 202?
False
Let l(x) = -104 - 24 + 7*x + 21. Does 12 divide l(23)?
False
Suppose 0 = -2*a + 4*r + 53336, -261*a + 258*a + 3*r + 79977 = 0. Is 65 a factor of a?
True
Let p(n) = -3*n**3 + 31*n**2 + 26*n + 777. Is p(-17) a multiple of 25?
False
Let r = -16 - 49. Is 10 a factor of ((-1352)/r)/(1/5)?
False
Suppose w - 17 + 7 = -5*z, 0 = -4*z + 2*w - 6. Let c be 2103/(-27) + z/(-9). Let p = 92 + c. Is p a multiple of 3?
False
Suppose 76*h - 80*h = -28. Suppose 0 = h*d - 2154 - 821. Does 25 divide d?
True
Suppose 19034 + 24346 = 2*w - 6712. Is w a multiple of 65?
False
Suppose 4*y + 4*d - 20 = 0, 3*y - 3*d - 30 = y. Suppose -y*a + a + 2592 = 0. Is 36 a factor of a?
True
Let t = 22 - 20. Suppose t*c = 3*z + 14 + 51, 75 = 2*c - 5*z. Suppose 4*k = a + 288, -c - 119 = -2*k - 3*a. Is k a multiple of 21?
False
Let p(l) = -24*l + 10. Let j be p(5). Let f = j - -154. Does 7 divide f?
False
Let a be -17 + 19 - (3 + -1 - 0). Suppose -3*o + 9*o - 18 = a. Suppose -o*l = 5*n - 430, 5*l + 123 = -5*n + 543. Is n a multiple of 32?
False
Let x(b) be the second derivative of -b**5/20 + 5*b**4/6 - 3*b**2 + 12*b. Is 6 a factor of x(6)?
True
Let s(w) be the second derivative of w**4/3 + 3*w**3 + 57*w. Does 35 divide s(-11)?
False
Let x(o) = 31*o + 3615. Let z be x(0). Is z/20 - ((-20)/16)/5 a multiple of 9?
False
Let q(w) = 3*w**3 + 19*w**2 + 186*w - 2716. Is q(13) a multiple of 16?
True
Let n be (14 - 2)*(-1)/(-4). Suppose -4*r = 17 + n. Let l = 61 + r. Is l a multiple of 9?
False
Let x be 252/1*(-126)/(-49). Suppose -z - x = -9*z. Does 9 divide z?
True
Suppose 5*k + 5*d - 1460 = 0, -4*k + 7*k - d - 868 = 0. Suppose -16*x + 6*x = -k. Suppose -o - 14 = -x. Does 5 divide o?
True
Suppose -2*p - 3*a + 144 = -0*p, 4*a + 308 = 4*p. Let j = 104 - p. Let r = 47 - j. Does 9 divide r?
True
Let v = 26 + -22. Let y be (5 - (-5 + 10)) + 1*v. Suppose -2*l - 83 = -y*g + 3*l, 0 = -2*g - 4*l + 22. Is g a multiple of 17?
True
Suppose -5*y + 133 = 53. Suppose 0 = s + y*w - 13*w - 106, -4*s + 354 = -2*w. Is s a multiple of 68?
False
Let a(s) = 13*s + 145. Let b be a(-11). Suppose -4*f + 247 + 385 = 2*p, 0 = -2*p + b*f + 608. Is 28 a factor of p?
True
Let u be 36/10 - (-18)/45. Suppose u*n - 4*s - 428 = -s, 0 = 4*n - s - 436. Is n a multiple of 11?
True
Let c(x) = x + 25. Let w be c(-14). Suppose 4*j + 4*v = 1448, w*j + 3*v - 1446 = 7*j. Does 45 divide j?
True
Let m be 1/(-2)*(-7 + -33). Suppose 9*t = m*t - 11209. Is t a multiple of 10?
False
Let g(z) = -z**3 - 8*z**2 + 23*z - 16. Suppose 4*l = -5*w - 48, -2*l + 36 = -5*w - 30. Let y be g(w). Suppose 8*u = y + 44. Is u a multiple of 18?
False
Is 2496459/106*(-18)/(-27) a multiple of 24?
False
Suppose 0 = 2*n + 753*c - 758*c - 27092, n + 5*c - 13516 = 0. Does 144 divide n?
True
Let p(b) = 2*b + 12. Let m be p(-4). Suppose -r = -2 + m, 2*j = -5*r + 1730. Suppose -4*h = -5*y - 5*h + j, 3*h = 4*y - 715. Is 35 a factor of y?
True
Let s(j) = j**3 + 8*j**2 - 81*j + 19. Is s(11) a multiple of 73?
False
Let p be 5/(5/94) - 3. Let r = p - 46. Suppose 3*i = a + r, -4*i = 3*a - 75 + 2. Does 16 divide i?
True
Let i(v) = 28*v**3 - v**2 + v. Let c be i(1). Suppose -4*w + c = 3*a, 2*w = -w + 3*a. Suppose -w*j = 5*g - 255, -4*g + 312 = -4*j + 9*j. Is j a multiple of 12?
True
Suppose -14 = -11*y + 19. Suppose 2*j + 4*g = 336, -5*j + 327 = -y*j - 5*g. Suppose -10 + j = 2*o. Is o a multiple of 11?
False
Suppose -2*f + 1153 = 5*p, -5*f = -f + 5*p - 2321. Let g = f + -134. Is 18 a factor of g?
True
Is ((-10)/(-24) + 5/20)*290556/168 a multiple of 63?
False
Let k(h) be the third derivative of -12*h**2 + 7/6*h**3 + 0*h + 5/24*h**4 + 7/10*h**5 + 0. Is 34 a factor of k(-2)?
False
Is 214 a factor of 1207360/640*(-36)/(-7)?
False
Suppose 4*v = 3*q - v - 138, -4*v = 2*q - 70. Let o = 4 + q. Is 12 a factor of 15*4/3*378/o?
True
Let q(w) = -2*w + 3*w - w + w - 1. Let c be q(9). Let o = c - -14. Does 2 divide o?
True
Let h = 42 + -13. Let i = -24 + h. Suppose r + i = 21. Does 16 divide r?
True
Suppose 5*t - 72 = -4*h, 50 = 4*h - t - 22. Suppose -16*y = -h*y + 532. Is y a multiple of 7?
True
Suppose -4*f + 2787 = 915. Suppose -z - 2*v + f = -117, -3*z + 5*v + 1700 = 0. Does 23 divide z?
True
Let g(u) = -5*u**2 - 4*u + 9. Let c be g(-5). Let o = c - -98. Suppose -y + o*r - 6*r = -200, 4*y - 5*r - 695 = 0. Is y a multiple of 10?
True
Let k be (6/(-24))/((-3)/24). Let u(v) = v**3 - 12*v**2 - k*v**3 - 246*v - 15 + 255*v. Does 7 divide u(-13)?
False
Suppose 30*x - 52 = 28*x. Let w = 36 - x. Suppose 0 = -w*p + p + 81. Is 9 a factor of p?
True
Suppose -49*x = -232554 - 213581 + 78194. Is x a multiple of 6?
False
Let k = 1989 + -1400. Does 38 divide k?
False
Let t = -416 - -895. Let l = -154 + t. Is l a multiple of 25?
True
Suppose f + f - 48 = 4*q, 4*q = 4*f - 100. Let b = 2 + f. Let s = 48 - b. Is 10 a factor of s?
True
Suppose 0 = 66*x - 63*x - 4*q - 2550, 11*x = -5*q + 9291. Is x a multiple of 91?
False
Let q = -13 - -11. Does 22 divide -10*(q + 0)*385/14?
True
Let x(l) = 377*l**2 + 25*l - 47. Does 36 divide x(-7)?
False
Let i be (2 - (-83)/3)/(5/15). Suppose 0 = 3*p - 2*d - 235, -4*d + i = p - 2*d. Let v = p + -15. Does 33 divide v?
True
Suppose 35*z = 50 + 265. Suppose -z*p + 2*p = -714. Is 82 a factor of p?
False
Let m be 125/(-9) + (-185)/45 + 4. Is 708*((-4)/m + (-1)/(-21)) a multiple of 10?
False
Let z = 40 - 42. Is 12 a factor of (-1276)/(-2) + z/((-34)/51)?
False
Suppose 0 = -21*l + 3*w + 182793, 3*l - 27176 = 2*w - 1069. Is 22 a factor of l?
False
Suppose 53 + 4 = 19*z. Let i(a) = -16*a + 66. Does 3 divide i(z)?
True
Does 146 divide (61540/(-272))/((-10)/672) - -5?
False
Is 87 + (-6)/(-21)*21 a multiple of 9?
False
Let b = 135 - 143. Let a(l) = 9*l - 8. Let n(z) = 72*z - 63. Let x(u) = -33*a(u) + 4*n(u). Is x(b) a multiple of 17?
False
Let n(o) = -2*o**3 + o**2 + 11*o - 3*o**2 - o**2 - 2*o**2 + 23*o. Is n(-9) a multiple of 9?
True
Suppose 13*d - 25 = 8*d.