 + 3*u(a). Let v = -1 + -9. Does 30 divide g(v)?
False
Suppose -5*m + 9677 = -9*j + 13*j, 0 = 3*m - 15. Is 159 a factor of j?
False
Let q(c) = 118*c**3 + 12*c**2 - 31*c - 60. Is 90 a factor of q(4)?
True
Let t(c) = -92*c - 142. Let h(j) = 31*j + 48. Let f(o) = 11*h(o) + 4*t(o). Let k be f(-6). Let q = -119 + k. Is q even?
False
Let t = -22 - -5. Let u = -109 - -68. Let c = t - u. Is c a multiple of 22?
False
Suppose -5*b + 2*o + 44362 + 30600 = 0, 59965 = 4*b + 3*o. Is 19 a factor of b?
False
Let u(z) = z**2 - 8*z - 26. Let i be u(9). Let d = 498 - i. Suppose 61 = 18*m - d. Is 32 a factor of m?
True
Suppose 0*n - 33 = -3*n + 5*q, -2*n = 2*q - 6. Does 52 divide (320/n)/(2/33)?
False
Suppose 3*r + 283 = 58. Let k = -64 - r. Suppose 2*b = 237 + k. Is 15 a factor of b?
False
Suppose 2*r + 1 = l, 0 = -2*l - 2*l + 3*r - 1. Let x be 2/l + -10 + 16. Suppose -3*a + x*v + 127 = 0, -40 = -4*a - 2*v + 100. Does 10 divide a?
False
Let y = 52 - 41. Let d be (-7)/(-1) - (y + -16). Suppose 3*r + 459 = d*r. Does 10 divide r?
False
Is 202 a factor of ((-44)/154 - (-918)/28)*(-2424)/(-5)?
True
Is 8 a factor of (-73311)/(-8) + (26/(-702) - (-245)/1512)?
False
Let p(j) = 9*j**2 + 13*j + 34. Let v be p(-3). Suppose -v + 250 = 6*b. Does 24 divide b?
False
Is 90 a factor of -162*((-73)/(-146))/((-2)/40)?
True
Does 5 divide 1*-2*(-2586)/12*(-307 - -368)?
False
Is (-9)/1 + (-88 - -3152) a multiple of 24?
False
Let q(r) = 7*r**2 - 15*r - 6. Let b be q(3). Is -2*(-27)/b*(-53056)/(-144) a multiple of 12?
False
Suppose 0 = s - 33*s + 128. Is 675 + (-3 - (10 - s)) a multiple of 18?
True
Suppose 4*g - 1 = 11. Suppose 4*k - 22 = -g*x, 4*x - 3 = k + 1. Does 4 divide k?
True
Let o = 30 + -26. Suppose 0 = g + c + 42, -o*g - 5*c = 107 + 59. Is (-2134)/g + 2/(-4)*1 a multiple of 16?
True
Let w = 114 - -411. Suppose -117 = 3*i - w. Is 34 a factor of i?
True
Let x = 38393 - 17293. Does 211 divide x?
True
Let d(p) be the second derivative of -113*p**3/6 + 10*p**2 + 18*p + 2. Is d(-3) a multiple of 19?
False
Let i be ((-106)/(-8) + -2)/(10/40). Suppose 0*h - 10 = -2*h, 2*p + 5*h + 25 = 0. Let s = i + p. Is s a multiple of 4?
True
Suppose 0 = -2243*a + 2231*a + 178164. Does 37 divide a?
False
Let i be (-1)/3 - 600/(-18). Suppose -29*c = -i*c - 16. Let s(g) = g**2 - 8*g - 13. Does 5 divide s(c)?
True
Let d be (180/(-140))/(2/(-14)). Suppose -1251 = -d*o - 63. Is 37 a factor of o?
False
Let q = -13793 + 19734. Does 13 divide q?
True
Does 34 divide (136/(-14))/(124/(-17794))?
True
Let j be 2/4 + (-15)/(-2). Let b(a) = 1 + j + 56*a - 61*a. Does 8 divide b(-3)?
True
Suppose -3*k - 61 = -4*k + v, -187 = -3*k - v. Let n = 1511 + -1351. Suppose 0 = q - n - k. Is q a multiple of 37?
True
Let v be ((63/6)/7)/(2/4). Suppose 3*a + v - 36 = 0. Let u = a + 29. Does 10 divide u?
True
Suppose 0 = -4*w, 5*g = -2*w - 11 + 21. Suppose 0 = 3*x - 6, 292 = g*i + 2*x - 576. Is i a multiple of 72?
True
Let k = -760 - 1772. Is -6 - (-2)/((-8)/k) a multiple of 11?
True
Suppose 44 = 4*h - 5*x, -4*x - 14 = -2*h + 14. Suppose -642 = h*i - 9*i. Suppose 5*d - 86 = i. Is 20 a factor of d?
True
Let g(f) = 4*f**2 + 0*f + 1 - 5*f - 4*f - 21*f**2. Let b(z) = -33*z**2 - 17*z + 3. Let q(r) = -3*b(r) + 5*g(r). Is 11 a factor of q(-3)?
False
Let j(g) = -g**3 + 2*g**2 + 25*g + 4428. Does 21 divide j(0)?
False
Let w be 6*-4*2/(-16) + -1. Suppose l - 4 = 5*l + 3*f, -16 = -w*l + 3*f. Suppose -64 = -2*n - 4*v, -n = -2*n + l*v + 16. Does 6 divide n?
True
Let m = 161 - 402. Let r = 389 + m. Suppose -3*u + c + 738 = 0, c - 843 = -4*u + r. Is 9 a factor of u?
False
Let k be (-87)/(-12)*(-2 + 10). Suppose 6*l + k = 9*l + 4*i, 6 = l - 2*i. Is 348/7 + (0 - l/(-49)) a multiple of 19?
False
Suppose -3*f - 80 = -19*f. Suppose -3*b = f*y - 1400, 19 = 2*y + 11. Is 17 a factor of b?
False
Let m be 6*(-10)/15 - -972. Suppose 0 = -5*b - 4*i - m, i = -2*b + 6*i - 407. Let o = b - -316. Is 13 a factor of o?
False
Suppose 0 = -2*m - 3*t + 6679, 3*m - 9740 = 4*t + 236. Does 7 divide m?
True
Let o(y) be the first derivative of -2*y**3/3 + 20*y**2 - 25*y + 15. Does 2 divide o(19)?
False
Let r be 6*((-680)/(-24) + 1). Is (1056/128)/(6/r) - 2 a multiple of 10?
True
Suppose 0 = -4*f, -4*f + 3*f - 10036 = -b. Is b a multiple of 52?
True
Is 24 a factor of (-2)/10 - (-34 + 10661/(-5))?
False
Let o = 1957 + 34450. Is 124 a factor of o?
False
Let u(r) = -r**2 + 10*r + 1114. Does 5 divide u(-22)?
True
Let o(d) = 2*d**2 + 9*d + 7. Let u be o(-6). Suppose 192 = u*f - f. Is 4 a factor of f?
True
Suppose -262*i - 24 = -270*i. Suppose 0 = 5*h + 5*q - 1980, 2*h - i*q + 285 = 1052. Is h a multiple of 17?
True
Let b = 25050 - -1589. Does 30 divide b?
False
Let r(q) = -3*q**2 + 8*q - 1. Let m be r(3). Let c be (86/m)/((-3)/48*-4). Let o = c - -196. Does 5 divide o?
True
Suppose -4*t + 8013 + 4151 = -5*c, -4*t = 5*c - 12204. Is t a multiple of 194?
False
Let w(z) be the first derivative of 27*z**2/2 - 26*z + 49. Is w(5) a multiple of 23?
False
Let o(j) be the first derivative of -j**3 + 13*j**2/2 + 53*j + 13. Let t(h) = 2*h**2 - 9*h - 35. Let w(q) = -5*o(q) - 7*t(q). Is w(-11) a multiple of 11?
False
Let d(f) = -f - 5. Let s be d(-6). Is 5 a factor of 26 + 7 + 4 - -1*s?
False
Let k be (4 + 1)/((-6)/(-30)). Suppose -6*y = -5*y + k. Does 5 divide 3*-2*y/6?
True
Let z = 111 + -109. Is 35 a factor of ((-157)/z)/((120/(-32))/15)?
False
Let a be ((-18)/(-63))/(2 - 39/21). Suppose -3*x = -4*g - 332, 536 = 3*x + a*x + 2*g. Is 9 a factor of x?
True
Let d(y) = -y - 22. Let r be d(8). Let h = r - -36. Suppose l - 6*l = z - 47, -2*z = h. Does 6 divide l?
False
Let c be 4 - ((-7 - -4) + -46). Let o = 41 - c. Let p = 33 - o. Is 9 a factor of p?
True
Let p(k) = 342*k**2 + 10*k - 9. Let q be p(1). Let i = 1635 - q. Does 19 divide i?
True
Let j(b) = b**3 + 17*b**2 + 28*b + 33. Let m be j(-13). Let a = 433 - m. Is a a multiple of 6?
False
Suppose -169 = 3*g + 26. Let m = g + 78. Is m + 3 + 0 + 0 a multiple of 5?
False
Is 36/(-45)*-4780 + 10 a multiple of 54?
True
Is 11 a factor of ((-660)/14)/(60/(-5320))?
True
Suppose 2*m = 4*d - 7080, 5306 + 1776 = 4*d - 3*m. Is 29 a factor of d?
True
Suppose -5*w - 2*g + 5 = 0, 4*w - 5*g - 4 = -6*g. Let v(b) = 54*b. Let q be v(w). Let h = 8 + q. Is h a multiple of 13?
False
Let s = -154 + 159. Suppose 3*r - 335 = r - s*q, 4*q = 4. Is r a multiple of 12?
False
Let f = -332 + 350. Suppose -5*p + 1200 = 3*n, -f*n = -22*n - 4*p + 1600. Is n a multiple of 21?
False
Suppose 18*d - 608 = 14*d. Suppose 4*t - 8 = 0, d = 2*n + 2*n + 2*t. Is n a multiple of 18?
False
Is 23112/20*1*35/14 a multiple of 65?
False
Suppose -74*u - 475 = -69*u. Let i = -92 - u. Suppose -34 = -k - i*y, 3*k + y + 2*y = 78. Is 11 a factor of k?
True
Let r(w) be the second derivative of 0 + 48*w - 15/2*w**2 + 8*w**3. Does 8 divide r(3)?
False
Suppose 12*h - 497278 = -72*h - 104158. Does 90 divide h?
True
Suppose 7*r - 35046 = 5*r - h, h = 0. Is 59 a factor of r?
True
Let c be (4 + -8 - 65)/((-1)/1). Let j = c + -64. Suppose -2*u + 5*t = -232, -2*u - u + 298 = j*t. Is u a multiple of 18?
False
Let c(k) = k**3 - 43*k**2 - 64*k - 284. Is 56 a factor of c(47)?
True
Let w(d) = -2*d**2 - 6*d + 79. Let x(j) = j**2 + 3*j - 39. Let q(a) = 6*w(a) + 13*x(a). Does 7 divide q(12)?
True
Suppose 0 = 2*b - 3*v - 6806, 5*b - v = -5953 + 22955. Is b a multiple of 17?
True
Let a = 4722 - 2551. Is 29 a factor of (-7)/(-35)*a - (-8)/10?
True
Suppose 0 = 2*m + 5*t - 0*t - 110, 0 = m + t - 52. Let h be (3/2)/(-5*(-5)/m). Suppose -42 = -h*r + 78. Is r a multiple of 14?
False
Suppose -6612 = -16*b + 4124. Is 2 a factor of b?
False
Let w = 1984 + -1379. Suppose 0*r - w = -3*r - 4*x, 0 = 5*r - 4*x - 1019. Is 7 a factor of r?
True
Let a = -39034 - -50158. Is 18 a factor of a?
True
Let l(k) = -2*k**2 + 42*k - 10. Let p be l(21). Let b(w) = -16*w - 58. Is b(p) a multiple of 3?
True
Suppose 0 = 374*q + 9*q - 10438665. Is q a multiple of 178?
False
Suppose -657 = -7*w + 20371. Suppose 5081 + w = 21*s. Does 55 divide s?
True
Suppose -s - 354 - 1679 = -3*l, -5*l = 4*s - 3411. Let b = l + -151. Is b a multiple of 16?
True
Let u(k) = -8*k**2 - 112*k - 12. Let r be u(-14). Is 6/r*(-391 + (0 - 1)) a multiple of 49?
True
Let p be (13/(-26))/(2/(-4)) + -3. Let k(u) = 17*u**2 + 8*u + 7. Let y be k(p). Suppose -z + 5*z - 5*