
Suppose -2*u - 22 + 4 = 0. Let t = u + 1. Let r = t - -17. Is r a multiple of 9?
True
Suppose 3*c - 2*c - 1 = 0. Suppose 3*f + 6 = -4*x - 9, f + 2*x + 7 = 0. Does 19 divide 76/2 - f - c?
True
Suppose 0 = 2*h - 9 - 1. Suppose -j = 3*a + 1, -2*a + h*j + 2 + 3 = 0. Is 19 a factor of (-2 - -3)*(38 - a)?
True
Suppose u - 118 = 62. Let j = 290 - u. Suppose 3*x - j = 1. Is x a multiple of 17?
False
Suppose -d + j = -5 - 64, -d = 5*j - 51. Is 33 a factor of d?
True
Let c be (1 + (-1 - 0))/1. Suppose -v + c*v + 18 = 0. Is (v/8)/(4/48) a multiple of 8?
False
Let a(q) = -q**2 + 8*q + 2. Let f be a(8). Suppose 65 = n - 5*z, 0*n + 4*n + 4*z = 356. Suppose 105 = -0*p + 4*p + c, -3*p - f*c + n = 0. Is 9 a factor of p?
False
Let f(c) = c**3 + 15*c**2 - 17*c + 22. Does 19 divide f(-16)?
True
Let v = 611 + -380. Does 32 divide v?
False
Let u = -47 + 50. Is 2 a factor of u?
False
Let t(h) = 2*h**2 + 4*h - 3 + 3 - 5. Does 11 divide t(-5)?
False
Let k be -1 + 11 - (-1)/1. Suppose -k - 19 = 3*m. Is m/(-1*2/5) a multiple of 10?
False
Suppose 2*r - 295 = 5*u + 16, -2*u - 302 = -2*r. Is r a multiple of 27?
False
Suppose -3*r = -3, 3*r = 2*f + f - 93. Does 11 divide f?
False
Suppose 5*j + r + 10 = 0, r - 10 = 5*j + 3*r. Suppose -43 = 4*d - 19. Does 12 divide d/((-1)/(6 + j))?
True
Let p(z) = -z**2 - z - 1. Let b(x) = x**3 - 6*x - 6. Let k(y) = b(y) - 4*p(y). Is 10 a factor of k(-2)?
True
Let d(c) = -16*c + 4. Is 6 a factor of d(-3)?
False
Let p(y) = y**2 - 9*y + 7. Let c(v) = 2*v**2 - 19*v + 15. Let i(t) = -4*c(t) + 9*p(t). Let d be i(3). Is ((-18)/(-7))/(d/(-42)) a multiple of 18?
True
Is (-3690)/(-14) - 80/140 a multiple of 48?
False
Suppose 5 = 4*b - 15. Let r(k) = -k**3 - 2*k**2 - 3*k - 1. Let z be r(-2). Suppose -30 = -b*c + z. Does 7 divide c?
True
Let h = -1 - -1. Let q = -1 + 3. Does 6 divide h + (-2 - -10) - q?
True
Let s(p) be the second derivative of -p**4/12 + 7*p**3/6 + 7*p**2/2 + 6*p. Is 7 a factor of s(7)?
True
Suppose -2*c = 4*q - 334, 221 = 4*q + 4*c - 119. Suppose 3*o + 4 - q = 0. Does 6 divide o?
False
Let i(f) = f**3 - 3. Is i(4) a multiple of 14?
False
Let p = -143 + 209. Is p a multiple of 11?
True
Let w be 153 - (-3 - -3 - 3). Suppose -2*p + 3*j + 54 = 0, 0*p - 5*p - 3*j = -w. Is 16 a factor of p?
False
Let k(j) = j**3 + 7*j**2 + 9*j + 7. Let g be k(-6). Let t = g - -37. Does 13 divide t?
True
Suppose -491 = -2*i - 5*a, 8*a - 3*a = -5*i + 1220. Does 27 divide i?
True
Let d = -31 + 46. Suppose -b = -6*b + d. Suppose 4*g + 7 + 7 = b*v, -5*v - g = -54. Does 5 divide v?
True
Let s be 2/(-6)*(-10 + 1). Let d be (4/6)/(s/540). Suppose -4*b - b + d = 0. Is 12 a factor of b?
True
Let c(o) = -60*o - 4. Does 29 divide c(-2)?
True
Let m(p) = -18*p - 15. Is m(-3) a multiple of 13?
True
Let n be (3 + 1)*21/28. Suppose -2*w = -4, -n*w + 14 = f - 4. Suppose -g + 28 = f. Is 7 a factor of g?
False
Let c = -18 - -20. Suppose -c*h - 4 = 0, -2*f + 9 = -3*h - 13. Is f a multiple of 4?
True
Suppose -p = 10 - 29. Let k = p + -12. Does 7 divide k?
True
Is (168/(-98))/(-2*2/14) a multiple of 6?
True
Let c(h) = 4*h**2 - h + 12. Let r(q) = 5*q**2 - q + 12. Let d(s) = 6*c(s) - 5*r(s). Let b be d(0). Is ((-7)/4)/((-3)/b) a multiple of 7?
True
Suppose -l + 2*l + 9 = 4*a, -5*a = -5*l. Suppose -3*h - 139 = -0*f - 4*f, h + 108 = l*f. Does 15 divide f?
False
Let y(s) = 5*s**2 + s. Let q be y(-1). Suppose 3*z = q + 2. Is z even?
True
Let y(z) = -7*z. Suppose -3*x + 2*x = 1. Let c be 0 + x + 1 + -2. Is y(c) a multiple of 6?
False
Suppose -5*j + 4*o + 205 = 0, -3*o + 84 = 3*j - 12. Is 8 a factor of j?
False
Suppose 25 = 3*g - 113. Is g a multiple of 23?
True
Let h be -1*(64 + 1 + -3). Does 24 divide (-8)/(-20)*(-2 - h)?
True
Is 19 a factor of -76*3*(-2)/12?
True
Suppose -1 = 2*m - 3. Is (-1)/2*(-13 + m) a multiple of 6?
True
Let r(a) = -a**3 + 7*a**2 + 9*a - 9. Let o be r(8). Let m be ((-1 - o) + -24)*-1. Suppose 5*w = 5*g - 190, -2*g - 4*w + 22 = -m. Is 11 a factor of g?
True
Let m = -55 - -118. Does 9 divide m?
True
Does 19 divide ((-3)/(-4))/(4/496)?
False
Let w be 38/(-10) + (-10)/50. Is 13 a factor of (-13)/(-26) - 142/w?
False
Let h(i) be the second derivative of i**4/6 - 4*i**3/3 + 5*i**2/2 - i. Is 10 a factor of h(5)?
False
Suppose 0 = 5*u - 25. Suppose 25 + 80 = -u*o. Let g = 46 + o. Is 7 a factor of g?
False
Suppose -3*o = 4*f - 18, 0 = f - 3*o - 0 + 3. Let b(u) = 1 - f*u**2 + 0 + 8*u**2. Does 6 divide b(-1)?
True
Let z be 1/(-4) + 148/16. Let k be (-1)/(-3) + (-150)/(-9). Let q = k - z. Is q a multiple of 5?
False
Let y(i) = -7*i - 7. Let u be (-6)/9 + 39/(-9). Is 14 a factor of y(u)?
True
Let d(q) be the second derivative of 2*q**3/3 - 5*q**2/2 + 2*q. Let f be d(-4). Is f*(-2 + 8/6) a multiple of 7?
True
Suppose -20 = 4*m, 0*m + 3*m + 92 = v. Does 17 divide v?
False
Suppose 895 = -0*r + 4*r - 3*v, -5*r + v + 1105 = 0. Suppose 5*g = -20 + r. Suppose 0 = 4*p - g - 44. Does 7 divide p?
True
Suppose i - 1 = -4*q + 1, -5*q = -i + 2. Let j(y) = y**2 - 2*y + 12. Is j(q) a multiple of 6?
True
Let v(x) = 7*x**3 - 4*x**2 + 8*x + 7. Does 23 divide v(3)?
True
Is 15 a factor of 1743/28 + (-2)/8?
False
Suppose -3*w + 1007 = -73. Does 24 divide w?
True
Suppose -2*w = -0*w + 70. Let s(u) = -u**2 + u - 1. Let j be s(-3). Let d = j - w. Does 11 divide d?
True
Let a(k) = k**2 - 7*k + 3. Let p be a(8). Let v = p + 8. Is 8 a factor of v?
False
Suppose -19*l + 3*l + 4368 = 0. Is 13 a factor of l?
True
Let s(g) = g**3 + 4*g**2 - 4*g + 6. Let m be s(-5). Let c(h) = -9 + 0 - 5*h + 2*h + m. Is 12 a factor of c(-8)?
False
Suppose o - 5*u = -o - 11, 14 = -4*o + 2*u. Let i(q) = -q - 1. Let z be i(o). Suppose z*m + 2*d = 3*m - 12, -m + 3 = -5*d. Is 9 a factor of m?
True
Suppose q - 5*q = -12. Suppose 5*k - 7 = q. Is k a multiple of 2?
True
Let t(r) = -4*r**2 + 3*r - 3. Let y(z) = -5*z**2 + 4*z - 4. Let v(f) = 4*t(f) - 3*y(f). Let s be v(0). Is 11 a factor of -17*((s - 3) + 2)?
False
Suppose -46 = 4*x - 2*z, -3*z - 7 = x - 2*z. Is ((-156)/x)/((-4)/(-10)) a multiple of 10?
False
Let w = 8 + 7. Let x = w + -4. Does 6 divide x?
False
Let x(f) = 6*f. Let h be x(4). Suppose 5*b = y - 17, -y + h = b + b. Does 12 divide (y/6)/(3/18)?
False
Suppose 0 = 3*p - 2*m - 37, 8 = 4*m - 2*m. Let y = 41 - p. Is y a multiple of 9?
False
Suppose -i = -0 - 13. Let o = i + 15. Suppose s - o + 8 = 0. Is s a multiple of 20?
True
Let h(w) = -w**3 + 12*w**2 - 10*w + 1. Is h(11) a multiple of 6?
True
Let v(w) = -w**2 - w + 6. Let s be v(0). Let a = s - -2. Is a a multiple of 3?
False
Suppose -z + 65 = p, z = -0*z - 2*p + 70. Is 20 a factor of z?
True
Suppose 5 = -5*s, -3*f + 2*s = -s. Does 18 divide (-20)/(f - 2 - -2)?
False
Let x(w) = -2*w + 0*w - 3 + 8. Suppose 12 = -6*p + 4*p. Is x(p) a multiple of 9?
False
Let a(s) = -s**3 + 9*s**2 + s - 16. Is a(8) a multiple of 28?
True
Let h = 7 + -7. Suppose h = -5*d + 20 + 10. Does 6 divide d?
True
Is ((-16760)/(-65) - -2) + (-2)/(-13) a multiple of 13?
True
Let a be (-11)/(-33) + 7/(-3). Let i(z) = -z + 4*z - 5*z. Is i(a) a multiple of 4?
True
Let c be 54/7 - (-4)/14. Let g = 7 - c. Does 10 divide 10 + (g + 2)*2?
False
Let y = 138 - 85. Is y a multiple of 14?
False
Suppose 3*l - 96 = -b, -l + 113 = 2*b - 79. Is b a multiple of 16?
True
Let k = 1 - -22. Is 11 a factor of k?
False
Let m = 3 - -1. Suppose -b = 5, -b = -m*s - 3*b - 10. Suppose 25 = -s*z + 5*z. Does 4 divide z?
False
Suppose 4*r - l - 218 = -r, -5*r + 5*l = -210. Let z = r - 10. Does 17 divide z?
True
Let x(l) = 9*l - 9. Is x(6) a multiple of 12?
False
Let v(x) = 3*x + 8. Let n be v(-7). Let a = n - -29. Is a a multiple of 8?
True
Let l be (2 + 1)/((-18)/(-24)). Suppose -7 = -g - 3*f - 4, -l*f = 4*g - 4. Suppose g = 2*d + d - 39. Is 13 a factor of d?
True
Suppose 5*n + 5*j - 99 + 9 = 0, -j = -n + 28. Let m = 1 - n. Let b = m - -64. Is b a multiple of 14?
True
Let x be (-114)/(-15) - 9/15. Is 3 a factor of (-2)/x - (-74)/14?
False
Let m(w) = w**3 - 4*w**2 - 5*w - 1. Let g be m(5). Let u(n) = 16*n**2 - n. Is 10 a factor of u(g)?
False
Let x = -36 - -18. Let h = x - -29. Is h a multiple of 7?
False
Let s be (1 - (-4)/(-8))*-4. Is (-1238)/(-18) - s/9 a multiple of 25?
False
Let k(d) = 2*d. Let b be k(5). Let u be 4/b - 3/(-5). Is 13 a factor of u - (-34 - 1 - 1)?
False
Suppose 8*h = 11*h - 492. Is h a multiple of 41?
Tru