 - 16. Does 28 divide r(15)?
False
Let x(m) = 22*m**2 + 10*m - 3. Is 21 a factor of x(2)?
True
Let k be -6 - (7 - (13 - 8)). Let v(u) = 5*u**2 + 8*u + 17. Let g(w) = -w**2 + w - 1. Let s(i) = -4*g(i) - v(i). Is s(k) a multiple of 10?
False
Let o = 21 + -22. Does 31 divide (2/(-1))/(o/31)?
True
Let f = 11 + -14. Let s be (-35 + f)/(-2) - -3. Suppose -4*a - 2*d = -28, -2*d - 3*d = 4*a - s. Is a a multiple of 8?
True
Let y(p) = 32*p + 4. Let t(o) = 2*o - 1. Let k be t(3). Suppose 0 = -d + 5*d + 8, k*a + d = 13. Does 30 divide y(a)?
False
Suppose a - 4*v = -3*a + 16, 0 = v + 2. Suppose a*m - y = 24 - 8, 3*y = -3*m + 6. Is m even?
True
Let n(y) = 2*y**3 - 30*y**2 - 19*y - 24. Is n(16) a multiple of 23?
True
Let k(a) = 22*a - 2. Let n be k(6). Suppose n = 2*u - 5*v, u - 59 = -0*u + 4*v. Suppose -4*t = -3*f - 208, -f = t + 4*f - u. Does 16 divide t?
False
Let l(p) = -p + 46. Does 4 divide l(10)?
True
Suppose -3*b + 9 = -0*b. Let v(c) = 10*c**2 - b*c**3 + 3*c + 4*c**3 - 4*c**2. Does 9 divide v(-3)?
True
Let u(g) = -2*g + 3. Let a be u(4). Let m be (10/25)/(1/a). Does 20 divide 118/2 - (1 + m)?
True
Let z be (-2)/(96/51 + -2). Let a = z + -61. Is 4 a factor of a/6*(-6)/4?
False
Let b = -3 - -1. Let u(a) = -11*a**3 + a**2 - 7*a + 8. Let l(s) = -10*s**3 + s**2 - 6*s + 7. Let p(c) = 6*l(c) - 5*u(c). Does 12 divide p(b)?
True
Suppose 2*o = -2*f + 162, -171 = -2*f - 16*o + 17*o. Does 5 divide f?
False
Let j(q) = -q + 9. Let a be j(6). Suppose -4*i = l - 209, 2*l + 7*i - 418 = 2*i. Suppose 4*d - x = l, 0*d - a*d - x + 148 = 0. Does 17 divide d?
True
Let u(x) = x**3 + 12*x**2 - x - 12. Let y be u(-12). Let m be 5*(y - 9/(-15)). Is ((-4)/m)/((-14)/189) a multiple of 6?
True
Let r be (-1972)/(-20) - (0 - (-4)/(-10)). Does 3 divide r/6 - 2/4?
False
Let u = -3818 - -6952. Is u a multiple of 20?
False
Let t(l) = -148*l**3 - l**2 - 3*l - 3. Is 13 a factor of t(-1)?
False
Let u = -30 + 32. Suppose t - 30 = -u*t. Is 10 a factor of t?
True
Let a(u) = u**3 - 26*u**2 - 8*u - 43. Does 49 divide a(28)?
False
Suppose -4*q + 458 = h - 7*q, 5*q - 10 = 0. Is 16 a factor of h?
True
Suppose 10*r - 15*r = 35. Let m = r + 9. Suppose -j - m = -3*j, 0 = -2*s - 5*j + 45. Does 4 divide s?
True
Suppose -4*i + r = -7919, -623 = 5*i - 4*r - 10530. Is i a multiple of 55?
False
Let z = 173 + 1675. Does 28 divide z?
True
Let n(g) = -g**2 + 6*g - 6. Let a be n(6). Is 41 + 8/3*(-9)/a a multiple of 15?
True
Let s be 3/(30/9 + -3). Suppose s*i = 10*i - 4. Suppose 168 = i*r - 8. Does 22 divide r?
True
Let j(n) = 169*n**2 - 23*n + 51. Does 9 divide j(2)?
False
Let c be (9/(-30)*-4)/(2/5). Suppose -4*z - c*l + 518 = -2*z, -5*z = 2*l - 1317. Is 23 a factor of z?
False
Let i(p) = 149*p**2 - 13 + 3*p - 5*p + 19 - 8. Is 13 a factor of i(-1)?
False
Let h(b) = b**3 - 3*b**2 - 3*b. Let d be h(3). Let q(w) = w**2 + 12*w. Let x be q(d). Let u = 43 + x. Does 9 divide u?
False
Let h = 41 + -41. Suppose -r + 59 = 3*m, h = 2*r - 2*m - m - 91. Is r a multiple of 25?
True
Let x(k) = -5*k**3 + 11*k**2 + 19*k + 61. Does 6 divide x(-5)?
False
Let p be (-2 + 0)/((-12)/(-18)). Let d be ((-8)/p)/(2/114). Suppose -v = -3*v + d. Does 13 divide v?
False
Let m = -820 - -1018. Does 33 divide m?
True
Let v = 771 - 118. Is v a multiple of 5?
False
Let f be (10/3)/(2/3). Let g(j) = -58*j - 40. Let l be g(-10). Suppose -f*q = -4*c - l, 4*q + c = -c + 432. Is 27 a factor of q?
True
Let l(k) = k**2 - 6*k + 20. Let i = -26 - -32. Is 10 a factor of l(i)?
True
Suppose 4*o - 11 = 5*r, -2*o = -5*r + 2*r - 5. Suppose -o*m = -q + 26, -q - 5*m = 2*q - 44. Is q a multiple of 9?
True
Suppose -2*o + 3*i = 15, 0*o + 3*i = 4*o + 15. Let g(k) = -k**3 - 15*k**2 - 20*k + 9. Let y be g(-14). Suppose 3*t = -o*t + y. Is t a multiple of 11?
False
Does 6 divide ((-304)/(-5))/(72/180)?
False
Suppose 5*q + 15 = 0, v + 5 = -3*q - 4. Suppose v = -5*x - 5*o + 635, -2*o + o = 3*x - 387. Does 20 divide x?
False
Let z be (-10)/60 - 110/(-12). Suppose -1520 = j - z*j. Is 19 a factor of j?
True
Let u(v) = 7*v + 272. Is 12 a factor of u(-8)?
True
Does 72 divide (-4)/(-3) + 95404/51?
True
Let b(i) = 2*i + 8. Let m be b(7). Suppose j + m - 41 = 0. Is j a multiple of 2?
False
Let d(l) = -l**2 + 16*l - 15. Let w(u) = u**2 + 20*u + 62. Let r be w(-17). Does 20 divide d(r)?
True
Let k = -585 - -993. Is 51 a factor of k?
True
Let p(l) = -3*l - 2. Let t be p(6). Let r = -8 - t. Is 4 a factor of r?
True
Let c(r) = 2*r**2 - r. Let t = -8 + 7. Let h be c(t). Suppose -6 + 120 = h*i. Is i a multiple of 8?
False
Let w be (-633)/((6 - 7) + 2/(-4)). Let r = w - 295. Does 20 divide r?
False
Let x(y) be the first derivative of 1/3*y**3 + y**2 + 0*y + 6. Does 6 divide x(4)?
True
Suppose -2*k = 5*z - 4*z + 25, 3*k = -5*z - 41. Let a(w) = 2*w + 20. Let q be a(k). Is 2/q - (-31)/2 a multiple of 5?
True
Does 8 divide 3/21*785 - 22/154?
True
Let i be -116*-2*3/4. Let k = 282 - i. Is 12 a factor of k?
True
Suppose 5*s + 2*n + 4 = 0, -n - 3*n = s + 8. Suppose a = -s*a - 30. Let b = -10 - a. Does 10 divide b?
True
Suppose 0 = 4*d - 2*d - 4*i - 908, 3*i - 2296 = -5*d. Is 6 a factor of d?
False
Suppose q = 5*w - 32, 0*q = -2*q - 3*w - 129. Let j = 129 + q. Is j a multiple of 28?
False
Let d(i) = -28*i + 25. Is d(-9) a multiple of 4?
False
Suppose 0 = 3*q + 6, 5*u + 3*q = 1078 - 394. Is 23 a factor of u?
True
Let f = 445 + -184. Suppose -2*i = -39 - f. Does 10 divide i?
True
Let v(g) = 2*g**3 + 5*g**2 + 21*g + 1. Let x(j) = -j**3 - 3*j**2 - 10*j - 1. Let p = -35 + 31. Let i(o) = p*v(o) - 9*x(o). Does 4 divide i(-6)?
False
Let c be (-76)/10 + 4/(-10). Let m be c*(10/4 - 3). Suppose 3*d = -4*n + 73, 15 = m*d + 3. Is n a multiple of 8?
True
Suppose -8696*x = -8694*x - 594. Is x a multiple of 11?
True
Suppose -4*u - 24 = -4*p, 4*u = -3*p - 3 - 0. Let g be (0 + 6)/p + 437. Suppose -139 = 5*c - g. Is 20 a factor of c?
True
Does 4 divide 243/(-18)*3/(-9)*128?
True
Let j(x) = -x**3 + 2*x**2 + 10*x - 4. Let h be j(4). Suppose -g = 5*f - 310, 0*f + h*f - 4*g = 248. Let l = f - -2. Is l a multiple of 8?
True
Let q(l) = -21*l - 2. Let y = 15 - 13. Suppose -j - 4*b - y = -4, -15 = 5*j - 5*b. Is 12 a factor of q(j)?
False
Is 0/(-2) - -197 - (-9 - -13) a multiple of 11?
False
Let i = 3761 + -1521. Is 112 a factor of i?
True
Let a = 2 + -6. Suppose 3*v + 2*i + 18 = 64, 3*v = 5*i + 11. Does 9 divide (-114)/a - 18/v?
True
Let q = 25 - 13. Let z = q - 10. Suppose 3*h = -5*n + 66, -z*h = 3*n + n - 46. Does 17 divide h?
True
Suppose 4*j = -3*b + 488, 5*j = 3*j + b + 234. Let d = j - 3. Is d a multiple of 29?
True
Let y(i) = 3*i**2 - 3*i - 13. Does 9 divide y(11)?
False
Suppose -4 = -5*r + 3*l + 5, 0 = 4*l + 12. Suppose -7*n + r*n = -938. Is n a multiple of 14?
False
Let q(v) = 7 - 9 + v + 5. Does 5 divide q(16)?
False
Let v = 51 - 57. Does 5 divide v/36 - (-506)/12?
False
Suppose 86*w = 81*w - 115. Let y = 7 - w. Is y a multiple of 3?
True
Let s(d) = d**2 + 13*d + 8. Let x be s(-14). Suppose -x*r = -25*r + 405. Is r a multiple of 9?
True
Suppose 308 = 4*d - 8*d. Let m = -32 - d. Is 9 a factor of m?
True
Let n = -33 + 33. Suppose 370 = -n*j + 4*j - 2*u, 365 = 4*j - u. Is 11 a factor of j?
False
Let v be (3/(18/(-20)))/(24/(-36)). Suppose -4*k + 9 = -11. Suppose s + 60 = k*o, -37 = -v*o - 4*s + 48. Is 6 a factor of o?
False
Let p = -134 - -140. Suppose -p*f + 268 = -338. Is 5 a factor of f?
False
Let w(r) = 15*r - 18. Let x(s) = -s**3 - 12*s**2 - 2*s - 20. Let u be x(-12). Is w(u) a multiple of 21?
True
Does 19 divide 379/((0 + -3)/(-3))?
False
Let z(q) = -6*q + 25. Let m be z(-5). Suppose -13*t + 205 = -m. Is 6 a factor of t?
False
Let f(d) = 9*d**3 - 4*d**2 + 2*d + 3. Is 12 a factor of f(3)?
True
Let w(b) = -8*b - 2. Suppose 4*n - z = -25, -5 = -4*n - 5*z - 0. Let g(r) = r**2 + 5*r - 2. Let m be g(n). Does 7 divide w(m)?
True
Let k(m) = -m**3 - 4*m**2 - 3*m + 5. Let h be k(-3). Suppose 2*b + 112 = 4*o - 3*b, h*o - 5*b - 140 = 0. Does 14 divide o?
True
Let j be (-5 - 11/(-2))*2. Suppose 2*a - 2*f = 6*a - 16, -3*a = 5*f + 2. Let u = a - j. Is u a multiple of 3?
False
Let t = -616 + 349. Let d = -150 - t. Does 9 divide d?
True
Let w = 3639 - 2551. Is w a multiple of 32?
True
Let n(i) = i**3 - 4*i**2 - i - 2. Let c be n(5). Let v = c - 8. Is 15 a factor of ((-312)/(-30))/(4/v)?
False
Let f = -55 + 80. Let w 