de u(-8)?
False
Is 19 a factor of 7/((-14)/(-372)) + 13 + -18?
False
Let m be 3 - (-18)/(-1 - 2). Let x(c) = 9*c**2 + 5*c + 2. Let t be x(m). Suppose -q = 3*l + 13 - t, 0 = l + q - 21. Does 13 divide l?
False
Suppose -115*o = -110*o - 170. Is o a multiple of 2?
True
Suppose -2*t = w - 9, 2*w = -t + 3*t - 24. Let v(z) = z**2 - 3 + 2 + 6*z + 2 + t. Is 5 a factor of v(-6)?
False
Let m(q) = -q**2 - 7*q - 4. Let t be m(-6). Suppose -48 = t*s - 3*s. Is s a multiple of 11?
False
Let t(r) = -23*r - 20. Let z(j) = j**2 - 9*j + 9. Let k be z(2). Is 21 a factor of t(k)?
False
Suppose -5*n = 2*d - 6 - 19, -5*d + 31 = 2*n. Let r(g) = g**3 - 4*g**2 + 2*g - 11. Is r(d) a multiple of 10?
False
Let y = -31 - -34. Suppose -4*k - 200 = -6*k - 4*f, -y*f - 179 = -2*k. Does 21 divide k?
False
Let n(a) = -a**3 - a**2 - 3*a. Let x(j) = -3*j**3 - 4*j**2 - 9*j. Let d(v) = -17*n(v) + 6*x(v). Is 7 a factor of d(-7)?
True
Suppose -5*u + s + 13132 = 0, -23*u + 18*u = 4*s - 13122. Is 66 a factor of u?
False
Let m(q) = 18*q**2 + 10*q + 37. Is 10 a factor of m(-4)?
False
Let d(c) = 82*c - 156. Is d(6) a multiple of 21?
True
Suppose -n + 3*n = 1000. Suppose t = -5*l + 104, -5*t - 5*l = -0*t - n. Does 33 divide t?
True
Let l(t) = t + 1. Let o be l(2). Suppose -o*s + 6*k + 106 = k, -s + 42 = 5*k. Is s a multiple of 9?
False
Suppose -5*g + 0*u + 3*u = -560, -5*g + 555 = -4*u. Is 22 a factor of g?
False
Suppose -2950 = -5*d + 775. Is d a multiple of 5?
True
Suppose 0 = 3*g, -3*x + 24 = x - 4*g. Let d = 11 - x. Is 3 a factor of 3/15 + 49/d?
False
Let l be 4/5 - (-1)/((-25)/95). Is 3 a factor of (69/12 - l) + 4/16?
True
Let o(y) = -75*y + 66. Is 21 a factor of o(-5)?
True
Suppose -12*i + 690 + 1038 = 0. Does 10 divide i?
False
Suppose -2*q + 6771 = 5*i, 24 - 19 = -5*i. Is q a multiple of 22?
True
Suppose 0 = -0*x + 5*x - 20. Suppose r - x + 7 = 0. Is 3 a factor of r/((-6)/2)*9?
True
Let v be (-6)/(-9) - (-422)/6. Let a = -49 + v. Is a a multiple of 12?
False
Suppose 4*x + 5*j = 9*x, 5*x = 2*j + 6. Suppose -3 = -x*i + 23. Let o = i + -4. Is o a multiple of 9?
True
Suppose 3*l = -2*n + 348, 0*n - 2*n + l = -356. Suppose -2*w + 101 = -0*w + h, -4*w = -3*h - n. Is 14 a factor of w?
False
Let u be 425/51*(-6)/(-2). Suppose 6*x - 5*x = u. Suppose -4*w + 6*w - 4 = -k, 5*w - x = -4*k. Does 5 divide k?
True
Let l = -528 + 536. Let h = 44 - 66. Let w = l - h. Is w a multiple of 10?
True
Let v be -2 + -2 + (46 - 5). Suppose -g + 6*g + 40 = 0. Let o = v - g. Is o a multiple of 15?
True
Suppose -37*t + 33*t + 24 = 0. Let d(j) = -j**3 + 7*j**2 - j - 6. Is 24 a factor of d(t)?
True
Let a = -12 + 13. Is 3/((-24)/(-40)) + 2*a a multiple of 7?
True
Suppose -1427 = -5*a - 202. Does 56 divide a?
False
Suppose -2*y = -3*t + 199, 7*t - 3*y = 2*t + 331. Is t a multiple of 65?
True
Suppose -3*g = -8*g. Suppose -n + s = -0 - 6, 5*n - 4*s - 30 = g. Does 6 divide n + 3 + -3 + 0?
True
Suppose -3*w = -0 + 6. Let a be 4/w*9/9. Let s = 9 + a. Is s even?
False
Let v = 131 + -87. Let g = 217 + -108. Let w = g - v. Does 25 divide w?
False
Suppose -2 = -2*p - 0. Suppose -5 = h + p. Let d = -3 - h. Is 2 a factor of d?
False
Suppose -9*f = -4*f. Suppose -2*j + 1 = -f*j + 3*v, -v = -2*j + 5. Suppose 14 + 20 = j*x. Does 6 divide x?
False
Suppose 2*n + 10 = 2*y - n, 4*n + 8 = 0. Suppose y*r = 15 + 11. Is 13 a factor of r?
True
Suppose 0 = t - 4, 3*j - 4184 = 4*t + 5718. Is 58 a factor of j?
True
Let b = 96 - 31. Is b a multiple of 29?
False
Is 3 a factor of 38 - -2*(2 + -5)?
False
Let q be 6/4*20/30*97. Suppose -h - l + q = -4*l, l + 91 = h. Does 22 divide h?
True
Let v(p) be the third derivative of -p**6/120 - 2*p**5/15 + 5*p**4/12 - 7*p**3/6 + 2*p**2. Let g be v(-9). Let y = 27 + g. Is 2 a factor of y?
False
Is 33 a factor of (18 - 12)/(2/220) - -6?
False
Let l(v) = 7*v**3 + 5*v**2 + 2*v - 44. Is l(4) a multiple of 12?
True
Suppose t - 9 = -0*p - 3*p, -t + 6 = 2*p. Suppose 6 = 2*o - 8. Suppose -o*g + 3*g + 256 = t. Does 14 divide g?
False
Let f(p) = 18*p - 15. Let w be f(6). Let k = -78 + w. Is 15 a factor of k?
True
Suppose -176 = 20*j - 956. Is j a multiple of 13?
True
Let i = -2066 - -2335. Does 90 divide i?
False
Let y be 56/10 + (-4)/(-10). Suppose y*p = -6*p + 3372. Does 19 divide p?
False
Let l(x) be the third derivative of x**6/120 + x**5/10 - 5*x**4/12 - 2*x**3/3 + x**2. Let i(v) = -2*v**2 - v - 1. Let u be i(-2). Is l(u) a multiple of 6?
False
Let t = 8 + -13. Let d(a) be the second derivative of -5*a**3/3 + 4*a**2 + 3*a. Does 16 divide d(t)?
False
Let g = 8 - -2. Let i = -479 - -482. Suppose -238 = -i*c - g. Does 15 divide c?
False
Let f(m) = -m**3 + 18*m**2 - 20*m + 21. Is f(14) a multiple of 35?
True
Let i be (-1 - -6)*20/(-25). Let u = i - -4. Suppose -3*c = -u*c - 51. Does 14 divide c?
False
Suppose 2*m + 16 = -2*m. Does 9 divide m - (-4 - (1 - -30))?
False
Suppose 2*s - 33 = -s. Suppose -149 = -4*d + s. Does 3 divide d/(-12)*-3 + -3?
False
Let k = -85 + 141. Suppose p = -x + k, 0*x = -p - 2*x + 55. Does 5 divide p?
False
Let u(g) = -g**3 - 9*g**2 - 31*g - 4. Is 4 a factor of u(-13)?
False
Let a(d) = -d**2 - 10*d + 3. Let y be a(-8). Let t = -19 + y. Suppose -3*q - 5*r + 156 = t, 2*r + r - 150 = -3*q. Does 18 divide q?
False
Let b be (0/1)/(-15 - -12). Suppose -3*y - 5*z + 195 = b, -5*y + 451 = 5*z + 116. Is y a multiple of 35?
True
Let o(m) = -m**3 - 5*m**2 - m - 3. Let l be o(-5). Let k(u) = -u + l + u**2 + 4*u - 5*u**3 - u. Does 14 divide k(-2)?
True
Let d(l) = -11*l + 187. Does 11 divide d(14)?
True
Suppose 3*k - 14 = 4. Let a be (28/k)/((-16)/(-72)). Suppose 0 = -2*z - a + 93. Does 12 divide z?
True
Let t(h) = -190*h - 102. Is t(-2) a multiple of 49?
False
Let j(r) = -r**3 - r**2 + 5*r + 7. Let n be j(-3). Suppose 118 = f + n. Is f a multiple of 27?
True
Let p(l) = 13*l**2 + 4*l + 3. Suppose 15 = -0*x + 5*x. Is 8 a factor of p(x)?
False
Is 1/(9/(-153054)*-11) a multiple of 16?
False
Let c(o) = 24*o**2. Let n be c(-1). Suppose l - 1 = 6. Let z = n + l. Is z a multiple of 7?
False
Suppose -274 + 86 = -3*z + 4*y, -2*z + y = -132. Suppose z = 6*u - 2*u. Is 17 a factor of u?
True
Let t(g) = -6*g**3 + 4*g**2 + 3*g - 3. Let p(k) = -k**3 + 1. Let f(a) = 4*p(a) - t(a). Is 4 a factor of f(3)?
True
Let m = -4 + 21. Suppose h = -2*l - 2*l + m, 2*h - 5*l = -5. Suppose 4*s = -9*b + 4*b + 7, 1 = -3*s - h*b. Is s even?
True
Let k(g) = 9*g**3 - 14*g**2 + 35*g + 9. Is 40 a factor of k(4)?
False
Let o = 16 - 13. Let b be (0 - 1 - -35) + -2. Is (b/12)/(1/o) even?
True
Let g(a) = -a**3 - 11*a**2 - 23*a - 6. Suppose x = o - 6, 2 = 3*o + 11. Does 13 divide g(x)?
True
Let h(k) = 17*k + 83. Is h(-4) a multiple of 2?
False
Let z(m) = -m**3 + 17*m**2 - 16*m - 15. Suppose -13*y + 19*y - 90 = 0. Is z(y) a multiple of 44?
False
Let k(j) = -5*j - 7. Suppose -3*m + 10 = 5*w, 0 = m + 3*w + w - 15. Is k(m) a multiple of 6?
True
Is ((-1654)/3)/((-58)/87) a multiple of 9?
False
Let k(r) = 6*r + 60. Is 20 a factor of k(20)?
True
Let h(r) = r**3 + 16. Let z be h(0). Let c be (-2)/(-13) - (-8 + 603/117). Suppose c*x + 69 = 5*d - z, 0 = -d + 4*x. Is d a multiple of 10?
True
Let h(i) = -i**2 - 2. Let z be h(6). Let l be ((-5)/(-2))/(3/(-102)). Let f = z - l. Is f a multiple of 19?
False
Suppose 5*i + 54 = -1. Let w = 27 - i. Does 19 divide w?
True
Suppose 0 = 4*d - 2*d - 20. Suppose -16*r = -18*r + 4. Suppose d = -r*q, q - 21 = -b + 2*q. Is b a multiple of 4?
True
Suppose 5*b + 27 = 62. Let l(x) = 3 + 5*x - 1 + 7*x**2 - 4*x**3 + 3*x**3. Is 8 a factor of l(b)?
False
Let r(z) = -2*z**3 - z**2 - 6*z - 7. Let m(f) = -2*f - 13. Let i be m(-5). Is r(i) a multiple of 7?
True
Let d(p) = -p**3 - 7*p**2 + 7. Let n be d(-7). Suppose 0 = -u - 3*f + 8, 3*u = 3*f - n*f + 14. Suppose -u*m - 5*t + 37 = -18, 6 = 2*t. Is m a multiple of 10?
True
Suppose 3*u = 4*w - 45 - 13, -3*u = -5*w + 74. Let p = w - 26. Does 16 divide (-24)/45*12*p?
True
Let l = 182 - -273. Suppose h - 2*h - 564 = -5*v, -3*h = 4*v - l. Suppose 0 = -4*f + 79 + v. Is f a multiple of 24?
True
Let w be ((-4)/8)/((-1)/4). Let g(l) = -3*l**w - 7 - 8*l + 1 + 2*l**2 + 0*l**2. Is g(-5) a multiple of 9?
True
Suppose -2*z - 2*k + 1364 = 2*k, -2*k - 4 = 0. Let i = -386 + z. Does 39 divide i?
False
Let x be (-729)/21 + 4/(-14). Let z = x - -80. Suppose 4*k + k = z. Is k a multiple of 9?
True
Sup