s t a multiple of 9?
True
Let z = 23 - -3. Let g = 30 - z. Is 9 a factor of (-4)/(3 - g) + 6?
False
Let n(v) = v**2 + 5*v - 4. Let b be n(-8). Suppose 5*h = -r + 3*h + b, -2*r + 40 = 5*h. Suppose w - r = -3. Is 17 a factor of w?
True
Let t be ((-26)/(-6))/(-15 + 14)*-9. Let n(v) = -v**3 + 38*v**2 + 38*v + 87. Does 24 divide n(t)?
True
Let g = 21142 + -17125. Is 103 a factor of g?
True
Let k(f) = -181*f + 986. Does 43 divide k(-15)?
False
Is (-1 - 29992 - 7)*(-6)/12 a multiple of 50?
True
Suppose -25 + 90 = 5*h. Suppose -h*v + 9*v = -272. Is v a multiple of 17?
True
Let c be (-14)/(-91) + (-12)/78. Suppose -b + 50 + 84 = c. Is b a multiple of 8?
False
Suppose 2*m = -10, 4*m - 22605 = -5*r - 1460. Is 37 a factor of r?
False
Let i(z) = -496*z - 4393. Does 5 divide i(-13)?
True
Suppose -4*a + 1104 = 4*p - 600, -5*a = p - 438. Let s = p + -281. Suppose -2*r + s = -54. Does 14 divide r?
True
Suppose 4*s = -3*y - 1364, 18*y - 4*s - 468 = 19*y. Let k = 459 + y. Is k a multiple of 6?
False
Is 35 a factor of (-18)/(-4)*(-3 - -12)*(-3858)/(-27)?
False
Let v be (-10)/(0 - 5)*13. Let b be (4/(-10) - 0)*(14 + -19). Suppose -v = -b*q + q. Does 13 divide q?
True
Let z = 43840 + -29631. Does 11 divide z?
False
Suppose 5*z - 7 - 31 = -2*g, 0 = -2*z - 4. Does 25 divide (-2512)/(-4) - 0*(-6)/g?
False
Suppose -2 = -2*l, -y + 2*l + 5 = 10. Is 18 a factor of ((-1 - -2818)/y)/(-1)?
False
Let i be -3 - ((-156)/(-4) - 4). Let y = i + 43. Suppose 275 = y*j + 4*x, 0*j - 2*j = 3*x - 103. Does 12 divide j?
False
Suppose -4*k - 2 = 2. Let g be k + (-150)/(-39) + (-2)/(-13). Let j(i) = -i**3 + 3*i**2 + i + 7. Is j(g) even?
True
Suppose 22566 = 2*c + 18020 - 24392. Is c a multiple of 137?
False
Suppose 4*x - 4*p - 14936 = 0, -3*x = -2*p - 9229 - 1979. Does 55 divide x?
True
Suppose 15*w - 11032 = w. Let i = 1260 - w. Does 44 divide i?
False
Suppose -2*v - 5*r + 8955 + 8567 = 0, 0 = -4*v - 3*r + 35058. Is v a multiple of 99?
False
Let y = 14314 + -6848. Does 27 divide y?
False
Let g(v) = -v**2 - 131*v - 60. Is g(-30) a multiple of 30?
True
Suppose 0 = 2*j + 4*o + 338, 0*j - j + 5*o = 183. Does 4 divide (4 - j) + 4/(-4)?
True
Let f(v) = 108*v**2 + 72*v - 48. Is 24 a factor of f(-8)?
True
Is 132/(4 + 8946/(-2247)) a multiple of 33?
True
Suppose -i = 2*i + 2*t - 11, -t + 4 = i. Suppose -i - 41 = 2*r. Does 7 divide (-6)/(-33) + (-4)/r*43?
False
Is 26445/774*(739 + -1) a multiple of 205?
True
Suppose -4*d = -3*l - 3485, -2*d = 3*d + 3*l - 4363. Suppose 5*i + 266 = a - 46, 3*a - d = -i. Is a a multiple of 6?
False
Let k(s) = -39*s - 41. Let j be k(-13). Let y = j - 330. Is 17 a factor of y?
True
Let m(x) = -x**3 + 13*x**2 + 8*x - 13. Let d be m(13). Suppose -3*j + d = 322. Let c = j + 137. Does 12 divide c?
True
Suppose 41*d + 18 = 43*d, 3*d = 3*s - 149400. Is 18 a factor of s?
False
Let p be ((-1)/(-2))/((-2)/20). Is 70 a factor of (1/(p/2))/((-21)/88200)?
True
Let p(z) = -z**3 - z**2 + z + 5. Suppose -7*y - y = 0. Let k be p(y). Suppose -o - o = -5*v + 685, -160 = -v + k*o. Is v a multiple of 15?
True
Suppose 0 = 17*i - 109 + 75. Suppose i*d + 2*y - 578 = 0, 4*y - 734 = -5*d + 707. Is d a multiple of 15?
True
Suppose -9*l - 4*l + 4121 = 0. Let i = l - 85. Does 21 divide i?
False
Suppose -y + 46968 = 15244. Is 77 a factor of y?
True
Suppose 2*l + 2*c - 102398 = 0, -18*l + 5*c - 102401 = -20*l. Does 129 divide l?
False
Let f(j) = -17*j - 26. Let k be f(8). Let g(w) = 9*w - 6. Let q be g(-7). Let v = q - k. Is v a multiple of 20?
False
Suppose 0 = -4*g - 5*f + 13572, 0 = -3*g - 5*f + 3662 + 6522. Does 8 divide g?
False
Suppose -4*y = 5*v - 1346, -5*v - 16*y + 1355 = -21*y. Suppose 0 = -5*i + 4*i + 3. Suppose 2*n - v = -i*n. Is 9 a factor of n?
True
Let v(h) = h**2 - 16*h - 20. Let k be v(17). Let a be ((-5 - 1) + k)/(6/20). Is 1815/a*-1*(0 + 2) a multiple of 38?
False
Let h = -2567 - -4198. Is h a multiple of 154?
False
Let k = 15 + -13. Suppose a - 93 = -k*a. Let x = -8 + a. Is 23 a factor of x?
True
Suppose 26143 = 5*x - 3*u, -u = -203 + 209. Is x a multiple of 11?
True
Suppose 0 = 11*u + 22 - 77. Suppose -20*z + 23*z + y - 34 = 0, -z = -u*y + 10. Does 2 divide z?
True
Let p be 4 + (4 - (-3 + 2 + 0)). Suppose b - 223 = -3*f, -4*f + p*f = -4*b + 906. Is b a multiple of 3?
False
Let t = 319 + -319. Is t + (-905)/(-5) - 1 a multiple of 4?
True
Suppose -4*n = 5*j + 158 - 10, 0 = 3*j + 3*n + 87. Let u be -3 - (j/10)/((-22)/275). Let s = 62 + u. Is 19 a factor of s?
True
Let q(c) = c**2 - 3*c. Let f be q(4). Suppose -13 = -2*n + n + 4*p, 0 = -f*n - 5*p + 52. Suppose 12*l = n*l - 73. Is l a multiple of 19?
False
Suppose -96*u - 74*u = -661130. Is u a multiple of 74?
False
Let s(f) = -154*f**3 - 3*f**2 - f + 16. Is 25 a factor of s(-3)?
True
Suppose 0*s - 30 = -5*s. Suppose 0 = -2*j - 3*y + 7 - 1, 0 = -2*j - 5*y + 6. Suppose 0*d + 3*d = -s, 132 = 2*t - j*d. Is 21 a factor of t?
True
Let l = 282 - 296. Is 7/l*1*(-1319 + 3) a multiple of 17?
False
Let c(j) = -7*j**3 + 18*j**2 + 68*j + 120. Is c(-11) a multiple of 55?
False
Let h = -785 - -4769. Does 48 divide h?
True
Suppose 14*k = 1384 + 2984. Is k a multiple of 25?
False
Let m(u) be the second derivative of -u**4/12 + 115*u**2/2 - 46*u. Let b be m(0). Let j = -66 + b. Does 18 divide j?
False
Suppose 39 = 3*v - 18. Suppose v*l - 9*l - 7470 = 0. Suppose 3*t - l = 3*b, 5*b + 424 = 4*t - 568. Is 23 a factor of t?
True
Let d = 30 + 10. Is (-5)/((-50)/4) - (-6424)/d a multiple of 23?
True
Let k = 19 - 3. Let i be 88 + (18/(-45) - k/10). Let r = -32 + i. Is r a multiple of 18?
True
Let w = 4135 - -2489. Is w a multiple of 207?
True
Suppose 3*m - 2686 = -q, 3*m - 4*q = 2974 - 293. Let f = -517 + m. Suppose -5*k = 3*o - 945, -2*k - 5*o + f = -0*k. Is 21 a factor of k?
True
Let i(l) = 214*l**2 + 10*l - 372. Is 44 a factor of i(11)?
False
Let o = 1591 - 51. Suppose -8*c = -o + 460. Is 27 a factor of c?
True
Suppose -9 = -7*u - 23. Is u + 6 + 1 + 168 + 2 a multiple of 35?
True
Let t(a) = -74*a + 4884. Is t(0) a multiple of 66?
True
Is (-424)/530 + -6294*(-141)/30 + -6 a multiple of 204?
False
Let h(q) = -2*q**2 - 50*q - 31. Let c be h(-24). Let g = 16 - -11. Suppose i - g - c = 0. Does 12 divide i?
False
Let f be (-324)/(-84) + 2/14. Is 14 a factor of (4 - 824/12)/(f/(-72))?
False
Let s(u) = u**2 - 11*u + 3. Let o be s(11). Suppose 0 = o*y - 4*f + 26, -y - 2*f - f = 0. Is 8/y*402/(-4) a multiple of 14?
False
Suppose 0 = 5*x - 2*x + 84. Suppose -1092 = 10*g - 36*g. Does 19 divide (g/x)/((-3)/76)?
True
Is 55 a factor of (-51 + 68)/(879/(-880) - (0 - 1))?
True
Suppose 4*g + 13 = 61. Let i be ((-4)/g)/((-3)/18). Suppose q - i*c - 13 = 0, -22 = -q - c + 6. Does 22 divide q?
False
Let q = 273 + -189. Suppose 16*h - 13*h - q = 0. Is h a multiple of 27?
False
Suppose 7*x - 7036 - 30251 = 47833. Is x a multiple of 128?
True
Let d = 995 + 23057. Is 47 a factor of d?
False
Suppose -3983 = 397*v - 390*v. Let q = v - -880. Is 8 a factor of q?
False
Suppose -27 = 24*w + 69. Is (4 - -234) + (-2)/w*-6 a multiple of 47?
True
Let o be 2/(-1) + (2 - 41 - -3). Let x be (-4 - (0 - 3))*o. Let w = 57 - x. Does 5 divide w?
False
Let d be 2408/42 + 4/6 + -1. Let y be 1 + (29 - (2 - 5)). Let a = d - y. Does 13 divide a?
False
Let p = 278 + 3836. Is p a multiple of 61?
False
Suppose 0 = -r - 4 - 0. Let a be (-2 - 20/r) + (0 - 0). Suppose -a*k + k = -c - 79, -3*c + 214 = 5*k. Is k a multiple of 14?
False
Suppose -11*c + 21 = 186. Is 15 a factor of (c/(-4) - 4) + (-1540)/(-16)?
False
Let w be (-18537)/74 - 3/(-2). Let o = -2 + 3. Is 38 a factor of -2 + (o - -5) - w?
False
Let i(n) = 35*n + 6. Suppose 0 = -248*y + 247*y + 4. Is i(y) a multiple of 16?
False
Let g = -1190 + 2234. Let d = g - 802. Is d a multiple of 22?
True
Let y(d) = d**2 - 6*d - 2. Let v be y(-5). Suppose -5*p = -66 + 271. Let r = v + p. Does 6 divide r?
True
Suppose 4*v = 3*a - 212 - 1402, a + 5*v = 519. Suppose -2*p = -2390 + a. Suppose -2*b + 10*b - p = 0. Is b a multiple of 29?
True
Suppose q + 8 + 8 = -2*j, 2*j = 3*q. Let n = -39 - j. Let v = 1 - n. Is v a multiple of 14?
False
Suppose 0 = 22*k + 43*k + 84*k - 126203. Does 2 divide k?
False
Let u be -1*1*((-5 - -3) + -3). Suppose 4*c = 3*h + 11, 5*h - 6 = -4*c + 29. Suppose -i - u*r + 165 = 0, -2*i + h*r = -78 - 252. Does 55 divide i?
True
Suppose 4*f - 