ultiple of 12?
False
Suppose 0 = -c - 4*m + 8, 4*c - 2*m = 2*c - 4. Suppose -3*s + c = -6. Suppose -3*l + 31 = n - s*n, 8 = l + 2*n. Does 3 divide l?
False
Suppose 3 = 3*s + 3*o, 5*s - 2 = 4*o + 39. Suppose i = -4*d + 51, -139 = -4*i + 2*d - s*d. Does 31 divide i?
True
Let a(w) = -w**3 - 5*w**2 - 6*w - 6. Let r be a(-4). Let c be 1/1*103/1. Suppose -r*p + c = k, -2*k - 13 - 36 = -p. Does 17 divide p?
True
Suppose 0*b + 5 = b. Suppose 4*g = 4*i + 340, -i = -0*i + b. Does 22 divide g?
False
Is (0 - (-3 - -4))*-95 a multiple of 19?
True
Let g be (-1 - (-35)/15)/(1/3). Is ((-264)/(-15))/(g/10) a multiple of 6?
False
Let x(b) = b**3 - 15*b**2 + 20*b - 7. Does 14 divide x(16)?
False
Let x = -32 - -34. Does 11 divide -1 + x*(-465)/(-6)?
True
Suppose 4*d + 30 = 6*d. Let j be 0/(3*5/d). Suppose j = -2*p + 4*x + 272, 5*p - 3*x = -8*x + 680. Is 34 a factor of p?
True
Let z(p) = -2*p**3 + 8*p**2 + 2*p + 3. Is z(-6) a multiple of 16?
False
Let q(d) = -d**3 - 10*d**2 - 17*d + 11. Let t be q(-8). Let x(m) = m**2 - 19*m - 9. Let f be x(t). Does 26 divide (312/f)/((-1)/3)?
True
Suppose -4 + 0 = -4*q + 4*j, -2*q + 3*j + 1 = 0. Let h(z) = -197 + z**q - 2*z**2 + 202 - 9*z. Is 11 a factor of h(-7)?
False
Suppose 0 = -5*x - 330 + 605. Is 3 a factor of x?
False
Let a = 26 - 15. Suppose 4*p - a - 21 = 0. Suppose 3 = -q + p. Does 3 divide q?
False
Let a(x) = 3*x + 1. Let f be a(5). Suppose -6*p = -3*p. Suppose -2*l + p*l + f = 0. Does 6 divide l?
False
Suppose -9*q = -8*q. Suppose -t + 4*x + 92 = q, -t + 2*x = -3*x - 92. Is t a multiple of 23?
True
Let o(c) = c + 6. Let l be o(6). Let t(r) = r**2 - 11*r + 12. Does 14 divide t(l)?
False
Let a = 3768 - 2237. Does 5 divide a?
False
Suppose -y - 4*y = 40. Suppose -146 + 13 = -7*z. Let g = y + z. Is g a multiple of 7?
False
Suppose -2*k + 0*k - 94 = -4*r, -4*r - 3*k + 99 = 0. Suppose 2*i - 1 = -q, 0 = 2*i - 4*i + 4*q - 4. Suppose -3*a + i = -r. Does 3 divide a?
False
Let b be -2*-3*(-1)/(-2). Does 13 divide (-4 + (-65)/(-15))/(b/1494)?
False
Suppose -9372 = -5*i - 2*m, -42*i + 45*i - 5624 = -2*m. Is i a multiple of 47?
False
Let m = -34 - -34. Suppose f + f - 318 = m. Is f a multiple of 15?
False
Let z(m) = -m**2 - 9*m + 10. Let w be 60/14 + (-4)/14. Suppose -4*s = -r + 4 + 5, -2*r = -w*s - 2. Is 19 a factor of z(r)?
False
Let z(l) = -4*l**3 + l - 2. Let m be z(-2). Let x be (-5 - 9/3)*-1. Is 4 a factor of m + (0 - (x + -4))?
True
Let t be 232/48 + (-1)/(-6). Suppose t*i - 3*u + 46 - 133 = 0, u = -4*i + 56. Is 14 a factor of i?
False
Let k be 21/14 + (0 - (-21)/2). Is 9 a factor of -3 + (-2)/(-2)*k?
True
Let l = 83 - 81. Suppose -5*t + 272 = 3*a, l*a = -t - 0*t + 60. Is t a multiple of 3?
False
Is ((-1010)/(-4) - -2)/((-12)/(-24)) a multiple of 12?
False
Let t = -1445 + 2070. Suppose 3*f - 163 = r + 216, 5*r = -5*f + t. Is 16 a factor of f?
False
Suppose 2*j = -2*j - 32. Let c be (2/6)/(j/(-72)). Does 13 divide -78*(32/12 - c)?
True
Suppose -s + 0*s = -1. Let q be s/(-2*(-1)/6). Suppose 5 = q*n - 2*n. Is 2 a factor of n?
False
Let c(g) = 2*g**2 + 2*g - 2. Let u be (-3)/6 - 39/6. Let s be c(u). Suppose 0*o - o + 6 = 3*b, 5*o - s = -2*b. Is 9 a factor of o?
True
Let b = -20 + 55. Let c = 83 - 29. Let y = c - b. Is 19 a factor of y?
True
Let q be (2 - 4)*52/(-8). Suppose 3*r - 32 = q. Does 3 divide r?
True
Let i be 6/39 + (-3540)/26. Let d = i + 220. Is d a multiple of 12?
True
Suppose 9*z = 3079 + 980. Is z a multiple of 13?
False
Is 44 a factor of (42240/16)/(-2 + (-44)/(-16))?
True
Is 15 a factor of (-84)/28 + (-1202)/(1*-2)?
False
Suppose 421 = 7*y - 83. Is 21 a factor of y?
False
Suppose 5*n - 25 = -5*r, 5*r + 3*n - 15 = 6*r. Is 3 a factor of 9 - (r + 1 + 2)?
True
Suppose 14*x = 1033 + 1221. Is 34 a factor of x?
False
Let y(n) = -390*n - 163. Is y(-7) a multiple of 27?
False
Let l be 16/(4/4) + -4. Let h be 327/(-2)*(-8)/l. Suppose -4*w + 9 = -w, h = 2*c + w. Is c a multiple of 15?
False
Suppose -478 = -23*h + 13230. Is h a multiple of 11?
False
Let c(j) = -j + 6. Let z be c(0). Suppose -5*p - 2*b = -1069, 0*b - 3*b + z = 0. Suppose p = 5*n + 4*l, 4*n + 4*l = 2*l + 174. Is 15 a factor of n?
True
Let m = -531 - 911. Is (-7)/(15 + 6) + m/(-6) a multiple of 48?
True
Suppose -7*t + 2*t - 15 = 0, -i = -2*t + 21. Let v = -22 + 10. Does 5 divide (-1 + i/v)*4?
True
Let d = -1256 - -2117. Is d a multiple of 43?
False
Let j = -764 + 918. Is 7 a factor of j?
True
Is 6 a factor of (-35975)/(-225) + (-2)/(-18)?
False
Suppose 11*g = 30 + 14. Is 16 a factor of (33 + -1)*(g/8 - -2)?
True
Is 45 a factor of 302064/240 - (-14)/10?
True
Let m(f) = 601*f + 10. Let k be m(3). Suppose -k = -11*c + 255. Does 43 divide c?
False
Let p(z) = 3*z + 2. Let m be p(0). Let k(n) = 10*n**2 - n**3 + 3 - 13*n**m - 2*n + 0*n**3 + 4*n**2. Does 9 divide k(-3)?
True
Let k(w) = -11*w**3 + 16*w**2 + 21*w + 7. Let o(b) = 5*b**3 - 8*b**2 - 10*b - 4. Let j(m) = -4*k(m) - 9*o(m). Does 15 divide j(6)?
False
Is 2/(-3*3/(-14634)) - -5 a multiple of 130?
False
Let t = -22 + 34. Let s = t + 5. Suppose -51 - s = -4*k. Is 10 a factor of k?
False
Let z(c) = c**3 + 21*c**2 - 21*c + 22. Let v be z(-22). Suppose 11*d - 9*d - 400 = v. Is 40 a factor of d?
True
Suppose -2*w = -131 + 31. Is 10/2*360/w a multiple of 6?
True
Let n(j) = -j**2 - 5*j + 18. Let q be n(-8). Is 66 a factor of 1 - ((-1952)/q)/(-4)*3?
False
Let x = 86 + -122. Let d = 30 + x. Is 4/d - (-232)/6 a multiple of 27?
False
Suppose -2*n - 13792 = -10*n. Suppose -346 = -9*l + n. Is l a multiple of 23?
True
Suppose -2*a - 8*a + 20 = 0. Suppose -f = a*f - u - 82, -4*f = -5*u - 113. Is 6 a factor of f?
False
Suppose -2*t + 3*t - 16 = 2*y, -3*t + 3*y + 42 = 0. Suppose -2*b + t = b. Let c = 9 - b. Is c a multiple of 4?
False
Let x = -265 - -145. Is 41 a factor of 1590/8 + 6/x*-5?
False
Suppose 0 = 4*b - 2*x - 1230, 0 = -3*b - 14*x + 9*x + 903. Is b a multiple of 9?
True
Let s = 214 - 116. Let d = 42 + s. Does 18 divide d?
False
Let x = 1031 + -404. Is 33 a factor of x?
True
Suppose 2*f - 536 = 4*k, -4*f + k + 1372 = 321. Is 13 a factor of f?
False
Is 9 a factor of 4/26 + -3*3308/(-52)?
False
Let q = 5203 - 2087. Is q a multiple of 16?
False
Let b(w) = -w**2 + 2*w + 3. Let i be b(0). Let n = i + 87. Is n a multiple of 6?
True
Let y be 6/4 - 2 - 81/2. Let o = 29 - y. Does 7 divide o?
True
Let c(u) = u**2 + 7*u + 8. Let d = 17 + -23. Let a be c(d). Suppose 0 = -z - a*z + 81. Does 9 divide z?
True
Let y(w) = -44*w - 11. Let v be y(-15). Suppose -i + 223 + 581 = 5*p, 4*p - v = 5*i. Is 23 a factor of p?
True
Suppose 28 = 2*z + 5*z. Let q = z - 1. Is 147/14*10/q a multiple of 5?
True
Let d = 848 - 380. Is 36 a factor of d?
True
Let p = 6 + -4. Let k be -4 + (p - (3 - 0)). Let h(s) = 2*s**2 + 7*s + 4. Does 19 divide h(k)?
True
Suppose r - o + 23 = -0*o, -5*o = 2*r + 60. Let b = r - -46. Is 7 a factor of b?
True
Suppose 0 = -7*a + 10*a + 2*d - 1598, -a - 5*d + 537 = 0. Does 76 divide a?
True
Let n(u) = -18*u + 1. Let t be (1 - -2) + (-11 - -2). Let o(v) = 54*v - 3. Let y(s) = t*o(s) - 17*n(s). Does 26 divide y(-2)?
False
Let d be ((-48)/(-3))/((-2)/(-3)). Let r be d/(-2) - (-2 + 3). Let t(l) = -l**2 - 15*l + 16. Does 9 divide t(r)?
False
Let b = -620 - -675. Is 11 a factor of b?
True
Let m be (-49)/(-1) - (19 - 18). Let r = m + -17. Does 12 divide r?
False
Suppose 27*o = 18*o + 7083. Is 18 a factor of o?
False
Let y(h) be the third derivative of -h**6/120 - h**5/6 - h**4/12 - h**3/6 - 21*h**2. Is y(-10) a multiple of 19?
True
Let f(s) = -s**3 - s**2 + 1. Let x(k) = k**3 - 10*k**2 - 34*k - 11. Let b(q) = 2*f(q) + x(q). Is 7 a factor of b(-8)?
True
Let u = 57 - -49. Suppose 3*z - 227 = -5*x + x, 4*z = -2*x + u. Does 13 divide x?
False
Is (2 - -6)*(-10)/(-1) a multiple of 10?
True
Suppose 0 = -3*u - 5*g + 740, 7*g = u + 5*g - 254. Does 125 divide u?
True
Let m = 18 - 13. Let x(q) = -23*q + m + 6 - 4. Is 38 a factor of x(-3)?
True
Let p be 11/((-77)/14)*7/2. Let u(t) = -4*t + 18. Does 7 divide u(p)?
False
Let o(r) = r. Let v(a) = -4*a - 10. Let f(x) = -6*o(x) - v(x). Is f(-5) a multiple of 20?
True
Suppose -425 = 14*f - 1937. Is f a multiple of 2?
True
Let x(s) = 4*s**3 + 2*s - 1. Suppose 5*k - 7 = -2. Let i be x(k). Suppose 0 = -2*f - 5*c + 34 + 33, -i*c - 119 = -4*f. Is f a multiple of 6?
False
Let c be (-30)/(-9)*(-45)/(-6).