 84 = 11. Let m(i) = -65 + 5*i + z - 12*i - 20*i. Is m(-7) a multiple of 25?
False
Let a(r) = 2175*r**3 + 3*r**2 - 213*r + 418. Is 45 a factor of a(2)?
False
Suppose -s = 4, -6*c + 5*c + 22 = -5*s. Suppose -4*p = -c*y - 742, -3*y + 13 = -p + 191. Suppose -p = -4*z - 43. Does 12 divide z?
True
Suppose 156 = 10*g + 546. Is 22 a factor of -156*(-4)/2 - (35 + g)?
False
Suppose 0 = -0*d + 5*d - 3*b - 24, 5*b = -5*d. Suppose -d*u - u - 12 = 0, 13 = 4*v + 5*u. Let i = v + 67. Does 37 divide i?
True
Let x(c) be the third derivative of 103*c**5/12 + c**4/12 - c**3/3 - 37*c**2. Does 20 divide x(1)?
False
Does 3 divide (-257 + 1)/((174/232)/(111/(-8)))?
False
Let u(b) = -1325*b - 999. Does 10 divide u(-4)?
False
Let i(y) = 2721*y**2 - 220*y + 663. Is 9 a factor of i(3)?
False
Suppose -2*m = -7*m + 570. Suppose 3*w = -2*d + 36, 5*w - 6*w + 13 = d. Suppose -m + w = -2*s. Does 13 divide s?
True
Suppose -210*z + 236464 + 801773 = -153093. Is z a multiple of 28?
False
Suppose 253 = 5*k - 277. Let s = -224 + 226. Suppose -300 = -s*w - k. Is 16 a factor of w?
False
Suppose 9*q - 15*q + 12 = 0. Let o(s) = 15 + 2*s**q - 3*s**2 - s**3 - 5 + 11*s + 9*s**2. Is o(8) a multiple of 14?
True
Let o = -1351 - -6129. Does 6 divide o?
False
Let r be 8/(-6) - (-33378)/18. Suppose -894 = -2*q - 2*b, 3*q - 4*b = -505 + r. Does 90 divide q?
False
Let u be 230/(-6) - ((-112)/(-21))/8. Let x = -43 - u. Is (x/3)/((-42)/27)*63 a multiple of 9?
True
Let d be ((-15)/10)/(12/64). Is 37 a factor of (-498)/18*d + (-4)/(-6)?
True
Let l(k) = -k**3 - 25*k**2 - 49*k + 78. Let i be (-197)/9 - 1 - (-54)/(-486). Is l(i) a multiple of 21?
True
Does 50 divide 278250/(-420)*6/(-1)*450/27?
True
Let j = 32 - 13. Suppose -46 - j = 5*m. Let g(b) = -2*b**2 - 27*b + 6. Is 2 a factor of g(m)?
False
Let g(u) = -u**3 - 10*u**2 - 16*u + 12. Let w be g(-8). Is 5 a factor of (-256)/24*(-18)/w?
False
Suppose 640*h = 572*h + 2196060. Does 34 divide h?
False
Let n be 4/14 + 10720/112. Suppose 18*c + n = 50*c. Is c even?
False
Suppose 5*p = -5*w + 164320, 0 = 2*p + 15*w - 14*w - 65735. Does 6 divide p?
False
Let v(y) = -68*y**2 + 3*y. Let t be v(1). Let n = -60 - t. Suppose n*d = 4*k - 455, -118 = -k - 5*d + 2*d. Does 27 divide k?
False
Let a = 963 - -6421. Does 6 divide a?
False
Let s = 1666 - -10591. Is s a multiple of 103?
True
Let i = -129 + 132. Suppose i*t - 3*j + 15 = 4*t, 5*t - 99 = -3*j. Does 11 divide t?
False
Does 7 divide 5663*(1 + 33/(-7) - -4)?
False
Suppose -q - 12188 = -j - 35852, -q = j - 23660. Does 28 divide q?
False
Let k = 93 + -11. Let a = 478 - k. Is a a multiple of 12?
True
Let b = 440 + 1726. Does 38 divide b?
True
Suppose -s + 2*b = -0 + 2, 4*b - 16 = 0. Does 8 divide 178/s*(5 + -2 + 0)?
False
Suppose 0 = 1024*o - 1053*o + 222140. Does 4 divide o?
True
Let g = -6006 + 7149. Is 9 a factor of g?
True
Suppose 0 = 50*n - 46*n. Suppose 4*w - 2*w + 5*w = n. Is 8 a factor of -24*(-2 - (-1 - w))?
True
Suppose i - 2*o - 56 = 0, -116 = -2*i + 3*o + 2*o. Suppose -i + 6 = -3*h. Let p(n) = -n**2 + 20*n + 12. Is 12 a factor of p(h)?
True
Let a = -447 + 443. Is (a - 910/25)/((-3)/90) a multiple of 19?
False
Let d(x) = -x**3 + 9*x + 6. Let s = -9 - -16. Let r(i) = -5*i + 31. Let z be r(s). Is d(z) a multiple of 4?
False
Is 77 a factor of ((-197076)/528)/((-2)/16)?
False
Suppose 0 = 4209*t - 4224*t + 96255. Does 69 divide t?
True
Suppose 6*f - 1301 = 505. Suppose -269 = -6*b + f. Does 13 divide b?
False
Let g(i) = -8*i + 55. Let x = -105 + 138. Suppose -177 = 6*u - x. Is 19 a factor of g(u)?
True
Let l = -28021 - -32976. Is l a multiple of 5?
True
Suppose -3*g - 53 = 136. Is 14 a factor of 395/4 - g/(-84)?
True
Suppose f + 11 = 2*a - 0, -5*f - 27 = -3*a. Suppose a*l + 2*l = 396. Is 22 a factor of l?
True
Suppose 7*g - 92 = 6*g - b, 4*g - 378 = -2*b. Let w(k) = -7*k**2. Let z be w(-2). Let h = g + z. Is h a multiple of 5?
False
Let u(w) = 455*w - 879. Does 21 divide u(2)?
False
Let m(k) = -4*k**2 + 370*k - 354. Does 70 divide m(83)?
True
Let c be (-6)/(-27) - 6/27. Suppose 4*z - h = -4*h - 5, c = 3*h - 3. Is z + (-8)/(-4) - -2 - -14 a multiple of 16?
True
Let d(p) = p**3 - 18*p**2 + 73*p + 16. Does 11 divide d(17)?
True
Is 13 a factor of (-1 - 94906/(-12)) + ((-5)/6 - -1)?
False
Suppose 3*z - 2*d + 49 = 0, 0 = -11*d + 7*d - 16. Let c = z + 24. Suppose -3*l - 60 = -c*l + 4*a, 60 = 2*l - 5*a. Does 14 divide l?
False
Let p(u) = -26*u**2 - u**3 + 8*u**2 + 0*u - 11 - 24*u. Let q = 147 - 164. Is 16 a factor of p(q)?
False
Let x(g) = 7*g**2 + 1 - 2*g - 3 + 0*g - 3. Let f be 39/(-117) - (-22)/(-6). Does 14 divide x(f)?
False
Let l be 55/65 + 6/39. Let y(c) = -c + 15. Let n be y(19). Is 17 a factor of (-188)/(-4) + l + n?
False
Let x(f) = 6*f - 38. Let m be x(8). Let r be ((-12)/m)/((-16)/14120). Suppose -r - 345 = -9*a. Is a a multiple of 39?
True
Suppose 47027 = 35*g + 2227. Is 10 a factor of g?
True
Suppose 3*h - 6 = 0, 2*q - 4*h + 74 = -0*q. Let z = q - -43. Does 3 divide (1 - (-95)/z)*16/6?
False
Suppose -30549 = -19*z - 29*z + 42411. Is z a multiple of 19?
True
Suppose 2*v - 845*b + 850*b - 22720 = 0, -v + 5*b + 11390 = 0. Is v a multiple of 30?
True
Let c be (70/20)/(2/8). Let x = 47 + -21. Suppose c = h - x. Does 20 divide h?
True
Let j(g) = g**2 + 12*g + 3. Let f be j(-14). Let a = 129 - f. Let t = a - 33. Does 13 divide t?
True
Let d = 29243 + -14847. Is d a multiple of 230?
False
Suppose 0 = -3*a - 4*r + 5893, -r - 9 = -4. Is a a multiple of 27?
True
Let u(y) = -5*y + 161. Let l be u(31). Let z = -388 - -1298. Suppose -l*a - z = -5*v - 3*a, 365 = 2*v - a. Does 31 divide v?
False
Let r(b) = b**3 + 4*b**2 - 14*b + 5. Let k be r(-6). Suppose k*c + 1918 = 16300. Does 13 divide c?
False
Let h be -8 - -10 - (-4 + 2). Let n be -47*h/8*18/(-3). Suppose 0 = -6*g + n + 75. Does 12 divide g?
True
Let q(y) = -1643*y - 1386. Is 19 a factor of q(-8)?
False
Let c(w) = 11*w + 20. Let y be c(-16). Let s = 135 + y. Is (-6)/(-4)*(-3388)/s a multiple of 11?
True
Suppose 0 = h - 0*h + 313. Let u = 1111 + h. Suppose 3*i + 4*i = u. Is 19 a factor of i?
True
Suppose -108*y + 127*y - 36490 - 109297 = 0. Is 10 a factor of y?
False
Let t = 38443 + -28211. Does 7 divide t?
False
Does 33 divide (-55084)/(-30) + (-17)/(-68)*(-8)/15?
False
Let y(x) = -326*x - 52. Let a(g) = -109*g - 17. Let v(k) = -8*a(k) + 3*y(k). Is 20 a factor of v(-10)?
True
Suppose 1768974 = 176*y - 1832338. Does 34 divide y?
False
Suppose 13*v - 126192 = -79438 + 134466. Does 68 divide v?
True
Let w be -52 - -3 - (-3 - -1). Suppose -184*p + 146*p + 2850 = 0. Let b = p + w. Is 14 a factor of b?
True
Let j = -9609 + 16499. Is j a multiple of 26?
True
Let u(y) = -87*y + 1015. Is u(9) a multiple of 8?
True
Suppose 130 - 42 = 2*n. Let a = 48 - n. Suppose 3*i + a*w - 56 = 2*i, 5*w = -2*i + 106. Does 9 divide i?
False
Suppose -s + 66 = 2*k, 5*k - s = -5*s + 162. Suppose -287 - k = -3*f. Is f a multiple of 7?
False
Let j = 138 + -97. Let k be 3268/114 + ((-10)/(-12) - 6/12). Suppose j - k = o. Is 9 a factor of o?
False
Let n(d) = -7*d - 28. Let q be n(11). Does 33 divide (7/(q/(-594)))/((-4)/(-50))?
True
Suppose -5*z - 7 = 213. Let r = z - -625. Suppose -4*p + 11*p = r. Does 16 divide p?
False
Let b = 13058 - 12641. Is b a multiple of 15?
False
Suppose 2*x - 2 = -l + 3*l, -4*l - x = -11. Suppose 5*b = k - 21, 4*k - l*b - 16 = b. Does 12 divide k/(4/12) - -44?
False
Let x(t) = 19*t + 1. Let w be x(1). Let m = w + -20. Let u = 34 - m. Is u a multiple of 5?
False
Suppose 0 = -3*d - 3*w + 180, -96 = 2*d - 4*d + 4*w. Suppose -8*b + 4*b + d = 0. Suppose -c - l - 3*l + b = 0, 4*l = c - 30. Is 22 a factor of c?
True
Let l(c) = c**2 - 4*c + 64. Let q be l(20). Suppose 11*p - 452 = q. Is 16 a factor of p?
False
Suppose -8*r = -7*r. Suppose 3*b + r*b - 6 = 4*w, -4*w + 4*b = 8. Suppose -n + 8 = -w*n. Is n even?
True
Suppose -58721 + 5110 - 44669 = -72*p. Is 21 a factor of p?
True
Suppose -1446 - 20586 = -38*h + 2*h. Does 6 divide h?
True
Let i(l) = 91*l - 180. Is 137 a factor of i(7)?
False
Let f = 6474 - 3674. Is f a multiple of 56?
True
Is 162 a factor of 20 - (-19 + 33 - 20751)?
False
Let w(q) = q**3 - 4*q**2 - 7*q - 4. Let h be w(-6). Let r = -181 - h. Does 9 divide r?
False
Let h be 1664/65 + (-6)/10. Suppose -2*k - s = -88, 44 = k - 23*s + h*s. Is 10 a factor of k?
Fal