4/s*94?
True
Let m be -1 - (163/1)/(-1). Suppose 165 = -r + 50. Let j = r + m. Is 13 a factor of j?
False
Let f = 10 - 9. Does 11 divide 56 - f*5/5?
True
Let f(h) = 34*h**2 + 24*h - 16. Is f(-5) a multiple of 21?
True
Suppose 4*j - 3*b = 23, 2*j - 6 = -b + 3. Suppose 2*c - 1 = -5*s, 4*c + 4*s - 9 = -1. Suppose -c*k + 5*k + 2*p - 26 = 0, 0 = j*k + 2*p - 53. Is 4 a factor of k?
False
Suppose 5*j = -5*w + 10, -2 = -4*j + 3*j. Let x(b) = -b**2 - b + 38. Is x(w) a multiple of 10?
False
Suppose -9*h - h + 60 = 0. Is h a multiple of 3?
True
Suppose -10 = 5*x - 5*v, x + v - 2 = -4. Let t = 15 + x. Is t a multiple of 2?
False
Suppose -2*k + 9 = 463. Is 2 a factor of 42/54 + -1 - k/9?
False
Let h(p) = 39*p - 3. Let t be h(6). Suppose 13*u - 82 + 1928 = 0. Let n = t + u. Is n a multiple of 16?
False
Suppose 0 = -2*t + 4*v + 278, -2*t + 229 = 2*v - 31. Suppose -4*x = 5*k - 376 - t, -4*k = x - 416. Is k a multiple of 7?
True
Suppose 2*f - 302 = 2*q, 2*f = 7*f + 5*q - 705. Is f a multiple of 16?
False
Let t(o) = 2*o**3 + 19*o**2 + 12*o + 7. Let m be t(-9). Let n = 58 + m. Is n a multiple of 38?
True
Suppose 0 = -q + 2*n + 127, 31 = 3*n + 40. Is q a multiple of 5?
False
Let k(r) = 12*r**2 - 48*r - 6. Does 21 divide k(-4)?
True
Let t be 12/15*(-15)/(-1). Let k = t - 9. Suppose -3*g + 168 = -k*l, -3*g + 3*l = 2*g - 284. Is 16 a factor of g?
False
Suppose -4*s - 9 = 7, 0 = -3*n - 2*s - 8. Suppose n*x + 2 = x. Suppose 144 = 4*p + x*p. Is p a multiple of 24?
True
Let a = -42 + 47. Suppose 0 = -3*c + t + 132, a*t = -c + 8 + 36. Is c a multiple of 11?
True
Suppose 3 = r - 0. Suppose r*c = -c. Suppose 3*b - 15 = c, 0 = 4*p + b - 157 - 148. Is 26 a factor of p?
False
Let t(j) be the second derivative of -2*j**3/3 + j**2/2 + 5*j. Let h be t(-2). Suppose h = -3*y + 33. Is 8 a factor of y?
True
Let k(q) = 160*q**2 - 7*q - 7. Does 10 divide k(-1)?
True
Let r be (-53)/(-11) - 2/(-11). Let z be (-2)/r*405/(-9). Let i = -12 + z. Is i a multiple of 2?
True
Let a(f) = -45*f + 3. Does 2 divide a(-1)?
True
Let p(i) be the first derivative of i**4/4 - 11*i**3/3 + 7*i**2/2 + 7*i + 11. Is p(11) a multiple of 21?
True
Suppose 4*q = 1087 + 253. Is 10 a factor of q?
False
Suppose n + 3*n - 440 = -4*k, 3*n - 114 = -k. Is k a multiple of 54?
True
Let d = 774 - 422. Suppose 0 = c + 7*c - d. Is c a multiple of 22?
True
Let b(o) = -2*o - 17. Let t be b(-13). Let d = 12 - t. Is -4 + d + (1 - -18) a multiple of 13?
False
Suppose -3*c = 3, -129 = 3*h - 3*c - 825. Is h a multiple of 21?
True
Let q(x) = x**2 - 2*x + 3. Let j be q(2). Let v = 236 - 232. Suppose -2*b + j*w = b - 93, -v*w + 58 = 3*b. Is 13 a factor of b?
True
Let v = 181 + 75. Suppose v = g + 3*g. Suppose -3*y = -0*y - 5*c - 48, 4*y - c - g = 0. Does 8 divide y?
True
Let h(i) = 12*i - 12. Is h(4) a multiple of 6?
True
Let w(s) = 3*s**2 - 5*s + 2. Let r be w(7). Suppose -42 = -4*t + r. Let i = t + -5. Is i a multiple of 10?
False
Suppose n - 4289 = -b, 8*b - 2*n = 3*b + 21466. Does 116 divide b?
True
Let n be -8 + -4 + -1 + 7. Let j = -6 + 38. Let g = n + j. Does 7 divide g?
False
Let b(j) = 5*j**3 - 4*j**2 - 7*j + 3. Is b(3) a multiple of 9?
True
Let h = 2056 - 362. Suppose -h = 10*g - 21*g. Is g a multiple of 22?
True
Let n(a) = -14*a**2 + 17*a**2 - a**2 - 4 - 6*a. Suppose y - 15 = -3*g, 4*g + 4*y = 2*g. Is 16 a factor of n(g)?
True
Let y = 28 - 15. Let h = 39 + y. Is h a multiple of 13?
True
Suppose -70*t = -73*t - 87. Let r = t + 50. Is r a multiple of 7?
True
Let c be -5*(-7)/(-105) + (-8)/(-6). Is 10 a factor of 27 + c/(2*(-3)/(-6))?
False
Is (-1140)/171*27/(-2) a multiple of 37?
False
Let d(q) = 4 - 21*q**2 + 12*q**2 + 11*q + 5 + 11*q**2. Suppose -2*z + 3*z + 7 = 0. Is d(z) a multiple of 9?
False
Let t(p) = -4*p - 20*p + 4 + 2*p**2 + 8*p. Is 12 a factor of t(11)?
False
Suppose 83 = -10*t + 323. Suppose 22*x = t*x - 624. Is 52 a factor of x?
True
Let q = 20 - 26. Let t be (q/3)/(-1) + 3. Suppose -t*a + 55 + 225 = 0. Is a a multiple of 28?
True
Let h(f) = -4*f - 2. Suppose 4*l - 7*l + 3 = 0. Suppose -k = l + 8. Does 17 divide h(k)?
True
Let s(t) = t**3 - 4*t**2 - 6*t + 33. Does 3 divide s(6)?
True
Suppose 385 = -5*a + 10*a. Let q = a - 21. Is 28 a factor of q?
True
Suppose 4*s = -d + 171 + 211, -5*d + 1835 = -5*s. Is 30 a factor of d?
False
Let v be 2 + -4 - -8 - 3. Suppose -5*z - 25 = -4*w - 0*w, -v*w + 25 = -5*z. Suppose 4*h - 34 - 10 = w. Is h a multiple of 11?
True
Suppose -1 + 126 = -5*z. Let c be (70/z)/(1/(-10)). Suppose 5*w = c + 32. Is w a multiple of 12?
True
Is -1*(-22)/(-4)*(-88 - -52) a multiple of 52?
False
Suppose 20 = 5*p - 0*p. Suppose 0 = -z + p*f + 10 - 3, z - 8 = 5*f. Suppose -34 = -z*l + 14. Does 15 divide l?
False
Let j(k) = -k + 5. Let y be j(4). Is 2 a factor of (y/1)/(16/48)?
False
Let w(v) = -55*v - 7. Is 16 a factor of w(-1)?
True
Let u = -11 + 23. Suppose -22*y - 3*h + 115 = -18*y, -y - 5*h = -33. Let w = y - u. Does 10 divide w?
False
Suppose 3*j - 5*n + 94 = 0, j = 4*j - 2*n + 106. Let f = -23 - j. Does 7 divide f?
False
Let j = 941 + -236. Is 47 a factor of j?
True
Suppose 4*l - 5*i = 13 - 33, 2*l - i + 4 = 0. Suppose l = g - 2*f - 99, 5*f + 17 = 2. Does 28 divide g?
False
Suppose 3*y = 6*y - 75. Let k = y - 18. Is 4 a factor of 17/2*(k + -5)?
False
Let k = -80 + 214. Suppose y = 5*g - 33, g - 1 = 3*y + 14. Suppose -g*v + k + 130 = 0. Is v a multiple of 11?
True
Let l be (-2)/((-6)/15)*(1 - 0). Let o(a) = 9*a**2 + 3*a - 22. Is 37 a factor of o(l)?
False
Let s be 3/(-12) - 26/(-8). Suppose -2*y + 126 = 3*c - 0*y, -105 = -s*c + 5*y. Let v = 74 - c. Does 10 divide v?
False
Suppose 551 = c + 5*q, 0 = -2*c - 0*q - 3*q + 1137. Let d be c/(-15) - (-3)/(-5). Let h = d - -87. Is 12 a factor of h?
True
Is 65 a factor of (2600/70)/((-4)/(-126))?
True
Let p(c) = 1. Let n(g) = 58*g + 2. Let o(m) = -n(m) - 2*p(m). Is 23 a factor of o(-1)?
False
Let s(l) = -45*l**3 - l**2 + 3*l. Let a be s(-2). Suppose 2*f + 3*f - a = 0. Is f a multiple of 5?
True
Suppose -a = -2*y - 47, -4*y - 3*a = -0*a + 89. Let c = 41 + y. Is c a multiple of 9?
True
Let w be (3 - (-24)/(-9))*60. Suppose -w = 4*b, 4*t + 5*b - 250 - 49 = 0. Does 21 divide t?
False
Let p(s) = 6*s**2 - 4*s - 3. Suppose 3 = -8*k - 13. Is p(k) a multiple of 19?
False
Suppose 2*x - 2 = -0*x. Let i be (-1)/(((-2)/4)/x). Suppose -i*l + 227 = 5*p - 4*l, -3*l = 4*p - 177. Is p a multiple of 17?
False
Let r(f) = -222*f**3 + 4*f**2 - 17*f + 6. Let a(t) = -110*t**3 + 2*t**2 - 8*t + 3. Let v(z) = -7*a(z) + 3*r(z). Is 13 a factor of v(1)?
True
Suppose 0 = 3*t - 7*l + 3*l - 1100, 3*t + l - 1120 = 0. Is t a multiple of 22?
False
Suppose 0 = -0*v + 4*v + 28. Let c = v - -10. Suppose 0 = -4*i - 2*b + 328, 320 = 4*i + c*b + b. Is i a multiple of 21?
True
Let c be -3 + -28*(2 - 3). Does 11 divide 9/15 - (-260)/c?
True
Suppose -4*f + 0*f + 264 = 0. Let a = -46 + f. Is 4 a factor of a?
True
Let f be ((-972)/2)/(-2) - (-3 - -1). Let r = -69 + f. Does 44 divide r?
True
Suppose 7*h + 83 = x + 2*h, -x = h - 113. Let w = x - -2. Is 10 a factor of w?
True
Suppose 0 = -37*j + 82*j - 16470. Is 14 a factor of j?
False
Let l = 722 + -433. Is l a multiple of 2?
False
Suppose -3*h = -3, -4*h - 6 = -4*y + 2. Suppose y*x = -x. Suppose -4*f + 2*o = -38, -2*f = -3*o - x*o - 25. Is f a multiple of 3?
False
Let n be (-27)/18*104/(-6). Let d be (-3)/(-3 - (-75)/n). Let h = d + -3. Is h a multiple of 12?
False
Suppose -o + 40 = -v - v, -4*o - 2*v + 190 = 0. Does 3 divide o?
False
Let a = -1 + 9. Let f be 195*a/(-20)*1. Let b = -55 - f. Is 20 a factor of b?
False
Let y(v) = 14*v + 9. Let z(s) = 7*s + 4. Let h(n) = -3*y(n) + 7*z(n). Let m(c) = -c + 4. Let j be m(2). Is 12 a factor of h(j)?
False
Suppose 160 = 7*a - 4523. Is 4 + (-68)/16 + a/4 a multiple of 50?
False
Let g(o) = -o**3 - 52*o**2 - 119*o - 150. Is g(-50) a multiple of 80?
True
Suppose z = 3 - 327. Let n = 472 + z. Is n a multiple of 37?
True
Suppose 4*r + 2*d - 12 = 0, 5*r - 2 = d + 27. Let k be (-2)/(-4)*(9 - r). Suppose -k*t + t + 13 = 0. Is t even?
False
Suppose 0 = -9*p + 6*p. Suppose p = 7*t - 2*t + 10. Is 0/(-3 + -1) - t even?
True
Let d(y) = 5 - 4 - 5 + 5*y + 0. Let j = -21 + 32. Is d(j) a multiple of 25?
False
Suppose 2104 = 5*x + 4*q, 2*x - 2*q = 5*x - 1262. Is x a multiple of 21?
True
Let g(y) be the second derivative of -y