d - 5*w, -5*w + 20 = 0. Is 57 a factor of d?
True
Let s(t) be the third derivative of -10*t**2 + 0 + 0*t - 11/3*t**4 - 2/3*t**3. Is s(-1) a multiple of 25?
False
Let u(l) = 4*l + 24. Let m be u(-6). Suppose 0*z + 4*s + 28 = 4*z, 4*s = -16. Suppose m = z*f - 84 - 255. Is 15 a factor of f?
False
Suppose 26*r = 105 - 1. Suppose -4*a + 5*w = -3*a - 29, -5*w = -r*a + 101. Is a a multiple of 6?
True
Let i = -600 + 601. Is 11 a factor of i/(5/(2125/5))?
False
Let s(q) be the first derivative of 7*q**4/24 - 19*q**3/6 - 17*q**2/2 - 1. Let r(d) be the second derivative of s(d). Is r(13) a multiple of 8?
True
Suppose 11*g - 27 + 104 = 0. Is 3 a factor of ((-214)/g - 0) + (-20)/35?
True
Let t(d) = d**3 + 4*d - 1 + 1 + 7*d - d**2 - 20. Does 9 divide t(5)?
True
Is (-17 - -5) + 8890 + -4 a multiple of 151?
False
Suppose -12*g + 216 = -4*g. Is g/36*(-1500)/(-3) a multiple of 25?
True
Suppose -4*d + 12 = 4*h, -4*d + 23 = 5*h - d. Suppose 335 = 4*w - 3*g, -3*w = -h*w - g + 331. Let m = 138 - w. Does 3 divide m?
False
Suppose -4*w + 79739 + 8853 = 3*p, 5*p + 4*w = 147632. Is 123 a factor of p?
True
Suppose 59*r + 33*r + 74517 = 431845. Does 209 divide r?
False
Suppose -2*x + 8 = 5*v, -3*x - 1 = 2*v + 9. Let b be 2/(-3) - (-158)/x. Is 19 a factor of ((-55)/(-15))/((-1)/b)?
False
Let x(d) = 124*d**3 - 2*d**2 + 3*d - 2. Suppose 3*j = j. Let n be j - (-1 + 3)/(-2). Is x(n) a multiple of 12?
False
Suppose -g = -5*f - 3285, -5*f + 4*g - 1650 = 1620. Does 25 divide (6 + -7)*-2 - f?
False
Suppose 32*z - 17*z = -585. Let q = -14 + -13. Let l = q - z. Is l a multiple of 3?
True
Suppose 0 = -2*f - 5*j + 678, 5*j + 865 + 551 = 4*f. Suppose v + 4*g = 127 - 2, 3*v - g = f. Is v a multiple of 4?
False
Let a = 0 + 1. Let h(n) = -902*n + 894. Let w be h(1). Is 36 a factor of ((-22)/w)/(1/88*a)?
False
Let y = -466 + 496. Suppose -2*m - y*t + 260 = -28*t, 5*m - 634 = -t. Is 9 a factor of m?
True
Suppose -72*a + 4*y - 28596 = -74*a, 0 = 5*a - y - 71501. Is 51 a factor of a?
False
Suppose 5699*h = 5689*h + 2730. Is h a multiple of 40?
False
Let l = -540 + 490. Does 5 divide 156/8*l/(-15)?
True
Let p(v) = -15*v + 23. Let s be p(-17). Let i = s + -154. Does 4 divide i?
True
Let t(j) be the second derivative of j**3/6 + 21*j**2 - 4*j. Let g be t(-10). Is 11 a factor of 1332/(-48)*g/(-6)?
False
Is (6/60*-1436)/(9/(-630)) a multiple of 7?
True
Suppose -2*i - 15*i + 152256 = -i. Does 39 divide i?
True
Suppose 0 = -4*h + 58*h - 216. Suppose 459 = t + 7*c - 11*c, 3*t - h*c - 1369 = 0. Is t a multiple of 7?
True
Suppose -19*p + 122 = 27. Suppose -1020 = -p*u - 7*u. Is u a multiple of 5?
True
Suppose -3*m - 3 = 2*n, -10*m + 5*m = -n + 5. Suppose -4*u + 2086 + 1070 = n. Is u a multiple of 58?
False
Let x be -3*1 - 0 - (-18 + 13). Let r(g) = -9*g**2 + 3*g. Let o be r(x). Is o*(-6)/27*6 a multiple of 8?
True
Let g(l) = -l**2 + l + 1. Let i be (-18)/4 - (-5)/10. Let t(x) = x**3 - 4*x**2 - 3. Let f(y) = i*g(y) - t(y). Is 5 a factor of f(7)?
True
Let u be 13/(26/(-2596)) + -5. Let z = -821 - u. Is z a multiple of 61?
False
Let g = -8604 + 11324. Does 16 divide g?
True
Let a(j) = j**3 - 13*j**2 - 16*j + 14. Let k(o) = -o + 31. Let d be k(17). Let v be a(d). Let f = v - -38. Does 8 divide f?
True
Suppose 0 = -5988*k + 5995*k - 112406. Is k a multiple of 142?
False
Let i(w) = -18*w + 70. Let h be i(5). Is h/3*594/(-45) a multiple of 11?
True
Suppose 8 = 3*c - 2*w, -c - 4*c + w = -25. Let y be c/24 - (1 - (-19)/(-4)). Suppose 3*n + y*n - 336 = 0. Is 28 a factor of n?
False
Let u(q) = -q**2 + 19*q + 51. Let l be u(22). Let m(o) = -o**3 - 22*o**2 - 16*o + 26. Let z(d) = d**2 - 1. Let w(r) = m(r) + 6*z(r). Is 5 a factor of w(l)?
True
Let l(u) = 2*u - 3. Let h be l(5). Suppose h*p + 4 = -52. Let d(y) = -y**3 - 6*y**2 + 9*y - 6. Does 8 divide d(p)?
False
Let f be -5 - (-2 - 14/2). Suppose 2*j - 729 = -2*j + 3*r, 2*j - f*r - 352 = 0. Is 31 a factor of j?
True
Let z(k) = 324*k**2 + 9*k + 4. Let x(m) = -65*m**2 - 12 + 29 - 18 - 2*m. Let t(u) = -11*x(u) - 2*z(u). Is 33 a factor of t(-1)?
True
Let q(k) = -k**2 - 59*k - 160. Is q(-50) even?
True
Let l(r) = r**2 + 5*r - 11. Let h be l(2). Is 197 - ((-52)/20 + h)*5 a multiple of 3?
True
Let h(b) = 4*b + 4. Let z be h(0). Suppose -3*k - 4 = -z*k. Suppose 5*c = -3*o + 53, 36 = k*c - 5*o + 1. Does 5 divide c?
True
Suppose -4*g = -l + 5, -2*l - 15 = -5*l - 3*g. Suppose -6*d - 98 = -l*d. Let t = d + 125. Is 12 a factor of t?
False
Let h(l) = 18*l**2 - 20*l + 189. Let w be h(8). Suppose -1507 = -4*g + w. Is 48 a factor of g?
True
Let t(b) = 2*b + 80. Let g be t(20). Suppose 2*n - 4*m - 236 = 0, 0*n + g = n - 3*m. Does 38 divide n?
True
Let k be (-6)/2*(-28)/63*3. Let n(l) = 17*l**2 - 5*l + 13. Does 53 divide n(k)?
True
Let l(x) = 6*x**3 + 2*x**2 + x. Let t be l(-1). Let v(q) = 2*q**2 - 2*q + 7. Let g(c) = -c**2 - c + 2. Let n(k) = -2*g(k) + v(k). Is 11 a factor of n(t)?
False
Let w(o) = 10*o**3 + 6*o**2 + 36*o + 286. Is w(15) a multiple of 71?
True
Let u = 182 - 158. Does 12 divide u + (-4)/24*0?
True
Let z(x) = 3*x**2 + 9*x - 579. Is z(-55) a multiple of 40?
False
Suppose 17641 = 21*a - 18899. Is a a multiple of 29?
True
Let w(z) = 62*z**2 - 7*z - 7. Let m be w(-2). Let b = -184 + m. Is 2 a factor of b?
False
Suppose 0*w = 2*d + 3*w - 1164, 3*d - 2*w - 1772 = 0. Suppose 4*a - 36 = 5*x, 3*x = 4*a - 7*a. Does 14 divide ((-2)/x)/(3/d)?
True
Let r = -86 + 24. Let d = r + 93. Is 22 a factor of d?
False
Let p be -1 + -2 + 734/(-2). Let b = p - -220. Let n = 210 + b. Does 9 divide n?
False
Let f(k) = k + 1. Let v(q) = -64*q - 13. Let z(a) = 3*f(a) + v(a). Let p be z(2). Let u = p - -246. Does 26 divide u?
False
Let u be 10/(-65) - (-23718)/39. Suppose 3*b = -a + 7*b + u, 3*a - 2*b = 1804. Is a a multiple of 35?
False
Suppose -3*r + 33 = -2*m - m, m - 1 = 0. Suppose r - 7 = y. Suppose 5*x + 4*u = 2*u + 385, -2*x + y*u = -154. Is 10 a factor of x?
False
Let g = -18 + 21. Suppose -g*h + t + 9 + 0 = 0, 3*h + t = 9. Suppose 0 = -h*y + 2*i - 5*i + 144, 42 = y - 5*i. Does 6 divide y?
False
Let n = -54 - -59. Suppose 0 = -4*i + 4*f + 2332, 5*f = 10*f - n. Does 73 divide i?
True
Let j(w) = -7116*w - 465. Is j(-1) a multiple of 196?
False
Suppose -8*s = 8*s - 20016. Let k = s - 861. Is 10 a factor of k?
True
Let r(g) = 14*g**2 - 38*g - 145. Does 11 divide r(-9)?
True
Is 20 a factor of 938605/65 - (-10)/(-130)?
True
Suppose -5*v + 19 = g + 3, 3*g + 2*v - 35 = 0. Suppose -4*s - 3337 = -5*b, -4*s - g = 1. Is b a multiple of 57?
False
Suppose h - 538 = -3*h - 2*l, -2*h + 271 = -l. Suppose 0 = 3*y + n - 477, 2*y - h = -n + 184. Is 19 a factor of (4 + 2)/2*y/3?
False
Let w(r) be the third derivative of r**6/60 + 7*r**5/30 + 7*r**4/24 - r**3/6 + 2*r**2 + 29. Is w(3) a multiple of 20?
True
Let y be (-1)/(-5) + ((-3796)/(-20) - 3). Let j = 14 + 23. Suppose 3*p + j = y. Does 32 divide p?
False
Let m = -320 + 334. Suppose 4*p - 1420 = -4*d, -9*d = 4*p - m*d - 1402. Does 9 divide p?
False
Suppose 4*o + 4 = 0, -4*o - 2 = d + 1. Let q(h) = 7*h**2 + 2*h - 1. Let j be q(d). Suppose z - 21 = j. Is z a multiple of 13?
False
Let k(x) = 167*x - 3. Does 25 divide k(21)?
False
Suppose -7 - 13 = 20*g. Is (-1866)/(-6)*(-1)/g a multiple of 13?
False
Suppose -18*j + 58 - 4 = 0. Suppose j*f - 15 = 0, 0 = 4*n - f + 3*f - 994. Is 14 a factor of n?
False
Let w be (0 - 647)/((-1 + -5)/30). Does 8 divide (-2)/(-11) - w/(-55)?
False
Let y be ((-14)/7)/((6/5)/(-3)). Let z(f) = 11*f + 2. Let t(b) = 6*b + 1. Let o(g) = y*t(g) - 3*z(g). Is 10 a factor of o(-7)?
True
Let y(w) = 12*w**2 + 231*w - 792. Is y(55) a multiple of 44?
False
Let g(h) = -h**2 + 22*h + 22. Let s be g(16). Let j = s - 91. Is -2*187/(-8) - j/36 a multiple of 15?
False
Suppose 12 = -3*b + 3*x, 0*b = -2*b - x + 7. Let u = 38 + b. Suppose 5 = y, y - 3*y + u = l. Is l a multiple of 3?
False
Suppose 2*v + 6 = -3*s - 7, 2*v = s + 7. Does 28 divide 6/s - -1 - 15138/(-90)?
True
Suppose 0 = -4*c + l + 1249, -2*c - 2*c = 4*l - 1224. Suppose c = 27*y - 9814. Does 6 divide y?
False
Let i(h) = 14*h**2 - 9*h + 12. Let y be i(-6). Let c = y + -401. Is c a multiple of 6?
False
Suppose 2*z = 3*f - 50, 5*z - 48 + 3 = -f. Is 13 a factor of 2277/5 + 8/f*-1?
True
Let n(j) be the first derivative of -j**4/4 - 13*j**3/3 + 10*j**2 - 76*j - 292. Does 48 divide n(-19)?
Fals