et f be v(1). Is -1 - -41*f/(-4 + -1) a multiple of 26?
True
Suppose 0 = -24*u + 29*u + 50. Does 15 divide ((-8)/u)/(2/(604 + -4))?
True
Let z(g) = 39*g**2 - 203*g + 5674. Is 59 a factor of z(32)?
False
Suppose q + j - 78 = -3*j, 0 = 2*q + 3*j - 136. Let z = q - 142. Does 13 divide 4/(-2) - (z + 4)?
False
Let q be 2/(1258/(-2205) + (-88)/(-154)). Suppose -75 = -5*j + q. Is 38 a factor of j?
True
Let v(c) = 12 + 34*c - 45*c + c**3 - 12*c**2 + 33*c. Does 33 divide v(12)?
False
Suppose -6*j = -2*j - 96. Let z be 7 + j/(-16)*(-2)/(-1). Suppose -5*b = -b + 4*h - 604, z*b - 644 = 4*h. Does 13 divide b?
True
Is 37 a factor of -17 + 64841*(-28)/(-98)?
False
Suppose -138*j - 32 = -130*j. Does 14 divide (240 - -1)*(-45)/60*j?
False
Suppose 0 = 5*w - 2*o + 422 - 2658, o = -3. Let g = 626 - w. Does 18 divide g?
True
Suppose -27*r = -217957 + 56497. Does 130 divide r?
True
Let i be ((-826)/(-42))/(-1*3/(-9)). Let a = -30 - -51. Let m = a + i. Does 10 divide m?
True
Let j(g) = g**3 + 94*g**2 - 284*g + 28. Does 49 divide j(-91)?
True
Let l = -50 + -110. Let a = 698 - 466. Let g = a + l. Does 12 divide g?
True
Does 6 divide (-9 - (-70)/5)/(1/329 - 0)?
False
Is 195687/21 - ((-92)/210 + (-42)/315) a multiple of 26?
False
Suppose -364*s + 56*s + 3404940 = 0. Is 136 a factor of s?
False
Suppose -8*o = -3*o - 10. Is 19 a factor of 112 + -1 + o - -1?
True
Suppose 9*p + 46 = -206. Let s be 4/(-14)*49/p*90. Suppose 450 = -40*v + s*v. Is v a multiple of 22?
False
Suppose -220 = -2*r - 26. Suppose -3*y = 4*t - 356, -7*t - r = -y - 4*t. Does 15 divide y?
False
Let h be (-3)/7 + 14468/84*6. Suppose 10*t = 107 + h. Let l = 317 - t. Does 57 divide l?
False
Let t(h) = -h**2 + 7*h + 8. Let d be t(8). Suppose d = -2*b + 4*b - 1282. Does 9 divide (-34)/(-9) + -4 - b/(-9)?
False
Let z = -235 + 238. Suppose -3*v = z*b - 4*b - 351, -v - 5*b = -117. Does 39 divide v?
True
Is (-1687 + 3)*(21 + -25) a multiple of 8?
True
Suppose -59*v - 3*s + 8040 = -57*v, 2*s + 12060 = 3*v. Does 23 divide v?
False
Let q be (-4 - (-112)/7)*(-1)/(-3). Suppose 665 + 127 = q*a. Is 6 a factor of a?
True
Let s(l) = -4*l - 7*l + 13*l - 45 + 4*l + 10*l. Is 37 a factor of s(31)?
False
Let a = 12979 + -1623. Does 167 divide a?
True
Suppose -19*w + 12*w + 28 = 0. Suppose -4*q + 5*q + w*v = 124, 5*v = -5*q + 680. Let u = q + -61. Is 14 a factor of u?
False
Let t(c) = -c**2 + 2*c + 8. Let r be t(4). Suppose 5*f = 4*k - 37, 2*k + r*f = 3*f + 21. Let z(h) = 56*h + 7. Is 25 a factor of z(k)?
True
Let y be 124/((-2)/1) + -4. Let g be 0 + (3 - 0) + y. Does 14 divide (-6)/9*g/3?
True
Let j = 31 - 30. Suppose 4*w + 1 + j = 5*z, 0 = -5*w + 3*z + 4. Suppose -65 = -w*b + 145. Is 21 a factor of b?
True
Let r = 3144 + -2019. Let j = r - 685. Is j a multiple of 30?
False
Suppose 0 = 4*k - 4*j - 4068, 572 = 5*k + 3*j - 4481. Let t = 1750 - k. Is 7 a factor of t?
False
Suppose 5*o = 3*d - 16, -56*d + 3*o + 3 = -52*d. Is 42 a factor of (-69)/(-46) + ((-2763)/2)/d?
True
Let z be (-3)/(-18) - 609996/72. Is (-16)/6*(z/12 + 10) a multiple of 116?
True
Let o = 39388 - -23986. Is o a multiple of 19?
False
Let c(s) = 2*s**2 + 8*s + 4. Let l be c(-4). Let u be (-3 - 0) + 63*4 + -2. Suppose -182 = -2*m + 5*w, l*m - w = m + u. Is 12 a factor of m?
False
Suppose 3*o - 22042 = -2*t, 19*o - 14*o = -2*t + 22038. Is t a multiple of 104?
True
Let i(t) = -160*t + 33. Let c be i(2). Let g = c + 538. Is 30 a factor of g?
False
Suppose 5*f = 4*a, a = f - 6*f. Suppose f*g + 51 = 4*z - 3*g, 2*g = 4*z - 50. Is 12 a factor of z?
True
Let b(j) = -26*j - 282. Let h be b(-11). Does 10 divide (-1 - h)/((-3)/312*1)?
True
Suppose -27*f - 1037 = 97. Let y = 32 - 85. Let u = f - y. Does 5 divide u?
False
Let t(w) = -2*w**2 - 9*w - 4. Let q be 798/(-168) - (-1)/(8/6). Let m be t(q). Is (-11)/((-22)/520) + m/4 a multiple of 43?
False
Suppose -4*p + 803 + 189 = 0. Is p - 4/((-28)/49) a multiple of 16?
False
Let r(u) = 25*u**2 - 3*u + 6. Suppose -16 = -37*i + 41*i. Is r(i) a multiple of 11?
True
Does 97 divide (-388)/(-10)*(-7 - 13)/(-2)?
True
Suppose 12*n + 1453 = 3901. Let g be 1/1 + 2*5. Suppose g*j - n = 7*j. Is j a multiple of 17?
True
Let r(c) = c**2 - c + 215. Suppose 12 = 5*w - 3*b, 5*w - 8 = 2*b - 0*b. Is r(w) a multiple of 16?
False
Let a = 23 - 20. Suppose -3*w + a*t + 399 = 0, -4*w = -5*w + 2*t + 137. Let y = w - 89. Does 8 divide y?
True
Suppose -b - 2*w = -273 - 1765, 3*b - 6110 = -5*w. Is b a multiple of 14?
True
Let d be (-2 - 4)/(1/(-2)). Let a(o) = 2*o**2 + 12 - 32*o - 26*o + 50*o - o**2. Is 20 a factor of a(d)?
True
Suppose 140 = 86*y - 58*y. Suppose 0 = -5*j + a + 2237, 149 = -y*j - a + 2392. Is 52 a factor of j?
False
Suppose -30*p + 28*p + 902 = -2*d, -2*p = 10. Let o = 539 + d. Is 10 a factor of o?
False
Let v be 20/(-8) - ((-15)/6 + 2). Let l = v - -7. Suppose 0 = d + 5*y - 108, 2*d = 4*d + l*y - 236. Does 14 divide d?
False
Let b be (-2)/9 + (-1 - 232/9). Let j = 25 + b. Is 1/(-5) - ((-442)/10 - j) a multiple of 21?
True
Let i be 60/25*(-20)/(-3). Let r be i/(-12)*9/(-6). Suppose 4*p + 328 = r*j, -5*p = -10 - 15. Does 29 divide j?
True
Let p = -12656 - -16592. Is p a multiple of 3?
True
Let k be -3 + 49 - (-3)/1. Let c = k - 38. Suppose -z - c = -3*s + s, -4*s = 5*z - 1. Does 2 divide s?
True
Let t be 225/(-4) + (-26)/(-104). Let q be (-1787)/(-7) - (-16)/t. Let v = q - 175. Is v a multiple of 20?
True
Let x(w) = -472*w - 1. Let z be x(-1). Suppose -5*d = -499 - z. Does 9 divide d?
False
Let r(i) = 13*i + 35. Let k be r(-24). Let b = k + 482. Is 29 a factor of b?
False
Suppose -23*t + 117393 = 22*t - 267042. Is t a multiple of 66?
False
Suppose 5*w - 84 = -74. Suppose 0 = -4*q - 15 + 3, 2*q - 682 = -w*l. Is 21 a factor of l?
False
Suppose 0*o - 9*o + 78480 = 0. Is o a multiple of 32?
False
Let i(y) be the first derivative of 172*y**3/3 - 2*y**2 - 8*y + 14. Does 7 divide i(-1)?
True
Let k be ((-3)/2)/(10517/(-2104) + 5). Let v = -589 - k. Does 55 divide v?
False
Suppose 0*f = -3*f - 3. Does 23 divide (-301)/f - (5 + -12 - -9)?
True
Let m be 1 - (2 + -7 + 1). Let z(x) = 22*x**2 + x**2 - 2 + m*x + 4*x**2 - 4. Is 34 a factor of z(2)?
False
Let q = -48 + 53. Suppose -2*m + 3*b + 70 = 0, -m - 3*b = -0*b - 17. Suppose 5*d - 2*v - 509 - m = 0, -2*d = -q*v - 211. Does 12 divide d?
True
Let h(b) = -681*b**3 - b**2 + b + 3. Is h(-2) a multiple of 45?
True
Suppose -30*s = -24*s + 3648. Let j = 894 + s. Does 13 divide j?
True
Suppose 3*z = -u + 8, -2*z - u + 1 + 5 = 0. Does 19 divide -1 - (z - (336 + -5))?
False
Let i(k) be the second derivative of -1/12*k**4 + 4*k**2 + 0 + 12*k + 8/3*k**3. Does 8 divide i(16)?
True
Let m(a) = 29*a + 3261. Does 26 divide m(0)?
False
Let s(v) = -3*v**3 - 26*v**2 - 25*v. Let n be s(-10). Is ((-8)/10)/((-1)/n) a multiple of 13?
True
Let f = 235 - 239. Let r(m) = -12*m**3 - 2*m**2 + 10*m + 4. Is 70 a factor of r(f)?
True
Let z = 137 + -210. Let o = z - -92. Is o a multiple of 19?
True
Let u(t) = -32*t + 51*t + 22*t + 14. Let j be u(3). Let x = j + -86. Is x a multiple of 9?
False
Let o(t) = 128*t**2 - 25*t - 14. Is o(-6) a multiple of 7?
False
Let t = 11498 + -6080. Is 7 a factor of t?
True
Does 51 divide (158/30 + 198/(-30) + 7)*513?
True
Let v = -63 - 15. Suppose 0 = -44*u + 72*u + 840. Let r = u - v. Does 8 divide r?
True
Let z(u) = 63*u**2 - 13*u - 44. Let r be (9/15)/(4/(-20)). Is z(r) a multiple of 38?
False
Suppose 7096*z - 287820 = 7055*z. Does 108 divide z?
True
Let y(b) = 366*b**2 + 34*b - 159. Is 78 a factor of y(5)?
False
Suppose 0 = 4*a + a - 5, 2*v = -4*a + 8. Let l = v + 0. Is 18 a factor of (l + (-1)/(-1) - 0)*54?
True
Suppose -4*x = -s + 124 - 23, 106 = -4*x + 2*s. Let a be 2*((-1)/(-2))/(13/715). Let l = x + a. Does 4 divide l?
False
Does 15 divide 105/30*(1252/70)/(7/140)?
False
Let n(l) = -184*l**3 - 3*l**2 - 25*l - 37. Is n(-2) a multiple of 2?
False
Suppose 4*n = 13*n + 8361. Let z = -621 - n. Is 22 a factor of z?
True
Let n(r) be the first derivative of -3*r**4/2 - r**2/2 - r - 1. Let y be n(-1). Suppose -y*u + 182 - 38 = 0. Does 12 divide u?
True
Let d(r) = -340*r**3 + 3*r**2 + 4*r + 1. Let b be d(-2). Suppose b = 2*o + 4*p + 999, 4*p + 3416 = 4*o. Is 28 a factor of o?
False
Let r(b) = 4*b**3 + 16*b**2 - 35*b - 12. Let y(k) = 17*k**3 + 64*k**2 - 141*k - 47. Let o(i) = -9*r(i) + 2*y(i). Is 14 