a factor of w?
False
Let p(q) = -7*q + 29. Suppose -38*t - 24 = -41*t. Suppose 42 = -t*b - 70. Is p(b) a multiple of 16?
False
Suppose 4*w + 3*w - 140 = 0. Let o(i) = -i**3 + 20*i**2 + i + 8. Does 28 divide o(w)?
True
Does 67 divide ((-134)/(-4))/(((-4)/(-576))/((-6)/(-4)))?
True
Suppose 75*m - 161*m + 265568 = 0. Is m a multiple of 16?
True
Let u = 1187 - 722. Suppose 3*h = 3*a + u, 5*h = -2*a + 427 + 313. Does 56 divide h?
False
Let i = 14 + -14. Suppose -k - 3*b + 170 = -4*b, i = -3*k + 4*b + 514. Is k a multiple of 13?
False
Let w(k) = 2*k + 36. Let u be w(-18). Suppose u = -5*g, 2*g = -m + 285 - 5. Does 34 divide m?
False
Suppose 2*h - 2 + 4 = 0. Is 251 + (h/1)/((-1)/1) a multiple of 21?
True
Suppose 0 = 5*a - 2*f, a - 8*f = -3*f. Let c(x) = -x + a*x + x + 9*x - 21. Is c(17) a multiple of 22?
True
Suppose 5*j = -3*z - 8, z + 5*j = 6 - 2. Let w(i) = -2*i**3 - 7*i**2 + 3*i + 13. Let f(r) = r**3 + 2*r**2 - 1. Let v(d) = f(d) + w(d). Does 6 divide v(z)?
True
Suppose 128*x - 7435776 = -79*x + x. Does 6 divide x?
True
Is 133 a factor of ((-6)/33 - 25/44) + (-53735)/(-4)?
True
Let w = -1486 - -658. Let s = 1338 + w. Is 30 a factor of s?
True
Suppose -q - 1056 = -5*i, -2*i + 6*q + 414 = 7*q. Is 15 a factor of i?
True
Suppose 8*w = 12*w, -2*i + 8 = -w. Suppose 5*k + i*z - 12 = 0, k - 2*z = -2*k + 16. Suppose -v + 88 = k*u - 5*v, -5*u + 101 = 4*v. Does 7 divide u?
True
Let l(f) = -f**2 + 5. Let a be l(3). Is 8 a factor of 1/(a/1 + 7)*192?
True
Let b be ((-52 - 4)/4)/(-2) + 3. Let q(z) = -z**3 + 10*z**2 + 10*z + 10. Is q(b) a multiple of 5?
True
Suppose 0 = -192*d + 161*d + 165664. Is d a multiple of 16?
True
Suppose -82 = -5*r + 18. Suppose -h + 6*h = -r, h = -3*p - 10. Let i(o) = -19*o + 2. Is 10 a factor of i(p)?
True
Let v(k) = -k**3 + k**2 + 5*k + 3. Let b be v(-2). Suppose -11*z = -b*z + 48. Is 27 a factor of 165 + ((-6)/z)/((-8)/32)?
True
Let o(u) = u**3 + 3*u**2 - 13*u - 7. Let a be o(-5). Suppose 11*b = 2*b - b. Suppose b = a*r - 5*r - 162. Is 27 a factor of r?
True
Let t = -25333 + 39817. Is t a multiple of 6?
True
Let y = -562 - -822. Suppose y - 20 = 4*k. Is k a multiple of 4?
True
Suppose 40 = 5*a - 50. Let d(v) = -v**2 + 19*v - 2. Let w be d(a). Suppose -m + w = -6. Is 9 a factor of m?
False
Suppose 38234 = 83*j - 10653. Does 65 divide j?
False
Let r(g) = -192*g - 30. Let m be r(5). Let n = m - -665. Does 17 divide 3 - (2 - 4)/((-10)/n)?
True
Suppose 350 - 1520 = -30*f. Suppose 0 = -4*s + r + 2181, -r = 36 - f. Does 14 divide s?
True
Let x be 1/((-148)/144 - -1). Let d be (-6)/4 - 1242/x. Suppose -2*v - z = -d - 21, -3*z + 58 = 2*v. Is v a multiple of 13?
True
Suppose -4*w - 7 = -3*w + 3*v, 2*w + 3*v = -8. Let o be (0 - w)/(29/32857). Suppose 8*g - o = -3*g. Is g a multiple of 19?
False
Let u(p) = -53*p - 71. Let o be u(-4). Let z = 666 - o. Does 35 divide z?
True
Suppose -2*w + 68 = 5*s, w = -0*s - 2*s + 28. Let a be (-260)/(-6)*(s/(-8) - -3). Does 13 divide ((-9)/3)/(-1*3/a)?
True
Let p = 49 - 957. Let v = -711 - p. Is 17 a factor of v?
False
Suppose 0 = 4*k - 4*u - 216, 2*k + 5*u - 70 = 3. Is 7 a factor of (-4)/(-1)*(-12)/((-12)/k)?
True
Suppose 0 = -50*q + 47*q - 58005. Is 8 a factor of q/(-105) - 2/14?
True
Suppose -225*o + 226*o = 1594. Is o a multiple of 13?
False
Suppose -d - 5 = -2*z, -3*d - 39 = 2*d - 3*z. Let x be (13/(-4))/1*(d + 1). Suppose 5*c - j - 73 + 24 = 0, 3*c = 4*j + x. Is c a multiple of 5?
True
Let h = -1765 - -4135. Is h a multiple of 30?
True
Let z(j) = -j**2 + j + 4. Let v be 2 + (-3)/((27/(-6))/(-3)). Let i be z(v). Suppose -4*g = -g + 3*a - 375, -i*g + 4*a + 540 = 0. Is 13 a factor of g?
True
Let y(s) = -2*s**3 - s**2 - 4*s + 2. Let n be y(4). Let w = n - -278. Does 25 divide w?
False
Suppose -367 = -u + 443. Suppose s + 2*m = u, -4*s = -3*s + m - 811. Is 58 a factor of s?
True
Let g be 0 - -5 - 0/22. Suppose -g*o - 5*m - 952 = -9*o, 0 = o + m - 247. Is 9 a factor of o?
True
Let r(m) = -m**2 - 25*m - 36. Let l be r(-23). Suppose 3*a - l = -4*b + 2, 3 = b - a. Suppose -5*u + c = -b*c - 504, 405 = 4*u - 5*c. Is 5 a factor of u?
True
Let b = 26621 - 18930. Is b a multiple of 7?
False
Suppose -187*w + 146481 + 2745 = 0. Is 14 a factor of w?
True
Let v(t) = 275*t**2 + 47*t + 34. Is v(-3) a multiple of 32?
True
Let q(r) = r. Let k(n) = -5*n - 11. Let i(g) = -k(g) - 4*q(g). Let u be i(-8). Suppose -u*f - y + 76 = 0, f + 3*y = 2*y + 22. Does 15 divide f?
False
Suppose -42*b + 8*b = 104853 - 468993. Does 45 divide b?
True
Let h be (-6*(-2)/(-8))/(9/(-24)). Suppose -2*z + 456 = -h*w - 0*z, -w - 114 = -z. Let v = -108 - w. Is v even?
True
Let i be 259/3 + 4/6. Suppose -j + 5*x = -i, -4*j - 17 = -3*x - 382. Suppose -4*t + 4*w - j = -9*t, 4*w = t - 28. Is 3 a factor of t?
False
Suppose 3*y - 14*g = -11*g + 3429, 2*g - 5694 = -5*y. Is y a multiple of 114?
True
Is 39/(-2)*(-102 + -1728) a multiple of 39?
True
Suppose 3*b = 34*j - 32*j - 2106, -j - 2*b = -1060. Is j a multiple of 14?
False
Suppose 0 = b + 20 - 19. Let x = b + -3. Is (-4 + 16)/(x/(-12)) a multiple of 13?
False
Let y be 3 - (50 + (-3)/3*0). Let t = 70 - y. Does 9 divide t?
True
Let t(q) = -q**3 + 2093*q**2 + 7 + 5*q - 2090*q**2 - 3*q. Let r be t(0). Suppose -15*o + 528 = -r*o. Does 20 divide o?
False
Let f = 1519 - 746. Suppose f + 1327 = 4*u. Suppose 0*l - 3*l + u = 0. Does 18 divide l?
False
Suppose 23*u = 18*u + 4*b + 37734, -5*b = u - 7570. Is 5 a factor of u?
True
Let b = -2879 - -9199. Is 20 a factor of b?
True
Suppose -5*k - 5*s = -35, -4*s + 8 = 3*k - 16. Let h be (0 - -1)/((-27)/(-81)). Suppose -j + k = 0, -188 = -n - h*j + 4*j. Is n a multiple of 25?
False
Let u(s) = -60*s - 58*s - 144*s + 20*s - 8. Is u(-2) a multiple of 34?
True
Suppose 2*f + f + 4 = 2*t, -3*f = -t + 2. Let g = -233 - -349. Suppose -t*m = -2 + 6, 4*y = 2*m + g. Does 12 divide y?
False
Suppose 2*k = 5*g - 220438, -3*g - 3*k = -4*k - 132262. Is 14 a factor of g?
True
Let o(r) = 46*r**2 + r. Let h be 6/16 - (-12)/(-32). Suppose -3*t - 5 = -2*s + 2, h = -4*t - 12. Is 8 a factor of o(s)?
False
Suppose -50*w + 655435 = 8384 - 190449. Is w a multiple of 13?
False
Suppose 531 = 20*h - 26529. Suppose -5*n = 3*o - 1595, -5*o + h + 242 = 5*n. Is 9 a factor of n?
False
Suppose -7*p + 4*p = 2*n + 6, p - 5*n = 15. Let o be (-8)/6 - 50/(-15). Suppose -m = -4*w - 68, -o*m = 3*w - p*w - 191. Is m a multiple of 20?
False
Let k(f) = -f**3 + 10*f**2 + 2*f - 20. Let c be k(9). Let r = c - 57. Is 5 a factor of r?
False
Let i = 69 - -2. Suppose 75*w - i*w = 2420. Does 16 divide w?
False
Let z(n) = 11*n**3 - 8*n - 2. Let g(y) = -10*y**3 + 9*y + 3. Let a(q) = 6*g(q) + 7*z(q). Is 5 a factor of a(2)?
False
Let r(t) = 265*t - 5845. Is 5 a factor of r(85)?
True
Suppose 226*l = 220*l + 73968. Is 184 a factor of l?
True
Let h(z) = -z**3 - 26*z**2 - 26*z - 33. Let w be h(-25). Does 77 divide (-463)/(w - -7) - 1?
True
Let y(a) = 2*a - 3. Let o be y(2). Let v be (0 - 3) + (o - (-2 + 1)). Is (7 + -12)*(v + (-32)/10) a multiple of 7?
True
Let c = 9489 - 5538. Is 9 a factor of c?
True
Let f(u) = u**3 - 2*u**2 + u + 122. Let n be f(0). Let d = 161 - n. Let x = 82 + d. Is 11 a factor of x?
True
Let x = -45 + 58. Suppose -165 - 303 = -x*g. Is g a multiple of 36?
True
Suppose -16*j - 31311 = -41*j + 18*j. Does 126 divide j?
False
Suppose 0 - 78 = -3*w. Suppose -23*i + w*i - 387 = 0. Is i a multiple of 43?
True
Suppose -4*n = 14*n. Suppose 29*s - 12552 + 24 = n. Is s a multiple of 18?
True
Let i = -43 - -43. Let s be (1 + i)*(-2)/(-8 - -6). Let q(t) = 16*t**3 + t**2 - t. Is 6 a factor of q(s)?
False
Suppose 3*u - 7528 = -b, -b - 2*u + 7568 = -4*u. Is 128 a factor of b?
True
Suppose -2*v + 46 = 3*g - 45, 4*g = v - 18. Let x = 80 - v. Is 10 a factor of x?
False
Let s be 10/15 - (-2)/6. Suppose 0 = -o + s + 6. Suppose o*x - 3*x = 384. Does 18 divide x?
False
Suppose -3*b + 2*p = -3, 5*b - 4*p = -9 + 16. Is ((-12)/36)/(b/(21*51)) a multiple of 7?
True
Is 22 a factor of (-4125)/(-100)*112/3?
True
Let w(h) = 4*h**3 - 7*h**2 - 9*h - 7. Let n(d) = d**3 - d**2 - d + 1. Let t(o) = 3*n(o) - w(o). Is t(5) a multiple of 3?
True
Let x be (4 - 2) + (8 + -171)*-2. Let s = 641 - x. Is s a multiple of 8?
False
Suppose 1 = 5*x + 16, -3*d - 99 = -2*x. Let j = d + 33. Is 6 a factor of (1/j)/((-14)/1344)?
True
Suppose 0 = 4*p - d - 1345, 