d = b + g. Is d a multiple of 10?
True
Let n(x) = 8*x**3 + 5*x**2 - 3*x + 6. Let y be n(4). Let c = y + -381. Is 41 a factor of c?
True
Suppose 3*u + r - 7 = -2*u, 0 = -3*u + 4*r - 5. Let j(n) = 80*n**2 + n. Is j(u) a multiple of 12?
False
Let x(g) = g**3 - 5*g**2 - 11*g - 13. Let p be x(7). Let s = 27 - p. Is 2 a factor of s?
False
Let p(a) = 7*a**3 - 8*a**2 + 7*a + 4. Let l be p(6). Suppose 0 = -2*h - 3*v + 1265, -2*h + 0*v + l = -2*v. Is h/14 + (-2)/7 a multiple of 15?
True
Let q = -218 + 659. Is q a multiple of 21?
True
Let z be ((-4)/5)/((-9)/90). Suppose 3*v - 17 + z = 0. Does 13 divide 50 - 2/(v - 4)?
True
Let u = -23 + 27. Suppose 0 = 3*l - v - 10, -u*l + 10 = -3*l + v. Does 5 divide l?
True
Suppose -3*c = 6*h - 10*h - 2675, -5*h + 3515 = 4*c. Is 9 a factor of c?
False
Let c be (4*(-76)/(-32))/(2/44). Let o = c + 21. Is o a multiple of 46?
True
Let n = -29 - -33. Suppose 0*l + 103 = l - n*y, 3*l = 3*y + 354. Is 26 a factor of l?
False
Suppose -d + 3*d = 2*o - 36, 4*d = -5*o + 108. Suppose 21*r - o*r = 120. Is r a multiple of 7?
False
Let j = 748 - -2826. Does 40 divide j?
False
Let u(l) = 37*l + 4. Let o be u(3). Suppose -4*j = -o - 221. Is j a multiple of 21?
True
Let p(q) = -q**3 - 10*q**2 + q + 51. Is p(-12) a multiple of 30?
False
Let b(d) be the first derivative of d**3/3 + 3*d**2 - 6*d + 3. Let a be b(-8). Suppose -a = -3*i + 26. Does 12 divide i?
True
Let h(f) = -f**3 + 35*f**2 + 24*f + 83. Is h(31) a multiple of 10?
False
Suppose 0 = -3*y + 167 + 220. Let q = y - 60. Is 15 a factor of q?
False
Suppose -2*v - 14 = 7*j - 2*j, 0 = 4*j - 3*v + 25. Is 14 a factor of (-7 - (7 - -223))/(6/j)?
False
Is (-26)/104 + ((-9410)/(-8) - 2) a multiple of 76?
False
Is (-10)/(-55) - 6993/(-77) a multiple of 17?
False
Does 6 divide (255/20)/((9/(-12))/(-3))?
False
Let q(l) = 9*l**2 - 2*l - 6. Let n(h) = -h**2 + 1. Let a(k) = 2*n(k) + q(k). Is 7 a factor of a(-2)?
True
Does 47 divide (2192/24)/((-8)/(-12))?
False
Let c be 1688/(-32) + (-1)/4. Let u = 110 + c. Is u a multiple of 7?
False
Is (36/3)/(8/(-1408)*-4) a multiple of 24?
True
Does 2 divide 3/6*(30 + 2)?
True
Suppose -5*k - 176 = -3*z - 800, 3*k - 4*z - 381 = 0. Suppose 0 = -7*n + k - 39. Is n a multiple of 6?
True
Suppose 0 = 9*c + 18*c - 49140. Does 91 divide c?
True
Suppose -18*p = -27*p + 153. Let g be ((-1)/1)/(1/(-11)). Let h = p - g. Is h a multiple of 6?
True
Let o be 2/((-336)/171 + 2) - -1. Let f = o - 37. Is 9 a factor of f?
False
Suppose -3*o + 2*n + 4180 = 0, 29*o - 33*o + 5558 = 5*n. Does 53 divide o?
False
Let s = -67 + 91. Suppose 25*k = s*k + 334. Is 23 a factor of k?
False
Suppose -10*z = -12*z - 24. Is 8 a factor of z/((-44)/16 + 2)?
True
Suppose -15*u = -19*u + 20. Suppose u*a = 2*q + 340, 3*q - 90 = -a - q. Does 14 divide a?
True
Let t(q) = q**2 + 3*q. Let v be t(-3). Suppose -p - 3*p + 5*r + 18 = v, 5*p - r = 12. Suppose 237 - 96 = 3*k + 3*j, 0 = -p*k + j + 79. Is k a multiple of 11?
False
Let z(j) = j**3 + 9*j**2 + 8*j - 7. Let h be 3/(2*3/(-16)). Let x be z(h). Let w(i) = -i**2 - 6*i + 15. Is 5 a factor of w(x)?
False
Let o(a) = -266*a - 2. Let r be o(-2). Suppose 5*v = -5*g - r, -4*v = v - 5*g + 550. Let d = -66 - v. Is d a multiple of 21?
True
Suppose -5*x - 3*m = -30, -2*m = 4*x - 3*m - 7. Let v(k) = k**3 - 12*k**2 + 2*k + 8. Let h be v(12). Suppose -x*z + z = -h. Does 16 divide z?
True
Let h = -65 + 65. Suppose h = c - 37 - 40. Does 22 divide c?
False
Suppose -3*n = -2727 - 3009. Is 57 a factor of n?
False
Suppose 60*p = 21046 + 7574. Is p a multiple of 53?
True
Suppose -3*f = 9, 12*h - 4034 = 7*h + 3*f. Does 35 divide h?
True
Let i(m) = m**2 - 8*m. Let o be i(8). Let r(s) = -s. Let y be r(o). Let w(h) = -h**3 - h + 84. Does 14 divide w(y)?
True
Let a(l) = -4*l + 186. Is 11 a factor of a(8)?
True
Let r(a) = a**2 + 14*a - 40. Is r(6) a multiple of 10?
True
Let n(i) = i + 2. Let z = 20 + -17. Let l be n(z). Suppose -l*u + 0*u = -245. Does 14 divide u?
False
Let g = 29 + -33. Is 2*((-2)/g + 0) + 88 a multiple of 15?
False
Let q(r) = 0*r + 6*r + 3 - 5*r. Is q(9) a multiple of 12?
True
Suppose 17*k = 9016 + 13662. Is k a multiple of 10?
False
Suppose 104171 = 106*x - 33*x. Is 39 a factor of x?
False
Let q(b) = 3*b + 7 + 4*b - 9*b + 4*b**2 - 6*b. Does 10 divide q(3)?
False
Let a(n) = -8*n**3 - n**2 + 7*n + 2. Let b(x) = 7*x**3 + x**2 - 6*x - 2. Let w(p) = -6*a(p) - 7*b(p). Is 2 a factor of w(0)?
True
Let l(k) = 9*k + 7. Let j be l(5). Let b be (j/12)/((-1)/3). Does 12 divide (b - -5)/((-1)/6)?
True
Let f(c) = 17 - 5*c - c - 3 - 4. Does 14 divide f(-7)?
False
Let d(w) = 6*w + 7 + 4 - 5*w - 2 + w**2. Is d(-6) a multiple of 13?
True
Suppose -n - 4230 = -5*i, -12*i + 5*n + 4250 = -7*i. Does 5 divide i?
True
Does 5 divide (0 + 5 - 1)/(132/74910)?
True
Let b be (88/20 + -4)*30. Suppose -b*n = -9*n - 318. Is n a multiple of 22?
False
Suppose -18 = -6*i + 3*i. Let t be (-126)/35*(-20)/i. Does 21 divide 332/(-2)*(-6)/t?
False
Let l be 0/(2 + (-3)/3). Suppose 5*u - w - 135 = 0, -2*u + l*w + 4*w + 54 = 0. Is u + (-6 - 3/(-1)) a multiple of 24?
True
Suppose 0 = -4*q - 5*k + 7, 5*k = 3*q - 11 - 3. Suppose 0 = s + q*s - 208. Does 10 divide s?
False
Suppose 0*b = -4*f + b + 76, 0 = f - b - 16. Suppose 0 = -f*l + 25*l - 745. Does 23 divide l?
False
Is 7 a factor of -15 + 9 - -68 - -6?
False
Suppose 3*z = 9 - 72. Is ((-14)/z)/((-2)/(-9)) a multiple of 3?
True
Is ((-2)/5)/(-2) - 8440/(-50) a multiple of 14?
False
Suppose -6 = 2*i, -i - 161 - 52 = 5*s. Is 28/s*(2 - 68) a multiple of 26?
False
Suppose 8*t + 6 = 7*t. Is (38/t)/(2/(-12)) a multiple of 11?
False
Suppose 0 = j + 2*n - 4, -j = -4*j - 3*n + 21. Suppose -j*o + 16*o = 102. Is o a multiple of 5?
False
Suppose -l + 177 = 2*w, 3*w - 168 = w + 2*l. Does 87 divide w?
True
Let t = -29 + 27. Let a(x) = 8*x**2 + 2*x + 2. Is a(t) a multiple of 26?
False
Suppose 54*q + 888 = 62*q. Does 48 divide q?
False
Does 15 divide 27438/22 - (-156)/(-858)?
False
Suppose -801*t - 12348 = -807*t. Does 21 divide t?
True
Suppose 5*l = -4*b + 26, 0 = -4*b - l - 19 + 53. Let k be -1*2/((-2)/b). Is (k/(-12))/(4/(-496)) a multiple of 25?
False
Let q = 43 - 30. Let z be (-1)/((-1)/(q + -3)). Is 4 a factor of 46/z - 2/(-5)?
False
Suppose -3*d = -3*q + 90, 5*d - q = -4*q - 174. Let r be (-6)/(-4)*(-400)/(-6). Let z = r + d. Is 15 a factor of z?
False
Let d(z) = -z**2 - 10*z - 16. Let w be ((-3 - -7) + 0)*-2. Let v be d(w). Suppose v = q - 10 - 18. Is 28 a factor of q?
True
Suppose 0 = -q + 3*s + 149, 6*q - 10*q + 603 = -5*s. Is q a multiple of 19?
True
Let o = 17 + -13. Let i be (o/(-6))/(3/(-9)). Suppose 0 = u - i*a - 5, -u + a - 1 = -3*a. Is 7 a factor of u?
False
Let w be ((-8)/16)/(-1)*(-1 + 1). Suppose z + u + u - 90 = 0, 3*z - u = 235. Suppose 5*d + 108 = 4*x - z, w = 4*d + 16. Does 21 divide x?
True
Suppose -7*v + 2788 - 527 = 0. Is 7 a factor of v?
False
Let v(p) = -3*p - 1. Let x be v(0). Is 26 a factor of (-1 - x) + 81 - 3?
True
Suppose -2*n = -2*g - g + 119, 5*g - 197 = 4*n. Let l = 164 - g. Is l a multiple of 14?
False
Suppose 0 = 4*s + 5*i - 2437, -5*s + 3*i = 517 - 3554. Is s a multiple of 38?
True
Does 26 divide 427 - 5/(-5)*-6?
False
Let n(d) = 14*d + 591. Does 49 divide n(-9)?
False
Let n = -30 + 28. Is n + 2 + 27 - 2 a multiple of 5?
True
Let v = -708 - -1258. Is 14 a factor of v?
False
Let n(v) = -v**3 + 19*v**2 - 28*v + 6. Is n(9) a multiple of 47?
True
Let u(x) = x**2 + 9*x - 16. Let a = 30 + -24. Is 16 a factor of u(a)?
False
Suppose 3*t = t. Suppose j = -t + 3, -2*k + j = 27. Let w = k + 44. Is w a multiple of 15?
False
Suppose -k - 5*v - 20 = 0, 5*k + 2*v = 5*v - 184. Let s be (-147)/k - (-1)/(-5). Suppose 0*x + 8 = x - 5*o, s*x = -5*o + 132. Does 14 divide x?
True
Suppose 4 + 8 = -2*y. Let o be (11/(-2))/(y/12). Let d = o + -4. Is d a multiple of 3?
False
Let v(k) = -3*k**3 - 21*k**2 - 101*k - 29. Is v(-10) a multiple of 57?
True
Let h(v) = v**2 - 12*v - 10. Let y be h(13). Suppose 4*o = 5*s - 3, -y*s + 5*o + 8 = 1. Is 534/24 - s/(-4) a multiple of 6?
False
Suppose 12 = 3*g - 3*a, 0*g = -2*g + 5*a + 23. Let v be -16 + (-2)/(2 + g). Is v/(-5) + 2/5 a multiple of 4?
True
Suppose -3*v = 3*m - 1725, 31 = -2*v + 2*m + 1197. Is 14 a factor of v?
False
Let n be ((-288)/(-30))/((-1)/5*-1). Let w = n + -24. Is w a multiple of 4?
True
Let j(g