s**2 + 8*s - 41. Let i be k(31). Suppose -101*g = -93*g - i. Is 21 a factor of g?
False
Let y be 6/10 + (-8520)/75. Let x = y + -15. Let k = 159 + x. Is 9 a factor of k?
False
Suppose 5*l - 5*x = 175, -21 = -l - 3*x + 2. Suppose 2*s + 0*n - l = 5*n, 48 = 3*s - 4*n. Suppose 15*r = s*r - 108. Is 27 a factor of r?
True
Suppose -3*x = 2*p + 95, -2*x - 104 = 2*x - 3*p. Let s = x - -32. Is 39 a factor of 2/s - 700/(-3)?
True
Suppose -5*a - 28 = -2*k, -4*k = 4*a + k - 4. Let l be (a/3)/(36/(-162)). Suppose -4*d + 5*v + 21 = 0, -2*d + d = -v - l. Is 2 a factor of d?
False
Let t = -340 + 342. Is 695 - (t - (-2 - 1)) a multiple of 46?
True
Let b = 881 - 876. Suppose 9*g + 253 = 13*g + b*s, 3*g = -s + 198. Does 67 divide g?
True
Let a = -277 + 580. Let n = -215 + a. Is n a multiple of 9?
False
Let u = 2618 + -1668. Suppose 10*n = 11*n - u. Suppose -30*t = -25*t - n. Is 19 a factor of t?
True
Let t(d) = -d**3 - 2*d**2 + 8*d + 12. Let k(q) = -q**2 + 10. Let r be k(-3). Let j be -15 - -7 - r*-3. Is 7 a factor of t(j)?
False
Let a(y) = -613*y - 850. Is 13 a factor of a(-15)?
False
Let x(q) = -1. Let b(j) = -2*j - 29. Let g(i) = b(i) - 2*x(i). Suppose -25*m + 35*m + 260 = 0. Is g(m) a multiple of 25?
True
Let o(i) = 18*i**3 - 6*i**2 - i - 5. Let b be o(3). Is 7 + -7 + -4 + b a multiple of 12?
True
Suppose -4*z = 2*a - 13818, -3*a + 2*z = -7380 - 13411. Is 4 a factor of a?
False
Let f(q) = -q**3 - 25*q**2 - 27*q - 69. Let x be f(-24). Suppose -4*t = -r - 1274, 2*t - r = x*r + 644. Does 15 divide t?
False
Is 7604/2 - (-196 + 187) a multiple of 13?
False
Suppose -3*k + 3*d + 144 = 0, -3*k - 4*d + 79 = -30. Suppose -46*s + 2775 = -k*s. Is s a multiple of 25?
True
Let b(p) = -6*p + 4. Let v be b(-4). Suppose 369 = m - v. Suppose 0 = -5*i + 203 + m. Is 12 a factor of i?
True
Suppose -d + 2943 = -3*v, -2*d + 2*v = -v - 5904. Is d a multiple of 47?
True
Let b be -6*(-2)/(-4)*6/(-9). Suppose -6*t + 2*t + b*t = 0. Suppose -n + d + 104 = t, -5*n + d - 173 = -677. Is 12 a factor of n?
False
Let s = -287 + 302. Suppose 134 = 2*o - 2*r, 0 = -o + 14*r - s*r + 77. Does 8 divide o?
True
Let w = 2680 + 12279. Is 19 a factor of w?
False
Let a(q) = -q**2 + 643*q + 9728. Does 170 divide a(0)?
False
Let z(g) = 77*g**2 + 79*g - 18. Does 11 divide z(4)?
False
Suppose 207 = -3*n + u, -4*n = -2*u + 221 + 53. Let y = -80 - n. Is (-22)/55 - 984/y a multiple of 22?
False
Suppose 0 = 5*u + 2*u - 2282. Let y = -66 + u. Suppose g + 366 = 3*n - 2*g, 2*n + 2*g = y. Is 6 a factor of n?
True
Let j be (3 - (-2816 + -17)) + (-2)/2. Let r = 4527 - j. Is 36 a factor of r?
True
Suppose -2*n + 423 + 195 = w, -3*n = -3*w + 1818. Suppose -4*z + 625 = 3*h, -5*z = -9*z + 2*h + w. Is 18 a factor of z?
False
Let a(q) = q**3 + 3*q**2 - 19*q - 15. Let h be a(-5). Let j(o) = 35*o - 319. Is j(h) a multiple of 17?
True
Let w(a) = 5*a - 33. Let j(v) = 15*v - 99. Let s(o) = 6*j(o) - 17*w(o). Let d be s(10). Suppose -15*m - 240 = -d*m. Is 15 a factor of m?
True
Suppose -3*g + 16 + 14 = 0. Let s = 43 + -31. Suppose g*u + 10 = s*u. Is 5 a factor of u?
True
Suppose -13*q = -8*q - 15, -4*m + 5*q = 19. Is 11 a factor of (-1281)/(-42)*(-6)/m?
False
Let w = -895 + 537. Let o = 544 + w. Does 31 divide o?
True
Suppose 5*k - 5 = -4*v, -k + v = 6*v + 20. Let i(m) = 15*m**2 - 23*m + 1. Is i(k) a multiple of 29?
True
Let l = -21 + 17. Let b be 5/(20/32) - l. Is b/8*32/3 a multiple of 6?
False
Suppose 5 = 3*h - 91. Suppose 12*o = 16*o - h. Let d(u) = -2*u**2 + 13*u + 31. Is d(o) even?
False
Suppose -3*f = -0*f - 15, 3*q + 2*f = 17350. Is 68 a factor of q?
True
Let s(x) = -x**3 - 19*x**2 - 19*x - 20. Let p be s(-17). Let w = 559 + p. Suppose 4*y + 4*b = w, -4*y + 0*b + b + 259 = 0. Is 13 a factor of y?
False
Let n(l) = 3*l**2 + 4*l - 149. Does 51 divide n(23)?
True
Let s = 60 - 36. Suppose 0 = -303*j + 307*j - s. Is 6 a factor of j?
True
Let m be ((-3)/9*1)/(-1)*3. Is (-8)/(-20)*m + 8496/10 a multiple of 10?
True
Let u(i) = 5*i**2 - 9*i - 7. Let w be u(-5). Let b = 183 - w. Is b a multiple of 9?
False
Let f = -22508 - -32880. Does 45 divide f?
False
Is 14 a factor of (-13 + 7)*(1 - (-2601)/(-2))?
False
Let r be 1 + 6/((-6)/(-3)). Suppose k = -r*v - 138, -2*k - 180 = 5*v + 3*k. Is 23 a factor of (-8496)/v - (-4)/34?
False
Suppose 10*l = -25*l + 140. Suppose -3*i = l*t - 399, -i = 4*t - 8*t + 379. Is t a multiple of 3?
True
Let y(g) = g**3 - 5*g**2 + 5. Let z be y(5). Let v = -334 + 343. Suppose -z*l - 6*d + 62 = -v*d, -12 = 3*d. Is l a multiple of 7?
False
Let w = 5 + -3. Let y be (0/(-7))/(1 - w). Does 4 divide (-7)/((5/45)/(-1 - y))?
False
Let v be 2/3 + (-420)/(-18). Suppose -21 = 4*b + 5*r - 0*r, -b = 5*r + v. Let t(l) = 107*l**3 - 4*l**2 + 2. Is 26 a factor of t(b)?
False
Let b(t) = -5*t**3 + 28*t**2 - 45*t + 115. Is 27 a factor of b(-14)?
True
Suppose -4*b = -34*d + 36*d - 86224, 2*b = -5*d + 43104. Does 13 divide b?
False
Let t be 5 + (8/36 - (-7)/9). Suppose -1560 = t*y + 4*y. Let b = -96 - y. Is 32 a factor of b?
False
Let d be -4 + 6 + 2 + 17 + 0. Suppose 4*m + 2*h = 5*h + 31, h + d = 4*m. Suppose m*z + j = 1150, 0 = j - 5 + 7. Is z a multiple of 21?
False
Let j(p) = 2*p**3 - 11*p**2 + p + 38. Suppose 0 = -23*y - 0*y + 253. Does 92 divide j(y)?
True
Let q = 3193 + -1207. Is 3 a factor of q?
True
Suppose h + 25 = 6. Let b = h + 29. Let n(s) = 2*s**2 - 11*s - 12. Is n(b) a multiple of 21?
False
Let l(f) = f**3 + 3*f**2 - 5*f + 1. Let q be l(-4). Let y(u) = 7 - q*u + 7 + 2*u**2 + 10*u. Is y(-6) a multiple of 8?
True
Let s(h) = -1996*h - 944. Does 56 divide s(-6)?
True
Let s(k) = -k**3 + 8*k**2 - 13*k + 8. Let m be s(6). Suppose 47 = 2*b + l, 5*l - 43 = -0*b - m*b. Does 24 divide b?
True
Suppose 61*y = 50*y - 108955. Is y/(-21) + 0 - (-1)/3 a multiple of 21?
False
Let y(q) = q**3 + 5*q**2 - 7*q - 6. Let s be y(-6). Let n(r) = 94*r + 40*r - 4 + 0 + s. Does 26 divide n(1)?
True
Let k = 15289 - 6511. Is 38 a factor of k?
True
Suppose 798*d = 814*d - 6800. Does 5 divide d?
True
Is 158320/50 + -7 - 6/15 a multiple of 9?
True
Let n(q) = 994*q**2 - 4*q - 3. Let a be n(-1). Suppose 0 = g - 5*g - 3*r + 1005, a = 4*g + 5*r. Does 22 divide g?
False
Let r(t) = -87*t + 138. Suppose -17 = 8*c - 1. Does 6 divide r(c)?
True
Let l(j) = -7*j**3 - 6*j**2 - 17*j + 3. Let i(n) = -6*n**3 - 6*n**2 - 16*n + 4. Let a(h) = 5*i(h) - 4*l(h). Does 6 divide a(-4)?
False
Suppose -m + 0*m - 66 = 5*l, -69 = 5*l + 4*m. Let k = l + 7. Is 3*((-34)/k - -2) a multiple of 5?
False
Let c = -18 + 17. Let m = 76 + -78. Does 14 divide (m/(-1) - -40) + c?
False
Let s = -686 - -696. Suppose -2173 + 5553 = s*x. Is 26 a factor of x?
True
Suppose -r - 13 = -5*n, 15*n - 17*n = -4*r - 70. Is 3 a factor of ((-48)/r - 3)*-54?
True
Suppose n = -n - 5*f + 11444, -5720 = -n - 2*f. Does 51 divide n?
True
Suppose 4*f = 2*z - 43508, -10*z + 6*f + 217540 = 3*f. Does 19 divide z?
False
Suppose 0 = -17*d + 26950 - 5207. Is d a multiple of 6?
False
Let z(n) = n**3 - 26*n**2 - 28*n + 27. Let t be z(27). Let c = -2 + 6. Suppose t = -c*o + o + 57. Is o a multiple of 3?
False
Suppose -4*f + o + 3298 = 0, 5*f - o - 1249 - 2874 = 0. Suppose 3*x + 415 = 2*c, -14*x + 9*x - f = -4*c. Does 25 divide c?
True
Suppose -2*p + p = -3. Suppose 324*d + 3 = 322*d - h, 5*d - 9 = 3*h. Suppose r - p - 33 = d. Does 6 divide r?
True
Is 9 a factor of (-58200)/(-12)*108/60?
True
Suppose 5*t + 2*u - 253 = -2*u, -u - 268 = -5*t. Let d = t - -19. Is (-42)/4*d/(-42) a multiple of 8?
False
Suppose -9*d + 1566 = -6*d. Suppose -4*p = -j - 112, -4*j - j + p = d. Let k = 128 + j. Does 4 divide k?
True
Let y = 506 + 1176. Is y a multiple of 29?
True
Let z = 651 - 652. Does 37 divide z + (2 - 9) + 1469?
False
Suppose 5*w - 4*l - 40 = 0, 2*l = -2*w - 3*l - 17. Let o(j) = 6*j**2 + 12*j + 5 - 8*j - w + 12*j. Is o(-6) a multiple of 11?
True
Let n = 116 + -7. Is (5 + -4)/(0 + 1)*n a multiple of 7?
False
Suppose 12 - 16 = 2*x. Let h be x/4 + 66/(-12) + 3. Is 2 a factor of ((-92)/(-10))/((-91)/35 - h)?
False
Suppose -75*j = -172*j + 295462. Is 3 a factor of j?
False
Suppose 3*w + 7 = i, 3*i - 2 = 2*w + 5. Does 7 divide (4*1/w)/(3/(-15))?
False
Suppose -9*f = -15*f - 17*f. Suppose f = -2*p + 8, 27*a + 2351 = 30*a + 5*p. Is a a multiple of 21?
True
Suppose 2*a - 178 = 4*a + 4*s, 5*s = 15. Let t = a + 248. Suppose 0 = -4*g -