Is 3 a factor of g?
False
Let b(v) = -57*v**3 + 2*v**2 - 1. Let y be b(-1). Suppose 4*k = 3*k + y. Is k a multiple of 18?
False
Let p(q) = 30*q**2 + 13*q - 17. Does 13 divide p(-10)?
False
Let l = 1723 - 248. Does 25 divide l?
True
Let g = 79 + -137. Let m = g - -142. Is m a multiple of 14?
True
Let d(c) be the third derivative of 11*c**4/24 + c**3 - 5*c**2. Let g be d(-4). Let x = 90 + g. Does 13 divide x?
True
Suppose 2 + 3 = -i, -4*w - i + 15 = 0. Suppose -5*t - 7 = -3*l, w*l = -2*t + 37 - 15. Let o = 6 - l. Is o a multiple of 2?
True
Suppose g = -13 + 15. Is 28 a factor of ((-64)/(-40))/(g/(-280)*-1)?
True
Suppose w = l + 22, 2*l = 5*w + 5*l - 70. Suppose 0 = -13*p + w*p + 48. Is 21 a factor of (-1124)/(-14) - p/(-42)?
False
Let t = -20 + 31. Suppose 3*w - 4*v + 0*v - 70 = 0, 3*w - 2*v = 74. Let i = w + t. Does 19 divide i?
False
Suppose -4*q = -3*u + 1429, 2*u - 3*u + 475 = -2*q. Let k = u - 310. Does 34 divide k?
False
Let t(z) = -7*z**2 - z + 7. Let c(v) = 4*v**2 - 3. Let j(o) = 5*c(o) + 2*t(o). Let i = -12 + 11. Is 7 a factor of j(i)?
True
Suppose 0 = g + 2*v + 267, -3*g + 5*v - 371 = 441. Let h = g - -433. Suppose c = -4*t + h, 164 = 3*t - 5*c + 18. Is 16 a factor of t?
False
Let h(m) be the second derivative of m**4/12 + m**3 - 2*m**2 + 60*m. Suppose -u = -3*u - 16. Does 6 divide h(u)?
True
Let k(o) = -2*o + 3. Let u be k(-1). Suppose 2*y + y - 152 = -2*j, -u*j - 25 = 0. Is y a multiple of 4?
False
Let z = -19 - -21. Does 5 divide (7/z - 4)*-20?
True
Let a(z) = z + 265. Suppose 3 = 4*s + 3. Is a(s) a multiple of 27?
False
Let t(k) = -6*k - 16. Let g be t(-14). Suppose -g = -2*q - 0*q. Is 6 a factor of q?
False
Let g = 15 + -17. Let i be -10*3/(-6) + g. Suppose -i*k + 24 = m - 0*m, 4*k = 0. Does 12 divide m?
True
Let d be (12/(-8))/((-1)/54). Let j = -178 + d. Let b = -55 - j. Is b a multiple of 7?
True
Suppose -26 = -c + 7. Suppose 3*b = 119 + 37. Let o = b - c. Does 10 divide o?
False
Let a(l) = -6*l + 8 - 4 + 7*l. Let r be a(-11). Is r/(-14) - 121/(-2) a multiple of 24?
False
Let b(y) = 28*y + 19. Let o be b(-10). Let c = o + 511. Is 44 a factor of c?
False
Let w be ((-2)/(-3))/((-1)/(-294)). Suppose 116*y + 24 = 119*y. Suppose -y*o - w = -10*o. Is o a multiple of 28?
False
Let p(a) = -a + 8. Let s be p(9). Let q be (-3)/(6/4 + s). Is 4/q - 148/(-6) a multiple of 17?
False
Suppose 3*r - 7 = 77. Suppose -7 = -5*z + r. Suppose 2*j + 235 = z*j. Does 7 divide j?
False
Let a(z) = 13*z**3 + 2*z**2 + 10*z - 11. Is 5 a factor of a(2)?
False
Let w(v) = -47*v + 167. Does 14 divide w(-11)?
False
Suppose 2*r + 5 = -p, -p - 2*p + 6 = -r. Let m(n) = -16*n**2 + n. Let k be m(p). Is ((-168)/k)/(4/10) a multiple of 4?
True
Suppose 2*p - 12 = -5*d + 4, 0 = 4*p - d - 10. Let i be (31/p)/((-4)/12). Let g = 33 + i. Is 2 a factor of g?
True
Let f = 29 + 7. Let j be -9*8/f*-6. Suppose 3*n - j = n. Does 3 divide n?
True
Let c be (450/(-125))/(6/(-1240)). Suppose h + 5*h = c. Is 35 a factor of h?
False
Suppose 2*p + 1213 = 5*y + 26, 4*y + 4*p - 972 = 0. Is y a multiple of 74?
False
Let p = 224 - -486. Is 13 a factor of p?
False
Let u(o) = o**2 + 3*o + 13. Let x be u(-7). Suppose -60 = -2*w - 2*r, 4*w + r - 170 + x = 0. Is 11 a factor of w?
True
Let v(r) = -2*r**2 - 60*r + 92. Does 16 divide v(-24)?
False
Let v(l) be the second derivative of -l**3/3 + 2*l**2 + 3*l. Let r be v(-3). Is 24/r*40/16 a multiple of 6?
True
Suppose -4*g + 737 = -3*m, 36*m = 5*g + 31*m - 925. Is 14 a factor of g?
True
Suppose -4*l = -3*j + 562, 0 = 2*j - 7*l + 8*l - 360. Does 7 divide j?
True
Let t(b) = -b. Let r(o) = -33*o + 2. Let s(v) = 66*v - 5. Let w(y) = -7*r(y) - 3*s(y). Let g(d) = -6*t(d) - w(d). Is 26 a factor of g(-1)?
True
Let r be 588/30 - 2/(-5). Suppose r = 2*z + 4*o, -18 = -5*o + 7. Suppose 0*u - u + 11 = z. Is 3 a factor of u?
False
Let y be (1 + -15)*(3/2 - 2). Let v = 33 + y. Is 8 a factor of v?
True
Let q(i) = -i**3 + 8*i**2 - 7*i + 5. Let o be q(7). Suppose 5*b = -o + 40. Let m(n) = n**2 - 6*n - 1. Does 2 divide m(b)?
True
Let i = 12 - 15. Suppose 0*h + 2*h - 4*l = 24, 3*h - 2*l = 16. Does 13 divide (h/i)/((-28)/714)?
False
Let i = 101 - 74. Suppose -o + i = -92. Does 12 divide o?
False
Suppose -4*g = -g + 399. Let b = g - -201. Is 17 a factor of b?
True
Suppose 93*w - 3136 = 89*w. Is w a multiple of 28?
True
Suppose -65 = 5*j - 2*v, -13 = j - 5*v - 0*v. Let f = 15 + j. Suppose f*o = 56 + 2. Does 9 divide o?
False
Suppose -3*k - 3*b + 331 = 2*k, -2*b = -4. Suppose 4*x - k = h, x - h + 55 = 5*x. Is x a multiple of 15?
True
Suppose -2*i - 5*v + 263 = 0, 0 = 2*i - 4*v + 8*v - 260. Is 4 a factor of i?
True
Let x(y) = 11*y - 2. Let z be (1 + -1)*(-1)/(-3). Suppose -4*t - 2 = 4*g - 10, g - 5*t - 2 = z. Does 5 divide x(g)?
True
Let k(l) = 2*l**2 - 2*l. Suppose 3*u + 15 = -0*u. Let h be k(u). Suppose 0*v - h = -3*v. Does 10 divide v?
True
Let y(k) = 4*k**3 - 4*k**2 + 19*k - 34. Does 80 divide y(6)?
True
Let r = 9 - 13. Is 15 a factor of 34/1 + 0 + r?
True
Suppose -975 + 3587 = 2*u. Is 27 a factor of u?
False
Let o(t) = 3*t - 1. Let b be 15/(-20) - (-11)/4. Let s be o(b). Suppose 5*r + 3*a = -0*a + 161, s*r + 5*a = 155. Is r a multiple of 17?
True
Let k(m) = -m**3 - 26*m**2 + 5*m + 47. Is k(-27) a multiple of 4?
False
Suppose 0 = -m - 3*a + 2109, -9332 = -4*m + 3*a - 941. Is 25 a factor of m?
True
Suppose -4*n + 3*a - 55 = 0, 3*n = 2*n - 3*a - 10. Let l = 155 - n. Is 29 a factor of l?
False
Let k(v) = -v**2 - 9*v - 22. Let p be k(-10). Let w = 141 + p. Is 37 a factor of w?
False
Let l(i) = -309*i + 32. Does 31 divide l(-1)?
True
Let y be (5/(-6))/(7/(-42)). Is 34 a factor of 509/y - 2*(-5)/50?
True
Suppose -6*p + 748 = -92. Suppose 3*d - 2*d = 0. Suppose d*w + p = 4*w. Is 16 a factor of w?
False
Let k be (-9)/(2/4*-2). Let z be 4/(-3)*k/6. Does 21 divide (-4)/8*(z + -40)?
True
Let h(c) = -6*c**2 - 3. Let p(l) = 7*l**2 + 3. Let g(j) = -6*h(j) - 5*p(j). Is 7 a factor of g(4)?
False
Let m be 68 + ((-8)/24 - 10/6). Suppose -8*g = -14*g + m. Is 11 a factor of g?
True
Let f(l) = 2*l + 12. Let x be f(-8). Let b be 2/(-2 - (x + 0)). Does 11 divide (b + 0 - 1) + 30?
False
Let a(b) = 3*b + 13. Let j be a(-6). Let o = -45 + 78. Let f = o + j. Is f a multiple of 14?
True
Let x = 84 - 48. Suppose x = 4*l - 60. Suppose -l - 151 = -5*q. Is q a multiple of 12?
False
Let k = -167 - -59. Let w = k + 210. Let b = w + -72. Is 6 a factor of b?
True
Suppose -1181 + 15741 = 26*s. Is 16 a factor of s?
True
Let x(d) = 3*d**2 + 18*d + 19. Let o(z) = -7*z**3 - z**2 - 4*z + 4. Let i be o(1). Is 6 a factor of x(i)?
False
Let s(r) = -25*r + 21. Is 17 a factor of s(-8)?
True
Let k = 460 + -210. Is k a multiple of 16?
False
Let n = 82 - -47. Does 4 divide n?
False
Let b = 23 + -21. Suppose 0 = -2*g + b + 4. Suppose -2*z + 4*i + 135 = g*i, 0 = 2*z + i - 137. Is z a multiple of 16?
False
Suppose 4*p = -p. Suppose -4*l + 3*l + 25 = p. Is 5 a factor of l?
True
Suppose -402 = -n - 5*r, -3*n - 4*r + 823 + 383 = 0. Is n a multiple of 6?
True
Let g(z) = -z**2 - 13*z + 1. Let q be g(-12). Let s(h) = 6*h + 3. Does 14 divide s(q)?
False
Suppose -78*p = -84*p + 3324. Is 35 a factor of p?
False
Let c = -23 - 84. Let q = -55 - c. Is 8 a factor of q?
False
Let u(p) = -p**2 - 13*p - 5. Let o be (2/(-5))/(4/60). Is 23 a factor of u(o)?
False
Let s be (-2)/(1/(4 - 2)). Let i be -3*1 - (1 + -1). Is s*((-126)/(-4))/i a multiple of 14?
True
Suppose 0 = -2*t + 45 + 17. Let i = 20 - 36. Let b = i + t. Is b a multiple of 5?
True
Let f(c) = -29*c + 10. Let y(p) = 15*p - 5. Let w(j) = -6*f(j) - 10*y(j). Let q be w(8). Suppose 4*h - l - 221 = 0, -3*h + q = -5*l + l. Does 23 divide h?
False
Suppose 2*b - n + 1756 = 6*b, 2*n = -2*b + 872. Is b a multiple of 40?
True
Let f(y) = y**2 - 12*y + 7. Let b be f(13). Let a = 29 - b. Is 19 + -21 + (a - 1) even?
True
Let u = -33 - -40. Let l = u + 11. Is l a multiple of 6?
True
Let x(s) be the first derivative of -s**4/4 + 4*s**3/3 + 5*s**2/2 - 5*s + 33. Let f = 10 - 6. Is x(f) a multiple of 9?
False
Let l be -1 + 12/16 + (-1)/(-4). Suppose 3*o + 4*f - 94 = l, -3*f - f = 4*o - 120. Is o a multiple of 13?
True
Let q(n) = -10*n - 2. Let s be q(-2). Is -3 - (-2 - s)/2 a multiple of 2?
False
Let u be 2*3/(-6) + 7. Is ((-56)/u)/((-22)/33) a multiple of 7?
True
Suppose 4 = 2*t, 5*t = -0*s - 2