se -5*q + b - 57 = -t, q + 2*t - 44 = 0. Is 23 a factor of q?
False
Suppose 144 = 11*p - 8*p. Is ((-411)/12)/(-3*4/p) a multiple of 40?
False
Let r(d) = 27*d + 44. Is r(5) a multiple of 12?
False
Suppose 16 = 3*z + a, 3*z = 6*z - 2*a - 4. Suppose 5*w + 2*b = 407, z*b + 320 = 3*w + w. Suppose -2*s - s = -w. Does 27 divide s?
True
Let d(j) = -4*j + 4. Let l be d(-2). Let w = -7 + l. Is (0/w + -1)*-62 a multiple of 13?
False
Suppose -2*n - 4*n - 12 = 0. Let d be (n - -3)/(1/2). Suppose -d*a = 5*b - 41 - 25, -24 = -3*b + 4*a. Is 12 a factor of b?
True
Let l = 2391 + 3272. Does 18 divide l?
False
Suppose -4*w + 34 = 2*v - 7*w, 10 = 5*w. Is 20 a factor of v?
True
Suppose 11*n + 4*n - 4410 = 0. Is n a multiple of 4?
False
Suppose 8 = -11*x + 13*x. Suppose 3*n = -x*s + 33 + 29, -4*s = -n - 6. Is 14 a factor of n?
True
Let y(n) = -n**3 + 17*n**2 - 14*n - 33. Let v be y(16). Does 3 divide (12/(-42))/(v/21)?
True
Suppose 12*q + 10 = 2*q. Is 36 a factor of 0 + q + 145 + 0?
True
Let y = 42 - 39. Does 43 divide 3 + 1 - (-246)/y?
True
Suppose -4 + 16 = t. Suppose 4*s + 3*p - 16 = 0, -6*s - 5*p = -3*s - t. Suppose 0 = -3*d - 2*c + 33, -s*d + 2*d = 2*c - 24. Is d a multiple of 3?
True
Let o be (-1 + 2)/(-3)*-12. Suppose a = -a + 6, 2*x - 84 = -o*a. Is x a multiple of 18?
True
Let t = 2 + 3. Suppose 2 = -6*f + t*f. Is 24 a factor of 25 + f*(-3)/(-6)?
True
Let h(f) be the first derivative of -f**3/2 - 13*f**2/2 + 6*f + 2. Let m(c) be the first derivative of h(c). Is 12 a factor of m(-12)?
False
Suppose -5*t + 32 = -18. Does 5 divide t?
True
Suppose 12*b - 195 - 45 = 0. Suppose 0 = 5*i + b, -5*u + 4*i = -140 - 86. Does 4 divide u?
False
Let q = 118 + -78. Suppose j - q + 0 = 0. Is 4 a factor of j?
True
Let v(z) be the second derivative of 4/3*z**3 - 2*z**2 + z + 1/6*z**4 + 0. Is 19 a factor of v(-6)?
False
Let a be ((-30)/(-36))/(2/12). Let p = -6 - -8. Suppose -p*u + a*u = 87. Is 13 a factor of u?
False
Let s be -25 - 1*6/(-2). Let w = -20 - s. Does 17 divide w - (10*-2 + -3)?
False
Let m(u) = u**2 - 10*u + 4. Let z be m(11). Does 26 divide 137 - 0*5/z?
False
Let w(a) = a + 5. Let y be w(-5). Suppose y*x - 9 = 3*x. Does 20 divide 3/(x/(-56)) + 2?
False
Let x(f) = 9*f + 33. Let z(o) = -o + 1. Let m(t) = -x(t) - 6*z(t). Does 7 divide m(-18)?
False
Let p(q) = q**3 - 8*q**2 - 9*q - 4. Let m be p(9). Let k = 1 - m. Suppose 0 = -4*j + 3*w - 2*w + 128, -k*j = -w - 160. Is j a multiple of 16?
True
Let q(x) = 43*x**2 + 13*x + 47. Is q(-4) a multiple of 56?
False
Suppose -46*n + 69*n - 18032 = 0. Is n a multiple of 14?
True
Suppose -7*v = -10160 + 1781. Suppose -v = -10*p + p. Is p a multiple of 20?
False
Let g = 596 + -314. Suppose -3*t + o = -652, -5*o - g - 602 = -4*t. Is t a multiple of 12?
True
Let u be 2 - (-3 - -2) - -28. Suppose 0 = c - 3*y - u, c + 107 = 3*c + 3*y. Is c a multiple of 6?
False
Suppose 2*k + 121 - 519 = 0. Suppose 4*v + 249 + 43 = 0. Let o = v + k. Is o a multiple of 37?
False
Let r = 292 + -195. Is r a multiple of 2?
False
Suppose 15 + 3 = -3*d. Let v(f) = 1 - 4*f + 3 - 7 + 3*f. Is 2 a factor of v(d)?
False
Let b = -270 - -533. Is b a multiple of 3?
False
Suppose -665 = 4*b - 9*b. Suppose b = 7*d - 4*d + 5*j, -3*d - 4*j + 134 = 0. Is 23 a factor of d?
True
Let n(k) = -2*k + 1. Let a be n(-2). Suppose 4*w - 245 = t, -4*w + a*w - 45 = -3*t. Is 6 a factor of w?
True
Let p(k) = 21*k**2 + 35*k + 106. Is 5 a factor of p(-7)?
True
Let f = 358 - 341. Does 12 divide f?
False
Let x(m) = 4*m**2 - 34*m + 43. Is x(9) even?
False
Suppose v - 4*h + 27 = 6*v, -3*v = -5*h - 31. Let r be (v - 3 - 3) + -7. Let f(x) = -x**3 - 6*x**2 - 6*x - 9. Is f(r) a multiple of 20?
False
Let y be (-1)/(((-1)/15)/(-1)). Let i be 2*6*5/y. Is 48 - (3 + -3 - i) a multiple of 11?
True
Suppose -2*d - 4*n + 1252 = 0, 0 = -2*d + 8*n - 3*n + 1207. Does 44 divide d?
True
Let i = 6 - -1. Suppose 0 = -3*x + i - 1. Is (14 + 2)*2 + x a multiple of 8?
False
Let x = 3032 - 1504. Is x a multiple of 8?
True
Let t be 1/(-3 + 26/8). Suppose 2*o - 8 = t. Suppose -i + o*i - 190 = 0. Is i a multiple of 19?
True
Let d(w) = -8*w**3 + w**2 + 3*w - 2. Let y = -16 + 22. Suppose 0 = -y*s - 17 + 5. Does 12 divide d(s)?
True
Suppose -4*u - 3*u = -28. Suppose -y - u*g = 3*y - 208, 4 = g. Is y a multiple of 16?
True
Suppose 0 = 4*p - 2*k - 2, -p = -2*p + 4*k - 10. Let c(l) = 20 + 0*l**p + 41 - l - l**2 - 16. Is c(0) a multiple of 10?
False
Let x(q) = -2*q**2 + 2*q - 4. Let j be x(2). Let n = -5 - j. Does 2 divide n?
False
Let l = 59 + -33. Suppose l*d = 21*d + 375. Is d a multiple of 25?
True
Let g(m) be the third derivative of m**6/120 + 3*m**5/20 - 23*m**4/24 + m**3/3 + 30*m**2. Is 11 a factor of g(-10)?
True
Suppose 31*p - 19*p = 600. Does 2 divide p?
True
Let k = 748 + 1272. Is 10 a factor of k?
True
Let p be 0/(-5)*(1 - 0). Let q = 56 + -51. Let a = q + p. Does 5 divide a?
True
Let r be 16/3 + 26/39. Suppose 11*c = 10*c + r. Suppose -b + c*b = 75. Is b a multiple of 9?
False
Let t = 930 + -705. Does 4 divide t?
False
Let b be (-3)/(-12)*4*-51. Does 20 divide (-3360)/b - 2/(-17)?
False
Suppose 78038 = 45*d - 2692. Does 23 divide d?
True
Suppose -2*x + 5*x - 9 = 5*k, 3*x - 9 = 2*k. Suppose -5*h + 52 = 2*b, -h + 6 = -x*b - 18. Does 4 divide h?
True
Let a be (-3)/(-2) - 114/(-4). Suppose 5*d + x - 4*x - a = 0, 3*d + 1 = -2*x. Suppose -s + 75 = -o, -54 + 437 = 5*s + d*o. Is 20 a factor of s?
False
Suppose 5*y - 88 = -3*y. Suppose o - 3*k = 34, 4*o + 5*k - y = 125. Does 8 divide o?
False
Let a = 21 + -16. Suppose -3*c + 19 = -a. Is 17 a factor of -1 + (-4)/(c/(-58))?
False
Let t(v) = -4*v + 8. Let x be t(4). Let o = x - -18. Does 5 divide o?
True
Let a = -27 + 27. Suppose -22 + a = -2*w. Is w a multiple of 5?
False
Let b = -78 - -13. Let l = 135 + b. Is l a multiple of 8?
False
Suppose 3*j + 24 = 4*g - j, -3*j + 3 = 4*g. Is 37*(10 - g) + 5 a multiple of 44?
True
Suppose 11*g - 16 = 7*g. Suppose 3*b + 125 = 5*x - 2*b, -g*b + 50 = 2*x. Is x a multiple of 4?
False
Let j = 2 - -125. Suppose 0 = -3*q - 4*b + j, 191 = 4*q - 4*b + 3. Is q a multiple of 15?
True
Let u = 9288 + -4232. Is u a multiple of 32?
True
Is (-334 - -4)/(-5) + -6 a multiple of 6?
True
Let n(m) = 51*m - 19. Is 47 a factor of n(4)?
False
Suppose -27 = 17*k - 20*k. Suppose 0 = 5*h + 25, 199 - k = 3*f - 5*h. Is f a multiple of 21?
False
Suppose 1 = -5*o + 4*y + 6, -15 = -5*o + 2*y. Suppose -25 = -0*x - o*x. Suppose -30 = -i + x*m + 92, -2*i + 3*m + 230 = 0. Is i a multiple of 24?
False
Let d be (28/8 - 2)*(1 + 119). Suppose 0 = -5*j + 8*j - d. Does 20 divide j?
True
Let x(o) = o + 10. Let j be x(3). Suppose 6*t = 37 - j. Suppose -129 = -t*w + 255. Is 24 a factor of w?
True
Suppose 1321*x = 1329*x - 9768. Is x a multiple of 11?
True
Let z(b) = -15*b**2 + 11*b - 18. Let o be z(5). Let r = o + 564. Is r a multiple of 28?
False
Let t(l) = -l**2 - l + 1. Let b(z) = 2*z**2 + 4*z - 6. Let y(n) = -b(n) - 3*t(n). Let a be 1 + 0 - (-2 - 1). Is 10 a factor of y(a)?
False
Suppose -k + 5*r = -2*k + 1837, 3*k - 5565 = 3*r. Is 17 a factor of k?
False
Let k(m) = 3*m**3 + 27*m**2 - 17*m. Let t(x) = 4*x**3 + 40*x**2 - 26*x. Let w(c) = -7*k(c) + 5*t(c). Let g be w(10). Is 1*4 + (g - -13) a multiple of 2?
False
Let x(c) = -127*c + 62. Is 7 a factor of x(-4)?
False
Let v = -256 - -433. Suppose -7*h - v = -996. Let y = h - 69. Does 13 divide y?
False
Suppose -81 - 30 = -3*p. Let n(u) = u**3 - 15*u**2 - 13*u + 5. Let a be n(16). Suppose -5*i + p = -a. Is i a multiple of 8?
False
Let v = -2 + 5. Let j be -4 + (-3 - (-11)/1). Suppose -j*r + 61 + 44 = v*d, 63 = 2*r + 5*d. Is r a multiple of 12?
True
Suppose 2*r - 2*l = 110, -165 = -4*r - 3*l + 76. Let g = r + 52. Does 10 divide g?
True
Let b(g) = -4*g**3 - 54*g**2 - 69*g - 31. Let v(u) = 3*u**3 + 36*u**2 + 46*u + 21. Let d(n) = -5*b(n) - 7*v(n). Does 12 divide d(19)?
True
Let b(p) = 3*p - 38. Let l be b(14). Suppose 9*d - l*d + 158 = h, -5*h - 5*d = -670. Is h a multiple of 13?
False
Suppose -2*r - 2*d = -4, -5*r + 4*d + 10 + 0 = 0. Let m = -160 - -206. Suppose r*v = m - 8. Is 7 a factor of v?
False
Suppose 0 = 5*f - 0*f - 100. Let y = 28 - f. Suppose y = 4*a - 8. Is a a multiple of 4?
True
Let m(a) = a**2 + 2*a + 4. Suppose -k = 3*k - 8. Suppose g - k + 5 = -2*l, 0 = 5*g + 3*l + 22. Does 19 divide m(g)?
True
Suppose 5*s +