*a**2 + a - 13. Let j be t(-6). Let f = -253 - j. Is 13 a factor of f*(-5 - (-22)/4)?
True
Let n(g) = 19*g - 11. Let v(h) = -2*h + 18. Let f be v(12). Let r be f + 7 + -1 + (-1 - -3). Does 6 divide n(r)?
False
Suppose 2*t - 1675 = 5*m, -2*t - 29*m = -32*m - 1677. Does 21 divide t?
True
Let j = 1 + 3. Suppose -5*s - q + j*q - 28 = 0, -s - 1 = 4*q. Is ((-14)/s - 2)/((-12)/(-330)) a multiple of 14?
False
Suppose 2095*q - 2040*q = 575135. Is q a multiple of 56?
False
Let g = -3490 + 9626. Is g a multiple of 118?
True
Suppose -7*v + 4*v = -45. Let s be v*((-816)/(-20) + -3). Suppose 5*x + 122 = s. Does 16 divide x?
False
Let f(d) = d**2 - 14*d - 17. Suppose 28*r + 95 = 33*r. Is f(r) a multiple of 13?
True
Let b(p) = -344*p - 144. Is b(-3) a multiple of 37?
True
Is -3 + -11 + (-4670)/(-1) a multiple of 12?
True
Let j be (4 - -6 - 7) + -474. Let y = 64 - j. Is 13 a factor of y?
False
Let o be 450/105 + 2/(-7). Let k(v) = 9*v - 1. Let j(i) = -1. Let q(y) = o*j(y) + 2*k(y). Is q(2) a multiple of 19?
False
Is 30 a factor of -72*((-385)/21)/((-5)/(-15))?
True
Suppose -k + 4*b + 29 = 0, 14*b + 64 = 2*k + 9*b. Is 2 a factor of -30 + k - (-1 + -29)?
False
Let t(u) be the second derivative of 2*u**4/3 - 2*u**3/3 - 8*u**2 + 84*u. Is t(-6) a multiple of 12?
False
Suppose 3*a + 8 - 23 = 0. Suppose -2*i - 3 = z + 38, 70 = -a*i + 4*z. Does 22 divide (-3)/(i/303)*2?
False
Let y(t) = 3*t + 13. Let m = -16 - 0. Let x be y(m). Is 8 a factor of (-1694)/x - (-2)/(-5)?
True
Let z be (2/(-3) - -1)*72/6. Suppose 5*p + 3*u = 843, z*p + 0*p + 2*u = 676. Does 4 divide p?
False
Suppose 9*g = 1197 + 621. Suppose l = -g + 984. Is l a multiple of 46?
True
Is ((-53)/(477/(-5046)))/((-2)/(-3)) a multiple of 29?
True
Let z(w) = 17*w**2 + 172*w - 105. Is 62 a factor of z(-43)?
True
Let a be 6/(-7)*7 - (-1 + -3721). Suppose -8*w + a = 4*b - 6*w, -3*w - 3706 = -4*b. Does 6 divide b?
False
Suppose 5*r + 28142 = 4*h - 32235, -6*h = -4*r - 90562. Does 27 divide h?
True
Suppose -x + 4*k = -4*x + 148, 3*k = -6. Let q = 155 + x. Does 15 divide q?
False
Let n(w) = 3*w**2 - 17*w + 27. Is n(39) a multiple of 21?
True
Let b(y) = -y**2 - y + 37. Let x be b(0). Suppose 9*t + 2184 = x*t. Does 3 divide t?
True
Suppose 0*b - 21 = 5*b + g, 0 = -2*g - 2. Let c be -2*(16/b + 3). Is 39 a factor of 27/c*234/27?
True
Suppose 27*m + 16208 = 43*m. Let o = m + -585. Is 15 a factor of o?
False
Suppose -11*w + 10*w - 27 = 0. Let x(o) = o**3 - o**2 - 6*o + 6. Let a be x(6). Let j = w + a. Does 21 divide j?
False
Let w be (1/3)/(8/432). Is 13 a factor of (-5 + (-66)/w)*-9?
True
Let c(d) = -d**2 - 3*d + 35. Let b be c(-8). Does 8 divide 554/14 + 12*b/(-140)?
True
Suppose -5*c - 17 = -3*h, -6 = 2*c - 0*h - h. Let j(y) = -14*y - 12. Let d(v) = v + 1. Let u(p) = c*j(p) - 8*d(p). Is u(18) a multiple of 27?
False
Suppose -13*b - 28 = -20*b. Let w be b/14 + -24*(-2)/28. Does 11 divide (w/(-6)*11)/(9/(-81))?
True
Suppose 0 = 136*n - 142016 - 257240 + 44296. Is 9 a factor of n?
True
Suppose 2*u - 4*d = 8576, 2*u = -41*d + 39*d + 8576. Does 19 divide u?
False
Let u(y) = 235*y**2 + 15*y - 5. Is 45 a factor of u(8)?
False
Suppose 110*k + 1410 = 116*k. Suppose -232*p = -k*p + 684. Is 38 a factor of p?
True
Let g = 1522 + -1349. Does 67 divide g?
False
Suppose 6*j = 327 + 27. Let r = j - 45. Suppose 2*n - r - 134 = 0. Is n a multiple of 14?
False
Let l = 29 + -27. Let x be 4 - l - (-3)/3. Suppose -j + 221 = j - x*a, -121 = -j - 2*a. Does 29 divide j?
False
Is (-738)/(-205)*10/4 + 29720 a multiple of 215?
False
Suppose -7 = 2*n - 3*n. Suppose 4*q + n = 4*u + 3, -5*q + u - 1 = 0. Let p = 20 + q. Is 12 a factor of p?
False
Suppose -w + 8057 = 3*l, -5*l + 16120 = -0*w + 2*w. Is 9 a factor of w?
False
Let y be ((-202)/(-7))/((-7)/(-49)). Suppose 440 = 2*o - y. Is 17 a factor of o?
False
Suppose 3*u - 12 + 192 = 0. Let r = u - -66. Suppose -f - 77 = -3*x, 3*x - 2*f + 80 = r*x. Is 5 a factor of x?
False
Suppose -4*v + 534*t - 536*t = -206, -3*t + 59 = v. Does 5 divide v?
True
Let k(n) = -n**3 - 47*n**2 - 68*n + 228. Does 21 divide k(-48)?
True
Let q = 594 - 599. Does 23 divide (-3)/(-3) - 6 - 830/q?
True
Let n = -6368 + 7523. Does 3 divide n?
True
Let w(n) = -73*n + 76. Let k = 266 - 273. Is w(k) a multiple of 31?
False
Suppose 15 + 15 = 5*h. Let d be 5102/14 + 0 - h/14. Let w = -251 + d. Is w a multiple of 46?
False
Let o = -200 - -103. Let q = o + 187. Does 10 divide q?
True
Let j(y) be the third derivative of 5*y**4/4 - 9*y**3/2 + 18*y**2 + 2*y. Is 15 a factor of j(12)?
False
Suppose 3*q - 20424 = -4*p + 8*q, 4*q + 25539 = 5*p. Suppose -p = -8*w + 4441. Does 64 divide w?
False
Let r(g) be the first derivative of -g**2/2 - 21*g - 44. Does 21 divide r(-42)?
True
Suppose 932 = -18*j - 4774. Let v = -39 - j. Does 7 divide v?
False
Let x be (-3)/(9/276*-1). Suppose b - x = 5*y, 4*y - 287 = -4*b + 129. Is 8 a factor of b?
False
Let b(u) = 2*u + 10. Let x be b(3). Suppose -388 = -18*i + x*i. Let a = i + -114. Is a a multiple of 12?
False
Suppose 4*b = 48 - 88. Let r = 19 + b. Is r a multiple of 2?
False
Let d = 1004 - 1048. Let y = -207 - -79. Let m = d - y. Is 28 a factor of m?
True
Suppose 5*u - 3 = -3*d - 21, u + 2 = d. Let z be ((-1)/(-2))/(1837/(-1838) - d). Suppose -3*h + 5*y + 903 = 0, 3*h = -4*y - 43 + z. Is 23 a factor of h?
False
Let c = -129 + 131. Suppose 0 = -3*v + c*p + 296, 2*v + 4*p - 108 = v. Is v a multiple of 8?
False
Suppose 0 = -4*t + 10 + 294. Suppose 3*x - t = 35. Let q = 188 + x. Does 25 divide q?
True
Let p(d) = 2*d**3 + 5*d**2 - 46*d - 94. Let t be p(-2). Let u(x) = -x**3 - x**2 + 3*x - 2. Let y be u(2). Does 2 divide 58 + 0 + -4 + y/t?
True
Let v be 3 - 0 - (-153)/3. Suppose -4*h + j - 3*j + v = 0, -33 = -3*h - 4*j. Does 11 divide 2/h*5*87?
False
Is 40 a factor of 2*(3*1 - (-17 - -22)) + 2604?
True
Let w be (143/65)/((1/5)/1). Let h be (4 - w)/(-2 + 2/2). Suppose 126 = -4*r + h*r. Is 14 a factor of r?
True
Let x = -8503 - -13660. Does 49 divide x?
False
Let s(o) = 2*o - 28. Let x be s(20). Let l = -12 + x. Suppose h + 2*u = -l*u + 71, -5*h - 5*u = -380. Does 20 divide h?
False
Suppose -5*z = -3*q, 5*z - 5*z = -z. Suppose -2*x = -5*x + 3*u + 1209, q = -x - 3*u + 415. Is 7 a factor of x?
True
Suppose 4*p + u + 11 = 0, 6*p + 10 = 2*p - 2*u. Let r be (2 - (3 - p)) + -344. Let x = r + 491. Is x a multiple of 41?
False
Suppose -3*o + 15 = 0, 5*r - 3*r - 14 = 2*o. Suppose 0 = 3*n - 6*n - 4*h + 21, 0 = n - 5*h + r. Suppose 0 = -n*w + 71 - 2. Is w a multiple of 4?
False
Is 12 a factor of 18/3*(-3 - (-42383)/22)?
False
Let h(c) = -160*c - 7816. Is h(-92) a multiple of 8?
True
Let b = 161 + -156. Suppose 4*c - 622 = j, -17*j = -b*c - 13*j + 783. Does 31 divide c?
True
Suppose 964*v = 971*v - 33299. Is v a multiple of 67?
True
Let k = -1320 + 908. Is k/(3 + (414/(-42))/3) a multiple of 105?
False
Let c(h) = -9 + 24 - 45 - 24 - 30 - 39*h. Is 6 a factor of c(-12)?
True
Let r(m) = 4*m + 31. Let q be r(-7). Suppose 0 = -x - 3 + q. Suppose 3*k + 5*t = -x*t - 1, -22 = -4*k + 5*t. Does 3 divide k?
True
Suppose 0 = 17*q - 13*q - 2*p - 4052, 0 = 3*q - 4*p - 3049. Is q a multiple of 3?
True
Suppose 12*a = 51973 - 1585. Is 4 a factor of a?
False
Does 21 divide 0 - -11 - (-42 + -18405)?
False
Suppose 0*b - 4*b = -4*s + 20, 3*s = b + 9. Suppose a = 2*a + s, 3*c + 4*a = 4. Suppose 2*x - 3*g = g + 14, -4*g = c*x - 64. Is x a multiple of 13?
True
Let x be 1/(-2)*(5 - 5). Let t(d) = -2*d + 27. Let s be t(x). Let o = s - 2. Does 5 divide o?
True
Let a(t) = -2*t + 6*t + 0 - 4 - 3*t**2 + 2. Let q be a(4). Let b = 80 + q. Is b a multiple of 14?
False
Let y(n) = -n**3 - 28*n**2 + 59*n - 29. Let c be y(-30). Is 41 a factor of (285 - c) + 2 + 2/2?
True
Let c(j) = 45*j + 132. Suppose -14*l = -99 - 69. Is c(l) a multiple of 12?
True
Let z(o) be the first derivative of 11*o**2/2 - 80*o - 50. Does 9 divide z(13)?
True
Let q = 4542 + -3567. Is q a multiple of 13?
True
Suppose 7410 = 48*k - 63*k. Let w = 984 + k. Is 70 a factor of w?
True
Does 8 divide (2 - (-48)/(-21)) + 4113802/539?
True
Let w(k) = -33*k**3 - k**2 - 47*k - 279. Is 20 a factor of w(-7)?
True
Suppose p - 4*r = 166, 2*r + 0 = p - 166. Suppose 65 = k + 13. Let q = p - k. Is 19 a factor of q?
True
Suppose -2*i + 4*n + 15850 = 0, 0 = 22*n - 20*n + 8. Is 9 a factor of i?
False
Let n =