 -6*s. Is 33 a factor of t?
False
Let k(d) = -d - 3. Let s be k(-3). Suppose -5*o + 2*h - 59 = s, -4*o - 2*h = -3*h + 46. Is 11 a factor of (-1 + -1)/(1/o)?
True
Let v(q) = -25*q - 48. Let r(x) = -76*x - 142. Let k(l) = -4*r(l) + 11*v(l). Is 31 a factor of k(6)?
False
Let u(x) = x**3 + 17*x**2 - 13*x + 8. Let g(p) = -p + 1. Let c(a) = -a**2 + a - 1. Let n(d) = c(d) + g(d). Let k(l) = -2*n(l) - u(l). Does 10 divide k(-16)?
True
Suppose q + 2*j - 2 = j, -2*j = -2*q + 12. Does 13 divide 49 - (-4 + q + -3)?
True
Let v(c) = 259*c**2 - 6*c + 12. Is 88 a factor of v(2)?
False
Suppose 0 = 2*x - 3*x + 152. Let k = x - 14. Is k a multiple of 23?
True
Let m = -31 - -116. Let x = m - 39. Does 11 divide x?
False
Suppose 8 = 2*i + 2. Let l be (-1)/(i/(-288)*-4). Is 6 a factor of (1 - -2)/(l/(-328))?
False
Suppose -14*a = 3129 - 3283. Is a a multiple of 2?
False
Suppose 6072 = 27*o - 6078. Is o a multiple of 5?
True
Let p(q) = 7*q**2 - 8*q - 30. Is p(-6) a multiple of 9?
True
Suppose 2*i = -0*d - 3*d - 5, 0 = 3*d - 2*i - 11. Suppose x - 3*n = d - 16, 9 = -4*x - 5*n. Let w = 6 - x. Does 4 divide w?
True
Suppose 2*x + 3*x + 5 = 0. Let u be 1/x + (-12)/(-3). Suppose -u*d + 7 = -29. Is 12 a factor of d?
True
Let x(b) = 13*b + 9. Let q be x(-3). Let y = q - -29. Does 12 divide (0/(-4))/y + 32?
False
Let v = -2048 + 3121. Does 37 divide v?
True
Suppose 21 + 14 = -7*o. Let q(w) = -w**3 + 16*w**2 - 2*w - 16. Let s(j) = -j**3 + 17*j**2 - 3*j - 17. Let b(r) = o*s(r) + 6*q(r). Is b(11) a multiple of 9?
False
Let h(x) be the second derivative of x**5/20 - x**4 + 7*x**3/2 - 3*x**2 - 14*x. Is h(10) a multiple of 4?
True
Let q(k) = k**2 + 7*k + 2. Let c(r) = r**2 + 6*r - 6. Let w be c(-6). Let j be 40/w - (-1)/(-3). Does 2 divide q(j)?
True
Let t(r) = 6*r - r - r - 7 + 0*r. Let m be t(8). Let w = m + -14. Is 11 a factor of w?
True
Let p(y) = -y**3 - 25*y**2 + 60*y - 35. Does 49 divide p(-28)?
True
Let g(p) = 6*p**3 - p**2 + 11*p - 67. Is 23 a factor of g(5)?
True
Let a(p) = -p**2 - 53*p + 40. Is a(-27) a multiple of 19?
False
Suppose x + 1 = 3. Let v be 4 + 1 + x/1. Suppose -v*l + 42 = -4*l. Is 6 a factor of l?
False
Suppose 0 = -3*c - y - 0*y + 158, 0 = -2*c + 3*y + 98. Suppose 47*r = c*r - 800. Is 32 a factor of r?
True
Is -11 - ((-94930)/10)/11 a multiple of 71?
True
Let m = 51 + -5. Suppose 760 = 51*o - m*o. Is o a multiple of 19?
True
Suppose x = -x + b + 53, 2*x - 5*b = 41. Let n = x - 18. Suppose 5*i - 70 - n = 0. Is 8 a factor of i?
True
Let i(n) = n**2 - 6*n - 5. Let w be i(6). Let z(u) = -u**3 - 5*u**2 - 4*u + 14. Is z(w) a multiple of 34?
True
Let s be (-95)/3 - 4/(-6). Let t = 33 + s. Suppose -t*r + 128 = -r. Is 24 a factor of r?
False
Let u(f) = -11*f - 21. Let c(a) = 12*a + 1. Let s be c(2). Let l = s + -31. Does 15 divide u(l)?
True
Let t = -86 - -156. Does 12 divide t?
False
Suppose -103 = -3*c + 173. Let v = c + 24. Is v a multiple of 29?
True
Suppose -1596 = -4*p + 3*w + 2*w, 4*p - 3*w - 1604 = 0. Is 13 a factor of p?
False
Suppose -2741 = 3*w - 7907. Does 21 divide w?
True
Suppose 0 = 3*u - 8*u + 15. Suppose 4*j + 104 = 3*v - j, u*v = -2*j + 76. Is 3 a factor of v?
False
Suppose -7*x + 6 = -4*x. Let f(n) = 18*n + 6. Does 14 divide f(x)?
True
Suppose -2*c + 2*u = -424, -c - 218 = -2*c - 5*u. Does 71 divide c?
True
Let v be (-2)/(-4 + 9/2). Is (6 + v)*50/4 a multiple of 6?
False
Suppose 3*j - 1076 = -269. Is 13 a factor of j?
False
Let w = 75 + 123. Suppose -w = -0*z - 3*z. Is 22 a factor of z?
True
Suppose -3*l + 10 - 4 = 0, 4*i + 5*l - 198 = 0. Is i a multiple of 10?
False
Let o = -10 - -8. Let z(i) = -28*i. Let v be z(o). Let a = 95 - v. Does 13 divide a?
True
Let s = -128 + 213. Let f = s + -21. Is 16 a factor of f?
True
Let i(u) = -3*u - 28. Let p be i(-10). Suppose -176 = 4*q + p*c - 848, 5*q - 837 = -c. Does 29 divide q?
False
Let s = 183 + -72. Let t = s + -53. Is t a multiple of 18?
False
Suppose -t + 38 = 5*w + t, -2*t - 4 = -2*w. Suppose -3*c = -w*c - 9. Does 13 divide 78/(-2)*2/c?
True
Suppose 2*y - 21 = -y. Suppose 3*q + y = -95. Let d = q - -64. Does 15 divide d?
True
Let j be 25*-2*4/(-40). Let y(h) = -13*h**3 - 3*h**2 - h + 3. Let f be y(-3). Suppose 8*v - f = 3*v - j*b, 2*v - b = 138. Does 34 divide v?
True
Let g(r) = -r**3 - 4*r**2 + 8*r + 6. Let u(d) = 2*d**2 - 4*d + 4. Let l be u(2). Suppose -20 = 4*k + l. Is g(k) a multiple of 8?
False
Let r(t) be the second derivative of -16*t**3/3 + 6*t**2 - 21*t. Is r(-4) a multiple of 35?
True
Suppose r = 3*a - 6, 4*r = a - 1 - 1. Let j = 2 + a. Suppose c + 2*c - 81 = -4*y, -j*y = -2*c + 34. Does 11 divide c?
False
Let a = 3888 + -2775. Is 21 a factor of a?
True
Let d(k) = k**3 + 21*k**2 - 11*k + 2. Let a be d(-22). Is 34 a factor of (a/9 - -4)*(-1 + -2)?
True
Suppose -579 = -6*t + 261. Is t a multiple of 14?
True
Is 16 a factor of (3*(-78)/(-72))/((-2)/(-128))?
True
Let d = -32 - -35. Suppose d*m = 6*m - 315. Does 15 divide m?
True
Let c(v) = -91*v - 4. Let a be c(-2). Let u = a - 122. Does 11 divide u?
False
Suppose 4*c - 300 = -v, 2*v + 4*c - 369 = 211. Does 17 divide v?
False
Suppose -5*a + 4*w - 781 = 0, -a - 165 = -5*w + 2*w. Let d = 234 + a. Is 18 a factor of d?
False
Suppose -203 - 983 = -2*u - 2*p, -2*u = 4*p - 1196. Is u a multiple of 23?
False
Let t(j) = 4*j + 11. Let z be t(8). Suppose v - z - 37 = 0. Suppose 5*q - q = -p + 31, 0 = 2*p + 2*q - v. Is p a multiple of 10?
False
Let b(j) = -3 + 84*j + 2 + 3 - 23*j. Does 31 divide b(2)?
True
Suppose 0 = -15*h + 29*h - 322. Does 17 divide h?
False
Let i(w) = -2*w**3 - 14*w**2 - 5*w + 13. Let j = -21 + 13. Is 14 a factor of i(j)?
False
Suppose -11814 = 645*v - 648*v. Is 50 a factor of v?
False
Let r(z) = -2*z**3 + 30*z**2 - 26*z - 25. Let c be r(14). Let k be ((-4)/10)/((-1)/5). Suppose -3*l + c*v - k*v = -289, -5*l - 3*v + 477 = 0. Does 24 divide l?
True
Let z(y) = y**3 + 2*y - 43. Let g be z(0). Let b = g - -66. Is b a multiple of 5?
False
Suppose -56 = -4*z + q, z - 7*q - 33 = -2*q. Suppose -3*b + 167 = -z. Does 10 divide b?
True
Let w(z) = -z**3 + 11*z**2 + 2. Let g be w(11). Suppose -5*r + g*r = -3*a + 717, 0 = r - 5. Suppose 4*j + 5*h = 346, 3*j - 6 = h + a. Does 21 divide j?
True
Suppose -u + 86 + 5 = 4*m, 0 = -5*m + u + 116. Suppose 2*b - m = 13. Suppose -2*v + 3*v = b. Does 9 divide v?
True
Let a = 9 + -14. Let s(z) = -7*z + 6. Is 14 a factor of s(a)?
False
Suppose 0 = 3*u, -3*u = -x - 6*u + 101. Does 4 divide x?
False
Let a = -958 + 2012. Is a a multiple of 26?
False
Suppose 10 = 5*z, -2*n + 4*z - 151 = 127. Let i = n + 263. Does 16 divide i?
True
Let p be 226/(2 + -4 + 4). Let m = 290 - p. Is 29 a factor of m?
False
Let t = 24 + -21. Suppose -4*d - 260 = -5*a, 0 = 2*a - t*d + 5*d - 104. Is 26 a factor of a?
True
Let n = 9 + -11. Let z be (n - 10)*2/3. Does 10 divide z/(-16) - 33/(-2)?
False
Does 2 divide (4 - 0) + (-7 - -25) - -6?
True
Let k(r) = 60*r**2 + 57*r + 238. Is 9 a factor of k(-4)?
False
Is 25 a factor of 431 + (-1)/((-1)/6)?
False
Let o be 21/9 + 16/24. Suppose o*k - 4*c = 42, k - 28 = -k - c. Does 5 divide k?
False
Suppose -4*a + a - 12 = -5*v, 5*v + 8 = -2*a. Let s be v/((-3)/3 - 0). Let d = s - -12. Does 10 divide d?
False
Suppose -28 = 4*l - 8. Does 23 divide ((-6)/l)/(28/2730)?
False
Let n be (66/15 + -2)*(-25)/(-10). Suppose -280 = -n*w + 104. Is w a multiple of 32?
True
Let y(l) be the third derivative of 11*l**5/15 + l**4/6 + l**3/3 + 17*l**2. Is 21 a factor of y(-1)?
True
Let r(k) = 181*k - 173. Is r(8) a multiple of 17?
True
Let k(a) = a**3 + a**2 + 52. Let v = 26 - 23. Suppose v*g + g = 0. Is k(g) a multiple of 13?
True
Let w be 2*36/(-3)*-1. Let p = 15 + w. Is p a multiple of 13?
True
Let f be (-2)/8 - 36/(-16). Suppose -g = -f*g - 2. Does 21 divide ((-8)/(-16))/(g/(-312))?
False
Suppose 3*w - 2*x = -x + 4, x - 6 = -2*w. Let i(t) = -29*t - 2. Let v be i(w). Let j = v + 135. Is j a multiple of 19?
False
Suppose -3*r = -86 + 227. Let k(i) = -2*i**3 + 5*i**2 - 2*i - 5. Let x be k(5). Let m = r - x. Is m a multiple of 23?
False
Let s be (-3 - -4) + (-3)/(-3). Let r be 3 + (2 - 1) - 4. Suppose -n = 4*j + s*n - 57, 5*j - n - 76 = r. Does 15 divide j?
True
Let z = 5 + 4. Let q(y) = y - 7. Let x be q(z). Suppose -c - x*c + 48 = 0. Is 8 a factor of c?
True
Suppose 1168 = 4*r + 4*r. Let t = r + -30. Does 13 divide 