 of 23?
False
Let g(u) = 15*u**3 + 10*u**2 - 72*u + 676. Does 22 divide g(11)?
False
Let u be 1*(-4*4)/4. Let x(b) = -b**2 - b + 9. Let v be x(u). Let g(l) = -3*l**3 - l**2 + l + 3. Is 18 a factor of g(v)?
True
Suppose -7*k = -2*k. Suppose -3*h = 5*t - 5 - 20, k = 2*h + 2*t - 10. Suppose d + 3*d - 2*v - 86 = h, -3*v + 63 = 2*d. Does 12 divide d?
True
Let v be 4/6 + (-4)/6 + -2. Let r(c) = -236*c**3 - c**2 - 16*c - 26. Does 42 divide r(v)?
True
Let i(p) = 317*p + 10. Let a be i(2). Is (9/1)/(-27) + a/6 a multiple of 54?
False
Let z = 54 - 136. Let n be (-1)/((-2)/(-40)*z - -4). Does 15 divide 3 + 25/n*(1 + 7)?
False
Let a be 3 + -1 + (-9 - -5 - -9). Suppose -2 + a = -d, 4*d = -2*j + 1444. Is 56 a factor of j?
False
Let d(w) = -18*w + 78. Let j be d(4). Suppose 359 = j*s - 79. Does 14 divide s?
False
Let k(b) = 21*b + 53. Let h(r) = 43*r + 106. Let u(y) = -3*h(y) + 5*k(y). Is u(-5) a multiple of 33?
False
Suppose 3*t - 2 = -8. Let v be (1 + -1)/(t - 0). Suppose -312 = -v*w - 4*w. Does 22 divide w?
False
Suppose 3*f - 2*m - 52779 = 0, 0 = 184*f - 187*f - m + 52761. Does 41 divide f?
True
Suppose 2*v + 258 - 70 = 3*p, 244 = 3*p + 5*v. Does 17 divide p?
True
Let m(q) = 9*q - 3. Let t be m(1). Let x(n) = -26 + t*n - 18 + 10. Is 31 a factor of x(16)?
True
Let y be (-4)/(-2) + (4 - 6) + 4. Suppose 3*m - 290 = 460. Suppose -v = -y*n - 3*v + m, 129 = 2*n - 3*v. Is 23 a factor of n?
False
Let w = -279 + 293. Let s = 385 + w. Does 7 divide s?
True
Suppose h = -4*l + 2*h - 21, 2*l + 11 = h. Let d be (-9)/l*5330/39. Suppose -d = 3*t - 768. Does 28 divide t?
False
Let s be 8/10 + (-1 - (-123)/15). Is 10 a factor of (-90)/(-8)*-6*s/(-2)?
True
Let p = 4240 - 2415. Does 73 divide p?
True
Suppose 135 = -3*y + 150. Suppose 0 = y*n - 2*s - 126, -5*n - 4*s - 22 = -130. Is 8 a factor of n?
True
Suppose -2*y - 5*t = -0*y - 10621, -3*y - t + 15925 = 0. Does 17 divide y?
False
Suppose -p = 5*y - 1, -3 = -3*y + 2*p - 5. Suppose -5*u - 3*m - 6 = -40, y = 2*m + 4. Suppose u*b - 789 - 11 = 0. Does 25 divide b?
True
Let c be (-1205950)/(-623) - (-2)/7. Suppose -167*z + 163*z = -c. Is 17 a factor of z?
False
Suppose 9 + 1 = 5*i + j, -5*i + 5*j + 10 = 0. Is 81 a factor of (16/(-16))/(1/(-977)) + i?
False
Let y = 26 + -26. Suppose -32*q + 26*q + 234 = y. Suppose v - 5*f = 31, 0 = -5*v - 5*f + f + q. Is 8 a factor of v?
False
Suppose 4*f + 2*l - 38 = 0, -2*f - 3*l + 29 = -0*l. Let q = -11 - -13. Is 3 a factor of 84/f*q/4?
True
Let d(j) = -2*j**3 - 21*j**2 - 26*j - 10. Let z be d(-11). Let g = z - -95. Is g a multiple of 41?
True
Let j = 95 - 37. Suppose 0 = -3*a + 26 + j. Suppose a = 18*f - 16*f. Is 14 a factor of f?
True
Let w be 18/(-48) + 6*3/48. Suppose 13*s - 2504 + 411 = w. Is s a multiple of 8?
False
Suppose 2168 = 2*d - 0*f - 4*f, -f = 7. Is 6 a factor of d?
False
Let t be 0*(5 + 16/(-3)). Suppose -4*w + 3*n + 268 = -0*n, t = w + 5*n - 44. Is w a multiple of 33?
False
Let b(m) = 3*m - 27. Let a be b(9). Let s be 39/9 + (-2)/(-3) + a. Suppose -5*l + 200 = 2*y, -4*y - l = -s*l - 428. Is y a multiple of 14?
False
Let j(c) = 2211*c - 6657. Is 27 a factor of j(13)?
True
Let r(a) = a**2 + 3*a + 1. Let z be r(-2). Let p(l) = 7*l + 6. Let i be p(z). Is 13 a factor of 1*((-78)/12)/(i/14)?
True
Let i(g) = 17*g**2 + 7*g + 9. Suppose 4*k + 62 = 2*m - 0*m, 2*k + 11 = 5*m. Let y be (-4)/k - (-58)/(-18). Is 25 a factor of i(y)?
False
Suppose -26 = 19*l - 83. Let h(r) = -2*r**2 - 9*r - 11. Let c be h(-5). Let g = l - c. Is g a multiple of 2?
False
Let n = -5490 - -11540. Does 25 divide n?
True
Suppose 20*n + 23*n = 7*n + 115308. Does 51 divide n?
False
Suppose 2*z + 18 = -4. Let k = 20 - z. Suppose -2*s - 4*w + 31 + 31 = 0, -3*w - k = -s. Is s a multiple of 6?
False
Suppose -10665*v + 10671*v = 16488. Is v a multiple of 93?
False
Suppose 0 = -10*h - 9 + 99. Suppose -682 = h*u - 2626. Suppose -216 = -2*n + u. Is n a multiple of 36?
True
Suppose -5*j - 3*z = -4*j - 1075, 4*z + 1096 = j. Let y = j + -622. Is 14 a factor of y?
True
Let d be (-4314)/10 - 3/5. Let n = d - -478. Is 9 a factor of n?
False
Suppose -252*v - 40 = -257*v. Suppose 3*t - 4475 = 4*k, 9340 = 4*t + 4*k + 3420. Suppose -y + t = v*y. Is 15 a factor of y?
True
Suppose 3*r - 10 = -2*x, -3*r + 2*x + 4 = r. Let y(m) = m**2 + m. Let v be y(0). Suppose -r*i + 76 + 68 = v. Does 8 divide i?
True
Suppose 2*j = -12*j + 3696. Let c = j - 61. Suppose -2*l + 205 = 5*i, 0 = -2*l + 3*i - 6*i + c. Is l a multiple of 25?
True
Suppose 0 = -2*m - 52*r + 50*r + 5516, m - 3*r = 2762. Is 77 a factor of m?
False
Let c(y) = -146*y**2 + 2*y - 2. Let q be c(-3). Let b = -923 - q. Suppose 3*d + 3*m = -2*m + 321, 0 = -4*d + 3*m + b. Does 34 divide d?
True
Suppose -6*x + 14 = 4*a - 3*x, 5*x = 3*a + 4. Suppose -3*c - 16 = -5*r - 3, a*c = -r + 13. Suppose 75 = r*u - 235. Is u a multiple of 31?
True
Let n(f) = 25*f**2 - 24*f + 6. Is 2 a factor of n(4)?
True
Suppose -z - 2*g + 1802 = -7*g, 0 = 3*z - 2*g - 5354. Suppose 13*m - z = -14*m. Does 2 divide m?
True
Let o(x) = 8*x**2 - 21*x + 3. Let f(b) = -4*b**2 + 11*b - 1. Let h(n) = 7*f(n) + 4*o(n). Suppose -3*y - 5*r = -r - 4, 5*y + 36 = 4*r. Does 13 divide h(y)?
False
Does 4 divide (18/27 - -6)/(3/756)?
True
Suppose -2*i + u = -40226, -187*i = -186*i + 2*u - 20108. Does 99 divide i?
False
Let t(b) = 2375*b - 161. Is t(8) a multiple of 30?
False
Let h(u) = 1120*u**2 - 171*u - 15. Is 96 a factor of h(4)?
False
Suppose -w + 5*f = -1422, 5*w + 2*f - 6180 - 930 = 0. Suppose -5*r + w + 453 = 5*s, r = 4*s - 1510. Is 29 a factor of s?
True
Let f(q) = 2*q**2 - 14*q + 8. Suppose 0 = d + 2*d - 3, 3*m + 5*d + 211 = 0. Let o = -63 - m. Is 7 a factor of f(o)?
False
Is (-624)/1456 + ((3253842/(-14))/(-3) - 0) a multiple of 16?
True
Let f(h) = 34*h + 37. Let l be f(-1). Suppose -l*d = 2*d - 480. Is d a multiple of 12?
True
Suppose -2*v - 28 = -4*f + 2*v, -v - 11 = -2*f. Suppose 3*i + 3*s = -i, s + f = 0. Suppose -4*k = -i*x + 144, x = -0*k + k + 48. Is 16 a factor of x?
True
Let d(f) = -f**3 + 13*f**2 - 18*f - 10. Suppose -2*w + 1 = -3*b, -8*b - 19 = -3*b + w. Let y be (2/b)/((-26)/429). Is 17 a factor of d(y)?
True
Suppose -2*p - t - 1 = -5*p, 0 = 4*p - 5*t + 17. Suppose 2*z = -p*x + 34, z - 3*z - 3*x = -37. Let j = 84 - z. Is 10 a factor of j?
True
Let k(d) = -417*d - 394. Is 2 a factor of k(-2)?
True
Suppose 2*h + 10*t - 13*t = 8382, 3*h + 2*t - 12586 = 0. Is h a multiple of 101?
False
Suppose 2*j + 1670 = s - j, -3*s = j - 4990. Suppose -6*i + s + 988 = 0. Does 34 divide i?
True
Let i(p) = -59*p - 10. Let x be i(-18). Let h = -708 + x. Is h a multiple of 18?
False
Suppose 845 = -2*n + 5*x, -x - 2099 = 4*n + n. Let t = -327 - n. Is 5 a factor of t?
False
Let n(d) = 176*d + 2391. Is 16 a factor of n(84)?
False
Let q be (0 + 5)*(-3)/(-5). Let s be ((-1)/4 - 1)/(4/(-16)). Suppose 5*w + 10 = 0, 0 = s*i + 2*w - q*w - 27. Is 2 a factor of i?
False
Suppose 2155 = 2*b - 437. Suppose -10*d + 5304 = -b. Does 12 divide d?
True
Let v(t) = -22*t**3 - 15*t**2 - 37*t - 214. Is v(-7) a multiple of 45?
False
Let m = 6357 - -78. Does 39 divide m?
True
Suppose b - 38 = l - 11, -2*l - 51 = b. Is ((-840)/(-390) - (-4)/l)*1 a multiple of 2?
True
Suppose -2*g = 3*g + 155. Let o = g + -21. Let r = o + 156. Is r a multiple of 26?
True
Let i = 34003 - 10745. Is 19 a factor of i?
False
Let g(j) = -58*j**3 + j**2 + 11*j + 77. Is g(-6) a multiple of 154?
False
Suppose 0 = -17*x + 16*x + 2. Let f be 1/(x*1/906). Is 6 a factor of 4/108*f + (-6)/(-27)?
False
Suppose 1709 + 7242 = 11*y + 2351. Does 60 divide y?
True
Suppose -6*i = -32*i + 120822 + 49894. Does 19 divide i?
False
Suppose 4*u + 444 + 679 = -5*p, -2*u = 4*p + 908. Let t be (19*2)/((-3)/42). Let k = p - t. Is 39 a factor of k?
False
Suppose -4*o + 5*k + 6891 = 0, 13*k - 11*k - 10 = 0. Does 13 divide o?
True
Suppose -1 - 2 = -k. Suppose 0 = -3*f + 3*b + 15, -5*b = f + 7 + 18. Suppose k*v - 5*s - 85 = 0, 0 = -s - f - 2. Is v a multiple of 5?
True
Suppose 1107*f - 1117*f = -920. Is 11 a factor of f?
False
Suppose -h = -5*i + 246, -16 - 32 = -i - h. Let l = i + 21. Let w = -55 + l. Is 5 a factor of w?
True
Suppose 0 = 4*x + 2*s + 2*s - 56, 0 = -s - 2. Suppose 4 - x = 6*r. Does 10 divide 1/r + ((-202)/(-4) - 3)?
False
Suppose 4*p - 19*p = 3*p - 674982. Does 314 divide p?
False
Suppose -5*