*q - 97. Is q a multiple of 9?
True
Let t be 10 + -6 + (8 - 0). Let l be (-3)/(-2)*t/9. Suppose 210 = 5*p - l*p. Is p a multiple of 16?
False
Suppose -41 = -2*v - 17. Suppose -v*t - 10 = -17*t. Suppose -t*c = -3*c + 69. Is 23 a factor of c?
True
Is 11 - (-5 - (-6 + 2555)) a multiple of 15?
True
Let q be (3213/6)/(-7)*2. Is 17/q - (-1 + 1081/(-9)) a multiple of 15?
False
Let w = 7 - 27. Let i be 2/(-10) + (-64)/w. Suppose -59 = -5*j + i*k, 0 = -7*j + 3*j - 4*k + 28. Does 10 divide j?
True
Let k = 83 - 82. Suppose 12 = 6*b - 3*b. Does 13 divide 23 + 5 + k*b?
False
Is 31 + -30 - -2*7342/4 a multiple of 51?
True
Suppose 0*m = 4*m + 3*b - 804, 0 = -4*m - 4*b + 800. Does 19 divide m?
False
Is 6/(-45)*-85*48 a multiple of 32?
True
Suppose 5*h = -2*n + 14, 2*n = 4*n - 2*h. Let s be 0 - (2 + 1 - n). Is (s + 116/(-6))*-3 a multiple of 16?
False
Let l = -40 - -54. Is (-696)/(-56) - (-8)/l a multiple of 2?
False
Let d(j) = j**3 + 10*j**2 + 11*j - 1. Is d(-7) a multiple of 23?
True
Does 74 divide 4 + (-2)/(-4) + (-5884)/(-8)?
True
Suppose 2*d - 4*d = 6*d. Suppose d = 6*t - 18*t + 2160. Is t a multiple of 12?
True
Suppose 0*z = -3*z - 2*j + 42, -3*j - 28 = -2*z. Suppose z + 12 = -2*s. Is 5 a factor of -2 + -2 + 1 - s?
True
Suppose 4*p + 4*x = -4, 3 = -5*p + 4*x + 34. Suppose p*s + 152 = 488. Does 14 divide s?
True
Let r be (-18)/45 + (2 - (-7)/5). Suppose 2*c = 3*k - 138, -c = r*k + 2*c - 153. Is 20 a factor of k?
False
Is 9 a factor of 42084/(252/21) - 3/(-1)?
True
Suppose 82 - 22 = 15*g. Suppose 0 = 3*v + 2*t - 269, g*t - 650 + 203 = -5*v. Is v a multiple of 37?
False
Let m(n) = 44*n + 170. Does 26 divide m(18)?
True
Suppose i - 6 = -3, -4*w + 1793 = 3*i. Does 9 divide w?
False
Does 50 divide 1547403/572 - 6/(-8)?
False
Let q = 12 - 8. Suppose 5*f = 2*l + 3*l - 405, 5*l - 407 = q*f. Does 12 divide l?
False
Suppose 52 = 2*q + 36. Suppose q*c = 48 - 16. Is 4 a factor of c?
True
Let r(h) = -h**3 + 11*h**2 + 11*h + 8. Let v be r(12). Let j be (-306)/(-81) + v/(-18). Suppose j*y + 62 = 402. Is y a multiple of 17?
True
Suppose -3*n = -12, 5*u - 12*n = -10*n + 2307. Is u even?
False
Let w = -10 + 10. Suppose 2*g - 6 = 0, 3*g = -2*y + g + 162. Is 22 a factor of 12 + -9 + w + y?
False
Let j(g) = -g**3 - 2*g**2 + 2*g. Let h be j(-3). Suppose 3 = -2*c + 1, h*c + 67 = 4*x. Is 16 a factor of x?
True
Suppose -2*o + 119 = 4*g - 683, -5*o = 4*g - 805. Is g a multiple of 4?
True
Suppose -14*s - 12497 = -38467. Does 8 divide s?
False
Suppose -3*m = -9, -4*c - 4*m = -0*m - 676. Suppose -y - 1 = 4, -3*f - y = -c. Is 19 a factor of f?
True
Let x(t) = -102*t - 14. Is 11 a factor of x(-1)?
True
Is 1344 - (-7)/6*-6 a multiple of 36?
False
Let y(j) = j**3 + 6*j**2 + 7*j + 7. Let w be y(-6). Let x = w - -93. Is 29 a factor of x?
True
Let o(m) = -549*m - 42. Is 44 a factor of o(-2)?
True
Suppose -3*m + 28 + 1544 = 0. Suppose 0*b + m = 4*b. Is b a multiple of 15?
False
Let k be -1*(4/(-5))/(10/25). Suppose 3 - 21 = -k*w. Is w a multiple of 5?
False
Let w(s) = -2*s - 10. Let y be w(-10). Let r = y - -21. Let h = -22 + r. Is 3 a factor of h?
True
Let z be (13 - 5)/(2 - 1). Let r = 10 - z. Suppose r*y = y + 9. Does 8 divide y?
False
Let n = 1 - -1. Suppose 2*k + 2*k - 180 = -2*s, -n*k = -4*s - 90. Is k a multiple of 5?
True
Suppose 0 = 4*d + 5*g - 5688 + 1680, -4*g - 1023 = -d. Is 21 a factor of d?
False
Let a(n) = n - 2. Suppose 3*q + 2 = 14. Suppose 3*t - 4*s + 18 = 5*t, s = q*t - 36. Is a(t) a multiple of 4?
False
Let i(q) be the second derivative of -q**6/60 + 11*q**5/120 - 5*q**4/6 + 5*q. Let m(z) be the third derivative of i(z). Is m(-7) a multiple of 40?
False
Suppose -9*b + 3*s = -7*b - 99, 5*s = -4*b + 231. Does 9 divide b?
True
Let j = -748 - -776. Is 2 a factor of j?
True
Suppose 0 = -5*s + 33 - 13. Let v be 258/(-4)*5/((-45)/24). Suppose -4*a - v = -5*c, 4*a = 2*a + s. Is 12 a factor of c?
True
Suppose 2*p - 528 - 71 = -q, -2*q + p = -1183. Does 5 divide q?
False
Let c(t) = -t**2 - 12*t - 9. Let r be c(-11). Suppose r*u - 58 = 4*n, n - 5*u - 11 = 4*n. Does 8 divide (-76)/(-10) + n/(-30)?
True
Let r be ((-3)/(-6))/(3/(-210)). Let o be (-3)/(-7) - 6810/r. Suppose o = -0*k + 3*k. Does 12 divide k?
False
Let p = -21 - -13. Let q = 26 - p. Suppose -5 - q = -r. Is 19 a factor of r?
False
Suppose -3*w = -3*u + 1176, -5*u + 2*w = -1408 - 540. Is u a multiple of 4?
True
Suppose -5*h + 556 = 141. Let q = 216 - h. Is q a multiple of 11?
False
Let z be -1 - -90 - 2 - 2. Suppose 3*o + z = 274. Is o a multiple of 21?
True
Let a be (-12)/9*(-42)/(-4). Let m be (-7)/a + (-3)/2. Let r(d) = -32*d. Is 24 a factor of r(m)?
False
Let z = 596 - 365. Does 52 divide z?
False
Let a be 402/7 + 12/21. Suppose -5*w + a = -2*s - 74, w - s - 27 = 0. Is 8 a factor of w?
False
Let n = -24 - -28. Suppose 3 = n*w - 29. Does 2 divide w?
True
Suppose 2 = -d, -5*j + d + 207 = -0*j. Does 13 divide j?
False
Let x be 1*(1 + -4 - -3). Let z = 5 - x. Does 3 divide z?
False
Let y(l) be the first derivative of l**3/3 - 3*l**2/2 - l - 14. Does 2 divide y(5)?
False
Suppose -303 + 1068 = 3*y. Suppose -v - v = -3*b - y, -4*b - 20 = 0. Is v a multiple of 24?
True
Suppose -4*q + 331 = -369. Does 31 divide q?
False
Let x(w) be the third derivative of -7*w**4/8 - 15*w**3/2 - 36*w**2. Does 12 divide x(-13)?
True
Suppose -3*x + 5840 = 13*x. Does 7 divide x?
False
Let u = 116 - -1742. Is u a multiple of 54?
False
Let g = -29 - -9. Let i be (g/(-8))/((-5)/(-10)). Suppose 4*c - 202 = i*x, 4*c = -2*x + 6*x + 200. Is c a multiple of 14?
False
Let j be 4/(-24) - 95/6. Let k be (-2)/4 - (-328)/j. Is 5 a factor of -10*(3 + k/6)?
True
Let t(j) = -3*j - 17. Let a be t(-7). Does 22 divide (-3*a)/(-3) - (-71 + 2)?
False
Let n(l) = -l**2 - 12*l + 3. Let p be n(-12). Suppose p*a = 4*y - 0*a + 17, 5*y = -3*a - 55. Is 19 a factor of y/(-4) + -6 - -61?
True
Does 34 divide (-2)/(-5)*-2 - (-6774)/30?
False
Is 20 a factor of ((-59696)/(-168))/(2/3)?
False
Suppose 3*p - 105 = 105. Let g(b) = -b**2 - 3*b - 4. Let t be g(-4). Let u = t + p. Is 31 a factor of u?
True
Let i(j) = -2*j**3 - 3*j**2. Let f be i(-2). Suppose -4*a + 44 = f. Does 8 divide a?
False
Let p(v) = -v**3 - 7*v**2 - 5*v + 8. Let a be p(-6). Suppose 2*h = r + 196, 2*h - 3*h + a*r = -98. Is h a multiple of 14?
True
Suppose 12*s = 3*s - 162. Does 4 divide (-4)/s - (-232)/9?
False
Let n(i) = 3*i**3 + 31*i**2 + 3*i - 18. Is n(-10) even?
True
Let n = 860 - 597. Is 20 a factor of n?
False
Let v(b) = -b**2 + 6*b + 2. Let x be v(6). Suppose 5*o = -2*g + 50, g + 2*g = x*o + 37. Is 15 a factor of g?
True
Let z be ((-2)/(-8))/((-2)/8). Is 17 a factor of 537/6 - ((-10)/4 - z)?
False
Let y = 1598 + -1470. Does 3 divide y?
False
Let m = 4 + 4. Let b(o) = 12*o + 7*o + 7*o - m - 4*o. Is 21 a factor of b(5)?
False
Is 5 a factor of 34 - 11/(55/(-30))?
True
Suppose i + 55 = a, 0*a - 190 = 3*i + 2*a. Let q = 95 + i. Does 5 divide q?
True
Let a(k) = -7*k - 3 - 8*k - 9*k + 14*k. Let l be a(4). Let z = -18 - l. Is 17 a factor of z?
False
Let a = 66 + -61. Suppose a*d = 10*d - 520. Is d a multiple of 26?
True
Let g(d) = 1523*d + 41. Is g(1) a multiple of 56?
False
Let k(n) = 2*n + 13. Let o be k(-7). Let u be o - (-5 + -1 + 3). Suppose -4*a = u*a - 492. Does 31 divide a?
False
Let y(f) = f**3 - 31*f**2 - 32*f + 9. Let w be y(32). Suppose 13 = 5*h - 2. Let m = h + w. Does 8 divide m?
False
Suppose 0 = -2*r + 6*r. Suppose -2*q + 4*q + 4 = r. Does 19 divide (-2 + -41)*2/q?
False
Let d(j) = j**2 + 14*j - 89. Is d(-27) a multiple of 11?
False
Let n(o) = -12*o + 3. Let m be n(-8). Let j = -56 + m. Does 18 divide j?
False
Suppose -5*k = 9 - 4. Let u(w) = -22*w**3 - w. Is u(k) a multiple of 8?
False
Let t = -44 - -73. Suppose -2*w + 3*w = -3*f + 20, 5*f = 4*w + 39. Suppose -k - f = -t. Is k a multiple of 10?
False
Let u = 2 + 0. Suppose -i + 20 = 4*i, -u*n - 3*i - 30 = 0. Let g = n - -30. Is g a multiple of 2?
False
Let a(d) be the second derivative of -4*d**3/3 + 8*d**2 + 2*d. Is a(-6) a multiple of 20?
False
Suppose 34*m + 10 = 39*m. Suppose -5*l = 3*y - 0*y - 354, -68 = -l - m*y. Does 18 divide l?
True
Let f be 14/(-105) + (-11404)/(-30). Suppose u = -4*l + 214, -2*u + 4*l + f = -0*l. Is u a multiple of 22?
True
Let o(j) = 127*j + 165. Is 10 a factor of o(5)?
True
Suppose 1 = 2*h + o, 2*h + o + 14 = -3*o. D