 factor of t?
False
Let l(p) = 1489*p - 157. Is 105 a factor of l(1)?
False
Let p(d) = 157*d**2 + 16*d - 1. Suppose 8*t - 16 = 6*t + 4*a, 5*a = 3*t - 21. Is p(t) a multiple of 63?
False
Let m be (-23 - -3 - -6 - -2)*1. Let b(j) = 11*j + 7. Let c(x) = -1. Let f(p) = -b(p) + 5*c(p). Does 30 divide f(m)?
True
Let p = -866 + 1781. Let h = p + -240. Does 75 divide h?
True
Suppose a = 5*m + 2017, 4*a - 9202 + 1184 = -5*m. Is 37 a factor of a?
False
Let r(o) = 3*o**2 + 6*o - 4. Let a be r(-3). Suppose -21*d + 26*d + y = 3020, -y = a. Is d a multiple of 55?
True
Let q = 284 + -51. Let c = q + -184. Does 28 divide c?
False
Let p = -21214 - -24862. Is p a multiple of 48?
True
Is (-5301)/(-6)*1920/180 a multiple of 9?
False
Suppose 39 = -7*i + 25. Is 30 a factor of (-3 - -4 - 2) + (-62)/i?
True
Let u = -15975 - -41804. Does 84 divide u?
False
Suppose -56477 = -58*j + 1042149 + 910552. Is 27 a factor of j?
True
Suppose -3*s = u - 158, 3*u + 194 = 3*s + 56. Suppose -s*n = -50*n. Suppose z - 166 = 4*b, 3*z + n*b - 428 = -2*b. Is 13 a factor of z?
False
Is 124984/36 + 26/117 even?
True
Let i = 131 + -130. Does 5 divide i/6 + (-1438)/(-12)?
True
Suppose 5*s + 2*o = 3398, 0 = 4*s - o - 0*o - 2721. Is s a multiple of 10?
True
Suppose -w = 2*w + 2*s - 8, -8 = -5*w - 2*s. Suppose 0 = -4*l + 2*z + 30, w = -0*l - l + z + 5. Does 16 divide (l/8)/(2/96*2)?
False
Suppose 1747429 - 205255 = 41*d. Is 18 a factor of d?
False
Let k = 1493 + -239. Does 38 divide k?
True
Suppose 403*q - 210845 - 147964 = 370*q. Does 83 divide q?
True
Is 162 a factor of (-18)/12 + 2/(-4)*-3891?
True
Suppose 5*f - 3*h = 26888, 4*f + 1530 = -3*h + 23062. Does 10 divide f?
True
Let i be 590/(-10) + 8 + -1. Let j = 0 + -10. Let f = j - i. Does 8 divide f?
False
Suppose w - 995 = -g + 6860, 0 = -g + 5*g. Is 163 a factor of w?
False
Suppose -s + 5076 = -0*s + 2*o, 4*o + 10136 = 2*s. Is s a multiple of 70?
False
Let d = -522 + 527. Suppose -5*x + 1897 = 3*w, 2 + 23 = d*x. Does 26 divide w?
True
Is 30 a factor of -2580*58/(-116)*(4/1)/2?
True
Suppose 0 = 2*j + 3*r - 27244, 5*j - 133*r = -128*r + 68060. Does 92 divide j?
True
Let u = -717 - -3756. Does 13 divide u?
False
Suppose 2*g = 2*b - 4, 0 = -5*b + 6*b - 3*g. Suppose 6*o - 3*y = 2*o + 664, -833 = -5*o + b*y. Does 13 divide o?
True
Let i(n) = 17*n**2 + 11*n + 12. Let g be i(-4). Suppose 2100 = 39*l - g. Is l a multiple of 30?
True
Suppose 0 = 4*i + 8, -21*x + 2504 = -17*x - 2*i. Is x a multiple of 28?
False
Is 7 a factor of 52/20*-5 + 21636?
True
Let i(j) = j**3 + 21*j**2 - 10*j - 67. Let h be i(-21). Suppose 145*c - h*c - 510 = 0. Is c a multiple of 15?
True
Let f(c) = -391*c - 2*c**3 + 233*c - 16 + 24*c**2 + 194*c + 6*c**2. Does 6 divide f(16)?
True
Suppose c = 2*s - 25 + 20, 5*c = -3*s + 14. Suppose s*i - 966 = 1200. Is 100 a factor of i?
False
Let b(f) = -f**2 - 9*f - 9. Let y be b(-7). Suppose 0 = -y*o + o - 5*o. Suppose o = -2*v - 2*i + 72, -5*v - 4*i = -0*v - 185. Is 41 a factor of v?
True
Suppose -7*z + 11*z + k + 6536 = 0, -4*k = z + 1619. Does 15 divide (20/10)/(0 - 2/z)?
True
Suppose 2*v = 4*x - 30802, 365*x - 362*x - 23126 = -2*v. Is x a multiple of 52?
False
Suppose 380*z = 394*z - 4732. Is z a multiple of 13?
True
Suppose -4*k + 8 + 12 = j, -3*k + 4*j - 4 = 0. Let v(l) = -2 - k*l**3 - 6*l**3 + 1 - 10*l**3 + l**2. Is 28 a factor of v(-2)?
False
Suppose 4 - 55 = 3*g. Let a(d) = -3*d - 35. Let c be a(g). Suppose 7*l = c*l - 1512. Is 21 a factor of l?
True
Suppose 3 - 13 = 2*r. Let s(i) = i**3 + 4*i**2 - 8*i + 4. Does 3 divide s(r)?
False
Suppose 4404 = 5*v + 3*t, -674*t - 1768 = -2*v - 672*t. Is v a multiple of 6?
True
Let a(s) be the third derivative of 10*s**2 + 1/120*s**6 + 3/20*s**5 + 2*s**3 + 0 + 0*s + 0*s**4. Is 6 a factor of a(-9)?
True
Let b = -64 - -64. Suppose 6*w - 4*w + q = 791, b = 5*w - 4*q - 1984. Is w a multiple of 33?
True
Let c(o) = 3*o**3 - 13*o**2 + 3*o + 5. Let m(d) = d**2 - 2*d + 4. Let a be m(2). Suppose 3*x - a*n - 39 + 12 = 0, -3*n = 3*x - 6. Is 10 a factor of c(x)?
True
Let h be -1*(2 - 5) + (-1176)/(-3). Suppose 3*l + w = 236, 5*w - h = -5*l + 3*w. Does 4 divide l?
False
Let x(s) = -188*s + 64. Let m be x(-2). Let b = m + -138. Does 22 divide b?
False
Let m be 3/4 + 909/36. Let b = m - 163. Let f = -97 - b. Is f a multiple of 8?
True
Let d(w) = 11*w + 92. Let y(n) = -32*n - 276. Let a(b) = 11*d(b) + 4*y(b). Suppose 43*h + 324 + 450 = 0. Is 5 a factor of a(h)?
False
Suppose -48 = 3*i - 72. Suppose -i*c + 4*c = 0. Suppose 0*u - u - 3*l + 53 = c, -4*l + 108 = 2*u. Is u a multiple of 8?
True
Is ((-108)/189)/((-7)/(66297/6)) a multiple of 17?
False
Let w = 67 + -79. Is (-2984)/w + (40/(-15))/4 a multiple of 7?
False
Let y(r) = 15*r - 15*r**2 - 212*r**3 + 105*r**3 + 105*r**3 + 22. Is 44 a factor of y(-11)?
True
Let u(q) = 4*q - 7. Let z be u(3). Suppose 5*a + 0*a - 5 = 3*w, -4*a = -z*w + 9. Let s(f) = 22*f - 10. Is 39 a factor of s(a)?
True
Let t be (-528)/(-77)*(0 + (-70)/2). Let c = t + 681. Is c a multiple of 34?
False
Let l(c) be the third derivative of -11*c**6/120 + c**5/60 - c**4/24 - 5*c**3/2 - 28*c**2. Let p be l(-3). Suppose -14*f = -7*f - p. Does 11 divide f?
False
Let p(g) = 21*g**2 + 15*g - 312. Does 44 divide p(27)?
False
Suppose 2*w - 153 - 147 = 0. Let k = 249 - w. Is 11 a factor of k?
True
Suppose 1915*w - 667425 = 1890*w. Is 90 a factor of w?
False
Suppose -4*n - n = 5. Let j(d) = -206*d**2 - 1. Let z be j(n). Let h = z + 341. Does 20 divide h?
False
Suppose o = 9*r - 8*r + 10676, -3*r + 64038 = 6*o. Is o a multiple of 105?
False
Let k(q) = -52*q - 48. Let u be k(-2). Suppose -a = 2*x - 42, 5*x + u = -3*a + 184. Is 46 a factor of a?
True
Suppose 4*n - 2*v = -0*v + 28360, 0 = -n - v + 7087. Is n a multiple of 51?
True
Let w be (2 + (-8 - 1))*(-38 - -37). Suppose w*a + 1349 = 8*a - 4*h, h - 1369 = -a. Is a a multiple of 13?
True
Let w(m) = 2*m**2 - 7*m + 24. Let a(k) = 6*k + 10. Let q be a(-1). Does 12 divide w(q)?
False
Suppose 3*h + 3*j - 12 = -j, -16 = -4*h + 5*j. Is h - (-1)/(-3)*(-155 - -8) a multiple of 3?
False
Let p(q) = 7*q**2 + q**2 - 1 + 2*q + 7*q**2 + 5*q**2. Let h be (9 + -10)/((-1)/2 - -1). Does 15 divide p(h)?
True
Let o(j) = -j**2 - j + 35. Let k(y) = -17. Let n(c) = -7*k(c) - 3*o(c). Let t be n(9). Suppose 0 = 3*s + s - t. Does 7 divide s?
False
Let l(g) = -3*g**3 + 82*g**2 + 16*g + 37. Does 28 divide l(17)?
True
Suppose -35 = 52*l - 59*l. Does 4 divide l*36/10*8?
True
Let v(w) = 717*w - 2940. Is 12 a factor of v(17)?
False
Suppose 53*t + 21725 = -2*t. Let k = t - -809. Is k a multiple of 10?
False
Suppose 372*x = 419666 + 1506806 - 83956. Does 16 divide x?
False
Suppose 12*i - 112 = -16. Let y(r) = 2*r - 6*r**2 + i*r**2 + 4*r. Is 53 a factor of y(6)?
False
Let l = -7628 - -32914. Is 47 a factor of l?
True
Let z = -85 - 68. Let p = z - -251. Is 7 a factor of p?
True
Is ((-5467287)/1946)/(1/26*(2 - 5)) a multiple of 13?
True
Let p = -2284 + 4975. Does 69 divide p?
True
Let u(a) = 634*a**2 - 95*a + 184. Is u(2) even?
True
Is 1058628/56 - (-31)/(-434) a multiple of 13?
False
Let l be 2/9 + 0 + 24025/225. Let x = l + 64. Is x a multiple of 19?
True
Suppose m - 102 = -648. Let d = m + 818. Is d even?
True
Suppose -95 = -2*p + 13. Let y = 54 - p. Suppose 5*b + 122 = 5*s + b, y = 5*b - 10. Does 5 divide s?
False
Suppose 22*x - 682141 = -107*x - 87709. Is x a multiple of 6?
True
Suppose 5*g - 17 = 203. Let a be (-2 - (-112)/60) + (-822)/(-90). Let n = g + a. Does 16 divide n?
False
Let t(u) = 187*u + 50. Let v = -499 - -505. Does 80 divide t(v)?
False
Suppose n + 4*n - 2*h = -12, 0 = -h + 1. Is 19 a factor of -2 - (-1334)/n*-1?
True
Suppose 431*f = 428*f + 3*i + 137376, -f + 3*i + 45784 = 0. Does 58 divide f?
False
Let b(y) = -y**3 - 19*y**2 - 20*y + 35. Suppose -8 = -0*q - 4*q. Let l be (-2 + -1 + -16 + 10)*q. Does 18 divide b(l)?
False
Let k(o) = o**3 + 20*o**2 - 46*o - 36. Let y be k(-22). Does 35 divide (-36915)/(-92) + (-2)/y?
False
Suppose -3025 = -3*j - 5*z - 1080, -2*j = 4*z - 1300. Does 10 divide j?
True
Suppose 91 = 5*w + 66. Suppose -691 - 59 = -s - 5*o, w*s + 3*o = 3750. Is s a multiple of 15?
True
Let y(z) = 3*z + 230. Let q be y(-20). Let s = 247 - q. Is 7 a factor of s?
True
Let n = 362 + -359. Suppose 0*q + r = -5*q + 1402, 5*q - n*r - 1394 = 0. Is 40 a factor of q?
Tr