iple of 4?
False
Suppose 6*d - 18 = 5*d. Let x = 20 + d. Is x a multiple of 7?
False
Suppose -o = -h - 98, -h = -5*o + h + 496. Is o a multiple of 25?
True
Let l be (-9)/(-2)*8/6. Let x = l - -110. Does 29 divide x?
True
Let b(m) = 12*m + 4. Is b(5) a multiple of 16?
True
Let l be ((-2)/4)/(1/14). Let n be -5*(-1 - l/5). Is n/4*9*-2 a multiple of 9?
True
Let i = 19 - -9. Suppose -2*o = 2*o - i. Suppose -3*w + o*w = 72. Is w a multiple of 8?
False
Is 2 - 6*2/(-3) a multiple of 6?
True
Let h(c) = 29*c**2 + c. Is 8 a factor of h(-1)?
False
Let s(q) = q**2 - 14*q - 17. Is s(16) a multiple of 5?
True
Suppose -3*w = 3*l - 36, 3*w - 16 = -2*l + 4. Let n = 6 + l. Is n a multiple of 11?
True
Suppose 2*f + 0 = -3*d - 3, -2*d - 12 = -2*f. Suppose -f*j - 6 = -15. Suppose -i + o - 5*o = -4, 0 = i - j*o - 18. Is i a multiple of 6?
True
Let g be (-2)/(-5) + 126/35. Let s(y) = -y**3 + 4*y**2 + 4*y + 5. Is s(g) a multiple of 10?
False
Let t(d) = -2*d + 12. Let f be 3/((-6)/14) + 1. Is 4 a factor of t(f)?
True
Let i(j) = -j**2 - 3*j + 1. Let u(z) = -3*z**2 - 9*z + 4. Let m(g) = 8*i(g) - 3*u(g). Let c be m(-4). Suppose c*x + x = 21. Is 8 a factor of x?
False
Let t = 145 - -43. Is 14 a factor of t?
False
Let w = -1 - -1. Suppose 0 = 4*o + 4, k - 2*o + 0*o - 85 = w. Suppose -k = -3*s + 1. Does 10 divide s?
False
Let a = 32 + 133. Does 33 divide a?
True
Suppose 8*n - 20 = 3*n. Suppose -n = -3*w - 2*k + 18, 0 = -5*w - 5*k + 45. Is 2 a factor of w?
True
Suppose 3*n - 9 = -b, 2*n + 0 = 2*b - 2. Suppose -5*s - 125 + 48 = -l, 2*l - 3*s = 189. Suppose b*i - l = -0*i. Is 17 a factor of i?
True
Suppose 15*x - 18*x - 15 = 0. Let t(z) = 2*z**2 - z - 5. Is t(x) a multiple of 25?
True
Suppose 5*i + 47 + 73 = 0. Does 20 divide (30/4)/((-4)/i)?
False
Let t(p) = 6*p - p - 3 + 0 + p. Is t(4) a multiple of 10?
False
Let s = 9 - 4. Suppose -1 = -s*j + 14. Suppose -4*z - 1 - 18 = -r, 0 = -j*r + 5*z + 78. Does 16 divide r?
False
Let r be (-3)/9*(-2 + -145). Is 24 a factor of 836/14 + 14/r?
False
Suppose 2*o = -2*p - 10, -1 = -2*o + 2*p + 9. Is (o + 1)*(2 - -16) a multiple of 12?
False
Let b(u) = 8*u**2 + 5*u - 2. Is 3 a factor of b(-3)?
False
Let d(t) = 2*t**2 - 10*t + 8. Let u = 5 - 5. Suppose 0 = -u*x - 4*x + 28. Is d(x) a multiple of 18?
True
Suppose -n - 4 = 0, -n - 28 = -4*g - 4*n. Is 10 a factor of g?
True
Let j(t) = 6*t**2 - t - 1. Suppose 12 = -2*w + 2*z, -20 = 2*z - 6*z. Does 5 divide j(w)?
False
Suppose 2*y + 3*v - 10 = 0, -5*y - v = -7*y + 26. Does 11 divide y?
True
Is 2/(-6) + (-392)/(-24) a multiple of 3?
False
Suppose -6*y + 112 = -y - 4*v, -2*v = -5*y + 116. Is y a multiple of 24?
True
Suppose 5*i = 5*w - 275, -4*w + 3*i + 236 = 7*i. Is w a multiple of 11?
False
Let u = -2 + 5. Suppose 5*h - h + 12 = 0, -4*h = z - 25. Suppose -3*q = u*s - 63, -s - 5*q + z = -0*s. Does 17 divide s?
True
Suppose -i - 3*x = -18, 4*i + 3 = 2*x + x. Suppose 0 = i*a + 2*a - 60. Does 3 divide a?
True
Let p = 48 - 28. Let a = p + 19. Suppose -a = -5*b + 41. Does 8 divide b?
True
Suppose 0 = -0*o + 13*o - 689. Does 37 divide o?
False
Let s = -12 + 47. Suppose 40 = 5*k - s. Does 9 divide (-381)/(-15) - (-9)/k?
False
Let s be (261/6)/(3/6). Suppose -s + 262 = 5*c. Suppose -2*w + c + 5 = 0. Is 7 a factor of w?
False
Suppose s - 28 = 1. Let w(v) = 5*v + 1. Let f be w(9). Let b = f - s. Is 5 a factor of b?
False
Let l be (-9)/(-3)*15/3. Let x = l - 10. Is 2 a factor of x?
False
Let w be (1 - 1) + 3 + -4. Let u be (0 - 4)/((-1)/w). Does 12 divide u/18 + 865/45?
False
Suppose 0*v - 5*v + 35 = 0. Let b = -5 + 1. Let h = v + b. Is 2 a factor of h?
False
Let b = 109 - 76. Suppose -s + b = 3*i, -s + 2 = 2*i - 21. Does 5 divide i?
True
Let n(h) = -h**3 - h**2 - 2*h - 1. Let p be n(-1). Let l be -1 - (260 + 2 + p). Does 5 divide (-4)/(-18) - l/27?
True
Let y(p) = -16*p + 4. Does 11 divide y(-6)?
False
Let n(f) = 5*f**3 - 5*f**2 + 9*f - 7. Does 22 divide n(3)?
True
Let l(g) = g. Let s be l(10). Let w be ((-12)/(-30))/(2/s). Suppose -w*q + 3*q - 36 = 0. Is q a multiple of 18?
True
Let l(d) = d**2 - d + 39. Is l(0) a multiple of 13?
True
Let l(i) = -i**3 - 5*i**2 + 4*i - 6. Let a be l(-6). Suppose 3*x - a*n - 115 = -2*n, 3*x = 2*n + 125. Suppose 6*z - z = x. Is 4 a factor of z?
False
Let z(g) = 1 - 6 + g + 4. Is 3 a factor of z(10)?
True
Let c be -3 + 3 + -2*1. Let o be c/(-9) + (-68)/(-18). Does 11 divide 6/o*(-38)/(-3)?
False
Let c = 17 + -12. Does 4 divide c?
False
Let h = 6 + -4. Suppose -h*q + 3*y - 26 = y, -43 = 3*q + y. Does 13 divide (-93)/(-7) + 4/q?
True
Let g(l) = l**3 + 7*l**2 - 11*l - 6. Let i be g(-8). Let d = -7 + i. Is 4 a factor of (-2)/d - (-322)/77?
True
Suppose -m = 2 - 4. Is 18 a factor of m - 0 - (-38)/2?
False
Let d be (-10 - -11)/((-2)/14). Let z(w) = w**3 + 9*w**2 + 13*w + 10. Is z(d) a multiple of 11?
False
Suppose -x = 1 + 2, 4*i = 4*x + 508. Suppose -i - 201 = -5*t. Is 13 a factor of t?
True
Let b(s) = s**3 + 12*s**2 - 4. Let d be b(-12). Let u = 8 + d. Is u a multiple of 3?
False
Suppose 2*k + 35 = p - k, 3*p = 4*k + 120. Suppose -4*s - 35 = -3*x - 2, p = 5*x - 3*s. Is x a multiple of 7?
True
Let u(k) = -k**3 + 9*k**2 + 11*k - 13. Let n be u(10). Let d = -18 + 8. Let t = n - d. Does 3 divide t?
False
Let b(j) = -j + 12. Does 12 divide b(-12)?
True
Suppose -2*l + 5*s = -626, l - 2*s = 409 - 95. Let w be (-6)/(-21) + l/14. Let o = w - 9. Does 7 divide o?
True
Let j(g) = -39*g**3 + 1. Is 5 a factor of j(-1)?
True
Let k be (-1)/(-2)*2*2. Suppose 1 = d - o, -2*d - d + o + 11 = 0. Let s = d - k. Is 2 a factor of s?
False
Suppose 0 = -3*u + 2*m + 273, -m - 89 = -3*u + 184. Let o be u/(-2)*2*-1. Suppose -5*t + o + 49 = 0. Is 14 a factor of t?
True
Let f(u) = u**3 + 8*u**2 + 2*u - 8. Let k be f(-7). Let y be (-3)/(k/12)*-9. Let b = y + 21. Is 13 a factor of b?
False
Let u = 10 + -6. Suppose 3*o + 45 - 19 = d, 0 = -3*d + u*o + 88. Is d a multiple of 16?
True
Suppose -j - 15 = -6*j. Suppose -j*a = -73 - 143. Is a a multiple of 22?
False
Suppose -2*m - 28 = -6*m. Let l = 3 - m. Does 3 divide (-10)/(-4)*l/(-2)?
False
Let b be ((3 - 7)*-1)/1. Suppose -24 = -b*g + 2*j, 10 = -5*g + 3*j + 38. Does 4 divide g?
True
Suppose 4*t + 2*j = 6*j - 8, 0 = 5*t - j - 6. Suppose i - 4*p - 29 = 0, -2*i + 65 = p - t*p. Is 20 a factor of i?
False
Let m(b) = -7*b - 17. Does 27 divide m(-14)?
True
Is 7 a factor of 6*(-1)/(-2) - -25?
True
Suppose -3*q - 2*i = -39, 5*q = 3*q - i + 26. Is 13 a factor of q?
True
Let i be 1/(2/(-24)*-2). Does 7 divide (-3)/6*-2 + i?
True
Let x be 0/((3 - 1) + -1). Suppose -5*g = -0*g + 2*a + 29, x = 2*g - a + 17. Let h(y) = y**3 + 8*y**2 + 4*y - 7. Does 14 divide h(g)?
True
Let o(j) = -j**3 - 5*j**2 + 2. Let b be o(-5). Suppose 36 = s - b*y, s - y - 44 = -3*y. Is s a multiple of 20?
True
Let w = -3 - -5. Suppose 4*p - w*r - 114 = 0, 3*r = -3*p - 2*r + 53. Suppose -2*u + 5*j - 14 = 0, u - 5*j + p = 3*u. Does 2 divide u?
False
Let j(v) = v**3 + 6*v**2 - v + 1. Suppose 3*n + 2*w = -0 - 14, 3*w = -4*n - 18. Is j(n) a multiple of 4?
False
Suppose 0 = 4*l - 12, 5*d + 2*l + 3 = 4. Does 11 divide -12 - -8 - (-58 + d)?
True
Let i(r) = r + r**3 - 8*r**2 + r**3 - r**3 + 6. Let g(l) = l - 4. Let p be g(12). Does 14 divide i(p)?
True
Let v(i) = -10*i - 10*i + 0*i - 7. Let c be v(-5). Is 11 a factor of (4/(-6))/((-2)/c)?
False
Suppose -97 + 363 = 7*h. Does 19 divide h?
True
Suppose 4*u + 10 - 58 = 0. Let j be 171/(-4) + u/16. Does 8 divide (216/j)/((-6)/28)?
True
Is 20 a factor of ((-12)/2)/((-3)/40)?
True
Does 6 divide (0 - -2) + 4 + -1 + 2?
False
Let f(w) = -36*w - 4 + 10*w + 7 - 17*w. Let i be f(3). Is 14 a factor of (i/(-4))/((-3)/(-4))?
True
Let j(z) = -5*z - 2. Let d be j(2). Let c be 191/9 - 4/18. Let g = c + d. Is g a multiple of 9?
True
Let q = 102 - 48. Does 18 divide q?
True
Is 7 a factor of (-2)/5 + (-112)/(-5)?
False
Let f be (13 - 1)*42/8. Suppose -34 = 2*o - 4*h - 134, 2*h = -5*o + 250. Suppose -5*k = -5*g + 18 - f, -5*k + o = -4*g. Is 5 a factor of k?
False
Let q = 58 - -155. Let k = -137 + q. Is k a multiple of 23?
False
Suppose 2*a = 2*t + 14, -3*a + 0*a = -5*t - 25. Let h = -13 + a. Let n = 2 - h. Is 10 a factor of n?
True
Let a(i) = -i**2 - 9*i - 4. Suppose -4*z - w = 35, -3*w - 2*w - 15 = 0. Let d be a(z). Suppose 2*g + 92 = d*g. Does 17 divide g?
False
Let m be (2 + -1)*3 - 