12*c. Suppose 5*x = 3*x + 5*s + 154, s + 205 = c*x. Is x a multiple of 38?
False
Suppose 0 = 3*f - 6*f. Suppose f*k - 4060 = 5*k. Does 30 divide 36/(-162) - k/9?
True
Let r be 2 + -4 + -1 - -173. Let n = r - 93. Does 10 divide n?
False
Suppose 2*g - 1474 = 15*h - 19*h, 0 = -3*h + 5*g + 1112. Is h a multiple of 4?
False
Suppose -3*p + 2*l = -609, -2*p + 2*l + l + 406 = 0. Does 29 divide p?
True
Suppose 5*p + 3*y = 109, -p + 5*y + 5 + 0 = 0. Suppose p = -4*j, 4*j + 20 = -3*t - 0*j. Suppose -5*m + 6*a - 3*a + 60 = t, 0 = a. Does 9 divide m?
False
Let k = -173 + 321. Is k a multiple of 37?
True
Suppose -3*l + 10 = 3*q - 2, -5*l + 3*q - 12 = 0. Suppose -4*k + 35 = 2*b - k, l = -4*b - 5*k + 67. Is 13 a factor of b?
True
Suppose -7 - 8 = -3*z, -26 = -4*r - 2*z. Let v = 28 + r. Is 8 a factor of v?
True
Let b(d) = d**3 + d**2 + 24. Let l be (-10)/55 + (-2)/(-11). Is 6 a factor of b(l)?
True
Let j be (-2)/8 + -4 + (-102)/(-24). Is 11 + 0 - (j + -2) even?
False
Let k = 84 - 80. Suppose z + d = 3*d + 18, 0 = -5*z - 5*d + 75. Suppose -50 = -k*w - 3*s, 2*s - z = -w + 3*s. Is w a multiple of 14?
True
Let m be 7136/48 - 2/(-6). Suppose -5*q - m = -j, 3*q = -3*j + j + 233. Is j a multiple of 25?
False
Suppose 4*o + 1 = -7. Let a be o - (36/3)/(-1). Suppose -12 - a = -r. Is r a multiple of 22?
True
Suppose 4*r - 578 = -2*d, -d = -1 - 2. Does 19 divide r?
False
Let l be (-1 + (-59)/(-5))/((-2)/(-5)). Suppose -5*v - l = -5*t + 13, 2*t - 4*v = 18. Does 2 divide t?
False
Let h = 11 - 9. Let b = 10 + 7. Suppose 0 = -h*q + 11 + b. Is 6 a factor of q?
False
Does 49 divide (4/5)/((-48)/(-35280))?
True
Suppose 8*n = 511 + 161. Does 10 divide n?
False
Suppose 0 = -43*k + 48*k - 5645. Does 35 divide k?
False
Is 22 a factor of ((-416)/6)/(44/(-396))?
False
Let h(l) = -l - 11. Let o be h(-16). Suppose -2*t = -t + 5*n - 46, o*t - 3*n - 230 = 0. Is 3 a factor of t?
False
Suppose -4*n + 12 = 3*r - 27, 4*n = 4*r + 32. Is 3 a factor of n?
True
Let y(v) = -v**2 + 4*v + 2. Let k be y(4). Suppose -k*w = -w - 60. Is w a multiple of 12?
True
Let s be -2*(-127)/(-2)*-1. Suppose 10 = -5*u - 0*u, 4*v = -2*u - 352. Let b = v + s. Is 20 a factor of b?
True
Suppose -23*z + 18*z = -440. Is z a multiple of 11?
True
Let h(x) = x**2 - 4*x - 41. Is 9 a factor of h(-16)?
True
Suppose 0 = 8*r - 32 - 32. Suppose -r*f + 500 = -3*f. Is f a multiple of 25?
True
Suppose 4*c = -6*n + 10*n - 6868, 0 = -5*n - 5*c + 8615. Is 8 a factor of n?
True
Let n(m) = 2*m**2 + 4*m + 4. Let v be n(-2). Suppose y = 4*f - 21, 3*f + 2*y + 7 = v*f. Suppose -f*p - r + 0*r + 159 = 0, -p - 2*r = -30. Does 16 divide p?
True
Suppose 2*a - q - 866 = 646, 5*a = 5*q + 3780. Is a a multiple of 12?
True
Let b be 3*(4/(-6) + 0). Is 23 a factor of (39/26)/(b/(-184))?
True
Suppose -68*f + 79*f = 2420. Is 10 a factor of f?
True
Let k(y) = -y**3 + 9*y**2 - 7*y + 8. Suppose 3*z + 0*t + 2*t = 19, 3*z - 3*t = 9. Let c be k(z). Let a = c - 51. Is 5 a factor of a?
False
Let v(n) = 19*n**2 + n + 22. Let b be v(-3). Suppose 0*c - b = -c. Is c a multiple of 15?
False
Suppose 3*w - 5033 = i, 0 = w + 3*i + 241 - 1932. Is w a multiple of 73?
True
Let f(w) = -8 - w - 7 + 12*w. Let b be f(9). Let c = -20 + b. Is c a multiple of 16?
True
Let m(t) = t**3 - 5*t**2 + 6*t - 1. Let p be 10 - (-7)/((-28)/8). Let v = p - 4. Is m(v) a multiple of 5?
False
Suppose -2*n = -2*d + 1028, -3*d - 7*n + 1547 = -5*n. Does 2 divide d?
False
Let c(w) = 0*w - 5*w - 10 + 4*w. Let g be c(-12). Suppose g*m - 24 - 14 = 0. Is m a multiple of 14?
False
Suppose 14*v = v + 39. Suppose 13*d - 1872 = -v*d. Is d a multiple of 9?
True
Let b(a) be the third derivative of -a**5/60 + 3*a**4/8 - 2*a**3/3 - 5*a**2. Let u be b(8). Suppose -v = -u*v + 102. Does 24 divide v?
False
Suppose 982*b - 977*b - 160 = 0. Is 4 a factor of b?
True
Suppose 79*t = 67*t + 19032. Does 13 divide t?
True
Let r be (-8)/(-10) + (916/(-20) - 0). Suppose -o = -5 + 2. Is 127/o - (-15)/r a multiple of 21?
True
Let c = 5292 - 3337. Is c a multiple of 16?
False
Let m(q) = q**2 - q + 12 - 3 - q + 5*q. Is 9 a factor of m(-3)?
True
Let n = -132 - -134. Suppose 0 = -4*t + n*l + 724, -2*t - t + 521 = 4*l. Is 11 a factor of t?
False
Suppose 0*i = 4*b - 3*i - 10, 2 = -2*b + 5*i. Does 10 divide 89*2/(b + -2)?
False
Let v = 536 + -279. Is v a multiple of 24?
False
Let a = -1654 - -2136. Does 19 divide a?
False
Let q(t) = -23*t + 208. Does 10 divide q(6)?
True
Is 296/(1*2) - (-1070 - -1072) a multiple of 3?
False
Let w(j) = -j**2 - 5*j + 2. Let d be w(-5). Let z(u) = 2*u + 40. Let n be z(-20). Suppose k + d - 8 = n. Does 3 divide k?
True
Suppose -3*s = -8*s + 820. Let c = s - 58. Suppose c = g + 16. Is 19 a factor of g?
False
Let g(u) = -u**2 - 10*u - 17. Let i = -27 + 20. Let h be g(i). Suppose -v = -5*v - h*o + 148, o = 3. Does 34 divide v?
True
Let l(w) = w**3 + 7*w**2 - 9*w - 5. Let k be l(-8). Suppose -k*x + 130 - 13 = -m, 3*m - 195 = -5*x. Is 8 a factor of x?
False
Let i(t) = 3*t - 7*t - t - 8 + t**2 + 2*t. Is i(-5) a multiple of 3?
False
Is 27 a factor of (-1 - -1)/(-8 - -9) - -162?
True
Let y = -326 + 206. Suppose -29*a = -28*a + 70. Let k = a - y. Is k a multiple of 10?
True
Let q = 2299 - -176. Is q a multiple of 18?
False
Let t(f) be the third derivative of -f**6/120 + f**5/5 + 2*f**4/3 + f**3 - 10*f**2. Let u be t(13). Let k = 87 - u. Does 14 divide k?
True
Suppose -17*y + 14*y = -12. Suppose 0 = 5*m, -m + 3*m + 268 = y*s. Does 13 divide s?
False
Suppose 7 = -7*g - 14. Let w(s) = s**3 + 3*s**2 - 4*s - 6. Is 5 a factor of w(g)?
False
Suppose 0 = -4*f + 55 + 117. Let o = 74 - f. Does 5 divide o?
False
Let h(t) be the second derivative of t**5/5 - t**4/6 - t**3/6 + 6*t. Is h(2) a multiple of 11?
True
Let y = -9126 - -13988. Does 13 divide y?
True
Suppose 3*n + 5 = a, 4*n = 3 - 7. Suppose 2*u + a = 18. Suppose t = -6 + u. Is t even?
True
Suppose -q + 97 = 1. Is 16 a factor of q?
True
Let a = -3 - -10. Suppose -3*i + a*i - 192 = 0. Is 12 a factor of i?
True
Suppose -4*d = 2*c + 10, -c + 11 + 0 = -2*d. Let s be (6/d)/(3/(-68)). Suppose -2*v + s = -4. Does 19 divide v?
True
Suppose 4*w + 2*b + 147 = -57, -46 = w - 2*b. Let a = w + 83. Is 19 a factor of a?
False
Let n = 3 - -17. Let l = 120 - n. Is l a multiple of 15?
False
Let t(s) = s**3 - 6*s**2 - 8*s + 9. Let k be t(7). Suppose 4*n - 108 = -k*n. Is n a multiple of 4?
False
Suppose -7*b + 32 = -4*f - 3*b, -2*b = -4*f - 28. Is ((-200)/(-2))/(f - -8) a multiple of 25?
True
Suppose 0 = 3*q - p - 3666, -5*q + p + 3878 = -2230. Is q a multiple of 15?
False
Let u(a) = 5*a**2 - a - 3. Let t be u(-2). Suppose -93 = 18*h - t*h. Is h a multiple of 24?
False
Let g(x) = -x**3 + 2*x**2 + 3*x - 18. Suppose -2*p + 3 = -3*p, -o + p - 3 = 0. Is g(o) a multiple of 36?
True
Let c be (-4)/6*(49 - -2). Let y = 46 + c. Is 4 a factor of y?
True
Suppose 0 + 1 = 3*j + 2*p, 2*j = -4*p + 14. Let l be (1 - 7)/j + 25. Let v = -15 + l. Is 4 a factor of v?
True
Suppose r + 5*g + 44 = 0, -2*g = 14 - 4. Let m = r + 19. Suppose m*i = 3*i - 102. Does 7 divide i?
False
Suppose 0 = -16*p + 13*p + 1107. Let s = p + -253. Does 29 divide s?
True
Suppose -5*y + 4*p - 5*p + 1352 = 0, y - 274 = -2*p. Is 30 a factor of y?
True
Is ((-34)/51)/(2 - (-104)/(-51)) a multiple of 17?
True
Let h = -35 - 60. Let n = -65 - h. Is n a multiple of 17?
False
Suppose -9*w = -4*w - 20. Suppose 5*t - 71 = -w*v, -3*v + 9 = -t - 30. Is v a multiple of 7?
True
Let i = 28 - 24. Suppose 6 = 2*u + 4*p, i*u + 4*p = -u + 45. Is 13 a factor of u?
True
Is -9 - 818*30/(-10) a multiple of 15?
True
Let u = 3922 + -2631. Is u a multiple of 70?
False
Let j be -9*(-3)/18*6. Suppose 0 = -j*c + 1295 - 134. Does 29 divide c?
False
Let w(d) = 765*d**2 + 8*d - 5. Does 16 divide w(1)?
True
Let g(b) = b. Let x be g(-6). Let t be 38/x + 10/(-15). Is (-97)/t - (-5)/35 a multiple of 6?
False
Suppose -8*s + 61 = -1667. Is 8 a factor of s?
True
Let j be 19/6 + 1/(-6). Let l = 34 + j. Does 8 divide l?
False
Suppose 237 = 5*m + x, -2*x - 147 = -3*m - x. Let w be m/(-18)*66/8. Let j = 40 + w. Is 9 a factor of j?
True
Let y be 2/(-7) + 526/7*2. Suppose 3*s - 4*s = -y. Does 25 divide s?
True
Let s = -1 - 7. Let p be ((-20)/(-6))/(s/(-12)). Suppose p*m - 156 = -6. Does 10 divide m?
True
Let g(v) be the first derivative of 19*v**5/20 - v**4/12 + v**3/3 -