
False
Suppose -4*v + 9*v - 65 = -5*r, 3 = -v. Let w(m) = -5*m**2 + 7*m + 4 + 4*m**2 + 0*m + 11*m. Does 18 divide w(r)?
True
Suppose -16*j - 16*j + 365120 = -0*j. Does 41 divide j?
False
Let z(s) = -s + 24. Let l(b) = -b**2 - 25*b + 13. Suppose 16*n + 138 = -262. Let f be l(n). Does 11 divide z(f)?
True
Suppose -2 = 4*q - 10. Suppose 0 = -k - q + 33. Suppose -5*p + 3*w + 73 = 0, -2*p - k = -4*p + 3*w. Is p a multiple of 8?
False
Suppose -2*q = -0*q - 11*q. Suppose -2*k + q*w + 2*w + 20 = 0, -5*k = -4*w - 49. Is 2 a factor of k?
False
Let v(w) = 29*w**2 - 12*w**2 + 11*w + 13*w - 12 + 14*w - 13*w. Does 9 divide v(-5)?
True
Suppose -3*n = 2*r + 2, -2*n + n = 5*r - 21. Suppose 3*j + r = 17. Suppose -134 - 14 = -j*f - t, 2*t - 44 = -f. Is 12 a factor of f?
True
Suppose -i = 2*l - 18, -34 = -5*i - l + 65. Suppose 7020 = i*j - 5*j. Is j a multiple of 36?
True
Let j = -287 - -287. Suppose j = -19*i - 7*i + 57226. Is i a multiple of 71?
True
Suppose -22*f - 5*b = -17*f - 24190, 9668 = 2*f - 2*b. Is f a multiple of 24?
False
Suppose 32 = 5*j + 57. Suppose n = -t - t - 14, t = 5*n + 48. Does 10 divide (-180)/(-3)*j/n?
True
Let v(w) = w**3 - 5*w**2 - 2*w + 11. Let n be v(5). Suppose y = 6*m - 2*m - 4, 2*y - m + n = 0. Suppose 17 = -y*h + h. Is h a multiple of 13?
False
Suppose h + 3*h = -20. Let v(q) be the first derivative of -q**4/4 - q**3 - 5*q**2 - 5*q - 176. Is 52 a factor of v(h)?
False
Let c(i) = 2*i. Let r(b) = -16*b + 8. Let d(j) = 36*c(j) + 2*r(j). Is 8 a factor of d(2)?
True
Let s = -60 - -62. Is 16 a factor of (s + 1 + -236)*(-1 + 0)?
False
Suppose 2156 = 2*t - 2*d, -3*t + 2*d = t - 4320. Let p = t + -742. Does 32 divide p?
False
Let v = -164 - -404. Suppose -3*l = 5*j - 240, -2*l + v = l - 5*j. Is l a multiple of 4?
True
Let k be (-47)/9 - (-2)/9. Let v(w) = -2*w**3 - 4*w**2 + 5*w - 8. Let o be v(k). Suppose 4*p - o = -5*p. Does 13 divide p?
True
Let r(k) = 101*k - 51 + 187 - 62. Is 16 a factor of r(7)?
False
Suppose 14*y - 105 = 9*y. Let h = y - 26. Does 28 divide (-258)/h - (-6)/15?
False
Let n = -1804 - -3550. Is 6 a factor of n?
True
Let g(s) = s**3 - 5*s**2 - 3*s + 19. Let m be g(5). Is 1*(-5 + m)*(-1772)/4 a multiple of 9?
False
Let i(m) = -17*m**3 - 21*m**2 + 5*m - 10. Let n be i(-6). Let l = -2040 + n. Is 44 a factor of l?
True
Let y(n) = -4*n**2 - 13*n - 1. Suppose 17*u = 11*u + 24. Let v be y(u). Let o = 290 + v. Is o a multiple of 23?
False
Does 59 divide 1025400/110 - (-14)/(-77)*-1?
True
Let v = 29 + -27. Let k be v/(-17) + (-416)/(-68). Is 404/4 + k/2 a multiple of 26?
True
Let z(s) = -156*s + 12. Let p = -52 + 50. Is 12 a factor of z(p)?
True
Let x(k) = -3*k + 57 - 131 + 77 + k + 6*k**2. Suppose 3 - 15 = -3*t. Is 14 a factor of x(t)?
False
Let h(j) = j**3 - 6*j**2 - 63*j + 333. Does 5 divide h(11)?
True
Let b be 14/(-49) + (-88)/(-14). Suppose -b*c = -26 - 4. Suppose 199 = c*u - p, 3*u = 3*p + p + 116. Is u a multiple of 20?
True
Let l(p) = -265*p - 55. Let b be l(-3). Suppose -8*m + 340 = -b. Is m a multiple of 27?
True
Suppose -t + 309 = b, 4*b + 948 = 9*t - 6*t. Is t a multiple of 18?
False
Let h(y) = 15*y**2 + 12*y + 517. Is 28 a factor of h(25)?
True
Suppose -9*g = -3*g + 48, -d = g - 425. Is 2 a factor of d?
False
Let c(m) = -6*m - 26. Let u be c(3). Let g be (1 + -9)/2*u/176. Is 19 a factor of 19*(-1)/(3 + g - 5)?
True
Let i = 16970 + -14935. Does 6 divide i?
False
Let i(d) = -d + 2. Let h be i(2). Let b(q) = 3*q**2 + 13*q - 20. Let n be b(-16). Suppose n = 3*l - h*l. Is 12 a factor of l?
True
Let i(f) = f**2 + 6*f + 17. Let a(h) = h**2 - 75. Let p be a(8). Does 20 divide i(p)?
False
Suppose -8*d - 17932 = -29452. Is 6 a factor of d?
True
Suppose 7*c + 482160 = 36*c + 13*c. Is 8 a factor of c?
True
Let z be (-6)/(-21) + 54/7. Suppose 4*u = -z*u + 948. Suppose 8*o + u = 703. Is o a multiple of 26?
True
Let v = -4097 + 8417. Is 12 a factor of v?
True
Let t = 54 + -19. Let y be 4/10 - (-3976)/t. Suppose -1158 + y = -9*j. Does 15 divide j?
False
Let p be ((-20)/(-2))/(0 + 2 + 0). Suppose -i + p*y - 123 = -1294, i - 1179 = -3*y. Is i a multiple of 14?
True
Suppose 0 = f - 4*f + 5*w - 14, -2*w + 6 = -f. Suppose -f*u + 670 - 164 = 0. Is 4 a factor of u?
False
Let a be (1 - -5) + -13 + 10. Suppose 4*d = -8, 3*p + 0*d + a*d = 6. Suppose -3*q - 13 = -p*r + 20, -4*q - 28 = -4*r. Is 6 a factor of r?
True
Let z be (-1 + (-10)/(-4))/(3/(-6)). Let g be (-24)/(-4)*(-2)/z. Suppose -p - 2*p = q - 255, -3*p = g*q - 975. Does 30 divide q?
True
Suppose 0 = -2*u + u + 156. Let k be 0/2 + -4 - 1764/(-49). Suppose -4*o = -u + k. Does 6 divide o?
False
Suppose 17986 = 43*s - 43836 - 36433. Does 11 divide s?
False
Let l = -5162 - -10917. Is l a multiple of 8?
False
Let n = -7898 + 8234. Is 11 a factor of n?
False
Is (2016/54)/(-28)*(-34472 + 2) a multiple of 67?
False
Let b(q) = -8*q**3 - 6*q**2 - 16*q - 77. Is b(-6) even?
False
Let c(d) = d**3 + 24*d**2 + 23*d + 30. Let u = 58 + -79. Let r be c(u). Suppose -3*j - 4*a + 894 = 0, -3*j + 6*a - 2*a + r = 0. Is 43 a factor of j?
False
Let s = 64834 + -34342. Does 72 divide s?
False
Let w(i) = 2*i**2 + 10*i + 11. Let y(j) = -j**3 - 6*j**2 + 8*j + 3. Let f be y(-7). Let h be w(f). Suppose 0 = -h*v - 92 + 284. Does 22 divide v?
False
Let u = -102 - -191. Suppose p - u = 77. Is 10 a factor of p?
False
Suppose w - 42 = -6*w. Let c(q) = 14*q**2 + 12*q - 71. Is 24 a factor of c(w)?
False
Suppose -y + d - 18 = -3*y, -2*d = y - 6. Suppose -3800 = y*z - 20*z. Is 20 a factor of z?
True
Let l(g) = g**3 - 29*g**2 - 59*g - 85. Let b be l(31). Suppose 1429 = -b*i + 1941. Is 8 a factor of i?
True
Let f = 285 + -285. Suppose -l - 553 = -3*n, f*n - 3*n + 549 = 3*l. Is 28 a factor of n?
False
Suppose 0 = -3*o - 4*s - 26, 6*s = -2*o + 5*s - 14. Let n be (-1)/((-1)/o) + -4. Is (n/25)/((-2)/685) a multiple of 35?
False
Suppose -z + 24053 = 4*z + 2*m, -2*z = 2*m - 9626. Is z a multiple of 53?
False
Suppose 2*x - 2396 = -2*r, 2*x = -3*r + x + 3590. Let b = -588 + r. Does 19 divide b?
True
Let d(x) = -5*x**2 - 8*x - 262. Let b(j) = -4*j**2 - 7*j - 262. Let g(p) = -4*b(p) + 3*d(p). Is g(0) a multiple of 20?
False
Suppose 0 = -9*w + 14*w + 35. Let g(r) = 26*r**2 - 2*r + 8. Let f be g(w). Suppose 222 = 11*n - f. Does 28 divide n?
False
Let d(v) = 13 + 0*v - 3*v + v - 3*v. Let f be (6/18)/(2/(-78)). Is d(f) a multiple of 13?
True
Let x(r) = 789*r + 63. Does 10 divide x(3)?
True
Let p(j) = 26*j**2 - 2*j - 1. Let w be p(-1). Let c = w - 6. Suppose -c*v - 116 = -25*v. Is 8 a factor of v?
False
Let a = 29 - 54. Let c = 48 + a. Suppose 18*u - 17*u - c = 0. Is u a multiple of 15?
False
Let h(c) = 219*c - 16. Let r be 12/21 + (-39)/7. Let x be h(r). Is x/(-33) + (-2)/(-6) a multiple of 15?
False
Let s(w) = 12*w - 10*w**2 + 11*w**2 + 5*w - w. Let a be s(-16). Suppose -5*z + 350 = 5*m, 0 = -3*m - 6 - a. Does 12 divide z?
True
Let r(j) = -2*j**3 - 7*j**2 - 5*j + 3. Let y be r(-4). Suppose y*n = 34*n + 1175. Does 20 divide n?
False
Let w be (-5)/(-6) + -1 + 3094454/228. Suppose 27*r = 45*r - w. Is r a multiple of 26?
True
Suppose -l + 5*b + 375 = 0, -5*b - 1425 = -l - 3*l. Is 3 a factor of l?
False
Let k be (26 + -7 - 8)/(2/2). Suppose -20*c = -k*c - 5031. Is 13 a factor of c?
True
Suppose 1104*n - 1087*n - 2414 = 0. Suppose -3*l = -0*l - 6. Suppose -l*v + 8 = 0, -4*h + 3*h + 3*v = -n. Does 14 divide h?
True
Does 3 divide 0 - ((-95)/(-19) + 1 + -146)?
False
Let l(h) = 11*h**2 - 1336*h + 214. Does 35 divide l(153)?
True
Suppose -4*f - 17 = 4*h - 49, 3*h - 2*f - 9 = 0. Suppose 3*u + 225 = g, 3*g = -h*u + 4*u + 715. Is g a multiple of 6?
False
Is 66 a factor of 5*28/105*962367/28?
False
Let n be (-12)/(-48)*2*2. Let q be 10/((-132)/136 + n). Let j = 488 - q. Is 12 a factor of j?
False
Suppose -12*s = 37*s + 43*s - 1829604. Is 112 a factor of s?
False
Is 25 a factor of 765898/18 + 266/532*(-2)/(-9)?
True
Suppose 2*u = -3*p + 11, 33*p - 32*p = 4*u - 15. Suppose -5*k - 3*c + 175 + 475 = 0, -k + 130 = u*c. Is 13 a factor of k?
True
Let h(p) = 3*p + 6. Let d be h(5). Let u = 25 - d. Suppose 3*v = -5*j + j + 42, u*j - 6 = -v. Is v a multiple of 7?
False
Suppose -2*b = 4*a - 4510, -5*a - 15709 = -5*b - 4524. Is b a multiple of 7?
False
Let p be 102/21 + (-3)/(-21). Let x be (p/(-6))/(3/(-18)). Suppose -i + 504 = x*i. Is 28 a factor of i?
True
S