 -2 - (-50534)/14 - 4/7. Suppose -9*s + l = -488. Is 65 a factor of s?
True
Let r(k) be the second derivative of -k**4/12 + 11*k**3/6 + k**2/2 - 11*k. Is 11 a factor of r(10)?
True
Suppose 3*f = 2*x - f - 4, -23 = 2*x + 5*f. Let b = x - -56. Is 13 a factor of b?
True
Let d = -808 + 831. Is 4 a factor of d?
False
Let j = 2698 - 1093. Is 15 a factor of j?
True
Let v(s) = s**2 + 6*s - 244. Does 6 divide v(14)?
True
Let b = -28 + 6. Let j = -64 - b. Does 13 divide (-3)/(-7) + (-3342)/j?
False
Suppose r - 1025 = -15*k + 14*k, 4*k = -2*r + 2054. Is 11 a factor of r?
True
Let d = -11 + 15. Suppose 4*t - t + 3 = 0, -3*n = -d*t - 283. Is 31 a factor of n?
True
Suppose 50976 = 690*i - 678*i. Is i a multiple of 9?
True
Suppose 5*n = -3*b + 652, -b + 5 - 6 = 0. Suppose 3*t - n = r, -3*r + 4*r = -5. Is 5 a factor of t?
False
Let s be 20/5 - (3 - 2). Does 17 divide s + -3 + (53 - 2)?
True
Suppose 16*x - 160 = 11*x. Let v = x + 6. Is 15 a factor of v?
False
Let w(g) = 7*g**2 + 19*g + 15. Does 20 divide w(12)?
False
Suppose -5*h + 8*h - 6 = 0. Suppose -z + 9 = h*z. Suppose 11 = 2*l - z. Is l a multiple of 2?
False
Let y(h) = -54*h + 3. Let s(b) = -27*b + 2. Let m(z) = 7*s(z) - 4*y(z). Is 8 a factor of m(1)?
False
Suppose -3*g = 5*j - 147 - 467, 1090 = 5*g - 5*j. Is g a multiple of 13?
False
Let c(g) = 13*g**2 - 19*g + 36. Let h(q) = 3*q**2 - 5*q + 9. Let s(r) = -2*c(r) + 9*h(r). Is s(-8) a multiple of 15?
False
Let c(u) = -30*u - 232. Let z be c(-8). Let a = 2 + 0. Suppose a*w - w - z = 0. Is 4 a factor of w?
True
Let x(f) be the second derivative of f**4/12 + 5*f**3/3 + 15*f**2/2 - 9*f. Is x(-12) a multiple of 14?
False
Suppose 27*p + 2315 = 14141. Is 5 a factor of p?
False
Suppose -18*u + 4730 = -2434. Does 3 divide u?
False
Let b(z) = 2*z**3 - 3*z**2 - 4*z + 1. Let o be b(3). Suppose 3*y = -23 - 7. Let l = o + y. Does 6 divide l?
True
Let i = 1447 + -1422. Is i a multiple of 6?
False
Let y(r) = 27*r - 7. Let t be y(-6). Let v = 301 + t. Is 44 a factor of v?
True
Suppose -4*x = -2*i + 2 + 4, 3*i + 3*x = 9. Suppose i*h = 4*h - 36. Is h a multiple of 9?
True
Let y(g) = -g**3 - g**2 - 5. Let a be y(0). Let j(q) = -2*q - 6. Is j(a) a multiple of 4?
True
Let x(t) = -t**2 + 14. Let k be x(-3). Suppose -3*c = k*l - 353, 4*l + 650 = -c + 6*c. Is 42 a factor of c?
True
Suppose -q + 57 = -4*v, q - v = 59 + 13. Does 10 divide q?
False
Let p be 10/50 - 18/(-10). Suppose -d + 6 = -p. Does 2 divide d?
True
Let d(s) = -2*s**2 - s + 17. Let y be d(-8). Let n = 55 + y. Is 16 a factor of (1 - 2)/(1/n)?
True
Let d = 2593 + -1754. Is 46 a factor of d?
False
Let w = 8 - 2. Suppose -3*f + w = -9, 5*f - 105 = -2*u. Does 40 divide u?
True
Does 4 divide (-8 + -40)*21/(-6)?
True
Let i(v) = 118*v - 56. Is i(6) a multiple of 19?
False
Let k be (-2)/(2/(-1*(-5)/(-1))). Suppose -222 = -k*p + 208. Is p a multiple of 43?
True
Let g = -17 - -26. Let n = g + -10. Does 7 divide (n + -20)*-1 - 0?
True
Suppose 4*r = -4*p + 44, -5*r + 5*p + 15 + 10 = 0. Suppose r*l + 25 = 9*l. Does 10 divide l?
False
Let c(j) = 7*j**2 + 24*j + 30. Is c(-5) a multiple of 15?
False
Let c(x) = -50*x**2 + 58*x**2 + 3*x - 4 + 1 - x**3. Does 3 divide c(8)?
True
Let j(w) be the third derivative of w**5/30 + w**4/3 - 5*w**3/6 - 16*w**2. Is j(6) a multiple of 21?
False
Let y be (-1)/(1*(-3)/48). Suppose 0 = 3*s - 5*k - 89, -2*k + 54 + y = 2*s. Is s a multiple of 7?
False
Let o = -596 + 986. Is o a multiple of 30?
True
Let y(l) be the second derivative of -l**3/6 + 3*l**2 - 10*l. Let o be y(3). Suppose 0*p + 5*p + o*w = 553, 5*w + 215 = 2*p. Is 16 a factor of p?
False
Suppose 0 = 2*h + 3*d - 1597, 92*h = 89*h - 4*d + 2395. Is h a multiple of 24?
False
Let c(a) = a - 32. Let h(b) = -b - 1. Let z(m) = c(m) - 4*h(m). Is z(15) a multiple of 30?
False
Let a be 50*(-1 - 189/(-15)). Suppose 6*t - a = 4*t + 2*o, -274 = -t - 3*o. Does 22 divide t?
True
Suppose 0*b + 5*b - 4*m = 140, -b - m = -37. Suppose 2*q = -2*x + b, 0 = q - 0*q. Let y = x + -6. Is y a multiple of 10?
True
Is -2*(479 - -5)*60/(-32) a multiple of 55?
True
Let d = 1115 + -907. Is 13 a factor of d?
True
Suppose -2*p + 4*v + 10 = 0, 3*p + 3*v = -2 - 1. Let j be -2 + -1 + 4 + 1. Suppose -x = t - p, 2*t - 10 = -5*x - j*t. Is 5 a factor of x?
False
Suppose -5*u = -2*u + 3*u. Suppose u = -7*p + 3*p - 3*k + 206, p - 43 = -5*k. Does 14 divide p?
False
Let q(o) = -o**2 - o. Let g(l) = 18*l**3 + 7*l**2 + 7*l. Let n(t) = -g(t) - 6*q(t). Let h = 208 + -209. Is 5 a factor of n(h)?
False
Suppose 3*i + 4 = i. Let w be 1 - (i - (245 - 1)). Suppose -3*l + w = 5*f - 174, 4*f - 5*l = 322. Is f a multiple of 21?
False
Suppose -37 = 3*r - 25, 5*n + 5*r = 910. Does 15 divide n?
False
Let g = 102 - -1. Let y = g + -64. Is y*((-8)/(-6) + -1) a multiple of 13?
True
Suppose f + 35 = -4*f. Let r(v) = v**2 - 15*v + 14. Is 24 a factor of r(f)?
True
Let g = 16 - 50. Let y be (4/(-8))/1*g. Suppose -j + 9 = -4*k - k, j - 3*k - y = 0. Does 29 divide j?
True
Let d be ((-12)/10)/((-3)/45). Let v be 94/18 - 4/d. Suppose -g + 62 = 2*p + p, -v*g - 3*p = -322. Is g a multiple of 22?
False
Let u(x) = -6*x - 10. Is u(-4) a multiple of 4?
False
Suppose 0 = d + 5*l + 528 - 1740, 2*d - 2412 = 2*l. Is 24 a factor of d?
False
Suppose 2*r = -r + o - 11, 20 = -4*r + 4*o. Let m be 10 + 0*r/6. Suppose -4*t + 4*f + 59 = -217, 2*f + m = 0. Is 11 a factor of t?
False
Does 18 divide -47*(2/(-6) - 11/3)?
False
Let h be (-2)/5 - (-12)/5. Suppose h*n - 5*k + 2 = -15, -2*k + 6 = -n. Is 1*(-1 + n + 13) a multiple of 14?
False
Let n(g) = -51*g**2 + 16*g + 11. Let m(r) = 10*r**2 - 3*r - 2. Let y(d) = -11*m(d) - 2*n(d). Let p be y(1). Is (-3)/(-7) + (-354)/p a multiple of 14?
False
Let q(w) = -w**2 + 18*w - 13. Let v be q(14). Suppose 35 = 3*n - v. Suppose o = -n + 105. Is o a multiple of 17?
False
Let a(u) = -u**2 + 5*u - 3. Let r be a(4). Does 54 divide (2/(-8))/(((-1)/1252)/r)?
False
Let x be 184/18 - (-10)/(-45). Suppose -2*q - x = -7*q. Suppose 5*j = q*j + 45. Does 5 divide j?
True
Suppose -48 = 3*v + 3*v. Is -3 + (-789)/(-12) + 6/v a multiple of 32?
False
Is (-6 - (-2465 + -1))*(-10)/(-25) a multiple of 24?
True
Suppose 2*k = w + 488 + 668, 2*k = 5*w + 1172. Does 52 divide k?
False
Suppose i = -0*i + 2. Suppose -2*z + 6*s + 12 = 2*s, 0 = -3*z + i*s + 6. Suppose 2*n - 13 - 127 = z. Is 17 a factor of n?
False
Let c(s) = -3*s + 1. Let p(r) = -32*r - 1. Let a(l) = -6*c(l) + p(l). Suppose 4*o - 4*k = 0, 2*o + k + 12 = -0*k. Is 10 a factor of a(o)?
False
Let w(i) = 3*i**2 + 13*i + 1100. Is 50 a factor of w(0)?
True
Let n = 418 + 290. Is n a multiple of 12?
True
Suppose 2400 = 37*f - 33*f. Is 40 a factor of f?
True
Let a(n) = 13*n + 50. Is a(0) a multiple of 5?
True
Let n(d) = d**2 + 5*d - 30. Let a be ((-4)/(-4))/(3/(-45)). Is 12 a factor of n(a)?
True
Let h be 2 - ((-6)/3 + -106). Suppose 2*p + 3*z + 62 = 5*z, 2*p + z = -74. Let k = h + p. Does 15 divide k?
True
Let u be (12/8)/((-3)/(-8)). Suppose 5*f - 5*x - 5 = 0, -u*x - 22 = 3*f - 2*x. Does 2 divide 1*f + 3 - -5?
True
Suppose f + 2 = 0, -8*f - 84 = 4*a - 10*f. Suppose 5*v - 3*s - 183 = 0, 1 = -s - 0. Let k = v + a. Does 14 divide k?
True
Let l = 265 - -31. Does 3 divide l?
False
Suppose 13 = -11*d + 46. Suppose -d*g - 2*g = -400. Does 40 divide g?
True
Suppose -40 = 2*o - 42. Is 13 a factor of (-194)/3*-3 - (0 - o)?
True
Let x(c) = 4*c**2 + 28*c - 207. Does 66 divide x(11)?
False
Suppose 0 = -33*h + 29*h + 864. Does 7 divide h?
False
Does 27 divide 7/((-70)/(-8096)) + 32/80?
True
Let a(q) = q**3 - 7*q**2 + 4*q - 20. Does 7 divide a(9)?
False
Suppose 0 = -z - 3, 4*z - 19815 = -5*l - 7287. Does 44 divide l?
True
Let j = 34 - 34. Suppose j = 4*n + 21 - 13. Does 3 divide (n + 2 - -1) + 6?
False
Let c be 90/(-25)*(28 - 3). Let y = c + 114. Does 3 divide y?
True
Suppose 2*c - 6*c = 0, 0 = 5*s + 3*c - 800. Does 10 divide s?
True
Let n be (-3 + 0)*20/(-15). Does 29 divide n/(3 - 172/58) + 0?
True
Suppose p - n = -0*n - 14, 2*p - 4*n + 36 = 0. Let z = p - -16. Is z a multiple of 3?
True
Let i(f) = -6*f + 4*f**2 + 2*f + 7*f**2 + 4*f**2. Is i(3) a multiple of 27?
False
Suppose 11 + 2 = 4*p + v, -29 = -5*p + 3*v. Suppose -p*l + 112 = -0*l. Suppose c = -o + l, 2*c - 62 - 24 = -3*o. Is 10 a factor of o?
True
Is 49 a factor of ((-12)/5)/3 + (-183870)/(-150)?
True
Suppose 0 = o 