or of u - (-3)/(-9)*-3?
False
Let y(r) = -r**2 + r + 7. Let p be y(-2). Does 5 divide 4*(p + 4/4)?
False
Let p(h) = 9*h + h - 4 + 4. Let t be p(12). Suppose -15*g = -19*g + t. Is g a multiple of 8?
False
Suppose -4*c - 5 = -s - 20, 5 = 3*s - 2*c. Suppose 0 = 3*n - s*j - 398 + 73, -3*n = 3*j - 309. Does 15 divide n?
True
Suppose h = 3*g + 830, 4*g + 20 = -0. Is 48 a factor of h?
False
Let i be (2 - -1)*(-96)/8. Let q = 15 + i. Does 11 divide (-480)/q + 5/35?
False
Suppose -3*y = 6, -16*j + 21*j - 1624 = 2*y. Is 6 a factor of j?
True
Let p(x) = x**3 + 19*x**2 + 13*x + 18. Does 4 divide p(-16)?
False
Suppose -56*s - 16 = -184. Let w = 22 - 16. Suppose s*z - w*z = -102. Is z a multiple of 12?
False
Let h be (-1)/((2 + -6)/(-16)). Let o be 2/(-5) + h/(-10). Suppose -j + o*j = -x + 28, 5*j + 78 = 3*x. Does 9 divide x?
False
Suppose 351 = g + 2*w, -g + 5*w + 97 = -261. Does 96 divide g?
False
Suppose -6*v + 282 + 630 = 0. Is v a multiple of 8?
True
Suppose 5*n - 12*i = -9*i + 4718, i = 4*n - 3780. Is 43 a factor of n?
True
Suppose -2*f = 4*s + 16, -4*f + 4*s + 2 = -2. Does 3 divide f/((-4)/32 + 0)?
False
Suppose -2075 = -9*n + 409. Does 8 divide n?
False
Is 10 a factor of (32 + (3 - -5))*4?
True
Let n = -38 + 29. Let y = n + 43. Is 17 a factor of y?
True
Suppose 3*m + 4 + 5 = 0. Let d be m/(6/4) + 4. Suppose -6 = -d*u + 5*v, 4*u - 12 = v - 4*v. Is 2 a factor of u?
False
Let q = -5 - 7. Does 24 divide (-44)/q + (-4)/6 - -141?
True
Let b(m) = 18*m**2 - 20*m + 177. Is b(15) a multiple of 11?
True
Let b(a) = -a**2 + 17*a - 6. Suppose 30 = -5*z + 7*z. Is 6 a factor of b(z)?
True
Let r be (-10)/(-20)*(1 + 9). Is 14 a factor of (r + -6 - -243) + 4/(-1)?
True
Let k be ((-4)/6)/((-4)/24). Suppose -v - 4*w = -w - 8, -k*w = 2*v - 20. Is 9 a factor of v?
False
Let h be (-6)/45 - (-488)/60. Is 24 a factor of (-1)/1*h*-6?
True
Is ((-65)/20 - -3) + (-2290)/(-8) a multiple of 11?
True
Let k(o) = 2*o**3 - 2*o**2 - 5*o + 4. Does 3 divide k(4)?
False
Let t(h) = -h**3 - 9*h**2 - 11*h - 12. Let p be t(-8). Let d = p - 11. Is 4 a factor of d + 2 + 16 + -1?
False
Does 81 divide (2 + 376)*(-2 + 35/10)?
True
Does 13 divide (-96)/(7 - -5) + 2167?
False
Suppose 5*r = -0*r + 180. Let y = 4 - 1. Suppose 3 = y*u - r. Does 5 divide u?
False
Let x = -133 + 469. Is 6 a factor of x?
True
Let f = -303 + 183. Let p = f - -248. Does 32 divide p?
True
Let b(c) = -2*c + 4. Let p be b(3). Is 8 a factor of (-5028)/(-32) - p/(-16)?
False
Let j = -2559 - -4439. Does 94 divide j?
True
Let n(s) = 4*s**3 - 6*s**2 + 5*s + 7. Is n(3) a multiple of 19?
True
Let y(v) = 280*v**2 + 17*v + 17. Is 10 a factor of y(-1)?
True
Suppose 49*x = -36016 + 138622. Does 12 divide x?
False
Let i(f) = f**3 - 5*f**2 - f - 7. Let s be i(5). Let c = s - -43. Is 19 a factor of c?
False
Is ((-594)/(-88))/(-27) + 3969/4 even?
True
Suppose 0 = -3*t - 1 + 4. Is (34 + t)*(-5 - (-325)/35) a multiple of 30?
True
Let m(p) = -p**3 - 10*p**2 - 11*p - 6. Let o be m(-9). Suppose -6*h + 4*h + o = 0. Suppose h*l - 252 = 2*l. Is 21 a factor of l?
True
Let i be -3 - -1 - (-183 + -2). Let r = -100 + i. Is r a multiple of 20?
False
Let a(k) = -5*k - 9*k + 16*k - 8 - 17*k. Does 17 divide a(-7)?
False
Suppose -7831 = -15*o - 2071. Is o a multiple of 24?
True
Let k = 7 - -60. Suppose 2 - k = -o. Does 13 divide o?
True
Suppose 3*v - 4*q - 89 = 0, v = -0*v - 5*q + 55. Let m = 72 - v. Suppose m = u + 2*z, 0*u = -u + 4*z + 13. Is u a multiple of 29?
True
Let s be 6 + 1 - (-2 + 4). Let l = -23 - -8. Is (-6)/l - (-258)/s a multiple of 13?
True
Let o(s) = s**3 + 5*s**2 - 7*s + 5. Let k be o(-6). Let f(d) = 2*d + 17. Is 9 a factor of f(k)?
False
Let t(d) = 12*d**2 - 5*d + 5. Let q = 23 - 19. Suppose 2*b + q = 8. Is t(b) a multiple of 9?
False
Does 88 divide ((-2)/2 - 24/(-36))*-4281?
False
Let c be 8/2 - (10 - 10). Suppose -b + 4 = 3*f, 0 = c*b + 27 - 7. Is 7 a factor of 18*(5/f + -1)?
False
Suppose 0*x + 3*x - 1056 = 0. Suppose -5*v - 4*t - x + 943 = 0, -1 = t. Is 17 a factor of v?
True
Let k = 172 + 99. Does 42 divide k?
False
Suppose 4*j + 10 = -2*y - 12, -5*y = -j. Let b(r) = -12*r + 20. Let t(x) = -1. Let u(f) = y*b(f) - 3*t(f). Is u(8) a multiple of 24?
False
Let s(w) = 54*w - 9. Is 7 a factor of s(1)?
False
Suppose -5*f - 17 + 42 = 0. Suppose f*w + 10 = 0, 15 = s - 2*w - 19. Does 17 divide s?
False
Suppose 0 = n + n + v - 10, -1 = n - v. Suppose -4 - 2 = -n*a. Suppose a*q = 6*q - 96. Does 15 divide q?
False
Let u = 5406 - 3515. Is u a multiple of 61?
True
Let y(t) = t**2 + 6*t - 1. Let g be y(-5). Is 0 - 3/g - (-45)/2 a multiple of 5?
False
Let o(u) = -287*u + 26. Is 40 a factor of o(-2)?
True
Let j = 19 + -18. Suppose -5 + j = -4*r. Suppose -g - 62 = -5*w + g, 0 = g + r. Is w a multiple of 6?
True
Let o(i) = 2 - 3*i**2 - 11*i**3 - 64*i**3 - 2 - 2*i. Is o(-1) a multiple of 7?
False
Suppose -3*i - 3*d + 186 = 0, 2*i - 2*d + 319 = 7*i. Is i a multiple of 21?
False
Let b(c) = -c**3 + 54*c**2 + 2*c - 97. Does 11 divide b(54)?
True
Is 28*((-161)/(-28) + 5) a multiple of 10?
False
Suppose 4100 = 5*g - i - 222, -3*g = 2*i - 2588. Is g a multiple of 36?
True
Suppose -9 + 1 = -4*v. Suppose -v*q + 3*q - 5 = 0. Let p = 12 + q. Does 13 divide p?
False
Let b(t) be the second derivative of t**4/12 - 11*t**3/6 - 15*t**2/2 - 5*t. Does 15 divide b(-9)?
True
Suppose -y + 5 = 0, -d - 4*y + 13 = -11. Suppose 5*v = -i + d*i + 64, -2*v = -i - 23. Does 10 divide 6 + (1 - 4) - i?
False
Let s(n) = -43*n - 16. Suppose 5*b + 55 = -5*f, 2*b + 13 = -2*f + 3*b. Is 14 a factor of s(f)?
False
Let f(l) = -l. Let j be f(-2). Suppose 0 = -j*i + 7*i. Is (-4)/(8/(-130)) + i a multiple of 26?
False
Suppose 4*m - 2*o - 922 = 972, -3*m = 5*o - 1440. Does 8 divide m?
False
Suppose 2*a = 8 - 28. Let r = 8 + a. Is 23 a factor of -2 + (23 - r) + 0?
True
Let n(x) = 2*x**2 + 23*x + 11. Let o be n(-11). Suppose -2*d + 85 + 79 = o. Is 12 a factor of d?
False
Let o be 3/2*120/9. Let i = 23 - o. Does 3 divide i?
True
Let i(w) = -w**3 - w**2 - w - 3. Let d be i(0). Let v be -22 - -19 - (0 + -1 + 1). Is (v - 2*d) + 3 a multiple of 6?
True
Suppose -2*s - a - a - 2 = 0, -s = -2*a - 8. Suppose -s*r + 6 = -r - l, -4*l - 9 = -r. Suppose 2*m - m + 15 = y, -2*y = -r*m - 36. Is y a multiple of 6?
False
Let q = -33 + 28. Let c(v) = -2*v + 6. Let i be c(-8). Is 9 a factor of i/q*1*-5?
False
Let x be (6/8)/(7/28). Suppose 0 = 4*v + h - 229, v = -4*h + x + 43. Does 29 divide v?
True
Let a be 153/12 - (-6)/(-8). Let g(v) = -5*v - a - 3*v + v. Does 12 divide g(-6)?
False
Suppose 5*k + 0*k - 25 = 0. Suppose 0*v - 30 = -k*v. Suppose v*p - 200 = p. Is 20 a factor of p?
True
Let x = 923 - 600. Is x a multiple of 7?
False
Let u(z) = 15*z + 3. Let s(d) = -d - 11. Let v be s(-12). Is 6 a factor of u(v)?
True
Let w = -23 - -48. Suppose -m + 2*o - 5 = 0, -3*m - 5 - 3 = o. Let t = m + w. Does 6 divide t?
False
Let j(z) = -3*z - 3. Let r be j(3). Is 2/r + ((-1178)/(-12) - 4) a multiple of 5?
False
Suppose -25*u + 24*u = 0, 2*m - 7012 = u. Is 18 a factor of m?
False
Let q = 40 - 31. Suppose q*o + 264 = 12*o. Is 22 a factor of o?
True
Suppose 4*q - 389 = -w + 762, -1455 = -5*q + 2*w. Is q a multiple of 17?
True
Let l(j) = 7 + 19 + j - 3. Is 12 a factor of l(-11)?
True
Let b(a) = -24 + 3*a - 21 + 6 - 27. Let j(g) = -2*g + 44. Let l(k) = -5*b(k) - 7*j(k). Is l(12) a multiple of 10?
True
Let f = 300 - 272. Is 2 a factor of f?
True
Suppose 4*k = -2*k - 306. Let d = 57 + k. Is 6 a factor of d?
True
Is 13 a factor of (-4042)/(54/99 - (-112)/(-44))?
False
Suppose 0 = -3*j - 10 + 19. Suppose 0 = 5*s + 2*x - 673, -j*s + 4*x = -4*s + 149. Is s a multiple of 19?
True
Suppose 3*m - 1050 = 2*t, -2*m = -3*t + 296 - 1001. Is 6 a factor of m?
True
Let q be 24/(-42) - (-411)/21. Let d = 18 - 29. Let l = d + q. Does 8 divide l?
True
Suppose -5*v = -0 + 15, l + 5*v + 1 = 0. Is 2 a factor of 9/(-3 - 0) + l + 2?
False
Is 91 a factor of (-22255)/(-5) + 6 + -4 + -7?
False
Let m(t) be the third derivative of 149*t**4/24 + 2*t**3/3 - 29*t**2. Is 22 a factor of m(1)?
False
Let t = -1396 - -1756. Does 36 divide t?
True
Let b be (-2)/(-19) - (0 - (-6684)/(-38)). Let m be (0 - -2)*2 + -1. Suppose -b = -f - m*f. Is 11 a factor of f?
True
Let l be -8 + 1 + -1 + 0. Let r be 0 + l/(-2) + -2. Let f(p) = 8*p + 2. Is 8 a factor of f(r)?
False
Let z