 23*q + 440 = a*q. Is q a multiple of 22?
True
Let b = 2270 + -1087. Does 18 divide b?
False
Let j = -3 + 3. Suppose j*v - 60 = -v + 5*r, 0 = r + 4. Let y = 61 - v. Is y a multiple of 13?
False
Let d(b) = -2*b + 1. Let r be d(5). Let p = r - -9. Suppose s + p*s = 22. Is 15 a factor of s?
False
Suppose -3*h - 25 = 2*h, 2*q - 727 = -5*h. Is q a multiple of 47?
True
Let o = -1 + 3. Suppose y - 65 = -o*v, 6*y - 160 = -5*v + 3*y. Does 7 divide v?
True
Let i(b) = -b - 3. Let w be i(-7). Suppose -2*g = -w*j - 252, -514 = -5*g + g - 2*j. Does 16 divide g?
True
Let g be 28/15 + -2 - (-96)/45. Suppose 26 = o + 2*s, g*s - 165 = -5*o - s. Is 4 a factor of o?
True
Suppose -150 = -4*h - l - 21, 12 = -4*l. Suppose h = -2*v + 5*v. Does 5 divide v?
False
Let g(o) = 550*o + 13. Does 57 divide g(2)?
False
Let m be ((-21)/9 - -1)*-3. Suppose 3*f + 19 = m*a, -3*a + f + 16 = -3*f. Suppose s = a*s - 246. Is 12 a factor of s?
False
Let b = -33 - -33. Suppose -t + 23 - 18 = b. Is 2 a factor of t?
False
Suppose 11*s = 7*s + 16. Suppose s*o - 404 = -0*o. Does 23 divide o?
False
Let x(b) = -10*b - 1. Let o be x(-1). Suppose 4*a - 2*a + 10 = 0, 2*j = a + o. Is (60/3)/(-1 + j) a multiple of 13?
False
Let r(l) = -15*l**2 - l + 1. Let i(g) = g**2. Let a(s) = -3*i(s) - r(s). Let z be a(-6). Suppose -4*y + z = y. Does 15 divide y?
False
Let w be 14/3 + (-6)/9. Suppose f + 2*h - 244 = 0, h - 496 - 515 = -w*f. Suppose -5*a = 4*v - 193, -7*v + f = -2*v + 2*a. Does 26 divide v?
True
Suppose 0 = -4*f + 2*h - 8, f + 2*f + h + 16 = 0. Is 25 a factor of (f - 3/3) + 305?
True
Suppose 14 = 3*o - 4. Let v(b) = -b**3 + 5*b**2 + 6*b + 7. Let l be v(o). Suppose 0 = 4*w - l*w + 18. Does 6 divide w?
True
Suppose 5*s + 3*q - 10868 = 0, -2*q + 5885 = 4*s - 2809. Is 51 a factor of s?
False
Let n = 3328 - 1998. Is 19 a factor of n?
True
Let o(g) = -g**2 + 3*g - 1. Let i be o(1). Suppose -19 = -m + i. Is 14 a factor of m?
False
Let a be 0/(-2 + (2 - 2)). Suppose 6*q = b + q + 8, a = 5*q - 15. Is -16*b/(-2) - -3 a multiple of 20?
False
Is 3036/(2 - 0/(-1)) a multiple of 16?
False
Let u(b) = -4*b**3 + 18*b**2 + 5*b - 19. Let j(k) = k**3 - 6*k**2 - 2*k + 6. Let x(w) = 7*j(w) + 2*u(w). Let o be x(-4). Is 12 a factor of (-6)/((-1 - -3)/o)?
True
Let o(r) = -r**2 + 4*r - 3. Let n be o(3). Suppose 2*z + 5*l = -31, l + 27 = -2*z - n. Let d = 25 + z. Is 7 a factor of d?
False
Suppose 106 - 33 = 5*c + u, 5*c - 4*u = 58. Let s be (-6)/c + (-345)/(-21). Suppose -s = -2*x + j, 0*x = 5*x - 3*j - 40. Does 4 divide x?
True
Let u(f) = 41 - 10*f + 3 + 14*f. Does 11 divide u(20)?
False
Let f be 8/(1 - 3) - -8. Suppose -2*z + 6 = 2*a, -z - 3 = -f. Suppose -2*s - 94 = -c, -a*s = -4*c - c + 454. Is c a multiple of 29?
False
Let q(v) = 4*v + 1. Let h be q(0). Is h/(((-8)/(-2))/64) a multiple of 3?
False
Suppose 0 = 3*z - 2*q - q - 30, z - 3*q = 20. Suppose -z*m = -r - 57 - 78, r = -4*m + 117. Is m a multiple of 7?
True
Let l = 56 + -53. Does 14 divide (l + 4)*138/7?
False
Suppose 0 = -5*m + 387 - 27. Does 36 divide 13 + m + (-3 - 2)?
False
Suppose 35*w - 7*w - 21728 = 0. Is w a multiple of 35?
False
Is 35/3*1290/25 a multiple of 19?
False
Let h = 40 + -44. Is 25 a factor of (-6582)/(-27) - ((-170)/(-45) + h)?
False
Suppose 7*a + 92 = 3*a. Let b = -8 - a. Is 5 a factor of b?
True
Suppose 11 = x - 12. Suppose 3*v - x - 13 = 0. Is v a multiple of 12?
True
Let p(j) be the first derivative of -j**3/3 + 6*j**2 - 2*j - 1. Let z(l) = 2*l**2 - l - 1. Let w be z(2). Is p(w) a multiple of 11?
True
Let m = 93 + -64. Let h = m + -4. Let a = h + -7. Is 4 a factor of a?
False
Let x = -6 - -21. Let l = x + 1. Is 4 a factor of l?
True
Let f = 148 + -144. Suppose -f*w + 1534 = 9*w. Does 11 divide w?
False
Suppose -20 - 32 = -13*j. Is 1*(-3 + j)*24 a multiple of 5?
False
Let b be 712/10 - (48/(-10) + 5). Suppose -t - 51 = -c, -3*c + 82 = 2*t - b. Does 17 divide c?
True
Let c(o) = 9*o**2 - 2*o + 28. Is c(-8) a multiple of 10?
True
Is 20193/(-106)*(-40)/6 a multiple of 28?
False
Let c be (-492)/19 - 10/95. Let x = -159 + 101. Let p = c - x. Is p a multiple of 8?
True
Suppose -3*x = 4*x - 469. Suppose -23 = -c + x. Does 15 divide c?
True
Suppose 47*b = 50*b + 15, -2*b = -3*x + 5059. Is x a multiple of 9?
True
Let t(h) = -h**2 - 11*h + 324. Does 8 divide t(-22)?
False
Is ((-21)/(-12) + -1)*(72 + 8) a multiple of 32?
False
Let y(n) be the third derivative of n**6/120 + n**5/12 + n**4/12 - n**3/6 + 40*n**2. Suppose 5*z = 4*v - 8, -5*v + 2*z = -2*z - 1. Is 9 a factor of y(v)?
False
Suppose 4*d - 1198 = -318. Is 22 a factor of d?
True
Let q be -7 - -11 - -2 - (1 - -3). Let g(n) = 17*n**2 - n - 8. Let b(f) = -4*f**2 + 2. Let m(r) = -9*b(r) - 2*g(r). Is 10 a factor of m(q)?
True
Suppose 0 = -11*g + 30 + 36. Suppose -4*u = g*u - 980. Is u a multiple of 14?
True
Suppose -12*j + 365 = -7*j - 3*k, 289 = 4*j - 3*k. Is j even?
True
Suppose -3*u = -0*j - 4*j - 896, 0 = j - 4. Suppose 0 = h + 5*a - 3*a - 56, -5*h + 2*a = -u. Is 22 a factor of h?
False
Let i be 152/36 - (-2)/(-9). Let h be ((-4)/i - -1) + 9. Let s(l) = -l**3 + 9*l**2 + 5*l - 10. Is 19 a factor of s(h)?
False
Let p = -1226 + 1870. Does 28 divide p?
True
Suppose 258 = 3*u + 2*i, -4*u - 4*i + 495 = 147. Does 9 divide u?
False
Suppose 3*r - 7 = 2*s + 4, 2*r = -3*s + 16. Suppose -5*z + r = 0, -f + 4*z = -133 + 23. Does 19 divide f?
True
Suppose 0 = -5*q + 31 + 44. Suppose -q*r + 1100 = 5*r. Is r a multiple of 13?
False
Suppose 3*n + 9 = 0, 4*k - 2*n + n = -5. Let d be (-6)/(1/2 + k). Let b(r) = 2*r**2 + 4*r + 1. Is b(d) a multiple of 14?
False
Suppose 20*i - 18*i = 200. Is 5 a factor of i?
True
Let i = 349 - -798. Is i a multiple of 29?
False
Suppose 0*y - 7 = -2*y - a, -y - 4*a + 7 = 0. Suppose -y*l = 4*z - 7*l - 52, 4*l = 16. Is z a multiple of 5?
False
Suppose 0*n + 2*n - 13 = -5*m, 0 = m + 2*n - 1. Suppose 5*f + 100 = 4*w, -4*f = -3*w - m*f + 64. Is w a multiple of 5?
True
Suppose -8*f + 10*f - h = 2753, -6883 = -5*f + 3*h. Is 119 a factor of f?
False
Does 63 divide 1956/9*(-252)/(-112)?
False
Let j be 29/3 - (-1)/3. Suppose 0 = -j*f + 5*f - 230. Does 6 divide f/(-3) - (-4)/6?
False
Suppose -333 + 2609 = u. Does 7 divide u?
False
Let h(c) = c**2 + c - 160. Let f be h(0). Let v = -97 - f. Suppose 3*b - v = 5*o, 4*b + 2*o - 119 = -3*o. Is b a multiple of 13?
True
Let t be -21 - -11 - ((3 - 2) + 3). Let u(l) = 22*l. Let c be u(1). Let s = c - t. Does 18 divide s?
True
Is 17 a factor of (-180)/(-21)*119/3?
True
Let m = -46 + 52. Suppose 54 = m*f - 5*f - w, 5*f - 2*w = 270. Is f a multiple of 18?
True
Is 3003/99 - 10/(-6) a multiple of 16?
True
Let p(v) = 4*v + 14. Let q be p(-8). Is (-240)/18*q/8 a multiple of 4?
False
Let l(q) be the first derivative of 13*q**5/30 - q**4/24 + q**3/6 - 5*q**2/2 - 3. Let s(c) be the second derivative of l(c). Is s(1) a multiple of 15?
False
Let r = 0 + 4. Let x(h) = 4*h - 6. Let w be x(r). Suppose -3*z - w = -49. Is 13 a factor of z?
True
Suppose -2*h - 120 = h. Let z be -1 - 1*h - -1. Is 12 a factor of z + (-8)/(6 + -4)?
True
Suppose 2*y = 218 - 44. Let c be y/3 - (1 + 0). Let g = -7 + c. Is g a multiple of 7?
True
Let s(t) = -t - 18. Let x be s(7). Let j = x + 40. Does 3 divide j?
True
Let w be (-4)/((-12)/9 - 0). Let z(r) = r**3 - 2*r**2 - r - 4. Let i be z(w). Suppose -130 = -4*t + 2*q, -3*t + 95 = i*q - 4*q. Does 15 divide t?
False
Suppose -16 = -6*y - 4. Suppose 0 = 4*f - k - 930, -8*k + 7*k = y. Does 8 divide f?
True
Let x(j) = -j**3 + 16*j**2 - 20*j - 45. Is 20 a factor of x(11)?
True
Let v = 137 + -45. Does 10 divide v?
False
Let j(w) be the second derivative of -7*w**3/3 - 23*w**2/2 + 25*w. Is j(-7) a multiple of 30?
False
Suppose -1482 = -g + 2*k, -4*k - 1321 = 2*g - 4277. Is g a multiple of 22?
False
Let k(a) = -a**2 + 16*a - 8. Let x(c) be the second derivative of c**5/20 + c**4/3 - c**3/6 + 4*c**2 - 5*c. Let d be x(-4). Is 9 a factor of k(d)?
False
Suppose 7*v + 627 = 8*v + 4*k, -2*k + 8 = 0. Is 50 a factor of v?
False
Let g(a) = 3*a - 12. Let s be g(6). Suppose -s*k + 4*k - 24 = -4*c, 23 = 3*c - 4*k. Suppose p = -2*y + 89, 0 = -5*y - 0*p + c*p + 230. Is y a multiple of 9?
True
Suppose -4*k + 3 = -m, 0 = -m + 3*m - 2*k. Let q be 4*m/2*67. Suppose 0 = 3*y + q - 419. Does 20 divide y?
False
Let x be 2/(-3) - (-16)/6. Suppose -4*b = -4*r - 132, x*r