 10*z = 27*z - 4930. Is z a multiple of 52?
False
Let h(j) = -25*j - 2. Let k be h(-6). Let c = 521 - k. Is 39 a factor of c?
False
Let b(o) = o**3 + 5*o**2 - 17*o + 2. Let u be b(-8). Let q = 168 - u. Does 37 divide q?
True
Suppose -6*m - 33*m = -44148. Is 4 a factor of m?
True
Let s(b) = 133*b**2 - 4*b + 5. Does 12 divide s(1)?
False
Let a = -2700 + 4281. Is 17 a factor of a?
True
Suppose -6408 = -5*i - 4*f + 5997, -2*f - 12375 = -5*i. Does 19 divide i?
False
Let o be ((-153)/(-34))/((-6)/(-8)). Does 12 divide (-16)/(-36)*o*36?
True
Let k(r) = -r**3 - 12*r**2 + 16*r + 12. Let a be k(-12). Let u be 2/(-10) - a/25. Let t(v) = 3*v + 8. Is t(u) a multiple of 25?
False
Suppose -4*r + 9 = 5*q - 13, 5*r = q + 13. Let v(l) = -l**2 + 7*l - 6. Let o be v(6). Suppose o = -4*c + 2*i + 186, 0 = r*c - i - 2*i - 132. Does 10 divide c?
False
Suppose 2*p - 3*g = g - 14, 0 = p + 5*g - 21. Let z(v) = v**2 + 2*v - 1. Let b be z(p). Suppose 0*d + b*n = 4*d - 204, -5*n + 225 = 5*d. Is d a multiple of 7?
True
Let f(i) = i**3 + 9*i**2 - 4*i - 9. Let r be f(-8). Let o = 159 - r. Does 13 divide o?
False
Let m(o) = 5*o**3 - 2*o**2 + 2*o + 19. Is 35 a factor of m(4)?
True
Let t be (2/3)/((80/(-36))/(-10)). Suppose 1050 = 3*g + t*g. Is 35 a factor of g?
True
Does 24 divide (3*-200)/(4 - 10/2)?
True
Let s be (20/(-6))/(5/(-45)). Let g = 30 - s. Suppose f - 5 = -g*f. Is 3 a factor of f?
False
Suppose 7 - 11 = -2*h. Let i(n) = 12*n**2 + 3*n + 1 + 10*n**2 + 0 - n**h. Is i(-1) a multiple of 5?
False
Let y(x) = -x**3 - 11*x**2 - 13*x + 5. Let w be y(-10). Suppose -4*z + 268 = -0*z. Let j = z - w. Is 7 a factor of j?
False
Let o be (-7 - -6)*(-28 + -2). Let u = 32 - o. Suppose -4*l + 195 = -a - u*a, 5*a + 36 = l. Is 17 a factor of l?
True
Let s(x) = -9*x - 109. Does 10 divide s(-31)?
True
Suppose -8*g + 10142 = 1094. Is 29 a factor of g?
True
Let d be (-232)/(-16) + 6/(-4). Suppose 0 = -3*z + 6, 4*o = 4*z - 5 + d. Suppose -o*m + 112 = 2*j, -m - 3*j - 2 + 30 = 0. Does 13 divide m?
False
Let r(q) = q - 12. Let z be r(0). Is z/54 - ((-415)/9)/5 a multiple of 3?
True
Let d(p) = -p**3 + 3*p**2 + 4*p - 3. Suppose -3 = h - 5. Is d(h) a multiple of 5?
False
Suppose h + 1 = 7. Let r be (-4)/h*441/(-14). Let n = r - 14. Is n a multiple of 3?
False
Let m = 16 - 14. Suppose -5*p + 15 = 0, 39 = 4*k + 3*p - m*p. Does 3 divide k?
True
Suppose b = 0, -23*p + 5*b = -24*p + 36. Is p a multiple of 9?
True
Suppose -7*n = -16 + 9. Let x = n + 18. Does 3 divide x?
False
Suppose -2*s + 6*s = 284. Let d(u) = 39*u + 338. Let p be d(7). Suppose -p = -6*k - s. Does 18 divide k?
True
Suppose -1119 = -3*u - o, -4*o - 1505 = -4*u - o. Does 7 divide u?
False
Suppose -6280 + 23276 = 28*s. Does 51 divide s?
False
Let o(b) = 8*b**2 - 13*b + 9. Let i be o(8). Suppose 5*s + 8*z - 5*z = i, -4*s + 5*z = -341. Does 21 divide s?
True
Suppose -5*g = -g - 5*a - 320, 5*g + 2*a - 400 = 0. Is 9 a factor of g?
False
Let l(i) be the third derivative of 3*i**4/4 - 2*i**3/3 + i**2. Let k be l(6). Let o = -59 + k. Does 15 divide o?
True
Suppose 5*q = 4*l + 300, -l - 300 = -5*q - 2*l. Is q a multiple of 37?
False
Let n = 512 + -220. Is n a multiple of 6?
False
Let i be (-4)/8*1*-4. Suppose 35 = i*r + 11. Is 4 a factor of r?
True
Let r(d) = -2*d**3 - 4*d + 4 + 3 - 27*d**2 + 21*d**2. Is 5 a factor of r(-4)?
True
Suppose -3*g + 12 + 4 = 4*q, -20 = -5*q + 2*g. Suppose 4*t - q*u - 347 = -7*u, -4*t + u + 359 = 0. Let d = t - 59. Is d a multiple of 15?
True
Let f(r) = 9*r - 3. Let s(w) = -18*w + 5. Let y(a) = 7*f(a) + 4*s(a). Let q be y(-1). Suppose 0 = -5*n + 27 + q. Does 7 divide n?
True
Let g(j) = 51*j. Let k be g(1). Suppose 2*q = m + k, -2*m - 39 = 4*q - 153. Is 3 a factor of q?
True
Let l(t) = -2*t**2 - 2*t - 1. Let a be l(-1). Let y(s) be the second derivative of 11*s**4/6 - s**3/6 - s**2 - 20*s. Is y(a) a multiple of 21?
True
Let g(k) be the second derivative of 0 + 4*k - k**2 + 1/3*k**3. Is g(3) a multiple of 4?
True
Let v = 517 - 309. Suppose h - 72 = -3*b, -3*h + v = -2*b + 7*b. Is h a multiple of 22?
True
Suppose -2*s = -3 + 5. Let j be (-2)/15 + 292/(-60). Is 4 a factor of ((-28)/(-10))/(s/j)?
False
Let g(y) = -y**2 - 11*y - 3. Let q be g(-7). Suppose -4*u + 119 = -q. Is 6 a factor of u?
True
Suppose 86*f = 74*f + 31248. Does 31 divide f?
True
Let i(h) = -h**3 - 6*h**2 + 7*h + 6. Let z be i(-7). Let g(l) = l - 3. Let v be g(z). Let n(u) = 15*u + 1. Is 12 a factor of n(v)?
False
Suppose -25 = 4*c + c. Does 9 divide (-235)/c - 2 - 0?
True
Suppose 0 = 117*a - 110*a - 5586. Does 7 divide a?
True
Let c = 37 - 24. Suppose -5*l - c = -38. Suppose 4*d + 20 = l*d. Does 13 divide d?
False
Let x(s) = -s**2 - 3*s + 5. Let c be x(-3). Let n = 18 - c. Is 8 a factor of n?
False
Let h(n) = -n**3 - 2*n**2 + 3*n - 12. Suppose 5*w + 4 = -26. Does 15 divide h(w)?
False
Let y(t) = -7*t + 9*t**2 - 2*t - t**2 - t**2. Let n = -115 + 111. Is y(n) a multiple of 33?
False
Let x = -34 + 22. Let y = 16 + x. Suppose -y*p - 144 = -9*p - 2*c, p - 18 = 5*c. Is 6 a factor of p?
False
Suppose -2000 = -33*u + 8*u. Is u a multiple of 10?
True
Suppose -5 = -2*d - g, -d - 3*d = -g - 19. Suppose 62 = d*b - 78. Is b a multiple of 7?
True
Let v(s) = 70*s + 27. Is v(11) a multiple of 8?
False
Suppose t - 7 = 2. Suppose -t - 11 = -4*w. Suppose -w = -3*s + 7. Is 2 a factor of s?
True
Let q be (8/6 + -1)/(4/(-36)). Does 9 divide -5 - (3 + q) - -77?
True
Let c = -4 + 1. Is 27 a factor of (-4)/((c/10)/3)?
False
Let p = -8 - 4. Let m = p - -11. Let x(l) = -4*l**3 + l**2 - 1. Is 2 a factor of x(m)?
True
Let y(u) = 2*u**2 - 7*u - 39. Let t(i) = -i**2 + 3*i + 19. Let x(l) = -9*t(l) - 4*y(l). Is 9 a factor of x(6)?
True
Let z(l) be the second derivative of l**3/3 + l**2/2 + 5*l. Let d be z(2). Suppose -d*w + 5*h + 74 + 56 = 0, -h - 146 = -5*w. Is 6 a factor of w?
True
Suppose -2*l = 3 - 19. Suppose l = a + a. Is 3 a factor of a?
False
Does 5 divide (-4 - (-324)/30)*10*2?
False
Let x be 42/(-2) + 2/2. Let w = x + 46. Does 26 divide w?
True
Let l = -10 - -5. Let s be l/((3 - 4)*1). Suppose 4*c + 18 = -3*d + s*d, -9 = -d - 2*c. Is d a multiple of 3?
True
Suppose 9*j - j = 32. Suppose -2*c = -4*c, -5*c = j*r - 92. Does 9 divide r?
False
Let w(n) = -n**3 + 5*n**2 + 5*n - 6. Let t be w(6). Let o = 42 + t. Is 5 a factor of o?
True
Suppose 0*o - 12 = 6*o. Is o/(0 + -2) - -51 a multiple of 26?
True
Let s = -23 - -21. Let z(q) = 14*q**2 - 2*q - 1. Does 26 divide z(s)?
False
Suppose 9*p = 1546 + 7292. Is p a multiple of 9?
False
Is 8 a factor of 986/4 - -3*(-3)/(-6)?
True
Let w be -2 + 2 + (-3)/(-1). Suppose -5*v = -w*v - 4. Suppose -24 = -v*u + 54. Is 13 a factor of u?
True
Is 17 a factor of (12 - -370) + (-16)/2?
True
Let b(c) = -212*c**3 + 17*c + 35. Is 6 a factor of b(-2)?
False
Let m be 0/((3/(-3))/1). Suppose 0 = -2*g + f - 1 - 1, -2*g - 4*f - 12 = m. Does 19 divide ((-38)/2)/(g - -1)?
True
Suppose 5*h = 4*k - 1, -5*h = 4*k - 45 + 14. Let x be 10/(-4)*3570/(-75). Suppose 2*g + k = -2, 3*g = -2*v + x. Is 16 a factor of v?
True
Let m be (-4)/10 + (-24)/(-10). Let u(o) be the first derivative of 5*o**2 - 3*o - 44. Is u(m) a multiple of 13?
False
Suppose 41*a = -16*a + 19152. Is 42 a factor of a?
True
Let b(t) = -t**2 + 31*t - 61. Is b(24) a multiple of 30?
False
Let j(u) = u**2 + 7*u - 43. Let f = -67 - -48. Is 44 a factor of j(f)?
False
Suppose 14*b - 5148 = -25*b. Is b a multiple of 11?
True
Suppose -2*j - j + 582 = 0. Let o = j + -88. Is 23 a factor of o?
False
Let x(r) = 2*r + 4 + 1 - 1. Let w be x(-3). Let t(k) = k**3 + 2*k**2 - 3*k - 3. Is t(w) a multiple of 3?
True
Let x(g) = -7*g + 10. Does 38 divide x(-4)?
True
Let k be 54/7 - 4/(-14). Let c = 29 - k. Is 18 a factor of c?
False
Let l = 23 + -21. Is l - (118/(-2) - 1) a multiple of 15?
False
Suppose -15 = -5*q + 3*n, 4*n = 5*q - 0*n - 10. Suppose -167 - 157 = -q*t. Is 21 a factor of t?
False
Let w(c) = -32*c + 76. Let q(p) = 21*p - 51. Let z(m) = -7*q(m) - 5*w(m). Is 30 a factor of z(11)?
True
Let v(g) = -148*g - 224. Is 83 a factor of v(-6)?
True
Suppose 128 = 5*a - 212. Let k = a - 102. Let s = 7 - k. Does 15 divide s?
False
Suppose 18*d = 22*d - 28. Suppose -d*c + 6*c = -51. Is c a multiple of 10?
False
Let b(i) = -i**2 - 11*i + 14. Let r be b(-12). Suppose r*h - 125 = -3*h. Is 12 a factor of h?
False
Suppose 8 + 0