g = -2*j + 48 - 14. Is 16 a factor of (j + 52)/(0 - -1)?
False
Is 11 a factor of (-1894)/(-3) + 36/(-27)?
False
Let f = 333 - 155. Is 34 a factor of f?
False
Let s(v) = -126*v - 626. Does 3 divide s(-10)?
False
Suppose 0 = 239*n - 241*n + 154. Does 17 divide n?
False
Suppose 882 = -32*u + 34866. Is 59 a factor of u?
True
Suppose 12*v = 14*v + 4*j - 266, 0 = -3*v - 4*j + 391. Is 25 a factor of v?
True
Let c be (297/(-132))/(1/12). Suppose -173 = 4*z - 3*i, -28 = 4*z + 5*i + 185. Let v = c - z. Is 10 a factor of v?
True
Let g be (-3)/(-3) - 0 - 1. Suppose 0 = 2*u + 2, 0 = 3*a - g*a + u - 20. Suppose i - a - 6 = 0. Does 5 divide i?
False
Suppose 2*p + 249 = -4*y + 5*y, 234 = y + 3*p. Suppose -250 = -4*h + 2*v, 0 = -4*h - 2*v - 3*v + y. Is h a multiple of 4?
False
Suppose -v = -v + 6*v. Suppose v = 3*z - 5*c - 175, 2*z + 6*c - 11*c - 120 = 0. Does 10 divide z?
False
Suppose -6 = -2*s, 2002 = 3*v - 4*s + 775. Is v a multiple of 6?
False
Let f(y) = 7*y + 33. Let j be f(-14). Let b = -88 + 202. Let x = j + b. Does 17 divide x?
False
Let c(z) = 139*z - 14. Does 15 divide c(2)?
False
Let p = 1 - -10. Let c be 2/4 + p/2. Suppose -c*q + 2*q = -44. Is q a multiple of 11?
True
Suppose 1220 = -3*d + 7*d. Is 41 a factor of d?
False
Let v(i) = -i + 7. Let w(y) = y**3 + 4*y**2 - 4. Let b be w(-4). Is v(b) a multiple of 4?
False
Suppose -5*a + 711 = u, -4 - 6 = 2*a. Is 32 a factor of u?
True
Suppose 5*a = 2*a + 2718. Suppose 0 = -38*t + 44*t - a. Is t a multiple of 38?
False
Let n = -6 + 19. Let h = n - 13. Suppose -3*a = -3*f + 15, -2*f + h*a + 13 = a. Is f a multiple of 6?
True
Suppose 16 = 4*m, 0*h = 3*h - m - 32. Suppose -z = -h - 14. Is 26 a factor of z?
True
Suppose 0 = 10*o - 15 - 35. Does 11 divide (-1090)/(-25) + 2/o?
True
Let d = 66 - 26. Let t be 150/d + 1/4. Suppose -2*p + r = 3 - 36, -t*p + 61 = 3*r. Does 4 divide p?
True
Let t(f) = -3*f**3 - 2*f**2 - 5*f + 8. Suppose -8 = 2*m - 3*x + 15, -m - 2*x + 6 = 0. Is 47 a factor of t(m)?
True
Let w(m) = 5*m**2 - 3*m**2 + 24 - m**2. Let r(u) = u**3 - 3*u**2 - u - 12. Let a be r(4). Is w(a) a multiple of 12?
True
Let k be -5*(-1 + 0/(-2)). Suppose -25 + 110 = k*z. Let p = z + -7. Is p a multiple of 4?
False
Let c = -159 + 282. Let g = c + -45. Is g a multiple of 14?
False
Does 7 divide 0/2 - (-9222)/29?
False
Let t be 6 + -1 + 3/(-3). Suppose -6*s - 19 + 13 = 0. Is 3 - (s - (-8)/t) even?
True
Suppose 2 = g - 7. Let t(y) = y**3 - 9*y**2 + 21. Is t(g) a multiple of 16?
False
Let d be 38/(-9) - 20/(-90). Let s(u) = -u**3. Let t(g) = -3*g**3 - 5*g**2 + 5*g - 8. Let h(v) = d*s(v) + t(v). Is 8 a factor of h(6)?
False
Let z be (2332/55)/(2/5). Does 14 divide z/2 + (-3 + 1 - -5)?
True
Let p(j) = 0 - 83*j - 95*j + 4 - 113*j. Does 36 divide p(-1)?
False
Let f(u) = u**2 + 14*u + 15. Let v be f(-13). Let o be 5 + -2 + -1 + 2. Suppose -z + 3*l = 0, o*z - 5*l + v = 9. Is z a multiple of 3?
True
Suppose 7*r - 3*r - 645 = -5*m, 2*r + 5*m = 335. Is r a multiple of 4?
False
Let m = 48 + -106. Let h = -23 - m. Is 7 a factor of h?
True
Suppose -25*c - 66 = -26*c. Suppose -4*a + c = -818. Is 23 a factor of a?
False
Let q be ((-6)/4)/((-6)/60). Let p = 6 + q. Does 3 divide p?
True
Let f be ((-16)/20)/((-3)/90). Suppose 4*r - 182 = -2*l, -r + 4*l + 8 = -f. Does 22 divide r?
True
Let a(n) = n**3 + 35*n**2 - 69*n + 104. Is 16 a factor of a(-36)?
False
Let x(p) = p**3 + p + 5. Let a be x(0). Suppose -a*i - 305 = -0*q - q, -1190 = -4*q + 5*i. Suppose -2*r + 3*f = -195, 3*r - 5*f = -0*f + q. Is 17 a factor of r?
False
Let j(r) = r**2 - 27*r - 8. Let d be j(13). Is 19/57 + (1 - d/6) a multiple of 9?
False
Let r = -1 + -1. Let o be (-2 - (-2 + 0))/r. Suppose 4*q - 6*q + 44 = o. Is q a multiple of 22?
True
Let q(z) = z**3 - z**2 + 27. Let b be q(0). Let o = b - 24. Suppose 8 = 2*u, 2*t + 4*u + 44 = o*t. Is t a multiple of 12?
True
Suppose -4*r - 2260 = -4*f, 137 = -2*r + 145. Is f a multiple of 41?
False
Is 1*1077/2*2/3 a multiple of 7?
False
Let g be (300/45)/((-2)/(-144)). Suppose 6*b = b + g. Is b a multiple of 22?
False
Suppose 99 = 12*j - 57. Is j a multiple of 2?
False
Let b = 2 + -5. Let h be (33/9 + b)*42. Suppose 0 = 6*j - 4*j - h. Is j a multiple of 7?
True
Let h(y) be the second derivative of 19*y**3/3 - y**2 + 5*y. Let o be h(-1). Let r = 60 + o. Is 4 a factor of r?
True
Let k = -73 - -51. Let c = k - -49. Is 9 a factor of c?
True
Suppose -4*q + 24 = 4*j - 4368, -2199 = -2*j - 5*q. Is j a multiple of 8?
False
Let o be 0/7 + (-4)/1. Let f be -40*6*o/(-60). Does 21 divide f/(-12)*-1*-63?
True
Let j(c) = -4*c**3 - 5*c**2 - 5*c + 44. Let u(x) = -5*x**3 - 6*x**2 - 6*x + 45. Let v(f) = 6*j(f) - 5*u(f). Does 13 divide v(0)?
True
Is (-18823)/(-28) - (-1)/(-4) a multiple of 21?
True
Suppose -4*b + 4*w + 28 = 0, -b = -2*b + 3*w + 17. Suppose b = m + j, -32 = -2*m + 4*j + j. Is m a multiple of 6?
True
Let o(l) be the first derivative of 44*l**3/3 - l + 14. Is o(1) a multiple of 27?
False
Suppose -b - 228 = 2*b. Let f = -46 - b. Suppose 0 = 5*k - 2*k - f. Does 7 divide k?
False
Is 26 a factor of 387 + (3/(-7) - 96/(-28))?
True
Let l(i) = -3*i**3 - 17*i**2 + 6*i + 42. Is l(-6) a multiple of 3?
True
Suppose -4 - 2 = -3*m. Is 11 a factor of 1280/50 + m/5?
False
Suppose 4 + 37 = -2*s - 3*i, -s + 3*i = 43. Let m be (s/8 - -3)*-194. Suppose m = 3*x - 146. Is x a multiple of 27?
True
Let r be 2*(93 + 3 + 2). Suppose r = 14*c - 1428. Is 32 a factor of c?
False
Let y(d) = 2*d - 8. Suppose -8*x + 6*x + 22 = 0. Let s be y(x). Let m(t) = t**2 - 13*t + 15. Does 6 divide m(s)?
False
Suppose 3*v + 0*v = 108. Let a = v + 1. Suppose -6*s - a = -7*s. Is 25 a factor of s?
False
Suppose 10*o + 38 = c + 6*o, -2*c = -o - 41. Suppose 5*x = s - c, 3*s - s = 3*x + 50. Is s a multiple of 14?
True
Let y(d) = -3*d + 35. Let g be y(11). Is (g - 306)/(-4)*(-1)/(-2) a multiple of 19?
True
Let v(m) = -m**2 + m + 2. Let r be v(0). Suppose -37 = -r*x - a, 3*x + 5*a = 3*a + 55. Is 10 a factor of x?
False
Suppose -153 = 5*q + c, -2*c + 0*c = 6. Let v = q + 57. Suppose -3*f + 171 + v = 0. Does 11 divide f?
True
Let p(k) = -22*k. Suppose 5*g - 35 = 35. Suppose 0 = -5*r - 15, 5*j + r + g = -2*r. Is 11 a factor of p(j)?
True
Let m = -1203 + 1861. Is m a multiple of 52?
False
Is 7134/(-232)*64/(-6) a multiple of 8?
True
Suppose -5*x = 4*l - 429, 0 = -3*l + 5*x - 217 + 565. Suppose -60 = -3*c + l. Is 9 a factor of c?
False
Let q = 387 + -200. Does 9 divide 2/11 - (-6698)/q?
True
Let z = -15 - -37. Let w = -20 + z. Suppose 290 = w*h + 3*h. Does 13 divide h?
False
Let b = -134 - -666. Is 64 a factor of b?
False
Let t(q) be the second derivative of -1/2*q**2 - 19/20*q**5 + 3*q + 0 - 1/3*q**3 + 0*q**4. Is t(-1) a multiple of 10?
True
Suppose 4*m - 4*o = 0, -3*m + 6 + 6 = o. Let v(f) = 31*f + 14. Is 23 a factor of v(m)?
False
Let y be -5*2*1/(-2). Let h be (-4)/12 + (-13)/(-3). Suppose 5*v + u - 45 = 0, h*v + u + 15 = y*v. Is v a multiple of 10?
True
Suppose 0*l + 30 = 6*l. Suppose -2*o + 2*p = 0, -6*o + 10 = -o + l*p. Let n(r) = 34*r. Is n(o) a multiple of 17?
True
Let j be (42/(-4))/((-4)/8). Let y be 150/j + (-3)/21. Suppose 77 + y = 2*l. Does 9 divide l?
False
Suppose 8*l - 10*l + 78 = 0. Suppose -4*v + 494 = 182. Let g = v - l. Is g a multiple of 11?
False
Let u(r) be the second derivative of 9*r**5/10 + r**4/12 - r. Let k(i) = i**3 - 2*i**2 + i - 1. Let m be k(2). Is 19 a factor of u(m)?
True
Does 13 divide 26*4/8*19/1?
True
Let f = -525 + 945. Is 28 a factor of f?
True
Suppose 0 = 3*g - 1162 + 157. Does 11 divide g?
False
Let o be (-1)/1*21/3. Let n be (o - (0 - 0)) + 0. Let d(r) = r**3 + 8*r**2 + 6*r + 8. Is d(n) a multiple of 8?
False
Suppose 3 + 3 = -d. Is 572/8 + 9/d a multiple of 23?
False
Let s = -348 - -768. Does 35 divide s?
True
Suppose 0 = 9*w - 4*w - 20. Suppose -3*j - w*v + 103 = 0, 0 = 2*j + j + 3*v - 99. Is j a multiple of 5?
False
Is 10 a factor of 3/6*674 + 3?
True
Let i(z) = 5 + z - 4*z**3 - z**3 - 4 - 9*z**3. Let l be i(-1). Suppose -2*k + l = -k. Is k a multiple of 9?
False
Let a = -2 + 4. Suppose 2*h + 14 = -s + 6*s, s - 6 = a*h. Is 3 a factor of h/(-3 + (-39)/(-15))?
False
Let k(r) = r**3 + 8*r**2 + 8*r + 9. Let s be k(-7). Suppose -g = 5*j - 5*g - 476, s*j - 2*g = 192. Is 46 a factor of j?
True
Suppose 15*x = 14*x + y + 49, -4*x + 161 = 3*y. Is 2 a fa