e y(-8). Suppose -4*a + 672 = -2*a - 2*c, -t*a + 1028 = c. Does 69 divide a?
False
Suppose -176*a = -197*a + 49266. Is a a multiple of 23?
True
Let j(u) = -9 - 9 + 3 + 1 - 202*u. Let x be j(-7). Suppose -x = 2*y - 9*y. Does 40 divide y?
True
Suppose -7*u = u - 40. Suppose -n + 414 = -4*w, -600 + 2724 = u*n - 2*w. Is n a multiple of 41?
False
Suppose -54*f - 176 = -10*f. Does 86 divide (-20616)/(-60) - f/10?
True
Suppose -20 - 4 = -12*z. Is 2 - (-14 - 8)*z a multiple of 4?
False
Let n = 67975 - 38015. Is 35 a factor of n?
True
Let n be (-4 - 64/12)/(2/(-3)). Let p(d) = -5*d + 23 - n*d - 2. Is p(-7) a multiple of 27?
False
Let q be (-4)/3*2*21/14. Let o(d) = -d + 26. Does 7 divide o(q)?
False
Let r(m) = 2*m**2 + 42*m - 213. Let s be r(5). Suppose -s*n = -20542 - 3428. Is 30 a factor of n?
True
Let k = 106 + 16. Let y = 314 - k. Is 24 a factor of y?
True
Let j be 1 - (-2584)/48 - 5/6. Suppose j*b = 43*b + 5060. Is 46 a factor of b?
True
Suppose v - 2 = -i, -5*v = -0*v + 3*i - 8. Let l(s) = 46*s + 14. Is l(v) a multiple of 3?
True
Suppose -4*x - 4*n + 52 = 0, -n + 8 = -3*n. Suppose -x*s = -7*s. Suppose -3*u + 0*u + 510 = s. Does 34 divide u?
True
Suppose 0 = -90*u - 19*u + 176799 + 528322. Is u a multiple of 123?
False
Let u(v) = -14*v - 120. Let a(f) = 31*f + 240. Let c(n) = -3*a(n) - 5*u(n). Is 21 a factor of c(-19)?
False
Let q(r) = -r. Let w(b) = -12*b + 35. Suppose 37 = -3*d + 22. Let f(j) = d*q(j) - w(j). Is 11 a factor of f(5)?
False
Let n = 28019 - 19613. Is n a multiple of 28?
False
Suppose -198681 + 119729 = 20*k - 1471472. Is k a multiple of 62?
True
Let t(x) = 2906*x - 1018. Is t(3) a multiple of 100?
True
Suppose 2*o + 0*d + 4 = -d, o + 16 = -4*d. Suppose y = 0, o = 5*j + y - 24 - 11. Suppose 324 = j*b + 2*b. Is 12 a factor of b?
True
Let d(p) = -38*p - 37*p + 72*p + 16*p**2 + 9. Is 27 a factor of d(-6)?
False
Let m(h) = h**2 - 124*h - 5906. Is m(-58) a multiple of 155?
True
Suppose 0 = -0*j + 3*j - 4*t - 7424, 0 = -3*t - 6. Does 8 divide j?
True
Suppose -24 = y - 7*y. Let f(w) = 28*w**2 - 2*w + 4. Let l be f(y). Suppose -5*b + b = -l. Does 32 divide b?
False
Let z = -13647 + 49391. Is z a multiple of 203?
False
Let t(w) = w**2 + 11*w - 12. Let s be t(-9). Let r = 35 + s. Suppose 0 = -a + r*k + 26, 5*k - 18 = -2*a - a. Does 6 divide a?
False
Let z(v) = -7*v**3 + 3*v**2 - 12*v - 12. Let f be z(-4). Suppose -2*b + f = 2*b. Suppose b + 62 = 5*i. Does 13 divide i?
True
Does 27 divide 774/(8080/(-540) + 15)?
True
Let k(n) = -9 + 0*n**2 - 2*n**2 - 6*n**2 - n**3. Let y be k(-9). Let g = 182 - y. Does 10 divide g?
True
Let x be -2 - -2 - 3/9*0. Suppose 129*o - 134*o + 80 = x. Is 4 a factor of o?
True
Let j(t) = 57*t**2 - 9*t + 243. Is 9 a factor of j(-21)?
True
Suppose -r + 15*a = 20*a - 449, -3*r = a - 1305. Suppose -3*l + 5*x + 1433 = 0, 1944 = 5*l + 2*x - r. Does 32 divide l?
False
Suppose -p = 2*i - 204, -5*i + 14*p = 19*p - 505. Suppose 2*l - i = -5*u, -49 = -3*u + 4*l + 18. Is u a multiple of 16?
False
Let t(l) = l**3 - 31*l**2 + 99*l + 36. Let b be t(29). Is (b/10 - 0) + (-6)/(-4) a multiple of 31?
True
Let h = -6471 + 14571. Is h a multiple of 15?
True
Let r(i) = i**2 + 13*i + 26. Let u be r(-11). Let q(d) = 8*d - 27. Let y be q(u). Suppose y*v + 103 = 438. Is 7 a factor of v?
False
Let a be (9*4/(-12))/(1 + -2). Suppose 0 = -6*f + 15 + a. Suppose 2*w - 216 = -2*x, -f*x + 8*x = 0. Is 12 a factor of w?
True
Let a = -88465 - -137438. Does 321 divide a?
False
Does 93 divide (6/18 + -1)*(-7431)/2?
False
Does 22 divide 494 - (20 + (-17 - -7))?
True
Let h = 239 + -220. Is (236 - h) + 1*(0 - 0) a multiple of 31?
True
Let f(m) = m**3 + 36*m**2 + 148*m + 57. Is 19 a factor of f(-27)?
True
Let b = -2148 - -4848. Is b*(-5)/((-75)/10) a multiple of 15?
True
Let a = 14223 - 8040. Is 25 a factor of a?
False
Let n(d) = 65*d**2 - 289*d - 1800. Is 6 a factor of n(-6)?
True
Let a = 877 + -907. Let i(w) = w + 8. Let k be i(7). Is 24 a factor of 3/((-47)/98 - k/a)?
False
Suppose -6*j - 127 + 139 = 0. Suppose j*x - 361 = 1495. Is 29 a factor of x?
True
Let q(d) = d**2 - 23*d + 110. Let o be q(10). Is 38 a factor of o/(-230) + (-28608)/(-46)?
False
Let w(t) = -3*t + 45. Let j be w(13). Let r(q) = 9*q + 32. Does 10 divide r(j)?
False
Let d = -539 - -629. Suppose 2*f + 5*o = -d + 381, 4*o - 290 = -2*f. Is f a multiple of 18?
False
Suppose -5*c = -2*j + 2, -5*j + 5 = -5*c + 15. Let g(x) = x**3 + 6*x**2 + 2*x - 1. Let i be g(c). Let v = 45 - i. Is v a multiple of 17?
True
Let n = 4834 - 4034. Is 100 a factor of n?
True
Suppose -b + 7*m + 15 = 2*m, 0 = -2*m - 4. Suppose -5*t + 535 = v, b*v = 2*t + 3*v - 202. Does 7 divide t?
False
Suppose -10*n + 13140 + 580 = 0. Suppose 6*h - n = -8*h. Does 8 divide h?
False
Suppose o + 4*o = 5*x + 80, -5*o + 78 = -4*x. Does 30 divide (-10028)/(-161) + (-4)/o?
False
Suppose 321 = -10*m + 961. Let n be (6 + -1)*(3 + -2). Suppose 0 = -k + 5, -t + n*k + m = 1. Does 22 divide t?
True
Is 110 a factor of -11*3/(-33)*(-8 - -17185)?
False
Let s be (1 + 4)/10*-4 + 4. Suppose -3*d + 5*q + 745 = 6*q, -s*d = 5*q - 501. Is d a multiple of 4?
True
Let a(g) = 3*g**3 - 18*g**2 + 49*g + 14. Suppose 25*c = 65*c - 400. Does 41 divide a(c)?
False
Suppose o - 3*k = -667, -4*o + 4*k - 614 = 2086. Let u = o - -1152. Is 8 a factor of u?
False
Let z be -3*((-2032)/24 + (5 - 1)). Let c = 494 - z. Suppose -32*w = -31*w - c. Does 21 divide w?
True
Suppose -47*g = -44*g - 75. Let t = g - -30. Is 18 a factor of t?
False
Does 25 divide -194 + 182 - -1*2787?
True
Suppose 0 = -2*z - z + 540. Suppose -4*w + z = 2*r, 12 - 4 = 4*r. Is 11 a factor of w?
True
Suppose 23*h - 13891 = -3656. Let u = h + 80. Is u a multiple of 75?
True
Suppose -36*w - 5*k + 1006 = -35*w, 5*k + 3974 = 4*w. Does 9 divide w?
False
Let p(j) = 6*j. Let i(l) = -l**3 + 5*l**2 - 2*l + 9. Let s be i(4). Let t be p(s). Suppose 0 = 7*x - t - 87. Is x a multiple of 5?
False
Let t(v) = -99*v + 8. Let u be t(2). Let f = -40 - u. Is f a multiple of 10?
True
Let z = -445 + 445. Suppose 4*o + 3424 = 4*j, 3*o + 0*o - 3 = z. Is j a multiple of 23?
False
Let r be (2 - 1)/(1/(-2)) + 37. Let c = r - 34. Let y = c + 50. Is y a multiple of 36?
False
Let v = 226 - 211. Suppose -v*z + 3165 = -1455. Does 22 divide z?
True
Let c(g) = 558*g**2 + 5*g - 252. Is c(-6) a multiple of 9?
False
Let y = 69776 + -46088. Is y a multiple of 47?
True
Let g(t) be the third derivative of -t**5/40 + 11*t**4/12 - 11*t**3/6 + 6*t**2. Let f(x) be the first derivative of g(x). Is 19 a factor of f(-14)?
False
Is 8 a factor of 4/6*(-5)/1*29500128/(-1680)?
False
Suppose -5*x - 45 = -5*r, 0 = 5*x + 5*r + 13 + 12. Is ((-26)/8)/(x/1176) a multiple of 6?
True
Suppose 5*r = 4*q - 355, 0 = 5*q + 3*r + r - 454. Suppose -s + q = -39. Let l = -57 + s. Is 9 a factor of l?
True
Suppose 28 = -2*y + 20, h - 1484 = -y. Is 54 a factor of h?
False
Let l be ((-6)/(-5))/(3/5). Suppose l*p - 2 = -250. Let b = -24 - p. Is 5 a factor of b?
True
Let w(v) = -v**3 + 11*v**2 + 10. Let a be w(10). Suppose -a*n - 708 = -114*n. Is n a multiple of 17?
False
Let m be (12*(-161)/(-112))/(1/(-8)). Does 3 divide ((2 - 3)/((-1)/m))/(-2)?
True
Let s(m) be the third derivative of m**5/60 - m**4 + 58*m**3/3 + 118*m**2. Is s(38) a multiple of 24?
True
Suppose 0 = 8*b - 18*b + 50. Suppose b*f + 528 = 13*f. Is f a multiple of 11?
True
Let q = 10977 + -6276. Is 12 a factor of q?
False
Let z be (-2)/(1 - 3) - (-12)/(-3). Let f be -3*-4*z/12. Is (-4)/6 + (-290)/f a multiple of 24?
True
Suppose 16*r + 10436 = 20*r. Suppose -2*x - 5*f + r - 209 = 0, -2*f = 4. Does 15 divide x?
False
Let t(g) = -98*g + 999. Is t(5) a multiple of 10?
False
Let f(p) = 84*p + 1032. Does 24 divide f(-6)?
True
Let o = 6511 + -6047. Does 33 divide o?
False
Let j(u) = 34*u - 271. Let s(i) = 36*i - 272. Let y(g) = -5*j(g) + 6*s(g). Is y(7) a multiple of 3?
True
Suppose -w = -4*y - 183, y + 1168 = 5*w + 215. Suppose -w = -p + 164. Is p a multiple of 21?
False
Let m(q) = 4*q + 91. Let r be m(-19). Suppose 4*l = -2*w + l - 9, -2*w - 2*l = 14. Is w/r*15/(-1) a multiple of 2?
True
Suppose 67109 + 219891 = 35*w. Is 20 a factor of w?
True
Let o be (1 - 4)/((-4)/520). Let c = o + -301. Is c a multiple of 12?
False
Does 10 divide 1921 - (22 + -24 + 2)?
False
Let u = 2970 - -7680. Suppose u = 35*y - 13150. Is