 factor of v?
False
Let m(u) = -u + 3. Let o be m(3). Let y = 4 - -1. Suppose 3*l + o - y = -4*a, 3*l + 2*a = 13. Is 2 a factor of l?
False
Let t = 115 + -45. Is 10 a factor of t?
True
Suppose -5*l = 3*r - 588, 5*r = -4*l - l + 990. Does 4 divide r?
False
Is (3268/12 + 1)*(-24)/(-5) a multiple of 41?
True
Let r = -2345 + 4319. Is r a multiple of 14?
True
Suppose -2*o + 5312 = 5*n, 2*o = -0*n + 3*n - 3200. Does 19 divide n?
True
Let s = -96 + 118. Suppose -2*f + s + 12 = 0. Is 4 a factor of f?
False
Let p(b) = 14*b - 7. Let l be p(4). Let a = l - -12. Is 9 a factor of a?
False
Suppose -4*u + 7 + 17 = 0. Let t(p) = p**3 - 6*p**2 + 2. Let q be t(u). Suppose -y + 222 = q*y. Does 20 divide y?
False
Suppose d + 8 = -4*t + 43, 5*d - 275 = 5*t. Suppose c - d = -0*c + 5*q, -4*c = -4*q - 252. Is 22 a factor of c?
True
Suppose 4*n = -5*j + 2295, -j + 4*n = -456 - 27. Suppose -1519 = -11*t - j. Does 8 divide t?
True
Let r(u) = -u + 6. Let t be r(6). Suppose 14*n - 9*n - 310 = t. Is n a multiple of 6?
False
Let k be 26*-2 + (-15)/5. Let v = k + 79. Is v a multiple of 15?
False
Let j = 1 - -5. Let t = 28 + j. Is t a multiple of 6?
False
Let j = -12 + 540. Is 8 a factor of j?
True
Let b = 1064 - 1565. Let q = -285 - b. Does 34 divide q?
False
Suppose -26*n + 975 + 7761 = 0. Is 28 a factor of n?
True
Suppose 13*s = -10*s + 575. Is s even?
False
Suppose 23*k - 27304 - 4574 = 0. Is k a multiple of 63?
True
Let v(w) = 5*w + 1. Suppose -3*z - 3*x - 1 = -7, -5*x - 5 = 0. Let g be v(z). Let t = 28 - g. Does 12 divide t?
True
Let z be (27/(-18))/((-6)/8). Suppose 4*o - 2*t - 410 = 0, -z*t + 290 = 3*o - 0*t. Is o a multiple of 15?
False
Suppose -16*g = 15*g - 14415. Is 11 a factor of g?
False
Let g = -159 + 108. Let k = g - -186. Is 15 a factor of k?
True
Suppose 2*d - 7 + 5 = 0. Suppose m - 44 = -a, -51 = -a - 3*m + d. Is a a multiple of 11?
False
Let v(d) = -7*d**2 + 3*d + 10. Let g be v(-4). Let b = g - -228. Does 23 divide b?
False
Let q be (6/(-5))/(22/(-55)). Suppose 195 - 3 = q*v. Does 16 divide v?
True
Let l = 110 + -97. Let n = l - -27. Is 16 a factor of n?
False
Let d(h) be the third derivative of -h**4/6 - 29*h**3/3 - 27*h**2. Is 15 a factor of d(-25)?
False
Let r = 997 + -338. Does 16 divide r?
False
Let i(c) = 141*c - 315. Is i(6) a multiple of 59?
True
Let l(o) = -o + 210. Is l(42) a multiple of 12?
True
Let r(u) = -u**3 - 35*u**2 + 37*u + 34. Let b be r(-36). Let l(c) = c**2. Let a(j) = -6*j**2 - 3*j. Let w(p) = -a(p) + 4*l(p). Is 17 a factor of w(b)?
True
Let t(m) = 22*m + 66. Is 14 a factor of t(4)?
True
Suppose 2*m + i = 6, -2*i + 6 = 2*m + 3*i. Suppose -r + 8*j - 13*j + 144 = 0, -4*r - m*j = -491. Does 17 divide r?
True
Suppose 3*j - 92 = -4*w, 4*j - 3*w = -4*w + 140. Let n = j - 21. Is 1/5 + 42/n even?
False
Is (-66)/12*-2 + -6 a multiple of 3?
False
Let k be 13/(-26) + 47/2. Let j = -2 + 0. Let l = j + k. Is 6 a factor of l?
False
Let j(x) = 13*x**2 - 4*x + 7. Is 8 a factor of j(-5)?
True
Let y(i) = -7*i**2 + 3*i - 1. Let f be y(1). Let v = 9 + f. Is 4 a factor of v?
True
Suppose 0 = 3*f + 4 - 13. Suppose -303 = 6*t - f*t. Let u = 149 + t. Is u a multiple of 12?
True
Let y = -51 - -55. Does 6 divide (-6)/y*(-42)/(-9)*-8?
False
Let t be 2/8 - (-4)/(-16). Suppose -3*k + t = -6. Suppose 4*u = k*u + 76. Does 19 divide u?
True
Let a be -6*(-4)/6*1. Suppose -n - 25 = p + a*n, -4*p - 15 = 3*n. Suppose 9*k - 4*k - 30 = p. Is k even?
True
Suppose 3*z + 2415 = 4*u, 6*z = -4*u + 3*z + 2409. Is u a multiple of 10?
False
Suppose -5*n = -3*z - 32, 0 = n + z - 10 + 2. Suppose 0 = n*u - u + 588. Let s = -7 - u. Is 30 a factor of s?
False
Let f = -78 + 78. Suppose -4*z = -f*t - 2*t + 324, -2*t - 2*z = -318. Does 52 divide t?
False
Suppose 3*p - 24360 = -32*p. Is 29 a factor of p?
True
Let f be ((-78)/18)/((-2)/6). Let i = f + -11. Let d = 18 - i. Is d a multiple of 16?
True
Let d(t) = 2*t + t**3 - 3*t**3 + t**3 + 14*t**2 - 3*t + 17. Let y be d(14). Suppose -3*m - 4*i = -54, m + 6 - 37 = y*i. Is 11 a factor of m?
True
Suppose 2*k = 3*x + 3 - 4, 4*x = k + 3. Suppose 0 = -4*g + 3*w + 51, 0 = 4*g + 4*w - 6*w - 50. Suppose -g = -b + k. Is b a multiple of 5?
False
Let v(l) = -203*l**3 - l**2 - l + 1. Let c = 34 - 35. Is 28 a factor of v(c)?
False
Let a(q) = -929 + 3*q - q + 1050. Does 18 divide a(0)?
False
Suppose 2*q + h + h - 604 = 0, 0 = 5*h - 10. Is 10 a factor of q?
True
Is 14 a factor of (16/(-48))/((-2)/(-6)) - -15?
True
Let z = -20 - -29. Let i = z - 8. Let d(j) = 28*j - 1. Is 9 a factor of d(i)?
True
Suppose x + 66 = -5. Let i be 1*(2 + 5/(-1) + 118). Let d = x + i. Does 11 divide d?
True
Suppose 5*g = 2*x + x - 3940, 4*x + 3*g = 5263. Suppose -22*m + 17*m = -x. Is m a multiple of 12?
False
Suppose 0 = 22*l - 2*l - 1680. Is 7 a factor of l?
True
Let y(j) = j + 6. Let x be y(9). Let t be (-6)/x*-5 - 2. Is (-100 + t)*2/(-4) a multiple of 17?
False
Does 35 divide (24/(-9))/((-2)/171)?
False
Let i = 119 - 227. Let r = i - -126. Is r a multiple of 3?
True
Suppose -2*h + 2*i - 51 - 43 = 0, 0 = -5*i - 5. Let p = h + 57. Is p a multiple of 2?
False
Is (-1)/21 - (-73924)/84 a multiple of 5?
True
Let r be 6/(-4)*80/(-6). Let t be ((-14)/3)/(r/270). Let b = -33 - t. Does 23 divide b?
False
Suppose 35511 - 13731 = 33*a. Is 58 a factor of a?
False
Suppose 3*m + p - 65 = 6*p, 2*p = 10. Suppose m = u - 45. Is u a multiple of 8?
False
Let w = 417 - -152. Is w a multiple of 59?
False
Let s = 8 + -4. Suppose 0*g = -3*w - 2*g - s, 2*g = 5*w - 20. Is (-235)/(-5) - (w - 0) a multiple of 15?
True
Let g = 45 + -45. Suppose 0 = -g*w + 6*w - 438. Is w a multiple of 22?
False
Let h(r) = 15*r - 5. Let z(u) = u - 1. Let x(a) = -2*h(a) + 6*z(a). Let o = -219 - -216. Is 18 a factor of x(o)?
False
Is 6 a factor of (-187)/(-4) - 4/(-16)?
False
Suppose -2*l + 597 = 3*c, 0*c = 3*c + 3*l - 597. Suppose 569 = 8*g - c. Is 16 a factor of g?
True
Let u be ((-2)/30 - 1/3)*-15. Suppose u*n - 8*n + 92 = 0. Is 19 a factor of n?
False
Suppose 5*z = 26*q - 23*q - 188, 0 = 3*z - 6. Is q a multiple of 12?
False
Let u(t) = t**2 - 10*t - 4. Let h be u(11). Suppose h*g - 10*g + 15 = 0. Let f(s) = -s**2 + 5*s + 9. Does 3 divide f(g)?
True
Let u(f) = -f + 10. Let q be (-196)/(-16) - (-1)/(-4). Let a be u(q). Let p(v) = -4*v**3 - 3*v**2 + 2. Is p(a) a multiple of 13?
False
Let i(m) = -6*m**2 - 4*m - 10. Let f(n) = -n**2 + n - 1. Let j(x) = -5*f(x) + i(x). Suppose 5*o + 4*t = -0*o - 36, 0 = -o + 3*t - 11. Is j(o) a multiple of 2?
False
Let j = 140 + -153. Suppose 0 = -p + 1, 2*p + 31 = 6*q - 3*q. Let r = q - j. Is r a multiple of 8?
True
Let n(m) = -120*m + 2. Does 121 divide n(-2)?
True
Suppose 0 = 3*t - 12, 3*r - 7*r = 4*t - 1244. Let p = -216 + r. Is p a multiple of 7?
True
Let z(k) = 14*k + 23. Let c(d) = -5*d - 8. Let m(f) = 11*c(f) + 4*z(f). Let b be 5/(-2)*(-4)/2. Is m(b) a multiple of 3?
True
Suppose 5*g = -3*r + 30, 5*g - 3*r = -2*r + 10. Let d = 16 + 28. Suppose c - d = -g*c. Does 3 divide c?
False
Suppose 3*b - 2*b = 0. Suppose b = 3*i - 2*i. Suppose i = -2*a + 21 + 1. Is a a multiple of 2?
False
Suppose 16 = -4*l + 2*l - 2*c, -6 = 3*l - 3*c. Let q(y) = -7*y - 1. Let o be q(l). Let f = -16 + o. Is f a multiple of 6?
True
Let z(c) = 3*c**2 - 4*c - 3. Let l be z(-2). Let t = -14 - l. Let d = t - -72. Is d a multiple of 19?
False
Let o(j) = j**3 + 17*j**2 + 15*j - 12. Let x be o(-16). Suppose -y + 12 = -4*w - 10, 0 = w + x. Does 11 divide (y/(-5))/((-8)/220)?
True
Let x = -5 + 3. Let g be x*(-5)/4*18. Suppose 3 = -2*n - 5*z, 5*n - g = 5*z - 0*z. Is 6 a factor of n?
True
Let y be (123/(-6) + 4)*(-2)/(-3). Let b(s) = -4*s + 24. Is b(y) a multiple of 30?
False
Let i be 2 + 2 + (1 - 3). Let t(o) = 5*o**3 - 2*o + 2. Does 7 divide t(i)?
False
Suppose 0 = v - 2, 3*v - 117 = -5*f + 229. Does 17 divide f?
True
Is 4/2 - (-52 - (-6)/(-6)) a multiple of 55?
True
Suppose -24 = -2*p + 4*d, -p + 48 = 4*p + 2*d. Does 12 divide -4*(-1 - 0)*(p - 4)?
True
Let h = -268 + 730. Does 22 divide h?
True
Let k = -325 + 516. Suppose 10*a = k + 269. Does 10 divide a?
False
Let b(a) = -4 - 15 - 2*a - 6. Is b(-14) a multiple of 3?
True
Let y be 2/(-6) + 34/(-6). Let k be (y/15)/(2/30). Does 21 divide (-4)/k + (-1008)/(-27)?
False
Does 78 divide (-10 + (-125)/10)*-42?
False
Suppose 0 = -4*s - 20, 5*s + 22 = -5*p + 2. Is 9 a factor