*u - 528 = -4*g, -u + g + l = -63. Suppose 2*z + 3*r = 57, 4*r = 3*z + z - u. Does 9 divide z?
True
Let s = 337 - 120. Is 11 a factor of s?
False
Let i(t) = -t**3 - 4*t**2 + 6*t + 5. Let g be i(-6). Let n = g - 20. Does 7 divide n?
True
Let d(z) = -z**3 - 5*z**2 + 11*z - 11. Let u be d(-9). Suppose -6*b + 254 = -u. Does 26 divide b?
True
Let d(f) = -f**3 - 3*f**2 - 5*f - 3. Let k be d(-7). Let h be (k/(-18))/((-6)/9). Suppose 39 = 3*l + 5*w, -3*l = w - 20 - h. Is l a multiple of 13?
True
Let z(a) = -a**3 + 7*a**2 + 15*a - 28. Is z(8) a multiple of 4?
True
Suppose -14*g = -5508 - 1422. Is 103 a factor of g?
False
Let y(t) = -2*t**3 + 3*t**2 - t. Let l be y(1). Suppose -2*a + 5*k + 12 + 4 = l, 2*a = k + 32. Is a a multiple of 3?
True
Let z(c) = 4*c**2 + c - 8. Let u be z(2). Suppose b = -u + 21. Is b even?
False
Let v(y) = 3*y - 7. Let o be v(3). Suppose -4*m - b + 36 = 13, 0 = -3*m + o*b + 9. Suppose 0 = m*w - 0*w - 65. Is w a multiple of 13?
True
Let y(a) = -5*a + 5. Let l be y(-4). Suppose 0 = -0*t - 3*t + 3, 3*t + l = 2*f. Is f a multiple of 7?
True
Let s be (1 - -32) + (-8 - -10). Suppose -3*c + 4*x = -180, -4*c + 5*x + 275 = s. Let a = -9 + c. Does 17 divide a?
True
Let l = 39 - 15. Does 7 divide l?
False
Suppose 4*b - 6 = -22, 2*b - 1342 = -2*u. Is 15 a factor of u?
True
Suppose 2*o - 1320 = -9*o. Does 8 divide o?
True
Let q = -411 - -844. Does 18 divide q?
False
Let r(i) = 28*i**3 - 2*i**2 + 5*i - 2. Let f be r(1). Let k = f - -43. Is 12 a factor of k?
True
Let x = -329 - -573. Does 61 divide x?
True
Let l = -530 + 854. Suppose 7*g - l = 3*g. Is g a multiple of 9?
True
Let m = -487 + 828. Suppose -4*o + m + 283 = 0. Is 24 a factor of o?
False
Suppose -8 = t + 3*h, 5*h + 4 = t + 12. Let j(q) = q**3 + 8*q**2 - 6*q - 20. Does 5 divide j(t)?
False
Suppose 0 = -4*c + 8, 4*x - 26 = -x - 3*c. Suppose -4*h + 144 - x = 0. Is 7 a factor of h?
True
Suppose 3*x = 7*z - 3*z + 258, 4*x + 3*z = 369. Let q be ((-5)/(-10))/((-1)/(-84)). Let r = x - q. Is r a multiple of 24?
True
Is -3*1/3*(-46 + 3) a multiple of 12?
False
Suppose 3*n - 4*o - 20 = 14, -2*n + 2*o + 26 = 0. Is n a multiple of 3?
True
Suppose -3*n + 18 = 3*g, -17 = -5*g + g + 3*n. Let t be g - (-4)/(-4)*-2. Suppose 0 = 2*o - 4*u + 2*u - 10, 5*o - t = -4*u. Does 2 divide o?
False
Let z(f) = -f**2 + 18*f + 9. Let x be z(18). Suppose -x*k + 4*k + 75 = 0. Is 8 a factor of k?
False
Is (12 + 30)/(-14) - 912/(-1) a multiple of 107?
False
Does 15 divide ((-17185)/(-21) - -4) + 6/9?
False
Let g = 811 - 670. Does 15 divide g?
False
Let y be -1 - 1*(-5 - -2). Suppose y*d + 2*i = -2*i + 56, -i = -4*d + 103. Suppose -35 = -n + d. Is 15 a factor of n?
False
Let b = 256 + -137. Let k = -39 + b. Does 19 divide k?
False
Let u = 425 - 412. Is 13 a factor of u?
True
Let n be (0 - 0)*2/(-4). Suppose n = 5*o - 3*o - 58. Is 5 a factor of o?
False
Let m(a) = -7*a - 10. Let i be ((-6)/(-4))/(12/(-80)). Let p be (-37)/5 + (-4)/i. Does 13 divide m(p)?
True
Suppose -11*q = -0*q + 5*q. Suppose -5*m = -5*o + 314 + 211, 4*o - 3*m - 417 = q. Is o a multiple of 26?
False
Let n(c) = 7*c - 27. Does 2 divide n(7)?
True
Let q be (-98)/(-7)*(16 + 0). Suppose -4*t - 4*t + q = 0. Is 14 a factor of t?
True
Suppose -x = 5*c - 201, 92 + 27 = 3*c - x. Does 11 divide 504/c - 1/(5/(-2))?
False
Suppose 0*d = 2*d - 4. Suppose f = -d*x - 3, 2*f + 4*x - x + 1 = 0. Does 7 divide f?
True
Let r(o) = -5*o**3 + 11*o**2 + 13. Let w(z) = z**3 - z**2 - 1. Let l(s) = -r(s) - 6*w(s). Does 37 divide l(-8)?
True
Suppose 0 = -87*y + 86*y + 2. Is 11 a factor of 55/(-3)*(y - 11)?
True
Suppose 0 = 38*g - 36*g - a - 816, -1628 = -4*g + 4*a. Does 17 divide g?
False
Let a = 1410 - 626. Suppose 4*b + 2*f - a = 920, -4*f - 2130 = -5*b. Suppose 5*k - b = -k. Is 10 a factor of k?
False
Suppose -3*u = -2*p - p + 252, 0 = 2*p + 2*u - 180. Let l = p - 53. Is 2 a factor of l?
True
Suppose -h = -3*p + 140, p - h + 175 = 5*p. Is 6 a factor of p?
False
Is 13 a factor of (-13)/(117/99) + 588?
False
Suppose 5*i - 777 = -4*g, -2*i - 3 = 3. Is g a multiple of 11?
True
Let u = 17 + -15. Let k(r) = 6*r + 0*r - 8 - 8*r + r**u. Does 5 divide k(6)?
False
Let b be 18/(-8)*96/36. Is 21 a factor of (-2)/(8/126)*8/b?
True
Let v(a) = 50*a**3 - 2*a**2 - a + 1. Is 23 a factor of v(2)?
True
Let y(m) be the third derivative of -m**4/24 + 15*m**3/2 + 7*m**2. Let j be y(17). Let i = j - -8. Is i a multiple of 13?
False
Let a(v) = 5*v + 2*v - 2 + 9*v - 2. Is a(4) a multiple of 10?
True
Let n = -209 - -391. Is n a multiple of 7?
True
Let d(f) = -f + 10. Let t be d(10). Let k be 1 - t/4 - 1. Suppose k*w = 2*w - 36. Is w a multiple of 18?
True
Suppose 7*m - 11*m = 36. Suppose 73 - 10 = 3*x. Let v = m + x. Is 12 a factor of v?
True
Suppose -18*w + 33 + 21 = 0. Is w even?
False
Let s be 3861/(-7) + (-33)/77. Is ((-4)/6)/(16/s) a multiple of 19?
False
Suppose 8*s = 3*s - 5*n, 0 = -5*n - 15. Suppose -2*p - 2*l + 114 = 0, -57 - 16 = -p + s*l. Suppose -20 = h - p. Does 19 divide h?
False
Let t(z) = z**3 - 7*z**2 + 6*z + 12. Let h be t(5). Does 12 divide (2022/h)/(-3) + 2/(-8)?
True
Let t(d) = d**3 + 2*d**2 + 8*d - 12. Is t(4) a multiple of 15?
False
Let k(q) = 2*q**2 - q - 7. Let w be k(0). Let j = w - -76. Does 20 divide j?
False
Is (-7 + 9/((-27)/(-6)))*-8 a multiple of 11?
False
Let z be (931 - 1)*(0 - 4/(-8)). Suppose -z = -3*x + 2*q + q, 0 = x + 5*q - 125. Is 26 a factor of x?
False
Suppose -130 = -3*f - 4*j, f - 20 = -j + 22. Suppose -26 = -x - 3*c + f, -3*c + 272 = 5*x. Does 13 divide x?
True
Let c(n) = n**2 - 3*n + 4. Let q = 27 + -21. Suppose -10 - q = 4*w. Is 16 a factor of c(w)?
True
Let k = -68 - -20. Let r = -23 - -109. Let q = r + k. Is q a multiple of 15?
False
Let v(u) = 4*u**2 - 20*u + 23. Let q(p) = 7*p**2 - 40*p + 45. Let c(r) = -3*q(r) + 5*v(r). Is c(14) a multiple of 8?
True
Suppose -27*q + 5200 = -2*q. Is q a multiple of 4?
True
Suppose -3*l - 4*a = 24 - 164, 5*l - 276 = 4*a. Does 11 divide l?
False
Let i = -471 - -1016. Does 4 divide i?
False
Suppose 5*b - 2*p = 3*p + 1820, 0 = -b - p + 358. Suppose 5*g - b - 399 = 0. Does 11 divide g?
False
Let k(z) = 27*z**2 - 1. Let s be k(1). Let a be ((-444)/(-30))/(2/10). Suppose 4*i - s = a. Does 11 divide i?
False
Let o(b) = -4*b - 73. Is o(-29) a multiple of 21?
False
Let q(k) = 2*k + 53. Let v be q(-24). Let y(z) = z**2 - z + 1. Let i(d) = -4*d**2 + 7*d - 1. Let b(j) = i(j) + 6*y(j). Is b(v) a multiple of 15?
True
Let m(j) be the first derivative of 25*j**3/3 + 3*j**2/2 + 2*j + 7. Is 12 a factor of m(-1)?
True
Let n be -1*8 + (2 - 2). Let y = 9 + n. Is (-70)/(-4) - y/2 a multiple of 13?
False
Let l(d) = d**3 + 19*d**2 - 46*d - 36. Let v be l(-20). Let z = v - 273. Is 22 a factor of z?
False
Let m(g) = 5*g**2 - 7*g - 8. Does 13 divide m(6)?
True
Let r(g) = -16*g**2 - g - 1. Let p be r(-1). Let k(h) = -h**3 - 15*h**2 + 17*h + 18. Let y be k(p). Is 27 a factor of 91/y*(-2 - -4)?
False
Suppose 5*j - 4*f + 246 = 5716, -2*f = -j + 1100. Does 8 divide j?
False
Let x(d) = -7*d**2 - 2*d - 2*d**2 - d**3 + 3*d**2 - 6*d**2. Is 8 a factor of x(-12)?
True
Does 40 divide -1 - -326 - (5 - 0)?
True
Let l = 47 - 46. Let z(f) = 21*f + 1. Is 10 a factor of z(l)?
False
Let m(l) = 4*l**3 + 6*l - 14. Is m(4) a multiple of 38?
True
Suppose -p + 1695 = -4*j, 0 = 20*p - 16*p + 5*j - 6822. Is 85 a factor of p?
False
Let a be (-8)/4*(1 - 2). Suppose a*t - 3*q - 88 = -0*q, 3*q = -6. Is 14 a factor of t?
False
Suppose -3742 = -3*u - h + 5036, -5*u - h + 14628 = 0. Is u a multiple of 73?
False
Let q be (-100)/(((-2)/18)/(8/(-48))). Let l = q - -255. Does 15 divide l?
True
Suppose -2*p + 4820 = 2*s, -2*p - s + 9646 = 2*p. Let g be p/135 - (-4)/30. Suppose 16*y = g*y - 112. Does 8 divide y?
True
Is 12/(-15) + 1014/30 a multiple of 11?
True
Let i(w) = -w - 3. Let x be i(-5). Suppose 0 = y - 2*y - x*n + 46, -y - 5*n + 43 = 0. Suppose 5*z - 264 = -a, 6*a - y = -z + a. Does 9 divide z?
False
Let n be (6/5)/((-6)/(-20)). Suppose 0 = 5*d - 4*k + 3*k - 35, 2*k - 7 = -d. Suppose -d*a + n = -5*a. Does 2 divide a?
True
Suppose 5*z + 210 = m, 4*z = -5*m + 410 + 553. Does 23 divide m?
False
Let c = 3476 + -2152. Is c a multiple of 10?
False
Is 29 a factor of 6*(-11)/(11/(-64))?
False
Let f be (66/(-15) + 4)*-5. Suppose f*d - 338 = -0*d. Does 17 divide d?
False
Suppose -3*