be (-1)/(-3*1/15). Suppose 15 + 5 = j*z, -4*z + 48 = r. Is 17 a factor of r?
False
Let i = 46 - 32. Let n(w) = 2*w**3 + 31*w**2 - 16*w + 39. Let f be n(-16). Let h = f - i. Is 5 a factor of h?
True
Let k = 79 + -77. Is 32 a factor of (1070/20)/(1/k)?
False
Let i = 965 + -637. Is i a multiple of 10?
False
Suppose u = 16*u - 12300. Does 10 divide u?
True
Let c(g) = g**3 + 2*g + 4. Suppose 3 = -2*a + 9. Is c(a) a multiple of 37?
True
Suppose 5*l - 137 = -2*q, 4*q - 95 = 4*l + 109. Let s = 1 - q. Is 13 a factor of (s/33)/((-2)/18)?
False
Let i be -2 + (-1 - -5)/4. Is -1 - (-78)/(-3)*i a multiple of 25?
True
Let k = -517 - -541. Is k a multiple of 6?
True
Suppose o - 3*r - 527 = 0, -3*r + 604 - 65 = o. Is 51 a factor of o?
False
Is 18 a factor of (-38 - -32)/(1/(-42))?
True
Suppose -4*c - 35 = -11. Let p(z) = -2*z + 8. Is 3 a factor of p(c)?
False
Let t(h) = -h**2 - 9*h + 6. Let y be t(-5). Suppose 0 = -4*p + 94 + y. Suppose 0 = k - 3*k + p. Is k a multiple of 6?
False
Let f = -617 - -952. Is f a multiple of 24?
False
Let g(l) = l**2 + 7*l - 22. Let d be g(-13). Let b = d - -197. Is 11 a factor of b?
True
Let u(b) = -13*b + 9 + 34*b + 0. Is u(3) a multiple of 15?
False
Let b(h) = -h**2 - 8*h - 4. Let o be (-30)/8 + 1/(-4). Let z be b(o). Suppose m - 62 = z. Is m a multiple of 20?
False
Let m = 1856 - 1141. Is 3 a factor of m?
False
Let a = 572 - 507. Is a a multiple of 5?
True
Let j(k) = -k**3 + 4*k**2 - k - 10. Let d be j(3). Does 15 divide d/(-12)*(-75)/(-1)?
False
Does 61 divide (-32)/8*5065/(-10)?
False
Is 5 a factor of 42/2 + 32/(-32)?
True
Is 42760/75 + 18/(-135) a multiple of 30?
True
Suppose -19247 = -32*c + 15953. Is 22 a factor of c?
True
Let b = -446 + 810. Is 10/(7*8/b) a multiple of 13?
True
Suppose -5*s - 20 = -50. Suppose -2*c + s*c - 600 = 0. Is c a multiple of 39?
False
Let i = -13 + 38. Suppose -2*v - 4*m = -10, 2*m + 0*m - i = -5*v. Suppose 3*t - t - 154 = -3*x, -x = v*t - 47. Does 13 divide x?
True
Let z = -3 - -6. Suppose 0*r - i - 315 = -2*r, -z*i - 160 = -r. Suppose -f + r = 5*a, -4*f + 0*f - 54 = -2*a. Is a a multiple of 15?
False
Suppose -q + 4*i + 247 = 0, -q + 5*q - 5*i = 988. Is q a multiple of 19?
True
Let d be (-2 - -4) + (-10)/1. Let y(c) = 2*c + 8. Let t be y(d). Is 16 a factor of 2/(23/t - -3)?
True
Let t = 3788 + -2192. Is 21 a factor of t?
True
Let v be ((-4)/(-3))/(-12 + (-6632)/(-552)). Suppose a - 16 = 2*y, 0*y = 5*a + 4*y - 24. Suppose a = n - v. Does 22 divide n?
False
Is (-5546)/(-7) - 132/462 a multiple of 22?
True
Let z(x) = -x**3 - 10*x**2 - 9*x + 5. Let j be z(-9). Suppose -l = -5*s + 998, 0*l = 3*s + j*l - 610. Is s a multiple of 25?
True
Suppose -3*c + t + 12 = 0, 5*c + 0*c - 31 = -2*t. Suppose 15 = 2*k + b, -b + 3 = k - c. Does 7 divide k?
True
Let l(o) be the first derivative of -2*o**3/3 + 10*o**2 + 6*o + 5. Does 12 divide l(9)?
True
Let l = 303 + 1. Let m(r) = 2*r + 20. Let y be m(-10). Suppose f - 5*f + l = y. Is 20 a factor of f?
False
Is 9 a factor of (-29 - -28)*(1 - 0 - 104)?
False
Suppose d - 10 - 1 = 0. Let j = -62 + 113. Let z = j - d. Is 9 a factor of z?
False
Let m be 6/15 + 64/(-10). Does 3 divide (m/9)/(12/(-162))?
True
Suppose 14 - 10 = 2*f, 0 = -5*z + 4*f + 7027. Does 29 divide z?
False
Let t be (4/6)/(-3*5/(-1530)). Is (1 - t)/(5/15*-3) a multiple of 20?
False
Let m = 249 + -141. Let j be (-2)/(3*(-2)/1344). Suppose -m + j = 5*r. Is 17 a factor of r?
True
Suppose 2*s + 12 = 38. Let u = s + -10. Suppose t = h - 61, -5*h + u*h + 119 = -t. Is 16 a factor of h?
False
Let c = -17 - -10. Let o(x) = 3*x - 4*x + 9 - x. Does 23 divide o(c)?
True
Let i be (1 - (-1 - -2))/(-2). Suppose 4*c - 25 - 11 = i. Is 5 + (c - 3)/2 a multiple of 7?
False
Let k = 137 - 133. Suppose -k*v - p + 145 = -34, -v + 49 = -4*p. Does 9 divide v?
True
Let n be (6/(-2))/(-1) - 1. Suppose 0*b + n*b = 0. Suppose -f = 3*h - 5, h + b*h - 15 = -3*f. Does 5 divide f?
True
Let n(j) = -529*j - 28. Does 68 divide n(-3)?
False
Let l(r) = -r**3 - 9*r**2 - 10*r + 1. Let m be (20/(-16) + -1)*4. Does 13 divide l(m)?
True
Suppose 20*b - 7*b - 3159 = 0. Suppose -b - 51 = -14*h. Does 3 divide h?
True
Let j(a) = -a + 25. Let o be j(12). Let z = o + -6. Suppose -4*d + 19 = z. Does 2 divide d?
False
Suppose -10*q + 21 = -3*q. Suppose -3*b + q*x + 27 = -2*b, -5*b - x + 71 = 0. Is 14 a factor of b?
False
Suppose -2*k = v - 56, 0 = -2*v + v + 5*k + 42. Suppose r - 181 = -v. Does 27 divide r?
False
Let p(x) = -x**3 + 7*x**2 + x + 3. Suppose -57 - 41 = -7*g. Suppose -d + g = 7. Is 10 a factor of p(d)?
True
Is (-41870)/79*1/(-2) a multiple of 11?
False
Let m be (-376)/6 - (-15)/(-45). Does 22 divide 2/9 - 6853/m?
False
Let z(g) be the first derivative of 6*g**2 - 23*g + 36. Is 29 a factor of z(14)?
True
Suppose 12*l = 5270 + 7978. Does 22 divide l?
False
Suppose 628 - 148 = 3*i. Suppose 0 = -15*r + 16*r - i. Is 32 a factor of r?
True
Let h(y) = -y**3 - 5*y**2 - 7*y - 3. Let s be h(-3). Suppose -d = 2*w - 20, 0 = -s*w - 5*w + 25. Is d a multiple of 5?
True
Let r(b) = -b**2 - 8*b - 8. Let x be r(-6). Suppose 0 = -x*d - 3*t + 623, -3*t = -4*d - 8*t + 633. Suppose 0 = 5*v - v - d. Is v a multiple of 12?
False
Let t = -1 - 2. Let x be 44/6 + (-2)/t. Suppose x*m = 4*m + 24. Is m a multiple of 6?
True
Suppose r + 5*a - 461 = 0, r + 75 = 2*a + 508. Is 14 a factor of r?
False
Let p be 27/(-63) - 76/(-14). Suppose 0 = -4*h - p*y + 7, -3*h - 7*y = -2*y + 1. Does 4 divide h?
True
Suppose -6*m + 7*m = 0. Let i be m*1/(2 + 0). Let t(x) = 2*x + 46. Is t(i) a multiple of 23?
True
Suppose 5*z - 181 = -i - 0*i, -z - i = -33. Does 20 divide (1 - -3)*1*(z - -3)?
True
Let r(n) = -2*n**2 + 11*n - 21. Let s(j) = 5*j**2 - 22*j + 43. Let o(y) = 9*r(y) + 4*s(y). Is 9 a factor of o(-9)?
False
Let q = 153 - -27. Is q a multiple of 36?
True
Suppose -2 = 5*g - 6*g. Suppose -309 = -3*a - 0*i + g*i, 3*a + 5*i - 309 = 0. Suppose 4*p - a = 57. Is 20 a factor of p?
True
Suppose -6*d - 1922 = -8*d + 4*l, 5*d = -5*l + 4790. Does 16 divide d?
False
Let y(d) = 3*d**3 - 9*d**2 + 9*d - 1. Let c(p) = -p**2 + p + 1. Let r(m) = -2*c(m) + y(m). Is r(5) a multiple of 21?
False
Let f(x) = -x**2 - 1. Let p(t) = -62*t**3 - 5*t**2 - t - 6. Let d(a) = 6*f(a) - p(a). Does 17 divide d(1)?
False
Suppose -3112 = 14*x - 18*x. Suppose 4*l = 2*m + x, -m + 337 + 249 = 3*l. Is 39 a factor of l?
True
Let u = 10 - 6. Suppose -5*l - 14 = u*s + 114, -s - 7 = -5*l. Let f = s + 39. Is f a multiple of 3?
True
Is -22*(2886/12)/(-13) a multiple of 25?
False
Let n(b) = -34*b + 17. Is 28 a factor of n(-5)?
False
Let l(o) = -178*o - 332. Is l(-32) a multiple of 72?
False
Let d be (48/30)/((-2)/(-5)). Is ((-30)/d)/((-3)/16) a multiple of 20?
True
Suppose 3*b + 2*u = 5189, -b + 2275 - 551 = -5*u. Is b a multiple of 19?
True
Let o(y) = -2*y - 4. Let x be o(-6). Let n be 0*2/x - -4. Does 10 divide (27 - -1) + n + -2?
True
Suppose 10 = 5*g, 0*p - 3*g = -2*p + 30. Does 2 divide p?
True
Suppose -10*p = -351 - 1509. Let q = -54 + p. Is q a multiple of 22?
True
Let s(r) be the first derivative of 41*r**3/3 + 3*r - 14. Does 6 divide s(-2)?
False
Let h = -82 - -86. Suppose -108 = h*d - 484. Is 47 a factor of d?
True
Suppose -5*l + 4*l - n + 10 = 0, 0 = -2*l - 3*n + 24. Let i(h) = h**3 - 6*h**2 + h - 5. Let d be i(l). Is 7 a factor of (-1)/((-4)/28*d)?
True
Suppose 35 = q - 13. Suppose -q + 124 = 2*j. Is 31 a factor of j?
False
Let h(a) = 114*a**2 - 2*a - 1. Let p = -6 - -5. Let v be h(p). Suppose -5*o + v = -0*o. Is 13 a factor of o?
False
Is (-11)/(55/(-2)) + (-356)/(-10) a multiple of 6?
True
Let l(c) = -3*c + 9. Let v be l(-6). Suppose 5*a = -7 + v. Suppose -u - t + 37 = 0, a*t + 57 + 92 = 5*u. Is 11 a factor of u?
True
Suppose -5*m - 4*o + 36 = 0, -2*o = -2*m + 13 + 5. Is ((-12)/(-3) - m) + 131 a multiple of 28?
False
Suppose 3*s + 6 = 6*s. Suppose 4*r - 28 = 2*i, s*r + 0*i - 18 = -i. Suppose -5*x + 195 = 5*a, -x + 3*a + 31 = r*a. Is x a multiple of 31?
False
Let y = 26 + 62. Suppose y = 3*t - o, -2*t = 3*o - 58 + 14. Is t a multiple of 13?
False
Let i be 6/3 - (-1 + -27). Suppose 5*x + 0*x = i. Does 13 divide x/(-9) - (-160)/6?
True
Let r = -66 - -61. Let s(q) = -36*q + 14. Does 13 divide s(r)?
False
Let r = 1771 - 1622. Is 21 a factor of r?
False
Let l(k) = -8*k**2 + 45*k + 1. Is 16 a factor of l(4)?
False
Let c b