5*c + 10785, -5*c + 2*c + 2*p = -6491. Is c a multiple of 29?
False
Suppose 5*l = -3*a + 3, -l + 1 + 8 = 2*a. Suppose h = a*h. Suppose 0 = -h*p - 3*p + 102. Is p a multiple of 9?
False
Let w = 43 - 34. Let g be 1/4 - (-526)/8. Suppose w*i = 6*i + g. Is 22 a factor of i?
True
Let q(c) = 9*c + 114. Does 7 divide q(13)?
True
Let l(j) = -j + 11. Let s be l(7). Suppose 0 = 5*r - s*r - 41. Does 10 divide r?
False
Let b = 1 + -1. Suppose w - f - 18 = 240, b = -3*f + 9. Is 11 a factor of w?
False
Suppose m - 549 = -2*m. Suppose -n = -2*d - 178, n + d - m = -2*d. Suppose -f - n = -5*f. Does 13 divide f?
False
Does 80 divide (-15)/(-4)*(3836/12 + 15)?
False
Suppose 0 = -53*z + 39*z + 13160. Is 12 a factor of z?
False
Let j(y) = -y**3 + y + 405. Is 15 a factor of j(0)?
True
Let p be (-5)/(-2)*16/20. Let u = -4 + p. Does 23 divide u - 7*3*-2?
False
Suppose -3*c + 2*k = 7 - 23, -14 = -3*c + k. Suppose -4 = c*a - 64. Does 4 divide a?
False
Let h(d) = d**2 + d - 5. Let f be h(-6). Suppose 0 = -2*v + i - 5 + f, -4*v - 3*i = -50. Is 6 a factor of v/((8/2)/12)?
False
Let b(p) = 6*p**2 + 46*p + 196. Does 13 divide b(-24)?
True
Let p be (12 + -4 + 0)/2. Suppose -p*i = -0*i - 440. Suppose i = 3*f - 52. Is 27 a factor of f?
True
Is (-8 - (0 + -7))*(2 + -73) a multiple of 5?
False
Suppose 2*p - 20 - 36 = 0. Let n = p + -20. Is 390/n - 45/60 a multiple of 8?
True
Let q = -46 + 1610. Does 23 divide q?
True
Let r = -85 + 253. Does 14 divide r?
True
Let w(x) = 2*x + 0*x + 8 - 1. Let a(g) = -g + 1. Let i be a(-3). Is 8 a factor of w(i)?
False
Suppose 84*a + 549 = c + 89*a, 5*c - 2605 = 3*a. Is c even?
True
Suppose 9*o - 3*o = 96. Suppose 2*q - 34 = 4*t, o = 2*q - t - 3. Is q a multiple of 7?
True
Suppose -11*a = 2*a - 4134. Is 16 a factor of a?
False
Let a be ((-30)/9)/(6/(-459)). Does 11 divide (0 - -2)/(30/a)?
False
Suppose 0 = u - 2*u + 13. Suppose 9*z = u*z - 64. Does 2 divide z?
True
Let p be (16/10)/(2/140). Suppose -2*g = -2*h - 52, -3*g + h + p = 32. Let t = -5 + g. Is t a multiple of 18?
False
Is 4 a factor of (5 - 95*1/(-4))*8?
False
Let s be 56/6 - 2/(-3). Let n be (s/4)/(1/2). Suppose -2*b + 18 = 3*m, -n*b + 0*b = -2*m - 83. Is 3 a factor of b?
True
Is (-2 - 2698/(-8))/((-30)/(-400)) a multiple of 28?
False
Let n(f) = f**3 - 5*f**2 + f + 1. Let d be n(5). Does 4 divide (-2*3/d)/(1/(-4))?
True
Suppose -158*o = -155*o - 594. Is o a multiple of 59?
False
Is 3 a factor of (0 - 64)/(-11*10/110)?
False
Let p(j) = j**3 + j + 282. Let z be p(0). Let a = -118 + z. Is a a multiple of 8?
False
Let i be (44/(-33))/((-8)/6). Is 11 a factor of 22/(i + -3 + 4)?
True
Let b = 2372 - 214. Does 23 divide b?
False
Suppose -4044 = -4*o - 3*b, 3*b + 11 = -1. Is o a multiple of 26?
True
Suppose 4*l + 8 = 0, 0*r + 5*l = -4*r + 166. Is r a multiple of 22?
True
Suppose -2*l + a = 3*l - 52, 0 = 3*a + 6. Suppose -7 = -4*g - 5*i, -2*i + 1 - 3 = 0. Suppose -g*j + l = -35. Does 5 divide j?
True
Suppose -3567 = -7*b - 1215. Is 8 a factor of b?
True
Let q be (-16)/(-4 + 2) - 3. Suppose -25 = -q*a, o - 2*a = 12 + 2. Is o a multiple of 12?
True
Let p = -88 + 48. Let x = 145 + p. Does 29 divide x?
False
Let k(r) = -r**3 + 8*r**2 + 9*r - 4. Let s(c) = 3*c**2 + c - 1. Let t be s(-2). Let n be k(t). Does 5 divide ((-5)/n)/(1/8)?
True
Suppose 5*w - 9*w + 8 = 0. Suppose -4*l = -l - w*s + 2, -s - 4 = -4*l. Suppose -4*q = l*q - 246. Is q a multiple of 11?
False
Let b = 0 - 0. Suppose -3*m - 95 = -4*l, b*l - 3*l = 5*m - 35. Does 19 divide 6/15 + 1132/l?
True
Suppose -5*t = -y + 60, y + 44 = -5*t + 2*t. Let z be (-2572)/t - (-4)/26. Suppose -d = 6*s - 2*s - z, 104 = 2*s + 3*d. Is s a multiple of 13?
False
Let q(f) = 5*f**2 + 19*f + 39. Does 7 divide q(-6)?
True
Suppose -2*f + 5 = -3*y + 2, -4*y + 16 = 4*f. Suppose -k - f*k + z + 466 = 0, 0 = 2*k + z - 230. Is k a multiple of 26?
False
Suppose 168*i - 1404 = 164*i. Does 39 divide i?
True
Let p = -61 + 35. Is 13 a factor of (-843)/(-13) + (-4)/p?
True
Suppose -4*k - 3*j = -5*k + 12, -3*k = 4*j + 3. Suppose -19 = -k*r + 299. Is 25 a factor of r?
False
Suppose 7*g = 106 - 2801. Let x = -219 - g. Is x a multiple of 25?
False
Is 22 a factor of 8/(-6) + 5/((-30)/(-932))?
True
Let j = 131 + -93. Suppose -2*i = -4*g - 0*g + j, -3*i + 24 = 3*g. Is g a multiple of 5?
False
Let x be 140/40*(-8)/(-7). Suppose 2*y - z - 14 = 0, -y - 2*z + 35 = x*y. Suppose 2*h = 4*b + y + 19, -3*b - 42 = -4*h. Is h a multiple of 9?
True
Suppose -g = 2*g - 21. Let z(s) = s**3 - 8*s**2 + 7*s + 5. Let d be z(g). Suppose -p - 120 = -d*p. Is 14 a factor of p?
False
Suppose 3*l + 6 = 6*l. Is 15 a factor of (3 + 9 - 3)*10/l?
True
Suppose 2*q + h = 10 + 5, -2*q - 5*h = -35. Suppose 30 + 85 = q*m. Is 23 a factor of m?
True
Suppose 14*m - 18*m = -3*c - 5306, -5*m + 3*c = -6634. Is m a multiple of 8?
True
Suppose 116 = 5*l - 0*f + f, 3*f - 26 = -l. Let b = -16 + l. Suppose -3*c - b*q + 3*q + 151 = 0, -2*c - 4*q + 106 = 0. Is c a multiple of 10?
False
Let w = -2202 - -3798. Is w a multiple of 42?
True
Suppose 5*g = -0*g - 3*m + 26, 0 = -2*g - 3*m + 14. Suppose g = s + 6. Let x(k) = -2*k**3 + 4*k**2 + 2*k - 3. Is x(s) a multiple of 12?
False
Suppose 0 = 2*i + 270 + 28. Let c = -52 - i. Is 24 a factor of c?
False
Let k = 29 - 30. Is 2 a factor of (8/(-16))/(k/16)?
True
Let l be -1 + (1/1 - -3). Let o be (-1)/(l + (-22)/7). Suppose -o*h = -10*h + 90. Is 6 a factor of h?
True
Suppose 6 = -3*a - 9. Let k(f) = -f**2 - 7*f - 5. Let p be k(a). Suppose 0 = -4*y + 2*y - 2*m + 36, -3*m - 82 = -p*y. Is y a multiple of 7?
False
Let m be ((-1)/(4/104))/(-1). Suppose -f + 4*k - 2*k = -m, 5*k + 10 = 0. Does 12 divide f?
False
Let s(y) be the first derivative of y**2/2 + 24*y - 11. Is 7 a factor of s(20)?
False
Suppose -5*l = -9*l + 4*n + 956, 5*n = 4*l - 955. Is l a multiple of 12?
True
Suppose -3*i + 3809 = 2*l, -3*i + 208 + 1698 = l. Is l a multiple of 31?
False
Let b(t) = -t**3 - 14*t**2 - t - 16. Let d be b(-14). Does 8 divide ((-220)/40)/(d/4)?
False
Let o = -3 - -6. Suppose x - t + 29 = o, -4*t - 21 = x. Let y = 62 + x. Does 22 divide y?
False
Let w be 2*(-2 - -1) + (-19 - -1). Let x = w - -46. Is x a multiple of 13?
True
Suppose -2*x = -x + 4*r - 86, 3*x = 5*r + 241. Is x a multiple of 15?
False
Suppose 0 = 9*p - 5*p - 5*y - 895, 0 = 3*y + 9. Is 44 a factor of p?
True
Let m(k) = -38*k + 213. Does 8 divide m(-25)?
False
Suppose -3*d - 23 = -2*d - 5*b, -3*d + 31 = 5*b. Let u(r) = 3*r - 1. Let n be u(d). Suppose -n = 3*p - 20. Is 5 a factor of p?
True
Suppose -1080 = -5*p + 2865. Is 18 a factor of p?
False
Let a be -20 + 18 + 4*1. Let u be (-4)/(8/a) + -55. Let s = u - -92. Is s a multiple of 6?
True
Let a be (-2 - 18 - 2)/(-2). Suppose y + a = -1. Is ((-3)/2)/(y/272) a multiple of 13?
False
Let t(h) = h**3 + 6*h**2 - 9*h - 11. Let s be t(-7). Let q = 12 + s. Does 3 divide 279/q - 8/(-20)?
False
Let h = 6183 - 3482. Is 18 a factor of h?
False
Let d(r) = r**3 + r**2 - r + 68. Suppose -4*s = -8*s. Is 34 a factor of d(s)?
True
Let q = 175 - 91. Is 7 a factor of q?
True
Suppose 0 = -4*h - 1 - 3. Let x be (h - 2)*(-346)/(-6). Let n = -110 - x. Is n a multiple of 21?
True
Let b = -6 + 9. Suppose -5*p - 4*c + 6*c + 302 = 0, -p = b*c - 74. Is 23 a factor of p?
False
Let q = 289 - 148. Does 18 divide q?
False
Suppose 3*a = -2*m + 157, a - 2*m = -17 + 64. Let q = -18 + a. Is q a multiple of 4?
False
Let u be -1 + 1 + 7 + -1. Let l be 9/(-27) - (-20)/u. Suppose 2*g = -2*c + 184, l*c - 296 = -0*c + 2*g. Is c a multiple of 20?
False
Let m(n) = -3*n + 35. Let c be m(11). Suppose c*x - x = 3*l + 45, -3*x = 5*l - 205. Is x a multiple of 20?
True
Suppose 0 = 1207*l - 1201*l - 3036. Is 22 a factor of l?
True
Suppose 5*b = 5*n - 2*n + 3, 0 = -4*b - 5*n + 32. Suppose 2*o = h + b*h - 24, -4*o - 70 = 3*h. Does 5 divide (-2 - -1)*4 - o?
False
Suppose 2*l = -5*l - 7. Let f = 34 + l. Is f a multiple of 11?
True
Suppose -13*g = -9*g + 396. Let t = -20 + 41. Is 12 a factor of (g/t - -3)*-7?
True
Is (-1 - 412)*(9/1)/(-9) a multiple of 59?
True
Suppose -5*p - 5 - 20 = 0. Let m = -9 - p. Is 14*(-1 + -2 - m) a multiple of 7?
True
Let s = 23 + -9. Let b = s - 8. Suppose -b*x - 8 = -7*x. Is 6 a factor of x?
False
Suppose -l - 35 = 4*l. Let b(p) = -p**2 - 10*p - 7. Is b(l) a multiple of 5?
False
Let g(a) = -a**3 - 11*a**2 + 11*a + 5. L