 = z. Is d a multiple of 7?
False
Let y(z) = -z**2 - 48*z - 358. Is y(-32) a multiple of 17?
False
Let j be -15 - (1 - 1/1). Let d(i) = i**2 + 16*i + 38. Does 4 divide d(j)?
False
Suppose 10*c - 12*c = -2052. Does 19 divide (c/36)/((-6)/(-8))?
True
Let o(t) = 2*t**2 - 13*t - 7. Let a be o(11). Let c = a - 66. Does 26 divide c?
True
Let m = -507 + 1677. Is m a multiple of 30?
True
Let i be 2/(-9) - 376/(-72). Suppose 3*f + 281 = 5*a + 5*f, 284 = i*a + 3*f. Suppose -5*w = 5*s - a, w + 0*w = 0. Is s a multiple of 11?
True
Let j = -1119 - -1743. Is 26 a factor of j?
True
Suppose -4*t + 8*t = 0. Let w be (t + -1)*(20 - 5). Is ((-12)/w)/((-1)/(-40)) a multiple of 16?
True
Let a(l) = -259*l - 36. Does 7 divide a(-2)?
False
Let b(z) = z**3 - 5*z**2 + 6*z - 3. Suppose -3*a = -6*a + 12. Let s be b(a). Suppose -n - 136 = -s*n. Is 17 a factor of n?
True
Let k(y) = -22*y**2 - 2*y + 2. Let v be k(2). Let m = v + 227. Is m a multiple of 22?
False
Suppose 726 = 7*p - p. Is 11 a factor of p?
True
Suppose 1281 = -5*l + 12*l. Suppose -3*p = 2*s - 617 + l, -s + 4*p + 217 = 0. Is 31 a factor of s?
True
Let p(a) = a**2 + 9*a - 17. Let d be p(-11). Suppose -5*g = 2*m - 56, 7*g - 2*g = d*m + 35. Is g a multiple of 4?
False
Suppose -4*c + t + 12 = 0, -7 = -c + 3*t - 4. Suppose -7*o = 4*d - 2*o - 533, -393 = -3*d + c*o. Suppose d = 4*n + 36. Is 12 a factor of n?
True
Let b(x) = -1777*x - 145. Does 12 divide b(-1)?
True
Let v = -972 - -1790. Is 16 a factor of v?
False
Let i be (-28)/(-35) - (-822)/10. Let b = -28 + i. Does 7 divide b?
False
Let h = 417 + 58. Does 10 divide h?
False
Let h(s) be the third derivative of -7*s**4/24 - 3*s**3/2 + 15*s**2. Let z = 2 + -6. Is 14 a factor of h(z)?
False
Let o(b) = b**3 - 13*b**2 - 15*b + 14. Let p be o(14). Suppose p = 3*w + 2*w + 5, 47 = -y + 4*w. Let i = y - -86. Is i a multiple of 11?
False
Is 7 a factor of 2/10 - (-418)/10?
True
Let r = -3065 + 3541. Is r a multiple of 18?
False
Suppose -2*b = 0, 6*b = 2*q + 3*b - 1122. Is 11 a factor of q?
True
Suppose -203 - 256 = -3*y. Suppose q = -y + 167. Is q a multiple of 3?
False
Let k(o) = -23*o - 1. Let n be k(-1). Suppose -23*i = -n*i - 28. Is i a multiple of 7?
True
Let b be 2 + 2 + 3/(6/(-26)). Is (-7)/(-1)*(6 - (b + -5)) a multiple of 38?
False
Let k(n) = -10*n**2 + n. Let l be k(-1). Let u = 15 + l. Suppose -12 = -t - u. Is t a multiple of 4?
True
Let x = -2 - -6. Suppose -x*r + 170 = r. Is 12 a factor of -1 + r - (-6 + 6)?
False
Suppose 0 = -3*j + 4*x + 2478, 2926 + 382 = 4*j - 4*x. Does 10 divide j?
True
Let h(s) = -33*s - 2. Let p(j) = -1. Let m(r) = h(r) - 3*p(r). Let u be -1 + (-8)/(-4) - 4. Is m(u) a multiple of 38?
False
Let g = 6 - 3. Let t(s) = 8*s**2 - 6*s**2 + s + 9*s**2 - 2*s**2 + 0*s. Is 14 a factor of t(g)?
True
Let c be 2 - 3/(9/(-6)). Suppose 4*d + c = -0*d. Is (9/(-2))/(d/2) even?
False
Let h be 0 + 1 + (-1428)/(-14). Suppose 0 = j - a - h, 0*j + 3*a + 109 = j. Is 17 a factor of j?
False
Let f = 46 + -41. Suppose m - 334 = -0*m. Suppose 4*s + 422 = f*j, -4*j - 2*s + m = -4*s. Is 17 a factor of j?
False
Let w(n) = -8*n - 14. Let d = 8 + -13. Is 13 a factor of w(d)?
True
Let m be 88/33*3/2. Let o(x) = -2 - 2*x + x**2 + 3*x**3 + x**2 + m*x**3. Does 11 divide o(2)?
False
Let v(c) = -c**3 + 7*c**2 - 5*c + 4. Let f be -4*1*(-77)/44. Let p(u) = 2*u - 8. Let n be p(f). Is v(n) a multiple of 5?
True
Suppose -10*h + 2167 - 617 = 0. Is h a multiple of 9?
False
Suppose 2*z + 4*h - 1771 = 7*h, 3*h - 1753 = -2*z. Is z a multiple of 30?
False
Let j(r) = 5 + 1 - r + 0*r + 3*r**2 - 2. Does 28 divide j(-3)?
False
Suppose 6448 = 24*y - 7448. Is y a multiple of 32?
False
Suppose 0 = 5*u - z - 708, -5*u + z = 4*z - 696. Is u a multiple of 21?
False
Let s(j) = j**3 - 14*j**2 - 20*j - 97. Is s(22) a multiple of 57?
False
Suppose 0 = 44*y - 60932 - 37804. Is y a multiple of 136?
False
Let z(h) = -h**2 + 13*h + 14. Is z(13) even?
True
Suppose 0 = 5*x - 375 - 435. Let d = 305 - x. Does 13 divide d?
True
Let p be 4 + (0 + 1 - 0). Suppose -2*g = 4*k - 536, 3*g - 8*k + 3*k = 815. Suppose -p*a = a - g. Is 13 a factor of a?
False
Suppose 2*q = -8, w - 4*q - 66 = 275. Is 13 a factor of w?
True
Suppose 5*d + 1968 = 11*d. Suppose 2*g + 4*n = -46 + d, 0 = 3*g + 2*n - 427. Does 11 divide g?
True
Let r be (2 + -6 - -3)*-65. Let p(l) = -l**2 - 10*l - 12. Let q be p(-8). Suppose -q*c + r = c. Does 6 divide c?
False
Let l(w) = w**3 + 8*w**2 - 11*w - 6. Let c be 12/(0 - -4) - 12. Let b be l(c). Let t(g) = g**3 - 11*g**2 - 5*g + 10. Is t(b) a multiple of 21?
False
Let i(q) = 60*q + 111. Does 17 divide i(4)?
False
Does 163 divide (-5379)/3*(-1 + -1 - -1)?
True
Let h = -117 - -165. Let b = 106 - 18. Let k = b - h. Is k a multiple of 10?
True
Is 28 a factor of 88/12*(-19152)/(-38)?
True
Let n(o) = -o**3 + 5*o**2 + 3*o + 7. Let s(w) = -3*w**3 + 15*w**2 + 8*w + 20. Let q(m) = -8*n(m) + 3*s(m). Is q(4) a multiple of 11?
False
Let j = 58 + -86. Let s = 75 + j. Suppose 0 = 3*b - 4*l - 26, 0*l - s = -5*b + 3*l. Is b a multiple of 5?
True
Let j(i) = i**2 + 15*i - 6. Let v be 4/20 + 182/(-10). Is 4 a factor of j(v)?
True
Let a be ((-144)/(-21))/(6/63). Suppose t = -0*t + a. Is t a multiple of 5?
False
Suppose b + 2*d + 0*d - 16 = 0, -3*b - 4*d + 38 = 0. Suppose -b*f + 3*f + 900 = 0. Is (3/4)/(3/f) a multiple of 25?
True
Let f be 4/(2/(-1) + 3). Suppose 3*i = -q + 152, 0 = 4*i - f*q - 53 - 171. Let o = i - 9. Is 12 a factor of o?
False
Let y(c) = -c**2 + 36*c - 8. Is y(27) a multiple of 47?
True
Let g(v) = -6*v**3 + v**2 + v - 2. Let w be g(-2). Suppose -w = -0*i - i. Does 16 divide i?
True
Let a(g) = -g**2 + 6*g. Let b be a(8). Let u(i) = 2*i + 36. Does 3 divide u(b)?
False
Let n(b) = -b**3 - 21*b**2 - 38*b + 43. Is 2 a factor of n(-19)?
False
Let t = -729 + 1178. Does 28 divide t?
False
Let t = 45 + -45. Suppose t = 2*b - 22 - 24. Does 3 divide b?
False
Let p(z) = -2*z - 11 + 6*z**2 + 3*z - 2*z. Let f be p(7). Is 23 a factor of (f/(-8))/((-2)/4)?
True
Let o(y) = y**3 - 13*y**2 - y + 17. Let x be o(13). Is 14 a factor of ((-149)/x)/(2/(-8))?
False
Let c be (-6)/(-3) + 54/6. Suppose -c*a = -8*a - 96. Does 16 divide a?
True
Suppose -33*y = -27*y - 2016. Does 24 divide y?
True
Let c be 8/36 + 1630/(-45). Does 10 divide (-822)/(-14) + 1 + c/(-126)?
True
Let u be (-12)/2*((-2)/(-2))/2. Let d(q) = 3*q - 2 - 2*q - 5*q. Is d(u) a multiple of 10?
True
Let p be (-2)/(-6) + (-15)/(-9). Suppose p*w - 4*w = -176. Let n = w + -62. Does 10 divide n?
False
Let j be 555 + (1 - (3 + -3)). Suppose -3*y + 237 = m + 87, -j = -4*m - y. Is m a multiple of 35?
False
Let r(m) = m**3 + 7*m**2 + 4*m + 2. Let x(o) = -7*o + 5*o - 5*o - 6 + o**2. Let u be x(7). Does 7 divide r(u)?
True
Suppose 0 = -82*t + 77*t + 1500. Is 15 a factor of t?
True
Let i(d) = -d**2 + 10*d + 5. Let x be i(10). Suppose 148 = 4*o - 3*o - t, -752 = -x*o - t. Does 30 divide o?
True
Let i = -7 + 13. Suppose 7*u = i*u - 3*c + 201, 0 = 5*u + 5*c - 1055. Does 54 divide u?
True
Let v(z) = 29*z**2 + z - 8. Let q be v(4). Suppose -8*d + q = -308. Is d a multiple of 16?
True
Let t be 2*9 - 10/(-5). Suppose 0 = -3*i - 2 + t. Is 21 a factor of 137/i + 2/12?
False
Let u = -1089 + 1333. Is 5 a factor of u?
False
Let m be 945/(-4) + (-5)/(-20). Let t = -123 - m. Does 15 divide t?
False
Suppose p - 2*g = -6*g - 200, -4*g = -4*p - 860. Let z = p - -307. Is 26 a factor of z?
False
Let t(g) be the first derivative of 8*g**3/3 - g**2 + 2*g - 2. Is 12 a factor of t(3)?
False
Is 652 - ((-9)/1 - -2) a multiple of 24?
False
Let u = 106 - 154. Let w be 3*-2*(7 + (-36)/(-8)). Let r = u - w. Is r a multiple of 11?
False
Let r be 0 - 20/(-4 - -3). Suppose -2*p + 42 = -r. Is 4 a factor of p?
False
Let u = -19 - -33. Suppose 5*g - 4*b + 10 = 0, 5*g + 5*b + 4 = 3*g. Does 5 divide u + g + 1 + -3?
True
Suppose -3*s + 372 + 384 = 0. Suppose s = f - 4*x, 0 = -3*x - 2 - 1. Does 16 divide f?
False
Let s be 6/(0 + 2) + 3. Let y be (-100)/s - 7/21. Let i = 28 + y. Is 11 a factor of i?
True
Let d(o) = 4*o**2 + 2 + 2 - 6*o + 2*o - 3*o**2. Let y = 12 - 8. Is d(y) a multiple of 3?
False
Let t(h) = 3*h + 15. Let s be t(-4). Suppose -o + 54 = 2*o + 2*g, s*g = -5*o + 91. Is 4 a factor of o?
True
Let h(t) = t - 6. Let z be h(9). Suppose 3*u - 43 = p, 12 = 4*u - z*u + 2*p. Is u a multiple of 12?
False
Suppos