uppose 0 = -5*a - 2*u + 34, 4 - 10 = -3*u. Is 7 a factor of j(a)?
False
Let u = 19467 + -19281. Does 62 divide u?
True
Let o be (-570)/(-110)*1 + (-2)/11. Suppose 0 = 3*z + o*u - 32, -z - 5*u - 7 = -1. Is z even?
False
Suppose 1 = -2*x + 9. Suppose 0 = -x*a - a - 370. Let c = 24 - a. Is c a multiple of 10?
False
Let x(j) = j**3 + 2*j - 2. Let z = 64 + -67. Let k be x(z). Let n = k - -53. Does 7 divide n?
False
Let k(s) = -6*s**2 - 9*s - 13. Let v be k(-14). Let h = -603 - v. Is 20 a factor of h?
True
Let x be ((-10)/(-3) - 3)*537. Let s = 81 - x. Let j = s - -197. Is 11 a factor of j?
True
Let t be (-5)/(-4)*((5 - 2) + 5). Let w be 3/(-2)*(4 + t/15). Let s(g) = -12*g + 12. Is 6 a factor of s(w)?
True
Suppose -7201 = -4*g + 14192 - 4077. Is 82 a factor of g?
False
Suppose 0 = -17*q + 11*q + 5502. Does 7 divide q?
True
Let n = 1759 + -883. Let i = n + -173. Does 5 divide i?
False
Suppose 0*o = 4*o - 16. Suppose 4*n + 3*c - 15 = 320, 245 = 3*n + c. Suppose -o*y + 116 = -n. Is y a multiple of 8?
False
Let m(d) = -101*d + 17. Let g be m(-5). Suppose 0 = -8*q + 574 + g. Is q a multiple of 13?
False
Let r be 11 + -3 + 4 - 4. Suppose -24*j - r*j + 22528 = 0. Is j a multiple of 64?
True
Let k(d) = -344*d + 1277. Is 9 a factor of k(-6)?
False
Let l(v) = -v + 31. Let k be l(28). Suppose -4*u - 1 = 15, 9 = -d - k*u. Suppose -3*i + d*h - 42 = -6*i, -3*h - 3 = -2*i. Is i a multiple of 3?
True
Suppose 5*o - 7*o = -3*o - 4*m + 1391, 0 = -5*m. Is 19 a factor of o?
False
Suppose 0 = -16301*p + 16289*p + 21312. Is p a multiple of 5?
False
Let l(o) = o**3 + 41*o**2 - 49*o + 96. Let g be l(-41). Suppose 46*u + g = 51*u. Does 23 divide u?
False
Does 4 divide -3*((-35)/(-21))/((-5245)/(-2625) + -2)?
False
Let q(z) be the third derivative of 0*z + 14*z**2 + 0 - 4/3*z**3 - 19/24*z**4 - 1/60*z**5. Is 3 a factor of q(-18)?
False
Is 18/(-33) + (-674895)/(-143) a multiple of 13?
True
Let g(n) be the first derivative of -10*n - 8 - 1/3*n**3 - 13/2*n**2. Is 4 a factor of g(-9)?
False
Suppose 3*w = 6*w - 36. Let k be 2 - (-6 - (-20)/(-4))/1. Let u = w + k. Is u a multiple of 25?
True
Suppose -24 - 8 = -4*t. Let o(d) = 2 - 5*d + t - 23 + d. Is o(-14) a multiple of 9?
False
Suppose -7*j + 43 = -55. Suppose 3*w - j = 5*i - 10*i, -w - 2 = -5*i. Is w even?
False
Let q(s) = -1140*s + 83. Does 15 divide q(-1)?
False
Let y be (4/3 + -2)/((-20)/120). Let p be (-32)/y - -4 - 2*-4. Suppose -j + 3*v + 2 = 0, 3*j - 6*j + p*v = -11. Does 5 divide j?
True
Suppose 0 = w - 3*f - 10565 + 2651, 4*f - 28 = 0. Is 15 a factor of w?
True
Let q = -351 + 2409. Is 43 a factor of q?
False
Does 5 divide ((4872/(-36))/(-7))/(2/912)?
False
Let d(u) = -u**3 - 28*u**2 + 3*u + 23. Does 16 divide d(-30)?
False
Suppose 369 + 275 = 3*f - 4*u, 0 = u + 2. Suppose f - 60 = r. Is 4 a factor of r?
True
Let q(p) = p**3 - 12*p**2 - 11*p - 3. Let m be q(13). Let d(u) = -2 - m + 8 - 22*u. Is 27 a factor of d(-6)?
False
Is 53 a factor of 412/2*(-208)/16*6/(-6)?
False
Let q = 9 + -4. Suppose 3*c + x - 16 = 3*x, -5*c = -q*x - 30. Suppose c*o - 367 = -z, o + 3*z = 31 + 58. Is o a multiple of 15?
False
Is (8/(-6))/(-2) - (10 - 16695/27) a multiple of 2?
False
Suppose 0 = 4*c + 12, 0*m - 43 = -4*m - 3*c. Suppose -m*o - 4 = -14*o. Suppose -4*s + 3 = -13, -s = -o*a + 356. Is 5 a factor of a?
True
Let r(w) = w**3 + w**2 + 11*w + 98. Is 13 a factor of r(13)?
False
Suppose -7*g - 2*r = -3*g - 7844, -2*r + 3924 = 2*g. Let w be ((-12)/(-4))/((-2)/(-18))*(-14 + 24). Suppose w - g = -5*c. Is c a multiple of 35?
False
Let c(k) = 2*k**2 - 2*k + 2. Let v(w) = -5*w**2 + 6*w - 5. Let b(d) = -8*c(d) - 3*v(d). Let y be b(-1). Suppose -5*s - 82 + 467 = y. Is s a multiple of 35?
False
Suppose -2*h = -3*d - 4708, -3*h + 24*d + 7059 = 21*d. Does 86 divide h?
False
Does 7 divide ((-9)/1 - -1767) + (-6)/(-1)?
True
Suppose x + 4*v = 1664, 3*v + 3887 = 5*x - 4226. Is x a multiple of 37?
True
Let z be ((-312)/64)/(-13)*776. Let h = z + -36. Is h a multiple of 15?
True
Suppose 7*i + 79*i - 407346 = -58874. Is i a multiple of 2?
True
Suppose 4*r = -2*k + 8, k - 3 + 13 = 5*r. Suppose r*g = -g. Suppose g = -3*z + 4*n + 9 + 2, n = 5*z - 41. Is z a multiple of 2?
False
Let l(k) = 25*k - 235. Let j be l(10). Suppose j*h + 15*h - 1320 = 0. Is 2 a factor of h?
True
Suppose -3*u + s + 37 = 0, s = -4*u - 3*s + 76. Let v be 58/u - 2/14. Suppose -3 = -v*w + l + 178, 4*w + 5*l = 175. Is 15 a factor of w?
True
Suppose -4*v + 3*n + 2548 = 0, 2*v - 2*n + 648 = 3*v. Suppose -y + 5*y + v = 0. Let a = -106 - y. Is 9 a factor of a?
True
Suppose 3*x = t + 31, 0 = 5*x + 8*t - 6*t - 59. Suppose -x*j + 4200 = -j. Is j a multiple of 15?
True
Let u(g) = -g**3 - 30*g**2 + 9*g + 40. Is 86 a factor of u(-33)?
True
Suppose 3*q + 11261 = 5*y - 77649, -4*y + q = -71135. Is y a multiple of 24?
False
Suppose 56*i + 9788 = 60*i - 4*b, -4*i = -b - 9800. Suppose -8*v + 661 = -i. Does 5 divide v?
False
Suppose -2*f - 82 - 26 = 0. Let v = 107 + f. Suppose 773 = 8*c + v. Is 15 a factor of c?
True
Let g be (-39876)/(-72) + ((-11)/6 - -2). Suppose -2*y - 4*x + 204 = 0, 6*y - y = x + g. Is 11 a factor of y?
True
Does 75 divide 20/((-280)/98)*(3 - 2)*-633?
False
Does 30 divide ((-5)/((-5)/20*30))/(2/10653)?
False
Let s = 17554 - 17158. Does 4 divide s?
True
Let b(q) = 5*q + 306. Suppose -5*z - 183 = -8*g + 6*g, z + 33 = 4*g. Does 13 divide b(z)?
False
Let a(w) = 10*w + 36 - 12*w + w**2 - 17*w. Is 8 a factor of a(23)?
True
Let z(x) = 2*x**2 - 13*x - 2. Let c be z(7). Suppose c*b = 608 + 652. Is b a multiple of 12?
True
Let l(j) be the first derivative of -71*j**4/4 + j**3/3 + 4*j**2 + 2*j + 7. Is l(-2) a multiple of 62?
True
Let m(b) = -7482*b - 2027. Does 2 divide m(-1)?
False
Let l(o) = 7*o + 7. Let j be l(-1). Suppose -66*t + 51360 + 25266 = j. Is 51 a factor of t?
False
Let j(z) = z**3 + 12*z**2 + 10*z - 21. Let n be (8/(192/30))/(1/(-4)). Is 52 a factor of j(n)?
True
Let r = 10066 + -9233. Does 119 divide r?
True
Let y(n) = 20*n + 5 + 262*n**2 - 40*n + 13*n. Does 13 divide y(1)?
True
Suppose -5*m - 26545 = -5*b, 17*b - 11*b + m = 31840. Is 14 a factor of b?
False
Let f = -5531 - -9436. Is f a multiple of 13?
False
Let t(j) = -14*j - 92. Let m be t(-21). Let x = 715 - m. Is x a multiple of 16?
False
Suppose -99526*h + 99523*h + 81564 = 0. Is h a multiple of 12?
False
Suppose 4*n - 5*f - 832 = 278, 5*n + 4*f = 1449. Does 2 divide n?
False
Suppose 28*z = 24*z + 8. Suppose s - 4*y + 6 = -2, -3*s + y - z = 0. Suppose -m = c - s*c - 95, 4*c = -2*m + 382. Is 16 a factor of c?
True
Let w(k) be the third derivative of k**5/5 - k**4/8 - k**3 - 43*k**2. Is w(-2) a multiple of 12?
True
Suppose -139*x - 10494 = -128*x. Does 10 divide x*((-42)/252)/((-2)/(-4))?
False
Let l(h) = 2*h**3 - 6*h**2 - 11*h - 5. Let b be l(5). Suppose -8*y + b + 40 = 0. Suppose 8*i = y*i - 608. Is i a multiple of 38?
True
Let t = -35 + -217. Let r = 392 + t. Does 10 divide r?
True
Let p(y) = -32*y**2 + 6*y + 0 - 4 + 35*y**2. Let l be p(-3). Suppose -h - l*z + 42 = 0, h - z - 30 = -2*z. Is h a multiple of 8?
False
Let r(d) be the third derivative of -d**6/120 + 37*d**5/60 - 85*d**4/24 + 11*d**3/2 + 6*d**2 + 9*d. Is 9 a factor of r(34)?
False
Let g = -9 - -12. Suppose h - i + 5 = -2*h, -g*i = -h - 15. Suppose h = 2*z - 11 - 197. Does 17 divide z?
False
Let s(h) = -h**3 + 7*h**2 - 7*h + 11. Let y be s(6). Is (y + (-8 - -2))*-9 a multiple of 2?
False
Suppose -i - 2*r = 8, i = 2*i + 4*r + 12. Is 63*(36/(-14) - (1 + i)) a multiple of 2?
False
Let v(u) = 13*u - 7. Let n be (8/9*3)/((-2)/3). Let r be v(n). Let d = r + 151. Is 23 a factor of d?
True
Let q(s) = -131*s + 6. Let w be q(-14). Let z be 13/(65/w) + 2 + 1. Suppose -126 = -7*t + z. Is t a multiple of 9?
False
Suppose -3 - 3 = 3*k. Let h = k + 43. Let v = -13 + h. Does 4 divide v?
True
Let z(d) = -47*d - 34. Let s be z(-1). Let w = -2 + -1. Let a = s - w. Is 16 a factor of a?
True
Let a(u) = -10*u**3 + 4*u**2 + 71*u + 577. Is 12 a factor of a(-17)?
True
Is (4040/16)/(3 - (-1185)/(-396)) a multiple of 165?
True
Suppose 0 = -171*r + 162*r - 3357. Let h = r - -769. Is h a multiple of 44?
True
Let l(h) = 50*h + 24. Let d(r) = 10*r - 7. Let j be d(8). Suppose -72*q = -j*q + 3. Is 29 a factor of l(q)?
True
Let y(g) = -338*g + 19480. Is y(-8) a multiple of 8?
True
Let c = -85 + 3