*q. Is s a multiple of 67?
True
Let h(p) = p**2 - 18*p - 31. Let j be h(21). Suppose 0 = -29*n + j*n - 114. Does 34 divide n?
False
Let b be ((24/(-15))/1)/(6/(-15)). Suppose -5*j - 20 = 0, b*j = 2*k + 55 - 471. Does 43 divide k?
False
Let m = -35 + 38. Suppose 0*c + m*c = 27. Is c a multiple of 8?
False
Let y be 3 + (-1 - (0 + 0)). Let r(z) = -3 + 8*z**3 + 19*z**3 - 1 + 5 + z**y - z. Is 14 a factor of r(1)?
True
Let b(n) = n**3 - 3*n**2 - 28*n + 2. Let h be b(8). Let p = h - 20. Is p a multiple of 3?
True
Suppose -3*w = -3 - 12. Let t be w*(-3)/(-3)*1. Let q(p) = 2*p**2 - 7*p. Is 9 a factor of q(t)?
False
Let r = 913 - 637. Is r a multiple of 27?
False
Let z be 1/3 - 72/(-27). Suppose j = -z*j. Suppose 0 = 3*l - 3*b - 96, l - 5*l + 5*b + 130 = j. Does 16 divide l?
False
Let r = 66 - 199. Is 37 a factor of (0 - -4)/((-7)/r)?
False
Suppose -3*y - 4*o = -2665, -o = -2*y + 7*y - 4453. Does 11 divide y?
True
Let k = -259 - -787. Is 6 a factor of k?
True
Let h = 0 - 0. Suppose 0 = -l - h*l. Is 20 a factor of (83 - (4 - l))/1?
False
Let x(o) = -5*o + 2 - 18*o - 3. Suppose 38 = -34*g + 15*g. Is 15 a factor of x(g)?
True
Suppose 2*n - 15 = -5*q, 6*q - q = -4*n + 25. Let t(r) = r**2 + 4 + 14*r + 0 + 9 - q. Does 2 divide t(-14)?
True
Suppose 5*z - 4*s = -5, 0*z + 4*s - 23 = -z. Let w be 8/z*9/4. Suppose 2*i - w*i = -52. Is i a multiple of 13?
True
Let j be 730/35 + 2/14. Suppose k - 2*t - j = 0, 4*k + t = 3*t + 78. Let o = 61 - k. Is o a multiple of 6?
True
Suppose 18*k - 1792 = 16*k + 5*b, 4*k - 3608 = -2*b. Does 18 divide k?
False
Suppose -8*w - 4368 = -12*w. Is w a multiple of 52?
True
Suppose -845 = 9*l - 2393. Does 12 divide l?
False
Suppose 3*x - 25 = -2*x, 3*m = -3*x + 15. Suppose 0 = -m*s + 4*s + 2*q - 834, -q = -3*s + 633. Suppose z + s = 6*z. Is z a multiple of 11?
False
Let h = 1285 + -709. Does 36 divide h?
True
Let s be 2/4 + (-28)/8. Is -4*3/(-18) + (-70)/s a multiple of 18?
False
Suppose 4*p = -5*m + 3890, -3076 = 23*m - 27*m + 4*p. Is m a multiple of 129?
True
Let z be 12/(-3 - -9) - 7*15. Let a = z - -191. Does 11 divide a?
True
Let o(d) = 527*d**2 - 9*d. Does 2 divide o(-1)?
True
Let l = 562 - 211. Is 9 a factor of l?
True
Suppose -i = 0, 0 = 2*b - 5*i + 4*i - 276. Does 23 divide b?
True
Let x be 216/(-15)*(-60)/(-9). Suppose 0 = -6*t + 3*t - 12. Does 12 divide x*((-6)/t)/(-3)?
True
Let c(m) = -m**2 - 14*m - 27. Let o be c(-11). Does 11 divide 62/((o/(-1))/(-3))?
False
Suppose 0 = -739*x + 757*x - 58320. Is 30 a factor of x?
True
Let b(g) = 2*g**2 - 20*g - 129. Does 59 divide b(24)?
False
Suppose 0 = l + 121 - 713. Does 6 divide l?
False
Let c(x) = x**3 + 3*x**2 - 3*x. Let y be c(-6). Suppose -48*s = -12*s + 144. Is 9 a factor of ((-180)/(-75))/(s/y)?
True
Let v(u) = -u**2 + 8*u - 2*u - 3*u + 4 - 3. Let d be v(4). Is ((-26)/d)/((-2)/(-12)) a multiple of 13?
True
Let b = 33 + -28. Suppose -b*z + 47 = -4*z. Is z a multiple of 7?
False
Let u(q) be the first derivative of -q**4/4 - q**3/3 - 3*q**2 - 8*q + 8. Does 8 divide u(-4)?
True
Suppose 3*h + 328 = o, -262 - 394 = -2*o + 4*h. Is o a multiple of 10?
False
Suppose -8*w = -6*w. Suppose z + 2 = -w*z. Let j(t) = -t**3 - 2*t**2 - 4*t - 3. Does 5 divide j(z)?
True
Let d be (122 - 0 - 1) + (-3)/(-1). Suppose -880 = -12*w - d. Does 8 divide w?
False
Suppose -m = 2*n - 266, 2*n + 0*n - 1322 = -5*m. Is 8 a factor of m?
True
Let x be (2/2)/((-5)/(-10)). Suppose -7*q + x*q = 0. Let r = 8 - q. Does 3 divide r?
False
Let o be -2*1*(-3)/3. Suppose -74 = -3*z - 5*x, -12 = -o*x - x. Suppose 0 = 3*k - k - z. Does 3 divide k?
True
Suppose 3*u + 105 = 4*u. Is u even?
False
Suppose -330 = -j - 4*j + 2*l, j = 3*l + 53. Let b = 122 - j. Does 6 divide b?
True
Is 49 a factor of 10 + (-24597 + -9)/(-9)?
True
Let l = -2 + 5. Suppose -7*a = -10*a + 54. Suppose a - l = q. Is q a multiple of 7?
False
Let c(y) = -1074*y - 2. Let z be c(-2). Let l be z/7 + (-6)/(-14). Suppose -2*w = -3*h + 257, -4*h + 5*w + 31 + l = 0. Is h a multiple of 15?
False
Let a be 3 + -1 - 2 - -1. Let r be a/(4/(-40)*-2). Let w(m) = 2*m**2 - 7*m. Is 5 a factor of w(r)?
True
Let a(c) = 2*c**3 - 11*c**2 + 4*c - 88. Is a(14) a multiple of 75?
True
Suppose -116 - 12 = -4*c. Let z = c + -28. Does 9 divide -2 + z + (-264)/(-8)?
False
Let j(a) = -63*a - 135. Is j(-5) a multiple of 21?
False
Suppose 7*u - 123 = -18. Is 14 a factor of (105 - u) + 0/2?
False
Let s(m) = 10*m + 164. Is 7 a factor of s(55)?
True
Let c be (9 - 11) + 0 + (5 - 0). Suppose 0 = -c*w + 7*w - 72. Is w a multiple of 6?
True
Suppose 44*f - 52*f + 3640 = 0. Does 7 divide f?
True
Does 30 divide (-2)/(-5) + 28/(-105)*-111?
True
Let d be (4/5)/(2/45). Let y = -13 + d. Suppose y*u - 114 = 11. Is 25 a factor of u?
True
Let r(c) = c**3 + 8*c**2 + c - 8. Let n(s) = -5*s**3 - 41*s**2 - 6*s + 40. Let q be -3*3 - 6/3. Let w(f) = q*r(f) - 2*n(f). Is w(-6) even?
True
Suppose 156 = -5*k - 44. Let u = k - -224. Does 5 divide u/28 + 6/14?
False
Suppose 1091 = 20*z + 171. Does 14 divide z?
False
Let i(u) = -2*u**3 - 18 - 2*u**2 + 9 - 3*u + 11. Does 22 divide i(-3)?
False
Let d be 4 - -1 - 3/3. Suppose -v + 4*t + 0 = -12, -t = d*v - 14. Suppose 4*s - v*i - i = 30, -i = -5*s + 48. Is s a multiple of 5?
True
Suppose 7 = -2*x + 9*x. Is (2 + 0 - x)*(-137)/(-1) a multiple of 23?
False
Let w(n) = -10*n - 102. Is w(-11) a multiple of 8?
True
Is 903 + (-9 - (-10)/1) a multiple of 28?
False
Suppose 10*t = 6*t - 32. Let x = -8 - t. Suppose r + x*r = 3*q - 182, 4*q + 3*r = 234. Is q a multiple of 25?
False
Suppose 4*r - 28 = 3*t - 7*t, -5*r + 25 = 3*t. Suppose q - 48 = 4*v, r*q + 4*v - 97 + 25 = 0. Suppose 2*k - 20 = -f - 0*k, 3*f + k - q = 0. Does 9 divide f?
False
Let f = 422 + 349. Let l = f + -444. Is l a multiple of 50?
False
Let p be 2 + 1 + -5 + -6. Let a be 4*(10/p)/(-1). Suppose 5 = -5*b + 4*g, -g = 2*b - a*g + 14. Does 2 divide b?
False
Let p = 59 + -83. Is 15 a factor of p/204 - (-1923)/17?
False
Let s = -4 + 10. Suppose -10*m = -s*m - 184. Is m a multiple of 23?
True
Let x = -14 - -22. Let l be (-2)/x + (-378)/(-8). Suppose 5*b - 4*j + l = 171, -2*b - 2*j + 64 = 0. Is b a multiple of 14?
True
Suppose 0 = -4*n - 5*r + 42, -2*n + 2 = -r - 12. Let o be (-1 - 3 - -1) + n. Suppose b + 44 + 2 = 5*l, -3*b = o*l - 42. Is 9 a factor of l?
True
Let p = 397 - -1033. Is p a multiple of 26?
True
Suppose 4*g + 177 = 57. Does 24 divide (-3)/(-15) + (-3594)/g?
True
Suppose t - 20 = -f + 2*f, 2*f - 2 = 0. Does 3 divide t?
True
Let l = -258 + 866. Is 38 a factor of l?
True
Let z(v) be the second derivative of 3*v - 21/2*v**2 + 13/6*v**3 + 0. Does 32 divide z(9)?
True
Is -55 - -71 - -1*2 a multiple of 18?
True
Let w(c) = 16 + 4*c**3 - 5*c**2 - c**3 + 4*c**2 + 2*c - 4*c**3. Is w(0) a multiple of 16?
True
Suppose -3*j + 160 = -32. Suppose 22*q + j = 23*q. Is 16 a factor of q?
True
Let k(q) = -q - 11. Let w be k(-19). Let h be (-2)/w - (-185)/4. Is 5 a factor of (h - 10) + (-1 - -5)?
True
Let i(z) = 63*z**2 - 5*z - 5. Is i(-1) a multiple of 4?
False
Let n be (-6 - -5) + 9*1. Let r(k) = -1 - k**2 - n*k - 5*k + 0. Does 12 divide r(-7)?
False
Suppose 2 = 4*x + 2*c, 4*c + 1 = -3*x - 5. Let i(u) = 63*u - 1. Let f be i(1). Suppose -3*z + 43 = x*b, z - 5*z + f = -2*b. Is z a multiple of 15?
True
Let d(o) = o**2 + 8*o + 6. Let r(h) = 2*h**2 + 15*h + 11. Let a(p) = 7*d(p) - 3*r(p). Let i be a(-7). Let k = i + 44. Is k a multiple of 8?
False
Suppose w = -8 - 7. Let m(p) = -4*p - 13. Is m(w) a multiple of 7?
False
Let k be (3/(-1))/((-1)/1). Let c = 285 - 181. Suppose -k*v + c = -v. Is v a multiple of 26?
True
Let g(t) = t**2 + 17*t - 42. Let m be g(-20). Let h(n) = n**2 - 16*n + 9. Does 15 divide h(m)?
True
Suppose -10527 = -14*i + 1317. Is 18 a factor of i?
True
Let r(t) = -4*t + 15. Let j be r(7). Is 8 a factor of j/2*-2 - -1?
False
Let s(t) = -14*t + 3. Let a be s(-6). Suppose 5*c - 8 = a. Suppose 34 = b + c. Is b a multiple of 15?
True
Suppose -4*d - 2 = -6*d - 2*j, -55 = -5*d + 5*j. Is 8 a factor of 51/(-68)*(-904)/d?
False
Let c = 271 - -39. Is 56 a factor of c?
False
Let t be (5/(-2))/((-11)/110). Let m be (0 - -14)*t/5. Let q = -43 + m. Does 27 divide q?
True
Let r be (-1)/3 - 64/(-12). Suppose -18 = r*u - v, 2*v = -3*u - 0*v - 3. Is 33 a factor of (1/u)/(2/(-594))?
True
Let l = 1067 - 587. Does 63 divide l?
False
