 = 0, -3*h = -r + 2*h + 43. Is 22 a factor of r?
False
Suppose 2*a + 3858 = -4*w, -471 = w - 2*a + 501. Let s = 1401 + w. Is 29 a factor of s?
True
Let n(q) = 22*q + 9. Let l be n(-3). Let o be (-10)/(-95) + (-222)/l. Suppose 4*s - 74 = -3*r - 0*r, 72 = o*s + 4*r. Is 3 a factor of s?
False
Let w be 103 - 6*6/(-9). Let u = -106 + w. Is 260 + -1 - (11 - (6 + u)) a multiple of 17?
True
Let x be 1/4 + 30/40. Let c be (-36)/9 + (x - -152). Let f = c + -71. Does 26 divide f?
True
Let b(w) = -2645*w - 1140. Is b(-14) a multiple of 74?
True
Let w(g) = 3*g**3 + 29*g**2 - 28*g + 27. Let k(a) = a**3 + 10*a**2 - 9*a + 9. Let u = 22 - 25. Let o(f) = u*w(f) + 8*k(f). Is o(-9) a multiple of 4?
False
Suppose 2*k - 25944 = 37*d - 41*d, 4*d - 25944 = k. Is 46 a factor of d?
True
Let s = -148 + -50. Is (s/(-54))/(1/18) a multiple of 5?
False
Suppose 3*f + 12 = 0, -3*p + 3*f - 1127 = 856. Let d = p + 781. Is d a multiple of 29?
True
Suppose -7994 = -v + 4*t, -v = 4*t - 1054 - 6892. Is v a multiple of 31?
False
Let u(q) = 4*q**2 + 5*q - 14. Suppose -2*k + 85 = -39. Let d = 55 - k. Does 49 divide u(d)?
True
Let q(j) = 86 - 144 + 90 - j + 3*j. Is 16 a factor of q(8)?
True
Let n(l) = 22262*l - 48. Is 135 a factor of n(2)?
False
Let p be 130/(5/1 + (-5 - -2)). Let g = 29 - p. Let t = 47 + g. Is t a multiple of 6?
False
Let c = 4974 - 571. Does 37 divide c?
True
Let q(s) = 13*s + 7. Let d be q(0). Suppose -d*n + 1364 = -2*n - f, -4*f = 16. Suppose -w = 64 - n. Is w a multiple of 50?
False
Let q = 102 + -259. Let u = q + 295. Is 16 a factor of u?
False
Let g(u) = -u**2 + 14*u + 208. Let v be g(-9). Is v/2*((-54)/(-3) + 4) a multiple of 11?
True
Suppose 4*u - 15*r + 12*r = 1206, -3*r = -u + 315. Does 12 divide u?
False
Let u(q) = -13*q - 5. Let b be u(3). Let j = 107 + b. Let o = -45 + j. Is 9 a factor of o?
True
Does 47 divide (4 - 7)*-1*(-11468)/(-12)*2?
True
Suppose 58*x - 15723 = -5280 + 6029. Suppose 0 = -b + 3*a + 17, 2*b - 45 = -a - 4*a. Suppose 5*o = b, 3*t - 7*t = o - x. Is 26 a factor of t?
False
Let r(w) = 3*w**2 - 12*w + 84. Suppose 63*l - 56*l = 112. Is 11 a factor of r(l)?
True
Let x be -1 - (-1 - -1 - 2). Let s(q) = -3*q**2 + 3. Let t(b) = -210*b**2 + 105. Let u(y) = 70*s(y) - 2*t(y). Does 42 divide u(x)?
True
Suppose 3*h + 3*p - 12786 = 0, -h - 2*p = -1982 - 2275. Is 150 a factor of h?
False
Let a = 615 - 610. Suppose 6*m - 9*m = -g + 225, -a*g + 1125 = -2*m. Is 25 a factor of g?
True
Let m be 20/((-3 - (-7)/2)/1). Let z be 2 + (34*1 - 0). Is 24 a factor of (m/(-15))/((-2)/z)?
True
Let q(k) = -2*k + 14. Let i be q(5). Suppose -2*y - 16 = -2*j, 0*j + i = j + y. Suppose j*u - 7*u + 23 = 0. Does 13 divide u?
False
Suppose -49545 = -5*m + 5*j, 3*m - 5660*j + 5664*j - 29769 = 0. Is m a multiple of 5?
True
Suppose 218*i + 1450485 = 8541371. Is i a multiple of 77?
False
Let r be 2*(-23)/(-14) - (-16)/(-56). Suppose 4 + 5 = r*q. Suppose -441 = -3*s + q*x, -5*x + 3*x + 770 = 5*s. Is 19 a factor of s?
True
Suppose 4*t - 2*a = -7*a - 211, 0 = 2*a - 2. Let i = t + 78. Suppose -630 = -i*w + 17*w. Is 17 a factor of w?
False
Let r = 15803 - -26632. Is r a multiple of 205?
True
Let i(z) = 28 - 8 + 0*z + z. Let q be i(12). Suppose 60 = q*p - 30*p. Is p a multiple of 5?
True
Suppose -41 = -4*a + 263. Let l = -136 + 176. Let p = a - l. Is p a multiple of 9?
True
Let v = -69 - -72. Let r be (1 - -244) + (-4 - -10 - v). Suppose -3*z + 2*w = -r - 66, 2*z - 184 = -5*w. Is z a multiple of 17?
True
Suppose 66750 = 284*s - 259*s. Does 51 divide s?
False
Let w(x) = -68*x - 3. Let q be w(-1). Let g = q + 306. Is g a multiple of 27?
False
Let m(i) = -159*i - 1901. Is 28 a factor of m(-19)?
True
Let h(x) = -4*x - 66. Let q be h(-17). Let t be (-530)/(-45) + 3/(27/q). Suppose -7*f - 45 = -t*f. Is f a multiple of 2?
False
Let j(p) = -p**2 + 5*p + 79. Let n be j(0). Let d = 341 + n. Is 42 a factor of d?
True
Let b be 6/(-11) + 36/66 + 2. Suppose 16 = -4*o, 0 = 4*s - 0*s + b*o - 1392. Is 78 a factor of s?
False
Let s = -182 + 412. Let u = s + -217. Does 3 divide u?
False
Suppose 2*t + 607*a - 10603 = 612*a, -t + 5312 = -a. Is t a multiple of 9?
True
Let b be -4 - (-2)/2*(-3 + 5). Let a(w) = -113*w + 37. Is a(b) a multiple of 17?
False
Suppose -6*t = -8*t + 5*i + 9, -2*t + 1 = 3*i. Suppose 2*r = -y - 4, t*r = y - 3*y - 4. Suppose -266 = -2*b + 2*n, y*n + 129 = b + n. Does 17 divide b?
False
Suppose -c + 4 = 1. Suppose 1340 = c*x + p - 6*p, -5*x + p + 2226 = 0. Suppose -k = 2*j - 2*k - 175, x = 5*j + 5*k. Is j a multiple of 22?
True
Let s(t) be the third derivative of -t**5/60 - 7*t**4/12 - 17*t**3/6 - 3349*t**2. Let o be (-1)/(1/(9 + 2)). Is s(o) a multiple of 2?
True
Suppose 3*i - 50 - 87 = 4*a, 13*i - 680 = 5*a. Does 11 divide i?
True
Suppose -3*n = 2*q - 2899, -1428 - 29 = -q + n. Is q a multiple of 7?
False
Suppose 3*c + 9 = 3*f, -c - 3 = 4*f - 9*f. Let s(w) = -w + 1. Let o(v) = 2*v**2 + 2*v + 67. Let a(p) = o(p) + 2*s(p). Is a(f) a multiple of 19?
False
Let b(w) = 14*w**2 + w + 1. Let n be b(-2). Let x be (-401)/7 + 46/161. Let q = n - x. Is q a multiple of 16?
True
Suppose -5*a + 0 = 5*d - 5, -2*d = 5*a - 5. Let o be ((-4)/(4 + d))/((-2)/10). Suppose -2*f + 6 = 0, -o*q + 63 = -5*f - 22. Does 18 divide q?
False
Suppose x - 367 = -0*x - 5*k, -3*x + 3*k = -1011. Is x a multiple of 55?
False
Let m = 3244 + -1648. Is m a multiple of 47?
False
Suppose 81*w - 219*w + 107*w + 262570 = 0. Is w a multiple of 21?
False
Let o be 4/8 + (-66)/12 + -5. Let f = -75 - -157. Let m = o + f. Does 8 divide m?
True
Let f = -459 - -204. Let n = f - -315. Does 60 divide n?
True
Let j(z) = 3864*z**2 - 4*z - 2. Let q be j(-1). Let g be 9/(-15) - 2*q/(-20). Suppose -388 = -4*o + 2*u, 0 = -4*o + 4*u - 3*u + g. Does 8 divide o?
True
Suppose k = -2*f + 10090, 40372 = 4*k + 587*f - 582*f. Is 18 a factor of k?
True
Is 3 a factor of (447/1)/(-2 + 114/54)?
True
Suppose 2*s = d - s - 2, 4 = 2*s. Suppose -11*n + 180 = -d*n. Is 4 a factor of n?
True
Suppose -30*r + 20*r = -4070. Let b = r - 260. Is b a multiple of 6?
False
Suppose 0 = 27*l - 99*l + 1583424. Is 16 a factor of l?
False
Let t(y) = y**3 - 99*y**2 + 20*y - 10726. Is t(105) a multiple of 31?
False
Let b = 40993 - -1644. Is b a multiple of 20?
False
Let f be (-5 - -6) + 3 - 0. Suppose -f*o + 11*o = 518. Suppose -4*q = -74 - o. Is 15 a factor of q?
False
Suppose 2803 + 317 = 12*v. Let w = v + 455. Is 13 a factor of w?
True
Let c = -4145 + 5524. Is c even?
False
Suppose 0 = -19*d - 128 + 52. Does 4 divide 48 + d + (26 - 17)?
False
Suppose 5*d + 5*f - 35 = -5, 12 = d + 3*f. Suppose -3*m + 188 = d*z + 47, 0 = m - 4*z - 52. Is m a multiple of 13?
False
Let h(m) = m**2 - 47*m - 22. Let i be h(12). Let p = 638 + i. Is p a multiple of 28?
True
Suppose -5*q - 3*j = -1857, -336 = 4*q + 3*j - 1821. Let k = q - 288. Is k a multiple of 7?
True
Suppose -l - 17239 = -3*z, 2*z - 9*l - 11490 = -11*l. Is 7 a factor of z?
False
Let i(h) be the third derivative of -h**5/12 - h**4/6 + h**3/2 - 5*h**2. Let w(k) = -6*k**2 - 4*k + 3. Let c(d) = -5*i(d) + 4*w(d). Is c(-13) a multiple of 19?
True
Let x(l) = 6*l - 28. Let c be x(5). Suppose 0 = -4*u - 4*v, 0 = -2*u - c*u + 2*v + 12. Suppose -u*z - z - 3*j + 510 = 0, 0 = 3*j. Is 10 a factor of z?
True
Let f be 39/9 - 6/(-9). Let l = f + 0. Suppose 2*a = -0*a + k + 159, l*a + k - 401 = 0. Is 16 a factor of a?
True
Let c be -422*4/8*1. Let x = c - -259. Is 8 a factor of x?
True
Suppose -p - 2130 - 7130 = -2*a, -2*a + 9260 = -5*p. Does 11 divide a?
False
Suppose 3*o + 29*o + 2*o = 43520. Is 20 a factor of o?
True
Let q(j) = 193*j**2 + 12*j - 1. Let k(g) = 192*g**2 + 14*g - 2. Let f(c) = -3*k(c) + 4*q(c). Does 102 divide f(1)?
True
Let q = -3291 + 10489. Is 61 a factor of q?
True
Suppose -16*l = -2*l + 5*l - 174610. Does 21 divide l?
False
Let k = -6689 - -18583. Is k a multiple of 19?
True
Let r(c) = c**2 - 46*c + 658. Is r(28) a multiple of 7?
True
Let i(h) be the second derivative of h**5/20 - 10*h**4/3 - 7*h**3 + 79*h**2/2 + 2*h. Is i(41) even?
True
Suppose 23418 = -15*i + 135613 + 6365. Is i a multiple of 32?
True
Is -1 + 18/42 + 55086/42 a multiple of 3?
True
Let y(b) = -6*b - 12*b - 30 - 55*b**2 + 56*b**2. Let s be y(22). Suppose 6*k = -s + 568. Does 9 divide k?
False
Suppose -3*d = 15, 5*h - 5*d + 0*d = -940. Let t = h - -206. D