 i be v(o). Suppose i = -2*b + 5*a + 4 - 3, 2*a = 6. Is 4 a factor of b?
True
Suppose 0 = -0*r + 2*r. Let a(z) = z + 19 + 1 + 6 + 0*z. Does 13 divide a(r)?
True
Suppose -18*z + 5920 = -2*z. Is 6 a factor of z?
False
Let f(a) = -6*a - 2. Suppose 27 = p - 3*z + 7, -z - 124 = -4*p. Suppose -13 = 2*d - 2*b + 3, 3*d - 5*b = -p. Is f(d) a multiple of 7?
False
Suppose 0 = -z + 4*z + 126. Let d = 8 - z. Let y = -36 + d. Is 7 a factor of y?
True
Let o(q) = 3*q + 92. Let k be o(-29). Suppose 0*v + 2*v = -2*y + 250, 0 = y + k*v - 145. Does 10 divide y?
True
Let j = 53 + -11. Let v = 8 + j. Does 10 divide v?
True
Let h(q) = 0*q**3 - 4*q**3 + q + 4 + 10*q - 7*q. Is 10 a factor of h(-3)?
True
Let i = 94 + -51. Let z = i + -26. Is 6 a factor of z?
False
Let a(f) = 2*f**3 + 3*f**2 - 5*f - 6. Let h be a(-2). Does 4 divide (h + (-15)/(-5))*5?
False
Suppose -2*k = 3*k - 90. Let y = -10 + k. Suppose -2 + y = j. Is 3 a factor of j?
True
Suppose -4*x + 6 = -x. Suppose -1 = -y + x. Does 14 divide -1 + y*(1 + 4)?
True
Let z = -128 + 1019. Does 27 divide z?
True
Suppose 1317 - 201 = 2*y - 4*a, 0 = -2*y - 5*a + 1080. Is 15 a factor of y?
False
Suppose -10*r = 3*r - 7488. Suppose 4*n + r = 8*n. Does 24 divide n?
True
Let c = 19 - 12. Suppose 11*j - 176 = c*j. Suppose -j = -o - 5. Is o a multiple of 15?
False
Let l = 10 - 10. Suppose -o + 4*o - 30 = l. Let x = o - -10. Is 20 a factor of x?
True
Let a = 13 - 13. Suppose 3*c = -a*c. Suppose 42 = -c*m + 3*m. Does 3 divide m?
False
Let h = 74 + -21. Does 3 divide h?
False
Suppose -2*k = 2*k + 204. Suppose 2*t + 133 = 4*a - 41, 0 = t + 2*a + 95. Let b = k - t. Does 11 divide b?
False
Let f(r) = -5*r + 87. Does 11 divide f(-20)?
True
Suppose 3*p = -2*f, 2*p + 0*p = -3*f + 5. Suppose -4*z = s - 32, 8*z = f*z - 2*s + 37. Let j(l) = l**3 - 8*l**2 - 6. Is j(z) a multiple of 19?
False
Let l(y) = -9*y**3 - y**2 - y + 1. Let m be l(-2). Let o be ((-1)/3)/(4/(-36)). Suppose m = 5*s + o*i - 51, -2*s + 54 = -4*i. Does 13 divide s?
False
Let p = -2 + 337. Is 59 a factor of p?
False
Let y be (-9)/2*120/(-18). Let n = y + 11. Let a = -13 + n. Is a a multiple of 14?
True
Let z be ((-135)/30)/(6/(-4)). Suppose q - 48 = -o, 0 = z*o + 9 + 6. Does 20 divide q?
False
Is 23 a factor of (-658)/94 + 2460/2?
False
Suppose -5*m - x + 4130 = -0*m, -4*m + 4*x = -3280. Is m a multiple of 107?
False
Suppose -13*y + 1571 = -2706. Is 5 a factor of y?
False
Does 15 divide (-29)/(87/90)*-9?
True
Let b = -120 - -154. Does 2 divide b?
True
Suppose 9*b + 750 = 2829. Is b a multiple of 3?
True
Let m = -930 - -620. Let b = m - -520. Is 35 a factor of b?
True
Suppose 13*g - 1032 = 4792. Does 8 divide g?
True
Let t = 25 - 42. Does 8 divide (15 + t)/(2/(-8) + 0)?
True
Suppose -6*k - 1 = -13. Suppose 3*d - 10 = -2*s, 7 - k = s - 3*d. Is (s - 3) + 1 - -49 a multiple of 26?
True
Let s(w) = -15*w - 98. Is 25 a factor of s(-24)?
False
Let c(j) = j**3 + 6*j**2 + 5. Let s be c(-6). Let y = -164 - -179. Let m = y + s. Does 7 divide m?
False
Suppose 2*d - 361 = -2*o + 3*o, -4*o + 376 = 2*d. Let s = d + -86. Is 6 a factor of s?
True
Let g(t) = t**2 + 5*t + 6. Let f be g(-7). Let l be (2/(-5))/((-2)/f). Does 11 divide ((-2)/l)/(2/(-168))?
False
Suppose 0 = -5*a - 2*u + 409 + 3270, 2*a - 1474 = -2*u. Does 21 divide a?
True
Let m = -100 - -142. Suppose h + 4*u = -20, 0 = 7*u - 2*u + 20. Does 14 divide (h/3)/((-2)/m)?
True
Suppose -3*g = 4*v + 4, -3*v + v = -2*g - 12. Let w(l) = l**2 + l - 3. Let q be w(0). Is 15 a factor of q/v - 186/(-4)?
True
Is 14 a factor of (-2202)/(-4)*((11 - 8) + 1)?
False
Suppose 5*i - 9 = n, -3*n = -8*n - i - 19. Let j be (-95)/n - 1/(-4). Suppose j = -2*f + 3*f. Does 12 divide f?
True
Suppose 0 = 3*q - 16 - 23. Suppose 4*b = -5*a + q, -3*a - 4*b + 2*b = -7. Let n(t) = 40*t**2 - 2*t. Is 10 a factor of n(a)?
False
Let z(a) = -33*a - 7. Let r(j) = -j - 1. Let x be r(-8). Let f be z(x). Is 16 a factor of f/(-6) - 2/3?
False
Let z be (-2)/(-4)*(208 + -2). Let y(g) = g + 2. Let m be y(3). Suppose 0*x + z = x - 2*s, -505 = -5*x + m*s. Is x a multiple of 18?
False
Suppose -23*b + 26*b = 0. Suppose 4*c + 4*d - 524 = b, -2*d - 112 - 166 = -2*c. Is c a multiple of 17?
False
Let g = 2975 - 1965. Does 19 divide g?
False
Suppose k - 7 - 49 = 0. Does 5 divide k?
False
Let o(n) = -4*n**2 - 12*n + 17. Let g(t) = -3*t**2 - 13*t + 16. Let l(m) = 3*g(m) - 2*o(m). Let f be l(-14). Is (1 - -8) + f/(-14) a multiple of 7?
True
Let j(u) = -4*u**3 + u**2. Let o be j(-1). Let n be (-69)/(-15) + 2/o. Let h(l) = 3*l**2 - 6*l - 2. Does 28 divide h(n)?
False
Let j = 46 - 33. Suppose j*b - 14*b + 252 = 0. Does 36 divide b?
True
Suppose 2*x + 100 = 7*x. Does 3 divide x?
False
Let u(n) = -3*n**3 + 0*n**3 - 2*n + n**2 - 3*n**2 - 3 + 4*n**3. Let t(d) = -d - 2. Let k be t(-7). Does 22 divide u(k)?
False
Suppose -4*z - 46 = -3*b + 2, -4*b + 5*z = -65. Does 11 divide ((-36)/b)/(-3) + 327/5?
True
Suppose 16*x = 14*x + 18. Let q(g) = 18*g + 11*g - 21*g + x + 1. Is 14 a factor of q(3)?
False
Suppose -106 = -10*r + 104. Is (-34 - r)*12/(-10) a multiple of 7?
False
Let z = -324 + 866. Is 25 a factor of z?
False
Let i(n) = -4*n + 2 + 30*n**2 + 9*n - 9*n**2 + 0*n. Is 24 a factor of i(2)?
True
Suppose -3*d + 77 = -5*m, 5*m - 172 = -5*d + 23. Let q = d - 26. Suppose q*t - 22 - 122 = 0. Does 11 divide t?
False
Let l = 1360 + -1267. Is l a multiple of 4?
False
Let h = 525 - 440. Does 67 divide h?
False
Let b = 1 - -3. Let s = b + 16. Suppose 5*p - s = 4*p. Is 10 a factor of p?
True
Let d = -515 - -1537. Is d a multiple of 48?
False
Let d be ((-24)/30)/4 + (-44)/5. Does 2 divide d/45 + 212/10?
False
Suppose 12*v - 36 = 3*v. Suppose -v*k + 56 = -2*k. Is 10 a factor of k?
False
Let t(y) = y**3 + 3*y**2 - 5*y. Let x be t(-4). Let b(s) = 14*s**2 + 7*s - 7. Does 49 divide b(x)?
True
Let z = 45 + -42. Suppose 126 = z*q - 0*q. Is q a multiple of 7?
True
Let x(d) = d + 3. Let l be x(-1). Does 16 divide 12/8*l*16?
True
Suppose 0 = -2*f - 4*p + 4, -5*f - 2 = 5*p - 17. Is 10 a factor of (22/f + 1)*2?
False
Let g = -36 + 40. Suppose -2*k - 107 = -7*k + 3*b, 0 = -g*k - 3*b + 64. Is k a multiple of 19?
True
Let h(f) = f**3 - 6*f**2 + 8*f - 7. Let t be h(5). Let a be (12/(-18))/((-4)/(-6)). Let s = a + t. Does 5 divide s?
False
Suppose -4*k - 2*a + 16340 = 0, -3*k + 7*a + 12256 = 8*a. Does 18 divide k?
True
Let a(k) = 112*k - 56. Does 24 divide a(6)?
False
Is (4 - (-287)/(-70)) + 8404/40 a multiple of 53?
False
Let c(m) = 7*m - 19. Let g(n) = 1. Let v(f) = c(f) + 4*g(f). Does 20 divide v(5)?
True
Let u(g) = 3*g**2 + 1. Let l be u(-1). Suppose -l*o + 209 = -43. Let r = 100 - o. Is 11 a factor of r?
False
Let a(i) = 25*i**2 - 27*i - 27. Is 11 a factor of a(-9)?
False
Suppose -5*k - 273 = -8*k. Suppose k = 5*v - 124. Is v a multiple of 5?
False
Suppose 39*k - 76824 = -33*k. Is 11 a factor of k?
True
Suppose 3*p = 0, d - p - 108 = 3*p. Suppose -32 = 4*g - d. Is g a multiple of 4?
False
Suppose 4*z + 6408 = 3*o, 5*o = -z - 4*z + 10645. Does 33 divide o?
False
Let z be (236/6)/(14/(-21)). Let r = 163 + z. Let c = r + -71. Is 11 a factor of c?
True
Let b = -15 - -12. Let d(a) = -4*a + 3. Let w be d(b). Suppose 0 = -2*y + w + 53. Is y a multiple of 13?
False
Let l = 90 + -60. Let t be l/(-105) + 1572/14. Suppose 3*x - t = 95. Is 31 a factor of x?
False
Suppose 4*h = -f + 2096, -6*h - 2098 = -f - 11*h. Is f a multiple of 48?
False
Let x = -41 - -38. Is 3 a factor of (-27)/x*4/6?
True
Let k = 1136 - 420. Does 3 divide k?
False
Is 292 + -5 + (-2)/(-1 - 1) a multiple of 12?
True
Suppose r - 92 = 3*u + 80, 792 = 5*r + 2*u. Let m = r + -16. Is 18 a factor of m?
True
Suppose -7*w + 6*w + 85 = 2*g, 0 = 2*w + 5*g - 168. Suppose 3*t - w = 2*t + l, -t + 83 = l. Is 50 a factor of t?
False
Let v(p) = p**2 + 23*p + 14. Is v(13) a multiple of 22?
False
Let d = 67 - 98. Let a = -16 - d. Let f = -13 + a. Is 2 a factor of f?
True
Suppose -309 = -4*r + z, -5*z = 9*r - 7*r - 171. Is 13 a factor of r?
True
Suppose -42*c + 44*c - 6 = 0. Suppose 2*q - 2 = 0, 5*n = 2*n + c*q + 354. Let h = -50 + n. Does 38 divide h?
False
Let o = -36 + 43. Suppose -3*a - 20 = -o*a. Is a a multiple of 2?
False
Let d(j) = -j**3 + 8*j**2 + 8*j + 12. Let k be d(9). Suppose -k*h + 8 = -h. Suppose -q - h*q + 68 = -4*p, 3*p = -q + 25. Does 4 divide q?
True
Suppose 47