factor of j(-2)?
True
Let a(y) = -y**3 + 49*y**2 - 79*y - 30. Is a(46) a multiple of 122?
True
Let k(c) = -47*c - 34. Let q be -4 + (-8)/(-2 - 2). Does 10 divide k(q)?
True
Suppose -41106 = -4*m + 16*p + 123750, 5*m + 5*p - 205995 = 0. Does 218 divide m?
True
Let o = -24 - -28. Suppose 3*g = -3*f + 57, 3*f - o*g + 52 = 6*f. Let d = 122 + f. Is 30 a factor of d?
False
Suppose 17*h + 2*s = 14*h + 674, 5*h = -5*s + 1125. Let t = 304 - h. Does 8 divide t?
True
Let g(t) = t**2 + 2*t. Let i(d) = 3*d - 1. Let k(n) = 2*g(n) - 3*i(n). Let p be k(5). Suppose -3*b + p = -5*s, -4*s = 4 + 4. Is b even?
True
Let i = -24 - -74. Let d = i + -43. Suppose -d*r + 350 = -2*r. Does 10 divide r?
True
Let z(v) = 8*v - 2. Let j be z(3). Suppose 33*q = -j + 5863. Does 4 divide q?
False
Let m(r) = -r**3 + 27*r**2 - 48*r + 20. Let f be m(25). Let v = f - -389. Is v a multiple of 27?
True
Let u(d) = 452*d**3 + d**2 - 1. Suppose 28*m - 22*m = 6. Is u(m) a multiple of 35?
False
Suppose -3*f - 3 = -9. Let o be (-5)/10*f + 351. Suppose 12*z - 19*z + o = 0. Does 10 divide z?
True
Let d = 26635 + -1137. Is 122 a factor of d?
True
Let h be (-4)/6*-3*770/(-20). Let t = h + 553. Is 28 a factor of t?
True
Let h(r) = r**3 + 58*r**2 - 152*r - 352. Does 157 divide h(-60)?
False
Let v(w) = 5*w**2 + 22*w - 49. Let a(u) = -u**2 + u + 1. Let s(n) = 2*n**2 - 1. Let k(t) = a(t) + s(t). Let y(l) = -4*k(l) + v(l). Does 7 divide y(-21)?
True
Let o = 17 + -8. Let b = o + 1. Suppose -7*d - 234 = -b*d. Is d a multiple of 13?
True
Let h(f) = 2539*f - 1493. Does 54 divide h(13)?
False
Suppose 37*q - 40*q + 4*o + 28139 = 0, -3*q - 5*o = -28094. Is q a multiple of 13?
True
Let b(d) = -28*d + 131. Suppose 0 = 2*h - 14 + 26. Is 43 a factor of b(h)?
False
Let x(a) = 13*a + 2. Let g(v) = 12*v + 2. Let b(o) = 5*g(o) - 4*x(o). Let i(c) = -60*c - 58. Let r be i(-1). Is b(r) a multiple of 5?
False
Suppose -132*m = 264*m - 6448464. Does 177 divide m?
True
Let w = 793 - -5108. Does 23 divide w?
False
Let z = 269 + -404. Let r = -87 - z. Is r a multiple of 12?
True
Let n(q) = 18 - 14*q + 10 - 60. Is n(-8) a multiple of 10?
True
Let c(q) = -4*q - 4. Let z be c(-2). Let b(v) = -z - 10*v - 4*v**2 + 8*v + 11*v**2 - 1. Is 16 a factor of b(-3)?
True
Let q(f) = -f**2 + 130. Suppose p + 0*p = -4*g + 8, 5*g = 4*p - 11. Suppose 4*j - 2 - 2 = -p*c, 2*j - 2 = c. Is 13 a factor of q(c)?
True
Let d(r) = -r**3 + 594*r**2 + 7412. Does 17 divide d(0)?
True
Suppose -2*h + 2*w + 12282 = 0, 2*w = -3*h - 2*w + 18388. Is 13 a factor of h?
True
Let b(t) = 8*t**2 + 15*t + 3. Let q be b(-6). Let u = -153 + q. Is u a multiple of 27?
False
Suppose 3*l + 117 = 93. Let r(u) = -42*u - 6. Does 11 divide r(l)?
True
Suppose -3*d - 864 = -3183. Let o = 1101 - d. Is o a multiple of 41?
True
Let f be (-1)/3*3*1 - -73. Suppose -f + 296 = k. Is 32 a factor of k?
True
Let l = -32448 + 64320. Does 48 divide l?
True
Is 35 a factor of (135810/(-480)*(-12)/(-9))/(13/(-988))?
False
Suppose -q - 3*z + 11 = 0, 0 - 3 = -z. Suppose -4*x - 129 = 5*b - 482, -q*b + x = -136. Is 8 a factor of b?
False
Suppose 13997 = -2*l + 7*l - y, -2*l - y + 5603 = 0. Is 7 a factor of l?
True
Let k(i) = i**3 - 7*i**2 - 7*i + 20. Suppose 2*h + 2*b - 5 = h, -5*h + 2*b = -61. Let a be k(h). Suppose 13*s = 6*s + a. Is 15 a factor of s?
False
Suppose 11*v = -0*v + 55. Suppose 0*t + 3*t = 3*q - 3, -4*t + 41 = v*q. Is (-2)/15*-3 + 398/q a multiple of 19?
False
Let g(l) = 7*l - 1. Let n be 301/35 - 2/(-5). Let i be g(n). Suppose i = -z + 2*z. Is 8 a factor of z?
False
Let x = -64 + 64. Is 24 a factor of 48 - (0 + (-5)/10)*x?
True
Suppose -182*o + 167*o = -256650. Is 27 a factor of o?
False
Suppose 3*x + 3*p + 6250 - 30709 = 0, 2*x - 16285 = 5*p. Suppose -24421 - x = -33*j. Is 77 a factor of j?
False
Suppose -5*g - 4*a = -13645, -30*g + 2729 = -29*g - 2*a. Is g a multiple of 4?
False
Suppose -3*r = 5*p - 110, -3*p - 88 = -2*r + p. Let k = 254 + r. Is 21 a factor of k?
True
Suppose -4*s - p = -5*p - 16, 5*p = 3*s - 20. Suppose s = 37*c - 28*c - 3654. Does 17 divide c?
False
Let z = -15995 + 25745. Is 207 a factor of z?
False
Let i(s) = -35*s**3 - s - 9*s**2 - 1606 + 1621 + 2*s. Is 73 a factor of i(-3)?
True
Let h be 14367/7 + (-20)/(-35). Suppose 4*v - h = -5*z, 3*z - 5*v + 351 = 1568. Is z a multiple of 46?
False
Suppose 3*i + 2*d - 42 = 0, 4*i - i + 3*d - 42 = 0. Let k = i - 26. Does 14 divide (k/(-9))/(3/117)?
False
Let r(h) = h**3 - 29*h**2 - 57*h + 3. Let w = -575 + 606. Is r(w) a multiple of 9?
False
Suppose -16*x + 54490 = -73564 - 509770. Is 25 a factor of x?
False
Let b(x) = x**3 - 8*x**2 - x + 12. Let d be b(8). Suppose -d*l - 507 = -5*r, -3*r = -7*r - l + 393. Is 11 a factor of r?
True
Let j(u) = 1 + 5 - u**2 + 6*u + 2*u. Suppose -5*n = -4*s - 10, -6 = 4*n - 5*s - 5. Is 9 a factor of j(n)?
True
Is (16/10)/(5 - 3046/610) a multiple of 23?
False
Is 24 a factor of (0 - -5) + 23298/22?
False
Suppose 878 = 3*k + 8. Let q = 7 + k. Is q a multiple of 9?
True
Suppose -3*j - 60 = -5*v, -v + 2*j = -0*j - 19. Suppose -5*r = -v + 9. Suppose r = 3*o + 4*p - 240, 5*p = -5*o + 3*p + 400. Is 16 a factor of o?
True
Does 40 divide ((-20)/4 + 6)*(-1 + 4241)?
True
Let r(l) = l**3 - 10*l + 23. Let c be r(-6). Let u = -88 - c. Is 5 a factor of u?
True
Let p(o) = -o**3 + o**3 - 3*o**3 - o**2 + 2*o + 2. Let q be p(-4). Let r = -62 + q. Is r a multiple of 18?
True
Suppose 1449 = s + 3*c, -5*c + 4107 = 3*s - 268. Is 7 a factor of s?
True
Let b be 0 + 345 + 8/(-10)*-5. Suppose -689 - b = -3*l - 2*v, -2*v + 1386 = 4*l. Does 12 divide l?
True
Suppose 0 = 6839*b - 6836*b - 2940. Is b a multiple of 70?
True
Let i = 113 - -155. Let c = -189 + i. Suppose 4 = -3*q + c. Does 5 divide q?
True
Is 3 a factor of (-1*3 + 1)/(8 - (-393484)/(-49182))?
True
Is (-1)/(1188317/(-148538) - -8) a multiple of 212?
False
Let u(v) = -20*v + 2532. Is u(7) a multiple of 26?
True
Let b(h) = 213*h - 17. Let k(w) = -425*w + 36. Let x(o) = 7*b(o) + 3*k(o). Is x(5) a multiple of 69?
False
Let d(b) = 3*b**3 - 5*b**2 - 10*b + 4. Let q(r) = -7*r**3 + 11*r**2 + 21*r - 7. Let s(p) = 5*d(p) + 2*q(p). Is s(6) a multiple of 22?
True
Suppose 3*q = -2*m + 102817, -10*m + 9*m - 4*q = -51401. Is m a multiple of 16?
False
Let h = -31 - -68. Suppose -5*t + h = -0*t - 4*p, 5*p = -t + 19. Suppose -3*j - t = 0, -3*u - 2*j + 3*j = -24. Is u even?
False
Let r = 15 + -17. Let m be (1/(-2))/((-4)/(-432)*r). Suppose m*s - 76 = 23*s. Does 5 divide s?
False
Let l = -22 - -27. Let j be ((-1)/l)/((-4)/30)*22. Let g = j + -11. Is 6 a factor of g?
False
Let i be 16/(-6)*(-12)/8 + -4. Suppose -258 = -6*d - i*d. Suppose -v + d = u, 2*v + 2*v = -12. Does 15 divide u?
False
Let k(r) = 2*r**2 + 70*r - 84. Suppose 144 = -4*p - c, c = -0*c + 4. Is 8 a factor of k(p)?
True
Does 139 divide (-22796)/3*1116/(-248)?
True
Let n = -60 + 68. Suppose 4*l + c = 2, -c + 5 = -l + n. Is 5 a factor of (-536)/16*(-2)/l?
False
Suppose 144*r - 566 - 208 = 378. Suppose 12 = 2*t - 4*k, 0 = t + t - k - 6. Suppose 3*q - 13 + 1 = -5*w, 0 = t*q - 3*w - r. Is 4 a factor of q?
True
Let n(i) = i**2 + 30*i - 571. Is n(15) a multiple of 26?
True
Suppose -5*c = -1873 - 627. Suppose -l = -c + 181. Does 29 divide l?
True
Suppose x = 3*s + 522, 2*x + s - 902 - 184 = 0. Is 60 a factor of x?
True
Suppose 0 = -l - 5*q, 4*l + 5*q + 20 = l. Let s(h) = -h**3 - 8*h**2 - 13*h - 16. Is s(l) a multiple of 17?
False
Let b(c) = 7*c + 10*c - c**2 - 6*c - 6. Let n(u) = -u**2 - 48*u - 209. Let l be n(-5). Is b(l) a multiple of 23?
False
Let f(u) = u**2 - u - 2. Let g be f(-1). Suppose 15*l - 154 - 2606 = g. Is l a multiple of 11?
False
Is 8 a factor of (45/(-10)*-3)/(84/9856)?
True
Suppose -53 - 131 = -2*a. Let j = a + -289. Let c = -109 - j. Does 22 divide c?
True
Let o = -8150 + 13572. Suppose 11*s - o = 6821. Does 24 divide s?
False
Let a = 7822 + -6126. Does 12 divide a?
False
Let m(s) = -36*s - 13. Let g be m(-2). Let i = -111 + 225. Let d = i - g. Does 2 divide d?
False
Let r(b) = b**3 + 2*b**2 + b + 5. Let a be r(-4). Let g = 56 + a. Suppose -g = 5*s, -2*s = -2*u + 7*u - 485. Is u a multiple of 33?
True
Suppose 1073 = 2*y - 425. Let q = y - 446. Let v = q + -155. Is v a multiple of 34?
False
Suppose 14*g - 152 = 16*g. Let k = 118 + g. Does 2 divide k?
True
Let i(w) = 4*w**2 + 15*w - 18. Let m be i(-1