a factor of f?
True
Let f = 40 - 31. Suppose -3*r = -y + 2*y - f, -8 = -4*y + 2*r. Is y even?
False
Suppose 0 = 3*c - k - 456 - 1438, 0 = c + 4*k - 614. Is 63 a factor of c?
True
Let s = 333 + 218. Is s a multiple of 29?
True
Suppose -3*a + 2*o + o + 6 = 0, -a - o = -8. Is (20/(-15) - 2)*(-12)/a a multiple of 5?
False
Let d(n) = 2*n + 0 + 1 - 5*n - 5. Let m be d(-4). Suppose 5*r = 2*w + 51, 7 = -5*w - m. Is r a multiple of 6?
False
Suppose -6*r + 967 = -2591. Is 62 a factor of r?
False
Let v(k) = -2*k**2 + 55*k - 34. Does 10 divide v(25)?
False
Suppose -3*b + 0 - 7 = -u, 0 = 3*b. Suppose 228 = u*h - 808. Is 17 a factor of h?
False
Let n = -364 + 692. Let i = n + -190. Is 46 a factor of i?
True
Suppose 0 = 2*t + 6, -5*t = -3*a + 21 + 3. Suppose 0 = a*j + 10 + 2. Is (13 - -1) + 8 + j a multiple of 14?
False
Let n(q) = -q**3 - 8*q**2 + 6*q - 49. Does 11 divide n(-10)?
False
Let a(w) = 76*w**2 - 5*w + 3. Does 13 divide a(-3)?
True
Let j = 8 + -8. Let b be 2 - (j - (-2 - -1)). Does 11 divide b/2*2*11?
True
Let k(d) = -3*d + 15. Suppose v + 3 = -2*v - 3*n, n + 1 = 0. Let a be (5 - (v + 2)) + -3. Is k(a) a multiple of 13?
False
Suppose -n = 3*g + g - 125, 5*n - g - 583 = 0. Is n a multiple of 53?
False
Suppose -5*j - 1286 = -4*b, -5*b = -3*b + 5*j - 628. Is 29 a factor of b?
True
Let v be 686/7*(-3 - -2). Let m be (-4)/(-14) + 28/v. Suppose m - 42 = -5*c - 2*o, -5*o = 5*c - 30. Is 5 a factor of c?
True
Let q(l) be the second derivative of 9*l**5/20 + l**4/12 - l. Let n(u) = -3*u - 2. Let c be n(-1). Is q(c) a multiple of 5?
True
Let g(h) = -h - 2. Suppose -2*u + 15 - 47 = 0. Is g(u) a multiple of 14?
True
Let j(s) = s - 6. Let f be j(10). Suppose -o - 8*m + 23 = -3*m, -f*o - 4 = -4*m. Suppose 4*d + i + 52 - 337 = 0, 0 = d + o*i - 85. Does 18 divide d?
False
Let w be ((-130)/39)/(4/(-6)). Suppose 3*o + 0*o - 153 = -k, 241 = w*o - 3*k. Suppose -2*d - 14 + o = 0. Does 7 divide d?
False
Let h be (12/20)/(2/10). Let f(g) = 21*g + 1. Let y(c) = 21*c + 1. Let o(k) = -4*f(k) + 5*y(k). Is o(h) a multiple of 10?
False
Let a(k) = 28*k - 9. Let g be a(5). Let l = g - 49. Does 45 divide l?
False
Let w = 123 - -39. Let h = w + -43. Does 20 divide h?
False
Let i = -318 - -502. Let t = i - 26. Does 46 divide t?
False
Let z = 1086 + -592. Is 64 a factor of z?
False
Let u = -68 + 109. Let a = u + 18. Does 5 divide a?
False
Suppose 0 = 4*y - 20 + 28, 4*q - 4*y = 10748. Is 84 a factor of q?
False
Let n(b) = b**3 + 5*b**2 + 2*b + 1. Let h be n(-3). Suppose 0 = 25*g + 229 + 46. Let f = h - g. Is f a multiple of 12?
True
Suppose -4*y + 60 = -y. Suppose -4*p + y = p. Suppose 0 = p*b - 3*b - 48. Does 16 divide b?
True
Does 57 divide ((-5)/3)/((-50)/14940)?
False
Let c(b) = -b**3 - 2*b**2 - 11*b + 55. Is 25 a factor of c(-7)?
False
Let o(t) = 4*t**3 - 5*t**2 + 3*t. Is 12 a factor of o(3)?
True
Suppose -10204 = -17*a - 1517. Does 13 divide a?
False
Suppose -151*g + 5712 = -147*g. Is g a multiple of 20?
False
Let f be 10/(-15)*354/4. Suppose -242 = -3*m + 4*v, 5*m + 3*v = 2*m + 249. Let u = f + m. Is 5 a factor of u?
False
Let d = -2690 + 3897. Is 17 a factor of d?
True
Let x = -87 + 159. Suppose 2 - 6 = b. Is b - (-2 + 0 - x) a multiple of 10?
True
Suppose 2*f + 56 + 4 = 3*z, 0 = 2*z - f - 39. Let b = 22 - z. Is 7 a factor of ((-58)/4)/((-2)/b)?
False
Suppose 0 = -3*j + 9 + 3. Suppose -245 - 23 = -4*x + 4*r, -r = -j*x + 283. Is x a multiple of 18?
True
Let a = 707 - -828. Does 18 divide a?
False
Let d be 1 + (-3)/(-9)*0. Suppose -d - 1 = -f. Is f/4*(70 - 0) a multiple of 21?
False
Does 18 divide (-545 + -1)*((-828)/84 - -9)?
True
Let j(w) = -1 + 7*w + 9*w**3 - 9*w + w**2 + 3*w - 3*w**3. Is 5 a factor of j(1)?
False
Let p(c) = 3*c**2 - 11*c + 51. Is p(7) a multiple of 3?
False
Let o(x) = -9*x + 14. Let t(w) = 9*w - 14. Let z(y) = -2*o(y) - 3*t(y). Does 21 divide z(-3)?
False
Let b(h) = -2*h**3 + 5*h - 5. Let z be b(2). Let l(q) = -q + 20. Does 8 divide l(z)?
False
Let u = -1899 - -2203. Is u a multiple of 16?
True
Suppose 0 = 5*q - 14 - 6, -2*b - 2*q = -58. Is b/(3/(-3))*(-28)/10 a multiple of 7?
True
Suppose 3*r = 1304 - 104. Is r a multiple of 20?
True
Let i(q) = q**3 + 11*q**2 + 4*q - 76. Is i(10) a multiple of 48?
True
Suppose -15*w + 14*w - 15 = 0. Is 10 a factor of 404/10 + 6/w - 0?
True
Let d = 780 + -398. Is 34 a factor of d?
False
Suppose 7 = -4*t + 31. Is 8 a factor of (-132)/(-9)*t/4?
False
Let a(j) = j**2 - 9*j - 4. Is a(-16) a multiple of 36?
True
Let d(y) = 11*y**2 - 5*y + 33. Is d(-6) a multiple of 47?
False
Suppose 5 = 3*s + 8, 0 = 4*r - 4*s - 1336. Is r a multiple of 7?
False
Let c be (762/(-8))/(-4 + 122/32). Suppose 0*h = 4*h - c. Is 17 a factor of h?
False
Suppose 0 = 3*q - 4 - 14. Let h be q/4 - (-1850)/20. Suppose 0 = -2*n + 4*n + 2*g - 44, 3*n = 4*g + h. Is n a multiple of 13?
True
Suppose 3*w + 4*b = -20, w = -5*b - 0*b - 25. Suppose w = 5*j - 2 - 18, -2*o - 2*j + 156 = 0. Does 13 divide o?
False
Suppose -73*s + 4656 = -57*s. Is 34 a factor of s?
False
Let x(w) = -w**3 - 10*w**2 - w - 6. Let g = -2 - 8. Let u be x(g). Suppose -u*j = -3*f - 24, -3*j + 8*j + 3*f = 30. Is 3 a factor of j?
True
Let n = 1092 - 228. Is n a multiple of 9?
True
Suppose -5*j = -3*d - 21, -3*j + 4 + 11 = -3*d. Suppose -j*p + 8 = 5*y - 95, 2*y + 42 = 2*p. Suppose -22*l - 52 = -p*l. Is l a multiple of 13?
True
Let h(p) = -2*p - 19. Let o(n) = -6*n - 56. Let d(s) = -14*h(s) + 5*o(s). Let m be d(-10). Does 2 divide 2 + 0 + 3 + m?
False
Let j(g) = g - 1. Let z be j(0). Let o be (-28)/4 - (z - -3). Does 2 divide (-61)/(-9) + (-2)/o?
False
Suppose -8 = -2*y - w, -5*w + 4 + 6 = 0. Let g(r) = 12*r**2 - 8*r + 14. Does 33 divide g(y)?
False
Let k = -3659 + 2129. Is 0 - 2/(-8) - k/24 a multiple of 6?
False
Suppose 7*w + 156 = w. Does 8 divide 4/w + 4082/169?
True
Let n(z) = -z + 6*z**2 + 24 + 2*z**2 - 23. Let i be n(2). Let c = i + 25. Does 10 divide c?
False
Let a = 897 + -712. Is a a multiple of 5?
True
Is 71 a factor of (440/50*1)/((-4)/(-710))?
True
Suppose -t + 27 = 5*u - 0*u, 5*u - 19 = 3*t. Is 4 a factor of (1 - u) + (14 - 0)?
False
Suppose 3*y - 7 = -2*f - 2, 5*f = 2*y + 60. Let x(p) = p**2 + 7*p - 4. Let b be x(-8). Suppose 3*h = -5 - f, b*h = 4*i - 164. Is 12 a factor of i?
True
Suppose -3*n + j + 974 = -389, -2*n + j = -909. Does 12 divide n?
False
Let h(k) = 21*k - 69. Does 23 divide h(23)?
True
Let r be 64/(-12)*(-9)/12. Suppose 0 = 2*u - 7*u + 585. Suppose r*g - u = g. Is 11 a factor of g?
False
Suppose 0 = -6*j - 3*j + 54. Suppose 0 = -2*o + 4*k + 656, o = 2*k - j*k + 316. Does 41 divide o?
False
Let n = -1098 + 1520. Does 11 divide n?
False
Let w(c) = 24*c + 118. Is w(13) a multiple of 43?
True
Suppose 85 = i - 6*i. Let f be 16/3*24/(-16). Let z = f - i. Is 9 a factor of z?
True
Suppose 2*w = t - 2*t + 26, 3*t - 5*w = 56. Suppose -21*v + t*v = 34. Is v a multiple of 6?
False
Suppose p = 226 - 114. Is 8 a factor of p?
True
Suppose -11*s - 88 = -12*s. Suppose 6*o - 8*o + 56 = -2*g, 3*o - 4*g = s. Is 4 a factor of o?
True
Suppose 11*f - 14 = 8. Suppose -f*r = -t - 88, 0 = -2*r + r + 3*t + 39. Is 14 a factor of r?
False
Let v be (-2)/4 + -7 + 150/12. Suppose 3*h + 4 = -b + 5*h, -5*b = 3*h - 32. Suppose 5*f = 3*w + 95, b*f + v*w = -f + 55. Is f a multiple of 4?
True
Let t = -51 + 73. Let u(h) = -h**3 + 23*h**2 - 19*h + 18. Is u(t) a multiple of 21?
True
Let f be 192/15*(-6 - -46). Let h be (-1)/((-4)/f)*1. Let q = -84 + h. Is 11 a factor of q?
True
Let m(k) be the third derivative of -k**5/60 - k**4/4 - 5*k**3/6 + 7*k**2. Let i be m(-4). Suppose 128 + 85 = i*p. Is 16 a factor of p?
False
Let x = -704 + 1692. Does 61 divide x?
False
Suppose -5 - 22 = -r - 4*n, -4*r + 78 = n. Suppose 0 = -2*w - 10, 4*w + r + 23 = 2*a. Is 4 a factor of a?
False
Suppose -16 = -4*u, u + 2524 = 3*b + 2*u. Does 12 divide b?
True
Suppose 0 = -s + 4*p + 745, 1499 = -4*s + 6*s - 5*p. Is s a multiple of 21?
False
Let o(q) = 2*q + 44. Let h(m) = -2*m - 45. Let v(i) = 2*h(i) + 3*o(i). Does 10 divide v(-11)?
True
Let w(c) = 481*c**2 + 12*c + 14. Is w(-1) a multiple of 76?
False
Let g(u) = 72*u**2 - 2*u - 1. Let r(h) be the second derivative of -h**5/20 + h**4/3 + 5*h**3/6 - h**2/2 - 5*h. Let x be r(5). Does 24 divide g(x)?
False
Let v(m) = m**3 - 8*m**2 + 2*m - 4. Let l be v(9). Let h = l - 74. Is 14 a fact