 22 a factor of y?
True
Suppose 2133221 = 198*z - 726853 - 761346. Is z a multiple of 31?
True
Let f be 4/5*(-10)/(-4). Suppose 3*k - f*h = 18, -k + h + 7 - 1 = 0. Let g(p) = -p**3 + 8*p**2 - 8*p - 3. Is 9 a factor of g(k)?
False
Let q be (-45)/(-6)*(14/(-6) + 1). Does 46 divide 849 - (5/q*-8 - 9)?
False
Suppose -4*x = -3*c + 20, -9*c + 10*c = -4*x - 4. Suppose -16 = -4*f, 0*b - c*f = -b + 1245. Does 14 divide b?
False
Let y(j) = -2*j + 7. Let b(v) = -12*v + 42. Let t(m) = 6*b(m) - 34*y(m). Let r be t(3). Suppose 0 = -3*i - 3*k + r*k + 191, 2*k - 10 = 0. Is 7 a factor of i?
False
Let w be (-112)/16*(-40)/7. Let p = w + 217. Is p a multiple of 76?
False
Suppose 4*g = 8*g - 4. Let r be 8/(((-4)/116)/g). Let b = r + 398. Is 26 a factor of b?
False
Suppose -28*d - 23336 = -195445 + 3213. Is d a multiple of 26?
True
Let m(f) = 5*f**3 + 3*f - 3. Let o be m(1). Suppose 8*a - 5070 = -o*a. Is a a multiple of 39?
True
Let t = 85 - 84. Suppose 21 = 5*q + t. Suppose 0 = 5*k - 5*i - 505, -4*k - q*i + 396 = -0*k. Does 10 divide k?
True
Suppose 8 = 4*p + 3*a, -5*a + 0 = 5*p - 10. Suppose p*k + 2*k = 7*k. Suppose 4*i - 260 = 4*q, -i - q + 3*q + 67 = k. Is 16 a factor of i?
False
Let a = -119 + 1037. Does 34 divide a?
True
Let r = -41 - -43. Suppose 2*y - 4*h - 372 = 0, -r*h = -2*y + h + 374. Suppose 0 = 5*l - v - 175, v = -5*l - v + y. Is l a multiple of 7?
False
Let w(d) = 1290*d - 4446. Is 17 a factor of w(7)?
False
Does 72 divide 36/(-3)*4/40*15*-336?
True
Let x = 59 + -48. Let q = x - 11. Is 8 a factor of 11 + (0 - 6)/(2 - q)?
True
Let y = 13095 + 2882. Does 11 divide y?
False
Is 12*1*4016/120*10 a multiple of 22?
False
Let m(l) = l**2 - 3*l - 36. Let a be m(12). Let o = a - -11. Is o a multiple of 3?
False
Suppose -4293*w = -4361*w + 1064472. Is 10 a factor of w?
False
Let d = 40 - 34. Suppose -756 = -3*k - d. Does 25 divide k?
True
Let b = -5 + 15. Suppose 2*u + b = -g, -2*g = -5*g - 3*u - 15. Suppose a - q - 44 = g, -1 - 1 = 2*q. Is a a multiple of 6?
False
Suppose 0 = 5*c - 28 - 22. Let b(r) = -r**2 + 5*r**2 + r**3 - 3*r**2 + 14*r - 21*r + c. Does 32 divide b(5)?
False
Suppose -104 = -h - 4*i, 2*i - 714 = -5*h - 140. Is h/(3 - 2) + 0 a multiple of 52?
False
Let s be ((-11)/33)/(1/(-129)). Let b = s - 38. Suppose 2*y - 308 = -3*w + 61, -2*w - b*y = -257. Is w a multiple of 11?
True
Let f = 38397 + -19781. Does 40 divide f?
False
Let a be 23/((-690)/45)*-6*254. Suppose l + a = 4*l. Does 11 divide l?
False
Let q be 11 + -5 + (3 - 2). Suppose -23 = -4*f - q. Suppose -m + f*p - 76 = -5*m, -5*m - p + 115 = 0. Is m a multiple of 5?
False
Suppose 6*w = -27 - 3. Is 32 a factor of (-558)/(w - 15/6)*5?
False
Let x = 5 - 50. Suppose -q = 2*q - d + 225, -4*q + 4*d - 308 = 0. Let u = x - q. Is u a multiple of 2?
False
Let l = -412 + 904. Suppose -n + 20 = 5*k, 3*k - 12 = -2*n - 0. Suppose k*w - l = -5*v, -4*v + 0*w + 369 = -5*w. Is v a multiple of 16?
True
Let r(p) = p**2 + 13*p + 39. Let o = -39 - -41. Suppose 0 = t - 4, -o*v + 0*t - 34 = -2*t. Is 8 a factor of r(v)?
False
Suppose -d = 4*i - 81388, -2*i - 4*d + 29085 = -11637. Is i a multiple of 20?
False
Let x be (6 + -2)*(-2)/(-8) + 1. Suppose 3*p + u = 1368, 4*p + x*u + 2*u = 1824. Is 19 a factor of p?
True
Let m(n) = -171*n - 241. Does 92 divide m(-27)?
False
Suppose -5*l + 2004 = 2*z + 5345, 0 = -3*l - 15. Let q = -794 - z. Does 8 divide q?
True
Let q be (-178)/4 + (12/(-8))/(-1). Let y = 433 + q. Is 13 a factor of y?
True
Does 188 divide 554235/22 - (-14)/(-28)?
True
Let s = 2712 - -23499. Does 54 divide s?
False
Let s(d) = 24*d - 20. Let y(b) = -8*b + 7. Suppose 0 = -0*z - z + 17. Let o(r) = z*y(r) + 6*s(r). Is 4 a factor of o(1)?
False
Suppose 2441 = 26*a - 185. Suppose 2*y - 6*y + 12 = 0, -96 = 4*o - 4*y. Let i = a + o. Does 40 divide i?
True
Let i = -78 + 109. Suppose -i*g = -29*g - 42. Does 21 divide g?
True
Let p = 18 + -16. Let f be 100/4 + p + 5. Suppose -2*v = 5*h - 31, f - 154 = -4*v + 2*h. Is v a multiple of 3?
False
Is 61 a factor of 1/7 + (-409896)/(-168)?
True
Is 27 a factor of 14/(-35) + 23087/5?
True
Suppose -302 - 5602 = -6*c. Does 19 divide c?
False
Let r be (-5)/((2/2)/3). Let u = 434 - 395. Let n = u + r. Does 8 divide n?
True
Let m(a) = 2*a + 5. Let f be m(8). Let d = -16 + f. Suppose -80 = -d*o + 40. Is o a multiple of 5?
False
Suppose 3*n + 286 = 3874. Suppose -5*i + 913 = 3*m, -2*m - 2*m = -4*i - n. Is m a multiple of 21?
False
Let d(g) = -3*g - 2. Let f be d(-2). Suppose -f*o - 74 = 62. Does 3 divide 2/(o/(-72) - 2/8)?
True
Suppose -34*f + f = -8*f - 800725. Is f a multiple of 38?
False
Let c(o) be the second derivative of -o**5/20 + 5*o**4/4 + 4*o**3/3 + 4*o**2 + 2*o + 1. Does 45 divide c(13)?
True
Let i(u) = 0*u**3 - 30 - 14*u**2 - u**3 + 6*u - 4*u**2 - 4*u. Let q be i(-18). Let n = -61 - q. Is 4 a factor of n?
False
Does 238 divide ((-6)/22 - (-183)/66) + (-156106)/(-4)?
False
Let u(p) be the third derivative of -p**5/60 + 5*p**4/24 - p**3/2 - 23*p**2. Let c be u(3). Suppose -c*j = 2*i - 0*j - 41, -3*i - 3*j + 57 = 0. Does 4 divide i?
True
Suppose n = 4*c - 19, -c - 1 = n - 7. Suppose 2*z - 6*y - 332 = -2*y, -5*z = c*y - 770. Is 12 a factor of z?
False
Let i = -8150 - -11528. Is i a multiple of 19?
False
Let c = -7 + 11. Let u = 3037 + -2859. Suppose -2*l + c*d = -152, -5*l + u + 222 = -5*d. Is l a multiple of 12?
True
Let d be 1456/(-40)*3/(12/(-10)). Let l = -8 + 25. Suppose l*z - 2289 = d. Does 10 divide z?
True
Suppose -3*c = -2*u - 2766 - 6935, 4*c - 5*u - 12944 = 0. Suppose c = -45*l + 54*l. Does 13 divide l?
False
Let r(l) = 1668*l**3 - 6*l**2 - 4*l - 7. Does 236 divide r(3)?
False
Let x = 17020 + -15621. Is 4 a factor of x?
False
Let s(h) = -h**2 - 4*h - 2. Let d be s(0). Does 26 divide (-17*18/(-459))/(d/(-3609))?
False
Suppose 20*c - 1219 + 199 = 0. Does 22 divide 44/(((-18)/c)/(-3))?
True
Let a(g) = 5388*g**2 - 120*g + 120. Is a(1) a multiple of 47?
False
Let u = 4552 - -1538. Is u a multiple of 30?
True
Suppose -4*v = -0*v + 16. Let c(a) be the third derivative of -a**4/2 - 4*a**3/3 + 5*a**2. Is 25 a factor of c(v)?
False
Let u = 4295 - 4298. Let r(s) be the third derivative of 7*s**5/60 + 5*s**4/24 - s**3 - s**2. Is r(u) a multiple of 7?
True
Suppose -6198 = -j + b + 4099, -5*j + 51478 = -4*b. Is j a multiple of 21?
True
Let w(p) = 2*p + 2. Let k(x) = -5*x**2 + 31*x - 6. Let n(r) = -k(r) + 6*w(r). Is n(9) a multiple of 14?
True
Is 82 a factor of (-1494400)/(-272) - 12/102?
True
Is ((-27 + 32345)/(-26))/((-1)/3) a multiple of 113?
True
Suppose -200313 = -6*q + 5*o, 421*o = -5*q + 416*o + 166900. Does 73 divide q?
False
Suppose -t + 11464 = -2*i, -49*t + 2*i = -51*t + 22874. Does 97 divide t?
True
Is (-3*17833)/((-2139)/1518 - (-2)/(-22)) a multiple of 34?
True
Let n(v) = 41*v**2 - 508*v + 76. Does 3 divide n(14)?
False
Suppose -5*p + 3*w = -94504, -4*w + 8*w + 75616 = 4*p. Is p a multiple of 63?
False
Let v(i) be the third derivative of i**5/60 - i**4/24 - i**3/3 + 6*i**2. Let g be v(-3). Does 32 divide ((-1728)/(-135))/(11/g - 1)?
True
Let n = 49 - 38. Suppose q - n = 11. Let a = q + -5. Does 10 divide a?
False
Does 187 divide 21/6*(-6 - -11 - -2117)?
False
Let c(l) = -4*l - 46. Let f be c(-12). Let k(v) = 53*v**2 - 9*v + 11. Does 5 divide k(f)?
True
Let t(c) = c**3 - c**2 - 5*c - 18. Let j be t(4). Does 14 divide 660 - (2 - j)/(-4)?
True
Let w(s) = -5119*s + 96. Is w(-1) a multiple of 7?
True
Let o(r) = 103*r + 3395. Is o(4) a multiple of 8?
False
Suppose -4*x + 10 = x. Let n(b) be the third derivative of 25*b**4/24 - 13*b**3/6 - 226*b**2. Is 2 a factor of n(x)?
False
Does 36 divide ((-12)/8)/(2 + 35063/(-17528))?
False
Is 3 a factor of 30/(-10) + (499/(-4))/(17/(-68))?
False
Let n = -9647 - -12083. Does 106 divide n?
False
Suppose -3*p - 31 = 2*j, -5*j + 9 - 59 = 2*p. Let n = j + 10. Suppose 15 = -n*q + 135. Is q a multiple of 10?
True
Let a = -118 + 123. Suppose 3*z = -x, -5*z - 11 = a*x - 1. Is 2 - 391/x - (-11)/(-33) a multiple of 22?
True
Suppose -199*u + 220*u - 125769 = 0. Is u a multiple of 5?
False
Let b(p) = 8*p**2 - p + 2. Let a be b(5). Let z be (117/26)/((-1)/(-10)). Let y = a - z. Is y a multiple of 19?
True
Does 43 divide 3098 + 11 - (-13 - -26)?
True
Let h(s) = -180*s - 900. Does 51 divide h(-39)?
True
Let c(s) = 1. Let x(n) = 368*n**2 + 3*n + 5.