of 12?
False
Suppose -4*i - l = -135, 0*i - 5*i + 2*l + 185 = 0. Does 14 divide 28/i - 558/(-15)?
False
Suppose 170*g - 288 = 162*g. Is 4 a factor of g?
True
Let v be -3 + (-5)/(-1)*1. Suppose 0 = -v*h + 16 - 4. Is 2 a factor of h?
True
Let j(g) = g**3 - 14*g**2 + 22*g - 15. Let x be j(12). Is (-8 - 5)/(3/x) a multiple of 29?
False
Let k = 703 + -45. Is 22 a factor of k?
False
Suppose 0*u = 4*u + 24. Is (6 - 3) + 7 + u even?
True
Suppose 2*o + 8 = 0, 2*n - 5*o - 304 - 574 = 0. Does 39 divide n?
True
Let r be (-3 + -12)/(-1 + 0). Suppose -725 - 10 = -r*g. Is 7 a factor of g?
True
Let b(u) = -19*u + 23. Let t be b(-17). Suppose 4*r = 2*r - t. Let a = r - -258. Is a a multiple of 17?
True
Let d(j) = 2*j**2 - 2*j - 2. Let k = 9 - 7. Suppose -p - g = -5, 14 = 4*p - k*g + 3*g. Is 5 a factor of d(p)?
True
Let g = 3815 - 2088. Is 44 a factor of g?
False
Suppose -3*t = -3*d + t - 32, -2*d = 4*t + 8. Let v = 999 + -1021. Is 3 a factor of (v/d)/((-5)/(-20))?
False
Let h(o) be the second derivative of 0*o**2 + 8*o + 0 - 1/12*o**4 - 4/3*o**3. Is h(-6) a multiple of 6?
True
Let j = 32 + -26. Let u(m) = 28*m**2 + 7*m + 5. Let z(p) = -29*p**2 - 8*p - 6. Let h(f) = j*z(f) + 7*u(f). Is 5 a factor of h(-1)?
True
Let x(u) = -u**2 + 4*u + 1. Let n be x(-8). Does 11 divide n/(-1)*(-10)/(-25)?
False
Suppose j - 14 = 5*d, -3*j + 5*d = -26 + 4. Suppose 4*a + b = 3, 3*a - 6 = -j*b - 20. Suppose 2*o + f - 4*f = 32, -a*o = 2*f - 12. Is 5 a factor of o?
True
Let a(k) = 8*k**3 + 24*k**2 + 4*k + 13. Let g(p) = -7*p**3 - 22*p**2 - 3*p - 11. Let t(s) = -6*a(s) - 7*g(s). Let m be 3*((-1)/1 - 2). Does 27 divide t(m)?
False
Suppose -n + 0*n - 11 = -l, 0 = -2*l - 5*n + 15. Suppose -5*q + l*q - 45 = 0. Is 5 a factor of q?
False
Suppose 20*b + 3*g + 506 = 25*b, 3*g + 6 = 0. Is 20 a factor of b?
True
Let m(b) = 3*b**2 - b + 3. Let o(z) = z**3 + 3*z**2 + z + 1. Let a be o(-3). Does 3 divide m(a)?
False
Let t(c) = c**2 - 6*c - 4. Let m be t(7). Suppose 4*r + 62 = m*g, -2*g + 22 = r - 12. Is 5 a factor of g/4 + 2/4?
True
Suppose -46 = -8*r + 10*r. Let b = 25 + r. Suppose 96 = b*h - 0*h. Is 16 a factor of h?
True
Suppose -3*v = 3*j, -v = -4*j + j - 16. Suppose 0 = -v*m + m. Suppose -5*f = 0, m = -k + 3*f + 2 + 3. Does 2 divide k?
False
Let t(z) = 0*z**3 + 5*z + 9*z**2 - 2 + z**3 - 3*z - 4*z. Is t(-8) a multiple of 28?
False
Let y be (2 - 0 - 1) + -2. Let d be 2 + (2 - (y + 3)). Suppose -k = -d, m + 0 = 5*k - 2. Is m a multiple of 8?
True
Let u(y) be the third derivative of -23*y**4/24 - 4*y**3/3 + 8*y**2. Is 16 a factor of u(-8)?
True
Let i(o) = o**3 - 1 - 2*o**2 - 9*o - 2*o**3 + 8*o. Let x be i(-2). Suppose 2 = -l - 2*z, z - x = -l - 0*z. Is l a multiple of 2?
True
Suppose -33*m = -14*m - 1444. Is m a multiple of 38?
True
Suppose -2*w + 5*w = -3*z + 771, 0 = 2*z + 2. Does 22 divide w?
False
Does 28 divide 2/(-4) + 60995/22 + 0?
True
Is -1*(-1)/4 - 29813/(-28) a multiple of 50?
False
Let s(g) = 784*g**3 + 2*g**2 - 6*g + 4. Is 56 a factor of s(1)?
True
Let s(d) = -d**2 - 10*d + 12. Let r = -19 + 29. Let k be (r + -8)/(2/(-10)). Does 12 divide s(k)?
True
Is 53 a factor of (115/46)/(5/636)?
True
Let m be 0 - -3 - (1 + -2). Suppose 28 = -0*d + 3*d + m*n, 4*n - 8 = 2*d. Suppose d*p = 5*a - 52 + 11, 4*a - 3*p = 33. Is 3 a factor of a?
True
Let s(u) = -3*u + 42. Let p be s(13). Does 17 divide (1/(-3))/(p/(-36)) - -53?
False
Suppose -2*q - 5*i + 18 = 0, q - 5*i = -1 - 5. Suppose -5*a - 2*r = -534, 0 = a - q*r - 43 - 77. Suppose 7*t - a = 3*t. Does 11 divide t?
False
Suppose 203*d + 17280 = 227*d. Is d a multiple of 5?
True
Let k(f) = 3 + 30 + f - 3 + 8. Does 15 divide k(22)?
True
Suppose -5*b = -13 - 7. Let k(x) = x**2 - 2*x + 4. Let l be k(b). Is (-4 - (-105)/l)*12 a multiple of 13?
False
Let v be 2/(-11) + (-240)/(-110). Suppose 0 = -v*c - 2*a + 264, -5*a - 264 = -c - c. Is c a multiple of 12?
True
Let s(f) = -24*f**3 - 2*f**2 - f. Suppose 4*r = 5*m - 7, -r - 2*r - 14 = 5*m. Is s(m) a multiple of 6?
False
Let g = -1095 - -2006. Does 13 divide g?
False
Suppose 10*y = -6*y + 288. Is y a multiple of 9?
True
Suppose 2*b = n - 10 - 54, -4*n + 3*b + 281 = 0. Does 9 divide (4 - n*-1) + -1?
False
Let u(p) = 8*p**2 - 3*p + 1. Let i be u(-3). Let d = -36 + i. Is 11 a factor of d?
False
Suppose -21 = -8*h + 3. Suppose -3*g - 97 = -h*f + 26, 0 = 2*f + 3*g - 57. Does 12 divide f?
True
Let m(o) = 33*o - 30. Let h(k) = -11*k + 10. Let l(i) = 11*h(i) + 4*m(i). Let f be l(9). Suppose 0*n + f = n. Is 27 a factor of n?
False
Let y(n) = -8*n**3 + 7*n + 4. Let b be y(-2). Suppose -5*h + 4*f = -342, -2*h + b = -h + 4*f. Is 13 a factor of h?
False
Let x(v) = v**3 + 2*v**2 - 11*v + 10. Suppose 0 = 4*c - 3*c - 4. Is 31 a factor of x(c)?
True
Let y = -41 + 6. Let l = -47 + 97. Let o = l + y. Does 15 divide o?
True
Suppose -222*w - 7980 = -236*w. Is 26 a factor of w?
False
Let k(j) = 7*j + 1 - 3*j + 5 + 8*j. Is 3 a factor of k(2)?
True
Let u(z) be the first derivative of -2*z**2 + 69*z - 41. Is 4 a factor of u(0)?
False
Let j(f) = 3*f**3 - 11*f**2 - 2*f + 7. Is j(6) even?
False
Let v(k) = -k + 11. Let i be v(11). Suppose -56 + 3 = -d - 2*a, -a - 4 = i. Does 10 divide d?
False
Suppose 2*y - 9*y = 6*y. Suppose y = -7*c + 434 + 280. Does 14 divide c?
False
Let q be (6 - 3)*5/5. Suppose 3 = q*u - 0*u. Is (u - -18*3) + 3 a multiple of 12?
False
Suppose 36*p = 15*p + 1617. Does 7 divide p?
True
Let g be ((-8)/5)/((-2)/30). Is g/(-16)*(-190 + 2) a multiple of 48?
False
Suppose 6*c + 8307 = 15*c. Does 34 divide c?
False
Let t be (-8)/((-2)/11 + (-16)/33). Is (11 - t)/((-2)/38) a multiple of 2?
False
Let f(t) = 2*t**2 - 12*t - 60. Does 14 divide f(-9)?
True
Let m(i) = -2*i - 13. Let v be m(-13). Let u(r) = -r**2 + 17*r - 13. Is u(v) a multiple of 20?
False
Let w(v) = -v**2 + 8*v + 12. Let o be ((-160)/(-24))/(4/6). Let u be w(o). Let t(q) = q**2 + 6*q - 1. Is 15 a factor of t(u)?
True
Let f(x) = -149*x**3 + 2*x - 1. Let u be f(1). Let m = u + 421. Does 7 divide (-1)/(-4) + m/12?
False
Let d(j) = 14*j**2 + 3*j**2 + 14*j + 13 + j**2 + 0*j**2 + j**3. Let o be d(-17). Let b = o + -17. Does 19 divide b?
False
Let q be 8 + -7 + 4*1. Let t be 30/q*20/(-6). Is ((-88)/t)/((-2)/(-30)) a multiple of 22?
True
Let g(o) = 2*o**3 - 10*o**2 - 9*o + 1. Let u = 2 + 6. Let w be g(u). Suppose 0 = -5*n - 4*l + w, 3*n - 3*l + 8*l = 193. Is 24 a factor of n?
False
Let x(v) = v**3 + 39*v**2 + 74*v - 14. Is 46 a factor of x(-36)?
False
Let t = -36 + 32. Does 16 divide ((-2)/t)/((-15)/(-2700))?
False
Let u(o) = o**2 + 6*o + 1. Let g be u(-7). Suppose -12*b + 324 = -g*b. Let s = b - 7. Is s a multiple of 37?
True
Let t = -262 + 374. Suppose 4*k = -4*f + t, 2*k = -2*k + 4*f + 152. Let h = -13 + k. Is h a multiple of 20?
True
Suppose -4*r + 9*r + 15 = 0. Let q be 2 + r + 2 + -1. Is 18 a factor of 18 - (q - (3 + -3))?
True
Suppose 7*a = 10 + 676. Suppose 0*c - a = -c. Is 22 a factor of c?
False
Let j(l) = l**2 + 20*l - 157. Is 8 a factor of j(-33)?
True
Let o(v) be the third derivative of -v**4/24 + 11*v**3/3 - 5*v**2. Let c = 1 + -1. Is 11 a factor of o(c)?
True
Let p = -45 - -29. Is (8/p)/(2/(-492)) a multiple of 25?
False
Let x be -264*9/(-36)*7. Let b(t) = t**2 + 3*t + 6. Let h be b(-4). Suppose -4*y = -h*y + x. Is y a multiple of 8?
False
Suppose -6*v + 5*u = -3775 - 1521, 5*v + 4*u - 4446 = 0. Does 49 divide v?
False
Let m be (-1)/((-1*12/8)/(-9)). Let o(z) = -14*z + 46. Is 26 a factor of o(m)?
True
Let z = 53 - 55. Is 36 a factor of (-296)/z + 0 + -4?
True
Suppose 0 = -3*r + 18 + 870. Does 21 divide r?
False
Let i = -3717 - -8116. Is i a multiple of 76?
False
Suppose 0 = -j - 93 + 117. Is j a multiple of 3?
True
Let g be (-5 + 1)*(-2)/8. Let j be (g*6)/(9/(-42)). Does 2 divide (-44)/(-7) + 8/j?
True
Suppose -26*j + 18*j + 5264 = 0. Does 25 divide j?
False
Suppose 3*w + 3*b + 85 = 463, -b = -5. Is 3 a factor of w?
False
Let g(i) = -i**3 + 15*i**2 - 13*i - 9. Let f be g(14). Suppose 375 = f*s - 280. Is 15 a factor of s?
False
Let d(j) = j**3 - j**2 - 4. Let f be d(0). Let w(l) = l**2 - 5*l - 3. Is w(f) a multiple of 33?
True
Let l(t) = -29*t - 1. Let m be l(-6). Suppose 0 = -3*n - 32 + m. Does 14 divide n?
False
Let l(i) = 61*i**2 + 3*i + 6. Does 42 divide l(-3)?
True
Is 7*6/21 - (-2 - 3) a multiple of 5?
False
Let g be -4*(21/2)/(-3). Suppose 0 =