- 8*m + 5*x, 5*x = m - 29973. Is m a multiple of 77?
True
Let b = 1164 - 948. Suppose v + 55 = 6*v. Suppose -8*l - b = -v*l. Is 6 a factor of l?
True
Let r(q) = -q**3 + 12*q**2 - 16*q + 10. Let z be r(10). Suppose -z = -3*i + 8*i. Let l(m) = m**3 + 12*m**2 + 15*m + 22. Does 22 divide l(i)?
False
Let q(k) = k**3 - k**2 + 8. Suppose j - 2 = -2*j - 4*a, 2*j + 3*a = 1. Suppose 0 = 4*t + 5*z - 26, 3*t - 4*t + j*z = 0. Does 14 divide q(t)?
True
Let x(q) = -1756*q + 2440. Is 13 a factor of x(-6)?
False
Let x(l) = 1915*l**2 + 58*l - 6. Is 22 a factor of x(-2)?
False
Suppose 1578*f = 1582*f - 22980. Is f a multiple of 15?
True
Suppose -t + 2749 = -5*k, -14*t + 2198 = -4*k - 12*t. Let z = 624 + k. Does 10 divide z?
False
Let i be (42/(-24))/((-9)/(-36)). Let a(q) = -71*q - 100. Is a(i) a multiple of 43?
False
Suppose 2*i - 3*y - 1963 = 0, 530 + 4409 = 5*i + 3*y. Is i a multiple of 9?
False
Let b(m) = m**3 + 11*m**2 - 12*m - 8. Let w be b(-12). Let h be 2/((-6)/w + 17/(-68)). Suppose 3*z - 115 = -2*k, -k - z + 40 = h*z. Is 5 a factor of k?
True
Suppose -5*d = r - 704, 0 = -2*r - 30 + 28. Let j = 235 + d. Is j a multiple of 10?
False
Suppose 269*m + 3*u - 155379 = 266*m, 0 = -6*u + 30. Is 121 a factor of m?
True
Let x = 220 - 194. Suppose -x*w + 6543 = -3285. Is w a multiple of 54?
True
Suppose 209559 = 54*n + 53445. Is n a multiple of 106?
False
Let v(f) = -12*f**3 - 10*f**2 + 36*f + 171. Is 6 a factor of v(-9)?
False
Let g be 6 + 1 + 3 + -5. Suppose -2*n = -3*z + 3, -2*n - g*z = -n - 18. Suppose 0*i = -n*i + 4*a + 21, -2*i = 4*a - 34. Is 10 a factor of i?
False
Let s = -4179 + 7509. Is s a multiple of 30?
True
Suppose -2*b - 3 = 3*d, 5*b + 2 = -3*d - 1. Suppose -2*o + 2*i + 4 = b, -2*o + 5 = -i - 3. Suppose u = 2*m - 52, -56 = 4*m - o*m + 3*u. Is m a multiple of 4?
False
Suppose 3*i = -j + 1743 - 398, 3*i - 2*j = 1351. Suppose 7 - 258 = -v + w, 0 = 2*v - 5*w - 490. Let u = i - v. Does 15 divide u?
False
Let x(y) = 3*y**3 - 2*y**2 + 13. Is x(9) a multiple of 10?
False
Let a = -29370 - -42513. Is 13 a factor of a?
True
Is 7 a factor of ((-14847)/(-14))/(4/(-16)*-2)?
True
Let c(x) = -68016*x - 680. Does 13 divide c(-1)?
False
Suppose -3*c + 20925 = o, 31*o - 4*c + 20930 = 32*o. Is 34 a factor of o?
True
Let w = -348 + 396. Suppose -1672 = -w*s + 10*s. Is s a multiple of 2?
True
Suppose 16*x - 2229 = 3697 - 2182. Is x a multiple of 6?
True
Suppose -228*m + 3729 = -5847. Does 25 divide m?
False
Suppose -2*f + 290 = -5*r - 862, 1737 = 3*f - 3*r. Suppose -3*x - 350 = -6*x + j, f = 5*x - 4*j. Does 13 divide x?
True
Let v(p) = p**3 - 5*p**2 - 8*p + 4. Suppose 4*o + 4*r = o, -r = -5*o + 23. Suppose -10 - o = -2*d. Is v(d) a multiple of 20?
False
Let b be (528/84 - 2/7)/2. Suppose -u + 973 = -5*f, -2*f = -b*u + 4477 - 1597. Is 24 a factor of u?
False
Let z(i) = -i**3 + i**2 - i + 20. Let t be z(0). Let j be 12/8*t/6. Let y(d) = d**3 - 3*d - 5. Is y(j) a multiple of 15?
True
Let c be ((-15)/(-12))/(4/48). Suppose c = 3*l, 5*l = 3*m - 4*m + 415. Does 15 divide m?
True
Suppose 0 = -7*d - 2*v + 156920, 5*d - 112096 = -25*v + 27*v. Is 22 a factor of d?
True
Let b = -19 + 21. Suppose -3*u - 14 = v, 5*v + 15 = b*u - 6*u. Is 130 + 1 + v + (-6)/(-2) a multiple of 12?
False
Let z(l) = 431*l + 9. Let k(y) = 861*y + 18. Let o(v) = 3*k(v) - 7*z(v). Is 17 a factor of o(-1)?
True
Let o be 8 - 4*(-7)/(-14). Does 16 divide (-35550)/(-200) + o/(-8)?
False
Let b = 1057 - 535. Let u = b - 403. Does 7 divide u?
True
Is 4 + 1 + (49631 - (-14 - 3)) a multiple of 81?
True
Let j = -87 + 59. Let o = j - -859. Suppose 5*a + 36 = o. Does 21 divide a?
False
Suppose 5*b - 2797 = -k, 0 = 5*k + 2*b - 5*b - 13845. Is k a multiple of 66?
True
Does 16 divide 16 - 12 - 1821/(-6)*76?
False
Suppose 1624 = 6*f + 8*f. Let z = 344 - f. Does 12 divide z?
True
Let k(v) = -v**2 + 15*v + 10. Let x be k(13). Suppose -3*r + 2*r - 25 = -3*c, -5*c + x = 4*r. Let i(m) = -m**2 + 20*m - 8. Is i(c) a multiple of 10?
False
Suppose -330*n = -323*n. Suppose 5*w + 2716 = 3*m, 0 = 4*m - n*w - 2*w - 3640. Is m a multiple of 76?
True
Let q be 39/13 + 8/(-1). Does 11 divide (q/1 - (-33 - 119)) + 4?
False
Let f(n) be the second derivative of -n**3/6 + 31*n**2/2 - 5*n. Let d be f(9). Let i = 59 - d. Is i a multiple of 5?
False
Suppose 17*g = 61 - 27. Suppose 169 + 47 = g*h. Does 12 divide h?
True
Suppose 2*t = -4*a - 4 + 30, -5*t - 43 = -2*a. Is 25 a factor of (-4)/6 + 5856/a?
True
Let f = -21 - -22. Let p be (3/f - 3)/1. Suppose p = -3*x - t + 84, x + 0*t - 3*t - 38 = 0. Does 13 divide x?
False
Let x(u) = 15*u**2 + 80*u + 699. Does 2 divide x(-8)?
False
Suppose -8*q = 31 - 63. Suppose -4*m + 3*d = -3096, 0 = -m + q*d + 244 + 530. Is 34 a factor of m?
False
Let m be -7 + (-4 + 0 - -8). Let d = 10 - m. Suppose d*u = 20*u - 210. Does 6 divide u?
True
Let s(v) = -v**3 - 9*v**2 - 6*v + 19. Let m = -24 - -16. Let k be s(m). Suppose k*o - 4*o = -88. Is 11 a factor of o?
True
Suppose 3*y = -y + 16, 3*p - 9 = 3*y. Let m(i) = 2*i + 16. Let c(a) = a + 1. Let o(w) = -6*c(w) + 2*m(w). Is 2 a factor of o(p)?
True
Suppose -36385 = -3*t + z, 298*z = 5*t + 300*z - 60649. Is t a multiple of 92?
False
Suppose 1405*u - 1377*u = 280768 + 416768. Is u a multiple of 249?
False
Let w(u) = 41*u**2 - 26*u + 168. Does 68 divide w(8)?
True
Suppose 35 = -6*q + 13*q. Let g(l) be the third derivative of 29*l**4/24 - 5*l**3/2 + l**2. Is g(q) a multiple of 26?
True
Suppose 2118 = 3*a - 4*t + t, 0 = -2*a + 5*t + 1424. Let v = 1196 - a. Is 26 a factor of v?
True
Let d(c) = 41*c + 22. Let t be d(18). Suppose -t = 5*n - 980. Is 4 a factor of n?
True
Let w(f) = 11*f**2 - 6*f + 7. Suppose 11 - 17 = -2*j. Suppose -3 = -3*b + j*i, -3 + 1 = -i. Does 22 divide w(b)?
True
Suppose -16003 = -11*p - 361. Is 79 a factor of p?
True
Let b(n) be the second derivative of 5*n**4/12 - 17*n**3/3 - 2*n**2 - 268*n. Does 19 divide b(-10)?
True
Let i(h) = -12 - h**2 - 10*h - 19*h + 38*h. Let l be i(10). Is 4 a factor of 268/22 - (-4)/l?
True
Let h(v) = -v**3 + v + 10. Let a be h(0). Let s be (4 - a)/(-3) + -10. Let i = s - -16. Does 4 divide i?
True
Let v(b) be the first derivative of 1253*b**4/4 + b**3/3 - 3*b**2/2 + 2*b + 118. Is v(1) a multiple of 26?
False
Suppose 4*z - 98 = 11*z. Let y(u) = u**2 + 14*u + 5. Let t be y(z). Suppose t*k - 47 = 3. Does 2 divide k?
True
Let k be (-5)/((-10)/(-3))*2. Let w(b) be the second derivative of b**4/3 + b**3/6 + 5*b**2/2 - 14*b. Is w(k) a multiple of 19?
True
Let f = 1317 + 1090. Does 21 divide f?
False
Suppose 0 = -158*k + 9414 + 5280. Is k a multiple of 89?
False
Is 20 a factor of ((-4473)/9*10)/(12/(-48))?
True
Is 138 a factor of 217359/(-6)*8/(-30) - 360/900?
True
Let w(r) = r**2 - 2*r - 3. Suppose -117 = -4*c + 95. Suppose -c = 3*v - 44. Does 4 divide w(v)?
True
Let q(j) be the second derivative of -5*j**2 - 1/6*j**3 - 18*j + 0. Does 8 divide q(-18)?
True
Let n = -1507 - -962. Let a = n + 689. Is a a multiple of 4?
True
Does 53 divide 9 - 190/20 - (-3 - (-176142)/(-12))?
True
Let c(b) = b + 2. Let i be c(4). Suppose -11*f = -17 + i. Let u = 13 - f. Is 5 a factor of u?
False
Suppose -5*i = -4*i - 63. Let z = -60 + i. Suppose 0 = z*q + 13 - 313. Does 10 divide q?
True
Let m(k) = k**3 - 17*k**2 + 48*k - 24. Let p be m(19). Suppose 5*q = -5*u + p, -q + 5*q + 2*u - 1284 = 0. Does 8 divide q?
True
Let p be -41 + (-1)/(3/6*2). Let a = p - -46. Suppose 0 = -2*d - a + 58. Does 3 divide d?
True
Suppose -67*i = -77*i + 20. Suppose 275 = a - k, -i*k + 0 = -8. Does 31 divide a?
True
Let n be (-1 + 0)*0/(-3). Let x = 82 + -42. Suppose i - 24 - x = n. Is i a multiple of 24?
False
Suppose -7*y + 66 = 4*y. Let m be (4/y)/(32/(-624)). Let b(k) = -k**3 - 10*k**2 + 24*k. Does 39 divide b(m)?
True
Let k = -1008 + 1514. Suppose -10*z = z + k. Let v = -4 - z. Is v a multiple of 7?
True
Let q be -273 + 1 + 87/29. Let x(f) = 113*f**3 + f**2 + f. Let l be x(-1). Let w = l - q. Is 13 a factor of w?
True
Suppose -4*d + 3 + 1 = 0. Let b(i) = 10*i**3 + 6*i**2 - 4*i - 17. Let x(l) = -10*l**3 - 5*l**2 + 3*l + 14. Let h(t) = -4*b(t) - 5*x(t). Is 4 a factor of h(d)?
False
Let v(b) be the first derivative of -b**3/3 + 13*b**2/2 - 9*b + 310. Let q(t) = 9*t**2 + t. Let c be q(-1). Is v(c) a multiple of 22?
False
Let w be (6/(-7))/(-1)*7. Suppose 0 = 2*g - t + 1, 2*g -