 of b(-74)?
True
Let n(a) = a**2 - 15*a + 16. Let j be n(14). Let q be (j + 0)/(4/(-16)). Let k(m) = -3*m + 5. Does 8 divide k(q)?
False
Let v be (-1076)/(-20) + 4/20. Let s(g) = -5*g - 6. Let c be s(-2). Suppose i + v = c*i. Is 3 a factor of i?
True
Let s = -29 - -50. Let x = s + 10. Is 18 a factor of x?
False
Let i = 5 + -4. Let j = i + -4. Let h = 14 - j. Is 6 a factor of h?
False
Suppose -2*c = -n - 4*n + 30, -3*n + 37 = -5*c. Suppose -n*h - h = -260. Is h a multiple of 13?
True
Let b(s) = -3*s**2 - 13*s - 9. Let f(t) = 8*t**2 + 38*t + 27. Let m(w) = -11*b(w) - 4*f(w). Let i(v) = -v + 11. Let z be i(0). Is 3 a factor of m(z)?
False
Let n be -1 + 6 + (2 - 4). Suppose -5*h + 165 = n*i, -h + 5*i = -6 + 1. Does 6 divide h?
True
Let n = -41 - -364. Does 5 divide n?
False
Let q(m) = -m**3 - 5*m**2 + 4. Let c be q(-5). Suppose 0 = -c*o - 0*o. Suppose o = 2*k + 3*a - 27 - 35, -a = -3*k + 82. Is k a multiple of 9?
False
Suppose -4*t = 2*j, t - 4*j - 11 = j. Does 6 divide 2188/24 + -1 + t/(-6)?
True
Let l = 47 - 44. Suppose -9 = -l*g, 4*a - 3*g - 102 = -5*g. Is 8 a factor of a?
True
Let c(i) = -i**2 + 4*i. Let v be c(5). Let z be ((-21)/v)/((-2)/10). Is 6/z + (-984)/(-14) a multiple of 14?
True
Let g = -87 + 150. Does 11 divide g/6*(3 - -3)?
False
Let z(l) = 65*l - 12. Let i be z(4). Let t = i - 133. Let w = t - 75. Does 20 divide w?
True
Suppose 46*p + 3235 = 3*a + 44*p, -4*a - 3*p + 4319 = 0. Is a a multiple of 83?
True
Is 112 + -17 - (5 + 0) a multiple of 5?
True
Suppose -71*z - 8740 + 172040 = 0. Is z a multiple of 25?
True
Suppose 23 = 2*y + 5. Let s(q) = q + y*q + 5*q + q - 6. Does 29 divide s(4)?
True
Suppose 0 = -2*z - 14 + 2. Let v be (-2)/z - 267/(-9). Suppose -y = 2*y - v. Is y a multiple of 3?
False
Let s = -535 + 773. Does 25 divide s?
False
Does 9 divide 3/(242/118 - 2)?
False
Let k(z) be the first derivative of -z**3/3 - 8*z**2 - 2*z - 5. Is 17 a factor of k(-10)?
False
Let a(u) = -2*u + 2. Let z(s) = 4*s - 15. Let l be z(3). Is a(l) a multiple of 8?
True
Let b = 26 - -3. Let z = b - -75. Does 11 divide z?
False
Let x(q) = q**3 - 5*q**2 + 10*q - 53. Is x(7) a multiple of 7?
False
Let g = -7 - -15. Let w = g - 5. Suppose w*n + n - 68 = 0. Is 8 a factor of n?
False
Is 24 a factor of (-13884)/(-96) - (-6)/16?
False
Let t = 301 - 229. Is t a multiple of 6?
True
Let r(b) = 81*b - 33. Is 30 a factor of r(3)?
True
Let b = 4 + -16. Let z be b*1*(-6)/2. Let v = z + -23. Is 5 a factor of v?
False
Suppose -3*v + 89 = -2*x, x - v - v + 43 = 0. Let j = x - -105. Is 14 a factor of j?
True
Let f(g) = -3*g**2 - 12*g - 4. Let k be f(-8). Let y = -28 - k. Is y a multiple of 12?
True
Suppose 0 = -6*u - 14 + 38. Suppose -3*z = -5*z + u. Does 3 divide (28/5)/(z/5)?
False
Let g = -18 - -18. Suppose g = -5*b - 4*n + 480, 0 = -2*b + 6*b + 3*n - 384. Is 21 a factor of b?
False
Let i be ((-5)/2)/((-6)/(-120)*-2). Suppose i*x = 31*x - 2412. Is 71 a factor of x?
False
Suppose -7 - 5 = -4*o. Is 2 a factor of (14/o)/((-34)/(-51))?
False
Let i(g) = g**3 + 13*g**2 + 11*g - 10. Let p be i(-12). Suppose p*d + 5*q - 57 = -8, -q = -4*d + 43. Is 4 a factor of d?
True
Let t = 901 - 454. Is 13 a factor of (0 - t/9)/(1/(-3))?
False
Let y(q) = -3*q + 62. Let g be y(20). Suppose 2*p - g*k = 54, -k - 2*k = -p + 29. Is p a multiple of 7?
False
Let s(g) = 2*g**2 - g**2 - 2*g + 8*g**2 + 1. Let t be s(1). Is (-178)/(-8) + (-2)/t a multiple of 11?
True
Let i = -174 + 170. Let c(f) be the first derivative of -f**2 + 6*f - 1. Is c(i) a multiple of 6?
False
Let z = 56 - 83. Is (-6)/z - (-215)/45 a multiple of 2?
False
Let l(n) = n**2 - 10*n + 3. Let t be l(11). Suppose 1 = 3*x - t. Suppose 0 = 5*u - x*p - 220, -2*u + 32 = -u + 5*p. Does 9 divide u?
False
Let d(p) = -3*p**3 + p**2 + 7*p + 13. Let y be d(-7). Suppose 4*i + y = 5*u + 2*i, -u = 4*i - 226. Is u a multiple of 7?
True
Let p(h) = -h**3 - 5*h**2 + 3*h - 14. Let j be p(-6). Suppose -j*c + 162 = -206. Does 9 divide c?
False
Suppose -230 = -0*k - 10*k. Suppose 139 = 5*b + g - k, 3*b + 5*g - 106 = 0. Is 4 a factor of b?
True
Is 2 a factor of (-1)/((-5)/1790*2)?
False
Let m = 514 - 360. Does 22 divide m?
True
Suppose 4*k - 4*v - 8 = 0, -3*v + 4 = 2*k - 5. Suppose 4*g - 68 = -3*z + 745, -3 = k*z. Is g*(10/3 - 3) a multiple of 26?
False
Let p be 3*12/18*(-366)/(-4). Suppose -f = -3, 5*k + 5*f - p = k. Is k a multiple of 14?
True
Let r(b) = 11*b - 2. Let l be r(2). Is 6 a factor of (1 + 0)/1 + l?
False
Let r(n) be the second derivative of 4*n**3/3 - 57*n**2/2 + 3*n. Is r(10) even?
False
Is (12 + -8)*(50 - -4) a multiple of 18?
True
Let r be -6 + 8 - (0 - 0). Let b be (8/6)/(r/(-9)). Is (-80)/b*27/12 a multiple of 15?
True
Let b(k) = -2*k**3 - 5*k**2 - 3*k - 5. Let j be b(-4). Let x = -30 + j. Is 9 a factor of x?
False
Let k(s) = -s**3 + 7*s**2 - 4*s - 6. Let j be k(6). Let w(a) = -7 + j*a - 3*a - 4. Is w(5) a multiple of 3?
False
Is 24 a factor of (-112)/(-6)*(348/42 + 2)?
True
Does 18 divide 4/(-18) - (12 + (-74272)/99)?
True
Suppose 6 - 10 = -q. Suppose -16*h + 120 = -q*h. Is 6 a factor of h?
False
Suppose -11 = -y - 9. Let s = y + 1. Suppose -69 = -s*z + 4*a, -z = 5*a - 4 - 38. Is z a multiple of 9?
True
Does 27 divide ((-4)/8)/(5/(-3370))?
False
Let y = 21 - 13. Let l be 3/2*y/12. Suppose 0 = -f + 9 - l. Is 8 a factor of f?
True
Suppose -5*j - 45 = -5*x + 1945, 1578 = 4*x + 3*j. Does 18 divide x?
True
Suppose i - 2*g + 6 = 0, 0 = 4*i - 4*g + 5*g - 21. Suppose p + i*o - 101 = 0, 2*p - 4*p = -5*o - 202. Is p a multiple of 41?
False
Suppose -3*s + 73 = 2*u - 36, -10 = -2*u. Let y = 31 - s. Is 3 - -6 - (1 + y) a multiple of 10?
True
Let v = 681 - 166. Is 9 a factor of v*6/75*5?
False
Let h = 4 - 2. Suppose 4*l + h - 10 = 0. Suppose -l*u = i - 100, 5*i - 5 = -25. Does 15 divide u?
False
Let l = 2 + 1. Suppose -v + 1391 = l*d, 0 = -3*v + 9 + 6. Is (2/(-4))/((-3)/d) a multiple of 19?
False
Suppose -4*c + w + 2838 = c, 0 = -2*w - 6. Does 21 divide c?
True
Let v(y) = 11*y**2 - 7*y + 30. Is 30 a factor of v(5)?
True
Let x = 1740 - 1628. Does 8 divide x?
True
Let g(d) be the first derivative of -2*d**2 - 5/4*d**4 - 3*d - 6 - d**3. Does 11 divide g(-2)?
True
Suppose -142 - 86 = 2*l. Does 16 divide (-541)/(-6) - (-19)/l?
False
Suppose 5*a = 27 + 8. Let s = 11 - a. Suppose -5*k - s*v - v + 95 = 0, 21 = k + 2*v. Is k a multiple of 6?
False
Let z(w) = -777*w - 5. Does 20 divide z(-1)?
False
Is ((-72)/5)/((-9)/(-1350)*-6) a multiple of 24?
True
Let c be (2 + -3)*(-1 - 4). Let w = -63 + 399. Suppose -c*x + 9*x = w. Does 42 divide x?
True
Suppose r - 28 = -2*g, 0 = -g + 4*g - 5*r - 16. Is g a multiple of 6?
True
Does 36 divide (11 + 249/(-12))/(6/(-176))?
False
Suppose 41*g - 3 = 44*g, -4*w = 4*g - 1660. Is 26 a factor of w?
True
Suppose 15*v - 16*v = -4. Let n(a) = -4*a - 4 + v*a - 6*a + a**2. Is n(8) a multiple of 6?
True
Suppose 0 = 2*m - k + 13, 0*m - 5*k = 2*m - 5. Let j(i) = -16*i + 11. Is 19 a factor of j(m)?
False
Is 18 a factor of 4 - (2 - 3)*325?
False
Let c(j) = 598*j**2 - 51*j + 52. Is c(1) a multiple of 11?
False
Let j be (-2)/6 - (-298)/(-6). Let n be 1490/j + (-2)/10. Does 8 divide -6*3/n*65?
False
Let z(v) = v**3 + 3*v**2 - 50*v - 10. Does 3 divide z(-8)?
False
Suppose 801 = 73*u - 70*u. Does 8 divide u?
False
Suppose -v - 5*d + 10 = -4*d, -5*v + 4*d + 5 = 0. Suppose 2*l - 4*l + 34 = g, v*l = 3*g - 102. Is 5 a factor of g?
False
Suppose -n + 3 = 1. Let h be (-2358)/(-24) - (5/20 + 0). Suppose 0*k = -2*k - n*s + h, 2*k + 4*s = 100. Does 12 divide k?
True
Suppose 0 = -4*p - 0*p - 12, 3*h = 3*p + 1101. Is 13 a factor of h?
True
Let w = -1 - 1. Let t(a) = -61*a - 7. Is 24 a factor of t(w)?
False
Let w = -167 - -409. Is w a multiple of 20?
False
Suppose -415 = -2*k + o, 4*o - 212 = -k - 0*k. Is 16 a factor of k?
True
Suppose 15 = 3*g + 3*z, -z = 2 - 5. Let c = g + 3. Is 5 a factor of c?
True
Let f(c) = -c - 14. Let q be f(-16). Suppose u + q*w = -6, -w - 3 = -0*u - u. Does 6 divide 25 + u/(-2) + -3?
False
Suppose 2*b = t + 4*t, -3*b = 4*t + 46. Let m = 26 - b. Does 4 divide m?
True
Suppose -13 = -a + 91. Let g be (1/(-2))/((-4)/a). Let t = g - 10. Does 2 divide t?
False
Suppose -5*z + 7 = -3. Suppose 7*s - 182 = z*s - g, -4*s = -4*g - 160. Is 26 a factor of s?
False
Let v(z) = 19*z**2 - 105*z - 974. Does 40 divide v(-11)?
True
Suppos