multiple of 51?
False
Suppose 5*q - 2*r - 26918 = 0, -3*q + 4966 = 2*r - 11172. Is 13 a factor of q?
True
Let s be (5/(-3))/(1/12). Suppose -2*d = -9*d - 12*d. Is (-2)/(-5) - (d - (-732)/s) a multiple of 3?
False
Is 5 + 9890/15*12 a multiple of 13?
True
Let y(k) = 21*k - 31. Suppose 4*n + 28 = m + 10, -4*m + n = -12. Suppose a + m*q = 14, 5*a - 4*q - 8 - 6 = 0. Is y(a) a multiple of 9?
False
Let g = -238 - -249. Suppose 434 = 5*r - g. Is r a multiple of 3?
False
Suppose 0 = -53*o + 24154 - 5350 + 64300. Does 56 divide o?
True
Is ((-36)/21)/((-21)/(52920/16)) a multiple of 5?
True
Let c be -11 - -10 - (-24 - 0/(-4)). Let u(p) = p**2 - 15*p + 65. Is u(c) a multiple of 9?
False
Is (-4206)/(-1)*(16 - 160/24) a multiple of 28?
True
Let o(d) = -d + 10. Let s be o(5). Suppose 190 = s*c + x - 92, -176 = -3*c - 4*x. Let i = c - 26. Does 6 divide i?
True
Suppose 315*o = 312*o - 402. Let f be (-1118)/5 + 2/(-5). Let j = o - f. Is j a multiple of 15?
True
Suppose 23*f + 3*t - 4363 = 22*f, 3*t + 21941 = 5*f. Does 9 divide f?
False
Let l(t) = -t**2 + 10*t + 2. Let y be l(11). Is (1 - (-11)/y) + 45958/99 a multiple of 16?
True
Suppose 0 = 116*s + 54*s. Suppose 0 = -v - 2*v + 18. Suppose s = v*m - 576 - 1044. Is m a multiple of 19?
False
Let v(p) = 674*p + 131. Does 3 divide v(1)?
False
Let o(i) = 3*i**2 - i + 3. Let u be (20/(-6))/(-10)*-21. Is o(u) a multiple of 4?
False
Suppose -9 = -4*l + 11. Suppose -l*r + 2*s + 342 = 88, -4*s - 158 = -3*r. Let q = r - 14. Is 4 a factor of q?
True
Suppose -13*w + 17*w = -b + 12, 0 = -4*b + 2*w + 12. Suppose -3*n = -b*a + 450, 4*a + 3*n = 5*a - 117. Is 37 a factor of a?
True
Is 6 a factor of ((-14160)/(-25))/(2/30)?
True
Let t(o) = o**3 + 6*o**2 - 2*o - 9. Let n be t(-6). Suppose -2*i + 204 = -18*d + 15*d, n*i - 301 = 2*d. Is 38 a factor of i?
False
Let c(b) = -9*b - 46. Let d(y) = 27*y + 137. Let u(s) = -17*c(s) - 6*d(s). Suppose a = -2*v + 5 - 2, 0 = a - 2*v + 17. Is u(a) a multiple of 23?
True
Suppose 4*k + 0*o = o - 447, 4*o - 93 = k. Let z = -260 + 440. Let l = k + z. Is 7 a factor of l?
False
Let i(y) = y**3 + 33*y**2 - y - 45. Let a be i(-33). Let h(p) = -3*p - 1. Let b be h(2). Is 6 a factor of (b + (-12)/(-4))/(2/a)?
True
Suppose -3*n + 8097 = 3*g - 93288, 3*g = n + 101381. Does 21 divide g?
False
Suppose 0 = -105*t - 70972 + 798431 + 35891. Does 15 divide t?
False
Let u(v) = 23*v**2 - 15*v + 190. Is u(26) a multiple of 4?
True
Suppose 3*u - 4 - 2 = 0, 0 = 2*h + 4*u + 206. Let q = h - -107. Suppose 3*r - 2*a - 3*a - 246 = q, 5*a - 62 = -r. Is 37 a factor of r?
False
Let y(j) = -2*j**3 - 3*j**2 + 10*j + 34. Let i be y(-3). Suppose i*h = 16*h + 930. Does 62 divide h?
True
Suppose 1070*y + 15838 = 4*z + 1071*y, 4*z + 2*y = 15836. Is 60 a factor of z?
True
Suppose -82*m + 2976 = -79*m. Does 7 divide m?
False
Does 185 divide 2 + 1275490/35 - ((-30)/(-14))/(-5)?
True
Let a(z) = 2*z**3 - z**2 - 12*z + 21. Let b be a(5). Suppose -24*u = -b - 12486. Is 33 a factor of u?
True
Let s be ((-8)/(-4))/((-1 - 0) + -1). Let b(n) = -33*n**3 - 3*n**2 + n + 4. Does 7 divide b(s)?
False
Suppose 33*a = 35*a + 202. Let w = a - -289. Does 45 divide w?
False
Is 20 a factor of 1/2 + (-245284)/(-104)?
False
Let g = 3953 - 295. Does 52 divide g?
False
Suppose -3*y = -2*y + 2*s - 58, -3*y - 4*s + 180 = 0. Does 11 divide -5*(366/(-60) + 3)*y?
False
Let u be (-40)/(-28)*1*7. Let b be (-20)/(-2) + (-7 - -3). Does 8 divide u/5*b*14/4?
False
Let i(u) be the first derivative of 12 - 6*u - 5/2*u**2. Does 14 divide i(-8)?
False
Suppose 466 = 12*h - 35714. Does 10 divide h?
False
Let x be (-119)/51 - (-2)/(-3). Let d be x/3 + -3*(2 + 5). Let s(w) = -6*w - 34. Is 49 a factor of s(d)?
True
Let a be -78*((-57)/9 + 3). Let q be (6/12)/(0 + 1/a). Suppose -2*x + q = -106. Is x a multiple of 30?
False
Suppose -78 = 5*a + a. Let q(t) = 3*t + 59. Does 12 divide q(a)?
False
Is 18 a factor of 906/(-15)*-194 + 21 + (-2575)/125?
True
Let p = 73 - 23. Let f(z) = 0*z + 3*z**2 + 47*z**3 - p*z**3 + 3 + 0*z. Does 37 divide f(-3)?
True
Let h(i) = -i**3 + 31*i**2 + 26*i + 138. Let j be h(32). Let p = j + 79. Is p a multiple of 5?
True
Suppose -5*z = -4*l + 3726 - 108637, 3*z = 4*l + 62937. Does 29 divide z?
False
Let f(u) be the second derivative of u**4/6 - 7*u**3/3 - 37*u**2/2 - u - 18. Is f(10) a multiple of 3?
False
Suppose 4*x + 3*u - 390 = 0, -u + 3*u = 4. Suppose 0 = 124*l - 125*l + x. Does 12 divide l?
True
Let k be (63 - 59)/((-2)/3). Let u(c) = -c**3 - c**2 + 5*c + 2. Does 39 divide u(k)?
False
Suppose 2411 + 3979 = 6*y. Let i = y + -423. Does 16 divide i?
False
Suppose -1083 = 3*c - 156. Let y = c + 581. Is 17 a factor of y?
True
Let y(u) = -2342*u + 2404. Is y(-6) a multiple of 88?
True
Let b = 370 + -368. Suppose -b*o - 5*d = -1125, 3*d + d + 20 = 0. Is o a multiple of 16?
False
Suppose 959 = f + 956. Does 38 divide (-190)/f*216/(-30)?
True
Let n = -446 - -772. Let j = 414 - n. Is j a multiple of 35?
False
Let c(v) = 8*v**3 - 17*v**2 - 28*v + 36. Is c(9) a multiple of 27?
True
Let p(j) = 33*j**2 + 7*j - 11. Suppose 12*u - 224 = -2*u. Suppose l - 5*z - 39 = -17, -4*l + u = -2*z. Is 27 a factor of p(l)?
True
Does 81 divide 2039 - (-5 + ((5 - 2) + -3)/(-2))?
False
Suppose -5*c + 4*c - x = -147, -4*c = -5*x - 552. Let y = 215 - c. Let b = y - 27. Is 9 a factor of b?
True
Let m be (-16)/24 + 4/(-12). Does 16 divide (m/(15/(-25)))/((-3)/(-378))?
False
Let q(z) = z - 31. Let b be q(10). Let l(t) = -t**3 - 22*t**2 - 19*t + 21. Let s be l(b). Does 5 divide 318/(-4)*14/s?
False
Suppose 2*i = 4*b + 742 + 280, 1020 = 2*i - 2*b. Suppose -20*p = -1251 - i. Is p a multiple of 22?
True
Let q(o) be the first derivative of -5*o**4/4 - 14*o**3/3 - 5*o**2/2 - 15*o - 62. Is q(-5) a multiple of 19?
True
Suppose -36*c - 448 = -40*c. Suppose 8*s = 3*s + 340. Suppose 2*q - s = c. Does 10 divide q?
True
Let c be -3 + (-82)/(-26) + 1246/13. Does 21 divide (109/4)/(8/c)?
False
Suppose 0 = -4*f - 3*f. Suppose -6*l + 5*l - 5*j + 190 = f, 5*j - 550 = -3*l. Does 18 divide l?
True
Let g(k) = -k**3 - 72*k**2 + 723*k - 313. Is 11 a factor of g(-81)?
False
Let r(d) = d**2 - 7*d + 10. Let k be 2 - (16/(-40))/(1/15). Let g be r(k). Is 27 a factor of 3*(-4)/8*-2*g?
True
Let u = -586 + 914. Suppose 5*z = 4*d - 10, 2*z = -3*d - 0*z + 19. Suppose -a = -d*a + u. Is 41 a factor of a?
True
Is 9 a factor of (35 + -89)*(-8)/(-12)*1994/(-4)?
True
Let w = -47 - 54. Let b = w + 103. Is -1 - (b - (62 - 2)) a multiple of 45?
False
Let p = -7 + 10. Let v(b) = -2*b**3 + 12*b**2 + 2*b + 21. Let z be v(6). Suppose p*i = -z + 237. Is i a multiple of 17?
True
Let q = -2733 + 3167. Is 7 a factor of q?
True
Let s(a) = -2*a**2 + 45*a - 19. Let u be s(22). Suppose -4*v + 1084 = -0*v - u*d, -4*d = v - 252. Does 11 divide v?
False
Let h = 6340 + -4507. Is 47 a factor of h?
True
Suppose -37*x + 29503 + 552 = 1898. Is x a multiple of 6?
False
Suppose -2*n - 2*n + 12 = 0. Let y(d) = 2*d**2 + 23*d + 30. Let j be y(-10). Suppose j = -h - n*r + 153, 0 = h - 3*h + 5*r + 251. Is h a multiple of 32?
False
Let z = 54 + -69. Let m = z - -52. Suppose -2*v + 11 = -m. Is 3 a factor of v?
True
Let t = -193 - -468. Is t/(((-5)/10)/(-1)) a multiple of 55?
True
Let h(v) = 379*v**2 + 53*v + 242. Is 22 a factor of h(-4)?
True
Let z(l) = 10*l**3 - 4*l**2 + 11*l + 76. Is z(13) a multiple of 71?
True
Let y = 26 - 15. Let v(d) = -34*d + 41*d - d**3 + 3*d**2 - y*d**2 + 2. Is v(-9) a multiple of 17?
False
Suppose -3*a + 12 = 0, 5*a - 335 = -0*m + 5*m. Let j(x) = -x**3 - 38*x**2 - 38*x - 30. Let s be j(-37). Let z = s - m. Is 28 a factor of z?
False
Let t = -51 + 53. Suppose -7*y + 4*w + 24 = -2*y, 28 = t*y + 3*w. Is 24 a factor of 171/((-30)/8*y/(-20))?
False
Let v = -8445 - -22557. Is v a multiple of 112?
True
Suppose y + 14 = 14. Suppose y = 3*i - i - 10. Suppose u + 2*u + 192 = 3*f, 3*u = -i*f + 328. Is 18 a factor of f?
False
Let z = -9522 - -11610. Is z a multiple of 6?
True
Let m(p) = -6*p + 38. Let i be m(5). Let q(a) = 4*a + 0*a - i*a + 7 + 17. Is q(-19) a multiple of 24?
False
Suppose -4*q - 22 = -r, 3*r + 3*q - q - 108 = 0. Let w(b) = -b**3 - 13*b**2 - 10*b - 120. Let g be w(-13). Suppose -g*o - r = -12*o. Is o a multiple of 2?
False
Suppose -5*y + 1118 = -642. Suppose 3*d - d + 2*m = y, 2*d = -3*m + 352. Does 5 divide d?
False
Le