3*p = 4*g + 31, b*g - h = -2*p + g. Is p a multiple of 12?
False
Let z = 1743 + -60. Is z a multiple of 99?
True
Let k = 203 + -200. Suppose 8*m - 8 = 4*m. Suppose -k*t + m*q + 124 = 0, 3*q = 3*t - q - 128. Is t a multiple of 20?
True
Suppose 3*a = -q + 1 + 9, -4*a + 5*q = 12. Suppose a*n + 0*n = 44. Is n a multiple of 11?
True
Let w(m) = m**3 - 15*m**2 - 5*m + 10. Is 48 a factor of w(16)?
False
Let q(a) be the second derivative of a**3/6 + a**2/2 - 6*a. Let z(x) = -3. Let t(l) = 2*q(l) - z(l). Is 9 a factor of t(7)?
False
Let d = 2342 - 1402. Is 94 a factor of d?
True
Let i be 54/36*(0 + 10). Let c be i/(-60) - (-185)/4. Suppose -g = g - c. Is 8 a factor of g?
False
Let q(u) = -77 + 36*u**2 + 8*u**2 - 4*u + 80 + 27*u**2. Is 29 a factor of q(1)?
False
Let b = 255 + 269. Is 10 a factor of b?
False
Suppose 0*d + 3*d = 0, 3*d = 5*v - 15. Suppose -4*q + 67 = 5*t - 73, v*q = 0. Is 3 a factor of t?
False
Let r(u) = u**2 + 66 - 20 + 0*u**2 - u. Let n be -3 - 9/(-5 - -2). Is 13 a factor of r(n)?
False
Let j = -3649 + 5239. Is j a multiple of 24?
False
Suppose 6*d + 106 = 7*d. Let z = 166 - d. Is z a multiple of 11?
False
Let y(m) = -47*m + 572. Is 43 a factor of y(-38)?
False
Suppose -4*j = 8 - 24. Suppose -4*i + 720 = 4*h, i = -2*h + j*h - 375. Is 37 a factor of h?
True
Let o be (-6)/(-2) + 0 + -3. Suppose -2*n + 6 = -o*n. Suppose 2*g = -3*g + 2*k + 52, -n*k = -g. Is g a multiple of 6?
True
Suppose 0 = 2*q + 2*g - 96, 2 = q - 2*g - 34. Let x = q - 38. Is x a multiple of 3?
True
Let b(c) be the first derivative of -c**3/3 + 4*c**2 - 4*c - 8. Let i be b(7). Is (12/(-10))/(i/(-10)) a multiple of 4?
True
Let c(l) be the third derivative of l**5/15 + 13*l**4/24 - 2*l**3/3 + 9*l**2. Is 13 a factor of c(-6)?
False
Let y(z) = -11*z + 1. Let v(b) = -12*b + 2. Let d(x) = 2*v(x) - 3*y(x). Does 7 divide d(3)?
True
Let a = -48 + 138. Does 6 divide a?
True
Let y(x) = -2*x - 10. Let f be y(-5). Let l be (f + 3)*1 - -1. Suppose -5*u + 30 = -5*d, -u - l*d = -30 - 1. Does 7 divide u?
False
Suppose 0 = 5*z + 21 + 4, 0 = 2*w + 5*z - 155. Suppose -39 = -5*v - 14. Suppose 0*p = v*p - w. Is 11 a factor of p?
False
Suppose -350 = -5*n + g + 1327, -2*n - 3*g = -681. Does 5 divide n?
False
Let o(f) = 8*f - 11. Let l be o(-5). Does 17 divide -2 - l - 1*6/(-3)?
True
Suppose 49728 = -2*m + 44*m. Does 16 divide m?
True
Suppose d - 482 - 398 = -a, 2668 = 3*a - 4*d. Is 13 a factor of a?
True
Let u(w) = -5*w - 1. Let n be u(-3). Suppose -11*v = -9*v - n. Does 2 divide v?
False
Suppose 0 = 4*j - 12, 0 = -4*b - j - 2*j + 41. Suppose -2*a = -b + 2. Is a*((-352)/12)/(-2) a multiple of 11?
True
Suppose 0 = 4*u - 3 + 7. Let j be -5*(82/10)/u. Let g = j - -7. Is 24 a factor of g?
True
Let t(j) = j**2 - j + 1. Suppose -5*n + 10 = 4*x + 29, 7 = -2*n - x. Let b be t(n). Suppose 0 = b*c - 10*c - 39. Does 11 divide c?
False
Let z(o) = o + 7. Let k be z(5). Let g be (6 - 2) + (2 - 0). Is 2/k + 155/g a multiple of 8?
False
Let q(y) = y**3 - 9*y**2 + y - 1. Let d be q(9). Let v = 8 - d. Suppose 251 = 3*m - 7*r + 3*r, -5*m - 2*r + 401 = v. Does 27 divide m?
True
Let y = 351 + -90. Let a = -132 + y. Is a a multiple of 43?
True
Let t(q) = -5*q + 1 + 3*q + 8 + 3*q. Is 18 a factor of t(9)?
True
Let m = -5171 + 8754. Does 18 divide m?
False
Let p(w) = -w**2 - 7*w - 6. Let y be p(-5). Suppose -y*c = 4*c - 432. Is c a multiple of 26?
False
Let m(z) = 45*z**2 + 4*z - 3. Let a(s) = 88*s**2 + 7*s - 5. Let j(d) = 3*a(d) - 5*m(d). Let k(l) = -l**2 + 5*l + 1. Let v be k(5). Is j(v) a multiple of 8?
True
Suppose -a - 2 = 0, 2*c + 4*a + 433 = 7*c. Suppose 0*m - 377 = -5*m - 4*w, m = -4*w + c. Is m a multiple of 27?
False
Suppose 4 = -4*b + 3*u, 9 = -4*b + 4*u + 1. Suppose b*v + v = 135. Is 9 a factor of v?
True
Let r(k) = -k - 10. Let z be r(-7). Let u(c) be the second derivative of -c**5/20 + 5*c**3/6 + 2*c**2 + 4*c. Is u(z) a multiple of 8?
True
Is 15 a factor of (-3 - 52/(-8))/((-7)/(-728))?
False
Suppose -s = 3, -2*r + 95 = -3*s - 60. Is 27 a factor of r?
False
Let l(a) = 72*a - 45. Is 14 a factor of l(2)?
False
Let q = 1279 - 306. Is 49 a factor of q?
False
Let s be 1/(-6) + -3 + (-23)/6. Let w(q) = -15*q + 4. Let v be w(-4). Let p = s + v. Is p a multiple of 19?
True
Is 20 a factor of (-16)/72 - 8756/(-36)?
False
Suppose 0 = 5*v - 4*b - 28, 11 = v - 4*b - 1. Suppose -88 = v*o - 364. Suppose -2*f = -4*q - 60, 5*f - 3*q = o + 102. Does 21 divide f?
False
Suppose -15 = 7*h - 4*h. Let t(n) = -n**3 - 4*n**2 + 5*n + 2. Let a be t(h). Suppose -58 = d - a*d. Does 29 divide d?
True
Let z(y) = y**2 - 2*y - 4. Let k be z(4). Suppose 3*d - 22 = -5*a, d + 12 = 3*d + k*a. Is 5 a factor of d?
False
Suppose 12*y - 6798 = -2442. Is 11 a factor of y?
True
Suppose 87*n = 96*n - 2376. Does 33 divide n?
True
Let j be (-8)/(-3)*(1 - -2). Suppose -2*r + j*a - 7*a = -113, 5*r = 3*a + 283. Does 6 divide r?
False
Suppose -3*b + 6 = 2*z, 4*z + 1 = 4*b - 7. Suppose -3*n - b*g = -781, -215 = 5*n - g - 1521. Does 29 divide n?
True
Let u(f) = f**2 + 5*f - 4. Let m be u(-6). Let s be (-1100)/(-10)*(1 - 0). Suppose -4*h - 3*q = -194, -m = 2*h - 4*q - s. Does 14 divide h?
False
Let q be 2*2*(-5)/(-10). Is 23 a factor of q + 2 + (99 - -4)?
False
Let i = -97 + 128. Suppose 8*f - i = 1. Is 2 a factor of f?
True
Let m be ((32/4)/(-2))/2. Is (25/40*m)/((-1)/40) a multiple of 9?
False
Let i(l) = -22*l - 2. Let j be i(-1). Suppose x - j = -f, 3*f - 2*f = x - 10. Is x a multiple of 6?
False
Let o(k) = 20*k - 8 + k**2 + 24*k - 52*k. Is o(-5) a multiple of 19?
True
Let l be 17/((-425)/210)*-90. Suppose 0 = -26*p + 30*p - l. Is p a multiple of 21?
True
Let r be ((-12)/(-30))/((-1)/5). Let v(i) = -3*i + 12. Does 6 divide v(r)?
True
Let y be ((-12)/(-15))/(3/60). Suppose -35 = -2*k + r, -3*k + 5*r + 40 + y = 0. Let m = k - -18. Is 16 a factor of m?
False
Let y be 4/(8/(-1182))*1/(-3). Suppose 59 = -y*o + 198*o. Is o a multiple of 13?
False
Suppose -l = 2*l + 2*a - 3083, 0 = -2*l + a + 2067. Does 68 divide l?
False
Suppose -6*u - 216 = -18*u. Is 9 a factor of u?
True
Let f = 6 + 3. Suppose -5*q = -2*q - f. Is 13 a factor of (14 - 1)*(-1 + q)?
True
Let z(x) be the second derivative of -1/12*x**4 + 0 + 0*x**2 - 2/3*x**3 - 1/20*x**5 + x. Is 32 a factor of z(-4)?
True
Let h(r) = 44*r**3 + 9*r**2 - 34*r + 11. Is h(4) a multiple of 27?
True
Suppose -2*x = 2*u + 3*x + 49, 3*x = 4*u + 111. Let f = u - -45. Suppose -4*q + 2*q = -f. Is q a multiple of 3?
True
Suppose 11 - 5 = m. Suppose 0 = 4*a + 16, -k + m = -5*a - 21. Suppose 0 = -3*v - 1 + k. Is v even?
True
Let x = -558 - -960. Is 10 a factor of x?
False
Suppose -4*y + 150 = y. Suppose -f + 5*p - y = -5*f, -10 = 5*p. Does 10 divide f?
True
Does 17 divide ((-616)/(-11) + 1)/((-1)/(-11))?
False
Let u = -3340 + 4300. Does 20 divide u?
True
Suppose -c - c - 4*x - 8 = 0, -c + x + 2 = 0. Suppose -2*o - 4*o + 30 = c. Suppose 0 = -j + 5, -o*g - 5*j = -133 - 37. Does 8 divide g?
False
Let v = -50 + 167. Does 5 divide v?
False
Let r = -1573 - -1622. Is 7 a factor of r?
True
Let u = 23 + -45. Let a = -15 - u. Suppose 5*m - 95 = 2*h - a*h, h = -2*m + 35. Is 5 a factor of m?
False
Let u(t) = -t**2 - 28*t - 70. Is 3 a factor of u(-17)?
True
Let c(v) = v**3 - 2*v**2 + 3*v + 8. Let q be c(6). Let u = q - 104. Does 16 divide u?
False
Let a(x) = 41*x + 3 - 1 - 1. Let l(n) = n + 25. Let d be l(-24). Is 21 a factor of a(d)?
True
Let p = 2762 + -1034. Does 36 divide p?
True
Let q be (16881/(-34))/((-3)/2). Suppose -4*a + 3*d - 59 = -5*a, 0 = -5*a + 3*d + q. Is 16 a factor of a?
False
Suppose 8*f - 273 = 143. Does 4 divide f?
True
Let m(i) = 6*i - 23. Let y be m(3). Let d(a) = a**2 + 1. Let j(r) = 4*r**2 + 8*r + 8. Let n(v) = 5*d(v) - j(v). Is 12 a factor of n(y)?
False
Let n = 16 - 12. Suppose o = 3*p - 4*p + n, -4*o - p + 13 = 0. Suppose 0 = 3*h + h - 3*t - 33, t = -o*h + 28. Is h a multiple of 2?
False
Let u(z) = -7 - 4*z**2 - z - 3*z - 2*z**3 + 0*z**2. Let t = -48 - -45. Is 11 a factor of u(t)?
False
Suppose 2 = 5*v - 3*l - 1, 0 = v - l + 1. Suppose v*d + 2*t - 160 = 0, -4*d = -3*d + 4*t - 40. Is 26 a factor of d?
False
Suppose 0 = -4*l - 0*w - 2*w + 526, 5*l - 2*w = 671. Is l a multiple of 19?
True
Let h = 2025 - 888. Does 21 divide h/18 - 3/18?
True
Let j = -533 - -1037. Does 12 divide j?
True
Let o(r) = r**3 + 5*r**2 + 