*p - 5. Let s(z) = z**2 + 9*z + 4. Let x be s(-8). Let w(k) = x*f(k) + b(k). Does 15 divide w(5)?
True
Suppose -q = -3*s + 513, 0 = 3*s - q + 4*q - 513. Let z be 14/3 + (-8)/12. Suppose -a - a = -r - s, -z*a - 5*r = -377. Is 8 a factor of a?
True
Suppose i + 0*i + 5*w = 12, -5*w = -10. Suppose 0 = -n - i*p + 19, -4*n + 88 = 2*p - 0*p. Let s = 28 - n. Is s a multiple of 5?
True
Suppose -2*d - 14*d + 48 = 0. Suppose 4*i - 2*p - 48 = 0, -3*p = -d*i - 2*i + 58. Suppose i*w - 671 = -279. Is w a multiple of 4?
True
Let s(y) = -y + 2. Let k be s(12). Let r(n) = -n**2 - 9*n + 14. Let f be r(k). Suppose b = -3*c - b + 18, -c + f*b + 20 = 0. Is c a multiple of 8?
True
Suppose 5*z + 34865 = -4*m, 4*m + z - 6621 + 41498 = 0. Does 30 divide (-6)/33 + (6 - m/44)?
False
Suppose -21*n - 22*n + 17630 = 0. Does 16 divide n?
False
Let h(i) = -2*i + 41. Let r be h(16). Let s = r - -27. Suppose 2*u = -m - 2*u + s, 0 = m - 3*u - 43. Is 8 a factor of m?
True
Suppose 189*i - 46080 = 157*i. Does 8 divide i?
True
Suppose -210700 = 341*a - 366*a. Is 196 a factor of a?
True
Suppose -5*c - 520 = -5*l - 1425, 0 = 5*c + 4*l - 923. Is c a multiple of 26?
False
Suppose 2*m + 3*f = 6780, 140*m - 142*m - f = -6768. Does 49 divide m?
True
Let a(z) = 22*z + 10. Let f(m) = -2*m - 1. Let v(b) = 2*a(b) + 44*f(b). Is 6 a factor of v(-7)?
False
Let p = 183 - 158. Suppose p*u = 3190 + 160. Does 67 divide u?
True
Suppose 0 = -2*b + s - 5*s - 5388, -b - 2694 = -s. Let a = -1888 - b. Is a a multiple of 34?
False
Suppose 3 = -j - n, -2*n - 3 = -4*j - 3*n. Suppose -6*p + j*p + 2 = 3*h, 0 = -5*p - 4*h + 2. Suppose 155 = p*q - 3*t, -q + 2*t = -0*q - 78. Does 38 divide q?
True
Is 1791/1 - (3 + -6 - (-3 - -1)) a multiple of 60?
False
Suppose 9341 = 7*x - 40268. Is x a multiple of 22?
False
Let k = 9917 - 6749. Is k a multiple of 9?
True
Let y = -44 - -42. Let b be y - -5 - (-6)/3. Suppose 75 = b*h + 5*t, -2*h = 3*h - 5*t - 115. Does 7 divide h?
False
Suppose 3*g + 4 = -x, 0 = 4*x + g + 3 - 9. Suppose 5*t + 2*b = -b + 966, 376 = x*t - 4*b. Is t a multiple of 8?
True
Let c = 23988 - 12192. Is c a multiple of 12?
True
Let h(b) = -6*b - 44. Let m be h(-8). Suppose 2*n + 5*l - 1026 = -345, 0 = 3*n - m*l - 964. Is n a multiple of 15?
False
Let t(p) = p**2 + 6*p - 7. Let y be t(13). Suppose y*u + 6 = 241*u. Does 4 divide u?
False
Is 71 a factor of 1524/(2/12 - (24 - 24))?
False
Suppose 5*d - 3*z - 115 = 0, 3*z + 25 = d + 2*z. Let j be 76/8*d - 0. Let x = j + -94. Is x a multiple of 12?
True
Suppose 0 = -6*x - 3364 - 1712. Let p = x + 1018. Is p a multiple of 2?
True
Let i = -9154 - -13217. Is i a multiple of 8?
False
Let r(x) = -1 + 8 + 5*x - 4*x**2 - 6 + 31*x**3 - 4. Is 8 a factor of r(2)?
False
Suppose -150 = -3*b - 2*b. Let p = b - 22. Suppose -u = -p*u + 14. Is 2 a factor of u?
True
Let u(h) = 13*h**2 + 24*h - 1237. Does 129 divide u(23)?
True
Suppose -58*r - 376*r + 97*r = -7822781. Is r a multiple of 61?
False
Suppose -2 = -4*o - 14*q + 11*q, -2*o - 4*q - 4 = 0. Suppose -5*y + 3*u = -865, 3*y = -o*u + 670 - 132. Is 21 a factor of y?
False
Let q = -9474 - -13786. Does 14 divide q?
True
Let d(t) = 36*t - 77 + 36*t - 16*t. Is 12 a factor of d(9)?
False
Let c be 377632/320 - 2/(20 - 0). Let j = c + -585. Is j a multiple of 14?
False
Let c(f) = -f**2 - 11*f. Suppose 3*r - 13 = 2, -102 = 2*p - 2*r. Let o = -55 - p. Is 6 a factor of c(o)?
True
Let u(y) = -127*y**2 - y. Let q be u(1). Let i = 216 + q. Suppose -n + 3*h + i = 0, -h - 4 = -2*h. Is n a multiple of 8?
False
Suppose 5*h = a + 6118, h - 249 - 981 = -3*a. Suppose -10*y = h - 7474. Is 11 a factor of y?
False
Let p be (-165)/198 - 8330/12. Let x = -526 - p. Is x a multiple of 8?
False
Let h(a) = -290*a - 13905. Does 24 divide h(-81)?
False
Let z(s) = 20*s - 8. Suppose -69 = -w + 4*w. Let p = -19 - w. Is z(p) a multiple of 18?
True
Suppose -46*c = -51*c - 5*f + 34280, 27423 = 4*c + 5*f. Is 42 a factor of c?
False
Is (-233 + 191)*(-258)/7 a multiple of 43?
True
Suppose -5*h + h = 88. Let x = 210 + -242. Let t = h - x. Does 5 divide t?
True
Let h = 4 + 12. Suppose -114 = 10*f - h*f. Does 2 divide f?
False
Let z(b) = 2*b**3 - 36*b**2 - 14*b + 1. Let q be z(19). Let j = 1001 - q. Is 16 a factor of j?
True
Let d(m) = -14*m + 17*m**2 + 7*m**3 - 75*m**3 - 22*m**2 - 8. Let c(x) = -23*x**3 - 2*x**2 - 5*x - 3. Let r(p) = 8*c(p) - 3*d(p). Is r(1) a multiple of 3?
True
Suppose -5*y - 5*u + 10965 = 0, 2*u = 3*y - 5801 - 768. Is 37 a factor of y?
False
Suppose -250 = -68*p + 63*p. Let f = p - 2. Does 8 divide f?
True
Let a(d) = -d**3 - 6*d**2 + 5*d - 8. Let r be a(-7). Let l = 12 - -27. Is (26/r - 3)*l/2 a multiple of 13?
True
Let k = -6699 + 14199. Is 250 a factor of k?
True
Suppose 54879 = 27*v + 5064. Is v a multiple of 6?
False
Let r = 13246 + -12753. Does 29 divide r?
True
Let y = -422 + 988. Let x = 1039 - y. Is 14 a factor of x?
False
Suppose -5*l + 3*t + 13562 = 0, 0*t + 5436 = 2*l - 4*t. Does 34 divide l?
False
Suppose v - 2*g - 48 = 0, -5*v - 127 = -9*v - 5*g. Suppose 0 = -6*b + v + 16. Is b even?
False
Let o(v) = 16*v**3 + 9*v**2 - 27*v + 125. Is o(7) a multiple of 69?
True
Let i be (3/6)/(3/(-36)). Let v be i/4 - 26/(-4). Suppose -p = -2*w + 3*p + 230, w = v*p + 127. Does 14 divide w?
False
Suppose -82477 = 183*i - 277*i + 1325267. Is i a multiple of 18?
True
Let f(x) = x - 2. Let y(v) = -6*v - 3. Let c be y(-1). Let d be f(c). Suppose 0 = g - 83 + d. Is g a multiple of 17?
False
Let c be -2 + -76 - (-2 - 3). Does 9 divide 8/12 - c/3?
False
Suppose 0 = 8*w + 10*w - 1584. Is (2 + w/(-20))/(6/(-40)) a multiple of 4?
True
Let g = 0 - -9. Suppose -378 - 153 = g*o. Let u = o - -107. Is 19 a factor of u?
False
Suppose -4*z = 34*v - 36*v + 18820, 18874 = 2*v + 5*z. Is 14 a factor of v?
True
Does 11 divide -7 + (21/15)/(5/11125)?
False
Let i be (-3)/2 + (-193)/(-2). Suppose i = 2*c - 57. Is c a multiple of 4?
True
Suppose -13 = h + z + 2, 2*h = 3*z - 20. Let n(v) = v**3 + 15*v**2 + 16*v + 22. Is n(h) a multiple of 14?
False
Let y(f) = f**2 + 2*f + 60. Suppose 3*z + 0 = 3. Let s be (z/(-1) + 1)/(-1*2). Does 15 divide y(s)?
True
Suppose 8004 = -51*c - 3828. Let u = c + 340. Does 3 divide u?
True
Suppose 0 = 15*v - 105546 - 3769 - 33530. Is 11 a factor of v?
False
Let d(t) = t**3 + 42*t**2 + 40*t + 58. Suppose -5*x - 5*r = 205, -3*x = -x - 2*r + 82. Is d(x) a multiple of 33?
True
Suppose 0 = 5*h + i + 3170, -4*i = 2*h - 9*i + 1295. Let f = h - -1111. Is 17 a factor of f?
True
Let l(j) = j**2 + 4*j - 5. Let a be l(-5). Suppose a = -5*q - 3*f + 134, 0 = -5*q + 8*f - 6*f + 144. Does 28 divide q?
True
Is (-8692)/(-7) - (-16)/56 a multiple of 18?
True
Suppose -3*a = -4*z - 9214, -54 = 5*z - 34. Is a a multiple of 21?
True
Suppose -4*s = -183 - 713. Suppose -p + 5*p = -5*b + 515, s = 2*b - 2*p. Does 15 divide b?
False
Suppose -105 = -4*l + 5*w, 65 = 3*l + 63*w - 64*w. Suppose 27*s - 630 = l*s. Is 6 a factor of s?
True
Suppose -19*r = 58*r + 8*r - 362100. Does 15 divide r?
True
Let p = -9623 + 10514. Is 5 a factor of p?
False
Let y = 11827 + 3629. Is y a multiple of 112?
True
Suppose -2*u - 5*m + 1083 = -803, 3*m + 12 = 0. Does 28 divide u?
False
Let z = -6127 - -6398. Is 12 a factor of z?
False
Is 47 a factor of (-35 - 291)/(((-6)/188)/((-6)/(-8)))?
True
Is 10 + (-7)/(49/42) + 7*926 a multiple of 47?
True
Is 20 a factor of 7 + ((-4)/(-12) + 904/24)*40?
False
Let i = 23 - 22. Let t(s) = 1. Let r(u) = 7*u + 7. Let n(m) = i*r(m) + 3*t(m). Is 26 a factor of n(6)?
True
Suppose -458*l + 482*l = 722160. Is 17 a factor of l?
True
Let o = 20 + -36. Let d = o + 4. Is 2 a factor of (2*d/32)/((-2)/24)?
False
Let x = 6105 + -3465. Does 11 divide x?
True
Let l be (125/50)/((-2)/(-4)). Suppose -960 = -l*w - 5*v, v - 735 = -5*w + 217. Does 10 divide w?
True
Suppose 4*d + 0*n = 3*n + 10242, 5*n + 12805 = 5*d. Let o = -1294 + d. Does 23 divide o?
True
Let p(a) = 3*a + 123 - 125 + 106*a**2 - 3*a. Let x be p(1). Is 37 a factor of (-2)/10*x*(-3 + -2)?
False
Let n be ((5 + 35)/(-5))/1. Let p(x) = 2*x + 61. Is p(n) a multiple of 13?
False
Suppose -3416 = 3*y - 11*y. Suppose -158*k - y = -159*k. Does 7 divide k?
True
Is (-8515)/(-6) + ((-490)/(-2352) - (-9)/(-24)) a multiple of 94?
False
Let v(c) = 3*c + 51. Let y be v(-18). Is ((-8)/24)/(y/2529) a multiple of 10?
False
Let l = 618 - 