518. Let p = t - 81. Is 12 a factor of p?
False
Suppose k - 10 = 2*r, 1 = -3*k + 2*r + 27. Let x be (18/8)/((-2)/k). Let v = x - -39. Is v a multiple of 10?
True
Let o be -1*((-2)/2 - -2). Let f = 5 - o. Does 8 divide 32/(-6)*(3 - f)?
True
Suppose -2*u + 2*d + 3*d = -41, -4*u + 3*d = -47. Let z(c) = -c**2 + 14*c - 20. Is 6 a factor of z(u)?
False
Let r(w) be the second derivative of 1/2*w**4 + 5/6*w**3 + 3/2*w**2 - w - 1/20*w**5 + 0. Is r(6) a multiple of 10?
False
Let z = -689 - -804. Does 10 divide z?
False
Let r(m) = -m. Let l be r(-12). Let h be (-3)/(-4 + 39/l). Suppose -4*v + h*t = -312, 3*v - 155 = v + t. Is 27 a factor of v?
False
Let p = -1209 - -4359. Is p a multiple of 18?
True
Let g(x) = -x**2 + 28*x - 41. Let l be g(25). Is (-4)/(-2) + (l - 1) a multiple of 7?
True
Let u(x) = x**3 + 7*x**2 - 8*x. Let w be u(-8). Suppose w = 4*y - 5*m + 533, -291 = 2*y + 5*m - 62. Let q = -65 - y. Is q a multiple of 20?
False
Suppose -7*j - 129 = -4*j. Let b = 74 + j. Is b a multiple of 11?
False
Let n(c) = -7*c**3 + 11*c - 12*c + c**3. Let d be n(-1). Suppose 0 = 3*a + 4*t - 55, 4*t + 145 = d*a - 2*a. Is 11 a factor of a?
False
Let b(i) = 3*i**3 - i**2 + i - 1. Let x be b(1). Suppose -2*o + 282 = -x*k, -k - 2*k + 5*o = 419. Let r = -50 - k. Is r a multiple of 31?
True
Suppose 6*p = -p + 1435. Is 5 a factor of p?
True
Let q(j) = j**2 + 14*j + 13. Let w be (-80)/(-20) + 17*-1. Let r be q(w). Is 16/(-8) + 34 + r a multiple of 14?
False
Suppose -21 - 27 = -4*f. Suppose 3*c + f = 3, -4*c - 56 = -4*q. Does 18 divide q/(-33) - 124/(-3)?
False
Suppose 4*g = -c - 12, 3*g = 3*c + 4 + 62. Is ((-64)/(-10))/((-2)/c) a multiple of 16?
True
Let q be 1/6*-2*-369. Let h = q - 61. Is 13 a factor of h?
False
Let f(t) = -2*t + 9. Let l be f(6). Let q be 897/46*2/3. Let c = q - l. Does 6 divide c?
False
Let w(o) = -o**2 - 4*o. Let d be w(-3). Suppose 3*s - d*r = 96, 0 = 3*r + 12 - 0. Does 7 divide s?
True
Suppose -c - c + 38 = 0. Suppose c*s + 555 = 14*s. Let i = 188 + s. Is i a multiple of 35?
False
Let y = 1207 - -1082. Is 109 a factor of y?
True
Let s = -697 + 1357. Is 30 a factor of s?
True
Let v = -368 - -688. Suppose 32*t + v = 34*t. Is t a multiple of 20?
True
Suppose -2*t = -s - 337, 5*s - 695 = t - 5*t. Suppose -11 + t = 3*q. Is q a multiple of 31?
False
Suppose -2*u - 9 = 7. Let c = u - -7. Does 19 divide -2 - 174/(-4 - c)?
False
Suppose -4*b - 6*l + 136 = -4*l, -2*l + 4 = 0. Let d = 76 + b. Does 18 divide d?
False
Let v = -169 + 372. Let b = 739 + -734. Suppose q = -b*i + 323, -3*i = -q - 3*q - v. Is 24 a factor of i?
False
Suppose 3*l - 61 - 5 = 0. Let r = 37 - l. Let v = r + -6. Is v a multiple of 3?
True
Let i(s) = -26*s - 2. Suppose -7*g + 4*g - 9 = 0. Does 38 divide i(g)?
True
Let c(n) = -2*n + 19. Suppose 0 = 10*d + d - 13*d. Is 4 a factor of c(d)?
False
Let l = -553 - -639. Does 3 divide l?
False
Let j be -1 + 23 - 0/1. Let z be 11/j - (-497)/(-2). Does 28 divide 1*5/(-10)*z?
False
Let z be (-2 + -7)/(15/20). Let m = z + 15. Is 10 a factor of (-4)/((-12)/51) + m?
True
Suppose -22*j + 5*j = -5593. Is 19 a factor of j?
False
Let s(p) = -1045*p + 1033*p + 1 + 0. Let q(c) = c**3 - 3*c**2 + c - 4. Let j be q(3). Does 11 divide s(j)?
False
Let k(o) = 2*o**2 - 27*o - 9. Let n(r) = -r**3 - 10*r**2 - 10*r + 5. Let b be n(-9). Is k(b) a multiple of 2?
False
Let v = -1121 - -2118. Is v a multiple of 50?
False
Suppose -12 = 4*r, -3*r + 43 + 22 = 2*p. Suppose -32*z + p*z = 235. Is 13 a factor of z?
False
Let t(w) = -w**2 - 9*w - 9. Let d be t(-7). Let f be 10/((1 - 4) + d). Let o = 12 - f. Is o a multiple of 2?
False
Suppose -5*w - 4*i = -7, -4*i + 4 = -3*w + 21. Suppose -2*b - b + 5*a = -931, 1251 = 4*b + w*a. Is 13 a factor of b?
True
Suppose 4*k = -0*k + 4*h - 36, -5*h + 27 = -2*k. Let c = 6 + k. Suppose c*o + 54 = 3*o. Is 4 a factor of o?
False
Let j = -7 + -52. Let x = 161 + j. Suppose 2*s - x + 12 = 2*g, -217 = -5*s + g. Is 11 a factor of s?
False
Let m = -19 + 16. Let g(w) = -4*w**3 - 3*w**2 + 2*w + 2. Is 11 a factor of g(m)?
True
Suppose -f = 3*f + 80. Let v = 19 + f. Does 20 divide 16*((-1)/(-4) - v)?
True
Let b = -939 - -2145. Is 67 a factor of b?
True
Suppose 1 + 55 = -5*s + 3*y, 0 = -s + 5*y - 20. Let m(k) be the third derivative of k**6/120 + k**5/6 - k**4/8 - 2*k**3 + 7*k**2. Is m(s) a multiple of 6?
True
Suppose -576*z + 480 = -571*z. Does 8 divide z?
True
Let i(v) be the second derivative of v**3/6 + 11*v**2/2 - 2*v. Let h be i(-8). Suppose 2*a - h*n - 43 + 0 = 0, 0 = -5*a + n + 101. Is a a multiple of 6?
False
Suppose 5*m - 5*r = 1255, -m + 3*r + 257 = -r. Is m a multiple of 57?
False
Let q(o) = -o**2 + o + 2. Let s be q(0). Let i(k) = 2*k**2 - 15*k - 27. Let v(j) = -j**2 + 8*j + 13. Let r(d) = s*i(d) + 5*v(d). Does 15 divide r(9)?
False
Let s(g) = -4*g - 14. Let f be s(-10). Is (f - 12/4) + 5 a multiple of 8?
False
Suppose -4*t + 3*o = 2*o - 16, 2*t + 2*o = 8. Suppose 5*h = t*h + 5. Suppose -4*k = -h*k + 32. Is k a multiple of 8?
True
Let k = -10587 + 15190. Is k a multiple of 57?
False
Suppose 33*u = 4545 + 4068. Is 11 a factor of u?
False
Suppose 2*f - 6*a + 5*a = 509, 5*f - 7*a = 1277. Is f a multiple of 22?
False
Let r(w) = -w + 18. Let d be r(13). Suppose d*y - 65 = 350. Is y a multiple of 16?
False
Let v = -388 + 1424. Is v a multiple of 29?
False
Suppose 63*d - 44954 = 44*d. Is d a multiple of 14?
True
Let u = 5 - 6. Let w be 18/3*(u + 0). Does 17 divide ((-248)/6)/(4/w)?
False
Let o(u) be the second derivative of u**4/12 - 3*u**2/2 + 13*u. Is o(6) a multiple of 14?
False
Let g = 5138 + -1358. Is g a multiple of 42?
True
Is 114 a factor of (-9)/((-36)/(-7904))*18/(-12)?
True
Suppose 114 = 2*f - 206. Does 16 divide f?
True
Suppose -5 = 9*g - 4*g, -4*s - 4*g = -260. Does 3 divide s?
True
Suppose 25 = 5*k + 2*d, 4*k = -4*d - 23 + 55. Suppose 5*c - 1374 = -n, 3*n = -5*c + k*c + 560. Does 33 divide c?
False
Let y(s) be the first derivative of 65*s**2/2 + 4*s - 8. Let u be y(4). Suppose -u = -5*p + 276. Is 36 a factor of p?
True
Is 3*(-12)/18 + (-752)/(-2) a multiple of 34?
True
Suppose 0 = 8*q - 11249 - 2351. Is 17 a factor of q?
True
Let f be (-2 + 5 + -31)/(-1). Let q = 104 - 74. Suppose -l + f = -q. Is 17 a factor of l?
False
Let m(w) = 278*w + 8. Let l be m(4). Suppose 2*p = -0*p - 2, 3*r + 4*p = -l. Is 5 a factor of 12/54 - r/27?
False
Let k(x) = 3*x + 15. Let g(c) = -21*c - 105. Let w(n) = -4*g(n) - 27*k(n). Let r be w(15). Suppose r = q - 5*p - 20, 2*q - 3*p - 153 = 0. Does 15 divide q?
True
Let v(c) = -23*c - 2. Let d = -14 + 20. Suppose 0 = 3*t - 2*y - 2, 5*t + d = y - 0. Does 11 divide v(t)?
True
Let o(a) = -6*a. Let n = 17 - 7. Let l be (12/(-15))/(2/n). Is o(l) a multiple of 9?
False
Let u(a) = -2*a**3 + 3*a**2 - 5*a + 17. Is u(-7) a multiple of 24?
False
Let d = 29 + -27. Suppose -2*w = -5*h + 307, 0 = 6*h - h + d*w - 323. Is h a multiple of 21?
True
Does 3 divide 4/(-14) - 3/(231/(-18733))?
True
Does 2 divide (-1506)/(-21) + (-4 - 120/(-28))?
True
Let b = -30 + 34. Let v(c) = -5*c + 44. Let f(a) = -3*a + 22. Let l(y) = b*v(y) - 7*f(y). Is l(-13) even?
False
Suppose 4*s + 1114 = -2*n + 4106, 2992 = 4*s + 3*n. Is 11 a factor of s?
True
Let z = -5 + -41. Let a = 61 + z. Is 5 a factor of a?
True
Let b(y) = -y**3 + 4*y**2 + 5*y + 4. Let h be b(5). Suppose h*w - 64 = 48. Is w a multiple of 7?
True
Suppose -3*l + 0*l + 2*v + 5 = 0, 2*l + 2*v = 10. Suppose -l*a - 2*y + 385 = 0, -49 = 5*a + y - 679. Does 12 divide a?
False
Let y = 104 + -161. Let m = 38 - y. Let l = m - 42. Does 13 divide l?
False
Let u(w) = 56 - 67 + 34 + w. Let l be -9*(-2)/8*-4. Is u(l) a multiple of 7?
True
Suppose z - 5*t + 75 = 0, 0 = -2*z - 4*t - 140 - 10. Let c = 127 + z. Does 20 divide c?
False
Suppose 6*a = 11*a. Suppose -2*i = -a*i - 22. Let s = i - 4. Does 7 divide s?
True
Suppose 0*c - 4*c = 152. Let y = c + 62. Is y a multiple of 8?
True
Let d(a) = 18*a**3 - 18*a**2 - 4*a - 37. Is 21 a factor of d(5)?
True
Let u(x) = 141*x**2 + x - 1. Let g be u(1). Is (-3)/(-5)*(g - -4) a multiple of 29?
True
Let d(p) = 15 + 12 + 3*p - p**3 + 4*p**2 - 32 + 4*p**2. Let x(k) = k**2 + 2*k. Let b be x(-4). Is d(b) a multiple of 19?
True
Suppose -2*i + 8*i = -4*i. Is (-124)/(-1) - ((-6)/(-3) + i) a multiple of 15?
False
Let c(a) = 6*a**2 + 5*a + 5. Let q be c(-2). Let d = 2