
Suppose 1095*v = 1099*v - 3*s - 291688, -2*v = -4*s - 145834. Is 25 a factor of v?
True
Let l be 24 + 4/6*3. Suppose 2*t - l = 8. Suppose -16*f = -t*f + 30. Is 15 a factor of f?
True
Suppose 3665 + 7447 - 1872 = 20*j. Is j a multiple of 17?
False
Does 62 divide (2325/10 + 2/(-1))*(62 + -54)?
False
Suppose -2*q + 416 = 410. Let y(z) = 33*z**2 - z + 9. Is y(q) a multiple of 16?
False
Suppose 4*k - 4*v = 16, -4 = 6*k - 4*k + 4*v. Suppose k*g = -3*g + 365. Let z = 101 - g. Is 7 a factor of z?
True
Let w be 1987 - 0/(3/(-1 - -4)). Let i = -1360 + w. Does 11 divide i?
True
Let p be 57/(-6)*(-45 - 9). Let q = -214 + p. Is 18 a factor of q?
False
Let u(q) = 798*q**2 + 45*q - 60. Does 3 divide u(2)?
True
Is -1 - -162 - (28 - 27) a multiple of 16?
True
Let o be 2*(-8 + 2 + 2). Let c be 8/o - (-1 - 3). Suppose -c*d - d + 320 = 0. Does 17 divide d?
False
Let s = -903 + 1782. Suppose 1 - 5 = -4*c, 0 = 3*x - 3*c - s. Is 6 a factor of x?
True
Let a = 1035 - -589. Is a a multiple of 29?
True
Let u(q) = -10*q**3 - q**2 + 87*q - 10. Does 30 divide u(-10)?
False
Suppose -29754 - 128586 = -105*u. Does 26 divide u?
True
Let z = -4178 - -9196. Does 13 divide z?
True
Let d = -44 + 46. Let y be -1 - (d/12 - 7/6). Suppose y = -j - 9*j + 650. Is 13 a factor of j?
True
Let k(c) = c**3 + 17*c**2 + 18*c + 18. Let z be k(-16). Let q = 18 + z. Suppose -q*h + 1650 = 2*h. Is h a multiple of 31?
False
Suppose -59*y + 25*y = -7*y - 314226. Does 53 divide y?
False
Let i be 5 - (2 - 8 - -7). Suppose -i*p - 3*v + 1425 = 2*v, 5*p - 1725 = 5*v. Is p a multiple of 30?
False
Suppose 32 = 2*q - 3*u - 106, 0 = -3*q - u + 229. Let h be (-3 - q/(-10))*(0 - 10). Let f = 33 - h. Is f a multiple of 55?
False
Suppose -2*n - 2 = 26. Let d be 6/n - (-68)/28. Suppose 2*l + 441 = 5*p + l, -d*p + 177 = -l. Does 22 divide p?
True
Suppose -24*b = -19*b + 2*q - 562, -440 = -4*b - 4*q. Is b a multiple of 18?
False
Let h(y) = 73*y**2 + 3. Let x be h(-1). Let o = 109 - x. Suppose -5*f + 17 = -o. Is 6 a factor of f?
False
Let b be 47 + (2/(-5) - (-8)/(-5)). Let j = b - 43. Does 7 divide 0 + 12 - 1/(-2)*j?
False
Suppose 31*y - 108 = 30*y. Let j(z) = -z**2 + 6*z + 4. Let f be j(6). Suppose -f*i + 3*i = -y. Does 12 divide i?
True
Let b = 820 - 821. Let v(q) = -1965*q + 3. Does 16 divide v(b)?
True
Let b(m) = -235*m + 465. Is b(-27) a multiple of 30?
True
Suppose -1346*l + 474092 = -1317*l. Does 72 divide l?
False
Suppose 2*l + 10624 = 10*l. Does 5 divide l?
False
Suppose 0 = c - 5*d - 6, 2*c = 2*d + 14 - 34. Is 86 a factor of -2 + (-23686)/(-91) + 4/c?
True
Let u(v) = v**2 - 55*v + 3302. Is u(0) a multiple of 42?
False
Let g(r) = r**3 + 15*r**2 - 17*r - 11. Let i be g(-16). Suppose 0 = -0*z + z - i*z. Suppose 2*l = -2*d + 4*d - 76, z = l + 1. Is 2 a factor of d?
False
Let h be (35 - (0 + 2)) + 39/(-13). Suppose 3*u - h = -3*u. Suppose 4*o - 5*k = -72 + 451, -5 = -u*k. Is o a multiple of 12?
True
Suppose r - 23*m = -22*m + 6848, 4*r - 3*m = 27392. Does 107 divide r?
True
Let u(b) = 17*b + 14. Let q be u(3). Suppose -q*l + 62*l = -576. Is 12 a factor of l?
True
Let i(k) = -59*k**2 + 21*k**3 + 14*k**2 + 19*k**2 - 9 + 15*k**2 + 10*k**2 + 9*k. Is 14 a factor of i(2)?
False
Suppose 271*s = 242*s + 2320. Is s a multiple of 16?
True
Suppose 1746 = 5*m - 3*n, -2*m + 7*m - 1744 = 2*n. Suppose -m = -4*j + 372. Is 45 a factor of j?
True
Suppose -5*q + 25 = 0, 0 = 4*p - 0*p + q - 13. Suppose 0 = -3*d - p*d + 5*o + 100, 4*o = -d + 20. Is 6 a factor of d?
False
Suppose 0 = -267*v + 112*v + 667275. Is 7 a factor of v?
True
Suppose 3*y - 168*a + 171*a = 18198, a - 12128 = -2*y. Does 219 divide y?
False
Is (-198)/495 - (-5)/((-25)/(-34652)) a multiple of 42?
True
Suppose 7*z + l = 2*z + 13, 2 = -l. Suppose -28 - 23 = z*i. Let r = 12 - i. Is r a multiple of 26?
False
Let t(f) = -14*f + 7 + 2*f + 52*f**2 + 11*f + 9*f. Is t(-1) a multiple of 29?
False
Let s(r) = 2382*r + 2503. Is s(13) a multiple of 12?
False
Is 17 a factor of -5*(3107/52)/(1/(-4)*1)?
False
Suppose -2*d + 114 = 2*w, 3*d + 51 + 58 = 2*w. Is w a multiple of 14?
True
Suppose 4889 = 5*y + 2189. Is y a multiple of 9?
True
Suppose -425*w + 894166 = -150*w - 1974634. Is w a multiple of 3?
False
Let u be (-3 - (-58)/4)/(10/20). Does 23 divide (14 + -9)*u*7?
True
Let m = -787 - -793. Suppose -3124 - 3116 = -m*l. Is l a multiple of 44?
False
Let f = 5174 + -2545. Is 27 a factor of f?
False
Let m be -3 - ((1 + -33)*4 + -1). Suppose 5*o = -2*x - m, 3*o + 62 = x - 2*x. Let w = x + 161. Does 30 divide w?
False
Let w = -4232 + 4745. Is w a multiple of 89?
False
Let o(z) = -39*z**3 + z**2 - 6*z - 6. Suppose 4*h + 3*c = 2, c + 3 = 5*h + 10. Let g be o(h). Suppose -3*t = y - 39, -2*t = 5*y - g + 1. Is t a multiple of 3?
True
Let k = -227 - -230. Let j(b) = 35*b**2 - 3*b. Does 17 divide j(k)?
True
Let d = -62 - -93. Let l(a) = 10*a + 2*a**2 - d*a + 7*a - a**3 + 9*a**2 + 1. Is l(9) a multiple of 9?
False
Let w = -18625 - -28423. Is w a multiple of 60?
False
Let t = -461 - -462. Is 37 a factor of (3 - -1)*t/4*111?
True
Let y(l) = l**3 - 85*l**2 + 882*l - 313. Is y(77) a multiple of 9?
True
Suppose -784*v - 95064 = -818*v. Does 6 divide v?
True
Suppose 1014 - 740 = 2*z. Let i = -112 - -441. Let b = i - z. Is b a multiple of 53?
False
Let n = -185 - -222. Suppose -h - n*p + 34*p = -359, h = p + 371. Is h a multiple of 38?
False
