l**2 - 1. Suppose -10*s - 9 = 1. Let c be f(s). Suppose -39 = -h + c. Does 26 divide h?
False
Let t = -166 + 309. Is 25 a factor of (-26)/t + (-2402)/(-22)?
False
Suppose 5*x = -5*r + 80247 - 5152, -2*r = -6*x - 30006. Is r a multiple of 91?
True
Let k(p) = -p + 99. Let x be k(42). Is (x*3/(-12))/((-1)/24) a multiple of 9?
True
Suppose 240 = 16*z + 8*z. Does 30 divide ((-108)/z)/(18/(-450))?
True
Let b = 5661 + 2570. Does 59 divide b?
False
Let y(k) = -k**3 + 15*k**2 - 3*k + 13. Let d be y(13). Suppose -5*s + d = 82. Does 4 divide (-12)/(-24) - s/(-4)?
True
Let w = 8263 - 8127. Is w a multiple of 3?
False
Suppose 20*h = 27*h + 2786. Let m = h + 839. Is 34 a factor of m?
False
Let z = 38453 - 29252. Does 29 divide z?
False
Suppose o - 2*c + 5138 = 21897, c = -2*o + 33478. Is o a multiple of 18?
False
Suppose 7*x = 9*x - 4. Suppose 4*a - 5*r - 8 = 0, r + 4*r = -a + x. Is 22 a factor of ((-264)/15)/(a + (-22)/10)?
True
Suppose 0 = -0*i - i - 2*r - 35, i + 32 = -r. Let t = 275 - i. Is t a multiple of 13?
False
Let q be (-2)/(-3) + 448/3. Suppose 2244 = -44*z + 10*z. Let i = z + q. Is i a multiple of 8?
False
Let d = -33 + 113. Suppose -2*z = 5*h - 20 - 136, z + 3*h = d. Let k = z + -61. Does 4 divide k?
False
Suppose 0 = 142*j - 129*j + 8547 - 35613. Is j a multiple of 6?
True
Suppose 0 = -16*i - 164 + 4. Let f(d) = 6*d + 124. Is 4 a factor of f(i)?
True
Suppose -4*o + 360 + 128 = -4*f, -248 = -2*o + 4*f. Suppose 2*j - 36 = o. Let t = j - 50. Is 4 a factor of t?
True
Suppose 25*g - 28*g = -3. Let o be (-16)/56 - -457*g/7. Suppose 0 = d - 5*t - o, 3*t = -2*d - 6 + 123. Is 12 a factor of d?
True
Let d(t) be the third derivative of -79*t**4/24 - 125*t**3/6 - 34*t**2 + 4. Is 4 a factor of d(-3)?
True
Let o be (-22 + 13 + 12)*140/6. Suppose -7*n + o = -6*n - 4*v, 0 = -5*n - 2*v + 262. Is 54 a factor of n?
True
Let v = -5883 - -21644. Is 5 a factor of v?
False
Let x = -768 + 1394. Does 16 divide x?
False
Suppose -4*y - 72 = -0*y. Let b(k) = k**3 + 19*k**2 + 20*k + 4. Let w be b(y). Is ((-848)/w)/(1/2) a multiple of 33?
False
Let x = 11823 - 11819. Is x a multiple of 3?
False
Let a(c) = c**3 + 4*c**2 - 8*c - 17. Let h be a(-5). Is 26 a factor of (-1 - (-702 - 3 - -4)) + h?
False
Let h(a) = -a**3 - 84*a**2 - 150*a - 264. Does 24 divide h(-84)?
True
Let k = 264 + -289. Is k/10*(-1892)/55 a multiple of 13?
False
Let k = -67 - -34. Let q be (-136)/(-48) - (k/(-18) - 2). Suppose -202 - 86 = -q*j. Is 12 a factor of j?
True
Let n = -424 - -456. Let c = 208 - n. Does 22 divide c?
True
Suppose 7907 - 108980 = -20*d + 53307. Is d a multiple of 10?
False
Suppose p = 2*d - 1, 0 = 4*d - 3*p - 2 - 1. Let c(q) = -q**3 - q**2 + 2*q + 65. Is 3 a factor of c(d)?
False
Suppose -5*z = 13*u - 14*u + 738, -1532 = -2*u - 4*z. Is 3 a factor of u?
False
Let q be (9 - -1)*8/180*9. Suppose 3*p + 1756 = 5*v + 6*p, 1392 = 4*v - q*p. Is v a multiple of 6?
False
Let x(u) = -u**2 - 2*u + 27. Let k be x(-6). Suppose 4*w = 2*t - 210, 4*t + k*w - 405 = 6*w. Is 5 a factor of t?
False
Let d be (396/330)/(2/(-285)). Does 19 divide (d/18)/(3/(-18))?
True
Suppose 3*v = -n + 5920, -40*v + 43*v = -3*n + 17754. Is n a multiple of 12?
False
Let y(p) = -p - 27. Let n(d) = -d**3 - 3*d**2 + 10*d + 9. Let s be n(-4). Let r be y(s). Is (-1251)/(-12) - r/16 a multiple of 21?
True
Let w(c) = 4*c**2 - 3*c + 13. Let j be w(-7). Let k be j/(-6) - 4/(-3). Let t = -10 - k. Is t a multiple of 27?
True
Suppose -111*a - y = -114*a + 41524, y - 27691 = -2*a. Is a a multiple of 149?
False
Let t(y) = y**3 + 9*y**2 + 20*y - 27. Let n be t(-17). Let v = -1761 - n. Is v a multiple of 18?
True
Suppose -2*m = -4*q + m + 332, 2*m - 312 = -4*q. Is q/48 - (-536)/6 a multiple of 18?
False
Does 10 divide 176 + 12 + -4*143/44?
False
Suppose 15*k - 23*k + 1008 = 0. Suppose 0 = 5*q - 2*n + n - 29, -2*n + 17 = 5*q. Suppose 0 = q*d - 10, 0*l + 3*d + k = 2*l. Does 22 divide l?
True
Let l be (-3)/(-12) + 737*(-3)/12. Let o = 415 + l. Does 8 divide o?
False
Does 10 divide 22518100/4235*(4*2 + 1/(-1))?
True
Suppose 0 = -24*w + 30*w + 4236. Let o = w - -771. Is o a multiple of 4?
False
Let v(t) = t**3 - 7*t**2 + 43*t + 10. Is 48 a factor of v(30)?
False
Let t = -7439 + 23459. Is 180 a factor of t?
True
Suppose 216564 - 884140 = -98*d. Is 4 a factor of d?
True
Let f(z) = -z**3 + 77*z**2 + 193*z + 19. Is f(79) a multiple of 58?
True
Let v(a) = -549*a**3 - 2*a**2 + 7*a + 2. Let c(s) = -275*s**3 - s**2 + 3*s + 1. Let f(w) = -5*c(w) + 2*v(w). Is f(1) a multiple of 22?
False
Let r = -16 - 32. Let k = r - -69. Is ((-72)/k)/(5/(-280)) a multiple of 16?
True
Let d be 20/15 - (-474)/9. Suppose -60 = -4*c - o, -2*c = c + 3*o - d. Is 20 a factor of 584/c - 10/(-35)?
False
Let p(x) = x**2 + 18*x. Let d be p(12). Is 18 a factor of ((-9)/(-12)*6)/(6/d)?
True
Suppose -569 = -9*i + 583. Suppose -l + 2*n + i = -94, -5*l - n = -1077. Is l a multiple of 12?
True
Does 25 divide 6*(1*(-2)/(-5))/((-39)/(-9750))?
True
Is 234/(-3627) - 188236/(-62) a multiple of 66?
True
Let r(o) = -5*o**3 - 20*o**2 + 10*o - 77. Does 16 divide r(-9)?
False
Suppose -28*i - 403 = 45. Let j(m) = -207*m**2 - m + 1. Let p be j(1). Is (p/36)/(2/i + 0) a multiple of 12?
False
Let u = 16 - 19. Let v = u + 8. Suppose 2*a = -0*a + 5*t + 171, 4*t = -v*a + 444. Is 15 a factor of a?
False
Let z(t) = -t**3 - 3*t**2 + 5*t + 6. Let i be z(-4). Suppose -i*p = -5*r - 371, 0 = 4*p - r - 3*r - 748. Does 47 divide p?
True
Suppose -2*y = -u - 135, 0 = 4*u - 5*y - 271 + 820. Let v = 47 - u. Is v a multiple of 13?
False
Suppose -48*u = -232088 - 1203304. Is u a multiple of 141?
False
Suppose -48 = 41*x - 33*x. Does 20 divide (x + 0)/(36/(-7680))?
True
Suppose 53*w = 54*w - 2*c + 12, 4*w - 4*c + 40 = 0. Let g(j) = 59*j - 1. Let d(l) = -20*l. Let t(v) = -11*d(v) - 4*g(v). Does 22 divide t(w)?
True
Let m = 2624 + -2593. Is 4 a factor of m?
False
Suppose 2*k - l - 3666 = 0, -9*k + 10*k = -2*l + 1833. Let i = -1230 + k. Is 34 a factor of i?
False
Suppose 570 + 178 = 11*l. Let i = 227 + l. Is 22 a factor of i?
False
Let p = -21 + 17. Let y(l) = -88*l. Is 35 a factor of y(p)?
False
Let o = 485 + -804. Let a = -157 - o. Does 13 divide a?
False
Let q(l) = 196*l + 1150. Is 34 a factor of q(29)?
True
Let q(x) = -10 + x - 17*x + 10*x. Let t be q(-2). Does 17 divide 542/8 + t/8?
True
Suppose n - 22084 = -c, -5*c + 54*n + 110384 = 50*n. Is 53 a factor of c?
False
Let g = 7980 + 3424. Is 121 a factor of g?
False
Suppose -2*u + 100 - 16 = 0. Let x be 1 - u/(-4)*2/(-3). Is (38/(-18))/(1/x)*3 a multiple of 6?
False
Let w(k) = 967*k**2 - 23*k + 49. Is 14 a factor of w(2)?
False
Does 21 divide ((42/4)/(-1))/((-855)/134520)?
False
Suppose -2*c = 4*n - 1794, 5*n = 2*c - 0*c + 2265. Let z = 1088 - n. Is z a multiple of 13?
True
Let l be (-2 - 5193/6)*(-60)/25. Suppose i + 4*c = 531, 18*i - 2*c = 22*i - l. Is i a multiple of 12?
False
Suppose -5*z - 317 = w, -5*z = 5*w + 1510 + 15. Let q = 321 + w. Is 4 a factor of q?
False
Let s = -37082 - -54098. Does 12 divide s?
True
Let h = -17 - -19. Suppose 4*j - 2*u - 3220 = 0, 13*j = 8*j + h*u + 4025. Is 23 a factor of j?
True
Suppose 8*d - 158111 - 132193 = 0. Suppose 42*m = d + 17640. Is m a multiple of 39?
False
Let p = -4320 + 6874. Is p a multiple of 43?
False
Let l be (-225)/(-50)*(14/3)/(-1). Is 4 a factor of 6/(-84)*l - (-310)/4?
False
Let w be 310/(-15)*(-9)/6. Let b(m) = 21*m - m + 0*m - w - m**2 + 3*m. Is 3 a factor of b(21)?
False
Suppose -382 = 3*p - 5*b + 353, -980 = 4*p - b. Is (p/(-25) + -3)*35 a multiple of 30?
False
Let s be 2/(-13) + 33/(-78)*-50. Is 3 a factor of -5 + (-74)/(-14) + 456/s?
False
Suppose -5*s - 440 = 5*q, 6*s + 352 = -4*q + s. Is 56 a factor of (89 + q)*(0 - -2*199)?
False
Let p be (-4 + 9)/((-3)/(-180)*3). Let s = p - 98. Suppose -s*b - 5*t = -b - 111, -5*b + 665 = 3*t. Is 17 a factor of b?
True
Let z = 312 - -102. Is 23 a factor of z?
True
Let q(s) = 195*s**2 + s + 7. Let z be q(-7). Suppose 106*p - z = 91*p. Does 91 divide p?
True
Suppose 9*b - 12*b = 7*w - 51609, 5*w = 2*b - 34464. Does 3 divide b?
True
Suppose 8 = 2*j + 3*f, 48 = 3*j - 5*f + 36. Suppose -3*c + 4*l + 107 = -172, 0 = j*c + 5*l - 372. Is c a multiple of 10?
False
Let l(a) = 14*a**2 - 33*a - 473. Is 6 a factor of l(-19)?
True
Let p = -37 + 101. Let z be -18 + 14 - (p + 0). 