-780*s + 4396. Is 267 a factor of a(-6)?
False
Let h = 10 - -2. Let f be (208/(-6))/(h/(-18)). Let p = -8 + f. Does 11 divide p?
True
Let m(n) = 760*n - 674. Does 46 divide m(7)?
True
Let a be 10 - 1 - (-2)/((-6)/(-9)). Suppose -a*b - 22*b = -4896. Is 8 a factor of b?
True
Let w(v) = -v**3 + 2*v**2 - 309*v - 3267. Is 2 a factor of w(-11)?
False
Let a(g) = 19*g + 8. Let k = -78 + 75. Let r be a(k). Let l = 63 + r. Does 4 divide l?
False
Let x = 8414 + 32315. Does 33 divide x?
False
Suppose 2*b = 2*q + 4486, -5*b - 23*q + 11165 = -18*q. Suppose -14*n = -2788 - b. Is n a multiple of 8?
False
Suppose -772186 = -162*u + 5319014. Is u a multiple of 188?
True
Let b(d) = -65*d - 119. Let u be b(-7). Suppose 6*i - 9*i + u = 0. Does 3 divide i?
False
Suppose -5*c + 38579 = 4*x, 0*c = 25*x + 4*c - 241146. Does 182 divide x?
True
Suppose 77*b = 540545 + 628546. Does 30 divide b?
False
Let j(i) = -i**3 - 18*i**2 - 13*i + 60. Let m be j(-17). Is (26/m)/(-5*7/1540) a multiple of 3?
False
Let b = 4427 + 449. Is 2 a factor of b?
True
Let y be (23/(-10) - (-4)/8)*-5. Suppose k = -5*l + 382, -7*k = -y*k - l + 791. Suppose n - 3*o = 3*n - 161, k = 5*n + 2*o. Is 5 a factor of n?
False
Suppose -23*m + 3531 = -12*m. Suppose -28*p = -k - 24*p + m, 5*k = 3*p + 1639. Is 89 a factor of k?
False
Let w = 8640 - 4514. Is 67 a factor of w?
False
Let p(o) = -o**3 - 8*o**2 - 8*o - 2. Let q be p(-7). Suppose -q*j + 21 = -12*j. Does 12 divide -4 + (j - 146*-1)?
False
Suppose 0 = -4*o - v + 925, o - 3*v - 225 = -2*v. Suppose 3*t - o - 22 = 0. Is 4 a factor of t?
True
Suppose 0 = -4*s - 70 + 82. Suppose -s*u - 4 = -5*u. Suppose -u*i = i - 39. Is i a multiple of 13?
True
Let u(t) = -22130*t**3 + 33*t**2 + 33*t. Is 39 a factor of u(-1)?
False
Let a = -81 + 270. Let j = 206 - a. Is 4 a factor of j?
False
Suppose 3*n - 3*t + 0*t - 3 = 0, n + 4*t = -4. Suppose 3*r + 1 - 4 = n. Does 8 divide r/(-5) + (-618)/(-15)?
False
Let p(f) be the first derivative of -25*f**3/3 + f**2 + f - 27. Let g be p(-2). Let t = g - -188. Is 5 a factor of t?
True
Is (-16 - -766)/(2 - 1) a multiple of 75?
True
Let w be 146/(-1)*((-3)/(-6) + -1). Let m = w - -363. Suppose -1723 + m = -13*q. Does 36 divide q?
False
Let u(d) = -18*d + 2 + 22*d - 11*d. Is u(-7) a multiple of 15?
False
Does 113 divide (-204)/170 - (-82991)/5?
False
Suppose 2*y = -4*v + 10486, -4*v - 420*y = -425*y - 10493. Is 43 a factor of v?
False
Is 38 a factor of ((-8957)/(-65) - -5)/(870/(-175) + 5)?
False
Suppose -k = -6*j - 9212, 3*k + k + 2*j - 36874 = 0. Suppose -2*s - 20*s + k = 0. Does 37 divide s?
False
Let j(g) = 2*g**2 + 20*g + 1044. Is 9 a factor of j(-63)?
True
Is 39 a factor of ((-1 - 1)/(800/(-3100)))/((-2)/(-1888))?
False
Suppose 195*b = 207*b - 504. Suppose 2*x - 30 = -10. Let o = b + x. Is o a multiple of 26?
True
Suppose 0 = 5*j - 5, 8640*t + 161611 = 8643*t - 2*j. Is t a multiple of 65?
False
Let g = 313 + -318. Is 18 a factor of (3563/(-14) - g)/(1/(-2))?
False
Let v = 9 - 7. Suppose 5*d + 2 = v*x - 0, 0 = -4*x + 4. Suppose -n - 2 + 20 = d. Is n a multiple of 3?
True
Let w = 47 + -31. Let h = 15 - w. Is (4 - h) + -3 + (-148)/(-1) a multiple of 30?
True
Let k = 418 + -426. Let t(z) = -11*z + 66. Does 11 divide t(k)?
True
Let y = 810 - -5648. Is y a multiple of 57?
False
Let v = 413 - 108. Let l = v + 73. Does 21 divide l?
True
Let r(p) = -p**3 + 3*p**2 + 17*p - 13. Let h be r(4). Suppose -8820 = 11*f - h*f. Is f a multiple of 8?
False
Suppose 0 = 3*p - 7*p + 84. Let q = 25 - p. Suppose 5*k + 36 = 2*w - 29, 20 = -q*k. Does 7 divide w?
False
Suppose 87*c - 17*c - 430 = 1180. Is c even?
False
Let v = -47 - -36. Let r be 0 + 2/v + 144/66. Suppose -5*a = -2*o - 321, -r*o - 2 = -6. Does 13 divide a?
True
Let f = 428 - 405. Does 5 divide ((-766)/4)/(((-322)/28)/f)?
False
Suppose 3*i + 7257 = 23543 + 49858. Does 23 divide i?
False
Suppose -4616 = 2*m - 2*f - 38622, 5*m - 85015 = -4*f. Is m a multiple of 74?
False
Let t(j) = -18*j - 13. Let y be (-6)/(-2*(-20)/8 - 4). Let d be t(y). Is 19 a factor of d*(-4)/40*-4?
True
Let t(i) = -i**3 + 20*i**2 - 30*i - 17. Suppose 118 - 27 = 7*w. Does 50 divide t(w)?
False
Let s be (-6)/16 - 513/(-152). Suppose o + s + 3 = 0. Let x(t) = -12*t. Is 24 a factor of x(o)?
True
Let i(a) = 3*a**2 + 2*a - 12. Let b be i(-14). Suppose 11*y - 178 = b. Is 6 a factor of y?
True
Let z = 212 + -470. Let u = 370 + z. Does 7 divide u?
True
Let v(h) = -h**3 + 9*h**2 - 11*h + 7. Suppose -3*p + 32 = 2*y, -3*p + 2*p - 12 = -5*y. Let a be v(p). Is 13 a factor of (-2)/(-17) - 2531/a?
False
Suppose 23*s + 3*a - 4618 = 22*s, -5*s - 4*a = -23024. Is 92 a factor of s?
True
Let f = 8732 - 4838. Is f a multiple of 66?
True
Let o = -753 - -2126. Let f = o + -784. Is f a multiple of 66?
False
Let a = -38 - -39. Let u be a/3 - (-20)/12. Suppose 0 = -2*w + 3*w - u*f - 3, -5*f = w - 24. Does 5 divide w?
False
Suppose 3*f + 10 = -3*m - 2*f, 5*m - 30 = f. Suppose m*s + 15 = 15. Suppose s*g - 2*g + 596 = 0. Is 40 a factor of g?
False
Suppose 35*f - 6*f = -17*f + 461656. Is 26 a factor of f?
True
Let f(d) = -23*d**3 + d**2 - d - 1. Let q be f(-1). Suppose q = -4*b - v - 0*v, 2*b + 12 = -4*v. Is b + 2/1 - (-23 + 3) a multiple of 8?
True
Let n(w) = 3*w**2 + 5*w + 2. Suppose u - 3*p + 14 = 0, 0 = 3*p + 2*p - 20. Let k be n(u). Suppose -49 = -h - 5*m, 3*h - k*m = h + 98. Is 6 a factor of h?
False
Let h = 9 + -9. Suppose h = -2*l - 3*l + 45. Suppose -l*b + 120 = -4*b. Is b a multiple of 12?
True
Let b = 16120 + -10982. Does 14 divide b?
True
Let u = -2921 - -3277. Is u a multiple of 89?
True
Let j(n) = 2*n**2 - 23*n - 110. Let f = 282 + -298. Does 70 divide j(f)?
True
Suppose 2*i = 3*i + 8. Let y be (i/6)/(2/(-24)). Suppose -y*b + 12*b = -96. Is 12 a factor of b?
True
Is 72 a factor of (312/(-40)*1)/(1 + (-482)/480)?
True
Let l(i) = i**2 - 9*i + 9. Let m be l(8). Let v(j) = 161*j**3 + 2*j**2 - 1. Let d be v(m). Let g = d - 110. Is g a multiple of 4?
True
Let o be (5 + -6)*1564/(8/(-2)). Let q = o - 259. Is 14 a factor of q?
False
Does 74 divide -1 + 2 - (2 + -7964)/3?
False
Let l(r) be the first derivative of 7*r**3/3 + 5*r**2/2 + 12*r - 67. Let v = 8 - 11. Is l(v) a multiple of 9?
False
Let u(z) = -2*z**3 - 45*z**2 - 500*z - 14. Is 137 a factor of u(-16)?
True
Suppose 148 + 90 = 7*x. Suppose z = -z - 38. Let p = x - z. Does 13 divide p?
False
Suppose -9*x + 6*x + 1800 = 0. Suppose 0 = 22*q - 14*q - x. Is 25 a factor of q?
True
Let y = 424 - 353. Let h(t) = t**3 - 4*t**2 + 4*t + 1. Let f be h(3). Suppose 0 = f*l - 2*g - 519 - y, 2*l + 5*g = 325. Is l a multiple of 15?
True
Let u(i) = i + 11. Let z be u(-11). Let w be -54 + (-2)/(-4)*z. Let d = w + 83. Is d a multiple of 19?
False
Suppose 4*t = 3*d - 11, 0 = -5*t - 3*d - 0*d - 34. Let f(b) = -b**3 - 3*b**2 - 2*b + 3. Is 7 a factor of f(t)?
True
Suppose q - 3*q = -4. Let c = -1760 - -2612. Is q/(8/c)*1 a multiple of 14?
False
Let f(y) be the third derivative of -26/3*y**3 - 2/3*y**4 - 23*y**2 + 0*y + 0. Is 14 a factor of f(-12)?
True
Let u = 14956 - 11177. Is 22 a factor of u?
False
Let n be (4/8)/(6/(-216)). Suppose 5*i + 1062 = -i. Is ((-12)/n)/((-2)/i) a multiple of 10?
False
Let o = -208 - -262. Is (o/(-36))/((-1)/24) a multiple of 3?
True
Suppose 164*r = 170*r. Suppose r = -4*k + 2*k - 10, 4*t - 1685 = k. Is t a multiple of 19?
False
Let u(b) = b**3 - 10*b**2 - 6*b - 16. Let d(c) be the first derivative of c**4/2 - 7*c**3 - 6*c**2 - 33*c - 12. Let w(y) = 2*d(y) - 5*u(y). Does 18 divide w(7)?
False
Let d be 6290*7*3/42. Let u = d + -1906. Is u a multiple of 21?
True
Let r = 3246 - -6257. Is 85 a factor of r?
False
Let p = 3901 - 1181. Does 44 divide p?
False
Suppose -1693 - 1817 = -5*r. Suppose l - 5*l = 8, -r = -2*o - 3*l. Is 49 a factor of o?
False
Suppose 2*y + 1077 = -h + 4291, 2*h + 8*y - 6432 = 0. Does 22 divide h?
True
Suppose 23 = 12*r - 37. Suppose -r*m - 42 = -547. Does 8 divide m?
False
Let o(v) = v**2 + 2*v + 1. Let i be o(3). Let p = 134 - i. Does 64 divide p?
False
Let x = 401 + 1261. Does 3 divide x?
True
Let m(g) = -g**2 - 28*g + 30. Let u = 86 - 103. Does 36 divide m(u)?
False
Suppose -260*o = -265*o + 2*w + 15154, -2*o + 6054 = 3*w. Is o a multiple of 4?
False
Is 9 a factor of 2/4*1944*(12 + -1 + -10)?
True
Let o = 203 + -200. Suppose x + 4*w - 204 = 0, -889 + 86 =