2*v = -4, 0*v = -f*p - v - 16. Is g(p) a multiple of 5?
True
Let b(s) = 121*s - 406. Is 24 a factor of b(22)?
True
Suppose -685*f + 668*f + 9367 = 0. Does 17 divide f?
False
Let m = 37 + -10. Suppose m*u - 45 = 22*u. Is 9 a factor of (u/(-12))/(2/(-96))?
True
Suppose -46*o + 34790 + 2102 = 0. Does 65 divide o?
False
Let h(w) = -w - 23. Let u be h(-7). Let n(j) = j**3 + 15*j**2 - 21*j - 22. Is 12 a factor of n(u)?
False
Let a(g) = 60*g**2 + g. Let n be a(1). Let t = n - 38. Is t a multiple of 5?
False
Let g = -45 - -84. Let b = g - 23. Is 8 a factor of b?
True
Suppose -450*m + 445*m = -1600. Is m a multiple of 10?
True
Let w(q) = q**3 + 9*q**2 + 11*q - 8. Let x(f) = -f**2 + 9. Let a be x(4). Is w(a) a multiple of 6?
False
Let f(l) be the first derivative of -l**4/2 + 3*l**2/2 + 6*l + 3. Is f(-3) a multiple of 11?
False
Let s be 5 + (-356)/(-12)*57. Suppose 13*i - 21*i = -s. Does 57 divide i?
False
Let j be ((28 - 3) + 2)/(-1). Does 2 divide j/(-6) - (-15)/(-10)?
False
Let r(a) = a**3 + 19*a**2 - 4*a + 31. Is 23 a factor of r(-9)?
False
Let n(o) = 2*o**2 - 4*o - 6. Let g be n(6). Let a be 6 - 10/(20/4). Suppose -5*c = -q + g, 0 = 5*q - 2*q + a*c - 164. Is q a multiple of 13?
True
Let t be (-10)/25 - (-328)/(-5). Let z = t + 31. Let l = z - -53. Is 6 a factor of l?
True
Let c = -2 - -13. Let j(n) = n**3 - 10*n**2 - 13*n + 16. Let t be j(c). Is (-11)/66 - 79/t a multiple of 3?
False
Suppose -2*o + 23 = -0*f - 3*f, 5*f + 55 = 5*o. Let i = o + 0. Is 5 a factor of i?
True
Let l(k) = -4*k**2 - 15*k + 1. Let j be l(-10). Does 5 divide j/(-9) - 6/9?
False
Let y(b) = -6*b + 6. Suppose -3*d = h - 0*h - 18, 4*h = -4*d + 16. Suppose d*a = 9*a + 8. Is 8 a factor of y(a)?
False
Let l be 6/(-27) - 2300/18. Let k = -83 - l. Is 8 a factor of 2/(-5) + 1548/k?
False
Let k = -60 + 164. Suppose 4*d = t - 5*t + k, d + 5*t = 18. Is 4 a factor of d?
True
Suppose 4*v = q - 29, -3*q + 39 = -2*v - 2*v. Let n be (152/(-10))/(v/45). Suppose 2*g + 2*j + j - n = 0, -3*g = -2*j - 158. Is g a multiple of 13?
False
Let q(n) = -n + 1. Let l(m) = -5*m + 10. Let f(o) = -l(o) + 4*q(o). Let v be f(6). Suppose -3*y + 4*s + s + 85 = v, -y + 5*s + 45 = 0. Is 12 a factor of y?
False
Let g = 1203 + -718. Is g a multiple of 4?
False
Is (51/(-12))/((-13)/260) a multiple of 25?
False
Suppose 0 = 4*a - 2*a + 2132. Does 26 divide a/(-12) - 5/(-30)?
False
Suppose 3*g - 24 = -5*u - 5, 5*u = -5*g + 25. Suppose u*x - 50 = -0*x. Does 25 divide x?
True
Let c be (33/22)/(1/74). Let j = c + -21. Is 18 a factor of j?
True
Suppose 4*p - 4*m = 663 + 33, -5*p + 874 = -3*m. Does 16 divide p?
True
Let d(s) be the second derivative of -s**3/6 + 3*s**2 - 5*s. Let b be d(7). Is 1 + b + (38 - 2) a multiple of 18?
True
Let k be (1 - 0 - -282 - 3) + -3. Let f = k - 100. Is f a multiple of 17?
False
Let m = 12 - 7. Suppose 185 = -m*f + 635. Does 22 divide f?
False
Let f(p) = 73*p - 1. Let a be f(-1). Let v = 168 + a. Let g = v + -24. Does 14 divide g?
True
Suppose -y - 27 = 55. Does 7 divide y*((-27)/6 - -4)?
False
Let s = 249 + -99. Is s a multiple of 30?
True
Suppose 4*g = -4*n + 4324, -9 = -5*g + 1. Let k = -717 + n. Is 45 a factor of k?
False
Suppose -3*t + 5*t = -300. Let n be t/(-35) - (-2)/(-7). Suppose -2*l + 5*l - 44 = 2*j, -n*j - 8 = -l. Does 16 divide l?
True
Suppose 0 = 163*x - 155*x - 20880. Does 30 divide x?
True
Let t be (-1 - 0)/((-2)/74). Suppose -5*a + 3*a + 26 = c, -3*a - c = -t. Suppose -38 + a = -3*r. Is 4 a factor of r?
False
Let z be 3*-3*(-9)/27. Suppose -5*k = -z*a + 274, k = -2*a - 0*k + 161. Let w = a + -33. Is 11 a factor of w?
False
Let n = 1246 - 709. Suppose 4*o = -12, n = 3*u + 4*o - 3*o. Is u a multiple of 30?
True
Suppose 2*z + t = 149, 2*z - 2*t - 124 = 22. Suppose -14 = 3*c + 4*l - 120, -2*c + z = l. Does 22 divide c?
False
Suppose 8*g + 489 = j + 5*g, 5*g = 3*j - 1463. Is 7 a factor of j?
False
Suppose -10222 = -4*a - 2*j, 144*a - 141*a + 4*j - 7664 = 0. Is a a multiple of 20?
False
Let i = 271 + 245. Does 43 divide i?
True
Let r(u) = -u**3 + 2*u**2 - u + 71. Does 3 divide r(0)?
False
Let j(y) = -6*y**2 + 6*y - 15. Let w be j(6). Let z = 81 - w. Is z a multiple of 23?
True
Let b(u) = 16*u + 19. Let v be b(-5). Let y = -46 - v. Is y a multiple of 2?
False
Let s = 217 - 145. Is ((-25)/15 - -3)*s a multiple of 16?
True
Let j = -1578 - -1770. Is 6 a factor of j?
True
Let x(y) = y**2 - 2*y - 10. Let b be -15*(-1 + 2/(-6)). Suppose 5*s - 7*s = -b. Is 14 a factor of x(s)?
True
Is 2 a factor of 96/(55/(-10) - -7)?
True
Let f be (32/(-10) + 2)/(32/80). Is 20 a factor of (-2)/(f/276*2)?
False
Suppose 17*c = 21*c. Suppose -2*l + 6*l - 184 = c. Does 7 divide l?
False
Is (3 - -2 - 4)*61 a multiple of 9?
False
Let l(c) be the second derivative of -c**3/6 + c**2 - 4*c. Let g be l(-5). Is g/((-4)/(1 + -5)) a multiple of 7?
True
Let q = 704 + -251. Does 4 divide q?
False
Let l(s) = s**3 - 20*s**2 + 18*s + 19. Let c be l(19). Is 28 a factor of 5 + c - (-1596)/14?
False
Let j(z) = z**3 + 4*z**2 - 5*z - 1. Let v be j(-4). Suppose q - v = 25. Is q a multiple of 11?
True
Suppose 13*c - 11895 = 1365. Does 60 divide c?
True
Is 7 a factor of 18/21 + (-102050)/(-175)?
False
Let d(l) = 3*l + 2. Let q = -13 - -8. Let s be ((-2)/7)/(q/35). Does 4 divide d(s)?
True
Let a(f) = -f**3 + 4*f**2 + 30*f - 7. Let q be a(8). Let b = 150 + q. Is 14 a factor of b?
False
Suppose 3*d = 20 - 14. Let s(m) = -2*m**3 - 3 - 3*m**d + 4*m**3 - 3*m**3 + 8*m + 2*m**3. Is 11 a factor of s(5)?
False
Let l be 2/(-1) + 9 + -5. Let v(h) = 1 - 2*h - l + 4*h + 5*h**2 + h. Is v(-3) a multiple of 9?
False
Is 4 a factor of (42790/(-165) - (0 + -6))*-3?
True
Let f = -1539 + 4268. Is f a multiple of 16?
False
Let z(i) = 3*i**3 - 27*i**2 - 19*i - 44. Does 64 divide z(12)?
True
Let h = 66 - 66. Suppose -f - 5*k + 45 = h, 2*f - 3*k = -0*k + 38. Is f a multiple of 5?
True
Let l = 17 + 17. Let g = 76 + -79. Let b = l - g. Does 11 divide b?
False
Let d be -3292*(-3)/(0 - -3). Suppose 7*h - d = -142. Does 19 divide (h/(5 + -2))/2?
False
Suppose -2*y + 34 + 856 = 2*m, -5*y + m + 2255 = 0. Is y a multiple of 10?
True
Let k(v) = -v**2 - 5*v - 3. Let x be k(-2). Suppose -4*y - 224 = -4*i, i + 2*y - 56 = -x*y. Is i a multiple of 8?
True
Suppose 2*d = 17 - 9. Let h(w) = 24*w - 31. Is h(d) a multiple of 13?
True
Let f be (-1)/((-4 + 2)/16). Suppose f*b - 63 = 129. Is 12 a factor of b?
True
Suppose j + 8 = -j. Let s(b) = b**2 + 3*b - 2. Let g be s(j). Suppose -3*q + 30 = -g*q. Does 30 divide q?
True
Is 2 a factor of (1168/(-20))/((-6)/15)?
True
Does 29 divide (-4)/(-5) - 1386/(-5)?
False
Let v be ((-4)/(-5))/((-2)/(-65)). Suppose v = -0*b + 3*b - 5*a, -5*b + a + 14 = 0. Suppose b*z - 17 = 17. Is z a multiple of 13?
False
Let r be ((-12)/18)/((-1)/12). Let x = -12 + r. Is 7 a factor of 292/18 - x/(-18)?
False
Suppose 26*s - 22*s = 1140. Is s a multiple of 57?
True
Suppose 1272 = 6*u - 3372. Does 41 divide u?
False
Let b(a) = -20*a**3 + 35*a**2 + 3*a - 23. Let i(y) = -7*y**3 + 12*y**2 + y - 8. Let q(z) = -6*b(z) + 17*i(z). Does 22 divide q(7)?
True
Let s(w) = 2*w**2 - 8*w + 5. Let p be -2 - (-1 - 1) - 9. Let i = -4 - p. Does 6 divide s(i)?
False
Let m(w) = -1 + 6*w**2 - 3*w**2 + 3*w**2. Suppose 0 = n + 4*n - 5. Is m(n) a multiple of 5?
True
Suppose 0*u = 6*u - 540. Suppose -2*g + 4*r + u = 0, 0 = -5*g - 0*g - r + 170. Is 7 a factor of g?
True
Let i(u) = 2*u**2 - 23*u - 120. Does 40 divide i(24)?
True
Suppose y - 20 = -5*r, -20 = -y + 3*r + 2*r. Suppose -15 = -5*t + 65. Suppose 3*s - t = y. Is s a multiple of 4?
True
Let v(o) = o**3 - 16*o**2 - 13*o - 15. Let n be (3 - 6)/3 + 18. Is v(n) a multiple of 13?
False
Let w(r) = -4*r - 5. Let y(u) = -u + 1. Let a(s) = -3*w(s) - 12*y(s). Is 33 a factor of a(4)?
True
Does 19 divide -6*(-71 - 0)*5/10?
False
Suppose -3*o - 49 - 47 = -3*y, -4*o = 3*y - 124. Is 12 a factor of y?
True
Let h be (8 - (-12)/(-3)) + 33. Let b = h + 10. Does 8 divide b?
False
Let f(t) = -688*t - 51. Does 17 divide f(-2)?
False
Let a(t) = -t**2 + 5*t + 6. Let c be a(6). Suppose c*p - 214 = -2*n + 2*p, 3*n = 2*p + 318. Is 26 a factor of n?
True
Let z(f) = -f**3 - 20*f**2 - 20*f - 25. Is 15 a factor of z(-20)?
True
Suppose 314 - 1708 = -n + 4*z, 0 = -5*n + 3*z + 6936. Suppose -4*m = b - 1123, 4*b = 4*m - n + 278. Is m a multiple of 32?
Fals