s**2 + 7*s + 30. Let n(p) = -4*d(p) + 5*o(p). Is n(q) even?
False
Let q(s) = s**3 + 3 - 2*s + 6*s**2 + 3*s - s**3 + s**3. Let p be q(-6). Is (-2)/p*(-690)/(-4) a multiple of 13?
False
Suppose i = a + 19, -3*a = -7*a - 4. Is 29 a factor of 1845/i + 3/6?
False
Let q(n) = 514*n - 750. Does 41 divide q(5)?
False
Suppose 0 = 6*q - 500 + 116. Suppose -5*t = -t + q. Does 10 divide ((-100)/80)/((10/t)/5)?
True
Suppose -x = -5*q + 245, -4*q + 5*x + 217 = -0*q. Suppose 5*n = -u + 39, 3*u - 4*n = -u + 36. Suppose -3*h - 5*a = -h - q, 0 = -h - 5*a + u. Is 3 a factor of h?
False
Suppose 0 = 4*n - 8*n + 4. Is 8 a factor of (n - 2) + 3 + 27 + 51?
True
Let o be ((-192)/(-20))/((-4)/30). Let u be -26 + 20 + (-81)/9. Let i = u - o. Does 11 divide i?
False
Suppose -119911 + 352903 = 20*n + 76*n. Is 3 a factor of n?
True
Let h(w) = 21*w**3 - 20*w**2 + 143*w - 6. Is h(14) a multiple of 20?
True
Let m(o) = -166*o + 7. Let n be m(-8). Suppose 4*r = -3*c + n, -6*r + 1295 = -2*r - 5*c. Is 34 a factor of r?
False
Let g(k) = 760 - 177*k + 414*k - 802. Is 9 a factor of g(2)?
True
Suppose -k = -4*s + 898, -154 = -s - 3*k + 90. Does 4 divide s?
False
Let q be -1*(-1 + 2) - (-53 + 48). Suppose q*i = 4*f - 3684, f + 0*i - 931 = -4*i. Does 13 divide f?
True
Let r be 89*-1*(14 - 23). Suppose 99*i = 102*i - r. Is i a multiple of 26?
False
Let h(z) = 155*z**3 + 2*z**2 + 5*z + 2. Let m(n) = 77*n**3 + n**2 + 3*n + 2. Let p(v) = 2*h(v) - 5*m(v). Does 25 divide p(-2)?
True
Let w(m) = 19*m**2 + m**3 - 3*m + 24*m**2 - 10 - 42*m**2. Suppose -10 = -2*d - 0*d. Is w(d) a multiple of 25?
True
Let z(s) = 245*s + 38. Let o(l) = -61*l - 10. Let i(j) = 9*o(j) + 2*z(j). Does 9 divide i(-6)?
False
Let h be 2/(2/3) - (1036 + -2). Let u = 2158 + h. Suppose 5*l + 3*t - u = 0, -5*t = 2*l - 3*t - 450. Does 14 divide l?
False
Let f = 428 + -412. Suppose z + 3341 = 2*i, -4 = -4*z - f. Is 17 a factor of i?
False
Suppose -2*l = -4*l + 56. Suppose -4*f - 312 - 80 = 0. Let o = l - f. Does 21 divide o?
True
Let u(p) = 4*p**2 + 13*p + 18. Suppose 0 = 12*v - 7*v - 20. Is 3 a factor of u(v)?
False
Let l = 9497 - 761. Does 14 divide l?
True
Let s be 0*2/8*1/3. Suppose 465 = 5*g - 5*l, s*g - 4*l - 84 = -g. Is g a multiple of 49?
False
Suppose 360600 = 277*d - 202*d. Does 8 divide d?
True
Let y = 21 - 5. Let v(k) be the second derivative of -k**5/20 + 17*k**4/12 - 2*k**3 - 5*k**2 + 173*k. Does 7 divide v(y)?
False
Suppose -2*q + 0*t + 2*t = 4, 0 = -3*q - 4*t - 20. Let r = 6 + q. Suppose 3*n = r*k - 0*n - 60, 5*k - 5*n - 155 = 0. Is 5 a factor of k?
False
Suppose -4*h - 1035 = 8*g - 263739, -3*g - 5*h + 98493 = 0. Is g a multiple of 105?
False
Is 10 a factor of (0 - (-2 - (-26626)/(-10)))/((-41)/(-410))?
False
Suppose 4*d = -4*h + 1660, -455*h + 450*h - 823 = -2*d. Does 18 divide d?
True
Let h = 18 - 18. Suppose 0 = v, -y + v + 2 - 7 = h. Let w = y + 102. Is 29 a factor of w?
False
Let n(r) = 2*r**2 - 28*r + 14. Let g be n(14). Let i(q) = -9*q - 12*q - g - 11*q. Is i(-6) a multiple of 26?
False
Let v(q) = q**2 + 18*q + 1112. Does 10 divide v(-16)?
True
Let h be 1 + (19 - (6 + -6)). Suppose h*j - 21*j = -870. Is j a multiple of 49?
False
Let j(l) = -l + 6. Let p be j(3). Suppose -p*q + 9 + 0 = 0. Suppose w - 124 = h, -q*h - 624 = -w - 4*w. Is 11 a factor of w?
False
Let c = 394 - 166. Suppose c = 9*d - 222. Is 2 a factor of d?
True
Let r(w) = w**3 - 2*w**2 - w - 6. Let t be r(3). Suppose -9*q = -t*q. Suppose 6*k - 553 + 139 = q. Is k a multiple of 11?
False
Suppose -4511 - 4801 = -8*r. Let q = r - 688. Does 28 divide q?
True
Suppose 2*s - s + 3*q + 3 = 0, -3*q = -4*s + 18. Suppose s*h - h - 4 = 0. Suppose -51 = h*t - 135. Is t a multiple of 10?
False
Suppose 2*t + 0*t + 210 = 0. Suppose 3*l - 3*p - 666 = 0, 0 = 3*p - 6 + 15. Let m = l + t. Is m a multiple of 16?
False
Suppose 4842*c = 4853*c - 6072. Is 12 a factor of c?
True
Let u = 235 - 78. Let d = u + -99. Suppose 11*x - d = 10*x. Is x a multiple of 29?
True
Suppose 71925 = -8*t - 66*t + 569205. Is t a multiple of 28?
True
Let z(l) = -l**3 + 12*l**2 - l + 12. Let u be z(12). Suppose 2*r - 8 + 2 = u. Suppose -r*q + 266 = -7. Is 20 a factor of q?
False
Suppose -h + 177 = -5*z, -h + 33 = -0*z - z. Let a = 40 + z. Suppose 4*o + 2*n + 2*n - 72 = 0, -o + 38 = -a*n. Is 22 a factor of o?
True
Let x(c) = -c - 32. Let k be x(29). Let a = k + 277. Does 9 divide a?
True
Let z be -6 + 12/3 + 5. Suppose -z*c + 137 - 944 = -3*d, d = -3*c + 281. Is 12 a factor of d?
False
Let z(r) = -29*r + 11. Let l be z(-17). Let y = l - 462. Does 7 divide y?
True
Let c be (6 - 0) + (0 + -3 - -1). Suppose -3*m + 207 = 5*q, -265 = -c*m - q - 2*q. Let v = m - -8. Is v a multiple of 18?
True
Does 35 divide -3*(7 - 23 - 182)?
False
Suppose 4*s + 3779 - 47410 = -p, -4*s - 4*p = -43628. Is 11 a factor of s?
False
Suppose -2 = -5*z - 17. Let h(a) = 69*a**2 - 42*a - 78. Let w(q) = 10*q**2 - 6*q - 11. Let j(m) = -2*h(m) + 15*w(m). Is j(z) a multiple of 35?
False
Suppose u + 0 = 17. Suppose -u*n + 694 = -4882. Suppose n = 4*y - 4*p, -2*p = y + 44 - 120. Is 40 a factor of y?
True
Suppose 0 = -3*t - 3*s + 2765 + 2956, 5*t - 2*s - 9563 = 0. Is t a multiple of 3?
True
Is (12/(-18) - 8/6) + 1602 a multiple of 2?
True
Suppose -78869 - 75031 = -50*k. Does 27 divide k?
True
Suppose 76*q - 136*q = -71*q + 301400. Is 10 a factor of q?
True
Suppose -3542 = 15*u - 32792. Is u a multiple of 50?
True
Let j(y) = -2*y + 100. Let r be j(17). Suppose r*w - 75*w + 6372 = 0. Is 59 a factor of w?
True
Let n(c) = -c**2 + 24*c + 91. Let p be n(27). Suppose 0 = -0*d + p*d - 5150. Is d a multiple of 29?
False
Suppose 3*t - 5*c - 19 = 0, 2*c - 3*c - 5 = 0. Let l be (-7)/7*(t + 10). Let n = 142 - l. Is n a multiple of 30?
True
Suppose -3*p + 3*q + 171 = 0, 0 = -3*p + 2*p + 4*q + 48. Suppose 58*m = p*m - 454. Is m a multiple of 16?
False
Let a(l) = 36*l + 93 + 7*l - 55*l. Does 27 divide a(-12)?
False
Let s(k) = 16*k**2 + 5*k + 18. Is 9 a factor of s(-12)?
False
Let g be ((-20)/(-8))/((-2)/(-12)). Suppose -4*r - 5*s = -1, -2*s = -7*s - g. Suppose -2*l + 179 + 22 = 5*h, r*h + 5*l = 154. Is 12 a factor of h?
False
Let y(o) = o**2 - o + 4. Let k(a) = -4*a**2 + 19*a - 17. Let z(n) = -k(n) - 5*y(n). Let u(s) = -s - 1. Let d be u(10). Is 6 a factor of z(d)?
True
Suppose 19 - 11 = 4*f. Suppose 390 = f*b + 26. Suppose p + p = b. Is 13 a factor of p?
True
Suppose -12 + 3 = -3*x. Suppose x*t - 77 = -5*w + 567, -5*w = -2*t + 396. Does 53 divide t?
False
Let t(d) = d**3 - 12*d**2 + 14*d + 40. Let q be t(10). Does 13 divide 3870/q*4/6*-1?
False
Let g(q) = q**2 + 2*q - 4. Let p be g(-4). Suppose -p*x = 22 - 42. Suppose x*v - 241 = 129. Is v a multiple of 14?
False
Let u be (-4)/(-26) - (-280)/(-130). Is 26 a factor of (-3)/u*295 - (-3)/(-6)?
True
Let m be 29/174 - 1/(6/73). Is 36 a factor of (-27)/m - 1 - (-283)/4?
True
Suppose -292 = -5*f - 2*c, 2*f + 2*c + 46 = 164. Let x = 246 + f. Is 38 a factor of x?
True
Let k = -22 - -22. Suppose 4*d - 3*t = 11, -d - t + k*t = -8. Is 12 a factor of (11 - 6)*36/d?
True
Let u(l) = -2*l + 6. Let d be u(3). Suppose d = 3*j + 5 + 43. Does 12 divide 0 - -12*j/(-3)?
False
Suppose 3*o - 4 = 2*o + 4*k, 0 = -3*k + 6. Suppose -2634 + 606 = -o*x. Does 13 divide x?
True
Suppose 2*t - 3933 = -7*t. Suppose 2*b + 218 = -2*q + 4*q, 4*q - 3*b = t. Is q a multiple of 11?
True
Suppose r - 55 = -50. Suppose r*c - 3677 + 622 = -5*p, 3*c - 603 = -p. Is p a multiple of 15?
True
Let a(i) = 5*i**2 - 10*i - 6. Let q be a(11). Let m = q - 147. Suppose r - m = -r. Is 57 a factor of r?
True
Suppose 2*y + 3*y = -15, 5*s - 3*y = 384. Suppose 4*g - s = 3*g. Suppose -2*f = -x - 45, 4*f + x = -0*x + g. Is 10 a factor of f?
True
Suppose 2*p - 1540 = -2*z, z - 5*p = -3*p + 764. Let v = z - 745. Is v even?
False
Let k(t) = -2*t**3 - 11*t**2 - 8*t + 24. Let x be k(-6). Let h = x + 252. Is 20 a factor of h?
True
Let u(g) = -g**2 - 9 - 3*g**2 + 3. Let f be u(-4). Let h = 23 - f. Is h a multiple of 20?
False
Let j(o) = -6*o**3 + 4*o**2 - 31*o + 6. Does 24 divide j(-14)?
True
Is 5425 + 23 + 4 + -14 a multiple of 62?
False
Let b = -67 + 71. Let n(j) = -3*j + 24 + 61 - 7 + b*j. Is n(-28) a multiple of 37?
False
Suppose 2788 = 2*y - 1846. Let g = y + -1269. Does 17 divide g?
False
Let x(u) = -2*u**3 + 152*u**2 + 44*u - 370. Is 4 a factor of x(7