ose -2*n = -3*l - 472, 2*n - 7*l - 472 = -10*l. Is n a multiple of 37?
False
Does 40 divide (-2732)/(-6)*(-3)/(-2)?
False
Let u(n) = -30*n - 95. Is 101 a factor of u(-20)?
True
Suppose 3*j - 12 = i + 4, 0 = 5*j - i - 30. Suppose -j*x + x = -528. Does 22 divide x?
True
Let m(u) = u**2 - 5*u - 8. Let v be m(6). Is (v + 6)*28/16 a multiple of 7?
True
Let j(z) = -z**3 + z + 56. Let v be j(0). Let g = 32 - -72. Let y = g - v. Is 16 a factor of y?
True
Let h(q) = -4*q**3 - 4*q**2 - 61*q + 8. Is h(-7) a multiple of 16?
False
Suppose 73 = 2*i + 349. Let x = -83 - i. Does 5 divide x?
True
Suppose -p - p = 4*s - 1530, 2*s - 2*p - 774 = 0. Suppose 4*i - s = 3*v, 3*v - 78 = -3*i + 189. Is 31 a factor of i?
True
Does 13 divide (-2976)/(-4) - 6/2?
True
Suppose 0 = 3*b + 107 - 14. Let u = 105 + b. Suppose 3*o - 5*q = u, -2*q - 23 + 198 = 5*o. Does 11 divide o?
True
Let q(k) = 0 - 6 + 7*k**3 + 11*k**2 - 6*k**3 - 2 + 11*k. Does 24 divide q(-8)?
True
Let j be -3 - -1 - -2 - 0. Suppose 18 = -j*k - 6*k. Let z(t) = -4*t**3 - 3*t**2 + 3*t - 1. Does 23 divide z(k)?
False
Let a = 22 + -20. Suppose -5 + 17 = a*j. Is j a multiple of 5?
False
Let o(k) = k**2 - 30*k - 79. Is 13 a factor of o(43)?
False
Let t(f) = -f**3 + 10*f**2 - 2*f + 23. Let m be t(10). Suppose -g + m*a = -a + 10, -a - 15 = -2*g. Is g a multiple of 6?
False
Let c(n) = n**3 - 25*n**2 + n + 149. Is c(26) a multiple of 37?
True
Let q(x) be the second derivative of -37*x**3/6 + x**2 + 2*x. Let c = 6 - 8. Is q(c) a multiple of 19?
True
Let i be (-2 - -16)/(10/35). Let w(q) = -28 + 2*q - 3*q + i. Does 4 divide w(0)?
False
Let r(x) = -2*x - 7. Let q be r(-5). Let a be 3155/15*(0 + q). Suppose 0 = -7*z - 162 + a. Is 8 a factor of z?
False
Let l = 40 + 5. Suppose 7*z - 9 = 12. Suppose l = -z*n + 4*n. Does 15 divide n?
True
Let k(n) = -n**2 - 12*n - 11. Let f be k(-11). Suppose -5*t = y + 2*y - 201, -y + 4*t + 67 = f. Is 11 a factor of y?
False
Suppose -3*z = 3*d - 1581, 415 + 127 = z - 2*d. Does 25 divide z?
False
Let n = 161 + 227. Suppose -n - 524 = -8*g. Is 12 a factor of g?
False
Suppose 10 = -5*k + 5*q, 14 + 16 = 5*k + 3*q. Suppose 2*n = -k*n + x + 25, -3*n = 2*x - 28. Is (-3)/(-2)*56/n a multiple of 14?
True
Suppose -2*a = -f + 1553, -3*f + 4732 = 5*a + 95. Does 25 divide f?
False
Let s(w) = 6*w**2 - 7*w - 15. Let g(b) = b**2. Let m(i) = -4*g(i) + s(i). Does 16 divide m(10)?
False
Let y be (-66)/4*(-884)/51. Let j = 405 - y. Does 17 divide j?
True
Let i = -25 - -26. Let v be (-31)/(1/i - 2). Let l = 5 + v. Is 27 a factor of l?
False
Let x(d) = 58*d**2 + 2*d + 1. Let o(v) = -v**2 + 7*v - 7. Let h(y) = y**3 - 2*y**2 + 4*y - 2. Let f be h(2). Let u be o(f). Is x(u) a multiple of 19?
True
Is (-1)/(-6) - 1796115/(-522) a multiple of 30?
False
Suppose 17*r - 16 = 13*r. Suppose -r*x + 124 = -c, 4*c + 93 = 3*x + 2*c. Is x a multiple of 31?
True
Let l(v) = 9*v + 3. Let o be l(-2). Is (1 + -3)/(5/o) a multiple of 5?
False
Let l be 654 - (1 + -1 - -3). Let a = l - 464. Is a a multiple of 17?
True
Is 3 a factor of -21*(-2)/(5 - 3)?
True
Suppose -2*a = -8 + 6. Let u = a - -1. Suppose 2*s - 4*k + 118 = 5*s, -3*s = u*k - 122. Does 11 divide s?
False
Suppose -7*x - 1692 = -10*x - 2*o, 0 = 3*x + 10*o - 1668. Is 57 a factor of x?
False
Suppose 0 = -3*l + 8*l - 25. Let g(h) = 6*h**2 - 5*h + 8. Is g(l) a multiple of 19?
True
Let y(h) = -h**3 + 2*h**2 - 9*h - 5. Let z be y(-4). Let m = z - 75. Does 44 divide m?
False
Is 80/(-200) - (-2 - (-13492)/(-5)) a multiple of 20?
True
Let f be 12/24 - (-1)/(-2). Let u be 0 + 4 - f/5. Suppose 0 = -o - u*d + 24, 2*d + 59 + 39 = 2*o. Is o a multiple of 11?
True
Let x = 20 + -14. Let d be (-2)/x + (-32)/(-6). Suppose v - d*m - 24 = 0, -3*v + m - 4*m + 72 = 0. Is v a multiple of 8?
True
Let q(j) = j**3 - 145. Let w be q(0). Let f = -70 - w. Suppose a - f = -2*d - 2*a, 4*d - 129 = a. Is 22 a factor of d?
False
Suppose 0 = n + 3, 0 = 2*v + 2*v - 5*n - 255. Suppose -5*h = -h - v. Is 620/h + (-2)/(-3) a multiple of 12?
False
Let w(q) = -37*q**3 + 0 - 2*q**2 + 1 - 28*q**3. Is 16 a factor of w(-1)?
True
Let q(f) = f**2 - 12*f - 2. Let x(o) be the second derivative of 4*o**3/3 - o**2 - 2*o. Let r be x(2). Is 8 a factor of q(r)?
False
Suppose 0 = -2*m - 70 - 38. Let b = m - -67. Does 13 divide b?
True
Let z = -389 - -628. Is 19 a factor of z?
False
Suppose 2*q + 27 = -3*p - 3*q, -5 = 5*p - 5*q. Let w = p - -9. Is 13 a factor of 247/w - (-9)/15?
False
Does 7 divide 5/(-1) + 15/(-5) + 1051?
True
Let o(u) be the second derivative of u**3/3 + 7*u**2/2 - 7*u. Is o(3) a multiple of 5?
False
Let v(c) = -1 - 3*c**3 - 3 - 5*c + 0*c - 10*c**2 + 3*c**2. Is v(-4) a multiple of 12?
True
Let s(t) = 10*t + 5. Does 6 divide s(6)?
False
Let v be (24/(-27))/4 - (-61)/(-9). Suppose -b = -0*b - 2. Is (3/b)/(v/(-84)) a multiple of 11?
False
Suppose 21069 = -5*x + 10*x - a, -a = 5*x - 21071. Does 14 divide x?
True
Let y(h) = 2*h**2 - 17*h + 48. Does 12 divide y(4)?
True
Suppose -396 = -5*t + 174. Is 19 a factor of (4 - (4 + t))/(-2)?
True
Suppose 0 = -5*y + 33 - 3. Is 38 a factor of (-305)/(-4) + y/(-24)?
True
Let d(r) = 415*r + 0 - 5 + 2 - 30*r. Let v be d(3). Is v/44 + (-6)/33 a multiple of 13?
True
Let q(m) = 3*m**2 + 8*m + 2. Let x be q(6). Is x/22 + (-16)/88 even?
False
Let u = 156 + -46. Suppose -q - l = q - u, -5*l = -4*q + 220. Is q a multiple of 11?
True
Let o(a) = a**3 + 6*a**2 + 4*a + 1. Let h be (12/(-8))/((-1)/2). Suppose -b = -1 - 2, -2*k + h*b = 15. Does 8 divide o(k)?
True
Does 13 divide 1 + 2 + 501*(-1 + 3)?
False
Suppose -6*h = -h + k - 2702, 0 = 3*h - 3*k - 1614. Does 5 divide h?
True
Let t = 478 + -432. Is t a multiple of 3?
False
Suppose -23*h - 28*h + 30753 = 0. Is h a multiple of 8?
False
Suppose -8*d + 28 = -4. Let a = 9 - 6. Suppose -d*n - 5*l + 36 = -a*n, -5*l + 77 = 2*n. Does 19 divide n?
False
Let w(s) = -4*s**3 - 4*s**2 - 3. Let v be w(3). Suppose 3*x = -2*x - 5*n - 340, -5*x - 336 = 4*n. Let g = x - v. Does 18 divide g?
False
Let w(r) = r**3 + 8*r**2 - 2*r + 38. Is 4 a factor of w(-6)?
False
Suppose r - m - 638 = 0, 3*r - 1055 - 856 = 4*m. Is 14 a factor of r?
False
Let o be 3/((-12)/8) + 132. Does 22 divide o/(-39)*(-132)/10?
True
Suppose 6*h + 0*h = 0. Suppose 11*w - 4*w - 224 = h. Does 21 divide w?
False
Suppose -72*t + 69*t - 554 = -4*g, -g + 130 = -5*t. Is g a multiple of 13?
False
Let y(m) = -m - 16. Let k be y(8). Let t = k - 11. Does 5 divide (63/t)/((-9)/60)?
False
Suppose 0 = 3*b - 8*u + 3*u + 10, 5*b + 34 = 4*u. Let m(y) = y**2 + 4*y + 30. Does 30 divide m(b)?
True
Suppose -w = 5*v + 2, 5*v + 20 - 3 = 4*w. Is (-1)/(-3 - v)*12 a multiple of 3?
True
Suppose -1519 = -12*l + 1457. Does 8 divide l?
True
Is (-404)/3*18/(-12) even?
True
Suppose -5*b = 5*q + 244 - 8364, -10 = -5*q. Is 16 a factor of b?
False
Suppose -2*h + 117 = -27. Does 6 divide h?
True
Let a(k) = -k**3 - 8*k**2 - 5*k + 6. Let h be a(-7). Let o = h + 11. Suppose 4*z - o*s - 77 = -14, -z = 2*s - 2. Is z a multiple of 4?
True
Suppose p + 1957 = 2*b - 940, -4*b - 5*p = -5815. Does 5 divide b?
True
Let s be ((-3)/(-4))/((-2)/(-56)). Let b(x) = -16*x - 143. Let y be b(-9). Let z = y + s. Is z a multiple of 7?
False
Let c be (-296)/64 + (-11)/8 + 1. Let n(p) = -p**3 + 5*p**2 - p + 3. Is n(c) a multiple of 43?
True
Let w be (-4)/(-20) - (-28)/10. Suppose -331 = -2*f - 5*q, -2*f + 239 + 68 = -w*q. Let d = -86 + f. Does 24 divide d?
True
Let r(v) = 2*v**2 + 4*v + 2. Let m be r(8). Suppose 10*w + 0*w = 500. Suppose -s + 5*d = -0*s - w, 0 = 5*s - 3*d - m. Is 15 a factor of s?
True
Let h(n) = n**3 + 16*n**2 - 7*n - 6. Is 9 a factor of h(-16)?
False
Let z = 645 + 11. Is 25 a factor of z?
False
Suppose -2*q + 1161 = q. Is 43 a factor of q?
True
Suppose -28*t = -27*t - 3. Is 15 a factor of t*(2 - 6 - -14)?
True
Let b = 76 - 10. Is 12 a factor of b?
False
Let n(i) = -16*i. Let a(j) = j**2 + j + 4. Let o be a(-5). Let x = o - 29. Is n(x) a multiple of 16?
True
Suppose 39*i - 34*i = 570. Does 3 divide i?
True
Suppose -3*p + 2*r = -0*r - 14, -4*r = -p - 12. Suppose 9*u - p*u - 5 = 0. Suppose 0 = -2*b - g + 6, -u*b + 2*g + 45 = -3*g. Is b a multiple of 5?
True
Let k(g) = 36*g + 84. Is 75 a factor of k(6)?
True
Suppose -5*q + 5 - 50 = 0. Is (81/4)/((-5)/(120/q)) a multiple of 18?
True
Let c(r) = r**3 + r**2 + 15. Suppose -z + 2*n + 4