ide z?
False
Let y = -4 + 20. Suppose y - 212 = x. Does 33 divide 1 + (4 - 3) - x?
True
Suppose -227077 = -27*w - 102*w + 130511. Is w a multiple of 99?
True
Let v = 47 - -99. Let j = 150 - v. Is 2 a factor of j?
True
Let a = 1603 + -378. Suppose 4*r - 1291 = 4*f - 283, a = 5*r + 2*f. Is r a multiple of 13?
True
Suppose v = 72 + 267. Suppose -327 = -p + v. Is p a multiple of 18?
True
Suppose -3*u + 28 = 4*r, u = 2*u + 2*r - 12. Suppose -u*y - 2772 = -12*t + 9*t, -5*t + 3*y = -4631. Does 16 divide t?
True
Let r = 1409 + -329. Suppose n = 2*c + 3*c - r, 3*n = -15. Does 31 divide c?
False
Let y(z) = -2*z**2 - 59*z + 37. Let t(v) = -8*v**2 + 44*v - 1. Let k be t(6). Does 42 divide y(k)?
False
Suppose 0 = 4*j + 1 - 13. Suppose 2*o - 10 = j*n + 2, 0 = -5*o + 15. Is 16 - (-3 - n)*-4 a multiple of 3?
True
Let n = -670 + 673. Suppose n*w = 25*w - 26928. Is 13 a factor of w?
False
Suppose -9*q + 8*q = 5*k - 3618, -10786 = -3*q + 2*k. Is 14 a factor of q?
True
Suppose -21*m + 3*m + 2*m = -10640. Is m a multiple of 11?
False
Let h = 33552 - 32304. Is h a multiple of 26?
True
Let s = 173 + -169. Suppose -1004 = -s*g + 4*z, g = -0*g - 4*z + 256. Is g a multiple of 6?
True
Let w(i) = 5*i**2 - 21*i + 76. Let n(a) = 2*a**2 - 11*a + 38. Let m(j) = -9*n(j) + 4*w(j). Is 18 a factor of m(4)?
True
Let x = 449 - 40. Let c = -9017 - -9463. Suppose 9*r - x = c. Is 28 a factor of r?
False
Suppose 5*j = -3*j + 272. Let d = j + -27. Let i(b) = 3*b**2 - 5*b - 12. Does 25 divide i(d)?
True
Suppose 0 = -3*m - 3*q + 21, 5*m - q = -5*q + 34. Suppose 141 - 1689 = -m*p. Let i = -170 + p. Does 11 divide i?
True
Suppose -3*t = 2*f - 46, -43 = -3*t - 3*f - 2*f. Suppose -5*i = 3*j - 924, 2*i - 20*j + t*j = 380. Does 3 divide i?
True
Suppose 0*c + 7522 = 2*c + 5*m, 5*c + m - 18805 = 0. Is c a multiple of 17?
False
Suppose -218*i + 4553660 - 155946 = 0. Is i a multiple of 18?
False
Let a(f) = -f**3 - 11*f**2 + 14*f + 27. Let o be a(-12). Suppose 2*v + 122 = o*j - 0*v, -176 = -4*j - 4*v. Is j a multiple of 5?
False
Suppose m = 3098 + 1198. Is 179 a factor of m?
True
Let b = 2 + 1. Suppose -15 = b*m + 3. Is (-290)/15*9/m a multiple of 6?
False
Let h = 29 + -41. Let m be 81/12*57 - (-9)/h. Suppose 9*t - m - 237 = 0. Is t a multiple of 22?
False
Suppose 38*n - 39*n = -1745. Does 12 divide n?
False
Let l = -45 - -46. Let w be l/(((-14)/(-105))/((-4)/5)). Is (5/(-5) - w)/((-2)/(-12)) a multiple of 15?
True
Suppose 3*g + 6844 - 1832 = j, -3*g = 2*j - 10015. Does 19 divide j?
False
Suppose 140*f + 198325 = 126*f + 469925. Is f a multiple of 97?
True
Suppose -58 = -f + 291. Let p = f + -174. Is 35 a factor of p?
True
Let k = -32 + 38. Let f(t) = -t**2 + 2*t + 10. Let r be f(7). Is ((-1)/1)/k - r/6 even?
True
Suppose p = 5*q - 904, -6*q + 368 = -4*q - 2*p. Suppose 2*l - 2*c = q, -2*l - c - 2*c = -190. Does 4 divide l?
True
Let j(g) be the third derivative of g**6/120 + g**5/12 - 7*g**4/24 - 5*g**3/6 - 4*g**2 + 24. Does 3 divide j(-5)?
True
Let x = -111 - -112. Let o(j) = -j**2 + 1. Let u(a) = -a**3 - 2*a**2 - 3*a + 188. Let m(v) = x*u(v) - 3*o(v). Is 37 a factor of m(0)?
True
Suppose 5*b = -j - 1, -j + b = j + 2. Let y be (j/((-5)/(-4)))/(1/(-5)). Is ((-14)/y)/(15/(-1410)) a multiple of 50?
False
Suppose -3*v - 6*v + 181759 = 8455. Is v a multiple of 116?
True
Let f be 0*1*(-3 + 4). Let z be 15*(-1 + f) - -2. Let k(r) = -16*r - 16. Is 14 a factor of k(z)?
False
Let y(p) = -3*p**2 + 30*p - 20. Let m(g) = 9*g**2 - 6*g - 6. Let r be m(-1). Let n be y(r). Suppose i + n = 30. Is i a multiple of 4?
False
Let y(w) = -w**3 - 5*w**2 + 2*w - 7. Let r be y(-6). Let n be r + ((-5)/15)/(2/18). Is n/21 + (-1416)/(-9) a multiple of 18?
False
Let f(q) = -q**3 - 9*q**2 - 9*q - 5. Let a be f(-5). Let x = a + 121. Let g = x + -37. Is 3 a factor of g?
True
Let k(t) = t**3 + 4*t**2 + 3. Let o be k(-4). Suppose -596 = o*y - 1856. Suppose 5*v - y = v. Is 21 a factor of v?
True
Let r = 1 - -4. Suppose r*o - 3 = -98. Let h = 39 + o. Is 5 a factor of h?
True
Let x(o) = o**3 + 5*o**2 - o - 2. Let u be x(-5). Suppose 3*q + i = -4*i + 656, -u*i = 5*q - 1088. Does 8 divide q?
False
Let v(r) = 133*r - 6379. Does 15 divide v(58)?
True
Does 25 divide ((-10)/(-6) + 10/30)*49750/10?
True
Let z(r) = 351*r**3 - 3*r**2 - 5*r + 22. Does 72 divide z(2)?
True
Let b(o) = 70*o**2 - 272*o + 12. Does 45 divide b(6)?
True
Does 52 divide 4889 - 15*(4 - 5)?
False
Let c = 9216 - 7805. Is c a multiple of 83?
True
Let k = 6 - 10. Let a(i) = -28*i + 33 - 16 - 17. Does 16 divide a(k)?
True
Suppose 0 = 2*l - s - 2*s + 6, 0 = s + 2. Let f(y) = 7*y + 34. Let d(b) = -13*b - 68. Let c(q) = l*d(q) - 11*f(q). Does 5 divide c(-17)?
False
Suppose 0 = -p + 88 + 352. Suppose 341 = 4*c + n, 5*c + 4*n - p = -0*n. Suppose 0 = 2*u + v - c, -5*u - 4*v + 210 = -0*v. Does 13 divide u?
False
Let c be (-3480)/(-220) - (1 + (-26)/22). Suppose -c*x = -11*x - 245. Suppose 8*f - 3*f - 2*t = x, -3*t = -3*f + 33. Does 2 divide f?
False
Let y = -44 + 49. Suppose -y*c = -5*v - 10 - 10, -25 = -5*v. Suppose 5*a - c*a + 528 = 0. Does 33 divide a?
True
Let d(b) = 20*b**2 + 7. Let p be (-4)/22 + 0 - (-1595)/121. Suppose p*s = 8*s - 15. Does 17 divide d(s)?
True
Let y(l) = 92*l**2 + 16*l + 144. Let q be y(-12). Suppose -108*v + 100*v = -q. Is 66 a factor of v?
True
Suppose -3*w - 3*c = 21, w - 25 = 4*w + 4*c. Is (w/2)/(16215/5410 - 3) a multiple of 16?
False
Suppose -159*j + 527178 = -77*j. Is j a multiple of 10?
False
Suppose 4*i + 546 = -506. Let o = 367 + i. Is 28 a factor of o?
False
Suppose 2*b + 2*b + 42810 = 2*s, -3*s = b - 64250. Does 14 divide s?
False
Suppose 3*o = -3*o + 108. Let r be 69/o - 5/(-30). Suppose -4*k - 2*y = -204, -5*y + 10*y = r*k - 204. Is k a multiple of 19?
False
Is 85 a factor of (9 - (-2012)/(-12))*(5 - 65)?
True
Is 4976/(-72)*-3*183 a multiple of 61?
True
Let n = 49 + -34. Suppose -w = -4*w + n. Let q = w + 68. Does 19 divide q?
False
Let o(g) be the third derivative of g**6/120 + g**5/15 - 3*g**4/4 - 5*g**3/3 - 16*g**2. Let w be o(-6). Suppose q = -7 + w. Is q a multiple of 19?
True
Let j(w) = 2*w**3 + 2*w**2 - 2*w - 2. Let y(u) = u - 29. Let s be y(27). Let c be j(s). Is (c/(-4))/((-21)/(-1204)) a multiple of 27?
False
Let p = -239 - -256. Suppose -14*u = -p*u + 3507. Is u a multiple of 93?
False
Is 165 a factor of (-10)/4*264308/(-55)?
False
Suppose 2*j - 7*m + 11*m - 816 = 0, -j + 2*m + 404 = 0. Let i = 632 - j. Is 14 a factor of i?
False
Let n(o) = 25*o**2 - o - 19. Let u be n(-5). Suppose -5*z + 1239 = -u. Is z a multiple of 66?
False
Let y = -1562 - -8424. Is y a multiple of 94?
True
Suppose -3*l - 6 = -4*b, 2*b + 11 = 7*b - 2*l. Suppose y = -b*y + 20. Suppose -4*k + y = -55. Is k a multiple of 15?
True
Suppose 5*l - 94*d + 92*d - 29370 = 0, 4*l + 3*d = 23473. Is l a multiple of 16?
True
Let p(k) = -k**3 + 11*k**2 - 2*k + 26. Let s be p(11). Suppose 0 = s*u - 12*u + 240. Suppose 0 = u*y - 25*y - 165. Is 3 a factor of y?
True
Let o(p) = 246*p**3 + 15*p - 33. Is 10 a factor of o(4)?
False
Let g(h) = 52*h + 401. Let n be g(-6). Suppose 3*a + 52 + 160 = -2*p, -a = 4*p + 64. Let y = n + a. Is y a multiple of 3?
False
Let h(v) = 108*v**2 - 162*v + 1155. Does 33 divide h(7)?
True
Suppose 2*d = 2*b - 53548 - 34750, -4*b = 4*d - 176532. Is b a multiple of 62?
False
Suppose 2*y + 5*r + 2 = 0, -2*r - 3 - 1 = 0. Suppose -5*u + 27 = y*v, 0 = -v + 5*u - 9 + 47. Let d = v + -9. Is d even?
True
Suppose -6*r + 1070 = -4*r + 4*u, r = 2*u + 523. Let a = r - 336. Does 44 divide a?
False
Suppose -3*z + 2097 + 1995 = 0. Is z a multiple of 31?
True
Let j(x) = x**2 - 5*x + 43. Let f be j(9). Let n = f - 22. Is n a multiple of 19?
True
Let r be 4/(-8) - 548/8. Suppose -5*d - 3*h = -4*d + 147, -5*h + 272 = -2*d. Let c = r - d. Does 24 divide c?
True
Let b(q) = q**2 + 42*q + 562. Is b(-32) a multiple of 27?
False
Suppose 125*h - 122*h - 12997 = -t, 2*h = -t + 12996. Is 50 a factor of t?
False
Suppose -5*y = 8*u - 10*u + 12094, -3*y + 24110 = 4*u. Is 232 a factor of u?
True
Let s(l) = -27*l**3 - 13*l**2 + l + 6. Let v(x) = -2*x**2 + x + 1. Let h(p) = s(p) - 3*v(p). Is h(-3) a multiple of 25?
True
Is 5/1*668/10*19665/874 a multiple of 216?
False
Let p(f) = -6*f + 305. Let g be p(-35). Let x = g + -366. Is x a multiple of 19?
False
Let g = -1301 + 1859. Let m be ((-