 72 = -p. Is p a multiple of 12?
True
Let r = 4048 + -2649. Suppose -4*h - 431 + r = 0. Suppose -o = -3*o + 4, -5*j = o - h. Is j a multiple of 16?
True
Let r(o) = 18*o - 18. Is r(8) a multiple of 15?
False
Let j(t) = 2*t**2 + 10*t. Let g be ((-9)/(-6))/((-2)/(-4)). Suppose g*o + 21 = -0. Is 21 a factor of j(o)?
False
Let v(y) = y**2 + 9*y + 9. Let a be v(-8). Does 13 divide (-3 - -2)/a + 27?
True
Suppose -5*f = -7 - 8. Suppose q = 2, 4*q - 48 + 7 = -f*a. Is a a multiple of 6?
False
Suppose 0 = -3*j - 3 + 12. Let i(u) = 2*u**2 - 2*u - 3. Is 9 a factor of i(j)?
True
Let a(q) = -5*q**3 + 3*q**2 - 2. Let i be a(-2). Suppose 0 = 3*u + 3*x - 6, -2*u = -x - 2*x - 19. Suppose 0*z = -u*z + i. Does 6 divide z?
False
Let h be -1 - ((-1 - -1) + -43). Suppose 3*j = 4*m + 67, -h = -0*j - 2*j + 2*m. Does 13 divide j?
False
Suppose 5*d + 4*i - 31 = 0, 4*d + 2*i = d + 17. Suppose -5*a + 1 = -3*h, -d*h = -h + 5*a - 41. Let t(j) = -j**3 + 8*j**2 + 3*j + 10. Is t(h) a multiple of 14?
False
Suppose -3*m - 43 = 5*o, -5*o - 2*m - 36 = -o. Suppose 0 = 4*z + 5*y - 60, 5*z - 4*z - 32 = 3*y. Let h = o + z. Is 7 a factor of h?
False
Let g = 311 - 217. Does 23 divide g?
False
Let m(r) = -3*r**3 + 0*r**3 + 3 - 4. Let y be m(-1). Suppose -3*g = 4*a - 19, 0 = y*a + 3 + 7. Is 13 a factor of g?
True
Let h be 16/(-24) - 20/6. Is (-3)/h - 1001/(-52) a multiple of 20?
True
Does 10 divide 1 + 109 + 16/4?
False
Let w be (1 - -1)/((-2)/(-4)). Suppose -w*r = r + 5. Is 25 + -4*r/2 a multiple of 11?
False
Is (2 - (-146 + 0)) + -4 a multiple of 33?
False
Let t be -1 - (25 - (-1 - 1)). Is -2 - -3 - t - 0 a multiple of 13?
False
Let t be -2 + -43 + (1 - 0). Let p = t + 31. Let z = p + 23. Is z a multiple of 7?
False
Suppose 0 = h + 5, 760 = p + 2*p - 5*h. Let y = p + -99. Suppose 5*v = -j + y, j + 3 = -1. Is v a multiple of 15?
True
Let o = 27 + 159. Is 19 a factor of (-2)/(-5) + o/10?
True
Let w = 7 + -20. Let d = -7 - w. Suppose -3*z = -d*z - 9, 3*u - 33 = 3*z. Is 4 a factor of u?
True
Let n be 3 - (0 - -1)*-19. Suppose h + i = n, 2*h + i - 2*i = 38. Is 4 a factor of h?
True
Suppose -t - 3 = -2*t. Is 8 a factor of 16*(-2)/(t - 5)?
True
Let k(r) = r - 2. Let z be k(5). Suppose 0 = -2*c - y - z*y + 72, -5*c = 2*y - 140. Is c a multiple of 13?
True
Let c = 0 + 2. Let w be (-1)/c*2*-2. Suppose -k + 29 = -w*y, k - y - 8 = 16. Is k a multiple of 12?
False
Suppose 5*j = 5*l - 3*l - 256, 0 = -2*j. Does 24 divide l?
False
Let p(x) = x**2 + 6*x - 10. Let r be p(-8). Suppose -3*d = -2*d + r. Does 17 divide 2*1*(-93)/d?
False
Suppose 133 = -5*g + 13. Suppose -i + 2 = 1. Does 6 divide i*2/(-4)*g?
True
Let l be 3/(0 + (-1)/13). Let d = -24 - l. Is 5 a factor of d?
True
Suppose -h + 6 = 4*p, -4*p - 1 + 17 = -4*h. Let i = p - 0. Is i a multiple of 2?
True
Suppose 3*f + 14 = -1, -2*a = -4*f - 88. Let s = a - 14. Is 5 a factor of s?
True
Let i be 96/3 - 0 - -1. Let c = 21 + i. Is 25 a factor of c?
False
Suppose -5*r = 4*g - 5*g - 28, -2*g + 22 = 3*r. Let p be -6*(105/(-2))/7. Is ((-8)/(-6))/(r/p) a multiple of 10?
True
Suppose 0 = 2*x - 20 - 166. Suppose -x = -3*j + 36. Let o = j - 21. Is 14 a factor of o?
False
Is (-3 - 21*-3)/1 a multiple of 10?
True
Let y = 4 - 5. Is ((-36)/y + -4)*3 a multiple of 32?
True
Let x = 49 - 10. Does 6 divide x?
False
Suppose -81 = -4*q + 31. Let v = 16 + q. Let w = v - 29. Is 7 a factor of w?
False
Let i(o) = -o**3 + 7*o**2 - 6*o + 4. Does 14 divide i(4)?
True
Suppose -42*n = -40*n - 96. Is 6 a factor of n?
True
Suppose -6*w = -w. Suppose -z - 4*z = w. Suppose -47 = -o + 2*l, -5*o + 5*l - 2*l + 207 = z. Is 14 a factor of o?
False
Let w = 2 - -8. Suppose w = -2*z + 38. Let x = 8 + z. Does 11 divide x?
True
Let r be 1/4 + (-75)/(-20). Is (-460)/(-25) + r/(-10) a multiple of 6?
True
Let u(z) = -3*z**3 + 2*z**2. Let o be u(3). Let j = -58 - -150. Let a = o + j. Is a a multiple of 10?
False
Suppose 5*i - 194 = -3*t, -5*i + 3*t = -t - 173. Is i a multiple of 7?
False
Is 7 a factor of (-1043)/(-21) - (10/6 + -2)?
False
Let c(d) = d**3 - 4*d**2 - 2*d. Let s be c(4). Let m(v) = -v**3 - 9*v**2 - 11*v + 6. Does 9 divide m(s)?
False
Suppose 2*b = 3*b - 4. Suppose -x - h = -b*x - 1, 3*x - 4 = -4*h. Suppose x = -4*k - k + 45. Does 9 divide k?
True
Is 4 a factor of (-5)/(2 - (-15)/(-6))?
False
Let l(a) = -5*a + 13. Let t be l(-9). Suppose 193 = 5*x + t. Is x a multiple of 27?
True
Let s(l) = -l**3 + 4*l**2 + 2*l. Is s(4) a multiple of 2?
True
Let l(z) = -z**3 + 2*z**2 - 1. Is l(-3) a multiple of 16?
False
Suppose 5*p = -3*d + 68, 2*d - d - 5*p = 16. Suppose -d - 9 = -3*j. Is j a multiple of 8?
False
Suppose 5*r = -0*r + 25. Suppose u - 3*v = -v + 49, 5*u = r*v + 235. Is 13 a factor of u?
False
Let m(w) = w**3 - 7*w**2 + w. Let s be m(7). Let z = 22 - s. Does 5 divide z?
True
Let n(u) = u**2 + 2*u. Let p be n(-3). Suppose -2*y = -3*f + y + 69, -p*f + 61 = -5*y. Does 9 divide f?
True
Is 1/6 - 1110/(-36) a multiple of 21?
False
Let a be (-1)/2*(0 - 0). Suppose 2*l + a*l - 63 = -3*v, -v + 22 = l. Is v a multiple of 16?
False
Let b(m) = m**3 - 7*m**2 + 7*m - 1. Let j be b(6). Suppose 1 = -u - 0. Let f = u + j. Is 4 a factor of f?
True
Let s(k) = k**2 - 4*k + 4. Let b = 4 + 0. Let q be s(b). Is 2 a factor of (-38)/(-14) + q/14?
False
Suppose m - 14 = -2. Is m a multiple of 12?
True
Let y be (1 + 5/(-2))*2. Let c be -5*(0 - (-3)/y). Let p(z) = z**3 - 5*z**2 + 3*z + 7. Is 12 a factor of p(c)?
False
Is (-44)/(-33) + 1*292/6 a multiple of 25?
True
Let q = 64 + -89. Let b = -8 - q. Does 17 divide b?
True
Let y be 0/3 + 0 + -10. Is y/(-4)*(6 + -2) a multiple of 10?
True
Suppose 0*f - 10 = -5*f. Suppose 2*w = 3*j + 4, -w - 2*j + 19 = 2*w. Suppose w*k - f*g - 70 = 0, 5*g - g + 28 = 3*k. Does 7 divide k?
False
Suppose -d + 140 = 6*d. Is 4 a factor of d?
True
Suppose p + 2 = 37. Is 4 a factor of p?
False
Does 8 divide 72*1/(-3)*-2?
True
Let u(o) = -o**3 + 2*o**2 + 2*o. Let g be u(2). Let y be -3 + 1/(-2)*-16. Suppose -g*c = -y*c + 17. Is 10 a factor of c?
False
Suppose -3*w + 4*c = -39, -7*w + 3*w + 52 = c. Suppose w = u - 8. Is u a multiple of 7?
True
Let k = -198 + 404. Suppose 4*j - 5*w - k = -8, -w + 262 = 5*j. Is j a multiple of 13?
True
Let n(w) = w**2 + 1. Let k be n(0). Let p(a) = 2*a + a + a + 1. Does 5 divide p(k)?
True
Let v be (-24)/(-9)*(-246)/(-8). Let w be (v - -2)*6/9. Suppose -4 + w = 2*x. Is x a multiple of 13?
True
Let m = -18 - -24. Does 9 divide (-500)/(-24) + 1/m?
False
Suppose -31 - 5 = -4*v. Suppose 2 = 2*c + 10. Is c/18 + 83/v a multiple of 4?
False
Let j be (5/(-2))/((-3)/(-6)). Let u(g) = -5*g + 5. Is 15 a factor of u(j)?
True
Let i be 6/27 - (-788)/18. Let d = i - 26. Let m = d + -11. Is m a multiple of 7?
True
Let c(d) = -d**2 - 12*d - 2. Let j be 0 + 0 - (4 + -6). Suppose 3*l = -5*i - 20, 2*i + 12 = -2*l - j*i. Is c(l) a multiple of 5?
False
Let z(v) = -v**3 - 8*v**2 - 7*v - 6. Let y be z(-7). Let q = 10 + y. Suppose -2*o = q - 42. Is 11 a factor of o?
False
Let l(j) = 10*j**2 - j**3 - 3 + 15*j - j + 2*j - 3*j. Is l(11) a multiple of 19?
True
Suppose -4*y = -3*y - 4, 0 = -q + 2*y + 79. Is q a multiple of 10?
False
Let u be (-35)/(-10) + 2/(-4). Suppose u = 2*q - 5*l - 3, 4*q - 5*l = 12. Suppose 4*g - a - 102 = -q*a, -12 = 4*a. Does 12 divide g?
False
Suppose 0 = 3*u + 4*s - 324, 113 = -0*u + u + 3*s. Suppose 5*o + 4*v - 236 = -60, -3*o - 4*v = -u. Does 18 divide o?
True
Suppose -3*o + 35 = -b + 5*b, 2 = b. Does 3 divide o?
True
Suppose -135 = 2*c + 5*n, -5*c - 4*n - 189 = 191. Let b be c*(0 + (-2)/(-5)). Let s = b + 45. Is s a multiple of 9?
False
Let g = 1 + -1. Let m = 9 - g. Is 2 a factor of m?
False
Let h = -4 + 23. Is 6 a factor of h?
False
Let r(x) = -x**2 + 18*x + 16. Is r(14) a multiple of 15?
False
Is 19 a factor of (-59 - -2)/((-1)/1)?
True
Let t(m) = -2*m - 1. Is t(-3) a multiple of 5?
True
Let o = -14 + 17. Let b(y) = 7*y**2 - 4*y + 5. Is b(o) a multiple of 14?
True
Suppose c + 4 = 3*c. Let j(q) = 2*q - 2*q**c + 8 + 2*q**2 + q**2 - q. Does 19 divide j(-6)?
True
Let d = -15 + 19. Is d a multiple of 2?
True
Suppose 4*r = -0*r. Suppose r*s = 2*s - 10. Suppose -5*x + 4*d + 30 = -d, -s*x + d + 30 = 0. Is 5 a factor of x?
False
Let n(r) = -r**2 - 8*r - 7. Let t be n(-7). Suppose 4*o + 44 = 2*a - t*o, -a + 21 = -o. Is 6 a factor of a?
False
Let g = 30 + -14. Let 