d + 7. Let j be s(i). Suppose 5*q + j - 595 = 0. Is q a multiple of 13?
False
Suppose -2*j = j + 102. Suppose 0 = 5*c + 4*h - 370, 3*h - 75 = -c + 2*h. Let g = j + c. Is g a multiple of 12?
True
Suppose -9*m + 3166 = -308. Does 15 divide m?
False
Let d(g) = -4*g**3. Let j be d(-1). Suppose 0 = 4*r + r - 15, 0 = -3*h + j*r - 69. Let u = h + 43. Is 24 a factor of u?
True
Let y(d) = d**2 + 2*d - 11. Let g be y(5). Let f be 3/5 - g/40. Let b(k) = -k + 9. Is 3 a factor of b(f)?
True
Let c be 60/3*(-3)/(-6). Let u = c + -9. Does 18 divide u + 172/2 + 3?
True
Suppose -26*o + 22*o = -120. Does 10 divide o?
True
Suppose 3142 - 62 = 20*q. Is q a multiple of 22?
True
Let f(l) = 553*l**2 + 1. Let r be f(-1). Suppose 3*t - 15 = 0, -5*t - r = -4*q - 79. Does 22 divide q?
False
Let w = 37 - 52. Let q be (w/6 + 3)*4. Is 22 a factor of -33*(q/3 + -2)?
True
Let t = -1940 - -4971. Does 47 divide t?
False
Let g(h) = h**3 - 8*h**2 - 8*h - 8. Let c be g(9). Is 55*(5 + -4)/c a multiple of 3?
False
Let i be (1/(5/(-9)))/((-6)/30). Suppose 3*x + i = 39. Is x a multiple of 4?
False
Let p(j) = -j**3 - 7*j**2 + 5*j - 76. Does 21 divide p(-9)?
False
Let h(f) = -4*f**3 - f**2 + 3*f + 1. Let w = -6 + 11. Suppose w*v + 7 + 3 = 0. Is h(v) a multiple of 23?
True
Suppose -25877 = -22*j + 7321. Does 5 divide j?
False
Let g be (-150)/15*22/8*-34. Suppose -5*k + i = -g, k - 5*i + 31 = 218. Is 17 a factor of k?
True
Let a(v) = -v + 2. Let x be a(-3). Suppose -x*m + 57 = -38. Suppose c - 17 = m. Is 20 a factor of c?
False
Let i = -384 + 568. Is i a multiple of 4?
True
Let z be 2*(5 - (-5 - 116)). Is z/(-8)*8/(-2) a multiple of 18?
True
Let g(a) = a**2 + a + 7. Let i = -4 - -14. Is g(i) a multiple of 15?
False
Let q(m) = -m**3 + 8*m**2 + 11*m + 1. Let y be q(9). Let f = 28 - y. Suppose -f = -4*c - h + 136, 3*h = -5*c + 176. Is c a multiple of 21?
False
Let j be (42/(-7))/6*(1 - 7). Is 32 a factor of j + -9 + 0 - (0 - 354)?
False
Suppose 2*k - 10 - 6 = 0. Is k a multiple of 2?
True
Suppose 3*p + 3*b - 213 = 6, 2*b + 126 = 2*p. Suppose -4*w = -5*k - p, -5*k + 5 - 69 = -2*w. Does 5 divide (20/3)/(k/(-54))?
True
Let u = -11 + 15. Let a = 1 + u. Suppose y = a, -16 + 183 = 2*p + y. Does 27 divide p?
True
Let o(n) = -n + 22. Let y be o(16). Let f be (y/(-5))/((-21)/70). Suppose 138 = 5*r + 3*d - f*d, -d = 3. Is r a multiple of 20?
False
Suppose 3*f + 30 = -0*f. Let l(b) = 3 + 3*b + 9*b - 9 + b**2 - 5*b. Is 24 a factor of l(f)?
True
Let s = 496 + -400. Is 8 a factor of s?
True
Let t = 6 - 1. Let m(s) = -s**3 + 4*s**2 + 5*s + 3. Let r be m(t). Suppose 0*p - 120 = -r*p. Is 8 a factor of p?
True
Is 24 a factor of (-6)/12 + (28534/4)/11?
True
Let u be (3/6)/(-1)*2. Let m(w) = -3*w. Let g be m(u). Suppose -3*b + 5*b = g*x - 29, -x + 6 = 3*b. Is x a multiple of 7?
False
Suppose -5*q + 432 = -9*q. Let d = -44 - q. Does 14 divide d?
False
Let j(f) be the second derivative of -f**6/180 - f**5/40 - f**4/6 - 6*f. Let a(d) be the third derivative of j(d). Is a(-2) a multiple of 4?
False
Let f = -90 + 93. Is (-532)/(-7) + (-12)/f a multiple of 24?
True
Let x(v) = 8*v + 12 - 19 - 22. Is 17 a factor of x(10)?
True
Suppose -128 = -3*q + 4. Let r(x) = 0*x**2 + 9 - q*x + x**3 + 31*x - 4*x**2. Is 3 a factor of r(6)?
True
Let q(d) = d**2 - 50*d - 14. Let r be q(49). Suppose -2*w + 110 + 82 = 0. Let v = w + r. Is 10 a factor of v?
False
Suppose 3*b + 5196 = 3*o, -10*o + 7*o + 4*b = -5194. Is o a multiple of 102?
True
Suppose h - k - k + 2 = 0, 38 = -5*h + 3*k. Let d = h + 12. Suppose 8*x - 2*i - 82 = 4*x, 3*x + d*i = 58. Is 14 a factor of x?
False
Let h(r) = 15*r + 11. Let y(u) = 3*u - 4. Let s(j) = -h(j) + 4*y(j). Suppose -2*f + 12 = -v, -105 = -0*v + 5*v - f. Is s(v) a multiple of 11?
False
Suppose 24 = f + 2*f. Is (-6)/(-2) + f - (-1 - -2) even?
True
Suppose f - 7 - 9 = 0. Let t = -19 - -8. Let r = f - t. Is 6 a factor of r?
False
Suppose 2*y - 5*m = 32, 0 = -2*y - 7*m + 4*m. Suppose -3*c - 15 = -y. Let j = c - -8. Does 2 divide j?
False
Let f(t) = 2*t + 118. Is f(16) a multiple of 7?
False
Let w(s) = s + 17. Let x = -19 - -12. Let c be w(x). Suppose 0 = -8*u + 3*u - c, 3*v = 3*u + 129. Is v a multiple of 16?
False
Let r = 7 - 5. Suppose -4 = -r*h + 2. Suppose t + g = h*g + 34, g + 101 = 4*t. Does 8 divide t?
True
Suppose -g + 112 = 5*s + 3*g, 3*s + 3*g = 66. Let t be 130/3 + s/(-18). Let p = t - 22. Is p a multiple of 10?
True
Suppose w = -3*z - w + 17, -5*z + 20 = -5*w. Let f(u) = -u**3 - u**2 + 99. Let m be f(0). Suppose 46 = d + 3*s + 11, m = z*d - 4*s. Does 18 divide d?
False
Is 8 a factor of 1 - (-1 + 8) - (-2922)/2?
False
Let w(q) = q**2 - 7*q + 14. Let f be w(6). Suppose -6*n = -f*n + 176. Is n a multiple of 8?
True
Suppose -3*k = -3*v + 27, 2*v = 5*k - 2*k + 23. Let j be 0 + k - (-15 - -14). Is 7/(14/j)*-3 a multiple of 6?
True
Let v(j) = j**3 - 7*j**2 - 8*j + 5. Let c be v(8). Suppose 0 = -b - c*b + 30. Suppose 2*o + 84 = b*o. Is 9 a factor of o?
False
Suppose 8*d = -6*d + 7854. Is d a multiple of 57?
False
Suppose -k + 4*u + 89 = 0, 3*k - 2*u - 448 = -141. Does 15 divide k?
True
Let n be 3/5 + (-1496)/(-40). Let x(c) = c**3 + 19*c**2 + 28*c - 40. Let b be x(-17). Let s = b - n. Is s a multiple of 8?
True
Suppose 4*s - z - 16 = 0, -3*s + 2*z + 11 = -2*s. Suppose 0 = -2*d + o + 9, -s*o = -2*d - o + 10. Suppose 0*l = -d*l + 16. Is l a multiple of 2?
True
Let w(u) = 5*u - 19. Let o be w(32). Suppose 1167 = 19*v + o. Is v a multiple of 3?
True
Suppose -5*t = 62*n - 67*n - 16970, 5*t = 3*n + 16980. Does 33 divide t?
True
Let u(h) = -14*h + 14. Let n be u(-2). Suppose 0 = -3*j + 60 - 6. Is n/5*120/j a multiple of 14?
True
Let q = 1118 + -441. Is q a multiple of 30?
False
Let u = 1133 - 406. Is 42 a factor of u?
False
Suppose 55*q - 59*q = -2*k - 4864, 0 = 4*q + 3*k - 4864. Does 9 divide q?
False
Let k(m) = 3*m**2 + 9*m - 14. Let g be k(4). Let r = g - -37. Is 18 a factor of r?
False
Suppose -10 - 225 = -5*j. Suppose -3*k = -643 - j. Is 64 a factor of k?
False
Is 19 a factor of ((-12)/9 - -2)*(-1 - -727)?
False
Let n be 3/2*(-70)/(-21). Suppose 3*a + 5*v = -129, 81 = n*a + 4*v + 309. Does 10 divide a/((-1)/((-4)/(-6)))?
False
Suppose -5*x = -5*w - 55, -4*x + 5*w = -0*w - 49. Let i = -19 + 16. Is 8 a factor of (-8)/i*x/2?
True
Suppose -9*o + 171 = -81. Suppose 945 = 3*s - 5*a, -s - 3*a + 357 - o = 0. Is s a multiple of 23?
False
Is ((-9608)/(-20) + -4)/(3/10) a multiple of 26?
False
Suppose 2*l = 3*l + 292. Suppose 2*g = -p - 4, 4*p - 3*p - 3*g = 11. Is p/(-12) + l/(-24) a multiple of 3?
True
Let u = 2324 + -1068. Does 35 divide u?
False
Let n(a) = -3*a**3 - 12*a**2 - 9*a - 1. Is n(-6) a multiple of 24?
False
Let t be 386/4 + 9/(-6). Let p = -3 + t. Suppose -3*h + p = h. Is h a multiple of 9?
False
Suppose -12 = -4*d, -3*d = -q + 5 - 14. Suppose -i - 2*i - 3 = q. Does 2 divide 2 - (4 + i + -5)?
True
Does 21 divide (-3 + -1)*(-81 - (0 + -8))?
False
Suppose -95*f - 7514 = -108*f. Is 42 a factor of f?
False
Let s be ((-145)/(-15) + -10)/((-1)/6). Let x = 3 + -52. Is (-182)/x + s/7 a multiple of 4?
True
Suppose -2*r = 1 + 139. Suppose -o - 34 = -132. Let g = o + r. Does 7 divide g?
True
Let t = 31 + -39. Let f(r) = r**2 + 5*r + 18. Is f(t) a multiple of 8?
False
Let x be (1 - 215)*4/20*5. Let u = -150 - x. Is 16 a factor of u?
True
Let o = 1400 - 964. Is o a multiple of 23?
False
Let h = -1387 - -2422. Does 11 divide h?
False
Suppose 10 = 2*z - z. Let p = z - 8. Suppose c + 36 = p*c. Is c a multiple of 12?
True
Let s be 2/7 - (-26519)/161. Suppose 5*g = s + 315. Is g a multiple of 8?
True
Let o be (-14*2/16)/(1/(-152)). Is 13 a factor of (o/(-35))/(1/(-10))?
False
Suppose 2064 = 8*i - 712. Is i a multiple of 36?
False
Does 22 divide 16/3*7986/88?
True
Let y = 36 - 55. Let i = 2 - y. Is 7 a factor of i?
True
Suppose -473 = -9*m + 931. Is 39 a factor of m?
True
Let a be (-4)/(4 - 0) - -5. Is 24 a factor of (a - (-15)/(-3))*-85?
False
Let d(h) = -855*h - 248. Is d(-4) a multiple of 12?
False
Let n(w) = -w**2 + 10*w + 13. Let b be (-22 - 0)*(-5)/10. Let i be n(b). Suppose 5*y - i*y = 12. Does 2 divide y?
True
Let b = -107 + 109. Suppose 0 = b*w + 6*w - 40. Is w a multiple of 2?
False
Let l = 260 + -253. Is l even?
False
Let s be 4 + -4 + 2 + 2. Suppose -5*k + 11 = 4*n, 3 = -k + 2. Suppose -5*l + 25 = s*r, -n*l