)/12?
False
Suppose 0 = v - 3*z - 82, 4*v + 4*z - 7 - 321 = 0. Is 41 a factor of v?
True
Let m(z) = 21*z + 4. Let n be m(9). Let h = -103 + n. Does 18 divide h?
True
Let g = 35 - 30. Suppose -5*b + 289 = -0*x + 4*x, 4*x - 239 = g*b. Is 22 a factor of x?
True
Let a(o) = o**2 + 4*o - 21. Let f be a(-9). Suppose f + 47 = i. Is i a multiple of 11?
False
Let a be 4 - (-2)/(-1 - 1). Is 8 a factor of 39 + 6 - (-3 + a)?
False
Suppose 0 = -5*r - 3*z - 0 - 25, -4*z = -r + 18. Let u be 1589/14 + 1/r. Let v = u - 54. Is 18 a factor of v?
False
Suppose 6 = 2*z - 0*z. Let s be z/(9/21)*1. Suppose -s*d + 4*d = -300. Does 25 divide d?
True
Let q(f) = -f**3 + 13*f**2 - 12*f - 1. Let a be q(12). Let k be 11/((-2 + a)/3). Let m = 29 + k. Does 6 divide m?
True
Suppose g = -3*z + 3*g + 2, -2*z + 3*g + 3 = 0. Let s = 7 - z. Is s a multiple of 7?
True
Let d(j) = -j**3 - 6*j**2 + 14*j + 23. Let v be d(-8). Suppose 2*n - v = 39. Is n a multiple of 13?
True
Let c(s) = -2*s + 8. Let d(g) = 10*g - 39. Let w(f) = -11*c(f) - 2*d(f). Let t be w(6). Suppose -t = -2*r, 85 = 5*a + 4*r - 114. Is 7 a factor of a?
False
Let b(d) = -4*d - 8. Let a be b(-3). Suppose 4*g - 24 = -a*n, 5*n + 2*g - 27 + 6 = 0. Suppose 0 = k - 3*x + 2, -5*k = x - 25 + n. Does 3 divide k?
False
Let b be (1 + -1 + 1)*2. Suppose -6*p = -b*p - 44. Is p even?
False
Suppose -3*j = -2*a + 1752, -a = -4*a - 3*j + 2598. Is 15 a factor of a?
True
Let v = 732 + -361. Is v a multiple of 31?
False
Let r(b) be the third derivative of -b**6/120 + b**5/15 - b**4/12 + 2*b**3/3 - 8*b**2. Let a be r(3). Suppose -a = -l - 0*l. Is l a multiple of 5?
False
Suppose -2*h + 835 + 1539 = 0. Suppose -3*b = 5*y - 1193, -5*y + 6*b + h = 3*b. Suppose -2*x + 104 = 2*i, -4*x = -2*i - 0*i - y. Is 25 a factor of x?
False
Suppose -9135 = -13*m - 8*m. Is 5 a factor of m?
True
Suppose 3*p - 75 = 3*k, 4*p + 0*k - 109 = k. Let j = 30 - p. Is 1/(j/(-94)*-1) a multiple of 13?
False
Suppose -43 = 5*u + 27. Let n = u + -2. Let l(o) = -o**2 - 22*o + 21. Is l(n) a multiple of 38?
False
Let i = -895 - -993. Is i a multiple of 3?
False
Let f = 951 - 139. Is f a multiple of 28?
True
Is 10 a factor of 20/(5 - (-4504)/(-904))?
True
Let q = -678 - -786. Is q a multiple of 12?
True
Let o(n) = 3*n**2 + 27*n - 30. Let k be 0 - (-2)/9 - (-110)/(-9). Does 6 divide o(k)?
True
Suppose 194*w = 198*w - 8288. Is w a multiple of 39?
False
Let p(u) = u**2 - u - 6. Let a be p(3). Suppose -y + a = -4*s - 1, -s + 2*y = 9. Does 12 divide 5/s*(-128)/(-10)?
False
Let t(p) = 2 - 3 - 1 + 2*p**2. Let h be t(2). Suppose -3*o - 72 = -h*o. Is o a multiple of 12?
True
Suppose -2*c = 3*c - 125. Let n = c - 9. Does 8 divide n?
True
Suppose 176 = -3*x + 260. Is x even?
True
Suppose 27 = 4*d + 5*p, 3*d + p - 7 = 27. Suppose -4*v - d = -497. Let k = v - 64. Is 9 a factor of k?
False
Does 9 divide (-26)/65 + 167/5?
False
Is 37 a factor of (-42)/(-504) + 13763/12?
True
Let h = -987 - -1202. Is 31 a factor of h?
False
Let o = 8218 - 5428. Is o a multiple of 13?
False
Suppose 32*v - 20*v = 24. Suppose -80 = -2*r + 46. Is 5 a factor of v/(-7) + 963/r?
True
Let h = 339 - 145. Let g = h - -152. Is g/10 + 10/25 a multiple of 16?
False
Let o(p) = 16*p**2 - 3*p + 2. Let w be o(-4). Suppose w = 5*y - 3*l, 2*y - 4*l - 108 = -8*l. Is 30 a factor of y?
False
Suppose -3*q = -110 - 133. Suppose -q = -13*y + 4*y. Is y even?
False
Suppose 2*l - 3*c = 359, -2*c = l - 148 - 35. Let t = 14 + l. Does 31 divide t?
False
Suppose 9*h = 58 - 13. Suppose 0 = 5*o - 15, -h*b = -5*o - 55 - 150. Does 11 divide b?
True
Let f(l) = 26*l + 25. Let y be f(-6). Let v = -53 - y. Is v a multiple of 13?
True
Let f(u) = 3*u**2 + 3*u + 3. Let g be f(4). Suppose 11*i = -14 - 382. Let x = i + g. Is 9 a factor of x?
True
Is (-680)/(-32) - ((-9)/12)/(-3) a multiple of 21?
True
Let x = 2250 + -1650. Is x a multiple of 30?
True
Let i(p) = 28*p + 4. Let t be i(5). Suppose 0*b - 4*v - t = -2*b, -3*v = 12. Is b a multiple of 32?
True
Let f be 10 + -1 + (-5 - -3). Let w(c) = 5 + 3*c - c**2 + c**3 - 7*c**2 - 2*c + c**2. Does 9 divide w(f)?
False
Let m(x) = -5*x - 13. Let n be m(3). Let l = 93 + n. Does 11 divide l?
False
Suppose 3*j - 1627 - 1181 = 0. Is j a multiple of 8?
True
Let k = 2920 - -141. Is 107 a factor of k?
False
Let z = -50 + 91. Suppose 0 = w - z - 116. Is w a multiple of 13?
False
Suppose 8*s - 279 - 2001 = 0. Is 15 a factor of s?
True
Let i = -165 - -413. Is 62 a factor of i?
True
Let v = -357 - -246. Is 164/14 + (v/(-21) - 5) a multiple of 6?
True
Let p(l) = -10*l + 1. Let j be p(-1). Let d = 15 - j. Suppose -d*i + 28 + 4 = 0. Is 8 a factor of i?
True
Let l(n) = 11*n + 76. Is 14 a factor of l(19)?
False
Let s(j) = 5*j + 644 - 641 + 12*j**2 - 2*j. Let p be 2*(0 + (-2 - -1)). Is 15 a factor of s(p)?
True
Let f(c) = -2*c**3 - 9*c - 72. Is 7 a factor of f(-4)?
False
Suppose 3*f = 34 - 13. Suppose -1137 + 409 = -f*r. Is 52 a factor of r?
True
Is (1551*(-17)/153)/((-1)/3) a multiple of 17?
False
Suppose 3*l - 14 = 10. Let j = 6 - 2. Suppose 0 = 2*h + l, -91 + 7 = -j*x + 3*h. Does 6 divide x?
True
Suppose -2*i = -5*o + 759 - 182, -569 = -5*o + 4*i. Is 41 a factor of o?
False
Let m(y) = y**3 - y - 3*y**2 + 12*y**2 - 3 - 4. Let o be m(-9). Suppose -o*j = -3 - 5. Is j a multiple of 4?
True
Suppose 0 = -3*u - 4*b + 91, -2*b = -5*u + 157 + 12. Is 2 a factor of u?
False
Let u = 112 - 552. Let g be (-3)/2*u/15. Does 21 divide (-926)/(-11) + (-8)/g?
True
Suppose 5*g = -30 - 70. Let f = -46 - -46. Let y = f - g. Is 10 a factor of y?
True
Suppose 0 = 2*n - 3*n - 28. Let s = -7 - n. Does 10 divide s?
False
Let y(f) be the third derivative of 3*f**6/10 - f**5/60 + f**4/24 - f**3/6 + f**2 - 38. Let t be 3/2 + 1/(-2). Does 14 divide y(t)?
False
Let o(q) = 3*q**2 + 369 + 3*q**2 - 361 - 31*q - 3*q**2. Does 18 divide o(15)?
False
Let s be (3/2)/(1/2). Let p be 2/6 - ((-55)/15 + 2). Suppose -p*l - s*i + 28 = -5*i, -l + 26 = 3*i. Does 17 divide l?
True
Let f(o) = 10*o**2 - 19*o + 137. Is f(8) a multiple of 25?
True
Let l = 1160 - 753. Does 37 divide l?
True
Suppose t = -2*c + 722, 5*t + 354 = 2*c - 356. Is c a multiple of 36?
True
Suppose -3*z = -z + 5*q - 43, 2*q = -z + 19. Suppose 7 = 5*u - 3, 0 = -4*w - 3*u + 22. Suppose z*d = 7*d + w. Is d even?
True
Let k(q) be the first derivative of -5*q**2/2 + 5*q - 7. Is 7 a factor of k(-6)?
True
Let l(i) = i**3 - 12*i**2 + 36*i - 36. Is 83 a factor of l(10)?
False
Let p = 24 + -26. Let n be 763/14 - p/(-4). Let h = -10 + n. Is 11 a factor of h?
True
Suppose -5*j + 651 = -4*j + 3*l, -2*j = -5*l - 1291. Does 7 divide j?
False
Let j(p) = p**3 - 9*p**2 - 10*p - 8. Suppose -3*b - 2*b = -50. Let x be j(b). Does 11 divide (152/(-10))/(x/20)?
False
Let y = -7 - -9. Suppose 3 = -l + y*f - 0*f, -3*l + 19 = f. Suppose -56 = -4*z - 3*x, -4*x + 0*x - 70 = -l*z. Is z a multiple of 14?
True
Let d be 1/(1*(-4)/(-20)). Suppose -2*b = -d*b + 63. Is 9 a factor of b?
False
Suppose 0 = -9*r + 366 + 84. Is 10 a factor of r?
True
Let v be -23*12/(-10) + (-12)/(-30). Suppose 2*s - 13 = -2*j + 21, -2*s + 2*j = -18. Suppose z + s = v. Is 5 a factor of z?
True
Let l(x) = 2*x**3 - 6*x**2 + 39*x + 20. Is l(6) even?
True
Suppose a - f - 636 = 0, -5*f + 5 = -0*f. Is 49 a factor of a?
True
Let s = -441 - -1153. Suppose -2*f - 2*f + s = 0. Is f a multiple of 26?
False
Is 19 a factor of 329834/357 - 4/(-42)?
False
Let b(z) = 112*z - 43. Does 11 divide b(5)?
True
Suppose 5*h - 154 = 381. Let z = 181 - h. Does 22 divide z?
False
Let r = 404 - 254. Does 8 divide r?
False
Let v(y) = -4*y + 72 - 53 - 7*y. Does 16 divide v(-8)?
False
Let i be -1 + 86 + (-1 - -2). Let v = -60 + i. Suppose -3*k = -2*k - v. Is 20 a factor of k?
False
Let x be -1*((-10)/(-1) + 0). Let o = -6 - x. Is o/(-14) - 422/(-7) a multiple of 13?
False
Suppose 0 = -4*c + 405 - 269. Is c a multiple of 9?
False
Let z = 12 + -8. Let f(m) = m**3 + m**2 - m + 2. Let o be f(-2). Suppose -6*g + z*g + 32 = o. Does 8 divide g?
True
Let l = 1 + 29. Suppose -4*z - 2*u + 41 = 3*u, -5*z - 2*u + l = 0. Suppose z*o - 162 + 34 = 0. Is o a multiple of 8?
True
Let v(l) = -2*l**2 - 74*l - 54. Is 10 a factor of v(-24)?
True
Let t(l) = l**2 - 8*l + 4. Let f be t(6). Let v be f/36 + 929/9. Suppose -34 = 3*p - v. Is 6 a factor of p?
False
Does 5 divide 34 + -41 + 3 + 171?
False
Suppose 3