 a factor of t?
True
Suppose 362116 = 5*h + 2*l, h - 54782 - 17646 = -l. Is h a multiple of 76?
False
Suppose -5*k + 189319 = 22*k - 101282. Is 47 a factor of k?
True
Let q(f) = -f**2 + 9*f - 14. Let j be q(6). Suppose -n = k - 34, -n = j*k - 16 - 15. Suppose 2*r - 3*r + z + n = 0, r - 4*z = 41. Is r a multiple of 15?
False
Suppose 19*l + 25*l - 61*l = 0. Suppose l = -3*r + 2*r - 4, 3*t - 535 = 4*r. Does 5 divide t?
False
Let s(b) = -78*b**3 - 2*b - 1. Let o(a) be the third derivative of -a**5/60 - a**4/4 + 5*a**3/2 + 30*a**2. Let m be o(-8). Is 26 a factor of s(m)?
False
Suppose 2*a = 5*d - 20, 0 = -a - 1 - 4. Suppose 4*b - 21 = h, -b - 2*h - d*h + 1 = 0. Let x = b - -29. Does 6 divide x?
False
Does 58 divide ((-282)/(-4)*(-2)/(-4))/((-495)/(-611160))?
False
Let v(x) be the second derivative of -15*x - 5/6*x**3 + 28/3*x**4 + 0 - 5/2*x**2. Does 26 divide v(-1)?
False
Let r(o) = 4*o**2 + 4*o + 2. Let q be r(-1). Suppose q*w = 8 - 4. Does 3 divide (w/(-4))/(((-10)/(-28))/(-5))?
False
Let y(h) = 7*h**2 + 299. Does 87 divide y(-18)?
False
Let j(o) = -2*o**2 - 9*o - 6. Let x be j(-3). Suppose -5*y = 0, d - 5 = -x*y - 1. Suppose 9*f - 190 = d*f. Does 19 divide f?
True
Let w(l) = l**2 - 3*l + 21. Let o be 2 + (-8)/(-4) + 0. Is w(o) a multiple of 4?
False
Suppose 2*c - 1 = 3*z, -5*c + 37 = z + 9. Suppose -h - 1 = -0, c*h = -f + 409. Suppose 7*v = -2*v + f. Does 30 divide v?
False
Let c(q) = q**2 + 7*q - 6. Let n be c(-8). Suppose -n*r + 0 = 14. Let o(h) = 2*h**2 - 11*h - 17. Is o(r) a multiple of 21?
False
Let c = -123 + 65. Let a = -2991 - -2943. Let o = a - c. Is o a multiple of 5?
True
Let h(t) = 40*t**2 - 12*t + 12. Is 5 a factor of h(6)?
True
Suppose -288 = 17*t - 25*t. Let a be (-20)/(-15) - (-130)/6. Let r = a + t. Is 16 a factor of r?
False
Suppose 0*o + 224*o = 2556288. Does 12 divide o?
True
Suppose -28 = 4*x + 7*t - 3*t, -5*t + 55 = -4*x. Let d be 2*-1 - 330/x. Suppose -247 = -4*p - 3*a, 5*p + 4*a - 339 = -d. Is p a multiple of 16?
True
Suppose 3*i - c - 310 = -90, -i + 68 = 5*c. Let v = 338 - 133. Suppose -h - i + v = 0. Does 12 divide h?
True
Let f(o) = -11*o**2 + 7*o - 20. Let y(w) = -5*w**2 + 3*w - 10. Let m(v) = -6*f(v) + 13*y(v). Let c be m(6). Does 13 divide 4/96*6 + 414/c?
True
Let s(v) = 15*v**2 + 3*v + 10. Let f be s(4). Suppose 3*l + 2*l = -3*w + 425, -f = -2*w + 2*l. Does 27 divide w?
True
Suppose -28517 = -2*m - 5*h, 0 = 25*m - 21*m - 3*h - 57021. Is 72 a factor of m?
True
Suppose 8*y = -2*w + 4*y - 968, -w - 502 = -4*y. Let k = w - -607. Is k a multiple of 9?
True
Suppose 1073 - 1181 = -4*i. Is 26 a factor of 25290/81 - ((-6)/i)/(-1)?
True
Suppose l = -505*a + 503*a + 2965, 4430 = 3*a + 5*l. Is a a multiple of 28?
False
Suppose 5*y - 2*q + 83 = -42, -4*y - 128 = 4*q. Is (-8442)/(-22) + y/(-99) a multiple of 64?
True
Let f(s) = s**3 + 23*s**2 + 41*s - 33. Let n be f(-21). Is 10 a factor of 202*2/(n/(-9))?
False
Let i = -17848 + 21483. Is i a multiple of 6?
False
Suppose -2*p - 6*l + 2960 = -13*l, -5848 = -4*p - 4*l. Is p a multiple of 34?
False
Suppose q + h = 1695, -3*q - 6*h = -9*h - 5061. Does 65 divide q?
False
Let r = 158 - -420. Let q = -392 + r. Does 9 divide q?
False
Let m(c) = 0 + 4 + 2 - 2 + 26*c. Let g be m(1). Suppose 2*r - 3*r = -g. Is 15 a factor of r?
True
Let c = -478 + 113. Let g = c + 534. Is 33 a factor of g?
False
Suppose -w + 14428 + 13415 = 0. Does 107 divide w?
False
Let t be (252/(-108))/(7/(-18)). Suppose -7*q = -t*q - 3*o - 81, 73 = q + o. Is q a multiple of 5?
True
Let w be 4/((-28)/(-21)) + (7 - -2). Is 29 a factor of w/(-30) - (4 - 3634/10)?
False
Is 151 a factor of ((-23556)/(-24))/(2/12)?
True
Let m(q) = -q**3 + 33*q**2 - 3*q + 96. Let i be m(32). Suppose 2*p - i = -2*l, 0 = -l - 2*l - 6. Is p a multiple of 8?
False
Let h(d) = 10*d**2 - 14*d + 1180. Is 101 a factor of h(30)?
False
Let b(u) = -7*u**2 + 12*u - 8*u**3 - 15 + 3*u**3 + 6*u**3 - 2*u**2. Is b(9) a multiple of 3?
True
Is (100/(-6))/(4/(-10) + (-3014)/(-7590)) a multiple of 50?
True
Let z(d) = -d**2 + 10*d + 37. Let n be z(12). Suppose -n*s = -4390 - 2006. Is 41 a factor of s?
True
Let h(b) = -852*b + 94. Let g(w) = 170*w - 19. Let n(i) = 14*g(i) + 3*h(i). Is 16 a factor of n(-1)?
True
Let y(d) = 418*d + 1816. Does 42 divide y(26)?
True
Let a(p) = p**3 - 5*p**2 + p + 5. Let z be 2/8 + (-355)/(-20). Let i be 1/2 - z/(-4). Is a(i) even?
True
Suppose 4*r - 3*z = 96888, 403*z + 121110 = 5*r + 400*z. Does 66 divide r?
True
Let q = 2859 + -539. Suppose 3*u - 1392 = 2*b + 3*b, q = 5*u + 4*b. Is 58 a factor of u?
True
Let g(o) = -34*o + 3349. Does 31 divide g(-62)?
False
Let g = 1877 - -1336. Is g a multiple of 11?
False
Suppose -4*z - 2*m + 6 = 0, 0*m = -2*z + 2*m - 6. Suppose 4*b - o = -0*o - 104, -b - 5*o - 26 = z. Is (3/(-1) - b) + -2 a multiple of 8?
False
Let z(p) = p - 14. Let f(r) = -4*r + 41. Let b(k) = 4*f(k) + 11*z(k). Let x(n) = 5*n - 9. Let v(d) = -3*b(d) - 4*x(d). Is 12 a factor of v(-14)?
False
Is (-4)/(-26) + (-15)/((-2340)/738012) a multiple of 43?
False
Does 8 divide (32/12)/((-35)/12306)*10/(-4)?
True
Does 19 divide 10 - 4/((-44)/99)?
True
Let v(t) = 31*t - 10. Let f be v(-2). Let b = f + 211. Does 25 divide b?
False
Let w be 0*(-6)/(-12)*1/2. Is w - -245*(-5 - -6) a multiple of 35?
True
Suppose 0 = 2*j - 4*f - 752, -j + 11*f - 16*f + 369 = 0. Does 42 divide j?
False
Let n = -575 - 39. Let u = -374 - n. Is 32 a factor of u?
False
Let t = 15863 - 13307. Is 4 a factor of t?
True
Let p(n) = 24*n - 30. Let c be p(4). Suppose -2*s = 3*y - c, -4*s + 84 = 4*y - 4. Is 2 a factor of y?
True
Let x be (7051/(-2))/(4/24*-3). Suppose 3362 = 9*z - x. Does 13 divide z?
True
Let f(l) = -1981*l + 615. Is 33 a factor of f(-5)?
False
Suppose -27*w + 11486 - 4304 = 0. Suppose u = -4*t + w, -5*u - 15*t + 13*t + 1294 = 0. Is 6 a factor of u?
True
Let w(z) = 4*z**2 + 6*z - 50. Does 12 divide w(9)?
False
Suppose 2*p + 24 = -4*l, 0*l - 5*p - 36 = 4*l. Let f be l/(-26) + 408/52 + 2. Does 11 divide (f + -2)/1 - 6/(-2)?
True
Let a = -38 + 37. Let c be (-34)/(a*4/8). Suppose -c = -3*t - 5*o + 23, -3*t + 5*o + 71 = 0. Is t a multiple of 9?
True
Let l = 228 - 224. Suppose -6*m = -m - l*y - 590, 0 = m - 5*y - 139. Is 40 a factor of m?
False
Let i = 1435 - 1365. Is 23 a factor of i?
False
Let g(b) be the first derivative of -b**4/4 - b**3/3 + 150*b + 18. Let u be g(0). Suppose -6*m + 1176 = -u. Is m a multiple of 45?
False
Suppose -272 = 12*w + 4*w. Let f(g) = -g**3 - 17*g**2 - g + 40. Is 19 a factor of f(w)?
True
Let o be (53 + 6)*(1 - 0). Let x = 407 + o. Does 7 divide x?
False
Let m(p) = p**2 + 275*p + 1414. Is m(141) a multiple of 31?
False
Let y = -3770 - -4245. Is 19 a factor of y?
True
Let p = 55 + 830. Suppose -x + 0*x - k = -p, -x - 4*k + 876 = 0. Is 37 a factor of x?
True
Let h be (14/6 - 1)/(8/312). Let a = h - -348. Is a a multiple of 10?
True
Let w be 80/15*(-3)/(-2). Suppose 10*p - 72 = w*p. Does 10 divide (-117)/(-6)*30*8/p?
True
Let q(d) be the third derivative of -d**5/4 + d**4/4 - 5*d**3/6 + 13*d**2. Let y be q(4). Let c = -23 - y. Does 24 divide c?
False
Let j(w) = -16*w**3 + 5*w**2 + 8*w + 6. Let o be 1*-1*(-20)/5. Suppose -o*y - 15 = -7. Does 13 divide j(y)?
False
Suppose 0 = 3*z + 50 - 56. Suppose 0 = -2*j + z*t + 88, 2*j + 5*t = 8*t + 92. Is 2 a factor of j?
True
Suppose 9*d = 11*d - 8, f - 6116 = -5*d. Is 41 a factor of f?
False
Let j = 1693 + 686. Is 39 a factor of j?
True
Let v = -152 + 187. Suppose -40*m = -v*m - 1110. Is m a multiple of 18?
False
Let p(s) = -14*s**2 - 5 + 10*s**3 + 5*s**3 + 8*s - 16*s**3 - 5. Does 19 divide p(-15)?
True
Suppose -4*u = 2*p - 110, 2*p + 3*u - 275 = -3*p. Let g = -53 + p. Suppose g*q = 117 + 163. Is 10 a factor of q?
True
Let z = -2499 + 7724. Is 19 a factor of z?
True
Suppose 5*t + 3*z + 38 = 0, -10*t + z - 13 = -8*t. Let q(w) = w**2 + 13*w + 18. Let j(k) = 3*k**2 + 27*k + 37. Let m(x) = 6*j(x) - 13*q(x). Does 47 divide m(t)?
True
Is 41 a factor of (1 - -3) + ((3 - -9) + -24 - -1812)?
True
Let z = -69 - -71. Suppose 2*x + 0*x = -5*u + 295, x + z*u = 146. Is 10 a factor of x?
True
Does 65 divide (10/(-175) - (-22336185)/1050)*(-4)/(-10)?
False
Suppose 0*l - 5*l = -3*g + 1, -5*l + 2 = -4*g. Let f be g - 100/(-12) - (-3)/(-9). Suppose 0 = -3*o - 3*b - 6 + 99, 48 = 2*o - f*b. Is o a multiple of 4?
Fal