2*l + 22, -4*l + 11 = -3*t. Suppose -22 = -5*j - 4*k, -t*j = 2*k - 5*k - 24. Is 4 a factor of (-545)/(-30) - 1/j?
False
Let d(y) = -11*y - 22. Let u(l) = -l**2 + 17*l - 32. Let r be u(16). Is d(r) a multiple of 14?
True
Suppose -3*g + 20 = 2*g. Is -1*(-2)/g*318 a multiple of 41?
False
Let o = 0 - 0. Suppose 4*m = -d + 3*m + 1, o = d + 5*m + 15. Suppose d*t - 2*t - 12 = 0. Is t a multiple of 4?
True
Suppose 5*i + 319 - 1959 = 0. Suppose 0 = 4*x + 8 - i. Is x a multiple of 10?
True
Let q be 2/4 + (-5)/10. Suppose -s + 1 = -q*s. Let y(j) = 60*j - 1. Is y(s) a multiple of 18?
False
Let n(u) = 2*u**3 - 20*u**2 + 16*u + 9. Let b(t) = t**3 - 10*t**2 + 8*t + 4. Let a(y) = -13*b(y) + 6*n(y). Is 22 a factor of a(6)?
False
Suppose -5*d + 4*d + 5 = 0. Suppose -d*q + z = 60, 0 = -4*q + 5*z + 1 - 49. Let u = q + 29. Does 11 divide u?
False
Let v = -6 - -11. Let g be v - ((2 - 4) + 0). Does 15 divide (-636)/(-21) + (-2)/g?
True
Suppose 0 = -l + 8 + 23. Let n(t) = t**3 + 12*t**2 + 12*t + 13. Let w be n(-11). Suppose -l = -w*k + 77. Is 15 a factor of k?
False
Suppose -5*b + 4*w = -276, -6*b + w + 264 = -b. Let j = 77 - b. Is 25 a factor of j?
True
Suppose 478 + 695 = 3*o. Is o a multiple of 23?
True
Suppose -11*f = -19*f + 2184. Does 9 divide f?
False
Suppose -9*l = -10*l + 293. Does 36 divide l?
False
Let t(h) be the third derivative of h**6/120 + h**5/6 + 7*h**4/24 - 3*h**3/2 + h**2. Let b = -7 - 2. Is t(b) a multiple of 4?
False
Let n be (-44)/10 - ((-24)/(-15) - 2). Is (-2070)/(-110) - n/22 a multiple of 9?
False
Suppose 3*x = 5*g - 15, -g = -7*x + 6*x - 5. Is g - (-4)/((-12)/(-87)) a multiple of 29?
True
Let u = 31 + -26. Suppose 5*p - 250 = u*h, 93 + 101 = 4*p - 2*h. Does 16 divide p?
False
Let o be (99/(-6))/((-6)/8). Suppose g - i - o = 0, -i + 45 = 5*g - 41. Suppose u - 2*u + g = 0. Is 14 a factor of u?
False
Let d(n) = n**3 + 9*n**2. Let a be d(-9). Let z be 0 + a - (-44)/(-2). Let m = -12 - z. Does 4 divide m?
False
Suppose -a - 2*m = -759, 769 = a - 5*m + 2*m. Does 15 divide a?
False
Let l be -2 - 24/(-14) - 8320/(-14). Suppose 4*t = -2*t + l. Does 19 divide t?
False
Suppose -3*r - 781 + 2805 = -4*h, h = 2*r - 1341. Is r a multiple of 27?
False
Let d(n) = -n**2 + 5*n. Let h be d(4). Let v(y) = 3*y + 0*y - 4*y + h. Does 12 divide v(-8)?
True
Let m be ((-4)/(-1) - 5) + 18. Let l = 3 + m. Does 5 divide l?
True
Let h(k) = 6*k**2 - 1. Let i be h(-5). Suppose -6*g - i = -449. Does 25 divide g?
True
Is 2*(6 - -508) - 8 a multiple of 60?
True
Let j(k) = k - 4. Let p be j(8). Let t be (28/(-8) + p)*178. Let h = t - 49. Is h a multiple of 8?
True
Suppose -32 = -3*d + d. Let n be ((-10)/(-4))/(8/d). Let k = n - 1. Is 4 a factor of k?
True
Does 17 divide 68/(-1 + 3)*3?
True
Suppose 4*g = -32*d + 30*d + 1178, 3*d - 1473 = -5*g. Is 7 a factor of g?
True
Is 21 a factor of (187/5)/((-1)/(-5))?
False
Let l = -831 - -1476. Is 3 a factor of l?
True
Let t(l) = -9*l + 194. Let q be t(21). Let y be (1 - 2)*(-6 - -1). Suppose 3*v = 5*p + 161, -154 = -2*v - q*p - y. Is 31 a factor of v?
True
Let j = -10 + 10. Is (37/(-2))/((-5)/(60 - j)) a multiple of 22?
False
Suppose -3*y + 19 = 4*m + 4, -42 = -3*y + 5*m. Let q be 10/45 + 322/y. Suppose 92 + q = 4*b. Does 16 divide b?
True
Suppose -2*m = 4*q - 12157 - 6101, q = m + 4566. Does 83 divide q?
True
Suppose c + 6*f = 7*f + 263, 4*c - 1055 = 5*f. Is c a multiple of 5?
True
Let u = 27 - 22. Suppose -s - u*s + 1092 = 0. Does 11 divide s?
False
Suppose -o + 117 = -279. Is o a multiple of 11?
True
Let b(t) = -t + 2. Let q be b(-2). Suppose -q*l + 3*l + 2*v = 0, -5*l + v + 27 = 0. Suppose 5*i - 270 = 2*a - l*a, 4*i - 212 = -4*a. Is i a multiple of 17?
False
Suppose 21*h + h - 44 = 0. Let r be (-357)/(-15) - 1/(-5). Suppose z = h*z - r. Is z a multiple of 6?
True
Let u(v) be the second derivative of 3*v**5/20 - v**2/2 - 11*v. Is 20 a factor of u(3)?
True
Suppose 6 - 56 = -10*m. Does 4 divide m?
False
Let c = 952 + -616. Does 3 divide c?
True
Let b = -983 + 1420. Is b a multiple of 36?
False
Let g(b) = b**3 - 5*b**2 - 28*b + 41. Is 3 a factor of g(9)?
False
Suppose 0 = -5*d - 4*c + 42 + 67, 0 = -3*d - 2*c + 67. Is 21 a factor of d?
False
Let x(z) = -167*z**3 + 3*z**2 + 5*z + 3. Does 42 divide x(-1)?
True
Let k(b) = -23*b + 5. Suppose -7 = 4*m + 9. Is 23 a factor of k(m)?
False
Suppose -3*m = -z - 148, -4*z = -4*m - 9*z + 229. Is 16 a factor of m?
False
Let u(m) = 111*m**2 - 9*m + 8. Is 7 a factor of u(1)?
False
Let g(s) = s**2 - s - 12. Suppose -4 = 4*i - 24. Is g(i) even?
True
Is 20 a factor of ((-33)/12)/(590/296 - 2)?
False
Suppose -27 = -4*v + 5*n, 4*n + 19 = 7. Suppose 3*a - g - 31 = -0*g, v = -a + 3*g. Is 3 - 4/(a/(-51)) a multiple of 7?
False
Suppose 62 - 180 = 2*w. Let t = -6 - w. Is 9 a factor of t?
False
Let g(c) = c**3 - c**2 + 2*c - 1. Is g(4) a multiple of 6?
False
Let l = -4 - -10. Let i = 8 - l. Suppose -i*y + 44 = -2*b, 3*y = y + 5*b + 56. Does 5 divide y?
False
Let y be 2/10 + 1/(20/(-44)). Is 21 a factor of (-1)/(-2) - 1/(y/217)?
False
Let a(u) = -424*u - 211. Is 15 a factor of a(-4)?
True
Let v(a) = 5*a - 3*a - 4*a + 5*a - 7. Let j be v(3). Suppose t - 6*t - 25 = 0, 68 = 3*b + j*t. Does 9 divide b?
False
Suppose 3*w - 15 - 6 = 0. Suppose w*q - 15 = 2*q. Suppose 2 - 17 = -q*t. Is 3 a factor of t?
False
Suppose 2*z = -2*u + 80, -5 = -z - 5*u + 51. Does 6 divide 444/z*(4 + -1)?
False
Let x(y) = 11*y - 7. Is x(1) a multiple of 2?
True
Let c = 135 - -243. Is c a multiple of 19?
False
Let d(s) = 48*s - 3. Let b(h) = -2*h**2 - 10*h + 2. Let k be b(-5). Is d(k) a multiple of 16?
False
Let n(s) = -9*s**2 + 8*s - 24 - s + 4*s + s**3 + 20. Is 19 a factor of n(9)?
True
Suppose -33*j - 2379 = -46*j. Does 9 divide j?
False
Let p(l) = -14*l**2 + 21*l**2 + l - 346 + 354 - l**3. Let m be 24/3 + -1 - 0. Is p(m) a multiple of 5?
True
Let y(b) = 5*b + 3. Let z(q) = -2*q**2 + 34*q + 8. Let m be z(17). Is y(m) a multiple of 3?
False
Suppose 4*k = -3*w + 493, 0 = -0*w - 5*w + 8*k + 807. Does 12 divide w?
False
Let a be (-46)/(6 + -4)*-1. Suppose k - 9 = a. Is k a multiple of 18?
False
Suppose -23*d = -3627 - 237. Does 14 divide d?
True
Suppose 2*p - 551 = -m + 548, 5435 = 5*m - 2*p. Does 49 divide m?
False
Suppose 3*l = 5*q + 4, -4*l - q + 44 = l. Suppose 0 = l*c + 3 - 387. Is 6 a factor of c?
True
Let j(g) = g**3 + 25*g**2 + 8*g + 126. Does 20 divide j(-20)?
False
Let x be (9/(-1))/(24/(-8)). Suppose -23 = -5*n - x, 0 = -5*b + 3*n + 353. Is b a multiple of 18?
False
Let j = -551 + 1036. Does 16 divide j?
False
Let n be (-3094)/(-10) - 2/5. Suppose 3*f - n + 87 = 0. Is 9 a factor of f?
False
Suppose 3*c - 3*s + 8 = 23, -2*c = 4*s - 4. Let d be 641/c - (-6)/8. Suppose 5*h + 4*b = d, -h + 33 + 3 = -3*b. Is 11 a factor of h?
True
Let r = 1447 - 885. Does 26 divide r?
False
Let z(f) = -6*f**2 + 2*f**3 + 122*f - 114*f - 15 - f**3. Is z(6) a multiple of 12?
False
Let z(s) = -53*s - 13. Let a be z(-6). Suppose 0 = 4*y - 191 - a. Does 31 divide y?
True
Suppose -4*v + 9 + 7 = 0. Suppose 3*w = 3*n, n - 10 = -5*w - v*n. Is 26 a factor of (16/40)/(w/195)?
True
Suppose 10 = 7*r - 12*r. Does 8 divide 11 - r - 15/(-5)?
True
Suppose 3 = 4*q - 3*q. Suppose 5*i + 19 = -6, -q*i = -4*o - 9. Let z(l) = -l**2 - 7*l + 6. Is 7 a factor of z(o)?
False
Suppose 339 = -3*o - 1731. Does 23 divide (1 + 0)/((-15)/o)?
True
Let y = 1323 + -772. Does 12 divide y?
False
Suppose 30 = -r + 11. Let v = r + 16. Let b(o) = -16*o - 7. Does 26 divide b(v)?
False
Let s(q) = q + 13. Let p = -11 - -3. Is s(p) even?
False
Suppose 0 = 2*s - 4*s + 6. Suppose 2*v + 0*v - 18 = 2*b, -4*v + 3*b = -32. Suppose s*m = -m - v*r + 77, -3*m - 3*r = -54. Is 13 a factor of m?
True
Suppose 2*s - 25 + 7 = -w, -3*w = -4*s + 36. Suppose -3*h - s + 93 = 0. Does 4 divide h?
True
Let n be (-84)/(-18) - 6/9. Suppose n*z = 5*g - 47, z = -1 + 3. Does 5 divide g?
False
Suppose 11 = m - 73. Is m a multiple of 4?
True
Let u = -35 + 39. Suppose 6*z - z = -u*p + 22, -5*z + 5*p - 5 = 0. Let v = 24 + z. Is v a multiple of 13?
True
Let q = -599 - -1652. Does 73 divide q?
False
Let f(k) = k**3 + 2*k**2 - 5*k - 2. Let c be f(-3). Suppose -12 = 4*o - 4*w, 5*w = -5*o + 8*o + 15. Suppose c*s + o*s - 24 = 0. Is s a multiple of 4?
False
Suppose -u + 4*v = 0, 2*u + v - 5 = u. Suppose 2*y - 3*i - 102 = -2*i, 3*y + u*i