7. Is d a multiple of 15?
False
Suppose -k + 17 = -15. Let j = 53 - k. Does 5 divide j?
False
Suppose -21 = -2*k - k. Suppose -3*m + k = -4*b - 4*m, 4*b + 2*m + 6 = 0. Is (-436)/(-18) - b/(-9) a multiple of 12?
True
Let y(o) = -o**3 + 3*o**2 - o + 2. Let j be y(2). Suppose 4*d + 48 = j*s, 46 = 3*s + d - 2. Is 5 a factor of s?
True
Let w(m) = 17*m + 10. Let q be w(-7). Let c = -16 - q. Is 31 a factor of c?
True
Suppose 1104 = -4*u + 10*u. Does 23 divide u?
True
Suppose 54 = -11*u + 142. Is u a multiple of 3?
False
Let h(t) = 26*t - 15. Is h(6) a multiple of 9?
False
Suppose -i + 62 = w, -3*i + 0*i - 234 = -4*w. Is 20 a factor of w?
True
Suppose 3*j + 1 - 16 = 0. Suppose 0*h + 4*h = 0. Suppose h - 25 = -j*a. Is a even?
False
Let j be -2*1 - (-5 + 4). Let x = j + -2. Is 4 a factor of (1/(-1))/(x/24)?
True
Let v(s) = s**3 + 2*s**2 + 3*s - 1. Let z(j) = -j**3 - 3*j**2 - 4*j. Let n(g) = 5*v(g) + 6*z(g). Does 5 divide n(-7)?
False
Let l(w) = -51*w + 13. Is 32 a factor of l(-2)?
False
Suppose -3*p = -4*p. Suppose p*t - 4*t - 20 = -v, 2*v = -4*t + 52. Is v a multiple of 12?
True
Let v = 114 - 34. Does 20 divide v?
True
Is (42/(-9))/((6 + -5)/(-18)) a multiple of 14?
True
Let y = 14 + 2. Is 8 a factor of y?
True
Suppose -4*s + 2*z + 3*z + 525 = 0, -4*s - z = -495. Does 25 divide s?
True
Let l = -213 + 334. Is 13 a factor of l?
False
Let r(z) = z + 1. Let f(a) = -7*a - 3. Let g(s) = 2*f(s) + 4*r(s). Is 9 a factor of g(-2)?
True
Suppose -6*l + 5*l - 3 = 0, s + 4*l = 127. Is s a multiple of 26?
False
Let a = -120 - -380. Does 13 divide a/8 - (-1)/(-2)?
False
Let y = 4 + 0. Does 4 divide y?
True
Suppose -3*p - 2*p = -40. Does 3 divide p?
False
Suppose 5*n = -3*m + 82, 0*m - m = -4*n - 16. Does 8 divide m?
True
Let d = 260 - 126. Is 27 a factor of d?
False
Suppose 3*k = -3*r - 115 + 379, r - 266 = -3*k. Let d = k - 58. Is d a multiple of 8?
False
Let r = -1 - -6. Suppose -2*l + r*l - 3 = 0. Let h(b) = 11*b + 1. Is h(l) a multiple of 12?
True
Suppose 2 = 8*h - 9*h. Is h*1/4*-52 a multiple of 13?
True
Let t be ((-8)/(-16))/((-1)/(-10)). Suppose 0 = t*a + 2*z - 33, -3*z - 2*z = a - 2. Let r(h) = h**3 - 7*h**2 + 7*h - 6. Does 19 divide r(a)?
False
Let t = -34 - -49. Is 8 a factor of 6 + -5 + t*1?
True
Suppose -28 = -2*z - 2*a - 2, 29 = 2*z - a. Does 6 divide z?
False
Let f(j) = 7*j**2 - j - 2. Let n(x) = -28*x**2 + 5*x + 9. Let i(c) = 9*f(c) + 2*n(c). Is 13 a factor of i(-2)?
True
Is 15 a factor of (-3)/9 + (-665)/(-15)?
False
Let f be (1 + 7/(-2))*-6. Suppose 5*d - y - 47 = d, -5*y = f. Is 11 a factor of d?
True
Let j be 3*(-2)/(-6)*0. Suppose j = -7*b + 2*b + 430. Suppose 6 = 4*q - b. Is q a multiple of 12?
False
Let n(t) = 2*t + 1. Let m(a) = a. Let q(c) = -4*m(c) + n(c). Is q(-4) a multiple of 5?
False
Let q(v) = -6*v**3 + 2*v**2 + 3*v - 2. Let s be q(2). Let t = s + 72. Is 10 a factor of t?
False
Let v = 36 - -18. Let r = -28 + v. Does 9 divide r?
False
Suppose 3*t + 115 = 5*p - 125, -5*t - 115 = -2*p. Is p a multiple of 7?
False
Let u(o) = 0 - 1 + 7 + o + o. Is 8 a factor of u(5)?
True
Let g(o) = o**2 + 3*o - 7. Let q be g(-5). Let w = 43 - 30. Let p = q + w. Is p a multiple of 8?
True
Let x be (-1)/(1/2) - -9. Let f(j) = -1 + x*j**2 + 2 - 2. Is 11 a factor of f(-2)?
False
Let v = -37 - -21. Is (56/v)/((-2)/28) a multiple of 10?
False
Let r be 11/3 - 6/9. Let h(l) = l**3 + 2*l**2 + 2*l - 3. Let p be h(r). Suppose -5*j + p = -2*j. Is j a multiple of 8?
True
Does 30 divide (-4 - -6)*10*2?
False
Does 9 divide (6/(-5))/((-11)/165)?
True
Suppose -2*b - 39 = -3*b. Is b a multiple of 13?
True
Let u(k) = -k**2 + 13*k + 2. Let r = -2 - -8. Does 11 divide u(r)?
True
Is 19/5 + -1 + (-6)/(-5) a multiple of 4?
True
Suppose 3*k - 2*k = 144. Is 36 a factor of k?
True
Suppose 2 = -j, -5*t + 47 = 4*j - 85. Suppose 4*c = 4*a - t, -5 + 3 = -c. Does 7 divide 2/(-9) - (-65)/a?
True
Let v = 18 + -16. Suppose v*p = -10, 4*c + 2 = 3*c - 5*p. Does 6 divide c?
False
Suppose 0 = 5*j + 5 + 5. Let v = 4 - j. Let t = v - 2. Does 3 divide t?
False
Suppose -5*a - 2*x + 4*x = -74, 3*a = -4*x + 34. Suppose -5*b = 6 + a. Let m(c) = 2*c**2 - c - 5. Is 13 a factor of m(b)?
False
Let i(f) = f**3 - 5*f**2 - 7*f + 3. Let o be i(6). Let r(q) = q + 3. Let y be r(-3). Let a = y - o. Is 3 a factor of a?
True
Let c(y) be the third derivative of y**7/210 - y**6/120 + y**5/120 + y**4/24 + y**3/2 - 3*y**2. Let x(a) be the first derivative of c(a). Does 11 divide x(2)?
False
Suppose -5*l - h + 172 = 3*h, h = -5*l + 178. Is l a multiple of 36?
True
Suppose -4*b + o = -149, 3*b - 5*b + 5*o + 79 = 0. Is b a multiple of 6?
False
Suppose 2*h - 10 = 2*s, 6*s = 4*s. Is h even?
False
Suppose -3*k - 20 = 3*u - 2*k, -20 = 4*k. Let t(l) = -l**3 - 4*l**2 - 3*l + 5. Is t(u) a multiple of 13?
False
Let a(t) = t**3 + 1. Let y(h) = h**3 - h**2 + 4*h - 4. Let j(v) = a(v) + y(v). Let c(z) = z**3 - 7*z**2 - 19*z + 11. Let r be c(9). Does 17 divide j(r)?
True
Let l(p) = 2*p**2 - p - 1. Is 32 a factor of l(-5)?
False
Suppose 181 - 43 = 2*s. Does 23 divide s?
True
Let v(p) = -12*p + 13. Let f be v(10). Does 12 divide f/(-3) + 2/6?
True
Does 46 divide 1/3*(0 - 0) - -291?
False
Does 3 divide (-3*53)/(-8 + 5)?
False
Let o(s) = s**3 - s**2 - 4*s - 5. Is 7 a factor of o(4)?
False
Let w(g) = -g**2 + 5*g. Let d be w(4). Suppose l + 6 = d*l. Suppose 82 = 4*r + 2*i, 21 = -5*r + l*i + 101. Is 17 a factor of r?
False
Let k = -18 - 2. Let q = k + 31. Is 11 a factor of q?
True
Let q(n) = n**2 + 5*n + 2. Let w be q(-4). Is (-18)/w + -2 + 0 a multiple of 7?
True
Let h = 1 + 30. Let b = 53 - h. Suppose b = 5*f - 73. Does 13 divide f?
False
Let q(x) = 7*x**2 - 3*x - 37. Is q(-8) a multiple of 64?
False
Suppose 2*v + 134 = -0*v. Let i = -241 + 352. Let n = i + v. Is n a multiple of 22?
True
Suppose 3 = 2*r - 1. Suppose -r = -q - x, 3*x = -q + 2*q - 6. Suppose -g - 18 = -2*z + 2, -2*z + 4 = q*g. Is z a multiple of 8?
True
Suppose 4*h = -h - 15. Let k(q) = q**3 + 4*q**2 - q. Does 6 divide k(h)?
True
Suppose -3*h - k + 4*k + 210 = 0, 3*k + 285 = 4*h. Is h a multiple of 18?
False
Let m(g) = -g**2 + 4*g + 3. Let w be m(4). Does 13 divide (19/w)/((-13)/(-39))?
False
Let j = -18 - -12. Is 18/27 - 50/j a multiple of 7?
False
Suppose 2*z - 5 = -1. Is (-1)/(z/3)*-2 even?
False
Suppose 0*p + 3 = p. Suppose 128 = i + p*i. Is 8 a factor of i?
True
Let u(w) = 40*w**2 - w - 1. Let b be u(-1). Is b/30 - 148/(-6) a multiple of 13?
True
Does 6 divide 4/(23/(-6) + 4)?
True
Let u be 7 + (1 + 3)/(-1). Suppose 0 = -4*a + u*a + 18. Does 9 divide a?
True
Is (-7)/(-14) - 38/(-4) a multiple of 5?
True
Let l(u) = 14*u + 4 + 13*u**2 + 1 + u**2. Let o(j) = 5*j**2 + 5*j + 2. Let x(z) = 4*l(z) - 11*o(z). Does 9 divide x(4)?
True
Does 33 divide (-6)/39 + 860/13?
True
Let n = 61 - -23. Suppose n = 3*v - 240. Does 32 divide v?
False
Let w = -1 + 0. Does 8 divide (-1)/(w/(-17)*-1)?
False
Let v = -10 - -8. Suppose -12 - 48 = -2*i. Is ((-1)/3)/(v/i) a multiple of 5?
True
Let c = 80 - 48. Does 4 divide c?
True
Suppose 2 = x + 2*n, -10 = -5*x + 3*n + n. Let c be (3 + -3)/3 + x. Suppose -c*s + 72 = 2*s. Does 8 divide s?
False
Is 2919/35 - (0 - 9/15) a multiple of 8?
False
Let n be 7 - 5 - 11*1. Let r = n - -28. Is 8 a factor of r?
False
Let m be (15/(-10))/((-6)/416). Suppose -3*f + m = -s - 122, 293 = 4*f - 3*s. Suppose -3*a = -f - 7. Is 9 a factor of a?
False
Let g = -41 + 121. Is g a multiple of 42?
False
Let i = -4 + 72. Does 23 divide i?
False
Let y(b) = b - 4. Let p be y(9). Let a = 17 + p. Does 11 divide a?
True
Suppose 0 = 5*t - 4*t - 2. Let v(g) = 2 - 6 - 8*g + t. Is 11 a factor of v(-3)?
True
Suppose z = -4*j + 682, 0 = z + z - 4. Is j a multiple of 34?
True
Suppose -3*s + 2*s + 5 = 0. Suppose 11 = s*q - 14. Suppose v - q = -1. Is v a multiple of 2?
True
Suppose s - 75 + 19 = 0. Suppose -s - 9 = -5*j + 3*r, -4*j + 5*r = -52. Does 13 divide j?
True
Let u(k) = -k - 5. Let i be u(-9). Suppose -i*x - 7 = -23. Does 4 divide x?
True
Let a(v) = -v**3 - 9*v**2 + 4. Let o be a(-9). Suppose -o*b = -42 - 6. Does 8 divide b?
False
Suppose 4*p - s - 2 = 13, 4*p + 4*s = 0. Suppose -p*d + 11 = -2*n, 10 - 2 = 3*d + n. Suppose d*o = 11 + 16. Is o a multiple of 6?
False
Let c = -269 + 541. Does 22 divide c?
False
Let q = 105 - 54. Let h = q - 13. Does 19 divide h?
True
Let p(b) = 2*b**