Let v = -133 - y. Suppose -4*p + 104 = -v. Is p a multiple of 12?
True
Let h = -15897 - -23737. Is h a multiple of 14?
True
Suppose 0 = 10*o - 8*o - h - 1764, -o + 868 = 3*h. Does 11 divide o?
True
Let m(h) = -283*h + 7218. Does 62 divide m(-6)?
False
Is 5 a factor of -331 + 330 - (5656/10)/(1/(-10))?
True
Let r = 261 + -161. Suppose -2*s - 6*g + 9*g = -r, -44 = -s + 3*g. Is 28 a factor of s?
True
Suppose 2 = -3*q + 2*q. Let n(h) = -h**2 + 15*h - 36. Let u be n(5). Let k = q + u. Is k a multiple of 12?
True
Let l(b) = 2*b**2 + 17*b + 27. Let y(n) = -5*n**2 - 51*n - 80. Let p(c) = 8*l(c) + 3*y(c). Does 9 divide p(20)?
True
Suppose 198 = 2*n + 20. Let x = -86 + n. Suppose m + m + x*t - 304 = 0, 157 = m - t. Does 40 divide m?
False
Suppose 19*n + 448 = 3*n. Is 3 a factor of ((7 - 9) + 0)*(n - 1)?
False
Let j(u) = -15*u + 2934. Does 24 divide j(50)?
True
Let o = -57 - -58. Suppose i + 11 = f + o, 2 = -2*i - 4*f. Let t(h) = h**2 - 21*h - 10. Is 21 a factor of t(i)?
False
Suppose -85*l + 6142611 = 13*l + 5*l. Is 193 a factor of l?
True
Let s(g) = -3*g - 72*g**3 - 2 + 552*g**2 - 552*g**2. Is s(-2) a multiple of 20?
True
Suppose 0*q - 1792 = -4*l - 4*q, -5*q - 15 = 0. Let n = -396 + l. Does 5 divide n?
True
Let i be 22 - 1/(-4)*-12. Let k(m) = m**2 + 22*m - 122. Is 12 a factor of k(i)?
False
Let h(z) = -2*z**2 - 129*z - 42. Does 15 divide h(-39)?
False
Let q = 1442 - 973. Does 44 divide q?
False
Let i = -349 + 353. Suppose 5*y - 5*m - 471 = y, 0 = 5*y + i*m - 599. Is y a multiple of 7?
True
Let k(t) = 11*t - 21. Let x(o) = -11*o + 20. Let g(a) = 4*k(a) + 5*x(a). Let i be g(-15). Let m = 340 - i. Does 16 divide m?
False
Let y be 24*(715/26 - (-6)/8). Let d = -618 + y. Does 6 divide d?
True
Is 7/((-77)/(-44418)) + 10 a multiple of 22?
True
Let c(f) = 32*f + 132. Let g be c(-4). Suppose -39*b + 47343 = g*b. Is b a multiple of 53?
False
Suppose 2*f - 43476 = -m, 12*f = -m + 7*f + 43458. Does 18 divide m?
True
Let b(o) = 2*o**2 + 2*o + 6. Let w(p) = p**2 + 2*p + 7. Let n(s) = 5*b(s) - 4*w(s). Suppose 18*l - 22 = -3*t + 20*l, -t - 5*l = 4. Is 23 a factor of n(t)?
True
Suppose -151118 = -116*m + 103734. Is m a multiple of 3?
False
Suppose 0*q = -10*q + 3140. Suppose -4*i + 1221 = -21*y + 18*y, y = -i + q. Is i a multiple of 15?
False
Let j be (12 - 8)*6/8. Suppose -3*z - 766 = -v, j*v = 7*v + z - 3025. Is 19 a factor of v?
False
Suppose -199 = -6*y + 197. Let t be y/24 - 3/(-12). Suppose t + 1 = -2*f, f = 5*z - 42. Is z a multiple of 2?
True
Let i = -322 + 160. Let b = i + 663. Is b a multiple of 32?
False
Let u = 1201 - 705. Suppose 3*a + u = 4*t, 18*t = 15*t - 4*a + 397. Is 38 a factor of t?
False
Let n = -1902 + 3085. Is 45 a factor of n?
False
Suppose 2*s - 25 - 30 = 5*w, w + 3*s = -28. Let m(b) = b**3 + 13*b**2 - 29*b - 21. Let o be m(w). Suppose 2*z = -96 + o. Is z a multiple of 16?
False
Let k = -680 + 470. Let a be (-4)/14 + k/(-49). Suppose -a*p = -2*p - 2*z - 158, -64 = -p + 4*z. Is 12 a factor of p?
True
Let u be ((-108)/(-15))/((-2)/(-270)). Suppose -4*h = -796 - u. Suppose 3*m - 3*l - h = 50, -4*m = -5*l - 660. Does 40 divide m?
True
Let b(s) = 42*s**2 + 91*s - 3. Let t be b(-7). Let m = t - 806. Does 7 divide m?
False
Let v be 10*(-4)/(32/(-44)). Let a = v - 53. Suppose 0 = -2*b + 2*i + 72, 0 = -5*b + i - a*i + 186. Is b a multiple of 8?
False
Suppose 2*p + 5*t = 10296, t = 5*p - 6027 - 19605. Is 10 a factor of p?
False
Does 42 divide 4357024/1092 - (-6)/117?
True
Suppose 22*g - 48*g = -1352. Let w = 124 - g. Is w a multiple of 6?
True
Is (-16128)/(-90)*30/14*1610/20 a multiple of 12?
True
Does 8 divide 1144726/39 + 172/3354?
True
Let i(w) = 24*w**2 - 4*w + 4. Let l(j) = j**2 + 3*j + 3. Let f be l(-3). Let h be i(f). Suppose 7*d - 11*d = -h. Is 12 a factor of d?
False
Suppose 6*g + 6 - 6 = 0. Suppose g = -5*p - 2*p + 1365. Is p a multiple of 21?
False
Let k(a) = -9*a + 6. Let b be k(9). Let d(v) = v**3 - 11*v**2 + 11*v - 8. Let m be d(10). Is b/(m/(-4) - 1) a multiple of 15?
False
Let j(t) = t**3 - 29*t**2 + 59*t + 60. Let r be j(26). Let c = -370 - r. Is 8 a factor of c?
True
Suppose -179*h = -184*h - 5*c, 0 = -3*h + 4*c + 14. Suppose 5*s = -4*k + 2*k + 22, k = 2*s - 7. Suppose -44 = 4*n - 7*n - h*d, d - s = 0. Is 6 a factor of n?
True
Let q(n) = -57*n**2 - 38*n + 6. Let w be q(9). Is 12 a factor of 1 + w/(-18) + (-1)/6?
True
Let y(m) = m**3 + 17*m**2 - 2*m - 67. Let n be y(-15). Suppose 410*o = n*o - 2694. Is 12 a factor of o?
False
Let f be 1*(-6)/(-4)*30/5. Suppose f*p - 1295 - 3709 = 0. Is 18 a factor of p?
False
Is (-2)/(6 + 195304/(-13020) + 9) a multiple of 21?
True
Let i = 23915 + -23919. Let b = 12 + -78. Is 70 + 5*(i - b/15) a multiple of 8?
True
Suppose 3*v + 5330 = x, -3*x = 9*v - 5*v + 7111. Let z = -1186 - v. Does 29 divide z?
False
Does 2 divide 99 - (-1044)/870*5/2?
True
Suppose 7 = -9*s + 13*s - 3*b, 5*b - 31 = -4*s. Does 11 divide 7/s + -2 - 1049/(-4)?
False
Let k(a) = -29*a + 60. Let d be k(6). Let l = d + 322. Is l a multiple of 16?
True
Suppose 0 = 3*g - a + 23 - 599, -3*a = 9. Suppose -3*s - g = -206. Suppose 0*z - 4*z = -3*k + 404, -k + 131 = -s*z. Is 34 a factor of k?
True
Let s = -23719 + 33319. Is 64 a factor of s?
True
Is 17 a factor of (5954/3 + 7)*(5 - 5/(-5))?
False
Suppose -v = 101 - 3. Let n = -81 - v. Suppose -n*i - 56 = -18*i. Is 17 a factor of i?
False
Let i = 1188 + 20511. Does 9 divide i?
True
Let o = 108 + -140. Does 122 divide (1647/18)/((-12)/o)?
True
Let j(b) = 35 + 138 - 29 - 14*b + 3*b. Is 44 a factor of j(0)?
False
Is (-44264)/(-6) + 104/156 a multiple of 31?
True
Suppose 21*t = -5*t + 12*t + 821114. Is t a multiple of 211?
False
Let f = -31 + 33. Suppose 2*n - 3*p - 857 = -f*n, -4*p - 634 = -3*n. Suppose -3*r + 445 = 4*c - 2*r, -4*r = -2*c + n. Is 37 a factor of c?
True
Let z(d) = -d**3 - 9*d**2 + 7*d + 15. Let i = -121 + 110. Let b be z(i). Suppose -c + b = -n, 2*n + 12 = 4. Is 11 a factor of c?
True
Suppose 4*q + 5*o = 38, -10*o + 8*o + 56 = 5*q. Let k be 42/(-70) + (-13)/(-5). Suppose -16 = -k*h + y, -h = 3*y - 10 - q. Is 10 a factor of h?
True
Is (-2350682)/(-78) - (-1176)/22932 a multiple of 137?
False
Let f(x) = 824*x + 2572. Is f(5) a multiple of 10?
False
Suppose 0*s = -2*s. Let u = s - 41. Does 14 divide -5*5/(-25) - u?
True
Let b be 1/4 - (-92)/16. Suppose w + 0*z - 32 = -z, -5*w - 3*z = -168. Suppose 0 = 7*p - w - b. Is p a multiple of 3?
True
Let c be (406/35)/(4/10). Let n = 88 + -34. Let r = n - c. Is r a multiple of 5?
True
Suppose 1132 = 4*l - 4*z, 5*l + 282 = -3*z + 1657. Let f = 354 - l. Does 4 divide f?
True
Suppose 16*m = 6*m + 140. Let k(f) = 5*f - 46. Does 4 divide k(m)?
True
Does 54 divide 16 + 1 - (-1688 - 1)?
False
Let v(l) = l**2. Let b(j) = -j**3 - 22*j**2 - 69*j + 19. Let h(d) = b(d) - 4*v(d). Is 8 a factor of h(-23)?
False
Let w be (-1 - 12/1)/(16/(-16)). Let s = 15 - w. Is 2/2 - (-7 - s) a multiple of 2?
True
Suppose s - 5*p = 5888, -24*s + 2*p = -29*s + 29440. Is 46 a factor of s?
True
Let j(q) = 1946*q - 327. Is j(23) a multiple of 18?
False
Let z = 16756 - 15131. Is 5 a factor of z?
True
Let h(x) = 3*x**2 + 4*x - 4. Let d be h(7). Let t = -124 - -124. Suppose t = -5*n + 2*n - 2*v + 257, 0 = -2*n - v + d. Does 8 divide n?
False
Is 14 a factor of 133/285*13368 - 4/10?
False
Suppose 8*z = 4*z - 12, 4*z = n - 472. Is n even?
True
Suppose -3*j = -j - 18. Suppose 25 - j = -4*o. Is 12 a factor of 79 - (o*2 + 4)?
False
Let r(m) = -3*m**2 + 21*m - 38. Let q(u) = 4*u**2 - 20*u + 39. Let j(s) = 2*q(s) + 3*r(s). Does 18 divide j(15)?
False
Suppose 35625 = -17*g + 152142 + 61507. Does 44 divide g?
True
Let p = -200 + 1883. Let k = p + -1046. Is k a multiple of 54?
False
Let y = -521 - -13103. Is y a multiple of 54?
True
Let a(f) = -275*f + 1. Suppose 4*o - 5 - 7 = 4*q, 3*q + 8 = 4*o. Let s be a(o). Suppose 5*j = j + s. Is j a multiple of 14?
False
Let y = 16 - 11. Suppose -y*c + 351 = -3*s, -5*s + 57 + 30 = c. Let o = c + -49. Is o a multiple of 12?
False
Let c(v) = 1784*v - 1173. Is 9 a factor of c(1)?
False
Let h(i) be the second derivative of 23*i**3/6 - 8*i**2 - i. Suppose -2*t = 9*o - 5*o - 26, -2*t + 11 = o. Is 26 a factor of h(o)?
False
Let q be ((-79)/158)/(9/10 - 1). Suppose q*w - 5*x - 695 = 0, -5*x + 63 + 243 = 2*w. Does 14 divide w?
False
Suppose -4*u = a + 28683