tiple of 11?
True
Let p(d) = d**2 - 9*d + 46. Is 16 a factor of p(25)?
False
Suppose 0 = -7*h + 2*h. Let o be (h/(-4) - -2)*1. Suppose -2*k = -4*s + 62, o*s - 2*k + 16 = 4*s. Does 6 divide s?
False
Does 14 divide (-24013)/(-5) - (-132)/(-220)?
True
Let h = 103 + 22. Is 2 a factor of h?
False
Let d(o) = -5*o + 3. Let v(l) = -5*l + 4. Let f(h) = 4*d(h) - 3*v(h). Let s be f(-5). Suppose 2*q - s = 19. Does 11 divide q?
True
Let m(x) = 33*x**2 + x + 26. Is m(-5) a multiple of 46?
False
Let d be (-24 - 1/(-1)) + 4. Let t(n) = -9*n + 1. Does 43 divide t(d)?
True
Let v be 84/(-35)*(-1120)/6. Suppose 6*o + o = v. Does 16 divide o?
True
Let m = -5 + 10. Suppose -3*o - 662 = m*g, 2*o = 3*g + 6*o + 395. Is g/(-3) - 2/(-3) a multiple of 13?
False
Suppose 9*u = 4*u - 1295. Let t = 387 + u. Does 16 divide t?
True
Suppose p = -2*f + 8 + 62, 74 = 2*f + 2*p. Suppose 0 = -f*l + 35*l - 22. Is l even?
False
Let j be (-50)/(-6) - (-5)/(-15). Let i(r) = 5*r + 5. Let b be i(j). Suppose 39 + b = 3*w. Does 6 divide w?
False
Suppose 2*q + 180 = 6*q. Is q a multiple of 4?
False
Is 15 a factor of 147/(2 + (-6)/12)?
False
Suppose 18*w - 1172 = -2. Is w even?
False
Let b(p) = -195*p + 3. Let l be b(2). Let t be l/(-4) + 2/8. Suppose 3*y = -y + 3*v + 131, 0 = 3*y - v - t. Is 16 a factor of y?
True
Let g(r) = 23*r**2 + 4*r - 13. Let x(z) = -12*z**2 - 2*z + 7. Let m(d) = 6*g(d) + 11*x(d). Let f be m(1). Suppose -2*s = -35 - f. Is 18 a factor of s?
False
Is (0 - -14)/((-28)/(-154)) a multiple of 11?
True
Suppose -2052 = -12*a + 6*a. Does 7 divide a?
False
Is 20 a factor of -1*(3 + -1) + 282?
True
Suppose -114*d + 17280 = -108*d. Does 18 divide d?
True
Let z(q) = -q**3 - q**2 + 588. Let c be z(0). Does 7 divide 1/2*c/6?
True
Suppose -2*a - 102 + 38 = 0. Let q = -19 - a. Is q a multiple of 9?
False
Suppose -k = -2*y - 0*k + 8, 4*y + 2*k - 24 = 0. Suppose -s = -3*s + p + 273, 0 = -2*s + 4*p + 264. Suppose -y*g = 48 - s. Is g a multiple of 3?
True
Suppose -t - 228 = 2*t. Let c = t + 149. Let d = c - 8. Does 13 divide d?
True
Suppose 0 = -w - 1, 0 = 2*z - 5*w - 2 + 21. Is 2 a factor of 0 + (-4)/8*z?
True
Let j(s) = s**3 + s**2 + 4. Let o be j(-2). Is 13 a factor of (58 - 4 - 2) + o?
True
Let q = -120 - -206. Is 5 a factor of q?
False
Suppose 13*s = 3*s + 60. Suppose -14*k + s*k = -648. Is 20 a factor of k?
False
Let x(h) = h**2 - 5*h + 21. Let c(u) = -u**3 - 5*u**2 + 12*u - 7. Let n be c(-7). Does 31 divide x(n)?
False
Let g(u) = 2*u**2 + u - 2. Suppose -3*c = c + 3*z + 4, 24 = -2*c + 4*z. Let d = c - -2. Is g(d) a multiple of 2?
True
Suppose -4 = -n, 3*q - 305 = 5*n - 79. Is 3 a factor of q?
False
Is 10 a factor of (-1 + 2)*(-7)/14*-214?
False
Suppose -4 = 4*n + 4. Let r = -161 + 176. Let c = n + r. Does 9 divide c?
False
Suppose 2*x + 640 = 4*u, 3*u = 4*u - 2*x - 160. Suppose 155 = 3*m - u. Does 15 divide m?
True
Let a = 180 - 42. Is a a multiple of 57?
False
Suppose 4*f - 18 = -3*s, 5*f = -0*s - 5*s + 30. Suppose -n = n + s. Let b = 7 - n. Is b a multiple of 4?
False
Let g(j) = 18*j**3 + 17*j**2 - 15*j + 4. Let m(r) = 6*r**3 + 6*r**2 - 5*r + 1. Let t(x) = -6*g(x) + 17*m(x). Is 51 a factor of t(-4)?
True
Let k be ((2646/(-4))/9)/(6/(-8)). Suppose 3*n = k + 172. Is 18 a factor of n?
True
Let m be ((-4)/(-16))/((-2)/(-16)). Suppose -2*i - m*c + 65 = -5*c, 0 = i + 4*c - 5. Is i a multiple of 17?
False
Let b = 150 + -84. Let x = b + -30. Is 18 a factor of x?
True
Let j = 133 - -70. Let a = j + -35. Does 45 divide a?
False
Suppose -2*d + 2*n + 12 = -3*n, -51 = -5*d + 2*n. Let v(g) = 25*g - 173. Let p be v(11). Suppose -4*x + 2*o - d + 77 = 0, -5*x - 4*o + p = 0. Does 18 divide x?
True
Let z = -57 - -824. Is 12 a factor of z?
False
Let c(q) = -13 - q - 2 + 4*q - 16*q. Does 50 divide c(-5)?
True
Suppose 0 = 2*l - 2*k - 2*k - 22, 0 = -l + 3*k + 10. Suppose 7 = h + 5*c - 2, -3*c + 11 = -5*h. Let f = l - h. Does 7 divide f?
True
Let z = 54 + -25. Suppose 0 = -3*o + z + 16. Let j = o + 7. Is 11 a factor of j?
True
Suppose 2*i - 2*x = -2*i + 12, -2*x = -i + 9. Let f be 344/(-10) + 6/(-10). Is 9 a factor of 2 - (1*f + i)?
True
Let h(j) = j + 15. Let q be h(-8). Suppose -4*x = -q*x + 60. Is 4 a factor of x?
True
Suppose 0*a + 1272 = 2*a - 3*u, 8 = -2*u. Does 15 divide a?
True
Let l(w) = -w**2 + 7*w + 5*w - 5 - w - 2*w. Let c be l(8). Is 11 a factor of 55 - c*(-3)/(-9)?
False
Let a(s) = -205*s + 4. Let n be a(1). Let w = n - -316. Is 23 a factor of w?
True
Let d(u) = -11*u**2 + 2*u - 12. Let r(h) = 31*h**2 - 6*h + 36. Let x(a) = -17*d(a) - 6*r(a). Does 12 divide x(4)?
True
Let n be 3/30*-2 + 4/20. Suppose -4*w = -0*w + 3*k - 629, n = -5*w - 4*k + 786. Is w a multiple of 7?
False
Let k(m) = 24*m**2 + 2*m. Does 13 divide k(1)?
True
Let b be (0 - -6)*20/(-8). Let h(t) = -t - 19. Let u be h(-11). Let y = u - b. Does 7 divide y?
True
Let n(c) be the first derivative of -25*c**4/2 - c + 1. Let k be n(-1). Does 3 divide 595/k - (-1)/(-7)?
True
Let k = -10 + 8. Let s be (9/k)/(-3)*2. Let c = 19 - s. Is c a multiple of 3?
False
Suppose -2*h = -5 - 3. Suppose -2*p + 5*g + 229 = 0, 2*p - h*g + g - 231 = 0. Let l = p + -65. Is l a multiple of 9?
False
Let v be (2 - 20/12)*-9. Let m(c) = 5*c**3 - 4*c**2 + 6*c + 6. Let z(p) = 11*p**3 - 9*p**2 + 13*p + 13. Let q(f) = 13*m(f) - 6*z(f). Is q(v) a multiple of 24?
False
Let j(h) = 8*h**2 - 2*h - 1. Let z be j(2). Let a = 29 - z. Is 10 a factor of (-3680)/(-88) - a/(-11)?
False
Suppose -71*i + 282 = -70*i. Let w = i + -12. Is 45 a factor of w?
True
Let u(f) = -f**2 + f + 48. Let y(p) = p**2 - p - 2. Let b be y(-1). Let r be u(b). Suppose 4*t - 7*t = -r. Is t a multiple of 10?
False
Let j(f) = -f**2 + f - f + 21 - 10*f. Is 6 a factor of j(-9)?
True
Suppose 9*q = -8*q + 23987. Is 83 a factor of q?
True
Let o(d) = -d**3 - 7*d**2 - d + 1. Let k be o(-7). Let z be (-1)/((k/10)/4). Is (4 + -104)*2/z a multiple of 24?
False
Let z be ((-6)/(1 - 0))/(-2). Suppose -2*g + 122 = 5*b, -g = -z*b - 30 - 42. Is 17 a factor of g?
False
Let n(a) = 22*a - 7. Let j be n(9). Let b be (-2 - -3) + 1/(-1). Suppose -d + 6*d - 2*i - j = b, -6 = -3*i. Is 22 a factor of d?
False
Let p(u) = -u**2 - 11*u - 4. Let g be p(-10). Let k be -2*(g/3 + 1). Is (-500)/(-18) + k/(-27) a multiple of 5?
False
Let w = -12 - -12. Let u = w - -10. Is (-2)/u + (-92)/(-10) a multiple of 2?
False
Let v = 4484 - 2291. Does 15 divide v?
False
Let i(o) = 116 + 30*o**2 - 113 - 12*o**2 - 7*o. Is i(3) a multiple of 18?
True
Let x(f) = -f**2 - 9*f - 8. Let p be x(-7). Suppose 3*q = q + p. Suppose -5*v + u = -94, 0*v - q*u = 5*v - 98. Is 7 a factor of v?
False
Let q = -583 + 659. Is q a multiple of 19?
True
Let m(r) = 2*r + 24. Let q be m(-8). Does 7 divide (q + 14)/((-1)/(-2))?
False
Suppose 3*a - 11824 = 5*y, 87*y = 82*y + 20. Is a a multiple of 83?
False
Suppose -19*a + a + 7884 = 0. Does 6 divide a?
True
Let q = 1898 + -603. Does 27 divide q?
False
Let h(s) = s - 1. Let y(o) = 13*o - 1. Let m(p) = 4*h(p) - y(p). Suppose 2*u + 2 + 2 = 0. Does 10 divide m(u)?
False
Suppose 0 = 37*n - 28*n - 10296. Is 143 a factor of n?
True
Let s(h) be the first derivative of -h**4/4 - 13*h**3/3 + 5*h**2 - 14*h - 1. Let f be s(-14). Is 6 a factor of ((-20)/15)/((-4)/f)?
False
Let n = 908 - -142. Does 35 divide n?
True
Suppose -5*q = -5*s, -s - 1 = 5*q - 13. Suppose 3*x + 0 = 12. Suppose 4*n = 2*w + s*w + 276, -274 = -x*n + 5*w. Is n a multiple of 15?
False
Let n be 144/(-7) - (-9)/(-21). Let a = n + 79. Is a a multiple of 29?
True
Suppose -4*c - 3*f = -181, -5*c - 3*f + f + 228 = 0. Is 23 a factor of c?
True
Suppose -20 = 5*n - 5*m, -26 = 2*n + 2*n + m. Let u(q) = 2*q**2 + 12*q. Let j be u(n). Suppose -2*d = 5*l + 6, j*d = 5*d - 2*l - 43. Is 7 a factor of d?
True
Let r(g) = -g**3 - 3*g**2 - 17*g + 1. Does 3 divide r(-3)?
False
Let l(t) = 84*t**3 + t**2 - 2*t + 1. Let b be l(1). Suppose 0*a - 1 = -a, 4*a - 4 = x. Suppose 6*h + 24 - b = x. Is 4 a factor of h?
False
Let t be 0 + 86 - 0/8. Suppose -12*n + t = -538. Is n a multiple of 15?
False
Suppose -33303 = -70*w + 18987. Is w a multiple of 10?
False
Let s(y) = -614*y**3 + 2*y**2 - 2*y - 2. Is s(-1) a multiple of 92?
False
Let z(k) = k**3 + 5*k**2 - 8*k - 12. Let v be z(-6). Suppose v = -3*g + 96 - 666. Is 8 a factor of 1*(-7)/(35/g)?
False
Let b = 1966 + -558. Is b a multiple of 1