- 4 = -14. Suppose 2*r + i*r = 224. Does 9 divide r?
False
Let k = 1 - 4. Let p be (k + 0)*16/3. Does 5 divide -2 - -1 - p*1?
True
Is 12 a factor of 6/(-9) - (-56)/3?
False
Let d be 6*1*(-5)/(-10). Let p(k) = k**3 + 2*k**2 - 5*k + 3. Let j be p(d). Let i = j - 17. Is i a multiple of 16?
True
Suppose -3*o + o + 4 = 0. Suppose -o*d + 25 = -3. Does 14 divide d?
True
Suppose -10*w + 169 + 181 = 0. Does 35 divide w?
True
Let o(m) = m - 10. Let c be o(11). Suppose 0 = z - 58 + c. Is 23 a factor of z?
False
Suppose 5*l + l - 204 = 0. Does 11 divide l?
False
Let t be (2 + 1)/(9/(-24)). Let z = t - -48. Does 16 divide z?
False
Suppose 0 = -2*r + 5*u, 3*r - 3*u = 7 + 11. Let o = r - 2. Is o a multiple of 8?
True
Let l be (-25)/(-2)*(-24)/(-30). Is (l/4 - 2)*62 a multiple of 14?
False
Let z(o) = o - 23. Let a(d) = 2*d - 47. Let l(x) = 3*a(x) - 7*z(x). Let r(v) = v - 3. Let t be r(3). Is l(t) a multiple of 10?
True
Let u = 48 + -32. Suppose u = a + a. Let h = a - -10. Is 12 a factor of h?
False
Suppose 0 = -4*t + 4*q - 0*q, 1 = -4*t + 5*q. Let p = 43 - t. Is p a multiple of 20?
False
Let v(h) = 4*h - 6. Let t be (-6)/(6/(-3))*1. Suppose t*c = 16 - 1. Is v(c) a multiple of 7?
True
Let z(w) = -6*w - 3. Let p(c) = -78*c - 39. Let f(a) = -2*p(a) + 27*z(a). Let b be f(-3). Let y = b - 10. Is y even?
False
Suppose 8 - 3 = n. Suppose 0 = -3*t + 2*m + 65, -2*m - 115 = -4*t - n*m. Suppose -b = -4*d - t - 2, -108 = -4*b + 5*d. Is 13 a factor of b?
False
Let u(f) = -f. Let p be u(0). Suppose -5*j + 18 = c + c, p = -2*c + j + 18. Is 3 a factor of c?
True
Let b(o) = o**3 + 4*o**2 + 4*o + 4. Let y(z) = -5*z**3 - 19*z**2 - 20*z - 20. Let p(c) = 11*b(c) + 2*y(c). Is p(-5) a multiple of 4?
False
Suppose -2*j = 1 - 5. Suppose 0 = 2*y - j, 2*t - 457 = -2*t - y. Is t a multiple of 29?
False
Let z(g) = g**3 + 3*g**2 - 3*g - 2. Let b be z(-4). Let d be 17 + (-5)/((-15)/b). Let k = d - 9. Does 6 divide k?
True
Let v(g) = 6*g - 15. Does 21 divide v(15)?
False
Is 12 a factor of 9/((-135)/(-1510)) - (-2)/6?
False
Suppose 9 + 6 = s. Does 4 divide s?
False
Let d(v) = -2*v - 10. Let z be d(-6). Suppose -3*s - 38 = -z*b - s, -3*s - 25 = -b. Is b a multiple of 5?
False
Suppose -o + 6 = -4*o. Let q be -2 - (o - -2) - -10. Is ((-45)/20)/((-3)/q) a multiple of 3?
True
Let i(d) be the second derivative of -d**5/20 + 6*d**2 - 2*d. Does 6 divide i(0)?
True
Let d = 74 - 52. Let f be (-12)/66 - (-48)/d. Suppose -2*o + 5*u = -0*o - 28, 3*u - 28 = -f*o. Does 14 divide o?
True
Let m be ((-20)/(-10))/(-1 + 2). Let c(o) = -o**3 + 2*o**2 + 2*o - 2. Is 2 a factor of c(m)?
True
Let c(b) = 26*b**2 - b - 1. Let n be c(-1). Suppose 0 = -s + 2 + n. Is 10 a factor of s?
False
Let b = 47 - 28. Let r = 47 - b. Does 17 divide r?
False
Suppose -5*i + 58 = -4*s, 3*s = -2*s - i - 58. Is 438/24 + 3/s a multiple of 12?
False
Suppose -f - 20 = f. Let x be 10/2*4/f. Is (x + (2 - 11))*-1 a multiple of 11?
True
Suppose 4*d - 12 = 2*q, -1 = q + 1. Is -94*(d/4 + -1) a multiple of 14?
False
Suppose -4*x = -z + x - 33, -3*z + x = 43. Let a = z + 57. Does 11 divide a?
True
Suppose -84 = -2*o + 30. Suppose -x = -1, o = -3*r - 2*x + 149. Is r a multiple of 19?
False
Let l = 3 - -2. Let s be (14/(-21))/((-2)/78). Let f = l + s. Is 11 a factor of f?
False
Let t(m) = m**3 + 6*m**2 + 5*m. Let k be t(-5). Let p = 6 + k. Does 3 divide p?
True
Let v(t) = 2*t**2 - t - 9. Is v(5) a multiple of 12?
True
Let y = -155 + 436. Let f = y + -674. Is 19 a factor of 4/14 + f/(-21)?
True
Let p = 47 + -33. Is 4 a factor of p?
False
Let x(j) = 4*j**2 - 1. Let q(r) = r**3 - 3*r**2 + r - 4. Let v be q(4). Let k be v/(-7) - (-2)/7. Does 15 divide x(k)?
True
Let v be (-84)/9*18/1. Does 7 divide v/(-20) + (-4)/10?
False
Suppose 12*r = 13*r - 144. Is 12 a factor of r?
True
Let l(c) = 4*c**2 + 12*c + 20. Let j(x) = x**2 + 4*x + 7. Let v(u) = -11*j(u) + 4*l(u). Let d be v(-2). Let b = -10 + d. Is b a multiple of 4?
False
Let l(j) = 10*j + 4*j + 16*j. Let w = 5 - 4. Does 15 divide l(w)?
True
Let s(p) = 34*p - 5. Is 16 a factor of s(2)?
False
Let t = -32 - -162. Is t a multiple of 14?
False
Let w = 1 + 4. Suppose -5*b = w*l - 30, -3*b + 3*l - 8*l = -12. Is 9 a factor of b?
True
Suppose -700 + 0 = -5*k. Is 28 a factor of k?
True
Suppose -3*m = 4*f + 31 - 127, 4*m = 3*f - 47. Suppose q - f - 4 = -4*t, -2*q - 15 = -5*t. Does 2 divide q?
False
Let q(v) = 29*v**2 - 2*v + 7. Let o be q(-5). Let a be (-2)/9 + o/18. Let s = a - 23. Is 9 a factor of s?
True
Let r(t) = -18*t + 1. Let l(d) = 19*d - 1. Let p(a) = -3*l(a) - 4*r(a). Let s(f) = f**3 - 3*f**2 + f + 3. Let x be s(2). Does 14 divide p(x)?
True
Suppose -3*q + c - 78 = -4*q, 0 = -2*q + 2*c + 152. Is ((4 - q) + -3)*-1 a multiple of 11?
False
Let p(k) = -12*k + 16. Is p(-5) a multiple of 38?
True
Let i = -35 - -59. Is -4 + 3 + 1 + i a multiple of 12?
True
Let d(i) = -i**3 + 2*i**2 + 4*i + 1. Let f be d(3). Suppose -2 = -f*h + 2. Is 2 a factor of 6 + (0 - h)*1?
False
Let d(f) = f**2 + 7*f - 13. Let k(i) = -2*i**2 - 4*i - 4. Let x be k(-3). Is 3 a factor of d(x)?
False
Does 23 divide -111*(5/3 - 2)?
False
Let n be ((-10)/(-3))/((-2)/(-3)). Let i = n - 3. Suppose 0*s = i*s - 36. Does 6 divide s?
True
Suppose -6*u + 0*u = -144. Let p = u - 19. Is p a multiple of 2?
False
Let o = 20 - 1. Let i = 48 - o. Does 8 divide i?
False
Let o = 728 + -519. Suppose -5*i = -o + 44. Does 11 divide i?
True
Suppose 27 = 4*l - 3*l + 3*u, 0 = 5*l - 5*u - 95. Suppose -2*t - l = -3*t. Let f = -13 + t. Is f a multiple of 3?
False
Let k = 17 - 11. Does 10 divide ((-69)/(-9))/(2/k)?
False
Let c(x) = -5*x. Let g be c(-1). Let z(y) = 12*y - 5. Does 29 divide z(g)?
False
Let b be (7/14)/(2/20). Let p = -6 + b. Is p/(-2) + (-27)/(-6) a multiple of 5?
True
Suppose 0 = 5*z - 0*z - 455. Let k = -65 + z. Is k a multiple of 12?
False
Suppose 144 = 32*i - 28*i. Is i a multiple of 12?
True
Suppose 3*t - 277 = 41. Does 20 divide t?
False
Let g be (-70)/(-2) - (-1 + -2). Let l(y) = y**3 + 3*y**2 + 3. Let d be l(-3). Suppose 28 = d*j - g. Is 11 a factor of j?
True
Let t = 197 + -135. Does 31 divide t?
True
Let y(v) = 4*v + 8. Let o(d) = -d + 1. Let p(i) = -4*o(i) + y(i). Does 22 divide p(5)?
True
Let g(c) = 2*c**2 + 4*c + 2. Let r(d) = -d**2. Let p be r(0). Let x = -4 + p. Is 9 a factor of g(x)?
True
Is (-1198)/(-6) + 116/87 a multiple of 32?
False
Let p = 9 + -6. Let f = p - -4. Is f a multiple of 7?
True
Suppose -k = -3*k + 4. Is 6 a factor of (2/5 - k)*-15?
True
Suppose -4*m + 7*m + 3*y = -222, 212 = -3*m - 5*y. Let g = -48 - m. Is g a multiple of 7?
False
Let f(u) = -u**2 - 10*u - 12. Let z be f(-8). Suppose 2*d = -2*d, -z*p = -d - 144. Is p a multiple of 18?
True
Let b be (-3 + 4)*(4 + -1). Let n = -6 - -11. Suppose -r + b*q + n = -2*q, 4*q = 0. Does 3 divide r?
False
Suppose 3*j + i = 14, -3*j + 0*i = -3*i + 6. Suppose -19 - j = -d. Suppose d = 2*z - z. Is z a multiple of 9?
False
Let m(y) = -13*y**2 - 2*y - 31. Let z(i) = 9*i**2 + i + 21. Let b(x) = -5*m(x) - 7*z(x). Is b(-6) a multiple of 18?
False
Let a(x) = x**3 - 11*x**2 + x + 8. Let z be a(11). Let g = -11 + z. Is g a multiple of 8?
True
Suppose 0*d - 144 = -3*d. Does 16 divide d?
True
Suppose -168 = -5*x - 2*f + 301, 3*f = 3*x - 294. Is x a multiple of 11?
False
Let u be (3/2)/(3/264). Suppose 6*j - 2*j - u = 0. Is j a multiple of 11?
True
Suppose 67 = 5*s - 3*k - 46, s - 18 = -4*k. Let q = 23 + s. Is 15 a factor of q?
True
Let l(u) = -7*u - 7. Let d be l(-6). Suppose -4*a - 2*j + 43 = -5*j, -3*a + 5*j = -d. Does 6 divide a?
False
Is 6/(18/105) + -3 a multiple of 8?
True
Let k be ((-12)/(-8))/(3/4). Suppose k*l + 2*l = 80. Does 17 divide l?
False
Suppose -2*n - 9 = -3*c, -2*c + 4 = -4*n - 2. Let t be 16 - n*3/6. Suppose -a + 3*j + 24 = 0, -3*a + t = 4*j + j. Is 8 a factor of a?
False
Let p(j) = 4*j**2 + 8*j + 3. Let w be p(-7). Suppose 5*d - 52 = w. Is d a multiple of 12?
False
Suppose -2*v - 14 = 2. Is ((-4)/v)/((-1)/(-4)) a multiple of 2?
True
Let h be 6/21 + 48/(-21). Let s(w) = -4*w - 3. Is 5 a factor of s(h)?
True
Suppose 0*t + t + 3*c - 8 = 0, -c = -2*t + 2. Suppose u + 4*u = d + 19, d + 10 = t*u. Suppose -u*y - 42 = -4*y. Is 15 a factor of y?
False
Suppose -3*m - 61 = -z - z, 3*m = 3. Suppose 2*p - 56 = 6*p. Let b = p + z. Does 9 divide b?
True
Let a(v) = v**2 + 11*v - 7. Let 