 14 = -a*q. Is q a multiple of 4?
False
Let r = -43 - -84. Suppose 5*w = -4*z - 30, 4*w + 4*z = -r + 13. Is 4 a factor of w - -6 - (2 - 3)?
False
Is 30 a factor of (-83 - (-3 - -4))/(8/(-20))?
True
Let n = 1135 + -788. Is n a multiple of 8?
False
Suppose 743 + 389 = 4*t + 3*d, d = -3*t + 844. Is 7 a factor of t?
True
Suppose -7 = -w - 3. Suppose 2*r + 3*p - 24 = 0, 4*r - w*p = p + 92. Does 9 divide r?
True
Suppose -2077 = -v - 1538. Is v a multiple of 9?
False
Let v = 351 + -210. Suppose -4*u + 5*y + 260 = 0, -3*y = 3*u - 81 - v. Is u a multiple of 36?
False
Suppose 2*o + 3*w = -11, 3*o = o - 5*w - 21. Suppose 5*z - 1050 = -t, -o*z + 0*t + 420 = 4*t. Is z a multiple of 21?
True
Suppose 4*p = 3*g + 981, 89 = -5*p - g + 1320. Let o = p - 164. Is o a multiple of 11?
False
Let m(d) = 10*d**3 - 2*d**2 + 25*d - 6. Is 9 a factor of m(6)?
True
Let c = 716 + -333. Suppose 4*d + c - 1407 = 0. Is 32 a factor of d?
True
Let y(o) = -o**3 + 16*o**2 + 17*o + 6. Let f be y(17). Suppose -p - 4*i + 58 = f, 0 = -2*p - 3*i + 109. Does 16 divide p?
False
Let b = 941 - -187. Is 68 a factor of b?
False
Let t = -646 + 982. Is 12 a factor of t?
True
Let q(w) = -56*w - 8. Let d be q(-2). Suppose -2*j - 4*k + d = 0, -2*k + 30 = -2*j + 140. Is j a multiple of 27?
True
Let v(j) = -j**3 - 8*j**2 + 2. Let w be v(-8). Suppose 12 - 8 = w*g. Does 2 divide g?
True
Is 39 a factor of 3543/12 + 3 + (-110)/88?
False
Suppose -5*s + 800 = 3*v, 5*s + 463 = -v + 1273. Suppose -52 = s*z - 164*z. Does 13 divide z?
True
Let j = 3 + -8. Let q = 90 - j. Suppose 2*o + 124 = 4*k, 4*o - 3*o = 3*k - q. Does 7 divide k?
False
Let y(i) = 6*i - 15. Let b be y(-4). Let t = 3 - b. Is t a multiple of 14?
True
Let p = -37 - 18. Let r = p + 62. Is r a multiple of 4?
False
Let b(l) = -l**2 - 14*l - 19. Let y be b(-13). Let s(k) = k**3 - 2*k**2 - 5*k + 2. Let x be s(y). Let a = -151 - x. Is 15 a factor of a?
True
Suppose -3*z = z + 4*x - 44, z - 1 = x. Suppose 6*q - 12*q = -12. Is (-4 - z)*q/(-4) even?
False
Let n = -804 + 301. Let c be (-8)/(-16) + n/(-2). Suppose -h = -5*h + c. Is 21 a factor of h?
True
Let m(g) be the third derivative of -g**4/12 - g**3/2 + 8*g**2. Let q be m(-3). Suppose -q*t + 153 = 3*s, t = -4*s + s + 47. Is 8 a factor of t?
False
Suppose 0 = -2*f - 2*h + 238, 5*f + 4*h = 531 + 63. Is 2 a factor of f?
True
Let a(b) = 2*b**2 - 7*b - 12. Does 12 divide a(8)?
True
Let p(n) = 5*n**2 - 7*n - 10. Let h(j) = 2*j**2 - 2*j - 3. Let g(u) = 11*h(u) - 4*p(u). Let s be g(-6). Suppose 2*z - s = 31. Is z a multiple of 16?
False
Suppose 0 = j - k + 4*k - 288, -j = 4*k - 288. Does 18 divide j?
True
Let d = -3 + 3. Suppose d = 3*t - 191 - 187. Suppose 2*b + b = t. Is b a multiple of 21?
True
Let n(g) = 57*g**3 - 7*g**2 + 3*g - 2. Is 24 a factor of n(2)?
True
Let a be (-14)/(-21) - (-14)/6. Suppose -a*q - q + 8 = 0. Suppose q*w + 4*i - 36 = 0, -2*w + 3*i = 2*i - 21. Is 12 a factor of w?
True
Is 2 + 4 + 6 + 423 a multiple of 50?
False
Suppose 323*i + 2478 = 329*i. Does 135 divide i?
False
Let h(c) = 17*c**2 + 4*c + 7. Let v = -4 + 2. Does 16 divide h(v)?
False
Let c = -13 - -61. Suppose -2*u = 2*f - c - 36, 2*f - 4*u - 84 = 0. Is f a multiple of 21?
True
Let b(s) be the second derivative of -s**5/20 + s**4/4 + s**3/3 - 3*s**2/2 + 4*s. Let f be b(2). Suppose -3*u = -f*u + 6. Is u even?
False
Suppose s + 3 = 2*l, 9 = -4*l - 0*l - 3*s. Suppose 14*d - 19*d + 115 = l. Does 10 divide d?
False
Suppose 0 = 5*n + 10, 2*n = 2*r + 5*n - 872. Does 9 divide r?
False
Suppose 0 = 5*w - 5*m - 1295, 235 = 5*w - 4*w + 5*m. Is 51 a factor of w?
True
Let y(u) = u**3 + 9*u**2 + 7*u - 5. Let m be y(-8). Suppose 0 = -h - 0 + m. Suppose 5*r - h*b = 174, -2*r + 148 = 2*r + 2*b. Is r a multiple of 9?
True
Let y(o) = o**3 + 10*o**2 - o - 4. Suppose 0 = 5*k + 6 + 44. Let t be y(k). Let i = 22 - t. Is i a multiple of 16?
True
Suppose 0 = s + 3*f - 22, 0 = -5*f + 20. Suppose 0 = -m - 5*r + 47, s*r = -4*m + 5*r + 218. Does 14 divide m?
False
Is (-25)/(-30) + 46/(-12) - -83 a multiple of 10?
True
Suppose -4*j + 0 = 4. Let s = -160 - -178. Let n = j + s. Is 11 a factor of n?
False
Let h(b) = -65*b - 836. Does 21 divide h(-29)?
False
Suppose -3*z + 4*i - 24 + 108 = 0, -2*z - 3*i = -39. Let l(a) = a**2 + 7*a - 6. Let b be l(-5). Is 7 a factor of ((-44)/b + -2)*z?
False
Let g = 62 + -57. Is 8 a factor of (-2 + 195/25)*g?
False
Suppose 8*f = -1046 + 4982. Does 12 divide f?
True
Suppose 4*l - 997 = 2039. Does 23 divide l?
True
Suppose -4*b + 30 = -h - 18, 5*b + 96 = -2*h. Let j be (h/(-36))/(1/(-6)). Let i = 70 - j. Is 24 a factor of i?
False
Suppose 200*z = 205*z - 4035. Is 29 a factor of z?
False
Suppose 5*i + 2805 = 4*s, 2*s + 2*i + i = 1397. Suppose 2*p - 4*p = -s. Is 50 a factor of p?
True
Suppose 2*w + 6 = 0, 0*w - 9 = -3*z + w. Suppose 0*h - z = -h. Suppose h*s - 8 - 28 = 0. Does 6 divide s?
True
Let p(x) = -x**3 - 6*x**2 - 7*x - 10. Let t be p(-5). Suppose 2*w + k - 71 = t, 4*w - 95 = -5*k + 62. Suppose 0 = 2*q - 17 - w. Is 6 a factor of q?
False
Let k(y) = 2*y + 27. Let t be k(-11). Let x(l) be the second derivative of l**3/6 + 3*l**2 - 3*l. Is x(t) even?
False
Suppose -4*u + 8*u - 1260 = 0. Suppose p - 3*k = -6*k + 158, 0 = 2*p + 5*k - u. Is 31 a factor of p?
True
Let i = -975 + 1443. Is 39 a factor of i?
True
Suppose 26 = -h + 226. Does 16 divide h?
False
Let k(i) = 2*i**2 + i**3 - 12*i - 6 - 5*i**2 + 10*i**2 - 4. Let m(h) = h**3 + 8*h**2 - 13*h - 9. Let g(s) = -5*k(s) + 6*m(s). Does 9 divide g(-14)?
False
Is 4 a factor of -1*-265*(-4)/((-40)/6)?
False
Suppose 14*j = 6*j. Suppose -2*t - 2 - 2 = j, -t = 3*m - 34. Does 12 divide m?
True
Let g = 4343 - 3056. Is 20 a factor of g?
False
Let u(y) = -7*y - 5 + y - 5 - 1 + 7*y**2. Is u(7) a multiple of 29?
True
Suppose -11 = -4*y + 2*t + 5, -12 = -3*y - 4*t. Suppose y*d - 9*d = -685. Is 26 a factor of d?
False
Suppose h - 42 = 87. Is 16 a factor of h?
False
Let f(k) = -k + 54 - 23 - 3*k - 27. Is f(-9) a multiple of 8?
True
Let y = -3 + 6. Let z = y - 3. Suppose z = -m + 4*m - 168. Does 12 divide m?
False
Let p = 462 - 162. Is p a multiple of 25?
True
Suppose -2*i - 34 = -3*w + 2*i, 4*w = i + 28. Suppose w*j = 3*j + 90. Is 7 a factor of j?
False
Let s = 11 + -15. Let y = 0 - s. Is (34/y + -2)*6 a multiple of 14?
False
Let c = 94 - 64. Is 32 a factor of c - (((-6)/2)/3 - 1)?
True
Let o = -283 + 509. Let q = -157 + o. Is 25 a factor of q?
False
Let d = -32 + 27. Is d/(-1)*28/10 a multiple of 7?
True
Suppose -4*t = -z + 1467, -1777 - 1217 = -2*z - 4*t. Is 15 a factor of z?
False
Suppose 3*z - 30 = -p, 2*p - 3*z + 7*z - 52 = 0. Let w = 2 + 0. Suppose 42 = w*v + p. Is v a multiple of 4?
True
Let c = 608 + -128. Does 4 divide c?
True
Let w = 1298 + 168. Does 9 divide w?
False
Suppose -5*w = d + 11, -d - 28 = 4*d - 2*w. Is 9 a factor of (-3)/12*18/1*d?
True
Let f be (-203)/(-42) + (-1)/(-6). Suppose q = f*t - 183 - 137, 5*t = 5*q + 320. Is 53 a factor of t?
False
Let u(a) = -14*a. Let c be u(-2). Let p = -22 + c. Suppose 3*i - 198 = -p*i. Does 5 divide i?
False
Is 18 a factor of (172/18)/((-13)/(-234))?
False
Let l be (166/2)/(5/10 - 1). Let r = l + 240. Is r a multiple of 8?
False
Suppose 2*j + 4*u + 260 = 4*j, 5*u - 650 = -5*j. Is 9 a factor of j?
False
Suppose 3*r + 34 = 5*i, 9 = 2*r - 5*r. Does 15 divide (25 - (0 + 4))*i?
True
Let u(p) = -6*p**2 - p + 1. Let t be u(-2). Let k be (t/1)/(27/(-18)). Suppose v = -v + k. Is 4 a factor of v?
False
Suppose -2*u - 149 = 2*v + 167, 3*u = -4*v - 635. Let c = v - -449. Is c a multiple of 32?
True
Suppose 0 = 3*m + 6, 18 = -2*z + m + 2*m. Is 14 a factor of 32 - z/(-2 - 1)?
True
Suppose -3*p + p + 22 = 0. Let h(r) = 6*r + 0*r - 2 + p*r. Does 10 divide h(2)?
False
Suppose -26*s + 301 = -25*s. Is s a multiple of 67?
False
Let z = 924 - 487. Does 61 divide z?
False
Suppose 2259*m - 2254*m - 4350 = 0. Is 3 a factor of m?
True
Suppose -4*b + 3*u - 9 + 1 = 0, -2*u = -5*b - 10. Does 15 divide 197 + -5 - (b + -1)?
True
Let u(d) = d**3 - 7*d**2 + 6*d - 4. Let z be 12 - ((-20)/(-8) + (-3)/(-6)). Is u(z) a multiple of 12?
False
Let s = -523 + 898. Is 73 a factor of s?
False
Let h = -355 - -2575. Is h a multiple of 30?
True
Let g be (134/(-3))/((-3)/9). Let w = g + -226. Does 15 divide (-3)/9 - w/6?
True
Suppose 10*s - 48 = 272. Does 8 divide s?
True
Let l(h)