 a multiple of 10?
True
Let z(k) = 2*k**3 + 11*k**2 + 12*k + 2. Let d be z(-6). Let i = d + 171. Suppose -i*r + 66*r - 85 = 0. Is 7 a factor of r?
False
Suppose -k = 5*m + 1, 5*m - 2*k = -5 + 7. Is 22 a factor of (m/2 + 231)*(-22)/(-33)?
True
Let v be (2 - 0)/((-32)/400). Is 14 a factor of ((-30)/v - -3)/((-1)/(-10))?
True
Let r = -1926 - -73823. Does 14 divide r?
False
Suppose -122*z + 456189 = 5399. Is z a multiple of 72?
False
Suppose 10*r = -8*r + 36. Suppose -2*t = -4*t + 3*a + 1739, -r*t - 5*a = -1747. Is t a multiple of 44?
False
Let u(k) = 378*k - 8642. Is 142 a factor of u(101)?
True
Let m be (-3 - -2)/((-4)/(20/1)). Suppose 3*f + 2*y - 3252 = 5*y, -2*f + m*y = -2177. Does 26 divide f?
False
Let d(w) = -4*w**3 + 2*w**2 - 3*w + 6. Let u be d(4). Let k = -182 - u. Is 12 a factor of k?
True
Suppose 10*b + 46*b - 78848 = 0. Is b a multiple of 8?
True
Let h(y) = -2*y**3 - 8*y**2 - 84*y + 112. Does 108 divide h(-28)?
False
Suppose -15*t + 16*t = 4*i + 36582, 0 = -9*t + 2*i + 329136. Does 230 divide t?
True
Suppose 16*t = -3*t - 4294. Let v = t + 248. Is v a multiple of 7?
False
Suppose 2*o + 554039 = 115*o. Does 11 divide o?
False
Let v = -485 - -1671. Let r = -393 + v. Is 9 a factor of r?
False
Suppose -2*w = 4*j - 3641 - 16733, j - 5*w - 5099 = 0. Does 18 divide j?
True
Let x(y) = 660*y + 21. Let b be x(-8). Let f be 3/9*2 + b/(-9). Suppose 0 = -21*m + 16*m + f. Does 30 divide m?
False
Let s(v) = 87*v - 4793. Is 19 a factor of s(73)?
True
Suppose 0 = -4*b + 3*b - 1. Suppose -2*p - 2*p + h + 315 = 0, 4*p - 309 = -h. Is ((-8)/12)/(b/p) a multiple of 8?
False
Is 9 a factor of 5/35*1685*(-14)/(-2)?
False
Suppose -2*j = -2, -58*j + 4146 = 2*c - 60*j. Is c a multiple of 9?
False
Is 17 a factor of 108666/17 + 4/(-34)?
True
Let j(w) = -w**3 - 22*w**2 - 41*w - 84. Is 6 a factor of j(-27)?
True
Suppose -342*w + 5114600 = -103*w. Is w a multiple of 23?
False
Is 15 a factor of (-2 - 12/(-7)) + (-19 - (-529804)/154)?
False
Suppose -6*g - g - 7 = 0. Let v be (0 + 0)*(1 - (g + 1)). Is 22 a factor of 47 + -1 - (2 + v)?
True
Let h(n) be the second derivative of -n**5/20 - 7*n**4/4 - 7*n**3/2 - 2*n**2 - 2*n. Suppose 119 + 221 = -17*f. Does 8 divide h(f)?
True
Let s(d) = d**3 - 6*d**2 + 5*d - 35. Let x be s(6). Is 5 a factor of -1060*1/(-2) - x?
True
Let j(s) = s**2 + s - 41. Let o be j(6). Is 35 a factor of 138 - (o - 3)/2?
False
Suppose -l - 100 = -103. Let q be (-4158)/(-6) - (0 + l - -1). Suppose q + 907 = 12*s. Is 9 a factor of s?
False
Does 11 divide (1 + (-321)/9)*(-504)/16?
False
Suppose -4*l = -i + 24, 5*i - 2*l - 24 = 6. Is i/(-6) + (2 - (-287)/21) a multiple of 3?
True
Let p(v) = 4*v + 17. Let y be p(-3). Suppose -y*t = -3079 - 1021. Does 43 divide t?
False
Let o(m) = 117*m**2 - 78*m - 148. Is o(-2) a multiple of 2?
True
Suppose 3*o = -9, -f + 5*o + 45 = 13. Suppose -f*r + 210 = -3*r. Is r a multiple of 3?
True
Let y(j) = -63*j - 147. Let c be y(-24). Suppose 10*a + 3*a = c. Is a a multiple of 7?
True
Let z = 9394 + -6850. Is 12 a factor of z?
True
Suppose -5*t + 33341 = 25*c - 23*c, -2*t = 4*c - 13330. Does 28 divide t?
False
Suppose 82*p + q + 2990 = 84*p, -4*p + 5980 = -q. Does 4 divide p?
False
Suppose -2*a - 410 = -2*t, -409 = -2*t + 85*a - 84*a. Suppose -87*m = -86*m - t. Is m a multiple of 17?
True
Let o = -29069 - -40867. Is o a multiple of 84?
False
Let b = 17360 + -16561. Does 38 divide b?
False
Let j be ((-30)/8)/(63/(-1344)). Let t = 38 + j. Let c = -50 + t. Does 34 divide c?
True
Let a(x) be the first derivative of 9*x**2/2 + 79*x + 52. Is a(5) a multiple of 4?
True
Let t(d) = -2*d**2 - 6*d - 13. Let v be t(-3). Let k(a) = 7*a**2 - 2*a + 13. Let o be k(v). Let f = -839 + o. Is f a multiple of 45?
False
Let p be (3/(-2))/(3 + 1071/(-354)). Suppose -v = -2*n - p - 695, -v + 739 = n. Suppose -z + v = 5*z. Does 49 divide z?
False
Suppose 9*f - 14*f = -10. Let c(n) = -6*n - 4*n**f + 3*n + n + n**3 - 5. Is 7 a factor of c(5)?
False
Let j(c) = -149*c + 9. Let n be -5 + (-6)/9*(0 - 3). Is 19 a factor of j(n)?
True
Is 21 a factor of (-713427)/(-99) + -6 - 8/(-3)?
True
Let v(d) be the third derivative of -65*d**4/24 - 29*d**3 + 14*d**2 - 3. Does 18 divide v(-6)?
True
Suppose 0 = 34*o - 47*o + 12636. Is 24 a factor of o?
False
Suppose -8*o + 29*o - 638748 = -12*o. Does 89 divide o?
False
Suppose 12*i - 63481 - 143444 = -13*i. Does 61 divide i?
False
Is 6 a factor of (-1)/(20/(-35))*1056?
True
Let v(k) = -2*k - 5. Let w be v(-6). Suppose 5*f - 18 - w = 0. Suppose 0 = -f*x + 5*j + 130, -5*x - 2*j + 165 = -0*x. Does 11 divide x?
False
Let n = -45 + 14. Let a = n - -60. Let o = a - -9. Is 11 a factor of o?
False
Suppose 3 = n + 2*q, n - 4*q - 4 = 5. Suppose 2*j = -n*c + 405, -3*j + c + 617 = -c. Does 41 divide j?
True
Let n = -14990 + 21870. Is n a multiple of 16?
True
Suppose -220*d + 194409 = -209*d - 33841. Is d a multiple of 125?
True
Suppose -4*t = -1803 - 13. Is 3 a factor of t?
False
Is (-10 - 4) + 9 + -1*25*-789 a multiple of 29?
True
Let c(s) = -s**3 - s**2 - 9*s + 13. Let x be c(-5). Suppose -k + 84 = -5*r, -2*k - 8*r = -13*r - x. Is 24 a factor of k?
False
Is 2457 + 3 + -14 - 14 a multiple of 22?
False
Let s = 4591 + 2996. Is s a multiple of 27?
True
Suppose -960*m + 110264 + 56056 = -932*m. Does 60 divide m?
True
Let n be (-1)/(-3) - 7/21. Let i = 65 - 60. Suppose -i*a + n = -5, -c + 3*a + 87 = 0. Does 45 divide c?
True
Suppose 3*b = -47*d + 42*d + 23703, d = -4*b + 31587. Is b a multiple of 47?
True
Suppose 0 = 4*t - 4*v - 116896, -2181*v = -t - 2176*v + 29240. Is t a multiple of 30?
True
Suppose 0 = o + 26*o. Suppose o = -5*u - 12*u + 4845. Is u a multiple of 6?
False
Let r(g) = -34*g + 34. Let f = 16 + -33. Is 36 a factor of r(f)?
True
Let f = 659 + -634. Suppose -828 = 22*h - f*h. Is h a multiple of 23?
True
Let n be 7/(-1)*-1 + -4. Suppose -n*j - 4*s + 205 = 0, -7*j + 3*j + 3*s + 265 = 0. Let y = j + 101. Is 24 a factor of y?
True
Suppose 666 + 195 = -7*y. Let x = 413 - y. Does 67 divide x?
True
Let a(f) = f**3 + 32*f**2 + 119*f + 33. Let k be a(-28). Let i = 68 - k. Does 11 divide i?
True
Let n be 6/51 + (3255/119)/(-3). Let h(f) = f**3 + 15*f**2 + f + 9. Is h(n) a multiple of 54?
True
Let d(f) = 209*f. Let z be 1/(15/(-18))*(-200)/12. Suppose 22 = -3*o - 5*v - 0*v, 3*v + z = 5*o. Is d(o) a multiple of 14?
False
Let s(f) = -23*f**3 + 23*f**2 + 302*f + 5. Is 9 a factor of s(-8)?
False
Let b = -1 - -1. Suppose -4*x - 4*c + 372 = b, -x + 4*c + 70 = -23. Suppose x = -6*d + 765. Is 16 a factor of d?
True
Suppose 0*z = -13*z - 5161. Let y = z - -1020. Does 15 divide y?
False
Let x be 1 - -762 - (11 + -12). Let y = -350 + x. Is y a multiple of 13?
False
Suppose 0*h = h - 49. Suppose 47 = -o + h. Is (o - (-104)/(-20))/(4/(-170)) a multiple of 5?
False
Let u(m) = 16 + 118*m**2 - 129*m**2 + m**3 - 27*m + 0*m**3. Let h be u(13). Suppose -438 = -9*b + h*b. Does 39 divide b?
False
Let b be 130/(-70) + 0 - (-2)/(-14). Is 28 a factor of b*7/(-2)*92?
True
Suppose 0*j - 2 = -j. Suppose 0 = -l - j*l - 12. Is 14 a factor of (l/6)/((-12)/1062)?
False
Suppose 0 = -b - 0*i - i + 969, 5*b - 2*i = 4824. Suppose -5*z - 2020 = -5*k, 2*z - 2993 = -5*k - b. Is k a multiple of 45?
True
Let t(u) = 2*u**2 - 8. Let l(j) = -3*j**2 - j + 9. Let v(a) = 3*l(a) + 4*t(a). Let g be v(-5). Does 19 divide (-2045)/(-25) + (-3)/g?
False
Let k(z) = z**3 - 5*z**2 + 6*z - 5. Let h be k(4). Suppose -h*f + 2*r - 4*r = 13, 22 = -2*f - 4*r. Is 41 a factor of (-3 - -158)/(f + 2)?
False
Suppose 11*s + 42189 = 52*s. Suppose 5*v - s = 1601. Is 89 a factor of v?
False
Let c(o) = -2*o - 6. Let v(p) = -1. Let i(u) = -c(u) - 3*v(u). Let j be i(-3). Suppose -j*f + 112 = f. Is 7 a factor of f?
True
Let q = 152065 + -101449. Does 9 divide q?
True
Let h = 24088 + -3119. Is 13 a factor of h?
True
Suppose 114*x + 40 = 124*x. Let p(g) = 2*g**2 + 2*g - 3. Is 8 a factor of p(x)?
False
Does 184 divide (-16)/(-7) - (-2092920)/35?
True
Suppose 4*p = -5*c + 39968, 17*c - 22*c + 39986 = -2*p. Is c a multiple of 20?
False
Suppose 0 = -386*y + 384*y + 6. Suppose 4*z + 3*d = 15, 4*d = 4*z + 3*d - 11. Suppose 3*a - 18 = -y*w + 81, z*a - 87 = w. Does 10 divide a?
True
Let r(d) = -d**2 + 12*d + 3. Let h = -10 + -6. Let k(f) = f + 21. Let a be k(h). Is 38 a factor of r(a)?
True
Suppose -8*g = -12*g - 2*