 - 353 = -i*f. Is f a multiple of 38?
False
Let j = -27 + 7. Let x = j - -21. Does 29 divide ((0 - 4) + 38)/x?
False
Suppose -94*l + 89*l = -295. Does 20 divide l?
False
Let s be (-2)/(-10) - (-18)/10. Suppose 0 = -4*u - 2*z + 172, s*u - 2*z - 80 = -0*z. Does 7 divide u?
True
Let h = -91 - -975. Is 34 a factor of h?
True
Let l(q) = 1 + 0*q - 4 + 0 + 2*q. Let d be l(3). Does 19 divide -4 + (-78)/(-2) + d?
True
Let h(j) = -2*j**2 + 1 + 2*j + 0*j - j**3 + 1. Suppose -6 + 22 = -4*w. Does 13 divide h(w)?
True
Let b(x) = -402*x + 4. Is b(-2) a multiple of 101?
True
Let m(y) = y**2 - 2*y + 86. Let t be m(0). Suppose -4*b + 126 + t = 0. Does 15 divide b?
False
Let r(k) = k - 3. Let d = 24 - 18. Let w be r(d). Suppose 3*t - 125 = -2*q, -w*t + 4 = -5. Is q a multiple of 14?
False
Suppose -2*p + 3*j + 580 = 0, -2*p + 0*p = j - 588. Suppose -107 = 4*i + p. Let b = i + 176. Is b a multiple of 22?
False
Let r(v) = -2*v**3 + 7*v**2 - 3*v + 4. Let y(n) = -4*n**3 + 15*n**2 - 5*n + 9. Let t(z) = -7*r(z) + 3*y(z). Does 3 divide t(3)?
False
Suppose -5*p + 2*b = -88, -5*b + 14 = -p + 50. Is 12 a factor of p/(-3)*-15 + (1 - -3)?
True
Suppose 24*l - 3005 = 19*l. Is 13 a factor of l?
False
Let n(r) = r**2 + 13*r + 28. Suppose 0 = -x - 11 - 3. Is n(x) a multiple of 14?
True
Let y be (44/33)/(1/3). Suppose 0 = y*l + 16, 2*l - 72 = -0*c - 4*c. Does 10 divide c?
True
Suppose 44 = -3*x + 101. Does 3 divide x?
False
Let w = -51 + 76. Let p be (-1)/15 - (-1568)/(-105). Let q = w + p. Is q a multiple of 4?
False
Let k(f) = 2*f**2 - 10*f + 26. Is 42 a factor of k(-11)?
True
Suppose -3*q = -0*q + 21. Is q/14 + (-26)/(-4) a multiple of 3?
True
Let c be 2/4*-4 + 2. Suppose 2*v + 101 - 764 = -r, -4*r + 12 = c. Does 15 divide v?
True
Let j(t) = -4*t - 10. Let p be j(-6). Let c = 78 + p. Is (3/(-12))/((-1)/c) a multiple of 7?
False
Let s(w) = -32*w - 347. Is s(-13) a multiple of 16?
False
Let o = 9 + -19. Let s be o*((-1 - 11) + 1). Suppose 3*m = -2*m + s. Is 13 a factor of m?
False
Does 54 divide (-9)/6 + ((-2277)/(-6) - 8)?
False
Let w(l) = -8*l + 4. Suppose 19 - 7 = 4*c. Let f be w(c). Does 27 divide (-4 - 116/f)*45?
True
Suppose 614 = -4*h + 2*z - 0*z, 3*z = -15. Is 3 + 1 - 2 - (-5 + h) a multiple of 36?
False
Suppose 4*x = 4*d + 400, 0 = x - 0*x + d - 92. Suppose 10 = v - 5*u, -x = -3*v - u - 2. Is v a multiple of 6?
True
Is 23 a factor of 4/((-1)/((-138)/24))?
True
Let r = -13 + 16. Let f be (-3)/((-12)/(-4))*r. Is 5 + f*8/12 even?
False
Let s be 2*((-175)/2 - -1). Let b be s/(-4) + (-6)/24. Let z = 61 - b. Is 6 a factor of z?
True
Does 10 divide (0 + 502)*(-105 + 106)?
False
Let t = 165 - -328. Suppose -3*q - 157 = -t. Does 10 divide q?
False
Suppose -30 = 3*d - 6. Let y = d + 10. Suppose -7*x + y*x = -20. Is 4 a factor of x?
True
Let i(m) be the second derivative of -m**6/240 + 7*m**5/120 + 7*m**4/12 + 6*m. Let h(x) be the third derivative of i(x). Is 15 a factor of h(-7)?
False
Let a = -3833 + 5554. Is 5 a factor of a?
False
Suppose 5*d - r - 45 = -5*r, 3*r - 40 = -5*d. Suppose -2*p + 28 = -2*t, 3 = 2*t - d. Is 6 a factor of p?
True
Let n(t) = t - 2. Let f be n(11). Let y = -7 + f. Is 39 - (2 + -4 + y) a multiple of 13?
True
Let g(c) be the second derivative of 2*c**3/3 - 2*c**2 - 6*c. Let p be g(2). Suppose -p*o + 224 = -0*o. Is o a multiple of 14?
True
Suppose -7*v = -2*x - 2*v + 3265, 0 = 4*x + 3*v - 6543. Does 15 divide x?
True
Suppose 10*t = 4*t - 3600. Let c = 1029 + t. Suppose 141 - c = -3*f. Does 32 divide f?
True
Suppose i = -54 - 29. Let n = i + 152. Suppose -2*f - f = -n. Is 23 a factor of f?
True
Let l = 2344 - 1446. Does 66 divide l?
False
Let r(a) = -37*a - 91. Let q be r(-8). Suppose 3*y = 4*z + q + 71, y = -z + 92. Is 16 a factor of y?
False
Suppose 3*x + 4*x = 0. Suppose x = -4*f + 48 - 4. Suppose -6*n - 115 = -f*n. Is 6 a factor of n?
False
Suppose 3*f - 5*v - 626 = 0, -3*f + 0*v + 644 = 4*v. Is 8 a factor of f?
False
Let x(u) = u + 1. Let y be x(-4). Let w = y - -2. Let p = 22 + w. Is p a multiple of 6?
False
Let b(q) = 8*q**2 - 14*q - 13. Let p be b(-7). Suppose 5*u = 8 + p. Is 20 a factor of u?
False
Suppose 0 = -0*w + 2*w - 296. Suppose w = 3*c - 281. Suppose 0 = b - 2*f - 35, 3*b - c = 5*f - 38. Is 9 a factor of b?
False
Suppose 0 = -5*m - 3*a + 7985, -m = m - 4*a - 3168. Is m a multiple of 21?
False
Suppose -5*i = -2*v - 7*i + 102, 0 = -4*i - 20. Suppose 0 = -v*o + 53*o + 441. Does 21 divide o?
True
Suppose 5*t - 9*t - 96 = 0. Is (16/t)/(6/(-189)) a multiple of 7?
True
Let a(p) = 18*p - 5. Let s(d) = 19*d - 5. Let t(x) = 7*a(x) - 6*s(x). Does 17 divide t(8)?
False
Let q(u) = u**2 + 3. Let z be q(-10). Suppose -z = -11*r + 7. Does 10 divide r?
True
Let n(z) = z**2 + 11*z + 28. Let r = -30 + 39. Does 26 divide n(r)?
True
Suppose -2*x + 50 = -2*s - 102, 425 = 5*x + 4*s. Suppose -75*c = -x*c + 1056. Is c a multiple of 12?
False
Let g(p) = p**2 - 24*p + 43. Suppose o = 9 + 19. Is 14 a factor of g(o)?
False
Suppose -2*x + 4*p = -0*x + 50, 5*x + 161 = p. Let d = x - -38. Does 2 divide d?
False
Let u be (-1)/((0 + 2)/(-64)). Is 22/(-44)*u/(-2) even?
True
Suppose 3*r - 2*n = -r + 52, 5*r = -2*n + 56. Let m = r - 9. Let w = m + 3. Does 6 divide w?
True
Let w be 2/(-1)*6/(-3). Suppose 4*g - y - 16 = -0*y, 0 = 4*g + 2*y - w. Is 4 a factor of 7/2 - g/(-2)?
False
Let j(z) be the third derivative of -z**8/20160 - z**7/315 - z**6/720 + z**5/15 - 3*z**2. Let y(f) be the third derivative of j(f). Is y(-14) a multiple of 7?
False
Suppose 3390 + 13250 = 16*u. Does 4 divide u?
True
Suppose 7*q - 12 = 3*q. Suppose 0 = 3*v + v + 2*m - 476, q*m + 126 = v. Is 20 a factor of v?
True
Let a(r) = -2*r**3 + 15*r**2 + 18*r - 9. Is a(7) a multiple of 6?
False
Let b(g) = g - 2. Let t be b(6). Suppose -2*n - 8 = t*h, h = -5*n - 3 + 1. Suppose n*l - 2*l + 78 = 0. Is l a multiple of 10?
False
Suppose -2*z = -4*o - 626, o + 3*o = -5*z - 661. Let r = -63 - o. Does 8 divide r?
True
Let i(t) = 6*t + 16. Suppose -2*z + 13 - 5 = 0. Is i(z) a multiple of 19?
False
Let f be ((-3)/3 + 2)*5. Suppose 0 = -2*n - 3*v - 11, -4*n + 35 = n - f*v. Is -10 + 36 - (n - 1) a multiple of 14?
False
Is 472 + (-2)/(-4)*-2 a multiple of 10?
False
Let l(r) = -45*r - 147. Is l(-24) a multiple of 53?
False
Suppose -d - 5 = -9. Let x = 58 - d. Is x a multiple of 27?
True
Let l(g) = g - 20. Let b be l(19). Let o(h) = -34*h - 2. Is o(b) a multiple of 16?
True
Suppose 0 = 3*b + 4*z - 510 - 1538, 0 = 3*b - 2*z - 2054. Does 50 divide b?
False
Let r = 5 + -3. Suppose 10 + r = -3*h. Let w(d) = -d**3 - 4*d**2 - 3*d - 4. Is w(h) a multiple of 4?
True
Let t = 7335 - 2883. Does 36 divide t?
False
Let j(g) = 0*g**3 - 1 + g**3 - 2 + 2*g + 2*g. Suppose 5*q - 24 + 9 = 0. Is j(q) a multiple of 13?
False
Does 10 divide -39*(-7)/(6 - -1)?
False
Suppose 1816 = 12*p - 680. Is p a multiple of 13?
True
Let l = -74 + 74. Suppose l = -11*r + 12*r - 33. Is 2 a factor of r?
False
Suppose -5*p - 6*c + 2*c = 31, -16 = 4*c. Suppose -k - 20 - 17 = 0. Is k/p - (-22)/33 a multiple of 13?
True
Suppose -2 = 2*l + h - 6*h, -5 = 5*l + 4*h. Let k(t) = -53*t**3 - t**2 - t + 1. Let r(f) = -f**3 + 1. Let j(o) = l*r(o) - k(o). Is j(1) a multiple of 20?
False
Suppose -111 + 20 = 7*w. Let r = w + 34. Is 21 a factor of r?
True
Let y be (-90)/20*((-30)/9 + 2). Suppose 0 = -4*w, 5*w = -t - 0 + y. Is 6 a factor of t?
True
Suppose 3*c + 51 = -0*c. Let h = c + 20. Is h + (7 - -2) + -3 a multiple of 5?
False
Let v(z) = 41*z - 4. Let n be v(2). Suppose 0 = -33*l + 36*l - n. Does 25 divide l?
False
Let j(o) = 31 - o**2 + 2*o**3 - 20 - o**3. Does 3 divide j(0)?
False
Suppose 0 = -349*d + 364*d - 52185. Is d a multiple of 71?
True
Let f = -7 + 93. Let t = -56 + f. Does 6 divide t?
True
Let x be 2*2/(-8)*(-40)/5. Suppose c - 13*t = -9*t + 230, 3*t - 863 = -x*c. Is 9 a factor of c?
False
Is 6 a factor of 1*6*(-3)/(6/(-98))?
True
Suppose 5*q - 1945 = -n - 0*n, -2*q - 3*n = -765. Suppose q*g - 392*g = -42. Is 21 a factor of g?
True
Let f(b) = -20*b + 20. Let d be f(2). Is 8 a factor of (-32)/6*180/d?
True
Suppose -29*w = -27*w - c - 1185, -c + 2980 = 5*w. Is 35 a factor of w?
True
Let f be 10/15 - 6/9. Suppose m = -2*j - m + 18, 0 = 4*j - 3*m - 8. Suppose f = s + n - 26, 116 = j*s - 0*n - 2*n. Is 12 a factor of s?
True
Suppose b + 4*k + 12 = 0, -4*b = 2*k + 2*k. Sup