 6 = n. Is 14 a factor of n?
True
Let k(a) = a**3 + 2*a**2 - 3*a - 2. Let j be k(-3). Is ((-6)/9)/(j/93) a multiple of 15?
False
Suppose 285 = 3*w - d + 2*d, -w = 3*d - 87. Does 16 divide w?
True
Suppose 0 = -5*i - l - 0*l - 481, 4*i - l + 383 = 0. Let r = 171 + i. Is r a multiple of 18?
False
Let q(d) = 34*d. Let g(i) be the first derivative of i**2/2 + 3*i + 1. Let h be g(-2). Is q(h) a multiple of 17?
True
Let i(w) = -2*w - 7. Let q(g) = 9*g + 35. Let h(s) = 11*i(s) + 2*q(s). Is 12 a factor of h(-5)?
False
Let o be 2/(-5)*26*-5. Suppose 0 = -2*f, -5*u - 2*f - o = -627. Let x = u + -64. Is x a multiple of 21?
False
Let y = 10 + 0. Suppose -2*n - y = -7*n. Suppose 33 = n*m - 9. Does 21 divide m?
True
Suppose 3*t + 94 = 5*t. Let x = 28 - t. Let l = x - -43. Is l a multiple of 12?
True
Let g(w) = w**3 + 7*w**2 - 2*w - 2. Suppose 5*k = i - 31, -5*i - 43 - 12 = 5*k. Does 6 divide g(k)?
True
Let r be ((-2)/6)/((-2)/6). Is 6 a factor of (r/2)/(2/40)?
False
Suppose 5*p = 2*p - 2*i + 22, 5*p = i + 15. Suppose 0 = p*t + 2*v - 48, -3*t + v + 57 = 11. Does 7 divide t?
True
Let z = 5 - -18. Is 6 a factor of z?
False
Suppose 0*l - 308 = -2*l + 4*q, 3*l - 465 = 3*q. Does 13 divide l?
True
Let l = 244 - 112. Is 33 a factor of l?
True
Suppose -10 = -r - 4*b, -r + b + 0*b = 0. Suppose -4 = v - 3*v. Is (r*3)/2 + v a multiple of 2?
False
Let n(o) = -o**3 - o**2 - 3*o + 2. Let q be (1*-1)/((-5)/(-15)). Does 16 divide n(q)?
False
Suppose -4*s = 5*i + 2 - 20, 0 = 3*s - 2*i - 2. Suppose 0 = 4*y - s*y. Suppose y = -3*l + 10 + 2. Is 3 a factor of l?
False
Let i(k) = -k**3 - 10*k**2 + 12*k + 8. Let n be i(-11). Does 16 divide (33/22)/(n/(-128))?
True
Suppose -8*t = -3*t - 45. Let k = t - -19. Does 14 divide k?
True
Let u(a) = -10*a + 2. Let d(j) = -7*j + 1. Let h(c) = -7*d(c) + 5*u(c). Let b be h(-4). Suppose -b = -2*q + 5. Is 3 a factor of q?
True
Suppose 351 = 4*t + 99. Let y = -39 + t. Is y a multiple of 12?
True
Let a(h) = 4*h - 10. Let n be a(6). Suppose -3*g + 16 = -n. Is g a multiple of 7?
False
Suppose 4*m = 2*x - 92, -3*x + 4*m + 98 = -42. Is x a multiple of 16?
True
Does 5 divide 15*(-1)/(-3)*3?
True
Let g(s) = -s**2 - 9*s + 12. Let f be 1 - (10 - (1 + -2)). Let y be g(f). Suppose -5*o + 58 = y*x - o, -17 = -x + 4*o. Is x a multiple of 12?
False
Let h(o) = o**3 - 7*o**2 - 2*o + 2. Is 25 a factor of h(8)?
True
Suppose -2*b + 2 = 0, 0 = -4*k - b - 0*b - 15. Let f(u) be the first derivative of -u**3/3 - 7*u**2/2 - u + 1. Is f(k) a multiple of 4?
False
Let i = -25 - -24. Does 14 divide (i/3)/((-6)/378)?
False
Let o(p) = -p**3 + p**2 + 3*p - 5. Is o(-4) a multiple of 11?
False
Let s be -3*(60/(-9) + 3). Let d = 42 - s. Is 8 a factor of d?
False
Suppose 47 + 18 = 5*l. Suppose -3*n + l = -5. Suppose 14 = 2*k + 2*q - n*q, 3*k + 3*q = 39. Is k a multiple of 11?
True
Let g(z) = -3*z**2 + 7*z + 3. Let k(l) = 4*l**2 - 8*l - 4. Let q(o) = 5*g(o) + 4*k(o). Is 3 a factor of q(2)?
True
Let q = -3 - -7. Let k(w) = 0*w + 3 - 6*w - q. Is 5 a factor of k(-1)?
True
Is 2*(-3 - 26/(-4)) a multiple of 2?
False
Suppose -3*u + 116 = -4*d, 118 = 4*u - d - 28. Is u a multiple of 12?
True
Let c = -5 + 9. Let l be -17 + (4 + -3)*1. Is 12 a factor of (-420)/l - (-3)/c?
False
Let n = -9 + 14. Let l(k) = k**3 - 3*k**2 - 2*k + 2. Is 14 a factor of l(n)?
True
Let l = 628 + -332. Is 11 a factor of (-4)/(-20) + l/20?
False
Is (-3986)/(-14) + 8*10/280 a multiple of 19?
True
Let h be (10/(-20))/(2/(-20)). Suppose 3*r - 114 - 21 = 0. Suppose -f + h*f = 3*b + 5, 5*f + 4*b = r. Is 5 a factor of f?
True
Suppose 4*t + 5*f + 51 = 0, 5*t - t + 33 = f. Does 8 divide (-440)/(-45) - 2/t?
False
Suppose -12 = -2*u - 0. Suppose 5*p = 4*p + u. Does 2 divide p?
True
Let h(t) = -t - 5. Suppose 0 = -2*x - 3*z - 17, 5 = x - 2*x + 2*z. Let q be h(x). Suppose q*m = y + 14, m + 0*y + y = 13. Is m a multiple of 9?
True
Let s(v) = 7*v + 7. Is 7 a factor of s(13)?
True
Suppose 0 = -2*k - 5*k + 511. Is 12 a factor of k?
False
Suppose -6 + 0 = -q. Does 6 divide q?
True
Let z(g) = -26*g. Does 44 divide z(-5)?
False
Let b(l) be the third derivative of -l**5/60 + 5*l**4/12 - l**3/6 + 2*l**2. Is b(4) a multiple of 8?
False
Let q = -80 - -117. Suppose q = u + 6. Is u a multiple of 13?
False
Let d(g) = 2*g**2. Let z be d(-1). Suppose -z*r = -4*c - 16, -2*c + 5 = r - 7*c. Let p = 2 + r. Is 11 a factor of p?
False
Suppose 7*v - 160 = 2*v. Is v a multiple of 8?
True
Suppose -3*n = -n - 12. Let a = n + -6. Let p(g) = g**2 + g + 21. Is p(a) a multiple of 6?
False
Let y be 9/2*-2 + 3. Let n = y - -8. Suppose 4*s - s - 42 = -j, -82 = -n*j - 5*s. Is 18 a factor of j?
True
Suppose 0 = -g - 0*g - 1, -120 = -o + 2*g. Suppose 5*t - o - 2 = 0. Does 8 divide t?
True
Let d = 0 - -2. Suppose -3*q + 60 = d*q. Is 10 a factor of q?
False
Let y(m) = m**2 - m + 7. Is y(6) a multiple of 11?
False
Suppose v + 32 = -4*y + 5*v, -4*v = y + 8. Let d(g) = -g**3 - 7*g**2 + 7*g + 11. Does 7 divide d(y)?
False
Let u be 2*-40*32/(-10). Does 6 divide (-4)/(-22) + u/44?
True
Let d be (5 + -2 + 56)*-4. Let y = -166 - d. Let z = y + -48. Is z a multiple of 10?
False
Suppose -5*f = 15, 2*s + 0*f = -2*f. Suppose b = s*b - 92. Does 17 divide b?
False
Suppose 2*c + 2*w = 6, c = -2*w - 0*w + 3. Let z(n) = 2*n + 2. Let t be z(c). Does 17 divide (-12)/t*(-1 + -37)?
False
Let f be (-22)/(-6) + (-8)/(-24). Does 8 divide (-2 + -2)*(2 - f)?
True
Suppose -2*n - 3*n + 20 = 0. Suppose -5*f + 81 + n = 0. Does 9 divide (6/3)/2 + f?
True
Let k be (-2 + 1)*(-1 - 0). Suppose -2 - 6 = -2*l. Suppose -3*o + 27 = l*i + k, -o + 18 = -i. Is o a multiple of 7?
True
Suppose 4*v = f - 18, 5*f - 35 = 3*v + 55. Is 12 a factor of f?
False
Let q be ((-2 - -3) + -4)*-1. Let v(k) = 4*k + 2*k - 2*k**3 + 3*k**q - 5*k**2. Is 15 a factor of v(5)?
True
Suppose 0*r + r + 4 = 0, -2*l + 36 = 3*r. Is 8 a factor of l?
True
Let i = 161 - 113. Let p = -29 + i. Is 19 a factor of p?
True
Suppose -1 - 9 = -5*f. Suppose f*x + 8 = -2*x. Is (81/(-45))/(x/30) a multiple of 18?
False
Let m(z) be the first derivative of 7*z**3/3 + z**2/2 - 3*z - 4. Does 19 divide m(-3)?
True
Let l(b) = -b + 9. Let k be l(6). Let d = k + 17. Does 20 divide d?
True
Let z = 344 - 176. Suppose -z = -3*h - h. Is h a multiple of 29?
False
Let j = 5 + 66. Does 10 divide j?
False
Suppose 5*v - 14 - 16 = 0. Let c be 7/2 - v/4. Suppose c*p + 2*p - 176 = 0. Is p a multiple of 17?
False
Suppose 2*p = 10 + 2. Does 13 divide ((-6)/15)/(p/(-330))?
False
Is (-3 - (63 + 0))/(-1) a multiple of 22?
True
Let i(c) = c**2 + 9*c + 5. Let w be i(-9). Suppose 0 = w*p - 3*p - 44. Is p a multiple of 11?
True
Let p be -2*-15*(-1)/(-2). Suppose 93 = -p*o + 18*o. Is o a multiple of 15?
False
Let q be 4/(-14) - (-80)/(-14). Let s(i) = -i**3 - 6*i**2 - 4*i + 6. Is s(q) a multiple of 10?
True
Suppose b + 4*i - 282 = i, -5*b = 4*i - 1432. Is 24 a factor of b?
True
Let k(d) = d**2 + d + 29. Let s = 4 - 4. Does 25 divide k(s)?
False
Let m(x) = 7*x. Let i = -10 - -11. Let c be m(i). Is (c - 3) + (-1)/1 a multiple of 2?
False
Is 38 a factor of (-4873)/(-55) - 4/(-10)?
False
Let w(h) = 5*h**3 + 5*h + 4. Let z be w(-3). Is 18 a factor of z/(-4) + (-12)/24?
True
Does 23 divide (-69)/(0 - (2 + 1))?
True
Suppose -a + 8 = 5. Suppose 31 = a*o - 2*o. Is o a multiple of 31?
True
Is 0*1/(-3) + 30 a multiple of 8?
False
Let f(g) = g**3 - g**2 - g - 2. Let x be (-7 + 1)*(-2)/4. Is f(x) a multiple of 13?
True
Let l be -1 - (-5)/(10/12). Suppose -4 = l*p - 24. Is 4 a factor of p?
True
Suppose -i - 43 + 116 = 3*m, -2*i + 110 = -3*m. Is i a multiple of 4?
False
Let o(f) = -3*f**2 + f + 2. Let c be o(-3). Does 21 divide c/(-6)*9/1?
True
Let n(g) = -g**2 - 12*g + 11. Is 16 a factor of n(-9)?
False
Suppose 2*x - 5*c = 4, -2*x - 2*c + 6 = x. Suppose 1 = -x*r + 85. Does 21 divide r?
True
Suppose -3*l + 5*l - 64 = 0. Suppose m + 64 = 2*r + 4*m, r - l = -2*m. Is r a multiple of 25?
False
Suppose u - 14 = -2*s - 3, 3*u = 5*s - 55. Suppose 4 = -a + 3*a - 4*g, -3*a + 3*g + 6 = 0. Is s - (a + 1)/3 a multiple of 3?
False
Suppose -u = -3*u. Suppose u = 3*t - 2*q + q - 33, 0 = -2*q. Is t a multiple of 3?
False
Is 16/(-56) - 172/(-14) a multiple of 4?
True
Let s(h) = -8*h + 2. Let o(z) = 8*z - 1. Let d(n) = -4*o(n) - 3*s(n). Suppose -6*j + j - 35 = 5*l, -5 = -5*j + 3*l. Is 7 a factor of d(j)?
Tru