
Suppose -52*b + 8*b = -1276. Suppose -837 = -b*w + 642. Is 5 a factor of w?
False
Let k(p) = -342 + 2*p + 0*p + 50*p**2 + 328. Is 19 a factor of k(2)?
True
Let p = 727 + -591. Is p a multiple of 68?
True
Suppose 5*f = 392 + 1003. Suppose p - 291 = -k, -2*p = k - 5*p - f. Is k a multiple of 12?
True
Let s be (-2)/16 - 4966/208. Let r(z) = -z**2 - 22*z + 176. Is 16 a factor of r(s)?
True
Suppose 0 = -d - 0. Suppose 4*t + 2748 = -d*t. Does 6 divide t/(-33) + 4/22?
False
Let g be (-5088)/(-7) - (-7 + 720/105). Let r = -679 + g. Is r a multiple of 15?
False
Let r(b) = -13*b + 27*b + 10*b + 34*b - 26. Is 33 a factor of r(5)?
True
Suppose 106085*f + 156663 = 106124*f. Is 22 a factor of f?
False
Suppose -52 = -11*r + 69. Suppose 10 = 3*f - 17. Suppose -r*c = -f*c - 84. Does 7 divide c?
True
Suppose 168*a - 164*a - 3*h = 20503, h = 2*a - 10251. Does 41 divide a?
True
Let v(w) = -5*w**3 + 14*w**2 + 10*w + 15. Is 11 a factor of v(-8)?
False
Let q = -39 + 4383. Is q a multiple of 52?
False
Suppose -5*d + 16272 = 5*a - 2078, -2 = a. Is 68 a factor of d?
True
Is 2/4 + 18/4 + (-2173 - -8157) a multiple of 53?
True
Let d = 56 - -62. Let n = d - -126. Let t = n - 141. Is 36 a factor of t?
False
Let i(u) = -116*u**2 - 17*u - 81. Let w(j) = 29*j**2 + 4*j + 20. Let h(o) = 2*i(o) + 9*w(o). Is 9 a factor of h(-3)?
False
Let w = 10699 + -10536. Does 12 divide w?
False
Let w(d) = -35 - 30 + 6*d + 63. Let n be w(1). Suppose -n*x = -10*x + 1368. Is x a multiple of 38?
True
Suppose 3*u = -0*u + 5*h - 15, 4*u = 3*h - 9. Let s be 4 - (-1)/(-3)*u. Suppose -192 = -2*m - s*m. Does 11 divide m?
False
Let y be 169 - (1/2)/(3/(-6)). Suppose g = -3*f - 289, -f - 5*g = -3*f - y. Let q = 111 + f. Is 4 a factor of q?
True
Suppose 474*h - 4*t = 471*h - 114, -4*h - t - 133 = 0. Let s(z) = 23*z**2 - 4. Let g be s(4). Let r = g + h. Is r a multiple of 15?
True
Suppose -99*v = -100*v + 1. Is 25 a factor of v/2 + 8/(160/7990)?
True
Suppose -q - 6060 = 5*f + 4*q, 4*q = -f - 1200. Let d = -859 - f. Is 21 a factor of d?
True
Suppose -7427 = -21*x + 8743. Is 7 a factor of x?
True
Let j(w) = -23*w - 9. Let i be j(-6). Let x be 46/6*(19 + 54/(-9) + -4). Let c = i - x. Does 10 divide c?
True
Let v(j) = -4*j - 4. Let l be v(-2). Suppose -f + 102 = -l*m, 2*f + m - 213 = -0*m. Is f a multiple of 16?
False
Suppose -2*r - 7 = -27. Let c be r + 30/(-1 + -5). Suppose 167 = -c*v + 407. Is 12 a factor of v?
True
Let j(p) = 6*p**2 - 5*p - 24. Suppose 2*o + 0 = 3*s + 12, -3*s = 4*o - 60. Let l be j(o). Suppose -5*y + 18*y = l. Does 6 divide y?
True
Suppose -9*q = -4*q - 25. Let v(l) = l**3 + 2*l**2 + 7. Let k be v(q). Let h = -74 + k. Is 19 a factor of h?
False
Let z(a) = 3*a**3 - 48*a**2 - 11*a - 70. Is 87 a factor of z(25)?
True
Let c = 48 + 7. Let x = -128 + c. Let o = -37 - x. Is o a multiple of 7?
False
Let h = -2160 - -3244. Let s = 1714 - h. Does 14 divide s?
True
Does 99 divide (12645171/42)/11*2?
False
Does 8 divide (-4114)/(-6) + 98/42?
True
Suppose -18*o + 15*o = -258. Suppose 0 = 2*i - 2*s - 1430, i = 2*s + o + 624. Does 13 divide i?
False
Let k(f) be the first derivative of 14*f**2 - 25*f - 8. Let s(o) = -42*o + 38. Let j(t) = 8*k(t) + 5*s(t). Is j(11) a multiple of 14?
False
Suppose 6*a + 10 = 5*a. Is 4 a factor of a/75 + -2*(-3831)/90?
False
Suppose 3*t + 1038 = -0*t + 3*k, -2*t + k - 696 = 0. Let u = -185 - t. Is 11 a factor of u?
True
Suppose 2*u + 3*x - 8 = 0, -2*u + 4*x - 4 + 12 = 0. Suppose -4*i + 2*g = 736 - 2954, -2223 = -u*i + g. Is i a multiple of 59?
False
Suppose -7300 = -10*g - 2170. Let r = g + 257. Is r a multiple of 13?
False
Let q(i) = i**2 - 4*i + 3. Let z be q(3). Suppose 2 = -r - 3, z = 3*o - 2*r - 145. Is o a multiple of 15?
True
Suppose -18*h + 409321 + 188951 = 6*h. Is 19 a factor of h?
True
Let j(i) = -275*i + 134. Let s be j(-4). Suppose -8*p = -12*p + 5*q + 2490, -2*p - 3*q = -s. Is p a multiple of 20?
True
Let f be (-85 - -3)*(-1)/2*1. Suppose 0 = -j + f + 33. Is 12 a factor of (j/6)/((-6)/(-18))?
False
Is (-27)/18*(-13020)/9 a multiple of 70?
True
Suppose -2*x = -k - 2*k + 106, -3*k = 3*x - 81. Let u be -2 + 0 + 1 + 132. Let s = k + u. Is s a multiple of 27?
False
Suppose 3*h + 3416 = 7*h - 4*j, 5*h - 2*j - 4282 = 0. Let r = 1602 - h. Is 28 a factor of r?
False
Suppose -805 = -2*p - 177. Let s be (p/(-4))/(13/26). Let f = -125 - s. Is f a multiple of 4?
True
Suppose -2*w + 75*f = 76*f - 585, -1171 = -4*w - 3*f. Is w a multiple of 7?
False
Does 13 divide (-21 + 209 - 27)*(12 + 1)?
True
Suppose p + 5*h - 4839 = 1844, -5*p - h + 33295 = 0. Is 2 a factor of p?
True
Let i(s) = 10*s**2 + 2*s - 2. Let x(r) = r**3 + 12*r**2 + 11*r + 3. Let t be x(-11). Let g be t/(-6*(-4)/16). Does 7 divide i(g)?
True
Let m be (48/40)/(3*8/40140). Let k = 2942 - m. Does 17 divide k?
True
Let h(c) = c**3 + 9*c**2 + 8*c + 15. Let a be h(-8). Suppose -4*w + a = w. Suppose w = -l + 5*b, -5*l + 4*l + 2*b = -6. Does 2 divide l?
True
Suppose 127*r - r - 116896 = 409910. Is r a multiple of 20?
False
Let m be 0 - 2 - (-700 - 24/(-12)). Suppose 331*z - 335*z = -m. Is 10 a factor of z?
False
Suppose 0 = -2908*p + 2923*p - 135300. Is 26 a factor of p?
False
Let s be (34/51)/(6/45). Suppose 2*i - 517 = -i - s*a, -4*i = 4*a - 700. Does 6 divide i?
False
Suppose 47 = 5*a + 22. Suppose -a*h + 21 = 2*h. Suppose t + 4*t + 37 = 3*o, -h*o - 5*t = 13. Is o a multiple of 2?
True
Let k be -3 - (-7 + (-4 - -8)). Suppose k = -s + 2*t - 0 + 4, -t = 1. Suppose -31 = -s*o + 5*z, -2*o + 9 + 32 = -3*z. Does 16 divide o?
False
Let f be (-2)/4 - 767/(-26). Is -3*4/6 + f a multiple of 2?
False
Let b(g) = 120*g + 26. Let a be 3*(-1)/(-3)*(13 - 7). Does 15 divide b(a)?
False
Does 16 divide ((-17 - -12) + 19 + -11)*63697/3?
False
Suppose 6 = -3*t, 3*t - 3484 = 3*b - 32974. Is b a multiple of 18?
True
Let o be (23 - 19) + -2 + 8/4. Suppose -3*u = a - 1291, -u + 434 = -0*u + o*a. Is u a multiple of 58?
False
Let h(v) be the first derivative of v**6/120 + v**5/5 + v**4/12 + v**3/3 + 23*v**2/2 - 22. Let d(a) be the second derivative of h(a). Does 43 divide d(-10)?
False
Let p = 40 - 38. Suppose -p*i + 3 = -1. Suppose -i*t = 2*v + 14 - 266, -2*v = 0. Is 22 a factor of t?
False
Is 501*(-8 + (5 - (-133)/21)) a multiple of 68?
False
Let d(s) = 197*s**2 + 16*s + 10. Let a be d(-10). Suppose 25*w - 850 = a. Is 12 a factor of w?
True
Suppose 0 = 6*l - 4*l - 4. Suppose -3*v - 2*q = -8*v + 322, l*v - q - 128 = 0. Let g = 103 - v. Is 8 a factor of g?
False
Suppose 1043625 = -2851*i + 2906*i. Is i a multiple of 69?
True
Let n be (-6 - -1) + 24 + -11. Suppose -s - 5*z + 68 = 0, -4*z + 66 = 2*s - n*z. Suppose -47*d = -s*d - 272. Does 17 divide d?
True
Let g be ((-20)/(-8))/(-5)*-2. Let i be (-2 + (4 - g))/((-2)/(-8)). Is (-36)/(-24) + (-2)/(i/(-33)) a multiple of 8?
False
Let c = -114464 + 195021. Is 395 a factor of c?
False
Suppose -4*u = -54 - 402. Let g = u - 98. Is g a multiple of 15?
False
Suppose -12 = -3*t - 0. Suppose -t = -2*s - 0. Suppose 2*v - 164 = -2*l - s*v, 2*l - 150 = 3*v. Is 39 a factor of l?
True
Let v = -3684 - -3974. Does 20 divide v?
False
Suppose -3*i - 59 = -56. Is 45 a factor of i - -1128 - (-74)/(-37)?
True
Suppose -3*t - 12 = 0, -2924 = -33*i + 32*i + 5*t. Is 33 a factor of i?
True
Suppose 5*n - 5*h + 11 - 1 = 0, 0 = h - 2. Suppose -5*d - 6 + 36 = n. Let r(s) = 37*s + 32. Is r(d) a multiple of 49?
False
Let w(c) = 2*c + 6. Let g be ((-228)/(-10) - 4) + 2/10. Let m = g - 10. Is w(m) a multiple of 7?
False
Suppose 30*l - 77211 = 7*l. Is 74 a factor of l?
False
Let i be (-68)/(-18) - 0 - 2/(-9). Suppose -c - 666 = -i*z, -2*z + 3*c + 69 = -259. Does 4 divide z?
False
Let f(m) = -3*m - 1. Let r(g) = -5*g - 1. Let j(l) = -5*f(l) + 2*r(l). Does 10 divide j(12)?
False
Let d(z) = 3778*z + 163. Does 64 divide d(2)?
False
Let x(n) be the first derivative of -n**4/4 + 17*n**3/3 - 4*n**2 + 24*n - 21. Is 8 a factor of x(8)?
True
Suppose -13*y + 10*y + 6 = -3*s, -s + 5*y - 22 = 0. Suppose -s*u - 5*v + 685 = 0, 5*u - 55 = 4*v + 1099. Is u a multiple of 46?
True
Suppose -18*c + 6408 = -40266. Suppose -2399 = -12*m + c. Does 16 divide m?
True
Let q(s) = s**3 - 8*s**2 - 8*s - 8. Let a be q(9). Let x = -6 + a. Does 2 divide (2/4)/(x/(-60)*1)?
True
Let x(q) = 5*q**2 + 25*q - 6. Let o be x(-8). Let v = 116 - o. Does 11 divide (12 