 4*r = -12, 3*a + 41*r - 40*r - 369 = 0. Is a a multiple of 4?
True
Suppose -4*n + 4*z - 8 = 8, -2*n - 4*z = 8. Let u(w) = -3*w. Let t(d) = 3*d. Let g(x) = n*t(x) - 5*u(x). Does 5 divide g(5)?
True
Let n be 168/(-16)*(0 + 48/14). Let v = n + 65. Is 15 a factor of v?
False
Suppose -3*l = 21 - 27. Suppose 159 = l*t + 63. Does 6 divide t?
True
Is 55 a factor of (-5)/20*2 - 222/(-4)?
True
Suppose -2*w = -4*f - 6*w + 216, 2*f - 96 = 2*w. Let p be 578/f - 2/(-3). Let z = 64 - p. Does 8 divide z?
False
Suppose 5*s - 31 = -4*z, s + 4*z + 5 = 24. Suppose -4*k + s*y = -15, -2*k - y = -2*y - 7. Suppose 120 = k*t + 2*f, -150 = -5*t - 3*f + 51. Does 14 divide t?
True
Suppose 0 = 23*r + 152 + 1849. Suppose x + 125 = -g, 2*x - 6*x = g + 500. Let d = r - x. Is 19 a factor of d?
True
Suppose -3*u = 3*k - 1524, 8*k - 11*k = 0. Is 25 a factor of u?
False
Let r = 13 + -8. Let g(f) = 8 - 9*f + 12*f - r*f + 8. Does 6 divide g(-8)?
False
Is 25 a factor of (-1 - -5) + (12 - 12) + 220?
False
Suppose 0*f - 994 = -7*f. Suppose v - i - i = f, 520 = 4*v + 4*i. Does 34 divide v?
False
Let f(j) = -j**3 + j**2 + j + 96. Let h be f(0). Suppose -t + 0*c + 3 = 2*c, -c = 0. Suppose -h = -z - t*z. Is 8 a factor of z?
True
Let r(d) = -5*d**2 - 4*d + 2. Let j(c) = c**3 - c**2 - c. Let f(k) = -2*j(k) + r(k). Is f(-2) a multiple of 5?
True
Let y = 14 - 12. Suppose 2*u + 2 = -2*o, -4*u - 4 = -o - y*o. Does 5 divide u - (-3*2 - 0)?
True
Let o be (-2)/8*(22 + -26). Is 12 a factor of (12 - -88) + (-3 - o)?
True
Let h be 38/(-3) - (-2)/3. Let k(p) = -43*p + 272. Let n be k(6). Does 3 divide (h/n)/((-7)/98)?
True
Let t be (-7 + 3)*(-5)/4. Suppose t*l = 9*l - 140. Is 7 a factor of l?
True
Let p = -13 + -13. Let k = p - -36. Is k a multiple of 4?
False
Let b be 74/14 - (-24)/(-84). Suppose -4*v + 184 = 4*y, 4*v - 180 = -y - b. Is 6 a factor of v?
False
Suppose 0 = -3*z + 3, 3*z + 7 = -4*a - 2. Let h be -3 - (a - 3/(-1)). Does 10 divide (-2)/3*h - -8?
True
Let s = -108 - -110. Suppose -5*f + 5*j = -75, 2*f + 2*j + s = 28. Is f a multiple of 13?
False
Suppose -3*h + 4 = 4*u, 3*u = -u + 4. Suppose -3*f + 60 + 180 = h. Does 12 divide 6/(-10) - (-3168)/f?
False
Is 46 a factor of (-1)/((-28)/13308) - 6/21?
False
Is 40/(((-15)/(-4))/15) a multiple of 5?
True
Suppose -62 = 3*v + 2*g, -2*v - 34 = -v - 2*g. Let z = v - -71. Is z a multiple of 20?
False
Is 12 a factor of ((-1584)/28)/(9/(-84))?
True
Suppose 10*v + 2 = 42. Suppose -5*i + 2*z = -260, v*i - 2*z = 183 + 23. Does 27 divide i?
True
Let c = 4 - -1. Suppose -l - 3 = -k, -k + 36 = -c*l - 3*k. Is -11*2/4*l a multiple of 10?
False
Let r = 42 - -57. Is 49 a factor of (-77)/22*(1 - r)?
True
Suppose 0 = 5*u + d - 201, 4 = 2*d + 2. Let k(h) = -h**2 + 2*h - 7. Let w be k(0). Let r = u + w. Does 22 divide r?
False
Let m(s) = -s**2 + 13. Let w be m(-3). Suppose 2*n - n = 2*o - 215, w*n - 130 = -o. Is 11 a factor of o?
True
Let q be (6483 - 3)/(10/15). Is 12 a factor of 2/(-8) + q/96?
False
Let c(l) = l**2 - 7*l + 6. Let a be c(5). Let j(i) = -i + 12. Does 3 divide j(a)?
False
Suppose 1876 = 4*n + 4*q, -3*n + 898 = -4*q - 544. Is n a multiple of 15?
False
Is (20/(-6))/(40/(-2040)) a multiple of 5?
True
Let b = -1972 + 2836. Does 48 divide b?
True
Suppose 4*j - 103 = 5*z, 65*j + z = 67*j - 47. Is 11 a factor of j?
True
Let r(u) = -442*u + 239. Is 51 a factor of r(-11)?
False
Is 6 a factor of 8/(-28) - 17/(476/(-3648))?
False
Let k(d) = d**3 - d + 29. Let s be 11/(-13) - (-2)/(-13). Let u(v) = v**2 + 3*v + 2. Let j be u(s). Is 18 a factor of k(j)?
False
Suppose 0 = 2*p, 3*p = -45*i + 46*i - 351. Does 13 divide i?
True
Suppose 3*b + 1665 = 6*b. Suppose -6*h + h = -b. Is 20 a factor of h?
False
Suppose 7*r - 61*r = -69336. Is r a multiple of 12?
True
Let z(v) = v**2 + 9*v + 5. Let t be z(-9). Suppose t*r - 5 = 0, -6*a = -2*a + 5*r - 25. Suppose a*j = 5*y + 10, -3*y = 3*j - y - 26. Is j a multiple of 3?
True
Let c be (-4 + -2)*1/(-2). Suppose 5*w + 3 = -c*j, -w + 4*j - 10 = -3*w. Let y = w + 24. Is 21 a factor of y?
True
Suppose 6*d - 8*d = -62. Suppose w = 3*j + 2*j + d, 2*j + 109 = 5*w. Is w a multiple of 5?
False
Suppose -11 = u + 11. Let h = u + 20. Let v = h - -21. Is 19 a factor of v?
True
Let y = -954 - -2037. Let m = -771 + y. Does 52 divide m?
True
Suppose -u - u - 20 = -5*c, 4*u = -4*c + 16. Suppose -c*l = 0, -5*f + 3*l + 400 - 130 = 0. Is 9 a factor of f?
True
Let j(k) = 7*k**2 + 20. Does 8 divide j(6)?
True
Let w = 5 - 7. Does 26 divide w/6 + (0 - (-1564)/12)?
True
Suppose 2*z - 4*j + 6 = 16, -z + 10 = 3*j. Let c be (-2)/z + (-12)/7. Does 7 divide (c + 36)*(-1 + 2)?
False
Let f(j) = 4*j**2 + 87*j - 2. Is f(-26) a multiple of 23?
False
Let f = -2718 + 4678. Is f a multiple of 20?
True
Let q(t) be the first derivative of 17*t**3/3 - 2*t**2 - 16*t + 22. Does 18 divide q(-4)?
False
Does 8 divide ((-1661)/(-4))/((-231)/(-28) - 8)?
False
Let z = -136 - -284. Suppose 2*m - l = 66, 0*m - 2*l = 4*m - z. Is m a multiple of 10?
False
Let b(j) = j**2 - 9*j + 16. Let l be b(2). Suppose p = l*y + 42, -p + y + 44 = -3*y. Does 3 divide p?
False
Let l = 18 + -20. Let b be l/(-9) + (-32)/(-18). Suppose -5*k + 41 = -4*a, 0*k - a = b*k - 19. Is 9 a factor of k?
True
Let k be 5*(4 + (-22)/(-10)). Let y be k/6 + 4/(-24). Suppose 4*f - y*p - 340 = -f, -5*f + 295 = 4*p. Is 14 a factor of f?
False
Suppose 1257 = 5*n - 63. Is n a multiple of 24?
True
Let l(h) = -h**3 + 16*h**2 + 6*h + 42. Let c = 73 + -57. Does 14 divide l(c)?
False
Let w = -703 - -1060. Is w a multiple of 21?
True
Does 6 divide (380/15)/19*(-3102)/(-4)?
False
Let r(o) = o**2 - o + 6. Let a be 3*(-1 + 2) - -3. Let h be r(a). Suppose 2*q - h = 2*y + 2*y, 0 = -2*q - 2*y + 54. Does 8 divide q?
True
Let n(t) = -t**2 + 7*t + 14. Let v be n(10). Let h be 108/v - (-6)/8. Is ((-34)/(-4))/((-3)/h) a multiple of 17?
True
Is 6 a factor of (469/28 - 4)*16?
True
Suppose 4*c = -0*c + 44. Let m = c - 8. Suppose -m*j + 54 = -0*j. Is j a multiple of 9?
True
Suppose y - 6 + 2 = 0. Let i be ((-308)/(-21))/(y/30). Suppose -u = 4*u - i. Does 4 divide u?
False
Let n(g) = g**3 - 4*g - 16. Is 7 a factor of n(5)?
False
Suppose r + 2*f = -1, -f + 2 = -2. Does 3 divide (-2 - 4)*12/r?
False
Is 4 a factor of ((-20)/(-12))/(6/3654)?
False
Let s be (26 - -8) + 1*2. Let x = s + -26. Is 9 a factor of 692/20 + x/25?
False
Let n(h) = 3*h + 3. Suppose 85 + 3 = 2*d. Suppose -4 = -2*r, -2*j - j - 4*r + d = 0. Is n(j) a multiple of 13?
True
Suppose 5*z - 2996 = 1614. Suppose 2 = 4*y - 10, 5*i + 4*y - z = 0. Does 13 divide i?
True
Let h(a) = 108*a - 228. Is 15 a factor of h(6)?
True
Let h be -21 - -2 - (-7 + 6). Let k = -24 - h. Let l = k + 12. Is l even?
True
Let s be (3 - (3/6 + 2))*-2. Is 14 a factor of -4 - -3 - (1 + s + -57)?
True
Suppose s + 2*c = 180, 10*s = 13*s + 5*c - 542. Is 46 a factor of s?
True
Let l be 74 + 5/(4 - 3). Suppose 7*j = 3*q + 2*j - l, 3*q - 3*j = 69. Is 3 a factor of q?
True
Suppose 9*w = 49*w - 4480. Is w a multiple of 10?
False
Let z be ((-107)/5 - (0 - -1))*5. Let p = 122 + z. Is 7 a factor of p?
False
Let s = 23 - 16. Suppose -3*v + 17 = -s*k + 2*k, v - 39 = -5*k. Is v a multiple of 4?
False
Suppose -c + 8*g - 27 = 4*g, 3*g = -5*c - 66. Let k be (-10)/c - 26/(-6). Suppose -320 = -k*d + 3*f, -3*d + 0*f - 2*f = -211. Is 36 a factor of d?
False
Let l(v) = 6*v**3 - v + 1. Let s be l(1). Let t(f) = 10*f. Let k be t(s). Suppose 0*r - k = -5*j + 2*r, -12 = -j + 4*r. Is j a multiple of 12?
True
Let n(c) = -c + c + c + 0*c - 6. Let r be n(8). Is 115/r*4/5 a multiple of 7?
False
Let c(q) = 13*q - 9 + q**2 - 8 + 9. Let g be c(-13). Is 18 a factor of 4/((0 + -1)/g)?
False
Let k(w) = w**2 - 8*w + 10. Suppose -h + 6 = -3*o, 7 = -h + 4*o + 16. Let d be 7 - (0 + h + 1). Is k(d) a multiple of 19?
True
Suppose -7*c = -10*c + 2*o + 10651, -5*o - 3533 = -c. Is c a multiple of 11?
True
Let c = 20 - -1053. Is c a multiple of 37?
True
Let b(u) = -553*u + 6. Let x be b(3). Let v be x/(-21) - 6/(-21). Suppose 0*g = g - v. Does 28 divide g?
False
Does 20 divide 121 + 1 + (-58 - -56)?
True
Let d(t) = 5*t**2 - 6*t - 5. Let s = 0 - -2. Suppose 0*b = -s*b + 8. Is d(b) a multiple of 24?
False
Suppose -5*w - 3 = -18. Suppose 4*n + 4*i = 36, -i + w*i - 25 = -3*n. Is 4 a factor of n?
False
Is 3 a factor of (-21)/(-14) + (-194)/(-4)?
False
Let 