 3*o**2. Is 8 a factor of f(-7)?
True
Let w be 3 - (254 + 2 - 0). Let o = w + 397. Is o a multiple of 33?
False
Let q be (2/(-5))/(2/(-10)). Let g be -3*(-3 + 56/24). Suppose 5*s = -g*p + 163, -q*s + p + 67 = -0*p. Is 19 a factor of s?
False
Let p = -35 - -35. Suppose 4*b - 3*b - 4 = p, -4*c = -2*b - 432. Is 16 a factor of c?
False
Let y(c) = -c - 1. Let o(g) = -19*g + 12. Let k(h) = -o(h) + 2*y(h). Is 20 a factor of k(2)?
True
Suppose 4*b + 24 - 8 = 0. Let k(i) = -i**3 - 4*i**2 - 3*i - 10. Let o be k(b). Let z(g) = 8*g**3 + 2*g**2 - 2*g - 2. Does 30 divide z(o)?
False
Let j(v) = v**2 - 38*v + 35. Does 16 divide j(42)?
False
Let d = 28 + -16. Let h = d + -1. Suppose 15*n - 176 = h*n. Is 12 a factor of n?
False
Let x(l) = 9*l + 13. Let p be x(3). Is 4 a factor of 80*(2 + p/(-25))?
True
Suppose 3 - 12 = -3*h. Suppose 0*y + 183 = h*y. Suppose 2*c + 3*c = -3*z + 63, -z + y = 5*c. Is 5 a factor of c?
False
Let k = 446 - 317. Let r = 321 - k. Is r a multiple of 24?
True
Let a = 3155 - 1178. Is 56 a factor of a?
False
Let r(l) = 2*l**3 - 12*l**2 + 13*l - 8. Let o be r(5). Suppose -1 = -4*n + 3. Is 17 a factor of o*(0 - n)*-4?
False
Let h = -16 - -28. Let n be 184 + -3*(-8)/h. Suppose 5*b - n = 2*b. Is 18 a factor of b?
False
Suppose 4365 = 3*x - 5*k, -4*k - 9 = 3. Is 19 a factor of x?
False
Let k(n) be the first derivative of -9*n**2/2 + 5*n - 6. Is k(-11) a multiple of 35?
False
Let x = -193 + 641. Is 32 a factor of x?
True
Let d(i) = 159*i + 415. Is 33 a factor of d(6)?
False
Let h(s) = s**2 + 2*s - 23. Is 8 a factor of h(-9)?
True
Let o = -1 - -3. Suppose 4*x - 291 = 2*x + 3*w, 0 = -o*x - w + 295. Does 26 divide x?
False
Suppose 2*a = 5*a. Let g = 5 - a. Suppose 0*h + 4*h = 3*w + 364, -g*h + 452 = -3*w. Is 31 a factor of h?
False
Let j(o) = 2*o**2 + 6*o - 5. Let i be j(-6). Suppose 13*n = 15*n - 24. Suppose n = z - i. Does 10 divide z?
False
Let y(n) = n**3 - 8*n**2 - 6*n - 4. Let w be y(9). Suppose 2*t - 53 - w = 0. Suppose t - 102 = -4*i. Does 16 divide i?
True
Let z(i) = i**2 - i - 19. Let b be z(-3). Let w(c) be the second derivative of c**4/12 + c**3/2 - 8*c**2 + c. Is w(b) a multiple of 9?
False
Let h = 0 - 1. Let p(n) = -22*n - 1. Let f be p(h). Suppose 3*a - 2*a - f = 0. Is a a multiple of 8?
False
Let m = -11 + -9. Let p be m/(-50) + 16/10. Suppose -p*o - o = -2*s - 62, 0 = -o - 2*s + 10. Does 6 divide o?
True
Is 8 a factor of 587/5 + 7/((-35)/2)?
False
Let n = 1232 + -1106. Does 42 divide n?
True
Suppose 0 = 4*i - f - 523, -19*f - 133 = -i - 18*f. Is 18 a factor of i?
False
Let u(g) = 3*g**2 - g + 1. Let o(v) = 2*v**2 + 1. Let i(j) = -2*o(j) + 3*u(j). Suppose -101*p = -105*p - 12. Is 20 a factor of i(p)?
False
Let t = -73 + 289. Is t a multiple of 36?
True
Let t be (-25)/(-3) + (-4)/12. Is 16 a factor of 706/4 + (0 - 4/t)?
True
Suppose 6*o - 25 = o. Suppose 0 = -4*a + o*a + 2. Is 10 a factor of (5/a)/((-10)/120)?
True
Let x(b) = -b**3 - 8*b**2 - 2*b - 4. Let r be x(-6). Let g = -34 - r. Let l = -14 + g. Is l a multiple of 16?
True
Suppose 4*t + 195 = s + 3*t, -2*t + 406 = 2*s. Let b = s - 111. Does 13 divide b?
False
Let f(y) = -29*y - 170. Is f(-18) a multiple of 22?
True
Is 6 a factor of (-2 + 62)*(-80)/(-50)?
True
Suppose -5*g = 5*f - 60, 6*f - f - 2*g - 95 = 0. Let v = -9 + f. Let z = v - -18. Does 13 divide z?
True
Let n be (10/(-15))/(4/30). Let a(k) = -63*k - 4. Let c(x) = 62*x + 3. Let o(g) = n*c(g) - 4*a(g). Is 28 a factor of o(-1)?
False
Let c be 4 + (7 - (-1 + -3)). Suppose 0 = -10*k + 7*k + c. Suppose -2*m + 100 = k*j, -256 = -4*m + j + 3*j. Is 14 a factor of m?
False
Suppose 50 = -d - d. Let j = -22 - d. Is (j - 2)*0 - -30 a multiple of 10?
True
Let k(p) = -p**2 - 6*p + 3. Let c be k(-6). Suppose -c = -5*f + 7. Suppose -61 = -2*q + j, -q - f*j = -0*q - 43. Does 13 divide q?
False
Let r(v) = -23*v - 5. Let c be r(-2). Let l = c + 49. Is l a multiple of 15?
True
Let l be 12/54 - 43/(-9). Let o(t) = -11*t + 3. Let p be o(l). Let j = 77 + p. Is 12 a factor of j?
False
Suppose 3*o + 1094 = 2*v, -2*v - 9*o - 2176 = -6*v. Is v a multiple of 79?
True
Let r = 31 - 25. Let o(h) = h**3 - 4*h**2 + 8. Does 16 divide o(r)?
True
Is (8 - 13)/(1*1/(-30)) a multiple of 10?
True
Suppose 0 = 11*r - 13*r + 680. Suppose 3*s = -7*s + r. Is 13 a factor of s?
False
Suppose 2*i - 153 = 823. Does 18 divide i?
False
Let h(w) = 6*w**3 - 2*w**2 + 4*w - 4. Let z be h(-4). Does 36 divide 4/(-6) - (z/6)/1?
True
Suppose -6*s = -2*s + 3*j - 5339, 6670 = 5*s + 5*j. Is s a multiple of 75?
False
Let f(c) = 5*c**3 - c**2 + 5*c + 5. Does 15 divide f(3)?
False
Suppose 7*i - 315 = -8*i. Is i a multiple of 21?
True
Let c be 1/(434/(-876) - 1/(-2)). Let w = c - 148. Is w a multiple of 19?
False
Suppose -d + 334 = -5*h - 583, -4*d = h - 3752. Does 42 divide d?
False
Suppose y - 561 = -a + 1517, a + 3*y = 2080. Is a a multiple of 30?
False
Let q = -6 + 10. Suppose 0 = p - q*p + 108. Is 9 a factor of p?
True
Suppose 0 = 28*f - 27*f - 357. Does 44 divide f?
False
Let m(z) = -3*z**2 + 0 + 3*z**2 - 3 - 4*z + 3*z**2. Let t be m(-3). Let q = 0 + t. Is q a multiple of 12?
True
Let g(h) = 3*h - 9. Let p be g(3). Suppose p = -0*d - d. Suppose 3*v + 62 = 4*v + 5*b, d = 5*b - 10. Is v a multiple of 13?
True
Suppose 3*c + 12 = 2*p, p - c = -0 + 5. Let f(k) be the third derivative of 5*k**4/24 + k**3/2 - 2*k**2. Is f(p) a multiple of 6?
True
Let l be -4 + (1 - -4) + 2. Suppose 2 = -d - 2*i, -5*i + 11 = 1. Does 3 divide 32/l - d/18?
False
Let f = 29 + -25. Does 8 divide 3/(-12) - (-181)/f?
False
Is 29 a factor of -4 - -1*(-5463)/(-9)?
False
Let n(b) = -9*b - 5. Let u be n(-1). Suppose u*y = -2*j + 292, -5*j + 439 = 2*y - 331. Is j a multiple of 26?
True
Suppose 2*d + 8391 = 7*d - 3*r, -1683 = -d - r. Is d a multiple of 40?
True
Let c be (-13)/((-364)/(-432))*35. Let h = c - -804. Is h a multiple of 24?
True
Let w = 1106 - 823. Is w a multiple of 21?
False
Suppose 2*g + 2 = -4, -5*g = 2*k - 361. Let q = -107 + k. Does 16 divide q?
False
Let u(w) = -w**2 - 12*w - 13. Let i = -43 + 35. Does 8 divide u(i)?
False
Suppose -9 = -3*h - 3*y, 2*y + 2 + 2 = 0. Does 9 divide (-142)/(-8)*(3 + h)?
False
Let z = -119 + 74. Let v = z - -96. Is v a multiple of 11?
False
Let v(p) = -p**3 - 9*p**2 - 3*p + 20. Suppose 80 = -6*q + 20. Is v(q) a multiple of 25?
True
Let f = 36 + 342. Does 27 divide f?
True
Is 30 a factor of (-1648)/(-14) + (-150)/(-525)?
False
Let d = -785 - -1499. Does 34 divide d?
True
Let j be 2/(0 - 8/(-148)). Let r = 44 - j. Is 2 a factor of r?
False
Let a = 47 + -37. Suppose 78 + a = 8*p. Is p even?
False
Suppose 234 = y + 58. Is 13 a factor of y?
False
Let h(q) = -132*q**2 + 10*q + 2. Let r(g) = 66*g**2 - 5*g - 1. Let u(k) = 6*h(k) + 13*r(k). Does 5 divide u(-1)?
True
Let k = 533 - 333. Let a(i) = i**2 + 3*i - 2. Let n be a(-5). Suppose 190 = n*j - 3*j - 2*x, 5*j - k = 4*x. Is 12 a factor of j?
True
Let y = 921 - 310. Is y a multiple of 17?
False
Does 42 divide (-2)/((-92178)/(-13170) + -7 + 0)?
False
Suppose -3*d - 114 = -5*d. Suppose 55*j + 136 = d*j. Is j a multiple of 34?
True
Let z = -366 - -699. Is 64 a factor of z?
False
Suppose -f + 6 = 15. Let g be ((-2)/(-6))/((-1)/f). Is 14 a factor of 14/g*(9 - 0)?
True
Suppose 0 = 842*o - 854*o - 60. Let n(z) = -1 + z**2 + 3*z + 0*z - 2. Is n(o) a multiple of 4?
False
Let j be 10/(-2)*(-4)/4. Suppose 0 = -3*x + o + 390, j*x - 112 = -o + 538. Does 10 divide x?
True
Let f(v) = -5*v**3 - 4*v**2 + v - 32. Is f(-4) even?
True
Let m(i) = -3*i**3 + 6*i**2 - 5*i + 4. Let d be m(5). Let p be (d/9)/(2/(-6)). Suppose 5*x - 123 = p. Does 24 divide x?
False
Suppose 4*j = 42 - 6. Suppose j*t = -2*t + 3696. Is 56 a factor of t?
True
Let z(u) = 129*u - 470. Does 77 divide z(12)?
True
Let l = -778 - -1580. Is l a multiple of 7?
False
Suppose 0 = -9*x + 181 + 521. Let q = -57 + x. Does 11 divide q?
False
Let z be 5995/15 - 2/(-6). Suppose 7*p = 2*p + z. Suppose u = p - 25. Is u a multiple of 19?
False
Let f = -46 - -48. Is 4 + (-1)/f*-122 a multiple of 13?
True
Let s = 3998 - 2838. Does 10 divide s?
True
Let x(z) = -34*z + 186. Is 76 a factor of x(-21)?
False
Let r = -152 - -153. Let z(s) = 232*s + 6. Does 34 divide z(r)?
True
Let s be (47/4 - -3)/(2/32). Suppose 6*l - s = 28. Is l a multiple of 22?
True
Let v(d) = -2*d - 21. Let r be v(-12). Let n