q - 4*p - 2055 = y. Is q a multiple of 5?
True
Suppose -74 = -5*m - 104, y + m = 5911. Is y a multiple of 29?
False
Suppose q = 3*z + 315, 8*z - 625 = -2*q + 9*z. Let k = q + -116. Does 14 divide k?
True
Suppose 2*r + 17560 = -18*r. Let o = -689 - r. Is o a multiple of 21?
True
Does 106 divide 2*-6805*20/(-12) + 220/330?
True
Suppose 2182950 = 86*k - 27*k + 256*k. Does 154 divide k?
True
Let c(k) = -k**3 + 87*k**2 - 121*k + 196. Does 115 divide c(24)?
True
Suppose -2*c - 2*v + 4 = 0, -2 = c - 2*c + 3*v. Let t be 14/(-6)*(13 + c + 3). Is 15 a factor of (-1 + t/(-18))*(-45)/(-2)?
True
Let h(j) = 3*j**2 - 46*j - 267. Does 3 divide h(57)?
True
Let o = 73084 + -47244. Is 38 a factor of o?
True
Suppose -2*n - 58321 = -3*q, -54968 - 42202 = -5*q - 3*n. Is q a multiple of 15?
False
Suppose -32*u + 94280 = -0*u - 77720. Is 3 a factor of u?
False
Suppose 15264*f + 266352 = 15280*f. Does 44 divide f?
False
Let i be (-6 + 9 + -4)*0. Suppose 24*c - 2*c - 4004 = i. Does 14 divide c?
True
Suppose 0 = -2*h + 4*d - 8, 6*h - 4*h + 2*d = -2. Let k(y) = 26*y**2 + 2*y - 3. Is 9 a factor of k(h)?
False
Let l be 150 + (5 - 1) + -1. Let m = -63 - -71. Suppose -t + l = m*t. Does 4 divide t?
False
Suppose 40*a - 33*a = 56. Suppose 4*t = 2*t + a. Does 4 divide 16 + 5 + (-8)/t?
False
Is -24*(-17)/153 + (467188/12 - 0) a multiple of 65?
True
Suppose -758*f + 1113210 = -625*f. Does 10 divide f?
True
Let v(x) = -x**2 - 16*x + 3. Suppose 58*p + 20 = 56*p. Is 9 a factor of v(p)?
True
Let l = -58 - -147. Suppose -2*m + 485 + l = 0. Suppose 2*r + 4*g - m = -87, 4*g - 292 = -3*r. Is 13 a factor of r?
False
Let a = 14608 - 7876. Is a a multiple of 33?
True
Let b = 33 - 18. Let d = b + -22. Let y(k) = -4*k - 12. Is 4 a factor of y(d)?
True
Suppose 54080 = -2*t + 10*t + 3928. Is t a multiple of 27?
False
Suppose -12520*r - 47340 = -12532*r. Is r a multiple of 43?
False
Let o(t) = t + 7. Let d be o(-5). Let j(z) = 2*z**2 + 2*z + z - z**d + 2 + 2*z**2 - 6*z**3. Is 14 a factor of j(-2)?
True
Let h = -254 + 247. Let d(s) = 6*s**2 + 16*s + 44. Is 16 a factor of d(h)?
False
Let u(c) = -2*c**3 - 3*c**2 + 4*c + 15. Let b be u(-6). Suppose b - 45 = s. Is s a multiple of 18?
True
Let c = 378 - 376. Let f(j) = 6*j**3 - 2*j**2 + 6*j - 6. Is 3 a factor of f(c)?
False
Suppose -5 = -6*x + 13. Suppose x*z = 3*a, z - 5*a = -5 - 3. Suppose 3*y - 402 = 2*o, 0*y - z*y + 260 = -4*o. Is 34 a factor of y?
True
Does 62 divide (-878019)/(-93) - 312/4836?
False
Let b(q) = q**3 + 14*q**2 - 10*q + 2. Let y(w) = w**3 + 15*w**2 - 9*w + 1. Let s be 10/2 - 0/(-1). Let d(r) = s*b(r) - 4*y(r). Is 19 a factor of d(-11)?
False
Let j(h) = 3*h**2 - 64*h + 1484. Is j(20) a multiple of 3?
True
Let b(s) = 3252*s**2 - 79*s - 148. Does 19 divide b(-2)?
False
Let w(j) = -j**3 + 54*j**2 - 53*j + 87. Is 11 a factor of w(52)?
True
Let z(d) = -9*d**2 + 335*d - 189. Is 16 a factor of z(21)?
False
Let k(c) = -c**3 + 2*c**2 - c + 8. Suppose -19 = -5*z + 2*n - 6*n, -10 = -3*z - n. Let b be k(z). Let j(o) = -4*o**3 - 9*o**2 + 2*o - 5. Does 14 divide j(b)?
False
Let m(k) = k**2 - 12*k + 25. Let i be m(12). Let q = i - 45. Let w = 59 + q. Is 13 a factor of w?
True
Let f(h) be the second derivative of -h**4/12 - h**3 + 15*h**2/2 - 25*h. Let a be f(-8). Let z = 92 + a. Is 12 a factor of z?
False
Let p(q) = 131*q + 30. Let s be p(5). Suppose -s = -y - a, 5*y - 3407 = -18*a + 22*a. Does 11 divide y?
False
Let w be 2/(-4)*4*-1. Suppose w*y - 4*y + 409 = 5*x, -3*x = 3. Let a = -137 + y. Does 14 divide a?
True
Let b(v) = -92*v - 1. Let x be b(-1). Let d = -78 + x. Suppose -4*n + d = -299. Is 26 a factor of n?
True
Let b be 21/(-6)*2*-11*10. Let s = -141 + b. Is 29 a factor of s?
False
Suppose 12*c - 24554 = 13056 + 22978. Is c a multiple of 17?
True
Suppose -7*z - 330 = 104. Is z/(1*(-8)/76) a multiple of 8?
False
Suppose -n + a + 7 = 0, 8 + 9 = -4*n - 5*a. Does 40 divide n - 5/(30/(-1428))?
True
Let n(j) = 14*j - 15*j - 5 + 4 - j**2. Let t be n(-11). Let q = -66 - t. Does 10 divide q?
False
Suppose -17*b = 6*b - 2*b. Suppose 17*j - 12*j - 1140 = b. Is j a multiple of 6?
True
Let l(k) = 374*k**2 + 8*k - 12. Let n be l(2). Suppose -2*s = -4*a - n, -10*s = -8*s + 4*a - 1540. Does 7 divide s?
False
Let q = -148 + 235. Let j(t) = 132*t**3 + t**2 - t. Let a be j(1). Let g = a - q. Does 15 divide g?
True
Suppose 24*a + 48 = 30*a. Let n(x) be the third derivative of 5*x**4/12 - 5*x**3/6 + x**2. Does 36 divide n(a)?
False
Suppose -a = -5*h + 719, 4*a + 7 = 11. Let m = 452 + h. Is 17 a factor of m?
False
Let z be 15*(1 - (-3)/(-5)). Suppose z*k = 7*k - 2. Suppose -5*h = -3*n - 416, 84 = h - k*n + 5. Is h a multiple of 17?
True
Let b(x) = x + 1. Let d(v) = 3 + 1 - 1 - 12*v - 5*v. Let n(f) = -6*b(f) - d(f). Is 7 a factor of n(4)?
True
Suppose 18*v - 13200 + 2778 = 17370. Is 8 a factor of v?
True
Let q = 2580 - 2122. Is 24 a factor of q?
False
Suppose -3 = v - 0. Let n be (9/(-1))/(-3) - (-73 - v). Suppose -4*c = m - n, 0*c - 3*m = -c + 15. Does 9 divide c?
True
Let m = 264 - 258. Suppose -2940 = -4*b - 2*d, 10*b - 2916 = m*b + 4*d. Does 15 divide b?
False
Suppose 0*n - n - 208 = 2*z, -4*n + 4*z - 880 = 0. Let b = 222 + n. Is b a multiple of 3?
True
Suppose -12 + 10 = -o. Suppose 0 = o*b + 3*b - 120. Let w = 51 - b. Does 4 divide w?
False
Is -3*(190621/(-51) + -3) a multiple of 21?
False
Let c = -1210 - -2121. Let g = c + -281. Is 35 a factor of g?
True
Let q = 418 - 218. Suppose 6*f - q = 172. Does 62 divide f?
True
Suppose -959*p + 902*p + 947169 = 0. Does 191 divide p?
True
Suppose 3*m + 4*y - 557 = -58, -2*y = -4*m + 680. Let d = m - -128. Is d a multiple of 33?
True
Let m(w) = -3*w + 7. Let a be m(1). Suppose 4*g + 5*p - 121 = a*p, 0 = g - 3*p - 27. Is g a multiple of 3?
True
Let o be (48/(-15))/((-2)/35). Suppose -o = -r + 5*r. Is 8 a factor of (66/r - -5) + 187/7?
False
Suppose -67*l + 53*l = 13958. Let b = l - -1496. Is b a multiple of 39?
False
Suppose 2*k + 0*k = -112. Is (k/42)/(-2 - 250/(-126)) a multiple of 7?
True
Suppose 329718 = 57*b + 46998. Does 40 divide b?
True
Let r be (-4)/38 - 87992/(-1292). Suppose -19*u = -2193 - r. Is u a multiple of 4?
False
Suppose -95*d = -102*d + 924. Suppose -d = -b + 3*n, 5*n - 620 = -6*b + b. Is 63 a factor of b?
True
Suppose -k + 1200 = 3*t, -5*t = k - 1399 + 211. Is 29 a factor of k?
True
Let l be ((-1 - -7)/3 - 25)*-1. Is 4 a factor of (5 + -2)*l - (-6 - -1)?
False
Let v(d) = -d**2 - 9*d + 67. Let m = 744 - 757. Does 2 divide v(m)?
False
Let z(h) = -7*h - 18. Let o be z(-9). Is 2 a factor of 4*(o/(-6))/((-9)/15)?
True
Let v(a) = a**3 - a**2 + 4*a - 6. Suppose -i - w = -1, -5*i + w = 2*w + 7. Let s be 0/(-5) - i - 0. Is v(s) a multiple of 6?
True
Suppose -c - 4 = -5*f + 5, 3*f + 1 = -c. Is 54 a factor of (6 - 9/(-5))/(f/45)?
False
Suppose -12 = 12*x - 9*x, -2*f + 7868 = 3*x. Is f a multiple of 125?
False
Let h be -7 + (-385)/(-56) - (-126)/(-16). Suppose s - 20 = 4*l - 5, 2*l + 12 = 2*s. Does 6 divide (4/h)/(s/(-222))?
False
Suppose -5*u - 49 = -4*h + 31, 4*h - 52 = -2*u. Suppose 2*j - 5*d = 5*j - 15, 3*j = 2*d + h. Suppose -2*i - 4 = -m - 41, -i = -j*m - 14. Does 2 divide i?
False
Let v(s) = -s**2 + 171*s - 2606. Does 279 divide v(112)?
False
Let c(s) = -378*s - 2357. Is 18 a factor of c(-51)?
False
Let j = 10850 + -658. Is 91 a factor of j?
True
Suppose 0 = 10*k + 422 - 22. Let g(r) = -13*r - 161. Is 14 a factor of g(k)?
False
Let o = 1 + 1028. Is 7 a factor of o?
True
Suppose -904 = -5*s - n, s + 28 = 3*n + 212. Let g = 898 - s. Does 26 divide g?
False
Suppose -f - 56 = 3*f. Let g = 31 + f. Let c = 31 + g. Does 12 divide c?
True
Suppose 138*x - 148*x = -580. Suppose -x*z + 4158 = -51*z. Does 21 divide z?
False
Let w = -24 + 41. Suppose -133 + w = -2*z. Suppose -5*c + 4*k = -142, -2*c - 2*k - z = -4*c. Does 13 divide c?
True
Let x(s) = 87*s**2 + 20*s + 62. Is 47 a factor of x(-3)?
False
Let v be (-40)/6*(-15)/(-20)*-4. Suppose -51*p + 46*p + v = 0. Does 19 divide ((-548)/12)/(p/(-24))?
False
Let f = 1245 + -799. Is f a multiple of 3?
False
Let r be 0 + 0 + -4 + 6. Let y be (-3 - r)/(-5) + 97. Suppose 434 = 7*v + y. Is v a multiple of 8?
True
Let t be (-2 - 4)*3/(-9). Suppose 0 = 5*w - 2*w - h - 580, t*h - 790 = -4*w. Is 15 a factor of w?
True
Let z be 4/6*450/12. Let m be 1*(-4)/(-10) + (-10)/z. 