factor of v?
True
Let g(b) = b**2 + 3*b - 3. Let n(f) = -3*f**2 - 10*f + 8. Let v(w) = 17*g(w) + 6*n(w). Let j be v(-7). Suppose -4*p + j*p = 532. Is 19 a factor of p?
True
Let f(s) = s**3 + 69*s**2 - 65*s + 595. Is 81 a factor of f(-68)?
True
Suppose -6695 = -5*m - 4*w, 0 = -20*w + 24*w - 20. Does 11 divide m?
False
Let t be ((-18)/(-27))/(4/24). Suppose 0 = -4*p - t*r + 48, p = 3*p - 3*r - 44. Is p a multiple of 11?
False
Suppose 4*d + 122 + 1192 = 2*m, -3*m + 5*d + 1975 = 0. Let g = m - 305. Does 20 divide g?
True
Let y(r) = -r**3 + 10*r**2 + 11*r - 6. Let q be y(10). Suppose -204 = 98*o - q*o. Is o a multiple of 2?
True
Let y(o) = -o**3 - 11*o**2 + 14*o + 29. Let x be y(-12). Suppose -x*n = -5*g + 505, 3*g + 6*n - 279 = n. Does 7 divide g?
True
Suppose 6 = 2*h + 2*b, 2*h - 16 = -3*h - 4*b. Suppose h*u - 12 = 2*i, -5*u - i = -5 - 3. Suppose 0 = -4*d - r - 0*r + 413, 112 = d + u*r. Does 26 divide d?
False
Suppose 110*i - 63*i - 590976 = -181*i. Does 4 divide i?
True
Let c = 7 - 28. Let m = 104 + c. Let z = -50 + m. Is z a multiple of 11?
True
Let r(p) = p**2 + 6*p + 8. Let k be r(-6). Suppose 56*b = 52*b + 284. Suppose k*o + b - 519 = 0. Is o a multiple of 27?
False
Let f = -10595 - -19580. Is f a multiple of 5?
True
Let p(u) = 14*u**2 + 34*u - 192. Does 81 divide p(19)?
True
Suppose t - 1078 = -2*a, a - 7*t = -12*t + 557. Does 3 divide a?
True
Let n(u) = u**3 + 6*u**2 - 17*u - 5. Let g be n(-8). Suppose -505 = -2*r - g*a, a - 503 = -r - r. Does 7 divide r?
False
Let g(d) = -d**3 - 3*d**2 - 5*d - 4. Let b be g(-2). Let i(l) = 48*l**2 - 6*l + 9. Does 63 divide i(b)?
True
Suppose 0 = 5*s + 5*j + 5200, -s - 517 = -5*j + 535. Let n = 1882 + s. Is 7 a factor of n?
True
Let a(k) = k**2 - 6*k + 32. Let m(r) = r**2 - 6*r - 19. Let n be m(8). Let v = n + 8. Is 27 a factor of a(v)?
True
Let j(g) be the first derivative of -31*g**2/2 + 34*g + 43. Is j(-12) a multiple of 12?
False
Does 3 divide -20*234/(-360) + 1259/1?
True
Is 11 a factor of (-4776)/42*-22 + 8/28?
False
Suppose -176331 = -89*l + 194532. Is l a multiple of 13?
False
Let x be (-54)/(-12) - (-2)/(-4). Suppose 0 = 4*k + o - 524, 2*k - 3*o = x*k - 252. Is k a multiple of 39?
False
Let a = -1151 - -2159. Let x(h) = -h**3 + 16*h**2 - 14*h + 12. Let n be x(15). Is 10 a factor of a/n + 3/(-9)?
False
Suppose 10*f = -3916 + 4866. Is 8 a factor of f?
False
Let t be -1*13/((-13)/(-6)). Let h be ((-16)/t)/(184/(-48) + 4). Does 4 divide (-4 + 10 + -5)/(2/h)?
True
Let q(s) = -2*s**3 + 136*s**2 - 161*s - 92. Does 21 divide q(66)?
False
Let l(b) = b + 7. Let r be l(-3). Suppose s + 2*u + 12 = 0, 8*s - 3*u - 8 = 7*s. Is 18 a factor of (-314)/(-4)*r/(-8)*s?
False
Let d be (2/(-4))/(6/(-108)). Is 14 a factor of (654/4)/(((-108)/(-16))/d)?
False
Let j(x) = -5*x - 3. Let l = 33 - 35. Let n be 0 - (l + (-3 - -9)). Does 17 divide j(n)?
True
Let s be (-6)/(-2) + (239 - (3 + -7)). Suppose s = 2*p + i - 136, -5*p = 2*i - 957. Suppose 5*v - 523 = -0*v + j, 5*j - p = -2*v. Is 26 a factor of v?
True
Does 11 divide (2455/40*88)/(1/(-2)*-1)?
True
Suppose -7*x - 43552 = -23*x - 0*x. Does 17 divide x?
False
Does 122 divide -7*(-167792)/112 - 11?
False
Suppose -2963 + 907 = 8*f. Let v = 377 + f. Does 8 divide 4/(4/v*5)?
True
Suppose -57*y + 58*y + 4*h = 19253, 2*h = y - 19259. Is 131 a factor of y?
True
Let y(v) = -v**2 - 19*v + 6. Let m be y(-19). Suppose -281 = 4*b - 3*c, -m*c - 263 = 4*b - 3*c. Does 6 divide 1 - b - (7 + -4)?
True
Suppose -71482 = -5*d - 3*j, 34*d - 37*d - 2*j + 42888 = 0. Is d a multiple of 50?
True
Suppose 0 = 20*i - 25559 - 10321. Does 5 divide (i/24)/13*5*4?
True
Suppose 0 = -4*m + 2*n - 70, m = -8*n + 3*n - 1. Is (m/(-10))/((-2)/(-130)) a multiple of 31?
False
Let i = -564 + 321. Let s = 319 + i. Does 12 divide s?
False
Let a = -66 + 230. Let f = -129 + a. Is 13 a factor of f?
False
Suppose 2*y = 4*p + 240, 12 = -2*p - 4*y - 98. Let j = p + 134. Suppose -j = -w - 0*w. Is w a multiple of 25?
True
Suppose 7*u - 693 = -154. Suppose -1918 = 70*x - u*x. Does 59 divide x?
False
Suppose -3*y - 2*j + 1 = 11, -4*j - 12 = 2*y. Is 9 a factor of (y + 6)*9/4*29?
True
Let c(a) = -a**2 + 36*a - 66. Let w be c(34). Let h(v) = 4*v - 6. Let g be h(6). Suppose w*s = g + 282. Does 31 divide s?
False
Suppose 13*c + 104510 = 20*c. Is c a multiple of 91?
False
Let k be (-4)/1 + (-18)/(-3). Suppose -34 = -5*x + 3*r, 0 = x - 3*r - k - 12. Suppose -4*u + x*u = 94. Does 21 divide u?
False
Let w(n) be the third derivative of n**6/90 + n**5/15 - 5*n**4/6 + 5*n**3/6 - 4*n**2. Let f(i) be the first derivative of w(i). Is f(5) a multiple of 50?
False
Is 2/(-11) - ((-1884204)/22 - (-72)/(-132)) a multiple of 22?
True
Let p be -3 + 0 - (4 - -36)/5. Let g = 25 + p. Let w(s) = -s + 25. Is 3 a factor of w(g)?
False
Let t = -176 - -434. Suppose p - 481 = -3*z + z, t = z - 3*p. Does 8 divide z?
False
Suppose 3*p = 4*z - 636, -p = -z + p + 154. Is z a multiple of 3?
True
Suppose -67*b = -66*b - 6. Let q = 30 - -250. Suppose 0 = -b*u + q - 16. Does 17 divide u?
False
Suppose 21*z - 4 = 20*z. Suppose z*n = 10*n + 120. Let d(o) = -5*o - 44. Does 19 divide d(n)?
False
Let i(j) = j**3 - 5*j**2 + 2*j - 8. Let c be i(7). Suppose 2*g = -0*g + c. Let a = 87 - g. Is a a multiple of 10?
False
Let s = 16 + -20. Let v(p) = 28*p**2 + 9*p + 6. Does 19 divide v(s)?
True
Suppose -5*r + 341 = 266. Suppose 2*n - r*n = -494. Is n a multiple of 23?
False
Let q = 623 + -271. Let w = 416 + q. Is w a multiple of 16?
True
Let i = 53314 - 31153. Does 89 divide i?
True
Let y be -1*(2 - (23 - -4)). Suppose -y = -6*c + c. Suppose 0 = -u + d + 111, -4*d = 2*u - c*u + 333. Does 37 divide u?
True
Suppose -3*k = -2*o - 10167, 5*k + 3*o - 16940 = 8*o. Suppose 0 = -26*w + k + 6489. Does 20 divide w?
True
Suppose 0 = -6*h + 14 + 28. Suppose -r = h*r - 40. Is (-4 - -170)/(r + -3) a multiple of 24?
False
Let u(q) be the second derivative of q**5/30 + q**4/2 + 5*q**3/6 + q**2 - 4*q. Let p(r) be the first derivative of u(r). Is p(-9) a multiple of 12?
False
Suppose -4*p - 3*j - 354 + 5527 = 0, 5*j + 5 = 0. Does 5 divide p?
False
Suppose -28*l + 670492 = -142460. Does 36 divide l?
False
Let w be 10*2/8*(-293468)/(-470). Suppose -199 = -11*d + w. Is d a multiple of 32?
True
Let o(w) = -w**2 + 37*w + 7397. Does 2 divide o(103)?
False
Let d(j) = 7*j**2 + 11*j - 19. Let q = 152 + -146. Is 38 a factor of d(q)?
False
Let u be 391 - 6*(-6)/(-72)*10. Let c = 509 - u. Does 18 divide c?
False
Let t(z) = -17*z**2 + 6. Let o = 51 - 49. Let n be t(o). Let y = 76 + n. Does 3 divide y?
False
Suppose 2*m = 2418 - 1660. Suppose 3*a + 0*s = -s + m, -2*a - 5*s + 257 = 0. Is a a multiple of 21?
True
Suppose -126 = -5*b + 3*y, 3*y - 90 = 4*b - 8*b. Is b/36 - (-620)/6 a multiple of 13?
True
Let o = 283 - 292. Let u(q) = 5*q**2 + 9*q + 27. Is 27 a factor of u(o)?
True
Let z(r) = 12*r + 10 + 9 + 9. Let f be z(-5). Let x = f + 72. Is x a multiple of 10?
True
Suppose -5*t + 5191 = z - 2108, 0 = 13*z + 13. Does 10 divide t?
True
Let b = -4173 - -8467. Is 113 a factor of b?
True
Let c(t) = 5*t**2 - 3*t. Let n = 58 + -30. Suppose n = 2*i + 4*x, i - 4*x + 3*x + 1 = 0. Is 34 a factor of c(i)?
True
Let d be (-6)/1*3/6. Is 306 + (-4)/(-4) + d a multiple of 19?
True
Let o be (-786)/8*(-22 - -18). Suppose -6*g - o = -1863. Does 5 divide g?
True
Let i(x) = 125*x + 2612. Is 3 a factor of i(-18)?
False
Does 54 divide (75/(-125))/(-3 - 4*(-24854)/33140)?
False
Suppose 34*s + 30 = 44*s. Suppose -7 = -5*j - o - s*o, -3*j - o + 7 = 0. Suppose -j*q = 2*x - 130, -53 + 7 = -q - 2*x. Does 14 divide q?
True
Let g = -34 - -34. Suppose 3*d + 127 - 4 = g. Is 11/(-22) - d/2 a multiple of 10?
True
Let q(o) = -252*o - 42. Let a be q(-2). Let i = a + -296. Is i a multiple of 24?
False
Suppose 3*r + 4 + 8 = 0, 20 = i - 4*r. Suppose -5*g + 10 = 0, -i*g - 9427 = 42*m - 47*m. Is m a multiple of 37?
True
Let f(c) = -c**2 + 10*c + 43. Let m be f(13). Suppose -181 + 857 = m*l. Let x = 394 - l. Is x a multiple of 25?
True
Let r = -101 + 106. Does 4 divide (2/4)/(r/((-2430)/(-3)))?
False
Let v be (9/(-4))/((-12)/48). Let b(j) = 13*j + 114. Is 9 a factor of b(v)?
False
Suppose a - 200*c = -195*c + 2056, -3*a + 6130 = 4*c. Does 19 divide a?
False
Let c(f) = -10*f**3 + f - 1. Let y be c(-1). Suppose 2*l = s + 95, y*l - 3*l = -4*s + 205.