vide q?
True
Let i = 31876 - 19692. Is 132 a factor of i?
False
Let z be ((-9)/9 + -7)/(-4). Suppose -y + z*d + 821 = -0*y, d + 817 = y. Is y a multiple of 47?
False
Let r = 47346 + -29419. Does 13 divide r?
True
Let l(o) = o**3 - 17*o**2 + 34*o - 71. Let y be l(15). Let g(q) = -111*q - 163. Does 46 divide g(y)?
True
Let l(m) = -m + 10. Let f be l(-15). Suppose -5*o = -2*i + 43, 2*o + 3*o = -f. Suppose j - 320 = -i*j. Does 15 divide j?
False
Is 92 a factor of 1066149/126*1*6/1?
False
Suppose 12 = -3*u, 4*c - 23 = -u + 9. Suppose -c*m + 3062 = -1123. Is 27 a factor of m?
False
Suppose 4*p = 24*u - 25*u + 32047, -32063 = -u - 2*p. Does 22 divide u?
False
Let a(m) = -11*m + 17. Let f be (13 + -1)/((-9)/(-6) - 0). Suppose 5*j + 33 = f. Is a(j) a multiple of 24?
True
Suppose -4*w = 8, 16*q - 13*q - 2*w = 268. Suppose -3*f = 0, -3*f + 100 + q = 2*b. Is b a multiple of 6?
False
Is (-210)/28*(1 + (-4994 - -9)) a multiple of 20?
True
Let u(m) = 2*m**3 - 6*m**2 + m - 6. Let q be u(3). Is 19 a factor of -1 - 0 - (q - 264)?
True
Let v = -246 - -248. Let z(g) = 78*g**3 - 2*g**2 - 4*g + 9. Does 17 divide z(v)?
False
Let t(c) = c**2 + 4*c - 2*c + 40 + 14*c. Let w be t(-21). Suppose -4*s = -3*u - 847, -w = -s + 5*u + 88. Does 16 divide s?
True
Let t = 16305 + -6941. Is 219 a factor of t?
False
Let t(z) = z**2 + 7*z + 15. Let s be t(-6). Let k(x) = -3*x - 1. Let d be k(s). Does 4 divide d/(-70) + (-58)/(-5)?
True
Let i(k) be the third derivative of -35*k**4/24 - 13*k**3/6 - 14*k**2. Let f be i(-11). Suppose 18*u - f = 12*u. Is 11 a factor of u?
False
Suppose -13*q + 24506 = -31381. Does 18 divide q?
False
Let y(h) = 10*h**2 + 17*h - 323. Does 4 divide y(9)?
True
Does 61 divide -6 - (12/(-2))/(-6 - 12908/(-2149))?
True
Let a = -395 - -398. Suppose 89*c + 3*h + 515 = 94*c, a*h + 15 = 0. Is c a multiple of 3?
False
Let w = -30 - -31. Let y be (w - 0/3) + 3. Suppose -d + y*d = -3*m + 570, -180 = -d - 3*m. Does 13 divide d?
True
Let f be (12/18)/((-2)/3)*1. Let h be (7/(-14))/(f/(-2)) + 24. Suppose -d = -0 - h. Does 23 divide d?
True
Let b be (180/9)/((-2)/1). Let m(t) = t**3 + 12*t**2 - 25*t - 24. Is m(b) a multiple of 30?
False
Suppose 3*s + 3*n = -79 - 326, -264 = 2*s - n. Suppose 238 = -3*i + 10. Let t = i - s. Is 19 a factor of t?
True
Suppose 91*p - 89*p = 5*m - 13684, -13674 = -5*m - 3*p. Does 19 divide m?
True
Suppose 3*b + g - 2 = -1, 3*b - 4*g = -4. Let x be b - -162 - (-12 + 16). Let s = x - 3. Is 26 a factor of s?
False
Suppose 13887*q - 13873*q - 10626 = 0. Is 11 a factor of q?
True
Let c = 74 - 69. Suppose -2*s = c*g - 19, -4*s + 7 - 2 = -g. Suppose -519 = -6*z + g*z. Is z a multiple of 12?
False
Is 50 a factor of 7095 + 4/120*10*(0 + -9)?
False
Let z(d) = 4*d**2 + 15*d + 828. Is z(0) a multiple of 69?
True
Suppose -19*a = -24*a. Suppose 78*z - 73*z - 1045 = a. Is z even?
False
Let j(z) = -49*z. Let s be j(0). Let o(v) = 3*v**2 - 4*v + 5. Let y be o(7). Suppose c - 2*w - 118 = s, -5*w + 1 = c - y. Does 30 divide c?
True
Let o(m) be the third derivative of -m**5/60 - m**4/12 + 2*m**3/3 - 6*m**2. Let f be o(-2). Does 8 divide (f - (-1 - -17))/((-6)/28)?
True
Let j(h) = -13*h + 13. Let w be j(-5). Let n = w + -74. Suppose -x + 57 = -5*t, x = -n*x - t + 207. Is 3 a factor of x?
True
Suppose 158*o - 111*o = 62181. Does 176 divide o?
False
Suppose z - 4*h = h - 893, -877 = z + 3*h. Let r = z + 1714. Is 20 a factor of r?
False
Let t = -163 + 161. Is t/7 - (-8 + (-2053)/7) a multiple of 43?
True
Is 67 a factor of (17822/14)/((36/(-30))/(-6))?
True
Let p = 6901 + -6684. Let k be 6/(-3) + 1 + 56. Let s = p - k. Is 14 a factor of s?
False
Suppose 8*g - 3*g - 10 = 5*y, 2*g - 3*y = 7. Let w(r) = -347*r + 1. Is 29 a factor of w(g)?
True
Let w(r) = -4*r + 32. Let i be w(7). Let z = 28 + i. Suppose 152 = 6*g + z. Does 5 divide g?
True
Suppose -5*c - 4*k = -23392, c + 80*k = 77*k + 4685. Is 167 a factor of c?
True
Suppose 17*x - 19393 = -26*x + 32*x. Is x a multiple of 11?
False
Suppose -3*i + 4 = 4. Suppose -2*y + 5*g = 3*y - 1440, i = y - 3*g - 288. Suppose 6*t - 2*t - y = 0. Is t a multiple of 24?
True
Let x(h) = 80*h**2 + 4*h + 48. Let b be x(6). Suppose -z = -19*z + b. Is z a multiple of 82?
True
Let q(f) = 6*f**3 + 111*f**2 - 36*f - 492. Does 94 divide q(-18)?
True
Let a(t) = t**3 - 18*t**2 + 19*t - 32. Let x be a(17). Suppose -2*k + 0*k = -x*p + 34, -5*p + k + 97 = 0. Is 32 a factor of 72/p*64 - (-4)/(-10)?
False
Suppose 0 = -2*v - 2*q + 74, 2*v - 41 = 5*q + 26. Let b = 51 - v. Does 15 divide b?
True
Suppose 0 = -3*r + 2*h + 199, 0 = -7*r + 2*r - 5*h + 340. Let t = 109 - r. Does 21 divide t?
True
Let o(t) = 371*t**2 - 26. Does 27 divide o(2)?
True
Let v be 1/((-6)/(-5) + (-2)/2). Suppose 0 = -2*c - v*w + 1588, 697 = -2*c + w + 2309. Is 37 a factor of c?
False
Does 22 divide 4 + 225/(-60) + 56490/24?
True
Let j(q) be the second derivative of -4/3*q**3 + 0 - 13/2*q**2 - 7*q. Is j(-24) a multiple of 42?
False
Suppose -4*i - 5*c = -7115, 40*i = 37*i - 3*c + 5340. Does 15 divide i?
True
Is ((-453560)/(-850))/((-4)/(-210)) a multiple of 23?
True
Suppose -3*f = 5*g - 603, 3*f - 9 + 6 = 0. Is g a multiple of 28?
False
Let y(b) = -2*b**2 - 19*b + 14. Let h be y(-10). Is 27 a factor of 8/h*18/(-24)*-90?
True
Let v be (-2)/3 + 2/3. Suppose 2*c - 693 - 373 = v. Does 13 divide c?
True
Suppose -233*o + 333625 = -76*o. Is o a multiple of 25?
True
Suppose -37*b - 26*b = -72*b + 27675. Does 41 divide b?
True
Suppose -4*j - 20 = -q + 2*q, -10 = -4*q + 2*j. Suppose -33*s + 40146 + 444 = q. Is 39 a factor of s?
False
Let b(x) = x**2 - 5*x + 28. Let i(j) = -2*j**3 - 2*j**2 - 2*j - 5. Let q be i(-2). Suppose 0 = -5*s + q - 42. Is b(s) a multiple of 7?
True
Suppose -5*n - 4*b + 7*b + 1 = 0, 3*b - 1 = 4*n. Let j(s) = 13 - 12*s + 5 + 9 + 15*s**n - 14*s**2. Does 6 divide j(13)?
False
Suppose -2*s + 22 + 12 = 0. Suppose 29 = -r + s. Let d(m) = -17*m - 9. Does 26 divide d(r)?
False
Let g(w) = -w**3 - 68*w**2 + 63*w - 141. Does 13 divide g(-69)?
True
Is 28/(-16 + 9) + (-3 - -9074) a multiple of 21?
False
Suppose 23252 + 14588 = 4*z. Suppose -z = -23*n + 4524. Is n a multiple of 32?
True
Let u(o) = -o**3 + 32*o**2 - 31*o + 10. Let k be u(31). Suppose k*v - 1504 = 2*v. Is 17 a factor of v?
False
Suppose q + 5*s = 621, -5*q + s + 4941 - 1784 = 0. Suppose 0 = 8*n - q - 1745. Is 9 a factor of n?
True
Let y be (12/8)/((-6)/8). Is 3/(-3)*(-307 - y) a multiple of 61?
True
Let z(m) = -70*m - 6. Suppose -3*f + f + 3*n = 6, 34 = -4*f - 5*n. Is 18 a factor of z(f)?
True
Let f = -301 - -305. Suppose -f*s - 1271 = -5*y, 5 = 5*s - 0*s. Does 51 divide y?
True
Let t = 11582 + -9740. Does 23 divide t?
False
Suppose 5*m - z = 5764, -44*z = -4*m - 45*z + 4604. Is 72 a factor of m?
True
Is (-4131 - 28/(-4))/(0 - 3/6) a multiple of 48?
False
Suppose 201840 = 87*l + 112*l - 205513. Is l a multiple of 8?
False
Let o = -86 - -33. Let z = 182 - o. Is 5 a factor of z?
True
Suppose 2*b + 0*b = 8. Let k be (-8)/(-2)*(-2 - -48). Suppose 3*a - b*s - k = 0, s = 4*a - a - 172. Is 8 a factor of a?
True
Let u(r) = r**3 - r**2 + 2. Let c(x) = -2*x**3 - 10*x**2 + 22*x - 10. Let y(g) = -c(g) - 3*u(g). Is 7 a factor of y(9)?
False
Let j(p) = 3*p + 3 + 8*p**2 - 2*p**2 - 6*p**2 - p**3 - 3*p**2. Let f be j(-4). Suppose f*r = 12*r - 390. Does 13 divide r?
True
Suppose 543 = 2*q - 2*r - 863, 3*q - 2115 = 2*r. Is q a multiple of 62?
False
Let g(s) = 8*s**2 - 18*s + 4. Let z be g(5). Suppose 0 = 20*h - 46 - z. Does 2 divide h?
True
Let r = 47 + -42. Suppose r - 14 = -3*f. Suppose f*x = -7 + 1, -4*z - x = -570. Is 33 a factor of z?
False
Let c = 296 + -296. Suppose -41*f + 15*f + 4654 = c. Is 13 a factor of f?
False
Is -11963*((-61)/(-122))/(1/(-2)) a multiple of 110?
False
Let l(m) be the second derivative of -m**5/20 - 13*m**4/12 - 11*m**3/6 - 17*m**2/2 + m. Let r = -581 - -568. Is l(r) a multiple of 18?
True
Let s be (-1*(-112)/(-6))/(2/6). Let u = -50 - s. Suppose 606 = u*q + 30. Is 32 a factor of q?
True
Let j be (-15 - -15)*(-1)/(-2). Suppose -2 = -3*t + 2*d - j*d, 4*t = 2*d. Does 32 divide -5*((-88)/4 + 3 - t)?
False
Let o(i) = 2635*i**3 - 2*i**2 + 4*i - 2. Let h be o(1). Suppose c = 4*y - h, 0 = c - 2*c + 5. Is 6 a factor of y?
True
Let o = 17984 - 4363. Is o a multiple of 257?
True
Let v be 14/8 + (-4 - (-34)/8). Let y be