ctor of p?
True
Let v = 4 + -2. Let j(x) = -x + 6*x - v*x. Does 13 divide j(17)?
False
Let d = 2 + -5. Let b be d/4*8/(-3). Suppose -5*l = -0*l + 5*z - 170, -b*z = -l + 25. Does 14 divide l?
False
Suppose o = v + v + 1, 4*o = -5*v + 30. Suppose v*x - 4*d = 88, 4*x - 43 - 88 = -d. Does 17 divide x?
True
Let j = 1051 - 431. Suppose 2 = -f + 5*d + 132, 5*d - j = -4*f. Does 25 divide f?
True
Let b(s) = s**2 - 4*s - 1. Is b(8) a multiple of 10?
False
Let n = 1015 - 183. Is n a multiple of 13?
True
Suppose 4*f + 22 = 82. Suppose j + f = -5*c, -4*j - 8 = 5*c + 7. Suppose -i + 3*i - 52 = j. Is i a multiple of 13?
True
Let w be 1/1*(4 + -5). Let i = -7 + w. Is 19/1 + (i - -7) a multiple of 6?
True
Let h = -18 + 20. Suppose 5*l + 60 = -h*s + 821, -5*s + 449 = 3*l. Does 33 divide l?
False
Let m(s) = -s**2 + 3*s - 4. Let n be m(2). Is 141/21 + n/(-7) a multiple of 7?
True
Let s = 120 + -243. Let p = -82 - s. Is 14 a factor of p?
False
Let j = 9 - 6. Let o(h) = 12*h**2. Let c be o(-2). Suppose 0 = j*s - 3*b - 87 - c, 0 = -s + 4*b + 36. Is 7 a factor of s?
False
Let m = -589 + 955. Is 6 a factor of m?
True
Suppose 0 = v + 4*v. Suppose 0 = u - v - 5. Suppose -u*x + 2*x + 27 = 0. Is x a multiple of 5?
False
Let h(a) be the second derivative of a**5/10 + 5*a**4/3 + 8*a**3/3 + 6*a**2 - 28*a. Is 15 a factor of h(-9)?
True
Let f = 35 + -18. Suppose -f + 56 = 3*h. Does 9 divide h?
False
Suppose 36*r - 48*r + 7176 = 0. Is 26 a factor of r?
True
Let w = -16 + 16. Suppose w = -h - 3*h + 16. Is (-1)/h*(-33 - 11) a multiple of 11?
True
Suppose -o + 2*z - 2 = 0, 0*o - z + 1 = 3*o. Suppose 0 = 3*w + m - 141, 3*w - m + 3*m - 138 = o. Is 16 a factor of w?
True
Suppose 25298 + 36927 = 25*z. Is 19 a factor of z?
True
Let d = -554 - -946. Suppose -2*s - d = 4*z + z, 332 = -4*z + 3*s. Is (z/(-30))/((-2)/(-6)) a multiple of 2?
True
Let g = -18 - -20. Let z(v) = 2*v**3 + 2*v**2 + v + 1. Is 3 a factor of z(g)?
True
Suppose 7*i - 12 = -4*q + 9*i, -2*i = q - 13. Suppose -191 = -q*j + 109. Does 15 divide j?
True
Suppose 6*k = 2*k + 16. Suppose -k = -q, 19 = 2*o + 3*o + q. Suppose 6 = -o*z + 123. Is z a multiple of 13?
True
Let h be (2/(-6))/(2/66). Let b = h + 14. Let q = b - -39. Is 14 a factor of q?
True
Let g(j) = j - 5. Let s be g(8). Let v be -2 + 6/s - -144. Suppose -8*k + 4*k + v = 0. Is k a multiple of 9?
True
Let k = 3381 - 2136. Is 83 a factor of k?
True
Suppose 5*o - 8 = -3*g - 33, 2*o = 3*g - 10. Suppose -f + 14 + 5 = g. Does 6 divide f?
False
Suppose -2*k + 0*k = 3*b - 36, -5*b - 5*k + 55 = 0. Is 10 a factor of -4 + 174/42 + 1398/b?
True
Let g(z) = z**2 + 14*z + 27. Let x be g(-12). Does 21 divide (210/(-8))/(x/(-12))?
True
Let k(x) = x**3 + 3*x**2 - 3*x - 4. Let u be k(-3). Suppose 3*z - 12 = 4*z - u*n, -n - 12 = -2*z. Is 3 a factor of z?
False
Is (-32)/64*(-73 - 3/(-1)) a multiple of 5?
True
Let z(b) = b**3 - 2*b + 288. Let r be z(0). Is (16/6)/(8/r) a multiple of 32?
True
Let i = -23 + 27. Suppose -4*y = 4*v - 32, 2*y - 3*y = -i*v + 17. Suppose j = -0 + 2, -y*s + 4*j + 22 = 0. Is s a multiple of 6?
False
Let o(n) be the second derivative of n**5/2 + n**4/24 - 2*n**2 + 3*n. Let u(m) be the first derivative of o(m). Is 11 a factor of u(1)?
False
Let s = 567 - -504. Suppose 5*x - 364 - s = 0. Does 31 divide x?
False
Let z(u) = 18*u**2 + 8*u + 43. Is z(-7) a multiple of 9?
False
Let l = -94 + 282. Is 15 a factor of l?
False
Suppose 29*n = 3*n + 6630. Is 15 a factor of n?
True
Suppose 3*b + 5*j = 2*j + 1635, 2*j = -3*b + 1636. Does 14 divide b?
True
Let m(k) = -4*k - 47. Let h(v) be the first derivative of -v**2/2 - 12*v + 4. Let b(y) = -9*h(y) + 2*m(y). Does 7 divide b(8)?
False
Suppose -698 - 38 = -4*x. Is 8 a factor of x?
True
Let t(b) = 403*b + 2*b**2 - b**2 - 388*b + 17 - 1. Is t(-16) a multiple of 16?
True
Let a = 3121 + -878. Is a a multiple of 26?
False
Let a = -982 + 2053. Is a a multiple of 21?
True
Suppose -5*i + 471 + 126 = h, 0 = i + 1. Does 14 divide h?
True
Let a(d) = 3*d - 5. Let v be a(7). Suppose 0 = v*y - 11*y - 495. Is y a multiple of 37?
False
Suppose 58*w + 728 = 62*w. Is 14 a factor of w?
True
Suppose -c = -2*b - 49, 3*b = -2*b - 2*c - 127. Let r = b + 235. Is r a multiple of 42?
True
Suppose 4*c - 233 = -53. Suppose c = -2*a + 231. Does 19 divide a?
False
Suppose -23 = -2*a + 3*g + 4, -5*a + 81 = -3*g. Let q = -16 + a. Is (q/4)/(3/78) a multiple of 13?
True
Suppose 6*s - 8*s - a = -1749, 3*a = -4*s + 3499. Is s a multiple of 23?
True
Let z = -11 - -15. Suppose -26 = -z*o - 10. Suppose -5*b + 224 = -o*g, 2*b - 116 = -3*g - 2*g. Is 8 a factor of b?
True
Suppose -2*r + 17 = -55. Let l = 111 + r. Does 21 divide l?
True
Let w = 22 + -140. Let d = w - -173. Does 11 divide d?
True
Let x = 60 + -57. Is 22 a factor of (9/6)/(x/366)?
False
Suppose 0 = y + 3 - 1. Let c(p) be the second derivative of 19*p**4/12 + p**3/6 - p**2 - 2*p + 6. Does 18 divide c(y)?
True
Suppose 162 = -0*x + 2*x. Let m = 146 - x. Does 17 divide m?
False
Suppose v - 2*v - 56 = 0. Let x = -39 - v. Let f = x - -6. Is f a multiple of 7?
False
Is (-816)/(-32)*(-56)/(-6) a multiple of 14?
True
Suppose 0 = 5*w - 3 - 27. Let i(x) = 4*x**2 - 7*x - 12. Is 18 a factor of i(w)?
True
Let n(g) = 232*g - 2. Does 46 divide n(1)?
True
Let a be (-5)/(-35)*-2 + 12/(-7). Does 10 divide 1 - a - (25/(-5) - 30)?
False
Let b = -44 - -106. Let m = -19 + b. Does 10 divide m?
False
Let w be (-1 - 8)/3 + 60. Suppose 3 = 3*d - 6. Suppose d*q + 0*q = w. Is q a multiple of 8?
False
Suppose 5994 + 4566 = 40*h. Is 42 a factor of h?
False
Suppose 3*q = 4*l - 557, l + q = -0*l + 141. Is 7 a factor of l?
True
Let s(v) = 2*v**2 + 4*v - 12. Suppose -5*l - 28 = -2*n + 3*n, 2*l + 4*n = -22. Let j be s(l). Is 13 a factor of ((-22)/3)/((-3)/j)?
False
Let m = -111 - -113. Suppose -m*i = 3*x - 161, i = -3*x - 2*i + 159. Is 7 a factor of x?
False
Let x(s) = -2*s**2 + 16 + 2*s + 22 + 31*s**2 - s**3. Is x(29) a multiple of 11?
False
Let h be (-589)/2 - (-6)/12. Let x = 468 + h. Suppose -3*g + 5*g = x. Does 23 divide g?
False
Let u = -271 + 431. Let d = 366 - u. Does 45 divide d?
False
Let u(k) = k**3 - 22*k**2 - 76*k + 36. Does 11 divide u(25)?
True
Let s = -3 - -3. Let v be 2*(-3*(-2)/12 + 2). Let l = v - s. Does 2 divide l?
False
Let p be -5 - (-2)/1 - (-12)/4. Suppose -z + w + 49 = 0, p*z + w - 139 = -3*z. Is 31 a factor of z?
False
Does 16 divide 104/(-12)*1566/(-36)?
False
Suppose 4*a = a + 57. Let h = a - 19. Suppose -2*x + 4*n = -123 - 97, -2*x + 5*n + 223 = h. Is 26 a factor of x?
True
Does 6 divide (-6)/(0 + -1) - (-134 + -46)?
True
Suppose -2*c + 14 = -2. Suppose -4 = j - c. Suppose j*z + 9 = 77. Is z a multiple of 6?
False
Let a = -1408 + 2020. Does 6 divide a?
True
Let n(y) = 39*y - 23. Does 52 divide n(15)?
False
Let z(n) = n**2 + 3*n - 8. Let c be z(-6). Let t(v) = -3 + v**2 + 2 - 4*v + 0 - 2. Is 19 a factor of t(c)?
True
Let x = 552 - -1879. Is x a multiple of 11?
True
Let g(d) = -2*d - 4. Let v be g(-6). Is (v + -10)*(-426)/4 a multiple of 26?
False
Let l(z) = z**3 - 7*z**2 - z + 832. Does 52 divide l(0)?
True
Let i = 74 + -72. Let x = 1 + 1. Suppose 5*f + 385 = i*l + 3*l, 5*l = x*f + 394. Does 21 divide l?
False
Let j = 12 - 9. Let g be 169 + (j - 7)/2. Suppose t - 22 - 31 = -h, -3*h + g = -5*t. Does 22 divide h?
False
Suppose 6*q - 20 = q. Let r = 81 - 78. Suppose 0 = q*z - z + r*j - 27, 3*z - 45 = 3*j. Is 4 a factor of z?
True
Let t = 32 - 27. Suppose t*b + 4*h - 3*h = 20, b - 2*h = 15. Suppose 6 - 81 = -b*r. Does 3 divide r?
True
Suppose -4*j - 5*u = -3966, -5*u + 3*u = -2*j + 1974. Is j a multiple of 14?
False
Suppose p = u - 40, -4*p + 114 = 2*u + 22. Suppose 3*b - 17 = 22. Let i = u - b. Does 19 divide i?
False
Suppose 74*r - 1869 = 71*r. Is r a multiple of 35?
False
Suppose 5*q = 5*g + 560, -22*q + 2*g = -18*q - 442. Does 9 divide q?
False
Let v = 67 - 64. Suppose v*o = -3*k + 459, -2*k + 0*o + 4*o + 318 = 0. Is 16 a factor of k?
False
Let c(f) = 16*f - 12. Let o be c(-6). Let s = o + 226. Does 18 divide s?
False
Let l(x) = x**2. Suppose -4*w - 57 = -5*q, 2*w - 6*w = q + 27. Does 5 divide l(w)?
False
Let u(b) = -b**3 - 12*b**2 + 150*b + 7. Is 8 a factor of u(-21)?
False
Let x = 1782 - 1223. Is x a multiple of 75?
False
Let q(r) = 28*r + 359. Is 3 a factor of q(-5)?
True
Let w = -62 - -138. Let p = w + 