 a factor of 4 + 3 + -3 + s?
True
Suppose -2*o - 4*m + 1944 = 0, -5*o + 1948 = 4*m - 2900. Suppose o = -0*q + 4*q. Is 52 a factor of q?
False
Let w(i) = 4*i**2 + 3*i - 5. Let q(r) = -1. Let f(l) = -3*q(l) + w(l). Is 3 a factor of f(-3)?
False
Suppose 15*r = 7*r + 6912. Is r a multiple of 59?
False
Suppose 630 = 16*b - 330. Does 30 divide b?
True
Let r be -7*((-3)/(-9))/(1/(-3)). Suppose 0 = 4*w + s - 117, -r*s + 150 = 5*w - 2*s. Is w a multiple of 21?
False
Suppose 4*b + 4148 = 5*g, -4*b - b = 3*g - 2511. Is g a multiple of 13?
True
Let m(z) = -9*z - 2. Let f be m(-1). Suppose -x + 1 = f. Let b = x - -10. Is b a multiple of 4?
True
Let x be -3 - (-57 + 3/3). Suppose -h - 2*q + x = 0, 3*h = 4*q + q + 214. Does 20 divide h?
False
Let z = -8 + 11. Let i(a) = -a**3 + 7*a**2 - 4*a + 7. Let v be i(6). Let b = v - z. Is b a multiple of 11?
False
Suppose 0 = 2*g - 23 - 65. Let k be -1 + 40/(-5) + 5 + -17. Let y = k + g. Is 8 a factor of y?
False
Let y(k) = k**3 - 12*k**2 - 14*k + 16. Let n be y(13). Does 2 divide n*(40/12 - 1)?
False
Suppose -286*u + 283*u + 576 = 0. Is 8 a factor of u?
True
Let y(a) = -a + 18. Let f be y(15). Suppose -4*g = -f*g - 13. Suppose 3*p - 2*t = 26, 4*p + 3*t + 1 - g = 0. Is 2 a factor of p?
True
Suppose 2*x - 5422 = -4*f, -412 = -5*f + 5*x + 6358. Is 58 a factor of f?
False
Let k(o) = 6*o**2 + 5*o - 4. Suppose -2*x - 3*n + 5 = -8, -5*x + 4 = -2*n. Does 10 divide k(x)?
True
Let q(t) = -t - 11. Let y be q(0). Let n = y + 6. Let g(d) = d**2 + 3*d + 6. Is 5 a factor of g(n)?
False
Let z(g) = 2*g - 10. Let j be z(-5). Let t = 32 + j. Is 12 a factor of t?
True
Let c be 0 - (3 + (-6 - -2)). Let s be 384/(-4)*(0 - c). Suppose j + m = -2*m + 35, -4*j - m + s = 0. Is j a multiple of 8?
False
Let r(u) be the second derivative of u**5/20 + u**4/3 + 7*u. Does 8 divide r(-2)?
True
Suppose 2*i + 5*g - 3*g + 140 = 0, i - g + 78 = 0. Is (7/(-14))/(1/i) a multiple of 7?
False
Let m(w) = -w**2 - 2*w - 1. Let b be m(-2). Is 24*(b - (-6)/8*2) even?
True
Suppose -6*t + 8 = -4*t. Suppose -t*z + 317 = 5*f, -375 = -9*z + 4*z - 2*f. Does 13 divide z?
False
Let h be -2 + 21/9 + 17/3. Suppose 0*a - 5*a + 10 = 0. Suppose -a*o + 2*l = -3*o + h, 5*l = -o - 6. Is 14 a factor of o?
True
Suppose -26*i = -21*i - 3200. Does 45 divide i?
False
Let i = -13 + 83. Let v = 154 - i. Is 12 a factor of v?
True
Let f be ((-26)/(-4))/13*(1 + 13). Let g(o) = -3*o**2 + 7*o - 15. Let d(x) = 16*x**2 - 35*x + 76. Let u(a) = -2*d(a) - 11*g(a). Is 13 a factor of u(f)?
True
Let k = 1251 - 594. Is 12 a factor of k?
False
Suppose -b + 8 = -3*v + b, v = 2*b. Is 23 a factor of 0 - 1388/(-12) - v/(-6)?
True
Let p be 4 + -3 + 1 + -24. Let u = 1 + 3. Let j = u - p. Is j a multiple of 13?
True
Let f(r) = -r**2 - 7*r + 9. Let o be f(-7). Suppose 2*c + 16 + 0 = -4*s, -c = 4*s + 14. Let k = o - s. Does 12 divide k?
True
Let f = 576 + -175. Is f a multiple of 9?
False
Let f(h) = 7*h**3 - 5*h**2 - 2*h - 1. Is f(4) a multiple of 14?
False
Let r(y) = -4 - 11 + 5*y - y + 2. Let v = 20 + -14. Is 2 a factor of r(v)?
False
Suppose -2*c + 303 = m, -5*c - 1501 = -5*m - 8*c. Is 13 a factor of m?
True
Let n(q) = q**2 + 7*q - 36. Is 22 a factor of n(-17)?
False
Suppose -3*a + 5*a = 98. Is 4 a factor of a?
False
Let x(f) = -f. Let o be x(-2). Is 18/(-12) + 33/o a multiple of 13?
False
Let y(j) = 7*j**2 - 3*j. Let l be y(5). Suppose -33*t + 32*t + l = 0. Is 20 a factor of t?
True
Is 15 a factor of (-4 - (-1450)/(-8))*24/(-9)?
False
Suppose -8*j - 40 = -0*j. Is (-2 - -16)/(j/(-30)) a multiple of 21?
True
Let p = -32 - 6. Does 4 divide (1/(-1))/(2/p)?
False
Suppose 5*d + 385 - 76 = g, -1236 = -4*g - 3*d. Does 7 divide g?
False
Let c = -15 - -11. Is (-2 + 3 + c)*-10 a multiple of 24?
False
Let p be (0 + -1 + 0)*0*-1. Suppose -4*k + 8*k - 67 = -h, p = 2*h + 10. Is k a multiple of 15?
False
Let p = -10 - -6. Let v(u) = u**3 + 3*u**2 - 3*u + 4. Let o be v(p). Suppose -f = -z + 47, 2*z + 2*f - 90 = -o*f. Is 13 a factor of z?
False
Does 13 divide -5 + 4/((-4)/(-395))?
True
Let y(c) = -c**3 + 19*c**2 + 15*c + 45. Does 66 divide y(13)?
True
Suppose 0 = -5*d - 5*w + 110, -3*d + w = d - 93. Suppose -d*p + 19*p = -100. Does 11 divide p?
False
Suppose -2*i + d + 24 = 5*d, -5*d + 24 = i. Suppose -h - 26 = -i*q, q = 2*h + 37 + 43. Let f = 63 + h. Is f a multiple of 5?
False
Suppose 0 + 4 = x. Suppose -112 + x = -9*d. Is d a multiple of 4?
True
Suppose 0 = -7*i + 3*i + 60. Suppose -29 = -5*p - 9. Does 18 divide ((-108)/i)/(p/(-40))?
True
Suppose 15*a = 16*a. Suppose a = 2*h - h. Suppose -4*m + 3*g + 133 = h, 5*m + g - 6*g - 165 = 0. Does 12 divide m?
False
Let z = 648 - -1632. Is 40 a factor of z?
True
Suppose 5*w - 312 = -l, l - 3*l + 3*w + 689 = 0. Suppose -3*x + l = 97. Does 16 divide x?
True
Suppose -4*l + 1374 = 5*y + 492, -2*y + 3*l = -339. Is y a multiple of 6?
True
Let v = -35 + 50. Suppose 4*h = -h - o + 167, -v = 5*o. Is h a multiple of 6?
False
Let o = -112 + 548. Does 5 divide o?
False
Let w(n) = 2*n**3 + 9*n**2 + 34*n - 199. Is 12 a factor of w(10)?
False
Let n = 17 + -14. Let a(k) = -6*k**n + 4*k**3 - k**3 - 4 + 4*k**3 - 4*k + k**2. Does 15 divide a(4)?
True
Suppose -5*s + 648 = -s - 4*f, s + f = 172. Does 13 divide s?
False
Let n be -2*(-9)/(-6) + (14 - 5). Suppose -n - 8 = -7*c. Is c a multiple of 2?
True
Is 14 a factor of (-2)/31 - 138658/403*-1?
False
Let g(l) = l**2 - 11*l + 13. Let r be g(16). Suppose -5*y + r = -142. Let s = 89 - y. Is 21 a factor of s?
True
Let t(s) = -3*s**2 - 3*s**3 + 7*s + 0*s**2 - 45 + 54. Does 16 divide t(-4)?
False
Let w(k) = -5*k**3 + 19*k**2 + 4*k + 29. Let o(y) = 6*y**3 - 20*y**2 - 3*y - 29. Let n(l) = -3*o(l) - 4*w(l). Is n(9) a multiple of 30?
False
Suppose 4*g - 3*q = 78, 0 = 5*g - 5*q - 0*q - 100. Suppose -6*i + 7*i = g. Does 3 divide i?
True
Let f = -493 + 526. Is f even?
False
Let u(c) = -20*c**2 - 1. Let x(j) = 21*j**2 + j. Let v(s) = -5*u(s) - 4*x(s). Does 24 divide v(2)?
False
Suppose -32 = 4*s + 4*b, -4*s + 5*b - 12 = 4*b. Let t = -1 - s. Suppose -31 = t*o - 97. Is o a multiple of 6?
False
Let c(z) = z**3 + 8*z**2 + 8*z - 14. Let o be c(-7). Let t(d) = 4*d**2 - 2. Let m be t(2). Is 13 a factor of 192/m + (-6)/o?
False
Suppose 3*f + 4*w = 10 + 11, 4*f - 38 = -2*w. Let p = f - 9. Suppose 0 = -4*v - p*i + 230, -4*v = -3*v - 4*i - 80. Is 16 a factor of v?
False
Suppose -8*p = -5*p - 12. Suppose p*r = -2*r + 330. Is 20 a factor of r?
False
Suppose 43 = 5*y - 2*c, 5*y + c - 46 = -0*y. Suppose i + 6*i = -42. Let v = i + y. Does 2 divide v?
False
Let v = -59 - -93. Is v a multiple of 2?
True
Let t = 4 - -37. Suppose 5*q = -4*i + t - 13, 3*i - 18 = -3*q. Suppose -3*s + 12 = 0, 0 = 3*k + k - 2*s - q. Is k even?
False
Let n(r) = r**2 - 9*r + 11. Let t be n(8). Let w be (-20)/6 - t/(-9). Does 14 divide (6 - 4)/(w/(-111))?
False
Suppose 0 = 19*r - 21*r + 12. Is 21 a factor of (3 + -10)*r*-1?
True
Let m = -22 - -14. Let w = m + 7. Does 8 divide (0 - w)/((-1)/(-24))?
True
Let o(a) = -2*a - 11. Let v(q) = q + 7. Let n(b) = -5*o(b) - 7*v(b). Is n(12) a multiple of 7?
True
Let h(p) = p**2 + 4*p - 12. Let f be h(-6). Suppose f = 4*t - 95 - 5. Let u = t - -10. Is u a multiple of 28?
False
Let x = 354 - 362. Let l(r) be the second derivative of r**5/20 + 2*r**4/3 - 2*r**3/3 - 3*r**2/2 + r. Is l(x) a multiple of 6?
False
Let g = 1 - -5. Suppose -3*y + 3*z + g = -0*z, -3*y + 2 = -4*z. Is 2 a factor of y?
True
Does 21 divide 130/(-3)*(-126)/5?
True
Does 21 divide 24/(-56) - (-31320)/21?
True
Suppose -9*b + 4*t = -6*b - 1847, -2468 = -4*b + 4*t. Does 26 divide b?
False
Suppose -4*o - 4*a = -4, o - 3*a - 19 = -2. Suppose 0*c - 2 = 5*c + 3*b, o*c = -4*b - 6. Suppose 2*i = -c*i + 120. Is 10 a factor of i?
True
Let a(r) = r**3 - 8*r**2 + 9*r - 3. Let b be a(7). Suppose -10*h + b*h = 11. Is h a multiple of 8?
False
Let y(w) = 2 + 2*w**3 + 4*w + 7*w**3 - 8*w**3 + 5*w**2. Let p be y(-4). Is 7 a factor of p/(-6) - 183/(-9)?
False
Suppose -726 = -3*p + 63*l - 60*l, 0 = -4*p + 2*l + 970. Does 26 divide p?
False
Let l(d) = 49*d**2 + 15*d + 3. Does 21 divide l(-3)?
True
Let j be ((-4)/6 - 1)/(10/(-30)). Suppose 3*m + 1368 = j*t, 0*t + 3*m = 2*t - 549. Is 39 a factor of t?
True
Let h(c) = 6*c**2 - 15*c + 2. Does 7 divide h(-6)?
True
Suppose -1799 - 1 = -3*y + 2*f, 0 = -4*y + 2*f + 2402. Does 14