4) a multiple of 7?
True
Let t(x) = 6*x - 64. Suppose -3*l = 2*u + u - 66, 0 = l + 4. Is t(u) a multiple of 16?
False
Let j be (-1)/1 + (-3)/(-1). Suppose -2 = -4*q + j*q. Is 21*q - 9/(-9) a multiple of 6?
False
Does 58 divide (-754)/(4/(-1) + 3)?
True
Is 70 a factor of (-4)/((54/(-2103))/9)?
False
Let z be (2 - 1)*(6 + -5)*-55. Let x = 128 + z. Is x a multiple of 20?
False
Let a = -78 - -85. Suppose 136 = 4*q + 5*f - a*f, -2*q + 74 = -4*f. Is q a multiple of 12?
False
Suppose -8*b + 411 + 429 = 0. Is b a multiple of 5?
True
Suppose 2*v = 10, -83 = -3*p - 6*v + 5*v. Does 6 divide p?
False
Is 21 a factor of ((-198)/10)/((-15)/350)?
True
Let z = 398 + -239. Suppose 358 = -4*a + 2*l, 2*a + z = -0*a + 5*l. Let j = a - -138. Does 14 divide j?
False
Let f = 8 + 0. Suppose -5*c + f*c - 39 = 0. Is c a multiple of 2?
False
Let c = -657 - -1118. Is 17 a factor of c?
False
Suppose 0 = -2*f + 11 - 15, -5*f - 1882 = -g. Is g a multiple of 72?
True
Let u(q) = -q**2 + 8*q + 6. Let l be (-1)/5 + (-243)/(-15). Suppose 19 = 5*b - l. Is 13 a factor of u(b)?
True
Suppose 464 = 4*y - 28. Suppose 7*p - 8*p = -y. Does 17 divide p?
False
Let v = -1 - 6. Let o = 9 + v. Suppose x - 69 = -o*x. Is 5 a factor of x?
False
Let w(d) = 13*d - 124. Does 34 divide w(17)?
False
Suppose -4*v = -b - 170 - 131, 5*v = 2*b + 374. Let o(l) = 3*l**3 + 3*l**2 + 4. Let n be o(3). Let j = n - v. Is j a multiple of 12?
True
Suppose 3*a + 67 = 3*g + 2*g, 5*g = 5*a + 65. Let b = g - 11. Suppose -29 = -h + b*z, h - 4*z - 19 = 9. Does 7 divide h?
False
Suppose -224*w = -221*w - 720. Suppose -7*t = -3*t - 4*v - w, t - 72 = -5*v. Does 5 divide t?
False
Suppose 2*x + 67 + 127 = h, 107 = -x - 2*h. Is 37 a factor of (-18)/x + 920/22?
False
Let i be (165/(-22))/(2/((-32)/2)). Let f = i - 26. Is 5 a factor of f?
False
Suppose 8*v - 4*v = 120. Is v even?
True
Let v(h) = -2*h + 32. Let k be v(15). Suppose -a - 1 = 0, -5*a + k*a = 2*z - 371. Is z a multiple of 23?
False
Let z be (-38)/(-8) - (-6)/24. Does 16 divide 490/25 - (-2)/z?
False
Suppose -v + 0*v + 24 = 2*b, -4*b = -5*v + 50. Does 23 divide (-4)/v + -1129*(-1)/7?
True
Suppose 0 = -37*o + 90189 + 70317. Is 18 a factor of o?
True
Let o be -3 + 1*(-4 + 1). Is (-135)/(-20)*-2*8/o a multiple of 9?
True
Let c(z) be the second derivative of -z**3/3 + 105*z**2/2 - 4*z. Let v be c(0). Let p = v - 73. Is p a multiple of 16?
True
Let l = 60 - -101. Is l a multiple of 2?
False
Suppose -5*a = -5*t + 7 + 83, -a + 3*t - 24 = 0. Let u = 39 + a. Does 6 divide u?
True
Let u(n) = 23*n - 2. Let b be u(2). Let o = 41 - 68. Let g = b + o. Does 11 divide g?
False
Let m(k) = 27 - 10 - 6 + 15*k - 8 - 10. Suppose 5*x = 2*p + x + 6, -3*p + x + 11 = 0. Is 22 a factor of m(p)?
False
Suppose 4*z + 3*n + 0*n - 2250 = 0, 0 = z - n - 559. Is 25 a factor of z?
False
Let s = -37 + 51. Suppose -s*t + 9*t = -180. Does 18 divide t?
True
Let b(p) = 2*p**2 + 14*p + 39. Let l be b(-5). Suppose 0 = -l*d + 8*d + 1089. Is 11 a factor of d?
True
Let f(d) = d**3 + 10*d**2 - 10*d + 156. Does 33 divide f(11)?
False
Let f(c) = c**3 + 16*c**2 - 10*c - 74. Is 11 a factor of f(-8)?
False
Is 25 a factor of (2 + 3 + -6)/(1/(-33))?
False
Let v(u) = u**2 + 12*u + 15. Suppose 8*z + 256 = -104. Let w = 34 + z. Is 4 a factor of v(w)?
True
Let x(w) = w**3 + w**2 + 13*w + 18. Is 63 a factor of x(9)?
True
Let z = -18 - -11. Let t = z - -12. Suppose r - t = 13. Does 4 divide r?
False
Suppose 0*i + 3*i = 5*m + 3, 0 = -2*m + 5*i - 5. Suppose 2*f + 778 = 6*f + 2*n, m = -3*f + 2*n + 566. Suppose -22 = 2*a - f. Is 26 a factor of a?
False
Suppose -44376 = -21*k - 22*k. Is k a multiple of 43?
True
Suppose 89*t = 93*t - 44. Suppose -8*o - 477 = -t*o. Does 24 divide o?
False
Let u be (-20)/(-30)*234/4. Let y = -22 + u. Let p = 32 - y. Is p a multiple of 3?
True
Suppose -116 = -0*m - 2*m. Suppose 5*r + 4*w - m = 0, 4*w + 23 = r + w. Is ((-40)/r)/(4/(-70)) a multiple of 13?
False
Suppose m - 4*f = 301, 4*m - 4*f + 0*f - 1216 = 0. Is 32 a factor of m?
False
Does 3 divide 42/42*(30 - -1)?
False
Let b(g) = -129*g + 6. Let o(n) = 65*n - 3. Let u(h) = -2*b(h) - 5*o(h). Is 12 a factor of u(-1)?
False
Suppose -3 = -3*g - 0*g. Let m = g + 12. Is 13 a factor of m?
True
Suppose 0 = 29*m - 25*m - 312. Does 3 divide m?
True
Suppose -52*m = -30944 - 85068. Is m a multiple of 84?
False
Let b(u) = -u**2 + 8*u - 4. Let t be b(6). Suppose -t*s + 7*s + 4 = 0. Does 2 divide (-9 + 7)*(-14)/s?
False
Let y be (-63)/(-6) + -4 - (-2)/(-4). Suppose 2*w + 380 = y*w. Is w a multiple of 10?
False
Let s = 202 + -51. Is s a multiple of 37?
False
Let w = -18 + 15. Let q = w - 10. Is 5 a factor of 3 + 0 + q/(-1)?
False
Is (-29)/(3 - (5 + (-1098)/552)) a multiple of 29?
True
Let g = -38 + 73. Suppose 2*a + 45 + g = 0. Let i = 56 + a. Is 16 a factor of i?
True
Let y be (24/(-36))/(1/57). Let r = y + 50. Is 5 a factor of r?
False
Suppose 4*f + f + 195 = 0. Let v be (-61)/4 + (-6)/(-24). Let b = v - f. Is b a multiple of 8?
True
Suppose -4*z = -4*i + 22 - 110, -5*i = 4*z - 79. Let x(o) = -2 + z*o + 3 - 10*o. Is 12 a factor of x(1)?
True
Let i = 10 - 8. Suppose -i*q - 21 = -q. Is q/(-4) + 5/(-20) a multiple of 4?
False
Let t be 254/7 + 6/(-21). Let y = t + -20. Is 8 a factor of y?
True
Suppose 10 = -22*c + 27*c. Suppose 5*m = -c*m + 602. Is 14 a factor of m?
False
Let q = -970 + 1919. Is 13 a factor of q?
True
Suppose 72 = -4*z + 504. Let m = z - -2. Is 11 a factor of m?
True
Suppose -4*b + 110 = -102. Suppose -11*v = -b - 156. Is 8 a factor of v?
False
Let b(z) = z - 5. Let i be b(5). Suppose 3*r - 2*r + 151 = i. Let x = r + 211. Is 15 a factor of x?
True
Let k(y) = 2*y**2 + 11*y - 7. Let s be k(-5). Does 18 divide 24/(-1*8/s)?
True
Let a(r) be the third derivative of r**6/40 - 7*r**5/20 + 5*r**4/12 - r**3 + 2*r**2 + 8*r. Does 10 divide a(8)?
False
Let v(x) = -34*x + 224. Is 32 a factor of v(-16)?
True
Suppose 0 = -40*k + 2*k + 1786. Is k a multiple of 14?
False
Let u be 0/(1/((-3)/12)). Suppose -4*b = -5*x - u*b + 182, 4*x = -3*b + 127. Does 14 divide x?
False
Is ((2860/25)/11)/(2/75) a multiple of 18?
False
Let f(z) = 24*z + 434. Is f(0) a multiple of 17?
False
Let f(h) = 9*h - 18. Let b(m) = -m + 28. Let a be b(6). Is 17 a factor of f(a)?
False
Let i(j) = -2*j**2 + 13*j - 7. Let b = -57 - -62. Is i(b) a multiple of 8?
True
Suppose i + 5*t - 1668 = 0, -5 = -t - 10. Is 143 a factor of i?
False
Let g = -150 + 342. Let j = g + -99. Does 31 divide j?
True
Let b = -28 - -32. Suppose -2*j + o = -0*o - 98, -3*o + 186 = b*j. Is 8 a factor of j?
True
Let k(a) = -a**2 + 7*a - 7. Let s be k(5). Suppose s*h - 75 = -2*h. Let i(v) = 5*v + 5. Is i(h) a multiple of 30?
False
Let i(l) = l**2 + 10*l - 8. Let p be i(-11). Let a be (-4)/6 - 95/(-3). Suppose 3*t = 5*b + 11, 5*t = -b + p*b + a. Does 3 divide t?
False
Suppose -3 = 4*b - b. Let t = 52 + b. Let n = -1 + t. Does 25 divide n?
True
Let f = -3 + 5. Let p be (f/((-2)/(-1)))/1. Is 26/(1/(1/p)) a multiple of 13?
True
Let z be 216/99 + (-2)/11. Suppose 2 = z*h - 2. Suppose -4*t = -w - 109, w = t - h*t + 26. Is 9 a factor of t?
True
Let h(c) = -c**2 - c - 1. Let v(o) = -2*o**2 + 12*o + 10. Let x(i) = 3*h(i) - v(i). Is x(-7) a multiple of 32?
False
Let d = -1 - -29. Is (-4)/(10 + -6) + d/1 a multiple of 8?
False
Let f(p) = 17*p**2 + 3*p - 3. Is f(1) a multiple of 17?
True
Suppose -398*f = -399*f. Let l(o) = 14*o**2 - 11*o + 36. Let q(z) = 5*z**2 - 4*z + 12. Let v(n) = 6*l(n) - 17*q(n). Is v(f) a multiple of 6?
True
Is (-26)/(-507) + 1868/78 a multiple of 3?
True
Suppose 1564 = 3*t + 5*q, t + 2*q = 352 + 171. Is 14 a factor of t?
False
Let z be 18/3 + 0 - -1. Suppose -12 = -5*p + 2*r + 1, -3*p = -r - z. Suppose -s - p = -5. Is s a multiple of 2?
True
Let g = -8 + 11. Suppose -g*k = l - 18, 5*l - l = k - 6. Does 15 divide (-172)/(-2)*k/12?
False
Does 13 divide 240388/209 + 2/(-11)?
False
Let k be (2 - 21/15)*5. Suppose k*q - 14 = -5. Is 16 a factor of 3 - 2 - (q + -18)?
True
Let r be 3 + 0 + -1 - 1. Let j = r + -6. Does 24 divide (4/10)/(j/(-300))?
True
Let w(t) = -245*t + 208. Does 70 divide w(-5)?
False
Is (5 + 817/(-3))*(-3)/2 even?
False
Suppose -v = -4*g + 50, 5*v = 4*v + 3*g - 52. Let l = v + 126. Is 17 a factor of l?
True
Let r = -15 + 5. Let w = -14 - r. Is 21 a factor of ((-2)/w)/(3/174)?
False
Let j be (9 