ose 7 - 1029 = j*o. Let t = -76 - o. Does 7 divide t?
True
Suppose -t + 21 = k, -6*t = -10*t + 4*k + 52. Suppose -2542 = -t*w + 12877. Is 16 a factor of w?
False
Let j(s) = 234*s - 4248. Is j(29) a multiple of 94?
True
Let w(q) = q**3 - 18*q**2 + 115 + 14*q + 12*q - 197. Is w(17) even?
False
Let f(g) = -g**2 - 9*g - 7. Let c be f(-2). Suppose c*h - 116 - 1214 = 0. Does 19 divide h?
True
Let f(q) = 2*q + 8. Let b(c) = -1. Let i(m) = -4*b(m) + f(m). Let y be i(-5). Suppose -162 = -3*v + 2*d, -7*v + 2*v + 270 = y*d. Does 29 divide v?
False
Let b(d) = -518*d - 910. Is b(-2) a multiple of 4?
False
Is (32279/(-2))/(-1) + 236/472 a multiple of 60?
True
Let r(z) = -5*z**2 - 14*z + 23. Let x be r(2). Is 29 a factor of 11 - (-4)/(-1) - x?
False
Let q = 374 - 302. Suppose 330 = 5*n - 3*m - 2*m, q = n + 5*m. Is 13 a factor of n?
False
Let z = 513 + -259. Let f = -197 + z. Is f a multiple of 19?
True
Does 45 divide ((2796/(-8))/3)/(39/(-390))?
False
Suppose -2*q + 2 + 12 = 0. Suppose i - 5*z + 1 = 0, -4*z - 11 = -2*i - q*z. Suppose -2*m = -4*n + 405 - 63, -2*m + 330 = i*n. Is 6 a factor of n?
True
Is (-3)/(84/(-406525)) - 12/16 a multiple of 15?
False
Let f be ((-3747)/(-21) + (-36)/(-63))/(-1). Let o = f + 619. Does 27 divide o?
False
Suppose -2*q + 10595 = d, 3*d + 14504 = 5*q - 11989. Is 69 a factor of q?
False
Suppose -11*y + 21912 + 20630 = -37285. Is y a multiple of 16?
False
Let r(t) = -t**2 - 23*t - 7. Let g be r(-14). Suppose 8*d - g = 25. Does 6 divide d?
True
Suppose 0 = a - 0*y + 4*y - 31, -a - 5*y + 35 = 0. Let x = a - -46. Suppose -5*i + x = -19. Does 16 divide i?
True
Suppose 0 = 6*b - 296 - 154. Is b - (3 + -1 - (-5 - -5)) a multiple of 3?
False
Suppose 6*i + 3216 = 18*i. Let v = i - 140. Is v a multiple of 6?
False
Let x(m) = -2*m**2 - 16*m + 2. Let o be x(-8). Suppose 4*b + c = -o, 12 = 3*b - 5*c + 2. Suppose -7*y + 5*z - 117 = -11*y, b = 2*y - z - 55. Does 28 divide y?
True
Let i be 50/16 + -1*1/8. Let t be ((-4)/i)/((-4)/(-36)). Let r(c) = -2*c + 16. Is r(t) a multiple of 5?
True
Suppose -o - 5*i = -0*i + 16, 2*o + 10 = i. Let c = 330 + o. Is 18 a factor of c?
True
Let t(n) = n**3 - 21*n**2 + 18*n + 45. Let m be t(20). Let g be (3 - 3)/m + 1. Is 24 a factor of -2 - g - (0 + -2 + -169)?
True
Let q be 18/(-2)*(-2)/6. Suppose -q*s + 5*o + 29 = -36, -20 = -s + 2*o. Is 2 a factor of s?
True
Suppose -3*p = -2*g + 47414, -g = -5*p - 13813 - 9873. Is g a multiple of 28?
True
Let c = -712 - -647. Is 18 a factor of ((-324)/90)/(-2 + (-129)/c)?
True
Let q = 252 + -250. Let g(m) = 4*m**3 + 5*m**3 + 7*m - 5*m**2 + 0*m**3 - 2. Does 23 divide g(q)?
False
Let d = -78 - -79. Let u be d*2 - (25 - 31). Suppose u*w - 6*w = 88. Is 22 a factor of w?
True
Let c(f) = -2*f**2 + 18*f + 5. Let i be c(8). Suppose 2*d = -3*v - d, 0 = -2*v + 4*d - 30. Let z = i - v. Is z a multiple of 9?
False
Let b be ((-32)/12 + 1)*(-72)/20. Is 15 a factor of 12424/b + 5/(-30)*10?
False
Let m(r) = -7*r + 7. Let l(p) = -p**2 + 9. Let n be l(3). Let i be m(n). Let x(b) = 26*b + 28. Is x(i) a multiple of 30?
True
Suppose 0 = -3*o + 24 - 36. Let v be 34 - (24/(-4) - o). Let x = v - -171. Does 22 divide x?
False
Let m(f) = -17*f - 23. Let k be m(-4). Let z(t) = -13*t - 28 - 29 + k. Is z(-4) a multiple of 12?
False
Does 40 divide -2 + (-6*28/(-126) - (-55346)/3)?
False
Let f = 877 - -2528. Is 15 a factor of f?
True
Let p = 16 + -14. Suppose p*f - 10 = -2*k, 4*k = -0*f - f + 14. Is 30 a factor of -4 + 0 + f - -148?
False
Suppose 0*s = -5*w + 4*s + 198, 4*w - 3*s = 159. Let u = w + 38. Suppose -5*d + 3*d + u = 0. Does 10 divide d?
True
Let l(u) = -34*u**3 + 9*u**2 + 18*u + 15. Let r be l(-4). Suppose -7*a + 15 = -4*a, 0 = 2*d - 3*a - r. Does 27 divide d?
False
Suppose -21*r - 21 = -28*r. Suppose u + 2353 - 354 = r*v, 0 = -2*v + 5*u + 1337. Does 16 divide v?
False
Suppose 2*n + 64 = 94. Let b(w) = w**3 - 17*w**2 + 25*w - 16. Let u be b(n). Is (-4)/(-26) - 27832/u a multiple of 55?
False
Let f = -622 + 974. Let p(c) = -4*c**2 - 3*c - 12. Let q be p(-8). Let d = q + f. Does 12 divide d?
True
Let p be -2 + (-1 - -1) + -45*3. Let q = p + 200. Let o = -36 + q. Does 3 divide o?
True
Let p(x) = -700*x + 2380. Is 189 a factor of p(-19)?
False
Suppose -68*w + 128740 = -86956. Is w a multiple of 26?
True
Suppose -9*v - 13 + 40 = 0. Suppose v*x = -5*n - x + 3778, -5*n + 3*x = -3799. Is 12 a factor of n?
False
Let f be 276/161 - (-1)/((-14)/(-4)). Suppose -2*b + 6 = f*a, 0*b - 4*a + 6 = 2*b. Suppose 5*z + 0*z = b*u - 184, -3*u + 4*z + 188 = 0. Is 10 a factor of u?
False
Let t(z) = -z**3 - 3. Let l be t(2). Let r be 1/(-2) - (17622/4)/l. Suppose 0*y - r = -2*y. Does 25 divide y?
True
Let z(c) = -c - 7. Let s be z(-10). Let f(q) = -q**3 + 4*q**2 - 4*q + 1. Let p be f(s). Is 30 a factor of 86 + -4*p/8?
False
Let d = 49438 + -38726. Is 26 a factor of d?
True
Let p be 15/6*(-12)/(-6). Suppose -p*m + l + 1217 = 0, 3*l = -0*l + 9. Let h = m + -168. Is 19 a factor of h?
True
Suppose -22*i + 4134 = 28378. Let l = 1720 + i. Is l a multiple of 7?
False
Let h(f) be the second derivative of -f**4/12 - 5*f**3/2 + 30*f**2 + 24*f. Is h(-9) a multiple of 23?
False
Let g(f) = 95*f**2 - 2*f + 1. Is 6 a factor of g(-5)?
False
Suppose 0*y + 2*f = 2*y - 52, -2*y - f + 43 = 0. Let u = y + -21. Is (1/u)/(13/1300) a multiple of 20?
False
Let n(t) = -t**2 + 11*t + 177. Let p be n(17). Suppose 0 = -q - 4*j + 940, p*q + 1935 = 77*q - 3*j. Does 64 divide q?
True
Suppose 4*i - 108 + 100 = 0. Suppose -3*v + 611 = 5*k, -i*k - 130 = -3*k + 2*v. Is 31 a factor of k?
True
Let u be (24/8)/(1/2). Let q(f) = 4*f**3 - 9*f**2 + 15*f + 10. Does 11 divide q(u)?
False
Let h = -22 + 28. Suppose 5*f - 1 = 3*b, -2*f + 0*b = 2*b + h. Does 26 divide (0 - 73/f)*3/3?
False
Let n = -48 + 46. Let a(p) = -98*p + 4. Let f be a(n). Let i = -75 + f. Is 7 a factor of i?
False
Let n be 25 - 30 - (-24 + -2). Does 88 divide (-1 + 328)*n/21?
False
Suppose r + 2*i + 835 = 0, -5*r - 4*i - 2934 = 1211. Let q = -811 - r. Is q a multiple of 4?
False
Let j = -197 + 371. Let u = -151 + j. Is 13 a factor of u?
False
Suppose -28 + 20 = 8*x. Let u(q) = 73*q**2 - q - 1. Let j be u(x). Is 0 + -2 + (j - 0) a multiple of 16?
False
Suppose 28*p - 31*p + 9 = 0. Suppose -p*c = -q - 238, 5*c + 5*q = q + 425. Does 27 divide c?
True
Suppose -2*m - 3*m + v + 353 = 0, -134 = -2*m + 4*v. Suppose 0*a = -7*a + 245. Let h = m - a. Is 6 a factor of h?
True
Suppose -4*c = c + j + 60, -5*c - 60 = -j. Does 13 divide (52/c)/((-1)/117)?
True
Let i be 10/45 + 2578/(-18). Let t = 239 + i. Let a = t - 68. Is 12 a factor of a?
False
Let i(c) = -c**3 + 2*c**2 + 16. Let a be i(3). Suppose a*w - 168 = 6*w. Is w a multiple of 56?
True
Suppose 3*t + 3*z = 15, 6*t - 7*t = -z + 5. Let w be 69/966 + 9519/14. Suppose -3*h - h + w = t. Is h a multiple of 17?
True
Let j(v) = 157*v + 6. Suppose 6*l - 13*l = 7. Let i(f) = -1. Let k(h) = l*j(h) + 3*i(h). Does 61 divide k(-2)?
True
Does 29 divide (3 - 16) + 6340 - (9 - (-12)/(-4))?
False
Suppose 9*c + 288 - 432 = 0. Let g(x) = 51*x + 69. Is 59 a factor of g(c)?
True
Suppose -k = -3*x - 4498, k - 3*x + 8*x = 4458. Is 140 a factor of k?
False
Let h(z) = 27*z**2 - 41*z + 351. Is 89 a factor of h(7)?
False
Let c(a) = 2*a**2 - 12*a - 359. Let h be c(-11). Suppose 0 = -4*b + 20, 0*b = 3*j + 4*b - 38. Let g = h + j. Does 6 divide g?
False
Let k(p) = p**2 + 6*p + 2. Let w = -59 + 53. Let a be k(w). Suppose l = a*g + 49, -5*l + 3*g + 245 = 6*g. Is 7 a factor of l?
True
Let n(v) = 67*v**2 - v - 1 + 171*v**2 + 184*v**2. Does 11 divide n(-1)?
False
Let k(p) be the second derivative of -p**4/6 + 5*p**3/6 + 3*p**2/2 - 5*p. Let x be k(-3). Let m = x + 51. Does 7 divide m?
True
Let s = -112 - -1035. Let q = 1477 - s. Does 12 divide q?
False
Let u(t) = -48*t - 4. Let a be u(4). Suppose -3927 = 10*w - 797. Let p = a - w. Is p a multiple of 39?
True
Suppose 0 = n - l - 11950 - 6419, -2*l + 91838 = 5*n. Is n a multiple of 14?
True
Let f(g) = g - 12. Let t be f(11). Let a be 10 + 4 + t + -8. Does 12 divide (-22)/(a - (-56)/(-11))?
False
Let s(r) = r**2 - 3*r + 1. Let y be s(0). Let k be 15*(-2)/3 + 1/y. Is 30 a factor of 32/12 + -3 - 1623/k?
True
Does 114 divide -3 + ((-94)/423 - 112/(-18)) + 5355?
True
Let w(p) = 13*p - 35. Let h be w(3). Suppose -f = h*z - 1376, 0 + 2 = z. I