Suppose 0 = -17*h + 15*h + d. Is 18 a factor of h?
False
Does 12 divide -35 + 42 - (-1136 - 1)?
False
Let s(t) = t**2 + 6*t - 5. Suppose 3*d - 18 = -3*h, 2*d - d = 2*h. Suppose 5 = d*b - 11. Is 17 a factor of s(b)?
False
Let h(z) = 474*z**2 - 2*z - 2. Suppose -n - t + 4 = 0, -4*t = -6*t + 10. Let a be h(n). Is a/10 + 6/(-15) a multiple of 8?
False
Suppose x + 4*j = 416, -4*x + j + 1690 = 4*j. Is 4 a factor of x?
True
Let o(s) = -497*s + 35. Is 109 a factor of o(-3)?
True
Let b(p) = -p**3 + 7*p**2 + 11*p - 18. Let j be b(8). Suppose 0 = 4*a, -5*k - j*a + 425 = -5*a. Does 17 divide k?
True
Let z = 407 - 295. Does 14 divide z?
True
Let b be ((-27)/(-6))/(3/(-12)). Does 26 divide (-412)/(-2) - (-3)/((-27)/b)?
True
Let p = 37 - 33. Is 29 a factor of 1*p + (40 - -3)?
False
Let b be 1 + (8 - 2)/2. Suppose -3*m = -13 + b. Suppose 67 = -m*w + 208. Does 15 divide w?
False
Let q(f) = 322*f**2 + 5*f - 9. Is q(1) a multiple of 22?
False
Let n = -2560 - -2805. Is n a multiple of 35?
True
Let q be (0 - (0 - 2)) + 2. Suppose -q*t - 4*l + 9 = -19, 3*t = 2*l + 36. Suppose -610 = -t*s + 5*s. Does 33 divide s?
False
Let l(h) = 15*h + 87. Is 23 a factor of l(13)?
False
Let o be 11/4 + 2/8. Suppose 0 = 2*u + o*u. Let m(l) = -l**3 - l**2 - l + 41. Is 19 a factor of m(u)?
False
Suppose -4*x + 2*y = -1072, -3*y + 239 + 297 = 2*x. Is 2 a factor of x?
True
Let c = 1620 - 801. Is 117 a factor of c?
True
Suppose -12 = -2*q - 2*f, f + 3 = 5*q - 3*f. Suppose 2*l = -4*n + 4, q*l + 3 = 3*n + 18. Does 2 divide l*1/4*3?
False
Suppose -5*u + 4*b = -1565 - 607, 3*b = 3*u - 1305. Is u a multiple of 18?
True
Let o = 2476 - 1937. Is 49 a factor of o?
True
Let c = -33 - -53. Is 14 a factor of 63*(-1 - c/(-12))?
True
Let p be 0 + (-4 - 0 - -6). Let m = -8 + 11. Suppose -p = m*a - 86. Is 14 a factor of a?
True
Suppose 0 = 22*o - 21*o - 5. Let f(a) = 74*a + 2. Let r be f(2). Suppose -o*q = -5*t - r, 2*q + q + 5*t = 98. Is 21 a factor of q?
False
Let b(m) = -153*m + 495. Is b(-12) a multiple of 21?
True
Let m(x) = 17 - x + 20 - 42 + 39. Does 14 divide m(-17)?
False
Suppose 0 = 2*f - 35 - 859. Does 24 divide f?
False
Let l = 3 + 5. Let i(p) = 0 - 1 + 2 + p + 0. Is 3 a factor of i(l)?
True
Suppose -2*f + 2 = 12. Let b(g) = g**3 - g - 1. Let y(l) = 6*l**3 + 4*l**2 - 5*l. Let q(u) = 5*b(u) - y(u). Does 4 divide q(f)?
True
Let z be (-1 - -9) + 0 + -3. Suppose -2*x = z*r - 20, 4*x - 2*r - 28 = -6*r. Suppose -80 = -0*b - x*b. Is 16 a factor of b?
True
Let t = -92 + -65. Let o = -62 - t. Is 19 a factor of o?
True
Let x(v) = -v**2 - 2*v + 7. Let s be x(3). Let u be (-8)/10 + s/40. Let o(m) = 12*m**2. Does 12 divide o(u)?
True
Let r = -20 - 1. Let y = r + 26. Suppose 81 = y*j - 69. Is 15 a factor of j?
True
Let j be ((-3)/(6/8))/(60/1020). Let n = j + 100. Is 8 a factor of n?
True
Suppose 11*f - 4320 = 1224. Is f a multiple of 24?
True
Suppose -4*o = 2*g - 992, -7*g + 3*g + 4*o + 1984 = 0. Does 31 divide g?
True
Let i = -8 + 9. Let l(y) = -44*y**2 + y - 1. Let x be l(i). Let f = x + 94. Does 10 divide f?
True
Suppose -2*h = -4*o + 8*o - 1930, 10 = 2*h. Is 20 a factor of o?
True
Let a = -73 + 122. Suppose 0 = 3*h - 23 - a. Is 3 a factor of h?
True
Does 22 divide (-11)/(-66) + (-23754)/(-36)?
True
Is 41 a factor of (1/((-3)/(-615)))/(33/66)?
True
Let f be 6 + -3 - 3*-6. Suppose -2*a = a + 4*s - f, a = -5*s + 7. Suppose a*t - 180 = 2*t. Is 9 a factor of t?
True
Suppose -o = o + 4*h + 20, -h = -4*o - 49. Let j(k) = -k**3 + k**2 + k - 5. Let w be j(3). Is 5 a factor of 15*w/o - -3?
False
Suppose 2212 = 4*n + 4*j, -7*n + 9*n + j - 1102 = 0. Does 10 divide n?
False
Suppose -3*b + 300 = -3*z, z - 6*z - 482 = 4*b. Let t = 102 - z. Is t a multiple of 25?
True
Let m = 16 - 24. Let q = -5 - m. Is 465/25 - q/5 a multiple of 6?
True
Let l(f) = 4*f**3 + 3*f**2 + 6*f - 15. Let d(k) = 5*k**3 + 4*k**2 + 7*k - 14. Let g = -2 - -7. Let s(z) = g*d(z) - 6*l(z). Is 3 a factor of s(0)?
False
Let v(i) = -i**2 + 10*i. Let y be v(10). Suppose -3*n + 6 + y = -2*d, 0 = -5*d - 15. Suppose -3*z + 70 = 5*f, -z + n*f + 26 = 3*f. Is z a multiple of 11?
False
Suppose -3*r + 5*d = -1055, 8*d + 2 = 6*d. Is r a multiple of 12?
False
Is (-3242)/(-9)*(108 - 99) a multiple of 49?
False
Let n = 47 + -44. Is (-1)/(-4)*-27*(-16)/n a multiple of 12?
True
Let i = 433 - -260. Is i a multiple of 13?
False
Let l(v) = -v**3 - 47*v**2 + 41*v + 60. Does 11 divide l(-48)?
True
Let v = 6 + 0. Suppose -22 - v = -2*y. Suppose -n + y = -0*n - 5*l, -55 = -2*n + l. Is n a multiple of 7?
False
Suppose -4851 = -16*x - 5*x. Is 33 a factor of x?
True
Suppose 15*j - 12*j + 9 = 0. Is 45/j*(2 + -3) a multiple of 8?
False
Let x = 9 - -25. Let m = x - 72. Let b = -16 - m. Is 22 a factor of b?
True
Let c = 840 + -221. Does 10 divide c?
False
Let u = -86 - -86. Suppose 6*k - 13*k + 105 = u. Is 15 a factor of k?
True
Let i(n) = n**2 - n + 6. Let b be i(4). Let p be ((-22)/(-33))/(4/b). Is 10 a factor of (-456)/(-9) + (-2)/p?
True
Let r = -1210 + 2964. Is 118 a factor of r?
False
Suppose -67*x = -79*x + 420. Is 12 a factor of x?
False
Suppose 2*g - 10*r + 13*r - 1063 = 0, -r = -5*g + 2615. Is g a multiple of 9?
False
Let k = 1792 - 1019. Is k a multiple of 32?
False
Suppose 4*v = -0*v + 3*t + 723, 0 = v - 4*t - 171. Does 19 divide v?
False
Let m = 389 - 553. Let j = -108 - m. Does 19 divide j?
False
Suppose 2022 = 4*s - 342. Let c = -344 + s. Does 10 divide c?
False
Let l be 78/30 - 6/10. Is 42 a factor of (-1192)/(-8) + l + 2?
False
Suppose w - 11 = -5*l + 1, 0 = -5*l - 3*w + 6. Suppose -4*v = -v - p - 52, -12 = l*p. Is v a multiple of 8?
True
Suppose 23 + 61 = 14*q. Let z(f) = 3*f**2 - 8*f - 6. Is z(q) a multiple of 8?
False
Suppose -5*i + 157 + 69 = x, 0 = -5*x + 3*i + 1242. Is x a multiple of 41?
True
Suppose -68 = 2*m + 4*h, 2*m = -h + 6*h - 50. Let s = m - -60. Is 30 a factor of s?
True
Suppose 97*h - 219435 + 49879 = 0. Is h a multiple of 38?
True
Suppose 10*k + 99 = 11*k. Let n = k + -57. Does 7 divide n?
True
Suppose -927 = -5*c - 2*i + 1992, 5*c + i = 2922. Is 3 a factor of c?
True
Let w = 25 + -32. Let o = w - -27. Let s = o + -13. Is 2 a factor of s?
False
Suppose -5*q + 28 = -y, -2*q - 2*y + 5 = 1. Suppose o + 5*w = 34, q*w = o + o + 7. Does 6 divide o?
False
Suppose -3*g + 0 + 15 = 0. Suppose 126 = g*z - 2*z. Let k = z - 10. Is k a multiple of 8?
True
Suppose -7*b + 4*a + 336 = -4*b, 0 = -2*b + 3*a + 223. Does 14 divide b?
False
Let c be (0 - (-3)/(-5))/(15/75). Let s(b) = -b**2 - 6*b - 6. Let o be s(-4). Is -2 + o - c - -78 a multiple of 27?
True
Let z = 14 - 5. Let k = z - 7. Suppose -3*w + 5 = -k*w. Is 2 a factor of w?
False
Let b = 58 + -64. Let n = -111 + 192. Let s = n + b. Does 28 divide s?
False
Let g = 3514 - 2029. Is g a multiple of 5?
True
Let t(g) = g**2 + 3*g + 2. Let r be (-1)/5 - 36/45. Let w be t(r). Suppose w = 4*k + 3*q - 333, -k - 3*k - 4*q + 328 = 0. Does 29 divide k?
True
Let w(k) = k**3 - 34*k**2 + 44*k - 87. Is 12 a factor of w(33)?
True
Suppose -2*w - 46 = -4*n, -w - 3*w + 51 = 3*n. Is 3 a factor of n?
False
Suppose 9 - 2 = h - q, 4*q = 2*h - 20. Suppose 230 = h*f + f. Does 15 divide f?
False
Let u(p) = 166*p - 10. Does 61 divide u(3)?
True
Suppose 5*b = 40*p - 43*p + 247, 0 = -5*p - 5*b + 415. Is 2 a factor of p?
True
Suppose 0 = 4*p - 20, p = k - 0 + 1. Suppose -3*z + 2*n = -2, z - 5*n = -0*n - 8. Is 84 + -3 + k - z a multiple of 20?
False
Let l = 9 - 7. Suppose l*g + 4*g = -102. Let t = g - -39. Does 11 divide t?
True
Suppose 3*p = -2*p - 4*f + 2, 5*f - 25 = 5*p. Let y be 0*4*p/(-24). Suppose -5 = 5*g, 2*g + y*g + 30 = 4*z. Does 3 divide z?
False
Let w be ((-16)/(-10))/(8/20). Suppose w*b = -5*c + 14, c - 2 = -2*c - 4*b. Is 6 a factor of c?
True
Is 11075/15 + (-20)/15 + 1 a multiple of 7?
False
Is 38 a factor of (78 - 3) + (-3 - (2 - 6))?
True
Let k(l) = l**2 - 1. Let g be k(2). Suppose y - 88 = -g*y. Does 11 divide y?
True
Suppose 2*y - 14 = 2*d, 0 = -2*d + 3*y - 0*y - 9. Let g = 48 + d. Is 12 a factor of g?
True
Let m(y) = 212*y**3 - y. Let h(x) = -11*x + 45. Let l be h(4). Is 34 a factor of m(l)?
False
Let j(l) = -33*l + 45. Is 59 a factor of j(-15)?
False
Let u(s) be the first derivative of -8*s**4 - s**2/2 - s + 8. Is 26 a factor of u(-1)?
False
Let t be -93*((-8)/(-12) - 2). Suppose -3*i + 5*s - 93 = -0*i, 4*i + 2*s 