1318*f**2 + 1319*f**2. Is n(i) a multiple of 39?
False
Does 15 divide (6 - 21)/((-4)/1028)?
True
Let i = 414 + -397. Suppose -10*f + 1467 - i = 0. Is 5 a factor of f?
True
Suppose b - 6190 = 4*c, 291 + 1249 = -c + 4*b. Let t = c - -2438. Does 9 divide t?
False
Let p(k) = -8*k + 15*k + 1 - 4 - 26*k + 2*k**2. Let q(i) = -i**2 + 19*i + 2. Let m(f) = -4*p(f) - 5*q(f). Does 4 divide m(-5)?
False
Suppose 0 = 5*f - y - 4737, 8*y - 4761 = -5*f + y. Is 4 a factor of f?
True
Let b(d) = -d**3 - 22*d**2 + 2*d + 48. Let v be b(-22). Suppose 4*c - 13*m = -9*m + 732, v*m = -c + 173. Is c a multiple of 15?
False
Let y = 719 - 622. Suppose 82*s + 11865 = y*s. Is 113 a factor of s?
True
Suppose g - 2*o + 0*o = -51, 219 = -5*g - 2*o. Let x = g + 5. Let f = 52 - x. Does 16 divide f?
False
Let y(k) = k**3 - 3*k + 3. Let r be y(0). Suppose -5*n + 10*n = 350. Suppose n + 5 = 4*c + r*q, 3*q = c. Is c a multiple of 5?
True
Let a = -52855 - -137038. Does 11 divide a?
True
Let n(a) = -a**3 + 21*a**2 - 23*a - 33. Is 9 a factor of n(14)?
True
Let q(b) = 244*b**2 - 179*b - 860. Is q(-5) a multiple of 11?
False
Suppose 0 = -12*x + 10*x - 3*a - 35, 2*x + a = -29. Is (78/9)/x - (-113)/3 a multiple of 8?
False
Suppose -l - 4*j = -9, -l + 5*j - 13 = 5. Let h be (l - -8) + (3 - 5). Suppose 2*n = h*n - 135. Is 15 a factor of n?
True
Let m(k) = -2*k**3 - 25*k**2 + 16*k + 39. Let n be m(-13). Let w(j) be the second derivative of j**5/20 - j**4/12 + 42*j**2 + j. Is 14 a factor of w(n)?
True
Let g(w) = 3*w**2 + 7*w + 24. Let x = -95 + 100. Let q(h) = 4*h**2 + 7*h + 25. Let i(m) = x*q(m) - 6*g(m). Is i(-6) a multiple of 13?
False
Let j = -110 + 97. Let s be (222/5)/(j/(-65)) - 3. Let h = s + -109. Is h a multiple of 22?
True
Let y(k) = k**3 + 10*k**2 - 28*k. Is y(12) a multiple of 79?
False
Suppose -7*j + 56 = j. Suppose -3*n = -b - 9, -n + j = -5*n - 5*b. Suppose 752 = n*i + 2*i. Does 27 divide i?
False
Suppose 0 = 2*o - 3*o. Let k = 2257 + -2200. Suppose o = 4*l + 4*p - 110 + 26, 5*p - k = -3*l. Does 8 divide l?
True
Suppose -t = -5*u - 36 - 8, -t + 2*u = -41. Let z = t - 25. Suppose 0 = z*x - 11*x - 30. Is x a multiple of 3?
False
Let b = 2934 - 2604. Does 7 divide b?
False
Let a(x) = -295*x + 495. Is a(-15) a multiple of 10?
True
Let y = 2092 + 3053. Suppose -17*j + y = -10*j. Does 22 divide j?
False
Suppose 88 = 77*y - 88*y. Is 91 a factor of 7/(42/y)*-546?
True
Let w = 742 + -573. Suppose -20412 = -w*h + 151*h. Is 42 a factor of h?
True
Let w = -1471 - -3064. Suppose -32*u + 5*u + w = 0. Is u a multiple of 9?
False
Suppose 45*y - 41*y + 6*x = 37924, -3*x = -5*y + 47447. Does 58 divide y?
False
Suppose -1745 = 10*n + 115. Let u = n - -306. Does 30 divide u?
True
Suppose -31*r = -26*r - 60. Let h(v) = 3*v**2 + 2. Is h(r) a multiple of 17?
False
Let f = 38 - 26. Suppose 3*a = 3*l + f - 3, 5*a - 22 = -2*l. Suppose -2*n = 3*y - 10 - 29, 0 = -a*n + 2*y + 86. Does 20 divide n?
False
Let b(p) be the first derivative of -19*p**2/2 - 4*p + 5. Let d(u) = 95*u + 21. Let w(t) = 11*b(t) + 2*d(t). Is 32 a factor of w(-3)?
False
Let d = 11897 - 5885. Is d a multiple of 18?
True
Suppose 0*n - 4*d = -5*n - 34, -4 = -4*d. Let z be 9*6/4*8/n. Is 11 a factor of 102/z + 5 - 202/(-6)?
True
Does 142 divide (9220/5 - 3)/((-5)/325*-5)?
False
Suppose 3*q = 8*q - 16460. Suppose 844 = 44*j - q. Does 39 divide j?
False
Suppose -3*k - 3*f = -2*f, 2*k + f = 0. Suppose 0 = 5*y + 2*x - 351, k = x + 3 - 6. Let v = y + 31. Is 38 a factor of v?
False
Let n(f) = -43*f - 260. Suppose 6*t + 26 = -22. Is 2 a factor of n(t)?
True
Suppose 0 = -o - 2*v + 92, 3*o + 0*v - v - 304 = 0. Let s = 108 - o. Suppose 4 = 3*a - s, 2*w - 112 = -3*a. Is 10 a factor of w?
True
Let q be (-2800)/(-30)*6/4. Is (1200/q)/((-2)/(-84)) a multiple of 20?
True
Suppose -70504 + 434 = -35*p. Does 22 divide p?
True
Suppose 42621 = 2*t + 3*m, -3*t + 27*m + 63942 = 28*m. Does 29 divide t?
True
Suppose -2 = 5*f - y, -y + 0 = -2. Let m = 394 + f. Does 58 divide m?
False
Let z(h) = 524*h**2 + 12*h - 22. Is 24 a factor of z(4)?
False
Does 159 divide (-18)/4*(-103)/(27810/2347140)?
False
Does 21 divide (-10899)/692*64/(-3)*2?
True
Let s = 758 + -723. Suppose 5152 + 15358 = s*a. Does 23 divide a?
False
Let q = -296 - -928. Does 5 divide (q/16)/(3/12)?
False
Let n be (-2 + 9)*(-2 - -3). Is (-2)/(n/(1505/(-10))) a multiple of 5?
False
Let t be 4/(-5)*630/(-28). Suppose 890 + 460 = t*q. Is 25 a factor of q?
True
Does 130 divide 6889 + (48/(-4) - -12)?
False
Suppose 790 = -14*x + 1014. Suppose -3*t - 5*b - 15 = 0, -3 - 6 = -3*t + 3*b. Let w = x + t. Is 8 a factor of w?
True
Suppose 5611 = 5*l - 1824. Suppose 4*o = -2*m + 7*o + 761, -4*m - o + l = 0. Is 10 a factor of m?
False
Let k = -383 - -920. Let u = 811 - k. Is 27 a factor of u?
False
Let w = 2014 - 958. Suppose -w = -12*z + 852. Does 13 divide z?
False
Suppose -4 = 4*s, 16*a - 4*s = 19*a + 5152. Is 2 + 1 - a/26 even?
False
Suppose -1416 = -20*s + 16*s. Suppose -2*p + s = p. Let h = p + -71. Does 20 divide h?
False
Let w be ((-2)/9 - (-238)/(-306)) + -1812. Let z = -789 - w. Does 64 divide z?
True
Is (81/(-18))/(9/(-960)) a multiple of 20?
True
Is 7/2 + (-1401554)/(-76) a multiple of 31?
True
Suppose 3 = 5*c + 18. Let l = -37 + 53. Let n = l + c. Is n a multiple of 6?
False
Let b be (2/8)/((-38)/3800). Does 11 divide (-1285)/b - -5*8/(-100)?
False
Let l(q) = -6*q**3 + 84*q**2 + 28*q - 27. Let n(z) = -4*z**3 + 56*z**2 + 19*z - 18. Let y(v) = 5*l(v) - 7*n(v). Is 35 a factor of y(13)?
True
Let s = -8880 - -17504. Is 8 a factor of s?
True
Let o be (1/((-1)/(-1)))/(7/546). Suppose -246 = -3*x + 3*y, 9 = x + 4*y - o. Let k = x + -69. Is 14 a factor of k?
True
Let g(q) = -10*q**2 + 2*q - 2. Let r be g(1). Does 6 divide (-4)/6*-3*(-115)/r?
False
Suppose 24 = -29*q + 35*q. Does 27 divide (q/5)/(8/5040)?
False
Let p be 18/(-6) + (-6)/(1 + -2). Let s(n) = -1 + 6 - 2 - p*n - 3*n**2 + n**3. Is s(5) a multiple of 9?
False
Let y(d) = d**2 - 56*d - 457. Is 64 a factor of y(-9)?
True
Suppose 136*f - 1104480 = -124*f. Is 12 a factor of f?
True
Let r(t) = -t**3 - 44*t**2 - 207*t - 69. Is r(-39) a multiple of 7?
True
Let n(d) = 13 + 56*d**2 - 4 - 2 + d + 3*d. Suppose 2*p + 8 = -2*p. Does 38 divide n(p)?
False
Let d = 1310 - 921. Suppose 2*j + d + 241 = 0. Let a = 482 + j. Is 25 a factor of a?
False
Is -4 + 8/((-80)/(-221694)) - (-46)/(-115) a multiple of 55?
True
Suppose -512 = 57*v - 61*v. Let b be (-1)/(v/(-402) + 4/12). Let y = 143 + b. Is y a multiple of 38?
True
Let s(c) = -c**2 + 14*c + 18. Let u be s(14). Suppose 0 = -u*x + 24*x - 1140. Does 30 divide x?
False
Does 49 divide (-36855)/(-5) + 20 - (-9 + 1)?
True
Let b(k) = 93*k - 481. Let i(r) = 31*r - 160. Let p(n) = 4*b(n) - 11*i(n). Does 7 divide p(8)?
True
Suppose -5 + 3 = -y. Suppose 31*i = 32*i - 2*a - 16, -y*a = -5*i + 56. Is i a multiple of 8?
False
Let h(x) = -x**3 - 24*x**2 + 2*x + 32. Let u be (-8)/5*(15 - 0) + 0. Let g be h(u). Does 9 divide 57 + (-7 - g/4)?
True
Suppose 44*u - 236467 + 2845 = 1724422. Does 13 divide u?
False
Let d be -2*1/(-9) + (-34)/(-9). Suppose r - d*c = -3*c + 3, 2*r = 3*c + 8. Is (-32 - -12)*r/(-1) a multiple of 4?
True
Suppose s + 3 + 2 = 0, -3*s = -3*o + 1341. Let d = 294 - o. Let u = d - -306. Does 8 divide u?
False
Let b(v) = 215*v**2 - 495*v - 2502. Is b(-5) a multiple of 34?
False
Let i(u) = -u**2 + 117*u - 156. Is 11 a factor of i(53)?
False
Suppose 5*g - x - 13097 = 0, 5*x - 7869 = -3*g + 2*x. Suppose 0 = -25*f + 15*f + g. Is f a multiple of 13?
False
Suppose 16491 = 35*a + 11*a - 189083. Is a a multiple of 13?
False
Let o be -8*(4 + 136/(-32)). Suppose -s - 1159 = -2*n, -o*s + 592 = n - 0*n. Is 31 a factor of n?
False
Let k(t) = -3*t + 10. Let r be k(2). Suppose -4*o = -d + 196, 3*d + 0*d - 596 = r*o. Is d a multiple of 8?
True
Suppose -r + 3*r = -2*s - 120, -r + 3*s = 48. Let l be r/(-21) + (-4)/(-14). Suppose -13*j + l*j + 650 = 0. Does 13 divide j?
True
Suppose -3*f - 11 = 4, 4*k - 4*f = 376. Let q = k + -41. Is q a multiple of 24?
True
Let r(m) be the third derivative of m**4/24 + 10*m**3/3 + 22*m**2. Let b = -3 + -11. Is r(b) a multiple of 3?
True
Suppose 398 = 5*p - 4*f + 148, 0 = 3*p + f - 167. Suppose p*b - 57*b = -156. Does 2 divide b?
True
Let g = 28427 - 8323. Is g a multiple of 177?
False
Let n(f) = -f**3 - 