-o = -r*o + 50. Suppose 3*p + z = 21 + 5, 5*z - o = 0. Is p a multiple of 4?
True
Suppose 0 = -5*h - 20 + 140. Suppose -4*d - 8 = 4*u, 3*d - 3*u = -0*u + h. Is 10 a factor of (3 - d - 1)*-17?
False
Suppose -q + 89 = -4*a - 44, -3*a = 9. Let o be -3*(0 - (-268)/12). Let h = o + q. Is 18 a factor of h?
True
Let f(s) = 2*s**2 - 5*s + 22. Does 15 divide f(-16)?
False
Suppose -24 - 8 = 2*t. Let y be (-366)/((-20)/t - 2). Suppose 9*f - y = f. Is f a multiple of 9?
False
Suppose -4*j = -1050 - 1082. Is j a multiple of 25?
False
Let r = 171 - 113. Suppose -50 = -3*a + r. Is 17 a factor of a?
False
Is (4 - -616) + (-1 - -10) a multiple of 37?
True
Let m be (110/(-8))/5*-12. Suppose 0 = 4*y - m - 23. Does 13 divide ((-236)/10)/(y/(-35))?
False
Suppose 3*c - 5*z - 146 = c, -2*c + 150 = -4*z. Let g = -23 + c. Is 12 a factor of g?
True
Let a(o) = -6*o**3 - 15*o**2 - o + 5. Is a(-7) a multiple of 16?
False
Let x = -485 - -809. Does 5 divide x?
False
Suppose -3*d + 47 = 5*r, 0 = -2*r + 3 - 1. Let j = 13 - d. Is 10 + 2 + -2 + j a multiple of 3?
True
Let m = 1387 + -1099. Does 5 divide m?
False
Let f(k) be the first derivative of -k**4/4 - 7*k**3/3 - 9*k**2/2 + 8*k - 2. Let a be f(-7). Suppose 93 = 5*q - 2*h, -5*q + 3*h = -21 - a. Is q a multiple of 7?
False
Let s(a) = -a**2 + 9*a + 14. Let z be s(10). Suppose -262 = -z*i - 14. Is 13 a factor of i?
False
Let h(c) = c**3 - 20*c**2 - 7*c + 131. Is 24 a factor of h(24)?
False
Let o = 1028 - 591. Is o a multiple of 23?
True
Let i(r) = 134*r - 25. Is i(5) a multiple of 15?
True
Let a = -4711 - -7370. Is a a multiple of 23?
False
Suppose -4*x - 6 = -2*i + 2, 5*i - 6 = -4*x. Let h be i - 2/2*-12. Suppose a - h = -d, a = -4*a - d + 66. Is 13 a factor of a?
True
Let z(c) be the first derivative of 17*c**2/2 + c - 139. Suppose 0 = -3*a + 3*n + n - 1, a - 4*n = -3. Is z(a) a multiple of 4?
False
Let a = 970 - 852. Is a a multiple of 59?
True
Suppose 419 - 1727 = -3*k. Suppose -k = -11*u - 128. Is u a multiple of 14?
True
Suppose 0*s - 61 = 3*s - 2*i, -5*s = -2*i + 107. Let g = s + 112. Is g a multiple of 9?
False
Let i be (22/4)/(3/6). Suppose 4*c = i + 5. Suppose 5*f + 5*d - 47 = 8, 0 = f - c*d + 9. Is f even?
False
Let k(t) = 21*t**2 - 23*t - 5. Does 15 divide k(4)?
False
Let f = -7 - -7. Suppose -d - 7 + 34 = f. Is d a multiple of 9?
True
Let a(p) = 3*p**3 - 33*p**2 - 5*p + 31. Is a(14) a multiple of 15?
True
Let k(u) = -u**3 - 4*u**2 - 4*u - 1. Let x be k(-3). Suppose -5*m - 3*n = -197, -x*n - 162 = -0*m - 4*m. Is m a multiple of 8?
True
Let l = 11 - 14. Is 1 - -31 - (l + -1) a multiple of 13?
False
Let a = -18 - -26. Let u = 100 + a. Is u a multiple of 39?
False
Let h = 2665 - -512. Is h a multiple of 13?
False
Let h(p) = 0*p + p**2 + 0 + 2*p + 2 + 0. Let v be h(0). Suppose -2*t - 5*s = -138, 0*s = -2*t + v*s + 138. Is t a multiple of 14?
False
Let f = -31 - -76. Is f a multiple of 15?
True
Let v = 27 - 79. Let n = v + 101. Is 9 a factor of n?
False
Suppose -20 = -5*p, -529 = -3*y - p - 42. Is y a multiple of 102?
False
Let q(r) = r**3 + 9*r**2 + 6. Let x be q(-9). Let j(f) = 6 - x + 1 + 16*f. Does 21 divide j(5)?
False
Let w = -6 + 6. Suppose 4*s - 10 - 5 = -x, -3*s + 4*x + 35 = w. Suppose 1 = y, 3*m + m = -s*y + 33. Is 7 a factor of m?
True
Suppose -w + 5*p - 9 = 7, -w + 2*p = 4. Suppose n = 2*n - w. Suppose -5*x + n*x + 16 = 0. Is 8 a factor of x?
True
Suppose 0 = -4*l + 30 - 98. Let w = -71 - -46. Let t = l - w. Does 4 divide t?
True
Suppose -4*f + f = -804. Does 67 divide f?
True
Let g(y) = -10*y**3 + 18*y**2 + 21*y - 14. Let i(n) = 3*n**3 - 6*n**2 - 7*n + 5. Let t be 7*(-3)/(-3 + 0). Let l(f) = t*i(f) + 2*g(f). Is 5 a factor of l(7)?
False
Suppose -5*w + 41 = 3*u, -5*w + 0*u + 33 = -u. Suppose 110 = 2*r - w*r. Let v = r + 80. Does 11 divide v?
False
Let n = 473 + -390. Is 8 a factor of n?
False
Suppose 8987 = 26*l - 8043. Is l a multiple of 6?
False
Let d(m) = 17*m**2 - 1. Let g be d(1). Suppose 0 = -3*h - 6, 3*b - 54 = -b - h. Suppose 5*p - g = b. Is 6 a factor of p?
True
Let k = 72 - 103. Let d = k - -126. Does 12 divide d?
False
Let x(b) = 2*b**2 - 9*b + 4. Let v be x(4). Suppose -3*w + 4*w - 213 = v. Suppose 5*n = 192 + w. Is n a multiple of 27?
True
Let z = 877 + -347. Let t = -179 + z. Does 13 divide t?
True
Suppose 0 = -4*h + 2 + 34. Let x(d) = -8*d + 1. Let f(z) = -z - 1. Let v(l) = -3*f(l) - x(l). Does 31 divide v(h)?
False
Let o(m) = -m**3 + 30*m**2 + 4*m - 54. Does 2 divide o(30)?
True
Let b(t) = t**2 - 3*t - 7. Let z be b(5). Let w(r) = 4*r**3 - r**z - 1 - 3*r**2 - 4*r**3 + r. Does 11 divide w(-5)?
True
Let z(g) = 65*g**3 - 33*g**2 + 4. Is 14 a factor of z(2)?
True
Let p be (-10)/(-25)*11060/4. Suppose 0 = -5*j + p + 1354. Does 11 divide (j/8)/((-9)/(-6))?
False
Let n(t) = t**3 - 11*t**2 - 13*t - 32. Is n(13) a multiple of 65?
False
Let n = -536 - -773. Let r = n - -14. Suppose -6 + r = 5*m. Does 10 divide m?
False
Let v(n) = 60*n**2 + 30*n + 10. Is 85 a factor of v(-5)?
True
Suppose i - 14 = -i. Let t be (i/(-4))/((-3)/108). Suppose -t = -4*l + l. Is l a multiple of 10?
False
Let t(y) = -y**2 - 3*y + 2. Let k be t(-3). Suppose -4*c + 32 = 2*o, 0 = c + k*c + 3*o - 24. Suppose -c*n + 150 = -3*n. Is 15 a factor of n?
True
Let d(s) = 4*s**2 + 2*s + 18. Is d(-15) a multiple of 23?
False
Suppose -22*n - 4*n = -9464. Does 29 divide n?
False
Let b be (-76)/(-171) + (-44)/18. Let j = 156 + b. Is 11 a factor of j?
True
Let j = 401 + 514. Is 27 a factor of j?
False
Let l(p) = 5*p**2 + 23*p - 67. Is l(5) a multiple of 57?
False
Suppose -b - 3*u + 1629 = 0, 6223 = 4*b + u - 315. Does 57 divide b?
False
Suppose -6*a + 2*a = r + 15, 3*r - 6 = 5*a. Let d = -2 - r. Is 35 a factor of d + 49 + 12/4?
False
Let r(d) = -6*d**2 + 2*d + 5. Let a = -16 - -20. Let c(m) = m**2. Let q(h) = a*c(h) - r(h). Does 16 divide q(3)?
False
Let o = -103 + 763. Does 55 divide o?
True
Let z = -129 - -86. Let r = z + 115. Does 8 divide r?
True
Suppose 0 = -11*u + 6015 + 915. Is 30 a factor of u?
True
Let k(t) = 3*t + 21. Suppose -3*g = w + 10, 0 = -5*w - g - 2*g - 26. Does 2 divide k(w)?
False
Let h(v) = -v + 6. Let t be h(3). Suppose -o + t*o + l - 62 = 0, -8 = -2*l. Suppose 0 = a - 0*a - o. Is 6 a factor of a?
False
Let o = -10 - -44. Is o a multiple of 23?
False
Let z(o) = -139*o + 83. Is z(-5) a multiple of 18?
False
Suppose 3*d - 4*d - 5 = 0, 0 = -3*u + 5*d + 421. Does 14 divide u?
False
Suppose 97*l - 128372 = 30*l. Is l a multiple of 53?
False
Let v be (-2)/(432/217 + -2). Suppose v = 4*o - 123. Let a = -45 + o. Is a a multiple of 14?
False
Let w = -13 + 26. Let s(q) = -12*q - 5*q**2 - w + 2*q**2 + 4*q**2 + 5. Is s(13) a multiple of 5?
True
Let k(d) = -2*d - 4. Let f be k(-2). Suppose 3*b - 13 - 2 = f. Does 2 divide b?
False
Suppose 0 = d + 24*d - 1125. Is 7 a factor of d?
False
Let q = -1328 + 2847. Does 17 divide q?
False
Let q = 991 - 1760. Is 12 a factor of q/(-7) - (-2)/14?
False
Let o = 122 + -119. Let p(v) = 5*v**2 - 4*v**2 + 0*v**2 + v + 3. Is 4 a factor of p(o)?
False
Let o = 4040 - 2478. Is 19 a factor of o?
False
Let i = -14 - -14. Suppose -6 = 2*g, 2*g - 74 = -i*b - 5*b. Suppose 0 = 3*n - b - 47. Does 14 divide n?
False
Let j be (24/9)/((-2)/(-12)). Suppose -2*a - 84 = -3*c, -2*c = -2*a - 40 - j. Is c a multiple of 4?
True
Does 8 divide -3 + 1 - (-31080)/(-1 + 21)?
True
Suppose 0 = -3*y - 2 + 14, 2*g - 2580 = -y. Is 92 a factor of g?
True
Is (-4)/(-40) - (-32326)/140 a multiple of 33?
True
Suppose -2*k + 321 = -x - 0*x, 0 = 3*k + 4*x - 476. Suppose -4*c = -8*c + k. Suppose -8 = -b - 5*p + 16, -3*b + c = -p. Is b a multiple of 14?
True
Let h be 737/5 + -3 + (-39)/(-15). Suppose 5*a - h = 13. Does 16 divide a?
True
Let b(k) = -k**3 - 14*k**2 + 5*k - 40. Does 8 divide b(-15)?
False
Suppose 19 = -t + 22. Let l be (6/(-2))/(6/(-104)). Suppose t*h - l = -h. Is 13 a factor of h?
True
Suppose -4*v - 6 = -5*u + 8, -5*v = 3*u - 1. Suppose -4*t + 355 = -5*f + 98, u*t = -5*f + 91. Does 6 divide t?
False
Let b = -334 - -710. Does 51 divide b?
False
Let v = -333 + 605. Is v a multiple of 34?
True
Suppose -54 = 6*c - 4*c. Let z = c - -52. Does 25 divide z?
True
Suppose -69*a = -11944 - 242804. Does 13 divide a?
True
Let h = -556 + 584. Is 2 a factor of h?
True
Let w(x) = -8*x - 48. Is w(-12) a multiple of 6?
True
Suppose 3*k + 2