 h(5). Suppose -m = j - 34 + 9, -b = -j + m. Does 12 divide j?
False
Let j = -5007 + 7353. Is j a multiple of 36?
False
Is 24770/(-45)*63/(-14) a multiple of 127?
False
Suppose 173 + 63 = -2*t. Let j(s) = -28*s**3 - s. Let a be j(1). Let g = a - t. Does 24 divide g?
False
Let i(q) = -101*q + 251. Does 11 divide i(-6)?
False
Suppose -4*a = -2*a - 50. Suppose 5*u - 144 = 4*x + 526, 5*x = a. Let k = -76 + u. Does 12 divide k?
False
Suppose 29*u - 27*u = 160. Let s = u + 26. Is s a multiple of 19?
False
Suppose 52*c - 55*c + 3996 = 0. Does 11 divide c?
False
Let t(i) = 4*i**2 - 9*i. Let v(c) = -c**2 + c. Let h(k) = t(k) + 2*v(k). Is h(5) a multiple of 15?
True
Suppose -i - 2*i + 323 = -4*k, 0 = -2*i - k + 230. Suppose 4*h - 3*s + 4*s = i, -s = -4*h + 111. Does 7 divide h?
True
Let v = 73 - -4. Suppose v*t - 72*t - 1260 = 0. Does 21 divide t?
True
Suppose 2*h = 3*x + 278, -x + 415 = 3*h - 5*x. Is 14 a factor of h?
False
Let t = 312 - 301. Is 11 a factor of t?
True
Let b(t) = 2567*t**3 - 2*t**2 - 2*t + 3. Is 21 a factor of b(1)?
False
Suppose 0 = -7*g + 10*g - 702. Suppose 14*o - 1270 + g = 0. Is 18 a factor of o?
False
Let x = 393 - 292. Does 6 divide x?
False
Let z(d) be the second derivative of d**5/20 + d**4/6 + d**3/6 + d**2 + 8*d. Is z(4) a multiple of 12?
False
Does 22 divide (5 - 2 - -283) + 12 + -12?
True
Suppose -2*l = l - 4*y - 1650, 5*y + 1100 = 2*l. Let z = -315 + l. Is 34 a factor of z?
False
Let g(i) = 2*i**3 - 26*i**2 + 3*i - 24. Let f be g(13). Suppose 0 = -7*x + 1247 - f. Is x a multiple of 16?
True
Let q = -932 - -1328. Is q a multiple of 35?
False
Suppose 0 = -3*r + 32*r - 2175. Is r a multiple of 3?
True
Let v = 5 + -2. Let h be 3/((-1)/2 - -2). Suppose 4*k = -5*d + 41, -5*d = v*k + h*k - 40. Is d a multiple of 4?
False
Let y = -604 - -1123. Suppose 5*n = -3*v + y, 2*n = 3*v - v - 362. Suppose 2*i = 2*f + v, -2*i + 3*f + 184 = -2*f. Is 29 a factor of i?
True
Suppose -49 = -r - 45. Does 13 divide 91 + -1 + 4/r?
True
Let t = -8 + 14. Suppose -4*s + 5*q + t = 0, 2*s = 2*q - 1 + 3. Is 45*(s + (-16)/(-12)) a multiple of 8?
False
Suppose 199 + 217 = z. Is z a multiple of 22?
False
Let t(q) be the first derivative of q**4/12 + 3*q**3/2 - 15*q**2/2 - 3*q + 5. Let i(y) be the first derivative of t(y). Does 25 divide i(6)?
True
Let k(u) = 3*u**3 + 2*u**2 - 7*u - 6. Let d(o) = 2*o**3 + 2*o**2 - 8*o - 7. Let s(w) = -4*d(w) + 5*k(w). Let p be s(-2). Let t = -24 - p. Is 10 a factor of t?
True
Let g(b) = -b**2 - 4*b - 1. Let l be g(-2). Suppose 2*z = l*z - 35. Is 13 a factor of 1 + (2 - -1) + z?
True
Is 23 a factor of 186/(-155)*(-4280)/6?
False
Let b = -1203 + 1723. Suppose -v = -4*j - 6*v + b, -520 = -4*j - 2*v. Is j a multiple of 13?
True
Let a = 8 + -9. Let n be a + 1/((-2)/(-10)). Suppose n*p + 3*v - 162 = p, -3*v - 150 = -3*p. Is p a multiple of 16?
False
Let o = -35 + 115. Is o a multiple of 20?
True
Let y(i) = 5*i - i**2 + 9*i + 2 - 3*i. Let o be y(9). Suppose -2*x + o = -16. Is x a multiple of 6?
True
Suppose -18*j + 2700 = -13*j. Does 9 divide j?
True
Suppose 6*u + 69 - 21 = 0. Let s(c) = -3*c - 20. Is s(u) a multiple of 2?
True
Suppose u - 5 = -2*l, -5*l + 3*u - 8 = 7. Let h = l + 40. Does 10 divide h?
True
Does 12 divide 8/6 + 101248/96?
True
Let q = -66 - -106. Let z = q + 92. Is 22 a factor of z?
True
Let y(l) = -l**3 + 7*l**2 - 2*l + 4. Let x be y(5). Let t be (649/x)/((-1)/(-4)). Let g = t + 9. Is 19 a factor of g?
False
Suppose -649*t - 8925 = -654*t. Does 21 divide t?
True
Suppose -8*d = -316 - 140. Is d a multiple of 19?
True
Suppose 6*d - 11*d = -3*w + 542, 3*w - 592 = -5*d. Is 9 a factor of w?
True
Let q be (2*1)/((-10)/(-135)). Suppose -38 - q = -g. Is g a multiple of 9?
False
Let g = 203 + -89. Suppose -w - 3*i + g = 3, -i - 353 = -3*w. Is 14 a factor of w?
False
Let y = -98 - -126. Suppose 3*q - 81 = 4*l, q - 18 = -5*l + y. Is 31 a factor of q?
True
Let i = -183 - -123. Let w = -24 - i. Is w a multiple of 14?
False
Suppose 0 = 2*d + 4, 4*y - 3*d = -489 - 113. Let q = y + 220. Is q a multiple of 21?
False
Suppose 209 = -2*j - l + 1098, 1344 = 3*j + 5*l. Is 80 a factor of j?
False
Let t be (6/(-4))/1*20/(-15). Suppose 4*w = -3*v + v + 154, 0 = v - t*w - 85. Is 25 a factor of v?
False
Let v(y) = 0*y + 3 + 4 + 2*y - 1. Let b be v(-3). Suppose -j + 4*j + 3*g - 198 = b, 198 = 3*j - 2*g. Does 22 divide j?
True
Let z = -86 + 4475. Does 77 divide z?
True
Suppose 5*k - 3 = -l, 4*l + 68 - 11 = 3*k. Let o(w) = -13*w - 7*w**3 + 4*w - 3*w - 13*w**2 + 6 + 6*w**3. Is 2 a factor of o(l)?
True
Let g = -369 - -1479. Does 37 divide g?
True
Let v be (10*1)/(3/9). Let b be 1/(6/4 - 1). Suppose b*u = -4*y + v, 2*u = -0*y - 5*y + 39. Is 4 a factor of y?
False
Suppose 0 = -8*n + 2*n + 450. Let i be (4/(-10))/(3/n). Does 16 divide (i/5)/((-2)/32)?
True
Suppose -9*o + 8*o = 19. Let j = o + 42. Suppose 6*y = 7*y - j. Does 3 divide y?
False
Let v be -1 + (-2)/(-1) + -15. Let x = v - -19. Let a(g) = 3*g**2 - 9*g + 3. Is a(x) a multiple of 11?
True
Let y(k) = 10*k + 21. Let t be y(3). Let w = -30 + t. Is 21 a factor of w?
True
Let t(o) be the first derivative of 11*o**3/6 - 4*o**2 + 5*o - 7. Let w(d) be the first derivative of t(d). Is w(3) a multiple of 20?
False
Suppose -6*j + 2*j - 20 = 0. Does 7 divide (-4 + 0)/(j/40)?
False
Suppose 2*t - 6 = 4*t - b, -2*t = 2*b + 6. Suppose 2*p = -25 + 23. Does 4 divide 8/(-3 - p - t)?
True
Suppose -12*n + 11*n = -14. Suppose 10*k - 184 = n*k. Let s = 75 + k. Does 20 divide s?
False
Let s be ((-12)/30)/(2/(-70)). Does 17 divide 70 + ((-35)/s - (-2)/4)?
True
Let m(x) = -x**2 - 10*x - 14. Let z be m(-7). Suppose -3*t + z*t = 64. Is t a multiple of 16?
True
Suppose -3*k = -14*k + 88. Suppose 0 = -18*r + k*r + 3230. Does 30 divide r?
False
Let r(a) = a**3 + 7*a**2 - 7*a - 4. Suppose g = 2*d - 15, -4*d + 0 = 3*g + 5. Is 15 a factor of r(g)?
True
Let n = -13 + 31. Suppose -2*z + 3*z - n = 0. Is 14 a factor of (-3 + (-2 - -6))*z?
False
Let d(v) = -v**3 - 9*v**2 - 3*v - 11. Let z = -11 + 29. Suppose -2*u - 2*f - 18 = 0, -3*u + f - z = 9. Is 16 a factor of d(u)?
True
Let g = 392 - 268. Is 27 a factor of g?
False
Let r = 5813 + -3567. Is r a multiple of 32?
False
Suppose -2*h + 27 + 5 = 0. Suppose 3*s - 7*s = -h. Suppose -5*y = s*i - 119, 0 = 5*y - 3*i - 82 - 30. Is 9 a factor of y?
False
Let o(q) = 509*q + 3. Is o(3) a multiple of 68?
False
Let q = 71 - 43. Let n = q + -18. Let m = n + 11. Does 13 divide m?
False
Let l(d) = -227*d - 81. Does 8 divide l(-3)?
True
Let b(x) = -2*x**2 + 6*x + 8. Let v be b(6). Let d = -10 - v. Does 16 divide d/9 + (0 - -14)?
True
Let f be (0 + (-9)/6)*-2. Suppose q + 4*q + f*g - 32 = 0, g = -3*q + 16. Does 7 divide ((-7)/(-1))/(q/12)?
True
Suppose -2*n + n = l, 2*n = -5*l. Suppose l = -6*z + 2*z + 152. Suppose -2*g - 4*q = -51 + 13, -2*g + 5*q = -z. Does 19 divide g?
True
Suppose -5*z + z - 5592 = -3*v, -2*v - z + 3728 = 0. Is 55 a factor of v?
False
Let c be -3 + -2 + 3 - 0. Let b be (4 - 4)/(c + 1). Suppose b = -4*q + q + 3*j + 216, -q - 4*j = -67. Is q a multiple of 26?
False
Suppose 3*x = 5*k - 6816, k = -3*x + 1754 - 380. Is 105 a factor of k?
True
Suppose -5*t + 3*t - 238 = 0. Let u = t - -172. Let z = -33 + u. Is 7 a factor of z?
False
Let i = -5 + 15. Does 9 divide ((-24)/i)/(146/150 + -1)?
True
Let s = 13 + -10. Suppose -6 = 7*i - 3*i + s*k, -4*k = -4*i + 8. Let g(j) = j**2 + j + 18. Is 6 a factor of g(i)?
True
Suppose 50*w - 49*w - 560 = 0. Is 10 a factor of w?
True
Suppose 3*i - 186 = 5*o + 164, 5*o = -5*i - 390. Let x = o + 121. Is 8 a factor of x?
True
Suppose -2*m + g + 613 = 0, 5*g + 1662 = 5*m + 132. Suppose 5*h + 2*w - 121 = 265, -4*h - w + m = 0. Is h a multiple of 38?
True
Let q(c) = -c**3 + 9*c**2 - 8*c - 8. Let n be q(7). Let y = n - 21. Is y a multiple of 4?
False
Let n(f) = 0*f - 3*f + 2*f + 15. Let z be n(13). Suppose w + 2*r = -2*r + 32, -56 = -w + z*r. Is 16 a factor of w?
True
Let o = 16 - 14. Let g(r) = 4*r + 12 - 7*r**3 + 6*r**3 + 11*r**o + 4. Does 20 divide g(11)?
True
Does 44 divide (69 - 1)*(-41 + 52)?
True
Let n = -1663 - -3563. Does 25 divide n?
True
Let f = -5 - -8. Suppose 3*d + 60 = f. Let r = -16 - d. Is r a multiple of 3?
True
Let s = 51 - -208. Is 7 a factor of s?
True
Suppose -27*i + 1515 = -24*i. Does 13 divide i?
False
Let l(t) = -194*t**2 - 2*