actor of v?
True
Suppose 134*i = 9692 + 492. Is 15 a factor of i?
False
Let p(a) = -a**3 - 9*a**2 + 26*a - 45. Let k be p(-14). Let b = k + -391. Does 20 divide b?
True
Does 33 divide ((-3)/(-2) + 1/(-2))*(9 - -15892)?
False
Let b(u) be the first derivative of u**4/4 - 4*u**3 - 5*u**2 - 4*u + 48. Does 31 divide b(14)?
True
Suppose -u - 119 = 4*w, -104 = 3*w - 2*u - 12. Does 20 divide ((-1)/1)/5 - 7896/w?
False
Let m(y) = -y**3 + 5*y + 10. Let f be m(-3). Let v = f + 365. Is 43 a factor of v?
True
Suppose -15845 = y - 6*y - b, 3*y = -4*b + 9524. Is 144 a factor of y?
True
Suppose 3*y + 43 = 184. Suppose 2*q - 11 = -y. Does 7 divide (-3)/q - (-2095)/30?
True
Suppose 4*u = 3*j + 10, -10*u = -7*u - 3*j - 6. Suppose 2*q + 6*g - u*g = 164, 0 = -g - 3. Is q a multiple of 17?
True
Suppose -4*c - c + 59305 - 14755 = 0. Is 57 a factor of c?
False
Is 76753/5 - 54/(-135) a multiple of 17?
True
Suppose 4*m + 28*m - 28608 = 0. Suppose 5*u + m = 8*u. Is u a multiple of 9?
False
Let g be ((-32)/(-28) - 1)/(2/14). Let b(v) = 7*v - 5. Let x be b(g). Let o(z) = 19*z**2 - 2*z + 3. Is o(x) a multiple of 15?
True
Let w(q) = 4*q**2 + 65*q - 22. Let v be w(-21). Let a = 708 - v. Does 28 divide a?
False
Let f = 5 + 17. Let p(z) = z**2 - z - 28. Does 14 divide p(f)?
True
Let j(u) be the first derivative of u**4/4 - 3*u**3 + 19*u**2/2 + 8*u - 21. Let d be j(12). Is d/(-12)*-3 + -2 a multiple of 11?
True
Let x = 53 - -1. Suppose x + 16 = -7*d. Is 230/d*(-1 + -8) a multiple of 32?
False
Let i = -14819 + 27359. Does 12 divide i?
True
Let p(u) = -269*u - 107. Let j be p(5). Is 22 a factor of 1/(((-42)/j)/7)?
True
Let n = 195 - 99. Let a = 110 - n. Is a a multiple of 7?
True
Let x = -278 - -278. Suppose 5*z - 113 - 107 = x. Is 13 a factor of z?
False
Let p be 8/(-4) + 8/((-56)/21). Is (7 + 6/(-3))*(-409)/p a multiple of 22?
False
Suppose -5*n - 2863 + 18371 = 2*b, -5*n + 3*b + 15538 = 0. Is 194 a factor of n?
True
Suppose 90*c + 1860 - 105927 = 3933. Does 25 divide c?
True
Let l(u) = 2*u**3 - u**2 - 3*u - 9. Let b(o) = o**2 - o + 3. Let m(w) = -3*b(w) - l(w). Let n(r) = 2*r + 3. Let d be n(-3). Is 15 a factor of m(d)?
False
Is 45 a factor of (((-52)/10)/((-4)/(-240)))/((-2)/81)?
False
Suppose -60*z - 226 = -62*z. Suppose -82 - z = -f. Is f a multiple of 13?
True
Suppose 0 = 5*t + 5*u + 150, -2*t - 3*u = -6*u + 65. Suppose -2552 = -14*v - 2*r, 46*v - 3*r = 48*v - 370. Let z = t + v. Is z a multiple of 14?
False
Suppose 4*q = -4*g - 12, -5*g - 3*q - 13 = -4. Suppose -13*d + 2951 = -g*d. Is d a multiple of 28?
False
Let y(h) = -13*h + 9. Let d(c) = c - 2. Let x(g) = 2*d(g) + y(g). Is 11 a factor of x(-39)?
False
Let l = 406 + 2095. Let x = -1346 + l. Is 16 a factor of (-2)/6 + x/9?
True
Suppose -26 = -8*p + 6*p - 2*g, p + 5*g - 33 = 0. Is 11 a factor of 382/p + (-12)/16?
False
Does 11 divide (-390)/(-2925) + (-19033)/(-15)?
False
Let t(s) = -109*s - 2. Let o = -200 + 199. Is t(o) a multiple of 13?
False
Let j(n) be the first derivative of 13*n**3/3 - n - 79. Let d = -9 - -7. Is j(d) a multiple of 7?
False
Let z(l) = 2*l**2 + 10*l - 25. Let w be z(-7). Suppose -2*u + h = -75, 159 = w*u + 2*h + 36. Is u a multiple of 13?
True
Let a(b) = 22*b**2 + 3*b + 4*b**2 + 14*b**2 - 6 - 2*b - 11*b**2. Is a(-5) a multiple of 14?
True
Let k be (28/(-6))/((-2)/3) - 3. Is 15 a factor of k/(0 - 4) - (-1286 + -6)?
False
Let n(s) = 6*s + 86. Let h be n(-14). Suppose l - 435 = -4*x - 63, 0 = -h*x - 5*l + 204. Is x a multiple of 9?
False
Suppose -24*m + 64 = -8*m. Suppose m*q - 638 = q - 2*z, q + 2*z = 218. Is q a multiple of 7?
True
Let s(j) = -j**3 - 2*j**2 - 3*j - 50. Let x be (-7 - 87/(-12)) + 50/(-8). Is 24 a factor of s(x)?
False
Let h(d) = -256*d - 32. Suppose 0 = -a - 30 + 29. Is h(a) a multiple of 8?
True
Let f(t) = 199*t - 8779. Is f(47) a multiple of 3?
False
Suppose 4*u = 2*f + 24, u = 3*f + 14 + 7. Does 14 divide (10/(-3)*46)/(4/f)?
False
Suppose 3*w + 2*i = 8977, -6*w = -3*w + 4*i - 8975. Is 11 a factor of w?
False
Let w(p) = p**3 - 7*p + 15. Let n be w(6). Suppose 6*h - 2*h + 4*u = 804, 3*u + n = h. Is (-112)/(-42)*h/4 a multiple of 22?
True
Suppose 8874 = 2*w + 29*o - 32*o, 3*o + 6 = 0. Is 32 a factor of w?
False
Let v = -771 + 3314. Is 82 a factor of v?
False
Let c(r) = r**3 + 5*r**2 - 4*r - 16. Let h be c(-5). Suppose -5*k = 0, h*b + 0*b - 5*k - 228 = 0. Is b a multiple of 14?
False
Let q(g) = g**3 + g**2 + 1. Let b(d) = 7*d**3 + 26*d**2 + 19*d + 34. Let m = -64 + 58. Let k(u) = m*q(u) + b(u). Is 4 a factor of k(-19)?
True
Suppose -10*l + 3234 = -7*l + 6*a, 4*a = -4. Does 45 divide l?
True
Let n = 60 + -48. Let h = -33 + n. Does 18 divide (h/(-5) + -5)/((-2)/395)?
False
Let p be 0 + (10 - (-8 + 14)). Suppose -3*w = s - p*w - 536, 2708 = 5*s + 2*w. Is s a multiple of 6?
True
Let n = 11214 - 7313. Is 60 a factor of n?
False
Let d be (-1 + 1)*(4 + (-28)/8). Let r(q) = -q + 305. Let s be r(d). Suppose -5*b + 5*f = -0*b - s, -2*b - 5*f = -115. Is 10 a factor of b?
True
Let c be -1 + (1 - 0) - 194/(-2). Let o = -152 + c. Let k = o + 85. Is k a multiple of 5?
True
Let b = 45 + -38. Let s(r) be the second derivative of r**5/20 - 7*r**4/12 - r**3/6 + 12*r**2 - 17*r. Is s(b) a multiple of 4?
False
Suppose -k + 10*j - 14*j + 44191 = 0, -j + 88361 = 2*k. Is 15 a factor of k?
False
Let c be ((-36)/180)/((-2)/2330). Suppose 10*f - 697 = 7*f + 4*l, -l = -f + c. Is 26 a factor of f?
False
Suppose -4*c + 106 = 2*d - 4*d, -4*d - 3*c - 157 = 0. Let f = d + 96. Let b = -30 + f. Does 23 divide b?
True
Suppose -43931 = -4*l - 3*q, 161*q + 9 = 158*q. Is 28 a factor of l?
False
Let s be ((-1)/((-8)/(-66)))/((-12)/64). Let g = 246 + s. Suppose -5*b + 685 = 5*k - g, 4*k = 0. Does 13 divide b?
True
Suppose 49 = -17*z + 24*z. Let a = -65 + 93. Let r = a - z. Is 7 a factor of r?
True
Suppose 80*t = 872236 - 293036. Is 40 a factor of t?
True
Suppose 212 = 2*t + 2*t - 2*n, 4*n - 106 = -2*t. Suppose -580 = t*i - 8106. Does 3 divide i?
False
Let k(h) = -7*h + 7. Let n be 2 + 81 + -3 + 2. Suppose 0 = 5*g - g + 2*f + n, -f - 20 = g. Does 14 divide k(g)?
True
Suppose -388147 = -50*r - 39847. Does 100 divide r?
False
Suppose 3*s - 1078 - 482 = 0. Let x = -190 + s. Is 30 a factor of x?
True
Suppose -115*u + 462*u - 2041083 = -42*u. Is 9 a factor of u?
True
Let a be (-18)/(4/(-6) - (-825)/1305). Suppose 1014 = 6*h - a. Is 16 a factor of h?
True
Suppose 0 = -9923*s + 9936*s - 182520. Is 12 a factor of s?
True
Does 8 divide (-32)/1*(-259 - 742)?
True
Let o be 6 + -554 + -3 + -1. Let v = 834 + o. Let w = -192 + v. Is w a multiple of 21?
False
Let l = -3880 - -6654. Is 12 a factor of l?
False
Let w(g) = 152*g + 2786. Does 42 divide w(14)?
True
Suppose 0 = 2*m - 2*c - 10, 4*m + 0*c = -c + 5. Suppose -1358 = -5*q + m*d, 0 = 5*q - 5*d - 859 - 511. Is q a multiple of 27?
True
Suppose 0*d + 2*d = l + 107, 3*d + 2*l = 171. Let k = 60 - d. Suppose -k*v + 165 = -45. Is v a multiple of 19?
False
Let t(h) be the third derivative of h**6/360 + 7*h**5/60 - h**4/12 + h**3/3 - 14*h**2. Let b(s) be the first derivative of t(s). Does 7 divide b(-16)?
False
Suppose -1363*u + 1373*u - 197100 = 0. Does 27 divide u?
True
Let g(b) = -2*b**3 - 26*b**2 - 50*b - 39. Let m be g(-23). Does 14 divide m/12 + 6/8?
False
Let k = 3 - -31. Let b = k - -10. Suppose b*z - 46*z + 46 = 0. Is 2 a factor of z?
False
Is 23 a factor of 1076/5 + 1002/(-835)?
False
Suppose -5*f + 20431 = -f - 5*z, 14 = -2*z. Is 12 a factor of f?
False
Let a(f) = 55*f + 10. Let j be a(-3). Let g = j - -187. Does 9 divide g?
False
Let y(a) be the second derivative of a**4/4 - 11*a**3/6 + 2*a**2 - 18*a. Let b be y(4). Suppose -12*m = -b*m - 300. Is 25 a factor of m?
True
Let r(w) = 631*w**2 - 59*w + 18. Does 115 divide r(3)?
True
Does 10 divide -6630*(128/192)/(3*(-4)/9)?
False
Let h be 2*(-1 + 11/(-2)). Let s(v) = v + 15. Let k be s(h). Suppose -k*f = f - 3*g - 81, 103 = 4*f - 5*g. Does 20 divide f?
False
Does 2 divide ((0/(-5))/15)/(-2 - 1) + 1026?
True
Let m(z) = 2*z**3 - 4*z**2 - 148*z - 94. Is m(17) a multiple of 5?
True
Let z(c) = -44458*c**3 + 6*c**2 + 21*c + 16. Is 23 a factor of z(-1)?
True
Let o(g) = -2*g + 13. Let f be o(5). Suppose -2*z = -1 + f, -3*m + z + 337 = 0. Does 5 divide m?
False
Let w = -46 + 10936. Does 22 divide w?
True
Suppose 5*j + 7654 = 3*b, -9*b + 4*j 