03/(-1) + -1)*13/(-26). Let l = 12 + g. Is l a multiple of 10?
False
Let s(v) = v**2 - 7*v + 10. Let n be s(5). Suppose -2*w - 5*t + 245 = n, 157 + 53 = 2*w - 2*t. Does 22 divide w?
True
Suppose 0 = -l - 2*b - 7 - 0, -b + 1 = 2*l. Suppose -4 = c - 2*c, 24 = 4*y - l*c. Let h = 21 - y. Does 7 divide h?
False
Let f be (-3)/6 + 68/8. Suppose -3*c + 4*q - f = 2, -c = 4*q - 18. Suppose -j + 42 = 5*t, -t + 4*j = c*j - 15. Does 3 divide t?
True
Suppose -2*s + 3*m + 50 = 0, 3*m = -s + 7*m + 35. Is s a multiple of 6?
False
Suppose g - 1363 = -52*s + 49*s, 4089 = 3*g + 2*s. Is g a multiple of 17?
False
Suppose 2*q - 12 = -0*q. Suppose 7*s = q*s + 15. Is 7 a factor of s?
False
Suppose i - 12*r = -16*r + 273, i = -3*r + 273. Does 5 divide i?
False
Suppose c = 4*h - 883, 11*c - 865 = -4*h + 6*c. Is h a multiple of 20?
True
Let j(p) = -p**3 - 13*p**2 - p - 15. Let o(i) = -12*i**2 - 2*i + 1. Let k be o(1). Let c be j(k). Is (3/c)/((-21)/28) even?
True
Suppose -2*d + 1338 + 930 = 2*g, -4522 = -4*d + 3*g. Is 5 a factor of -2 + d/20 + 3/(-5)?
False
Let w(u) = -4*u + 27 - 3*u - 10*u**2 + 0*u**3 + u**3. Is 24 a factor of w(11)?
False
Let u(b) = 486*b**2 + 9*b + 3. Is u(-1) a multiple of 18?
False
Let u = -3 + 4. Suppose u + 7 = 4*n. Suppose n*z + 5*o = 33, -5*o = 2*z - z - 19. Is 4 a factor of z?
False
Let v(z) be the first derivative of z**4/4 - 4*z**3 + 5*z - 4. Let b be v(12). Suppose -b*x + 2 = -233. Is 15 a factor of x?
False
Let i = 21 + -8. Suppose -i*a + 1410 = -3*a. Is 47 a factor of a?
True
Suppose -3*p + 2*i = -298, 18*p - 14*p = -5*i + 359. Is 24 a factor of p?
True
Let q = 52 - 75. Does 11 divide 66/(-12)*(q - 1)?
True
Let w be (-9)/7 + 14/49. Let q be 4/3 + 5/(-15). Does 12 divide 17 + -3 + (w - q)?
True
Suppose -2*g + 13 = -g. Suppose 0 = -4*y - g + 57. Does 11 divide y?
True
Let q be 7/28 + 7/4. Suppose -y - q*z + 61 = -6*z, 3*z + 12 = 0. Is y a multiple of 7?
False
Suppose -16*b + 4*b + 1308 = 0. Suppose -37 + b = s. Is s a multiple of 12?
True
Let g be (-1 + -5)/6 - (-331 - 1). Suppose 4*k = -2*a + 330, -2*k = 2*a + 3*k - g. Is 27 a factor of a?
False
Suppose 2*n - 251 = 839. Is n a multiple of 11?
False
Let w(m) = -10*m + 56. Let v be w(6). Let y(j) = -11*j + 20. Is 16 a factor of y(v)?
True
Suppose -19*z = -10319 + 1142. Does 21 divide z?
True
Let k be (-5)/(-10)*(2 - 164). Does 3 divide 1/(-2)*(k - (-5 - -2))?
True
Suppose -7*g + 2*g + 330 = 0. Suppose -3*s + 7 - 205 = l, s + 2*l = -g. Let b = s + 94. Does 9 divide b?
False
Let d be 510/65 + 2/13. Let k be (-6)/d*(2 - 6). Suppose 41 = 2*p - k. Is 13 a factor of p?
False
Suppose 44 = 3*i - 7. Let r = i - -18. Suppose -3*s = -r - 97. Is 11 a factor of s?
True
Let c(i) = 15*i**2 - 22*i - 53. Does 18 divide c(-5)?
True
Let h(j) = j**2 - 33*j + 95. Does 19 divide h(33)?
True
Let u(l) = 63*l - 777. Does 7 divide u(15)?
True
Let a(p) = -p**2 + 9*p - 1. Let m be a(8). Suppose m*k - 57 = 6*k. Does 19 divide k?
True
Let f(u) = -u + 3. Let b be f(0). Let n = b + 1. Suppose n*r + 22 - 54 = 0. Does 4 divide r?
True
Let m be 0/(5/5*2). Suppose 3*f - f - 6 = 0, m = o - 3*f - 20. Is o a multiple of 29?
True
Let r(a) = -3*a**3 + 50*a**2 + 8*a + 124. Is 104 a factor of r(16)?
False
Let m(h) = 5*h + 10*h - 2 - 3. Is 30 a factor of m(9)?
False
Let j(l) = 23*l**2 - 14*l + 11. Let x(q) = 8*q**2 - 5*q + 4. Let t(h) = 4*j(h) - 11*x(h). Suppose -3*i + 9 = -a, 9*i - 15 = 4*i - 5*a. Does 11 divide t(i)?
True
Suppose 40 = -3*h + 145. Let l = -16 + h. Does 18 divide l?
False
Let p(o) be the first derivative of o**3/3 - o**2 + o - 12. Is p(4) a multiple of 3?
True
Let j be (-1*12)/(-2) - 0. Let s(v) = v - 3 - j*v - 4*v. Is 17 a factor of s(-6)?
True
Suppose 5*s = -840 - 735. Let l = -210 - s. Does 21 divide l?
True
Let f = 664 + -462. Does 9 divide f?
False
Let w(h) = -2*h**3 + 32*h**2 - 23*h - 7. Is w(15) a multiple of 14?
True
Let c(a) = 82*a**2 - 2*a + 1. Let b be c(1). Let l = b + 210. Does 25 divide l?
False
Suppose -10*x + 410 = -5*x. Let i = -14 + x. Does 14 divide i?
False
Let y(d) = -10*d + 21. Let z be y(7). Let x = z - -85. Suppose 2*b + b = x. Is 12 a factor of b?
True
Let q = 55 + -52. Let d(r) = 14*r**2 + 4*r + 4. Is d(q) a multiple of 10?
False
Let v(g) = 8*g**2 + 19*g - 16. Does 9 divide v(-10)?
True
Suppose 0 = -4*c + 2 + 2, 4*m = -4*c + 420. Suppose -2*b = 5*d + 16, -d - 2 = 5*b - 8. Suppose 2*y = -b*y + m. Does 15 divide y?
False
Let d be 2*(13/(-2) - -5). Is 10 a factor of (4/3)/(-3*d/513)?
False
Let v = 18 - -517. Suppose -u + 4*x + 142 = 0, -4*u + 2*x = -3*x - v. Is 28 a factor of u?
False
Let i be 1*(-3 - 12/(-4)). Let l be (i - -2)/(6/12). Suppose 0 = -l*h + 76 - 0. Is h a multiple of 10?
False
Let a(y) = 10*y + 21. Let t(j) = -21*j - 43. Let h(m) = 13*a(m) + 6*t(m). Is 16 a factor of h(15)?
False
Let o(g) = -77*g - 44. Does 28 divide o(-2)?
False
Suppose -y + 125 = 4*w, -3*y = 5*w - 2*y - 155. Suppose -w = -5*p + 425. Does 22 divide p?
False
Let h(f) = 206*f**2 - 57*f - 1. Is h(-3) a multiple of 9?
False
Is 10 a factor of (-2866)/(-14) + (-62)/(-217)?
False
Suppose -4*g - g + 30 = 0. Let t be 2/g + 207/27. Suppose -2 = y - t. Is 3 a factor of y?
True
Suppose 0*s = -s + 136. Suppose 2*x + s = 3*u, 3*u - 3*x + 2*x - 134 = 0. Is 4 a factor of u?
True
Is 141 a factor of 30429/46*120/14?
False
Suppose 5*w = b + 15, 7 = 4*w - 5. Suppose b*q + 1 = q. Let a = 19 - q. Does 9 divide a?
True
Is 5/(3 + -2)*24/10 a multiple of 7?
False
Let v be 2*-30*4/(-8). Let f = v + -50. Is ((-12)/(-5))/((-3)/f) a multiple of 8?
True
Let n(h) be the third derivative of h**5/30 - 3*h**4/8 + 4*h**3/3 + 5*h**2. Let r be n(5). Let u = r - -42. Is 28 a factor of u?
False
Let b(t) = -3*t + 24. Let z be b(14). Let p = z + 48. Does 15 divide p?
True
Suppose 6 = -5*b - 3*d, -2*d = 1 + 3. Let f = b + 44. Is 3 a factor of f?
False
Let k(d) = d**3 - 5*d**2 + d - 6. Is 3 a factor of k(6)?
True
Let q = 4 + -3. Let l(b) = -116*b + 102*b + 5 + q. Is l(-4) a multiple of 13?
False
Suppose 4*d - 5445 = -29*d. Is 5 a factor of d?
True
Let r(n) = 5*n + 232. Does 3 divide r(-41)?
True
Suppose -4*i - i = 0. Let m be (-7 - (2 - -3))/(6/(-48)). Suppose m = -i*x + 2*x. Is x a multiple of 16?
True
Suppose -2 = -2*o - 26. Is 8 a factor of (10/o)/(-5) - (-239)/6?
True
Let i = 34 + -31. Suppose 3*l + i*z + 241 = 634, -2*l = z - 263. Is l a multiple of 33?
True
Is 1303 + -22 + (-2)/(4/6) a multiple of 13?
False
Suppose 3*v - 514 = -4*u + 384, -233 = -u - 5*v. Is 3 a factor of u?
False
Does 16 divide (-736)/(-56)*(693/2)/9?
False
Let i = 605 + 83. Is 43 a factor of i?
True
Suppose 4*o = 4*j + j + 37, 3*o - 30 = 3*j. Suppose -3*y = y + 4. Let f = o - y. Is f a multiple of 2?
True
Let k(d) be the first derivative of 11*d**3/3 - d**2 + d + 3. Is 26 a factor of k(-2)?
False
Suppose 2*n - 4*r - 50 = 0, 5*r - 23 = -8. Let m = n - 29. Suppose -m*p = -p - 36. Is 12 a factor of p?
True
Suppose -5*d = -1 + 46. Let j be ((-6)/d)/(4/18). Suppose 2*b - n = 87, 2*b - 135 = -b + j*n. Is 11 a factor of b?
False
Suppose 2*q + 6*t - 23 = t, -11 = -2*q - t. Does 8 divide 4945/35 - q/14?
False
Let c = 624 - -59. Is 29 a factor of c?
False
Let g = 70 - 66. Suppose g*a = -4*x + 176, 6 = -a + 4*a. Is x a multiple of 14?
True
Let k = -5 + 7. Suppose 3*y - 115 = k*y. Does 23 divide y?
True
Let r be 130/60 + 1/(-6). Suppose -1 + 31 = -r*k. Does 9 divide 2/10 - 582/k?
False
Let j(z) = z**2 - z + 5. Let i be j(0). Suppose 51 = -i*q - o, 4*q = 5*q - 3*o + 7. Is 11 a factor of 9 + q + 23 + 0?
True
Let b be 2/3 - 2/(-6). Let x be (3 - 11) + 3 + b. Is 29 a factor of x/(-14) + (-439)/(-7)?
False
Is (-8)/(-32) + 1503*(-2)/(-8) a multiple of 4?
True
Let g(s) = -s**2 + 8*s - 6. Let q be g(7). Suppose 0 = d - 2 - q. Does 24 divide 1/d - (-71)/3?
True
Suppose 15 = 3*j, 3*x - 27 = -3*j + 36. Let b be 4 + -1 + 1 - x. Is 6 a factor of -2*(-12)/(-8)*b?
True
Let k be (-2 - 4)*(-2)/3 + 232. Let b = 118 - 285. Let g = k + b. Does 17 divide g?
False
Let l = 558 + 217. Is l a multiple of 25?
True
Suppose 2*r = 2*v - 28, 4*v + 3*r = 57 + 27. Suppose -21*g = -v*g - 648. Does 12 divide g?
True
Let g(m) = 3*m**2 + 6*m + 2. Suppose -2*y = -3 - 9. Let q = y - 10. Is 15 a factor of g(q)?
False
Suppose -30*j = 13*j - 8514. Is j a multiple of 33?
True
Let x = -26 - -27. Is 8/x*(-1)/((-12)/78) a multiple o