. Is p/(11/((-330)/12)) a multiple of 13?
True
Let i = -48407 - -71387. Is i a multiple of 44?
False
Let p(s) = 9 - 52*s + 3 + 3 + 62. Let o(r) = -17*r + 26. Let i(q) = 17*o(q) - 6*p(q). Is 6 a factor of i(3)?
False
Let o(k) = 1695*k + 1566. Does 49 divide o(10)?
False
Let j(v) = -3*v**2 - 48*v + 149. Let l(w) = 2*w**2 + 32*w - 99. Let t(m) = 5*j(m) + 7*l(m). Is 9 a factor of t(-18)?
False
Suppose 2441 = -11*h + 7897. Suppose 25*l + h = 27*l. Is 31 a factor of l?
True
Is 3 a factor of 2353 + -2 + 532/76?
True
Let c = -504 - -594. Suppose c*h = 81*h + 3240. Is h a multiple of 30?
True
Let s be -174 + (-3 - -2) + (0 - 3). Let a be ((-28)/16)/((-4)/(-224)). Let x = a - s. Is 27 a factor of x?
False
Let w = -17044 + 25965. Does 11 divide w?
True
Let k be 2/10 + 178/10. Suppose 19*y - 178 = k*y. Suppose -3*h - 4*v = -y, 4*v - 112 = -2*h - 0*v. Is h a multiple of 22?
True
Suppose -21*v + v = -109960 - 7340. Does 29 divide v?
False
Let s(d) = -d**3 - d**2 + 6*d + 4. Let p be s(-3). Suppose -3*k + 0*k = 3*n + 18, 9 = -p*k + n. Does 15 divide 107 + 4 + k + -3?
True
Suppose 3*u = 12, -72 = 2*o - 5*o + 3*u. Suppose 4*l - 5*w - 30 = 3, -4*w = -4*l + o. Suppose -l*a + c = -153, 5*a - 227 = 2*a - c. Is 3 a factor of a?
False
Does 18 divide ((-4364)/6)/((-1003)/51 + 19)?
False
Let m(q) = -q**3 - 28*q**2 - 93*q + 16. Is m(-28) a multiple of 3?
False
Let v(k) = 5*k**2 - 11*k + 2. Let b be v(1). Let a(j) = 9*j**2 - 6*j - 8. Is 16 a factor of a(b)?
True
Suppose 20 = -5*w + 4*q, -2 = 2*w + 3*q + 6. Let f be 525/(-15)*w/(-10). Is (f/4)/(-7)*212 a multiple of 11?
False
Is -73*(-8)/(56/413) a multiple of 59?
True
Let p(j) = -17*j - 92. Let x be p(-8). Let v = 98 - x. Does 5 divide v?
False
Let y = -4 + 13. Suppose y*f + 525 = 14*f. Suppose 3*k + 3*h = 105, 0*k - 4*k + 3*h = -f. Does 5 divide k?
True
Suppose 4*b + 2*o - 28 = 3*o, 0 = 3*b - 4*o - 21. Suppose -4*j - 114 = -b*j. Let s = j + 142. Is 30 a factor of s?
True
Suppose 3*x - 9 - 1 = -4*u, -2*x - 5*u + 16 = 0. Is 15 a factor of x*((-780)/8 + 0)?
True
Let r = -54 + 214. Suppose r = y + y - 4*x, 5*x = -5*y + 400. Is y a multiple of 5?
True
Suppose -3*j - 4*z + 1779 = 0, -168 - 430 = -j - 3*z. Is j a multiple of 8?
False
Let u = 2 - 0. Let w(p) = p**3 - 13*p**2 - 34*p + 61. Let r be w(15). Is 44 - u/r*2 a multiple of 8?
True
Let w(o) = 8*o + 2. Let v be w(-1). Let a(u) = u**2 - u. Let y(l) = -l**3 - 2*l**2 - 14*l - 3. Let f(t) = 6*a(t) - y(t). Does 9 divide f(v)?
True
Let t = 477 - 477. Suppose t = 14*c + 2010 - 9402. Is 22 a factor of c?
True
Let k be (24/3)/((-2)/(-20)). Let a = 3627 + -3623. Is 0 + 1/(a/k) a multiple of 10?
True
Let w(s) = 173*s + 5 - 3 - 174*s + 11. Let d be (1 - 20) + -2 + 4. Is w(d) a multiple of 10?
True
Suppose -w = -5*y - 485, w + y = 2*y + 481. Suppose -7*d - w = -19*d. Let x = d - 31. Does 3 divide x?
True
Let b(p) = 213*p**2 - 112*p - 172. Is b(-7) a multiple of 3?
True
Is (-21 + (12 - 5))*(-2975)/14 a multiple of 25?
True
Does 43 divide 300/25 + 432*37?
True
Is 256/(-2432) + 41080/19 a multiple of 46?
True
Let i(p) = -5*p + 43. Suppose -2*z + 4*q = -10, -4*z - q + 29 = -z. Suppose z*o = -43 - 11. Does 26 divide i(o)?
False
Suppose f - 1 = 4*n, 5*f = -12*n + 15*n + 56. Is 8 a factor of (1 - -1 - f)/(39/(-897))?
False
Let j = -272 + 4874. Is 13 a factor of j?
True
Suppose 216 - 204 = 4*j. Suppose j*o + 4*c = 120, -5*c = -2*o + 107 - 27. Is o a multiple of 15?
False
Let y(i) = -i**3 + i**2 - i + 3. Let k = -85 + 49. Let s = k + 33. Is 14 a factor of y(s)?
True
Let k = 110526 + -58563. Is k a multiple of 381?
False
Suppose 4*a = 12 - 4. Suppose -2*o + a - 18 = -w, -o - 43 = -3*w. Is 13 a factor of (w/(-5))/((-4)/130)?
True
Let t be ((-2)/1)/((-48)/(-9) - 6). Suppose v + o - 93 = -4*v, -5*v + 99 = t*o. Is 19 a factor of -4 + (v*13)/2?
False
Let a = 1650 - 1619. Suppose 5*c = b + 615, 4*b = -4*c + 2*c + 224. Suppose i - c = -a. Is 16 a factor of i?
False
Let s(l) = 731*l - 3172. Does 54 divide s(13)?
False
Let a(g) = 6*g**3 + 4*g**2 - 5*g + 5. Let z be a(2). Suppose 3*c - 9 + 66 = 0. Let m = z + c. Is 5 a factor of m?
True
Let u(h) = 100*h + 4 + 13 - 48*h - 56*h. Is 5 a factor of u(-17)?
True
Is 21 a factor of (-3476)/10*((-21)/(-14) + -19)?
False
Suppose 0 = -7*k - k + 328. Let g = -35 + k. Let t(z) = 19*z + 13. Is t(g) a multiple of 20?
False
Let i = -14 - -20. Let d be (123/6 + 0/2)*i. Let y = -53 + d. Is 35 a factor of y?
True
Let n(f) = 13*f**2 - 12*f + 30. Let z be n(8). Suppose 2*y + 382 = z. Does 8 divide y?
True
Let f be (0 - 9) + (23 - 20). Let x be 9/f*(-1)/3*964. Let a = x + -290. Is 48 a factor of a?
True
Suppose -5*n = -5*x - 5, -5*n = -x - 6 - 3. Suppose r - s - 115 = 0, n*r = 7*s - 12*s + 209. Is r a multiple of 7?
True
Does 12 divide 3/(-36)*6*-3*43244/6?
False
Suppose 0 = -4*w + 3 + 37. Suppose -5*n - 320 = -w*n - 5*c, -5*n + 4*c + 338 = 0. Does 22 divide n?
True
Suppose 0*o - 3*h + 149 = 2*o, 3*o + 5*h - 223 = 0. Let a = o + -74. Is a even?
True
Let p = 55850 - 37364. Does 13 divide p?
True
Let f = 10 + 1. Let u be 16/10*175/70. Suppose u*a - 83 = -f. Is 8 a factor of a?
False
Let h be 1*(18 - 12/(-4)). Let q = 21 + -25. Let o = h + q. Is o a multiple of 7?
False
Let o = -114 - -118. Let w(p) = p**3 - p - 10. Let c be w(o). Is c/(3/(63/6)) a multiple of 13?
False
Suppose -3*f - 1972 = 5*i - 21215, -3*i + 2*f + 11542 = 0. Suppose -16*s - 21*s = -i. Does 8 divide s?
True
Suppose 0*p + 3*p = 12. Let o(x) = -37*x**2 + 5 - 136*x + 50*x**2 + 119*x. Is 25 a factor of o(p)?
False
Suppose -3*w = -2*i + 1, -4*w - 20 = 3*i - 13. Let x = -18 + 35. Let u = x - w. Is u a multiple of 3?
True
Let v be 8/(-36) + 6336/81. Is 5 a factor of (0 - v)/(-2) - 4?
True
Let m be (510/(-9))/(4/(-12) - 0). Suppose -455 = -5*w - 5*p + m, -3*w + 3*p = -345. Does 20 divide w?
True
Let o(c) be the first derivative of 0*c - 6*c**2 - 6*c + 0*c**2 + 24 + 2*c. Is o(-12) a multiple of 10?
True
Let k(u) = 22*u + 38. Let t be (-138)/(-17) - (-42)/(-357). Is k(t) a multiple of 13?
False
Suppose 0 = 5*m - 25, -4*y + 7*m - 59 = 12*m. Let i(v) = v**2 - 20*v + 8. Is 13 a factor of i(y)?
False
Let d be 6460/9 - (235/(-45) + 5). Suppose 0*q + d = 2*q + 2*w, -2*w = -q + 371. Does 26 divide q?
False
Suppose 21*f = -y + 24*f + 20, 3*f + 30 = 3*y. Suppose -2*o - y*i + 2310 = 0, -o + 0*i + 5*i = -1170. Is 116 a factor of o?
True
Suppose -40*q + 26801 = 11*q - 9154. Does 47 divide q?
True
Let r(d) = 8861*d - 3576. Does 20 divide r(5)?
False
Suppose 0 = 4*l + k - 243, 5*k - 303 = -5*l + 4*k. Let m be (64/l*3)/(2/10). Suppose -2*y - m = -46. Is 15 a factor of y?
True
Suppose 55*p + 105 = 60*p. Let g be p/4*(-32)/12. Is 9 a factor of 2/(-14) + 158/g*-4?
True
Is 2427 + 29/(435/(-150)) a multiple of 26?
False
Suppose 0 = n - 7*n + 2394. Let c = n - 253. Is 73 a factor of c?
True
Let j = -1523 - -3973. Does 80 divide j?
False
Let u = -63759 + 108792. Is 17 a factor of u?
True
Does 20 divide (2/(-1) - -813)/(2/16)?
False
Suppose -4*f - 1948 = -4*q + 8148, 3*q - f = 7574. Does 13 divide q?
False
Let k(r) = -15*r - 102. Let i be (-8)/(-52) - (-264)/(-26). Does 24 divide k(i)?
True
Let c(z) = -z**3 - 10*z**2 - 9*z + 14. Suppose -2*p + 0*p - 166 = -2*s, -2*p - 162 = 2*s. Let h = -91 - p. Is c(h) a multiple of 2?
True
Let y be ((-8238)/(-5))/6 - (-6)/15. Is ((-2)/1)/((-10)/y) a multiple of 14?
False
Let s(f) = -187*f + 3. Let y be s(-1). Suppose -6*u + 5*k + y = -u, -4*u = -3*k - 154. Is 10 a factor of u?
True
Let n(o) = 362*o**2 + 76*o + 288. Does 24 divide n(-6)?
True
Suppose -5*o + 1375 = 2*k, -5*o + 1355 = 21*k - 23*k. Let n = 207 + o. Does 32 divide n?
True
Let i(h) = 2*h + 31. Let s(v) = -1. Let w(p) = 3*i(p) + 21*s(p). Let z be w(6). Let j = z + -18. Is 17 a factor of j?
False
Suppose -2*m = 5*x - 9 - 35, -5*x - 24 = -2*m. Suppose 4*a = 2*b - 58, 1 = 2*b + 4*a - m. Does 3 divide b?
False
Let y(f) = -5*f - 13*f - 17*f - f**3 - 25*f**2 + 5*f - 27. Does 9 divide y(-24)?
True
Is ((2 - -20)/2)/(((-38)/1694)/(-19)) a multiple of 14?
False
Let b be (2/(-6))/(-3 - (-16)/6). Let n(v) = 5*v**2 - 3*v + 2. Let y be n(b). Is 0 + (2/y)/(1/160) a multiple of 7?
False
Let z(x) = 88*x - 4440. Does 9 divide z(58)?
False
Suppose 0 = -304*q + 306*q. Suppose q = j + j - 5*m - 951, 0 = 2*m + 2. Does 59 divide j?
False
Is 2 a factor of (10 - -186