= -s*q - 100. Suppose -7*z = -2*z + q, -3*m + 473 = -z. Is m a multiple of 13?
True
Suppose 3*c = 4*i + 54, 0 = -2*c - 0*c + i + 36. Let j = 472 + -446. Does 11 divide (j*3/c)/((-1)/(-21))?
False
Let y = 2229 - -886. Is 35 a factor of y?
True
Is ((20/(-7))/5)/((-2)/44359) - -7 a multiple of 16?
False
Let y(q) = -4*q**3 - 60*q**2 - 91*q - 180. Does 62 divide y(-26)?
True
Let p(a) = -2*a**2 - 8*a + 10. Let j be p(-5). Suppose -d = 4*h - 1929, j*h - 4*h + 2*d + 1938 = 0. Is 2/(1 - -1) - h/(-23) a multiple of 10?
False
Is (8/((-224)/147))/(13/(-23504)) a multiple of 28?
True
Suppose -5*k + 3*l + 978 = 0, -4*k + 5*l - 3*l = -784. Let o be (-4)/((-48)/k) - 1/2. Suppose -7*r + o*r - 972 = 0. Does 19 divide r?
False
Is 32 a factor of 247/(-2964) + (-121729)/(-12)?
True
Is (128652/710)/((-2)/(-5)) a multiple of 42?
False
Suppose 0 = 2*b - 2*v - 1 - 13, 0 = -2*v. Suppose -5*f + 4*d + 12 = -9, 3*d = 2*f - b. Suppose f*i + n = 280, 4*i + 0*i - 224 = -4*n. Is i a multiple of 7?
True
Let o = -2898 - -8068. Is 13 a factor of o?
False
Let s be (-18 - (-12)/2)*-10. Suppose 0 = 3*k - 4*u - 28 - 88, 3*k - 3*u - s = 0. Is 6 a factor of k?
False
Suppose -5*x + 2*d + 73 = 0, -3*x + 7*x - 5*d - 55 = 0. Let a(s) = 4*s - 9*s - x*s - 1 - 7*s. Does 20 divide a(-3)?
True
Is 31 a factor of (-2681450)/(-300) + (-4 - -1)/18?
False
Suppose 0 = -9041*r + 9095*r - 1616814. Is r a multiple of 15?
False
Suppose 16*x + 101*x = -53*x + 1471860. Is x a multiple of 26?
True
Suppose -2*m = -7*m + 15. Suppose -p - 3*z = -291 + 71, m*p - 3*z - 612 = 0. Suppose p = 37*d - 33*d. Is 4 a factor of d?
True
Let a(z) = -915*z + 382. Is a(-5) a multiple of 25?
False
Does 72 divide (-57195)/(-72) + 36/(-96)?
False
Let a be (-1)/((4/16)/(63/12)). Is 9/a - 716/28*-13 a multiple of 18?
False
Suppose -676 = -9*a + 4*a - 2*y, -399 = -3*a + y. Suppose -10*w = a - 474. Does 8 divide w?
False
Is 35 a factor of 3*(-40)/12*-560?
True
Suppose -26 = 2*w + 222. Let y = w + 264. Is y a multiple of 10?
True
Let i(r) = 13*r - 13. Let m(n) = 7*n - 7. Let x(b) = -6*i(b) + 11*m(b). Let y(q) = 85*q + 8. Let u(s) = -4*x(s) + y(s). Is 14 a factor of u(1)?
False
Let c(p) = 2*p + 23. Let y be c(-10). Suppose -y*l + 896 = 4*l. Is 8 a factor of l?
True
Let r = 35225 + 9944. Is 17 a factor of r?
True
Let b(h) = -320*h + 24. Let n be b(1). Let x = -36 - n. Is 65 a factor of x?
True
Let h = -61971 + 107402. Is h a multiple of 14?
False
Let z = 21927 - 3923. Is 74 a factor of z?
False
Let m = 11923 - 4825. Suppose -m = 17*w - 31*w. Is 39 a factor of w?
True
Suppose 0 = i + 4*s - 1233 - 264, 3*i - s - 4413 = 0. Is i a multiple of 4?
False
Let o(v) = v**3 + v**2 - 2*v - 4. Let i be o(2). Suppose -1110 = -i*s - 5*m, s - 552 = -s - 4*m. Is 28 a factor of s?
True
Suppose 10747 + 2489 = 6*x. Suppose -x = 6*n - 52. Let v = -214 - n. Does 29 divide v?
True
Suppose 0 = 17*v - 9*v + 1408. Let y = 190 + v. Is y a multiple of 2?
True
Suppose 4*s + 2*c = 116260, 53784 = -3*s - 4*c + 140984. Does 21 divide s?
True
Suppose 0 = -119*t + 122*t - 30. Suppose 98*l - 103*l = -t. Does 2 divide l?
True
Suppose -23*z + 12 = -21*z. Let b(v) be the third derivative of -v**6/120 + 2*v**5/15 - v**4/24 - v**3/3 - 5*v**2. Is b(z) a multiple of 16?
True
Let l(g) = 32*g**3 - 5*g**2 + 3*g + 4. Suppose -q = -c + 6, 4 = -c - 2*q - 2. Does 22 divide l(c)?
False
Let v = 8 + -4. Let k be ((-4)/(-3))/(v/438)*1. Let f = -44 + k. Is f a multiple of 17?
True
Suppose 14677 = 3*h - 4*z, 5*h - 6*h + 4887 = -4*z. Is 55 a factor of h?
True
Let v = 226 + -158. Suppose 64*q - v*q = -196. Suppose -4*a + 7 = -q. Does 7 divide a?
True
Suppose 58*c + 55 = 59*c. Let d = c - 51. Suppose 2*x - 42 = -3*g, 0 = 2*x - d*g - 46 - 10. Is x a multiple of 3?
True
Let l(t) = 6*t - 42. Let b be ((-96)/(-9) + 2)*3. Suppose 5*p + 3*a - b = 44, -4*a + 16 = 0. Is 6 a factor of l(p)?
True
Let k(d) = d**3 + 18*d**2 + d + 18. Let p be k(-18). Suppose p = 5*v - 17*v + 1296. Does 9 divide v?
True
Suppose -5*t - 4*k + 105096 = 0, -214*t + 210*t - 4*k + 84072 = 0. Is 24 a factor of t?
True
Let u = 19 - -67. Let n = 62 - u. Let v = n + 49. Is 25 a factor of v?
True
Does 15 divide (80/(-120))/(4/(-131310))?
True
Let u = 43845 - 19518. Does 30 divide u?
False
Let x(f) = 3 - 7 - 3 + 0 + 3*f. Let k be x(4). Suppose 4*m = k*g - 78, g = -0*g - 4*m + 6. Does 14 divide g?
True
Let d(p) be the first derivative of 2*p**3 - 17*p**2/2 + 5*p + 38. Let a be d(20). Suppose -10*y + a + 1135 = 0. Is 20 a factor of y?
True
Suppose -24*i = -172856 - 50008 - 139872. Is i a multiple of 22?
True
Let v = 1903 - 1734. Is v a multiple of 110?
False
Let d be (-252)/36*(1 - 0)*-3. Suppose 0 = d*j - 39964 + 10753. Is j a multiple of 16?
False
Suppose 0 = -68*x + 415550 + 136814. Is x a multiple of 2?
False
Let v(u) = -u + 15. Let d be (-135)/(-10) + 1/(-2). Let c be v(d). Suppose -x + q + 130 = -c*q, 4*x - 565 = 3*q. Is 15 a factor of x?
False
Is (-15 + 7502 - 2)*1/3 a multiple of 2?
False
Suppose -39 = -4*j + i, 2*i = -j - 0*i + 12. Let g = j + 7. Suppose 4*a = -0*a - n + g, -5*a - 4*n + 13 = 0. Is 2 a factor of a?
False
Let h = 253 - 245. Is 0 - (h - 3) - -35 a multiple of 2?
True
Let a = 24 + 12. Let y(l) = 0*l**2 - 18*l + 2*l**2 + 23*l - a - 16*l. Is y(16) a multiple of 54?
False
Suppose -5*v + 2*c = -147, 3*v + 4*c + c - 82 = 0. Does 19 divide v?
False
Let o = -846 - -902. Let j(m) = -m**3 + 8*m**2 - 6*m - 3. Let r be j(6). Let i = o - r. Is 15 a factor of i?
False
Let p be ((-32)/12)/((-8)/60). Suppose 24*k - p*k = 660. Let r = -81 + k. Does 12 divide r?
True
Suppose -6 = -y - 2*j, y + y - 2*j + 6 = 0. Suppose -3*n + 4*t = 6*t - 8, 1 = 3*n - 5*t. Suppose y = -2*k - o - 2*o + 49, -n*k - 4*o = -48. Does 21 divide k?
False
Let y be (-276)/30 + 9 - (-19561)/5. Is 8 a factor of (3/(-9))/((-8)/y) - 3?
True
Let z(o) = 12*o + 26. Let d(s) = -s - 1. Let j(f) = -3*d(f) - 3*z(f). Is 12 a factor of j(-7)?
True
Suppose -406 = -3*w + 6*w - g, -5*w + 5*g - 690 = 0. Let s = 153 + w. Does 19 divide s?
True
Suppose -3*q + 2578 = -1835. Does 25 divide q?
False
Let z be 5624/12 + (-4)/(-3) + -1. Let a = 678 - z. Is 19 a factor of a?
True
Let u(q) = -q**2 + 19*q + 2. Let k be u(19). Suppose -k*t - 2*f + 347 = -183, -5*f - 1315 = -5*t. Is t a multiple of 44?
True
Let a(j) = 209*j + 53. Let h be a(5). Suppose -6*x - 4*u = -8*x + h, -x - 4*u = -519. Is x a multiple of 49?
True
Suppose -2*f - 4*k - 132 = 320, 0 = -5*f + 3*k - 1091. Let s = 1486 - 1070. Let z = s + f. Is 22 a factor of z?
False
Is ((-25405)/(-2) - 5)*(-15)/((-300)/8) a multiple of 9?
False
Suppose -4*m + 124 = 1272. Let j = m + 512. Is j a multiple of 15?
True
Suppose 3*v + 5*r - 186 - 582 = 0, 2*v + 2*r = 508. Let u = 404 - v. Does 9 divide u?
True
Let z = 16405 + -13103. Does 26 divide z?
True
Suppose 18718 = 351*d - 346*d + 4*f, 0 = -3*f - 9. Is d a multiple of 54?
False
Let q be (-15210)/(-21) + 8/(-28). Suppose 0*w = -5*h + w + 905, -4*h = 2*w - q. Is h a multiple of 9?
False
Suppose -2*f = -5*f + 4*t - 327, -4*t + 12 = 0. Let k be (-1122)/(-14) + 15/f. Suppose -18*y - k = -22*y. Is y a multiple of 7?
False
Is 7 a factor of 32715/10 - -22 - 7/(-2)?
True
Does 80 divide 53273/29 + 2 + 1?
True
Let o(w) = 167*w**3 - w + 1. Suppose -26 = -33*h + 7*h. Does 9 divide o(h)?
False
Let w be ((-6)/(-7))/((-2)/(-14)). Suppose 2*h = m + w*h + 11, -2*m + 3*h = 0. Does 10 divide -8*m/6 + 116 + -12?
False
Suppose 0 = -2*r + 8*w - 5*w - 345, 0 = -3*r - 4*w - 543. Let c = r + 271. Does 31 divide c?
False
Let v(b) = 128*b + 2804. Does 10 divide v(7)?
True
Let u = 205 + -79. Let w = u - 94. Is 3 a factor of w?
False
Let i = -5948 - -6903. Is i a multiple of 8?
False
Let b(t) = -3885*t - 10656. Is b(-7) a multiple of 163?
False
Let t(h) = 36*h**2 + 960*h + 101. Does 10 divide t(-27)?
False
Suppose i - 278 = 4*z, 1358 = -4*i + 9*i - 4*z. Suppose -1731 = -273*r + i*r. Does 46 divide r?
False
Suppose -2*l = 3*d - 1228, 1222*l + 428 = d + 1218*l. Does 13 divide d?
False
Let d be ((-9369)/12)/((-9)/48). Does 8 divide (-4)/10 - d/(-10)?
True
Suppose 2988427 = 122*u - 3919945. Is 23 a factor of u?
True
Let v(l) = -l**3 + l**2 - 6*l + 455. Let u be v(0). Suppose 64*g - u = 63*g. Does 12 divide g?
False
Let h = 25 + -21. Suppose 6*c - 3*c + 3*q = 1098, -1456 = -h*c - 2*q. Does 14 divide c?
False
Let 