 -j**6/60 + 2*j**5/5 + j**4/6 + 25*j**3/6 - j**2 - 11. Is 5 a factor of r(12)?
False
Let t be (-3 - (1 + -4))/1. Is 20 a factor of 46 - 44 - (-215 - t)?
False
Let y = -8 - -12. Suppose 3*q + 2*o + y = 0, 0 = -4*o + 8 - 28. Suppose 4*f = 4*d - 149 + 45, -3*d - q*f + 68 = 0. Does 16 divide d?
False
Suppose -51*h + 36092 - 3046 = 11*h. Does 10 divide h?
False
Let i(z) = z**3 + 70*z**2 + 147*z - 378. Is 36 a factor of i(-67)?
True
Does 104 divide (-336316)/(-6) + (-190)/(-57)?
True
Suppose -16*o + 118 = -14*o + 3*q, o - 45 = -5*q. Suppose -5*a + 10 = -7*a, -3*d + o = -a. Does 20 divide d?
True
Let l be 5*(-10)/50 + 1*279. Suppose 3*v + 4*s = 874, v - 3*s = -s + l. Is v a multiple of 26?
True
Suppose 333*y - v = 329*y + 45642, -4*y + 45648 = 2*v. Does 54 divide y?
False
Let s(o) = 6*o - 5. Let b be s(1). Suppose a = -g + b, -4 - 5 = 3*a. Suppose 0 = -2*l - g*k + 200, 3*l = 8*k - 4*k + 340. Is l a multiple of 27?
True
Suppose 2*p = -5*h - 5, 0*h + 5*h = -p. Let x be 6/h*(3 + 44/12). Is 4 a factor of x*(-12)/(-40)*4?
True
Let q(d) = d**3 - 3*d**2 + 3*d + 487. Does 12 divide q(29)?
True
Suppose -304 = 3*o - 316. Suppose -4*c = o*w + 396 - 1516, -4*c + 3*w = -1120. Does 34 divide c?
False
Suppose 5*n = 3*l - 30449, l + 5*n - 4076 - 6067 = 0. Is l a multiple of 40?
False
Suppose -79 = -2*m + 3*m. Suppose -132 = 2*p - b - 18, -3*b = -12. Let y = p - m. Does 12 divide y?
True
Let g = 33 - 33. Suppose g = -k - 3 + 6. Suppose 4*m + 5 + 8 = t, k*m = t - 15. Does 6 divide t?
False
Let i(f) = f**2 + 4*f - 8. Let g be i(0). Let v(c) = 3*c**2 - 6*c - 41. Is 26 a factor of v(g)?
False
Let u = -18566 - -49659. Is u a multiple of 9?
False
Suppose -54*t = -19078 - 5035 + 1001. Is t a multiple of 6?
False
Let x(z) = 4*z**2 - 103*z - 3206. Is x(-45) a multiple of 13?
True
Let g = 9061 + -8701. Is g a multiple of 24?
True
Let r = 253 + -259. Is 221 + 4*3/r a multiple of 73?
True
Let a(q) = -q**2 - q. Let d be a(-1). Suppose 60*j = 70*j - 760. Suppose -t - 4*k + j = 0, -3*t + 2*t + k + 91 = d. Is t a multiple of 23?
False
Let y = 43 - 34. Does 14 divide (-41)/(-3)*(15 - y)?
False
Suppose -116*b + 58*b + 6 = -56*b. Suppose -w + 0 = -2. Suppose 3*r - 131 = -w*x, -b*r - 73 = -x - 12. Does 9 divide x?
False
Suppose 4*f = -3*k + 7506, f - 188 = -k + 2314. Is 69 a factor of k?
False
Suppose -2*h + 29 - 17 = 0. Let v be 6/(-4) - -2 - (-15)/h. Suppose v + 293 = 2*k. Is 32 a factor of k?
False
Let w = -11 + 57. Let j = 43 - w. Is 4 a factor of 4 - (-20)/((-15)/j)?
True
Let l be (3 - 2)/(10/8250) - -2. Let j = l - -6. Is 17 a factor of j?
True
Let h(w) = 15 + 32 - 25*w + 18*w + 14*w. Let j be h(-6). Suppose -f = -0*f + 4*g - 198, 0 = 2*f - j*g - 409. Does 31 divide f?
False
Let n be (-153)/18 - -6 - 1/(-2). Does 13 divide (0 + n)/(((-80)/5)/208)?
True
Let k = -7411 - -7716. Is 15 a factor of k?
False
Suppose 8 = 2*z - 4*o, 4*z + 4*o - 19 = -3. Suppose -2*f - 58 = -0*n - 3*n, n + 88 = -z*f. Let t = f + 30. Does 7 divide t?
True
Suppose 4*g - 24 = -j, -4*j + 26 = 2*g - 0*g. Suppose -j*f - b = 87 - 354, -213 = -3*f - 5*b. Does 22 divide f?
True
Let n(s) = -65*s - 1288. Is n(-56) a multiple of 9?
False
Let k(o) be the first derivative of -2*o**3/3 - 25*o**2/2 + 4*o + 23. Let v be k(-13). Does 8 divide 4/(-5)*(-39 - v)?
True
Suppose 3*u - 252 = -w, 2*w - 3*u + 203 = 662. Let s = w + 67. Is s a multiple of 19?
True
Is (31/(-4) + 189/21)*8072 a multiple of 57?
False
Suppose -3*y + 0*y = -4*y. Suppose -k = p + 2*p - 7, -4*k + 4*p - 4 = y. Is 5 a factor of (-4)/8*2 - -18*k?
False
Let n(r) = -2384*r**3 + 2*r**2 - 3*r - 5. Does 16 divide n(-1)?
True
Let m(h) = -82*h + 8. Let w(f) = 408*f - 42. Let c(g) = 16*m(g) + 3*w(g). Suppose -2 = -4*p + 2*i - 0*i, -4*p - 1 = -i. Is 30 a factor of c(p)?
True
Suppose 4*a = 16*a. Let i(p) = p**2 - p + 2. Let u be i(a). Suppose 0 = r - h - 1 - u, 5*h = -3*r + 9. Does 3 divide r?
True
Suppose 1054*g + 495600 = 1079*g. Is g a multiple of 8?
True
Let g = -73 + 76. Suppose -5*x - l + 23 = 0, g*x + 2*l - 5 - 6 = 0. Suppose 0 = -x*d - 4*u + 524, -u + 3*u = 2*d - 206. Is 25 a factor of d?
False
Suppose -3*x = -2*a + 30, 0*a - 3*a + x = -38. Suppose 0 = 14*i - a*i. Suppose -q + 4 = -3*l, 4*q + i*l - 2*l - 36 = 0. Does 10 divide q?
True
Does 18 divide 10942 + (-2 - 1) + 4 + 1?
True
Let b(h) be the first derivative of h**2/2 + h + 3. Let j be b(-1). Suppose j = 4*g - 543 - 9. Does 23 divide g?
True
Suppose g = -3*j - 5, 0*j = 4*g - 4*j - 12. Is 4 - (-2)/(-6)*(-339)/g a multiple of 39?
True
Is (45 + (-14580)/(-28))/((-2)/(-105)) a multiple of 25?
True
Suppose -162*w + 292*w = 157*w - 75600. Is 80 a factor of w?
True
Suppose g - 2542 = -n, -1695*g + 1692*g + 7674 = -3*n. Is g a multiple of 150?
True
Let v be -1*(1 + 4 + -2). Let d be v/(-27) + 1942/18. Let a = -86 + d. Does 11 divide a?
True
Does 9 divide 1247015/861 + ((-5)/(-3) - 2)?
False
Suppose 36*h - 2304 = -7704. Let s be 4*(-1 - (-9)/6). Is 21 a factor of (-5 + 6)*-2 - h/s?
False
Let w be 2/(-4)*-2 - -5. Suppose -18*y - 6355 = -23*y. Is w/14 + y/7 a multiple of 14?
True
Let f be 1/((-3)/(-2))*(123 + -6). Let x = -27 + f. Is 3 a factor of x?
True
Let y(o) = 5*o**3 + 279*o + 4*o**2 + 10 - 283*o - 4*o**3. Let i be y(-5). Suppose i*b = 2*b + 210. Is b a multiple of 10?
True
Let y(j) = j**3 - 7*j**2 - 8*j + 20. Let c be y(8). Does 21 divide (c/12)/(4/132)?
False
Suppose 4*b = -12, -5*c + 16039 - 3410 = 2*b. Is c a multiple of 111?
False
Let v be 121/5 - (-7)/(0 + -35). Let c be -22*(-15)/v*12. Suppose 5*t - 2*f - c = 0, -2*t = 2*f - 87 + 7. Is 5 a factor of t?
True
Let f = 369 + -367. Suppose 2*v = 3*n + 939, 2*v + 6*n - f*n = 946. Is 5 a factor of v?
False
Suppose 58*j + 8572 = 86*j - 3272. Is 47 a factor of j?
True
Let l(s) = 1488*s**3 + s**2 + 20*s - 21. Is l(1) a multiple of 31?
True
Let a(j) = -j + 15. Let i be a(23). Is ((108/i)/3)/(1/(-48)) a multiple of 11?
False
Is 378*(39/(-3) + 15) a multiple of 13?
False
Suppose -a = 4*m - 20, -2*a - 3*m = 2*m - 25. Let y(r) = -r**3 - r**2 + r + 91. Does 13 divide y(a)?
True
Let n(z) = -39*z - 1040. Is n(-90) a multiple of 18?
False
Suppose 11 = 4*r - 1, 3*a - r = 12. Let s(y) = y**2 + 15*y + 12. Is s(a) a multiple of 11?
False
Let u = -19 + -104. Let j = -88 - u. Let b = 47 - j. Is 12 a factor of b?
True
Let b be 6/12*(-1 - -3). Suppose 2*w = 5 - b. Suppose 0 = w*k - 10, q + k = -q + 21. Is q a multiple of 3?
False
Let c(z) = 5*z + 1. Let o be c(6). Suppose -x - 2*x + o = -2*b, -3*b + 3 = x. Let k = 19 - x. Is k a multiple of 9?
False
Let a(g) = 7*g**3 + 6*g**2 - 2*g + 595. Does 18 divide a(0)?
False
Let s be (0 + -20)/((-17)/34). Let h be ((-3)/3)/(-2)*s. Is h/(-8)*(-208)/10 a multiple of 12?
False
Suppose i - 3*p - p + 40 = 0, -5*p = 0. Is i/(-100) - (-1373)/5 a multiple of 11?
True
Let k be (-2)/(-1) + 9 + -36 + -7. Is (16/k)/(1/(-398)) a multiple of 15?
False
Let h(i) = -20*i + 5*i - 3 + 2 - 7. Let z be h(-3). Let d = 191 - z. Does 18 divide d?
False
Suppose -8*d = 3*i - 5102, -d + 635 = 2*i - 3*i. Is d a multiple of 3?
False
Suppose -3*h = -2*r - 4425, 3*h - 7373 = -2*h + 4*r. Let d = h + -623. Is d a multiple of 14?
True
Suppose 16 = -4*h + 3*b, h - 4*b + 21 - 4 = 0. Suppose -58*v + 786 + 26 = 0. Does 8 divide (h - -40) + (-42)/v?
False
Suppose -3*r = 2*q - 4, 5*q - 15 = -4*r - r. Suppose -q*j = 5*f - 0*j - 30, 0 = 4*f + 5*j - 28. Suppose 4*w = 4, -2*v + 136 = -f*w - 146. Is 29 a factor of v?
False
Let s(u) = -106*u**2 - 3*u + 3. Let p be s(1). Let j = p - -40. Let n = -46 - j. Is n a multiple of 6?
False
Suppose -140 = 6*w - 560. Suppose -w = -2*p + 630. Is 18 a factor of p?
False
Let u(v) be the third derivative of -v**6/120 + 3*v**5/20 - v**4/12 - 2*v**3 + 19*v**2. Suppose 3*j - 50 = -5*g, -4*j = g - 3*j - 12. Does 39 divide u(g)?
False
Let b = -2034 + 5355. Does 123 divide b?
True
Let w = -21 + 33. Let m(o) = 20*o - 21*o + 2*o**3 + w - 3*o**3 - 7*o**2. Does 19 divide m(-7)?
True
Suppose 54*q + 17436 = 56*q + 4*l, 4*q = -2*l + 34878. Is 38 a factor of q?
False
Let q = 67 - 93. Let c = -27 - q. Is c + -393*6/(-9) a multiple of 52?
False
Let i(c) = 9*c - 112 - c**2 + 110 + c**3 - 7*c. Let r be i(0). Is 9 a factor of r*(-25)/(-10) + 43?
False
Let f = -267 + 138. Let z = -106 + -163. Let s = f - z. Is 35 a factor of s?
True
Is 10/(-70) - 155178/(-14) a multip