l?
True
Suppose 5*p - 3*g - 62 - 170 = 0, -4*g - 104 = -2*p. Suppose 4*j = p*j - 19400. Does 97 divide j?
True
Let o(f) = 17*f + 10*f**2 + 9*f**2 + 28 - 10*f**2 + 10*f**2. Is o(-4) a multiple of 42?
False
Let k(r) = r**3 - 2*r**2 - 13*r + 3. Let w be k(5). Suppose b - 71 = w. Is 64 a factor of b?
False
Let v = -203 - -364. Does 13 divide 5 + (v + -2 - (14 + -19))?
True
Suppose 15*f + 15*f - 5010 = 0. Is f a multiple of 29?
False
Suppose i = 3*n - 316, -4*n + 259 + 155 = -5*i. Let j be (481 - -2)*(-14)/245*-5. Let r = j - n. Is r a multiple of 27?
False
Suppose s - 13013 + 4444 = -3*j, s = -j + 8565. Does 16 divide s?
False
Let d(l) = 5*l**2 - 81*l + 7. Let k be d(17). Suppose k*c - 5313 = 52*c. Is c a multiple of 6?
False
Let t be (3 + 426/(-18))*(-30)/4. Suppose 0 = -5*w + 4*m + t, -m + 4*m + 96 = 3*w. Suppose 5*d - 247 = -w. Is 7 a factor of d?
False
Is -6841*(-15 - -21 - (5 - -2) - 2) a multiple of 41?
False
Let y(b) = 49*b - 56. Let x(a) = 196*a - 218. Let t(m) = -2*x(m) + 9*y(m). Is 24 a factor of t(20)?
True
Let f(y) = 34*y**2 - 77*y + 1175. Is f(15) a multiple of 53?
False
Let j(t) = -10 + 0 - t**3 - 2*t**2 + 5 + 6*t. Let s be j(-4). Let p(c) = 18*c - 3. Is 17 a factor of p(s)?
True
Let p(z) = -3*z**2 - 40*z + 236. Let t be p(5). Let s = -272 + 518. Let r = t + s. Does 16 divide r?
False
Let m be (-28)/(-10) - 4/(-20). Suppose -m*t + 4*l = -13, -l = 2*t - 6 - 10. Suppose -y - 3 = -t. Is y a multiple of 2?
True
Suppose -93*l = -66*l - 11988. Is l a multiple of 4?
True
Let y = 194 - 203. Is -304*(-7)/(-14)*y a multiple of 19?
True
Let d = 172 + -134. Suppose 33*l - d*l = -3090. Is l a multiple of 60?
False
Let c(y) = -468*y**3 + y**2 + 49*y + 128. Does 107 divide c(-3)?
True
Let o(l) be the third derivative of -l**4/6 - 17*l**3/2 - 6*l**2. Is o(-18) a multiple of 7?
True
Suppose 0 = 4*y - f - 14686, 13*y - 8*y - 18344 = -f. Does 140 divide y?
False
Suppose -3*x - 2*x = -20. Suppose 3*y = 2*k - 3*k + 5, 0 = -5*k - x*y + 14. Suppose -k*v + 362 = 26. Does 21 divide v?
True
Suppose 5*x + d - 90 + 20 = 0, -67 = -4*x - 3*d. Let p(f) = x*f - 40*f + 18*f. Is p(-7) a multiple of 9?
True
Suppose 5*h = 5*j + 5, 3*j = 2*j + 4*h - 16. Let m(i) = 11*i - 8. Let y(q) = -10*q + 8. Let t(s) = j*m(s) + 5*y(s). Does 37 divide t(-11)?
True
Let g = 110 - 110. Let q(k) = -k**3 + 2*k**2 + 8*k + 39. Is q(g) even?
False
Is 41 a factor of -8 - (-8 - -13) - -13874?
False
Suppose 109*q - 39*q + 84660 - 706330 = 0. Does 13 divide q?
False
Does 37 divide -3 - (-8741)/4 - (-429)/572?
True
Suppose -9*a + 32 + 4 = 0. Suppose -10 = m - a. Let k = m + 48. Is k a multiple of 21?
True
Let n be (4640/(-24) + -7)*(-1 - 2). Let z = -216 + n. Does 18 divide z?
False
Suppose -165*t = -161*t + 20, -2*t = 3*y - 6449. Does 16 divide y?
False
Suppose -2 = -3*g + 2*t, 3*t + t = 20. Suppose -2*d = 2*d - 5*o - 37, -4*d - g*o = 8. Is (d - -1)*(-11)/(-2) a multiple of 22?
True
Let w(s) = 4*s + 11. Let o be w(-2). Let t be 96/10 + (51/15 - o). Suppose 0 = t*x - 19*x + 2439. Is x a multiple of 37?
False
Suppose 5*i - 3 = 1327. Suppose 2*f + 222 = -i. Is 17 a factor of (f/(-7 - -3))/1?
False
Let b be ((-44)/(-8) + -4)*2034. Let f = b - 1761. Does 82 divide f?
False
Suppose k - 31618 = -5*u, 16*k + 10 = 11*k. Does 68 divide u?
True
Let c(p) = 2*p**2 - 13*p + 39. Suppose -q - 3*q = -5*u - 46, 2*q - 5*u = 28. Is 5 a factor of c(q)?
False
Let z = 10 + -7. Suppose -10 = f - z*f + 4*t, 5*f + 2*t = 25. Suppose -48 = -f*i + 177. Is i a multiple of 3?
True
Let p(t) = t**3 - 16*t**2 - 203. Let u be p(17). Suppose 130 = -4*g - 134. Let y = u + g. Is 11 a factor of y?
False
Let y(t) = -t**3 - 4*t**2 + 6*t - 4. Suppose -p = 2*p + 3*d, 15 = -p + 2*d. Let m be y(p). Does 47 divide (100/(-6) - -1)*m?
True
Suppose -3*q + 95929 = 5*i, -11*i + 10*i + 4*q = -19149. Is 30 a factor of i?
False
Let k = 38040 + -19410. Does 56 divide k?
False
Suppose 53555 + 2245 = 30*d. Does 4 divide d?
True
Suppose 0 = 198*c - 206*c + 11520. Suppose -10*j + c = 8*j. Does 53 divide j?
False
Is 19 a factor of (-4)/(16/(-190))*(1152/45 - -4)?
True
Suppose 4765 = 2*h - 3*b, 0*h - b + 7164 = 3*h. Suppose -24*x + h + 3661 = 0. Is x a multiple of 28?
True
Suppose -3466*q + 3483*q = 81430. Is q a multiple of 5?
True
Let k be 0 + (2 - (-1 + -2)). Suppose -4*j = -k*j - 3*m + 86, 4*m = 4*j - 344. Does 4 divide j?
False
Suppose -62*g + 66*g + 12 = 0. Is (-2 - 1)*433*1/g a multiple of 9?
False
Let p = 40746 - 24366. Is p a multiple of 90?
True
Let o be (((-28)/(-35))/2)/((-2)/5). Does 25 divide (3/(-12))/(o/100)?
True
Let y(f) = 7*f**3 + 5*f**2 - 10*f - 5. Let z(j) = -7*j**3 - 6*j**2 + 11*j + 5. Let c(u) = 5*y(u) + 4*z(u). Is c(4) a multiple of 29?
True
Is (2 - 956/8)/(38/(-684)) a multiple of 15?
True
Let p = 129 - 122. Let t be 3/(-1) + -7 + p. Is t/9 + (-433)/(-3) a multiple of 9?
True
Suppose -13*p + 68077 = 34203 - 41617. Is p a multiple of 35?
False
Let h(l) = -252*l - 820. Is 35 a factor of h(-11)?
False
Suppose 0 = -12*g + 4*g + 24. Suppose 60 = g*n - 459. Let l = 303 - n. Is 26 a factor of l?
True
Let o(t) = 348*t + 32. Let w be o(-4). Let p be ((-4)/(-7) + w/(-70))/(-1). Let l = 26 - p. Is 7 a factor of l?
False
Does 9 divide 21/9*(5622/3)/(32/144)?
False
Let y(m) = -m**2 + 57*m + 146. Does 10 divide y(38)?
False
Suppose -3*q = -4*h - 18683 - 231, -3*h + 6283 = q. Is q a multiple of 67?
True
Let t = -3382 + 16338. Is t a multiple of 82?
True
Suppose 5*l + 4*a - 7*a - 43 = 0, -l - 5*a = -31. Is (8/(-5))/(l/(-660)) a multiple of 8?
True
Let d = -24507 - -26894. Is d a multiple of 16?
False
Let a be 18/(-3)*1/(-3). Suppose -a*j + 42 - 2 = 4*q, 128 = 4*j - 4*q. Does 19 divide (j - 1 - 3)*6?
False
Let o = 421 - 168. Suppose 2*v - o = 27. Is 28 a factor of v?
True
Suppose 139*z - 179*z + 26653 + 38867 = 0. Is 6 a factor of z?
True
Suppose a - 487 = y, 3*a + 501 = 4*a - 3*y. Is 80 a factor of a?
True
Let z be -8*1790/(-15) + (-2)/3. Let i = 1698 - z. Does 17 divide i?
False
Suppose -4*q + 74904 = -4*v, -5*v = 5*q - 7*q + 37437. Does 15 divide q?
False
Suppose -176 = -3*x - x. Let s(j) = -x*j + 9 + 10 - 87*j - 17. Is s(-1) a multiple of 19?
True
Let n be (-1)/(0 - (-1)/(-110)). Suppose 24*m = -17*m + 57*m + 1328. Let q = m + n. Is q a multiple of 9?
True
Let k(h) be the first derivative of 7*h**3/3 - 18*h**2 + 4*h + 75. Is 17 a factor of k(-5)?
False
Let t = 41590 + 9948. Is 12 a factor of t?
False
Let k(f) = -7*f**2 + 2*f + 784. Let h(x) = -9*x + 261. Let n be h(29). Is k(n) a multiple of 16?
True
Suppose 0 = -5*f - 5*b - 45, 0 = -28*f + 25*f + 2*b - 12. Does 18 divide 126 - (-3 - (f - -11))?
False
Is (-8)/(5/(540/429) + -4) even?
True
Let j be (2/(-4))/(21/(-168)). Suppose j*i - 897 = 5*u, 763 = 5*i - 5*u - 352. Suppose 16 = 4*z, 3*z + i = -3*r + 596. Is r a multiple of 14?
False
Let l(x) = -x**3 - 22*x - 210. Does 15 divide l(-5)?
False
Suppose 6*o - o = -4*f + 114, o - 106 = -4*f. Let r = f + -6. Let c = 37 + r. Is c a multiple of 19?
True
Does 237 divide (1185/(-2))/((-162)/8748)?
True
Suppose -78*b = -72*b - 4092. Let k = b + 178. Is k a multiple of 68?
False
Let c = -49871 - -92287. Is c a multiple of 11?
True
Let w(r) = -13*r - 300. Let y be w(-24). Suppose 2*l - 10*a + y*a = 1680, -2 = a. Is 19 a factor of l?
False
Suppose 10*v = 27*v - 2380. Let f = 141 + v. Is 10 a factor of f?
False
Let v = 19 - 16. Suppose a = 3 + v. Suppose -571 = -a*z - 67. Does 21 divide z?
True
Let w(b) = b + 21. Let g be w(-11). Let c(j) = -j**3 + 13*j**2 - 8*j - 45. Does 7 divide c(g)?
True
Let p(q) = -q**3 - 12*q**2 + 15*q + 17. Let l be p(-13). Let y(x) = -3*x + 3. Let b be y(l). Suppose -4*i + 14 = -b. Is i a multiple of 4?
False
Let y be -4 - (-2 - 0 - 302). Suppose -2*l = 2*l - y. Suppose -l = -14*g + 9*g. Does 5 divide g?
True
Let l(r) = 2*r + 18. Let b(a) = -2*a - 3. Let j be b(3). Let q be l(j). Suppose q = g + 4*h - 24 - 11, 5*g + 4*h = 143. Is g a multiple of 6?
False
Suppose 5*a - 2*a + 4*k + 871 = 0, a + 4*k = -301. Let c = a - -1196. Is c a multiple of 27?
False
Suppose -8*m + 3*m + 12645 = -10*q, -2*m = 3*q - 5065. Is 2 a factor of m?
False
Suppose 43*v - 517 = 107456. Is 27 a factor of v?
True
Let m(k) = -2*k**3 + 12*k**2 + 15*k - 4. Let w = -102 + 108. Let v be m(w). Let x = -70 + v. Is 16 a factor of x?
True
Let m(c) be the second der