multiple of 13?
True
Suppose -z = -2*p - 110, 0*z + 4*p - 452 = -4*z. Is 8 a factor of z?
True
Is ((-9)/(-18))/(2/20) a multiple of 5?
True
Let l(t) = -t**2 + t + 1. Let b(k) = 4*k**3 - 5*k**2 + k + 6. Let p(v) = b(v) - 4*l(v). Does 6 divide p(2)?
True
Let l(w) = -5*w + 4*w**2 + 3*w + 3*w + 5 - 4. Does 8 divide l(2)?
False
Suppose 0 = 5*f - 4*f - 2*o, 0 = 4*f - 5*o - 3. Suppose -m - 2 = f*c - 8, 5*m = -3*c + 16. Suppose -m*p = -5*p + 15. Does 2 divide p?
False
Suppose -w + 1 = 0, 4*w - 4 = 4*c - 0*w. Suppose n + 3*a - 13 = c, -3*n - n = -3*a - 7. Does 4 divide n?
True
Suppose -2*r - 4 = -6*r. Let v = 32 + r. Is 23 a factor of v?
False
Let a(l) = -l**3 - 4*l**2 - 2*l - 5. Let j be a(-4). Suppose 0 = 4*g + 2*s - 5 - 3, -4*g + 8 = -j*s. Is 1*(4 + 0 + g) a multiple of 3?
True
Let s(g) = -3*g - 26. Is 26 a factor of s(-19)?
False
Let y(x) = 8*x + 2. Does 6 divide y(8)?
True
Suppose -2*g + 3 = 5*p, -42 = -4*g - 0*p + 2*p. Is 3 a factor of g?
True
Suppose -5*m = -2*m - 9. Suppose 24 = -0*z + m*z. Is 8 a factor of z?
True
Suppose 4*n - 3*n = 2. Let z be (n - -1)*(-4)/(-6). Does 6 divide (-1 + (-1)/z)*-10?
False
Suppose -4*q = 5*v - 334, -5*v - 3*q + 333 = -0*v. Does 33 divide v?
True
Suppose 200 = 7*l - 2*l. Suppose 0*v = 5*v - l. Is 4 a factor of v?
True
Let r(x) = 100*x + 10. Does 11 divide r(1)?
True
Suppose -2*h + 27 + 9 = 0. Let f = h + -11. Let y(v) = v + 2. Does 4 divide y(f)?
False
Suppose -3*g - r + 8 = 0, -4*g + 14 = g + r. Suppose -g*v - 5*o - 55 = v, 0 = -v - 4*o - 11. Let k = v + 28. Does 4 divide k?
False
Let q(j) = 32*j + 1. Is q(4) a multiple of 12?
False
Let f be (2/4)/(-1)*0. Let o = -1 - -3. Suppose -3*v + 46 = -f*h + 4*h, 22 = o*h + v. Is 5 a factor of h?
True
Let y = -8 + 20. Suppose -4*v = 4*t - y, 2*v - 12 = -2*v - 3*t. Suppose -3*x = 2*i - v*i - 51, 45 = 3*x + i. Does 8 divide x?
True
Suppose 8*v - 7*v - 2*y = 100, 4*v + y - 418 = 0. Is v a multiple of 13?
True
Let i = 89 + -51. Is 12 a factor of i?
False
Let p = 5 - -2. Suppose -3*b + 23 + p = 0. Is b a multiple of 10?
True
Let z be 2/((8/3)/4). Let p = z - 0. Does 3 divide p?
True
Suppose 3*t - 27 = -3*q, 0 = -4*q - 9*t + 4*t + 32. Suppose 49 = 5*z + 3*k, 4*z + 5*k + 1 - 48 = 0. Let a = q + z. Is 10 a factor of a?
False
Is ((-91)/(-21) - 3) + (-658)/(-6) a multiple of 13?
False
Suppose -3*f - 22 = 4*c, -f - 5 - 13 = 4*c. Let d = f + 28. Does 13 divide d?
True
Let i(h) = 3*h - 2. Let j = -2 + 6. Is i(j) a multiple of 6?
False
Let j(t) = t**2 - t + 8. Does 16 divide j(-8)?
True
Suppose 2*u = -u + 15. Suppose 2*b = -0*t + 3*t - 50, 5*t - 85 = u*b. Is 6 a factor of t?
False
Let j be ((-12)/10)/((-3)/(-45)). Let d = j - 19. Let p = -19 - d. Is p a multiple of 14?
False
Let k(v) = -v**3 + 11*v**2 - 10*v + 12. Let b(y) = 3*y**2 + y. Let o be b(-2). Is 12 a factor of k(o)?
True
Let m(i) = 7 - i**3 + 9 + 2*i**3. Let h be (-6)/(-27) - 4/18. Does 14 divide m(h)?
False
Suppose -6*v - j + 161 = -v, -140 = -4*v + 2*j. Is 21 a factor of v?
False
Let k = -3 - 56. Let g = k + 83. Does 8 divide (g/9)/((-1)/(-3))?
True
Let v(h) = -2*h + 4. Let g be v(-6). Suppose -3*b = -7*b + g. Suppose 0 = 5*y - 0*m - 3*m - 138, 0 = -4*m - b. Is y a multiple of 19?
False
Suppose -3*y + 360 = -18. Does 21 divide y?
True
Suppose 0 = -4*i + 22 - 14. Suppose 0 = i*m - k - 29, -6*m + 3*m + 4*k + 41 = 0. Is 6 a factor of m?
False
Let y = 72 + -9. Is 7 a factor of y?
True
Let f(b) = 5*b**3 - 2*b**2 - b + 6. Let x(c) = -4*c**3 + 2*c**2 + 2*c - 6. Let s(v) = -3*f(v) - 4*x(v). Let z be s(4). Does 19 divide (228/z)/((-2)/(-3))?
True
Let d be -2 + 0/(2 + 0). Let p = d - -44. Is (54/21)/(9/p) a multiple of 12?
True
Let n = 2 + -5. Let m = n + 16. Does 5 divide m?
False
Suppose 0 = -i - 3*m + 1, 4*i - 4*m - 52 = -0*m. Suppose i = p - 0. Is 10 a factor of p?
True
Suppose -5*d + 3*s = 5*s - 55, 0 = 2*d + s - 21. Let m = d + -5. Is (0 - -24)*m/12 a multiple of 16?
True
Suppose 0 = -6*y + 3*y + 690. Is y a multiple of 46?
True
Suppose -9 = 3*t - 3*x, 0 = 2*t + 3*t - 4*x + 12. Suppose t = s - 1, 5*s + 80 = 5*h - 0*s. Is 13 a factor of h?
False
Suppose -l + 2*n + 10 = -3, 0 = -4*n - 20. Suppose -v + l*v = 10. Suppose 0 = 2*w - 4*t + t - 28, v*t - 1 = -w. Is w a multiple of 3?
False
Let f be 8 + (3 - 2) + -2. Let m = f - 3. Does 3 divide m?
False
Let d(w) = -4*w + 5. Is 17 a factor of d(-3)?
True
Suppose -4*d = 3*g - 4*g - 218, -d = -3*g - 60. Is d a multiple of 27?
True
Let w be -1*10*2/4. Is 25 a factor of w + (-16)/(-4) - -30?
False
Let o(k) = 55*k**2 + k + 3. Is o(2) a multiple of 25?
True
Let m = -19 + 49. Suppose m = y - 0*y. Does 14 divide ((-42)/5)/((-9)/y)?
True
Let u = 8 + -12. Let n(x) = 2*x**2 + x. Let f(q) = 10*q**2 + 4*q + 1. Let m(j) = -2*f(j) + 11*n(j). Does 9 divide m(u)?
True
Suppose 0*r = -5*x - 4*r + 966, -5*r = -20. Does 23 divide x?
False
Suppose 0*t + t = -14. Let u = 21 - t. Let c = u - 23. Is c a multiple of 6?
True
Let u(z) = -z**2 + 19*z + 2. Is 40 a factor of u(13)?
True
Suppose -4*l = l. Suppose 0 = -5*f + 3*i + 230, 4*f - 3*f - 74 = -5*i. Suppose -59 = -l*s - 2*s - j, 2*s - f = -3*j. Does 13 divide s?
False
Let h = -11 - -15. Let r(c) = -c**3 - 1 + 4*c**2 - 1 + 0*c**3 + h*c. Is 5 a factor of r(4)?
False
Suppose 2*x + 142 = -0*g + 4*g, g - 4*x = 32. Is g a multiple of 2?
True
Let a(f) = 2*f**3 + 10*f**2 + 15. Does 3 divide a(-5)?
True
Let x(v) = 9*v**2 - 6 + 1 - 2 + 2*v - v**3. Does 9 divide x(9)?
False
Suppose 5*b = -45 - 30. Does 21 divide ((-84)/10)/(3/b)?
True
Suppose r + 2*v - 115 + 19 = 0, 3*r + 3*v = 288. Is 16 a factor of r?
True
Let l = -15 - -10. Let s = 16 + l. Is 8 a factor of s?
False
Suppose 0*j = j. Suppose 2*x - 2*v - 10 = j, -x - 3*x - 2*v = -2. Is 2 a factor of x?
True
Suppose -3*x = 6, -g - 2*g - 42 = 3*x. Is 11 a factor of (-228)/(-8)*g/(-9)?
False
Let r = 21 + 15. Suppose -6 = -l + r. Is 14 a factor of l?
True
Suppose -w = 13 - 37. Is w a multiple of 3?
True
Let y(l) = -l**2 - 7*l - 10. Let m be y(-7). Let i = m - 0. Is 3 a factor of (i/(-8))/(-1)*-4?
False
Suppose -5*g - 16 - 9 = 0. Let r = 5 + g. Suppose -c = -3*t + 141, r*c + 215 = 5*t + 5*c. Is 16 a factor of t?
False
Is 12 a factor of -2 - (-17 + 4 + -1)?
True
Suppose 27 = t + 4*c + c, -5*t = 4*c - 72. Let i = -5 + t. Does 3 divide i?
False
Let z(s) = -2*s**2 + 7*s + 10. Let v be z(8). Let g = 95 + v. Does 17 divide g?
False
Let t(u) = -u - 7. Let l be t(-11). Suppose l*a - 48 = -0*a. Is 12 a factor of a?
True
Suppose v = -1 + 7. Let n be ((-9)/3)/(v/44). Let x = 60 + n. Is x a multiple of 13?
False
Suppose 0 = 2*l - l - 3. Suppose l*i - 20 = 2*i. Suppose z - i = -0*z. Does 13 divide z?
False
Let n = 2 + -2. Suppose 2*j + 0*j + 34 = 4*b, 5*j + 2*b + 85 = n. Let a = 34 + j. Is 17 a factor of a?
True
Suppose 0 = -4*d + 2*q + 2, 3*d - 3*q - 15 = -6*q. Does 6 divide 22/(d + -1) - 3?
False
Let p be 2/1*17/(-2). Let a = 29 + p. Is a a multiple of 6?
True
Let z = -4 + 5. Let i = z + 2. Suppose i*f - f = 10. Is 2 a factor of f?
False
Let j(l) = 4*l - 2. Let z(h) = 6*h - 3. Let q(v) = 7*v**3 + v**2 + v. Let c be q(-1). Let d(p) = c*j(p) + 5*z(p). Does 3 divide d(2)?
True
Let l be 1*(1 + -2 - -4). Let g(v) = v**2 - 10*v + 13. Let f be g(9). Suppose -l*q - 2*q + f*r + 34 = 0, -2*q + 12 = -2*r. Is 6 a factor of q?
False
Let b = 38 + -22. Suppose 0 = -4*d - 0*d + b. Is d a multiple of 4?
True
Let f be (-1)/3*0 - 0. Suppose 0 = 4*x - 2*t - 318, 7*x - 2*x + 4*t - 417 = f. Let w = -57 + x. Is w a multiple of 12?
True
Is ((-28)/8)/((-2)/12) a multiple of 10?
False
Let j(k) = -4*k - 12. Let l be j(9). Let r = 87 + l. Is 8 a factor of r?
False
Let f = -178 - -253. Does 15 divide f?
True
Suppose -4*t + 5 = -2*g + 127, -2*t = 4*g - 204. Is 33 a factor of g?
False
Let z = -15 + 31. Is z a multiple of 8?
True
Suppose 0*o + 129 = 3*o. Let f = 68 - o. Is f a multiple of 10?
False
Let n(s) = -12*s - 3. Let k be n(-3). Let m(u) = -3*u + 6. Let i be m(7). Let l = k + i. Is 9 a factor of l?
True
Let m(w) = -w**2 - 3. Let j be m(0). Let o be (2/(-6))/(j/225). Suppose -6*b = -b - o. Is 5 a factor of b?
True
Suppose z - 4 = 0, 4*x - 18 = -4*z + 10. Let f = x + -1. Suppose 5*d + 5*t = 125, -f*d + 3*t - 8 = -63. Is d a multiple of 14?
False
Let k(l) = -l - 9. Let q be k(-10). Let t be (9*-2)/(q/(-3)). Suppose -t = -5*i + 26. Is i a multiple of 15?
False
