83 = -4*j. Suppose j*y + 203 = 2163. Is 14 a factor of y?
True
Let o(g) = g + 18. Let q be o(-11). Suppose r = q*r - 18. Suppose -2*u + 101 = s, r*s - 6*s + 3*u = -330. Does 22 divide s?
False
Let k be -1*(11 + (-4 - 1)). Is (-1015)/(-14)*k/(-3) a multiple of 11?
False
Suppose -4*d = -3*y - 113090, d - 8*y = -6*y + 28265. Is d a multiple of 16?
False
Let m(f) = -f**3 + 9*f**2 - 8*f + 23. Let v be m(6). Let g = v + -112. Does 15 divide 2/(-2)*(3 + g - -4)?
False
Let l = 63 - -2916. Suppose -5 = d, v - 3*d - l = -3*v. Is v a multiple of 13?
True
Let k be (84/10)/(1/120). Suppose 0*q = -6*q + k. Does 28 divide q?
True
Let q(w) = 439*w**3 - 6*w + 37. Is 16 a factor of q(3)?
True
Suppose 2*u - 23*u - 19*u = -71520. Is u a multiple of 12?
True
Is (-3 - 0/(-3 - -9)*-1)*-1348 a multiple of 8?
False
Let x = -163 - -215. Suppose -x*u + 6398 + 13050 = 0. Is u a multiple of 22?
True
Let i = 99845 + -67357. Is 36 a factor of i?
False
Let y be (14/21)/((-10)/(-75)). Suppose -y*w = -1434 + 174. Is 18 a factor of w?
True
Let s(d) = -7*d + 344. Let u be s(49). Is 6 a factor of ((260/(-39))/4)/(u/(-198))?
True
Let x = 13967 - 2035. Does 76 divide x?
True
Let u(h) = -5 + 14*h + 13 + 23*h. Let g(v) = -6*v - 56. Let r be g(-10). Is u(r) a multiple of 13?
True
Let p = -3404 - -3509. Is p a multiple of 8?
False
Let i be ((-14)/42)/(1/(-4983)*1). Suppose 1507 = 11*x - i. Does 3 divide x?
True
Suppose 1696*t - 20475 = 1691*t. Is t a multiple of 7?
True
Is (5/(-20))/(2/(-27368)) a multiple of 29?
False
Let p = -137 + 687. Does 50 divide p/((4/10)/(96/120))?
True
Let d = -18087 + 38987. Does 20 divide d?
True
Let c = 645 + -467. Suppose -186*h = -c*h - 1928. Is h a multiple of 8?
False
Let j(z) = z**3 - 10*z**2 - 18*z - 34. Is 24 a factor of j(18)?
False
Is 115 a factor of (5 + -4145)*(-190)/57?
True
Suppose -2*l = -2*x - 34, -3*x = -4*l + 12 + 42. Does 36 divide (-2520)/x - (-1 - (-2)/2)?
True
Let c be (-1 - (-108 - -2)) + -2 + 2. Let u = -51 + c. Does 29 divide u?
False
Let d = -1163 + 2750. Is d a multiple of 14?
False
Suppose 5*t = 654 + 586. Let i be -19 - (-11 - 13) - (-246)/(-2). Let k = t + i. Is k a multiple of 26?
True
Suppose 7*n - 2*n - 4*z - 1548 = 0, 5*n - 1566 = -2*z. Let x = n - 12. Is x a multiple of 50?
True
Let m = -3639 - -4372. Is m a multiple of 3?
False
Suppose -7*d + 17*d - 240 = 0. Let j be d/(-108) + (20/9 - -1). Is 15*(-1)/(j/(-16)) a multiple of 18?
False
Suppose -832 - 5210 = 19*i. Is (i/5)/((-153)/2040) a multiple of 53?
True
Is 15 a factor of 20/30*6 - -24851?
True
Let s = -5026 - -4861. Suppose -2*m - 514 = -0*m. Let g = s - m. Is g a multiple of 23?
True
Suppose -35*w + 92489 + 138476 = 0. Does 13 divide w?
False
Does 16 divide 3508 - 16/40*10?
True
Let n(f) be the first derivative of -f**6/120 + 7*f**3/6 + 19*f**2/2 - 15. Let h(z) be the second derivative of n(z). Does 33 divide h(-5)?
True
Let b = 260 - 99. Let x(j) = -4*j**2 + 6*j - 1. Let l be x(6). Let z = l + b. Is 27 a factor of z?
False
Let p be (-7)/(-28) - 4/(32/218). Does 16 divide 3/(p/(-6)) + (-2328)/(-18)?
False
Let l be (-8)/(-16) + (-1)/2. Suppose -3*n + 9 + 24 = l. Suppose -n = -3*d + 4*t + 49, -20 = -d + t. Is d a multiple of 6?
False
Let u = 63 - 63. Let k be (-500)/80 + 2/8 + u. Let a = 41 + k. Does 5 divide a?
True
Let j(c) = c**3 - 19*c**2 - 7*c + 81. Suppose -o + 10 + 5 = u, -2*o - u + 35 = 0. Is j(o) a multiple of 6?
False
Suppose 0 = 42*f - 41*f + 5, 2*i = -4*f + 720. Is i a multiple of 33?
False
Let i = 236 - 228. Let d(z) = z**3 - 31. Is 13 a factor of d(i)?
True
Let p be -2*((-20)/(-5) - 8). Suppose -6305 = -p*y + 735. Does 44 divide y?
True
Let y be (2/(3 + 3))/(1/6). Suppose 160 = y*s + o - 113, -4*s = -4*o - 540. Suppose 20*h - 16*h = s. Does 17 divide h?
True
Suppose -3*i + 40 = -3*u - 101, 53 = i - 3*u. Suppose 4*d = 28 + i. Let l = 34 - d. Is 3 a factor of l?
False
Let z = -153634 - 83078. Is (-1)/(-3) + (z/18)/(-7) a multiple of 21?
False
Let y(v) = 137*v + 11. Let n be y(-4). Let r = -130 - n. Is 11 a factor of r?
True
Is 19 a factor of ((-2)/(-5))/((-4006610)/(-308200) - 13)?
False
Let q(n) = -n**3 + 8*n - 5. Let f be q(3). Is 61 a factor of (f - 39637/(-26))/(3/4)?
False
Suppose h - 754 = 5*c + 7306, 4*h = 2*c + 32078. Is h a multiple of 35?
True
Let o = 44 + 7. Let f be (-80)/(-24)*(-564)/20. Let c = o - f. Is 12 a factor of c?
False
Suppose 0 = 9*c - 8*c - 5. Suppose -c*r = -72 - 138. Let g = 66 - r. Is 6 a factor of g?
True
Suppose -3*n + 4*v = -13, -3*n = -2*v - 12 + 1. Suppose -u - 2*r = -406, -2*r + n*r + 1579 = 4*u. Is 11 a factor of u?
True
Let u(s) = -s**3 + 6*s**2 - 6*s + 2. Let v be 3/(-2)*10/(-3). Let c be u(v). Let n(a) = 18*a**2 + 2*a - 3. Is 17 a factor of n(c)?
True
Let n(y) = y**3 - 8*y**2 - y + 10. Let k be n(8). Suppose -3*l + 13 = -k. Suppose 4*j - 311 = -l*m + 84, 4*j + 4*m - 392 = 0. Does 19 divide j?
True
Suppose 5 = -v, 645 = 5*h + 4*v + v. Let q = -26 + h. Is q a multiple of 18?
True
Let w(s) = -2*s**2 + 39*s - 81. Let g be w(17). Suppose -2*h = 10, -161 + 49 = -2*j - g*h. Is j a multiple of 8?
False
Let w = -3605 + 12065. Does 18 divide w?
True
Let f = 70493 - 15090. Does 34 divide f?
False
Let w = 15624 + -4510. Does 29 divide w?
False
Does 9 divide (-120)/9*31/(2945/(-35454))?
False
Let x(d) = 5*d**2 - 8*d - 7. Let j be x(7). Let l(y) = 12*y - 69. Let p be l(6). Suppose -2*c + j = p*b + b, b = -c + 46. Does 5 divide b?
True
Suppose -83536 = -2*q + 4*t, -2*q + 83536 = -33*t + 31*t. Is 23 a factor of q?
True
Suppose 107799 = 19*a - 93165 - 76436. Does 10 divide a?
True
Let k(f) = 2*f - 8. Let t(o) = -2*o - 28. Let y be t(-16). Let w be k(y). Suppose w = z - 5*z + 8. Is z even?
True
Suppose -5*u + 4*j + 2490 = 0, -3*j + 424 = -2*u + 1413. Suppose 3*p = p + 4*x + u, -p = x - 266. Is p a multiple of 7?
False
Let r(n) = 165*n**3 + n**2 + 275*n - 1109. Does 9 divide r(4)?
False
Suppose -2*j = 3*m + 6, 0 = 2*m + 1 + 7. Let g = 25 - 25. Suppose -u - 43 + 132 = 2*q, g = -j*q + u + 126. Is q a multiple of 7?
False
Let y(r) be the second derivative of r**3/6 + 35*r**2/2 - 6*r + 6. Does 5 divide y(-10)?
True
Suppose -p - 196 = 5*j, 3*j - p + 5*p + 121 = 0. Let a = j - 10. Does 10 divide (-4)/(12/a)*3 + 1?
True
Is 103 a factor of (-25020)/225*(0 + (-65)/(-2))*-10?
False
Suppose 3*r + 159*l = 161*l + 8507, 4*r = -5*l + 11335. Is r a multiple of 54?
False
Is 29 a factor of (-7)/(280/20010)*80/(-15)?
True
Let z(g) = -g**3 + 53*g**2 - 64*g - 48. Is 82 a factor of z(23)?
True
Let g be (-11)/55 + (-32)/(-10). Suppose g*m + 2*m - 1470 = 0. Let z = -52 + m. Is 38 a factor of z?
False
Suppose -21*h = -37*h + 110400. Is 14 a factor of h?
False
Suppose 4*v + 5*f - 61 = 0, -10*f + 5*f = -v + 9. Suppose v*r = -0*r + 1134. Does 2 divide r?
False
Suppose -3*y + 201 = -3*b, 3*y - 4*b - 45 - 157 = 0. Suppose 0 = i + 4*d - 3*d - y, 5*i + 3*d = 338. Suppose 28*k - 30*k = -i. Does 7 divide k?
True
Suppose 24*z - z = 92. Suppose -9*v + 11*v = -5*b + 1017, z*v - 1979 = b. Is 71 a factor of v?
False
Suppose -7*k + 3*r + 144 = -3*k, 2*k + 3*r - 54 = 0. Let d = -1599 + k. Is 3 a factor of d/(-135) + (-6)/10?
False
Suppose -14*a = -10*a + 160. Let o be 4/(-1) - (a + 13). Suppose 0 = g - 54 - o. Does 14 divide g?
False
Suppose -3*o = j - 0*j - 1283, 20 = 4*j. Let p be ((-111)/7 + 3)/((-36)/672). Let w = o - p. Is w a multiple of 18?
False
Let i = 158 + -152. Is i*46/3 + 0 a multiple of 13?
False
Suppose -a + 24 = -3*a. Let t be (-4)/(-3) - 550/(-15). Let s = t + a. Is 9 a factor of s?
False
Suppose -1242 = -7*w + 1950. Suppose i + w = 13*i. Is 3 a factor of i?
False
Let c be (-3)/2*(-62 - (-1 + -1)). Is 9012/c + -1 + (-26)/(-30) a multiple of 4?
True
Let h be 205/45 + 20/45. Suppose 2*o - h*s - 204 = -26, -3*o + 267 = s. Is o a multiple of 11?
False
Let d(s) = 2*s**3 - 21*s**2 + 85*s - 406. Is 16 a factor of d(21)?
True
Suppose 1164 = 4*y + l, l - 298 = -y - l. Suppose -y = -4*r + 206. Does 11 divide r?
False
Let a = -59 + 75. Let t(h) = 2*h - 10. Is t(a) a multiple of 5?
False
Let t = 0 - -12. Suppose -t*j + j + 1320 = 0. Suppose 3*r - j - 57 = 0. Is r a multiple of 10?
False
Suppose -4*b - 4*n = -36 + 52, -2*b - n - 3 = 0. Let p(f) be the third derivative of 11*f**5/15 + f**4/12 - f**3/3 - f**2. Is p(b) a multiple of 44?
True
Let l be (-342)/(-8) + ((-30)/