 = q - 3. Let g = f + 52. Is 13 a factor of g?
False
Let u(c) = -3*c - 26. Let z be u(8). Is 6 a factor of (-1425)/z - 1/2?
False
Let j = 469 + -271. Let x = j - 136. Is 11 a factor of x - 0/((-12)/4)?
False
Does 21 divide (-1*(-419 - 3))/1?
False
Suppose 0 = 3*o + b + 189, 0 = 2*o + 5*b - 10*b + 126. Let y = o + 84. Is 3 a factor of y?
True
Let h(a) = 2*a**3 + 7*a**2 - 4*a + 5. Let p be h(-6). Let l = -35 - p. Is l a multiple of 29?
True
Let c(x) = x**3 + x**2 - x + 4. Let i be c(0). Suppose y - 12 = -5*b, -5*b + 2*y + 2*y + 27 = 0. Suppose -b*k + 20 = -i. Is k a multiple of 2?
True
Suppose 0 = 2*i + 4 - 22. Suppose 0 = -10*m + 6*m + 4. Is 3 a factor of (m - -11)*6/i?
False
Is 13 a factor of -3 + (-140)/(-44) + 1681/11?
False
Suppose 3*d + 513 = 3*k, 1008 = 5*k + 3*d + 137. Does 9 divide k?
False
Let q(x) = x**2 + 16*x + 22. Let m be q(-15). Let a(p) = p**2 - 4*p. Let u be a(m). Let g = -11 + u. Is g a multiple of 10?
True
Suppose -2*p + 4*y = -1350 + 386, 3*y = -p + 492. Is 11 a factor of p?
False
Let y = 1032 - 582. Is 10 a factor of y?
True
Suppose -80 = -17*n + 5. Suppose -3*w + s + 169 = 0, -s + 52 = -n*w + 335. Is 19 a factor of w?
True
Let o be 3*(-2)/9*-849. Let t = o + -296. Suppose -4*x = -7*x + t. Is x a multiple of 30?
True
Let z(o) = 4*o**2 - 16*o - 22. Does 36 divide z(11)?
False
Is (-13845)/(-20) - (-2)/(-8) a multiple of 71?
False
Let h = 14 - 13. Let y(z) be the third derivative of 17*z**5/30 + 2*z**2. Does 14 divide y(h)?
False
Suppose -t = -1 - 3. Let j(w) = w**3 + 4*w**2 - w + 2. Let z be j(t). Let i = -90 + z. Is i a multiple of 7?
False
Is 36 a factor of 244/6*(-1431)/(-18)?
False
Suppose 9*u + 211 = 625. Suppose -u*r = -48*r + 360. Does 18 divide r?
True
Let i be 22/33 + (-52)/(-3). Is i*9/(-15)*-5 a multiple of 27?
True
Let a(h) = 3*h - 40. Let u be a(21). Does 6 divide (-3 - u)/(2/(-4))?
False
Let k(h) = -2*h**3 - 5*h - 5. Let p(n) = -n**3 - 2*n - 3. Let z be (12/(-30))/((-1)/5). Let w(l) = z*k(l) - 5*p(l). Does 2 divide w(0)?
False
Suppose 3*s - 4*r = 124, 6*s + 3*r - 197 = s. Does 18 divide s?
False
Suppose r - 1346 = -4*u - 2*r, 2*u + 5*r = 680. Suppose 3*a + 5*q = 323, q = 2*a + a - u. Is 39 a factor of a?
False
Suppose 0 = 5*o + 5*r, r = 2*o + 3*o - 24. Suppose 5*c - 1935 = -o*c. Does 48 divide c?
False
Suppose -4*r - 30 = r. Let x(z) = -2*z + 5. Let t be x(r). Suppose 2*q + t = 173. Does 23 divide q?
False
Let m = -91 - -93. Suppose -73 = -5*a - 3*u, a + 2*u - 43 = -m*a. Is 8 a factor of a?
False
Suppose -5*g + 2*r + 1 = 3*r, 4 = 4*g + 4*r. Suppose -5*j + 35 - 13 = -3*i, g = 3*j + 4*i - 19. Is 106/j - (-2)/(-10) a multiple of 7?
True
Suppose 0 = 4*a + 5*y - 45, 8*y - 15 = -4*a + 9*y. Suppose -a*q - d + 59 + 440 = 0, q - 3*d - 87 = 0. Is q a multiple of 33?
True
Suppose -30 = -2*p + 2*u - 10, p + 5*u = -20. Suppose 4*l - 53 = -3*f, p*f + 4 = -1. Is l a multiple of 11?
False
Suppose 5*j = -p - 105, -5*j + p - 130 = -3*p. Let u = j - -53. Is 28 a factor of u?
False
Suppose -5*o = -7 - 18. Suppose -2*x = o*f - 71, -x + 37 = -0*x + f. Is x a multiple of 9?
False
Suppose 3*d + 5*r = 18, -7 = 2*d - 4*r + 3. Let l(g) = 16*g**3 - 3*g**2 + 2. Is 15 a factor of l(d)?
True
Suppose -p + 724 = 220. Suppose 8*y - 4*y = p. Does 21 divide y?
True
Let q(r) = 2819*r**2 + 2*r - 1. Let z be -2*(2 - 20/8). Let j be q(z). Is 18 a factor of 1/(-3) - j/(-36)?
False
Let c(s) = 22*s + 7. Let w be c(5). Suppose 3*r + 2*o - 49 = 26, 4*r - 3*o - w = 0. Does 4 divide r?
False
Suppose -4*m + 3*m = -3. Let a = 183 + -167. Suppose -m = h - a. Does 4 divide h?
False
Let b = -1276 - -4444. Does 99 divide b?
True
Let y = -30 - -34. Suppose y*p - 234 - 54 = 0. Is p a multiple of 24?
True
Let t be -4*(-3)/(3/1). Let s = 154 - 62. Suppose 3*p - s = -2*p - t*c, -4*c = 4*p - 76. Is 16 a factor of p?
True
Does 32 divide (3 + -4)*1 + 833?
True
Let t(o) = -4*o + 65. Let u(h) = -3*h + 43. Let f(y) = 5*t(y) - 7*u(y). Is f(21) a multiple of 5?
True
Let y be 45 - 2 - (-4 - -2). Let h = 227 - y. Let j = h + -121. Is j a multiple of 14?
False
Is 18 a factor of ((-174)/(-8) + 45/60)*12?
True
Does 9 divide (-3 - -2) + 3 + 166?
False
Let o = 215 - -1203. Is o a multiple of 29?
False
Let s(x) = 15*x - 23*x + 57*x**2 + 7*x. Is 7 a factor of s(-1)?
False
Suppose 9*j = 4*j + 3*r + 5071, 5*j = 5*r + 5065. Is 15 a factor of j?
False
Suppose -5*p = -1455 - 15. Is p a multiple of 21?
True
Let u(t) = 3*t**2 - 9*t + 30. Is 5 a factor of u(3)?
True
Let u = 0 - -1. Let y(l) = l - 6. Let d be y(9). Suppose 2*c - u = 5*t - 0, -d*c - 5*t = -64. Is c a multiple of 4?
False
Let t(x) = -4 - 4 - 4*x - 2*x + 0. Is t(-11) a multiple of 29?
True
Suppose 13*r + 2304 = 19*r. Is 24 a factor of r?
True
Let a be 4/8 + (-1671)/(-2). Suppose -61*p + 65*p = a. Is 19 a factor of p?
True
Suppose 0 = -33*x + 34*x - 1521. Is 12 a factor of x?
False
Let w(x) = x - 19. Let b be w(9). Let s = 78 - b. Let n = 128 - s. Is 8 a factor of n?
True
Suppose 593 = k + 42. Is k a multiple of 29?
True
Suppose -n = 3*y - 22, -66 = -4*n - 2*y + 2. Suppose 0 = 6*j + n - 112. Does 8 divide j?
True
Suppose -4*q + 24 = 3*d - 13, 3*q = -3*d + 24. Let o = 47 - q. Is 6 a factor of o?
False
Suppose u - 3*m = 6, 4*m = -3*u - 0*u + 5. Suppose -182 = -u*b + 34. Does 12 divide b?
True
Let l(t) = -19*t - 11*t**2 + 31*t**2 + 14*t - 6. Is l(-2) a multiple of 12?
True
Let v(d) = d**3 + 9*d**2 + 2*d - 9. Let o be v(-9). Let s = 32 + o. Suppose -s*a + 32 = -c, -4 - 5 = -3*c. Is 2 a factor of a?
False
Suppose -6*t - 6 = -9*t. Suppose 0*k - 2*k = -2, -236 = -3*y - t*k. Is y a multiple of 13?
True
Let j = 785 + -137. Is 27 a factor of j?
True
Let b(l) = -l**3 - 19*l**2 + 45*l - 52. Is 37 a factor of b(-23)?
False
Suppose 6*v - v = 0. Suppose -4*a + 444 = -v*a. Let x = -40 + a. Does 19 divide x?
False
Let n = -112 - -190. Is n a multiple of 28?
False
Suppose 6*r - 156 = 474. Suppose -4*q + r + 155 = 0. Does 15 divide q?
False
Let o(f) = 10*f**2 + 4*f - 37. Is o(5) a multiple of 21?
False
Suppose -2 = -4*o + 6. Suppose -3*f + 0*f = 3*d - 78, 10 = o*f. Is 21 a factor of d?
True
Let k = 2 + 10. Let j(o) = -3 + k*o - 4*o + 3*o. Is j(3) a multiple of 10?
True
Let y(m) = 2*m**2 + 2*m - 84. Is 12 a factor of y(-10)?
True
Is (-25)/((-2100)/17064) + 12/14 a multiple of 6?
True
Let s = 1194 - 1169. Is 5 a factor of s?
True
Suppose 5*i - 5*b + 291 = 1531, 20 = 5*b. Is i a multiple of 66?
False
Let m = 122 - 86. Suppose -5*n + n = -m. Does 2 divide n?
False
Is 8 a factor of 152 + (3 - 9) - (2 - 2)?
False
Let o = 2254 + -934. Does 60 divide o?
True
Let z = -2477 + 4383. Does 15 divide z?
False
Does 38 divide 1/(-3) + 575/15?
True
Let l be 2*1 - (-214)/2. Let p = l - 70. Suppose 0 = 3*s - 3*y - p, 2*s - 61 = -0*y - 5*y. Is 7 a factor of s?
False
Let q be (-2 - (-3 - 1))*10/4. Let z = -8 - -11. Suppose -q*y = -z*y - 60. Is 20 a factor of y?
False
Let g = -39 - -51. Is 3 a factor of g?
True
Suppose 6*b - 4*b = -2*v + 442, 3*v = 9. Suppose 3*y - b = 49. Let m = -51 + y. Does 19 divide m?
True
Let y(o) = -61*o - 25. Let r(n) = 15*n + 6. Let d(t) = -9*r(t) - 2*y(t). Does 11 divide d(-2)?
True
Let g be (-4)/(-16)*166*2. Is 18 a factor of 1*g*(-4)/(-4)?
False
Suppose -8*t + 45 = -3*t. Let q = 12 - t. Suppose 3*x = 5*f + 10, 0*f + 22 = x + q*f. Is x a multiple of 5?
True
Let r(d) = 7*d**2 - 4*d - 4. Let l be r(4). Suppose -4*p - 59 - 39 = -5*a, 5*a - p - l = 0. Does 7 divide a?
False
Suppose -2*o - 5*l + 1748 = 0, -2*o + 3*l = 3*o - 4432. Let t = -524 + o. Suppose -12*s + 7*s = -t. Is s a multiple of 24?
True
Suppose 4*t + 16 = 0, 88*t + 12890 = 5*b + 83*t. Is b a multiple of 22?
True
Suppose 18*z = 4249 - 1441. Is 13 a factor of z?
True
Let l(q) = -13*q**3 + q. Let t be l(-1). Let v = t + -14. Is -2*(-1 - (-11)/v) a multiple of 6?
False
Suppose 4*z + 3*f = 8*f - 1553, 0 = z - 2*f + 386. Suppose 98 = -2*n - 12. Is z/(-22) - 10/n a multiple of 18?
True
Let z = 4629 + -2429. Does 10 divide z?
True
Let q = 774 - 552. Does 6 divide q?
True
Let j(x) = 4*x**3 + 56*x**2 + 63*x - 33. Let p(l) = -3*l**3 - 37*l**2 - 42*l + 22. Let g(u) = -5*j(u) - 7*p(u). Is 6 a factor of g(22)?
False
Suppose 2*k - t = 83, k + 10*t = 9*t + 34. Is 3 a factor of k?
True
Let w be (-3)/(4 + -5 + 2). Does 16 divide (-152 - 1)/w - 3?
True
Does 33 divide 1418 - (1 + -10 - -8)?
True
Doe