+ 259. Is l a multiple of 21?
True
Suppose -9*k - 2 = -7*k. Let o = 16 + k. Is 5 a factor of o?
True
Let v(l) = -10*l. Does 12 divide v(-5)?
False
Suppose -5 = -4*b + 3, 4*i - 3*b - 10 = 0. Suppose -i*a + 152 = 4*y, y = a - 4*y - 50. Is a a multiple of 20?
True
Suppose -6*o - 16 - 20 = 0. Is 9 a factor of (-123)/(-12) + o/(-8)?
False
Let x(u) = 4*u**2 + 12*u + 6. Is x(-10) a multiple of 13?
True
Let f = -188 + 355. Is f a multiple of 43?
False
Suppose 198 = -0*i + i. Does 29 divide i?
False
Let a(x) = x**3 + 9*x**2 - 11*x - 6. Let d be a(-10). Suppose d*j - 8*j + 80 = 0. Does 9 divide j?
False
Suppose 0*x - n = -2*x + 148, 2*n - 236 = -3*x. Is x a multiple of 18?
False
Suppose 2*a - 3*a = -45. Is 15 a factor of a?
True
Let z(u) = -u + 1. Let q be z(8). Let n be 2/7 + 2/q. Suppose -l - 4*r = -4*l + 20, n = -5*l - r + 18. Is 4 a factor of l?
True
Let c(o) = -9*o - 4. Let b = -4 - -1. Is 17 a factor of c(b)?
False
Let h be (92/4 - 0)*6. Let r = h + -54. Is r a multiple of 21?
True
Suppose -12*a + 7*a + 410 = 0. Is a a multiple of 27?
False
Suppose -25*i = -15*i - 3840. Does 60 divide i?
False
Let i(a) = 3*a**2 + 5*a + 3. Let w be i(-3). Let o = -3 + w. Is o a multiple of 12?
True
Let u(z) = -z**3 - 8*z**2 - 8*z - 8. Let h be u(-7). Let s be 1*h + (-21)/(-1). Suppose 0 = 3*x, 2*j + 0*j - s = 5*x. Is j a multiple of 10?
True
Let z(p) = -71*p**3. Let g be z(-1). Suppose -2*r + 6 = 0, -3*r + 2 = 2*h - g. Is 15 a factor of h?
False
Let k be 105/(-6)*(-8)/10. Suppose 0 = 2*l - 5*l - 4*t + k, -26 = -5*l - 4*t. Let z = l + -2. Does 2 divide z?
True
Suppose -5*m = -50 - 20. Suppose 0 = 4*s + 6 - m. Suppose -q + 3*q - 28 = s*o, -5*q + 3*o = -62. Is q a multiple of 7?
False
Let b = 81 - 41. Does 16 divide 1*b + -4 + 3?
False
Let m = -8 - -20. Is 3 a factor of m?
True
Let v(n) = n**2 - n - 2. Let h be v(-2). Suppose -3*i = -h*s, i + 0*i = 5*s. Suppose 5*w = 3*a - i*a - 15, -4*w = 5*a - 25. Is 5 a factor of a?
True
Suppose 4*w = h + 6, 4*w = h - 5*h - 4. Suppose 0 = -2*v - v + 3. Is v/2*(h - -10) a multiple of 4?
True
Let p(j) = 32*j + 20 - 12 - 12. Is 23 a factor of p(3)?
True
Let b = 27 + -24. Suppose b*a + 5 = k, 4 = -0*a + 2*a. Is 4 a factor of k?
False
Let p = 13 - 12. Let a(s) = 40*s**3 - s. Is a(p) a multiple of 16?
False
Does 6 divide (-72)/(-30)*5/2?
True
Let r be (35/7)/(2/2). Suppose -r = b + 14. Let y = -8 - b. Is 11 a factor of y?
True
Let b = 248 - 128. Does 6 divide b?
True
Suppose 0 = -5*t - 10. Let d = 6 + t. Suppose -2*v - 60 = -4*q - 14, 0 = d*q - v - 51. Is q a multiple of 8?
False
Suppose 0 = r + 3*f + 7, r + 4*r + 2*f + 22 = 0. Let c = -2 - r. Suppose -4*b + 5*l + 6 = 0, -b + 0 = -3*l + c. Is 2 a factor of b?
True
Suppose 0*u + 2*o = 2*u - 402, -2*u + 405 = -5*o. Suppose u = 3*q - 7. Suppose -q = -3*p + 3*j + 15, 3*p = -4*j + 84. Is 16 a factor of p?
False
Let j = 4 + -2. Suppose -j*t - 1 = 3. Let a = t + 6. Is a even?
True
Let x be ((-8)/(-6))/(3/9). Suppose 0 = -g - 2*g + 375. Suppose 0 = -x*w + g - 45. Is 10 a factor of w?
True
Let n(x) = 28*x**2 + x - 1. Let k be n(-2). Suppose 5*a - 260 = 2*o + 3*o, -3*o - k = -2*a. Is a a multiple of 24?
False
Let m be (24/(-18))/((-1)/9). Let y = m - -12. Does 8 divide y?
True
Let l(m) = -31*m - 21. Is l(-6) a multiple of 28?
False
Suppose -5*s + 21 = 3*v, -33 = -5*s + 2*v - v. Is 3 a factor of s?
True
Let f(k) be the third derivative of k**6/120 - 3*k**5/20 + 7*k**4/24 + 3*k**3/2 + k**2. Let j be f(8). Does 9 divide (-3 + j)*(-27)/2?
True
Let j = -99 - -124. Is 5 a factor of j?
True
Let t = 5 - 5. Let r(c) = c + 7. Let w be r(t). Suppose -w*a + 16 = -3*a - u, -4*a - u + 16 = 0. Does 4 divide a?
True
Suppose 2*i = -4*w + 70, -5*i = -w - 0*i - 10. Does 3 divide w?
True
Let u = -46 + 69. Let x = 41 - u. Is x a multiple of 7?
False
Let y be 8/(-6)*(-15)/10. Suppose -x + y*x = -16. Does 4 divide (x/(-6))/((-1)/(-3))?
True
Let o = 376 + -90. Is o a multiple of 21?
False
Suppose 7*m - 1080 + 268 = 0. Is 21 a factor of m?
False
Suppose j = p - 31, p - 2*p + 2*j + 29 = 0. Is 33 a factor of p?
True
Is 34 a factor of 284 + 25/5 + -1?
False
Suppose -208 = -v - 3*v + 5*z, -v + 3*z + 52 = 0. Is v a multiple of 9?
False
Let p(g) = 5*g**2 + 6*g + 1. Is p(6) a multiple of 31?
True
Is 12 a factor of (11 + 1)/(6/6)?
True
Suppose -6 + 1 = -t. Suppose -t*p + 3 = -12. Suppose -6 = 3*n, m - p*n = 73 - 24. Does 16 divide m?
False
Suppose 50 = -3*p + u + 3*u, -55 = 5*p - u. Let y = -6 - p. Suppose 0 = -f + 5*a + 30, -f + 6*f = -y*a + 208. Does 16 divide f?
False
Suppose 0 = o + 3*o - 12. Suppose o*h = m + 3*m + 108, m - 29 = -h. Is (1*6)/(12/h) a multiple of 8?
True
Let n(r) = 6*r - 2. Let l(v) = -1. Let g(i) = -18*i. Let m(a) = -g(a) + 5*l(a). Let x(u) = 3*m(u) - 8*n(u). Is x(1) a multiple of 7?
True
Let p(h) = 11*h**2 - 2 + 26*h**2 + 1. Is 12 a factor of p(1)?
True
Suppose g = 54 + 3. Suppose -2*u + 6*u + 10 = 2*v, -4*v - 2*u + 70 = 0. Suppose -2*t - g = -3*q - 2, v = -3*t. Is q a multiple of 10?
False
Suppose -2*m + 8 = 0, 3*u + 12 = 5*m - 2*m. Suppose u = 5*l - l - 40. Is 7 a factor of l?
False
Let v = 72 - 45. Is v a multiple of 3?
True
Let r = 0 + -5. Let i(n) = -n**3 - 4*n**2 + 3*n + 6. Is 7 a factor of i(r)?
False
Let k(l) = -31*l**2 + 3*l + 7. Let r(t) = -46*t**2 + 4*t + 10. Let q(b) = 7*k(b) - 5*r(b). Is q(1) a multiple of 5?
False
Is 13 a factor of (1*-1)/(16/(-496))?
False
Suppose -f = 2*f. Suppose f*s + 14 = s. Is s a multiple of 7?
True
Suppose -5 = 3*f - 4*x, f - x + 5 = 2*x. Let t be f*(-3 + 0)*-11. Suppose 2*w - t - 49 = 0. Does 18 divide w?
False
Suppose 196 = 5*g - 24. Is g a multiple of 11?
True
Let u(t) be the third derivative of -t**4/8 - t**3/6 - t**2. Suppose -2*c - 2 = -c. Does 5 divide u(c)?
True
Suppose 4*n - 4*x - x - 207 = 0, 2*n + 4*x - 110 = 0. Suppose -7 = -2*f + n. Is 14 a factor of f?
False
Let d = 4 - -10. Suppose m = 3*m - d. Does 7 divide m?
True
Let b(a) = -2*a - 4. Let f be b(-6). Suppose -s = s - f. Suppose s*y - 168 = 28. Does 18 divide y?
False
Let a(v) be the first derivative of -v**3/3 + 15*v**2/2 + 16*v + 1. Let i be a(11). Suppose 0 = -y + 3*f + i, 2*f + 10 = -0*f. Does 18 divide y?
False
Let r be 4 - -1 - 3/3. Suppose -5*b + 190 = 5*k, -r*k + 171 - 23 = 2*b. Is k a multiple of 12?
True
Let k = -10 - -16. Is (k/(-5))/((-6)/80) a multiple of 16?
True
Let i(h) = -h - 9. Let s be i(-9). Suppose 2*b + 5*v + 22 - 109 = s, -3*b + 121 = -2*v. Is b a multiple of 13?
False
Suppose 0 = -p - 0 - 4. Let d(b) = b**2 + 3*b + 6. Does 3 divide d(p)?
False
Let s = -8 - -11. Suppose -195 = -2*y - s*y. Is y a multiple of 16?
False
Let t = 9 - 0. Let y = 5 + t. Is y a multiple of 7?
True
Suppose f = -f + 4. Suppose -s + 3*d + 18 = -0*s, 2*s - f*d = 20. Suppose 2*w = s*w - 124. Is 11 a factor of w?
False
Let t = 137 - -52. Is 13 a factor of t?
False
Let t be (-12)/(-8)*(-10)/(-3). Suppose t*q - 143 = 87. Does 23 divide q?
True
Suppose 5*v = -5*s + 185, -5*s - 4*v + 140 = -42. Is 3 a factor of s?
False
Let g = 11 - 6. Suppose h + 59 = 4*j, g = -h + 2. Is 4 a factor of j?
False
Suppose -53 = -3*s + s - f, 3*s - 82 = -2*f. Is 6 a factor of s?
True
Suppose 25*w + 1448 = 33*w. Is 24 a factor of w?
False
Let o(q) = -q**3 + 7*q**2 - 6*q. Let a be o(6). Let d be (a - 2/(-6))*12. Suppose d = -4*y - 0, 5*y = -5*w + 95. Is 10 a factor of w?
True
Suppose -3*d + 39 = -0. Is 13 a factor of d?
True
Let n(c) = c - 1 + 3*c**2 + 2*c + 8*c**2 - 2*c. Does 24 divide n(2)?
False
Let h(s) = -s**3 - 7*s**2 + 7*s - 3. Let y be h(-8). Suppose q + 7 = -0*q - y*t, -3*t - 21 = -5*q. Is -1 - q/(-3) - -35 a multiple of 13?
False
Suppose 4*w + 2*n = -2*n + 12, 0 = -3*w + 5*n + 17. Suppose w = -4*b, 2*t = t - 2*b + 33. Is t a multiple of 11?
False
Let c be 8/(-6)*-15 + -2. Let f = c + -13. Is 2 a factor of f?
False
Suppose -26*h + 176 = -25*h. Does 16 divide h?
True
Suppose -l = -0*l + 11. Let a = 28 + l. Is a a multiple of 5?
False
Suppose 3*c - 3*u = -21, 2*u - 3*u - 17 = 3*c. Let f = c - -12. Is 3 a factor of f?
True
Let k(v) = v**3 + 8*v**2 - 2*v - 8. Let l be k(-8). Suppose l*p - 52 = 7*p. Does 24 divide p?
False
Let c(x) = x**2 - 11*x - 7. Is c(12) a multiple of 5?
True
Let i = -16 + -18. Let b = i - -49. Is 15 a factor of b?
True
Suppose 0 = 2*q + 3*q + 60. Let s = 36 - 16. Let k = q + s. Does 7 divide k?
False
Suppo