i = -38 - -44. Suppose -i*y + 204 = -2*y. Is y a multiple of 5?
False
Let u(a) = -a**2 + 6*a + 749. Is 11 a factor of u(0)?
False
Let t be (1 - 6*-5 - 2) + 0. Suppose 5*r + 1 = -64. Let s = r + t. Does 4 divide s?
True
Suppose -5*j + 9 = -21. Let o = j + -17. Let g = o - -13. Is g even?
True
Let n(x) = 58*x**2 + x + 1. Let j be 5*((-1 - 0) + 2). Suppose -j*b + 12 = 2*d, 5*d + 3*b = 5*b + 1. Is 10 a factor of n(d)?
True
Let j(s) = s**2 - 9*s - 3. Let v be j(10). Suppose -192 = v*r - r. Let i = r - -66. Is i a multiple of 18?
False
Suppose -3*b + 130 = -5*b. Let a = -97 - -84. Let l = a - b. Is 19 a factor of l?
False
Let b be ((-140)/(-6))/((-3)/(-18)). Suppose -b = 5*y + 40. Let g = 80 + y. Is 11 a factor of g?
True
Suppose 5*p = -3*y - 42, -31 = y + 4*p - 10. Let n be ((-4)/6)/(3/y). Is 50/n + 2 + 1 a multiple of 14?
True
Let o(u) = -3*u + 12. Let v be o(6). Let g = v + 2. Does 22 divide 67 + (3 - -1)/g?
True
Suppose -5*v = 0, -2*p - 2*v - 25 = 5. Suppose -4*o = 5*f - 278, -3*f - 2*f = -10. Let t = o + p. Does 13 divide t?
True
Suppose -3*g - g = -c - 38, -5*g = 5*c + 290. Let f(j) = 15*j - 64. Let n be f(11). Let r = c + n. Is r a multiple of 10?
False
Let w(t) = t + 40. Let h be w(-20). Suppose 8*f = h*f - 120. Is f a multiple of 3?
False
Suppose -5 = i + 5*d - 0*d, 3*i = d + 1. Suppose -3*p + 4*q = 64, -4*p - 4*q + i*q - 76 = 0. Let u = -11 - p. Is u a multiple of 2?
False
Suppose -2*u + 273 = 2*l - 267, -1064 = -4*l + 4*u. Suppose -4*c - 4*s = -l, -4*c + 3*s + 274 = s. Does 18 divide c?
False
Suppose 0*d + 4*d + 60 = 0. Let i = 5 + d. Does 2 divide ((-18)/i)/((-3)/(-10))?
True
Let r = 1229 - 390. Is r a multiple of 11?
False
Suppose -o + 13*s = 8*s + 12, -o + 3*s - 6 = 0. Does 3 divide (1 - (-8)/(-12))/(o/117)?
False
Let c(i) = -2 - 4 + 6 + 45*i + 6. Is 12 a factor of c(2)?
True
Suppose -2 = -5*i + 8. Suppose 0*l - l - i*z = -104, -z + 105 = l. Is 1/(4 - 422/l) a multiple of 16?
False
Suppose 5*d - 4100 - 2335 = 0. Is d a multiple of 92?
False
Suppose -5*f = -10, r - 3*f + 18 = -r. Let s(w) = 3 + 2*w + w**2 - 2*w - 2*w. Is 20 a factor of s(r)?
False
Let r = 4898 - 3202. Is 8 a factor of r?
True
Let j(r) = 4*r**3 + 2*r**2 - 25*r + 7. Does 65 divide j(9)?
True
Suppose o + a = 1891, -3*o - a = 3*a - 5675. Is o a multiple of 48?
False
Suppose 0 = 5*z - 0*y + y - 626, 0 = 2*z + y - 251. Does 3 divide z?
False
Let s = 5078 + -3471. Is s a multiple of 112?
False
Does 62 divide 93/(((-9)/50)/(-3))?
True
Does 136 divide (-1207569)/(-222) + (-1)/(-2)?
True
Let v be 3 - (-3 - -4 - 1). Suppose -98 = -v*c + 2*c. Let m = c + -61. Does 13 divide m?
False
Let l(h) = 6*h**2 + 4*h + 3. Suppose 3*b + 3*b + 18 = 0. Does 31 divide l(b)?
False
Let z(c) = 8*c**2 - 44*c - 17. Is z(7) a multiple of 7?
False
Let v(g) = -g + 3. Suppose 5*f - 20 = q, 2*q = 4*f - 0 - 10. Let x be v(f). Is 5 + (-4)/(x + 6) a multiple of 2?
True
Let n(a) = 44*a + 44. Is n(5) a multiple of 4?
True
Let u be (-28)/(-6) + 16/(-24). Suppose -u = 5*k - 19. Suppose -39 + 9 = -k*i. Is 5 a factor of i?
True
Let z = -408 - -1552. Does 16 divide z?
False
Suppose -17*c + 1899 = -260. Is 8 a factor of c?
False
Suppose 4*w = -0*w - 2*o + 382, 5*w - 497 = 4*o. Let d = -13 + w. Suppose 0 = -9*p + 8*p + d. Does 37 divide p?
False
Let c be (-65)/(-13) - (2 + 33). Is 2/(-15) - 6874/c a multiple of 37?
False
Suppose -252*a + 245*a = -5586. Is a a multiple of 6?
True
Suppose p = -2*l + 12, 5*p + l - 15 = -0*l. Suppose -2*t = 5*u - 181, 0*u + 166 = p*t + 2*u. Suppose 5*q = 3*f - 2*f - t, -q = -4*f + 236. Does 22 divide f?
False
Suppose -1155*n = -1162*n + 15295. Is n a multiple of 17?
False
Suppose 0 = 2*f + 5*m - 3727, -1857 = -f + 33*m - 29*m. Does 58 divide f?
False
Let i = -7 - 6. Let x = 17 + i. Suppose -a - x*a = -20. Is a a multiple of 3?
False
Let f(p) = p**3 - 7*p**2 - 10*p - 16. Let b = 10 - 1. Is f(b) a multiple of 28?
True
Suppose -5*f - 3*i + 0*i = 186, 4*f - 2*i + 162 = 0. Let y = f + 60. Is y a multiple of 17?
False
Let j(n) = 2*n**2. Let h(x) be the second derivative of x**3/6 - 9*x**2/2 - 6*x. Let f be h(4). Is j(f) a multiple of 14?
False
Suppose -493 = -2*q + 3*m, q - 2*q + 4*m + 249 = 0. Does 4 divide (1/(-6))/(-1) - q/(-42)?
False
Let g(t) = -7*t + 2. Let n(c) = 2*c - 2. Let y be n(-2). Does 22 divide g(y)?
True
Let o(k) = -4*k - 19. Suppose -6*x - 109 = 5. Does 19 divide o(x)?
True
Let q be 40/12*(-6)/(-5). Suppose 12 - 17 = 5*x. Is x - q/((-4)/83) a multiple of 18?
False
Let a = -103 + 241. Suppose 4*f - 5*p - 565 = -0*f, -a = -f - 2*p. Does 20 divide f?
True
Let x(z) = 4*z**2 + 3. Let u(v) = 5*v**2 - v + 2. Let w(g) = 5*u(g) - 6*x(g). Let q be w(6). Is 1 + ((-92)/2)/q a multiple of 11?
False
Let f(d) = 2*d**2 - 4*d + 3. Let j be f(3). Does 7 divide 0 + 47 - (-11 + j)?
True
Let u(z) = z**3 + 12*z**2 - 19*z - 32. Let m be u(-13). Suppose j = m - 10. Is 4 a factor of j?
True
Suppose 0 = -2*d + 3*x + 349, -4*x = 17 + 3. Is 20 a factor of d?
False
Let z(y) = 274*y + 16. Does 35 divide z(5)?
False
Let l(v) = -1. Let g(n) = -n - 3. Let t(b) = g(b) + 6*l(b). Let k be t(-11). Suppose 4*j - k*h = 22 + 34, -20 = -5*h. Is j a multiple of 4?
True
Suppose -5*l = 5*n - 390, -8 - 12 = -4*l. Let z = -46 + n. Does 26 divide z?
False
Let o(r) = -r - 23. Let b be o(-14). Let q = 5 - b. Suppose -q = i - 62. Does 12 divide i?
True
Let t = 742 + -545. Is t a multiple of 12?
False
Let t = 26 + -26. Suppose -5*x + 278 = -2*h, t = -3*x + h + 62 + 104. Does 9 divide x?
True
Suppose 3*x = 2*f - 22, 0*f + 4 = 2*f. Is 23 a factor of (4/x)/((-12)/2250)?
False
Does 10 divide -40*7/14*-13?
True
Suppose y + 0*k = 4*k + 1443, 0 = -2*y - 4*k + 2922. Does 70 divide y?
False
Is 13 a factor of (5 + 497)*3/6?
False
Suppose 3*d - t + 3*t + 50 = 0, 80 = -3*d + 4*t. Is ((-20)/(-6))/(1/(1 - d)) a multiple of 13?
False
Let q(o) = -o**3 - 18*o**2 + 16*o + 40. Let y be q(-18). Let x = 392 + y. Is x a multiple of 24?
True
Let b(h) = 15*h - 32. Let a = -57 - -61. Is 9 a factor of b(a)?
False
Let d = 1688 + -113. Is d a multiple of 63?
True
Let b(x) = -3*x + 95. Is b(-13) a multiple of 42?
False
Is 3 a factor of 1/(1 - 508/512) - -2?
False
Let h = -27 + 10. Let n = h - -47. Does 5 divide n?
True
Suppose 23 = -28*h + 79. Let k(t) = 28*t - 1. Let r be k(1). Suppose h*n - r - 75 = 0. Is n a multiple of 17?
True
Suppose -s = 4*c + 10, 5*c = 4*s + 2 - 25. Is 16 a factor of 0 + 4 + (-114)/c?
False
Suppose 3*t + 117 = 2*p, -6*p - 66 = -7*p + 3*t. Does 3 divide p?
True
Is (11 - 8) + 96 - (0 + -4) a multiple of 3?
False
Is 17 a factor of (0*(-6)/(-12))/(-1) + 42?
False
Suppose -3*t - 130 = -0*w - w, -2*t - 260 = -2*w. Let v be 9/3 - (2 + 1). Suppose -w = -v*q - 2*q. Is q a multiple of 13?
True
Let s(f) = 6*f - 9. Let u be s(3). Suppose 5*z = l + 205, -11*l + u*l - 50 = -z. Is z a multiple of 20?
True
Let q(s) = -75*s - 26. Is 10 a factor of q(-6)?
False
Suppose 7*d + 13 - 13 = 0. Suppose -b + 5*u - 12 + 65 = d, -5*b = -u - 241. Is 28 a factor of b?
False
Let l be (-4)/14 + (-2456)/28. Let q = 27 - l. Is 23 a factor of q?
True
Let x(t) = -3*t - 3. Let q be x(0). Let p be 1*(0 - 3) - q. Suppose p = -6*a - 76 + 556. Does 20 divide a?
True
Suppose 6*q - 5 = 19. Suppose 0 = 4*y + 2*i - q*i - 764, -2*y - 4*i = -392. Is y a multiple of 16?
True
Suppose 2*n + 0*n = 86. Suppose -2*x + 421 = n. Suppose 2*y - x = 31. Is 31 a factor of y?
False
Suppose 6*q - 732 = 414. Is q a multiple of 67?
False
Is (-13)/(-676)*8 - 4990/(-13) a multiple of 24?
True
Let y(l) = 14*l**2 - l + 9. Let q be y(6). Let i = q + -342. Does 43 divide i?
False
Suppose -2*l + 0*l - 28 = 4*g, -2*l = g + 1. Let q be 10/3 - 6/g. Suppose 0 = -3*f + q*f - 9. Is f a multiple of 9?
True
Is 63 a factor of (-1)/(-2) - 14/(308/(-1375))?
True
Let z(n) = -n**3 + 29*n**2 + 61*n - 25. Let b be z(31). Let d be (-2)/3 + (-224)/6. Let k = d - b. Does 13 divide k?
False
Suppose 0 = -4*i - 4*c + 308, 2 + 7 = -3*c. Let g = i + 0. Let o = g - 29. Is o a multiple of 11?
False
Let h = 18 - 14. Let m be h/(-18) - 6704/(-36). Let r = m + -122. Is 16 a factor of r?
True
Is 9 a factor of 18*(-10)/(-8)*(-5208)/(-155)?
True
Suppose 0 = -4*v + v + 21. Suppose -223 = -v*l + 127. Does 25 divide l?
True
Suppose -4*c - 23940 = -22*c. Is c a multiple of 95?
True
Suppose 160*n + 48 = 161*n. Is 42 a factor of n?