ide j?
True
Let v(r) = 2*r - 4 - 3*r + r**2 - r**3 + 156 + 0*r. Is 42 a factor of v(0)?
False
Let h = 45 + -65. Let s = -16 - h. Suppose 4*k - 12 = s*w, 4*w - 44 = k - 5*k. Is k a multiple of 4?
False
Let b(d) = d**3 - 8*d**2 + 9*d - 12. Suppose 4*x - 15 = -h + 8, 3*h - 6 = -3*x. Let c be b(x). Suppose -3*i + 4 = -5*i, -2*l + 32 = c*i. Is 11 a factor of l?
False
Suppose -25953 = -32*v + 11935. Is v a multiple of 37?
True
Let y be (3 - 35/15)/((-4)/6). Let z(d) = -60*d**3. Does 13 divide z(y)?
False
Let v(h) = -h**2 + 4*h + 1. Suppose 0 = -d + 5*d - 12. Let i be v(d). Suppose i*a + 12 - 92 = 0. Is 10 a factor of a?
True
Let v(n) = 2*n**2 + 1. Let i be v(1). Suppose 0 = i*s + u - 29, -u + 55 - 17 = 4*s. Let t = 1 + s. Is 4 a factor of t?
False
Suppose -72*x - 192 = -76*x. Is x a multiple of 24?
True
Let l(m) be the second derivative of 2*m**4/3 - m**3/2 + 7*m**2/2 + 2*m - 10. Is 26 a factor of l(5)?
False
Is 8 a factor of ((-1)/(3/8))/((-14)/756)?
True
Suppose -15*h = -17*h + 2. Is 31 a factor of (h - 68/8)*620/(-25)?
True
Let g(l) = 12*l**3 - 26*l**2 - 26*l + 7. Let j(s) = 7*s**3 - 13*s**2 - 13*s + 4. Let u(z) = 4*g(z) - 7*j(z). Let r = -41 - -29. Does 4 divide u(r)?
True
Let h(p) = -p**2 - 11*p - 3. Let r be h(-14). Let s be 0 + 1 - r/(-5). Let x = 14 + s. Does 3 divide x?
True
Suppose b + 2*v = -b - 24, 5*b - 2*v = -53. Let q(j) = -j**3 - 9*j**2 + 9*j - 9. Let f be q(b). Suppose 2*r = -32 + f. Is r a multiple of 17?
True
Suppose 2*t - 5*l = 106, -25*l = -29*l - 8. Is t a multiple of 12?
True
Let t(c) = -8*c + 34. Is 14 a factor of t(-22)?
True
Suppose 13230 = 13*n + 17*n. Is 53 a factor of n?
False
Suppose -2*n = -4*i + n + 6537, 15 = 3*n. Is 126 a factor of i?
True
Let z be 0 - (-12)/((-6)/(-2)). Is ((371 - z)*-1)/(-1) a multiple of 56?
False
Let b(i) = i**2 + 10*i + 12. Let g = 10 + -19. Let r be b(g). Suppose r*n - 41 - 4 = 0. Is 12 a factor of n?
False
Is 11 a factor of ((-9)/(-12))/(3/932)?
False
Suppose 0 = 4*k - 5*i + 6*i - 1196, 0 = 5*i. Does 13 divide k?
True
Suppose -3*n + 6*n + 3 = 4*t, -t + 5 = -5*n. Suppose 2*g + 5*s = 118, t = g + 5*s - 2*s - 60. Is 6 a factor of g?
True
Let t(v) = 6*v - 10. Let s be t(-5). Let x = 45 + s. Is 3 a factor of x?
False
Suppose -3*c = c + 24. Does 14 divide (-54)/c*1*2?
False
Let d(f) = -f**3 + 15*f**2 - 13*f - 12. Let y be d(14). Is 14 a factor of (-11 - (-6 + y))*-2?
True
Suppose -4*m - 3*m = 7. Is ((-1545)/(-90))/(m/(-6)) a multiple of 11?
False
Let b = -1758 + 4293. Is b a multiple of 39?
True
Suppose c + 4*q = 111, 5*q - 8*q + 487 = 5*c. Does 19 divide c?
True
Let d = -582 - -742. Is d a multiple of 10?
True
Let p(u) = -u + 16. Let y be p(10). Suppose -26 = -k + y. Is k a multiple of 17?
False
Suppose 95511 = 171*a - 140*a. Is a a multiple of 33?
False
Suppose 2*a - 2*g = -4, 3*a - 7*g + 2*g + 14 = 0. Suppose 12 = 4*m - d - 8, 0 = a*m + 5*d + 12. Is m + 2*(0 + 1) a multiple of 4?
False
Let y = -2 + 5. Suppose -5*j - y = -23. Is 130/j + (-3)/6 a multiple of 14?
False
Suppose 3*o - 755 = 2*o. Suppose 6*z - 3*z = -5*a + 421, 5*z = 5*a + o. Is z/9 - (-3)/(-9) a multiple of 8?
True
Suppose 669 = -7*n + 3224. Suppose 516 = 3*a + m, m + 145 + n = 3*a. Is a a multiple of 9?
True
Let o(n) = -2*n - 18. Let m be o(-11). Suppose 8*p = m*p + 324. Is p a multiple of 27?
True
Suppose 6*j = 12*j - 1842. Suppose 5*m - j = -a + 4*a, -2*m + 122 = -2*a. Does 31 divide m?
True
Let w(a) = 6*a + 7. Let s(o) = -11*o - 15. Let n(u) = -4*s(u) - 7*w(u). Let m be n(-9). Is 27 a factor of (0 + -81)*(m + 6)?
True
Let m be 1/((2 + -7)/(-145)). Let j = m - -24. Is j a multiple of 11?
False
Let u(a) = -a**2 + 15*a - 14. Is 36 a factor of u(5)?
True
Let b = 104 + -21. Let p = -122 - -256. Let l = p - b. Does 18 divide l?
False
Let y be 1/(4/200*2). Let g = y - 45. Does 10 divide 4/g + (-251)/(-5)?
True
Suppose 4*c - 5*m = -m + 4, 9 = 3*c + 3*m. Suppose -c*x = x. Suppose 4*u + 0*u - 153 = -3*j, 3*j + 15 = x. Is 29 a factor of u?
False
Suppose -3*u - 609 = 5*m + 493, 0 = -u - 4*m - 379. Let i = -142 - u. Is 31 a factor of i?
True
Let o(u) = 286*u - 118. Is 17 a factor of o(6)?
True
Let g = 72 - 27. Suppose f - 53 = g. Does 14 divide f?
True
Does 14 divide (-7 + -4532)*(-10)/30?
False
Suppose 0 = s, -3*v + 2*s + 0*s = -12. Suppose -v*n + 82 = -398. Suppose -2*f + n = f. Does 12 divide f?
False
Suppose 5*i = 12*i - 490. Does 35 divide i?
True
Suppose -25 = 2*g - 7*g - 4*b, -5*b = 0. Does 12 divide (-39)/(-2)*g/(20/16)?
False
Let k = 16 + -11. Suppose 3*w - 31 = -2*l, -2*l - k*w + 29 = -4*w. Is l a multiple of 2?
True
Let u(y) = 2*y**2 + 5*y + 14. Let d be u(8). Let j = -16 + d. Let q = j - 82. Is 21 a factor of q?
True
Let p(n) = 59*n + 154. Does 66 divide p(4)?
False
Let a = -141 - -240. Suppose 5*n - 126 = a. Does 15 divide n?
True
Suppose -m - 31 - 136 = y, -4*m + 3*y = 654. Let k be 3 + (-92 - (-1 + 0)). Let h = k - m. Is h a multiple of 26?
False
Let r be (4*1)/1 - -1. Let p = -621 + 626. Suppose -100 = -p*q - r. Is 8 a factor of q?
False
Is 59 a factor of (-5)/(-30)*(8 - -16798)?
False
Let u(y) = 6*y**2 + y**2 - 13*y + 0*y**3 - 8 + y**3 - 2*y. Is 20 a factor of u(-8)?
False
Let r be (-6 + 2 + 1)/(2/74). Let b = 225 + r. Is 11 a factor of b?
False
Let b(q) = 2*q**2 - 19*q + 18. Let s(d) = d**2 + 5*d - 2. Let x be s(-7). Is b(x) a multiple of 13?
True
Suppose -732 = 19*r - 22*r. Suppose -5*b + r = 4*g, 2*g - 4*b = -2*b + 122. Does 7 divide g?
False
Let u(p) = 12*p**2 + 20*p - 172. Is 50 a factor of u(-14)?
True
Suppose -3*g + 1 = -2*c - 12, 3*g - 20 = -5*c. Suppose -t + c = 4*x, 5 + 18 = -3*x + 4*t. Let q(f) = -f + 3. Is q(x) even?
True
Suppose -a - 5929 = -12*a. Does 11 divide a?
True
Let o(h) = -h**3 - 15*h**2 - h - 17. Let g be o(-15). Is 12 a factor of 9269/78 - ((-33)/(-18) + g)?
False
Let t = -799 - -3533. Does 18 divide t?
False
Let a = -52 + 88. Let s be (a/84)/((-1)/(-7)). Suppose 48 + 18 = s*u. Does 6 divide u?
False
Let s(w) = -w + 21. Suppose 0*f + 5*f + r = 66, -f = 3*r - 2. Suppose n + 2 = f. Is s(n) even?
False
Suppose -704 = -4*n - 0*n. Let x(w) = 20*w - 9. Let j be x(5). Let v = n - j. Does 17 divide v?
True
Suppose -k = 2*k - 1494. Is 6 a factor of k?
True
Suppose 0 = y - 2*b - 27, 4*y - 2*b - 12 - 72 = 0. Suppose -2*k - y = -107. Is k a multiple of 11?
True
Let x(y) = -78*y + 96. Is 60 a factor of x(-8)?
True
Suppose 20 = -2*w + 3*l + 1, 3*w = 4*l - 26. Let r = w + -2. Does 4 divide 4 + (-1 - r) + 0?
False
Is 14 a factor of ((-28)/(-10))/((-42)/(-36960))?
True
Let l(j) = 35*j - 183. Is l(10) a multiple of 26?
False
Suppose -w + 4*u = -8, 4*w - 5*u = -u + 68. Suppose -1260 = 15*q - w*q. Does 36 divide q?
True
Let b(a) = a**3 + 22*a**2 + 15*a - 49. Is 17 a factor of b(-19)?
False
Let c = 131 - 121. Let n = 92 - 4. Is c/(-15) - n/(-6) even?
True
Let h(k) = -k**2 + 12*k - 9. Let t be h(11). Suppose 79 = 5*u + t*g - g, 4*g - 1 = u. Does 3 divide u?
True
Let g be (2 - (8 - 3)) + 44. Let i = -23 + g. Does 6 divide i?
True
Let z = 21 - 18. Suppose -23 = -d - 0*d - 5*x, 0 = -z*d - 5*x + 69. Let j = 37 - d. Is j a multiple of 12?
False
Suppose 0 = -5*g + 4*r + 5386, -73*r + 71*r - 1082 = -g. Is 25 a factor of g?
False
Suppose -336 = 97*o - 101*o. Is o a multiple of 3?
True
Suppose -t = 3*p - 257, -31*p + 26*p - 273 = -t. Is t a multiple of 19?
False
Suppose 4*u + 20 + 52 = 0. Let l be (-4)/u + 170/45. Is 14 a factor of (-2)/l - (-170)/4?
True
Let i(a) = a**3 - 16*a**2 + 16*a - 13. Let y be i(15). Suppose -y*q + 260 = -0*q. Suppose 4*p + 2*r - q = 0, 0*p + r = -3*p + 98. Is p a multiple of 11?
True
Suppose p - 3*a = -0 + 5, 0 = 5*p - 5*a - 15. Let v(i) be the second derivative of i**5/20 + i**4/12 - i**3/3 + i**2 - 20*i. Is v(p) a multiple of 5?
True
Suppose 2*k + 3*k = 45. Let c = 19 - k. Does 23 divide 693/15 - 2/c?
True
Let k = -888 + 1468. Suppose -5*y - k = -10*y. Let l = y + -76. Does 10 divide l?
True
Let r be 4/14 + (-10)/35. Suppose r = 4*y - 0*y - 24. Suppose -8*t + y*t = -152. Is t a multiple of 19?
True
Let p = 13 + -22. Let k = 11 + p. Does 4 divide 11/3 + k/6?
True
Suppose 2*b - 2*x = 6774, x + 5550 = 3*b - 4601. Does 32 divide b?
False
Suppose -31*r = -9386 - 10206. Does 8 divide r?
True
Is (-8)/36 + 2*227/18 even?
False
Suppose 0 = -2*z + 2, 16 = 4*w - z + 1. Suppose 0 = 4*f - f - 9, w*n = 3*f - 13. 