i = -15. Is 20 a factor of v?
True
Suppose -23*k + 30*k = 13608. Is k a multiple of 12?
True
Let m = 4 + -4. Suppose -2*d = z - 3*z + 54, -4*z - d + 93 = m. Does 4 divide z?
True
Suppose -8 = -h - 5. Let g(a) = 5*a**2 + 5*a**2 - 6*a**2 - h - 5*a. Does 15 divide g(5)?
False
Suppose -36*l = -22*l - 462. Does 11 divide l?
True
Let c be (-8562)/16 - (36/(-32) + 1). Is 8 a factor of (4 + c/10)*-2?
False
Suppose 32*m - 15*m = 1088. Does 2 divide m?
True
Let v = -57 - -91. Let s(j) = 3*j + 17. Let y be s(-14). Let d = v + y. Does 9 divide d?
True
Suppose 2325 = 4*p + 929. Does 26 divide p?
False
Let c(q) = -118*q - 17. Is 9 a factor of c(-3)?
False
Does 13 divide ((-58)/4)/(28/(-952))?
False
Let p be (1 - 3) + -3 + -5. Suppose 3*n + d - 42 = 0, 0 = -3*d + 4*d. Is 8 a factor of p/(-35) - (-108)/n?
True
Let c(r) = -r**2 - 2*r + 181. Let z be c(0). Suppose -2*f + 95 = -z. Does 36 divide f?
False
Suppose -21 = -5*r + b, 0*r - r - 3*b + 1 = 0. Suppose x = 3*x - k - 17, 0 = 3*x - r*k - 38. Is 6 a factor of x?
True
Let z(j) = -2*j**2 + 14 - 3 + 2 + 49*j + 18. Is 19 a factor of z(24)?
False
Suppose -15*q - 26 = -14*q. Let x = q - -29. Suppose 0 = 4*a - 16, 5*s + x*a + 0*a - 132 = 0. Is s a multiple of 24?
True
Suppose -664*f = -659*f - 5280. Is 33 a factor of f?
True
Does 61 divide (27 - -2)*((-63)/(-7) - -5)?
False
Let t = 48 + -48. Let f(l) = -l**3 + 2*l**2 + 111. Is f(t) a multiple of 17?
False
Suppose 0 = 6*h - 408 - 5964. Is h a multiple of 22?
False
Suppose t - 304 = 4*z, 0 = -2*t + t - 2*z + 280. Is t a multiple of 12?
True
Suppose -4*d = -t - 3348, -t = d - 550 - 282. Does 15 divide d?
False
Let g(i) = -395*i + 83. Is 28 a factor of g(-1)?
False
Suppose -49 = 5*i + 3*f - 2*f, 2*f + 18 = -2*i. Let c(j) = j**3 + 9*j**2 - 13*j - 4. Let p be c(i). Suppose 5*w = -x + p, w - 22 - 24 = -x. Does 17 divide x?
True
Let y(p) = 7*p**2 + 24*p + 2. Is y(-11) a multiple of 13?
True
Suppose 67 = 3*g + 5*h - 3, -2*h - 96 = -5*g. Suppose 4*v + g = 0, 4*o - 4 = -5*v - 21. Suppose 5*l + 5*d = 105, -o*l + 4*d + 29 = -25. Is 15 a factor of l?
False
Let s(r) = r**2 - 4*r - 30. Let x be s(-13). Let i = x - 15. Is 11 a factor of i?
True
Suppose -3*r + 7*p + 3753 = 4*p, 3*r - 3732 = -4*p. Does 104 divide r?
True
Let w be (-48)/(-21) + 10/(-35). Suppose f = -m + 48, -f + w = f. Does 11 divide m?
False
Is (16 - 15)/(996/(-333) - -3) even?
False
Suppose 0 = 3*q - 23 - 4. Let w(i) = i**3 - 7*i**2 - 11*i - 13. Let t be w(q). Suppose 6*p - t = p. Is p a multiple of 10?
True
Let u = 18 - 19. Let k be u*3 - (2 + 5). Is (-4)/k + 416/10 a multiple of 14?
True
Suppose -3*y + 2*n = -n - 87, 3*y = 5*n + 97. Is y a multiple of 6?
True
Let f(g) = 12*g**2 + 95*g - 32. Is 45 a factor of f(-16)?
False
Suppose 7*q - 3*q + 108 = 0. Let x = -22 - q. Is x a multiple of 5?
True
Let m(z) = -5*z**2 + 3*z**2 - z + 4*z**2 - 1 - z**3. Let a be m(3). Let k = a + 22. Is 9 a factor of k?
True
Let s = -20 - -235. Suppose 0*w + s = 5*w. Let l = w - 21. Is l a multiple of 22?
True
Does 14 divide 196/(-56)*((-2)/(-2) - 9)?
True
Let v = -21 - -23. Let x be (v*-5)/(3 + -1). Let w = 62 - x. Does 22 divide w?
False
Let a(r) = -2*r**3 + 29*r**2 + 40*r - 4. Is a(14) a multiple of 21?
False
Let u(m) = 11*m - 9. Let j be u(11). Suppose 3*n + j - 1 = 0. Let i = n - -66. Is i a multiple of 12?
False
Does 13 divide ((-260)/20)/(2/(-86))?
True
Let f = -2713 + 3818. Suppose -6*i + f = -i. Is 13 a factor of i?
True
Let a(b) = -b**3 - 2*b**2 + 8*b + 22. Is a(-10) a multiple of 14?
True
Let r(y) = -y**3 - 4*y**2 + y + 2. Let j be r(-4). Let c(w) = 28*w**2 - 3*w - 1. Is 6 a factor of c(j)?
False
Suppose -3*w + 2*i = -214, -8*w + 2*i = -6*w - 142. Does 9 divide w?
True
Is 3 a factor of ((-153)/90*-6)/(1/5)?
True
Let c = -8 - -16. Let z = c + -8. Suppose z*y - 5*y = -3*l - 115, 4*y = -2*l + 70. Is 10 a factor of y?
True
Let i(w) = -2*w + 26. Let g be i(9). Suppose -844 = -g*z + 644. Does 12 divide z?
False
Let r = -743 + 1238. Is r a multiple of 55?
True
Let z(n) = 1806*n**2 + 50*n + 49. Is 11 a factor of z(-1)?
False
Let z(c) = 28*c + 4. Let m be z(7). Suppose m = 5*v + d + d, v - 27 = -3*d. Is 6 a factor of v?
True
Let z = 2 - 0. Suppose 7*g = z*g + 55. Suppose -g + 3 = -o. Is o a multiple of 8?
True
Let k(y) = 5*y**3 + 10*y**2 - 12*y - 24. Is 21 a factor of k(6)?
True
Let k(l) = 5*l. Let u be k(-2). Is ((-145)/u)/(1/4) a multiple of 29?
True
Let f(u) = u**3 + 7*u**2 + 5*u - 7. Let g be f(-5). Let v be -1 + -16*3/(-6). Suppose -4*h = -v*h + g. Does 2 divide h?
True
Suppose -54*x - 1659 = -61*x. Does 20 divide x?
False
Let g be ((-5)/2)/((-3)/(-6)). Let y(j) = -j**3 - 5*j**2 - 2*j - 6. Let l be y(g). Suppose 22 = s - 4*m, l*m = 2*m - 6. Does 5 divide s?
True
Let s be -1 + -3 - (0 - 0)/(-8). Is ((-2)/s)/((-8)/(-2976)) a multiple of 10?
False
Let h = 3332 - 880. Is h a multiple of 78?
False
Let x(o) = 37*o**2 - o - 1. Let w be x(-1). Suppose -w - 47 = -k. Is k a multiple of 26?
False
Let m(o) = 13*o**2 + 6*o + 34. Does 63 divide m(-11)?
False
Let a(c) = 13*c + 1. Let i be a(1). Let n = i - 6. Suppose -68 = -4*t + 4*f - n, 0 = -5*t - 5*f + 45. Does 11 divide t?
False
Suppose -2*q + 3*r - 2*r = -15, -5*q + 54 = 3*r. Suppose 185 + 220 = q*m. Does 5 divide m?
True
Suppose -h - 22 = -241. Is 23 a factor of h?
False
Suppose -5*a = 2*a - 35. Suppose -2*t = a - 107. Is 17 a factor of t?
True
Let w(l) = -2*l - 4 + l - 32*l**2 + 7 + 1. Let c be w(-2). Let x = -50 - c. Is 18 a factor of x?
True
Let w be 3/((-12)/(-35)) + (-45)/60. Let x(t) = 4*t - 16. Is 8 a factor of x(w)?
True
Let o = -200 - -322. Is o even?
True
Suppose 6*m = 7*m + 2*t - 883, t + 4470 = 5*m. Is m a multiple of 32?
False
Let f be (-96)/(-18)*222/8. Suppose 4*q - 518 + f = 5*g, -2*g + 86 = q. Is q a multiple of 19?
False
Let m be (-6)/27*-3*3. Suppose -m*n - 29 = -3*n. Let s = 31 + n. Does 15 divide s?
True
Suppose 2461 + 1098 = 5*j - 4*p, 0 = 4*j - 2*p - 2846. Is 51 a factor of j?
False
Suppose 0 = -6*y - 6. Is (-5 + 8)*y + 111 a multiple of 18?
True
Let h = -34 - -17. Let n = 22 + h. Let t(u) = -u**3 + 5*u**2 + 3*u - 7. Is 4 a factor of t(n)?
True
Suppose 135 = 5*q - 10*q. Is q*-22*(-4)/(-8) a multiple of 27?
True
Let h(v) = 21*v + 72. Does 16 divide h(12)?
False
Suppose 882 = 5*q - 203. Is 2/(-3)*(7 - q) a multiple of 20?
True
Suppose -35*p = -11479 + 1399. Does 42 divide p?
False
Let v(a) = 9*a - 289. Let k be v(31). Let m(j) be the third derivative of -j**5/60 - 13*j**4/24 + 3*j**3 + j**2. Is 16 a factor of m(k)?
True
Suppose -2*a + 897 = 795. Is 7 a factor of a?
False
Let v(y) = 5*y + 9. Let x(i) = -4*i - 10. Let z(j) = 5*v(j) + 6*x(j). Let r be z(13). Does 11 divide (r - 6)*(-7)/2?
False
Is 35*(-12)/42*-55 a multiple of 16?
False
Let a(v) = -3*v + 5*v - 3*v. Let c be a(0). Suppose 5*o = -c*n - n + 72, -2*n = 2*o - 160. Is 28 a factor of n?
False
Let k(s) = s**3 - 5*s**2 - 7*s + 9. Suppose 0 = 4*z - 8, -2*z - 4 = -2*v + 2*z. Let c be k(v). Does 16 divide (-129)/(-12)*12/c?
False
Suppose 3*p = 15, -2*p = 4*z + z + 40. Let t(s) = s**3 + 10*s**2 - 4*s + 11. Let g be t(z). Let i = g - 25. Is i a multiple of 14?
False
Let y(h) = -h**3 - 7*h**2 - 4*h + 12. Let d be 30/4*8/(-10). Let k be y(d). Let m = k - -16. Does 16 divide m?
True
Let q(x) = 365*x + 128. Does 13 divide q(2)?
True
Let f(t) = -2*t**3 - 56*t**2 - 29*t - 20. Is 88 a factor of f(-28)?
True
Does 22 divide 3532/6 + -6*(-4)/(-36)?
False
Suppose -168*g - 287 = -169*g. Is g a multiple of 34?
False
Let a = 505 - 271. Is 13 a factor of a?
True
Suppose -5*u = -17*u + 7716. Is 33 a factor of u?
False
Let s(t) = t**3 - 3*t**2 - 2*t + 8. Suppose 23*z = 16*z + 35. Is s(z) a multiple of 12?
True
Suppose -16*z + 4236 = -4*z. Does 38 divide z?
False
Is ((-13)/((-65)/70))/((-4)/(-166)) a multiple of 83?
True
Suppose 20 = 7*t + 6. Suppose -2*v - t*v = -440. Is v a multiple of 22?
True
Let h(s) = 38*s - 3. Let q(u) = -3*u + 2. Let x be q(-1). Is 17 a factor of h(x)?
True
Is 7 a factor of (23/(-5) + 3)/(8/(-1060))?
False
Suppose -u = 4 - 41. Suppose 0 = -c - 2*g + u, 5*g = -6*c + 8*c - 92. Does 39 divide c?
False
Let t(g) be the first derivative of -5*g**2/2 - 6*g - 7. Let r be t(-6). Suppose -5*i + 34 + r = -2*s, -2*i - s + 16 = 0. Does 3 divide i?
False
Let l be (-58)/(-6)*-10*-3. Suppose 412 = 4*t - s, -3*t - 10*s + l =