-150 - -154. Suppose 0 = -2*r - m*h + 18, 2*r + 0*r + h - 30 = 0. Is r a multiple of 3?
False
Suppose 892*q + 127820 = 897*q. Is 83 a factor of q?
True
Suppose 0 = -g + 4*s + 60, 5*g + 180 = 9*g + 4*s. Let y = g - -15. Is 13 a factor of y?
False
Let l = -22 - -26. Let s(x) = -5*x - l*x + x**2 - 8 + 0*x**2. Is s(11) a multiple of 14?
True
Let j(q) = 12667*q**2 + 5*q - 2. Does 30 divide j(-1)?
True
Suppose 221*c = 3209887 + 10239510. Is c a multiple of 111?
False
Suppose 0 = 2*a - 141 - 81. Suppose 0*f = 2*f - 6. Suppose -30 = f*h - 5*o - 123, -o = 3*h - a. Does 36 divide h?
True
Let t(n) = -n + 47. Let r be ((-9)/5 + 1)/((-32)/(-400)). Does 5 divide t(r)?
False
Let q(c) be the first derivative of c**3 - 4*c**2 + 2*c + 7. Let m be q(3). Is 5 a factor of 47/5 + (-2)/m?
False
Let v = 1524 - 2309. Let c = v + 1212. Is 19 a factor of c?
False
Suppose -22*a + 89 = -21*a. Let y = a - -6. Is 23 a factor of y?
False
Suppose 0 = -2*a - 3*x + 1, -2*a + 12*x + 25 = 7*x. Let o(y) = 16*y**2 + 6*y - 14. Does 11 divide o(a)?
False
Suppose -4*b - m + 673 = 0, -523 = -4*b - 4*m + 165. Let v = b + -93. Is v a multiple of 2?
True
Let p be (-8)/(-8)*(-2 + -1) + 17. Suppose 10*z - p*z = 2*y - 512, 3*y - 5*z - 790 = 0. Does 5 divide y?
True
Let y = -336 + 316. Is 243/(76/y - (-2 - 2)) a multiple of 81?
True
Let d(z) = z**3 - 6*z**2 + 4. Let a be d(6). Is 7 a factor of (-2)/a + (-30)/(-12) + 411?
True
Let b = -4617 + 5191. Does 6 divide b?
False
Let d = 145337 + -103155. Does 41 divide d?
False
Suppose -7*b = -39 + 18. Suppose 691 = b*f - 260. Is f a multiple of 5?
False
Suppose 3*j + 14*b = 7*b + 51652, -17220 = -j - 3*b. Does 72 divide j?
True
Let f be (6 - 9)/(2 - 3). Suppose -7 + 15 = -4*v, -f*v = 4*d - 2. Suppose 4*p - 5*w + d*w - 959 = 0, 3*p + w = 729. Is p a multiple of 12?
False
Suppose 16971 - 293403 = -13*c + 17368. Does 16 divide c?
False
Let p(f) = f**3 + 4*f**2 + 4*f + 6. Let s be p(-3). Suppose s*u = 2*j + 20 - 2, -5*u + 4*j = -32. Does 3 divide ((-7)/u)/(5/(-60))?
True
Let c(f) = 1119*f - 6157. Is 314 a factor of c(11)?
False
Let a be 8 - 2/2*-3*-1. Let q = -175 - -302. Suppose 5*p = -a*c + 4*p + 219, 3*c - q = -5*p. Is 15 a factor of c?
False
Suppose 4*k + 1846 = -446. Let p = k - -1161. Is p a multiple of 49?
True
Let o = -394 - -388. Let j(d) be the second derivative of -d**3/6 + 20*d**2 + 8*d. Is j(o) a multiple of 46?
True
Let j(y) = y + 10. Let r be j(-6). Let z be (r - 4) + 0 + 15/1. Suppose 0 = 8*n - z*n + 1162. Is 18 a factor of n?
False
Let l be (360/(-42) - -8)/((-2)/14). Suppose 5*r = -3*d + 396, l*d - 265 - 298 = 5*r. Is d a multiple of 13?
False
Let q(t) = -4*t. Let x be q(-1). Let o(d) = -d**3 - 6*d**2 - 9*d - 3. Let i be o(-6). Suppose -b + i = -x*w, 274 = 4*b + 2*w - 4*w. Does 19 divide b?
False
Let u(w) = -2041*w - 188. Does 63 divide u(-3)?
False
Does 10 divide 24/(-20)*(-1250)/30?
True
Suppose -34*k + 970 = -24*k. Let y = k - -234. Is 17 a factor of y?
False
Let h = 46 + -28. Suppose h = 4*v + 5*w, 4 = -2*w + 4*w. Is 28 a factor of v/((36/272)/9)?
False
Let w = -3229 + 10131. Does 14 divide w?
True
Let x(q) = -2*q**3 - 26*q**2 + q + 18. Let t be x(-13). Suppose -t*p + 357 = 3*m - 108, 4*p = 3*m + 345. Is 5 a factor of p?
True
Let p = 10207 + 3815. Is 14 a factor of p?
False
Suppose 653 = 6239*z - 6238*z. Does 140 divide z?
False
Suppose -3*i + 4*b = -2962, 3*i - 4*b = 7*i - 3996. Is 39 a factor of i?
False
Suppose -4*t - 60 = -2*r, r + 20*t = 25*t + 33. Suppose 454 = a - 3*v, 0 = -3*a + r*v - 30*v + 1395. Is a a multiple of 20?
False
Let j be ((-23)/3)/((-200)/24 + 8). Suppose -28*y + 1685 = -j*y. Is y a multiple of 19?
False
Let q = 3045 + 8. Is 55 a factor of q?
False
Let l = -100 + 100. Suppose l = 2*f - 1 + 5, 5*g = 5*f + 35. Suppose 2*p - 292 = 4*q, -g*p + 3*q + 435 = -2*p. Is 28 a factor of p?
False
Suppose 3*z = -8 + 5. Let h(k) = 5*k**2 + k + 1. Let c be h(z). Suppose 0 = 4*m + c*g - 586, -6*m - 3*g + 726 = -m. Is 36 a factor of m?
True
Suppose -3 = -i - 1. Suppose 1 = v, 0 = 2*n + i*v - 4 - 4. Suppose p + 3*m = 96, n*p - m = -2*p + 480. Is 16 a factor of p?
True
Let y(j) = 33*j**3 - 8*j**2 + j + 2. Is 18 a factor of y(2)?
False
Let m(g) be the first derivative of g**3/3 + 17*g**2/2 - 7*g - 10. Let l be m(-17). Let x(b) = 5*b**2 + 13*b + 22. Does 49 divide x(l)?
False
Suppose -67*h + 62*h = -f - 10, f = 4*h - 6. Suppose 3645 = 5*t + f*t. Does 9 divide t?
True
Let s(a) = 3626*a**2 + 283*a - 566. Is 53 a factor of s(2)?
False
Let q(u) = -2*u**3 + 7*u - 3. Let p(w) = -w**2 - w + 1. Let k(j) = 4*p(j) - q(j). Is k(7) a multiple of 10?
True
Let w be 65/(-13)*(-6)/(-10). Let i = 1 + -5. Is 7 a factor of i/w + (-1412)/(-12)?
True
Suppose -2*q + 2 + 6 = 0. Let a be 5 - (-32)/(-8) - (1 - 5). Suppose q*k = 427 + a. Does 6 divide k?
True
Let d(o) = 4*o**2 + 14*o + 6. Let l be d(-11). Let u = l - 256. Does 8 divide u?
True
Let m(n) = 3*n**3 + 13*n**2 + 19*n + 1. Let p be m(7). Suppose 7*a + a = p. Does 6 divide a?
False
Let a be (75/(-10))/(4/8). Let j = a + 14. Is j/(((-28)/492)/7) a multiple of 15?
False
Suppose 0 = -49*p + 56*p - 154. Suppose u - 497 = 4*i - p, 4*u - 5*i = 1922. Is u a multiple of 21?
True
Let i(f) = -2028*f + 2031*f + 5*f**3 - f**2 - 2 - 18*f**3. Does 22 divide i(-2)?
False
Suppose 11*g = -0*g. Suppose g = 14*m - 503 - 1429. Is 6 a factor of m?
True
Let f be (-5 + 270)*10/(-5). Let c be (9 + -8)/((-1)/f). Suppose -5*n - 26 = -1, -5*x - 4*n = -c. Does 10 divide x?
True
Let b(i) = 115*i**3 - 4*i**2 + 25*i - 24. Is b(3) a multiple of 40?
True
Let b(i) = 9*i - 29. Let y(l) be the first derivative of -l**3/3 - 11*l**2/2 - 11*l - 5. Let m be y(-3). Does 11 divide b(m)?
True
Let u(c) = -c**3 + 165*c**2 - 5 + 0*c**3 - 152*c**2 + 39*c - 3*c. Does 2 divide u(15)?
False
Let x be 2/15 + (-18)/135. Let t = 3 - x. Suppose z = -r + t*z + 8, 2*z = -r. Is 3 a factor of r?
False
Let d(p) = 32*p + 4. Let t(r) be the first derivative of r**4/4 - 13*r**3/3 + 2*r - 16. Let x be t(13). Does 7 divide d(x)?
False
Suppose 2*i - 3225 = -o, -3267 = 10*o - 11*o - 8*i. Is 17 a factor of o?
False
Let o(d) = -d**3 + 12*d**2 + 11*d + 27. Let b be o(13). Is (252/45)/(b - (-129)/(-135)) a multiple of 7?
True
Suppose -4*m = -2*j + 18366, -25*j - 2*m = -20*j - 45963. Does 13 divide j?
True
Is 868/(-1127) + (-6)/(-7) + (-1159100)/(-92) a multiple of 75?
False
Is 17/((-204)/(-234324)) - 7 a multiple of 40?
True
Suppose 253 = 10*w + 153. Suppose -d - d + w = 0, -g + 3*d + 689 = 0. Does 22 divide g?
True
Suppose -10*d = -12*d + 34. Suppose 15 = -3*q, 3*s = 4*s + 4*q + d. Is (-24)/18 + 181/s a multiple of 22?
False
Let f be 36/3*(2 + (-110)/4). Let o = f + 381. Does 25 divide o?
True
Suppose -54*k + 95772 = -57696. Is 14 a factor of k?
True
Let o(j) = -j**3 - 10*j**2 - 14*j + 10. Let u be o(-10). Let p = 57 + -52. Suppose p*i = u + 75. Is 9 a factor of i?
True
Let t be ((-42)/(-12))/(-7)*-6. Suppose -t*c + 1356 = -5*o, -17*o + 22*o = 0. Does 14 divide c?
False
Let q(s) = -55*s - 40 - 92 + 11*s - 70. Does 37 divide q(-13)?
True
Suppose -4*l + 13 = -7. Let h be (-4 + 2 - (-6 + l)) + 1. Is 23 a factor of -1 - h - (-928)/8?
True
Suppose -90*l - 6 = -92*l. Suppose 0 = -l*s - 3, 3*j + 2*s = -3*s + 346. Does 15 divide j + (-5 - -8 - 0)?
True
Does 84 divide 4/(16/12) + (-11023)/(-1)?
False
Let b(v) = v**3 - 13*v**2 + 30*v - 3. Let o be b(10). Let f(r) = -15*r - 33. Let p be f(o). Let n(c) = -c**3 + 13*c**2 - 9*c - 23. Is n(p) a multiple of 3?
False
Let d be (-458)/4 - (-23)/(-46). Let a = d + 110. Let j(w) = 5*w**2 + 13*w + 28. Does 11 divide j(a)?
True
Suppose -6*y + 9*y + 110954 = 8*f, f + y - 13861 = 0. Is f a multiple of 76?
False
Suppose 11*s - 6*s = 85. Suppose d + s = 45. Is 7 a factor of d?
True
Does 8 divide (-4 + (204/18 - 2))*(-717162)/(-136)?
False
Let y(a) = -149*a**3 - 3*a**2 + 6*a + 5. Is y(-2) a multiple of 4?
False
Let w = -46 - -51. Suppose 2*n = -w*u - 5 + 15, -10 = u - 2*n. Let b(s) = s**3 - s**2 - s + 92. Is b(u) a multiple of 46?
True
Suppose 0 = 264*f - 278*f + 26866. Is f a multiple of 27?
False
Suppose 2*z + m = 6*z + 26, -15 = 3*z - 3*m. Let x(i) = -35*i - 113. Is 33 a factor of x(z)?
True
Let g = -5101 + 21931. Is g a multiple of 33?
True
Let y = -80 - -38. Let b be 8/(-4)*(-9)/(-6). Is (3 + b - y)*(-15)/(-10) a multiple of 21?
True
L