 p. Does 5 divide x?
False
Suppose -25 = -u - 117. Let y = u + 100. Suppose 392 = 4*p - y*x + 4*x, 2*x = 3*p - 295. Is p a multiple of 11?
True
Let j(v) = v**3 + 13*v**2 - 3*v + 4. Suppose 3*n = 9, k - 4*n + 9 = -0*k. Suppose -3*t + 4*b - 23 = 0, -t = k*t + 2*b + 60. Does 15 divide j(t)?
False
Suppose 4*m + 22 = 152*i - 151*i, -2*i + m = -72. Does 19 divide i?
True
Let y(o) = 37*o**3 - o**2 - 2*o + 2. Let u be y(1). Let f = 38 - u. Suppose 4*t = -f*k + k - 4, k - t = 16. Does 3 divide k?
True
Does 11 divide (78894/(-30) + 3)/(3 - 136/40)?
True
Suppose -16*y + 13*y = -33. Suppose 15*x = y*x - 892. Let w = -114 - x. Is 12 a factor of w?
False
Suppose -3*p = 3*q - 7002 - 16317, -5*q - 15 = 0. Is 108 a factor of p?
True
Let q be (-3 - -5)/(4/18). Let h(y) = y**3 - 10*y**2 + 15*y + 18. Is h(q) a multiple of 9?
True
Suppose -16*s = -12*s - 280. Is s/((70/11)/2 - 3) a multiple of 18?
False
Let w be (0 + 1)*10*30/4. Let o = 81 - w. Suppose -28 = -4*x - 4*l, 4*l + o = 2*x - 2. Does 3 divide x?
True
Suppose -71720 = -4*k - 36*k. Is 11 a factor of k?
True
Suppose 5 = 5*d - 3*t + 4, d - 11 = -3*t. Suppose d*u + 46 = -5*a + 3*a, a = 5*u - 11. Is 8 a factor of 7/(a/2) + 52/6?
True
Suppose 0 = -17*n + 1341 + 1260. Suppose -n*o + 158*o = 1000. Does 25 divide o?
True
Suppose 322*a = 388*a - 22440. Is 7 a factor of a?
False
Does 77 divide 12/(-14) + 1 + (-350018)/(-266)?
False
Let q(p) = p**3 - 59*p**2 + 75*p - 378. Does 11 divide q(60)?
True
Let b(d) = 1 - 5*d + 3 + 3*d + 173*d**2 - 2. Is 58 a factor of b(2)?
False
Is (6/4 + 15113/14)/(1 + 0) a multiple of 47?
True
Is 32/(-2) + 11 - (-8411 + 0) a multiple of 120?
False
Let p(c) = 3*c**2 - 141*c + 152. Let h be p(48). Let u = h + -9. Is u a multiple of 7?
True
Let v(x) = 41 + 103*x + 121*x + 62*x - 98*x. Does 88 divide v(9)?
False
Let j(c) = 171*c**2 + 28*c + 10. Suppose 20*a + 4*a + 72 = 0. Is j(a) a multiple of 55?
False
Let u(h) be the second derivative of h**4/2 + 21*h**3/2 - 9*h**2/2 - 37*h. Is 9 a factor of u(-15)?
True
Suppose 350*m = 435*m - 1595620. Is 19 a factor of m?
True
Let t(g) = 16*g - 5*g + 15 - 12*g - 3*g - 7*g. Let x(c) = -c**2 + c + 1. Let f be x(3). Does 35 divide t(f)?
True
Let x(s) = -s**3 + 9*s**2 - 4*s - 5. Let f be x(8). Let y be 6/f + (-1850)/(-18). Let c = 157 - y. Does 21 divide c?
False
Let y(v) = -v**3 + 8*v**2 + 13*v - 3. Let t be y(10). Let g = t + 89. Is 16 a factor of g?
True
Let o(u) = -76*u**3 - 63*u**2 - 345*u - 25. Does 175 divide o(-5)?
True
Suppose -2*y - 1125 = -7*y. Suppose 63 = 2*z + y. Let h = -43 - z. Is h a multiple of 19?
True
Let c(y) = -y**3 + y. Let x(n) = n**3 + 12*n**2 + 14*n - 19. Let o(v) = 2*c(v) + x(v). Let a be o(13). Let g = -6 + a. Is g a multiple of 3?
False
Let q(n) = -n**3 - 8*n**2 + 7*n - 18. Let c be q(-9). Suppose 79 = t + 5*j, c = -t + 17*j - 20*j + 79. Is 3 a factor of t?
False
Suppose -16*v + 1264 = -24*v. Let s = 209 + v. Is 3 a factor of s?
True
Let u = 1356 - -1257. Suppose -4360 = -5*j - 5*v, 4*v = 21*j - 24*j + u. Is 25 a factor of j?
True
Let w be ((-142)/10)/((-17 - -6)/(-55)). Let z(v) = 27*v**2 - v + 1. Let x be z(-2). Let j = w + x. Is 8 a factor of j?
True
Let u = 38 - 36. Let y(i) = i**3 - i**2 - i - 1. Let m(w) = -3*w**3 + 4*w - 6. Let g(o) = u*y(o) + m(o). Is 38 a factor of g(-7)?
False
Suppose 38 = -7*s + 227. Let q = 312 - s. Is 19 a factor of q?
True
Let m = -120 - -126. Let w be 2860/m - (-19)/57. Suppose -w = -5*s - y, 4*s + 7*y - 3*y - 372 = 0. Does 43 divide s?
False
Is 2480 - (14 + -38 + 15) a multiple of 76?
False
Suppose -m + 3*m = -3*f + 73, 0 = -m + 5*f + 69. Suppose -3*w + 19 = -m. Is 21 a factor of w?
True
Let y be (2/(-4))/(4/(-376)). Let u = y - 17. Let a = -20 + u. Does 5 divide a?
True
Suppose 18*p = 7352 + 38368. Is 71 a factor of p?
False
Does 34 divide (-4)/10 - (5/(25/(-8352)) + 3)?
False
Let g(c) be the first derivative of -20*c**2 + 105*c + 52. Is 55 a factor of g(-18)?
True
Suppose 27*r - 100 = 89. Suppose 3*d = -s + 3426, 4*s + 2277 = 2*d + r*s. Does 84 divide d?
False
Let c be 1/6 - 295/(-30). Let i(q) = -4*q - 9 - q - c. Is i(-17) a multiple of 16?
False
Let u(w) = 6*w**2 + 21*w + 210. Is u(-10) a multiple of 15?
True
Let w(z) = -z**3 + 20*z**2 - 14*z - 63. Suppose -6*m - 14 = -7*m + q, -m - 2*q = -29. Is 4 a factor of w(m)?
True
Let l(r) = -28 + r - 31 + 12*r**2 + 56 - 5*r**2. Let q be l(2). Suppose -q = a - 156. Is a a multiple of 20?
False
Let q = 220572 - 151873. Is q a multiple of 225?
False
Let j(p) = -11*p + 63. Let i(k) = -3*k**3 + 2*k**2 - 2*k + 5. Let o be i(2). Does 38 divide j(o)?
True
Let q be 3/9*(-17 - (3 - 8)). Let f(u) = -u**2 + 3*u - 4. Let d be f(3). Is 13/q*-10*d/(-5) a multiple of 4?
False
Suppose d - 3*d = 6*d - 688. Does 4 divide d?
False
Let s = 22 - 62. Suppose 24 = 5*z + 2*v, 10*z - 6*z + 4*v = 24. Is (-3296)/s - z/10 a multiple of 12?
False
Suppose -16 = 43*g - 47*g. Suppose -x + 1283 = 3*z - 2*x, -x = -g. Does 13 divide z?
True
Let h be -4*(45/(-10))/(-3). Let x be 237 + h + 5 - -1. Let o = 15 + x. Is o a multiple of 18?
True
Let w = 15973 - 2796. Is w a multiple of 68?
False
Suppose 16*g - 15*g - 10 = 0. Let c be ((-141)/(-6))/(5/g). Suppose 5*y - c = 688. Is 26 a factor of y?
False
Suppose 9*r + 3*z - 1330 = r, 0 = 2*r + 4*z - 352. Is 41 a factor of r?
True
Let o(n) = -9*n**3 + 2*n**2 + 2*n + 5. Let l be o(3). Does 3 divide (-136)/136 - (l - (1 - 2))?
False
Let h be (-5226)/24 + (-8)/32. Let b = -31 - h. Does 22 divide b?
False
Let l(m) = m**3 + 19*m**2 + 63*m - 5. Suppose -47 - 1 = 6*u. Is l(u) a multiple of 13?
True
Let s = -10 + 12. Let g be (s - -4)*(7 + 7). Let a = g - 36. Is 6 a factor of a?
True
Let s(g) = -847*g - 365. Is 43 a factor of s(-3)?
False
Let o(j) = -22 + 5*j + 6 + 7 + 2. Let m = -10 - -21. Is 12 a factor of o(m)?
True
Suppose 14*w + 12*w = -17576. Let r = w - -849. Is r a multiple of 25?
False
Let y(n) be the second derivative of n**5/10 + 4*n**4/3 - 4*n**3/3 + 19*n**2/2 - 3*n + 6. Is y(-8) a multiple of 2?
False
Let m be (14 - 14 - 0) + 575*2. Suppose 3*a = -2*a + 5*g + 1150, 4*g - m = -5*a. Is a a multiple of 16?
False
Suppose -2*y + 1632 = -2*t, y + 2*t = -0*t + 825. Let h = y + -492. Does 12 divide h?
False
Let x = -1836 + 2364. Is x a multiple of 48?
True
Suppose 3*n - 11 = -4*y + 3, 5*y + 4*n - 18 = 0. Suppose 7*k - 4821 = 2*k + 3*g, y*k = 4*g + 1920. Is 42 a factor of k?
True
Suppose -3080 - 2785 = -15*p. Let n = 92 + p. Does 69 divide n?
True
Let w(i) = -2*i - 2. Let f be w(-3). Let g be ((-2)/f)/(1/(-8)). Let k(a) = -a**3 + 6*a**2 - a - 3. Does 25 divide k(g)?
True
Is 42 a factor of (49975/(-125) + -25)*(-140)/2?
True
Let k = -660 + 1368. Let r = -460 + k. Does 31 divide r?
True
Let w(j) = -5*j + 60. Let s be w(12). Suppose s = 7*n - 477 - 27. Is 5 a factor of n?
False
Suppose 882 = 143*o - 149*o. Let j = o - -865. Is 9 a factor of j?
False
Let p(s) = -s. Let o be (-3)/(-1) + (-4 - 0). Let y(b) = -5*b + 21. Let j(n) = o*y(n) - 5*p(n). Is j(6) a multiple of 39?
True
Is ((-443916)/(-4))/9 + 15 a multiple of 152?
False
Suppose -45*j + 43*j = -28*j + 29952. Is 8 a factor of j?
True
Let n(b) = -22*b + 21. Let o be n(1). Let w(v) = 1240*v**2 - 5*v - 8. Is 53 a factor of w(o)?
False
Suppose 152 = 18*z - 136. Let t(m) = -m**3 + 17*m**2 - 13*m + 6. Is t(z) a multiple of 4?
False
Let b(h) = -358*h + 3395. Does 20 divide b(7)?
False
Suppose 3*d + 5*d = -9*d. Suppose 2*r = -2*w - 2*r + 614, d = -4*w + 3*r + 1239. Is w a multiple of 25?
False
Let w(c) = -1465*c + 1251. Does 61 divide w(-3)?
False
Let w be ((-3)/(-9))/((-3)/(-1710)). Let v = w - -40. Is 46 a factor of v?
True
Suppose 0 = 3*g - o - 22, g + 9*o - 11*o + 1 = 0. Is g/45 + 1557/15 a multiple of 3?
False
Suppose 1425 = 4*z + 5*c, 3*z - 1417 = -z + 3*c. Suppose z = -2*l - l - f, -4*l - 464 = -f. Is 18 a factor of l/(-3) + 2/2?
False
Let a(y) = -6*y + 13. Suppose -4 - 8 = t + 2*c, -3*t - 4*c - 28 = 0. Let i be a(t). Let b = 32 + i. Does 15 divide b?
False
Does 35 divide ((-7280)/4)/(6*(-8)/144)?
True
Suppose 9*a - 10 = 3*g + 4*a, -3*g = -3*a. Let q be (-134)/(-4)*(g + 7). Suppose q = 3*j + 3*b, j - 130 = 4*b - 9*b. Is j a multiple of 27?
True
Let y(q) = q**3 + q**2 - 1. Let t be y(1). Is 3568/20*((-1)/t + 6) a multiple of 28?
False
Let k = -2209 + 4215. Is k a multiple of 157?
False
Let i be 2/