ultiple of 10?
False
Let l(u) be the third derivative of 13*u**6/120 + u**5/60 - 2*u**2. Does 12 divide l(1)?
False
Let q(a) be the first derivative of -a**4/4 - 8*a**3/3 - a**2/2 + 9*a + 2. Suppose 4*f + 8 = 3*f. Does 6 divide q(f)?
False
Let a(n) = -n**2 - 10*n - 8. Let t = -20 + 12. Is a(t) a multiple of 4?
True
Suppose -z = -5*z + 228. Is z a multiple of 19?
True
Let r(s) = -s**3 + s + 3. Let w be r(0). Let l be (-3)/(w/2) - -1. Let t(k) = -k**3 + k**2 - k - 1. Is t(l) even?
True
Let y be (-43)/(-4) + 1/4. Let o = y - 5. Is o even?
True
Let a(l) = -l**3 - 9*l**2 - 11*l - 20. Does 13 divide a(-9)?
False
Suppose 4*k = -3*v + 7, -v = 3*k - 2*k - 3. Is (-98)/k + (-12)/(-6) a multiple of 17?
True
Let p be 5/(-2)*(-32)/40. Suppose -k - 13 = -p*k. Is k a multiple of 11?
False
Let n = -57 + 102. Let y = n + 15. Is 15 a factor of y?
True
Suppose -t + 302 = -2*b, 5*t - 1497 = -3*b - 0*b. Is 38 a factor of t?
False
Let u(w) = -w**3 - 8*w**2 + 2*w + 4. Let n(s) = s**3 + 8*s**2 - s - 5. Let p(g) = 5*n(g) + 6*u(g). Is p(-9) a multiple of 8?
False
Suppose 2*z = 3*i + 133, 2*z - 3*z + 5*i = -56. Is 6 a factor of z?
False
Let f be (-2 - -4) + 7 + -4. Suppose -14 = 3*h - 0*h + f*b, h + 18 = -5*b. Suppose -5*l + h*g + 140 = 0, -108 = -4*l + g + 1. Is 15 a factor of l?
False
Let t be -1 - -1 - (3 - 8). Suppose -i + t*i - 212 = 0. Is i a multiple of 11?
False
Suppose 5*q + 4*t = 3*t + 15, 19 = 2*q + 3*t. Is 10/(2 - q - -2) even?
False
Let q(t) = -t. Let j(x) = 4*x - 4. Let z(n) = -n**3 + 4*n**2 - 2*n - 1. Let v be z(2). Let d(p) = v*q(p) - j(p). Does 16 divide d(-5)?
False
Suppose 25 = 4*k - 3*g, -4*k + 75 = k + 5*g. Let w = -7 + k. Is 3 a factor of w?
True
Let q(o) = 5*o**2 + 4*o - 8. Does 11 divide q(-5)?
False
Let v(l) = l**2 - 4*l - 4. Let c be v(4). Let x be (-60)/(-14) - c/(-14). Suppose 0 = 4*w + x*a - 48, -3*w + 18 + 23 = -2*a. Does 6 divide w?
False
Let v(h) = -h**3 + 13*h**2 - 7*h + 25. Is v(12) a multiple of 12?
False
Suppose 3*y = 326 - 56. Is 5 a factor of y?
True
Let d(k) = -28*k + 4. Let b be d(-3). Is b/33*(-15)/(-4) a multiple of 10?
True
Does 13 divide -2*(-2 + 18/(-4))?
True
Let t = -53 + 146. Does 20 divide t?
False
Let m = 14 + 7. Is 11 a factor of m?
False
Let p = -40 - 27. Let g = p - -100. Is g a multiple of 11?
True
Let i be ((-3)/2)/(3/(-24)). Suppose 2*t + 0*t - i = 0. Does 3 divide t?
True
Suppose 5*d = -4*n - 18, 4*d = 3*n - 1 - 1. Is 11 a factor of (-1255)/(-25) - d/(-10)?
False
Suppose -r = -5*l - 187, 3*l + 1 = -5. Does 14 divide r?
False
Suppose 44 = 5*x - 31. Does 6 divide x?
False
Let t(y) = -4*y - 8. Let q be t(-7). Does 13 divide (q/6)/(6/54)?
False
Let t be (13/(-1))/(2/2). Let x = -9 - t. Suppose -x*z = 3 - 15. Is 2 a factor of z?
False
Let l = -106 - -173. Does 8 divide l?
False
Let y(z) = z**2 + 6*z + 5. Let p be y(-4). Let b be p/(6/(-20)) + -2. Is ((-38)/b)/((-2)/8) a multiple of 15?
False
Let l be 2 + 1*4/(-2). Suppose -5*u - q + 126 = l, -5*q = -0*u + 2*u - 55. Is 11 a factor of u?
False
Let p = -2 + 2. Suppose 0 = -3*k - p*k + 201. Does 15 divide k?
False
Let h be 0*-1*1/(-1). Suppose h*n + 3*n = 138. Suppose n = 5*t - 9. Does 6 divide t?
False
Let f(g) = -g**3 - 2*g**2 + 2*g + 216. Is f(0) a multiple of 27?
True
Let r(b) = b - 1. Let m be r(3). Let l(g) = g. Let n be l(m). Does 8 divide n + (-6)/(-1 + 0)?
True
Let o(c) = c + 2. Let f be o(1). Suppose -2*v = -4*g + 74, -g + f*v + 2*v + 32 = 0. Does 4 divide g?
False
Suppose 6 = -3*r, 4*b - 2*r = -7*r - 70. Suppose 3*c = -4*j - 20, 2*c = -0*c - 8. Does 5 divide (b/(-6))/(j/(-4))?
True
Let k = 97 + -67. Suppose -13 - 6 = -o. Let u = k - o. Is 11 a factor of u?
True
Suppose 5*p - 20 = 5. Suppose -p*z - 1 = -16. Does 2 divide z?
False
Let x be 10/25 - (-106)/10. Let g = x + -7. Suppose g*y - 36 = -0*y. Does 3 divide y?
True
Let z(o) = -4*o + 71. Is 12 a factor of z(11)?
False
Let y(b) = b**3 + 3*b**2 - 6*b + 3. Let x be y(6). Suppose -7*o + 185 + x = 0. Does 21 divide o?
False
Let m(d) = -2*d + 11. Let q be m(6). Let b(f) be the third derivative of -19*f**4/24 - f**3/6 - f**2. Is b(q) a multiple of 14?
False
Suppose 2*j + 1 = 3*m - 0*m, -4*j = -3*m - 7. Does 3 divide m?
True
Let y = 11 - 16. Let a = y + 11. Is 5 a factor of a?
False
Let k(z) = -z**2 - 3*z + 2. Let r be k(-3). Suppose 164 = 3*g - r*h, -g - h + 13 + 45 = 0. Is g a multiple of 15?
False
Suppose 2*b = -4*f + f + 417, 2*b = -f + 135. Is f a multiple of 13?
False
Let v = 37 - 31. Is 3 a factor of v?
True
Suppose -3*h - 3*y - 31 = -7*h, 2*h - 2*y - 18 = 0. Suppose 4*i + u + 24 = -3*u, 3*i + h*u + 21 = 0. Is 7 a factor of 12 - i*6/9?
True
Suppose 6 = -b - 2*b. Let h be (b/(-4) - 2)*-10. Suppose 3*s = h + 24. Is s a multiple of 9?
False
Suppose -i + 5*z - 3*z - 4 = 0, 4*i + 5*z = 23. Suppose -i*v = -9 - 39. Suppose 3*a = -a + v. Is 6 a factor of a?
True
Suppose -3*c + 9 = -2*d, 7 = 5*c - 3*d - 8. Suppose -4*u - 54 = -c*p - 2*u, 2*p - 3*u = 36. Is p a multiple of 18?
True
Let m(q) = q**3 - 6*q**2 + 6*q - 3. Let k be m(5). Suppose 0 = -k*t - 4*c + 10, -3 = c - 0*c. Is t a multiple of 11?
True
Suppose v = -v - 2. Let j(r) = -29*r - 1. Is 7 a factor of j(v)?
True
Suppose 3*t = -2*b - b, 0 = 4*b - 2*t + 30. Let m = b + 13. Does 4 divide m?
True
Let w = 56 - 14. Does 14 divide w?
True
Suppose -4*m - 3*l = -1, m + 3 = 6*m + 2*l. Let v be 0/m - 3 - -9. Suppose -2*h + 70 = 3*g - v*h, -3*g - 2*h + 82 = 0. Does 8 divide g?
False
Let j(q) = q + 1. Let o(g) = 4*g + 5. Suppose 5*u = -3 + 8. Let y(w) = u*o(w) - 3*j(w). Does 12 divide y(10)?
True
Suppose 4*u + 426 = 4*h + 6*u, 2*u = 5*h - 519. Is 15 a factor of h?
True
Let a(w) = -3*w - 5. Let u be a(-3). Suppose h = 5*x + 33, -3*x - 2*x - 72 = -u*h. Does 11 divide h?
False
Is 7 a factor of (2 + 12/(-5))*-85?
False
Suppose -495 = -4*l - 5*m, 3*m - 1 = -4. Suppose -4*b = -3*g + l, -5*g + 147 + 38 = -2*b. Does 6 divide g?
False
Let d = -1 - -3. Let b(m) = -m + 9. Let i be b(6). Suppose 0 = r - i*y - 0 + 3, -d*r = 4*y - 44. Does 12 divide r?
True
Let x(j) = -4*j + 6. Let a be 3*8/(-12)*2. Does 11 divide x(a)?
True
Let p(o) = 12*o**2 + 3*o - 3. Let h(a) = -11*a**2 - 3*a + 2. Let b(s) = -s**2 + s - 6. Let k be b(0). Let w(g) = k*h(g) - 5*p(g). Does 16 divide w(-2)?
False
Let l(d) = -d**2 + 10*d - 4. Let p be l(7). Let y = p + 0. Is y a multiple of 10?
False
Let h = -7 + 11. Is 5 a factor of h/10 - 279/(-15)?
False
Suppose y - 234 = 7*y. Let p = 170 + -92. Let z = p + y. Is 12 a factor of z?
False
Let n be 2 - (0 - (-2 + 2)). Suppose n*l = 61 - 9. Does 13 divide l?
True
Let m(v) = -7*v + 7. Let i be m(-6). Let o = i - -7. Is 20 a factor of o?
False
Let i = 6 - -5. Let q be 2/(-13) + (-335)/(-65). Suppose 5*j - 5*y + 2*y = 29, i = q*j + 3*y. Does 4 divide j?
True
Suppose 3*n - 16 = -n. Suppose -n*q + 47 - 11 = 0. Does 3 divide q?
True
Suppose 4*r = -2*p + 136, -4*r - 38 = -p - 0*r. Suppose -4*d + p = -30. Does 7 divide d?
False
Suppose z + 4*l = 184, z + 99 = -5*l + 284. Is 45 a factor of z?
True
Let n(l) be the first derivative of l**4/4 + 5*l**3/3 - l**2/2 + 4*l + 1. Let m be n(-5). Suppose 4*c = 7 + m. Does 3 divide c?
False
Let f = 24 - -16. Is 7 a factor of f?
False
Let c be (-4)/(-14) + (-1338)/(-21). Let p be (-4 - -1)*c/(-12). Let v = p + 8. Does 9 divide v?
False
Let y(f) = 15*f + 2. Let s be y(-3). Let c = s - -66. Is c a multiple of 6?
False
Suppose 3*x - 215 = -4*t, -2*x - t + 148 = 3. Does 11 divide x?
False
Let q be (288/(-40))/(2/(-10)). Let l = 2 + 4. Suppose 3*o + l = q. Is o a multiple of 5?
True
Let c(a) = a**2 - 10*a + 14. Let m be c(8). Does 22 divide ((-67)/m)/(1/2)?
False
Let w(n) = 27*n**3 + n + 5. Let q(d) = -26*d**3 - d - 6. Let s(z) = -4*q(z) - 5*w(z). Is s(-1) a multiple of 18?
False
Let t = -26 - -45. Let c = -11 + t. Is c a multiple of 8?
True
Let j = -12 + 15. Suppose -j*k = -230 + 29. Is 14 a factor of k?
False
Let d(m) = -4*m + 62. Is d(8) a multiple of 14?
False
Is (-5 + 2)*-3*9 a multiple of 27?
True
Suppose 0 = h - 6*h + 625. Suppose -5*z + h = 5*s, 4*s = -s + 5*z + 75. Is 10 a factor of s?
True
Let v(s) = -s + 8. Let o be v(0). Let l = 13 - o. Suppose -2*h + 17 = -4*h + l*p, -p = 5*h - 25. Is h even?
True
Suppose 4*a + 26 = 3*y, -4*y - 12 = 7*a - 3*a. Let g(i) = 3*i**3 + i**2 - 2*i. Is g(y) a multiple of 7?
False
Suppose -2*i = -5*d + 1, 4*i 