of 38?
False
Suppose -b = -4*a + 4*b - 24, 4*a = 3*b - 16. Is 14 a factor of 2239/5 + (7/a)/(-35)?
True
Let b(v) be the first derivative of v**4/4 - 5*v**3 + 57*v**2/2 + 13*v + 74. Is 33 a factor of b(9)?
False
Suppose 12*r - 1131 = 189. Does 15 divide ((-15)/(-2))/(((-231)/r)/(-21))?
True
Let g(b) be the third derivative of -205*b**4/24 - 6*b**3 - 3*b**2 - 2. Is 29 a factor of g(-1)?
False
Suppose 4*r = 2*l + 138, 4*r + 7*l - 145 = 2*l. Let i(a) = a**2 + 71 - 3*a - 35 - r. Is 13 a factor of i(17)?
False
Let c = 2760 + -1960. Suppose -328 = -2*n - 2*x, -10*n + 5*x = -5*n - c. Does 54 divide n?
True
Is 539/385 + (-277848)/(-5) a multiple of 277?
False
Let s be (2/(-5) - 10244/(-10)) + 1. Suppose 3*o - s - 138 = -b, -2*o = 2*b - 782. Is 13 a factor of o?
False
Suppose -7*m + 3*m - 20 = 0. Let a(t) be the second derivative of t**5/20 + t**4/2 - 19*t**2/2 + 5*t. Is a(m) a multiple of 6?
True
Let r(f) = 4*f**2 - 11*f + 5. Let k be r(-7). Is k/12 + 9/(-54) a multiple of 23?
True
Suppose 37*q - 98555 = 52368. Does 90 divide q?
False
Let s(z) = -2*z**3 - 220*z**2 + 308. Is s(-110) a multiple of 14?
True
Is (1717 + 13)/(25/10 + -2) a multiple of 5?
True
Let b(y) = -y**3 - y**2 + 2*y + 297. Let q be b(0). Let n = 415 + -117. Suppose -q - n = -5*f. Is 17 a factor of f?
True
Let d be 351 + (-4 - (-5 - -1)). Let w = d + 93. Suppose -2*g + 14*g - w = 0. Is g a multiple of 29?
False
Is (-5 + 215/10)*82 a multiple of 29?
False
Let z(n) = -n**2 + 12*n + 18. Let t be z(13). Suppose 4*h - 2596 = -4*x, -x - 643 = -2*x + t*h. Suppose -2*p + x = 7*p. Does 26 divide p?
False
Let n be 6 - ((-10242)/9 + -3). Suppose -21*i - n = -4129. Does 5 divide i?
False
Suppose 142*q - 1008000 = -68*q. Is 10 a factor of q?
True
Let b(z) = -z**3 + 26*z**2 - 20*z + 33. Let j be b(17). Suppose -1135 = -2*s + 9*a - 6*a, 4*s + 2*a - j = 0. Does 44 divide s?
True
Suppose 34*p = 32*p + 8. Let v(j) = -2*j**3 + 2*j + j - 5*j + 9*j**2 + 8 + j. Is 18 a factor of v(p)?
False
Let p(u) = u**3 - u**2 - u - 1. Let s(m) = -2*m**3 + 13*m**2 + 18*m - 18. Let j(k) = -3*p(k) - s(k). Is j(-10) a multiple of 15?
False
Let l = 22093 + -8717. Is l a multiple of 19?
True
Let s(l) = -7*l**3 + l**2 - 4*l - 5. Let u(f) = -2*f**2 - 15*f - 16. Let c be u(-5). Suppose -5*d - 29 = 2*a, -3*d = -c*a + 4*a + 5. Is 9 a factor of s(a)?
True
Suppose -40*y = -5589 + 31029. Let p = y + 1604. Does 34 divide p?
False
Suppose -3*l = z - 6795, -3*z - z - 4*l + 27204 = 0. Does 81 divide z?
True
Suppose 0 = 2*v + d - 140 - 3782, -5*d = 0. Suppose -2*z = 3*s - v, -18 = 4*z + 2. Does 9 divide s?
True
Let x = -12167 + 17438. Is x a multiple of 21?
True
Suppose 2*m - 5*k = 6*m + 1744, -4*k = -3*m - 1308. Suppose 2 - 8 = -3*n. Is n/5 + m/(-10) a multiple of 11?
True
Let h be 47*2/10 - 94/235. Let f(i) = 2*i**2 - 12*i + 138. Is f(h) a multiple of 8?
True
Let m(o) = 64*o + 193. Let k be m(-9). Let y = -268 - k. Is y a multiple of 3?
False
Let o = -192 + 190. Does 10 divide ((-9)/((-360)/3272))/(o/(-10))?
False
Let m(y) = -9 + 64*y**2 + 78*y**2 + 3 - 7*y + 116*y**2. Does 7 divide m(-1)?
True
Let f(w) = -29 + 13 + 120 + 4*w + 23. Is 59 a factor of f(-17)?
True
Let s(t) = -120*t**3 + 3*t**2 - t - 2. Let k(w) be the third derivative of -w**5/60 + w**3/2 + 30*w**2. Let g be k(-2). Does 21 divide s(g)?
False
Let n(x) = 186*x**2 - 6*x + 5. Let h be n(1). Let k = h - 48. Does 7 divide k?
False
Is 8 a factor of 5320 + (-17 + 19 - 5)?
False
Let z(t) = -4*t + 11. Let v be z(3). Is 18 a factor of (-9)/(v + 3 + 292/(-144))?
True
Suppose 4*y + 5*p = -57, -y - 5*p = -3*y + 9. Suppose 5*g + 78 = 5*o - o, 4*g = -2*o - 78. Let z = y - g. Is 9 a factor of z?
False
Let y(t) = 45*t**2 + 171*t + 100. Is y(25) a multiple of 10?
True
Let r be -1*((-336)/10)/((-25)/(-375)). Suppose 190*g = 181*g + r. Does 5 divide g?
False
Suppose 4939 = -28*g + 29*g - 5*q, 4*g = 3*q + 19790. Is 12 a factor of g?
False
Suppose 0 = 129*w - 160968 - 51999 - 51354. Does 3 divide w?
True
Let o be (2/6)/(-7*4/(-252)). Suppose -155 = -i - c, -2*i = o*c - 335 + 24. Is 18 a factor of i?
False
Suppose -4961 = 13*s - 15*s + 3*l, -2*s + 4971 = -l. Does 36 divide s?
False
Let h(p) = 5096*p + 1946. Is 10 a factor of h(4)?
True
Let f(q) = -q**3 - 14*q**2 + 6*q + 22. Let z = 43 - 58. Is f(z) a multiple of 19?
False
Suppose 4*a + 5*b = 1327, 0*a + b + 1309 = 4*a. Suppose -10*u + 8*u + 4*n = -a, -4*u = 3*n - 623. Does 31 divide u?
False
Let y(x) = -4*x**2 - 112*x - 52. Suppose 0 = -16*h + 29*h + 338. Is y(h) a multiple of 13?
True
Suppose o - 3*o = -2416. Suppose 28*l = -200 + o. Is 4 a factor of l?
True
Let v be (-2)/2 + (-40)/(-10). Let a = 238 + -179. Suppose 218 = 4*x - v*y - a, -5*y - 15 = 0. Is x a multiple of 6?
False
Suppose 3*n + 4*f - 1451 = 6230, 4*n + 4*f - 10236 = 0. Suppose 7*x - 1239 - n = 0. Does 52 divide x?
False
Let v(h) = -h**3 - 70*h**2 - 440*h + 146. Let i be v(-63). Let k be (-446)/(-8) + (-2)/(-8). Let d = i - k. Is 9 a factor of d?
True
Suppose -l = -5*i + 5, -5*i + 1 - 16 = -5*l. Suppose 5 = l*t - 5. Suppose -114 = -3*r + t*r. Does 19 divide r?
True
Let r be (32/5 + -4)*-20. Let i = 61 + r. Suppose -4*j = i*j - 884. Does 22 divide j?
False
Let x(h) = 689*h**2 - 3*h - 2. Suppose 3*k - 4 = -3*p + 5, 0 = -p + k - 5. Does 46 divide x(p)?
True
Suppose -90*x = -97*x + 28. Suppose -x*f = 1513 - 6133. Is 21 a factor of f?
True
Is 74400/(6 + -11)*-1 a multiple of 60?
True
Suppose 5*k - j - 260 = 0, 0 = 5*k - 10*k + 2*j + 265. Suppose -k*z + 44966 = -26128. Does 82 divide z?
True
Let k be 5 + 0 + (-3 - 2). Suppose 37*g - 28*g - 909 = k. Suppose -3*a + g = u, 3*u - 107 = 2*u - a. Does 11 divide u?
True
Suppose 48*a = 49*a - 1. Suppose 4*y = 1 + 11. Is (a - (y + -210))/(1 - 0) a multiple of 16?
True
Let i be 7082/5 - (-56)/(-140). Let s = -906 + i. Is 21 a factor of s?
False
Let g = -114 - -129. Suppose -5*q - 3*w + 1485 = 0, 4*q - g*w + 10*w = 1151. Does 27 divide q?
False
Suppose -2*g + 0*s - 4*s + 8 = 0, -3*g = 3*s - 9. Let v be 8 + ((-1)/g)/(1/(-6)). Let a(w) = w**2 - 7*w + 26. Is 30 a factor of a(v)?
False
Suppose 775 = 4*m - 3*b - 0*b, -5*m + b + 977 = 0. Suppose k - 5*y + m = 0, -4*k + y - 703 = 138. Let i = -64 - k. Is i a multiple of 25?
False
Let j(y) = -102*y - 66. Suppose -2*f - 1 - 3 = -2*z, 28 = -4*f - z. Is 14 a factor of j(f)?
True
Let b(p) = -2*p**2 - 229. Let z(g) = -g**2 - 76. Let q(k) = -3*b(k) + 8*z(k). Is 12 a factor of q(0)?
False
Let l = 22432 - 1845. Is l a multiple of 17?
True
Let m(p) = -p**3 - 4*p**2 + 17*p + 17. Suppose t - 8 = 4*g + 5*t, t - 40 = 5*g. Let s be m(g). Suppose -344 = -s*n + 37*n. Is n a multiple of 2?
False
Let j(a) = 9*a + 30. Let g be j(-3). Suppose -3*x = -3*h + h - 446, 5*h = -g*x + 460. Suppose 9*u = 4*u + x. Does 10 divide u?
True
Let d(k) = 4321*k - 9331. Is 34 a factor of d(5)?
True
Suppose -159*n + 3292822 = 19*n. Is 28 a factor of n?
False
Let a be 0/((-2)/2*(-4)/(-2)). Suppose 5*q + 5*g - 25 = a, 4*q + 2*g = 3*q + 7. Is q + (-1126)/(-22) - (-4)/(-22) a multiple of 12?
False
Let d(t) = 8*t**2 - 22*t + 12. Suppose -1214 = -6*u - 1178. Is 3 a factor of d(u)?
True
Let h(y) = 5*y - 56. Let k be h(14). Suppose 1308 - 4612 = -k*o. Is 31 a factor of o?
False
Let z(k) = k**2 + 60*k - 4589. Is 4 a factor of z(54)?
False
Let d(s) = -7*s**2 + 345*s + 52. Is 50 a factor of d(23)?
False
Let s = 2860 - 1616. Suppose -2*f + s = g + 2*f, -g - 2*f = -1246. Does 52 divide g?
True
Suppose -f + 143*p - 148*p = -34195, f - 2*p - 34139 = 0. Does 99 divide f?
True
Suppose -3*b = 3*n - 1457 - 763, 2220 = 3*n - b. Suppose 5*z = -3*k - 0*z + 1107, 4*z = -2*k + n. Is k a multiple of 48?
False
Is (1 + -2)*(-2736)/(-38)*(-4380)/16 a multiple of 27?
True
Suppose 2*p + 2*w = -2, -25 = -12*p + 13*p - 5*w. Let d = -8 - -21. Let o = d - p. Is o a multiple of 4?
False
Let q be (-200)/450 - 5858/(-18). Let n = q - 263. Does 16 divide n?
False
Let d be (0/3)/(-3) + 4/4. Let n be ((-1)/d)/(1 - 18/12). Suppose -h + 3*k + 65 = 0, -n*h - 55 = -4*k - 195. Is h a multiple of 13?
False
Let s(g) = g + 32. Let o be 4 + 4 + (39 - 3). Suppose -3*m - 4*u = -55, -4*m - 2*u = -4*u - o. Is s(m) a multiple of 19?
False
Suppose -4*j + 166 = q + q, -95 = -q + j. Suppose -90*z + q*z - 148 = 0. Is 10 a factor of z?
False
Suppose -97*c + 286623 = 73611. Is c a multiple of 18?
