
Is 14 a factor of (2763 + -1)*(-14)/28*-1?
False
Suppose 3*q - 2*w - 142 = 0, 18*q - 15*q = -3*w + 162. Is 3 a factor of q?
False
Is (-1)/((-6)/30) - (-2072)/1 a multiple of 103?
False
Let u(g) = g**2 + 3*g - 2. Does 13 divide u(6)?
True
Let p = -761 + 1513. Does 16 divide p?
True
Suppose 5*n + 0*n + 42 = -4*c, 5*n + 2 = c. Let q(p) = -26*p + 4. Is q(c) a multiple of 35?
False
Let l(i) = 0 + 2 - 6*i - 7*i**2 - i**3 - 1. Let f be l(-5). Let c = f - -47. Is 7 a factor of c?
True
Suppose 9*z = 7*z + 128. Suppose -z = 3*b - 292. Let j = b + -32. Is j a multiple of 11?
True
Let l(s) = 4*s**2 - 15*s + 75. Is l(10) a multiple of 25?
True
Let l(v) = 11*v**2. Suppose 5*g - 13 = -3. Is l(g) a multiple of 11?
True
Let k = -10 + 8. Let w be 1 + (k - (3 + -3)). Does 14 divide 7*4 + 1 + w?
True
Let q = 45 - 16. Suppose 5*y - 130 = -3*n - q, -119 = -5*y + 3*n. Is 6 a factor of y?
False
Suppose -72 = 5*b + 3*b. Let l be 2/b - 360/(-162). Suppose -l*c + 5 = -3, -3*c - 58 = -5*i. Is i a multiple of 4?
False
Let u = -31 + 40. Let l = 71 - u. Is l a multiple of 12?
False
Is (3 + 12/(-8))/(12/4552) a multiple of 34?
False
Let u be -14*1*(3 + -11). Suppose 5*f + u = f. Let a = -14 - f. Is a a multiple of 7?
True
Suppose -4539 = -4*q - 3*z + 950, -4*q + 4*z = -5468. Is q a multiple of 10?
True
Let b(o) = -161*o + 13. Let j(k) = 3 + 50*k - 10*k - 6. Let x(q) = -2*b(q) - 9*j(q). Does 13 divide x(-1)?
True
Is 0 + -36*(-7 - -5) a multiple of 5?
False
Does 30 divide 4 - ((-3 - 614) + -9)?
True
Let m = 11 + -4. Let y = 3 - m. Let s(a) = -2*a - 4. Does 3 divide s(y)?
False
Suppose 4*z = 4*y - 172, 2*y - 44 = 3*z + 90. Let s be z/(-10) - 2/(-10). Suppose 5*k = s*p - 405, p + 5*k - 455 = -4*p. Is p a multiple of 43?
True
Let c(t) = -5 + 4 - 10*t - 5*t. Let w be c(-3). Suppose 2*j - w = -4*h, 4*j - 3 - 105 = 2*h. Is j a multiple of 13?
True
Suppose -2*x + 3*p + 892 = 0, 2*x - p - 389 = 495. Is 20 a factor of x?
True
Suppose 3*l + 15 = 3*j - 0, j - 8 = 4*l. Suppose 2*s - 4*m = 7*s - 181, -j*s - 2*m = -140. Is s a multiple of 11?
True
Suppose -8*f = 2*f - 150. Suppose -18*o + f*o = -207. Does 18 divide o?
False
Suppose -28*v + 22*v = -456. Is v a multiple of 21?
False
Suppose -6*z + 18 = -120. Is z a multiple of 2?
False
Suppose q + q - 5*r = -104, 156 = -3*q + 5*r. Let h = q + 92. Suppose 3*l - h = 47. Is 10 a factor of l?
False
Suppose -5493 = -3*i + 3*b, 4*i + b = -3*b + 7292. Does 63 divide i?
True
Let n(a) = 7*a - 3. Let l be n(1). Is (-2)/l + (-148)/(-8) + -6 a multiple of 12?
True
Let y be 0/(2 - (1 - -3)). Suppose 0 = 2*w - y*w - 68. Does 7 divide w?
False
Let c(p) = -2*p - 34. Let k be c(-18). Suppose k*b - 298 = -2*m, 5*b + 463 = 3*m - 0*b. Is m a multiple of 38?
False
Let g(y) = 23*y**2 + 80*y + 10. Does 47 divide g(-9)?
False
Let v(f) = -f**3 + 25*f**2 - 10*f - 24. Is v(24) a multiple of 11?
False
Let q(f) be the third derivative of 12*f**2 + 1/15*f**5 + 0*f + 0*f**3 - 1/12*f**4 + 0. Does 10 divide q(-2)?
True
Suppose 5*f = g - 2*g - 34, 4*f + 4*g = -24. Is 35 a factor of ((-768)/(-15))/(f/(-35))?
False
Let n(p) = -70*p + 289. Is n(-26) a multiple of 37?
True
Suppose 7*x = x - 6. Is 5 a factor of (11 - -18) + x + (0 - -1)?
False
Suppose 2*l + 220 = -0*v + 2*v, 2*v - 3*l - 220 = 0. Suppose 10*u - 5*u = -v. Let q = u - -58. Is q a multiple of 9?
True
Suppose 3*k + 29376 = 54*k. Does 9 divide k?
True
Does 21 divide (-2854)/(-6) + (-152)/228?
False
Let v = 345 - 360. Let r(p) be the first derivative of -p**4/4 - 5*p**3 - p**2/2 + 21*p - 1. Is r(v) a multiple of 7?
False
Does 42 divide (888/20)/((-3)/(-40))?
False
Suppose 0 = -100*t + 96*t + 3332. Is t a multiple of 17?
True
Let v(a) = -a**2 - 11*a - 12. Let t be v(-11). Let p = t + 14. Suppose 0*f - 11 = -u + 2*f, -p*u + 2*f + 14 = 0. Does 2 divide u?
False
Suppose c - 20 = -4*i, -c - 2*c - 8 = -5*i. Suppose -368 = -c*l + 132. Let g = 191 - l. Is g a multiple of 27?
False
Is 12 a factor of (28/(-105))/((-3)/369)*45?
True
Let y be (-777)/14*(-4)/6. Let b = 49 + -31. Let u = y + b. Is u a multiple of 28?
False
Let s(u) = 5*u**3 - 19*u**2 + 39*u + 68. Let g(b) = b**3 - 5*b**2 + 10*b + 17. Let r(z) = 9*g(z) - 2*s(z). Is r(-10) a multiple of 34?
False
Is ((-132)/(-9) + -1)/((-8)/(-912)) a multiple of 41?
True
Let o be (4 + -1 - 4)*9. Let y = o + 6. Is 21 - 4*y/(-4) a multiple of 18?
True
Let l = -6 - -33. Suppose 0 = 2*k + 3 - l. Does 3 divide k?
True
Let b(c) = 7*c**3 + 5*c**2 + 2*c - 5. Does 28 divide b(6)?
False
Let j(v) = 23*v**3 + 8*v**2 + 2*v - 14. Let d = 37 + -30. Let w be j(d). Is 4/18 + w/117 a multiple of 32?
False
Suppose -4*h = -2*f - 2, 2*h - 2*f = -h + 2. Suppose 42 = b - h. Is b a multiple of 42?
True
Let i(g) = 0 - 2 + 6*g - 6. Is 6 a factor of i(6)?
False
Suppose 2*l - 4*l = 0. Suppose l = 3*h + h - 348. Let k = h - 39. Is 16 a factor of k?
True
Suppose -2*b = 2*b - 4. Let r be (-4)/(-8)*b*0. Suppose r = u + 37 - 68. Is 14 a factor of u?
False
Let u = 212 - 104. Does 14 divide u?
False
Suppose -1 = -g + 5. Let d(o) be the first derivative of o**2 - o - 5. Does 3 divide d(g)?
False
Let r = -741 + -207. Is 19 a factor of (r/(-24))/(2/4)?
False
Suppose k = v + 4*v + 610, -3*k + 1830 = v. Is 11 a factor of k?
False
Suppose 5 = 75*q - 74*q. Suppose v = q, 0*k - 2*v = 4*k - 98. Is k a multiple of 3?
False
Let t be (-2)/(-14) - (-52)/28. Suppose -f + 6*f + 4*a - 251 = 0, 0 = t*f - 2*a - 104. Does 29 divide f?
False
Suppose 3*d = 2*u - 3*u + 130, 3*u = -d + 398. Suppose 0 = i - 5*n - 38, 0 = -4*i + 2*n - 17 + u. Is 16 a factor of i?
False
Suppose 0 - 5 = -q. Suppose -456 = -q*w + 94. Is 11 a factor of w?
True
Let t(y) = -50*y + 6. Is t(-1) a multiple of 8?
True
Let t = -101 - -40. Let i = 181 + t. Is i a multiple of 40?
True
Suppose 2*n - 2536 = -n + 5*v, 3*v = -2*n + 1678. Is 35 a factor of (-4)/(-24)*-3 - n/(-4)?
True
Suppose -19*u + 1265 + 4378 = 0. Is u a multiple of 27?
True
Let l = -3 + -1. Is ((-6)/l)/(24/224) a multiple of 14?
True
Let v(l) = l**3 - 5*l**2 + l - 7. Let a = 13 - 8. Let m be v(a). Let y(n) = 11*n**2 + 5*n + 5. Does 15 divide y(m)?
False
Let d = 403 + -343. Does 9 divide d?
False
Let b(q) = -q**3 - 14*q**2 + 13*q - 24. Let d be b(-15). Suppose 2*r - d - 16 = 0. Is r a multiple of 5?
False
Let j = 6 - 10. Is 10 a factor of j/6 + 465/9?
False
Let w(o) = -o**3 - 2*o**2 - 42. Does 30 divide w(-14)?
True
Let s(g) = 133*g**2 - 5*g + 2. Is 30 a factor of s(2)?
False
Let d be 1/1 + (-5 - 1). Let t = d + 5. Suppose t = 13*s - 8*s - 35. Is s a multiple of 6?
False
Let q(d) = d**2 + 5*d - 21. Let r be q(-9). Suppose 11*v + 476 = r*v. Is 37 a factor of v?
False
Let q be (-8166)/(-16) + (0 - 9/24). Suppose -16*o + q = -11*o. Does 35 divide o?
False
Suppose 0 = -h - 2*h + 408. Suppose 17 = 3*c - h. Is c a multiple of 17?
True
Let v(l) = -6 + 2 - 2*l - 10*l. Does 8 divide v(-1)?
True
Let f be 1/(4 + (-3005)/751). Let i be f/(-6) - 14/84. Suppose -3*n = 5*p - i, -p - 2*n + 17 = -8. Is p a multiple of 9?
False
Suppose 0 = -3*a + 72 - 24. Let x = a + -14. Suppose 0 = -x*p - 0*p - 3*s + 96, -96 = -2*p + 2*s. Is p a multiple of 16?
True
Suppose -5*l = -2*u - 9, -6 - 13 = -3*u + l. Suppose 3*c + c = u. Suppose 3*f + 2*o = 37, -o - c = -2*o. Is f a multiple of 11?
True
Suppose 14*b = 2*r + 17*b - 297, 4*r = -2*b + 582. Is r a multiple of 13?
False
Suppose w + 4*j - 1718 = 0, 8*w - 3*w - 2*j = 8546. Is 38 a factor of w?
True
Suppose -3*j - 7 = 5. Is 7 a factor of j - -33 - -1*3?
False
Suppose 5*g + 0*g = -45. Let v(n) = n**3 + 9*n**2 - n - 4. Let w be v(g). Suppose 0 = w*x - 43 - 12. Does 6 divide x?
False
Let d = 53 - 50. Suppose -n - 58 = -d*g + 102, -3*g = n - 170. Is g a multiple of 11?
True
Let q be (8 - 1) + -4 + 1. Let k(y) = 3*y**2 - 3 - 4 + 9 - 5*y. Is k(q) a multiple of 7?
False
Let s = 15 + -25. Let k = 67 + s. Does 19 divide k?
True
Suppose -2*s + 9*c + 20 = 5*c, 3*c + 19 = 2*s. Is 11 a factor of 622/s + (1/4)/1?
False
Is 8 a factor of 5*(3635/50 + (-2)/4)?
False
Let x = -10 + 13. Suppose -21 = -2*q - x. Is q a multiple of 2?
False
Let r(g) = -29*g + 1346. Does 63 divide r(0)?
False
Let h(d) = 11*d + 2 - 14*d + 7. Does 2 divide h(0)?
False
Let c(a) = -a**3 + a**2 - 1. Let x(f) = -6*f**3 + 6*f**2 - 2*f - 6. Let m(p) = 2*c(p) - x(p). Suppose 2 - 5 = -l. Does 25 divide m(l)?
False
Let i(p) = 9*p - 9. 