*10*-1. Let b = u - p. Does 6 divide b?
True
Suppose -5 = -w - 4*x - 1, 0 = -5*x + 5. Suppose 935 = 4*c - w*c + f, 2*c = -2*f + 466. Let a = c - 160. Is 14 a factor of a?
False
Suppose -3*x = -x - 6. Suppose x*d + 8 = -n, -2*d + 16 = -2*n - 5*d. Let z = n - -20. Is 3 a factor of z?
True
Suppose -17*y = -13*y. Suppose -6*d + 399 + 195 = y. Is d a multiple of 11?
True
Let o be ((-12)/5)/(20/(-50)). Let r(u) = o - 5 + 2*u + 0*u**2 + u**2. Is 2 a factor of r(-3)?
True
Let w(y) = 5*y**2 + y + 1 + 1 + 4*y**2. Is 32 a factor of w(-2)?
False
Let l = -13 - -18. Suppose -l*p = -p - 332. Suppose 4*c - p = -i, -10 = -c + 3*i + 27. Is c a multiple of 6?
False
Let y(t) = -t**3 - 7*t**2 - 2*t - 4. Let l(f) = 2*f**3 + 13*f**2 + 5*f + 9. Let d(g) = -3*l(g) - 5*y(g). Is d(-4) a multiple of 13?
True
Let d(g) = -3*g**2 + 2*g - 9. Let f(t) = -t**2 - 1. Let b(w) = d(w) - 5*f(w). Let q be b(3). Suppose q = m + 4*m. Is 4 a factor of m?
True
Let i be (-27)/33 - 4/22. Is (-4*25)/(i/1) a multiple of 4?
True
Let z = 382 + 73. Does 19 divide z?
False
Let s(u) = -4*u + 6. Let p be s(4). Does 8 divide (-8)/p*(44 - 14)?
True
Suppose 0 = -5*g - 0*g + 120. Suppose -4*t - 4*v = 0, 23 = -4*t + 5*v - 22. Let x = g - t. Is 18 a factor of x?
False
Suppose 0 = -l - 2*l. Suppose 0 = 3*k + 5*d - 141, 2*k - 4*d - 116 = -l*k. Does 36 divide k?
False
Suppose 6*t = 11*t - 2330. Does 13 divide t?
False
Let s(r) = -r**3 + 6*r**2 - r - 3. Let m be s(7). Suppose -3*h - 2*d = -242, -3*h - 2*h - 2*d = -410. Let o = h + m. Is 14 a factor of o?
False
Suppose 12 = -5*d + 5*g + 212, 5*d = -4*g + 182. Does 8 divide d?
False
Suppose 28 + 276 = 8*t. Is -3 + 1 - -5*t a multiple of 37?
False
Suppose 0 = n - 38 + 41. Is 76 - n - (-4 + 8)/(-4) a multiple of 20?
True
Let r(x) = 22*x**2 - 5*x - 4. Suppose -22 = b - 20. Does 12 divide r(b)?
False
Let v(b) = -b**3 - 16*b**2 - 30*b - 23. Let k be v(-14). Suppose 0 = -4*z - 3*r + 579, k*r = -z - z + 293. Does 12 divide z?
True
Let w = -17 - -176. Does 62 divide w?
False
Suppose z + 3 = 123. Is 10 a factor of z?
True
Suppose -15*y + 11*y = 4*g - 788, -5*g = y - 965. Does 32 divide g?
True
Suppose 176 = -4*f + 15*f. Is 2 a factor of f?
True
Let u(p) = 84*p**3 - p**2 - 26*p + 54. Does 15 divide u(3)?
True
Let i = -128 - -182. Let f be (-7)/(-49) - i/(-14). Suppose -f*r - 232 = -8*r. Is r a multiple of 17?
False
Suppose 2*a = 17*t - 13*t - 1914, 5*a + 945 = 2*t. Is t a multiple of 32?
True
Suppose 0 = u + 11 - 13. Suppose -3*b = 4*c - 119 - 552, -u*c - 641 = -3*b. Does 31 divide b?
True
Let j be (-27)/(-36)*8/2. Suppose -12 = -4*d + j*d - 5*t, 2 = 5*d - 4*t. Suppose 6*c + 41 = 3*h + d*c, -3*h + 43 = -5*c. Does 7 divide h?
False
Let c = -265 + 270. Suppose 0 = -4*x - 3*v + 57, 4*x = 5*v + 37 + 28. Suppose 0 = c*l - x - 10. Is l even?
False
Suppose 250 = 2*h + 5*y, -2*h - 250 = -4*h - y. Let a = 300 - h. Is 35 a factor of a?
True
Let j(w) = -2*w**3 - w**2 + 2*w + 3. Let t be j(-1). Let x = -2 - -2. Suppose 0 = -5*f + 5, t*r + 3*r - 2*f - 478 = x. Does 25 divide r?
False
Suppose -4*i + 7*i = -u + 193, 5*i = 5*u - 965. Does 13 divide u?
False
Suppose -600 = -18*j + 804. Is j a multiple of 13?
True
Let w(u) be the third derivative of u**4/6 + 5*u**3/6 - 9*u**2. Is w(9) a multiple of 27?
False
Suppose -18*h + 12*h + 1740 = 0. Does 27 divide h?
False
Is 18 a factor of -144*(-6 + (-55)/(-10))?
True
Let u = -82 - -242. Is ((-6)/8)/((-4)/u) a multiple of 8?
False
Let v(r) = -38*r - 97. Does 35 divide v(-9)?
True
Let s = 3977 + -2677. Does 26 divide s?
True
Let o be -1*(-942)/9*3. Suppose -o = 44*q - 46*q. Is 10 a factor of q?
False
Suppose 20392 = 6*t - 3230. Is t a multiple of 127?
True
Let k = -61 - -64. Suppose 3*b - 8 = -2*j + 7*b, -3*j - k*b = -57. Does 9 divide j?
False
Does 3 divide -1*3/4*3104/(-194)?
True
Let u(c) = -7*c - 73. Is 39 a factor of u(-16)?
True
Suppose -10 = -2*u + 10. Is 10 a factor of u?
True
Is ((-1)/(-3))/(28/16464) a multiple of 10?
False
Suppose 1 = -d + 9. Let u(z) = -z**3 + 2*z - 3 + z + 6*z**2 + 2*z**2. Is 7 a factor of u(d)?
True
Suppose l + 420 = 5*l. Is l a multiple of 10?
False
Suppose 3*p = -3*x + 93, 5*p = 2*p + 4*x + 93. Suppose 0 = -u + p - 11. Is 2 a factor of u?
True
Let h be (-8*4)/(7/(-28)). Suppose 80 + h = 4*v. Is 22 a factor of v?
False
Is 51 a factor of 38844/108 - 16/6?
True
Let l be (-8)/(-24) + (-116)/6. Let d = l - -26. Does 7 divide d?
True
Does 71 divide (9 - (4 - 5))*314/4?
False
Suppose z + 9 - 11 = 0. Suppose -2*g - z*p = -270, -g + 2*g - 5*p = 129. Is 31 a factor of g?
False
Let d(t) = -24*t + 19. Is d(-12) a multiple of 13?
False
Suppose -2*i - 38 = -36. Is (-43)/(0 - (-1)/i)*1 a multiple of 4?
False
Let k = 112 - 64. Suppose 0*b - 4*b = -k. Is 3 a factor of b?
True
Let o(m) = 17*m + 5. Is 33 a factor of o(23)?
True
Suppose h - p = -4*p + 3, 5*h - 3 = -3*p. Let s(f) = -f + 2*f**2 + 4 - 7 + f**3 + h*f**3. Is s(3) a multiple of 13?
True
Let f(g) = g**3 - 8*g**2 - 8*g - 17. Let y be f(9). Is 123/(-30)*-2 + y/(-10) a multiple of 2?
False
Suppose 135 = t - 2*n - 555, -2*t = -2*n - 1384. Does 13 divide t?
False
Suppose 3*q - 155 = -2*q. Let i = q - -46. Does 11 divide i?
True
Let l = 3555 + -2066. Is l a multiple of 11?
False
Suppose -4340 = 62*r - 69*r. Is 4 a factor of r?
True
Let j be (-130)/(-78)*12/10. Suppose -119 = -j*z + 5*y, 0 = 4*y + y + 25. Does 47 divide z?
True
Let g(u) = -u**3 + 5*u**2 + 6*u - 5. Suppose -5*l - 5*c = -5, -2*l + 5*c + 10 = -20. Does 3 divide g(l)?
False
Suppose 3*l = f - 34, 2*l + 89 = 3*f + 22. Let b = -9 + f. Suppose 2*t + 3*p - 12 = 9, t = -2*p + b. Is t a multiple of 6?
True
Let d(i) = -52*i + 23. Is 51 a factor of d(-8)?
False
Suppose 4*b + 1526 - 10766 = -4*i, i = -2*b + 2306. Is 89 a factor of i?
True
Let v be 390/4 - (-9)/(-6). Suppose r + v = 2*r. Suppose 0 = -2*d + r + 40. Is d a multiple of 17?
True
Is 48 a factor of (-22 - -1)*(-689)/39?
False
Suppose -63 = -5*h - 34*g + 36*g, 2*h - 31 = -5*g. Is 3 a factor of h?
False
Let f(q) = -q**3 + 6*q**2 + q - 3. Let t be f(6). Suppose 0 = -6*p + t*p + 54. Suppose p = -11*x + 14*x. Does 3 divide x?
True
Let b(t) = -t**3 + 10*t**2 + 12*t - 2. Let y be b(11). Suppose -4*r + 5*r + 2 = 0, n - 5*r - 8 = 0. Let m = y + n. Does 2 divide m?
False
Let t = -360 - -1027. Is t a multiple of 8?
False
Is 1135/15 - (2 - 14/6) a multiple of 23?
False
Let n(h) = 56*h**2 - h + 6. Is 22 a factor of n(-3)?
False
Is ((-11)/(220/30))/(1/(-26)) a multiple of 2?
False
Suppose 5*i = 3*k + 25, -5*k - 2 = -4*i + 31. Does 3 divide 44/i + (-7)/7?
True
Let r(b) = 7*b - 5. Suppose 3 = 3*u - 2*o, -18 = -2*u - o - 3*o. Let j be r(u). Is 6 a factor of j/(2*3/6)?
False
Let k(q) be the second derivative of q**3/2 - q**2 - 2*q. Let z be k(3). Suppose -z*t - r + 240 = -2*t, -5*t + r = -240. Is 24 a factor of t?
True
Suppose -3*v - 4*i + 27 = 0, -3*i = v + 2*i - 20. Suppose -2*u + 3*u = 0. Suppose k + 4*p - 96 = u, 4*k - k - v*p = 220. Is k a multiple of 17?
False
Let o(r) = -878*r**3 - 7*r**2 - 5*r. Does 22 divide o(-1)?
False
Let v = -19 - -50. Suppose -z + 31 = -4*g, -2*z + 39 = -4*g - v. Let t = z - 23. Is 13 a factor of t?
False
Suppose 3*j + 6 = -6*m + 3*m, j = 2*m - 11. Let l = m + 1. Suppose -3*z = -l*p - 16 - 3, -2*p + 13 = z. Is z a multiple of 3?
True
Let s be -3*(-1 + 1/(-3)). Let r be (8/(-12))/(s/(-18)). Suppose -31 = -2*v + i + 20, 81 = 3*v - r*i. Does 12 divide v?
True
Let m be ((-16)/(-40))/((-1)/(-5)). Suppose 5*f = 4*x + 425, -m*f + 7*f - 425 = -2*x. Suppose -2*o + 53 = -5*t, -4*o - 2*t + 5*t = -f. Is o a multiple of 10?
False
Let n be -3 - -6 - 3/3. Suppose 5*t = -4*c + 90, n*c + 66 = 2*t + 12. Let m = 38 - t. Does 8 divide m?
True
Suppose -29 = -3*f + 2*q, 2*f - 4*f - 5*q = -51. Let j(c) = c**2 - 6*c - 18. Let i be j(f). Suppose 0 = -3*s + 244 - i. Does 26 divide s?
False
Suppose 4*s + t = 91, -5*s + 45 = -4*t - 95. Suppose -5*q + s = -2*q. Suppose -35 = -q*y + 7*y. Is y a multiple of 9?
False
Let d be (-12 - -7)*-1*1. Suppose c + d*c - 30 = 0. Suppose -5*z - 4*t + 301 = 0, -2*t = -c*z - 0*t + 277. Is 17 a factor of z?
False
Suppose 11088 = 2*x + 10*x. Is 66 a factor of x?
True
Suppose -3*t - 846 = 3*t. Is 28 a factor of (-2)/3*t/2?
False
Suppose -3*p - 410 = -4*r - 56, 2*r = 3*p + 174. Does 32 divide r?
False
Is (-3408)/(-21) + (-3)/(-21)*-2 a multiple o