Is b a multiple of 6?
True
Suppose 4*w - 14209 + 39995 = 5*d, -3*d - 3*w = -15504. Does 29 divide d?
True
Is 247672/36 + 8/36 a multiple of 16?
True
Let r = -3765 - -4832. Does 9 divide r?
False
Let h be ((-1304)/(-3))/1*93/62. Let q = h - 337. Is 35 a factor of q?
True
Suppose -n = 4*n + 3*z + 523, -3*n + 3*z - 333 = 0. Let j = 190 + n. Suppose -5*w - 5*b + j = -b, -4*w - b = -62. Does 6 divide w?
False
Let z be (-16)/(-6) + (1 - (-10)/(-6)). Suppose -4 = -z*b + 92. Suppose -2*o = o - 3*w - b, w = 3. Does 11 divide o?
False
Suppose -161*f + 6009189 = 387*f - 4208271. Is 11 a factor of f?
True
Let a be (147/(-14) + 6)/((-3)/6). Suppose -a*c = -c - 192. Does 13 divide c?
False
Suppose -69564 - 9044 = -17*f. Is 74 a factor of f?
False
Let q = -1327 - -1306. Let g = -2 + 2. Let u = g - q. Is 7 a factor of u?
True
Suppose -5*b + 9941 = -17279. Is b a multiple of 11?
False
Let k(r) = -2*r**3 - 4*r**2 - 4*r + 2. Let l be k(-2). Let u be (2/3)/(l/30). Suppose -114 = -3*q - b + 4*b, -3*b = -u*q + 81. Is 14 a factor of q?
False
Suppose -3111*x + 3126*x - 50895 = 0. Is x a multiple of 29?
True
Suppose 0 = -3*c + 16 - 1. Suppose c*i - 36 + 11 = 0, 2*j = -5*i + 355. Does 11 divide j?
True
Let v(t) = 4*t + 5. Suppose -3*a + 152 = -7*b + 2*b, -a + 144 = -5*b. Let w be (12/b - (-206)/56)*4. Does 12 divide v(w)?
False
Let c = -2799 + 1579. Let j = -444 - c. Suppose -m = 7*m - j. Is m a multiple of 16?
False
Let a(p) = -39*p**3 + 10*p**2 + 5*p. Let f be a(4). Does 65 divide (-3)/(-1)*f/(-36)?
False
Let h be (20/1)/(1*5/10010). Let p(f) = -f**3 + 9*f**2 + 2*f + 5. Let x be p(7). Does 57 divide 3*4/(-54) + h/x?
True
Suppose -26*j = -148149 + 34659. Is 45 a factor of j?
True
Suppose 24*j + 315 = 74*j - 29635. Is 4 a factor of j?
False
Suppose -153*k + 19104 = -150*k. Is k a multiple of 16?
True
Suppose -15 = -5*h, -5*p + 76*h + 24704 = 74*h. Is 3 a factor of p?
False
Suppose 153 + 367 = 5*w - 5*c, -13*c = w - 90. Is 7 a factor of w?
False
Let u = 59 - 55. Suppose 0 = u*i - 10 - 6. Suppose z = i*o - 0*o - 5, 21 = 5*z + 3*o. Is z even?
False
Let o(y) = 5550*y - 215. Does 19 divide o(3)?
True
Let r(q) = -q**2 - 24*q - 77. Suppose -4*j - 85 = j. Does 21 divide r(j)?
True
Suppose -4*l + 41 = -3*l. Suppose 5*g - 48 = -u, -4*u - g - l = -6*u. Does 23 divide u?
True
Suppose 4*f + 3*v = 2191, 5*f - 2730 = -5*v + 3*v. Let c = f - 412. Is c a multiple of 33?
True
Let h = 54 + -48. Let r(n) = 2*n**2 + 3*n + 4. Let u be r(h). Let b = -71 + u. Does 6 divide b?
False
Suppose -3*c - 4 = 2*f + 1, f = -3*c - 10. Suppose -f*i = 214 - 1464. Suppose j + n - i = -3*j, n + 65 = j. Does 21 divide j?
True
Let w(q) = 17*q - 142. Let m(c) = 8*c - 71. Let b(k) = -5*m(k) + 2*w(k). Is 2 a factor of b(6)?
False
Suppose 248*p - 85235 = -3*k + 253*p, -2*p = 6*k - 170530. Is k a multiple of 12?
False
Let w(q) = 4*q**3 - 5*q**2 - 3*q + 6. Let v(m) = 4*m**3 - 6*m**2 - 2*m + 7. Let c(j) = 4*v(j) - 5*w(j). Let d be c(3). Does 4 divide (-2)/5 + (-1552)/d?
False
Suppose 3*q - 10 = -z, -4*q = 7*z - 2*z - 50. Suppose z*b - 8*b - 24 = 0. Suppose s - b = x + 37, -2*s + 4*x = -106. Is s a multiple of 36?
False
Let i be (-8)/(-6)*33/(-22). Let k be (-2 - (i - -46)) + 2. Let j = -15 - k. Does 3 divide j?
False
Suppose -89561 = -16*i + 30359. Is i a multiple of 5?
True
Let c(a) = a + 6. Let m be c(-8). Suppose 5*q - 10*q + 4420 = -4*i, -5303 = -6*q + 5*i. Is ((-3)/m)/(18/q) a multiple of 4?
False
Suppose 5*n + 5*r - 260 = 0, 0 = 4*n - 5*r - 0*r - 253. Let t = 6286 - 6283. Suppose -n = t*y - 273. Is y a multiple of 9?
True
Suppose -w = 3*w - 5*j - 29895, 37425 = 5*w + 5*j. Is w a multiple of 22?
True
Let p(a) = -119*a - 1308. Is 55 a factor of p(-17)?
True
Suppose 0*l = -10*l - l + 126654. Does 57 divide l?
True
Suppose -421505 = -122*y - 80027. Is y a multiple of 73?
False
Let b(c) = 6948*c**2 + 1080*c + 1078. Is 151 a factor of b(-1)?
True
Let g be 43*-34*3*(-6)/36. Suppose 0 = -h - 2*b + g, -7*b + 4*b = -15. Does 33 divide h?
False
Let r(k) = -1046*k**3 + 6*k - 7. Let u be r(1). Let p = 1957 + u. Is p a multiple of 14?
True
Suppose 8*y - 4*y = -32. Let d(q) = 2*q**2 - 9*q - 21. Is d(y) a multiple of 3?
False
Suppose -4*l + 398 = -50. Let d = -18 + l. Is 14 a factor of d?
False
Let n be (-36)/48 + (-30)/(-8). Let g be n/2*(-2822)/(-51). Suppose 88*v - 135 = g*v. Is v a multiple of 4?
False
Let r(c) = -c**3 + 7*c**2 + 11*c + 8. Let y be r(7). Suppose 2*z - 4 = 0, -1 = -3*j - 2*z + 3. Suppose j = 6*u - 5*u - y. Does 12 divide u?
False
Suppose 4*h - 8 = 2*h. Suppose h*i - 112 = -268. Is i/((-1)/(-2) - (4 + -3)) a multiple of 18?
False
Let x(s) = -3*s**2 - 64*s - 24. Let h be x(-21). Is 9 a factor of -3 + (-5 - (-8 - h)) + 670?
False
Let v(t) = 97*t + 599. Is 104 a factor of v(7)?
False
Let f(r) = 199*r**2 - 3*r + 3. Let z be f(1). Let m = 524 - z. Is m a multiple of 13?
True
Let z be 2 + (-12)/(-3)*(-6)/(-8). Suppose z*d = -148 + 808. Does 22 divide d?
True
Let b = 12 - 1. Let l(h) = -h**3 + 13*h**2 + 23*h - 13. Let u(d) = -2*d**3 + 28*d**2 + 51*d - 28. Let n(j) = -5*l(j) + 2*u(j). Is 27 a factor of n(b)?
True
Let z = 46 + -98. Let x = 85 - -88. Let l = x + z. Is l a multiple of 14?
False
Let o = 98 + -86. Suppose v - o - 9 = 0. Suppose -28*q + v*q + 623 = 0. Does 11 divide q?
False
Let i be (0*(-2)/4)/(0 - -1). Suppose i*f + 5733 = 7*f. Suppose 7*c = 4*c + f. Is c a multiple of 13?
True
Suppose 2*k = 2512 + 76. Is 56 a factor of k?
False
Suppose -5822*i = -5833*i + 8470. Is 22 a factor of i?
True
Let j = -14319 + 28263. Is 7 a factor of j?
True
Let a be -3*(-1 + 2) - (7 + -11). Let o be (-58 - 6)/a - (0 + -1). Is (-12312)/o - (-6)/(-14) a multiple of 15?
True
Let u be ((-6)/4 - -2)/(42/252). Suppose -4*q - l = u*l - 3524, q - l = 887. Is q a multiple of 68?
True
Let t be 152556/(-96) + (-1)/(-8). Let k be (96/(-56))/((-2)/t). Does 14 divide (-8)/(-6)*k/(-8)?
False
Let z(i) = -11*i - 144. Let v be z(-16). Suppose -4*n = 4*o - 784, -4*n + 748 = -v*o + 27*o. Does 24 divide n?
True
Let m(d) = 134*d**2 + 86*d + 26. Is 43 a factor of m(14)?
False
Suppose 12*r - 3975 = -4*r + 54937. Is r a multiple of 2?
True
Let t(z) = 3*z**2 + 12. Let o(u) = -u**3 - 3*u**2 - 6*u - 2. Let b be 6/(-2) - -4 - 3. Let n be o(b). Is 24 a factor of t(n)?
True
Let z(p) = p**3 - 147*p**2 + 156*p - 496. Is 38 a factor of z(149)?
False
Is 4 a factor of ((-36)/4 - -1700) + -14?
False
Suppose s - 6457 = -7*x, 0 = x + 20 - 25. Is 19 a factor of s?
True
Is 65 a factor of 63540/26 + -5 - (10/13)/(-5)?
False
Let k = -119 + 139. Let h(t) = -16 - 9 - 14 + 8 + k*t. Is 6 a factor of h(8)?
False
Suppose 8730 = 5*s - 2*i, 0 = 2*i + 330 - 330. Is 4 a factor of s?
False
Let d = 47 + -40. Suppose 25 = -d*l + 214. Does 4 divide 51/2 + l/(-18)?
True
Suppose -293*x = -302*x + 53460. Is x a multiple of 8?
False
Let b(x) = 30*x**2 + 504 + 515 - 27*x + 92*x**2 - 1112. Is 52 a factor of b(-3)?
False
Suppose 25 + 17 = -14*a. Suppose -3*h = -6*h + 279. Is 10 a factor of (h - (5 + -1)) + a?
False
Let k be (4 - (-275)/(-77)) + (-5975)/(-7). Suppose 654 = 13*m - k. Is 2 a factor of m?
True
Let f(n) = -28*n**3 - 9*n**2 - 32*n + 24. Does 8 divide f(-4)?
True
Let c(v) be the second derivative of 6*v**5/5 - v**3/3 - 4*v**2 - v - 18. Does 37 divide c(2)?
False
Let o(m) = -12*m - 1. Let p be o(6). Let f = p - -77. Let v(u) = 23*u + 8. Is v(f) a multiple of 12?
False
Suppose -4*c = -g + 14, -c - 8*g + 5 = -4*g. Is 4 a factor of 4/c*(-9 - 30)?
True
Suppose 7*y - 25 = -11. Suppose x - 55 = -2*n, y*x + 6*n = 10*n + 142. Is 6 a factor of x?
False
Let q(p) = -18*p + 69. Let g(d) = -6*d + 23. Let a(f) = -17*g(f) + 6*q(f). Is 5 a factor of a(-3)?
False
Let a = -454 - -1705. Is 34 a factor of a?
False
Does 12 divide 352/(-396)*(-18)/4*1086?
True
Suppose -12*z + 50 = 14. Suppose -5*m = 2*b - 7101, -z*b = -2*m + b + 2826. Does 7 divide m/21 + 12/28?
False
Suppose 2*x = -5*v - 6824, -5*v + 3*v = -3*x + 2741. Let g = -910 - v. Does 12 divide g?
True
Let q be 12 + 8157/(-12) + (-1)/4. Let a = q - -713. Is a a multiple of 10?
False
Suppose -4*h + 1824 = -4*b, 2*b - 2*h = 2*h - 902. Let q = b + 876. Is q a multiple of 23?
False
Suppose 21*g - 727213 = -15*g + 224195. Does 36 divide g?
False
Suppose -266493 = -24*l + 38955. Is 13 a factor of l?
True
Let v(i) be the third derivative of -1