2 - 12*d + 28. Let r be q(-14). Suppose -5*b + 400 - 56 = 3*p, 4*p + b - 487 = r. Is 15 a factor of p?
False
Suppose -d = -18 - 7. Suppose -4*j - 13 + d = 0. Suppose -4 - 20 = -j*s. Does 8 divide s?
True
Let u(s) = 3*s - 1. Suppose -8*j = -11*j - 21. Let x = j + 9. Is u(x) a multiple of 3?
False
Is (-16)/(-12)*3 - (-3 + -474) a multiple of 25?
False
Let x = 27 - 16. Suppose -i = -2*i + x. Suppose -s - i = -4*c - 51, -5*c - 5 = 0. Does 19 divide s?
False
Suppose -10*f = -472 + 5942. Let g = -309 - f. Is g a multiple of 14?
True
Let r(x) = -16*x**3 + 4*x**2 - 9*x + 1. Let t be r(-5). Is t/34 - (-20)/(-170) a multiple of 22?
False
Let o(r) = r**3 - 3*r**2 - 10*r + 13. Let l be o(6). Suppose -4*u + 27 = 5*d, 3*d = 4*u - l - 6. Is 5 a factor of u?
False
Let l = -316 - -368. Suppose 5*r + 0*f = 4*f - 200, -r = -2*f + 46. Let g = r + l. Is g a multiple of 16?
True
Suppose 346 - 3426 = -11*q. Is 35 a factor of q?
True
Suppose -897 - 543 = -20*k. Is 4 a factor of k?
True
Suppose -6*r = 2*r. Is 3 a factor of (25 - 26)/(2/(-92) - r)?
False
Is 22 a factor of 196 + 4/8*(-12)/(-3)?
True
Let v(g) = -g**3 + 3*g**2 - 3*g - 4. Let s be v(3). Let h = s + 13. Suppose -3*w = -r - 2*r - 120, 5*r + 25 = h. Is w a multiple of 19?
False
Let f be -3 - (4 - 5)*2. Is 1/f - -2 - -3 a multiple of 4?
True
Suppose -127 + 937 = 10*s. Does 20 divide s?
False
Let v(a) = -a + 7. Let d be v(4). Does 16 divide (-29)/((-4)/(d + 9))?
False
Suppose -2*d + 16 = -6*d. Let y = 19 - d. Let z = 17 + y. Does 15 divide z?
False
Let u(r) = -5*r + 401. Does 5 divide u(-63)?
False
Let u(k) = 61*k - 23*k - 7 - 17 + 5. Does 31 divide u(4)?
False
Suppose -2*v = -h + 1 - 30, 0 = 5*h - v + 172. Let f = h + 71. Does 18 divide f?
True
Suppose 2*f + 4 = -6, 0 = -4*g - 5*f - 5. Let r(p) = 7*p**2 + 9*p + 7. Let z be r(g). Suppose -42 = -5*c - 3*d + z, 0 = -4*c - 3*d + 214. Is c a multiple of 27?
False
Let u(i) = -10*i + 9. Suppose -5*t = 38 - 13. Is u(t) a multiple of 12?
False
Let c(v) = -2*v**3 - 27*v**2 - 28*v + 31. Is 13 a factor of c(-19)?
False
Suppose -3*l + 8*l - 35 = 0. Suppose 3 = 4*y + l. Let x = y - -16. Is 5 a factor of x?
True
Suppose -2*c + 561 = 7*o - 6*o, 4*c + 3*o - 1123 = 0. Does 30 divide c?
False
Suppose 0 = 6*k + 2*k - 32. Suppose 0*c = k*c - 264. Is c a multiple of 11?
True
Is 132 a factor of (-33)/(-3 - 2 - (-717)/144)?
True
Let l be (274/14 + (2 - 3))*7. Suppose 7*n - l = 2*n. Is n a multiple of 13?
True
Suppose 31*c = 39*c - 480. Is 6 a factor of c?
True
Let l(a) = 6*a**2 - 10*a + 1665. Is l(0) a multiple of 9?
True
Let m(x) = x**2 - 2*x - 10. Suppose 0*h - 16 = 4*u - h, -2*u = 4*h - 10. Let p be m(u). Suppose -2*b + p = -19. Is b a multiple of 12?
True
Let f = -45 - -23. Let y = -20 - f. Suppose r + 117 = 2*j + 26, -137 = -3*j + y*r. Does 15 divide j?
True
Let u(l) = -l**2 - 17*l - 7. Let m(h) = 3*h + 7. Let r be m(-8). Let y be u(r). Let d = y - -20. Is 13 a factor of d?
True
Let o be 2/3*(-27)/18. Is 8/12*3 - (-8 + o) a multiple of 2?
False
Let x(q) = -14*q + 55. Let h(f) be the third derivative of f**4/8 - 11*f**3/6 + 4*f**2. Let d(g) = 11*h(g) + 2*x(g). Is 6 a factor of d(7)?
True
Suppose -2495 + 459 = -4*n - 4*u, 0 = -3*u. Does 3 divide n?
False
Let r = 59 - 5. Let y(l) = -63*l**2 - l**3 - 10*l + r*l**2 + 11 - 3. Is 6 a factor of y(-8)?
True
Let p be -4 + 6*40/15. Let b(r) = -r**2 + 12*r + 15. Is b(p) a multiple of 6?
False
Let j be -3 - (-6 - (-3 + 0)). Suppose -4*h + 3*y = -216 + 30, 0 = -h + 4*y + 40. Suppose j = -v + h - 17. Is 17 a factor of v?
False
Let p = 7 + 44. Let k(m) = -8*m**2 - 3*m. Let t be k(-2). Let j = p + t. Does 19 divide j?
False
Let v(o) = -o**3 - 10*o**2 + 2*o + 13. Let j(u) = 1. Let y(q) = 5*j(q) - v(q). Is 4 a factor of y(-10)?
True
Let a = 31 + -26. Suppose -a*h + 105 = -o, h + 5*o = -0 - 5. Does 5 divide h?
True
Let p(c) = 48*c + 6. Let a be p(3). Suppose -4*n + 5*j = n - 315, 2*n - a = -4*j. Is 20 a factor of n?
False
Let x = 35 - -145. Is x a multiple of 18?
True
Let m(d) = 18*d - 70. Let j be m(4). Let r(u) = u**2 + 6*u - 8. Let q be r(-7). Is 30 a factor of (j + -5)*25*q?
False
Let d(f) = 18 + 2*f - 1 - 7*f + 4*f. Let l(p) = -5*p + 2. Let k be l(-1). Is d(k) a multiple of 3?
False
Let b(f) = -19*f + 10. Let x = -45 - -43. Does 16 divide b(x)?
True
Suppose 6*p = p + 25. Let b be (34/3)/(p/(-15)). Let a = 2 - b. Does 6 divide a?
True
Let t = 79 + -52. Suppose 0 = 3*m + k + t, -m = -k + 2 + 3. Is 2/m + (-122)/(-8) a multiple of 5?
True
Let z(a) be the first derivative of -3*a**2 + 116*a + 1. Let y(q) = 4*q - 77. Let b(r) = -8*y(r) - 5*z(r). Is b(0) a multiple of 18?
True
Let o = 79 - 171. Suppose 0 = -x - 3, k - 66*x - 5 = -62*x. Is 15 a factor of o/(-6) - k/(-21)?
True
Let v(w) = -w**3 - 15*w**2 - 4*w - 21. Let i(b) = -2*b**2 - 9*b + 4. Let z be i(-7). Let k = 16 + z. Is 13 a factor of v(k)?
True
Suppose -5*q + 3*q = 5*v + 177, -4*v - 20 = 0. Let d = 117 - q. Is 12 a factor of d?
False
Let l = -19 + -22. Let p = l + 67. Is 5 a factor of p?
False
Let q be 10/4 + (-12)/(-24). Suppose 156 = q*o - 3*i, -4*i - 255 = -0*o - 5*o. Is o a multiple of 10?
False
Let h(x) = -3*x**3 + 10*x**2 + 5*x - 2. Let o(l) = -l**3 + 1. Let d(j) = -h(j) + 2*o(j). Let m be d(10). Let r = m + 64. Is r a multiple of 5?
False
Suppose 21*z - 16857 = 7251. Does 14 divide z?
True
Let t(a) = a**3 - 3*a**2 + 4*a - 2. Let d be t(1). Suppose d = -2*j - 61 + 235. Is 29 a factor of j?
True
Suppose 0 = 4*q + 4*l - 1188, 0 = -q - 5*l + 427 - 138. Is 9 a factor of q?
False
Let w = 74 - 70. Suppose 0 = 5*m - b - 660, -w*m - 4*b + 528 = b. Is m a multiple of 11?
True
Let t = 171 - 95. Let h = -36 + t. Suppose 0 = -4*n + 3*c + c + h, 4*c = -2*n + 32. Is n a multiple of 6?
True
Let j be 1*6/9*3. Suppose -j*d = -3*x - 324, -2*x = -5*x - 12. Is d a multiple of 18?
False
Let c be 5 + 0/(0 + -1). Let x(n) = n**3 - 4*n**2 - 3*n - 7. Is 3 a factor of x(c)?
True
Let i = -226 - -322. Let h = -67 + i. Is h even?
False
Let q(j) = 26. Let l(r) = -r - 1. Let w(i) = l(i) + q(i). Is 29 a factor of w(-12)?
False
Suppose 0 = 4*t - 1684 - 580. Suppose 3*d + 2*n = 868, 0*d - t = -2*d + 5*n. Is 48 a factor of d?
True
Let n(j) = -16*j + 3. Let a be n(-5). Let u(r) = -r**3 + 58*r**2 - 57*r + 6. Let b be u(57). Suppose 73 + a = b*i. Is 6 a factor of i?
False
Suppose -9 - 101 = -10*w. Suppose z - 2*o - 16 = 0, -3*z + w + 1 = 3*o. Is z a multiple of 3?
False
Suppose -14*u + 1713 = -93. Is u a multiple of 6?
False
Let y(b) = -2*b - 16. Let l be y(-11). Suppose -2*w + l = -0. Is (-1)/((-1)/w) - -19 a multiple of 7?
False
Is (-4 + 35/14)*-30 a multiple of 8?
False
Let h(z) = 7*z**2 + 4*z + 2. Suppose 0 = a + 4*a. Suppose 5*g + 25 = a, 2*j = j - 2*g - 12. Is h(j) a multiple of 22?
True
Let r(j) = j + 6. Let y = 12 + -21. Let a be r(y). Is -108*(a + 21/9) a multiple of 12?
True
Suppose 5295 = -4*x + 7*x. Does 61 divide x?
False
Let t = -857 + 1415. Does 9 divide t?
True
Let z = -665 - -1068. Does 40 divide z?
False
Suppose 0*g = -4*g. Suppose -189 = -7*w - 0*w. Suppose g*x = -5*x - z + w, -4*z + 12 = 4*x. Is x even?
True
Let r be 10/(-10)*(-62 - -1). Let l = -32 + r. Is 29 a factor of l?
True
Suppose 5865 = 4*j + j - 5*a, -2352 = -2*j + 4*a. Does 10 divide j?
True
Let a be (0 - -9)*76/3. Let b be 27/(-63) + (-3)/(-7). Suppose b = -3*c - c + a. Is 19 a factor of c?
True
Suppose 78 = 3*x - g, x + 2*g - 37 = 6*g. Suppose -21*m = -x*m. Suppose m*f - 56 = -2*f - 4*c, 4*c + 40 = 2*f. Does 12 divide f?
True
Let y = -76 - -265. Does 43 divide y?
False
Let f be 2/(-3)*-3 + (65 - 4). Suppose 2*w = -0*w + 8. Suppose 5*p + 5*h - f = 42, -w*p - 3*h = -89. Is 13 a factor of p?
True
Let h(t) = -2*t + 24. Suppose -3*k - 3*k = -0*k. Is h(k) a multiple of 6?
True
Is 54 a factor of -1 - -55 - (0 - 0)?
True
Let m = 2418 + -675. Does 83 divide m?
True
Suppose 55 = -5*y - 20. Let l = y + 23. Is l a multiple of 5?
False
Suppose 10*r = 23*r - 130. Is ((-18)/(-10))/(-3) - (-1446)/r a multiple of 36?
True
Let r be (-7)/((-28)/5340) - 3. Is 22 a factor of (-8)/10 + r/15?
True
Let j = -5 - -8. Suppose -2*b - j*t + 40 = 0, -3*b + t - 5*t = -60. Is b a multiple of 10?
True
Is 5 a factor of (-1 + -80)/(3*(-3)/45)?
True
Suppose 0 = 6*i - 700 - 2618. Is 79 a factor of i?
True
Let k be -11*(2 + 6)/(-2). Let s = -10 + k. Suppose s - 2 = 4*b. Is 