 - 131 = 0, 5*u = -r + t + 47. Is 29 a factor of u?
True
Suppose -34 = -5*k + 4*k. Is 11 a factor of 0 - (k - 1)/(-3)?
True
Let p(a) = -13*a - 2 + 1 + 67*a. Is 29 a factor of p(2)?
False
Let x = 1296 + -316. Does 35 divide x?
True
Let g(k) = k**3 + 2*k**2 - 6*k - 3. Let q be g(5). Let z = q + -80. Does 9 divide z?
False
Suppose 3*t = 2*p - 118 - 616, -5*p + 3*t + 1844 = 0. Suppose -3*d - 5*a = p, a + 0*a + 242 = -2*d. Let w = d - -195. Is 25 a factor of w?
True
Suppose 4*h - h = -18. Does 9 divide (61 - -5) + (h/(-2))/(-1)?
True
Let k(h) = -3*h**2 - 5*h + 817. Is 19 a factor of k(0)?
True
Let o(k) = 11*k + 66. Let n(u) = 33*u + 197. Let x(a) = -3*n(a) + 8*o(a). Is x(-17) a multiple of 6?
False
Let w(o) = -o**2 + 17*o - 19. Let i be w(16). Let u = i - 1. Is 10 a factor of u + 4 + -3 + 41?
False
Let y = -10 - -21. Suppose y = -x + 4*o, -2*o + 6 = -2*x + 2*o. Suppose -5*l + l = c - 34, x*l = -2*c + 44. Is l a multiple of 8?
True
Let o(d) = -d**3 + 28*d**2 - 23*d. Is 18 a factor of o(27)?
True
Let v(t) = 4*t**2 - 22*t + 33. Is 11 a factor of v(11)?
True
Is (-2 - -2 - 4) + 308 a multiple of 47?
False
Suppose -4*x + 236 = -9*l + 13*l, x = l - 53. Does 3 divide l?
False
Let r(d) = 15*d**2 - 32*d + 7 + 22*d**2 - 32*d**2. Is 6 a factor of r(7)?
False
Suppose -5*s + 443 = 2*q - 386, s + 4*q = 173. Does 55 divide s?
True
Let r = 40 - 21. Suppose 34*i = 15*i + 38. Suppose 0 = -i*c + 17 + r. Does 8 divide c?
False
Let v be 1 + -1*(-4 - 0). Let w(y) = y**3 - 6*y**2 + 6*y - 5. Let i be w(v). Is (i - 3) + (7 - -6) a multiple of 10?
True
Let m(z) = z**3 - 9*z**2 - z - 5. Suppose 0 = 12*f - 10*f - 20. Let g be m(f). Let r = -61 + g. Is r a multiple of 12?
True
Suppose -4*a - q - 43 - 8 = 0, 2*a - q + 33 = 0. Let r be (-258)/(-5) - a/35. Suppose 2*k = 4*k - 2*i - r, 4*i = -12. Is k a multiple of 6?
False
Let m(x) = 4*x**3 + 14*x**2 + x + 14. Let n(a) = -3*a**3 - 9*a**2 - a - 9. Let f(s) = -5*m(s) - 8*n(s). Is f(3) a multiple of 11?
False
Let g(t) = -3*t + 3. Let d be -2*(-1)/(-2)*9. Does 7 divide g(d)?
False
Let c be -7 + -1*0/(-2). Does 43 divide -2*c/(-42) + 776/6?
True
Let w(a) = a**2 + 7*a - 5. Let i be w(-6). Let k = i + 13. Suppose z - 3*r - 66 = 0, 2*z = 3*r + k*r + 132. Does 30 divide z?
False
Let q(t) = 4*t - 1. Let h be q(1). Let r(y) = 2*y - 20. Let m be r(10). Suppose -h*o + o + 146 = m. Is o a multiple of 16?
False
Suppose 221 = 9*f + 59. Is 7 a factor of f?
False
Suppose -10*z + 7*z - 9 = 0. Let t be (-11942)/(-70) - z/(-5). Let w = -110 + t. Does 20 divide w?
True
Let s(g) = -228*g**3 - g**2 + 1. Suppose 0 = -3*i + 2*n + 7, -5*i - n + 4*n + 10 = 0. Let h be s(i). Suppose l + h = 5*l + 3*o, 0 = o. Does 14 divide l?
False
Suppose 4*j - 632 = -5*m, -7*m + 628 = 4*j - 3*m. Does 12 divide j?
False
Suppose -3*j = 2*v - 245 - 113, -2*v - 2*j = -356. Does 22 divide v?
True
Let t = 2279 + -1014. Is t a multiple of 55?
True
Let z be (102/4)/((-15)/(-20)). Suppose 2*d - 5*w = -z, -4*w - w = d + 2. Let v = d - -23. Is 4 a factor of v?
False
Let d(z) = -z - 5. Let q be d(-8). Suppose 5*n - q*n = 130. Is 15 a factor of n?
False
Let h(p) be the first derivative of p**3 - 3/2*p**2 - 3 + 0*p. Is 7 a factor of h(-3)?
False
Let d be 12/66 + (-84)/(-22). Is 122 - -7 - d*1 a multiple of 25?
True
Suppose 22*s - 94 - 16 = 0. Is s a multiple of 5?
True
Let a(j) = -5*j**3 + j - 1. Let i be a(2). Suppose 0*d - 48 = 2*d. Let f = d - i. Is f a multiple of 5?
True
Suppose 0 = -2*f - 5*o + 24, -2*f + o + 24 = -2*o. Suppose 4*b + f = -16. Is 1/(3/3) - b even?
True
Let k be -6 + 3 - 1*-3. Suppose 4 = -k*a + a. Suppose 57 = 4*q + 5*j, q + a*j = 31 - 3. Does 4 divide q?
True
Suppose -a = -6*a + 2*u + 30, -u = -2*a + 12. Let w(n) = -n + 3*n + 3 + 10. Is 7 a factor of w(a)?
False
Let q = -7 + 33. Let m = 20 + q. Does 23 divide m?
True
Suppose -7*r + 536 = -1396. Does 24 divide r?
False
Suppose -3*u = -4*u. Suppose 0 = -4*y + t + 235 + 542, -5*y + 3*t + 966 = u. Does 4 divide y/10 - 4/(-8)?
True
Suppose -2*k + 123 = 3*t - 6*k, -5*t - 4*k = -205. Let w = t + -32. Is w even?
False
Let u(l) = l**3 + 14*l**2 + 7*l - 8. Is 21 a factor of u(-12)?
False
Suppose 16 + 9 = 5*a. Let w(s) = -5 + s**3 + 9 - 14 + a*s**2 - 6*s. Does 9 divide w(-5)?
False
Suppose y = -y - 4*o + 10, 3*y = 3*o + 15. Suppose -f - 68 = -y*k, -5*k - 3*f + 62 = -7*f. Is 11 a factor of 132/21*k/4?
True
Suppose 61 = -8*k + 9*k. Let a = k - 35. Is 26 a factor of a?
True
Let c(y) = -y**3 + y**2 - 2*y - 2. Let h be c(-1). Is 11 a factor of 3 - (-8 - 4/h)?
False
Let r be 2/(-1)*7/(-14). Suppose -3*g = 4 - r. Does 17 divide (-235)/(-10) + g/2?
False
Let b(m) = m**2 - 2*m - 13. Let x be b(7). Let q = x + 17. Is 17 a factor of q?
False
Suppose 27 = 4*y - k, 4*y = 5*k + 39 - 0. Let z = y + -4. Does 2 divide z?
True
Let q be (174/(-4))/(18/(-48)). Suppose 3*i = 5*i + q. Let b = -36 - i. Is b a multiple of 18?
False
Let a = 1881 - 1824. Does 32 divide a?
False
Let b = 136 - 70. Is 2 a factor of b?
True
Let y = 117 - 117. Suppose y = -6*i + 4*i - 5*v + 65, 0 = 5*i + 4*v - 188. Is 8 a factor of i?
True
Suppose 9 = d - 4*s, -4*s - 10 = -3*d - 9*s. Suppose -d*g + 210 = 4*l, -3*g + 0*g + 126 = -2*l. Does 6 divide g?
True
Suppose -6*f = -717 - 405. Does 12 divide f?
False
Suppose x = -5*z + 7 + 1, 5*x - 2*z - 13 = 0. Suppose 4*y = 5*b - 200, -x*b + 78 = -4*y - 50. Is 35 a factor of b?
False
Suppose 0 = -4*t - 4*l - 452, -2*l = 3*t + 382 - 42. Suppose 2*p + 2*p + 180 = 0. Let d = p - t. Does 15 divide d?
False
Let h = -1101 - -1773. Is h a multiple of 34?
False
Let k(q) be the first derivative of -q**3/3 - q**2/2 + 27*q - 1. Let c = 20 + -20. Is k(c) a multiple of 6?
False
Suppose -75*h + 78*h = 4368. Is h a multiple of 13?
True
Let b = -3 + 1. Let a(z) = 4 + 4 - 7*z - 6*z - 4. Does 30 divide a(b)?
True
Suppose -4*z + 2*t = -3 - 43, 5*z - 35 = -2*t. Suppose 12*k = z*k + 9. Suppose i - 2*g = 48, -45 = -3*i - k*g + 54. Is 5 a factor of i?
False
Suppose 2*g + 13 = b, -2*g - 17 = -2*b + 5*b. Let c be (-234)/g - (-12)/(-28). Let m = 60 - c. Is m a multiple of 8?
False
Suppose -y + 6*y - 2*f = 10, f + 5 = -5*y. Suppose 11*b - 8*b - 390 = y. Is b a multiple of 43?
False
Let t = 346 + 968. Is t a multiple of 73?
True
Let k(x) = 6*x**3 + 11 - 4*x**2 - 2*x**3 + 3*x + 5*x**3 - 8*x**3. Is 17 a factor of k(5)?
True
Suppose -9*z = -1426 - 2651. Is z a multiple of 30?
False
Suppose 0 = -5*m + 501 - 146. Let w = m - 59. Does 7 divide w?
False
Suppose 0 = -18*p + 12*p + 60. Suppose 5*q - p + 0 = 0. Is 2 a factor of q?
True
Let d = 170 - 139. Let j(s) = s**3 + 5*s**2 + 3*s. Let x be j(-4). Suppose r - d = x. Does 5 divide r?
True
Let x(s) = -3*s**3 - 12*s**2 - 11*s - 7. Suppose 3*z + 36 = -3*z. Does 55 divide x(z)?
True
Suppose -4*b = 16, r - 169 = -4*b - 6. Is r a multiple of 32?
False
Suppose 9*k - 5*k = 3*o + 13, 0 = -3*o + 3. Suppose 0 = -2*i - 2, 4*h - 9*i - 413 = -k*i. Does 17 divide h?
True
Suppose 2*l - 50*v - 880 = -55*v, -4*v + 446 = l. Does 53 divide l?
False
Let f(n) = 9*n**2 + 11*n. Let v(i) = -19*i**2 - 23*i + 1. Let c(x) = 9*f(x) + 4*v(x). Is c(4) a multiple of 29?
False
Let j be (-96)/30 - (-3)/15. Does 9 divide ((-6)/j - 1) + 8?
True
Suppose 3*x = -4*w + 14, -x - 5*w - 1 + 13 = 0. Let k be (x/(-6))/(10/(-90)). Suppose -k*d = y - 28, 4*d = -3 - 5. Is 12 a factor of y?
False
Let g(w) = 11*w**3 + 2*w**2 - 10*w + 17. Does 13 divide g(2)?
False
Suppose 4*m - 3*p = 1, 0 + 1 = -m + p. Suppose 3*i + 4*c = 22, 5*i - 22 = -c - 2*c. Suppose i*s + 2*u = -2*s + 84, -90 = -m*s + u. Is s a multiple of 6?
False
Let p(a) = -a**2 - 31*a + 45. Is 25 a factor of p(-30)?
True
Let c be (1/2)/(4/208). Suppose 3*p = -2*h - c, 0 = -p + 4 - 6. Let t = 23 + h. Is t a multiple of 13?
True
Let q(i) = -14*i - 53. Is 12 a factor of q(-10)?
False
Suppose 4*z = 3*q + 3*z - 30, 4*q + 4*z - 56 = 0. Suppose -4*w = -q - 5. Suppose -w*x + 75 = 15. Is 8 a factor of x?
False
Suppose -5*f + 356 = -4*k, -69 = -f + 4*k - k. Suppose -g - y = 2*y - f, -236 = -3*g - 4*y. Is 12 a factor of g?
True
Let h(i) = i**3 - 15*i**2 + 18*i + 16. Let k be h(13). Is 11 a factor of (-9*1)/(2 + 188/k)?
True
Suppose -3*a = 3*s - 90, 0 + 6 = -3*s. Let x = a + 17. Is x a multiple of 2?
False
Suppose 12 = -4*p, 2*p = -5*j + 5*p + 4759. Is 7 a factor of j/20*(-8)/(-10)?
False
Is (-12)/8 + ((-183911)/(