 3*p = -u + 2*p + 3080. Is u a multiple of 3?
False
Let i be ((-452)/678)/(26/12 + -2). Let c(j) = 8*j**2 - 5*j + 7. Let g(s) = -7*s**2 + 4*s - 6. Let d(t) = -6*c(t) - 7*g(t). Does 3 divide d(i)?
False
Let j be (-3)/(-12) + (-380)/(-16). Suppose g + 2*k - 24 = 0, 3*g - g - 4*k = j. Suppose 4*h - g = 138. Is h a multiple of 13?
True
Suppose 3*l + 0*l + 12 = 0. Does 12 divide -288*((-160)/(-12))/l?
True
Let a = 50 - 38. Suppose 0*h = 2*h - a. Is (-1225)/(-21) + (-2)/h a multiple of 28?
False
Let a(i) = -3*i**3 - 3*i**2 + 5*i - 5. Let d be a(-3). Is 4 a factor of (-16)/(-40) - 117/(-30)*d?
False
Let u(o) = 17*o - 10. Let d = 23 + -27. Let y be 2 + 6*((-16)/d)/8. Does 25 divide u(y)?
True
Let a be (-2)/(-4) + 208/(-32). Let g(i) = -2*i**2 - 2*i**2 - 19 + 3*i + 0 - i**3. Is g(a) a multiple of 22?
False
Let h = -419 + 419. Suppose h = -5*p + 3*q + 2791, -q + 557 = p - 2*q. Does 35 divide p?
True
Let u be (15*9)/(24/32). Let t = u + -84. Does 12 divide t?
True
Let m be (-4 - (-10 + 3))/((-6)/(-4)). Suppose 0 = f + m*j - 485, -f + 485 = -2*j + 7*j. Is f a multiple of 30?
False
Let p(l) = -25*l**2 + 654*l - 24. Is 5 a factor of p(26)?
True
Let p(j) = 30*j + 40. Let f be p(7). Let x be f/(-6) - (-6)/(-18). Let g = -24 - x. Is g even?
True
Let s = -64 + 82. Let w = -14 + s. Suppose 2*a + f - 80 = 0, -f - 128 = -w*a + 20. Is a a multiple of 13?
False
Let s(h) = 2*h**2 + 51*h - 27. Let y be s(-26). Suppose 2*x + 210 = 2*i, -i + 0*x = -3*x - 97. Let t = i - y. Does 17 divide t?
False
Let l be ((-9)/9)/(1/(-17)). Let o = 19 - l. Is 13 a factor of (o + -11)*(-260)/30?
True
Let d be 1 + (-2 - -1) + 482. Let a = -310 + d. Is a a multiple of 24?
False
Let q be 2/((-3)/6 - -1). Suppose 0 = q*p - 3*l - 42 - 813, -1064 = -5*p - l. Is p a multiple of 5?
False
Let o = -148 - -67. Let t = o + 53. Does 11 divide (-16)/(15/t - 6/(-24))?
False
Suppose 0 = -12*p + 228 + 60. Suppose 0 = p*v - 6411 - 3333. Is v a multiple of 14?
True
Let i(l) = 435*l - 1092. Is i(16) a multiple of 35?
False
Let u be 256/26 + (2 - (-72)/(-39)). Suppose -5*h - 2*p + u = 0, -p + 5*p - 4 = -2*h. Let z(i) = 56*i - 2. Is 22 a factor of z(h)?
True
Suppose 0 = -3*z + 6. Let c be ((-5)/(-4))/(z/(-128)). Does 23 divide (138/8)/((-30)/c)?
True
Is (2 - (0 - 2))/((-30)/(-885)) a multiple of 4?
False
Let g(b) = -2*b - 20. Let c be g(-20). Suppose o = -o + 5*w - c, 0 = -4*w + 16. Suppose t - 182 = -3*x - o*t, 0 = -5*x + 4*t + 292. Is 10 a factor of x?
True
Suppose -3482 = -3*y + 10234. Suppose y - 612 = 5*h. Suppose -5*w = -2*c + 342, 3*c = 2*w + h - 279. Is c a multiple of 19?
True
Let h(g) = -g**2 - g - 1. Let n be h(-1). Suppose 706 - 122 = -8*q. Is n - q*(-2 - -3) a multiple of 18?
True
Let x(l) = -28*l + l + 24 - 20 - 8*l. Let y be x(2). Let u = y + 210. Is u a multiple of 16?
True
Suppose 5*p = -r - 22, 17*r - 14*r + p = 4. Does 14 divide (-549)/(-2)*(r - 1)?
False
Suppose -f - 3522 = -n, 0 = -4*n - f - 2*f + 14088. Suppose -15*h - 1032 = -n. Is h a multiple of 19?
False
Suppose 0 = 14*y - 45027 + 5981. Is y a multiple of 60?
False
Let b(y) = -y**2 - 48*y - 206. Let f be b(-43). Suppose 2*r + r + 62 = i, 0 = -3*i - 5*r + 158. Does 5 divide i + (-3 + f)*(-4)/(-6)?
True
Suppose -870 - 250 = 4*h. Let k = h - -440. Is 16 a factor of k?
True
Suppose -4*v = -4*d - 3428 + 548, v + 2855 = -4*d. Let h = 1351 + d. Does 51 divide h?
False
Suppose -54*g - 588 = -66*g. Suppose 21*q = g*q - 14196. Is 34 a factor of q?
False
Let n(c) = -c**3 - 13*c**2 - c - 8. Let i be n(-13). Suppose -2*s + 2*y = -8, -4*y = 2*s - i - 3. Suppose 0 = -s*r + 2*j + 332, -j = 2 - 0. Is 21 a factor of r?
False
Suppose 0 = -6*z + 12*z - 84. Let a = z + -3. Suppose -a*s - 3*s = -3472. Is 20 a factor of s?
False
Let d = 5577 - 3363. Is 9 a factor of d?
True
Let j be 1*5/15*0. Let m(g) = 7*g + 99. Does 31 divide m(j)?
False
Suppose 2*t + 0 = -3*k + 29, 0 = 3*k - 5*t - 1. Suppose k*c = 591 + 655. Is 6 a factor of c?
False
Let a = 28 - 70. Suppose -2*j = -333*f + 328*f - 758, 3*f = 5*j - 470. Let q = a - f. Is q a multiple of 12?
True
Suppose -5*i + 50 + 10 = 0. Suppose 0 = -3*z + 15, 0 = 4*v + 4*z + z - 25. Suppose 3*l + i = v, s - 4 = 2*s + 5*l. Is 4 a factor of s?
True
Does 2 divide ((2/(-9))/((-2)/69))/(20/480)?
True
Suppose -3*k = x - 7, -2*x = -3*k + 1 - 6. Suppose 3*f - 5*t - 286 = 0, -483 = -f - x*f + 2*t. Does 14 divide f?
False
Let x(c) be the third derivative of -181*c**4/8 + 17*c**3/6 + 12*c**2 + 1. Does 40 divide x(-1)?
True
Let t = 45 + 26. Let j be 3/(-3) + (0 - t). Does 8 divide (-56)/(-16)*j/(-14)?
False
Suppose 0 = 4*d + 4, d - 26 = 2*i - 1. Let z(s) = 3*s**2 + 12*s - 3. Is z(i) a multiple of 18?
False
Let y(x) be the first derivative of -7*x**4/6 - 37*x**3/6 + 2*x**2 - 16. Let g(t) be the second derivative of y(t). Is 26 a factor of g(-9)?
False
Let m = 8363 + 2802. Is m a multiple of 11?
True
Let j = -17653 - -28321. Is 84 a factor of j?
True
Suppose 0 = -c - 5*m - 1142 - 303, 0 = -3*c - 2*m - 4348. Let t = -630 - c. Is t a multiple of 10?
True
Let y = 9343 - 670. Is 20 a factor of y?
False
Suppose -976*x + 972*x = -5*m + 37796, 2*x = -2*m + 15122. Is 15 a factor of m?
True
Suppose -46*y = -48*y + 394. Let t = -140 + y. Is 5 a factor of t?
False
Let v(u) = -u**2 - 19*u + 28. Let j be v(-19). Let z be 2/14 - (2 + (-3832)/j). Does 37 divide (20/(-3))/(4 + (-546)/z)?
False
Let r be (-1)/5 + 49*(-4)/20. Let f = -6 - r. Does 7 divide (1368/30)/f - (-4)/(-10)?
False
Let d(y) be the third derivative of y**5/60 - y**4/12 - 11*y**2. Let x be d(2). Suppose 5*o + x = 110. Is 11 a factor of o?
True
Suppose -6714 = -4*d - o, 2*d = 8*o + 4668 - 1260. Is 5 a factor of d?
True
Let a(u) = -2*u**2 - u + 2. Let v(p) = 208*p**2 + 27*p + 56. Let n(l) = -a(l) + v(l). Is n(-2) a multiple of 28?
False
Let s = -71 - 105. Let h = s + 396. Is 22 a factor of h?
True
Let d = 2552 - -29508. Is d a multiple of 35?
True
Let q(n) = n + 23. Let p be q(-5). Suppose -54 = -0*z + 3*z - 2*f, 0 = -z - 2*f - p. Let d = 63 - z. Is d a multiple of 27?
True
Suppose 1 + 1 = -2*d, -2*v + 7 = -d. Suppose -v*c + 167 + 163 = 0. Does 19 divide c?
False
Let l(r) = -3*r**3 - r**2 - 21*r - 15. Is 7 a factor of l(-11)?
True
Suppose 2*w = -4*s + 3076, 5*w - 4*w - 1520 = 4*s. Let g be (-1)/(w/384 + -4). Let l = g - 76. Does 4 divide l?
True
Suppose -b = -5*u + 191, -19 = -u - b + 24. Suppose -u*k + 41*k = 66. Is 5 a factor of (-2 + k)/(14 - 13)?
False
Let n(t) = -1655*t - 2183. Does 26 divide n(-6)?
False
Suppose w = 5*q, -4*w - 2*q = q + 23. Let b = 1 - w. Let a(u) = 4*u**2 - 8*u + 10. Does 11 divide a(b)?
False
Let p be (-6)/(-15)*3/(3/5). Let i(f) = 24*f - 2. Is 15 a factor of i(p)?
False
Suppose -13 = -h - 0*x - 2*x, 5*h + x = 20. Suppose 0 = 2*m + m - 15. Suppose h*q = -2*s + 89, 4*q - m*s - 19 = 138. Does 12 divide q?
False
Suppose 23*l + 4*v - 445503 = 0, -4*l = -25*v + 20*v - 77456. Is 7 a factor of l?
True
Let p(r) = 16*r - 44. Let j be p(3). Suppose s - 1369 = -j*v, 5*s = v + 2*s - 339. Is 57 a factor of v?
True
Let i be (-1 + (-2)/(-4))*(3 - -369). Is (-4)/10 + (-270)/(-50) - i a multiple of 29?
False
Suppose -2*z = 5*o - 1850, -53*o + 52*o + 8454 = 9*z. Is 81 a factor of z?
False
Let t(h) = -7*h + 144. Let s be t(20). Is 72 a factor of -36*-1*(10 + s)?
True
Let h(c) be the second derivative of c**8/6720 - c**7/2520 + c**6/180 + c**5/5 + 2*c**4 - 28*c. Let o(d) be the third derivative of h(d). Does 7 divide o(0)?
False
Is 848/(-144)*30*18/(-4) a multiple of 15?
True
Suppose 1112 = -121*r + 54594. Is r a multiple of 30?
False
Suppose -4*u - 5305 = -4*f + 15199, -f = 5*u - 5138. Is 82 a factor of f?
False
Suppose -28*w - 578 + 3770 = 0. Is w a multiple of 6?
True
Let i(c) = -c**3 + 8*c**2 - 7*c + 10. Let p be i(7). Suppose 0 = 4*j - 5*g - 1166, 0 = -4*j - g + 860 + 270. Does 3 divide p/(-25) - j/(-10)?
False
Let x = 469 + -469. Suppose x = 44*l - 32*l - 18240. Is 17 a factor of l?
False
Suppose -144*m + 135*m = -90. Suppose -1180 = -4*w - m*x + 5*x, -2*w - 5*x = -580. Is w a multiple of 15?
True
Does 17 divide (-1672)/242 + (-1)/11 - -21665?
True
Suppose -s - s + 11 = -5*i, s + 3*i + 11 = 0. Let q be (s - (-2 - 1)) + 4. Suppose 75 = 3*c + q*d, 6 = -0*d - 2*d. Is 4 a factor of c?
False
Let r be (34/(-10) + 3)/(3/(-30)). Suppose -s = 2*s - l + 8, -l = r*s + 6. Doe