-2*q - 2*y = -v*y + 38, 0 = 3*q - 2*y + 37. Is 5 a factor of (-6)/q*(-50)/(-4)?
True
Suppose 0 = -2139*h + 2138*h + 2. Suppose 7 = -h*c - 1, 0 = -4*m - c + 2748. Is 19 a factor of m?
False
Suppose -8*x + 208 + 16 = 0. Let d(t) = x*t + 10*t + 10*t + 6. Is d(2) a multiple of 51?
True
Let r(y) = -14*y - 46. Let w be 55/(-22)*36/10. Does 10 divide r(w)?
True
Let h = 29 + -27. Let v(l) = 2*l - 2*l + h*l + 1. Is 2 a factor of v(1)?
False
Suppose -1289601 = -25*v - 30*v + 491244. Does 129 divide v?
True
Let t(f) = -3*f + 30. Let g be t(0). Let o = g - -652. Suppose -100 = 3*q - o. Is 18 a factor of q?
False
Suppose -1062 = -i + 5*h, -5*i - 7*h + 6*h + 5414 = 0. Suppose -74 = 7*u - i. Is 24 a factor of u?
True
Let n = -5032 - -7048. Does 63 divide n?
True
Let o(m) = 62*m + 486. Does 19 divide o(-6)?
True
Suppose -s - 20*p = -25*p - 4042, 4*p + 20105 = 5*s. Is s a multiple of 84?
False
Suppose 238002 - 200856 = 34*g - 344980. Is 80 a factor of g?
False
Suppose -29*o + 61*o + 75*o = 392583. Is o a multiple of 41?
False
Let z(x) = 5*x**2 - 71*x + 72. Does 8 divide z(37)?
False
Let o = -461 + 942. Let w = 864 - o. Is 5 a factor of w?
False
Let p = -3724 - -8964. Is 12 a factor of p?
False
Is 8 a factor of (258587/(-123) + 5/(-3))/(-1)?
True
Suppose -3*d - 8604 = -s, -5*s - 41*d + 38*d + 43020 = 0. Does 12 divide s?
True
Let y(c) be the first derivative of 23*c**2/2 - 89*c + 185. Is y(36) a multiple of 50?
False
Let f be 1*2 - (-16)/24*12. Let s = 410 + f. Is s a multiple of 21?
True
Suppose -33*w + 216600 = 5*w. Is 75 a factor of w?
True
Let j = 2317 + 1554. Is j a multiple of 40?
False
Let q be (-2)/(-3)*(-3 + 1 + 11). Let t be q/(-9) + 116/(-6). Is 64/t*5*-4 a multiple of 16?
True
Let f be (-1)/(-3) + 221/39. Suppose -4*l + 22 = 2*y, 0 = 4*y - f*l + 2*l + 4. Suppose -y*k + 219 = 48. Is k a multiple of 19?
True
Is 77 a factor of -1 + (-73600)/(-45) + 100/225?
False
Suppose 8*t - 3*t = 5775. Let n be 1/2 + (t/(-6))/(-7). Suppose -n = -2*r + 6. Is 3 a factor of r?
False
Let o(c) = -13*c**2 - 329*c + 26. Is 15 a factor of o(-23)?
False
Suppose 3*n + 16*s - 13*s = 33, -3*s = -4*n + 37. Let j(g) = 4*g**3 - 37*g**2 + 8*g. Is 19 a factor of j(n)?
True
Let k(z) = -3*z + 80. Let s be k(26). Suppose 4*h - 554 = -s*m, 5*m - 176 = -h - 33. Is h a multiple of 15?
False
Let n(x) = x**2 + 2*x - 5. Let j be n(4). Is 19 a factor of 2/6*j*90/30?
True
Suppose 2*o + 117 = -s, -o + s = 2*s + 61. Let r = 58 + o. Suppose 2*f + 3*c - 212 = c, 218 = r*f + 4*c. Is 12 a factor of f?
False
Let n be 66*(3 + (-28)/12). Let h = n + -41. Suppose -4*w = 2*l - 102, 2*l = 3*l + h. Does 9 divide w?
True
Let x(c) be the third derivative of -c**7/2520 - c**6/48 - c**5/12 - 11*c**4/24 + 16*c**2. Let r(s) be the second derivative of x(s). Is 6 a factor of r(-6)?
False
Suppose -5*m - 3*j = -90471, -6 = -5*j + 4. Is 163 a factor of m?
True
Let n(k) = 70*k**2 + 1 + k**3 + 71*k**2 + k - 142*k**2. Let w(o) = -4*o**3 + 7*o**2 - 14*o - 5. Let a(j) = -3*n(j) - w(j). Does 6 divide a(4)?
False
Suppose 3*n + 24120 = 12*n. Suppose -8*a = -28*a + n. Is a a multiple of 8?
False
Suppose -111 + 27 = -21*k. Suppose 496 = m - k*x, -m - x = -3*m + 999. Does 20 divide m?
True
Is 6/12 - (-13)/26 - -16267 a multiple of 28?
True
Suppose -3*s = 2*s - 4*u - 230, -2*u = -10. Let d = s + -38. Let y = d - -102. Is 38 a factor of y?
True
Let x(d) = 1212*d**2 + 5*d + 4. Is 7 a factor of x(-1)?
True
Let d(b) = -5*b - 50. Let j be d(-11). Suppose -4*h = j*y - 1519, -27*y = -26*y + 5*h - 287. Is 24 a factor of y?
False
Let s be -747*(4 + (2 - 7)). Suppose 6*v - 705 = s. Does 16 divide v?
False
Let r = 9976 + -3275. Is 153 a factor of r?
False
Let n(w) = 2*w**2 - 25*w + 4256. Does 32 divide n(0)?
True
Let r(o) = -15*o**2 - 3*o. Let c be r(-2). Suppose -n + 513 = 4*a, 3*a - n - 396 = 2*n. Let i = a + c. Does 15 divide i?
True
Let q = -48 - -47. Let g be q/2*1*(-7 + -21). Suppose g*o = 16*o - 264. Does 12 divide o?
True
Let b(j) = -12*j**2 - 13*j + 4. Let x be b(-5). Let w = x + 341. Is 10 a factor of w?
True
Let x(h) = -15*h + 5. Let r be x(-9). Suppose 12 = -3*i, 3*d + 35 = -3*i + r. Let k = 47 - d. Is k a multiple of 2?
True
Is (6 - 2) + (-711158)/(-12) + 13/(-78) a multiple of 13?
True
Suppose 18616 + 110333 = 153*a + 6*a. Is 3 a factor of a?
False
Suppose 62855 = 21*p + 18545. Does 53 divide p?
False
Suppose 3*g - 3*c - 1275 = 0, -647 = -2*g - c + 191. Is 9 a factor of g?
False
Let j = -994 + 1978. Is 10 a factor of j?
False
Let r = -98 + 102. Suppose 0*g + r*g + 576 = 0. Let l = -20 - g. Is 58 a factor of l?
False
Suppose -355452 = -25*c - 50*c - 92202. Does 65 divide c?
True
Suppose 8 = -4*y - 64. Let i(h) = h**3 + 21*h**2 + 23*h + 40. Let l be i(y). Suppose -l = -7*z + 382. Is z a multiple of 19?
False
Suppose -2*x - 2*x = 3*n - 24, 2*n - 18 = -3*x. Let j(a) = 4*a**2. Does 72 divide j(x)?
True
Suppose y - 5*a + 5 + 15 = 0, 3*a - 12 = 5*y. Suppose y = -g + 5*g - 872. Suppose 4*o = 286 + g. Does 9 divide o?
True
Suppose -3*u = -6*h + 5*h - 27081, 3*h = -2*u + 18065. Does 37 divide u?
True
Let b be (-4 + (-11606)/21)/((-1)/3). Let l = -715 + b. Is 15 a factor of l?
False
Suppose 0 = 227*l - 228*l + 4, -z - 2*l = -9056. Is 12 a factor of z?
True
Let x(n) = 13*n**3 + 122*n**2 - 9*n + 5. Is x(4) a multiple of 21?
False
Suppose -72 = -6*k - 6*k. Let q be (3/k)/((-2)/12). Does 29 divide 464/12*(3 - q)?
True
Does 81 divide (-1)/(-30) - (-34962774)/1980?
True
Let z = 438 - 443. Let l(b) = -7*b**3 - 8*b**2 - 7. Is l(z) a multiple of 74?
False
Suppose -621*g + 609*g + 182440 = 54088. Does 28 divide g?
True
Let c be -268 + ((-5 + 0)/1 - -9). Let a = 309 + c. Is 4 a factor of a?
False
Suppose 109*k + 184874 = 18*k + 1515021. Is k a multiple of 8?
False
Let w(c) = 7*c - 157. Is w(35) a multiple of 22?
True
Suppose 4*r + 2619 - 898 = -3*g, 0 = -4*r + 2*g - 1746. Let f = r + 776. Does 9 divide f?
True
Let g be (45/(-20))/(1/((-16)/(-3))). Let s = 32 + g. Let l = s - 15. Does 5 divide l?
True
Suppose -3*i - 15 = -3*t, -4*i = 2*t - 5 - 11. Let h(y) = 4*y - 26. Let s be h(t). Is (1 + ((-9)/12 - s))*4 a multiple of 4?
False
Let i(j) = 2*j**2 - 6*j + 5*j**2 + 0*j**2 + 0*j**2 - 3*j + 18. Is i(5) a multiple of 4?
True
Let s = -19895 + 31076. Is s a multiple of 5?
False
Suppose -5*c + 79 = 64. Suppose -c*k = -k - 336. Does 14 divide k?
True
Let k = 48 + -48. Suppose k = -4*y - 2*y + 192. Does 35 divide y + 9*5/15?
True
Suppose 0 = 4*s - 11 + 111. Let q(h) = 272*h**3 - 273*h**3 - 26*h**2 - 1946 - 38*h + 1927. Does 41 divide q(s)?
False
Suppose 19*i - 7560 = 35285. Is 5 a factor of i?
True
Let i = -1708 - -4360. Does 78 divide i?
True
Suppose 5*r + 198 = 2*d, 0 = -0*d + d - 2*r - 99. Let o = d - 54. Does 7 divide o?
False
Suppose -h - 3*u = -3213 - 3161, 31858 = 5*h + 3*u. Is 23 a factor of h?
True
Suppose 0 = 4*j - 12, -4*j = -a + 85 + 28. Let b = a - 79. Suppose -2*f - 73 = -5*s, s + b = 3*s - 5*f. Does 13 divide s?
True
Suppose 3*g - 4*l - 2 = -9*l, -2*l = -2*g + 12. Suppose -18*k + 19068 = -g*k. Is k a multiple of 70?
False
Suppose 2900 = 5*c - f, 1732 = 3*c - 2*f + 3*f. Let u = 1579 - c. Suppose u = 13*x - 8*x. Is 40 a factor of x?
True
Let s(t) = 43*t**2 + 6*t + 5. Let n be s(-1). Is 31 a factor of 31/((18/n)/3)?
True
Let w(h) = 4*h - 105. Let f be w(25). Is 18 a factor of (-1)/(f/(-280))*-2?
False
Suppose -18*w - 3*r = -16*w - 1323, -4*w + r + 2639 = 0. Suppose 5*b - 2*p - w = 0, 4*b - 3*p = -0*p + 528. Is 2 a factor of b?
True
Let o = -213 - -229. Let p = o - -426. Does 13 divide p?
True
Let b = 188 - 275. Let k = b + 152. Suppose 78*u - 79*u + k = 0. Is 13 a factor of u?
True
Let k(y) = -y**3 + 4*y**2 - 1. Let s be k(4). Let j be (s + (3 - 4))*(-207)/6. Let r = 102 - j. Is r a multiple of 11?
True
Let x = 149 + -62. Let w = x + -37. Suppose 86 = 3*v + w. Does 2 divide v?
True
Suppose -2*v + 2*f + 18 = 0, -2*f = -0*v + 3*v - 12. Does 11 divide v + -11 + ((-8)/4 - -271)?
True
Let l be (-54)/4*(-19844)/1089. Let u = 7 + 2. Suppose -l = u*o - 12*o. Is o a multiple of 13?
False
Let z = -641 - -4631. Is 35 a factor of z?
True
Let y = -1832 - -28019. Is 203 a factor of y?
True
Suppose -1440 = -4*d + 4*t, -d - d = 5*t - 748. Let k = d + -348. Is k even?
True
Suppose 7*x + 599 = -6310. Let z = x + 1782. Is 53 a factor of z?
True
Let z(w) = 43