-5*z + 1923 = 2*d. Does 3 divide z?
False
Let i = -3 + 10. Suppose i*j = 4*j. Suppose -o - 5*g - 4 = -48, j = -3*o + 5*g + 112. Is 18 a factor of o?
False
Suppose 1527 - 7191 = -6*j. Is j a multiple of 8?
True
Let t(d) = -d**3 + 9*d**2 + 11*d + 23. Suppose -20 = -2*x - 0*x - 4*c, 5*x - 50 = -5*c. Does 11 divide t(x)?
True
Let n(g) = -g**3 + g**2 - 3*g + 3. Let j be n(4). Let o be (j + -2)*1 - 4. Is (-4298)/o + 2/(-9) a multiple of 29?
False
Let v be -3*(-6)/18 + 61. Let t = v + 23. Is 9 a factor of t?
False
Let x(p) = 2 + 2 - 1 - 2 + 10*p**2. Let r be x(-1). Suppose -6*q + r*q = 150. Does 8 divide q?
False
Let j be (-16)/(-10) - (-24)/(-40). Let s be (-10)/(j*1/(-8)). Suppose -s = -0*f - f. Is f a multiple of 22?
False
Suppose 133*r = 141*r - 448. Does 8 divide r?
True
Let v(x) = x**3 - 2*x**2 + 7*x - 4. Let r = 35 - 25. Let h = r + -6. Is v(h) a multiple of 25?
False
Suppose 2*z = -2*o + 8, 4*z + z = -o. Suppose 0 = o*c + 19 - 79. Does 6 divide c?
True
Let w(x) = -60*x + 220. Is w(-18) a multiple of 13?
True
Let c(n) = 31*n**2 + 3*n - 2. Let w be c(2). Let h = w - 56. Suppose 7*g - 3*g - h = 0. Does 9 divide g?
True
Does 43 divide (-12 + 7 - -2) + 400?
False
Let j = -24 - 0. Let o = 151 + j. Does 31 divide o?
False
Suppose -2*d - 6 = -3*k - 1, -3*d + 2 = 5*k. Suppose x - 5 = -k. Suppose 2*w - 2*g - 60 = 0, 0 = -2*g + 3*g - x. Does 17 divide w?
True
Suppose -910 = -11*c + 674. Is c a multiple of 18?
True
Let o = -1315 - -4846. Is 19 a factor of o?
False
Let q = -27 + 31. Is 0 + q + (-292)/(-4) a multiple of 11?
True
Let p(l) = -2*l. Let a be p(2). Let w be ((-2)/a)/((-3)/(-144)). Suppose w = -4*y + 5*y. Is y a multiple of 17?
False
Suppose n + 1410 = u, -43*n + 47*n = -5*u + 7032. Is 128 a factor of u?
True
Suppose 4*x - 21 = -b, 19*b - 16*b + 5*x = 35. Is 2 a factor of b?
False
Suppose l - 25 = -u + 1, -3*u + 90 = -l. Let n be 169/7 + 4/(-28). Suppose -26 - u = -2*h + i, -3*i + n = h. Is 9 a factor of h?
True
Let w = 423 + -318. Is 5 a factor of w?
True
Let c = 11 + -8. Suppose 3*t - 54 + c = 0. Suppose -19 = -2*g + t. Is g a multiple of 12?
False
Suppose 9*r - 11*r + 84 = 0. Let u = 82 - r. Does 14 divide u?
False
Let b be 1/(-4) + (-18)/(-8). Suppose 0 = -2*v + 3*v - 2*h - 90, 2*v = -b*h + 210. Is 10 a factor of v?
True
Suppose -5*p - d - 20 = 4*d, 8 = -2*p + 4*d. Let m(w) = w**3 - 4*w**2 - 4*w - 4. Let a be m(5). Is 10 a factor of (a - 3)/(p/64)?
False
Let j be 276/7 - 52/(-91). Suppose 14 + j = 3*y. Does 4 divide y?
False
Let w(t) = -144*t + 84. Does 12 divide w(-8)?
True
Let j(d) = -d**2 - 10*d - 9. Let t be j(-9). Let o(x) be the second derivative of -x**4/12 + x**3/6 + 24*x**2 - 2*x. Does 25 divide o(t)?
False
Let h = -11 + 27. Let q be (h/(-24))/((-1)/(-3)). Does 4 divide (2 + -3 + -1)*q?
True
Let h(w) = w**2 + 6*w + 3. Let k be h(-6). Suppose o + 15 - 105 = -5*d, -4*d + 226 = k*o. Is o a multiple of 10?
True
Let b(u) = -u + 7. Let k be b(3). Suppose l = -k*l + 30. Suppose 2*i = -5*f + 130 + 82, l = -3*f. Does 37 divide i?
True
Suppose a - 2 = 1. Suppose 6 = a*s - 0*s. Suppose -3*q = s*q + 5, -3*k - 3*q = -159. Is k a multiple of 18?
True
Let k be 4 + (-9)/3 + 2. Let f be k/(-5) + (-4695)/(-75). Let t = f - -32. Does 21 divide t?
False
Suppose -s - 4 = z, -2*s - 3*z - 13 = -0*z. Suppose 0*o + 4*v - 33 = -5*o, 2*v + s = o. Suppose -o*n = d - 4*d - 207, -4*d = -4*n + 164. Is n a multiple of 21?
True
Suppose -7*q = 2*q - 18. Suppose d + 104 = q*d. Does 30 divide d?
False
Let o be 36/(-18) - 126/(-1). Let a = o + -54. Does 35 divide a?
True
Let i be 3/(-12) - (-33)/4. Suppose j + 9 = -3*r + 22, 3*r = 4*j + i. Suppose 4*s = 14 + 2, -r*t + 64 = 2*s. Does 8 divide t?
False
Suppose 0 = 2*z + 2*h + 18, -8*z = -3*z - 2*h + 45. Suppose -d - 4*d = 70. Let u = z - d. Is u a multiple of 2?
False
Suppose -4*w = -1219 - 2517. Is 29 a factor of w?
False
Let n(f) = -133*f - 1. Is n(-1) a multiple of 4?
True
Let i = -351 + 384. Is 14 a factor of i?
False
Let v be -42*2*2/(-6). Suppose -25*g = -17*g - 368. Let u = v + g. Is 10 a factor of u?
False
Let i = 614 - 338. Is i a multiple of 23?
True
Suppose 2590 = 17*k + 210. Is 6 a factor of k?
False
Let z(p) = -p**3 + 14*p**2 + 14*p + 20. Let i be z(15). Is (i + -13)*114/(-4) a multiple of 39?
False
Suppose -2*u + 1320 = -2*l, -12*u + 7*u + 3300 = 2*l. Does 6 divide u?
True
Suppose 4*r + 540 = 5*v, -4*v - 432 = -8*v - 2*r. Is v a multiple of 12?
True
Let a be 2/(-7) - (708/(-28) - -5). Suppose -r - r = -2*t + a, -4*t - 5*r + 49 = 0. Is 2 a factor of t?
False
Let a(l) = -5*l + 8. Suppose -4*h = -5*j - 10, -21 = j + 2*h + h. Is a(j) a multiple of 10?
False
Suppose -21*d + 25480 = -7*d. Is d a multiple of 20?
True
Suppose -9 = -4*r - 17. Is (-24)/(-32)*r*1*-18 a multiple of 3?
True
Let u be (-1)/7 + 41/(-7). Is 7 a factor of (14/(-6))/(u/36)?
True
Let w = -5804 + 8198. Is w a multiple of 38?
True
Suppose -6*h - 170 = -11*h. Is h a multiple of 34?
True
Let r(p) = 10*p**3 - p**2 - 2*p - 1. Let i be r(-1). Let w = 26 - i. Suppose -w = -3*u - 0*u. Does 12 divide u?
True
Let m(f) = f**3 - 21*f**2 + 19*f + 2. Let s be m(20). Let x(w) = -w**2 - 29*w - 14. Is x(s) a multiple of 46?
True
Let v(i) = -i**3 + 12*i**2 - 8*i - 16. Let m be v(11). Suppose -31 = -4*d + m. Does 13 divide 510/d - 1/(-2)?
False
Suppose 991 + 2353 = 19*x. Is 12 a factor of x?
False
Let r(f) = f**3 + 4*f**2 - 3*f - 6. Let a be r(-4). Suppose -a*p + 475 = -p. Suppose -160 = -5*n + x, 2*n = -3*x - 31 + p. Does 16 divide n?
True
Let s = -19 - -15. Let i(p) = 4*p**2 + 6*p + 4. Is i(s) a multiple of 14?
False
Suppose -3*z = -8*z. Suppose z = -2*x - 2*x + 136. Is x a multiple of 17?
True
Suppose -3*m + 0*u - 2*u - 4 = 0, -m + 4*u = -22. Suppose b = m*z - 0*b - 69, z + b - 36 = 0. Is 7 a factor of z?
True
Let d(n) = -n**3 - 5*n**2 - 5*n + 4. Let c be d(-5). Suppose -3*p + 2*f - f + 68 = 0, p = -2*f + 11. Let v = c - p. Is 4 a factor of v?
True
Suppose -4*d + 59 = -161. Suppose d = -2*w + 7*w. Does 6 divide w?
False
Let z = 44 + -44. Does 18 divide ((-20)/(-3) - z)*108/8?
True
Suppose 2*m - a = 5*m - 75, 2*a = 3*m - 75. Is m a multiple of 21?
False
Let h be 6/(12/(-15) + 1). Suppose 0 = 4*u + 20, -4*q = -2*q - 3*u - 27. Does 22 divide (28/q)/(4/h)?
False
Suppose -4*t + 26 = 10. Suppose -t*r + 63 = -n - 152, -r = 3*n - 44. Does 13 divide r?
False
Let d(m) = 5*m**2 + 3*m + 3. Is 13 a factor of d(5)?
True
Suppose 6*v + 20 = 2*v, 4*v = 2*l + 64. Is 21 a factor of (-10 - 0)*l/5?
True
Suppose -3*n = -10*n. Suppose -w - 5*c + 2 = n, 0 = 2*w + w - c - 38. Suppose -15*p + 72 = -w*p. Is 8 a factor of p?
True
Let y = 1320 + -1018. Is y a multiple of 21?
False
Is 2 a factor of (130 - 131)*(-6 + 1)?
False
Suppose 5*k = 4*i - 0*i + 12, 4*k = 16. Suppose 162 = -i*a + 3*a. Suppose a = 4*d + 34. Is 16 a factor of d?
True
Let l be (1*-1)/(1/113). Let i be (-5)/(-10) - 321/(-2). Let n = i + l. Is n a multiple of 12?
True
Let i = -33 - 9. Let j = i + 103. Is j a multiple of 6?
False
Let q(z) = -z**3 + 5*z**2 - 4*z - 5. Let p be q(4). Is 4 a factor of 590/25 + (-2)/p?
True
Let c be (-126)/(-168)*(-904)/(-6). Let q = -73 + c. Is q a multiple of 20?
True
Let t = -2421 + 3893. Does 21 divide t?
False
Let q(p) = -25*p + 200. Let n be q(9). Let i(z) = 6*z**2 + z. Let v be i(-1). Let l = v - n. Is l a multiple of 18?
False
Suppose 4*s + 185 = 3*d + 2*s, 5*s = 3*d - 179. Does 21 divide d?
True
Let c = -1288 - -1838. Suppose 2*l = 7*l - c. Is 12 a factor of l?
False
Let j(g) = 3*g - 18 - 5*g - 2*g - g. Does 19 divide j(-16)?
False
Suppose 7*l = 3533 - 474. Is l a multiple of 17?
False
Let y be 1*(-2 - -1) - 0. Let c = y + -4. Let j = 8 + c. Is 2 a factor of j?
False
Let d be -9*(1/(-3) + 0). Suppose -118 + 571 = d*x. Is x a multiple of 22?
False
Suppose 2*m - 4 = 0, 4*y + m = -0 + 10. Suppose -6*t + 3*t - 12 = 0, t - 14 = -y*n. Is 2 a factor of n?
False
Is 7 + (-5 + -1 - -1302) a multiple of 86?
False
Suppose h + 5 = 13. Does 29 divide ((-18)/(-12))/(6/h) + 138?
False
Suppose 17*m = 12*m + 20. Suppose -m*r = -5*z + 574 + 642, 3*r + 252 = z. Suppose 0 = 6*q - 2*q - z. Does 15 divide q?
True
Suppose -11*g - 5465 = -5*q - 16*g, 3*q = 5*g + 3279. Is 6 a factor of q?
False
Let l(i) = -168*i. Let c be l(-1). Is 6 a factor of (c/49)/(2/7)?
True
Suppose 24*c = 28*c - 376. Suppose y + 0*y