- 4*c + 97. Suppose t = -15*q + 18*q. Is q a multiple of 15?
False
Let i(q) = 4*q + 8*q - 8*q**2 - 4*q + 7 + q**3 + q. Let v be i(8). Suppose 164 = 4*j + 4*f, -v - 76 = -5*j + 5*f. Is 12 a factor of j?
True
Suppose -r + 3*r = -144. Let h = r - -128. Suppose 4*z = 8*z - h. Does 14 divide z?
True
Let p(b) = -6*b + 8*b - 17 - 8*b - 10*b. Does 21 divide p(-5)?
True
Let o be (36/(-27))/(2/(-33)). Suppose 4*u - 3*b + b + o = 0, -u = 4*b + 10. Does 18 divide (9/u)/(1/(-14))?
False
Suppose 0 = -625*x + 631*x - 60. Does 4 divide x?
False
Let n = -5 - -10. Suppose 20 = 4*p - 0*p, 5*d - n*p = 100. Suppose -3*c - d = -8*c. Is c even?
False
Is 58 a factor of (-224)/35*((-725)/10 + 0)?
True
Let q(f) = 5*f**2 + 8*f + 2. Suppose -4*x + 4 = -4, x = -5*j + 12. Let d = -2 - j. Is q(d) a multiple of 10?
True
Suppose 10*h - 8*h = 1244. Does 26 divide h?
False
Let x(h) = 23*h + 512. Does 25 divide x(6)?
True
Let f(p) = 11*p + 32. Let l be f(-5). Let i = 143 - l. Does 30 divide i?
False
Let r = -239 - -443. Let d = r - 5. Is d a multiple of 37?
False
Let d = 1133 - 573. Does 20 divide d?
True
Let o be (-5)/30*-9 - (-2)/4. Suppose o*c = -4*x + 220, 5*c + x - 500 - 95 = 0. Is c a multiple of 11?
False
Let r = 47 + 8. Is 37 a factor of r?
False
Suppose 0*u = -4*w - u + 219, -3*w + u = -166. Suppose 3*g - 15 = 3*j, 5*g - g + 3*j = w. Is ((-8)/g)/(4/(-110)) a multiple of 7?
False
Let m(g) = -g + 7. Let j be m(5). Suppose x - 12 = -j*x. Does 5 divide (-4)/x + 4 + 25?
False
Let t = 21 + 8. Let y = t + -24. Is y even?
False
Let z be ((-9315)/10)/((-3)/6). Suppose 7*r = 16*r - z. Is r a multiple of 13?
False
Suppose 6*f = -10*f + 48. Suppose -7*v + f*v + 576 = 0. Is 18 a factor of v?
True
Let i = 29 - 25. Suppose i = -k + 6. Suppose 5*m = -5*l - 0*m + 135, m = -k*l + 58. Is l a multiple of 7?
False
Let q(f) = 125 + 2*f**3 - f**3 - 5*f**2 - 121 - 5*f. Let j be q(5). Let i = j + 55. Is i a multiple of 8?
False
Suppose 2*n = -3*q + 871, q + 2125 = 5*n - 2*q. Does 5 divide n/18 + (-38)/(-171)?
False
Let z(r) = 7*r**3 - 3*r**2 - 6*r + 17. Is 57 a factor of z(4)?
False
Let v(z) = 7 - 4*z + 2*z**3 + 10*z**2 + 2*z**2 - 4*z - 19*z**2. Is v(5) a multiple of 22?
False
Let c be (-3)/2 - (-73)/(-2). Let k = c - -60. Is k a multiple of 14?
False
Does 3 divide (3 - -19)*7 + 5?
True
Suppose 0 = 2*p + p - 936. Suppose 5*r = 4*h + p, 4*r + 4*h = 5*h + 243. Does 37 divide r?
False
Is ((-1368)/(-20))/((-6)/(-45)) a multiple of 12?
False
Let x(n) be the second derivative of -4*n**3/3 - 45*n**2/2 + 15*n. Is 11 a factor of x(-18)?
True
Suppose -2*v = k + k - 2516, 0 = 2*v - 4*k - 2528. Is 30 a factor of v?
True
Suppose f + 1 - 13 = u, 5*u = 4*f - 63. Let h be 3/u - 92/(-10). Let v = h - -3. Does 5 divide v?
False
Suppose -7*x + 3*x = -1708. Suppose 2*b - x = -2*g - g, -5*b - 5*g + 1080 = 0. Is 48 a factor of b?
False
Let c(k) = -5*k + 14. Let w be c(4). Let n(x) = 2*x**2 + 9*x - 4. Is n(w) a multiple of 3?
False
Let m(z) = 3*z**2 - 2*z. Let g be m(1). Let p be 138/(-6)*g*-1. Is (1 - 2) + 2*p a multiple of 15?
True
Let g = 2052 + -1177. Is 35 a factor of g?
True
Let u(r) = r**2 + 2*r. Let l be u(-3). Suppose 4*t = -20, 0 = -5*z + l*z + 2*t + 20. Let k = z + 8. Is k a multiple of 3?
False
Let n be -15 - (-1 + 4 - 7). Let k = n + 13. Suppose 23 = q + 5*v, -v = k*q - 3*v - 94. Is 10 a factor of q?
False
Let d(a) = -a**2 - 14*a + 25. Let m be d(-10). Suppose 62 = -3*r + 323. Suppose -2*i = -m - r. Is i a multiple of 16?
False
Suppose -12549 = -31*y + 1618. Is y a multiple of 16?
False
Let y(w) = -2*w**3 + w**2 + 1. Let p(u) = -2*u**3 + 8*u**2 - 8*u - 7. Let v(t) = -p(t) + 2*y(t). Let i be 2/6 - 32/6. Is v(i) a multiple of 23?
True
Suppose 0 = 45*z - 149584 + 39784. Is z a multiple of 13?
False
Let c be ((-4)/(-5))/((-4)/30). Let g be 1 + 20/(-12) + 20/(-6). Is (70/c)/(g/12) a multiple of 23?
False
Suppose 0 = -t + 4*t - 12. Suppose -11*k + 801 = 4*s - 8*k, 3*s = -t*k + 599. Is 22 a factor of s?
False
Let k be (-3)/(3/(-8)) + -2. Is k/6 - (-23)/1 a multiple of 3?
True
Suppose w + 4*c = 266, -7 = -5*c + 13. Is 8 a factor of w?
False
Let b(c) be the first derivative of c**7/420 - c**6/72 + c**5/40 + c**4/6 + 4*c**3/3 + 6. Let q(i) be the third derivative of b(i). Does 4 divide q(3)?
False
Let r(w) = -w**3 - 2*w**2 + 3. Let f = -1 + 7. Suppose 2*v - f*v - 12 = 0. Is r(v) a multiple of 6?
True
Suppose -2*r = -10, 6*r + 2141 = 4*a + 11*r. Is 38 a factor of a?
False
Suppose -v + 8*v + 63 = 0. Let j = 18 + v. Is 9 a factor of j?
True
Suppose 2*i + 11*g = 9*g + 5520, 4*g - 2760 = -i. Is i a multiple of 10?
True
Let o(u) = -7*u + 60. Let i be o(8). Suppose 8*x - 640 = i*x. Does 10 divide x?
True
Suppose -k - 1552 = -5*k - h, -3*k + 2*h + 1164 = 0. Does 20 divide k?
False
Suppose -21*l + 954 = -12*l. Is l a multiple of 3?
False
Is -3 - (-444 - (-7 - -14)) a multiple of 32?
True
Suppose -4*r = 5*g - 27, -2*r + 3*g = g. Let z be r/(-15)*(5 - 40). Does 7 divide (-19 - -19) + 2*z?
True
Let t(j) = 67*j**2 - 2*j - 1. Let d = 36 + -37. Is 19 a factor of t(d)?
False
Suppose -10*b + 414 = -4*b. Suppose -4 = r + 20. Let k = r + b. Does 15 divide k?
True
Suppose 8*d + 22 - 2494 = 0. Does 23 divide d?
False
Let i = 12 - -126. Suppose g = 4*g - i. Is 18 a factor of g?
False
Suppose 2*y = 3*y - 5*m - 92, -4*y + 323 = -5*m. Suppose 3*u = -p + 413, -2*p + 24 + 117 = u. Let r = u - y. Does 10 divide r?
True
Let p be 0 - (-1 - 1) - (-19 + 5). Is (18/(-2))/(p/6 + -3) a multiple of 9?
True
Let i = 1285 - 1205. Is i a multiple of 20?
True
Suppose a - 55 = 32. Let k = a - -27. Does 19 divide k?
True
Suppose 0*i = -11*i + 3597. Is 7 a factor of i?
False
Let v = 220 + -158. Is v even?
True
Suppose -1398 - 9508 = -14*f. Is f a multiple of 46?
False
Suppose 0*m + 34 = m. Suppose 0 = z + 12 - m. Is z a multiple of 4?
False
Let n = -40 - -34. Does 11 divide n*(-2 - (-58)/(-4))?
True
Suppose 0 = -o + 3*a + a - 16, 2*a = 4*o + 8. Suppose o = -2*z + 3*z + 14. Let k = z - -62. Is 12 a factor of k?
True
Suppose 298 = m + m. Let b be (1919/57)/((-2)/6). Let u = m + b. Is 29 a factor of u?
False
Let g(z) = 3*z**2 + 5*z + 5 - 21*z + 5*z + 8*z. Is g(3) a multiple of 23?
True
Let h be 60/(-4 + 8 - 3). Suppose -3*a + 20 = 2*a. Suppose -h = -a*j - j. Is 12 a factor of j?
True
Suppose 8*b = 4*b - 2*f + 1366, -5*b = -2*f - 1721. Let a be 4/6 - b/(-21). Let v(p) = -p**3 + 18*p**2 - 12*p + 7. Does 26 divide v(a)?
False
Is 4 a factor of (75/15)/35 + 9784/14?
False
Suppose -10 = 3*c - 5*y, 30 = -0*c + 3*c + 3*y. Suppose -4*b = -5*b + c. Does 5 divide b?
True
Suppose 0 = -2*t - 3*t + 30. Suppose -16 = -t*d + 2*d. Is 16 a factor of 1302/27 - d/18?
True
Let h be -2*(-132)/2 + (-2)/(-1). Suppose 10 = 2*i - h. Does 24 divide i?
True
Suppose 46*o = 34*o + 2244. Does 14 divide o?
False
Suppose 0 = 5*q + r - 3583, -q + 3*r + 719 = 2*r. Does 27 divide q?
False
Let g(f) = -f**2 + 8*f - 4. Let r be g(7). Let w = r - 1. Let c(b) = 4*b**2 + 3*b - 3. Is c(w) a multiple of 9?
False
Suppose 4*h - 5 - 175 = 0. Let z = h + -29. Is z a multiple of 4?
True
Suppose 3*t + 70 - 223 = 0. Does 17 divide t?
True
Let t(u) = 16*u. Let p be t(8). Suppose 0 = 4*l - 0*l - p. Does 27 divide l?
False
Suppose 0 = 5*x + 5*l - 50, 2*x + 4*l = -l + 20. Suppose -2*o - x = -a + 2*a, -3*o + a = 5. Is o/(-2 + 10/8) a multiple of 4?
True
Suppose 6 = 2*o - 10. Let n(z) = -5 - 8*z**2 - 2*z + 2 + z**3 + 9*z. Does 21 divide n(o)?
False
Let h(a) = -5*a + 11. Let x = -24 - -14. Is 19 a factor of h(x)?
False
Let o(y) be the first derivative of -5*y**4/24 + y**3/2 + 5*y**2/2 + 5. Let v(s) be the second derivative of o(s). Does 9 divide v(-3)?
True
Let d = 25 + -65. Let u = 0 - d. Is 10 a factor of u?
True
Let q(t) = t**2 - 5*t - 18. Let u be q(5). Suppose 3*o - 92 = o. Let d = o + u. Does 7 divide d?
True
Suppose -3*h = -4*b - 476, -774 = -5*h + 2*b + 10. Does 6 divide h?
True
Let o(c) = c**3 + 52*c**2 + 44*c + 50. Is 37 a factor of o(-51)?
True
Let g be 42*1 - (1 + -3). Let d = -26 + g. Suppose -d + 53 = t. Is t a multiple of 12?
False
Suppose 5*y = -3*f + 2350, -5*f = 4*y - 1427 - 453. Suppose -q - q = -y. Is 20 a factor of q?
False
Let r(c) = 81*c**3 + c**2 - 3*c + 2. Let o be r(1). Let l = o - 31. Does 10 divide l?
True
Let b(u) = 10*u**3 - 113*u**2 - 115*u**2 + 3*u + 224*u**2. Is b(1) even?
False
