-0*f. Is f a multiple of 3?
False
Suppose 0 = 4*p, 4*b + p - 1207 = -423. Suppose -4*r + b = -5*m, 0 = -r - m + 24 + 34. Is 18 a factor of r?
True
Suppose p - 8 + 3 = 5*o, 3*p + 4 = -4*o. Let d(x) = -5*x + 0*x + p*x - 5. Is d(-5) a multiple of 13?
False
Let t be (0 - 1)/(0 - -1). Let a be (13 - t)*(2 - 1). Suppose p + 5*c = 12, 4*p = 5*c + a + 9. Is 4 a factor of p?
False
Suppose 5*l - 251 = -4*f + 64, 0 = 2*f + 3*l - 159. Suppose 2*a + a = f. Suppose -a = -w - 0*w. Is w a multiple of 12?
False
Suppose -7*i - 34 + 258 = 0. Does 32 divide i?
True
Suppose 4*m = -82 - 18. Let c = 57 + m. Is c a multiple of 9?
False
Suppose -3*b = -3*y + 27, -2*b - 8 = 3*y + 2*b. Let p(n) = -n**3 + 6*n**2 + 4*n - 8. Is 20 a factor of p(y)?
True
Suppose 2*u = -5*k - 198, 3*u + 370 = -u + 3*k. Let v = u + 157. Does 21 divide v?
True
Let g = 8 - 6. Is (g/3 + 0)*21 a multiple of 14?
True
Let m(a) be the second derivative of 7*a**3/6 + 3*a. Does 13 divide m(2)?
False
Let v(w) = -5*w - 4. Is v(-4) a multiple of 8?
True
Suppose 6*k - 4*k + 5*m = -27, -4*m = 12. Let y be 15 - 5/((-15)/k). Suppose 0 = c - 1 - y. Is 8 a factor of c?
False
Suppose -4*d - 46 = -i, -30 + 133 = 3*i - 5*d. Is i a multiple of 3?
False
Is 2/4*32 + 0 a multiple of 16?
True
Let x(m) = 9*m - 13. Is 12 a factor of x(6)?
False
Let y = -560 - -786. Is 28 a factor of y?
False
Suppose 4*n - 25 = -n. Let k be 2/n + (-24)/(-15). Suppose 3*x + k*d - 11 = 0, 5 = 2*x - d - 7. Is x a multiple of 5?
True
Let b(h) = h**2 - 6*h + 7. Let c be b(5). Suppose 0 = -i + c + 2. Suppose -2*z = i*m - 18, -3*z + m + 23 = 5*m. Is 5 a factor of z?
True
Let j(w) = -58*w + 3. Does 8 divide j(-1)?
False
Suppose 3*f + f = 0. Let v(k) = -3*k + 11. Let b(a) = -a + 5. Let n(h) = 5*b(h) - 2*v(h). Is n(f) a multiple of 2?
False
Let i = 16 + -8. Let g(y) = -2*y**3 + 19*y**2 + 13*y + 4. Let c(n) = -n**3 + 9*n**2 + 7*n + 2. Let v(f) = 5*c(f) - 2*g(f). Does 4 divide v(i)?
False
Suppose -5*c = -c - 40. Let g = 0 - c. Let z = 14 + g. Is 4 a factor of z?
True
Let h(a) = 12*a - 4. Is h(6) a multiple of 30?
False
Suppose 0 = -2*i + 4*i - 328. Does 23 divide i?
False
Suppose 3*n + 4 = -h, 0*n - 3*n = 3*h. Suppose 0 = h*r - 12 - 32. Suppose -3*k + r = -5. Is 5 a factor of k?
False
Suppose 6 = 2*m - 4*m. Let p(w) = -w**3 + 4*w**3 + 3*w**2 - 2*w**3 - 3*w + 3. Is 5 a factor of p(m)?
False
Let m(s) = -s + 38. Is 7 a factor of m(-4)?
True
Let s be 2 + 0 - (-8)/(-4). Suppose -3*b - 5*l + 16 = s, l + 22 = 3*b - 0*l. Does 5 divide b?
False
Let x = 17 - 12. Suppose 0*k = 2*p + 4*k - 40, -48 = -x*p + 3*k. Is 11 a factor of p?
False
Suppose -5*p = -7*p. Suppose l + 2*u - 47 = 2, p = -5*l - 4*u + 275. Is 36 a factor of l?
False
Let c = -20 - -22. Suppose 337 = 5*q - 0*q - 4*a, 2*a - 142 = -c*q. Is 20 a factor of q?
False
Let c = 2 + -5. Let m be (-138)/10 - c/(-15). Is 14 a factor of (0 - 2)/(1/m)?
True
Suppose 4*m - 2*f = 218, 60 - 223 = -3*m + 2*f. Suppose 3*a + 4*z = m - 19, 49 = 4*a + 5*z. Does 16 divide a?
True
Suppose 7*h = 2*h + 25. Suppose h*p - 5*g = 2*p, -2*p + 25 = 5*g. Suppose 5*n + p*b + 72 = 197, 0 = -4*n + 4*b + 60. Is n a multiple of 10?
True
Let z(l) = 26*l + 6. Is 21 a factor of z(3)?
True
Suppose -5*u + 6 = -9. Suppose 4*q + w + u*w = 124, -2*w = 0. Is q a multiple of 9?
False
Let z be (2/(-2))/(1/(-23)). Let h = -16 + z. Does 2 divide h?
False
Suppose 56 = t - 44. Does 25 divide t?
True
Let h(d) = 5*d**2 + 2. Let f(n) = -n**2 + 2. Let v be f(2). Is 13 a factor of h(v)?
False
Let f(n) = 18*n. Suppose 0 = 2*b + 2*d - 3*d - 7, 0 = -2*b + 2*d + 12. Is 11 a factor of f(b)?
False
Does 30 divide 76 - (-2 + 2)/(-1)?
False
Let f = -15 - -7. Let a = 5 - f. Is 13 a factor of a?
True
Let n = 1491 + -1046. Is n a multiple of 41?
False
Suppose 0 = -3*z - w + 5, 3*z + 4*w = -0*w + 2. Is (-39)/(-6) - (-1)/z a multiple of 4?
False
Let l = 18 - 16. Suppose l*x - 8 = 0, 4*x = z + 3*z - 128. Does 9 divide z?
True
Suppose 265 + 293 = 6*u. Is u a multiple of 32?
False
Let q(j) = -j - 6. Let l be q(6). Is (2 - 33/12)*l a multiple of 9?
True
Let j(t) = t**2 + t + 1. Let l(o) = 2*o**3 + 2*o**2 + 4*o + 2. Let p(f) = -3*j(f) + l(f). Let z be p(2). Let r = -8 + z. Does 5 divide r?
True
Suppose 5*d + 2*a + 3*a = 25, -5*d + 3*a = -1. Let v be (d + 133 - 3)*11. Is 24 a factor of (-4)/10 - v/(-30)?
True
Let j(v) = 30*v - 42. Does 12 divide j(5)?
True
Let m(h) be the first derivative of h**6/72 + h**5/120 + h**4/24 + 2*h**3/3 - 2. Let t(v) be the third derivative of m(v). Is 23 a factor of t(2)?
True
Suppose -7 = -2*z - 5. Let r(l) = 4 + 9*l - 4 - 1. Is r(z) a multiple of 4?
True
Suppose -w - 5 = -3*y + y, 0 = -3*w - 15. Suppose i + i = 0. Suppose y = -i*o + 3*o - 102. Is 17 a factor of o?
True
Is ((-20)/3)/(20/(-30)) a multiple of 10?
True
Suppose -4*q - 22 = -114. Suppose -t - 4*y + 14 = -3*t, -4*t - 28 = 5*y. Let a = q + t. Is a a multiple of 6?
False
Suppose -2*l + 16 = 2*b - 0*l, -26 = -3*b - 2*l. Is b a multiple of 5?
True
Let k(r) = 3*r**3 + 2*r**2 - 7*r + 2. Is 34 a factor of k(3)?
False
Let a(j) = j**3 - 5*j**2 - 16*j + 2. Is 57 a factor of a(10)?
True
Let l be (-2)/(-6) + 16/6. Suppose b + l*y + 7 = -b, 0 = -5*y - 25. Suppose -5*w = -b*g - 106, -3*g = 5*w - 3*w - 24. Does 15 divide w?
False
Let i(s) = -12*s - 1. Let b be i(-1). Let r(g) = -g**2 - 17*g + 25. Let o be r(-17). Let l = b + o. Does 18 divide l?
True
Suppose 4*t = -j - 43, 80 = -2*j + t + 3. Let h = -6 - j. Is h a multiple of 17?
False
Suppose 5*k + 1660 = -3160. Let g be 8/(-28) + k/7. Let i = -94 - g. Is i a multiple of 14?
False
Let i(a) = -3*a**3 + a**2 + 4*a + 2. Let t be i(4). Is 29 a factor of 1/(1 + 156/t)?
False
Let u = -1 - -47. Is u a multiple of 35?
False
Let q = -8 - -15. Is 6 a factor of 10/35 + 75/q?
False
Suppose 21*f - 15*f - 360 = 0. Is 12 a factor of f?
True
Let z = -70 - -103. Does 7 divide z?
False
Suppose -5*g - 4*z = 30, 4*g + 0*g = -2*z - 18. Let m be (1/g)/(6/(-12)). Let c(f) = 11*f**3 + 2*f**2 - 1. Does 11 divide c(m)?
False
Let n = 4 - 1. Let o = n + -1. Suppose 2 + 14 = o*y. Does 8 divide y?
True
Let m = 51 - 31. Is m a multiple of 9?
False
Let i be 1*6 - (3 + -1). Suppose -112 = -3*a - i*y - 6, -2*a + 2*y = -52. Does 22 divide a?
False
Let v be 2/(-6) - (-16)/3. Suppose 0 = 5*m, -2*f + v*f - 3*m - 6 = 0. Suppose -4*r - 40 = -4*g, -f*r + 0*r = -3*g + 27. Is 6 a factor of g?
False
Suppose -d - 3 + 39 = 0. Does 36 divide d?
True
Let x(g) = -g**3 - 2*g**2 + 4*g + 3. Let h be x(-2). Let t = 8 + h. Is t a multiple of 3?
True
Let l be -1*(2 + -4 - -1). Let m(a) = l - 1 + a + a + 10. Does 12 divide m(7)?
True
Let j(u) = -15*u**2 - 12*u + 11. Let o(v) = -8*v**2 - 6*v + 6. Let l(i) = -6*j(i) + 11*o(i). Let b be l(-6). Suppose -6 = 2*s - b. Is s a multiple of 11?
False
Suppose -y + 6 = -18. Let s = -17 + y. Is s a multiple of 7?
True
Let x be (-34)/(-8) - 1/4. Let n(j) = -4*j. Let o be n(-1). Suppose -o*k + x = -8. Does 3 divide k?
True
Let t be ((-1)/2*6)/(-1). Let c = -2 + t. Is (4/8)/(c/38) a multiple of 19?
True
Suppose 140 = 2*x + 3*x. Suppose 0*v - 3*g + 3 = 3*v, 0 = -4*v + 4*g + x. Is v even?
True
Let k = -4 - -12. Is 2 a factor of k?
True
Is (2*3/(-9))/((-8)/516) a multiple of 5?
False
Let v = -137 - -200. Suppose -4*r + v = -53. Is r a multiple of 8?
False
Suppose 25 = -3*g + 1. Let m = g - -8. Let l = 17 + m. Does 12 divide l?
False
Suppose 3*q - 4*c = 4*q - 94, 376 = 4*q + 5*c. Does 47 divide q?
True
Let u = 154 + -91. Does 13 divide u?
False
Suppose -4*f - 8 = -4*s, -2*f + 4 = 2*f. Does 2 divide s?
False
Let v = -1 + -6. Let f(b) = -5*b + 1. Let c be f(-3). Let t = v + c. Is 4 a factor of t?
False
Let o be 1*3*2/6. Suppose 2*k = o + 7, 0 = -2*a - k + 154. Does 17 divide (-4)/(-6)*a/2?
False
Does 16 divide ((-1)/(-3))/(9/2322)?
False
Suppose -3*t - 5*x - 48 = 0, 3*t - 2*x = 4 - 52. Let r = t + 19. Is r a multiple of 3?
True
Let k(j) be the second derivative of -1/3*j**3 + 1/2*j**2 + 1/12*j**4 - j + 13/10*j**5 + 0. Does 10 divide k(1)?
False
Suppose 0 = -5*b + 4 + 6. Suppose 4*r = 16, 7 + 0 = o - b*r. Let v = o - 2. Is 7 a factor of v?
False
Is 2 + (-3 - (-124)/4) a multiple of 10?
True
Let j(i) = 6*i**2 - 7*i - 4. Let a be j(6). Let v = -298 + a. Is 15 a factor of ((-12)/(-8))/((-6)/v)?
False
Suppose -4*k + k = 3*h - 6, 0 = 2*k - 3*h - 14. Let o be 4/(k/(-3)) + 0. L