-6*j + 3*j. Let n be r(j). Suppose -35 = -n*h + 1. Is 18 a factor of h?
True
Let a = -155 + 185. Is a a multiple of 28?
False
Let f be 12 + 1 + -2 + -2. Let q = 23 - f. Is 7 a factor of q?
True
Let d = 3 + 17. Is d a multiple of 10?
True
Suppose -x = x - 18. Let w = x + -4. Suppose 0*t - 12 = -w*b + t, 4*b = -4*t. Is b a multiple of 2?
True
Suppose 3*a = -2*r + 318, 3*r + 210 = 2*a + 5*r. Suppose 3*o - 84 = -5*p, -2*o - o + 3*p + a = 0. Is o a multiple of 12?
False
Let r = -5 - -4. Let y = r + 1. Suppose w + y*w = 11. Is w a multiple of 5?
False
Let w(m) = -22*m - 1. Is 19 a factor of w(-4)?
False
Let u(j) = 5*j**2 + 3*j - 5. Does 31 divide u(-5)?
False
Let z(u) = -16*u - 1 + u**2 + 16*u. Is 24 a factor of z(5)?
True
Let g be -2 + -7*(-2 - -4). Let d(j) = -2*j + 10. Is 21 a factor of d(g)?
True
Let v = 109 + -162. Let f = 96 + v. Does 16 divide f?
False
Is 18 a factor of 1*(106 + (-3 - (-1 + 1)))?
False
Is 952/12 - 4/(-6) a multiple of 7?
False
Let g(d) = -d + 24. Is g(20) a multiple of 3?
False
Let m(s) = s**2 - 3*s + 1. Let j be m(13). Let t = -76 + j. Is t a multiple of 12?
False
Suppose -81 + 237 = 2*l + 2*q, -3*l = -3*q - 252. Is l a multiple of 16?
False
Let n(b) = -b**3 - 9*b**2 - b - 6. Let z = 8 + -17. Let q be n(z). Suppose 2*v - q = 4*w + 25, -v - w = -23. Does 10 divide v?
True
Suppose r = 4*s + 10 + 10, 0 = 2*s. Suppose 5*z - r = -5*o, -3*o + 8 = -2*o + 3*z. Suppose 27 + 13 = o*w. Is w a multiple of 14?
False
Let l(j) = -j**3 - 6*j**2 + 10*j - 6. Is l(-8) a multiple of 3?
True
Suppose 6*j - 3*j = 78. Is j a multiple of 24?
False
Suppose 3*y = -2*w + 577, 2*w = -5*y - 14 + 969. Is y a multiple of 7?
True
Let w(m) = -m - 1 - 4*m**3 - 3*m**3 - 7*m**3 - m**2. Is w(-1) a multiple of 5?
False
Let d(n) = -n**2 - 13*n - 3. Does 7 divide d(-8)?
False
Let s = 245 - 168. Is s a multiple of 26?
False
Suppose 12 = -5*s + 6*s. Is s a multiple of 6?
True
Suppose 0 = 5*s - 2*w - 1101, -6*s + 2*s + 885 = -3*w. Is s a multiple of 50?
False
Let c = -20 + 29. Does 8 divide ((-40)/3)/(-5)*c?
True
Let m(d) = 11*d. Let y be m(1). Let s = y - 5. Is s a multiple of 3?
True
Let o = 196 + -180. Does 5 divide o?
False
Let q = 118 - 76. Is 18 a factor of q?
False
Let h(s) = 49*s**2 - 4*s. Let d(b) = 48*b**2 - 3*b. Let a(z) = 5*d(z) - 4*h(z). Does 20 divide a(1)?
False
Suppose 4*i = 3*i - 3*k - 1, 0 = -2*k. Let g be -1*1*4/i. Is (-248)/(-14) + g/14 a multiple of 6?
True
Let k = -1 - -3. Suppose v + k*n - 6*n - 55 = 0, -203 = -4*v - n. Suppose 4*r - 5*r + 3*z = -v, 3*r = 5*z + 145. Is 16 a factor of r?
False
Let s(y) be the second derivative of -10*y**3/3 + y. Let h be s(2). Is 15 a factor of (-1)/2*h*1?
False
Does 11 divide (-8)/10 - (-1776)/20?
True
Suppose o + 0*b - 4*b - 92 = 0, b + 219 = 2*o. Does 28 divide o?
True
Let g = 31 + -7. Is 12 a factor of g?
True
Let f be 165/(-10)*8/(-6). Let b = 10 + f. Is 32 a factor of b?
True
Suppose 0 = -2*y - 3*o + 1, -3*y + 8 = -2*o. Let h(r) = -17*r + 9. Let s(w) = 8*w - 4. Let j(k) = 2*h(k) + 5*s(k). Is 10 a factor of j(y)?
True
Suppose -n = -0*j - 4*j + 140, 3*j = -4*n + 105. Is j a multiple of 10?
False
Suppose 3*k - 3 = 2*k. Suppose 3*u - k = -0*u. Let c(o) = 59*o**2 - 2*o + 1. Is 23 a factor of c(u)?
False
Suppose 2*b + 0 - 52 = 0. Is 5 a factor of b?
False
Let z = 152 + -34. Is 22 a factor of z?
False
Let f = -1 + 0. Is 14 a factor of (2/4)/(f/(-64))?
False
Suppose -2*p = -5*j - 17, -4*j + 3*j - 7 = -4*p. Is 5 a factor of (3 + p)*(5 - 1)?
False
Let q = -4 + 21. Suppose 1 = b - l, -3*l - q = -5*b - 4. Is 108/b + 2/5 a multiple of 22?
True
Suppose 3*r + r - 48 = -c, 15 = 3*r. Is 14 a factor of c?
True
Let m be 3200/30 + 1/3. Let t = m - 56. Does 17 divide t?
True
Let t be -3 - 2/(-1) - -1. Suppose 4*m + 0*m - 68 = t. Does 6 divide m?
False
Let h = 175 + -93. Is 30 a factor of h?
False
Let j = 13 + 15. Is 10 a factor of j?
False
Let t(k) = k**3 + 6*k**2 + 6*k. Let o(d) = d - 1. Let c be o(3). Suppose -c*u - 5*p = 28, -4*u + p - 9 = 3. Does 8 divide t(u)?
True
Suppose -d = 4*t - 12 - 1, 0 = -d + t + 3. Let u be (-3 - -18)*2/d. Suppose -b + u = -44. Is b a multiple of 19?
False
Let s(z) = 33*z - 6. Does 20 divide s(2)?
True
Let n = -48 + 149. Suppose -5*c = -49 - n. Is 11 a factor of c?
False
Suppose 0 = -2*j - 0 + 4. Let t be (j/4)/(1/8). Is 5 a factor of 1/4 - (-35)/t?
False
Let g(p) = -9*p**2 + 2*p + 1. Let k be g(-1). Is 4 a factor of (-56)/k - (-2)/5?
False
Let q be 14/(-4)*(-4)/2. Suppose f = 2*f - q. Is f even?
False
Let w = -366 + 606. Is w a multiple of 30?
True
Let c = -216 - -317. Let x = -48 + c. Is 13 a factor of x?
False
Suppose 0*n = 5*n - 320. Let s = n - 38. Is 12 a factor of s?
False
Suppose -4*a - a + 20 = 0. Suppose -3*m + 63 = 3*q, -a*q + 5*m + 55 = -q. Is 5 a factor of q?
True
Let k(r) = r**2 + r. Let t(b) = -11*b + 5. Let l(v) = 4*k(v) + t(v). Let h be l(5). Suppose -4*u + h = u. Does 4 divide u?
False
Let r be 6/3 - 0/3. Suppose 0*z + 9 = j - r*z, -10 = 5*z. Suppose 0 = -0*q + j*q - 145. Does 26 divide q?
False
Suppose 2 = 3*m - 5*b, 0*m - 38 = 5*m + 2*b. Let z(o) = -20*o - 8. Let i be z(m). Suppose -k = k - i. Is 19 a factor of k?
False
Suppose 3*l + 96 = 3*o - 93, 0 = 4*l + 12. Is 15 a factor of o?
True
Is 4 a factor of 0/(-1) - 2 - -22?
True
Let b = 511 + -268. Suppose -145 = -2*a + b. Suppose -2 = 4*y - a. Does 24 divide y?
True
Suppose 5*j - 4*r - 169 = 0, -r + 47 = j + 6. Let d = j - 10. Is 22 a factor of d?
False
Suppose 0*n - 2*s + 12 = 5*n, -s = -1. Suppose -f = -0*f + n. Is 15 a factor of (8 - -4)*(-5)/f?
True
Let u(l) = -l - 5. Let m be u(0). Let n(o) = 3*o + 9. Let t(f) = 6*f + 19. Let d(c) = -5*n(c) + 2*t(c). Is d(m) a multiple of 8?
True
Suppose 2*y = -3*y. Let v(o) = o**2 + o + 21. Let j be v(0). Suppose y = -l + 2*l - j. Is 21 a factor of l?
True
Does 18 divide (-2)/10 + ((-2715)/25)/(-3)?
True
Is 44 a factor of 194 + ((-2)/3)/((-12)/(-18))?
False
Suppose k = j + 4, k + 4*j - j = 8. Let a be 4 - (-3)/(-1 + -2). Suppose -k*w - 5*b + 60 = 0, 2*b = -a*w + 4*b + 46. Is w a multiple of 7?
True
Let i = 23 - 15. Suppose 0 = -3*w + 2*w + i. Does 8 divide w?
True
Suppose 9 - 1 = -2*a. Let k = a + 1. Is (-1 + k)*(0 + -1) even?
True
Does 11 divide 198/(-24)*(-24)/9?
True
Let a(w) be the second derivative of 29*w**4/12 + w**3/3 - w**2/2 - 2*w. Let x be (-1 + 3 + -3)*-1. Does 15 divide a(x)?
True
Let q = -220 + 368. Is q a multiple of 26?
False
Let v = 3 - 6. Let j = v - 4. Let h = -3 - j. Is 2 a factor of h?
True
Is 20 a factor of (-13813)/(-95) + 6/10?
False
Let l(r) = -r**3 + r**2 + 2*r + 1. Let j be l(2). Let z(g) = 1 - 3*g**3 + 13*g**3 - 2*g**2 + 3*g**3. Does 8 divide z(j)?
False
Suppose 4*h + 5 = 5*h. Suppose h = -5*j, -5*j + 0*j = -5*g + 25. Does 6 divide g/6 - 34/(-3)?
True
Suppose 4*d - a - 892 = 0, 4*d + 2*a - 487 - 405 = 0. Is d a multiple of 36?
False
Let j = -7 + 9. Suppose 3*v - 7 = j. Does 2 divide v?
False
Suppose n = -2*f + 2, 0 = -0*n + 2*n. Let m be -9 - (f/1 + -2). Does 3 divide (-36)/m*(-4)/(-6)?
True
Suppose -6*k + 19 + 491 = 0. Does 10 divide k?
False
Let n = 0 - -74. Suppose 5*o - n = 26. Does 13 divide o?
False
Suppose -2*r + 74 = 26. Does 6 divide r?
True
Let m be (1 - 0)*(3 - 11). Let s(p) = p**3 + 8*p**2 - 12*p - 8. Let b be s(m). Suppose -b = -x - 34. Does 18 divide x?
True
Let m be -1 - (-9*2 - 2). Suppose -2*q + 23 + m = 0. Let c = 49 - q. Is 10 a factor of c?
False
Suppose -2*r - 3*w = -3*r + 7, -r + 2*w + 6 = 0. Let h = 461 - 251. Suppose -r*v - 42 = -h. Is 14 a factor of v?
True
Suppose -9 = -4*h + 55. Does 4 divide h?
True
Suppose 4*f - 131 - 125 = -4*d, f - 58 = 5*d. Is f a multiple of 21?
True
Let p = 8 + -6. Suppose 2*d = -a + p*a - 9, 0 = -2*a - 2*d - 6. Suppose -2*h + a = 2*z - 53, 20 = 5*z. Does 13 divide h?
False
Let j(q) = -q**3 + 11*q**2 - q - 18. Is j(9) a multiple of 27?
True
Suppose -3*x + 3 + 3 = 0. Let a(r) = r**3 + r**2 - r. Let u be a(-2). Does 11 divide (3 + (-138)/x)/u?
True
Suppose -5*h + 40 = 5*d, 2*h - 2 = -4*d + 4*h. Let u be 1 - (-219 + 3 + -4). Suppose 56 = j - w - 0*w, -u = -4*j + d*w. Does 19 divide j?
False
Let m = 69 + -37. Is m a multiple of 4?
True
Suppose -14 = -a + 2*u, -a + u + 34 = a. Is a a multiple of 6?
True
Let b(t) = -9*t - 35. Is 23 a factor of b(-7)?
False
Does 12 divide (-154)/4*(-5 - -3) - 1?
False
Let k(a) = -