alse
Let f(g) = -g + 13. Let m be (-27)/(-2) + -1 - 4/(-8). Suppose -m = -4*t + 7. Is 3 a factor of f(t)?
False
Let j(g) = 20*g + 8. Suppose -2 = -9*c + 7. Let y(h) = -h - 1. Let x(k) = c*j(k) + 2*y(k). Is 26 a factor of x(15)?
False
Suppose 4*j - 3*t - 17093 = 0, 3*j - 5014 = -5*t + 7755. Is j a multiple of 22?
True
Let o = 13 - 9. Suppose -467 + 94 = -4*d + 3*s, -o*s - 465 = -5*d. Suppose -d = -z + 2*n + n, -4*z + 5*n + 416 = 0. Is 31 a factor of z?
False
Suppose 0 = 12*b - 17*b - 30, -n = b - 1155. Does 129 divide n?
True
Let s(h) = 3*h**2 + 10*h + 20. Let u be s(-3). Suppose 4*c - 5*l = 26, 3*c - u = l - 3. Does 2 divide c?
True
Let z(r) = -11*r + 40. Let q be z(-30). Suppose 9*o = q + 287. Is 25 a factor of o?
False
Let y(h) = -h - 1. Let b(c) = -17*c - 7. Let v(z) = -3*b(z) + 24*y(z). Let f(d) = 18*d - 2. Let r(j) = 7*f(j) - 5*v(j). Is 19 a factor of r(-2)?
True
Let a = -2587 - -9643. Is 14 a factor of a?
True
Suppose 12288 = -2*o + 5*o. Does 8 divide o?
True
Does 30 divide 58/116 - (-20038)/4?
True
Is 1 + -2 + (-4278)/42*-7 a multiple of 3?
False
Let i(h) = 15*h**3 + 111*h**2 - 5*h - 24. Is 5 a factor of i(-7)?
True
Let v(o) = 3*o**3 - 34*o**2 - 25*o + 24. Let x be v(15). Suppose 0 = -t - 2*c + 1054, x = 2*t + 2*c - 6*c. Does 35 divide t?
False
Let z = -147 + 133. Does 37 divide z/7*2 - -263?
True
Let f(h) = 704*h + 136. Let j be f(41). Is 18 a factor of j/35 - 16/28?
True
Let z = 480 + -246. Let v = z + -156. Is v a multiple of 10?
False
Let o = 296 - 292. Suppose -o*k + 8*k - 1655 = -3*b, -8 = 2*k. Is 22 a factor of b?
False
Suppose -50463 = -51*m - 17*m - 21*m. Is 17 a factor of m?
False
Let u(i) = i**2 + 26*i + 5092. Let f be u(0). Suppose 605 - f = -7*x. Is 55 a factor of x?
False
Is (-20534)/(4/(1 - 3)) a multiple of 7?
False
Let g = -67 + 61. Let d be (g + 5)*(-2 + 1) + -2. Is (67/d)/((-14)/28) a multiple of 11?
False
Let j(z) = 112*z - 23. Let l be j(2). Let b = -195 + l. Is b a multiple of 6?
True
Let l be (6 - -12)/(-6)*1744/(-6). Let n = -542 + l. Does 33 divide n?
True
Let n be 1374/14 + ((-40)/35 - -1). Suppose 0*x = -x + n. Does 22 divide x?
False
Let h(f) = -f**2 - 11*f - 25. Let g be h(-6). Suppose 6*n + g = 7*n. Suppose 0 = n*c - 5*t - 265, -3*c + 27 = -t - 142. Does 11 divide c?
False
Suppose z + r = 0, 0 = 3*z - 2*r - 41 + 56. Let t be 248/12 + (-2)/(-6). Does 10 divide 4/(12/t) - z?
True
Let z(i) = 73*i - 40. Let h be z(2). Let q = h + -43. Is q a multiple of 7?
True
Let m(z) = z**3 + 8*z**2 + 4*z + 6. Let s be m(-6). Let f(l) = 6*l**2 + 101*l - 17. Let p be f(-17). Does 4 divide p + s - (-16 - -14)?
True
Suppose 40*z + 1404 = 34*z. Let r = 254 + z. Is r a multiple of 20?
True
Let f(c) be the first derivative of -c**2/2 - 7*c - 24. Let v be f(6). Let h(y) = y**3 + 15*y**2 + 18*y + 16. Is 24 a factor of h(v)?
True
Let d = 3 + -5. Let j(l) = 39*l - 4. Let n(y) = 39*y - 3. Let i(w) = 4*j(w) - 5*n(w). Does 18 divide i(d)?
False
Let y = 224 - 188. Suppose 0 = y*u - 2240 - 7264. Is u a multiple of 6?
True
Let d(v) be the first derivative of 57*v**2/2 - 65*v + 34. Is 13 a factor of d(8)?
False
Let s(r) = -42*r - 23. Let b be s(-3). Does 9 divide b/3 - 6/(-36)*10?
True
Let t be 50/(-75)*(0 - 3/(-2)). Does 3 divide 1/(460/(-116) + (-4)/t)?
False
Let u = -71 - -173. Suppose -b + u = 5*b. Does 7 divide (b/((-595)/42))/(2/(-65))?
False
Let z(l) = 181*l**3 - 3*l**2 + 4*l - 42. Does 16 divide z(5)?
True
Let d = 20210 - 14192. Is 34 a factor of d?
True
Let k = 721 + -460. Suppose -262*z = -k*z - 186. Does 31 divide z?
True
Let o = -1 + 11. Let k(i) = -171*i - 3 + o*i**2 + 170*i + 2*i**2 - 2. Does 14 divide k(-5)?
False
Let q be (-6)/10 + 2/(-5). Let f(g) = 23483 + 109*g**2 - 2*g + 2*g - 23482. Does 36 divide f(q)?
False
Let d(z) = -z**3 - z**2 + z + 56. Let m be 7/14 + 90/(-12). Is 22 a factor of d(m)?
False
Let b = -22 + 28. Suppose 6*o = b + 18. Is 2 a factor of -11*(1/((-1)/o) + 3)?
False
Let c = -29993 + 46823. Is c a multiple of 17?
True
Suppose 4*s - 3*l = -303 + 32, 0 = 3*s + l + 213. Let h be (159 + 1 + 1)*1. Let n = h + s. Is n a multiple of 13?
True
Suppose 2*p + 2*h = 1 + 13, p - h = -3. Let y be (-2)/(p/12*4*-1). Does 30 divide (y/((-27)/1614))/(12/(-18))?
False
Does 29 divide -2 + (-7 - (-11 + 8)) - (-3834)/2?
False
Let m = 278 - 119. Suppose g + m = 5*y - 27, -3*g = 4*y - 164. Does 19 divide y?
True
Let j = -41 - -39. Let r be 4/(-6) + j + (-2264)/(-12). Is 28 a factor of 4 - (0/3 + 4 - r)?
False
Is 7 a factor of (5 + -13 + 4782/(-24))*(-22 + -6)?
True
Suppose 2193 + 4056 = 2*b - 3*m, 5 = m. Does 43 divide b?
False
Let b(r) = -8*r**2 + 31*r + 239. Let j be b(-6). Suppose -4*o + 136 = -k - o, -o - 358 = 3*k. Let h = k - j. Is 24 a factor of h?
False
Let y = 3 - -1. Suppose q + 4*w = 2*q - 39, -3*w + 99 = y*q. Is (-830)/(-6) - 9/q a multiple of 23?
True
Suppose 2*b = 10, -4*r + b + 13 = -6. Is 12 a factor of 2 + r + 6 + -1?
False
Suppose 0 = x + 4*z - 6843, -10061 = -3*x - 3*z + 10441. Does 16 divide x?
False
Let v = 1924 - -416. Is v a multiple of 13?
True
Suppose -3*o = 5*o - 176. Suppose -o + 26 = z. Let n = 61 + z. Is n a multiple of 9?
False
Let y be (-156)/14 - 10/(-70). Let t = y + 1065. Is 62 a factor of t?
True
Let w(z) = -17773*z - 606. Is w(-1) a multiple of 26?
False
Suppose -7*b + 8 = -5*b. Suppose -3*s = -b*m + 192, -3*m + m = -4*s - 246. Is (-938)/(-10) - -4*(-3)/s a multiple of 12?
False
Suppose 2*w - 71 = -2*w + r, 4 = 4*r. Suppose 4 = 4*m, -5*q + 4*m - 2 = -w. Suppose u - q - 3 = 0. Is u a multiple of 3?
False
Is (-21)/(-98) - (-69410)/140 a multiple of 8?
True
Let g = -7266 + 7269. Suppose 2724 = -w - w + 3*a, 2*a = -8. Does 18 divide 3/15 - (g + w/10)?
False
Suppose -3*d - 20 = -2*v - 8*d, -20 = 3*v - 5*d. Suppose v = z - 6*z. Suppose -19 = -h + 2*t + 4, 5*h + 2*t - 103 = z. Does 7 divide h?
True
Let y = 7827 + -2913. Is y a multiple of 54?
True
Let l(a) = -157*a + 232. Does 11 divide l(-51)?
True
Let j(b) be the third derivative of -49*b**6/120 - b**5/20 + b**4/12 + 2*b**3/3 + b**2. Does 15 divide j(-2)?
False
Let u(r) = -95*r + 3670. Is u(26) a multiple of 55?
False
Suppose 2*k - c - 11264 = 0, k = c + 7733 - 2101. Does 16 divide k?
True
Let t = -226 - -230. Suppose 4*g - 1012 = -t*d, 8*g - 1030 = 4*g + 5*d. Is g a multiple of 46?
False
Let f = 13536 + -9319. Is 36 a factor of f?
False
Let c(q) = -2*q**2 - 3*q + 204. Let a be 3/5 - (-213)/(-355). Is 12 a factor of c(a)?
True
Suppose 3*i = g - 0*i - 47, 211 = 3*g + 5*i. Suppose 50 = -t + 3*p + 14, 2*p - 232 = 5*t. Let u = g + t. Does 5 divide u?
False
Let m(f) = f**3 - 5*f**2 - 13*f - 5. Let s be m(7). Suppose 3*z - 688 = 2*d - 3*d, 0 = -s*z + 4*d + 482. Does 11 divide z?
True
Let a = 1846 + 2083. Is 3 a factor of a?
False
Let t = 133 + -135. Is 29 a factor of (-29)/(4/56*t)?
True
Let v be (8 - -1) + 12/(-4). Suppose 2*b = v*b - 20. Suppose -3*z + 5*s + 227 = -0*z, b*s = -5. Is z a multiple of 12?
False
Let g(z) = z**2 + 37*z - 24. Let m be g(-36). Does 10 divide ((m/(-21))/(-1))/(4/(-322))?
True
Let j(l) = 43*l**3 + 2*l**2 - 1. Suppose 2*u - 2 = -p, 11 = 4*p + u - 18. Suppose 8*v = 3*v + g + 4, 0 = -4*v - 4*g + p. Is 33 a factor of j(v)?
False
Suppose -x + b - 686 = -2516, -3*x + 5482 = 5*b. Is x a multiple of 20?
False
Let b = -9 - -15. Let u be (-49)/(-4) + 3/(-12). Suppose -3*r - 5*l + 7 = 0, 3*l = b*l + u. Does 5 divide r?
False
Suppose 5*c - 9*c + 20496 = 4*g, 20464 = 4*g - 4*c. Is g a multiple of 128?
True
Does 3 divide 1/12 + -21*(-41388)/432?
False
Let o(a) = 6*a + 22. Let q be o(-11). Let z = -40 - q. Does 2 divide -8 + 4 + 12 - z?
True
Let r(q) be the first derivative of -3*q**3 - q**2/2 - 16*q + 12. Let c(w) = -26*w**2 - 3*w - 47. Let l(t) = -4*c(t) + 11*r(t). Does 15 divide l(-4)?
False
Let u = -4757 - -10760. Suppose 11*p - 4700 = u. Suppose 11*i - p = 4*i. Is 24 a factor of i?
False
Is 6 a factor of (-2 - (-10 - -10))/(-1) + 6076?
True
Suppose -5*x - 4*z = -20683, -2036 = 5*x + 5*z - 22721. Suppose 16*u - x = 2361. Is 29 a factor of u?
True
Suppose -28679 - 31696 = -25*s. Is 5 a factor of s?
True
Suppose 0 = -17*x - 4*x + 4*x + 244426. Is 79 a factor of x?
True
Suppose 2*t + 0*t = 8. Let z(o) = o**3 + 11*o**2 - 34*o - 1. Let c be z(-13). Suppose t*l + h = c, -l + 2*h + 24 = 5. Is l a multiple of 5?
True
Let v = -729 + 937. Let b 