5)/35). Suppose 5*h + s + 27 = 2*w, -5*w + 2*h = -489. Does 22 divide w?
False
Suppose 12*a - 15*a = 60. Let n(q) = 7*q + 54. Let m(s) = 4*s. Let f(l) = -2*m(l) - n(l). Is 41 a factor of f(a)?
True
Let v be (-4 - 6)/(-5) + 2. Suppose k + 4*t - 379 = -0*k, 1121 = 3*k + v*t. Is k a multiple of 31?
False
Let c(m) be the first derivative of -m**4/4 + 29*m**3/3 - 31*m**2 - 41*m - 38. Is c(26) a multiple of 25?
True
Let z be (-21560)/(-637) - (-2)/13. Suppose -z*b + 49*b = 10080. Does 32 divide b?
True
Let v = -44 - -43. Let m be 2/(-6)*(v + 4/(-2)). Suppose -m = 4*l - 21. Does 5 divide l?
True
Suppose 2280*a - 2278*a + 2*c = 92300, -2*a = 3*c - 92298. Is 24 a factor of a?
True
Suppose 19658 + 40822 = 5*r - l, 14*l - 18*l = 0. Does 12 divide r?
True
Let m(a) be the first derivative of -2*a**3 - 111*a**2/2 - 15*a + 104. Does 23 divide m(-13)?
True
Let o = -1061 + 2236. Let p = o + -671. Does 12 divide p?
True
Suppose 8*h + 2*x - 68 = 3*h, -4*x + 16 = 0. Suppose 0 = h*o - 11*o - 286. Is 15 a factor of o?
False
Suppose 7*f - 6 = 4*f. Let m(o) = -12*o**2 + o + 4. Let z be m(f). Is (z/63)/(2/(-303)) a multiple of 27?
False
Let h(z) = -z**2 - 34*z + 222. Suppose 0 = -11*d - 187 - 44. Is h(d) a multiple of 24?
False
Let l(o) = 6125*o**2 + 311*o + 311. Is l(-1) a multiple of 5?
True
Let k(j) be the second derivative of 7*j**4/12 - j**3/3 + 5*j**2 - 2*j + 10. Is k(6) a multiple of 68?
False
Let x(b) = 10 - 5*b + 9 + 1. Suppose 100*n = 97*n - 12. Does 25 divide x(n)?
False
Suppose 4*v - 110*y = -107*y + 12676, 2*v + 5*y - 6364 = 0. Is 122 a factor of v?
True
Suppose 66 = 3*k - 4*o, 4*k - o = 53 + 48. Let a = -87 + k. Let p = a + 128. Is 25 a factor of p?
False
Suppose 5*c + 105 = 2*h, 21 = -2*c - h - 21. Let v = -21 - c. Suppose 4*x + 5*q - 240 = v, 5*q - 69 - 111 = -3*x. Does 27 divide x?
False
Let l(d) = -d**2 + 21*d + 2501. Is 61 a factor of l(0)?
True
Let r be -7 - (-3)/6*-2*-1. Let y(o) = o**2 + 3*o - 13. Let f be y(r). Is 3 a factor of (2*f)/(6 - (-17)/(-3))?
True
Let r(x) = 105*x - 8. Let n be r(1). Suppose -4*q = j - 453, -j = q - 4*j - n. Is q a multiple of 14?
True
Suppose -90755 = -87*k - 4190. Is 23 a factor of k?
False
Let a(m) = -39*m**2 + 6*m - 12. Let j be a(4). Let x = j + -78. Does 22 divide 1/3 - (x/(-9))/(-1)?
False
Let r(o) = o + 2397. Is r(-65) a multiple of 106?
True
Let a(q) = -q**3 - 2*q**2 - 2*q + 5. Let y be a(-3). Suppose 8*f - 4*f - y = 0. Suppose o + f*u - 11 = 14, -55 = -o + 5*u. Is o a multiple of 14?
False
Suppose 2*m - 14 = 0, 5*f - 159*m + 156*m - 16259 = 0. Does 25 divide f?
False
Let h(i) = -2*i - i**2 + 5*i**2 - 3*i**2 - 12. Suppose -31*b + 25 = -285. Is h(b) a multiple of 7?
False
Let x be ((-2)/(-5) - (-204)/(-85))*-4. Suppose 4*r - x*r + 861 = 3*i, -5*i = -2*r + 411. Does 7 divide r?
False
Suppose 5*m - 6 = 3*m, -5*r = 2*m - 21. Let a(f) = 43 - 2*f**3 - 3*f**3 - 41 - r*f + f - 2*f**2. Is a(-2) a multiple of 19?
True
Let y(c) = 460*c**2 - 3*c - 1. Let n(l) = -2*l**2 + 1. Let b be n(1). Is y(b) a multiple of 11?
True
Let m be ((-35)/10)/(2/(-1156)) - 5. Suppose m = -16*p + 18*p. Is p a multiple of 34?
False
Let j be 1686/8 - (-51)/(-68). Suppose -5*a + j + 162 = -3*o, 0 = a - 3*o - 72. Let x = 102 - a. Is 27 a factor of x?
True
Let t be -1*(2 - 2)/4. Suppose -z + 79 - 9 = t. Does 7 divide z?
True
Let o = -129 - -85. Let h = -34 - o. Suppose h*n = 3*n + 742. Does 15 divide n?
False
Let l be (-132)/10*200/30. Let x be (l/(-10))/((26/(-15))/13). Let n = x - -194. Is n a multiple of 16?
True
Suppose -4*s + 2*k = -1 - 9, 3*k + 15 = -3*s. Suppose -32*n + 30*n + 1294 = s. Is 52 a factor of n?
False
Suppose -12141 = -11*o - 50*o + 4*o. Is o even?
False
Let z be 925/((-4)/4*1). Let t = z + 1338. Is t a multiple of 38?
False
Let x = 603 + -601. Is 782*x/20 + 2/(-10) a multiple of 23?
False
Let u = -1320 + 8563. Is 19 a factor of u?
False
Suppose 5*z = -2380 + 18170. Suppose 512 = -9*f + z. Is 49 a factor of f?
True
Suppose 5344 = r + 2*f, -12*f - 17410 - 9288 = -5*r. Does 7 divide r?
False
Let s(m) = 65*m - 45*m + 13 + 18 - m**3 + 1 + 62*m - 32*m**2. Does 20 divide s(-35)?
False
Let k = 97 - 88. Let z be k + 124 + 1/(1 + -2). Let g = -98 + z. Is g a multiple of 2?
True
Suppose -4*i + 5 = -563. Suppose r - i + 31 = 0. Suppose 5*d - 2*o - 198 = r, -4*d + 2*o = -248. Is 13 a factor of d?
False
Suppose -2555*c + 2546*c = -6264. Does 2 divide c?
True
Let c = 680 + -390. Is c + 1/(-2*2/20) a multiple of 18?
False
Suppose 34677*v - 176652 = 34670*v. Is 36 a factor of v?
True
Suppose 22*t = 25643 + 44431 + 126738. Is t a multiple of 126?
True
Let y = 56 + -38. Suppose -26*m = -27*m - 41. Let z = y - m. Is 26 a factor of z?
False
Let t = 479 + 4489. Does 69 divide t?
True
Suppose -5*h = 4*g - 17368 - 34022, 4*g + 10302 = h. Is h a multiple of 26?
False
Let f = -526 + 570. Suppose f*z = 25*z + 3306. Is z a multiple of 6?
True
Let a(d) = 4982*d**2 + 3*d - 9. Is 415 a factor of a(-3)?
True
Suppose d - 5*j + 20 + 4 = 0, 5*d + j + 120 = 0. Let s = d + 26. Does 14 divide ((-1063)/(-15) - 2) + s/15?
False
Let q(r) = 319*r + 16. Let g be q(-4). Let b = g + 1770. Does 34 divide b?
True
Let s = 9864 - 5172. Does 23 divide s?
True
Suppose 4849*y = 4844*y + 19190. Is 19 a factor of y?
True
Suppose 4*r - 42*h + 47*h - 207289 = 0, -2*r + h = -103669. Is 13 a factor of r?
True
Let i(l) = -l**3 - 2*l**2 + 6*l + 4089. Is i(0) a multiple of 47?
True
Let d = 245 - 241. Suppose -4*t - d*l = -2196, 5*l = 3*t + l - 1682. Is t a multiple of 32?
False
Suppose 15543 = 12*j - 3*j. Let l = -818 + j. Is 18 a factor of l?
False
Let k(l) = l**2 - 3*l + 1. Let r be k(3). Suppose 0 = -5*q - 4*y + 4, -3 = -3*q - 2*y + r. Suppose -p + 62 = -s, -q*p - s + 260 = -2*s. Is p a multiple of 19?
False
Let h = 3426 - -1033. Does 56 divide h?
False
Let w(p) = p**3 + 12*p**2 + 6*p - 49. Let y be w(-11). Suppose -5*g = -4*z - 1563, 3*z - 954 = 3*g - y*g. Is 35 a factor of g?
True
Suppose 0 = 4*u - f - 3984, -2*f - 996 = -49*u + 48*u. Is 166 a factor of u?
True
Suppose -616*b = -618*b + 12618. Is 11 a factor of b?
False
Let j be 1 - ((-3)/7 + (-35344)/112). Suppose -5*t = -i + 2 + 1, 15 = 5*i + t. Suppose 3*d = -v + 221, 4*d + 44 = i*v + j. Is 8 a factor of d?
True
Let a = 2 - -1. Suppose 6*p - 30 = a*p. Let g = 33 - p. Is 15 a factor of g?
False
Suppose 0 = 24*c - 25*c + 30. Suppose 0*a - c*a + 37740 = 0. Is 74 a factor of a?
True
Suppose -1756 + 430 = -26*d. Let l = 70 - d. Is 11 a factor of l?
False
Let r be (0 - 2)*-10*28/(-35). Let y(p) = -15 - 29 + 2*p - 8*p - 4*p. Does 29 divide y(r)?
True
Let y be (0 - -2 - 2)/(-3). Suppose 6*c + 23 - 1181 = y. Is c a multiple of 14?
False
Suppose 1612 - 586 + 145694 = 35*i. Is i a multiple of 16?
True
Let l(a) = 19*a**3 - 46*a**2 - 85*a - 126. Let y(h) = -7*h**3 + 15*h**2 + 28*h + 42. Let j(w) = -3*l(w) - 8*y(w). Is 24 a factor of j(18)?
True
Let v be 4/10 - 79441/(-85). Suppose 260*g - 271*g = -v. Is 5 a factor of g?
True
Let j(q) = -q**3 - 8*q**2 - 11*q - 8. Let o be j(-7). Let h = 20 - o. Suppose h = -7*d + 223 + 43. Does 5 divide d?
False
Suppose 14*b - 9 = 19. Suppose -5*m - 1451 - 200 = -b*y, 0 = 4*y - m - 3347. Suppose 0 = 2*x - 5*n - 449, 4*x - y = 2*n - 4*n. Does 53 divide x?
True
Let r(j) = -33*j**3 + 5*j**2 - 29*j - 46. Is 44 a factor of r(-6)?
True
Is 8 a factor of 14/(1/(-23)*(-36)/144)?
True
Suppose 3*y + 4*h = 25, 13 = 2*y - 3*y + 4*h. Suppose -5*m + 5*u = -y*m - 482, -4*m + 964 = 2*u. Suppose 4*s = m - 81. Is s a multiple of 5?
True
Let b(g) = 1435*g - 27. Let j be b(6). Suppose 0 = -11*m + j + 6234. Does 41 divide m?
False
Let r(a) be the first derivative of -17/2*a**2 + 2/3*a**3 - 12 - 7*a. Is r(-7) a multiple of 15?
True
Suppose -9*i - 104 + 32 = 0. Is 6/i + (-612)/(-48) a multiple of 2?
True
Suppose 8*n = -3*n. Suppose 3*s - r = 1025, n = 3*s - 0*r - 5*r - 1021. Does 57 divide s?
True
Let b = -1944 + 2395. Does 3 divide b?
False
Let i(f) = -3*f**2 - 44*f + 122. Let u be i(-17). Suppose -3*s = -7*m + 3*m + 743, -2*m + u*s + 373 = 0. Does 57 divide m?
False
Let c(o) = -o**3 + 10*o**2 - 6*o - 10. Let p be c(10). Let m = 59 + p. Is (1/(-2))/(m/1254) a multiple of 4?
False
Suppose 15*w + 333675 = 40*w. Does 21 divide w?
False
Is 338086/58 + 13 + 6064/(-464) a multiple of 67?
True
Let i(f) = 11*f**2 + 10. Let v = -29 + 34. 