 + 270 = -6*w, -l + 71 = 2*w. Is 37 a factor of l?
False
Let m(i) = -i**2 + 4*i. Let z be m(4). Suppose 4*k - 3*q - 24 = 0, 13 + 16 = 5*k - 4*q. Suppose z*c = k*c - 270. Is 20 a factor of c?
False
Let t = 9652 - 18826. Suppose -8*r - 168 = 4*p - 6*r, 0 = 3*r - 12. Does 23 divide t/p + 1/4*-2?
False
Let s(n) be the third derivative of n**5/15 + 11*n**4/24 + 23*n**3/6 - 4*n**2 - 2*n. Does 27 divide s(-12)?
False
Let y = 1126 + -1078. Let d be 106/5 - 1/5. Let s = y - d. Does 3 divide s?
True
Let x = -392 + 419. Suppose -4662 = 9*j - x*j. Is 30 a factor of j?
False
Let h(k) = 5*k**3 + 2*k**2 + 33*k + 129. Is h(11) a multiple of 6?
False
Let t be 0 + 10 - (-12)/(-3). Suppose 5*x - m - 45 = 0, 4*x - 2*m = -t*m + 12. Is 8 a factor of x?
True
Let d(i) be the first derivative of 2*i**3/3 + 5*i**2/2 + 704*i - 154. Is d(0) a multiple of 8?
True
Let j be 120/(-9) + (4 - (-22)/(-6)). Let g(x) = -x**2 - 13*x + 34. Does 17 divide g(j)?
True
Let k be 12465/25 + 1 + (-4)/(-10). Suppose 0 = -m - 2*a + k, -a + 2025 = 4*m + 2*a. Suppose h + 4*h = m. Is 34 a factor of h?
True
Is (-14180)/(-45) - (-248)/279 a multiple of 63?
False
Is 110 a factor of 8075 + (-21)/(231/(-44))?
False
Suppose -c = 2*q - 86, -c + 0*q - q + 84 = 0. Let y = 147 - c. Is 13 a factor of y?
True
Suppose -124*w + 127*w = 0. Suppose 3*a - 242 = -s - w*a, 0 = -s - 2*a + 242. Is 22 a factor of s?
True
Suppose -114*f = -104*f - 174510. Does 63 divide f?
True
Is (-5 - (-30462)/(-30))/(-1)*(-90)/(-12) a multiple of 79?
False
Does 20 divide 1402186/1208 + (-3)/4?
True
Suppose -304271 = -28*i + 215896 - 97563. Is 9 a factor of i?
True
Let c be 3*(6 + -2 + -3). Let m(r) = 6*r**2 + 5*r**3 - 2*r**c - 3 + 4*r - 2*r**3 - 2*r**3. Is 7 a factor of m(5)?
True
Let s = -3784 + 42136. Does 68 divide s?
True
Let y be 3 - (-4)/((-20)/(-75)). Suppose 10 = -4*c + y. Suppose -c*l + 37 = -23. Is 3 a factor of l?
True
Let y(l) = -31*l + 8. Suppose -d + 4*d - 48 = 0. Let z = d - 19. Is y(z) a multiple of 9?
False
Does 143 divide 154438/4 - 1 - (-3330)/2220?
True
Let t = 1708 - 454. Suppose -35*i + 36*i = t. Is i a multiple of 33?
True
Is ((-4)/10 - 175104/(-160))/((-7)/(-84)) a multiple of 12?
True
Let b = 3231 + 1089. Is b a multiple of 30?
True
Let b = 5288 + 9424. Is 8 a factor of b?
True
Suppose -5*w + 4*r + 42562 = 0, 2*r = -3*w - 576 + 26100. Does 29 divide w?
False
Let o be (-1)/(-4 - -2)*28. Suppose -69*c + o = -71*c. Does 10 divide 125/(c - -12)*(3 + -1)?
True
Let w(d) = 83*d - 41. Let v = 153 + -146. Does 12 divide w(v)?
True
Let y = -217 - -219. Suppose 12 = 4*c, -4*a + y*c - 9 = -27. Is a a multiple of 2?
True
Let n = -40 + 40. Suppose 0*p - 3*p + 3*f + 48 = n, -3*p = -4*f - 43. Is 18 a factor of (-12)/(p/(-18) - -1)?
True
Suppose 0 = -9*o - 0 - 99. Let u(v) = v**3 + 12*v**2 + 5*v - 1. Let c be u(o). Does 27 divide 1/(-3) - c/39 - -59?
False
Let l(i) = 3*i**2 - 9*i + 21. Let d be l(6). Is 26 a factor of (d/(-4))/(78/(-520))?
False
Let k be ((-9)/(-2))/(((-518)/(-140))/(-37)). Is 16 a factor of -412*8/(80/k)?
False
Let r(o) = 2031*o - 1348. Is r(7) a multiple of 17?
True
Let a(h) = h**3 + 12*h**2 + 10*h - 13. Let v(b) = b**2 + 24*b - 10. Let q(m) = -12*m + 5. Let i(u) = -5*q(u) - 3*v(u). Let g be i(-5). Does 8 divide a(g)?
False
Does 48 divide 594 - ((-17)/136 - (-71)/(-8))?
False
Suppose -5*f + 26*j - 21*j - 120 = 0, -2*f - 4*j = 60. Suppose -3 = m + 3. Let k = m - f. Is k a multiple of 5?
True
Let c = -1615 + 2271. Suppose -24689 = -37*a + c. Is 38 a factor of a?
False
Let x(g) = -103*g + 25. Let f be -4*((-27)/(-6) + -4). Is x(f) a multiple of 33?
True
Let t(j) be the third derivative of j**6/120 - 11*j**5/20 + 15*j**4/8 + 29*j**3/6 + 213*j**2. Is 35 a factor of t(32)?
False
Let b = -4325 + 12431. Suppose 7*v + b = 14*v. Is 16 a factor of v?
False
Suppose 13*v = 13270 + 36624. Is 19 a factor of v?
True
Suppose 10559 = 5*o + 2*m, m - 3883 = 4*o - 12325. Suppose 2*u + f - o = -4*f, 5291 = 5*u - f. Is u a multiple of 23?
True
Suppose 124*r - 2004385 = -109*r - 74213. Is r a multiple of 40?
False
Let r(q) = 52*q - 12. Suppose 15*v - 12 = 18. Is 15 a factor of r(v)?
False
Is (-10)/55 - ((-1920)/33 + 1) a multiple of 19?
True
Let h = -176 + 91. Let s = -44 - h. Suppose -8 + s = 3*x. Is 11 a factor of x?
True
Let i(f) = -1 - 48*f + 46*f - 25. Let j be i(-13). Suppose -33 = -3*l - 5*p + 47, j = -4*l - 2*p + 88. Does 20 divide l?
True
Let j(f) = 54*f + 2. Let p(i) = 22*i + 46 + 7*i + 6*i**3 - 9*i - 23*i**2 - 5*i**3. Let q be p(22). Is j(q) a multiple of 11?
True
Suppose 20*u - 128 = 16*u. Let j = u - 48. Does 9 divide j/(-20)*5 + 94?
False
Let b be 20/(-15)*246/(-4). Let n = 652 - b. Is n a multiple of 95?
True
Suppose -2*p + 5*p + 27 = 2*r, -5*p = 5*r - 55. Suppose -3*q - 2*q + 20 = 0, -5*l - 78 = 3*q. Does 5 divide (2/(r/(-10)))/(l/432)?
True
Suppose 5*b - 3 = s + 3*b, -2*s - 22 = 4*b. Is 6 a factor of (-236)/(-5 - (3 + s))?
False
Let u(c) be the first derivative of 7/3*c**3 - 15 - 3*c + 1/2*c**2 + 1/4*c**4. Is 15 a factor of u(3)?
True
Let p = 6857 + -6944. Suppose 6*y = y - 190. Let n = y - p. Is 9 a factor of n?
False
Does 16 divide (-414)/(-2691) - 94428/(-26)?
True
Suppose 1465 = -5*s + 180. Let j = 207 - s. Does 16 divide j?
True
Let g(f) = -f - 10*f + 5*f - 12*f. Let m be g(-5). Suppose -6*l = -m - 30. Is 5 a factor of l?
True
Let g(i) = 2*i - 2 - 7*i + 2 + 11*i**2 - 1 - i**3. Let w be g(10). Suppose -4*j - 43 = -m + w, 0 = m - 3*j - 90. Does 12 divide m?
True
Let d = -28356 + 39981. Does 93 divide d?
True
Suppose 3*m - 5*c - 11196 = 3679, 0 = m + 5*c - 4985. Is m a multiple of 22?
False
Suppose 747*i = 805*i - 1009258. Does 6 divide i?
False
Suppose 4*d + 3*v = 1259, 937 = 88*d - 85*d - 5*v. Does 144 divide d?
False
Let c = 24 - 42. Let o(t) = t**3 + 21*t**2 - 191*t + 4. Let i be o(7). Let f = i + c. Is f a multiple of 21?
True
Let n(q) = -15*q**2 - 2*q + 15. Let h be n(5). Let c = -184 - h. Is 6 a factor of c?
True
Suppose 14*o - 140 = 13*o. Suppose -2*h + 53 = -3*r + 10, -r = -5*h + o. Suppose -h - 51 = -2*u. Does 10 divide u?
True
Suppose 6*y + 29 = -13. Does 15 divide 0*(y - -6) + 465?
True
Suppose -50 = -8*q - 10. Suppose -2*i + q*h + 249 = 0, i = 6*i - h - 611. Is i a multiple of 3?
False
Let z(o) = -o**2 - 16*o + 20. Let a be z(-17). Suppose -2*m - 20 = -a*j, 0*m + 5*m + 4*j + 4 = 0. Is 18 a factor of ((-15)/m)/((-2)/(-64))?
False
Suppose -101*k = -80*k - 31154 - 9712. Is k a multiple of 14?
True
Let s = 62 - 65. Let j be (2*9/s - -2)/(-2). Suppose -j*w = -2*u - 46, -5*w + 52 = -2*u - 51. Is w a multiple of 13?
False
Let l = 245 - -73. Suppose -11*d + 4*c = -12*d + 12, 4*d - 2*c = -6. Suppose d = -5*p + l - 103. Is 12 a factor of p?
False
Let y = -1249 - -2139. Let l = y - 310. Is l a multiple of 22?
False
Let s be -1 - -7 - (-7 - -10 - -1). Let x(q) = -22*q**s + 12 + 9 + 25 - q**3 - 21*q. Is 23 a factor of x(-21)?
True
Let n be (-25)/(-20)*(2 + 2). Let r be (-19 - 8)/9*n/(-3). Suppose x + 0 = 2*s + 2, 10 = r*x - 2*s. Does 2 divide x?
True
Suppose -349 - 135 = -4*x. Let z = x - 119. Suppose -4*d + g - 304 + 842 = 0, 0 = z*d - 4*g - 262. Is 45 a factor of d?
True
Suppose j + 4*q - 18217 = 0, -3*j = 647*q - 654*q - 54670. Does 163 divide j?
False
Suppose -2358 = -2*p + 2*b, -2*p + 4*b + 990 + 1368 = 0. Is p a multiple of 30?
False
Let z(y) = y**3 - 11*y**2 - 72*y + 41. Is 10 a factor of z(22)?
False
Suppose -11*x + 1470 = -5*x. Does 9 divide x - 5 - (3 - 0)?
False
Let p = -10501 - -15976. Is p a multiple of 73?
True
Suppose 10*t + 317 = 8*t + r, 302 = -2*t - 4*r. Let p = t - -325. Is p a multiple of 12?
True
Suppose -2*o = -5*g + 52049, -o + 31104 + 10543 = 4*g. Is g a multiple of 78?
False
Let n = 19867 - 12899. Does 26 divide n?
True
Suppose 0 = 4*u + 8, -4*u + 19 = 5*q - u. Suppose q*d - 5*f + 495 = 4510, 0 = 5*d - 4*f - 4016. Does 6 divide d?
True
Suppose 0 = 50*m - 23*m - 28*m + 10395. Is m a multiple of 68?
False
Let z be (9 - (-75)/(-10))*1772/3. Let n = 1522 - z. Is n a multiple of 100?
False
Suppose -g - z + 3 = 0, 4*g + 2*z - 12 = -0*g. Let o(w) = 9*w**2 + 13*w - 21. Is 11 a factor of o(g)?
True
Suppose 204 = 21*g + 30*g. Suppose 7*f - 3*f + g*z = 1748, 5*f = -3*z + 2193. Does 25 divide f?
False
Is 0 + -2 + 9 + (-108)/12 + 3440 a multiple of 57?
False
Suppose -5*k = 2*w - 0 + 6, 2*w +