 + 2*q - 5 = 0. Let t(g) = 38*g**3 + g - 1. Does 13 divide t(v)?
False
Let a = 66 + -34. Let n = -5 + 7. Suppose 0*i + n*i - 2*w - 12 = 0, 2*w = 4*i - a. Is i a multiple of 5?
True
Let m = 40 - 28. Let h(w) = -w**2 + 17*w + 8. Is 17 a factor of h(m)?
True
Let d = 109 + -78. Suppose 0 = 2*u - 20. Let t = d - u. Is t a multiple of 8?
False
Suppose 2*z + 0*z = 4. Suppose 15 = r - 4*f, -z*r + 27 = -4*f + 9. Does 3 divide r?
True
Suppose -5*j + 5*d = -1115, 3*d - 2*d = -3*j + 673. Does 32 divide j?
True
Let r = 0 - -2. Suppose -r*p = -2 - 44. Is 11 a factor of p?
False
Let y(f) = -3*f - 2. Let l(h) = -7*h - 4. Let i(a) = -3*l(a) + 5*y(a). Does 10 divide i(3)?
True
Let o = 10 - 8. Let f be 43 + o + (-2 - -1). Suppose -f = -3*a - a. Is 11 a factor of a?
True
Let c(l) = -l + 1. Is c(-7) a multiple of 3?
False
Let c(u) = u**3 - 11*u**2 + 7*u - 20. Is 19 a factor of c(11)?
True
Suppose -2*n = -6*n - 20, -3*v = 5*n - 311. Suppose v = 4*d - 12. Does 9 divide d?
False
Let c(o) = 23*o + 3. Let h be (-6)/4 + (-21)/(-6). Does 19 divide c(h)?
False
Let m = 69 + -9. Does 20 divide m?
True
Suppose 4*q + q = 145. Let n = 59 - q. Is n a multiple of 10?
True
Suppose -521 = -5*p + 5*g - 86, -p + 3*g = -93. Is 14 a factor of p?
True
Let d = 0 + 4. Suppose 3*b + 52 = 4*y, -d*y + 50 = -y - 5*b. Is 5 a factor of y?
True
Let a be 4/6 - (-22)/(-6). Suppose -5*u - 4*v + 9 = 0, 3 = -0*u - 2*u + 5*v. Is u + -34*a/3 a multiple of 12?
False
Let j(b) = b**2 - 3*b - 11. Let c be j(8). Let z = -17 + c. Does 10 divide z?
False
Let q = 57 - 96. Let o = -12 - q. Does 9 divide o?
True
Is 6 a factor of 2*-5*(-3)/5?
True
Let b be (2/(-3))/(1/(-96)). Let y = 108 - b. Does 16 divide y?
False
Let x be (-2)/(-4) + 102/(-12). Let j(g) = -g**3 - 8*g**2 + 5. Does 2 divide j(x)?
False
Let x(n) be the first derivative of -7*n**2/2 - 4*n + 4. Is 12 a factor of x(-4)?
True
Let m = 210 - 150. Suppose m = 2*z + 4*z. Does 4 divide z?
False
Let g = -3 - -2. Is 1 + 2 + -2 - g even?
True
Suppose 0 = -5*y + 14 - 4. Let r = 44 + -52. Is 11 a factor of (-4)/r*100/y?
False
Let j = 26 - -14. Does 10 divide j?
True
Let c = -64 - -189. Is c a multiple of 23?
False
Suppose -s - 15 = 10. Does 12 divide (-2 + 1)*s + 2?
False
Suppose 2*b + 4*w - 56 = 0, b + 3*w = -0*b + 33. Does 6 divide b?
True
Let m = 7 + -5. Suppose -u - 65 = -m*p - 2*u, 53 = 2*p + 5*u. Is p a multiple of 17?
True
Is 1*2 + 121 + 24 a multiple of 22?
False
Suppose 3*n - 3*r + 21 = 0, -47 = 5*n + 4*r - 3*r. Let g = 14 + n. Suppose 4*f - 2*x = 32 + 42, 4*f - 67 = -g*x. Is 7 a factor of f?
False
Suppose -4*m + 2*h - 6*h + 172 = 0, 5*m - 4*h = 188. Is m a multiple of 5?
True
Suppose 4 = -5*v + 2*v - 5*d, 2*v - 5*d - 39 = 0. Is (204/(v + -4))/2 a multiple of 17?
True
Let a(m) = 2*m**2 - 28*m + 14. Is 32 a factor of a(17)?
False
Suppose -5*o - 632 + 2832 = 0. Suppose 9*h = 4*h + o. Is 21 a factor of h?
False
Let y be (0 + -2 + 1)*-1. Suppose 2*p - y = -3*g - 5, -3*g = -5*p - 31. Suppose 0 = g*l + l - 42. Is l a multiple of 7?
True
Let n(p) = -p**2 + 5*p. Let o be n(4). Does 10 divide 29/2*8/o?
False
Let k(x) = -7*x - x - 9*x - 3. Does 25 divide k(-3)?
False
Let b(o) = 3. Let c(h) = -h**2 + 4. Let f(g) = 4*b(g) - 3*c(g). Let w be f(-1). Let v = 5 - w. Is v even?
True
Is 2 - (-60)/9*(-3)/(-1) a multiple of 22?
True
Suppose 330 = -3*t - 3126. Is 18 a factor of t/(-20) + 6/(-10)?
False
Suppose 0 = -d - 2 - 1. Let c(i) = -6 + 1 + 1 - 9*i. Does 11 divide c(d)?
False
Suppose 2*s = -a + 45 + 89, -2 = a. Suppose p - 91 = -3*u, 67 + s = 5*u + 5*p. Is 17 a factor of u?
False
Suppose 4*u = -4*r + 112, 5*r = -u + 114 + 30. Let m = 59 - r. Does 10 divide m?
True
Let x(q) = q**2 - 7*q - 9. Let t be x(9). Suppose -4 = -4*n + 16. Suppose t = 6*m - 5*m + 4*k, n*k - 36 = -4*m. Is m a multiple of 9?
True
Let k(y) = y + 1. Let b be k(-1). Let h(u) = 49 - 2 + u**3 + u**2 + 2*u - 3*u. Is h(b) a multiple of 23?
False
Suppose 0 = 2*l - 45 - 7. Is l a multiple of 12?
False
Suppose 214 = 2*v - 4*q, 0*q + 218 = 2*v - 2*q. Does 10 divide v?
False
Let k be ((-4)/3)/((-10)/15). Suppose k*c - 5 = 3. Suppose 2*g + 3 - 12 = -5*h, -4*g = -c*h - 60. Does 8 divide g?
False
Let q = -2 - -3. Let p be (2 - 0) + (0 - q). Is 9 a factor of (18/2)/(1/p)?
True
Let i(g) = 2*g - 3. Let q be i(3). Suppose p + 34 = q*p. Is 8 a factor of p?
False
Let i(m) = -74*m - 2. Does 11 divide i(-1)?
False
Suppose -3*v - 33 = -w - w, 3*w - 51 = 5*v. Suppose 3*r - w = -0*r. Suppose -12 = m - r*m. Does 2 divide m?
True
Let k be 3*((-2)/(-2) + 0). Let i = k + -9. Let p(q) = -q**3 - 5*q**2 + 2*q - 6. Does 6 divide p(i)?
True
Let m(w) = w**2 - 2*w. Let g be m(4). Does 6 divide 98/g + (-3)/12?
True
Suppose -2*b - 89 = -b. Let t = -31 - b. Let i = -26 + t. Is i a multiple of 10?
False
Suppose 4*y + 5*x - 1081 = 0, y = 2*x + x + 249. Is 11 a factor of y?
True
Let i(h) = h**3 + h**2 + h + 12. Let x(r) = r**2 - 7*r. Let o be x(7). Suppose o = -3*w - 2*w. Is i(w) a multiple of 12?
True
Does 32 divide -40*(0 + -7 + (-1 - -4))?
True
Suppose -12 + 0 = -3*p, -8 = 2*a - 4*p. Suppose -a*i + 3*i - 14 = 0. Does 7 divide (-2)/(-6)*3 - i?
False
Suppose 2*y - 105 - 17 = -4*r, 3*y + 125 = 5*r. Let u = r + -19. Is 3 a factor of u?
True
Let t(i) = -18*i. Let b be t(4). Let d = b + 122. Does 37 divide d?
False
Suppose 0 = 5*m - 2*a - 241 - 129, 3*a = -m + 74. Does 13 divide m?
False
Let s(b) = b**2 - 2*b + 1. Is s(-5) a multiple of 35?
False
Suppose 0 = 3*y - 75 + 12. Is 8 a factor of y?
False
Let v be (0 + 6)*1/2. Suppose -28 - 44 = v*u. Let s = -17 - u. Is s a multiple of 7?
True
Suppose 0 = -3*h - h + 16. Suppose -h = 4*t, r + 2*t - 16 = -6. Is r a multiple of 5?
False
Let g = 10 - 7. Suppose i + g*i = 76. Does 7 divide i?
False
Let o be 4*(-1 + 33/12). Suppose -o + 79 = 2*y. Is y a multiple of 12?
True
Suppose -4*h - 39 = -j, -2*h - 4*j + 3 = 9. Let c(w) = -w + 3. Is 12 a factor of c(h)?
True
Let n(x) = -x**3 - 8*x**2 + 10*x + 11. Let g be n(-9). Is 7 a factor of 204/15 - g/(-5)?
True
Suppose 3*u + u + 28 = 0. Let t(b) = 5 - 3*b + 0 - 1. Does 12 divide t(u)?
False
Let m(n) = n**2 - 3*n + 2. Suppose -2*r - 4*f - 11 = -5*f, 3*f = -5*r - 11. Is 10 a factor of m(r)?
True
Let d(w) = -5*w - 2. Let t(r) = 4*r + 2. Let j(k) = 5*d(k) + 6*t(k). Is j(-6) a multiple of 8?
True
Let m(u) = -8*u - 3. Let d be m(9). Is d/(-9) - 1/3 a multiple of 4?
True
Suppose -4*q + 376 = -2*z, 0 = q + z + 2*z - 80. Does 26 divide q?
False
Let f be (-3)/9 - (-20)/6. Suppose -4*a + 47 = a - f*c, -c = 4*a - 24. Is 5 a factor of a?
False
Suppose 0 = -16*b + 9*b + 770. Is b a multiple of 8?
False
Let i be (5/2 + -3)*0. Suppose o - 6*o = i. Suppose o*a - a = -10. Does 10 divide a?
True
Does 3 divide (-50)/(-3) + ((-7)/(-3))/7?
False
Let c(z) = 10*z - 5. Is 15 a factor of c(8)?
True
Let m(z) = -z + 8. Let v be m(5). Suppose -29 = -4*f + v*t, 6*t = -f + t + 36. Is f a multiple of 3?
False
Suppose s - 4*s - 18 = 0. Let l = 2 + s. Let g(p) = 3*p**2 + 5*p - 4. Is 8 a factor of g(l)?
True
Let t(b) = b**2 + 4*b - 2. Let d be t(-6). Let z(l) = -l**2 + 11*l + 10. Let o be z(d). Suppose -2*g = -52 - o. Is g a multiple of 18?
True
Does 7 divide ((-50)/(-15))/2*(22 - 1)?
True
Let k(v) be the third derivative of -v**6/120 + v**5/15 + 7*v**4/24 - v**3/3 + v**2. Is 7 a factor of k(5)?
False
Does 39 divide (-16 - -47)*(-1 + 5)?
False
Let g be (1/1 + -2)/(1/(-1)). Let p(l) = l**3 + 8*l**2 + 8*l + 4. Let z be p(-7). Is 3 a factor of g - (6/1)/z?
True
Suppose 230 = -6*u + 698. Is u a multiple of 39?
True
Let a = 105 - 25. Does 25 divide a?
False
Let a(g) = g + 8. Let c be a(-6). Suppose -l = -c*l + 17. Is 8 a factor of l?
False
Let a = -14 - -45. Is 3 a factor of a?
False
Let i(h) = -3*h**2 - 12*h - 7. Let y(f) = f**2 + 6*f + 4. Let l(q) = 2*i(q) + 5*y(q). Does 5 divide l(6)?
False
Let u(o) = 2*o**2 - 3*o + 13. Is u(-7) a multiple of 44?
True
Suppose 2*s - 38 - 10 = 0. Is s a multiple of 24?
True
Let j be 186/(4 + -1) - 0. Let r = 89 - j. Does 11 divide r?
False
Suppose 5*b + 174 = -o - 351, 0 = 3*b - 5*o + 343. Let h = 51 + b. Let x = 91 + h. Is 13 a factor of x?
False
Suppose 0 = 5*q + 5*y - 41 - 19, -q + 5*y = 0. Is q a multiple of 9?
False
Let d(c) = -4*c - 6. Let p be d(-6). Does 7 divide (-375)/(-18) + 3/p?
True
Suppose 7*q = 9*q - 722. Suppose -5*p - v = -q, 349 = 5*p - 3*v