/(-28)) a multiple of 4?
False
Is 49 a factor of 9461 + 2/(-4)*-48?
False
Does 16 divide (15020/25)/(24/90)?
False
Let t(z) = -5*z + 4. Let y be t(-7). Let j = y - 39. Suppose j = u - 0 - 24. Is u a multiple of 12?
True
Let w(y) = -4*y + 33. Let a be w(7). Suppose -9 = n - a. Does 14 divide (6/n)/3*-336?
True
Suppose 40*k = 36*k + 2*q + 1680, -k = q - 423. Suppose -425*s + 472 = -k*s. Is s even?
True
Suppose -2*m - q = -1, 4*m - 5 = -5*q + 12. Does 2 divide (3 + m)/(-1) + 20?
False
Suppose 3*g = 2*b + 51993, 35*b - 30*b = -g + 17365. Is g a multiple of 17?
False
Suppose 5*x - 156 = -2*d - 21, 4*d = 3*x + 231. Let s = -55 + d. Suppose 3*z + 5*u = 4*z - 129, u = -s*z + 775. Does 22 divide z?
True
Suppose -c + 8249 = 5*m, -3*m = 4*c - 5838 + 892. Let u = m - 1104. Is 26 a factor of u?
True
Suppose -2*g - 12 = 5*u + 32, 4*u + 5*g = -42. Let r be ((-4)/u)/(3/(-6)). Does 47 divide r/3 - 2757/(-9)?
False
Suppose 22*r - 1610 = 24*r. Let q = -432 - r. Is q a multiple of 31?
False
Suppose -24*d + 1176 = -28*d. Is d/(-28)*(-496)/(-6) a multiple of 31?
True
Let z = -6411 + 12859. Is 40 a factor of z?
False
Let n be -214 - (6 + 3*(1 - 2)). Let c = -53 - n. Suppose 2*p + 2*k - c = 0, p + 4*p = k + 386. Is p a multiple of 20?
False
Is 3/((-5 - 1)*(-7 - (-839073)/119868)) a multiple of 25?
False
Suppose -110*p = -296*p - 594876 + 2073948. Is 28 a factor of p?
True
Suppose 43*p - 55*p = -116820. Is 64 a factor of p?
False
Let p(n) = 10*n**3 + 3*n**2 - 2*n - 370. Does 193 divide p(13)?
False
Suppose -21*b + 425 = 173. Suppose 4368 = b*d + 1056. Does 23 divide d?
True
Suppose 4*q + 18 = 30. Suppose -15 = -5*w, -2*v - q*w = 186 - 963. Is v a multiple of 16?
True
Let x be ((-24)/(-10))/((-2)/(-10) + 0). Suppose -14*c = -11*c - x. Is 13 a factor of (-1864)/(-20) + c/(-20)?
False
Let z(h) be the third derivative of -h**6/8 + 7*h**5/60 - h**3/3 - 85*h**2. Does 64 divide z(-3)?
False
Let q be (-1676)/30 + 8/(-60). Let l = -54 - q. Suppose 0 = 2*b + 4*h + 6 - 24, -l*b + 21 = h. Is 5 a factor of b?
False
Suppose -54*i + 55*i = 12. Let k(n) = -n**3 + 17*n**2 - 10*n + 12. Is 51 a factor of k(i)?
True
Is 42 a factor of (-105)/(-6)*486*32/120?
True
Let g(o) = 19*o**2 + 20*o**2 + 8*o - 38*o**2 + 2. Is 4 a factor of g(-13)?
False
Let k = 47402 + -18395. Is k a multiple of 99?
True
Suppose k = -4*v + 56754, 16*v - 17*v - 5*k = -14217. Is v a multiple of 44?
False
Suppose -5*z = -5*g - 590, -4*g + 2*g + 555 = 5*z. Suppose x + 4 = 0, -2*j + 4*x + 23 = -z. Suppose 0 = -3*h - 0*h + j. Does 10 divide h?
True
Let q = 38 - 23. Suppose 5*p + k + 4*k - 45 = 0, q = 3*p - 3*k. Suppose 9*v - 60 = p*v. Is 10 a factor of v?
True
Let a(b) = -1944*b**3 + 5*b**2 + 5*b + 1. Let x be a(-1). Let g = x + -545. Does 56 divide g?
True
Suppose 12*c - 4 = 10*c. Let q(m) be the second derivative of 29*m**5/20 - m**4/6 - m**3/2 + 7*m**2/2 - 4*m. Is q(c) a multiple of 24?
False
Is 47 a factor of ((-141)/(-5))/((-1806)/(-180) - 10)?
True
Let p = 9122 - 4975. Is 11 a factor of p?
True
Suppose 2*n = -3*c + 17, 5*c = -5*n + 39 - 4. Let s be ((-1984)/(-24))/(1/3). Suppose 0 = -n*k + s + 416. Is k a multiple of 35?
False
Let f(b) = -23*b + 67. Let r = 140 + -158. Is 34 a factor of f(r)?
False
Let s(v) = -161*v - 80*v + 310*v + 29. Does 11 divide s(5)?
True
Let q = 907 + 31. Suppose -5*s = -2*p + 282 + 83, -5*p + 4*s + q = 0. Does 23 divide p?
False
Is ((-245)/21)/(75/(-22950)) a multiple of 14?
True
Let g(w) = -2*w**2 - 19*w + 1. Suppose -3*t - 36 = t. Let l be g(t). Does 22 divide (l/10)/((-1)/(-198))?
True
Suppose -3*k - k = 2*d - 6196, -1563 = -k + 3*d. Suppose -5*h + 579 = -k. Does 71 divide h?
True
Suppose 4*b - 17*v + 15*v + 12 = 0, 0 = -b + 4*v - 10. Does 69 divide ((-575)/(-50))/(b/(-12))?
True
Let p = 6563 - -3497. Is p a multiple of 20?
True
Suppose -28 = 6*i - 394. Suppose -6*b - i = -301. Is 5 a factor of b?
True
Let u(k) = -5*k + 205. Let c be u(39). Let v(h) = h + 1. Let g be v(5). Let s = c - g. Does 3 divide s?
False
Suppose 4*n - 71 - 89 = 0. Let z be (-32)/n - 2/10. Is (1 - (-1 - -2))/z + 288 a multiple of 16?
True
Is 49416 + -13 + 5 - (39 - 50) a multiple of 57?
True
Suppose 2*o + 833 = 2621. Suppose -2*x - 3*d = -0*d - 451, -2*d = -4*x + o. Is 14 a factor of x?
True
Suppose 4*p - 3*p = -t + 68, -p = 5*t - 332. Let i = 71 - t. Suppose -3*h + i*w + 423 = 2*w, 4*w + 278 = 2*h. Is 13 a factor of h?
True
Suppose 0 = -0*x - x + 5. Suppose 3*v = -4*b + 2*b - 3, 0 = v + x. Suppose 4*j - 156 + b = -2*o, 4*o = -j + 335. Is o a multiple of 17?
True
Suppose 2320 = 8*p - 4*p. Suppose 5*q + 663 + 437 = 4*j, 0 = 2*j + 5*q - p. Suppose -4*y - u = -227, -5*y + u + j = 3. Is y a multiple of 14?
True
Let i be -5*(-1 - (-12)/(-30)). Suppose 2*d - 3*v = 49, i*v + 61 = 3*d + 5*v. Is d a multiple of 6?
False
Let a(c) = -20*c + 357. Does 116 divide a(-11)?
False
Let w(x) = -x**2 + 4. Let q be w(-2). Suppose q = -0*a + 4*a + v - 811, -3*a + 604 = 5*v. Does 29 divide a?
True
Let y(g) = -g**3 - 9*g**2 - 9*g - 2. Let o(w) = -w**3 - 9*w**2 - 8*w - 2. Let c(k) = 5*o(k) - 4*y(k). Let p be c(-9). Let j = -14 + p. Is j a multiple of 10?
True
Let n(m) = -m**2 - 7*m - 4. Let f be n(-6). Let g be (-19)/133 - f/(-14). Suppose g*i + 8 = 2*i. Is i a multiple of 4?
True
Suppose -3*q - 2 = 5*a, -2*q + 4*a + 4 + 2 = 0. Let f(x) = 47*x**3 + 1. Let l be f(q). Let g = -16 + l. Does 8 divide g?
True
Suppose 3*p + m = -0*m - 19, 0 = -2*p + 3*m - 9. Let x(o) = -2*o**3 - 3*o**2 - 3*o - 5. Does 48 divide x(p)?
False
Let q(v) = -v**3 + 5*v**2 - v - 6. Let w be q(5). Let y(s) = 529*s**3 + 0*s - 530*s**3 + 13 - 11*s**2 - 2*s. Is y(w) a multiple of 3?
False
Suppose 13*t + 1408 = 29*t. Suppose 0 = t*k - 91*k + 30. Is 57 a factor of (228/k)/((-2)/(-5))?
True
Suppose -33*i = 50*i - 530536 - 1023639. Does 35 divide i?
True
Let f(y) = -y**3 + 62*y**2 + 86*y - 656. Is 14 a factor of f(62)?
True
Let x be (-3858)/(-90) + 2/15. Let b = x + 25. Is b a multiple of 34?
True
Let h(l) = l**3 - 24*l**2 - 35*l + 257. Does 11 divide h(32)?
False
Let m be 3/9 + (-87)/(-9). Suppose 5*b = -0*s + 3*s + 14, 5*b - m = 5*s. Suppose 4*t = 4*f + 144, -s*t = t + 2*f - 133. Is 10 a factor of t?
False
Let g(o) = -152*o + 1. Let l(k) = 2*k - 3. Let a be (10/(-15))/(6/(-9)). Let v be l(a). Is g(v) a multiple of 51?
True
Suppose -613 - 1553 = 6*b. Let a = b - -672. Is a a multiple of 29?
False
Let l = -2571 + 2594. Is 8 a factor of l?
False
Suppose -18*u + 15*u - 45 = 0. Let b = -11 - u. Suppose b*f = 5*d - 587, 5*d - 180 = 2*f + 411. Is d a multiple of 17?
True
Let a = -531 - -948. Does 44 divide a + 0 + 2 - (5 - 1)?
False
Is 16 a factor of (133/(-19) - -1557) + 2?
True
Suppose -276*b - 4077 = -285*b. Let k = 775 - b. Does 37 divide k?
False
Suppose -5 = -i, 5*i - 242 = -f - 0*f. Suppose -10*k + f = -123. Does 34 divide k?
True
Let w(s) = 18*s - 4. Let x be w(4). Suppose -x = -11*n + 31. Is ((125/(-3))/(-1))/(3/n) a multiple of 17?
False
Let y = 79 - 39. Suppose -y = 7*h - 852. Suppose h = 6*j - 64. Does 7 divide j?
False
Suppose -180 = -4*d - 164. Suppose -4*c + w + 5460 = d*w, 3*w + 1380 = c. Suppose c = 5*k - 297. Does 49 divide k?
False
Let x(o) = 7*o**2 + 5*o - 17. Let f be x(9). Let z = f + -199. Is 12 a factor of z?
True
Let y = 901 - 517. Suppose -y = -4*w - 0*r + 4*r, r - 102 = -w. Does 33 divide w?
True
Let h(t) = 36*t**2 - 30*t - 407. Is h(28) a multiple of 124?
False
Let c(q) = -q + 12. Let z(y) = y + 10. Let s be z(-8). Let g be s - (-4 - -2) - 0. Does 4 divide c(g)?
True
Suppose -3*b - 5*o = -4704 - 6804, 0 = -b + 3*o + 3822. Does 10 divide b?
False
Suppose -27*b - 24718 + 62093 = -94925. Does 49 divide b?
True
Let c = 711 - 708. Is c a multiple of 2?
False
Suppose -79*q = -525919 - 230585. Does 168 divide q?
True
Suppose u + 14 = -5. Suppose 311 = 4*x - 45. Let i = x + u. Does 10 divide i?
True
Let m = 25032 - 12747. Does 79 divide m?
False
Let g(k) = -k. Let w be g(-13). Suppose -w*o = -14*o + 23. Suppose 4*z = 49 + o. Does 6 divide z?
True
Let q be 129/(-2)*(-8)/(-6). Let a = q - -13. Let g = 78 + a. Is g a multiple of 5?
True
Suppose -2*o - 4*m = 8, -2*m = 4*o - 6 - 2. Suppose o*w - 340 = -2*y, -15*y + 4*w + 146 = -14*y. Is y a multiple of 18?
True
Let c be 3063/(-9) + 1 + (-8)/12. Is 4 - (3 + 8) - c a multiple of 37?
True
Let h be (7 + -12)*5/5. Is 2