40 + g = 5*p. Does 20 divide -1*2*(-10 - p)?
False
Let s(a) = -4*a - 26. Let q be 40/(-2)*6/8. Does 10 divide s(q)?
False
Suppose 6*p = 7 + 17. Suppose k = 3*j + 8 + 39, p*k - 218 = 2*j. Is k a multiple of 14?
True
Let w(r) = r**3 + 7*r**2 + 2. Let b be (-1*1)/(12/84). Is 2 a factor of w(b)?
True
Suppose 2*m = -4*z + 1876, -391 = -z + 2*m + 68. Suppose -5*d - 2*y = -389, -5*d - 80 = y - z. Is 14 a factor of d?
False
Let v = 82 + -80. Suppose 5*h - 443 = -a, v*h = a - 4*a + 185. Does 6 divide h?
False
Suppose -126 = -4*m + 146. Let g = -56 + m. Does 7 divide g?
False
Let j be 21/5 - (-8)/10. Suppose -j*a - 3*q = 2, -a + 3*a + 3*q = -8. Is 17 a factor of (4 - -81) + -4 + a?
False
Let g = -123 - -808. Is g a multiple of 42?
False
Let q be -4 + (19 - 3)/2. Suppose -q*y + 4*t - 14 = -42, 41 = 5*y + t. Let f(g) = -g**2 + 15*g - 9. Is 24 a factor of f(y)?
False
Let g = -2576 + 7832. Is 36 a factor of g?
True
Let z(m) = m + 3 - 7 - 1. Let q be z(10). Suppose -2*o + t + 53 = -2*t, 37 = o - q*t. Is o a multiple of 22?
True
Let g be ((-54)/45)/(1/(-5)). Suppose 2*r = -2*t + 107 + 13, 2*r = -g. Suppose -5*u = -8*u + t. Is u a multiple of 8?
False
Suppose -3*n + 6*n = 18. Is ((-2)/(4/3))/(n/(-160)) a multiple of 17?
False
Let t(k) = k**2 + k - 5. Let i be t(-4). Let f = -6 + i. Let n(c) = 15*c**3 + c. Is 4 a factor of n(f)?
True
Let o = 232 + 40. Is 14 a factor of o?
False
Let d(f) = 2*f**3 - 7*f**2 + 9*f + 2. Does 25 divide d(8)?
True
Let u(c) = -c**3 - 5*c**2 - 7*c. Let a be u(-5). Suppose -a - 10 = 5*i + 3*p, 2*i + 4*p + 32 = 0. Is 20/i*30/(-20) a multiple of 2?
False
Let s(q) = 12*q**2 + 21*q + 9. Is s(-3) even?
True
Let i be 4/(-1) + (-126)/(-9). Suppose 13*o = i*o + 33. Is 3 a factor of o?
False
Suppose -5*v + 8 = -7. Let h be (-2 - 0) + 2 + v. Suppose h*r + 5*x = -17 + 4, 4*r = -x + 11. Is r even?
True
Let b = 2 + -1. Let z be (0/5)/(b - 3). Suppose z = -2*u + u + 4. Is 4 a factor of u?
True
Suppose 4*j - 5*j + 472 = 0. Suppose 0 = 2*k + 2*i - 236, 5*i = -4*k + 4 + j. Does 38 divide k?
True
Let y = -2 + 7. Suppose 0 = -y*n + 5 + 5. Suppose 8 = 4*q - 8, 4*s + n*q = 80. Does 6 divide s?
True
Let n be (7 + (6 - 11))/((-4)/(-2)). Let g(k) = 206*k + 4. Is 35 a factor of g(n)?
True
Suppose -2*z = 3*z - 15. Suppose -28 + 104 = 2*m - z*h, -114 = -3*m - 4*h. Is m a multiple of 22?
False
Suppose 3*t - 211 = 5*v, -4*t - 4*v = -5*t + 82. Suppose 6*g - t = 40. Does 2 divide g?
False
Let n be (0/2 - -5)/1. Suppose -t = 4*v - 125, -5*t = 2*v - 3*v + n. Suppose -3*h + v = -0*h. Is h a multiple of 10?
True
Suppose -163 = -4*g - 5*n, -2*n - 105 = -2*g - g. Let m = g + 41. Let o = -15 + m. Is 26 a factor of o?
False
Let t = 835 - 612. Does 36 divide t?
False
Suppose 4*b - 2516 = -m, -2*m - 5*b = -b - 5016. Does 10 divide m?
True
Let f = 576 + -368. Is 23 a factor of f?
False
Suppose 2*m + m = -f - 32, -m - 19 = 2*f. Let u = -6 + m. Is 5/((-5)/(-3)) - u a multiple of 17?
False
Is (1 - -903) + 1/1 + 5 a multiple of 13?
True
Let r(j) = 4*j**3 + 9*j - 15. Is r(4) a multiple of 34?
False
Let w(u) = 29*u + 24. Is w(11) a multiple of 25?
False
Let k = -208 - -322. Suppose k + 42 = w. Is w a multiple of 26?
True
Let y = 11 - 12. Let i be y/(2/(-20)*2). Suppose -15 = -w - i. Is 10 a factor of w?
True
Suppose o - 15 - 3 = 0. Suppose 3*z - 5*a = 18, 4*z - z + 3*a = o. Suppose z*h - 21 = 3. Is h a multiple of 3?
False
Suppose -4*p + h = -79, 3*p = 2*p - 5*h + 4. Suppose 12*s + 1169 = p*s. Is 18 a factor of s?
False
Let q = -6 + 8. Suppose -3*k + 0*k + q*i + 282 = 0, -3*k + 4*i + 276 = 0. Suppose 0 = 3*y - 4*l - k, -4*y - l + 128 = -2*l. Is 16 a factor of y?
True
Let d be -1*((-8)/(-4) - 0). Let h be 5 + d - (3 - 22). Is 30 a factor of 684/7 - h/(-77)?
False
Let g(v) = -15*v + 16 + 10 - 32. Is 23 a factor of g(-5)?
True
Let t be 0/((3 - 4)*1). Suppose -3*l + 117 = -3*r, t = -2*r + 6 - 0. Is 6 a factor of l?
True
Suppose 3*r + 57 = 3*v, 4*v - 3*r + 0*r = 78. Suppose -30*t + v*t = -198. Is 11 a factor of t?
True
Let l(n) = -35*n + 306. Is 61 a factor of l(7)?
True
Let p be (-14)/(-14) + (-1)/(-1). Suppose -p*c = -28 - 104. Does 22 divide c?
True
Suppose -6*j + 2562 = -0*j. Suppose -2*q + j = -5*h + 1532, -q = 4*h - 897. Does 34 divide h?
False
Suppose -3*a = -1295 + 26. Suppose -156 = -2*x - 4*z, 5*x - z - a = -0*z. Suppose g + x = 5*g. Does 7 divide g?
True
Suppose 0 = r + b - 1629, -4*r + 5*b + 6513 = 6*b. Is 63 a factor of r?
False
Let g be (3/(-6))/((-2)/32). Let a be 6/(-18) + g/6. Let p = a - -67. Is p a multiple of 13?
False
Let m be (4/(-6))/((-8)/36). Let f = 100 - 23. Suppose -5*z - 3*d = -f - 312, 3*d + 243 = m*z. Is 16 a factor of z?
False
Let y = -10 + 12. Suppose 0 = -3*l - y*a + 130, l + a + 6 = 51. Is 32 a factor of l?
False
Suppose 0 = -10*h - 2178 + 7918. Does 41 divide h?
True
Suppose -3*c = 4*p - 2337, 5*c = 3*c - 2. Is 45 a factor of p?
True
Suppose -d = 100 - 2641. Let t be ((-12)/(-7))/((-11)/d). Is (1/1)/((-9)/t) a multiple of 13?
False
Let a(w) = w. Let v be a(2). Suppose y = -f + 17, -3*f + 51 = v*y - 4. Does 7 divide f?
True
Suppose -12 - 6 = -9*c. Suppose -5*i + c*i - 5*w = -584, 5*i - 996 = 3*w. Is 18 a factor of i?
True
Suppose -3*b + 103 = 37. Is 11 a factor of b?
True
Let b(d) = d**3 + 26*d**2 - 14*d + 9. Is b(-26) a multiple of 36?
False
Let j(q) = -10*q + 58. Is 8 a factor of j(0)?
False
Suppose 9*j - 17*j + 176 = 0. Is 11 a factor of j?
True
Let a(y) = y**3 + 15*y**2 + 7*y + 1. Let s be a(-11). Let q = 630 - s. Does 37 divide q?
True
Suppose 5*r + 2*j = -2*j - 11, j = 5*r - 9. Let l(k) = 91*k**3 + 3*k**2. Let f(b) = 45*b**3 + b**2. Let u(g) = 5*f(g) - 2*l(g). Is 14 a factor of u(r)?
True
Let t be -52 - 3/6*-4. Let g be (-8)/10 + (-14590)/t. Suppose -292 = -5*r - 3*f, -g = -5*r + f - 5*f. Is r a multiple of 10?
False
Let b(h) be the third derivative of -h**5/60 - 17*h**4/24 + 25*h**3/3 - 13*h**2. Is b(-10) a multiple of 24?
True
Suppose 4*f = s - 80, 235 = -4*s - 5*f + 576. Let o = 119 - s. Does 4 divide o?
False
Let z(a) = a + 19. Let j be z(13). Suppose j*h - 27*h = 450. Does 8 divide h?
False
Let u(a) be the second derivative of a**4/6 + a**3/2 + a. Let k be u(-2). Suppose -36 = -k*y - 2*y. Is 6 a factor of y?
False
Let b be 2*((-10)/(-8))/(30/36). Suppose 10*y = b*y + 973. Is 27 a factor of y?
False
Let q = 380 - 268. Is q even?
True
Let y(k) = -7*k**3 - k**2 + 7*k + 8. Let l(x) = -6*x**3 + 6*x + 6. Let i(u) = 6*l(u) - 5*y(u). Is 16 a factor of i(4)?
True
Suppose -1017 = -3*s - 3*r, 3*r + r = 2*s - 684. Is 34 a factor of s?
True
Suppose -4*r + 44 = -5*l, -4*r - 5*l + 44 = -0*l. Suppose 4*s - 107 = -r. Is (-60)/s*(-14)/5 a multiple of 3?
False
Suppose -207*a = -5*r - 202*a + 6995, -r = -4*a - 1390. Is r a multiple of 16?
False
Let y be 1/(-2 + (0 - -1)). Is 25 a factor of 0 + 111 - (3 + y)*1?
False
Suppose -5*s - 12 = -s. Let u be 3 - (-3 + 5 + s). Suppose -u*q + 7 = -89. Is 16 a factor of q?
False
Suppose 4*r = -z + r + 66, -3*r + 180 = 3*z. Is 3 a factor of z?
True
Suppose 6*c + 55 = 1. Is 1 + 3 - (-61 + c) a multiple of 25?
False
Suppose -4*d = 5*u - 852, 10*d - u + 628 = 13*d. Is 16 a factor of d?
True
Suppose 3*a - 2*a = 3. Suppose a*l + 35 = 4*l. Suppose 6*k - k + 37 = 3*z, 0 = 5*z - 3*k - l. Is 4 a factor of z?
True
Let j = -25 + 241. Does 12 divide j?
True
Let q be (8 + -10)*10/4. Does 32 divide (-2724)/(-20) - (-1)/q?
False
Let c = -38 - -26. Let v(h) = -h**3 - 12*h**2 - 3*h. Is v(c) a multiple of 12?
True
Suppose 4*j - 44 + 20 = 0. Suppose -5*o + 15 = -5*t, -3*o + t - 3*t = j. Suppose o = -5*g + 83 - 13. Is g a multiple of 3?
False
Let m be (0 + -1)*1 - -45. Is 24 a factor of 16/(m/(-52) + 1)?
False
Let r = 10 - 9. Let w be 0 - r - (-5 + 28). Does 12 divide (w/10)/(2/(-10))?
True
Suppose -o = 5*r + 11 - 9, 3*o + 4*r - 5 = 0. Suppose -m = -3*i + 24, 5*i + 1 = -4*m - 10. Is 19 a factor of 1/(o/m) - -41?
True
Suppose 5*c + 78 = 3*o - 3, 0 = o - c - 29. Let z = o + 19. Is z a multiple of 17?
True
Let a be 4 + 9/(-3) - 11. Let x be (-42)/(-15) - 2/a. Suppose 0 = x*w - 32 + 5. Is w a multiple of 9?
True
Is 83 a factor of (1/(-3))/(24/(-172080))?
False
Suppose x + 3*x - 64 = 0. Suppose 0 = 2*p + 28 - 38. Suppose -4*m + p*m = x. Is 3 a factor of m?
False
Let m = 507 - 468. Is m a multiple of 3?
True
Suppose 3*d = -3*d + 12. Let q(m) = -20 