+ n*j = -47, j - 59 = -7*o + 3*o. Does 10 divide o?
False
Let f = 270 + -267. Does 11 divide (-418)/6*(-6 + f)?
True
Suppose 0 = 4*d + 4*t - 22484 - 37472, 0 = -6*d + 3*t + 89943. Is 16 a factor of d?
False
Let x(l) = -10*l**2 + 6*l - 5. Suppose 0 = -12*h + 8*h - 20. Let m be x(h). Let c = m + 414. Is 13 a factor of c?
False
Let c(w) = 322*w + 278. Does 40 divide c(2)?
False
Let x(q) = -2233*q - 44. Does 7 divide x(-2)?
False
Let y(q) = 1099*q**2 - 15*q + 4. Is y(2) a multiple of 23?
True
Suppose -2*c + 19 = 3*b - 0*c, 5*b + c - 27 = 0. Suppose 5*p + 1590 = -b*p. Let s = -89 - p. Is s a multiple of 7?
True
Let a be 10/(-95) + (-10)/(-95). Suppose -4*b - 169 = -5*z + 16, -2*z + 5*b + 91 = a. Does 15 divide z?
False
Suppose -4*m + 8*m - 12 = 0. Let g be -5 + 2 + (m - 4) - -84. Suppose -4*y = -5*d - g, 71 = 3*y - 3*d + 2*d. Is y a multiple of 11?
False
Let m = 1336 - 713. Let b = 810 + m. Is b a multiple of 27?
False
Let v be 0 + 85 + (-17)/(51/(-9)). Suppose 0*l - 4*l - 104 = -4*c, l = 3*c - v. Is c a multiple of 11?
False
Does 123 divide 180798/42 - (-2 + 24/14)?
True
Suppose -b - 5*j = -335, -266 - 89 = -b + 5*j. Let g = b - 316. Does 2 divide g?
False
Let o = 4 + -2. Suppose 26 = 2*y - o*k, -1 = -2*y - 0*k - 3*k. Suppose -y*v = -6*v - 50. Is v a multiple of 6?
False
Let s = 154 - -1006. Is 29 a factor of s?
True
Suppose 4*g - 56037 = 5*n, 4*g + 5*n = 13997 + 41990. Does 67 divide g?
True
Suppose -4*m + 64*q + 255 = 65*q, -4*m = -3*q - 243. Is 48 a factor of 1/(2/476*18/m)?
False
Is 3 + (-27329)/(-6) - (-122)/732 a multiple of 86?
True
Suppose -7590 = -2*b - 4*q, -5*b - 23*q + 18993 = -22*q. Is 32 a factor of b?
False
Let p(a) = 1. Let i(g) = -11*g - 25. Let r(s) = i(s) - p(s). Let b(x) = 11*x**3 + 3*x**2 + x - 1. Let k be b(-1). Does 14 divide r(k)?
True
Suppose 911 = 3*c + 206. Let y = c + -160. Let f = y + -32. Does 31 divide f?
False
Is 7263 - 51/(20 + -17) a multiple of 172?
False
Let r(h) = -61*h**2 + 5*h - 10. Let n(d) = 122*d**2 - 9*d + 19. Let u(o) = -2*n(o) - 5*r(o). Let v be u(-5). Suppose -v = -6*q - 0*q. Does 9 divide q?
False
Let s(z) = 12*z - 19. Let y be s(-14). Let r = -111 - y. Is 38 a factor of r?
True
Suppose f - 4*v - 216 = 0, -f + 184 = -0*f + 4*v. Suppose 7*b - f = 367. Is b a multiple of 4?
False
Suppose 3588 - 684 = 8*k. Let p = k - -292. Does 14 divide p?
False
Suppose 2*v = -8, -4 = 5*f + 4*v + 2. Let x be 1*12/f*(-11)/2. Is 13 a factor of 156/(-9)*(1 + x/6)?
True
Suppose -113*p + 131*p - 6462 = 0. Is p a multiple of 38?
False
Let i(y) = y**3 + 20*y**2 + 18*y - 20. Let j be i(-19). Let q be 12 - 7 - 1*j. Let b(o) = o**3 - 4*o**2 - 2*o - 8. Does 13 divide b(q)?
True
Suppose -y + 2*y + 5*g + 3 = 0, 8 = 2*y + 3*g. Suppose -3*m - 136 = -y*m. Let c = -25 + m. Is c even?
False
Let n = 45118 + 2306. Is n a multiple of 19?
True
Let u = 1350 + 317. Suppose 9*w - 871 = u. Is 21 a factor of w?
False
Let v be (-30303)/(-84) + (-2)/(-8). Let y = 881 - v. Does 15 divide y?
False
Let t(q) = 43*q**3 - 48*q**2 - 10*q + 34. Is t(7) a multiple of 47?
True
Is (-12788)/(-4) + -1 - 108/(-27) a multiple of 64?
True
Suppose -4*h - 3*k - 32 = 0, -4*h + 5*k - 33 + 1 = 0. Let t(o) = 3*o**2 + 12*o + 28. Does 7 divide t(h)?
False
Suppose 2*y - 4 = 0, 3*f - 15*y + 12*y - 19812 = 0. Is 86 a factor of f?
False
Suppose 0 = -22*x - 51779 + 229891. Is x a multiple of 23?
True
Let v be 2/(-10)*1156 + 42/210. Let w = v + 364. Is w a multiple of 19?
True
Suppose -2*u = 4*u - 48. Suppose 0 = -u*t - t + 1989. Is 13 a factor of t?
True
Let a = 566 - -287. Let s = a + -409. Does 46 divide s?
False
Let c = -25 - -27. Suppose -u + 6 = c. Suppose -358 = -4*j + u*y + 390, -3*j + 591 = 3*y. Does 48 divide j?
True
Let v = 665 + -783. Let g = 410 + v. Is 27 a factor of g?
False
Let y = 19392 - 10255. Does 113 divide y?
False
Let r(w) = -109*w + 21. Let l be r(4). Let k = l + 533. Is 6 a factor of k?
False
Suppose 4*t - 1330 = 302. Suppose 0 = 3*l - 4*a - t, 2*a + 645 = 5*l + 7*a. Let v = l - 55. Is 11 a factor of v?
True
Suppose -14*i + 2506 - 366 + 5588 = 0. Is 67 a factor of i?
False
Let n(h) = -h**3 + 15*h**2 + 4*h + 3. Let z = -236 + 243. Is n(z) a multiple of 9?
True
Let o(g) be the third derivative of -37/30*g**6 + 1/8*g**4 + 1/60*g**5 + 31*g**2 + 1/2*g**3 + 0 + 0*g. Is o(-1) a multiple of 25?
False
Let y be 18/(-1 + 4) - (-4 - 29). Suppose 8540 = -y*a + 59*a. Does 9 divide a?
False
Let t be (1 + 3)/((-6)/(-24)). Suppose 179 = -t*j + 1939. Is 37 a factor of j?
False
Suppose 0 = -4*g + 4*i + 40948, 44*i - 41*i = -2*g + 20454. Is g a multiple of 47?
False
Suppose -9*a + 35 = -4*a. Let y(x) be the second derivative of x**4/12 + 3*x**3/2 - 27*x**2/2 - 108*x. Is y(a) a multiple of 9?
False
Suppose -38*i + 98*i + 105840 = 66*i. Is 30 a factor of i?
True
Let h be 7*8 + (-1)/2*-6. Let m = 60 - h. Does 11 divide 264/(-60)*(-4 - m)?
True
Let n(t) = -t**2 + 24*t + 15. Let c be n(17). Suppose 3*x = 5*i - 113 - c, 4*x = 3*i - 333. Let m = x + 154. Does 14 divide m?
True
Let o be ((-80)/(-96) + (-413)/6)/(-2). Is -3 - -406 - (o + -31) a multiple of 8?
True
Suppose -2*q - 3*q = -10. Let p(n) = -3 + 0*n**2 + 4*n**2 + 7*n + 2*n**q. Is 28 a factor of p(-4)?
False
Suppose 6*r = -3*z + 5*r + 29, r = z - 7. Let a = 11 - z. Suppose 0 = n - 5*w - 104, a*n + 4*w - 142 - 136 = 0. Is n a multiple of 10?
False
Let y = -65 - -59. Let q be (56/y)/(3/(-9)). Suppose 0 = -34*v + q*v + 336. Is 12 a factor of v?
False
Does 12 divide ((-8461635)/(-819))/(1*(-15)/(-36))?
False
Let q be 3*(-2)/(6/(-9)). Is 10 a factor of (-3 + -423)*(-2 + 12/q)?
False
Suppose 84*x - 38177 - 23952 + 2657 = 0. Is 14 a factor of x?
False
Let l be -5 - 996/(-204) - 393/(-17). Suppose l*u + 3*h + 276 = 25*u, -u + 140 = -2*h. Is 6 a factor of u?
True
Let z = -65 + 105. Suppose 9898 = -z*g + 54*g. Is g a multiple of 11?
False
Let p(d) = 2. Let t(v) = -123*v + 75. Let y(n) = 3*p(n) - t(n). Is y(7) a multiple of 16?
False
Let h be (-4560)/171*15/4. Let c = -103 - -281. Let n = c + h. Is 6 a factor of n?
True
Suppose -28*l + 33 + 51 = 0. Suppose -2*d - l = -2*s + 55, 106 = 4*s + d. Is s a multiple of 3?
True
Let j(i) = i**2 - 68*i - 801. Does 67 divide j(103)?
False
Let i = 257 + -253. Suppose -i*x + 517 - 61 = 0. Does 9 divide x?
False
Let h(z) be the first derivative of z**4/4 + 4*z**3 - 23*z + 311. Suppose -2*y - y - 32 = -w, -y - 9 = -2*w. Is h(y) a multiple of 7?
True
Let g be 1*(-37)/2*-2. Suppose -5*x = 427 - g. Does 12 divide (18/(-4))/9*x?
False
Let s(h) = -25*h**3 - 2*h**2 - 6*h + 8. Let d be s(-4). Suppose -3511 = -19*t + d. Is 4 a factor of t?
False
Let f be (14 + -5 + -840)*(-2)/(-2). Let h = f - -1714. Is 30 a factor of h?
False
Suppose -20*c + 55*c = 25760. Is 16 a factor of c?
True
Let b = 746 + 1824. Suppose -5*n + a = -2586, -9*n + 5*a = -4*n - b. Is n a multiple of 37?
True
Let p(b) = -2*b**3 - 62*b - 511. Does 55 divide p(-20)?
False
Suppose 2*c + 3*s + 2144 = s, 3*c = 2*s - 3206. Let m be c/(-6) - (-3)/(-9). Suppose 3*v - u - m = -v, -4*u + 143 = 3*v. Does 5 divide v?
True
Let a = -2646 + 5360. Does 19 divide a?
False
Let c(q) = -q**3 + 16*q**2 - 6*q - 3. Suppose -42 = -2*f + 5*g - 7, 3*f - g = 46. Does 67 divide c(f)?
False
Let n be -3*(-5)/(-5) - 418. Let s = -230 - n. Let b = s - 121. Is b a multiple of 28?
False
Let a be 6 - 2 - (-107 - (-5)/(-5)). Suppose -a + 832 = 15*h. Does 3 divide h?
True
Let j(a) = 8*a**2 + 3*a + 4. Let u be j(-3). Let v = 100 - 120. Let o = v + u. Is 6 a factor of o?
False
Let p = 39 + -17. Suppose 0 = 5*b + 2*d - 15, -4*b - 4*d = b - 5. Let t = b + p. Is t a multiple of 9?
True
Let o be -6*(-5)/15 - (-1 - 2). Suppose 77 = o*s - 73. Let j = s + 4. Does 8 divide j?
False
Let i = 2523 + -1988. Does 51 divide i?
False
Suppose 2*m + 12*m - 84 = 0, -3*m - 114105 = -3*x. Does 102 divide x?
False
Suppose -170426 - 163248 = -121*q + 489126. Is 49 a factor of q?
False
Let j(m) = -13*m + 62. Let d be j(0). Suppose -5*c - d = -o, -3*c - 21 - 177 = -3*o. Is o even?
False
Suppose -17 = -5*d + 3*l, 4*d - 3*l = 2*l + 11. Suppose 5*g + t - 165 = 6*t, 123 = d*g + 5*t. Suppose 0*m + 7 = y - 4*m, -g = -2*y + 2*m. Does 15 divide y?
False
Suppose 0 = 9*f - 8*f - 2*q + 8, 8 = -4*f + 2*q. Suppose -5*j - z = -1526 + 24, f = 4*j + 3*z - 1206. Is 36 a factor of j?
False
Let j(f) = f - 25. Let 