ctor of i?
True
Let q(u) = -6*u**3 - 4*u**2 - 13*u - 78. Does 7 divide q(-6)?
False
Let u = -465 - -617. Does 8 divide u?
True
Is 4 a factor of -1 + (-2296)/(-8) + -6?
True
Let v(p) = p**3 + 7*p**2 + 6*p - 2. Suppose -5*x + 6*x + 6 = 0. Let f be v(x). Is 11 a factor of (16/(-5))/(f/30)?
False
Let f = 16 - 5. Is f/((-40)/44 + 1) a multiple of 36?
False
Let x = 11 - 8. Suppose -1 = -f - h, x*f - 27 = -2*h + 5*h. Is (18/f)/(4/10) a multiple of 9?
True
Let u = -15 + 14. Let g = u - -15. Is g a multiple of 5?
False
Let a = 13 + -9. Suppose 13 = -2*f + 3, f - 7 = -a*z. Suppose -z*t = -t - 134. Is t a multiple of 15?
False
Suppose -17298 - 8618 = -44*o. Does 31 divide o?
True
Let l(b) be the third derivative of -b**6/720 + b**5/8 + b**4/24 - 4*b**2. Let f(m) be the second derivative of l(m). Does 17 divide f(-13)?
False
Let t(g) = -24*g + 2. Does 5 divide t(-2)?
True
Let o(z) = z**3 - 11*z**2 + 10*z + 8. Let p be (-81)/18*1*8. Let j = -26 - p. Does 2 divide o(j)?
True
Let y = 558 - -106. Does 52 divide y?
False
Let t(d) = 4*d**2 - 32*d + 1. Let p be t(8). Is 12 a factor of (6/(-10) - p)*(-880)/32?
False
Let g be 65/2*(-3 - (8 - 13)). Let a = -32 + g. Is a a multiple of 14?
False
Let a(r) = -r**2 + 4*r - 1. Let o be a(3). Suppose -4*d - 7*p = -4*p + 6, 4*d - 5*p - 10 = 0. Suppose 0 = 3*h - 3*w + 1 - 10, w - o = d. Does 2 divide h?
False
Suppose 0 = -4*l - 3*v + 10800, -v + 5067 = 3*l - 3038. Does 53 divide l?
True
Suppose -5*g + 841 + 4574 = 3*j, -1105 = -g - 5*j. Does 27 divide g?
True
Suppose -228 = -2*r + 3*b - 6*b, 0 = -5*r - 3*b + 552. Let l = r + -91. Is 17 a factor of l?
True
Let c be (-63)/14*(-30)/9. Let m = 94 - c. Is 17 a factor of m?
False
Let o be 4/10 - (-13)/5. Suppose 3*z - o = 33. Is z a multiple of 12?
True
Let s = 1706 - 1383. Is 6 a factor of s?
False
Is 12 a factor of ((1230/(-4))/5)/((-4)/32)?
True
Let n(p) = p**3 + 14*p**2 + 2*p - 24. Does 29 divide n(-13)?
False
Suppose f = 4*o - 54, f + 4*o - 5 + 43 = 0. Let n = f + 25. Is 23 a factor of 3*7/(n/(-46))?
True
Suppose -5 = -s + 2*v + 3, 4*s + 5*v = -33. Let r(u) = -83*u + 4. Does 10 divide r(s)?
True
Suppose 4*x - 324 = -b + 110, 3*x + 3*b = 330. Suppose -342 = -10*k + x. Does 15 divide k?
True
Let a = 5865 - 3421. Is a a multiple of 52?
True
Let f = 283 - -27. Is f a multiple of 33?
False
Suppose 3*q - 3723 = 9*m - 7*m, 4*q = -m + 4975. Is 13 a factor of q?
False
Let p be (-100)/(-15)*6/(-5). Let d be 2 + p - (7 - 4). Is 30/d*54/(-15) a multiple of 4?
True
Let u(y) be the first derivative of -17*y**2 + 2*y + 10. Is u(-3) a multiple of 37?
False
Suppose 2*i + 34 = 2*y - i, 0 = 4*y - 3*i - 62. Let g = 15 - y. Does 15 divide g*((-9)/(-3) + 57)?
True
Let c(z) = -z**2 - 17*z + 50. Is c(-17) a multiple of 6?
False
Let z = -38 - -27. Let l = -7 - z. Suppose -4*h = 4*i - 4, -41 = -l*h + 3*i - 2. Is h a multiple of 6?
True
Suppose 60 = 5*y - 0*y. Let a(b) = 15*b - 15. Let l be a(y). Suppose 2*x = 3*d - l, x + 51 = d - x. Does 19 divide d?
True
Let y = 85 - -12. Let t = 33 + y. Does 13 divide t?
True
Suppose -g + h + 226 = 0, -4*g - 5*h = g - 1110. Suppose j = -3*a - a + 88, 3*j + 2*a = g. Is 18 a factor of j?
True
Let n(y) = -y**3 + 4*y**2 - 2*y + 2. Let f be n(3). Suppose -28 = x - f*x. Suppose -12*l = -x*l - 20. Does 2 divide l?
True
Let k = 5 - 1. Let n = 6 - k. Suppose 0 = -b + n*m + 14, 5*b = -0*b + 4*m + 70. Is b a multiple of 13?
False
Let f be 2/(-6) + (-1)/3*-352. Suppose 43 = 5*o - f. Is o a multiple of 8?
True
Is 11 a factor of (-2)/7 + (-6480)/(-42)?
True
Suppose 293*s - 300*s = -12110. Is s a multiple of 11?
False
Let k(g) = -31*g**3 - 4*g**2 - 6*g + 13. Is 11 a factor of k(-4)?
False
Suppose -4*n + 15 = -13. Is 2*68 + 0/(-14 + n) a multiple of 34?
True
Suppose 20*a - 15*a = 0. Suppose -882 = -t - 4*t + 2*s, 2*t - s - 353 = a. Is t a multiple of 16?
True
Suppose 13 = 2*v + 2*f + 3, 2*f - 7 = -v. Suppose 3*j - j - 108 = q, 0 = 2*j + q - 116. Suppose v*y = -y + j. Does 5 divide y?
False
Suppose 3*g - 7*g + 1568 = 0. Is g a multiple of 59?
False
Let j(c) be the first derivative of -c**4/4 + 5*c**3 + c**2/2 + 42*c - 28. Is 35 a factor of j(14)?
False
Suppose 0 = 5*w - 2*n - 1560, -4*w + 3*n = -n - 1260. Is w a multiple of 31?
True
Suppose -r + p + 671 = -43, 2*r + 2*p - 1424 = 0. Is r a multiple of 38?
False
Suppose 10*c - 5*c = -4*x - 44, 5*x + 22 = 2*c. Let k(h) be the second derivative of -h**3/6 + 3*h**2/2 - 8*h. Is k(x) a multiple of 9?
True
Let w = 79 - 55. Suppose -9*i + w = -21. Suppose -i*b = -5*o - 70, 0*b + 72 = 5*b - 3*o. Does 8 divide b?
False
Let q(x) = -x**2 - 12*x - 15. Let v be q(-10). Suppose 4*m - 5*b = -v, -3*m + 4*m = b - 1. Let l = m - -6. Is l a multiple of 3?
True
Let b(w) be the first derivative of -w**4/4 - 4*w**3/3 + 5*w**2/2 - 29*w + 8. Is b(-7) a multiple of 41?
False
Let k(z) = -z**2 + 7*z + 2. Suppose -3*b - 2 - 58 = 0. Let i be (-112)/b - (-6)/(-10). Is k(i) a multiple of 4?
True
Let z(b) = b**2 + 5*b + 23. Let g be z(-6). Is 29 a factor of 14/21*g*3?
True
Let l = -78 - -28. Let r = l + 93. Is r a multiple of 5?
False
Let o(i) = 27*i**2 - 5*i + 4. Let x be o(3). Let n = x + -101. Let a = -50 + n. Is 27 a factor of a?
True
Let v(d) = -d**3 - 5*d**2 + d + 4. Let i be v(-5). Is 18 a factor of i*6/(6/(-283))?
False
Suppose -2*v = 3*m - 615, 4*v - 1466 = -2*m - 216. Is v a multiple of 45?
True
Let g = -14 + 10. Let x be ((-6)/12)/((-1)/g). Let t = x - -14. Is t a multiple of 12?
True
Let b(y) = -14*y - 1. Let a be b(2). Let c = a + 0. Let s = c - -43. Is 10 a factor of s?
False
Suppose -21*j - 14 = -28*j. Suppose z + 5*r - 31 = r, -51 = -j*z + 3*r. Does 3 divide z?
True
Suppose -3 = -j - 0*j. Suppose 0 = 4*i - 6*i + 2*g + 60, g - 106 = -j*i. Is i a multiple of 7?
False
Suppose 0 = -s - 3*o - 14, 5*s + 4*o + 15 = -0*s. Suppose t = 5 - s. Is 4 a factor of t?
True
Is 30 a factor of (-265*(-2)/6)/(244/8784)?
True
Is (-5339)/57*(2 - (4 - -31)) a multiple of 36?
False
Let s(t) be the second derivative of t**4/3 - 11*t**3/6 + 7*t**2/2 + 13*t. Is s(5) a multiple of 26?
True
Suppose 0 = 60*r - 82*r + 1782. Is 21 a factor of r?
False
Let x(b) = 30*b - 31. Is x(3) a multiple of 18?
False
Let q = -12 - -17. Suppose 0 - 20 = -q*o. Suppose 2*t - o*t - 116 = -4*n, 4*t - 8 = 0. Is n a multiple of 10?
True
Let a = 24 - 31. Let u = a - -9. Let x(j) = 5*j + 1. Does 7 divide x(u)?
False
Let n(h) = -h**2 - 9*h + 12. Let s be n(-10). Let c be ((-1)/s)/(8/(-112)). Suppose -19 = -4*j - 2*z + c, 3*j = 3*z - 3. Is j even?
True
Let y(x) = -1719*x + 171. Does 35 divide y(-1)?
True
Let c = -17 + 17. Suppose 4*a - 282 = -5*w - c*a, -230 = -4*w - a. Is 8 a factor of w?
False
Let u(d) = d - 4. Let x be u(7). Does 3 divide (-28)/(-1)*(-2 + x)?
False
Let q be -1 - 3*-6 - (-2 - -1). Is (q/10)/((-1)/(-25)) a multiple of 15?
True
Let r = -939 + 1047. Is 18 a factor of r?
True
Does 4 divide 598 + -2 + 13 - 13?
True
Let b = 3 - 2. Let t(a) = 115 - 115 + 38*a**2 - a. Is 19 a factor of t(b)?
False
Suppose -2*c + 8 = -5*h, -4*c - 12 = -7*c - 3*h. Is 28 a factor of -53*(-9)/(9/c)?
False
Let y(v) = -6 + 3*v**2 + 3*v**2 + 5*v**3 + 3 - 6*v**3 + 8*v. Let u be y(6). Does 10 divide u - (-3 + (-9)/(-3))?
False
Let o(b) = -b**3 - 7*b**2 - 5*b + 5. Suppose 18 = -5*w - 12. Let q be o(w). Is (-1)/((-5 - q)/44) a multiple of 5?
False
Suppose -42*b + 30087 = -33*b. Does 33 divide b?
False
Let g(z) = 16 + 32 + 6 - 21*z - 8 + z**2. Does 5 divide g(19)?
False
Let n be (-6 + 8)/(3/3). Suppose l = -n*l + 36. Is 4 a factor of l?
True
Let j = 31 + -2. Suppose 3*b + 3*s - j = b, b - 2*s = 32. Is b a multiple of 4?
False
Let n be (-6)/(-4) - 1173/(-34). Does 8 divide 18 - ((-8)/(-36) + (-80)/n)?
False
Suppose f + 4*f + 4*z - 364 = 0, -3*f + 2*z = -214. Is f - ((-6)/(-3) - 0) a multiple of 35?
True
Suppose 617 = 2*v - 3*i, 2*i + 1222 = 7*v - 3*v. Suppose -17*r - v = -21*r. Is r a multiple of 16?
False
Suppose 4*q = 3*m + 327, 5*q + 2*m = 4*m + 414. Is q a multiple of 4?
True
Suppose 1 - 6 = -5*o, 3*f = -o + 1177. Let y = -232 + f. Suppose -k + 6*k - y = 0. Is k a multiple of 21?
False
Let w(p) = 1848*p**3 + 2*p**2 + 15*p - 17. Is w(1) a multiple of 77?
True
Let z(a) = -a**3 + 3*a**2 + 3*a. Let x be (-27)/(-12) + 21/28. Does 2 divide z(x)?
False
Let h(s) = -2*s**3 - 12*s**2 - 8*s - 2. Let w be h(-8). Suppose -2*u