*g**2 - g + 13. Let c(r) = 14*r**2 - 7. Let h(a) = 5*c(a) + 2*y(a). Let s be h(4). Suppose 17*f - s = 12*f. Is f a multiple of 3?
False
Suppose -4*g + 6 = 2*j, -41 = -0*g - 4*g + 5*j. Let r(c) = 69*c + 232. Let u be r(-3). Suppose -4*z = 5*l - 381 + u, 3*l - 212 = -g*z. Is l a multiple of 12?
True
Let p(z) = 34*z + 2249. Let n be p(-66). Suppose -8*o + 3*w = -3*o, -5*o + 5*w - 10 = 0. Suppose 130 = o*v + 2*g, n*v + 3*g - 218 = -0*v. Does 38 divide v?
False
Is ((-90)/(-7))/(228/1730064) a multiple of 20?
True
Let k = 48 + -56. Let g be (-36)/48 + 2/k. Is ((-1)/(-3))/(g/(-75)) a multiple of 25?
True
Is 10/4*(-4764022)/(-2215) a multiple of 14?
False
Suppose 6*z = 4*y + z - 29, 2*y = 2*z + 12. Let n(w) = 6*w**2 - w - 1. Let q be n(y). Suppose -2*x + 4*g = -108 + 14, q*x - 4*g = 188. Is 6 a factor of x?
False
Let u = 8540 - -1299. Is u a multiple of 16?
False
Suppose 0 = 2*s - 4*s + i + 281, -s - 4*i = -136. Let g = s - 93. Is 14 a factor of g?
False
Let h(g) be the first derivative of -7 - 10*g**2 + 0*g - 1/3*g**3. Is h(-17) a multiple of 19?
False
Let h(b) be the second derivative of b**8/1344 - b**6/720 + b**5/120 - 13*b**4/12 - b. Let k(i) be the third derivative of h(i). Is k(2) a multiple of 7?
False
Let d(m) = 3*m**2 - 13*m + 17. Let t(p) = p**3 + 4*p**2 + 9. Let u be t(-4). Let i be d(u). Suppose 5*n + i = 358. Is n a multiple of 14?
False
Is (15030917/55)/37 + 18/10 a multiple of 38?
False
Suppose 1479 = -10*f + 11899. Does 21 divide f?
False
Let y(o) = -3134*o**3 + 2*o + 3. Does 71 divide y(-1)?
False
Suppose 8 - 23 = 15*j. Does 8 divide j - -45 - (-1 - 8)?
False
Let r be (0 - (-2 - -2)) + 127. Let l be ((-117)/(-18))/((-8)/(-32)). Let j = r - l. Is 39 a factor of j?
False
Suppose 3*m - 5*k - 21161 = 0, 96*m = 98*m - k - 14098. Does 128 divide m?
False
Suppose -4*x - 2458 = -4*u + 1374, 4*u = -2*x + 3826. Let s = u + -816. Does 100 divide s?
False
Let s(r) = 2*r**2 + 31*r + 1. Let c be s(-23). Suppose -w + c = 2*g, -w - 4*g + 349 = -3*g. Is w a multiple of 37?
False
Let h(o) be the third derivative of o**5/12 - o**3/6 - 12*o**2. Let z be h(1). Suppose 24 = -4*d - 5*a + 425, z*d - a - 419 = 0. Is d a multiple of 52?
True
Suppose -p = -154 - 9. Let j = p - 99. Suppose 4*y = 56 + j. Is 15 a factor of y?
True
Suppose 22*j - 11591 = 8011. Does 9 divide j?
True
Let c(i) = 2*i + 59. Let k be c(-27). Suppose -s + 56 = 2*d, -102 = -k*s + 5*d + 253. Is s a multiple of 22?
True
Let n be 4 + ((-18)/(-3) - 8). Is 2 a factor of -2 + 418/n - (-16 - -19)?
True
Let c = 1720 - -940. Suppose 7*v = c + 490. Does 58 divide v?
False
Let r = 45 - 50. Let j be (-3 - -3 - 1)*r. Suppose 5*i = z - 20 - 5, -j*z + 145 = -5*i. Is 6 a factor of z?
True
Suppose 482 - 377 = 7*x. Suppose -3993 = -x*b + 162. Is 10 a factor of b?
False
Let g(p) = -39*p - 15. Let c = -42 - -33. Does 16 divide g(c)?
True
Let d(m) = -80*m + 299. Is 58 a factor of d(-9)?
False
Let f(m) = -m**2 - 5*m. Let c be f(-3). Suppose -c*n + 216 = -2*n. Let w = -21 + n. Is w a multiple of 33?
True
Let y = -202 - -182. Is -72*3/(48/y) a multiple of 7?
False
Suppose 35670 - 135715 = -85*m. Is 11 a factor of m?
True
Let d = -53408 + 85752. Is d a multiple of 26?
True
Suppose 2*j - 13358 = -2*k, -64*j + 70*j - 40096 = 5*k. Is j a multiple of 17?
True
Suppose -51619 = -8*r + 22322 + 44875. Is r a multiple of 9?
False
Suppose -12 = -2*s, -17219 = -5*w + 3*s + 39783. Is w a multiple of 12?
False
Let n(y) = 8*y**2 + 55*y - 25. Let w be n(-19). Let t = -1289 + w. Does 12 divide t?
False
Let d(n) = -14*n**3 + 26*n**2 + 29*n - 11. Let q(b) = -5*b**3 + 9*b**2 + 10*b - 4. Let m(a) = 4*d(a) - 11*q(a). Does 37 divide m(-6)?
False
Let j = -40 + 28. Let f(a) = -6*a**2 - 41*a - 117. Let s be f(-3). Let i = j - s. Is i a multiple of 4?
True
Let k(d) = 198*d - 77. Let x(h) = h + 33. Let i be x(-29). Does 11 divide k(i)?
True
Suppose 169*c + 54*c = -1338. Let b = -10 - -4. Is c/(1/28*b) a multiple of 7?
True
Let k(a) = -a + 54. Let y be k(23). Let p = 128 + y. Suppose 0 = 9*z - p - 84. Is z a multiple of 4?
False
Does 105 divide (-196)/560 - (-9)/15 - 26758/(-8)?
False
Let f = -1038 + 687. Let s = 423 + f. Is s a multiple of 18?
True
Is (13554/(-162))/(2/(-36)) a multiple of 6?
True
Let w = -5889 - -21801. Is 6 a factor of w?
True
Let o be ((-18)/(-12))/(2/4). Let s = 2466 + -1890. Suppose p - 3*q - s = -2*p, 12 = -o*q. Is 47 a factor of p?
True
Let f = -192 + 142. Let w(b) = b + 113. Is 9 a factor of w(f)?
True
Suppose -2*t - 4*w + 5316 = 0, -33*w = t - 35*w - 2670. Is t a multiple of 222?
True
Suppose 652088 = 82*a - 8*a. Does 24 divide a?
False
Suppose 0 = -5*r + 5*a + 50, 8*r - 11 = 6*r + 5*a. Let z(q) = -q**2 + 27*q - 101. Does 14 divide z(r)?
False
Let r be 5/20 - 2/8. Let a be (-22)/(-44)*7*(-2)/(-1). Let y = r + a. Is y a multiple of 7?
True
Let w(l) = -l + 4. Let c be w(1). Suppose -c*b = -4*f - 0 - 1, -10 = f - 4*b. Suppose -4*k = -2*t - 34, 3*t + t + 14 = f*k. Is 9 a factor of k?
True
Does 164 divide (2 + 68/(-32))*(-8 - 35600)?
False
Let y(p) = -178*p - 65. Let q be y(-3). Suppose -466*d = -q*d + 741. Is d a multiple of 19?
True
Is 17 a factor of 0 + -1 - (175 - 7316)?
True
Let d(z) = z**2 + 9*z - 8. Let q be d(-10). Suppose 36 = q*k + 16. Suppose 0 = 2*n + 2*y - k, -2*y + 15 = -5*n + 47. Is n a multiple of 2?
True
Is (-505)/(-5) + 132/(-12) a multiple of 9?
True
Let d(v) = -12*v**3 + 0*v**3 - 5 - 26*v + 10*v**3 - 4*v**2. Is 26 a factor of d(-6)?
False
Suppose -11*v + 12*v - 1063 = 0. Suppose 0 = 2*w + 10, 5*l - l + w - v = 0. Suppose 2*s = -n + s + 275, -s - l = -n. Does 36 divide n?
False
Let x = 3615 + -2559. Is 33 a factor of x?
True
Let a = 70 + 131. Suppose 2*j - 2*l = 69 + a, -2*j - 2*l + 270 = 0. Is 11 a factor of j?
False
Let l(n) = n**3 + 19*n**2 + 14*n + 12. Let m = 87 + -67. Let a be 2*-6*6/m*5. Is 19 a factor of l(a)?
False
Let l = 629 - -141. Does 7 divide l?
True
Suppose -14 - 25 = -13*c. Suppose -c*k + 663 = -3*f, k - 4*k + 2*f + 667 = 0. Is k a multiple of 45?
True
Let n(c) = c**3 - c**2 - 22*c + 76. Let v be n(0). Suppose 2*z = -4*t + 334, -4*t - z + 276 + 53 = 0. Let q = t - v. Does 4 divide q?
False
Is (-19 + 676)*301/21 a multiple of 43?
True
Suppose -6*o + 3*x = -154092, -67*o + 128430 = -62*o - 5*x. Is 58 a factor of o?
False
Let y = 33232 - 21881. Is 213 a factor of y?
False
Let t be 7*2/14*928. Suppose 4*o - 4*f = t, f + 916 = 4*o - 0*o. Is o a multiple of 19?
True
Is (3 - (-198331)/28)/(7/28) a multiple of 17?
False
Let p(l) = -l**3 + 12*l**2 - 11*l + 3. Let v be p(11). Suppose -v*j + 58 = -h, 4 = j - 2*h - 7. Does 42 divide (j/12)/((-3)/(-96))?
False
Let u be 403120/14 - ((-470)/70 - -7). Is 36 a factor of -1*u/(-54) - 4/18?
False
Let m = -10 + 16. Let i be (-20)/6 - (16/m - 2). Is 7456/40 + i/10 a multiple of 19?
False
Suppose -13 = -3*l - 4. Suppose 56 = l*b - 5*k + k, 4*b + 5*k - 116 = 0. Does 5 divide -2 + (-3 - b)*-1?
True
Let j(s) = -93 + 31 - 1 - 97 + 50*s. Is 48 a factor of j(8)?
True
Let d = -2634 - -3756. Is 22 a factor of d?
True
Is 693 + (9/((-675)/(-30)))/((-2)/30) a multiple of 34?
False
Suppose 187*f = 197*f - 1690. Let p = -26 + f. Is 9 a factor of p?
False
Suppose 12*d - 224 = 8*d. Suppose 15*q - 13*q = d. Does 3 divide q?
False
Suppose 0 = -g - 2*c + 3, -g - 5*c + 32 = -2*g. Let u(f) = -14*f + 23. Let t(s) = -13*s + 22. Let k(z) = g*u(z) + 6*t(z). Is k(7) a multiple of 11?
False
Suppose 49*k = -60*k + 93*k + 30288. Does 15 divide k?
False
Let q(r) = -r**3 - 6*r**2 - 7*r + 4. Let m be q(-4). Suppose o + 3 = m, -4*t - 4*o - 31 = 5. Is 46 a factor of (-1 - 97/5)/(t/45)?
False
Suppose -4*i - 13442 = -2*d, -4*d - 905*i + 26884 = -906*i. Is 12 a factor of d?
False
Let g be -1 + (-5 - -2)/(-3 - 0). Suppose 4*k - 3*o - 213 = g, -3*k - 10 + 171 = -2*o. Does 34 divide k?
False
Suppose -81*k = -76*k - 1065. Suppose -s - 2*r = -k, -4*s + 843 = -0*s - r. Is 6 a factor of s?
False
Suppose -q = -m, 5*q + 3 = 4*m - 2. Let g(s) = -s**3 - 4*s**2 - 6*s - 7. Is g(m) a multiple of 3?
True
Let p = 13145 + 4722. Does 131 divide p?
False
Suppose -16*n - 19782 - 16241 = -144039. Does 38 divide n?
False
Suppose -117390 = 30*d - 424470. Is 35 a factor of d?
False
Let f = 208 + -205. Suppose -i = -5*s + f*s + 220, -s + 116 = i. Does 56 divide s?
True
Suppose 310*h = 308*h + 1090. Does 8 divi