 a factor of b?
True
Let i(p) = 1118*p + 500. Does 4 divide i(6)?
True
Let x(r) = -r**2 - 14*r + 54. Let c be x(-17). Suppose -c*f - 3*q + 30 = 0, 3*f - 6*f - 4*q = -28. Does 2 divide f?
True
Suppose -d + 1 = -4. Let r be 218/d - (-6)/(-10). Let y = r - 15. Is 7 a factor of y?
True
Suppose -4*k - 1972 = -4*d, 0 = -d + 3*k + 430 + 71. Is d a multiple of 5?
False
Let r(b) = -1278*b + 18. Let q be r(-4). Suppose 13*g - q = 4*g. Does 57 divide g?
True
Suppose 48 = g + 7*g. Suppose -g + 14 = -4*k, 4*b + 5*k = 2270. Is b a multiple of 12?
False
Let o(b) = -19*b**3 + 15*b**2 + 18*b - 14. Let q(c) = 10*c**3 - 7*c**2 - 9*c + 6. Let s(p) = -6*o(p) - 14*q(p). Does 18 divide s(-3)?
True
Suppose -5*z + 5*v - 1034 = -11419, 2*z + 5*v - 4161 = 0. Is 9 a factor of z?
False
Is ((-2)/5)/(5/(-43068 + -7)) - -4 a multiple of 115?
True
Let k be (2*(-3)/6)/((-11)/11). Let b be (2 - k - 0)*(-4 + 2). Let u(m) = -11*m**3 - 2*m**2 - 2*m - 3. Is u(b) a multiple of 27?
True
Suppose 54*d = 52*d - 4*x + 12808, 0 = 3*d + 3*x - 19194. Does 68 divide d?
True
Suppose 5*x + 5 = 0, -p + 4*x - 3*x + 389 = 0. Let k = -793 - -796. Suppose 4*c - p = 5*b, 0*c + 3*c = -k*b + 264. Is c a multiple of 13?
False
Let f(p) = -4*p + 70*p**3 - 69*p**3 + 14*p**2 - 3*p - 104. Is f(-12) a multiple of 4?
True
Let n be 90/10*(-1 + 0). Let b = n - -7. Is -195*(2/3)/b a multiple of 13?
True
Let w(x) be the third derivative of 3*x**4/8 + 17*x**3/6 - 10*x**2. Let m be w(5). Let y = m + 2. Is 8 a factor of y?
True
Let i be 765/105 - 2/7. Suppose 83 = i*j - 71. Let y = j + 6. Is y a multiple of 28?
True
Let w be ((367/(-4))/1)/((-20)/480). Suppose -w = -5*n + 3*a, -36*a + 38*a = n - 439. Does 21 divide n?
True
Let p(l) be the first derivative of -l**4/4 - 4*l**3 - 11*l**2 - 18*l - 51. Is 14 a factor of p(-11)?
False
Let q = -3526 + 6339. Is q a multiple of 21?
False
Let i = 4414 - 4185. Does 8 divide i?
False
Suppose -50*f - 137550 = -60*f. Is 15 a factor of f?
True
Let t be (5 - (-11)/(-2))/(1/246). Let k = t - -143. Suppose k = x - 12. Does 5 divide x?
False
Let h(n) = 4*n - 3. Let x be h(-9). Let w = 44 + x. Suppose y = -2*g + 204, -w*g - 2*y = y - 510. Is g a multiple of 17?
True
Suppose -16 = -3*t + 2*b + 1, 4*t + b - 19 = 0. Suppose -4*m + 2*x = -8, 4*m = t*x - 1 + 9. Suppose 300 = 5*r + m*k, -4*k = -3*r - r + 212. Is 35 a factor of r?
False
Let y = -141 + 397. Suppose 0 = 4*b - q - y - 155, 25 = 5*q. Suppose b = -12*g + 14*g. Is g a multiple of 20?
False
Let f = 13567 + -7855. Suppose -23*q = 19*q - f. Is 3 a factor of q?
False
Suppose 108 = 2*q - 6*q. Suppose 0 = 75*f + 253 + 47. Is 0*1/f - q - -3 a multiple of 16?
False
Suppose -o + 12 = 4*n, 10*o - 5*o - 162 = -3*n. Let g(y) = 49*y**2 - 5*y + 2. Let q be g(-5). Suppose 40*h - q = o*h. Is 13 a factor of h?
False
Suppose -1125 = -5*w - 2*g, 124*w - 4*g - 225 = 123*w. Does 9 divide w?
True
Let a = 125 + -117. Is 13 a factor of (a + (-62)/4)*(-64)/6?
False
Suppose s + 782 = -4*u + 11701, -10923 = -s - 2*u. Is s a multiple of 68?
False
Let z(y) = -y**3 + 37*y**2 - 42*y - 1. Let v be z(36). Let s = v + 243. Is 26 a factor of s?
True
Let b(l) = l**3 + 10*l**2 + 12*l - 27. Let y be b(-8). Suppose 0*m = 3*m - 3*o - 39, -41 = -y*m - 3*o. Suppose 0 = m*u - 1464 + 144. Does 10 divide u?
False
Let m(q) = -4*q - 5*q - 5*q - 2 + 14*q**2 - 6*q + 2*q. Is m(7) a multiple of 15?
False
Let w be 6 + (-2)/((-10)/(-45)). Let l(r) = 64*r**2 - r + 9. Is 7 a factor of l(w)?
True
Let n be (323/57)/(2*(-1)/(-6)). Let b(z) = 2 - 2*z - n*z + z. Does 34 divide b(-5)?
False
Suppose 5*u - 59991 = -2*x, 28*x = 25*x + 2*u + 90072. Is 118 a factor of x?
False
Suppose 11897 = 79*b - 134016. Is 20 a factor of b?
False
Suppose 9*d - 7*d = 8*p + 4152, 2*d - 5*p = 4167. Does 16 divide d?
True
Let o be (-17 - 3) + -2 - -8. Is 22 a factor of 65*(90/315)/((-5)/o)?
False
Let f(k) = -4*k**3 + 5*k**3 + 10*k**2 - 51 + 10 + 22 - 14*k. Is 9 a factor of f(-10)?
False
Suppose 2*o - 842 = 4*d, d = -o - 38 - 168. Let c = d + 391. Is c a multiple of 26?
True
Suppose -2*y = -p - 4, y - 4*p - 8 = -20. Suppose 5*v - 5*w = 20, -16 = 3*v - 4*v + y*w. Does 8 divide (v + -1)/(-1) + 108/3?
False
Let x(q) = q**3 + 78*q**2 + 77*q - 1524. Is x(-75) a multiple of 26?
False
Let u(s) = -s**3 - 19*s**2 + 21*s - 9. Let c be u(-21). Let j = c - 224. Is 26 a factor of j?
True
Let x(g) = g**2 + g. Let n be x(-2). Suppose 0 = n*w - 38. Suppose -73 = -6*s - w. Is 2 a factor of s?
False
Suppose -10*n + 8536 = 5456. Does 7 divide n?
True
Let w(m) = 25*m**2 + 5 - 8*m**2 - 582*m**3 - 21*m + 581*m**3. Is w(15) a multiple of 13?
False
Is ((-2)/8 + 4719/(-4))/((-1153)/8071) a multiple of 28?
True
Let t = -2812 + 4268. Does 168 divide t?
False
Let d(l) = -l**3 + 2*l**2 + l + 5. Let q be 10/4*90/75. Let u be d(q). Is (-2 - (4 - 5))/(u/26) a multiple of 9?
False
Suppose -80*g = -79*g. Suppose -4*i - 5*h + 473 = g, 8*i - 4*i + h - 453 = 0. Suppose 4*s + 4*l = i, 19 = 5*s - 5*l - 121. Is 14 a factor of s?
True
Let w = -3356 - -4886. Suppose 7*x = 11*x - 2*k - w, 3*x = 3*k + 1143. Is x a multiple of 26?
False
Suppose -3*m + 3896 = 4*k, 4*m = -0*k + 4*k + 5204. Let f = 2015 - m. Does 37 divide f?
False
Let r be 56/16 + 5 - 2/(-4). Suppose r = -3*p + 27. Is (-167)/(-2) + 3/p a multiple of 4?
True
Suppose 4*q + s = -221, 206 = -4*q - 0*s + 2*s. Let f be (6/q*3)/((-1)/(-129)). Let y = 129 + f. Is 10 a factor of y?
False
Suppose -5*k + 5*j = 5010, -7*j + 6*j = 4*k + 3993. Let d = 1399 + k. Is d a multiple of 29?
False
Let o(d) = d**2 + d + 49. Let b(z) = -z**3 - z**2 + 3*z + 2. Let l be b(-2). Let p be o(l). Let t = -39 + p. Is t even?
True
Let y = -2945 + 3683. Is 6 a factor of y?
True
Let f be 77/7 - 7 - -5568. Suppose 23*w + 29 = f. Is 15 a factor of w?
False
Let l be 35/14 + -3 + 42/(-4). Let s(n) = n**3 + 12*n**2 - 17*n - 56. Is 28 a factor of s(l)?
True
Let l(b) = 4*b**3 - 28*b**2 + 19*b + 21. Let o(a) = 2*a**3 - 14*a**2 + 10*a + 11. Let p(j) = -2*l(j) + 5*o(j). Is 13 a factor of p(10)?
False
Suppose -4*j = 5*u + 10, -11*u = j - 14*u - 6. Suppose 5808 = -j*b + 11*b. Does 12 divide b?
True
Let i(z) = -15 + 25*z + 20*z - 25*z + z**3 - 14*z**2 + 6*z. Is i(13) a multiple of 14?
True
Let v be ((-5 - 0) + 8 + -17)/2. Is 46 a factor of ((-161)/v)/(2/64)?
True
Let t(s) = -s + 1. Let d(y) = -y. Let i(m) = d(m) + t(m). Let x be i(-1). Suppose -x*b = -90 + 6. Does 7 divide b?
True
Let v(k) = 51*k - 35. Let n be v(17). Suppose -4*j + 228 + n = 4*f, 0 = -2*j + f + 545. Suppose b + j = 4*b. Is b a multiple of 5?
True
Let d(u) = -2*u - 107. Let v be d(-45). Let f(x) be the second derivative of -7*x**3/6 - 53*x**2/2 - 3*x. Does 22 divide f(v)?
True
Let t = -92 - -89. Let l be (t/(-2) - 1)/(38/228). Suppose -4*h + 784 = 2*p, 2*h + l*p - 392 = -0*h. Is h a multiple of 46?
False
Suppose -4*i + 3184 = -n, n - 796 = -i + 5*n. Suppose -4*r = o - 1890, -2*r + 156 = 4*o - i. Is r a multiple of 25?
False
Is 23 a factor of 116/(-14)*-1769 + (-1)/(84/36)?
False
Let m = -27 - -29. Let h(n) = 5*n + m + 5*n - 21 - 7 + n**2. Is h(-13) a multiple of 13?
True
Suppose -2*s + w + 62 = 188, 63 = -s - w. Let f = s - -66. Suppose -320 + 76 = -5*b - 4*j, -3*j = -f*b + 141. Is 16 a factor of b?
True
Suppose 6*n = 16*n + 30*n - 312480. Is 126 a factor of n?
True
Suppose 41*z + 83954 = 17534. Let x = -217 - z. Does 61 divide x?
True
Let u = -68 - -143. Let w = 84 - u. Suppose -905 = 4*a - w*a - 5*x, 3*x + 724 = 4*a. Does 41 divide a?
False
Let w(g) = -1557*g - 104. Does 201 divide w(-10)?
False
Let t = 497 + -487. Suppose -4048 = -t*u + 9182. Is 13 a factor of u?
False
Suppose -v = -185 + 42. Suppose -m + 3*i - 8 = 0, -2 = 2*i - 10. Suppose s + g = -2*s + v, -2*s = -m*g - 72. Does 4 divide s?
False
Let i be (27/4)/((-13)/((-9464)/21)). Suppose 5*t - 74 - 142 = -o, -4*t = -o + i. Is 20 a factor of o?
False
Suppose -33*r + 7085 = -102211. Is r a multiple of 4?
True
Let h(q) = q**3 - 3. Let g be h(2). Suppose -6*r + g*r + 565 = 0. Suppose 4*t = -3*z + 751, 4*t - t - r = -4*z. Is t a multiple of 17?
True
Suppose 3*h + 15 = 0, -3*f + 5*h + 78 = 11. Suppose -3*j = 9, 2*x - 36 = 4*j - f. Suppose x*c = 4*k - 276, -6*c + 2*c = k - 48. Is k a multiple of 3?
False
Let i(h) = -5*h + 24. Let t be i(4). Let g(y) = 22*y + 51. Is 11 a factor of g(t)?
False
Suppose -3*o = 4*v - 988,