ivide f?
True
Suppose -4*k - 2 = -6. Let t(x) be the third derivative of 7*x**5/60 - x**4/24 + x**3/6 + x**2. Is t(k) a multiple of 6?
False
Let g = 1 + -1. Let l(f) = g*f**2 - 2*f - 5 + f**2 - f. Is 12 a factor of l(8)?
False
Suppose 23*c - 790 = 18*c. Is 21 a factor of c?
False
Let w be 136/((-8)/(-4)) - 2. Suppose -5*z = -x + 24, -3*x + 2*z = -8*x + w. Is 7 a factor of x?
True
Suppose 22 = 5*k - 2*o, 6*k + 2*o = 5*k + 14. Is 11 a factor of (-504)/(-27) - (-2)/k?
False
Let q be 89/7 + (-4)/(-14). Suppose q = b - 29. Is 15 a factor of b?
False
Let c be ((-10)/(-8))/((-4)/(-16)). Suppose 0*y - 4*y - 41 = -5*k, -c*k - 3*y + 13 = 0. Let n = 10 + k. Is n a multiple of 15?
True
Let y(r) = 2*r**2 + 5*r - 8. Let i(l) = -4*l + 2. Let j = 4 - 2. Let k be i(j). Is 17 a factor of y(k)?
True
Let j(u) = 14*u**2 - 6*u + 9. Is 43 a factor of j(3)?
False
Is 16 a factor of 4 - ((-140)/(-21))/(1/(-21))?
True
Suppose 1848 = 3*s + 3*s. Is s a multiple of 22?
True
Suppose 4*k = 77 + 111. Is 8 a factor of k?
False
Suppose -31 = -2*w - v + 6, -5*w + 76 = -3*v. Is w a multiple of 17?
True
Let o(j) = 5*j + 1. Let n be o(-4). Let z = 30 - n. Is z a multiple of 10?
False
Suppose -5*n - 2 = 13. Is 15 a factor of (5 - 3 - -46) + n?
True
Is (-2 - -1)/(8/(-272)) a multiple of 8?
False
Suppose -3*v = 3*h + v - 37, h - 4*v = -9. Does 7 divide h?
True
Suppose 0 = 4*r + 59 - 271. Is r a multiple of 6?
False
Let n = -2 + -5. Let m(b) = -10*b - 9. Does 25 divide m(n)?
False
Let g(m) = 6*m + 4. Let p(l) = l**2 - 2*l - 2. Let b be p(4). Let c be g(b). Suppose -z + 5*z - c = 0. Does 4 divide z?
False
Suppose 0 = s + 4*s - 2*p + 30, 0 = -2*s + 2*p - 12. Let m be (10/s)/((-2)/6). Suppose -m*i + 5*f = -15, -4*i = 6*f - 2*f - 52. Does 3 divide i?
False
Let s = 41 - 30. Is s even?
False
Let o be 2/(-6) - (-957)/9. Suppose 5*p = 74 + o. Suppose -3*u + 5*u - p = 0. Is 18 a factor of u?
True
Is (-4 + 1)*-1*2345/21 a multiple of 13?
False
Let l(f) = -f**2 + 13*f - 7. Let n be l(10). Let u = 24 + n. Is 23 a factor of u?
False
Suppose -m = 2*m + 9, 5*f = -m - 223. Does 5 divide 2/(-7) + f/(-7)?
False
Suppose 0 = -3*i - 3*n + 582, 4*i - 4*n - 285 - 499 = 0. Is 15 a factor of i?
True
Let f be (-1)/(((-3)/(-27))/(-1)). Suppose 19 = 4*l - f. Does 7 divide l?
True
Let q be (-1)/(-3) - 124/(-6). Is 7 a factor of q/(-2)*10/(-15)?
True
Let s(r) = -r**3 - r + 4. Let g be s(0). Let k(u) = u**3 - 2*u**2 - 4*u - 5. Is k(g) a multiple of 9?
False
Let d be 8 + (3 - 4 - 2). Suppose 2 = -5*y - u, -3*y - 5*u - 4 = -3*u. Let w = d - y. Is 5 a factor of w?
True
Let c = -7 - -13. Is c a multiple of 6?
True
Let c(r) = 184*r + 12. Let l be c(-9). Is l/(-20) + 1/(-5) a multiple of 23?
False
Let g(m) = -79*m + 3. Does 48 divide g(-3)?
True
Suppose -3*v + 24 = 3*u - 3, -2*u - 30 = -4*v. Is 8 a factor of v?
True
Suppose -2*s = -5*t - 119, 0 = -s - 2*s - t + 204. Let k = s - 45. Is 11 a factor of k?
True
Is ((-255)/(-6) - 2)*(-2)/(-3) a multiple of 9?
True
Let c = -108 + 203. Does 19 divide c?
True
Let i(d) = 5*d**2 - 5*d - 32. Is 17 a factor of i(5)?
True
Does 2 divide (-5 + 3)/(6/(-9))?
False
Let f(r) = -3*r + 6. Does 4 divide f(-6)?
True
Let k = 82 + -39. Does 11 divide k?
False
Suppose -2*y + 5*i + 129 = 0, 0*i = -2*y + i + 117. Does 7 divide y?
False
Let t(z) = 36*z + 3. Let c be t(4). Suppose -v = 5*i + v + c, -28 = i - v. Let j = i + 40. Does 4 divide j?
False
Let k(d) = d**3 - 8*d**2 + 2. Let s be k(8). Suppose s*n - 27 = -n. Does 9 divide n?
True
Suppose -5*y + 28 = 8. Let w be (-4)/14 - y/(-14). Suppose w = 3*t + t - 4*b - 152, 0 = 4*t + 5*b - 152. Is t a multiple of 19?
True
Let g(i) = -27*i - 14. Does 37 divide g(-6)?
True
Suppose -2*j + 33 = 3*m + j, -4*m = -5*j - 89. Is m a multiple of 16?
True
Let a(q) be the third derivative of 0*q**5 - 1/12*q**4 + 0 + 3*q**2 + 3/40*q**6 + 1/6*q**3 + 0*q. Is a(1) a multiple of 6?
False
Let c(g) be the first derivative of g**3/3 - g - 2. Let i(d) = -2*d**3 + 8*d**2 + 4*d - 3. Let s(o) = -5*c(o) + i(o). Is s(-2) a multiple of 11?
True
Suppose -b = -6*b. Is 24 a factor of -61*1*(-1 + b)?
False
Suppose -7*u + 141 = -27. Is u a multiple of 7?
False
Let b(m) = -11*m + 3. Let x = 10 + 30. Suppose -5*j - 15 = -5*o - x, -o + 7 = 5*j. Does 13 divide b(o)?
False
Let k(n) = -14*n - 32. Is 15 a factor of k(-6)?
False
Suppose 0 = -0*j + 3*j + 3. Let m be -1 + (0 + j)*2. Is 11 a factor of ((-4)/m)/(3/54)?
False
Suppose -6*r = -2*r - 140. Is 5 a factor of r?
True
Let w(i) = -34*i**3 - i**2 + 2*i - 1. Let o be w(1). Let y = o + 53. Does 19 divide y?
True
Let a(n) = n**3 - 23*n**2 - 18*n - 50. Does 12 divide a(24)?
False
Let n(l) = l**3 + 6*l**2 + 3*l - 5. Let c be n(-5). Suppose -4*j + c = -f, 3*j + 1 = 7*j + 3*f. Let d = j + 4. Is d a multiple of 3?
False
Let u = -50 + 102. Is u a multiple of 32?
False
Suppose 4*a = 2*i + 202, 5*a + i + 0*i = 263. Is 13 a factor of a?
True
Let k = -3 - -9. Is 25 - 3/k*-2 a multiple of 13?
True
Let v(h) be the first derivative of -3*h**4 + h**2 + h + 2. Is v(-1) a multiple of 7?
False
Let i(c) = c**2 - 3*c - 4. Let a be i(7). Let y = 50 - a. Is 13 a factor of y?
True
Let x = 7 + -11. Let v be (-12)/7 - x/(-14). Is 12 a factor of (-45)/v + 6/4?
True
Let j(t) = -2*t**3 - t**2 - t + 1. Does 7 divide j(-3)?
True
Let n(t) = -t**3 - 5*t**2 - 4*t - 3. Let g be n(-4). Let q(o) = 3*o**2 - 4*o - 3. Let s be q(g). Suppose l - s = -3*l. Is l a multiple of 9?
True
Let r be 8/36 + 43/9. Suppose -5*y + 28 = 3*p - 0*y, -r*p = -5*y - 20. Is p a multiple of 2?
True
Let u(i) = 8*i - 8. Let g be u(-6). Let c be g/(-32) - (-1)/4. Suppose -z - c*z = -90. Is z a multiple of 15?
True
Let a(j) = j**2 - j - 4. Let k be a(3). Let n be k*10/8*22. Suppose 4*m - n = 3*o + 39, -3*o - 6 = 0. Does 13 divide m?
False
Suppose 7*o - 11*o = -360. Is o a multiple of 30?
True
Suppose 0 = -0*f - 5*f + 120. Is f a multiple of 12?
True
Let r(g) = -11*g + 13. Is 32 a factor of r(-8)?
False
Let b(w) = w**3 + 15*w**2 - 17*w - 13. Is b(-16) a multiple of 3?
True
Let s(d) = -2*d + 4. Let u be s(3). Does 11 divide (-150)/(-14) - u/7?
True
Let z be 1/1 - 3/(-3). Suppose -3*s - 2*p - z = 0, -p - 2 = 3*s - 4. Suppose 0 = 4*r - s*r - 54. Is r a multiple of 21?
False
Let m be (-6)/(-15) + (-9)/(-15). Suppose 2*g - 3 = m. Is 5 a factor of -10*(6/g)/(-3)?
True
Let v = 28 - 14. Does 5 divide v?
False
Let o = -4 - -4. Suppose 4*u - 3*n - 35 + 11 = 0, o = -3*n. Is 10 a factor of ((-4)/u)/(1/(-30))?
True
Let v(r) = -r**3 + 2*r**2 + 3*r. Let b be v(3). Suppose b*p - 4 = p. Is (p - -6)/(2/18) a multiple of 7?
False
Suppose c + 12 = 3*z, c - 5*z + 12 = -6. Let m = 11 + c. Is 2 a factor of m?
True
Let a be 2 + (22 + 1)*-1. Let k = -2 - a. Does 19 divide k?
True
Is 34 a factor of -1*90/2*(-51)/9?
False
Let p = 12 + 3. Is p a multiple of 7?
False
Let o = -79 - -147. Let k(n) = -n**2 + 4*n + 7. Let a be k(5). Suppose -a*y + 3*z + 34 = 6*z, 0 = -4*y - 2*z + o. Is y a multiple of 17?
True
Let d = 6 - 9. Let u be 4 - 0 - (3 + d). Suppose -2*y - u*p = -16, 2*y = -2*y + p + 32. Does 4 divide y?
True
Suppose 2*q - 15 = -3*q. Is (q - -10) + (1 - -1) a multiple of 15?
True
Suppose 0 = 20*d - 24*d + 60. Does 15 divide d?
True
Suppose o = 231 - 54. Is 10 a factor of o?
False
Suppose 4*d + 1 = 17. Suppose d*q - 2*m = 118, -5*m = 3*q - 68 - 1. Is q a multiple of 8?
False
Suppose 11*g - 4*g - 63 = 0. Suppose 0 = -g*x + 3*x + 234. Is x a multiple of 19?
False
Let z = -12 + 16. Suppose z*h = 53 + 3. Does 9 divide h?
False
Suppose -2*t = 2*t - 20, -m - 2*t = 0. Let y(r) = -r - 8. Let x be y(m). Is 13 a factor of (-4)/x + (-2 - -30)?
True
Suppose -5*k + 3*a = a + 1, 4*a - 12 = 0. Let f be (k/(-3) + 0)*-3. Suppose 31 = 4*v - f. Is 4 a factor of v?
True
Let q be (4/12)/(1/12). Suppose -q*j + 11 + 1 = 0. Suppose -3*o = -i + j + 7, 0 = -4*i + 4*o + 40. Is 7 a factor of i?
False
Let m = -3 - -39. Does 4 divide m?
True
Suppose 10 = s - 4*o, -3*s + o + 7 + 1 = 0. Let h(v) = -12*v**3 + 2*v**2 + 3*v - 2. Let j be h(s). Let k = -58 - j. Is 13 a factor of k?
True
Let r(o) = -o**3 - o**2 - o - 1. Let a be r(-1). Suppose -2*u + u - 12 = a. Is 15 a factor of (-40)/u*(-18)/(-4)?
True
Let o = 88 + 72. Suppose -3*b = 4*k - o, 2*b + k - 4*k = 118. Is 10 a factor of b?
False
Suppose -f - 1412 = -5*r, -6*r - 2*f + 572 = -4*r. Suppose 0 = -a + 4*d + 