. Does 3 divide p(u)?
True
Let r(t) = t**3 - 3*t**2 + 6*t - 2. Suppose 0 = -6*k + 7*k - 5. Does 26 divide r(k)?
True
Let a(q) = q**3 - q + 2. Let k be a(0). Suppose 10*t - 9*t = k. Suppose t*z + 23 = 3*z. Is 14 a factor of z?
False
Suppose 2*n + 14 - 56 = 0. Is 10 a factor of (0 - 95)/((-7)/n*3)?
False
Let q(o) = 15*o + 25*o**2 - 26*o**2 + 42*o**2 + 5 - 19*o. Is q(2) a multiple of 30?
False
Suppose n + 16*j - 3234 = 20*j, 4*j - 16242 = -5*n. Is n a multiple of 14?
False
Suppose 5*z + 3*h = 41, -3*z - 2*h = h - 21. Suppose u - o - z = 0, 0 = -5*u + 4*o + 16 + 37. Suppose -u - 13 = -k. Does 5 divide k?
False
Let s(c) = -2*c**2 + 5*c - 4. Let a be s(2). Let y(n) = -9*n - 4. Is 14 a factor of y(a)?
True
Let x = -58 - -60. Does 2 divide 4 - 1/(x/4)?
True
Does 76 divide 25547*1/13 - 24/156?
False
Is 11 a factor of ((-11)/12*-6)/(1/10)?
True
Suppose 5*t + n = -0*n - 3, n = -3. Let a be 6/(-10)*(3 - 8). Is a - t/(-2) - -66 a multiple of 23?
True
Let r = -50 + -8. Let p be 32/(-3)*(-153)/17. Let b = p + r. Is 19 a factor of b?
True
Let b = -216 + 466. Suppose -3*z = s - 3*s - 359, -4*s = 2*z - b. Is z a multiple of 45?
False
Let l(w) = -w**3 + 4*w**2 + 5. Let s be l(4). Suppose -s = -2*q + q. Suppose -q*b - d + 282 = 0, 5*b - 3*d + 2*d - 288 = 0. Is 18 a factor of b?
False
Let m(u) = -7 + 6*u**3 - 3 - u**2 + 5*u + 4 + 2. Is m(2) a multiple of 17?
False
Suppose 17*m + 5720 = 30*m. Is 45 a factor of m?
False
Let h be (-2 - 2 - (4 - 42)) + 4. Suppose 0 = -40*z + h*z + 58. Is 3 a factor of z?
False
Let u(l) = 14*l**2 - 7*l + 13. Let f(q) = -27*q**2 + 13*q - 27. Let x(w) = -6*f(w) - 11*u(w). Is 50 a factor of x(5)?
False
Let f(g) = g**2 + 20*g + 7. Let y be f(-20). Suppose 0*c = y*c - 343. Is c a multiple of 12?
False
Let g be (-325)/(-2) + (-8)/16. Let a = -55 + g. Is a a multiple of 23?
False
Let i be 58/(2 - 0 - 4). Let b = i - -59. Does 11 divide b?
False
Suppose -78*s = -108*s + 13410. Is s a multiple of 12?
False
Suppose 5*w - 7 = -3*o + 43, -20 = -2*w + 4*o. Suppose -4*v - w*v = -294. Is v a multiple of 21?
True
Let b = 8 - 6. Suppose 5*l - 2*f = -5*f + b, -5*f = 3*l + 2. Let y(x) = 106*x**3 + 2*x**2 - 1. Is y(l) a multiple of 16?
False
Let v be 1 + (-4 - (-8 + 1)). Let j(q) = 2*q**3 - 3*q**2 - 4*q - 4. Is j(v) a multiple of 12?
True
Suppose l + 3*l - 12 = 0. Suppose -l*x + 30 = -78. Is 4 a factor of x?
True
Suppose -17 - 233 = 2*w. Let u = -84 - w. Is (u/5)/((-4)/(-20)) a multiple of 29?
False
Let x(i) = i + 132. Let k be x(0). Suppose -23*y = 2573 - 871. Let a = k + y. Is 24 a factor of a?
False
Suppose -f = 2*f - 174. Suppose -31 = 2*r - r - 3*o, 2*r + 5*o + 73 = 0. Let v = r + f. Is 16 a factor of v?
False
Let w(p) = p + 9. Let m be w(-4). Let n(o) = -251*o - 11. Let d be n(m). Does 12 divide d/(-66) - 4/22?
False
Let x(k) = k + 18. Let b be x(-8). Suppose -2*s - 112 = -b*s. Is s a multiple of 14?
True
Let b(q) = q**3 - 2*q**2 + 5*q + 2. Suppose 47*t + 15 = 52*t. Is 13 a factor of b(t)?
True
Suppose 0 = 5*c + 39 - 9. Is (472/12)/((-4)/c) a multiple of 24?
False
Suppose -1288 = -3*a + 5*o - 123, 0 = -2*a - 5*o + 785. Is a a multiple of 30?
True
Suppose -3*g + 282 = -312. Is 9 a factor of g?
True
Suppose -2*h + 5*f + 0 - 4 = 0, 4*f - 2 = 2*h. Let c(m) = 3*m**3 + 2*m**2 - 3*m + 10. Is 21 a factor of c(h)?
False
Suppose -129 = -2*j + 2*o + 135, 3*j + 2*o = 421. Is 6 a factor of j?
False
Suppose 0 = -131*v + 111*v + 36320. Is 81 a factor of v?
False
Let s(k) = -2*k + 23 + 3*k**2 - 2*k - 9*k + 3*k. Let g(b) = -b**2 - 1. Let u(m) = 2*g(m) + s(m). Does 28 divide u(11)?
False
Let s be 1/(-4) + 730/8. Let h = -32 + s. Let g = h + -29. Is 8 a factor of g?
False
Suppose -40*w = -53*w + 2028. Is 8 a factor of w?
False
Suppose 13*x = -458 + 3474. Is x a multiple of 26?
False
Let t = -2 - -4. Suppose 24 = -t*o + 4*o. Let a = 6 + o. Does 6 divide a?
True
Suppose -m - 14 = -8*m. Suppose -5*v - 25 = 0, -m*v = -j + 3*j - 94. Is j a multiple of 13?
True
Let o(z) = -1 - 5 + z + 0. Let s be o(6). Suppose 2*x - 5*a - 19 = s, -3*a + 6*a - 63 = -5*x. Does 4 divide x?
True
Suppose 0 = -2*p + 8 + 2. Let v(l) = 6*l - 6*l - 12*l + 0 + p. Is v(-3) a multiple of 17?
False
Let a(k) = 51*k - 9. Is a(4) a multiple of 15?
True
Let b = 39 - 39. Suppose 0 = -2*x - b*x + 4. Is x even?
True
Suppose -3*a - 2*a = 0. Suppose a = 4*j - 80 - 16. Is 23 a factor of j?
False
Is 12 a factor of 6 + (5 - 5) + 163?
False
Let h(a) = -a**2 + 6*a + 4. Let w be h(4). Is (-4)/(w/(-297)) - -2 a multiple of 22?
False
Let g be (4/3)/((-10)/(-15)). Suppose 156 = 4*v - 4*a, -13 = -g*v + 4*a + 55. Is v a multiple of 29?
False
Suppose -4*y + 68 = 4*x, -y - 3*x = 2*x - 37. Suppose 4*w - w = y. Suppose -4*n = -z + 40, -3*z - n - 31 = -w*z. Does 6 divide z?
False
Suppose 4*b + 28 = -5*n, 2*n = 7*b - 3*b. Is 14 a factor of 56*((-22)/8 - n)?
True
Let y = 31 - -749. Is 15 a factor of y?
True
Let h(k) = k**3 + 11*k**2 + 8*k - 17. Let w be h(-10). Is 9 a factor of (-2)/(-6) - (-134)/w?
True
Let d be -1*(-11 + 1)/5. Suppose 144 = 2*o + d*o. Is o a multiple of 6?
True
Let z(r) = -r**3 - 23*r**2 + 39*r + 55. Is 22 a factor of z(-25)?
True
Suppose 3*z - 15 = -4*j - 2*z, 3*j - 5*z + 15 = 0. Suppose a + 216 = 3*i, 5*i - 4*a - 166 - 201 = j. Does 24 divide i?
False
Let y(o) = 8*o - 3. Let z be y(1). Suppose z*x = 4*x + 81. Does 27 divide x?
True
Let z(k) = 40*k - 47. Is 6 a factor of z(3)?
False
Let l(x) = 4*x**2 - 6*x + 5. Let u be l(1). Let m = 9 + -2. Suppose -m - 32 = -u*v. Is v a multiple of 13?
True
Suppose 1298*s + 608 = 1302*s. Is 11 a factor of s?
False
Suppose 356*z = 352*z + 316. Is z a multiple of 20?
False
Suppose 3*v = -n + 748, 37*n - 740 = 36*n + v. Does 53 divide n?
True
Let p(g) = g + 17. Let y be p(-13). Suppose 21 = -0*q + q - 5*d, d - 11 = y*q. Is 2 a factor of (-3 + (q - -3))*-3?
True
Let q = 18 + -24. Is -136*(9/q - 0) a multiple of 13?
False
Let q(w) = 110*w - 8. Does 24 divide q(1)?
False
Let o(g) = -1101*g - 163. Is o(-3) a multiple of 12?
False
Let r(a) = a**2 - 16*a - 2. Let l(q) = -3*q**2 + 47*q + 6. Let h(o) = 6*l(o) + 17*r(o). Let y be h(7). Let v = -12 + y. Is 2 a factor of v?
False
Is (4475/(-50))/(-1*(-1)/(-2)) even?
False
Let s = -8 - -25. Let x = -13 + s. Suppose -2*v + x*v = 56. Does 11 divide v?
False
Let p be (26 + -11)*(0 - -1). Suppose 5*v + c + p = -2*c, 25 = 5*v - 5*c. Suppose i - 27 = -v*i + 3*o, -3*o = -5*i + 87. Does 5 divide i?
True
Suppose -5*k + 2*k - 2*f = -1, 2*k + 2*f = 4. Let z be (-73 - 0) + (-4 - k). Let a = z + 158. Does 24 divide a?
False
Let l = -11 + 15. Suppose -5*n + l*c + 13 + 16 = 0, 0 = 3*n + 3*c - 12. Let g(s) = 3*s**2 + 1. Is 19 a factor of g(n)?
True
Is (-2)/19 - (2 - (-183570)/(-285)) a multiple of 28?
False
Let i = -7 + 10. Let u = 20 + -34. Is 149/i + u/21 a multiple of 15?
False
Let n be (3/(-3))/(3/(-12)). Suppose -5*l - n*r = -716, 338 = 3*l - 5*r - 99. Is 9 a factor of l?
True
Suppose -175 = 28*r - 23*r. Is -3 + (4 - 5)*r a multiple of 32?
True
Suppose -2921 = -5*j + q - 108, 0 = -4*j - 3*q + 2239. Is 9 a factor of j?
False
Let q be 11 - 1/(-3)*48/(-4). Suppose q*o - 2*o - 3*p - 924 = 0, -5*p = -5*o + 920. Is 29 a factor of o?
False
Is 10 a factor of (13/(-2))/((-11)/110)?
False
Let d(k) = 723*k - 15. Is d(5) a multiple of 48?
True
Let l(b) = 10*b + 36. Does 3 divide l(0)?
True
Suppose 1395 = 3*f + 6*f. Suppose -p - 4*b = -f, 0 = -3*p - 0*b - 3*b + 492. Is p a multiple of 15?
False
Suppose 4*a = -a - 5*x, 0 = 3*x. Suppose a = i - 14 - 6. Suppose 80 - i = 2*d. Is 10 a factor of d?
True
Let x = -28 + 40. Let q(r) = 2*r - 22. Let d be q(x). Suppose 2*k - 28 = -3*f, -5*k = -d*f - 2*k + 10. Is f a multiple of 4?
True
Let s = 6999 + -4886. Is 19 a factor of s?
False
Let a be 0 + 153/(-3) + 1. Let t = a + 137. Does 29 divide t?
True
Suppose -5*s - a = -207, 4*s + 84 = 6*s + a. Is s a multiple of 5?
False
Let l = 76 + -146. Let v be ((-40)/l)/(2/7). Suppose d = 4*z - 168, 5*z + v*d - 179 = 31. Is z a multiple of 14?
True
Suppose 15 = 2*a + 23. Let p(x) = -5*x**2 - 4*x + 13. Let h(m) = -3*m**2 - 2*m + 7. Let n(v) = -7*h(v) + 4*p(v). Does 27 divide n(a)?
True
Does 68 divide ((-2)/2)/(14/(-4634))?
False
Let c = 656 + -317. Does 55 divide c?
False
Let w be (-1 + 2)*-2*-60. Suppose 23*y - 18*y = w. Is 8 a factor of y?
True
Let v(h) = 2*h**3 + 3*h**2 - 9*h - 