f d?
True
Let f = -10 + 28. Let c = -3 + f. Is 17 a factor of 2/(-10) - (-408)/c?
False
Let g = -1740 - -1990. Is g even?
True
Let c(z) = -7*z - 24. Suppose -5*f = 27 + 23. Let y be c(f). Let l = y - 13. Does 11 divide l?
True
Let v(p) = -5*p - 20. Let b = -43 + 29. Let r be v(b). Is 23 a factor of 1*(0 + 2) + r?
False
Let j be (0 - (-100)/26) + 18/117. Let b(y) = 4*y + 10. Is 14 a factor of b(j)?
False
Let n be 1 - (2 + 3) - 2. Let g be (1 - -1)/(n/(-105)). Let z = g + 13. Does 16 divide z?
True
Suppose -5*f - 236 = 3*r - 7*r, 4*r = -f + 260. Suppose 4*a - 2*v - 202 = -r, -135 = -5*a - 5*v. Is a even?
True
Suppose 5*c - 47 = 183. Is c a multiple of 3?
False
Suppose -10 = -7*s + 361. Let l = s - 35. Does 6 divide l?
True
Let l(j) = -j**2 - 2*j + 64. Let d(v) = -4*v - 1. Let f be d(-1). Suppose -2*n = p, -2*n - f*p = n. Is 16 a factor of l(n)?
True
Let f = 299 - 161. Suppose -2*k - 3*j - j + f = 0, -3*j + 9 = 0. Is 12 a factor of k?
False
Let w be ((-2)/5)/((-2)/(-10)). Let n be 102/36 + w/(-12). Suppose -c = p - 44, 0*c = -n*c + 15. Is 13 a factor of p?
True
Let f = 1525 - 1430. Is 19 a factor of f?
True
Suppose 2*v + 2109 = 4*i - 65, -5*v = 4*i - 2181. Is i a multiple of 32?
True
Let u = 751 + -331. Is 21 a factor of u?
True
Let k be (2*4)/((-5)/(-3) - 1). Suppose k*l - 6*l = 258. Is l a multiple of 7?
False
Let m(k) = 2*k - 6. Suppose -3*g + 11 = -g + n, -4*g - 4*n = -28. Let f be m(g). Suppose -2*y = 5*x - 88, -x - y = f*y - 28. Does 14 divide x?
False
Let u(y) = y**2 - 10*y + 18. Let z be u(8). Suppose 0 = 4*s + 5*w - 6*w - 256, z*s - 3*w - 118 = 0. Is 13 a factor of s?
True
Let d = 3 - -1. Suppose 0*a + 4*f = d*a - 268, -3*a - 4*f = -180. Is 20 a factor of -1*(-3 + 2)*a?
False
Suppose 4*i - 123 = -d, 31 = 5*i - 4*d - 128. Let h(j) = -i + 11*j**2 + 13 + 11 - 6*j. Is h(-2) a multiple of 12?
False
Suppose 4*i - 2*w = 8*i + 204, -5*w - 102 = 2*i. Let d = 5 - 2. Is 18 a factor of -3*d/(-9) - i?
False
Let i = -59 - -135. Suppose 3*n = -4*t + 57, 7*n - 2*n + 4*t = 87. Suppose -n = 5*s - 2*w - i, w = -2*s + 28. Is 5 a factor of s?
False
Is (-4)/((-20)/72090*6) a multiple of 23?
False
Suppose 15*c = 415 + 185. Does 5 divide c?
True
Let u(f) = -14 - 4 + 25*f - 4 + 7. Does 27 divide u(8)?
False
Suppose -15*a = -18*a + 9. Let i(q) = -3*q**3 + 3*q**3 - q**a + 11 + q**2 + 11. Does 6 divide i(0)?
False
Let v(z) = -420*z - 193. Does 21 divide v(-3)?
False
Let i(h) be the third derivative of -h**5/60 + 9*h**4/8 - 11*h**3/3 + 4*h**2. Is i(19) a multiple of 26?
True
Suppose 0 = -m + 5*n, -3*m = -8*m - 3*n - 112. Suppose -45 = 3*o - 8*o. Let c = o - m. Does 14 divide c?
False
Suppose 0 = -5*p - 430 - 15. Let k = -435 + 431. Is p/k - (-10)/(-40) a multiple of 14?
False
Let m(h) = 8*h - 2. Let a(c) = -c. Let u(d) = 2*a(d) + m(d). Let n be u(1). Suppose -385 = -n*q - 3*q. Is q a multiple of 11?
True
Let i = 521 + 261. Does 30 divide i?
False
Let n be (-3 + 1)/(6/(-165)*-5). Let f = -11 + 7. Is 9 a factor of n/(f - (-60)/16)?
False
Let h(c) = c**2 + 7*c - 5. Let t be h(-8). Suppose -3*o - 5*x = 8, x = 2*o - 6 - 6. Suppose -f - k = f - 110, -230 = -o*f + t*k. Does 34 divide f?
False
Let u = -24 + 27. Let l be 0 + u/((-15)/220). Let p = 172 + l. Is p a multiple of 31?
False
Let m be 10/(-3)*(-135)/(-2). Let w = -155 - m. Does 22 divide w?
False
Let x be 1 - (4 + 4 + -9). Let j(g) = -g**2 + 18*g - 1. Let w be j(17). Let d = w + x. Is 13 a factor of d?
False
Suppose 52 - 16 = 3*k. Let o be (-5)/30 - (-62)/k. Suppose -4 = o*g - 4*s - 252, 3*g - 3*s - 150 = 0. Is g a multiple of 16?
True
Suppose 9*s = -6*s + 2940. Is 9 a factor of s?
False
Suppose 3*s - 1215 = -2*s - 2*i, 0 = -4*s + 5*i + 1005. Suppose 33*l - 38*l = -s. Does 19 divide l?
False
Let a = 2499 + -1141. Is 93 a factor of a?
False
Let n = -2907 - -4627. Is 8 a factor of n?
True
Let p(v) = -v**3 + 2*v**2 + 2*v - 1. Let t be p(3). Is (-100)/t*(-4)/(-10) even?
True
Let b(c) = -c**2 - 5*c - 2. Let g be b(-2). Does 11 divide -1*(-110)/(g + 1)?
True
Suppose 2*y + 6 = 4*g, 3*y = -4*g - y - 12. Suppose g = -3*v - 7 - 17. Is 92/6 - v/12 a multiple of 12?
False
Suppose 272 = 44*n - 520. Does 3 divide n?
True
Let a = 177 + 266. Does 12 divide a?
False
Let i be (-46)/4 + 3/(-6). Is ((-224)/12)/7*i a multiple of 4?
True
Suppose 1130 = 9*i - 328. Is i a multiple of 3?
True
Let y(u) = u**3 - 2*u**2 - 2*u + 1. Let m be y(2). Is -4 - -2 - (m + -2) a multiple of 3?
True
Is 15 a factor of 0 + 152/3 - 44/(-33)?
False
Suppose 0 = 5*w - 4*w. Suppose -3*q - 3*x + 21 = 0, -3 = 5*x - 28. Is q + w + (-2 - -51) a multiple of 15?
False
Suppose -1 - 8 = -3*z, 0 = -5*q + 3*z + 176. Is 9 a factor of q?
False
Let u = 783 + 183. Is u a multiple of 78?
False
Let z be -5*((-916)/20 - -2). Suppose 11*g = -z + 2034. Does 54 divide g?
False
Let g(i) be the second derivative of 7*i**5/60 + i**4/12 - i**3/3 + i**2/2 - 7*i. Let t(c) be the first derivative of g(c). Is t(-3) a multiple of 11?
True
Let m = 2116 - 1507. Does 21 divide m?
True
Suppose 5*u - 13 = 602. Let y = u - 51. Does 15 divide y?
False
Let a = 77 - 69. Let w(r) = -r**2 + 9*r + 9. Is w(a) a multiple of 10?
False
Suppose 16*y - 1334 = 3370. Does 14 divide y?
True
Suppose -4*h = -2*h - 58. Suppose r - 2*a - 6 = 1, 0 = 2*r + 2*a + 4. Let z = h - r. Is 28 a factor of z?
True
Let t be (-219)/(-4)*(-24)/(-9). Let g = -103 + t. Does 12 divide g?
False
Let c(p) = p**3 - 9*p**2 - 7*p - 7. Let w be c(11). Suppose -4*b + w = 46. Let r = 49 - b. Does 4 divide r?
False
Let r(j) = 79*j. Let t be r(-4). Let n = t + 525. Does 11 divide n?
True
Let j(x) = -45*x + 51. Let b(p) = 11*p - 13. Let a(q) = -9*b(q) - 2*j(q). Let v be a(-6). Let l = v + -26. Does 10 divide l?
False
Let l(m) = -4*m + 11*m**3 - 2*m**2 - 21 + 22 + 2*m - m. Does 17 divide l(3)?
False
Let x = 15 - 30. Let n = 31 + x. Suppose 0 = -g + 5*g - n. Is g a multiple of 4?
True
Suppose 5*l - 4477 = r, 5*l - 5*r - 2981 - 1504 = 0. Suppose y - l = -4*y. Suppose 0 = -5*b + 16 + y. Is 13 a factor of b?
True
Suppose -3*p - 2*t = -25 - 21, p = 3*t + 8. Let c = p + 73. Does 10 divide c?
False
Suppose -l - 3*l - 8 = 0. Does 10 divide l/6 + -2 + 996/18?
False
Let x(l) = l**2 - 5*l + 2. Let g be x(5). Let m = -35 - g. Let o = m + 53. Does 2 divide o?
True
Suppose 4*g = 24*u - 19*u - 1780, 0 = 3*u + 4*g - 1068. Is 9 a factor of u?
False
Let k(b) = b**2 - 8*b + 2. Let z be k(7). Let y(j) = -j - 1. Let l(i) = 3*i - 3. Let g(h) = -l(h) + 3*y(h). Does 10 divide g(z)?
True
Suppose -1352 = -7*q + 3*q. Let s = -236 + q. Is s a multiple of 17?
True
Let y be (-3 + 2 + 2)*-7. Let g = 14 + y. Suppose -g*f + 6*f + 14 = 0. Is f a multiple of 14?
True
Let s be ((-6)/(-12))/((-3)/(-12)). Suppose -s - 7 = -3*f. Let a = 7 + f. Does 10 divide a?
True
Let r(g) = -6*g**3 - 3*g**2 - g + 1. Let k be r(-1). Let f(s) = 19*s - 27. Is 38 a factor of f(k)?
False
Let f be (-1)/(1/(6/3)). Let m be (10/8)/(f/(-24)). Let t = m - 5. Is 5 a factor of t?
True
Let m(y) = 43*y**3 + 2*y**2 + 2*y - 8. Let s be m(2). Suppose -9*o + s = -192. Is 15 a factor of o?
True
Suppose -w + 7 = 3. Suppose -274 = 2*y - w*y. Is 25 a factor of y?
False
Let f = -4 - 2. Let j(g) = 1. Let l(n) = -7*n. Let k(q) = -7*j(q) + l(q). Is 9 a factor of k(f)?
False
Let h = 3 + 8. Let v(r) = -7 + 3*r**2 - 2 + h*r - 2*r**2 - r. Does 4 divide v(-12)?
False
Let l = 550 - -722. Does 53 divide l?
True
Suppose -3875 - 16503 = -46*g. Is g a multiple of 7?
False
Suppose -48 = -7*a + 8. Is 14 a factor of (1 - (-127)/4) + 2/a?
False
Suppose 34*c + 3*k = 36*c - 348, 2*k = -c + 188. Does 39 divide c?
False
Suppose 29*l + 10*l - 17979 = 0. Does 2 divide l?
False
Let s(f) = 14*f - 2*f - 9 - 2. Is s(4) a multiple of 37?
True
Suppose -10*p = p. Suppose -8*s + 290 - 50 = p. Is s a multiple of 30?
True
Is 49 a factor of (266/6)/((-192)/(-12096))?
True
Suppose -2*k + 3*d = 2, 0*k + 12 = 2*k + 4*d. Suppose 18 = 7*i - 24. Suppose i*m = k*m + 208. Is 13 a factor of m?
True
Suppose 0 = 3*v + 2*t - 1348, 13*t - 456 = -v + 9*t. Is 14 a factor of v?
True
Let o(z) = -z**3 - 10*z**2 - 16*z - 28. Is 20 a factor of o(-10)?
False
Suppose -a + 127 = 4*h - 0*a, 2*a = -3*h + 99. Let s = h + -19. Does 6 divide s?
True
Let u = -152 - -1191. Is 8 a factor of u?
False
Let r(c) = c**2 + 3*c. Let q be r(-4). Suppose -3*l = 3*n - 147, -l - l = -q*n