**2 + 7*a - 3. Let u be v(6). Let p = 118 + u. Is 17 a factor of p?
True
Suppose 4*m - l = 247, 0 = 5*l - 14 - 11. Is 21 a factor of m?
True
Suppose -3 = 5*j - 8. Is (102*j)/3 + -4 a multiple of 5?
True
Suppose 0 = n + 4*q - 54, -180 = -4*n + 10*q - 14*q. Is 21 a factor of n?
True
Let v = -273 + 543. Suppose 5*g = 5*m + v, 5*g = m + 248 + 18. Does 7 divide g?
False
Let v = 499 - 446. Does 9 divide v?
False
Suppose -2*n = -3*q - 640, -5*n = -n - 5*q - 1280. Is n a multiple of 16?
True
Let z(d) be the third derivative of d**5/60 + d**4/8 + 2*d**3 - 24*d**2. Is 12 a factor of z(0)?
True
Suppose 2 = -u + 3. Is (1 - u) + (-99)/(-11) a multiple of 5?
False
Suppose 51*t = 104*t - 100170. Is t a multiple of 14?
True
Let a(c) = -69*c + 57. Is a(-7) a multiple of 90?
True
Let t be 36/16*(-4 + 0). Let u be (-14)/63 + (-47)/t. Suppose -2*l = -u*l + 2*d + 221, 0 = 2*l + d - 152. Does 26 divide l?
False
Let d(v) = 9*v**2 + 2*v - 1. Let u be d(-7). Suppose 4*n - 3*q = u, -3*q = 4*n + 2*q - 410. Suppose -n - 75 = -4*l. Is l a multiple of 22?
False
Suppose -253 = -4*i - 2*h + 611, -3*h + 12 = 0. Is i a multiple of 7?
False
Suppose -15 = -0*c - 3*c. Suppose -c*l = -401 + 121. Does 8 divide l?
True
Let i(c) = -1102*c - 52. Is 82 a factor of i(-3)?
False
Let b be 12/7*(15/(-10) + 5). Does 59 divide 194 + 0 + b/(-3)?
False
Is 87 a factor of (-5 + (-38)/(-10))*(2 + -3067)?
False
Let a(h) = h + 1. Suppose 5*d + 9 = -21. Let x be a(d). Does 10 divide (-10)/25 + (-152)/x?
True
Suppose -73 = -4*s + 7. Let z = s - -11. Is 16 a factor of z?
False
Let t be -16*(1/(-4) - 0). Suppose 5*v = -t*b + 358, -3*b = -3*v - 0*b + 231. Is v a multiple of 13?
False
Let s(l) = l**2 - 4*l + 8. Let n be s(6). Suppose -5*d = -440 + n. Is d a multiple of 18?
False
Suppose 22492 = 4*w - 5*i, -3*i - 14991 = -2*w - 3745. Is 176 a factor of w?
False
Suppose 10*x = 16*x + 48. Does 8 divide 68 - (x/(-1) + -4)?
True
Let s = 766 + -421. Does 16 divide s?
False
Let v be -2 + -9 - (-2 + 2)/(-1). Let n = 23 + v. Is 2 a factor of n?
True
Let l(r) = -2*r - 7. Let n be l(-3). Is -2 + 426/((-2)/n) a multiple of 22?
False
Let z(n) = -16*n + 3. Let q be z(-2). Let l = q + -11. Does 24 divide l?
True
Let q(d) = -d**3 - 6*d**2 + 10*d - 1. Let p be q(-7). Suppose -2*c = -92 - 32. Let m = c + p. Does 8 divide m?
True
Let y(l) = -2*l - 2*l + 7*l - 3 - 2*l. Let j be y(7). Suppose 2 - 70 = -j*n. Is 4 a factor of n?
False
Let m(g) = -32*g - 6. Let w be m(1). Let s = w - -71. Is s a multiple of 30?
False
Let w = 7 - 8. Let o be -2 + (2 - -11) - w. Is 5 a factor of o/(4/(-6)*-1)?
False
Let y be (-7 - (-120)/16)*8. Suppose -24 = 4*s + 8. Is (-1)/y + (-290)/s a multiple of 12?
True
Suppose 0 = 4*w - 12852 - 5124. Is w a multiple of 21?
True
Let a be (-12)/21 - 72/(-28). Suppose a*r - r = 0. Suppose r = -0*g - 4*g + 204. Is g a multiple of 17?
True
Suppose 2*o = o - 3*z - 15, 2*z = 8. Let s = 5 - o. Is 7 a factor of s?
False
Let w be (7 + 17)/8 + (-8 - 0). Is 5 a factor of ((-2)/5)/(w/125)?
True
Suppose 0 = -13*z + 730 + 752. Is 6 a factor of z?
True
Suppose -511 = -6*o - 79. Does 36 divide o?
True
Let v be 0 + (3 - 3) + 3. Suppose -2*w = 2*i + 3*w + 89, v*i + 2*w + 106 = 0. Is i/(-6)*24/32 even?
True
Let y = -10 + -3. Let j = y - -17. Is j a multiple of 2?
True
Suppose 0 = -4*n + n. Let r(u) = 4*u + 11. Let c be r(11). Suppose 4*s - 165 - c = n. Is 11 a factor of s?
True
Suppose -7*i - 1315 = -3324. Is 44 a factor of i?
False
Let l = -2812 + 5144. Is 27 a factor of l?
False
Let t(o) = o**3 + o**2 - 3*o - 1. Let f be t(-2). Is (-2)/((-2)/55)*f a multiple of 11?
True
Let v(a) = -a**2 - 5. Let d be v(-4). Let o = d - -23. Suppose 0 = -h - o*h + 9. Is h a multiple of 3?
True
Is (5 + 90/4)*2 a multiple of 2?
False
Suppose 1036*a - 1029*a = 1897. Is a a multiple of 16?
False
Let n(j) = -7*j - 3. Let g(s) = -s**3 - 2*s**2 + s - 2. Let c be g(-2). Let u be n(c). Suppose u = 2*a + 3*a. Does 2 divide a?
False
Does 6 divide 68/204 - (-10)/(-12)*-50?
True
Let x = -131 + 67. Let r = x + 30. Let t = -12 - r. Is 11 a factor of t?
True
Let h(b) = 15*b**2 + 7*b + 11. Let m be h(-2). Let w = 98 - m. Is w a multiple of 2?
False
Suppose -335 - 2395 = -7*y. Is 4 a factor of y?
False
Suppose 29 = 5*d - 201. Let z = d - 27. Let b = z + -5. Is b a multiple of 13?
False
Is 20 a factor of 3514/70 - (-3 - 48/(-15))?
False
Let c = 2375 - 428. Is 11 a factor of c?
True
Let h = -567 - -809. Is 11 a factor of h?
True
Suppose 34 = 14*q - 13*q. Let x = q + -12. Does 22 divide x?
True
Let d(j) = 4*j - 19. Let a be d(6). Suppose -7*i = -a*i - 58. Does 10 divide i?
False
Suppose s = 2*s + 214. Let y = -71 - s. Is 13 a factor of y?
True
Let h be (6 - 3)*(-424)/12. Let p = h + 199. Is 28 a factor of p?
False
Let w be 24/(-10)*25/(-10). Suppose w*r - 3*r = 30. Is r a multiple of 6?
False
Let n = -142 + 144. Suppose 0 = -n*c + 82 + 118. Is c a multiple of 20?
True
Let u be (6/16)/(5/40). Suppose u*i - 71 = c, -4*c = -3*i + c + 91. Does 22 divide i?
True
Let f = -2797 + 5047. Is 50 a factor of f?
True
Let h = -19 + 7. Let n = h + 20. Suppose 2 = -b + 2*m, 4*b - n + 1 = 3*m. Is 2 a factor of b?
True
Suppose 4*t = -2*x - 4, 3 = -5*x - 5*t - 2. Suppose -y - 6*y + 1260 = x. Does 15 divide y?
True
Suppose 0 = 9*a + 427 - 22. Let p = a - -178. Is p a multiple of 7?
True
Let t(x) = -2*x + 11*x + 2*x + 30 - 2*x - x**2. Does 30 divide t(9)?
True
Let b = 3200 - 668. Does 130 divide b?
False
Let k(s) = s**3 + 5*s**2 - 10*s + 13. Is 4 a factor of k(-6)?
False
Suppose -16*j + 12*j - 5*r + 2815 = 0, 5*j = -4*r + 3512. Is 25 a factor of j?
True
Suppose -d + 9 = -2*l + l, d - 15 = 3*l. Suppose 54 = 2*k + v, -k + 4*v + 30 = d*v. Does 13 divide k?
True
Suppose -4*r + 120 + 36 = 0. Let q = -56 + r. Let y = 31 + q. Does 9 divide y?
False
Let n(i) = 36*i**2 + 2*i - 1. Let h(m) = m**3 + 4*m**2 + 4*m + 2. Let u be h(-2). Suppose c + 2*c = 5*x + 3, -2*x + u = 2*c. Does 16 divide n(c)?
False
Let d(k) = -19*k + 96. Let q(m) = 6*m - 32. Let w(i) = -3*d(i) - 8*q(i). Is 57 a factor of w(18)?
False
Suppose 3*c + 813 = -2*n + 3*n, 1647 = 2*n + c. Does 52 divide n?
False
Is (3 - 1392)/((-3)/1) a multiple of 3?
False
Let f = -33 - -37. Suppose 0*u - 5*u + 236 = f*t, -4*t = -4*u + 196. Does 12 divide u?
True
Suppose 3*w = 6, -4*l + 2*w + 88 = -0*l. Let n be (-4 - -2) + (-14 - -1). Let h = l + n. Is h a multiple of 4?
True
Let s(b) = b**3 - 2*b**2 + 2*b + 2. Let q be s(4). Suppose -4*c - 12 = -4*j - 56, -2*j - q = -4*c. Is 555/c*(-4)/(-3) a multiple of 19?
False
Suppose -j - 2*j = 165. Let k = -79 - j. Does 12 divide k*4/6*-3?
True
Let q(j) = 6*j**3 - 10*j**2 + 4*j + 2. Let o(p) be the third derivative of -p**6/120 - p**3/6 + 6*p**2. Let d(n) = -5*o(n) - q(n). Is 27 a factor of d(8)?
False
Let u(c) = -14*c - 246. Does 75 divide u(-39)?
True
Is 6 a factor of (-4)/10 - (-3302)/5?
True
Suppose 6*y + t + 57 = y, -t - 13 = y. Suppose -j = -5*w - 172, j = 5*w + 6*j + 190. Let q = y - w. Is 12 a factor of q?
True
Suppose -3*a + 22 + 29 = 0. Suppose -r - 5 = -a. Is 3 a factor of r?
True
Does 19 divide (-1032)/(-18)*(-228)/(-16)?
True
Does 6 divide (3 - (-21)/(-6))*-12?
True
Suppose 7*y - 6 = 5*y. Suppose 0 = -4*x - 4, -2*p + 0*x = -y*x + 1. Is 7 a factor of 34/(-4)*4/p?
False
Let q = -164 - -246. Suppose -4*c = -q + 10. Does 18 divide c?
True
Let w(s) = 2*s**2 - 6*s. Let i be w(4). Let m(v) = 6 - 1 + 4*v - 6 + 20. Does 13 divide m(i)?
False
Suppose -4*h - 5*s + 2715 = 0, -h + 10*s - 9*s + 690 = 0. Does 20 divide h?
False
Suppose 0 = -5*x - o - 69, -5*o = -3*x + 5*x + 23. Does 19 divide 245/14*(-48)/x?
False
Let u(p) = -3*p - 7. Let r be u(-3). Let j be (4 - 3) + (5 - r). Suppose 8 = -3*b - j*q, -4*b + b - 5*q = 13. Is b a multiple of 2?
True
Let b = -104 + 183. Suppose -36 = 78*x - b*x. Is x a multiple of 16?
False
Let k be (-2)/4 + (-54)/4. Let y = 146 + -113. Let x = y - k. Does 11 divide x?
False
Let k = -131 - -356. Does 13 divide k?
False
Let z = -1270 - -1410. Is z a multiple of 40?
False
Let l(h) = -h**2 + 3*h - 4. Let y = 2 + 1. Let t be l(y). Does 4 divide (8/(-10))/(t/120)?
True
Let o be (2 + -1)/((-1)/7). Let t be o/(-14)*(6 + 0). Suppose 5*j - 3*j - 110 = 2*x, 3*j - 159 = -t*x. Is j a multiple of 9?
True
Let n = 1320 + 0. Does 44 divide n?
True
Suppose 0*n - 2394 = -14*n. Is n a mult