8)/4)?
True
Let q be -20*14/21*(-18)/(-16). Let y(o) = -6*o - 37. Is 8 a factor of y(q)?
False
Let m be -5*15/(-25) + 35. Is 5 a factor of (m - 8/2) + 3?
False
Let w(x) be the first derivative of x**5/40 - 7*x**4/24 + 10*x**3/3 - 5. Let u(y) be the third derivative of w(y). Is 13 a factor of u(11)?
True
Let m(y) = -29*y + 1. Suppose -2*p = 2*k - 14, -4*p + 2*k + 77 - 19 = 0. Let j = 11 - p. Does 15 divide m(j)?
True
Let x(d) = -37*d - 70. Is 36 a factor of x(-12)?
False
Let g be (-21)/(-14)*(-18)/(1 + 2). Is 1/3 - (1 + 87/g) a multiple of 5?
False
Is (13 - 20/(-4))*(-2800)/(-24) a multiple of 10?
True
Let a = 2 - -25. Let h be (3 + a/(-6))*-4. Let s(i) = 2*i**2 - 6*i + 6. Is s(h) a multiple of 14?
True
Suppose -905 = -4*c + 175. Is 9 a factor of c?
True
Let g(q) = -28*q - 10. Is g(-9) a multiple of 67?
False
Suppose 4*l + l - 4021 = 4*v, 0 = -l - 3*v + 789. Is 50 a factor of l?
False
Suppose -2*m + 3*m = -7. Let w(r) be the second derivative of r**5/20 + r**4/2 - 3*r**3/2 + 9*r**2/2 - 3*r. Is w(m) a multiple of 9?
False
Let y = -16 - -35. Let m = y + -10. Suppose 4*f + 95 = m*f. Does 8 divide f?
False
Is ((-1276)/(-203))/((-1)/(-7)) even?
True
Suppose -3*w = 3*w - 18. Let k(c) = 16*c - 11. Is 14 a factor of k(w)?
False
Let z = 82 - 78. Suppose -10 = -z*t + 62. Is t a multiple of 6?
True
Let c = 284 + -175. Suppose 39 = 5*x + c. Is 24 a factor of 24/14*x/(-1)?
True
Let h = 69 - 8. Let x = 113 - h. Let m = 114 - x. Is 9 a factor of m?
False
Let p = -71 + 79. Suppose 14*n - 480 = p*n. Is n a multiple of 20?
True
Is (2/((-6)/(-15)) - 4)*773 a multiple of 74?
False
Suppose 1110 = k + 4*w, 9*w - 4*w + 4440 = 4*k. Does 74 divide k?
True
Let u be (-8 - -8) + 830 + 1. Suppose 9*s - u = -327. Is 7 a factor of s?
True
Suppose -r + 70 = -5*w, w = -5*r + 52 + 246. Is r a multiple of 17?
False
Does 52 divide (-8380)/(-14) + 39/91?
False
Let k = -139 + 298. Is 30 a factor of k?
False
Let j(v) = -110*v + 32. Is j(-8) a multiple of 76?
True
Let y be (-5)/(-35) + 2998/(-14). Let z = 320 + y. Is z a multiple of 19?
False
Let h be (-12)/66 - (-46)/11. Is 42/(4/h) - 0 a multiple of 12?
False
Let n(k) = k**2 - 3*k - 2. Let o be n(-1). Suppose -3*l + 19 = -x, o*l - 38 = 2*x + 4*l. Is (37 - x)*3/2 a multiple of 21?
True
Let d = -1383 + 1734. Is 9 a factor of d?
True
Suppose -3*z = 4*u - 7*z - 4, -5*u - 2*z + 33 = 0. Suppose -r + 2*v = -240, 5*v + 0*v - 1230 = -u*r. Suppose 5*j + r = 4*p, -8 = 2*j - 4*j. Does 22 divide p?
True
Suppose -28 - 117 = 5*j - 2*n, -5*j - 145 = 5*n. Let g = 18 + -12. Is 7 a factor of g*(-4)/8 - j?
False
Let q(y) be the third derivative of 5*y**5/12 + 5*y**4/24 - 2*y**3/3 - 20*y**2. Is q(-2) a multiple of 9?
False
Suppose -5*w = 1094 - 3454. Is 8 a factor of w?
True
Is 3*(1 - -1) + -6 + 373 a multiple of 3?
False
Does 112 divide (-46)/897 - (-276202)/78?
False
Let c(u) = u**2 + 7*u + 3. Let v be c(-7). Suppose 51 - 399 = -v*p. Is 29 a factor of p?
True
Let d(o) = o**3 - 7*o**2 - o + 10. Let s be d(7). Suppose -q - s = -2*q. Does 2 divide q?
False
Let m be (-12 - 0)*465/30. Let n = 306 + m. Is 36 a factor of n?
False
Suppose -140 = -7*o + 11*o. Let d be (30/o)/((-1)/7). Does 5 divide (-4)/d + 564/36?
True
Suppose 0 = 3*b - 4*l - 5040, -4*b = -l - 10024 + 3304. Suppose -4*q + b = q. Is 56 a factor of q?
True
Let y(d) = 68*d**2 + 3*d + 4. Let q be y(-3). Let c = q - 420. Suppose 2*m - c = -5*v - 2*m, -4*v = 4*m - 148. Does 12 divide v?
False
Let i(z) = 3*z**2 + 30*z + 43. Let l(q) = q**2 + q - 1. Let g(u) = -i(u) + 2*l(u). Is g(-25) a multiple of 10?
True
Let w = 172 - -762. Does 29 divide w?
False
Let z(h) = 259*h - 1114. Is 27 a factor of z(24)?
False
Let r be (60/(-25))/3*-5*1. Suppose 4*u + 53 - 445 = 4*l, -r*u - 4*l = -400. Does 9 divide u?
True
Suppose 4*t = -0*t + 16. Suppose t*l - 2*h = 50, -l = -0*l + 5*h - 7. Is l a multiple of 6?
True
Let z(n) = -2*n + 3. Let s be z(0). Suppose -180 = 3*w - s*f, -5*w - 4*f = 348 - 84. Is (-2 - 0)/(8/w) a multiple of 5?
False
Let g(n) = 66*n. Suppose 7*c - 3*c = 4. Does 8 divide g(c)?
False
Suppose 10*a - 15 = 5*a. Suppose 0 = -a*b + 89 + 67. Is 13 a factor of b?
True
Suppose 487 + 821 = 12*v. Is v a multiple of 16?
False
Suppose -378 = 3*l - 5*l. Is l a multiple of 7?
True
Let f(z) = 14*z. Let o be f(0). Suppose 5*p - 1281 + 141 = o. Is 19 a factor of p?
True
Suppose 0 = w, 3*f + 139 - 40 = 2*w. Let n = 9 - f. Does 14 divide n?
True
Let d(z) = -10*z - 1. Let c be d(-3). Let x = c + -23. Suppose -x*y + 29 = -25. Is y a multiple of 2?
False
Let h(p) = 6*p. Suppose -2*r = -c - 18, 3*c = c + 4. Is 10 a factor of h(r)?
True
Suppose -2*r + p = 4*p - 182, 0 = -2*r + 2*p + 182. Let s = 141 + -79. Let d = r - s. Is 11 a factor of d?
False
Is (-7866)/(-45) - 4/20*-1 a multiple of 7?
True
Suppose -1699 = -14*u + 5609. Does 6 divide u?
True
Let n be ((-8)/5)/(1/(-60)). Suppose -m - 3*f + n = 0, -3*f + f + 91 = m. Is m a multiple of 30?
False
Let u(j) = 0*j - 7 + 20 - 5*j. Is 6 a factor of u(-7)?
True
Let d be (4 - (-66)/(-16)) + 1443/24. Suppose -48 - d = -6*x. Is x a multiple of 3?
True
Suppose 0 = -2*v + 10, -4*v = 2*n + n - 7355. Is 9 a factor of n?
False
Let d(p) = 7*p**2 + 4*p - 5. Let y(c) = 6*c**2 + 3*c - 5. Let f(r) = -5*d(r) + 6*y(r). Suppose 5*x = -4*b + 50, 0 = -2*x - 0*b + b + 7. Is 9 a factor of f(x)?
False
Let u(i) = 4*i**2 + 36*i + 152. Does 125 divide u(-12)?
False
Let j(x) = -34 - 4*x + 8*x + 5*x + 10. Does 15 divide j(6)?
True
Let q be ((-10)/5)/((-4)/(-18)). Is 15 a factor of (-1101)/q + (-1)/3?
False
Let k(a) = a**3 + 12*a**2 - 4*a - 16. Suppose 5*s = s - 4. Let p be -1*(0 + s)*-12. Does 11 divide k(p)?
False
Suppose 5*t + 1497 = -3*n, 3*t + 1338 = -3*n + 441. Does 15 divide 4/(-8)*(t + (-5 - -3))?
False
Let p(o) = -12*o - 14. Is p(-5) a multiple of 18?
False
Suppose n - 1513 - 87 = 0. Is 22 a factor of n?
False
Suppose -7*u + 0 = -21. Let f(p) = p - 1 - u - 3 + 6. Is 3 a factor of f(18)?
False
Let y be 3*(-4 + 100/12). Let h(t) = -t**2 - 9*t. Let j be h(-9). Is y + j - (-4 - -1) a multiple of 16?
True
Let k(o) be the third derivative of 13*o**5/15 + o**4/24 - 32*o**2. Does 8 divide k(-1)?
False
Let a(p) = p**3 + 10*p**2 - 15*p - 27. Does 12 divide a(-10)?
False
Let c(q) = -16*q**3 + q**2 - q. Suppose 4*s - 4*z = -12, 0 = -8*s + 13*s - 4*z + 14. Is 17 a factor of c(s)?
False
Let z(n) = n**2 - 18*n + 20. Let a be z(17). Let p(y) = 9*y**2 + 2*y + 4. Let t be p(a). Is 23 a factor of (-2)/(-4) + t/2?
True
Suppose -r - 5*d + 8*d + 34 = 0, 2*r - 62 = 3*d. Let a(g) = -g + 88. Is 12 a factor of a(r)?
True
Let z be 0 + -1 - 10/(-10). Suppose 5*r - 9*r + 16 = z. Suppose -2*j - r = -36. Is 4 a factor of j?
True
Let f(t) = -t**2 - 3*t - 2. Let u be f(-1). Let r be -1 + 6 + (u - 2). Let d(n) = 10*n. Is 15 a factor of d(r)?
True
Let u = 3 - 0. Suppose 0*z + 14 = z + 5*y, -u*z - 3*y + 18 = 0. Suppose z*f + 3 = n, n - f = f + 3. Is n a multiple of 3?
True
Let a(z) = -545*z**3 + 4*z**2 + 5*z + 2. Is 39 a factor of a(-1)?
True
Let y = -286 - -1318. Is y a multiple of 12?
True
Let v(r) = -64*r + 14. Is 5 a factor of v(-16)?
False
Let p(h) = -h**3 + h**2 - 6*h + 34. Let b be p(0). Suppose -2*o + 50 = b. Does 8 divide o?
True
Suppose 11*j = 194 + 609. Does 19 divide j?
False
Is 9 a factor of -4*(-6228)/16 + -4?
False
Suppose -2*o - q + 2045 = 0, 34*o - 30*o = -q + 4093. Is o a multiple of 32?
True
Let u(m) = 19*m**2 + 4*m - 3. Let p be (114/133)/((-4)/(-14)). Is u(p) a multiple of 15?
True
Suppose c + 5*d = 30, 2*c + 52 = 4*c + 2*d. Suppose -c*t - 321 = -28*t. Does 11 divide t?
False
Let m = 1096 - 734. Let k(h) = -h**3 + 2*h**2 + 4*h. Let f be k(3). Suppose -i = -5*y - f*i + m, 0 = y + i - 70. Is y a multiple of 20?
False
Let x(n) = -n**3 - n - 1. Let g be x(-1). Let c(j) = 31*j**3 - 2*j**2 + 1. Is c(g) a multiple of 18?
False
Let q(y) = y - 11. Let w be q(7). Does 17 divide (-10999)/(-85) + w/10?
False
Let h(n) = 24*n**2 - 135*n + 21. Is h(11) a multiple of 96?
True
Let q = 86 + -79. Suppose -2*v - q*v + 1521 = 0. Is 38 a factor of v?
False
Suppose -2*l - a = -242, a - 488 = -3*l - l. Let t = -110 + l. Is t even?
False
Suppose k = w + 3177, 4*k + 4*w - 6*w - 12718 = 0. Is k a multiple of 86?
True
Let c = -25 + 24. Is c/((-4)/12 + (-37)/(-114)) a multiple of 19?
True
Let g(m) = -25*m - 3. Let h(i) = 1. Let w(