 324. Let w = j - p. Is 31 a factor of w?
True
Let q be (-3 - -2) + 8 + 2. Suppose g - 4*g - q = 0, -g - 13 = 5*t. Is 19 a factor of 5*(-68)/20*t?
False
Let m be 9/(-27) + (-2 - (-452)/6). Let v = m + 120. Suppose -743 = -11*l - v. Does 10 divide l?
True
Let l = 38 - 99. Let v = 63 + l. Suppose 0 = -v*f + 119 + 103. Is 11 a factor of f?
False
Let k = -384 + 386. Suppose -3*p - 251 = -2*d + 463, k*d + 2*p - 704 = 0. Is 12 a factor of d?
False
Suppose -472420 = 2*r - 203*r - 59*r. Is 6 a factor of r?
False
Suppose 4*t = -2*n + 334, 0 = -3*t - 5*n + 6*n + 248. Suppose -5*j + t + 162 = 0. Is 7 a factor of j?
True
Let w(v) = v**2 - 2*v - 8. Let x be w(4). Let y(k) = -21*k + 54. Does 4 divide y(x)?
False
Let j = -254 - -256. Is ((-13154)/(-16))/1 + j/(-16) a multiple of 26?
False
Suppose 5*i = -2*a + 1017, -193 - 214 = -2*i - a. Does 29 divide i?
True
Suppose 480 = -11*c + 9280. Does 50 divide c/(-12)*12/(-8)?
True
Let x(b) = 1007*b - 9. Let t be x(1). Suppose 17*g - 1450 = t. Does 48 divide g?
True
Is 46 a factor of 6*5382/(6 + 7)?
True
Let i = -47 + 46. Let h be 3 + -5 - -1 - i. Let x(j) = 3*j + 17. Does 13 divide x(h)?
False
Let b(w) be the second derivative of -7*w**3/3 - w**2/2 + 24*w. Let s be b(-1). Let p(k) = k**3 - 11*k**2 - 15*k - 23. Is 23 a factor of p(s)?
False
Let n be 3 + -1 - 12/(-6). Let s(w) = -18*w - 2 + w**2 - 4 + 18 + n*w. Does 9 divide s(18)?
False
Let o be (6/4)/(18/(-108)) - -4. Does 25 divide -2*((-1)/o)/((-14)/12635)?
False
Let r(i) = -i**2 + 22*i + 1. Suppose 0 = -q, -q - 44 = -5*n + 6. Is r(n) a multiple of 11?
True
Let g = 453 - 257. Suppose 203*n - g*n = 231. Does 4 divide n?
False
Suppose 0 = 4*h - 3*x - 13182, 0 = 5*h + 5*x + 6976 - 23401. Is 11 a factor of h?
False
Let s(o) = -3169*o - 75. Is 64 a factor of s(-1)?
False
Let d = 811 + -383. Suppose 2*t - 2*p - d = 162, 4*p - 1448 = -5*t. Does 78 divide t?
False
Let a(b) = -7*b**3 - 8*b**2 - 23*b - 20. Let x(o) = 2*o**3 + o**2 + 2*o + 1. Let s(m) = a(m) + 3*x(m). Is s(-7) a multiple of 11?
False
Suppose 0 = -51*k + 53*k - 8. Suppose -2*q = 2*f - 4, -q = 5*f - k*q + 30. Is 5 a factor of f*(344/(-12))/2?
False
Suppose 0*l + 2*l - 139 = -n, n = -1. Let o = 70 - l. Suppose 3*f + 0*f - 300 = o. Is 9 a factor of f?
False
Suppose -322*k - 448454 = -368*k. Is 8 a factor of k?
False
Let h(k) = 271*k**3 + 81*k**2 + 15*k + 56. Is 15 a factor of h(6)?
False
Let i be 4/(-18) + ((-532)/9)/(-14). Let l(x) = -16*x + 21. Let d be l(-10). Suppose -t - c = -6*t + 829, -t = -i*c - d. Is t a multiple of 33?
True
Let t(q) = -q**3 - 7*q**2 - 13*q - 3. Let n be t(-4). Does 2 divide (n/(-1)*1)/(41/(-779))?
False
Let w be (593 - (-1 - 3)) + 3. Let d be 4/14 - w/(-56). Suppose -230 = -d*h - 54. Does 11 divide h?
False
Suppose -1557 = -5*t - 3*v, -5*t + 1269 = -v - 272. Does 14 divide t + 2/(-4) + 6/(-12)?
True
Let c(g) = -34*g + 319. Let x = -659 - -650. Does 25 divide c(x)?
True
Suppose 23*u - 27*u + 5*s + 101969 = 0, -127526 = -5*u - 3*s. Is u a multiple of 30?
False
Let b(w) = -280*w**3 + w**2 - w - 1. Let h be b(-1). Let v be 12/54*(17 + 10). Suppose 61 = v*z - h. Is z a multiple of 15?
False
Let o be (2 + 1)*(-1 + 232/87). Let m(i) be the third derivative of i**5/20 - 5*i**4/24 + 8*i**3/3 + i**2. Does 11 divide m(o)?
True
Let r = 5763 + -3351. Is 36 a factor of r?
True
Let g(i) = -2*i + 27. Let k be g(15). Is -29 - -58 - k/((-3)/4) a multiple of 6?
False
Let b = 145 - 124. Does 8 divide b/12*(334 - (6 + -12))?
False
Let p be 2*(-13 + 5) + 0. Does 41 divide (-12)/p - (29895/(-20))/3?
False
Let u(i) = 326*i**2 + 23*i - 34. Does 4 divide u(2)?
True
Let p be (1232/64)/(2/88). Suppose p = 13*f - 3443. Is 22 a factor of f?
True
Let j = 3378 - 3224. Is 7 a factor of j?
True
Suppose -f - f - l + 5 = 0, l + 5 = 3*f. Suppose 4*n + 387 = 3*x, -4*x + f*n + 258 = -2*x. Does 3 divide x?
True
Suppose 7*y - 15*y = -27*y + 639540. Is 90 a factor of y?
True
Let t be -4 - (-116 + 6)/10. Suppose 21090 = 12*r + t*r. Is r a multiple of 15?
True
Let m = 289 - 287. Suppose -867 = -3*f + 3*z, -6*z + m*z + 853 = 3*f. Does 41 divide f?
True
Let i be (-2)/6 - (-19)/3. Let y(x) = x**3 - 25*x**2 - 21*x - 35. Let s be y(26). Suppose i*p = 3*h + p - 295, p = h - s. Does 29 divide h?
False
Let i(k) = -2*k + 4. Let a be i(-7). Let d = 20 - a. Suppose -4*r + 3*x = -625, 320 = -0*r + d*r - 4*x. Is 11 a factor of r?
True
Let b(k) = 44*k + 72. Let l(s) = -2*s + 154 - 146 + 7*s. Let r(p) = 3*b(p) - 28*l(p). Is r(-7) a multiple of 16?
True
Suppose 24863 = 5*o - 4*g, o = -46*g + 41*g + 5019. Is o a multiple of 13?
True
Let f = -84057 - -122722. Is f a multiple of 23?
False
Suppose -16*r = -465 - 3391. Let g = r + -115. Is g a multiple of 21?
True
Let w(i) = 8*i - 98. Suppose 0*t - 5*t = 3*b - 95, -5*t + 2*b = -95. Is w(t) a multiple of 18?
True
Let x(g) = 204*g - 31. Let d(b) = 6*b + 20. Let r be d(-3). Is x(r) a multiple of 29?
True
Suppose 17*f + 17*f - 19719 = 21727. Is f a multiple of 12?
False
Let k(r) = 3*r**2 + 12*r + 15. Let y be k(5). Suppose -8*o - y = -2222. Is 4 a factor of o?
False
Let i(p) = -720*p + 21. Let n(q) = 241*q - 7. Let u(d) = -4*i(d) - 11*n(d). Is 37 a factor of u(1)?
True
Let s(q) = 4494*q - 909. Does 21 divide s(6)?
False
Let w(c) = -c + 13. Let f be w(9). Suppose -f = 3*h + i - 470, 3*h - 3*i = 486. Suppose 3*g = -u - 4*u + h, -g - 141 = -5*u. Is u a multiple of 3?
False
Let d = -106 + 99. Let f be 3/(d/(105/(-9))). Suppose f*j - 7*z = -2*z + 1155, 4*j - 948 = -2*z. Does 46 divide j?
False
Is 11 a factor of (-1)/(-7 + 14584/2084)?
False
Suppose 23*n - 1154817 = -35*n - 23*n. Does 37 divide n?
False
Suppose 0 = -4*j - 20, -2521 = 2*x + 5*j - 28190. Is x a multiple of 16?
False
Let a(j) = j**3 - 5*j**2 - 69*j + 40. Is a(18) a multiple of 70?
True
Suppose 11*c = 4131 + 5175. Is c a multiple of 141?
True
Let d be 2484/132 + 0 + 4/22. Let u = -24 + d. Is 24 a factor of 14*(u/25)/(4/(-50))?
False
Let u(d) = 96*d - 16. Suppose -5*a + 3*r + 22 = 0, a + 0 - 3 = 2*r. Let x be u(a). Let k = -328 + x. Is k a multiple of 34?
True
Let r be (-14)/10 - (-16)/40. Is ((126/8)/9)/(r/(-4)) a multiple of 2?
False
Suppose -10*a + 26073 = -3367. Does 18 divide a?
False
Let a be 1878 + 3 + -4 + 1*-2. Let l = a + -1282. Suppose -3*q = 2*d - l, 5*q = -5*d + 1265 + 225. Is 42 a factor of d?
False
Suppose 0 = -m - 5*p - 94, -21 + 5 = 4*p. Let b(t) = 18*t**3 - 3*t**2 + t - 1. Let q be b(2). Let k = q + m. Does 7 divide k?
False
Let t be (-6)/27 + 418/18 + 0. Suppose -2*f = -75 + t. Let q = f - -56. Is 40 a factor of q?
False
Let z be 1975/(-10) - (-1)/(-2). Let u = 277 + z. Suppose 4*f - 5*k - 54 = 21, -4*f + k + u = 0. Is 20 a factor of f?
True
Let a(u) = 7*u - 31. Suppose 2*y + 103 = 121. Is a(y) a multiple of 10?
False
Let t(g) = -35*g - 57. Let v(o) = 37*o + 53. Let b(h) = -6*t(h) - 4*v(h). Does 7 divide b(9)?
False
Suppose -30 = 5*p, -2*o - 3*p + 3246 - 440 = 0. Is 6 a factor of o?
False
Suppose 135*m - 1526 = 11281 + 3798. Does 6 divide m?
False
Let r = 77 - 77. Suppose 13*s - 19 - 46 = r. Suppose -2*f + 23 = -s*u - 2, u = 3. Is f a multiple of 4?
True
Is 4 a factor of -1 - 7 - (15 - 44070/26)?
True
Let z = 18866 - 12566. Is 42 a factor of z?
True
Let h(n) = n**3 - 11*n**2 + 4*n - 33. Suppose 0 = 4*k - w - 369 - 862, 921 = 3*k - 3*w. Let d be 3/(-2)*k/(-42). Is 3 a factor of h(d)?
False
Does 18 divide (-15)/((-60)/(-16)) - -7709?
False
Let a(b) = b**2 - 7*b - 26. Let v be a(10). Suppose 9 = v*r - 27. Suppose r*y = 213 + 1497. Is y a multiple of 19?
True
Let u(g) = -9*g**3 - 2*g**2 + 12*g + 5. Is 5 a factor of u(-6)?
True
Let o(c) be the first derivative of -43*c**2 + 17*c - 21. Does 11 divide o(-3)?
True
Suppose 4*h - 417 = -3*m + 243, 0 = -2*m. Let a = h - 284. Let c = -95 - a. Is 4 a factor of c?
True
Suppose 3*k = 87 - 9. Suppose 0 = 31*v - k*v - 240. Does 6 divide v?
True
Let y be (-2)/(-8) - (-2 + 22/(-8)). Suppose -4*t - p - 10 = 0, p - 5 = -y*t - 17. Is ((-40)/(-20))/(t/(-74) + 0) a multiple of 10?
False
Let g(l) = -l**3 - 19*l**2 + 6*l - 22. Is 198 a factor of g(-26)?
True
Let h(p) = -12*p**2 + 16*p - 77. Let j be h(5). Let a = j - -377. Does 14 divide a?
False
Suppose -6*r = 3*r - 387. Suppose 10*f - 39220 = -r*f. Does 5 divide f?
True
Suppose 3*y - 797 = 3*q + q, -5*q = 5*y - 1270. Suppose j - 218 = 4*v + y, 0 