 v?
True
Does 18 divide (162/(-7))/(11/(-154))?
True
Suppose 3*l + o - 10 = -0*o, 3*l - 3*o - 30 = 0. Let u be ((-4)/(-6))/(l/60). Suppose -3*t - 25 = -u*t. Is t even?
False
Suppose 5*z - 25 = 0, 0 = -2*i - 3*i - 3*z + 15. Suppose i*o + 50 = 5*o. Let g = 1 + o. Does 11 divide g?
True
Let p(o) = -o**3 + 4*o**2 + 5*o + 4. Let z be p(5). Suppose -384 = -2*b - z*b. Is b a multiple of 11?
False
Let g(o) = o**2 - 9. Is g(-16) a multiple of 3?
False
Let a = 7 - 5. Suppose -5*j = a*m - 100, 0*m - 2*m = -5*j + 100. Does 20 divide j?
True
Suppose -7*p - 346 = -8*p. Suppose 6*f - 1888 = -p. Is 11 a factor of f?
False
Suppose -6*a + a + 5*w + 10 = 0, 4*a - 8 = -2*w. Let l be a + 3/(-3) + 0. Suppose -5*s = 3*z - 157, 0 = -5*z - 6 + l. Is s a multiple of 11?
False
Let f(o) = -o**3 + 6*o**2 + 10*o - 9. Let n be f(7). Let u(t) = 4*t - 40. Let x be u(12). Let q = n - x. Is 4 a factor of q?
True
Let b(m) = 868*m - 288. Is 62 a factor of b(3)?
False
Suppose 34*v = 28*v + 18. Suppose v*b + 680 = 13*b. Is b a multiple of 4?
True
Let r(q) = -6*q - 1. Let n be r(5). Let a = n + 47. Is a a multiple of 15?
False
Suppose 0 = -5*t - 4*k + 94, 2*t - 2*k + 4*k - 38 = 0. Let s be 3512/72 - (-4)/t. Suppose -45 = -l + 5*i, s = l - 0*i - i. Does 25 divide l?
True
Suppose 4*v + 28 = 2*k + 8*v, -23 = -2*k - 3*v. Suppose 5*h = 2*d + 246, 4*h - 158 = h - k*d. Is 11 a factor of h?
False
Let t(j) = j**2 + 7*j + 12. Let h be (18/4)/3*(-28)/7. Is 2 a factor of t(h)?
True
Suppose -5*v = 15, -3*c - 2*v - 33 = 2*v. Let x(k) = -k**3 - 8*k**2 - 7*k + 15. Is 4 a factor of x(c)?
False
Let b(u) be the first derivative of 1/3*u**3 + 6 + 1/2*u**2 + 3*u. Does 3 divide b(-3)?
True
Let r(j) = -113*j - 344. Is r(-18) a multiple of 22?
False
Suppose -2*q = -0*c - 2*c - 162, 5*c + 390 = 2*q. Let k = c - -182. Does 25 divide k?
False
Let o(j) = -j**3 + j**2 + 9*j - 1. Let s(r) = r**3 - r**2 - 9*r + 1. Let u(q) = -3*o(q) - 4*s(q). Let y be u(4). Let g = 20 + y. Does 5 divide g?
False
Let f(z) = 5*z**2 + 6*z + 32. Does 16 divide f(8)?
True
Suppose -4*m + 10 = m. Suppose -1 - 5 = -m*i. Suppose 0 = i*d - 0*d - 12. Is d a multiple of 2?
True
Let q = 1014 + 386. Is 20 a factor of q?
True
Let x = 1 + 3. Suppose u = 5*u - 4*i, 3*i = 2*u + 2. Suppose -5 = o, 0 = -u*g - 0*g + x*o + 46. Is 13 a factor of g?
True
Let t(l) = 30*l**3 + 13*l - 35. Is 22 a factor of t(3)?
True
Let d = -28 + 31. Suppose d*i + b - 445 - 39 = 0, 2*i + b = 323. Is i a multiple of 23?
True
Let u = -302 - -946. Is u a multiple of 46?
True
Suppose -10*g = -6*g - 24. Suppose 20 = g*h - h. Does 4 divide h?
True
Let f = -118 - -100. Let s = 48 + f. Is s a multiple of 5?
True
Suppose 4*j + 167 = f, f - 5*f + 4*j = -728. Does 17 divide f?
True
Suppose -z + 4*o - 6 = 0, 0*z = 5*z + o - 12. Suppose 5*n - 651 = 3*i - 6*i, 4*n + 412 = z*i. Does 29 divide i?
False
Let j = 40 - 28. Let u(p) = p**3 + 9*p**2 - 4*p - 2. Let h be u(-10). Is h/(-6) + j/18 a multiple of 11?
True
Let y be (-5)/((-10)/4) - 0. Let c(q) = 4*q**3 - q**y - q**2 - 2*q + q**3 + 1. Is c(2) a multiple of 10?
False
Let j = 368 - 227. Let b = j + -96. Does 21 divide b?
False
Let i(w) = w - 3. Let p be i(5). Let c be (p/(-2) - 3)*-4. Suppose c = 5*k - 44. Is 12 a factor of k?
True
Suppose 0 = -9*g + 20766 - 7050. Is g a multiple of 12?
True
Let w(j) = j + 11. Suppose -2*n + 4*n = 0. Suppose 2*r - 24 = -n*r. Is 7 a factor of w(r)?
False
Let i(p) = -p**2 - p + 4. Let j be i(2). Does 26 divide (-3)/((-6)/262) - (-1 - j)?
True
Let f(q) = -q + 6. Let b be f(3). Suppose 4 = b*u - 4*u. Let y = u + 18. Is y a multiple of 3?
False
Let d be 20/2*((-234 - 0) + -2). Is 6 a factor of d/(-56) + 6 - 1/7?
True
Let w(o) = o**2 - 2*o - 4. Let z be w(4). Suppose p + z = 3*p. Is 8 a factor of ((-11)/22)/(p/(-52))?
False
Suppose -8*k + 33 = -11*k. Does 9 divide (-12 - k)*(0 + -36)?
True
Let x(h) = -56*h + 4. Is x(-1) a multiple of 4?
True
Let r(z) be the third derivative of -z**5/60 - 4*z**3/3 + 5*z**2. Let i be r(4). Let u = 70 + i. Does 12 divide u?
False
Let n = -498 - -1006. Does 32 divide n?
False
Let f = 0 - -4. Let w = f + -4. Suppose w = 4*r - 7 - 53. Is r a multiple of 6?
False
Let s = -276 + 314. Does 38 divide s?
True
Is 30 a factor of ((-35)/(-14))/((-2)/(-52))?
False
Suppose 4*z - 3*z + w = 9, 0 = 4*z - 2*w - 12. Suppose 0 = 4*c + 8, 5*c - 28 = z*u + 4*c. Does 11 divide (4/u)/(4/(-144))?
False
Let j be (-3)/(-9) - (276/(-9) - 1). Is 22 a factor of j/(-40)*(-310)/4?
False
Suppose o + 3*v + 11 = 4*v, 4*v - 54 = 5*o. Let y = o + 58. Is 12 a factor of y?
True
Let v(m) = -11*m + 51. Let g be v(-15). Does 11 divide ((-4)/(-8))/(3/g)?
False
Let q be (-1 - -1)/((-3)/(-6 + 3)). Suppose q = 4*v - 602 + 170. Does 36 divide v?
True
Let u = 1725 + -861. Is u a multiple of 16?
True
Suppose 0 = 2*z + 3*w - 8, -4*z + 5 - 1 = 3*w. Let v be ((-106)/z)/((-1)/(-1)). Let r = v - -2. Is r a multiple of 12?
False
Let u(v) = -v**2 - v + 5. Let g be u(-4). Let q = 1 + g. Let b = 39 + q. Is b a multiple of 11?
True
Let n = -873 + 1129. Is n a multiple of 64?
True
Let i(x) = 5*x**2 + 4 - 3 - 2 - x + 4. Suppose 6*d = 12 + 6. Is i(d) a multiple of 10?
False
Let b(q) = 13*q + 24. Let k be b(-5). Let r = -28 - k. Is r a multiple of 13?
True
Let z be 46 + (2 - -1)/(-3). Let n = z + -29. Suppose -a + 8 = 3*x + 3*a, -2*a + n = 3*x. Does 8 divide x?
True
Suppose 4*r - 883 = -3*q - 2*q, -q + 3*r = -169. Is q a multiple of 25?
True
Suppose -3*c + 197 = 5*b, -205 = -5*b + 6*c - c. Suppose 2*h = 7*h - b. Is h even?
True
Let a be (-1)/2 + (-726)/(-4). Let c(n) = 138*n - 9. Let d be c(1). Let y = a - d. Does 13 divide y?
True
Let x(j) = -j**2 - 9. Suppose 0 = -z + 4*k - 20, 0 = 3*z - k - 3 + 8. Let s be x(z). Does 2 divide (16/(-24))/(1/s)?
True
Let m = 952 + -248. Is m a multiple of 48?
False
Suppose 5*o = -4*n - 22, 0 = -4*n + 5*o + 2 - 44. Let r(u) = 2*u**2 + 10*u - 2. Is r(n) a multiple of 23?
True
Suppose 7*m - 15 = 2*m. Suppose -m*f = -86 - 28. Is f a multiple of 16?
False
Is 91/(4 + 2*124/(-64)) a multiple of 13?
True
Suppose 2*n = 2*q + 212, -n - 2*q + 108 = -5*q. Let f = n - -20. Does 25 divide f?
True
Let y = -21 + 24. Let o(a) = 3*a**2 + 41*a + y*a**2 + 11 - a**3 - 38*a. Is 8 a factor of o(6)?
False
Let t(r) = -11*r - 28. Let a be t(14). Let c = 329 + a. Is 34 a factor of c?
False
Let q(g) = -g**3 + 5*g**2 + 7*g - 4. Let b be q(6). Suppose 0*u - 3*u - t = -147, 0 = 2*u + b*t - 94. Is u a multiple of 9?
False
Let b(o) = -25*o + 12. Let s be b(-4). Let x be s + (-1 - 0) - 0. Is 27 a factor of x/1 + 2*-2?
False
Suppose 3*c - 2*v = -0 + 4, -2*c + v = -3. Suppose -c*x = -0*x - 72. Is x a multiple of 4?
True
Let t(m) = -m + 7. Let h be t(4). Suppose -i + 680 = h*i - 4*a, 4*a = -4*i + 656. Suppose -4*g = -25 - i. Is 16 a factor of g?
True
Let o(s) = -76 + s**2 - 3*s + 52 + 9*s. Is o(12) a multiple of 48?
True
Let k = 495 + 913. Is 26 a factor of k?
False
Suppose 2*t + 9 = 5*t. Let j = t - -53. Is 7 a factor of j?
True
Suppose -8*u + 9*u = -5*o - 745, 0 = 2*u. Let b be -103*(1 - (-1 + 1)). Let g = b - o. Is 8 a factor of g?
False
Let f(r) be the first derivative of 3*r**4/2 + 2*r**3/3 - r**2 + r + 6. Does 7 divide f(1)?
True
Suppose -609 = -2*q - 3*n, 3*n = 3*q + q - 1263. Is q a multiple of 26?
True
Suppose 22932 = 340*c - 334*c. Does 45 divide c?
False
Let c = 46 + -26. Let a be (c/(-25))/((-4)/10). Suppose 5*p - 7*w + a*w = 0, -p + 12 = 2*w. Is p a multiple of 4?
True
Suppose 0 = 3*m + m - 8. Let o be (-2)/1 - 4/(-2). Suppose 48 = m*w - o*w. Does 7 divide w?
False
Let a(l) = 0*l + 10 - l + 3*l. Let s be (1 - 1)/(6 + -7). Is a(s) a multiple of 5?
True
Let u = -320 + 458. Let i be 3/(-2 - (-285)/u). Let k = 64 - i. Does 14 divide k?
False
Let g(a) be the first derivative of 20*a**3/3 + a**2/2 + 2*a - 7. Is 16 a factor of g(-2)?
True
Let d(y) = 109*y**3 - y**2 - 36*y**3 + 123*y**3. Is 15 a factor of d(1)?
True
Let g(a) = 27*a**2 + 7*a + 8. Does 17 divide g(-2)?
True
Let s = 156 + 66. Does 6 divide s?
True
Suppose 2*v - 719 = v. Is v a multiple of 36?
False
Suppose -35 = -0*i - 7*i. Suppose 5*z - 545 = -i. Does 9 divide z?
True
Let x(k) = 3*k**2 - k - 3. Let n be 10/(-2)*16/(-20). Let a be 6 + (-20)/(20/n). Is 5 a factor of x(a)?
False
Let z = -231 - -537. Does 22 divide z?
False
Let l = -91 - -1205. Is l a multiple of 33?
Fal