+ 5*c + 17. Let v = 14 + c. Does 10 divide (-2 - v - -29)/1?
True
Suppose 5*m + 4*g = -2 - 18, -4*g + 12 = -3*m. Does 12 divide 47 + m/(-16)*4?
True
Let l = 228 - 119. Let f = l + -59. Is 46 a factor of f?
False
Let h = -461 - -498. Does 24 divide h?
False
Let u(v) = 43*v**2 - 7*v - 2. Let x be u(-3). Suppose -x - 174 = -5*s. Does 29 divide s?
True
Suppose 0 = 42*d - 16*d - 338. Is 5 a factor of d?
False
Suppose -7*c + 3 = -6*c. Suppose c*m - 28 = -m. Let p(t) = 3*t - 9. Does 4 divide p(m)?
True
Suppose 4*z = 6*z - 12. Suppose 3*l = -z + 15. Suppose 4*q + 0*q - l*u = 69, u = -q + 26. Does 5 divide q?
False
Let u = 38 + -34. Suppose -55 = -3*z - 5*m, -u*z - 2*m + 37 + 27 = 0. Is z a multiple of 3?
True
Let s(m) = 10*m + 10*m + m**2 + 7 - 7*m. Let i be s(-14). Let o = -14 + i. Is o a multiple of 4?
False
Let d = 13 - 10. Suppose -a - 25 = 5*r, -d*r + 14 = -5*a + 57. Let t(q) = q**2 + 2*q + 4. Does 22 divide t(r)?
False
Suppose 8*y - 1245 = -7*y. Is 27 a factor of y?
False
Is 8 a factor of 16/(-120) - 1204/(-30)?
True
Let h(n) = n**2 + n + 1. Let u be h(3). Is u + (-8)/(-4) + -2 a multiple of 13?
True
Let z = 57 + -69. Is 11 a factor of z/(-7)*(-5 + 12)?
False
Let a be (-10)/2*(-1 - 0). Let z(c) = 3 - 6*c + 149*c**2 - 291*c**2 + 150*c**2 - c**3. Is z(a) a multiple of 13?
False
Let n(r) = 3*r**2 - 8*r + 21. Let y be n(5). Suppose 0 = -4*j + 2*j + y. Does 14 divide j?
True
Let l(h) = 6*h + 2. Let r(y) = -y - 1. Let f(o) = 2*l(o) + 10*r(o). Let w be f(3). Suppose 94 = 2*q - 4*s, -s + 290 = 5*q - w*s. Does 35 divide q?
False
Suppose u = 4*i - 572, 7*u - 6*u = 2*i - 288. Is 28 a factor of i?
False
Let p(i) = -6*i - 3. Suppose 4 = 2*x, 2*x - 2 = 4*q - x. Let g = q + -4. Does 4 divide p(g)?
False
Suppose 0 = -3*f - 3, 5*l - 4*f = -f - 37. Let r be (-6)/l*(2 - -2). Suppose -j + 40 = 2*y + 4*j, y = r*j + 42. Is y a multiple of 8?
False
Let r(x) = x - 12. Let f(i) = -3*i + 41. Let b(m) = 3*f(m) + 8*r(m). Let o = -1 + 1. Is b(o) a multiple of 6?
False
Suppose -2*o = -3*o + 4. Suppose o = 3*c + j - 2, -5*j + 10 = -5*c. Let h = 8 - c. Is h a multiple of 3?
False
Suppose -4*u = -33 - 3. Is (27/6)/(u/6) a multiple of 3?
True
Let j = -1003 - -1473. Is j a multiple of 10?
True
Let t(r) = -19*r**3 - 15*r**2 - 2*r - 8. Is 5 a factor of t(-4)?
False
Suppose 0 = -3*s + 3*n + 5865 - 1815, s - 1353 = 2*n. Is 90 a factor of s?
False
Let p = -1399 + 1669. Is p a multiple of 30?
True
Let u(r) = 3 + 4 + 4*r + 8 + r**2. Does 15 divide u(11)?
True
Let h = -4 - -11. Suppose h*g - 5 = 6*g. Suppose 3*n - 2*t + 12 = 4*n, -n + 5 = -g*t. Does 3 divide n?
False
Suppose 0 = 3*c + 8*c - 308. Is 4 a factor of c?
True
Let w be 21*268/36 + 1/(-3). Suppose w = -11*u + 486. Is u a multiple of 15?
True
Let o = 37 - 16. Suppose 77 = j - 9. Suppose 67 = t + n, -o + j = t + 3*n. Is t a multiple of 34?
True
Suppose 0 = -5*t + y + 22, 2*t - 2*y = 17 - 5. Suppose -q = 0, -t*q = -4*o - o + 80. Suppose -o = -10*p + 8*p. Is 8 a factor of p?
True
Let x be (-4)/(-30) + (-2184)/180. Is (-780)/(-8)*(-40)/x a multiple of 12?
False
Suppose -6*l = -5*p - l + 65, 5*p = 4*l + 69. Let i = 15 + p. Is i a multiple of 12?
False
Suppose 1383 + 777 = 4*b. Is b a multiple of 68?
False
Let g be 5/4 - 1*12/(-16). Suppose -g*w + 0*i + 5*i = -141, -w = 3*i - 98. Is 33 a factor of w?
False
Let w(o) = -14*o + 7. Let q(p) = 71*p - 35. Let r(k) = 2*q(k) + 11*w(k). Suppose 4 = 3*v - 4*v. Is r(v) a multiple of 11?
True
Let d = 89 - 17. Suppose 6*i - 96 - d = 0. Suppose -3*w - 1 + i = 0. Does 3 divide w?
True
Does 127 divide 778*((-2)/(-12))/((-27)/(-891))?
False
Suppose -2*c - 3*c + 45 = 0. Suppose g + m = c + 49, -m + 114 = 2*g. Is g a multiple of 28?
True
Suppose 5*n - 3*p - 208 = 0, 3*n + 3*p - 119 = -p. Suppose 3*t - 49 = 5*r, t - r - n = -2*t. Is t a multiple of 7?
False
Suppose 4*q = -2*q + 882. Suppose 3*h = 75 + q. Is h a multiple of 11?
False
Let x be ((2 - 0)/(-6))/((-15)/(-45)). Let v(d) = -83*d + 4. Does 36 divide v(x)?
False
Suppose 14 = 4*n + 2. Let j be -4*2/(-8)*n. Suppose 0*r + 2*x - 53 = -j*r, -52 = -2*r + 2*x. Is r a multiple of 7?
True
Suppose -51*d = -40*d + 704. Suppose 0 = 3*v - 6, -b - 3*v = 2*v - 153. Let s = d + b. Is s a multiple of 14?
False
Let s(j) = 4*j**2 + 2*j + 1. Let d be s(-2). Suppose a + 5*i + d = -2, 0 = 5*a + 5*i - 5. Suppose 240 = -p + a*p. Is p a multiple of 15?
True
Suppose 0 = -6*n - 105 - 63. Is 4 a factor of 2/(-2)*n + 28/(-14)?
False
Suppose 2*p = 5*q + 189, p + 2*q - 86 + 14 = 0. Is p a multiple of 6?
False
Let t(c) = c**2 + 24*c - 46. Does 9 divide t(-29)?
True
Let d(c) = c**3 + 36*c**2 - 75*c + 114. Does 48 divide d(-38)?
False
Is 6/(-4)*3910/(-69) a multiple of 7?
False
Let b = 55 + -37. Does 18 divide b?
True
Let u(w) be the first derivative of 4*w**3/3 + 3*w**2/2 - 4. Let j be u(-2). Does 6 divide 3/(-2) - (-135)/j?
True
Let n = 11 + -13. Let y be 2/(2 - 1) - n. Suppose a - y*a = -15. Is a a multiple of 5?
True
Suppose -5*i - 3*h + 3816 + 7224 = 0, 5*h = -25. Is i a multiple of 100?
False
Let u(p) = p**2 - 18*p - 28. Let q be u(20). Is 6 a factor of (-24)/(-1)*9/q?
True
Is 7 a factor of 12/(-90) + ((-8742)/45)/(-2)?
False
Let m = -79 - -223. Is m a multiple of 16?
True
Suppose -w + 5*c + 77 = -34, 4*w - 2*c - 498 = 0. Suppose -5*z + 2*z + w = 0. Does 37 divide 2292/14 + 12/z?
False
Let x = -514 - -517. Suppose 0*u = 3*u - 18. Suppose -u*v + 162 = -x*v. Is 18 a factor of v?
True
Suppose 0*m = 3*m + 2*y - 19, -3*m - 4*y = -29. Suppose m*d = 2*d - 2*b - 1, -10 = 5*b. Suppose -3*c = 0, d*c + 7 + 2 = k. Is k a multiple of 5?
False
Suppose -3*n - 4*s + 54 = 0, -3*n - s - 4*s = -57. Suppose -2*a = n - 64. Is 25 a factor of a?
True
Let z = 187 + -112. Does 2 divide z?
False
Let p = -54 - -100. Suppose 0 = t - 3*t + p. Let s = t + -8. Is 14 a factor of s?
False
Suppose -3*h = -h - 1930. Is h a multiple of 27?
False
Let z = 138 - 203. Let w = -34 - z. Is 9 a factor of w?
False
Let j be -17 + 24 + (-1 - (0 - 0)). Suppose 5*s = -2*z - 0*z + 16, 0 = 2*z - s - 40. Let c = z - j. Is c a multiple of 5?
False
Is (-1 - ((-1)/3 - 0))*-252 a multiple of 4?
True
Is -48*((-237)/63 + (-44)/77) a multiple of 2?
True
Let b(m) = -m**3 + 2*m**2 - 3*m + 2. Let c be b(3). Is 32 a factor of 96/c*(-16)/1?
True
Suppose 4*n + 20 = 4. Let u(g) = -g - 2. Let z be u(n). Suppose z*j - 34 = 44. Is 13 a factor of j?
True
Let z(a) = a**3 - 19*a**2 + 19*a + 4. Let d be z(19). Suppose -4*r - 2*v = -632, 57 = -2*r + 3*v + d. Is 31 a factor of r?
False
Is (24/4 - 10) + -2 + 71 a multiple of 5?
True
Let w be (-16)/128 + 703/(-8). Is 20 a factor of (w/(-28) + -4)/(1/(-140))?
True
Let k = -59 - -35. Let d(t) = 13*t + 88. Let y be d(-3). Let f = y + k. Does 6 divide f?
False
Let l(z) = -z**2 - 3*z + 8. Let j be l(-6). Let g = 33 - j. Let b = g - 23. Is 5 a factor of b?
True
Let t(j) = -26*j + 10. Does 18 divide t(-10)?
True
Let l(k) = -k**2 - 6*k - 1. Let o be l(-6). Let a(r) = -4*r**2 + 1. Let b be a(o). Let u(x) = 12*x**2 + 2*x + 1. Is 12 a factor of u(b)?
False
Suppose -125 = -2*l + 211. Let u = 304 - l. Is u a multiple of 17?
True
Suppose 0 = l - 14 + 12. Let k = -13 + 6. Is l*k*(-2)/4 a multiple of 2?
False
Let n = -7 - -7. Suppose -2*m - j + 23 = n, -3*j = 5*m - 30 - 27. Is 4 a factor of m?
True
Is 5 a factor of ((-143)/(-286))/(1/44)?
False
Let w be 1 - -17*(0 - -1). Let v be 454/18 - 4/w. Let s = v - 2. Does 23 divide s?
True
Let j = -140 - -182. Suppose -h = -5 - j. Does 15 divide h?
False
Let n = 407 + -365. Does 2 divide n?
True
Let l = 113 - 111. Suppose -4*p + p + l*k + 293 = 0, 305 = 3*p - 5*k. Is p a multiple of 12?
False
Suppose 5*o - z = 103, 5*z - 12 = -5*o + 103. Suppose g = -4*n + o, n + n + 2*g = 12. Suppose 135 = 5*m - n*s, -3*s - 83 - 24 = -4*m. Does 16 divide m?
False
Let b(g) = -g**3 - g**2 - 3*g + 75. Let v = -44 - -44. Is 5 a factor of b(v)?
True
Suppose 2*q + 0 = 4*z + 8, -5*q = 3*z - 20. Suppose -o = -3*p - 45 + 144, -q*p - 5*o + 113 = 0. Is 2 a factor of p?
True
Let q(d) = 2*d**2 + 29*d + 17. Does 11 divide q(-16)?
False
Suppose 0 = 3*w + 2*g + 197 - 1086, -3*g + 294 = w. Is 11 a factor of w?
True
Suppose -15*z + 10*z + 1130 = 0. Suppose 3*y + 88 = z. Suppose 178 - y = 2*p. Is 11 a factor of p?
True
Let v be (5/10)/((-2)/(-12)). Suppose 2*u = m - v*m + 16, 5*u - 4*m + 5 = 0. Suppose u