. Is c a multiple of 19?
False
Suppose 58 = 4*c + 2*i - 0*i, -2*i + 32 = 2*c. Let s(z) = z**2 - 12*z - 8. Let y be s(c). Suppose 2*l + 42 = r, -r + 7 + 14 = y*l. Is 12 a factor of r?
True
Suppose 0 = 3*b + 3*k - 5*k + 410, -5*b + k - 695 = 0. Let t = -97 - b. Does 7 divide t?
False
Let f = -75 - -123. Suppose r = -r + f. Is 6 a factor of r?
True
Let z = -48 - -51. Suppose -d + 86 = z*r - 113, -175 = -d + 3*r. Is d a multiple of 11?
True
Let o(u) = 2*u**3 - u**2 - u + 1. Let p be o(1). Let v be (-1 + (-24)/4)*p. Is 29 a factor of 14/(-49) + (-793)/v?
False
Suppose 3*k = 4*h + 4 + 10, -4 = -3*k - h. Let n(g) = -9 + 1 - g**3 + 4 + 7*g + 4*g**k + 5. Is 10 a factor of n(5)?
False
Let n = -1 + -1. Let k be (-3)/n*(-20)/30. Is (22 - 2) + k + 3 a multiple of 11?
True
Let j = -2 + 4. Suppose -p = 3*y + 159, -j*y - 2*p + 0*p = 110. Let t = -18 - y. Is t a multiple of 17?
True
Suppose 744 = -5*j + j. Let t = 318 + j. Does 31 divide t?
False
Let q(p) = p**3 + 8*p**2 + 5*p - 12. Is 11 a factor of q(-5)?
False
Suppose 0 = -12*u + 7*u + 545. Is 33 a factor of -2 - 1 - u/(-1)?
False
Let y(t) = 45*t - 54. Is 31 a factor of y(4)?
False
Let w = -23 + 31. Let c(q) = -q**2 + 11*q - 17. Let f be c(w). Suppose -3*d = -f*d + 116. Is d a multiple of 11?
False
Is 24/30 - 14376/(-30) a multiple of 15?
True
Suppose 8*b + 7*b = 420. Does 9 divide b?
False
Let g be 3/2*(328/(-3) + 0). Let c = -128 - g. Does 12 divide c?
True
Let v be (0 - -7) + 7 + -6. Suppose v*g = 133 + 67. Is g a multiple of 6?
False
Suppose -k = -2*d + 426, k = -d + 150 + 60. Is 28 a factor of d?
False
Suppose 2 = -p - 0*p + 4*l, -5*p + 22 = -4*l. Let s = p + -4. Suppose 0 = -s*r + r + 28. Does 7 divide r?
True
Let y(g) = 5*g + 4. Let r(l) = -6*l - 5. Let w(x) = 6*r(x) + 7*y(x). Let s be w(-7). Suppose -4*h = -s*h + 3. Is 3 a factor of h?
True
Suppose -20 = -4*l + 3*q, 2*l + 4*q + 8 = q. Suppose -3*b + 845 = l*b. Suppose -7*f = -b - 20. Is f a multiple of 9?
True
Let j(i) = -i**3 + i**2 - i + 23. Let f be j(0). Suppose -8 + f = -h. Is ((-10)/h)/(2/51) a multiple of 7?
False
Let m = -10 + 6. Let r be 10/m*(-24)/30. Suppose -r*n + 14 = -n. Is 8 a factor of n?
False
Let h = 76 - 11. Suppose 4*g - h = -g. Is g even?
False
Let v = 49 - 60. Is -4 + 3141/33 + 2/v a multiple of 52?
False
Let u = 129 - 50. Let q = -27 + u. Suppose -5*n = -q - 88. Is n a multiple of 8?
False
Let s = 752 + 10. Is s a multiple of 19?
False
Is 29 a factor of 33 - (1 + 2 + (2 - 1))?
True
Suppose 0 = -5*r + 2*v + 100, -3*r + 93 = r + v. Suppose -4*t - 5*w + 249 = 0, -4*t - 3*w = -225 - r. Let q = 89 - t. Is 14 a factor of q?
True
Let j = 483 + -403. Is j a multiple of 16?
True
Let a = 5152 - 2992. Does 15 divide a?
True
Suppose 25*n - 24360 = 4*n. Is 29 a factor of n?
True
Suppose -2*d + 29 + 79 = 0. Suppose -4*m + 128 = 3*b, 2*m = -4*b + 130 + d. Does 12 divide b?
True
Suppose x - 4*l = -x + 132, -3*x + 4*l + 192 = 0. Is x a multiple of 5?
True
Suppose -3*p - 4 = 5*j, 5*j + 10 - 2 = -p. Suppose -5*n - 29 = 4*q - 108, -p*q - 3*n = -39. Is 21 a factor of q?
True
Suppose -16*v + 17*v - 3 = 0. Suppose -85 - 2 = -v*j. Does 6 divide j?
False
Suppose 35*m - 51*m = -32800. Is 25 a factor of m?
True
Suppose 4*d + 6*r = 3*r + 28, 3*d = -5*r + 21. Suppose -2*z + 3 + 7 = 0. Suppose -z*p - 30 = -d*p. Is 9 a factor of p?
False
Let j(t) = 4*t + 4*t - 16*t + 3*t + 5. Suppose 3*g - 2*o - 46 = 7*g, 0 = o - 5. Is j(g) a multiple of 15?
True
Suppose w + 63 = 4*w. Let a = w + -23. Is 5 a factor of (77/14)/((-1)/a)?
False
Let j(c) = c**3 + 12*c**2 - 2*c + 16. Let x be 8/(-40) - 32/(-10). Suppose -x*l - 57 = 4*f, 2 = -l - 1. Does 11 divide j(f)?
False
Let o be (-507)/(-13)*16/(-3). Does 26 divide 10/4*2/(-5)*o?
True
Let p be 4/(-7 - -3) + 4. Suppose f = -f + 4*u + 32, -2*u + 48 = p*f. Is 8 a factor of f/(-32) + 102/4?
False
Suppose 2*j = 3*q + 1353, 4*j - 4*q = j + 2028. Is 16 a factor of j?
True
Suppose -4*n - j = -0*j + 32, -j = 0. Does 16 divide (-11)/44 + (-178)/n?
False
Let l be (0/1)/(-4) + 2. Suppose -4*h = 5*t + 27, 0*t - 12 = l*t + 2*h. Let b(m) = m**3 + 3*m**2 - 2*m - 1. Does 5 divide b(t)?
True
Is 590 - (62 + -6)/7 a multiple of 3?
True
Suppose 14137 - 4067 = 19*z. Is 5 a factor of z?
True
Let z(a) = -17*a - 2. Does 5 divide z(-6)?
True
Let a be 4/(-8)*6 - -5 - -37. Suppose 14*m = 11*m + a. Is 9 a factor of m?
False
Let t = -19 + -15. Let c = 129 - 78. Let v = t + c. Is 17 a factor of v?
True
Let z be 1 + 2 - (230 + -2). Let j = 15 - z. Is j a multiple of 12?
True
Suppose 14*c - 10*c = 16. Suppose -4*a = -t - 0*t + 25, -3*a = t - c. Is 13 a factor of t?
True
Suppose 46*u - 17150 = 36*u. Is 79 a factor of u?
False
Let g(h) = h**2 - 9*h - 4. Let x be g(7). Is (9/(-2))/(x/24) a multiple of 2?
True
Let b(n) = -2*n**2 + 109*n + 4. Is 28 a factor of b(42)?
False
Suppose -5*i = -7*i + 2, 5*m - 8416 = -i. Is m a multiple of 11?
True
Suppose 4*f = -2*q - 0*f + 6, 5*q - 29 = -3*f. Suppose -2*m - 700 = -q*m. Does 35 divide m?
True
Does 19 divide (-1)/((-3553)/4732 + (-3)/(-4))?
False
Let g(k) = k**2 + 9*k + 15. Let z be g(-6). Let j(o) = -8*o - 4. Does 5 divide j(z)?
True
Let g be (-2 + 1)*(-2 - 3). Suppose -2*i - i + 132 = -2*h, 2*i - g*h - 88 = 0. Is 5 a factor of i?
False
Suppose -5*t = l - 11, 4*t + 25 = -4*l + 7*t. Let k(s) be the first derivative of s**4/4 + 4*s**3/3 - 5*s**2/2 + 3*s + 28. Is k(l) a multiple of 9?
False
Suppose 3*y - 3*j + 5*j - 319 = 0, 410 = 4*y - 5*j. Does 3 divide y?
True
Let g(r) = 3*r**3 - 6*r**2 + 19*r - 13. Is g(6) a multiple of 47?
False
Suppose 5*l = -2*i - 15, 3*l + 8 = -0*l - i. Let w(u) = -16*u - 6. Is w(l) even?
True
Suppose -3*t - 3*l = -33, -t + 5*l + 4 + 7 = 0. Suppose t*a = -a + 84. Is a a multiple of 7?
True
Suppose -8*j + 85 = -7*j. Is j a multiple of 7?
False
Let o = 51 - 26. Suppose x = 3*u + 10, 2*x - 3*u - 2*u - 21 = 0. Let l = o - x. Is l a multiple of 12?
True
Is 156*(42/(-9) + 5) a multiple of 38?
False
Suppose 0 = -60*u + 55*u + 1485. Is u a multiple of 29?
False
Is -1 - -9 - 45356/(-68) a multiple of 135?
True
Let p = -49 - -35. Is -2*7/(p/180) a multiple of 12?
True
Let p(f) = -5 + f + f**2 + f**2 - 19*f**3 - 3*f + 13*f**3. Is p(-2) a multiple of 11?
True
Suppose -309 = -4*h - 29. Suppose -212 = 4*p - 4*w, h = -3*p + 4*w - 89. Does 13 divide 2/(-8) - p/4?
True
Does 12 divide (36/5)/(-13*6/(-2730))?
True
Suppose 2*v - 2*q - 12 = 0, 3*q - 12 = -3*v - 0*q. Suppose 0 = -4*g - 0*t - 3*t + 9, -g + v*t + 8 = 0. Is 10 a factor of ((-20)/g)/((-6)/9)?
True
Is 10 a factor of 30/(-345) - 77060/(-115)?
True
Suppose -16 - 16 = -4*i. Let s(n) = n**2 - 6*n - 8. Let c be s(i). Let x = c + -2. Is 3 a factor of x?
True
Let u(y) = 3*y + 3. Let w be u(-1). Suppose w*s + 6*s = 528. Is s a multiple of 22?
True
Let s(v) = 24*v + 348. Does 22 divide s(18)?
False
Let s be 25/(-2)*(-1558)/205. Suppose 3 = 5*l - 7. Suppose -l*x = 3*x - s. Is x a multiple of 5?
False
Let k(h) = h**3 + 3*h**2 - 6*h - 1. Let a be k(-4). Does 11 divide (145/(-10) + a)/((-3)/16)?
False
Let u(t) = 10*t. Let d be u(3). Let z = d - -24. Is 18 a factor of z?
True
Let c = -2720 - -3988. Does 15 divide c?
False
Let o = 3 + -2. Suppose 2*w + 4*s - 4 = 0, -5*w + 8*s = 4*s - 38. Is 3 + o - w/(-3) a multiple of 3?
True
Suppose -4*v = o - 28 - 21, -3*v - 4*o + 40 = 0. Is 6 a factor of (1 - 4) + 24/8 + v?
True
Let y = -87 - -264. Suppose 0 = -6*a + y + 15. Is 14 a factor of a?
False
Let g be (20/6)/(3/18*-4). Let o(h) = -12*h + 2. Does 21 divide o(g)?
False
Suppose -19*c + 15 = -16*c. Is 0 - -303 - (2 - c)*1 a multiple of 46?
False
Let i = 127 - -318. Is 63 a factor of i?
False
Let k be (-57)/19*(-10)/(-6). Does 29 divide (464/(-10))/2*k?
True
Let p = -421 - -718. Let i = -170 + p. Is i a multiple of 30?
False
Suppose -4*v = 5*r + 199 - 609, 249 = 3*r + 3*v. Let h = 93 - r. Is h a multiple of 2?
False
Let j = -14 - -17. Suppose 2*c = -4*o - 148, -4*c - 152 = 7*o - j*o. Is 2/(-9) + (-872)/o a multiple of 24?
True
Let q be (-9191)/(-35) + 6/(-10). Suppose -5*x + q = 77. Is x a multiple of 36?
False
Let b be 52/(-10)*(14 + -49). Let p = b - 107. Is p a multiple of 9?
False
Suppose -2412 = -67*z + 31*z. Is z a multiple of 5?
False
Let k = 7 + -11. Let x(y) = -6*y - 1. Does 10 divide x(k)?
False
Let d(g) = 14*g + 11. Let c(x) = -41*x - 32. Let k(q) = -3*c(q) - 8*d