 Is y a multiple of 19?
False
Is 7 a factor of (-6)/(-4) - (-435)/30?
False
Suppose 0 = 4*r - 6*r + 10. Suppose 8 = 4*t, 3*f - 144 + 8 = -r*t. Does 14 divide f?
True
Suppose -4*s + 30 = -9*s. Let i(o) = -4*o + 3. Is i(s) a multiple of 13?
False
Suppose 0*x = -2*o - 2*x, 4*o - 3*x - 14 = 0. Suppose -b + o*z + 21 = 0, b = -b - 3*z + 7. Does 10 divide b?
False
Let f = -20 + 6. Suppose -2*l = 2*l + 8. Is (-1 - f) + l/(-2) a multiple of 8?
False
Suppose 0 = -6*t + 3*t + 27. Let k(z) = 0 + 0*z - 3 + t*z + 2*z. Is 15 a factor of k(3)?
True
Suppose 3*t = -3, -422 = -5*f - 5*t + 2*t. Suppose 5*m = y + f, 81 = 4*m - 4*y - 3. Is 13 a factor of m?
False
Suppose 0 = -b - 0*b - 3. Is (-207)/6*2/b a multiple of 12?
False
Suppose -2*h = -4*h. Is 15 a factor of 26 + (-1 - h) + 2?
False
Let o be 9*(4/3 - 1). Suppose 3*y - 19 = -s, o*s - 3*y - 12 = -3. Is s a multiple of 7?
True
Is (-190)/(-14) - 18/(-42) a multiple of 9?
False
Let s = 17 + -30. Let i = 17 + s. Is i a multiple of 2?
True
Let z = 10 + -7. Is 2 a factor of z?
False
Let l(j) = j**3 - 4*j**2 - 2*j - 6. Does 9 divide l(6)?
True
Let v(l) = 13*l**2 - l + 1. Suppose 0*o - 20 = 4*o, -o - 8 = -3*a. Is v(a) a multiple of 13?
True
Let t = 8 + 6. Let j(u) = u + t*u**2 - u**2 + 20*u**2. Is 16 a factor of j(-1)?
True
Let r(v) = v**2 - v. Let m(d) = 5*d**2 + 4*d + 2. Let y(s) = -m(s) + 4*r(s). Suppose -5*h = 31 - 1. Is 5 a factor of y(h)?
True
Let u be ((-20)/25)/(2/(-5)). Suppose 0 = -2*b + u, 2*a - 9 = -4*b - 1. Suppose 3*n + 23 = a*v - 9, 29 = 3*v + 5*n. Is 13 a factor of v?
True
Let l be (4/1)/(-2*1). Let u = 13 + l. Is u a multiple of 11?
True
Let s(r) = r. Let w be s(0). Suppose -t + 0*t + 54 = w. Let a = -34 + t. Does 10 divide a?
True
Suppose -3*x - 4*k = -25, -2*k = -4*x + 3*k + 23. Suppose 2*g + 2 = -0*g. Let o = g + x. Is o a multiple of 6?
True
Is 1191/15 - (2 - 13/5) a multiple of 34?
False
Suppose -c - 9 = -4*q, 5*c + 2*q + 0*q - 21 = 0. Does 2 divide c?
False
Suppose -4*p - 82 = -4*s - p, -23 = -s + 2*p. Is s a multiple of 8?
False
Let y(z) = z**3 + 2*z**2 - 1. Suppose i + i = -4. Let w be y(i). Let s = w - -16. Is 8 a factor of s?
False
Let y be ((-205)/(-10))/(2/4). Suppose -2*x = 2*w + 3*w - 38, 5*x - y = w. Is x a multiple of 9?
True
Let l = -66 + 216. Is l a multiple of 10?
True
Suppose -5*n = 5*t - 53 - 317, 4*t - 3*n - 268 = 0. Is t a multiple of 14?
True
Let h be -2 + (12 - 1 - 1). Let b = 11 - h. Suppose -b*p + 5*p - 8 = 0. Is p even?
True
Suppose -3*r = 3*y - 297, -r - 5*y = -3*r + 219. Is r a multiple of 8?
False
Let n = 277 + -152. Let j = -89 + n. Is j a multiple of 18?
True
Let m(j) be the third derivative of -4*j**4/3 - j**3/6 - 2*j**2. Let k be m(-1). Suppose 2*q - k = 13. Is 11 a factor of q?
True
Let v(a) = -a + 3. Let s be v(-8). Let n = -6 + s. Suppose 3*o + 20 = n*o. Is 5 a factor of o?
True
Suppose 4*m = -16, -2*d - 4*m = -3*d - 25. Let w = 68 + d. Does 14 divide w?
False
Suppose -2*b - 4*x = -29 + 7, 0 = -5*x + 20. Let g(h) = 16*h + 2. Let z(t) = -1. Let i(w) = g(w) + 5*z(w). Does 23 divide i(b)?
False
Let b(w) = -2*w - 2. Let c(x) = -1. Let l(z) = b(z) + 2*c(z). Does 3 divide l(-4)?
False
Let p = 1 - 1. Let o(t) = t**2 - 6*t + 4 + 0 + p*t**2. Does 7 divide o(7)?
False
Suppose 5*t + 472 = 2*r, 0 = -5*r - 0*r - 5*t + 1145. Suppose -3*w = 18 - r. Suppose 4*p = 25 + w. Is p a multiple of 12?
True
Let j(k) = -2*k**3 - k + 92. Is 23 a factor of j(0)?
True
Let m(d) = -d**2 - 4*d. Let t be m(-2). Suppose 58 = t*q - 78. Is 13 a factor of q?
False
Suppose 3*c + 2*c + 3*m = 0, 0 = -m. Suppose -y + 4*y - 15 = c. Suppose 5*o + 115 = y*h, 3*h = -0*h - 2*o + 74. Is h a multiple of 12?
True
Suppose 15 = -0*q + 5*q. Is (q + 0 + -2)*4 even?
True
Suppose -3*d + 270 = -42. Does 55 divide d?
False
Suppose 0 = 17*r - 18*r + 72. Is 16 a factor of r?
False
Suppose -15 + 102 = -3*w. Let o = -14 - w. Is 15 a factor of o?
True
Let f = -2 - -2. Let n = f - 0. Is 2/((-4)/(-6)) - n a multiple of 3?
True
Let b be ((-6)/(-4))/(1/58). Suppose 3*m - 4*o = -168, -3*m + b = -o + 255. Let p = m - -79. Does 13 divide p?
False
Suppose 0 = 3*x - 5*i - 107, 0 = 3*x + 3*i - 158 + 11. Is x a multiple of 22?
True
Let k = -88 - -316. Does 19 divide k?
True
Let x = 5 - 10. Let s = x - 5. Is 4/s - 107/(-5) a multiple of 10?
False
Let q = 55 - 37. Is 23 a factor of (23/1)/(6/q)?
True
Let i(z) = -5*z**3 - 2*z**2 - 5*z - 3. Is i(-4) a multiple of 16?
False
Let p be (3 + -5)/(2/(-3)). Suppose 0 = -p*t - 27 + 9. Let g(u) = -u**3 - 5*u**2 + 4*u - 4. Does 4 divide g(t)?
True
Let d be ((0 - 1) + -5)/(-2). Let x(l) = 2 - l + 4*l**2 + l**d - l**2 - l. Is x(2) a multiple of 9?
True
Let w be -2 + 4 + -3 + 2. Does 8 divide -26*w/(-2 - -1)?
False
Is 11 + (-9)/(12/(-4)) a multiple of 13?
False
Suppose -m - 1 = -2*t, m - 3*t = 2*m - 9. Suppose -17 = -c + m. Does 10 divide c?
True
Let s = 14 - 4. Suppose -3*q + s = 2*q, 86 = 3*u + 4*q. Is u a multiple of 13?
True
Let v be 82*-1*(-2)/4. Let k = v - 10. Is 19 a factor of k?
False
Let f be 2/(1/6*4). Let p be 9/(-15) - 13/(-5). Suppose p*k = f*k - 18. Does 6 divide k?
True
Let b = -3 - -5. Suppose -b*l = -5*m + 9, -2*l + 0*l - 2*m = -12. Does 2 divide l?
False
Let v(p) = -p**3 + 2*p + 1. Let x be v(2). Let r = 5 + x. Does 2 divide r?
True
Let g(o) = o**3 - 4*o**2 + o - 5. Let b be g(4). Let k(j) = -15*j + 1. Is k(b) a multiple of 16?
True
Let h(b) be the second derivative of -b**3/2 + 6*b. Is 8 a factor of h(-3)?
False
Let c = 1 + 7. Suppose -4*w - c = 0, 2 = 4*i + w - 8. Suppose -i*x = -0*x - 33. Does 8 divide x?
False
Let k(a) = a**3 + 2*a**2 + 271. Is k(0) a multiple of 11?
False
Let p(i) = i + 16. Suppose 0 = v + v. Is 14 a factor of p(v)?
False
Suppose 5*j - 79 = -y, y = 3*j - 0*j - 49. Does 2 divide j?
True
Suppose q + 5*o = 29, -2*q + o + 32 = 2*q. Is 2 a factor of q?
False
Is (-3)/(-2) + (-1)/(-4)*470 a multiple of 23?
False
Let v(r) = 4*r + 22. Does 3 divide v(4)?
False
Let v(f) = -f**3 - 7*f**2 + 6*f - 6. Let y be v(-8). Let q(n) = -n**2 + 8*n + 8. Let h be q(y). Is 11 a factor of (-124)/h - (-2)/3?
True
Suppose 530 = 5*s + 20. Suppose -3*a + 151 = j, 2*a + 0*a - s = -2*j. Does 14 divide a?
False
Suppose 42 = -p - 8. Let n = -29 - p. Is 9 a factor of n?
False
Let z = 12 - 14. Is (z - -3)/(9/135) a multiple of 15?
True
Let o = 12 - 0. Does 12 divide o?
True
Let x be 40*2 + 0 + -1. Let m = x + 23. Is m a multiple of 34?
True
Suppose 3*j + 2*j + 20 = 0. Let h = j + 4. Suppose -4*v + 5*f + 73 = h, v + 67 = 5*v + f. Is 15 a factor of v?
False
Suppose 3*g = -g + 132. Does 12 divide g?
False
Let m(c) = -c**2 - 13*c - 9. Let b be m(-10). Suppose b = -5*o + 76. Does 3 divide o?
False
Let r be -1 + (6 - 0)*-7. Suppose -139 + 6 = 2*q + b, -2*q = 2*b + 136. Let o = r - q. Is 8 a factor of o?
False
Let t(g) = g**2 + g + 2. Let a be t(-2). Suppose 0 = a*p + 3*i - 200 + 71, 111 = 4*p - 3*i. Is 15 a factor of p?
True
Suppose -4*o - 5 = 7. Is 1 + (-6)/o - -6 a multiple of 4?
False
Let f be 2/7 + (-132)/(-28). Let p = 4 - f. Is (2 - 10)*(p + 0) a multiple of 4?
True
Suppose -4*x = 2*q - 5*x - 36, 0 = 5*x - 20. Let k(h) = -h**3 - 4*h**2 + 6*h + 7. Let f be k(-5). Suppose 0*u - q = -f*u. Does 5 divide u?
True
Let k(o) = -2*o + o**3 + 2 - 8*o**2 + 2*o. Does 2 divide k(8)?
True
Suppose 4*n = d + 19, -2*d - 4*n = -5*n + 3. Let b = -2 + d. Is (b - 42/(-9))*9 a multiple of 12?
False
Let i be 4 - (-2 + 4 + -1). Suppose -15 = i*t + 2*t. Does 27 divide (-58)/(-1*t/(-3))?
False
Suppose -3*b + 248 = 5*k, 2*k = 5*k + 3*b - 144. Does 14 divide k?
False
Suppose d = 2*a - 99, 4*a - 3*d - 247 = -a. Is 8 a factor of a?
False
Is 4 a factor of 3 + -1 + 1 - (0 + -8)?
False
Suppose l - 1 = 1. Suppose 36 + 12 = l*m. Is 12 a factor of m?
True
Let s(b) be the second derivative of -b**4/12 - 2*b**3 - 3*b**2 - 3*b. Is 8 a factor of s(-7)?
False
Suppose 52 + 6 = 2*c. Is 12 a factor of c?
False
Let f = 1 - 3. Is f/2 + (15 - 2) a multiple of 11?
False
Let j(y) = -3*y - 49. Does 10 divide j(-20)?
False
Suppose 0 = -5*p - 4*g + 326, 4*g = 2*p - 94 - 14. Is p a multiple of 20?
False
Suppose 0 = -4*i + 5*i - 4. Suppose -2*x = 2*d - 0*d - 6, -i*d + 5*x + 39 = 0. Suppose 0 = 2*k - d, 0 = -w - 0*k + 5*k + 11. Is 13 a factor of w?
True
Let k = -2 - 1. Let r be (-2)/k + (-40)/6. Is 7 a factor of (1 - r)*24/14?
False
Suppose -5*z 