13. Let w = p - 351. Is 24 a factor of w?
False
Let x(i) = i**2 + 74*i + 503. Is x(-73) a multiple of 3?
False
Let f be -4*(-24)/6*54. Let n = f + -567. Does 33 divide n?
True
Suppose 2*o = -8, -4*z - 4 = -6*z + o. Suppose -5*u + 197 - 37 = z. Is 8 a factor of ((-6)/(-8) + (-39)/(-12))*u?
True
Suppose 0 = 4*d + 5*g - 1157, 260 = d - 2405*g + 2403*g. Is d a multiple of 2?
True
Let g be (0 + (-190)/4)*-12. Suppose 6*d + g = -642. Let f = -114 - d. Does 22 divide f?
True
Let b(y) = y**2 - 7*y - 5. Let l be b(11). Suppose -8*x + 97 = -l. Is x a multiple of 2?
False
Let v = 490 + -484. Suppose -v*k - 1543 = -4519. Is k a multiple of 44?
False
Suppose 74 = -17*i + 346. Suppose -2*v - 336 = -i*v. Suppose v = r - 4*z, -3*z - 2*z + 220 = 5*r. Is 10 a factor of r?
True
Let f(o) = -2*o**3 + 21*o**2 + 37*o + 16. Let x be f(12). Suppose -16 = 4*p - x, -5*u + 738 = p. Is u a multiple of 4?
False
Let s = 61 + -52. Suppose -30*l - 5*c = -31*l + 603, s = -3*c. Is 66 a factor of l?
False
Let o(s) = -3*s**3 - 34*s**2 - 103*s + 15. Is o(-10) a multiple of 17?
False
Suppose -4*s + 0*s = x - 98, -3*x + s + 281 = 0. Suppose -8*d + x = -4*d + 2*r, -78 = -3*d - 4*r. Is 11 a factor of d?
True
Suppose 2 = m - 0. Does 9 divide -3 - (m + (-4 - 15) + -4)?
True
Let o(i) = 366*i - 1050. Is o(7) a multiple of 53?
False
Let p = -20266 - -46494. Does 179 divide p?
False
Let l(d) = -1 + 52*d**2 + 48*d**2 - 1 + 1. Let y be l(1). Suppose -91 = -2*q + v, y = 4*q + 3*v - 108. Is q a multiple of 12?
True
Let r = -693 + 16333. Is 8 a factor of r?
True
Suppose 4*t = 0, 1252 = 4*l + 5*t - 9*t. Let z = l + -153. Is z a multiple of 9?
False
Suppose 0 = -4*i + 3*m + 324, 2*m = 2*i - m - 168. Is 784/5 - (-7 - i/(-10)) a multiple of 13?
True
Let s = -5 + 54. Suppose 0 = -3*v + 55 - s. Is (-2)/1*(-59)/v a multiple of 25?
False
Let f be ((-6)/(-7))/(-3)*-7. Suppose k - 74 = -z, 0 = -4*z + z + f*k + 242. Is 13 a factor of (-13)/z + (-79)/(-6)?
True
Let b(q) = q**3 - 46*q**2 - 47*q + 271. Is b(47) a multiple of 14?
False
Let y = -6666 - -7881. Does 15 divide y?
True
Suppose -436 = -g + 56. Let z = g + -257. Is 28 a factor of z?
False
Let n(c) = -c**3 + 2*c**2 + c. Let z be n(0). Suppose z*d = d - 217. Does 31 divide d?
True
Suppose 337627 - 80991 = 3*g - 4*n, 3*g = -2*n + 256666. Is 22 a factor of g?
False
Is (14946 - 21) + 8 - (2 - -1 - 1) a multiple of 237?
True
Let o(y) = -y**3 + 14*y**2 - 19*y + 6. Let s(i) = 10*i + 94. Let t be s(-9). Is o(t) a multiple of 10?
True
Suppose i - 4*a = 19, -21*a = 2*i - 24*a - 13. Is 8 a factor of 1587/(-138)*(-33 + i)?
False
Let p = 341 + -191. Let w = -50 + p. Is w a multiple of 11?
False
Suppose 4*h - 4 = 0, 20*h - 19*h = -4*d + 27993. Does 165 divide d?
False
Let y(k) = 91*k**2 - 460*k + 27. Is 117 a factor of y(-18)?
True
Suppose -5*b - 13 = v, -v + 4*b - b + 11 = 0. Is 29 a factor of 870/4*(140/50 - v)?
True
Let q(r) = -3*r**3 - 8*r**2 - 2*r - 1. Let a(f) = -f + 8. Suppose -6*d = -2*d - 44. Let h be a(d). Does 4 divide q(h)?
False
Let u = -3108 - -4442. Is u a multiple of 23?
True
Let o = 2 - -31. Suppose n = -4*k + 181, -4*k + 2*n + 179 = n. Suppose 0 = o*h - 36*h + k. Is h a multiple of 6?
False
Let s be 20/(-16)*(5 - 1) - -9. Suppose s*v = k + 162, 4*v = -k + 6 + 152. Is v a multiple of 8?
True
Let q(v) = v**3 + 21*v**2 - 13*v + 853. Is q(-22) a multiple of 3?
False
Does 66 divide 468938/222 - (-33)/9?
False
Let i(x) = -x**3 + x**2 + 30*x + 350. Is i(-7) a multiple of 8?
False
Suppose 14*s - 14 - 42 = 0. Suppose 1296 = s*o - 0*o. Does 12 divide o?
True
Suppose 3*w + l - 20973 = 0, -w - 3*l + 9633 = 2658. Is w a multiple of 21?
True
Suppose -5*u = -5*i - 4893 - 39357, 0 = 5*u + 2*i - 44250. Is 16 a factor of u?
False
Let p(k) = -k**2 - k + 9. Let u be p(3). Let a be (-8 + 11)*(-1)/u*10. Is (-2)/a - (-13376)/80 a multiple of 27?
False
Suppose -1534 = -2*o - 3*j, -5*j = 3*o - 4*o + 741. Is o a multiple of 13?
False
Let l(f) = 92*f**2 + 21*f - 2. Let q be l(9). Let y = q + -3679. Does 14 divide y/42 + 2/(-7)?
False
Let m = 1244 + -756. Does 3 divide m?
False
Suppose -12 = -5*c - 3*a, -3*a + 13 - 1 = c. Suppose -u = 4*x - c*u - 68, -x - u = -20. Does 14 divide ((-952)/x)/((-1)/2)?
False
Suppose 16*i + 8*i = 0. Suppose 46 - 48 = 2*u, i = -c - 4*u + 747. Is 61 a factor of c?
False
Suppose -j + 1302 + 4886 = 0. Is j a multiple of 68?
True
Let x be 766/10 + 6/(-10) + -4. Suppose -x + 184 = 7*h. Let i = 91 - h. Is i a multiple of 25?
True
Is (-1 + -6)*825/(-385) + -1 a multiple of 8?
False
Let p(x) = -7*x**2 - 96*x - 2*x**3 + 80*x - 9*x**2 - 17 + x**3. Let i be p(-15). Is 13 a factor of 792/20 - (21/(-15) - i)?
True
Let s(y) = -2*y**3 + 5*y**2 + 5*y - 5. Let w be s(3). Let j(m) = 139*m**2 - 12*m + 9. Is j(w) a multiple of 8?
True
Suppose k = -2*k - 3*x + 3, 5*x + 11 = 3*k. Suppose 3*r - 9 = -4*b + b, k*r = 4*b + 6. Suppose 39 = 5*u - 4*g, r*g - g - 19 = -u. Is u a multiple of 3?
False
Let r(o) = -26*o + 908. Is r(7) a multiple of 6?
True
Suppose -6*u = -2*u + 8, -3*u = 3*a - 36. Let b be (a - 9) + (-8)/(-2). Suppose b*i = 448 - 7. Does 7 divide i?
True
Suppose 104*l - 7704912 = -103*l + 2551731. Does 168 divide l?
False
Let d(w) = 14*w**2 - w - 30. Let o = -197 + 202. Is d(o) a multiple of 21?
True
Is 771 + 1 + -3 + 18/(-2) a multiple of 8?
True
Suppose -5 = 2*w + n, -2*w + n = -1 + 4. Let z be 10*(w/4)/1. Let l(k) = -30*k - 11. Is l(z) a multiple of 22?
False
Suppose 2*j + 135 = 29*j. Suppose j*a - 44*s + 39*s = 660, -2*a + 3*s + 262 = 0. Is a even?
True
Let h = -140 - -396. Suppose -h - 716 = -4*k. Is 9 a factor of k?
True
Let s(j) = -6*j**3 + 42*j**2 - 20*j + 40. Is 12 a factor of s(-10)?
True
Suppose -14*m - 11540 + 31924 = 0. Is 13 a factor of m?
True
Let v(f) = 3*f**3 - f**2 - 2*f + 4. Let w be (-3 - 0) + 3/((-15)/(-25)). Is 2 a factor of v(w)?
True
Let u = -153 - -807. Let h = u + -392. Suppose 4*p - 294 + 40 = b, 4*p + 3*b - h = 0. Is p a multiple of 17?
False
Suppose -5*g + 68671 = -n, -16*n + 8421 = -g + 22171. Is g a multiple of 384?
False
Let b be (-8)/(-6)*(-13 + (3 - 2)). Let g = -18 - b. Is 6 a factor of (g/(-6))/(1/54)?
True
Let c(m) = 306*m + 679. Is c(-2) a multiple of 2?
False
Let d be (0 + 4 - 22)*146. Let l be d*(-2)/(-3)*-1. Suppose -4*i + l = 452. Does 51 divide i?
False
Suppose 0 = -20*t - 304 - 56. Let f = t + 176. Does 25 divide f?
False
Let l(v) = 8*v - 16. Let s be l(8). Is s/312 - (-2 + 3157/(-13)) a multiple of 35?
True
Let s(n) = 9*n**3 + n**2 - 4*n + 3. Let o(j) = -4*j - 23. Let f be o(-6). Let h be s(f). Suppose -r = -8 - h. Is 2 a factor of r?
False
Let u(x) = -3*x**2 + 79 - 6*x - 7*x**2 + 74 + 11*x**2. Is 10 a factor of u(0)?
False
Suppose -c - 50 = -61. Suppose -t = j - 122, -c*j - 5*t + 485 = -7*j. Does 11 divide j?
False
Let i = -9078 + 15258. Is i a multiple of 206?
True
Let v be (5 - 3) + (4 - 3). Let z be (-825)/(-5) + v/(-1). Let b = z - 38. Does 31 divide b?
True
Let f be 993 + -1*(2 + 1). Suppose -5*n + f = 5*n. Suppose -2*p + s + 133 = -n, s = 0. Is 12 a factor of p?
False
Suppose -4*p = 5*r - 22 - 17, -3*p = -3*r - 9. Let c be (-320)/p + -5 + 39/9. Let j = c + 88. Is 17 a factor of j?
True
Let o = -829 - -1520. Suppose -2*c + 680 = 4*y, -o + 23 = -4*y + c. Is 12 a factor of y?
True
Let u(h) = 5*h**2 - 2*h - 1. Let j be u(-1). Let q be j/(-2) - (2/(-2) - 14). Suppose 108 = 3*z - q. Is 16 a factor of z?
False
Let t(v) = v**2 - 6*v - 3. Let c be t(5). Let j(d) = -5*d**2 + 4*d**2 - 11*d - 13 + 7. Is j(c) a multiple of 9?
True
Suppose 21*y - 106765 = -12*y + 3653. Does 22 divide y?
False
Let k be -508*40/(-224) - (-4)/14. Suppose k = 3*l - 0*p + p, l - 5*p = 57. Is l a multiple of 16?
True
Suppose -46*t + 50*t + 40 = 5*o, -4*o - 4*t - 4 = 0. Suppose 5814 = 10*m - o*m. Is 24 a factor of m?
False
Let z(a) = a**3 + 15*a**2 + 37*a - 14. Let k be (0 + -22)/(-3 + -3 - -8). Does 7 divide z(k)?
True
Suppose -x + 2462 = -i - 633, -6 = 3*i. Is x a multiple of 11?
False
Suppose -18922 = -5*p + 2*h, 5*p - 8584 = 5*h + 10356. Does 31 divide p?
True
Let p = -2486 + 3525. Is p a multiple of 5?
False
Let n be 48/216 - (-7)/((-63)/(-1240)). Suppose 17*x + n = 2178. Is x a multiple of 9?
False
Suppose 32 = -i + 135. Let l = 40 - i. Does 7 divide -5 + (-5 - l) - 0?
False
Let r = 128 + -66. Suppose 22*n - 21*n = r. Suppose 3*d - 37 = n