f**2 + f + 1. Is 13 a factor of g(a)?
False
Let m = 57 - 28. Does 10 divide m?
False
Suppose a + 9 + 2 = 0. Let c = 17 + a. Is 4 a factor of c?
False
Let b be (85/15)/((-2)/(-6)). Suppose 0 = 3*n - 2*n - b. Is 17 a factor of n?
True
Let s(b) = -5*b - 14. Let y(o) = 6*o + 14. Let c(a) = -7*s(a) - 6*y(a). Let d(p) = -p**2 - 10*p - 9. Let n be d(-9). Does 14 divide c(n)?
True
Let v(j) = 2*j**2 - j + 1. Let x be v(2). Let t(u) = u + 2. Let a be t(x). Suppose f = 17 + a. Is 13 a factor of f?
True
Suppose 3*g = -b - 14, -3*b - 19 - 3 = 4*g. Is 9 a factor of (-28)/b - 10/5?
False
Suppose 105 = g + 29. Is 4 a factor of g?
True
Suppose u + 0 + 4 = 0, -214 = -3*f + u. Is f a multiple of 18?
False
Suppose 8*s - 3*s - 5 = 0, 5*u - 3*s = 212. Suppose 4*p - 33 = u. Is p a multiple of 5?
False
Let a be 12 + ((-4)/(-2) - 3). Let k = a - 10. Is 15 a factor of k + -2 + 75/3?
False
Suppose 3*p - 3*q - 273 = 0, 0*q + 278 = 3*p - 4*q. Does 19 divide p?
False
Let t(d) = -d**3 + 9*d**2 - 6*d - 5. Is t(5) a multiple of 11?
False
Suppose 0 = 4*o - 4*q - 676, o - 3*q - 175 = 2. Suppose -5*n = -0*n - o. Is 11 a factor of n?
True
Suppose -93 = -2*s + 157. Is 16 a factor of s?
False
Suppose 0 = 5*f - 7 - 18. Suppose -f*l = -32 + 2. Does 5 divide (4/2)/(2/l)?
False
Let n = 74 + -12. Is 7 a factor of n?
False
Let c(n) = n**2 + 9*n - 7. Let p be c(-10). Suppose 4*w + 0*w + 3*h = 75, -p*w + 4*h = -50. Does 3 divide w?
True
Suppose -766 = -9*k - 136. Does 7 divide k?
True
Suppose -5 = -4*f - 1. Let g(l) = -l**2 - 2 - 9 + 2*l**2 - 4*l + f. Is g(9) a multiple of 13?
False
Let w be 2/(-6) + 14/(-21). Is ((-6)/(-5))/(w/(-10)) even?
True
Let a(f) = -3*f**3 - 4*f**2 + 35*f + 11. Let u = 7 + -18. Let i(s) = s**3 + s**2 - 12*s - 4. Let j(b) = u*i(b) - 4*a(b). Is 8 a factor of j(-6)?
False
Let n(y) = y**3 - 4*y**2 - 5*y + 2. Let t be n(5). Let h = 0 - -8. Suppose t*i - h = -p + 29, 4*i = p - 7. Is 10 a factor of p?
False
Let w(g) = -g**3 + 12*g**2 + 34*g - 19. Is 13 a factor of w(14)?
True
Suppose 3*x - 206 + 17 = 0. Is x a multiple of 23?
False
Suppose -3*s - s + 8 = 0. Is 13 a factor of 3 - 18*(-3 + s)?
False
Does 17 divide 12/30 + (-346)/(-10)?
False
Let z(r) = 15*r**2 - 1. Let b(d) = -d**2 - 2*d - 2. Let x be b(-2). Let c be z(x). Let k = c + -35. Does 10 divide k?
False
Let j be ((-14)/(-21))/((-1)/(-6)). Let u(f) = -f**3 + 3*f**2 + 6*f - 3. Let h be u(j). Suppose -6*l - 5*c + 130 = -l, h*c = -l + 34. Is 12 a factor of l?
True
Let m(l) be the second derivative of -13*l**3/3 + l**2 - 6*l. Does 7 divide m(-1)?
True
Suppose 28 + 308 = 2*d. Is 14 a factor of d?
True
Let n(r) be the first derivative of -r**3/3 - 3*r**2/2 - 2*r - 3. Let j be n(-2). Suppose -t + 14 + 23 = j. Is 18 a factor of t?
False
Let r = -191 - -499. Suppose 0 = i - 5, 2*o - r = -0*o - 2*i. Suppose -4*n = -2*t - t + o, -5*n = -t + 68. Does 17 divide t?
False
Let o = 12 - 7. Let v(j) = -j - 1. Let z be v(-9). Let g = z - o. Is 2 a factor of g?
False
Suppose 3*p = 4*g - 300, 8*p = 4*g + 3*p - 300. Let r = g - 41. Is r a multiple of 24?
False
Suppose -5*n + 5*k = 3*k - 652, 4*k - 148 = -n. Is 11 a factor of n?
True
Suppose -6*h + h + 80 = 0. Suppose -m - m - 8 = 2*t, 4*m - 2*t - 8 = 0. Suppose m = d - 2*d + h. Does 16 divide d?
True
Let j be ((-8)/(-10))/((-8)/(-40)). Suppose -5*s + 12 = -j*s - 5*l, -2*s - l + 2 = 0. Let w(b) = 4*b**2 + 2*b. Does 10 divide w(s)?
True
Let r(k) = k**3 - 6*k**2 + 2*k - 4. Suppose -4*n = -0*n - 20, 0 = -5*h + n + 25. Does 5 divide r(h)?
False
Suppose 2*n = 53 + 147. Suppose 3*f - 2*f - 6 = 0. Suppose n = -j + f*j. Is j a multiple of 20?
True
Let a(x) = 2*x - 13. Let i be (108/(-60))/((-2)/10). Is a(i) even?
False
Suppose 0*f - 3*f + 27 = 0. Suppose -r = g, -r = 2*r + f. Is 2 a factor of g?
False
Let j(h) = -h - h - 4 - h + 14 + h**2. Let a = 4 + 4. Is 15 a factor of j(a)?
False
Let g be 3 - 1/1 - -2. Suppose -z - d + 34 = 0, d + 74 = -g*z + 6*z. Suppose 0 = -5*j + z + 89. Is j a multiple of 11?
False
Suppose 0 = 5*l - 266 - 64. Is l a multiple of 22?
True
Suppose -n + 11*n = 40. Is 3 a factor of n?
False
Let k = 18 - -17. Is 7 a factor of k?
True
Let d(m) = -5 + 0*m + m**3 + 8*m**2 + 0 - 14*m. Is d(-9) a multiple of 17?
False
Let a(q) = q**2 - 3*q + 4. Suppose -5*j = 2*k - 25, 3*j = j + 6. Is 7 a factor of a(k)?
True
Let a be (0 - -40)*2/1. Let l = -54 + a. Is 13 a factor of l?
True
Let m(p) = -24*p - 44. Let y(h) = -5*h - 9. Let i(j) = 3*m(j) - 14*y(j). Let t be (-1)/(-4) - 58/8. Is 5 a factor of i(t)?
False
Let v = -50 - -74. Is 6 a factor of v?
True
Suppose -5*n = -y - 65, y - 3*y - 46 = -3*n. Suppose 2*o - 7 - 1 = 3*k, -3*o = -n. Suppose -4*p + 51 - 7 = k. Is p a multiple of 11?
True
Is 213 + (-5 + 4)*-3 a multiple of 24?
True
Suppose 0 = -3*n - a + 7 - 0, 0 = -2*n - 4*a - 2. Suppose n*x + g - 124 = 0, 4*x - 5*x = -5*g - 20. Does 20 divide x?
True
Let o be (-34)/(-9) - 18/(-81). Suppose -4*p - 2*z + 218 = 0, -p = -o*z + z - 58. Does 24 divide p?
False
Let x(m) be the first derivative of -m**3/3 + 20*m - 4. Is x(0) a multiple of 10?
True
Suppose 0 = -4*w + 3*d + 53, 2*w - 5*d - 2 = 21. Suppose w = i + 2. Is i a multiple of 4?
True
Suppose -5*i + 2*i = 0. Let x = i + -3. Is ((-10)/x)/(4/12) a multiple of 10?
True
Let o = 1 - 3. Let h = 20 + o. Is 9 a factor of h?
True
Let b(m) = -m + 2. Let i be b(1). Is 10 a factor of (4/2 - -8)*i?
True
Let w be (0 - -13) + -2 + 4. Let o be -3 + w + 1 + -2. Suppose -3*n - 1 = -4*v - 14, -3*n + 2*v + o = 0. Is n even?
False
Suppose -r + 5*a + 42 = 0, -118 = r - 6*r + 2*a. Let u = 25 - r. Does 3 divide u?
True
Suppose 2*f + 5*x - 327 = 0, -4*x + 347 = 2*f - 3*x. Is 12 a factor of f?
False
Let w(n) = -n**3 - 7*n**2 + n + 10. Let q be w(-7). Suppose q*b = 2*b + 4. Is b/(-14) + 510/21 a multiple of 17?
False
Let j(b) be the third derivative of b**4/3 - 5*b**3/6 - 4*b**2. Is 17 a factor of j(4)?
False
Let f(k) = -5*k - 1. Let v(d) = -3*d - 3*d + 7*d. Let r(a) = -f(a) - 4*v(a). Is r(3) a multiple of 3?
False
Is 26/8 + 9/12 even?
True
Suppose 6 = -6*y + 3*y. Does 8 divide (y/(-4))/1*38?
False
Suppose 7*d + 273 = 4*d. Let l = -62 - d. Is l a multiple of 11?
False
Suppose 4*f + f + 20 = 0. Let c = 4 + f. Suppose 5*r - 2*i - 56 = c, -5*i - 1 = -r + 1. Is r a multiple of 7?
False
Suppose 0 = 9*b - 3*b - 372. Is 13 a factor of b?
False
Suppose 6*b + 133 - 397 = 0. Is b a multiple of 11?
True
Let t(q) = 24*q - 14. Let x be t(6). Suppose -5*r + x = 20. Is 14 a factor of r?
False
Let y(w) = -2*w**2 - 2. Let f be y(4). Let d be (f/4)/((-3)/6). Suppose 0 = v - d - 11. Does 14 divide v?
True
Suppose -360 = -5*r + 285. Does 11 divide r?
False
Suppose 3*z - f - 2*f - 24 = 0, f = -z + 8. Suppose -2*i + 52 = -3*q, i + z = 2*q + 34. Is 13 a factor of i?
True
Suppose 5*b + 366 = 3*r, -4*r - 5*b = -289 - 164. Is r a multiple of 13?
True
Suppose 2*t = -2*d + d + 52, -2*t + 44 = -d. Let i = 44 - t. Let c = 10 + i. Is c a multiple of 11?
False
Let d be (7 - 0/(-3))*1. Suppose -42 = -2*t - l, t - l = 22 - d. Is t a multiple of 19?
True
Let x(y) = y + 5. Let c(d) = 4*d + 16. Let s(l) = 4*c(l) - 14*x(l). Let j be -1*(-1)/(2/10). Is 2 a factor of s(j)?
True
Suppose -4*y = -4*u + 44, 0*y + 2*y - 13 = -5*u. Does 29 divide (-1*29)/(y/12)?
True
Let b(w) = -w**2 - 3*w + 1. Let v be b(-6). Let g = v + 25. Is g a multiple of 8?
True
Does 11 divide 48/60 + 271/5?
True
Let x = -6 + 8. Let j be 0 + x - (84 - 4). Is 13 a factor of (-4)/6*j/2?
True
Suppose -z - 2 = z + g, 8 = -3*z - 4*g. Suppose 32 + z = 4*p. Is p a multiple of 4?
True
Suppose -4*s + 1954 = 2*v, -4*s + 0*v - v = -1949. Suppose 0 = -4*d + 4*i + 372, 4*d = -2*i + s - 102. Does 22 divide d?
False
Let h be 4/6 - (-160)/(-15). Does 5 divide 8/6*(-75)/h?
True
Suppose 3*t - 7 = -1. Suppose -w - 170 = -5*j, -t*j + 20 = -j - 3*w. Does 16 divide j?
False
Let k = 158 + 31. Does 27 divide k?
True
Let n(f) = -30*f - 89. Does 7 divide n(-9)?
False
Let v(j) = 13*j**2 + 16 - 24 + 9. Does 7 divide v(-1)?
True
Let r(z) = -4*z - 8. Does 6 divide r(-9)?
False
Suppose -3*r = -5*r. Suppose -3*j + 484 = j - 2*n, r = 3*j + 4*n - 352. Suppose 2*g - j = -g. Is g a multiple of 18?
False
Let w = -10 - -19. Suppose -63 - w = -4*r. Is 9 a factor of r?
True
Suppose 0 = 5*j - 10. Let b = j - -7. Does 7 divide b?
False
Suppose -3*a + 156 = a. Let w be (0 - -