 + 4. Does 3 divide (-9)/2*4/q?
True
Let h be ((-16)/6)/((-8)/12). Suppose 36 = -h*j + 204. Does 21 divide j?
True
Let q = -22 - -70. Is q a multiple of 3?
True
Let d = 1 - 0. Let c = 3 + d. Suppose -c*n + 12 + 48 = -3*o, 2*o + 10 = n. Does 6 divide n?
True
Suppose u = 3*t - 7, 3*t = 6 + 6. Suppose u*l = 860 - 0. Is 1/3 - l/(-6) a multiple of 12?
False
Let k = 6 - -13. Suppose k = 3*j - 116. Is 15 a factor of j?
True
Let x = -22 + 34. Is x a multiple of 4?
True
Let f(p) = -p**3 + 2*p**2 - p + 2. Let x be f(2). Let h be 2 + -1 + 1 - 2 - -3. Suppose x = -h*i + 39 + 15. Does 10 divide i?
False
Let d be ((-14)/(-8))/(4/16). Suppose 0 = f - 3*a - 21, 5*f - 4*a - 43 - d = 0. Is 6 a factor of f?
True
Let k(p) = 3*p + 1. Let q be k(7). Suppose -2*x + 5*x = 2*i - 9, 4*i + 2*x = -q. Is 7 a factor of i*(26/(-6) + -2)?
False
Let j = 27 - -113. Does 35 divide j?
True
Let z be 14/4 - (-4)/8. Suppose 3*n - 70 = -2*h, -40 = -2*n + z*h + 12. Is 12 a factor of n?
True
Is (-33)/(-22)*(-20)/(-3) a multiple of 10?
True
Suppose 2*p = 4*p - 32. Suppose -p = y - 3*y. Is y a multiple of 4?
True
Does 12 divide (-3)/(-1) - (-21)/1?
True
Let r be 3 + (-2 - (-2 - 0)). Suppose 0 = r*i - 5*z - 27, 101 - 16 = 5*i + 5*z. Is i a multiple of 7?
True
Suppose 0*h = h + n - 80, 3*n = -2*h + 160. Does 12 divide h?
False
Let v be 1/1 - 7/7. Suppose 0*r - 2*n = 3*r - 30, v = -3*r + 4*n + 48. Is 6 a factor of r?
True
Suppose h = -3*h + 16. Let x be h/8 - (-1)/2. Does 8 divide x + -1 + 36/2?
False
Let h = 77 - 26. Suppose -6*s = h - 219. Is 14 a factor of s?
True
Let p(v) = -v**3 - 6*v**2 - 2*v - 6. Is 4 a factor of p(-6)?
False
Let p(f) = 12*f - 1. Does 11 divide p(1)?
True
Suppose 8 = 3*o + o. Let b = 6 + -6. Suppose -o*y = -l + 29, y + y + 4 = b. Does 19 divide l?
False
Does 7 divide 7/((28/8)/7)?
True
Suppose 0 = -5*v - 172 - 28. Let r be ((-2)/5)/(2/(-20)). Does 5 divide r/(-6) - v/6?
False
Suppose -o = -5*c + 2*o + 44, c + 4*o = 18. Let p(l) = 4*l - 14. Does 20 divide p(c)?
False
Does 13 divide 41/(3 + -2) - 0?
False
Suppose -2*q + q = -2*b - 59, -2*q - 5*b = -82. Suppose 0 = -4*h + l + 69, 6*h - l = 3*h + q. Let f = h + -8. Is 10 a factor of f?
True
Let w be (2 - 0)*(-1)/2. Does 13 divide ((-1)/w + 0)*13?
True
Suppose 0 = 2*h - 3*d - 386, -7*d = 5*h - 3*d - 1011. Does 30 divide h?
False
Suppose -3 - 2 = 2*o + 5*y, 5*o = y + 1. Suppose o = 5*s - 20, -3*f + 8*f - s - 166 = 0. Is 12 a factor of f?
False
Let i(l) = -2*l**3 + 2*l**2 + 2*l + 1. Let n be i(-1). Suppose -n*d = -8*d + 70. Suppose o - d = 12. Is 13 a factor of o?
True
Suppose -4*b = 2*u - 24, -b + 1 = u - 4. Let w be b/2 + 2/4. Suppose -28 - 60 = -w*t. Is 11 a factor of t?
True
Suppose -u - 87 = -4*u. Suppose 3*i = -u + 116. Does 9 divide i?
False
Let z(s) = 2*s. Let v be z(2). Suppose -5*l + 11 = 4*t, v*t + l + 0 = 15. Is 9 a factor of (12/(-10))/(t/(-30))?
True
Suppose -5*c - 2*z = -144 + 54, 3*c = -3*z + 63. Is c a multiple of 4?
True
Let m(u) = 6*u + 1. Let d = 3 + 1. Is 25 a factor of m(d)?
True
Suppose 5*r + 30 = 405. Does 3 divide r?
True
Let u = 37 - 33. Let k(g) be the first derivative of g**2 - 1. Does 3 divide k(u)?
False
Let k(r) = 3*r. Let i be k(1). Suppose -2*o = i*o - 645. Let w = o + -88. Does 19 divide w?
False
Let s = -18 - -24. Is 6 a factor of s?
True
Suppose -3 = -f + 4. Is f a multiple of 4?
False
Suppose 0 = 4*t - 0 - 16. Suppose -3*u = -w - t*w, 0 = 4*u - w. Suppose u = c - 9 - 9. Does 18 divide c?
True
Let v = -59 - -110. Does 17 divide ((-8)/12)/((-2)/v)?
True
Suppose 4*j = 2*t - 16, -5*j = t - 0*t + 6. Is 4 a factor of t?
True
Suppose h - 4*h - 6 = 0. Does 16 divide (1/h)/(3/(-246))?
False
Let r(p) = 6*p. Is 4 a factor of r(2)?
True
Let b be 525 + 1 + (3 - 7). Suppose 5*h = b - 187. Is h a multiple of 14?
False
Suppose 2*z + 61 = 4*g + z, -g = -2*z - 17. Does 15 divide g?
True
Suppose -3*x - 5*o + 548 = 0, 4*x - 789 = -0*o + 5*o. Suppose 3*h - x = -5*f, -155 = -5*h + 5*f + 110. Is h a multiple of 19?
True
Suppose 3*x = 3*y - 21, 5*x + 17 - 81 = -4*y. Does 6 divide y?
False
Suppose 80 = -4*k + 2*l, -l + 80 = -4*k - 2*l. Does 9 divide 108/(-10)*k/8?
True
Let p = 152 - 108. Does 11 divide p?
True
Suppose -g = -2*g - 13. Let a = g - 2. Does 6 divide 2/10 + (-177)/a?
True
Let r(d) = -d**3 - 5*d**2 + 4*d + 3. Let p(n) = -5*n + 1. Let h be p(-1). Let z = -12 + h. Is 5 a factor of r(z)?
True
Is 10 a factor of 41/((-4 - -4) + 1)?
False
Let g(f) = -f**3 - f**2 - f + 43. Is 8 a factor of g(0)?
False
Let h = -17 - -28. Does 11 divide h?
True
Suppose -3*h = -2*h - 2. Suppose -4*p - h*s = -19 + 5, 3*p - 2*s = 7. Is 1/p + 58/6 a multiple of 4?
False
Let l = 8 - -1. Let b = l + 14. Is b a multiple of 15?
False
Let x = 13 + -8. Suppose 39 = x*w - 61. Does 10 divide w?
True
Let z = 1 - 5. Let d be (z + -1)*(-14)/5. Does 3 divide (2 + -4)/((-4)/d)?
False
Suppose 0 = p - 8*p + 1197. Is p a multiple of 19?
True
Let l = -64 - -88. Is l a multiple of 2?
True
Let z = 76 - 64. Is z a multiple of 6?
True
Suppose -i + 12 = i. Let u be (-136)/(-10) - i/(-15). Does 7 divide 200/u + (-2)/7?
True
Suppose 2*i - 1 = 4*b + 55, b + 27 = i. Is 13 a factor of i?
True
Let g(i) = i**3 - 6*i**2 - 6. Let b be g(6). Let d be (38/b)/(6/(-36)). Suppose k + d + 24 = 3*a, -3*k + 45 = 2*a. Does 21 divide a?
True
Let f be ((-18)/8)/((-6)/16). Let p(o) = o**3 - 3*o**2 - 8*o - 5. Let s be p(f). Suppose 6*q - s = q. Is 8 a factor of q?
False
Let b = 5 + 13. Suppose a + 0*a = b. Is 6 a factor of a?
True
Suppose 16 = s - 27. Let t = s + 57. Does 31 divide t?
False
Let c = -503 + 763. Does 29 divide c?
False
Does 12 divide (-3 + 5)/((-1)/(-18))?
True
Let l be (-34)/(-9) - (-6)/27. Suppose -2*r = 2*q - 8, -l*r - 5*q = -2 - 13. Does 5 divide r?
True
Let b(u) = -u**2 + 8*u. Let a(r) = 2*r**3 - 4*r**2 + 2*r. Let k be a(2). Is 16 a factor of b(k)?
True
Suppose 0 = -5*b + 7*n - 5*n + 40, 5*b + 2*n - 20 = 0. Let h = 18 + b. Is 9 a factor of h?
False
Let p = -209 + 350. Suppose 0 = -5*j + p - 31. Is j a multiple of 13?
False
Suppose -w - 12 = -4*w. Suppose t - 195 = -w*t. Is t a multiple of 13?
True
Is (-2 + -2 + -12)*243/(-18) a multiple of 12?
True
Let p = -17 + 41. Does 6 divide p?
True
Let b(t) = 0 + 5*t + 12 - 4*t + 6*t. Does 18 divide b(6)?
True
Let y(n) = -n + 10. Let f be y(7). Let i = f + 1. Suppose 20 = i*s - 24. Is s a multiple of 11?
True
Suppose -5 = -f - 1. Suppose f*g - 15 - 5 = 0, 3*g = -5*o + 25. Suppose 64 = 2*m + o*m. Does 8 divide m?
True
Let d be 0 - (-3 + 1 - 0). Let i be 7/(-2)*(d + -4). Suppose 3*u + 208 = 5*l, -5*l + 5*u - 108 = -i*l. Does 22 divide l?
True
Suppose 2*y + 3*y - 15 = 0. Let a(f) = f**3 - 6*f**2 - 5*f**3 + 6*f + 3*f**y. Is 3 a factor of a(-7)?
False
Let b = -54 - -114. Does 30 divide b?
True
Let u = -26 - -66. Does 10 divide u?
True
Suppose 3*m - 22 = -5*v, 9*m - 20 = -5*v + 4*m. Suppose v*y + s - 291 = 0, 0 = -3*y - 4*s + 222 - 61. Is y a multiple of 15?
False
Let u(k) = -k**2 - 6*k - 6. Let j be u(-4). Suppose j*f = -27 - 35. Let r = 45 + f. Is r a multiple of 12?
False
Does 2 divide (-192)/(-56)*7/2?
True
Suppose 0 = -3*a + 7*a - 316. Is a a multiple of 7?
False
Suppose -8*h + 295 + 1593 = 0. Is 35 a factor of h?
False
Let u = 124 + -99. Is u a multiple of 25?
True
Let z = 236 + -141. Is 22 a factor of z?
False
Suppose 5*g - j + 13 - 64 = 0, 0 = g + 5*j - 5. Is g a multiple of 3?
False
Let j(a) = -a**2 + 3*a + 5. Let w be j(4). Let u = w + 15. Is 16 a factor of u?
True
Let x = -5 + 47. Is x a multiple of 19?
False
Suppose -3*l - 78 = -4*r - 0*r, -l - 26 = 3*r. Let i = l - -36. Does 5 divide i?
True
Suppose -10*o + 8*o - 2 = 0. Is o/1 + 76/4 a multiple of 4?
False
Suppose -3*u = -v - 2593, -5*v + v + 3468 = 4*u. Is 17 a factor of u/25 - 3/5?
True
Suppose -5*n - 4*z = 52, -n + 5*z = -4*n - 39. Let g = n - -12. Is g a multiple of 4?
True
Let w(a) = a**2 - 9*a + 10. Let q be w(8). Suppose -7*y + 50 = -q*y. Is (12/(-15))/((-2)/y) a multiple of 3?
False
Suppose -2*y = -0*y + 14. Let s(g) = -g**3 - 6*g**2 + 6*g - 4. Let r be s(y). Suppose 0*k = k - r. Is k even?
False
Let a = -28 + 39. Let t be 2/a - 4/22. Suppose 2*z = -t*z + 22. Does 11 divide z?
True
Let i = 6 + -4. Suppose -3*n + i*n + 7 = 0. Is 3 a factor of n?
False
Let b = 11 + -6. Let j be (1 - -3)*b/(-2). Is j/(-25) - 106/(-10) a multiple of 11?
True
Let h(