 q - -28. Is 21 a factor of i?
True
Suppose -4*q = 4*q - 16. Let o be 2/3 - 136/(-12). Let b = o + q. Is b a multiple of 7?
True
Suppose -18*a + 16*a - 10 = 0. Let d(z) = -15*z - 1. Is d(a) a multiple of 26?
False
Suppose 14*n - 13*n - 9 = 0. Let j(d) = -5*d + 1 - d - n*d + 2*d. Is 7 a factor of j(-1)?
True
Is 203/35*5*85 a multiple of 29?
True
Let c be 5/((-2)/(-3) + (-8)/(-24)). Suppose 4*z = -3*v + 165, -v + 36 = -c*z - 0*z. Is 7 a factor of v?
False
Suppose 0*j = 5*j + 445. Is (-10)/(3 - -2) - j a multiple of 19?
False
Suppose 15 = 24*v - 3537. Is 17 a factor of v?
False
Suppose a = -2*j + 155, -5*a - 3*j + 428 = -368. Is 2 a factor of a?
False
Let v be 5/((-20)/36)*1/(-1). Let q = 21 + v. Is q a multiple of 15?
True
Let s(h) be the second derivative of 47*h**4/6 + h**2/2 - 5*h - 2. Is s(-1) a multiple of 7?
False
Let s(w) = w**2 + w - 1. Let y be s(-4). Let k(m) = -3*m - 17. Let i(t) = 2*t + 16. Let x(o) = -5*i(o) - 4*k(o). Is x(y) a multiple of 7?
False
Let n be (1 - 2 - 1) + 14. Let b be (-2)/n + (-3383)/(-102). Let a = b + 47. Is a a multiple of 16?
True
Let s be (8/6)/((-26)/(-39)). Suppose -4*f + 108 = s*f. Suppose 62 = 4*g - 5*d, -11 = -3*g - 5*d + f. Does 7 divide g?
False
Does 34 divide 432 - -2*(5/10 + 2)?
False
Is 261/18*16 - -3 a multiple of 47?
True
Suppose -9 = 14*l - 5*l. Suppose -u + 4*u - 12 = 0. Is 11 a factor of -2*22*l/u?
True
Let n = -11 - -13. Suppose -2*q - d = -7*q + 24, 0 = 4*q - n*d - 24. Suppose 3*p = 6*p + q*z - 38, -4*p - 1 = -5*z. Is p even?
True
Is 22 a factor of 158300/225 + 8/18?
True
Suppose -500 = 9*z - 13*z. Does 9 divide z?
False
Let r be 1*-5*1*35/(-35). Suppose 4*s + 31 = r*s. Is s a multiple of 4?
False
Suppose 3*i = -39 + 552. Let a = 59 - 24. Suppose i = 4*y + a. Is 15 a factor of y?
False
Let b(x) = 5*x**2 - 12*x - 2. Does 10 divide b(9)?
False
Suppose 0 = 2*b - 5*b + 5*k + 1695, -3*b + 3*k + 1701 = 0. Does 57 divide b?
True
Let a = -531 - -945. Suppose 3*m + 3*z - a = 0, z - 2*z = 5*m - 698. Is 10 a factor of m?
True
Suppose 4*m = m + 9. Suppose -5*a - 3*f + 726 = -15, 0 = 3*a - m*f - 435. Does 32 divide a?
False
Let j be (1 + 0)*(11 - 10). Is 4 a factor of 3/(j - 3/4)?
True
Let v be 14 + -3 - (3 - 2). Suppose 0 = 4*r - v*r + 126. Is r a multiple of 7?
True
Let x(o) = -34*o - 39. Let c(m) = -11*m - 13. Let r(u) = -17*c(u) + 6*x(u). Is r(-5) a multiple of 24?
True
Suppose 341 = 2*u - s, 5*s = -5*u - 109 + 924. Is 8 a factor of u?
True
Let v = 25 + -35. Let a be (0 + -2)*v/(-4). Does 10 divide (35 + a)*(-2)/(-3)?
True
Let w be (-2)/6 - (-276)/(-9). Let l = -17 - w. Does 14 divide l?
True
Let l be 2*((-1 - 4) + 4). Let m(d) = 4*d**3 + 33*d**2 - 17*d - 9. Let i(j) = j**3 + 8*j**2 - 4*j - 2. Let r(o) = l*m(o) + 9*i(o). Is r(-6) a multiple of 12?
True
Let x(f) = 2*f**2 + 1. Suppose 5 = -i + 2*b, -3*b + 8*b - 14 = 4*i. Let h be x(i). Suppose 0*d - 5*d = 5*c, -2*c - d = -h. Is c even?
False
Suppose -6*w = -5*w - 2. Suppose 0*o = -w*o. Suppose 4*v - 16 - 64 = o. Is 5 a factor of v?
True
Let k(p) = -p**2 - 7*p - 1. Let u be k(-6). Suppose u*l - 361 - 159 = 0. Does 11 divide l?
False
Let d(w) = 6*w**2 + 4*w + 20. Is d(4) a multiple of 6?
True
Let r be (-1)/(-2) + 3/2. Suppose r*l = -l + 63. Is 5 a factor of (20/(-6))/((-2)/l)?
True
Let c(f) = -40*f + 170. Is c(-7) a multiple of 75?
True
Let j = 1399 - 862. Is 35 a factor of j?
False
Let a = -6 + 11. Suppose 3*f = 5*v + 32, a*v = 4*v - f. Let d = v + 11. Is d even?
False
Let q be ((-1164)/(-18))/(4/6) + -3. Let d be 3*2/(-4)*-2. Suppose d*p = 86 + q. Is p a multiple of 14?
False
Let s = 627 - 406. Is s a multiple of 13?
True
Let f = 220 - 94. Suppose 9*t = 7*t + f. Suppose z + t = 6*r - 3*r, 3 = z. Is r a multiple of 19?
False
Suppose -g - 8 = -10. Suppose 0 = 2*h + g*a - 258, h - 3*a - 47 - 82 = 0. Is h a multiple of 27?
False
Let d = 3 + 11. Let z be (-524)/(-28) - (-4)/d. Suppose -6 = -f + z. Is 15 a factor of f?
False
Let b = -400 + 561. Does 5 divide b?
False
Let x(m) = -33*m + 19. Let n be x(-6). Suppose 4*z - 171 = n. Is z a multiple of 9?
False
Suppose -5*k - 221 = -y, 2*y + 3*k - 875 + 368 = 0. Is y a multiple of 41?
True
Is ((-18)/(-3))/1 + 342 a multiple of 58?
True
Let g be (-4)/(-6)*(-54)/(-4). Suppose 0 = 3*k + 4*j + 3, j + 0*j - g = -4*k. Suppose 2*f - 5*b = 254, -2*f + 635 = k*f - 3*b. Does 36 divide f?
False
Suppose 0 = -4*m + 3*v - 114, 32 = -m + v - 2*v. Let p be ((-20)/m)/((-2)/6). Is (-6)/p - 10*-3 a multiple of 11?
True
Let b(z) = z - 4. Let m be b(9). Suppose -m = 5*l - 6*l. Is l a multiple of 2?
False
Suppose 4*t + 2*q = 580, t + q = 32 + 113. Let x = t - 63. Is x a multiple of 12?
False
Let d = -234 + -95. Let w = 553 + d. Suppose k - 5*k + w = 0. Does 8 divide k?
True
Suppose -4*q + 1410 = 450. Is 16 a factor of q?
True
Let l = 95 + -70. Suppose -p = -l - 16. Is 7 a factor of p?
False
Let d = 1098 - 690. Is 7 a factor of d?
False
Suppose 9*i - 363 = 258. Is 2 a factor of i?
False
Let a be 2/4 + (-31)/(-2). Suppose a = -4*j, 3*k - k - 6 = -j. Suppose -5*s = -k*h, 5*h - 3*s + 5 - 15 = 0. Does 4 divide h?
False
Let r(p) = p**3 - 5*p**2 + 2*p. Let y = 1 + 4. Let u be r(y). Suppose -4*k - u + 34 = 0. Is k a multiple of 4?
False
Let d(n) = -n**2 - 9*n - 4. Let y be d(-8). Suppose -3*o - 7*k = -3*k - 148, -k = -y. Suppose q = -37 + o. Does 5 divide q?
False
Let t = 70 - 68. Suppose -d - t*d + 5*c + 23 = 0, -2*d + 12 = -5*c. Does 11 divide d?
True
Let a = -23 + 18. Does 20 divide -249*(a/15 - 0)?
False
Suppose 10 + 8 = t - 3*c, 0 = -4*t - 2*c + 2. Suppose 2*k + 102 = 2*u, -4*k - 214 = -t*u - 57. Is 7 a factor of u?
False
Suppose 5*l + 3145 = 3*b, -5*b + 6*l + 5180 = 10*l. Is b a multiple of 10?
True
Suppose 112*f + 2167 = 123*f. Is f a multiple of 47?
False
Let b = -218 + 119. Is b/(-4) - 4/(-16) - 0 a multiple of 6?
False
Suppose -4*h - 3*s = 2*s + 16, -5*h = -5*s + 65. Let n(p) = p**3 + 8*p**2 - 9*p - 5. Let a be n(h). Is a/(-20) + 155/4 a multiple of 13?
True
Let t(i) = -17*i - i**2 - 23 + 18 + 15. Is t(-14) a multiple of 13?
True
Suppose y + n - 59 = 0, 0*y = 3*y - 5*n - 153. Suppose 2*b - y = 8. Is b a multiple of 16?
True
Suppose -864 = -3*k + 12. Suppose -k = -6*y + 38. Does 11 divide y?
True
Let q be 6/(-9) - (-179)/3. Let l = q + -45. Is l a multiple of 5?
False
Let l(c) = 2*c**3 + 47*c**2 - 5*c - 37. Is 37 a factor of l(-14)?
False
Suppose -3*n + 15 + 0 = f, 0 = f - 2*n. Let g(r) = -r**2 + 8*r - 11. Let q be g(5). Let s = q + f. Is s a multiple of 5?
True
Suppose 6 = k - 3. Let v = 14 - k. Let c = v + 1. Is 6 a factor of c?
True
Suppose 4 = 2*u + 2*f - 56, -3*u + 87 = 2*f. Let r = u + 37. Is 32 a factor of r?
True
Suppose -4*x + 12356 = 4*k, -k + 21*x = 20*x - 3089. Is k a multiple of 29?
False
Suppose y + 3*s = -5 + 8, y + 5*s + 1 = 0. Is 2 a factor of y?
False
Suppose 35 = 2*d + 5*d. Suppose -25 = -5*x + d*p, -x + 10 = -5*p + 17. Does 8 divide x?
True
Let p(o) = o**3 - 8*o**2 + 3*o - 10. Let b be p(8). Let u(f) = 1 - 5 - b*f + 2 - 2. Is u(-2) a multiple of 6?
True
Suppose -6*h - 4 = -4*h. Let o(g) = -5*g**2 - 3*g + 1. Let p be o(-3). Is p/(-10)*(4 + h) a multiple of 2?
False
Let z be (-2)/14 - (-8640)/210. Let t = z + -21. Is 2 a factor of t?
True
Let c(a) = a**3 + 18*a**2 + 14*a - 18. Let b = 27 - 44. Is c(b) a multiple of 11?
True
Suppose 2*d + 19 = 3*k, 19 = -k + 5*d + 47. Suppose -4*r + 37 = -k. Suppose -4*b + 66 = -r. Is 19 a factor of b?
True
Let v(r) = 134 + 11*r + 2*r - 55 - r. Is 36 a factor of v(10)?
False
Let c = -126 + 95. Let d(u) = 47*u**3 + u**2 - 1. Let s be d(1). Let i = s + c. Does 8 divide i?
True
Suppose -4*w = -3*w + 2*r - 368, 352 = w - 2*r. Does 45 divide w?
True
Suppose 2*j + 717 = 1437. Does 5 divide j?
True
Let u = 308 - 216. Is u a multiple of 46?
True
Let p(n) = n**2 - n - 1. Let i be p(-2). Suppose 2*r = -i*w + 244, 2*r - 2*w - 2*w - 226 = 0. Is 9 a factor of r?
True
Suppose 2*k = 3*b + 216, k + 4*b - 29 = 90. Is 3 a factor of k?
True
Let r be (4/(-22) - 126/154)*-30. Is (-4)/10 + (1902/r - 1) a multiple of 32?
False
Let z(j) = 4*j**2 - 31*j - 20. Does 15 divide z(14)?
True
Let z(a) be the second derivative of a**4/12 - 11*a**3/6 + 8*a**2 - 6*a. Is 15 a factor of z(12)?
False
Let w(c) be the second derivative of -7*c**3/3 + c**2/2 + 3*c. Let u = 58 + -62. Does 15 divide w(u)?
False
Let f(g) = -9