 Suppose 3*f - 2*y - 324 = 0, 2*y = 5*f - 3*y - q. Let c = f - 39. Is c a multiple of 26?
False
Let v = 7842 + -4122. Is 40 a factor of v?
True
Let z = 976 + 1324. Is 12 a factor of z?
False
Suppose -l + 4*l + 2*m - 4450 = 0, 2964 = 2*l + 4*m. Is l a multiple of 69?
False
Suppose 2*k + 88 = 6*k. Let w = k + 24. Is w a multiple of 8?
False
Let d = -59 + 60. Is -1*(d + 2) - (-946)/22 a multiple of 14?
False
Suppose -5*z + 0 = p - 4, 3*p + 26 = 4*z. Let d be ((-6)/(-4))/(2/(-8)). Is 3 a factor of d/(-1) - (3 + p)?
True
Suppose 7*m - 1234 = 4*m - 5*n, 2*m - n - 840 = 0. Does 28 divide m?
False
Let k(z) = -z**3 - 2*z**2 - z + 2. Let c be k(-2). Suppose 5*i + 185 = 5*a, -2*a = 3*a + c*i - 176. Let w = a - 22. Does 14 divide w?
True
Let w = 64 - 58. Is (2*w)/(-7 + 8) a multiple of 6?
True
Suppose -3*u - 4 = 5. Let f be ((-22)/u)/(4/12). Suppose 20 = g - f. Is g a multiple of 14?
True
Let w(d) = 67*d**2 - 11*d - 31. Is w(6) a multiple of 38?
False
Let d be 3 + (0 + 2 - 5). Suppose d*b + 8*b = 104. Does 13 divide b?
True
Let l = 1469 - 1001. Is 12 a factor of l?
True
Let r(z) = 3*z**2 + z - 1. Let y be r(1). Suppose -2*x - 18 = 4*d, 2*d + 2*d = -y*x - 17. Is 16 a factor of (31 + x)/(-3 + 4)?
True
Let m = 2016 + -1388. Is m a multiple of 17?
False
Suppose v = -n + 6, 6*v + 24 = 4*n + v. Suppose -n*u = -7*u + 38. Suppose -s + u = -0*s. Is 18 a factor of s?
False
Suppose 0*n - 19*n + 8892 = 0. Is n a multiple of 36?
True
Suppose -6 = -3*f - 4*v + 12, f + 3*v = 11. Let m(d) = -8*d + 4*d + 0 + 0*d**2 + d**2 - f. Is 20 a factor of m(-4)?
False
Suppose -311 = -41*a - 106. Suppose 2*k = 5*s + 92, -s - 3*s - 5*k - 100 = 0. Is 8 a factor of 1/((s/(-32))/a)?
True
Suppose 3*h - 9 = -0*m - m, -9 = m - 3*h. Suppose -w + 5*w + 96 = m. Is (30/(-8))/(6/w) a multiple of 7?
False
Let h be ((-3)/6)/((-1)/6). Suppose -h*j + 15 = -3*g + g, 0 = 4*j - 5*g - 13. Suppose -o = -57 + j. Does 10 divide o?
True
Suppose v - 5 = -1. Suppose -t = 4*p + 189, 0 = -v*p + t + 12 - 207. Does 16 divide p*(-7)/((-63)/(-6))?
True
Let h(i) = i**2 + 5*i - 5. Let n be h(-6). Let q(y) = -5*y - 35. Let w be q(-10). Does 8 divide 12/(w/(-24) + n)?
True
Let w = -22 + 140. Is 23 a factor of w?
False
Let b = 1511 - 1042. Is b a multiple of 13?
False
Suppose 3*b - 16*b = 91. Let o(p) = -5*p - 23. Does 7 divide o(b)?
False
Let o = -53 + 54. Is 84 - -1 - (0 + o) a multiple of 13?
False
Let y(r) = r**2 - 8*r - 3. Let q be y(9). Suppose 0*a = -q*a + 246. Is a a multiple of 8?
False
Let g = 192 + -63. Is g a multiple of 6?
False
Does 99 divide (0 - 8) + 13 + 1381?
True
Let u(m) = 257*m - 4. Let v(n) = n. Let l(y) = -u(y) + 4*v(y). Let o be l(2). Does 9 divide o/(-14) + (-12)/(-84)?
True
Suppose 125*q = 109*q + 6144. Does 16 divide q?
True
Is 178950/180 - (-4)/(-24) a multiple of 14?
True
Suppose -41*v = -50*v + 4104. Is v a multiple of 12?
True
Let f(o) = -3*o**2 + 6*o**2 - o + 5*o. Suppose -2*y = 79 - 73. Does 15 divide f(y)?
True
Suppose 10 = 3*m + 2*m. Suppose m*d + 34 = 2*g - 46, 3*d + 208 = 5*g. Is g a multiple of 22?
True
Suppose -5*t - 4*i + 528 = -1036, t + 3*i = 315. Is 30 a factor of (t/(-14))/(-4 - (-54)/14)?
False
Let z be 288/20 + (-2)/5. Suppose -z*c + 8 = -13*c. Let d = 29 - c. Is d a multiple of 21?
True
Suppose 2*m = 3*i - 653, i - 2*m - 218 = -m. Suppose 0 = 5*s - i + 7. Let p = -14 + s. Is 11 a factor of p?
False
Let n(x) = -2*x**3 + 6*x**2 + 2*x - 9. Let t be n(4). Let q = t - -69. Is 8 a factor of q?
False
Suppose -28 = -7*g - 0*g. Suppose 0 = -g*m + 50 + 22. Does 18 divide m?
True
Suppose 2*c - 5*p = -3*c, -4*c + 2*p = -8. Suppose -c*y = 36 - 416. Is y a multiple of 26?
False
Let n = -32 + 36. Suppose 3*t + 61 = n*t. Does 8 divide t?
False
Let w be 1*1/(-4) + 25/4. Does 22 divide ((-4)/w)/(1182/396 - 3)?
True
Let s be (0 + 0)/(1 + 0). Let o be (-2)/(1 + 1)*(11 + -19). Let m = o + s. Is 3 a factor of m?
False
Let u(i) = 8*i + 1. Let v be u(1). Suppose -v*f + 14*f = 75. Is 15 a factor of f?
True
Suppose 3*r = 4*h + 1613, 8*r - 3*r = -2*h + 2697. Does 37 divide r?
False
Let q(x) = 16*x. Let f(g) = -g**2 + 8*g + 1. Let y(n) = -2*n. Let w be y(-4). Let k be f(w). Does 9 divide q(k)?
False
Let w = 47 - 41. Let l(v) = -2*v**3 - 5*v**2 + v**3 - 6*v + 5 + 2*v**3. Does 2 divide l(w)?
False
Let h = 18 + -11. Let z(d) = d**2 - 8*d + 8. Let r be z(h). Is (-36)/(-2) - (r - -3) a multiple of 14?
True
Let w = 670 - 542. Is w a multiple of 32?
True
Suppose 0 = -2*v - v + 5*r + 1537, -v + 2*r = -514. Is 26 a factor of v?
False
Let a be (8/10)/(15/750). Suppose 0 = -g - 4*g + 20, 4*w + 3*g - a = 0. Is w a multiple of 7?
True
Let t(o) = -o**3 + 11*o**2 + 3*o + 2. Suppose 4*r = -15 + 39. Let p be t(r). Suppose -5*v = -0*v - p. Is v a multiple of 21?
False
Let t(q) = q**3 + 6*q**2 - 5*q - 4. Let r be t(-5). Let w = -53 + 40. Let h = r + w. Is 11 a factor of h?
True
Let k(b) = b**2 + 5*b - 6. Let l be k(-6). Let v be (-10)/(-2) - (l - -1). Suppose 2*y + 52 = v*y. Is 14 a factor of y?
False
Suppose 259 - 76 = q. Suppose -2*t + 207 - q = 0. Is 12 a factor of t?
True
Let x(a) = -18*a + 4. Let p = 98 + -101. Is x(p) a multiple of 58?
True
Let i(y) be the second derivative of -y**4/12 + 5*y**3/3 - 6*y**2 + 4*y. Let h be i(12). Let n = 73 + h. Does 13 divide n?
False
Let n be -1 + (-2 + 0)*-3. Suppose 4*b + 22 = 3*w, 0 = -5*w + 3*w - n*b - 16. Suppose -4*c = -w*c - r - 16, 0 = 4*r + 16. Is c a multiple of 3?
True
Let l(q) = 314*q - 189. Is l(4) a multiple of 14?
False
Let w be -1*(-6)/(-33) + (-70)/(-22). Suppose w*v = -3*c + 39, 2*c - 1 + 11 = v. Is 12 a factor of v?
True
Suppose -5*a = -4*q + 31 + 244, -15 = 3*q. Let n = 267 + a. Does 16 divide n?
True
Suppose 0 = 4*t + 3*n - 1906, -10*n = t - 11*n - 473. Is 24 a factor of t?
False
Let a = -4 - 13. Let w = -8 - a. Is w a multiple of 9?
True
Let t = -718 - -1054. Does 21 divide t?
True
Let p(w) = -2*w**2 + 5*w - 2. Let j be p(2). Suppose 4*v - 3*h - 184 = j, -5*v - h + 230 = h. Suppose v = 3*l - 26. Does 12 divide l?
True
Let y = 21 + -12. Suppose y*c + 132 = 12*c. Is 8 a factor of c?
False
Let f(a) = -a + 6. Let k be f(4). Suppose -5*s + 5*o = -355, k*s + 3*s = o + 359. Is 6 a factor of s?
True
Does 13 divide (6/10)/(69/149385)?
False
Let w(g) = g**2 + 4*g + 6. Let m be ((-10)/4)/(-5)*8. Let a = -1 - m. Is 7 a factor of w(a)?
False
Is (1 + 669/15)*30/4 a multiple of 57?
True
Suppose 139*j - 55*j - 67032 = 0. Is j a multiple of 57?
True
Suppose -3*o - 1 + 64 = 0. Is 5 a factor of 2*(-1)/(-6) + 1463/o?
True
Suppose 4322 = 18*h - 2014. Is 44 a factor of h?
True
Let j = 17 + -14. Suppose 27 = -0*k - j*k. Let x = 57 + k. Does 12 divide x?
True
Is 1674 + (2 - 0) + -2 a multiple of 18?
True
Suppose -2*n - 2 = -i, -2*i + 2*n + 2 = -4*i. Suppose i*r + 4*r = 2208. Is 23 a factor of (r/30)/(2/5)?
True
Suppose 0 = 2*m - 12*m - 30. Is 3 a factor of ((m - 15) + 0)*(1 + -2)?
True
Let q = -27 - -30. Is 10 a factor of 30*(50/15 - q)?
True
Let c = 5 + 28. Let k(w) = w**2 - 8*w - 1. Let o be k(6). Let d = o + c. Is 10 a factor of d?
True
Suppose -5 = 2*v + 5. Let h be (13/(-5) + 2)*v. Suppose h - 57 = -3*f. Does 18 divide f?
True
Suppose 426 = 4*z - 3*p, 10*z - 5*z - 534 = 3*p. Is z a multiple of 13?
False
Suppose -13*m + 151 = v - 15*m, 0 = 4*v - 5*m - 619. Is 4 a factor of v?
False
Let h be ((-8)/(-6))/((-1)/3). Let g = h + 14. Is 8 a factor of g?
False
Let q = 227 - 86. Is 31 a factor of q?
False
Let h = -2 - -8. Let w be -12*(32/h)/(-4). Is 3/(-4) - (-1100)/w a multiple of 26?
False
Let b be (-2)/(-4) + 1430/4 + 4. Suppose b = 6*z - 106. Does 26 divide z?
True
Let t = -170 - -362. Is t a multiple of 12?
True
Suppose -17*f + 4546 = -741. Does 24 divide f?
False
Let x(a) = -a**2 + 24*a - 17. Does 6 divide x(9)?
False
Does 83 divide (-101)/(172/(-760) + (-1)/(-5))?
False
Suppose -g + 231 = 3*o, 3*o + 4*g = -0*o + 222. Is o a multiple of 27?
False
Let n = -17 + 13. Let c be (2/n)/((-5)/30). Suppose -3*l = 5*o - 46, 0*o + l + 36 = c*o. Is o a multiple of 6?
False
Let o(u) = -u**2 + 32. Let l = -13 - -13. Let p be o(l). Is (-6)/(-8) + 872/p a multiple of 28?
True
Suppose -2*a = -12 - 10. Let m = 7 - a. Does 9 divide (m - -7)/(6/82)?
False
Suppose 347 = 4*x - w, -6*x - w + 357 = -2*x. Is x a multiple of 11?
True
Let h = -18 + 26. Let w(k) = -k**3 + 3*k**2 + 7*k - 28. Let c be w(