, 5*f - 227 = -0*f - 3*t. Is f a multiple of 16?
False
Let x(j) be the first derivative of j**3/3 + j**2/2 + 3*j + 3. Is x(4) a multiple of 7?
False
Does 6 divide 9 - (0 - 0) - -3?
True
Does 12 divide ((-8)/(-28))/(5/3535)?
False
Is 11 a factor of (40/(-50))/((-2)/110)?
True
Let z be (-25)/(-9) + (-10)/(-45). Suppose 4*n - 10 = -g + 6*n, -14 = 3*g + 5*n. Suppose -z*i + 195 = g*i. Is i a multiple of 13?
True
Suppose -4*x + 5 = -3*x. Suppose -5*p + x*q - q - 8 = 0, 0 = 4*p + 4*q - 8. Suppose -5*z - 5*i = -2*z - 86, -2*z + i + 66 = p. Is z a multiple of 16?
True
Suppose 228 = 4*c + 3*w, -2*w - 10 + 122 = 2*c. Suppose 0 = -10*l + 7*l + c. Is l a multiple of 6?
False
Let c(w) = -w**2 + 3*w - 2. Let j be c(2). Suppose 39 = 5*x - j*v - v, x - 7 = v. Does 3 divide x?
False
Let h = -53 - -71. Is h a multiple of 6?
True
Let a be (2 - -1)*88/12. Let n = a - -7. Is n a multiple of 11?
False
Let j(h) = -h**3 + 2*h**2 + 4*h. Let q be j(5). Let p = 121 + q. Is p a multiple of 22?
True
Suppose 7*a - 63 - 49 = 0. Is 15 a factor of a?
False
Let y be 2/(-4)*(-8)/(-1). Let g(c) = -1 + c**2 - 3*c - c - 1 - 1. Is 24 a factor of g(y)?
False
Suppose -3*l + 0*y - 24 = -y, 2*l - 2*y = -16. Let b(a) = -a**3 - 8*a**2 - 3*a - 9. Is 13 a factor of b(l)?
False
Suppose -7*v + 5 = -2*v. Let u(i) = -5*i**3 + v - 4*i**2 - 3 + 6*i**3 + i. Is u(5) a multiple of 14?
True
Let m = -18 + -11. Let a = 15 - m. Suppose -8*z + a = -4*z. Does 4 divide z?
False
Suppose -c - 4*c = -45. Let p(o) = -o**3 + 9*o**2 + 6*o + 2. Does 36 divide p(c)?
False
Let j(x) = -x**2 + 12*x + 8. Let g(z) = 2*z + 2. Let u be g(-2). Let a be -12*u*3/12. Does 17 divide j(a)?
False
Does 6 divide 2*2 + 217/7?
False
Is 65 a factor of 46/253 + (17148/22)/3?
True
Suppose -2*n + a = 3*a - 350, -5*a - 925 = -5*n. Suppose n = -0*o + 5*o. Does 18 divide o?
True
Let c = 38 - 29. Does 9 divide c?
True
Let w(z) = -6*z**2 + 13*z**2 + 3*z**2 - z. Suppose 4*p = 2 - 10. Is 16 a factor of w(p)?
False
Let t(f) = 2*f**2 + 6*f - 2. Let w be t(5). Let j be w/(-21) + 4/(-14). Let p(d) = 2*d**2 + d - 4. Does 12 divide p(j)?
True
Let h = -38 - -237. Suppose h = 5*x - 21. Does 22 divide x?
True
Let p = -2 - 0. Let i be (-13 + 1 - -2)/p. Is -25*((-14)/i + 2) a multiple of 15?
False
Let u = 10 + -8. Is (-2)/(1/(-62)*u) a multiple of 21?
False
Let c(n) = -8*n + 7. Let v(f) = -f. Let a(q) = c(q) - v(q). Is 17 a factor of a(-6)?
False
Suppose 0 = 5*z + 2*l - 35 - 692, -4*l = -z + 163. Does 12 divide z/6 + (-1)/2?
True
Let l(p) = -p**2 - 4*p + 2. Let w be l(-4). Suppose -4*h = w*d - 16, -12 = -2*h - 2*d + 3*d. Is 5 a factor of h?
True
Suppose 4*d - 4*x - 100 = 0, 3*x - 95 = -5*d + 2*x. Is 12 a factor of d?
False
Let z = -98 + 194. Is 16 a factor of z?
True
Let u(x) = x**2 - 2*x - 1. Suppose -3*d + 10 = -3*c - 2, 5 = -5*c. Let p be u(d). Suppose -5*f + 4*q = -233, -4*q + 8*q = p*f - 98. Is f a multiple of 17?
False
Let m = 165 - 116. Does 7 divide m?
True
Suppose 3*q + 16 = -q. Let s = -18 + 34. Let b = s + q. Does 6 divide b?
True
Suppose -2*y + 232 = 2*y. Let w = y - 35. Is w a multiple of 6?
False
Let f be 16/104 + (-262)/13. Let y be (-4)/10 - 48/f. Suppose -21 = -y*r - r. Is r a multiple of 3?
False
Suppose 140 + 344 = 4*p. Is 21 a factor of p?
False
Let b = -5 + 11. Does 11 divide (-3 - (-51)/b)*6?
True
Let s = 309 + -173. Let q = -78 + s. Is 12 a factor of q?
False
Suppose -2*a = -a - 4. Let b be (-2 - -2)/(1 - -1). Suppose -s - 13 = -3*d, b*d - s + 15 = a*d. Is d a multiple of 4?
True
Is (16 + 0)/(-1*(-2)/1) even?
True
Does 21 divide (10 + 4)/(6/9)?
True
Let r = 75 - 47. Is 5 a factor of r?
False
Let c(l) = -l**3 - l**2 + l - 2. Let b be c(2). Let n = b + 19. Is 4 a factor of n?
False
Let y(r) be the third derivative of r**6/120 - r**5/10 + 7*r**4/24 - r**3/3 + r**2. Let v be y(5). Is v*3 - -2 - 0 a multiple of 13?
True
Let g(l) = -l + 37*l**2 - l + 2 - 1. Is 15 a factor of g(1)?
False
Suppose 6 + 38 = n. Suppose g - n = -g. Is 11 a factor of g?
True
Suppose 4*i = 47 + 73. Suppose 142 + i = 4*d. Is 16 a factor of d?
False
Let n be 116/2*1/2. Suppose 2*l - 28 = 4*f + 6*l, -5*f = 3*l + n. Is 15 a factor of (-1064)/(-35) - f/(-10)?
True
Let i(d) = d + 11. Let r be i(-9). Let v = 15 + -9. Does 21 divide 126/r*2/v?
True
Let v be -5 - -4 - -7*1. Suppose -3*j = -v*j + 12. Suppose j*f + m - 13 = 3*f, 2*f - 2*m - 26 = 0. Is f a multiple of 7?
False
Suppose 4*v - 57 = -1. Is v a multiple of 3?
False
Let l(y) = 4*y - 8. Let a(z) = 0*z**2 + 0*z**2 - 6*z + 3*z**2 + 6 - 4*z**2. Let i be a(-6). Does 7 divide l(i)?
False
Suppose -4*h + 20 = h. Suppose -5*b = -h - 1. Is 22/b - 4/2 a multiple of 10?
True
Let o(s) = -44*s. Let k be o(1). Does 2 divide 16/24 - k/6?
True
Let c(n) = n + 32. Let j be c(0). Let d be (-3)/2*j/6. Let g(o) = o**3 + 8*o**2 - 4*o - 6. Is 15 a factor of g(d)?
False
Suppose 2*x = -0*x. Let v(u) = -u + 21. Is 7 a factor of v(x)?
True
Let d(m) = -m**2 + 7*m + 10. Let h be d(8). Suppose -g + 3*g + 4*k = 60, 5*k = h*g - 33. Is 14 a factor of g?
False
Let g = 3 + 4. Let v(l) = l**3 - 7*l**2 - l + 10. Is 2 a factor of v(g)?
False
Let x = 245 + -110. Is 27 a factor of x?
True
Suppose -2*s - 6 = -0. Let m be 3/s - -3*1. Suppose 4*g - 40 = 4*h, g - 1 = -m*h - 6. Is g a multiple of 5?
True
Suppose 26 = 3*p + 4*t, -2*t = p + p - 16. Let h be p/15 - 2/5. Suppose h = 2*l + 2*l - 152. Does 22 divide l?
False
Suppose -2*x = 2*j - j - 13, 0 = 4*x - 4*j + 4. Let u be x - (-5)/((-15)/6). Suppose 4*d - 76 = m - 0*m, 0 = u*m + 8. Is d a multiple of 9?
True
Let d(y) = 11*y**2 - 10*y - 4. Does 16 divide d(-3)?
False
Suppose -2*h = -3*h + 9. Let a = 4 - h. Is 28 + (-3 - (a + 3)) a multiple of 9?
True
Does 30 divide ((-6)/4 - -2)/(3/978)?
False
Let k = -37 - -53. Is 5 a factor of k?
False
Does 18 divide 55 - ((-6)/3 - -3)?
True
Suppose 0*i - 6 = -i. Suppose -i*t + 5*t = -3*q - 8, q = 0. Is 8 a factor of t?
True
Let l = 38 - 19. Is 6 a factor of l?
False
Let a = -36 - -76. Suppose -4*i + a = -0. Suppose i = -3*w + 49. Does 13 divide w?
True
Let g(f) = -f**3 - 6*f + 6*f**2 - 2*f**3 + 4*f**3 + 9. Let r be g(-7). Is 18 a factor of (r + 22)*8/6?
False
Let w(x) = -4*x. Let s be w(-4). Suppose -28 = -4*k + s. Does 3 divide k?
False
Let m(d) = d + 7. Let t be m(-3). Let f = -2 + 4. Suppose 4*j - 52 - 96 = t*o, -5*j = f*o - 171. Is 19 a factor of j?
False
Suppose 8*c - 11*c = -9. Suppose -2*u + 8 = -4*t - 6, 0 = 2*u + 4*t + 2. Suppose 63 + u = c*r. Is 11 a factor of r?
True
Suppose -5*f - 46 = -4*y + 91, -3*y + 3*f = -99. Does 9 divide y?
False
Does 6 divide (13/26)/(-2 + (-49)/(-24))?
True
Let z = 6 - -33. Is z a multiple of 13?
True
Suppose 1428 = 6*i - 2*i. Is 43 a factor of i?
False
Let r(j) = 3 - j + 0 - 5 + 2*j. Is r(8) a multiple of 2?
True
Let j = 9 - 4. Suppose 13 = z + 3*y - 2*y, -2*y - 100 = -j*z. Does 16 divide z?
False
Suppose -114 = -3*c - 3*c. Does 14 divide c?
False
Let v(l) = -l**3 - 8*l**2 - l - 4. Let c be v(-8). Suppose c*i - 116 + 20 = 0. Is 12 a factor of i?
True
Let k(o) = -o**3 - 8*o**2 - 10*o - 5. Suppose -3*h - 29 = -2*l, 3*h + 0*l + 25 = l. Does 9 divide k(h)?
False
Let a(i) be the second derivative of -7*i**5/5 + i**3/6 + 8*i. Does 6 divide a(-1)?
False
Is 1474/14 + (3 - (-23)/(-7)) a multiple of 24?
False
Suppose -m = 5*z + 8, 5*z - 5*m - 13 + 3 = 0. Let t(u) = -3*u - 21*u + 6*u - 14*u. Does 16 divide t(z)?
True
Suppose 3*g - 36 = -w, 5*g + 2*w = -2*w + 67. Does 5 divide g?
False
Suppose -4*a - 460 = -4*p, 31 = p - 5*a - 64. Is 15 a factor of p?
True
Suppose -2*i - i = -12. Let n(f) = -7*f**3 - f**2 - 11*f + 5. Let a(s) = -3*s**3 - 5*s + 3. Let g(r) = i*n(r) - 9*a(r). Does 13 divide g(-5)?
True
Does 15 divide (-2284)/(-9) + 6/27?
False
Suppose -5*v + 22 = -3*v. Let g be (-2 + (2 - 1))*v. Let p = 33 + g. Does 12 divide p?
False
Suppose -6*q - 40 = -2*q. Is (36/3)/((-3)/q) a multiple of 20?
True
Let b(k) = k - 1. Let d be b(-4). Does 4 divide (d - -3)/((-1)/2)?
True
Let s = 144 + -43. Does 21 divide s?
False
Is 26 a factor of 212/8 - (-2)/(-4)?
True
Let h = 2 - -5. Suppose 3*s - 26 = h. Does 11 divide s?
True
Let l(j) = -j**2 - 6*j - 5. Let z = -9 - -3. Let v be l(z). Is (28/v)/((-6)/30) a multiple of 14?
True
Suppose 2*g = -2*f + 554, 534 = 2*g - 3*f - 0*f. Is 18 a factor of g?
False
Let p(r) = 29 + 4*r**2 + 4*r - 3*r**2 - 29. Is 6 