ue
Suppose 7*u = 3*u + 724. Suppose 0 = -2*j - 10, -6*x + 5*x - 3*j + u = 0. Suppose -x = -5*b - 66. Is 13 a factor of b?
True
Suppose 17*i - i - 1344 = 0. Is i a multiple of 14?
True
Suppose 5*c = -2*w - 192 + 42, -3*c = w + 90. Let q be c/9*(-6)/4. Suppose 48 = q*n - j, n + j = 3*j + 6. Is 10 a factor of n?
True
Suppose -51 = z - 57. Is 5 a factor of z?
False
Suppose 0 = h - 87 - 6. Is 13 a factor of h?
False
Suppose 3*h = 4*h - 77. Suppose -2*l + 5*z = l - 32, h = 3*l + 4*z. Is l a multiple of 14?
False
Suppose 2*r = i - 5 - 2, 4*i - 28 = 4*r. Let q be 3/i - 20/(-35). Is 14 a factor of (-14*q)/((-5)/10)?
True
Let p(r) = 1 + 4 + 1 + 3*r. Does 12 divide p(6)?
True
Does 8 divide 0 + (-8)/2 - 72/(-6)?
True
Is (-2 + -30)*(-2 + 1) a multiple of 9?
False
Let z(w) = -10*w + 82. Does 41 divide z(0)?
True
Let f(l) = 6*l**2 + 3*l - 7. Let r be f(5). Suppose -2*c - c + r = -m, -212 = -4*c + 2*m. Let b = c + -17. Is 14 a factor of b?
False
Suppose 0*a = -a - 4*g + 44, -5*g + 132 = 4*a. Is a a multiple of 7?
True
Let a(q) be the third derivative of -1/24*q**4 + 1/60*q**5 + q**2 + 0*q - 2/3*q**3 + 0. Does 20 divide a(-8)?
False
Suppose r = 6*r - 25. Suppose -k = 2*p - 93, r*p + k - 181 = 56. Is p a multiple of 16?
True
Suppose 3*p - 15 = -2*p + m, 2*m = -4*p + 12. Suppose z - p*z = -8. Suppose 2*l + 24 + 26 = 3*k, z*k + 3*l - 61 = 0. Does 8 divide k?
True
Let f(w) be the first derivative of 20*w**3/3 - w**2 - w + 6. Let t be -3 - (-4)/(-2 - -4). Is 15 a factor of f(t)?
False
Suppose 0 = -68*b + 70*b - 338. Is b a multiple of 13?
True
Let c = -1 + 6. Suppose -c*a - t - 30 = 4*t, 2*a - t = -27. Is 11 a factor of (a/(-2))/((-2)/(-4))?
True
Let s = -36 - -11. Let m = s + 103. Is (m/(-4))/(9/(-12)) a multiple of 13?
True
Let l be 4/(-10) + (-17)/(-5). Suppose 0 = 2*x + 4*r - 6 - 4, 0 = -2*x - r + 25. Suppose -x + 3 = 4*f, -l*f - 94 = -5*g. Is g a multiple of 17?
True
Suppose 0 = 5*y - 86 - 29. Is y a multiple of 4?
False
Suppose -z + 5*v = -32, -5*z + 72 = -0*z - 3*v. Suppose -k - z = -2*k. Is k a multiple of 6?
True
Let m(t) = -t**3 + 7*t**2 + 9*t - 6. Let z be m(8). Suppose -j = -3*p - 4*j + 54, 0 = p + z*j - 13. Let b = -1 + p. Is 11 a factor of b?
True
Let y = 20 + -8. Suppose -2*z = -6 - y. Is z a multiple of 2?
False
Let s be (27/18)/((-2)/(-4)). Does 2 divide 1/(s/(6 - -3))?
False
Suppose -4*w - 51 = -t, -w + t - 9 = -0*w. Let b(r) = -r**2 - 13*r + 17. Does 2 divide b(w)?
False
Suppose 2*r - 75 = -3*p, 3*p + 31 + 44 = 3*r. Is 10 a factor of r?
True
Suppose -3 = c - 2*c. Suppose -5*f + 16 = -c*j, 0 = 3*f - 3*j - 6. Suppose -f = -4*h + 47. Does 13 divide h?
True
Let z = 9 - 5. Suppose z*q - q = 21. Suppose -q - 6 = -n. Is n a multiple of 13?
True
Suppose 6*i - 144 = 4*i. Is i a multiple of 12?
True
Suppose 849 = 4*o + g, 94 = -3*o - 3*g + 742. Does 27 divide o?
False
Let q(k) = -k**2 - 9*k + 4. Let p be q(7). Let a be (-3)/(-15) - p/(-15). Is (0 + 4)*a/(-2) a multiple of 14?
True
Suppose 0 = -z + 2. Suppose -z*b = -38 - 4. Is b a multiple of 7?
True
Let k = 2 - 8. Let q = 15 + k. Suppose -179 = -5*d + 5*p - q*p, -p - 69 = -2*d. Is d a multiple of 15?
False
Let i(p) = -11*p**2 + 33*p - 36. Let s(a) = 7*a**2 - 22*a + 24. Let k(j) = -5*i(j) - 8*s(j). Let z be ((-60)/(-25))/(6/20). Is 7 a factor of k(z)?
False
Suppose 0 = 5*x - 4*r + 58, x - 3*r + 8 + 8 = 0. Is 516/20 + (-2)/x a multiple of 10?
False
Suppose 5*k + 175 + 175 = 5*j, -j + 4*k + 76 = 0. Is 17 a factor of j?
True
Suppose -39 = -h + 33. Suppose 4*x = x + h. Is 12 a factor of x?
True
Suppose o = -4*o + 10. Let t be (10/4)/(o/(-4)). Is (-211)/t + (-1)/5 a multiple of 22?
False
Let p be (-6)/9*-3*1. Suppose 5*c - 5*x + x = 57, 0 = 2*c - p*x - 22. Is 11 a factor of c?
False
Let z(j) = j**3 - 6*j**2 + j - 1. Let h be z(6). Suppose n - 2*n + 5*l = -46, -h*n = 5*l - 230. Does 23 divide n?
True
Let w(t) = 3*t + 1. Suppose 0 = -0*k + 2*k - 2. Let i be w(k). Suppose -2*x = -i*x + 10. Is 5 a factor of x?
True
Let n(h) be the third derivative of -h**6/120 - h**5/60 + h**4/3 + h**3/2 + 2*h**2. Is n(-5) a multiple of 19?
False
Suppose -r + 9 = -4*r. Let l(w) = w**3 + 5*w**2 + w + 3. Is 14 a factor of l(r)?
False
Does 11 divide (-990)/(-20)*2/3?
True
Let j = 85 + 23. Does 18 divide j?
True
Is 7 a factor of -2 - -30 - 0/(-2)?
True
Let h = 122 - 102. Does 5 divide h?
True
Let h(v) = 3*v**3 + 4*v**2 - 7. Let n(f) = -4*f**3 - 3*f**2 + 7. Let g(u) = 3*h(u) + 2*n(u). Let j be g(-5). Let o = -10 + j. Does 5 divide o?
False
Suppose -2*k + 104 = -0*k. Is 15 a factor of k?
False
Let j be 2/4 - (-253)/(-22). Let a = 57 - j. Is 17 a factor of a?
True
Does 26 divide 1308/16 + (-9)/12?
False
Let h = -41 - -29. Let j be -2*(-2)/(h/57). Let k = j - -29. Does 6 divide k?
False
Let f(h) = h**2 - 4*h + 9. Let r(a) = a**2 - 2*a + 3. Let o be r(3). Is 12 a factor of f(o)?
False
Let u(s) = -12*s - 1. Does 8 divide u(-3)?
False
Does 12 divide 248/(-10)*(-10)/4?
False
Suppose 2*y - 45 = -3*d, 0 = 4*d + 14 - 34. Is y a multiple of 15?
True
Let l(s) = -s**2 - 5*s - 4. Let w be l(-4). Suppose -j - 4 = w, -2*p - 2*j + 4*j + 68 = 0. Suppose 30 = 5*y - p. Does 5 divide y?
False
Suppose 4*k - 1 = 3. Let p = -1 - k. Is 18 a factor of (-2)/p + -4 - -21?
True
Suppose 2*y + w - 137 - 219 = 0, -192 = -y + 3*w. Is 9 a factor of y?
True
Does 9 divide (-24)/(-20)*(-810)/(-4)?
True
Suppose 155 = 5*b + 4*r - 1029, -4*r - 976 = -4*b. Does 30 divide b?
True
Let b(y) be the second derivative of -3/2*y**2 + 5/12*y**4 - 1/3*y**3 + 2*y + 0. Does 21 divide b(-2)?
True
Suppose 0 = d + 4*d. Suppose d*j = 4*o + 2*j - 60, -4*o + 66 = 5*j. Does 7 divide o?
True
Let i = 19 - 3. Does 9 divide i?
False
Let t be (-1 + (-1 - -2))/1. Let o = 1 + t. Does 18 divide o/(-7) - (-592)/28?
False
Does 8 divide 21*(-2 + (-42)/(-9))?
True
Let y be (-10)/8 - (-4)/16. Let k be 1*(1/1 + y). Suppose -2*j - 2*d + 26 = 3*j, k = -4*j + 2*d + 28. Does 5 divide j?
False
Suppose -7*q = 3*q - 3780. Is 37 a factor of q?
False
Does 16 divide 3*(240/9)/5?
True
Suppose 3*i - 4*w = -6, -3*i + 25 = 2*i + 5*w. Is i a multiple of 2?
True
Let v be ((-14)/4)/((-15)/930). Suppose -41 = 2*t - v. Is 22 a factor of t?
True
Suppose -t - 19 = 41. Let g be t/(-35) - (-4)/14. Suppose 0 = 2*w + 3*v - 19, 3*w + 2*w - g*v - 19 = 0. Is 2 a factor of w?
False
Let f(v) = 3*v + 3. Let o be f(-6). Does 15 divide (0 + o)/(1/(-3))?
True
Suppose -5*s + 0*s + 60 = 0. Let u(v) = v**2 - 4*v + 4. Let t be u(4). Suppose -j - 12 = 4*m, -8 - s = t*m. Is j a multiple of 8?
True
Suppose 0 = -5*r + 15, 0*f + 3*r - 34 = -5*f. Is 2 a factor of f?
False
Let w(f) = 5*f - 7. Let b be w(6). Let j = b + -9. Does 14 divide j?
True
Suppose -5*i + 3*k + 74 = -64, 3*i + 3*k = 102. Is 15 a factor of i?
True
Let t(v) = v - 7. Let g be t(7). Suppose g = -5*s + 254 - 79. Does 3 divide 4/(-14) + 150/s?
False
Let u(o) = 2*o**3 - 4*o**2 + 2*o. Let b be u(2). Let n(k) = 2*k**2 - 4*k + 4. Let v be n(b). Suppose 7 = -r + v. Does 13 divide r?
True
Let a = 0 + 1. Suppose -v = a - 37. Does 18 divide v?
True
Suppose -33 = -g + 4*i, 5*i = -g - 0*i + 78. Is g a multiple of 18?
False
Suppose -h + 6 = -2. Is 2 a factor of h?
True
Let i be 0/(-1*(-1)/1). Suppose -l + 3 + 2 = i. Suppose 44 - 9 = l*x. Is 3 a factor of x?
False
Suppose -l - 8 = -5*l. Let z = -2 - l. Is 12 a factor of (54/2)/(z/(-4))?
False
Let j = 34 - 70. Let a = 10 + 52. Let n = j + a. Does 13 divide n?
True
Suppose v = -9 + 42. Does 3 divide v?
True
Let g be 0 - 5/((-10)/6). Let h(s) = -g - 9*s**2 - s**3 + s - 6*s + 3*s + s. Does 3 divide h(-9)?
True
Let s = -11 - -5. Is 14 a factor of (2 - s)/(2/7)?
True
Suppose 7*s - 3*s = 32. Suppose f = 3 + s. Does 11 divide f?
True
Let r(s) = -2*s**3 - 2*s**2 - s - 4. Suppose -4*p = -10 + 26. Is r(p) a multiple of 32?
True
Let j(f) = 1 + 2*f**2 - 3*f**2 + 3*f**3 + 21*f**3. Does 13 divide j(1)?
False
Suppose 0 = 2*j - 127 - 183. Does 14 divide j?
False
Let k be (-4)/(-2)*(1 + 5). Suppose b - 4 = 2*y, -2*b - 4 = -3*y - k. Is (y - 2) + 15 - 2 a multiple of 4?
False
Suppose 0 = -3*z - 2*z + 15. Suppose -v + 11 = 5*j, z = 4*j + 15. Does 13 divide v?
True
Is 11 a factor of (-2)/(-6)*-1 + 873/27?
False
Let m(z) = 2*z**2 + 2*z - 16. Does 17 divide m(-7)?
True
Let r(v) = v**2 - 2*v - 1. Let w be r(3). Let p(m) = m. Let g be p(w). Suppose 0*q - 4*q = 2*t, -g*