le of 28?
False
Let p(v) = -16*v - 8. Let o be (3/(-4))/(7/252). Let g = o - -25. Is 6 a factor of p(g)?
True
Suppose 4*o - 8 = -4*i, 4*o = i - 1 - 26. Let a(h) = h - 4. Let c be a(i). Suppose 5*t + c*r = 1013, 1 = 3*r - 2. Is t a multiple of 38?
False
Let f(q) = 26*q**3 + 93*q**2 - 518*q - 20. Is f(6) a multiple of 4?
True
Let h be ((-3)/3)/(3/(-6)). Let g be (h + -2)/(-2 - -3). Suppose -3*p - 2*k + 32 = g, -k = p + 4 - 16. Is 2 a factor of p?
True
Suppose a - 24 = -43. Let u = a + 37. Is 3/u*3 + 1852/8 a multiple of 38?
False
Let k(d) be the first derivative of 2*d**3/3 + 13*d**2 + 15*d - 126. Does 22 divide k(-22)?
False
Suppose 4*p + 4 = 2*r, 2*p + 3*r + 5 + 5 = 0. Let z(f) = 27*f**2 - 6*f - 5. Let b be z(p). Suppose 45 + b = 3*x + o, 0 = 2*x - o - 105. Is 21 a factor of x?
False
Let l(f) = 3*f**3 + 9*f**2 + 200*f - 2314. Is 22 a factor of l(11)?
False
Suppose -23443 + 32141 = 15*m - 58457. Is 59 a factor of m?
False
Is 90 a factor of ((-165600)/56)/15*(294/4)/(-7)?
True
Suppose 0 = -4*x + 3 - 11, 5*w + 4*x - 52 = 0. Let n be 1/((0 + w/(-632))/3). Is 19 a factor of n/(-8) + 21/(-28)?
True
Let w(r) = 3*r**2 - 31*r - 32. Is 33 a factor of w(-38)?
True
Suppose -2*s = 3*s + 5, -30 = -j + 2*s. Let y = j - 25. Suppose -y*a + 191 = -3*z + 4*z, 5*z = -a + 955. Does 42 divide z?
False
Let z = -398 - -586. Let r = 375 + z. Is 93 a factor of r?
False
Let r = 8 - 12. Let q be (-5 - (-4 - -2))*r/6. Let p(x) = x + 5. Does 4 divide p(q)?
False
Let k be (0 - 1/(-1))/((-5)/3495). Let j be k/(-18) - 1/(-6). Let g = j + -9. Is 4 a factor of g?
False
Let o = -108 - -125. Let b = 182 - o. Is 16 a factor of b?
False
Let w(s) = 5*s - 30. Let d be w(12). Let q = -31 + d. Is 2 a factor of q/((-15)/(-77) + 4/(-14))?
False
Suppose -532 = -7*h - 0*h. Suppose 0 = -3*r - 52 + h. Suppose -4*n - d = -84, -4*d + 2*d = r. Is 10 a factor of n?
False
Let c(v) = 6*v**3 - 3*v**2 - 3*v + 5. Let o be c(-4). Let d = 814 + o. Let r = d - 279. Is 30 a factor of r?
True
Let q(d) = -2*d**3 - 13*d**2 - 5*d + 9. Let h be q(-6). Suppose -h*a - 264 = -7*a. Is 6 a factor of a?
True
Let a be 2/3 + (-1)/(-3). Let w be (-23 + -2)/(-6*(-10)/60). Is 75/w - (-32 + -1 + a) a multiple of 3?
False
Suppose 20*n + 8*n = 30856. Suppose -1108*t + n*t = -2430. Is 9 a factor of t?
True
Let l(i) = -i + 4. Let h be l(-1). Suppose -3*q - 249 = -2*w + 2*q, 0 = -4*w + h*q + 523. Suppose w*j = 136*j + 58. Is j a multiple of 9?
False
Let v(l) = -5995*l - 470. Is 17 a factor of v(-1)?
True
Suppose 0 = 110*o - 24*o - 402566. Does 54 divide o?
False
Let g be (-2 + -71)*12/(-3). Let t = 726 - g. Does 10 divide t?
False
Is 33 a factor of (-160)/(-100)*(-8440)/(-32)?
False
Suppose 0 = -3*y + 4*w + 33, -2*y - 2*w + 18 = -6*w. Suppose -3*u - 6*r + 5*r = -1127, -3*r + y = 0. Does 21 divide u?
False
Suppose 5*p - 1020 = -2*o, -2*o = -p + 183 + 9. Suppose b - p = -0*b. Is b a multiple of 27?
False
Let q be 2 + (1 - 2) + -1. Suppose -7*p = -q*p + 42. Let f(w) = -5*w + 40. Is f(p) a multiple of 7?
True
Suppose 3*y - 23*o + 28*o - 14223 = 0, 14211 = 3*y + o. Is y a multiple of 64?
True
Let b(q) = q + 1. Let h(c) = 23*c - 65. Let l(y) = 5*b(y) + h(y). Let z(w) = w + 6. Let a be z(0). Does 27 divide l(a)?
True
Suppose -184 - 96 = -2*v. Let s = v + -85. Let h = s + 194. Does 42 divide h?
False
Let n(i) be the second derivative of 0 + i**2 + 41/12*i**4 + 1/3*i**3 + 12*i. Is 12 a factor of n(-1)?
False
Suppose -36567 = -29*x + 12675. Does 4 divide x?
False
Suppose -4*p + 4*b + 4 = -24, 0 = p - 3*b - 17. Suppose 5*n - 599 = -q, 0*q = -p*q - 2. Is 50 a factor of ((-39)/(-4))/(18/n)?
False
Suppose -49*r = -59388 - 6174. Is 7 a factor of r?
False
Let o be (0 - -5*(-2)/10)*-5. Let m(b) = 15*b**2 - 6*b - 2. Does 49 divide m(o)?
True
Does 25 divide 3/(-1) + 7581 + 19?
False
Suppose -m = g - 6*m + 140, m = -4*g - 602. Does 20 divide (-2006)/(-10) - (-90)/g?
True
Let u(d) = -2*d**2 - 19*d + 3. Let w(z) = -z. Let i(g) = -u(g) + w(g). Let n(v) = -9*v + 116. Let t be n(14). Does 5 divide i(t)?
False
Suppose -v + 6325 = -8*o + 12*o, -2*v = -o - 12659. Is v a multiple of 18?
False
Suppose -14*j = -3*k - 10*j + 4066, 3*j - 4080 = -3*k. Is 7 a factor of k?
True
Suppose -5*l + 3*v - 8*v + 35 = 0, l - 11 = -5*v. Let j(b) = 3 - 27*b + 6 - l*b - b + 2*b**2. Is 17 a factor of j(19)?
True
Let h(w) = 8*w + 278. Let k be h(-37). Is (-186823)/(-117) + (-4)/k a multiple of 67?
False
Let h(d) = 704*d - 1863. Is h(9) a multiple of 63?
True
Let v = 48 + -39. Suppose -19 - 8 = -v*q. Suppose q*k - 4*k - 188 = -4*j, 5*j = 2*k + 238. Is 11 a factor of j?
False
Suppose 3*f + 3*n - 54810 = 0, -4*n - 73120 = -838*f + 834*f. Is f a multiple of 215?
True
Suppose c = -5*b + 12104 + 2343, 2*c = 4*b - 11566. Does 10 divide b?
True
Let m(d) be the second derivative of d**4/12 + 7*d**3/3 + 33*d**2/2 + 15*d. Let h be m(-11). Suppose h = -s - 5*g + 84, -420 = -7*s + 3*s + g. Does 11 divide s?
False
Let y be 10*20/(-75)*-18. Suppose 985 = -43*i + y*i. Is 8 a factor of i?
False
Suppose 111256 = 14*x - 191438. Does 7 divide x?
False
Suppose -q - 6*u - 469 = -3613, -q = -4*u - 3154. Is q a multiple of 15?
True
Let s(j) = -j**2 - 5*j - 6. Let b be s(-5). Let w(l) = -l**3 - 7*l**2 - 14*l - 21. Does 27 divide w(b)?
True
Let x = 4341 - 919. Does 26 divide x?
False
Let k(p) = -119*p**3 - 3*p**2 - 4*p - 2. Let d be k(-2). Let o = -506 + d. Is o a multiple of 20?
True
Suppose -4*d + 4*v + 4 = -4, v + 2 = -4*d. Suppose d = -5*o + 5*c + 350, 4*o + 4*c = o + 245. Is 5 a factor of o?
True
Let q(t) = t**3 + 12*t**2 + 12*t + 20. Suppose -5*j + 2 = -2*j + 2*w, -3*w + 3 = 5*j. Suppose j = -8*k - 72. Is 31 a factor of q(k)?
True
Let g = -1223 - -1219. Suppose -2*h - 4*i = 1 + 1, -4*h - i = -24. Does 4 divide -32*(h/g - -2)*-2?
True
Let y = 314 + -207. Let w(g) = -y*g**3 - 30*g + 29*g - 59*g**3. Does 34 divide w(-1)?
False
Let r(p) = -49*p**2 - 1 - 5*p - 25 + p + 60*p**2. Let k be r(6). Let v = 22 + k. Is v a multiple of 27?
False
Let y(r) = 466*r**3 - 2*r**2 - 13*r + 16. Let m(w) = -465*w**3 + 3*w**2 + 14*w - 18. Let t(q) = 5*m(q) + 6*y(q). Does 60 divide t(1)?
False
Let g(n) = 15 - n**3 + 2 + 12*n**2 + 2*n**3 + 12*n + 5. Is g(-11) even?
False
Is 15 a factor of 5/7*2/(-5)*(-2973 - 58)?
False
Let q(o) = -o**2 - 6*o + 3. Let h be q(0). Is -4 + h + 3 - -133 a multiple of 27?
True
Suppose 2*g - 241 - 781 = w, 4*w + 2048 = 4*g. Suppose -233 - 219 = 2*f. Let y = f + g. Is y a multiple of 25?
False
Let k(m) = m**3 + 5*m**2 - 5*m - 3. Let a(o) = -o - 11. Let q be a(-13). Suppose -f + 5 + 2 = -3*y, 0 = y - q*f - 6. Is k(y) a multiple of 6?
False
Let j = 387 - 413. Let y = j + 293. Is y a multiple of 24?
False
Suppose 0 = -5*o + 5*c - 31485 + 181980, -5*o = 3*c - 150471. Is o a multiple of 12?
True
Is 6237/6*31/((-558)/(-36)) a multiple of 63?
True
Let j = -146 - -146. Suppose -f + 3*o + 89 = j, 7 = 2*o + 1. Is f a multiple of 14?
True
Suppose 2*q + 12*d - 7*d = 4998, q + 4*d = 2502. Suppose q = 4*p - w - 161, -654 = -p - 3*w. Is p a multiple of 21?
False
Let b(c) = -3*c**3 - c**2 - 3*c - 2. Let v be b(-1). Suppose 4*d - 5*x - 873 = 0, 0 = d - 2*d + v*x + 213. Is 37 a factor of d?
True
Let t = 46 - 46. Suppose t = z - 2*v - 5, 2*z + 5*v + 5 - 15 = 0. Let x = z + 7. Does 3 divide x?
True
Let g(t) = -2*t**3 + 48*t**2 + 41*t + 2. Let v be g(25). Let u = v - -1253. Does 48 divide u?
False
Let k = 14351 + -7001. Is 21 a factor of k?
True
Is 242*3842/48 - 17/204 a multiple of 9?
False
Let t = -135 - -581. Suppose 0 = -4*b - t + 3290. Is b a multiple of 52?
False
Suppose 0 = -t - 2*a + 1622, 3*t - 14*a - 4867 = -19*a. Suppose -2*n = -5*h - t + 399, 5*n + h - 3130 = 0. Is 56 a factor of n?
False
Let j be 21/15 + 24/40. Suppose 5*f - 877 = -0*f - o, -4*o + 340 = j*f. Does 26 divide f?
False
Let f(k) = 87*k**2 - 1924*k + 25. Does 28 divide f(25)?
True
Suppose -5*s - 3842*h + 79193 = -3845*h, 2*s - 31694 = 4*h. Is s a multiple of 52?
False
Suppose -2830*p + 2838*p - 113128 = 0. Is 24 a factor of p?
False
Let o(l) = l**3 + 3*l**2 - 3*l + 4. Let r be o(-3). Let t(m) be the second derivative of m**3/2 + 39*m**2/2 - 238*m. Is t(r) a multiple of 26?
True
Suppose -5*c - l + 280525 = 75013, -3*l = -6. Does 152 divide c?
False
Let p be (11/(-4))/(5/(-20)). Suppose 5*y = -2*x - x - 9, 4*x = y + p. Is x/(-4) - (-759)/