 0. Suppose 3*j = -d - 7. Let l = 24 - j. Is 12 a factor of l?
False
Let x(j) = 4*j + 1. Let c be x(3). Let z = 19 - c. Is z a multiple of 4?
False
Suppose -c + 3 = 4*o + 14, 2*c + 6 = -4*o. Let d be (78/15)/1*c. Suppose -d - 39 = -5*q. Is 10 a factor of q?
False
Let p(t) = 20*t**2 + 6*t + 3. Let v be p(-4). Let w = v + -52. Suppose 4*g + 3*n = -39 + 249, -4*n - w = -5*g. Is g a multiple of 18?
False
Let q(a) = a**2 + 5*a + 7. Is q(-8) a multiple of 31?
True
Let f = 37 - 13. Does 6 divide f?
True
Does 4 divide 22*63/30 - (-1)/(-5)?
False
Suppose -2 = 2*t - 362. Is t a multiple of 36?
True
Let s = 127 - 88. Is s a multiple of 5?
False
Suppose -3*d + l = -7*d + 184, 4*d = l + 176. Does 11 divide d?
False
Suppose -7 = -3*t - 16. Suppose 0 = 4*a + 85 - 25. Let v = t - a. Does 6 divide v?
True
Suppose 3*t + 5*l - 9 = -0*l, -5*t - 4*l + 15 = 0. Is 4 a factor of (-17)/(-2) - t/2?
False
Suppose 9 + 8 = l. Is 3 a factor of l?
False
Suppose -7*n + 104 = -3*n. Is 22 a factor of n?
False
Is 26 a factor of 78/4*16/12?
True
Suppose q - 72 = -2*i + 6*q, 25 = i + 3*q. Is i a multiple of 7?
False
Suppose -5*v = -297 + 32. Suppose -5*k + v + 2 = 0. Is 11 a factor of k?
True
Suppose 8 = 12*a - 8*a. Suppose -3*t - 2*v = 3*v - 200, a*v + 284 = 4*t. Is 23 a factor of t?
False
Suppose 2*d - 9 = -d. Let l = -1 - -1. Suppose a = -l*a + d*c + 18, 0 = -3*c + 6. Is 24 a factor of a?
True
Suppose 7 = -c + 77. Is c a multiple of 28?
False
Suppose 0 = 4*f - 56 - 28. Is 21 a factor of f?
True
Let s = 1 + -1. Suppose 42 = -s*l - 3*l. Let v = l + 27. Is 13 a factor of v?
True
Let a(z) = -2*z**3 + 3*z**2 + 3*z - 12. Does 38 divide a(-4)?
True
Does 21 divide 298/14 + (-10)/35?
True
Let c(i) = -8*i**2 + 4*i + 2. Let q be c(4). Let b = -60 - q. Is 15 a factor of b?
False
Let j be ((-6)/(-4))/((-3)/(-8)). Suppose -2*c - 16 = h - 7, -j*h + 5*c + 16 = 0. Is 13 a factor of h/2 + (-54)/(-4)?
True
Does 8 divide 15/6*(2 + 12/10)?
True
Let y(r) = -6*r**2 - 4*r - 3. Let u be y(-5). Let l = -76 - u. Does 19 divide l?
True
Let w = 2 + -1. Is 28 a factor of (-14)/(-5)*10/w?
True
Suppose -j + 5*j = -2*l + 20, -5*l + 17 = -j. Suppose -167 - 45 = 2*i. Is i/(-6) - 2/j a multiple of 12?
False
Suppose -s = -4*s + 204. Is 19 a factor of s?
False
Let r = -9 + 9. Suppose r = -0*n + 5*n - 60. Is 11 a factor of n?
False
Is -3 - (-251 + (3 - -3)/3) a multiple of 35?
False
Suppose v - 90 = -5*v. Is v a multiple of 15?
True
Let z = -4 - -3. Suppose -4 = 4*l - 2*r, 3*l - 6*l = 4*r - 19. Is 11 a factor of 14 + (l + -1 - z)?
False
Suppose 2*f - 70 = 2*d, 5*f - d - 104 - 63 = 0. Does 6 divide f?
False
Let o(k) = -3*k**3 + 2*k + 2. Let j(i) = -6*i**3 + i**2 + 4*i + 4. Let p(t) = 3*j(t) - 5*o(t). Suppose -3*b - 3 - 3 = 0. Is p(b) a multiple of 17?
True
Suppose 16 = 2*t + 5*c, -3*t - 4*c + 20 = t. Does 5 divide (-164)/(-16) + t/(-12)?
True
Let d(a) = 2*a**2 - 8*a - 8. Is 11 a factor of d(7)?
False
Let o(n) be the third derivative of -n**4/4 - 2*n**2. Let p be o(-6). Suppose 0 = g + t - 18, p = g + g - 2*t. Is 13 a factor of g?
False
Let m(a) = 3*a**2 + 12*a - 3. Is 28 a factor of m(-9)?
False
Let b = 75 + -48. Does 5 divide b?
False
Let x = 53 + -23. Is x a multiple of 10?
True
Is (-8)/(-12)*(4*30 - 0) a multiple of 20?
True
Let d = -13 + 19. Does 5 divide d?
False
Let c be (-1)/4 - 2/(-8). Suppose 2*h - h + 1 = c. Does 8 divide 7 - 1 - 2*h?
True
Let m(b) be the first derivative of b**4/4 - 5*b**3/3 + 3*b + 30. Suppose -5*a - 4*k + 25 = 0, 25 = 3*a + 4*k + 10. Does 3 divide m(a)?
True
Let u be 3/6 - ((-70)/(-4))/(-5). Let c(n) = -4*n**2 + 5*n - 4. Let r be c(6). Does 12 divide r/(-10) + u/20?
True
Let p = 39 - -15. Does 5 divide p?
False
Let c(j) = j**3 + 8*j**2 - 5*j - 12. Let x be 1 + (40/(-4) - -1). Is c(x) a multiple of 10?
False
Let z be (-6)/9 - (-17)/3. Let w = z - 1. Is 12/w*(-1)/(-1) a multiple of 3?
True
Suppose 2*h = z + 10, -7 = -h - 5*z - 2. Let c(m) = 4*m - 4. Does 16 divide c(h)?
True
Let z be ((-2)/(-4))/((-4)/72). Does 6 divide z/3 - (1 + -16)?
True
Suppose 23 - 59 = -4*q. Does 2 divide q?
False
Let t be (-4)/10*(-10)/(-2). Let i be 120/(-18)*3/t. Let y = 17 - i. Is 3 a factor of y?
False
Let g be ((-426)/(-6))/((-1)/(-2)). Let v be (-2)/(-6) - g/3. Let q = v + 83. Does 18 divide q?
True
Let f(p) = 3*p + 3. Let j be f(6). Let g = j + -7. Is 4 a factor of g?
False
Let l be (157 - (1 - 1))*1. Let r = 31 - 34. Is 16 a factor of l/5 + r/(-5)?
True
Let x = -6 + 18. Let i be (16/x)/(2/(-75)). Let h = 87 + i. Is 14 a factor of h?
False
Let h be (-2 - -8)*(2 + -1). Suppose -2*f = -h - 38. Suppose 0 = 3*r - f - 5. Is r a multiple of 5?
False
Let o(i) = -i**3 - 3*i**2 - 1. Let u be o(-2). Let g = -7 - u. Is (g/5)/((-3)/195) a multiple of 13?
True
Suppose 5*u + 128 = -27. Let q = -8 - -4. Let f = q - u. Is f a multiple of 17?
False
Suppose 3*b + 20 = 7*b. Suppose 0 = 4*f - 2*x - 20, -6 + 30 = b*f - 3*x. Is 5 a factor of f?
False
Let g be 1195/20 - 1/(-4). Let d = g - 26. Is d a multiple of 9?
False
Is 13 a factor of (-759)/(-22)*2/1?
False
Let m(o) = -7*o - 1. Let n(a) = 7*a + 2. Let r(k) = -3*m(k) - 2*n(k). Let l be r(2). Suppose -l = 2*v - 3*v. Is v a multiple of 13?
True
Let k(f) = -2*f + 32. Is k(9) even?
True
Let k(s) = -3*s**2 - 2*s + 3. Suppose 4*z + 6 + 6 = 0. Let c be k(z). Is -2 + c*(-4)/6 a multiple of 10?
True
Suppose 5*i + 160 = 9*i. Is i a multiple of 30?
False
Let m be (-1 - -1) + 46/2. Suppose -q = -13 - m. Suppose 0 = 2*i + i - q. Does 12 divide i?
True
Let l be 4 - 0 - (1 + 0). Suppose -l*p - 15 = -0. Is 9 a factor of ((-42)/15 - -1)*p?
True
Let x = 93 - 85. Does 3 divide x?
False
Is 40*(-14)/16*60/(-42) a multiple of 10?
True
Let p = -12 - -19. Is p a multiple of 7?
True
Suppose 3*q - 3 = -3*l, q + 4*l = 5*q + 4. Let s = q + 11. Does 11 divide s?
True
Let v(b) = -b**3 + 5*b**2 - b + 7. Let m be v(5). Suppose -3*l + 4*l + 97 = -4*s, 5*s - 168 = m*l. Let g = 124 + l. Does 12 divide g?
False
Suppose 0 = -4*j - 3*a + 246, 0 = a - 2. Let s = j - 24. Does 12 divide s?
True
Let j = 13 - 9. Suppose -3*q + 15 = -j*b - 62, -63 = -3*q - 3*b. Suppose f = -2*r - 0 + 1, -3*f + 4*r + q = 0. Is 4 a factor of f?
False
Let z be 10/(-5)*1/1. Is 14 a factor of z/8 - (-298)/8?
False
Let x(y) = -13*y + 2. Let c(s) = 6*s - 1. Let r(b) = -10*c(b) - 4*x(b). Is 6 a factor of r(-2)?
True
Is 14 a factor of 6376/22 + 2 - (-32)/176?
False
Suppose 4*k + 3 = 15. Suppose -4*i + 5*n + 114 = 0, -i - k*n + 35 = -n. Is 9 a factor of i?
False
Let g be ((-9)/(-6))/((-2)/116). Let i be g/(-2) - (-2)/4. Suppose 0 = 5*h - 3*f - 37, 4*h - i = -h - 4*f. Does 4 divide h?
True
Is 9 a factor of (4/6)/(-4 + 939/234)?
False
Is (376/(-32) + (-2)/(-1))*-24 a multiple of 26?
True
Let z(i) = -i**2 - 8*i + 7. Let s be z(-5). Suppose 5*q - s - 18 = 0. Does 4 divide q?
True
Let o(w) = -w**2 + 16*w - 10. Is 9 a factor of o(11)?
True
Suppose -y = -4*y + 489. Does 45 divide y?
False
Let b be 112/5 - 4/10. Is 4 a factor of (-12)/(-66) + 326/b?
False
Let h(l) = -15*l - 6. Let n be h(-6). Suppose -15 = 3*p - n. Is 8 a factor of p?
False
Let n(q) = -q**3 + 13*q**2 - 7*q - 4. Let x be n(12). Suppose -a + k = -21, 13 - x = -3*a - 2*k. Is a a multiple of 11?
False
Let q = -64 - -31. Is 6 a factor of ((-6)/9*q)/2?
False
Let d(v) = 6*v**2 + 2*v - 3. Does 3 divide d(-2)?
False
Let k = -86 + 146. Suppose 6*s = s + k. Is 4 a factor of s?
True
Let p be (-3)/((-3)/(-6) + -2). Let s(n) = 0*n - p*n + 7 - 2. Does 10 divide s(-9)?
False
Let h = -39 + 73. Suppose 0 = -5*c - 5, 3*p = 3*c + h + 5. Does 6 divide p?
True
Does 8 divide ((-96)/18 + 2)/((-4)/30)?
False
Let m = -59 - -102. Is 25 a factor of m?
False
Let c = -18 - -123. Does 12 divide c?
False
Suppose 4*f - s = -15, s + 6 + 15 = -5*f. Let c be (-5 - -10)/(2/4). Let w = c + f. Does 5 divide w?
False
Let t(p) = -3 - 1 + 5*p**2 + 3 + 5*p - 2*p**2 - p**3. Let v be t(5). Let r = -18 - v. Is 8 a factor of r?
True
Suppose -t + 20 = t + 4*y, y - 5 = -4*t. Suppose -2*x - x - 36 = t. Does 10 divide (-3)/x + 63/4?
False
Let w(o) = -o**3 + 5*o**2 + o - 3. Let z be w(4). Suppose 5*s = -4*j - 25, 2*j + s = 4*s + 15. Let g = z - j. Is 10 a factor of g?
False
Is (25/10)/(1/2) even?
False
Let k(w) = w**3 - w - 3. Let l be k(0). Let q(z) = 3*z**2 - 2*z + 13. Let s(c) = 2*c**2 - c + 7. Let d(f) = l*q(f) + 5*s(f). Is 8 a 