8 divide k?
True
Let i(d) = -303*d + 9. Let t be i(-3). Suppose 10*f + t = 16*f. Is 11 a factor of f?
False
Let z(v) = v**3 + 9*v**2 + v. Let s be z(-7). Suppose 5*o - 821 = -5*t - s, -o = -3*t + 438. Is 14 a factor of t?
False
Let k be -2*(-3 - -3 - 1). Suppose 3*i + k*i = -a + 818, a - 3 = 0. Is 29 a factor of i?
False
Let s be -2 + 8*(-3 + 0). Suppose 0 = 5*r - 42 - 183. Let b = r + s. Does 5 divide b?
False
Suppose -2*j = 7*j - 279. Let v = 80 - j. Is v a multiple of 8?
False
Suppose -3*a - 4*s = -344, -a + 42 = -2*s - 56. Is 18 a factor of a?
True
Suppose 217 = 4*s - 311. Is s a multiple of 5?
False
Let c be 127 + (3 - 1)*-1. Suppose 0 = 5*a - 20 - c. Is a a multiple of 7?
False
Suppose 10*y - 408 - 162 = 0. Let m = y + 139. Does 44 divide m?
False
Suppose -3*m + 1298 = 2*f, 344 = 2*m + 5*f - 525. Does 10 divide m?
False
Suppose 3*f + 2*x = 12, 3*f = -0*f + x + 3. Let a be (4/6)/(f/12). Suppose 4*d + 69 = 3*g, 3*g = d - a*d + 48. Is g a multiple of 14?
False
Let n be (-418)/(-30)*9 - (-6)/10. Suppose -594 - n = -8*s. Is 30 a factor of s?
True
Suppose 3*g = 5*j + 19, 4*g + 4*j = j + 64. Suppose -6*b - 91 = -g*b. Suppose -b*f + 11*f + 140 = 0. Is 14 a factor of f?
True
Suppose 3*u - 64 - 96 = 4*g, 0 = 5*u + 2*g - 258. Suppose 58 = -5*f - i, 5*f + 46 = 3*i - 0. Let b = f + u. Is b a multiple of 14?
False
Let f be (264/9)/(6/45). Suppose 43*y - f = 38*y. Is y a multiple of 22?
True
Let o = 86 - 60. Suppose -2*x = -40 - o. Does 3 divide x?
True
Let r(v) be the first derivative of v**3/3 + 6*v**2 - 7*v - 29. Does 15 divide r(11)?
False
Suppose 6*s - 30*s + 22320 = 0. Does 36 divide s?
False
Let q(w) = 12*w**2 + w - 6. Let h(b) = 23*b**2 + 2*b - 12. Let a(l) = -2*h(l) + 5*q(l). Does 4 divide a(2)?
True
Let a = -11 + -9. Let h = a + 20. Is -9*(-14)/(2 - h) a multiple of 21?
True
Suppose -3185 = 76*o - 83*o. Does 13 divide o?
True
Let h be 2/3 - (-56)/(-12). Let u be 1/((3/(-8))/(-3)). Let l = u - h. Is l a multiple of 6?
True
Let v(m) = 49*m - 8. Let k be v(2). Suppose -3*z - 5*n + 29 = -25, -k = -5*z - n. Is 18 a factor of z?
True
Let r(g) = g**2 - 5*g - 7. Let h = 18 - 12. Let l be r(h). Let i(v) = 79*v**2 + 2*v + 1. Is i(l) a multiple of 24?
False
Let m(n) = -n**3 + 9*n**2 - 10*n + 19. Let t be m(8). Suppose -185 = -2*g - t*g. Is 5 a factor of g?
False
Suppose 5*r - 445 = m, -5*m + 291 = 3*r - 4. Suppose 5*p + 4*t - r = 0, -3*t = -p - 4*t + 17. Is p a multiple of 22?
True
Let x(y) = y**3 - 5*y**2 + 2*y + 1. Let g be x(4). Let r(m) = m**2 - 6. Is 12 a factor of r(g)?
False
Suppose 7*j + 8 = 3*j. Is 18 - (-1 - -3)/j a multiple of 7?
False
Let d = 1885 - 1532. Is 2 a factor of d?
False
Let u = 29 + -26. Suppose u*t = 8*t - 335. Does 9 divide t?
False
Let f be 164/6 - (-5)/(-15). Let q be (-30)/(-8) - f/36. Suppose -32 - 25 = -q*i. Does 19 divide i?
True
Let v = 259 - 172. Suppose -v = -8*w + 113. Is w a multiple of 2?
False
Suppose -r + 20 = 4*r, 244 = 2*y + 4*r. Is y a multiple of 4?
False
Suppose 6 = 2*v + 3*j, 2*j = 4*v + 3*j - 22. Let r be (v/10)/(3/15). Suppose 4*x - 2*k = 72, x = -r*x - 3*k + 52. Is 4 a factor of x?
True
Let z(l) be the third derivative of l**5/60 + 7*l**4/24 - 13*l**3/6 + 243*l**2. Let r(m) = -2*m + 2. Let d be r(-2). Does 13 divide z(d)?
True
Let y = 394 - 211. Suppose 6*s - y = 951. Is 18 a factor of s?
False
Let o(l) = -9*l + l + 27*l + 31*l + 12. Is 25 a factor of o(2)?
False
Suppose -5 + 1 = -c + b, -5*b = -c + 12. Suppose c*w = i - 1, w - 2*i - 19 = 4*w. Does 3 divide 3/3 + 9 + w?
False
Let j(o) = -o. Let a(c) = 3*c + 12. Let n(f) = -a(f) - 6*j(f). Let m be n(5). Does 11 divide (33/(-6))/(m/(-18))?
True
Suppose 3*n + 3*a - 41 = 7*a, -4*n + 40 = 2*a. Suppose 3*x - n*x = -1440. Is 10 a factor of x?
True
Let i = -11 - -14. Suppose r = i*p - r - 16, r + 15 = 5*p. Suppose 2*d + 94 = 3*g, -2*g - p*g + 132 = 4*d. Is g a multiple of 8?
True
Let x(a) be the first derivative of -27*a**2 - 24*a + 8. Let k be x(-12). Suppose 5*r = -3*r + k. Is 13 a factor of r?
True
Let u be (-26)/(5 - (-1 - -4)). Suppose -7*c = c - 168. Let a = u + c. Is a a multiple of 2?
True
Let k(l) = 125*l + 365. Let z(q) = -9*q - 26. Let s(o) = 6*k(o) + 85*z(o). Is s(-9) a multiple of 14?
False
Let d = 1185 + -107. Does 17 divide d?
False
Let k(f) = -18*f - 36. Is k(-44) a multiple of 36?
True
Let u be (720/(-105))/((-1)/7). Suppose 0 = 4*x - 2*p - u, 3*x - 3*p - 50 + 11 = 0. Is 5 a factor of x?
False
Suppose 7*z = 2*z + 25. Suppose -z + 32 = 3*d. Let r = 39 - d. Does 10 divide r?
True
Suppose 27*f + 920 = 32*f. Suppose 3*w - f = -w. Does 23 divide w?
True
Let q(w) = -w**2 - 12*w + 17. Let j be q(-13). Suppose -j*g + 138 = -2*g. Let s = 101 - g. Is s a multiple of 9?
False
Suppose 8 = -4*a - 8. Is a + (92 - 4/(-2)) a multiple of 18?
True
Suppose 156*u - 151*u - 3720 = 0. Is u a multiple of 55?
False
Suppose 0 = 5*y - 200 - 40. Let q be (-2)/((y/340)/6). Let u = -49 - q. Does 36 divide u?
True
Let s(b) = -13*b + 566. Does 11 divide s(-25)?
True
Is 59 a factor of ((-2142)/(-170))/(3/615)?
False
Let v be 28/(-10)*50/20. Let x(r) = 2*r**2 + 9*r - 9. Is 18 a factor of x(v)?
False
Let c = 204 + -109. Suppose -4*d = 3*k - 0*d - 252, -5*d + c = k. Is 10 a factor of k?
True
Suppose 25*k + 504 = 22*k. Does 45 divide -40*k/(-32)*(-6)/7?
True
Suppose -2*s = -4*n - 62, 0*s - 86 = -3*s - n. Is 2 a factor of s?
False
Suppose 5*x + 2*d = 4*d + 7867, 3149 = 2*x - 3*d. Does 11 divide x?
True
Let h be 1/(-2)*0/(-7). Suppose -5*o = -h*o - 60. Suppose 5*g = -u + 9, -u - 4*g + o = -2*g. Is u a multiple of 6?
False
Let g(d) = -d**3 + 2*d**2 + 4*d + 5. Let a be g(3). Does 22 divide (93 - -8) + a/(-2)?
False
Let l(o) = o**2 - o + 3. Let a = 28 + -23. Does 9 divide l(a)?
False
Let x = -163 - -797. Does 41 divide x?
False
Suppose 80 = 14*q - 4*q. Is 5 a factor of 4/((q/(-70))/(-2))?
True
Suppose -8*b + 5*b + 4*n = 8, 2*b + 5*n - 10 = 0. Suppose b = -5*q - 2*j + 39, 0 = 3*q + 4*j - 19 - 10. Does 7 divide q?
True
Suppose 6*q - 3764 = 2830. Does 12 divide q?
False
Suppose 5*m - 21 = 6*m - 2*h, 2*m + h + 57 = 0. Let b = m - -41. Is 11 a factor of b?
False
Let d = 10 - 37. Let l be ((-8)/(-6))/(6/d). Does 6 divide (15 + -9)*(-8)/l?
False
Let k = -338 - -415. Is k a multiple of 3?
False
Let v = 836 - 658. Does 89 divide v?
True
Suppose -s - 51 = -2*j, 0 = 3*s + 21 - 30. Does 27 divide j?
True
Suppose -z + 0*g = -g - 2, -g = 2*z - 13. Suppose z*w + 342 = 4*v + 3, 4*v = -w + 321. Is 26 a factor of v?
False
Suppose 2*a = 8*a + 12. Is 13 a factor of (21 - 23) + (-185 - 0)*a?
False
Let b(l) = -31*l - 43. Does 4 divide b(-5)?
True
Let m = 17 + -6. Let j = m + 41. Is 21 a factor of j?
False
Let o(z) = -z**2 + 11*z - 6. Let n be o(10). Let c(d) = -d**3 + 2*d**2 + 6*d - 2. Let x be c(n). Let v(t) = t + 23. Does 5 divide v(x)?
False
Let m = 110 - 189. Let d = 229 + m. Is 15 a factor of d?
True
Let z = 66 - 138. Let h be 1/(-2) - (-207)/2. Let j = h + z. Does 10 divide j?
False
Let p(h) = h - 8. Let z be p(8). Let t be 2 - z - (-3 - 0). Suppose t*m = 8*m - 126. Does 11 divide m?
False
Suppose b + 2*b - 2704 = n, 0 = -5*n - 20. Does 25 divide b?
True
Suppose -4*p = 4*w - 752, 78*w - 4*p + 564 = 81*w. Is w a multiple of 6?
False
Suppose -22 = -2*c + 12. Let l be (-7 - -4) + c + 4. Is 30 a factor of 4554/81 + (-4)/l?
False
Suppose -j = -f + 58, 4*f - 4 = -5*j + 246. Is f a multiple of 4?
True
Let b = -12 + -22. Let t = 186 + b. Does 38 divide t?
True
Let y = -11 - -7. Let j(r) be the third derivative of r**5/12 + 5*r**4/24 + r**3/6 - 27*r**2. Is 11 a factor of j(y)?
False
Let u = 105 - 40. Suppose 3*d + w - 5*w - u = 0, -5*d + 4*w + 95 = 0. Does 15 divide d?
True
Does 35 divide ((-175)/105)/(2/(-1512))?
True
Let h be (144/(-10))/(33/(-110)). Let d = h - 21. Does 12 divide d?
False
Let p be 144/66 - (-5)/((-110)/4). Let l = p + 24. Does 4 divide l?
False
Suppose -266*u = -273*u + 9401. Is 9 a factor of u?
False
Suppose -34 - 8 = -2*z. Suppose 4*a - 5*n = -z, 4*a - 2*a + 5*n - 27 = 0. Let k(u) = 20*u**3 + 1. Is 21 a factor of k(a)?
True
Does 26 divide ((-4937)/(-3) - 0) + 78/234?
False
Let t = 583 - 491. Is t even?
True
Let x = 146 + -172. Let c = -4 - x. Is 8 a factor of c?
False
Let s = 2554 + -1874. Does 24 divide s?
False
Suppose 8*j + 2 - 2 = 0. Suppose j = o - 4*k - 30, -2*k - 55 = -5*o - k. 