 a factor of f?
True
Let b = -11622 + 14863. Is b a multiple of 13?
False
Suppose -19 + 5 = -2*r + 3*w, -3*w = -3*r + 18. Let a(u) = 11 + 6 + 0 + u - 4. Does 5 divide a(r)?
False
Let o = -422 - -298. Let p = o - -284. Is p a multiple of 16?
True
Let a = 1075 - -1565. Is a a multiple of 60?
True
Let w = 21702 - 7628. Is 14 a factor of w?
False
Suppose -137*y + 142*y = -6085. Is (2 - y) + -1 + 7 a multiple of 46?
False
Suppose -4*k = 2*y - 1 + 3, 5*k = -y + 2. Let w(l) be the second derivative of -23*l**3/3 - 5*l**2 + 48*l. Is 16 a factor of w(y)?
True
Suppose -8*y = y - 27. Suppose 4*p + 4*b - 3596 = 0, y*b - 4*b - 5 = 0. Is 9 a factor of p?
False
Let j = 52 - 60. Let s be 40/10*(-6)/j. Suppose -5*q + l = -0*l - 63, -s*q - 4*l + 24 = 0. Is q a multiple of 8?
False
Suppose 32 = 5*f - 43. Suppose -4*u + 3 = f, 0 = -4*c + 5*u + 43. Suppose -2*x = -c + 1, p = -x + 168. Does 33 divide p?
True
Let g(k) = 34*k**2 - 82*k - 1004. Is 34 a factor of g(-11)?
True
Let w be 0/(3/(-12)*-4). Suppose 339 = -3*k + 2*a, w*k + 227 = -2*k + a. Let r = -35 - k. Is r a multiple of 20?
True
Let v be 18/(-6) + 3 - 224. Is 29 a factor of ((v/12)/14)/(1/(-87))?
True
Let z be (2 + 13/1)*(3 - 32). Let i = -371 - z. Is i a multiple of 2?
True
Let z(n) = 210*n**3 - 3*n**2 - 41*n + 108. Does 14 divide z(3)?
True
Let z(g) = -7*g**2 - 38*g. Let q be z(-4). Suppose 2849 = 47*y - q*y. Is y a multiple of 10?
False
Let u = 31620 - 6560. Is 7 a factor of u?
True
Suppose 2*s - 65 = 5*r + 9154, -r + 18383 = 4*s. Is s a multiple of 29?
False
Suppose -4*v - 4*a - 6 = -2, -4*v + 1 = -a. Suppose -3*o + 4242 = -3*b, -4*o + 109*b + 5620 = 111*b. Suppose v = g + 7*g - o. Is g a multiple of 44?
True
Suppose 94 - 1348 = -3*k. Is 38 a factor of k?
True
Is (-345225)/(-315) - 1/(-21) a multiple of 68?
False
Let a be -3*(12/(-10) - 5/(-25)). Suppose -12 = 3*u, -2*d + a*d - 57 = -4*u. Suppose 0 = -5*n + 2*r + d, 3*n - 2*r = -n + 58. Does 9 divide n?
False
Suppose -2*b + 119 = -4*o - 71, b = -2*o + 91. Let z = 63 + b. Is z a multiple of 12?
True
Suppose -6355*a - 15939 = -6364*a. Does 11 divide a?
True
Does 163 divide 5/(-2) + 8845627/238?
True
Does 42 divide (35 - (9 + -2))*19?
False
Suppose 14*i = 181 + 351. Suppose i*a = 31*a. Suppose 0 = 5*l - y - 1273, a*l + 2*y = -4*l + 1010. Does 34 divide l?
False
Let w(n) = 635*n + 11. Let j be w(-1). Let s = j + 1248. Does 24 divide s?
True
Let v(n) = 2*n**2 + 15*n + 11. Let p be v(-6). Let t = -117 - p. Let w = t + 210. Is w a multiple of 25?
True
Suppose -3232 = -3*i + 4*j, 3664 = 5*i + 3*j - 1742. Suppose 4 = -k, 3*l + 4*k - 3464 = -i. Is l a multiple of 11?
False
Suppose 24*g - 3837288 = -131*g - 139*g. Is g a multiple of 4?
True
Let o(a) = -a**3 - 2*a**2 + 6*a + 1. Let t be o(-3). Let b be t/(-10) - 40/50. Suppose -3*q - 23 + 8 = 0, b = -2*v + q + 119. Is v a multiple of 19?
True
Let s(z) = -z - 1. Let j(q) = -22*q - 9. Let c(u) = -j(u) - 6*s(u). Let f be c(24). Suppose k + f = 4*n, 4*k + 751 = 5*n - 116. Is 18 a factor of n?
False
Suppose 76852 = 18*u - 8108. Is u a multiple of 80?
True
Let p(z) = -30*z - 4051. Is p(-145) even?
False
Suppose 0 = -174*o + 151186 + 289034. Is 11 a factor of o?
True
Let f = -344 + 766. Let a = f + -85. Is a a multiple of 8?
False
Is 11 a factor of 41009221/1992 - (-3)/72?
False
Suppose t = 5*w - 9627, 332*t = 329*t - 6. Is 13 a factor of w?
False
Is 9 a factor of (-16279)/(-9) + (-17)/(-918)*12?
True
Let u(z) = -z**2 - 18*z - 55. Let i be u(-14). Is 18 a factor of 2272/14 + (-18)/63*i?
True
Let w = 35 - 28. Suppose 6 = 8*u - w*u. Does 2 divide (198/(-27))/((-4)/u)?
False
Suppose -29*m + 1684 = -2666. Let k = 207 - m. Does 6 divide k?
False
Suppose 0 = 190*u - 341410 - 421250. Is u a multiple of 18?
True
Does 54 divide 20 - 1 - (414 - 19964)?
False
Suppose j = 171 - 485. Let v = 539 + j. Is 25 a factor of v?
True
Let x = -7499 + 15350. Does 73 divide x?
False
Suppose k - 8395 = -c, -27502 = -2*k - 3*c - 10717. Is 24 a factor of k?
True
Let q be ((-74)/8)/(2595/520 + -5). Let g = -638 + q. Is g a multiple of 81?
True
Suppose 7*s - 3*s + 3*h - 6 = 0, 0 = -3*s + 4*h + 17. Suppose -2*k - 208 = -s*k. Is k a multiple of 13?
True
Let y(d) = -105*d + 27 - 49 - 26. Is y(-5) a multiple of 9?
True
Let t = -1773 - -3275. Does 3 divide t?
False
Let n(u) = -7*u - 19. Let s(m) = -m**3 + 11*m**2 + 9*m + 14. Let c = -16 + 28. Let z be s(c). Is 27 a factor of n(z)?
True
Suppose 4*z + 12 = 0, -5*z = 3*y - 336 - 42. Suppose -y = -a + d, -2*d - 97 = -a + 35. Is 19 a factor of a?
False
Let z(m) = 278*m + 768. Is z(12) a multiple of 152?
True
Is (-12)/(-42) - (-269884)/28 a multiple of 189?
True
Suppose i = -h + 3268 - 447, -i - 3 = 0. Is h a multiple of 11?
False
Let a = 30 + -44. Let n be (12/a)/(2/14). Is 24/36 + (-182)/n a multiple of 6?
False
Suppose 13*u + 5 = -164. Let r(m) = -m**2 - 45*m + 56. Does 18 divide r(u)?
False
Let f = -11759 + 21727. Does 11 divide f?
False
Suppose 0 = -18*i - 13*i + 186. Suppose -i*u - 139 + 499 = 0. Does 6 divide u?
True
Let x(l) be the second derivative of -9*l**3 - 2*l**2 - 6*l. Suppose -135 = -2*h - 139. Does 13 divide x(h)?
True
Let x(n) = 109*n + 24. Let u(v) be the first derivative of -27*v**2 - 12*v + 6. Let w(c) = -5*u(c) - 3*x(c). Is w(-2) a multiple of 44?
False
Suppose 0 = -2*o - 1 + 7. Suppose o*u = 8*u - 3*u. Suppose u = b - 19 - 34. Is b a multiple of 26?
False
Let j(z) = 22*z - 1. Suppose 5 + 10 = s. Suppose 16*u = 19*u - s. Does 20 divide j(u)?
False
Let k(p) = 31*p**2 - 52*p - 655. Is 215 a factor of k(-9)?
False
Let m = -1086 - -4353. Does 121 divide m?
True
Let y = 463 - 223. Let l = y - 111. Is 43 a factor of l?
True
Suppose -6 = -2*p, 0 = 3*m - 2*p + 6*p - 10728. Does 48 divide m?
False
Suppose -7119 = -2*c + 12823. Is c a multiple of 169?
True
Let b(i) be the third derivative of i**8/5040 - i**7/315 - i**6/60 - 11*i**5/30 + 9*i**2. Let g(c) be the third derivative of b(c). Is g(9) a multiple of 14?
True
Let n = -3023 - -20251. Is 56 a factor of n?
False
Suppose 4*z + 6 = 6*z. Suppose g + 2*c + 16 = 12, 2*g - 3*c = 13. Suppose 5*m + g*t = -z*t + 165, t = -2*m + 66. Is m a multiple of 6?
False
Suppose -522 = -64*h + 374. Suppose -4*j = -12, 2*l - j - j = 0. Suppose -182 + h = -3*g + l*p, -p + 124 = 2*g. Is g a multiple of 15?
True
Suppose 4*x + 1 = 13. Suppose 0*g - 2*g + 4*l + 26 = 0, -2*g - x*l = -54. Let z = -1 + g. Is z a multiple of 5?
True
Suppose 0 = 4*z + 3*w - 29, 15 = 2*w + 9. Suppose z*i - 5*r - 2417 = 993, -i + 2*r = -682. Does 22 divide i?
True
Let v(s) = 26*s**2 - 3*s + 28. Let w be v(-6). Let c = -430 + w. Does 92 divide c?
True
Suppose 0 = -5*a - 4*f + 43, 5*a - 32 = -3*f + 9. Let o = a - 9. Is (o/6 + -1)/(6/(-99)) a multiple of 9?
False
Let s = -76 + 81. Suppose -s*z + 2*i + i = 78, 0 = -z + i - 14. Is 15 a factor of (z/8 - -2) + (-389)/(-4)?
False
Let j(f) = 4549*f + 401. Is 11 a factor of j(1)?
True
Let g(n) = -3*n - 10. Let j(u) = -u + 1. Let f(k) = g(k) - 2*j(k). Let w be f(-16). Suppose -2*c + 104 = 2*c + 5*b, c + w*b - 26 = 0. Is 9 a factor of c?
False
Suppose p - 3*o - 67 = 3*p, -5*o + 167 = -4*p. Let r = p - -47. Suppose 54 = -0*w + r*w. Is w even?
True
Suppose 291329 = -19*d + 122*d - 76381. Is 170 a factor of d?
True
Let o(s) = -1 - 2 - 4*s + 3 - 2 - s**2. Let x be o(-4). Is 23 a factor of 1390/30 + x/6?
True
Let b(m) = 2*m**2 + 32*m - 188. Is b(5) a multiple of 4?
False
Suppose -188*q + 3*t = -190*q + 17142, 5*q = -4*t + 42876. Is 78 a factor of q?
True
Suppose -127 = 9*a - 145. Suppose a*x - 1059 = 3*n + 281, -3392 = -5*x - 3*n. Is 21 a factor of x?
False
Let d(m) = 2*m + 24. Let z(x) = -12*x + 58*x - 21*x - 20*x - 21. Let j be z(5). Is d(j) a multiple of 32?
True
Let n = -1234 + 1824. Suppose 4*j + n = 3*d - d, 3*d - 865 = 2*j. Does 19 divide d?
True
Suppose -17*v + 27 = -7. Suppose 3380 = 7*q - 2*q - 5*c, -4*q + v*c = -2706. Is q a multiple of 11?
False
Let l(x) = -5*x**3 + 59*x**2 + 874*x + 16. Is 182 a factor of l(-15)?
False
Suppose 4*c + 7*q = 3*q + 13440, 6720 = 2*c + q. Is 5 a factor of c?
True
Let h = 207 - -107. Let q = h - 209. Let l = -70 + q. Is 3 a factor of l?
False
Let r(n) = 5*n + 4. Let i be r(9). Suppose 580 = 53*y - i*y. Does 52 divide y?
False
Suppose -296824 = -35*f + 668441. Is 87 a factor of f?
True
Let d = 6 + 10. Let n be (-14)/