se
Suppose 4*w - 898 = -5*s + 7*s, 5*w + 3*s - 1139 = 0. Suppose -2*n + w = 4*g, -n = 3*n + 20. Is g a multiple of 7?
False
Let r be 4/(0 + (-4)/14). Let w be r/(-105) - (-86)/30. Suppose w*p + 6 = 21. Does 5 divide p?
True
Let g(r) = -r**3 + 11*r**2 + 16*r - 23. Does 4 divide g(12)?
False
Suppose -23*p + 19636 = -14197. Is 66 a factor of p?
False
Suppose -8 = -3*o + 4*s, o - 5*s - 4 = 6. Suppose o = -0*i + 5*i. Suppose 4*t - 80 - 8 = i. Is t a multiple of 11?
True
Suppose 0 = 7*u - 408 - 54. Is u a multiple of 11?
True
Suppose 5*t = -4*g + 58 - 14, -3*g + 2*t = -10. Suppose 14 - g = 2*c. Is 9 a factor of (-23 + 2)/((-3)/c)?
False
Suppose -25*s + 23*s = 5*h - 9, s - 4*h = 37. Does 6 divide s?
False
Let o be (-12)/(-1 - -3) + -2. Let q = 10 + o. Is 4 a factor of ((-6)/18)/(q/(-24))?
True
Let m(p) = 118*p + 3. Let a be m(-10). Does 28 divide (a/33)/(2/(-6))?
False
Suppose -520 = -10*l - 0*l. Suppose -l = -s + a + 55, -119 = -s - 3*a. Is s a multiple of 22?
True
Let v = 458 + -210. Is 31 a factor of v?
True
Let f = -39 + 91. Is ((-3)/(-1))/(6/f) a multiple of 20?
False
Let i(u) = -4*u + 10. Let t(s) = s - 21. Let o be t(8). Does 28 divide i(o)?
False
Let p = 220 + 150. Does 5 divide p?
True
Let v be ((-5)/10)/(2/(-12)). Suppose -v*c - 42 + 195 = 0. Is c a multiple of 27?
False
Let p(n) = 161*n**2 - 9*n + 8. Let q be p(3). Suppose -247*g = -242*g - q. Does 26 divide g?
True
Let z = -231 - -371. Suppose 150 + z = 10*w. Is 8 a factor of w?
False
Let q = 1741 + -866. Suppose 0 = -6*z + q - 233. Is 26 a factor of z?
False
Suppose 0 = -54*w - 15449 + 78359. Does 49 divide w?
False
Suppose 694*k - 697*k = -807. Does 45 divide k?
False
Let b = -391 - -487. Does 4 divide b?
True
Let p = 2809 - 2478. Is p a multiple of 7?
False
Let d(u) = -u**3 + 21*u**2 - 49*u - 15. Is 42 a factor of d(17)?
False
Suppose -18*k + 41*k = 23276. Does 9 divide k?
False
Suppose -2*z - 17 + 37 = 0. Suppose 3*b + 10 = -4*i, -13 = 5*i + 3*b - 2. Let m = z + i. Is m a multiple of 9?
True
Let k(g) = g**3 + 6*g**2 - 7*g + 4. Let r be k(-7). Suppose 0 = -4*d - r*l + 308, 87 = -2*d + 3*d - l. Does 11 divide d?
False
Let d be 6 + -5 + 18/(-2). Let n = -6 - d. Is (n + -28)*3/(-6) a multiple of 13?
True
Suppose 60*p - 232 = 89*p. Let m be (2/(-5))/((-1)/(-20)). Is ((-22)/p)/(m/(-96)) a multiple of 11?
True
Let d be -26*((-10)/(-4) + -2). Let t = d - -19. Let u(p) = -p**3 + 6*p**2 + p + 7. Is u(t) a multiple of 13?
True
Suppose 2*h - 505 = -3*g, -g = 5*h + 3*g - 1266. Is h a multiple of 6?
False
Let m = 883 - 478. Suppose 4*o + 5*u - m = -0*o, -5*u + 90 = o. Is o a multiple of 15?
True
Let n be (-2)/(-8) + (-135)/(-36). Suppose o = 5*d + 40, n*d - 18 = -o - 5. Is 5 a factor of o?
True
Suppose -10 = -2*v, -4*v = -o - 63 - 14. Let k be 3/((-60)/(-16))*-10. Is 21 a factor of (o/(-2))/((-3)/k)?
False
Let o(g) = 8*g**2 + 3*g. Let h be 66/18 - (-2)/(-3). Suppose -h*j + 6*j = -6. Is o(j) a multiple of 15?
False
Suppose -5 + 40 = 5*a. Suppose 0 = -2*r + 3*r - a. Is r a multiple of 2?
False
Let j(d) = -d**2 + 4*d + 4. Let v be j(4). Suppose a = v*a - 102. Let p = a + -22. Is 6 a factor of p?
True
Let z be 1 + 1 + -8 + 25. Suppose 5*c = 3*f + z, 4 + 16 = 2*c + 5*f. Is 5 a factor of c?
True
Suppose -5*s + 6 = 1. Suppose -2*m + s = -3. Suppose 4*a = 4*i + m*a - 160, -i + 37 = a. Does 13 divide i?
True
Let n(v) be the second derivative of -6*v**3 - v**2 - v. Does 14 divide n(-2)?
True
Let l(o) = o**2 - 26*o + 122. Does 7 divide l(25)?
False
Let c be -296 - (2 + -3 + -1). Does 12 divide 9/(-12) + c/(-8)?
True
Suppose -12 = -7*h + h. Is 15/h*(-5 - -19) a multiple of 15?
True
Is 37 a factor of (-2 - 2 - -9) + (-2691)/(-3)?
False
Let u = -64 + 27. Let r = -14 - u. Let f = r - 16. Does 4 divide f?
False
Let i = 98 - -164. Let s = -136 + i. Is s a multiple of 6?
True
Suppose -15*x + 12*x + 126 = 0. Suppose 0 = -5*g + 2*s + x + 139, 5*s = -4*g + 125. Does 5 divide g?
True
Let k(j) = -j - 5. Let d be k(0). Is 43 a factor of (1 - (-2 + -224))*(-4 - d)?
False
Let c = 70 + -44. Suppose c + 22 = d. Is 7 a factor of d?
False
Suppose -3*g = 8*g + 528. Let p = 286 + g. Is p a multiple of 14?
True
Let z(y) = -y**2 - 2*y + 12. Let u be z(-3). Suppose -1447 = -u*j - 475. Does 12 divide j?
True
Let t(m) = 2*m**2 + 11*m - 2. Let d be t(-6). Suppose -3*p - d*q = -401, 4*p + 3*q - 537 = -0*p. Is p a multiple of 19?
False
Let v(t) = -51*t - 7 + 2*t**3 + 14 + 56*t + 16*t**2. Does 35 divide v(-7)?
True
Let n be 68*-3*(-2)/12. Suppose 398 = 9*v - n. Is 24 a factor of v?
True
Let q be (6/9)/((-1)/(-12)). Suppose -3*l - l = -q. Suppose -3*r + 2*r = 2*b - 49, -5*r = -l*b - 185. Is 13 a factor of r?
True
Let u be ((-3)/6*-2)/1. Suppose -5*p = 6 - u. Is 3 a factor of (-66)/(-8) + p/4?
False
Let v be 80/(16/4)*-1. Let c(z) = -z**3 + 8*z**2 - z + 3. Let p be c(7). Let f = p + v. Is f a multiple of 25?
True
Suppose -m = 0, 4*x + m + 62 = -234. Let b = -51 - x. Let t = 33 - b. Is 5 a factor of t?
True
Suppose 3*d = g - 0*g + 305, 3*g + 415 = 4*d. Does 43 divide d?
False
Is (-2820)/8*(-15 + 13) a multiple of 47?
True
Suppose 2*t = -0*p + 2*p + 330, t - 147 = -5*p. Let i be 82 - (-1*3 - 30/(-15)). Let y = t - i. Is 10 a factor of y?
False
Is (7 - 3) + (90 - -8) a multiple of 27?
False
Suppose 0 = k + 4*k - 365. Let q = -202 + k. Let f = q + 195. Does 22 divide f?
True
Let b(w) = 55*w**2 - 45*w + 44*w + 5 - 4 + 0. Let k be (-5)/(-4) - (-2)/(-8). Does 12 divide b(k)?
False
Let h(y) = -76*y - 3. Let i be h(-1). Let p = i + -62. Is 2 a factor of p?
False
Suppose -690*t + 664*t = -1924. Does 11 divide t?
False
Suppose -14*z + 510 = -4*z. Is z a multiple of 4?
False
Suppose -d + o + 142 = 0, d - 2*o + 55 = 201. Suppose -w + 4*z - z = -d, -4*z = 3*w - 427. Is w a multiple of 40?
False
Suppose 493 = 2*t + 141. Is t a multiple of 7?
False
Let h(m) = -m**3 + m**2 + 2*m - 1. Let v(b) = -4*b**3 + 3*b**2 + 8*b - 65. Let p(c) = 3*h(c) - v(c). Let l be (1 + -1)/(1*-2). Is p(l) a multiple of 13?
False
Suppose d - 26 - 34 = 0. Let z be ((-1)/(-2))/(6/d). Suppose -h + 5*f = -10, -f - 26 = -z*h - 0*f. Does 5 divide h?
True
Suppose 767 = 9*o - 1825. Does 9 divide o?
True
Let d = -58 + 71. Suppose 3*y - d*y = -280. Does 28 divide y?
True
Let j be (-1 - -1)/((-12)/(-4)). Suppose 4*f + 10 = -2*w + 3*w, j = -4*w + f + 25. Is 3 a factor of -1*(-3)/w*22?
False
Suppose 0 = -0*b + 17*b - 1938. Is b a multiple of 3?
True
Suppose -5 = -v - 5*q, -v + 3*q = -3 - 10. Does 43 divide (7 + -3)*v - -3?
True
Suppose -7 = 3*u + v - 3*v, 0 = u - 4*v + 19. Does 16 divide 440/(-165)*-39*(u + 1)?
True
Suppose 4*i + 5 = 5*i. Suppose 0 = -8*m + i*m + 12. Is 4 a factor of m?
True
Let a be (-102)/(-24) + 1/(-4). Suppose -a*b - 4*l + 35 = -53, l = 4*b - 98. Let q = b - 6. Is 4 a factor of q?
False
Let o be (2/8)/(1 - 21/24). Let z = 2 - 2. Suppose -o*h - 1 + 11 = z. Does 3 divide h?
False
Suppose 7*y = 8*y. Suppose y = -5*a - 2*q + 15, 2*a = 4*a - q - 15. Suppose a*g - m = 266, 7*g + 3*m - 262 = 2*g. Does 14 divide g?
False
Suppose 3*p + 12 = 0, -4*x + 12 = -3*p - p. Let b be ((-6)/8)/(x/4). Suppose -5*q = -b*g + 59, -3*g + q + 3*q = -64. Does 7 divide g?
True
Suppose -4*b - 43 = -4*y + 33, -3*b = -9. Is 2 a factor of y?
True
Let c(t) = 899*t + 11. Is c(1) a multiple of 14?
True
Let g(a) be the second derivative of 11*a**4/3 + a**3/6 - a. Let l be g(-1). Let r = l - 26. Does 7 divide r?
False
Suppose -48*h + 4601 = -10951. Is 27 a factor of h?
True
Let h(k) be the third derivative of -k**5/60 + 3*k**4/8 + 17*k**3/6 + 19*k**2. Does 37 divide h(5)?
True
Suppose -346 = -4*q + 3*q + 3*c, 0 = 5*q - 2*c - 1756. Is q a multiple of 4?
True
Let h be 4/((-8)/(-17))*4. Suppose -5*x = -w + h + 33, -2*w + 5*x = -139. Is w a multiple of 15?
False
Suppose 70 = -f - 0*w + w, -298 = 4*f + 5*w. Let j = f + 79. Does 7 divide j?
True
Is (31752/7)/8 - -1 a multiple of 3?
False
Suppose -5*g + 25 = 0, 5*p - 5*g - 887 = 38. Is p a multiple of 38?
True
Let k be ((-15)/(-6) - 2)/(7/3878). Let n = k + -134. Is 13 a factor of n?
True
Let c(v) = -13*v**3 + 4*v + 4. Let h be ((-2)/(-4))/((-10)/40). Does 20 divide c(h)?
True
Let b = 33 - 69. Suppose -20*g + 73 = 153. Is (-245)/g - (-9)/b a multiple of 16?
False
Let w = 0 - -11. Suppose -z - 4*o = -o + w, -3*z + 4*o = -32. Suppose -p - z*p + 135 = 0. Is 12 a fa