+ q*p + p = -j. Does 40 divide g?
True
Suppose 57*a = 46*a + 12364. Suppose -w = 5*u - a, -4*u - 5*w + 1151 = 235. Does 16 divide u?
True
Let k(y) be the second derivative of -y**5/20 + y**4 + 17*y**3/6 + y**2 - 150*y. Let l be ((-26)/4)/(2/(-4)). Does 9 divide k(l)?
True
Suppose 12*x = 6*x - 306. Let i be (2/(-3))/(17/x). Is ((-1)/4)/(i/(-520)) a multiple of 13?
True
Suppose 4*g - 5035 = -5*r, 3*g - 3777 = 485*r - 488*r. Does 20 divide g?
True
Let n(d) be the first derivative of d**4/4 + 4*d**3/3 + d**2 - d + 16. Let c be n(-4). Is 34 a factor of (-240)/(-2) + c*5/(-15)?
False
Suppose 121 - 8 = -c. Let y = c + 121. Is 12 a factor of 4/y + 35/2?
False
Let y(s) = 11*s - 4. Let z be y(-7). Let c = -26 - z. Is 19 a factor of (-2484)/(-11) - (-5)/(c/2)?
False
Let i(z) = 6*z**2 + 34*z + 40. Is i(18) a multiple of 22?
True
Suppose -2*y + 20 = 8. Suppose -q - 20 + 119 = 0. Suppose -9*s = -y*s - q. Is s a multiple of 3?
True
Let w(y) = -221*y + 1575. Does 16 divide w(-47)?
False
Suppose -17*x + 15*x = 26. Let c(i) = -14*i - 87. Is 3 a factor of c(x)?
False
Let x(r) = -20*r - 3. Let d be x(-3). Suppose -18*g - 107 = -1025. Let c = d - g. Is 6 a factor of c?
True
Is 11 a factor of (-45934)/(2*(2 - (-18)/(-6)))?
False
Suppose 5*h - 3*h + 5*w + 5 = 0, 0 = h - 3*w - 14. Suppose c - 4 = h*k, k = 6*c - 2*c + 3. Let p(b) = 21*b**2 + 1. Does 15 divide p(c)?
False
Let w(a) = 4*a + 14. Let m be w(-3). Suppose 2*l + 6 = m*i, 5*i + 10 = -3*l + 41. Suppose -4*f + 5*d - 221 = -7*f, 150 = 2*f + l*d. Is f a multiple of 11?
True
Does 106 divide (800512/(-448))/((-12)/42)?
True
Suppose -709 = -5*c + 4*o, 673 - 251 = 3*c + o. Does 52 divide c?
False
Suppose -106843 - 138506 = -9*a - 90306. Is a a multiple of 35?
False
Let s = 7 - 3. Suppose 0 = 4*i + f - 525 + 148, 389 = s*i - 3*f. Suppose -5*k + 296 = 3*a, a + 0*k - 2*k - i = 0. Does 14 divide a?
False
Suppose 0 = -5*m + 286 + 14. Suppose 5*o - m = o. Suppose 0 = r - 7 - o. Is 5 a factor of r?
False
Let m(z) = -2*z**3 + 7*z**2 + 6*z - 6. Let j be m(4). Suppose g - q + 18 = j*g, 5*q + 117 = 4*g. Does 4 divide g?
False
Is 21 a factor of (-6069)/(((-6)/16)/((-28)/(-56)))?
False
Let j(x) = 35*x**2 + 11*x - 77. Does 67 divide j(-13)?
True
Suppose -23364 = -4*u - b + 22924, -b = u - 11578. Is 65 a factor of u?
True
Is 7 a factor of 0 + (-46223)/(-3) + (-1616)/606?
False
Suppose 0 = -a - 5*r + 22310, -2*r + 143525 - 32136 = 5*a. Is a a multiple of 44?
False
Let i(h) = 13*h + 101. Let f be i(9). Suppose -m + u + 126 = -f, -3 = u. Is m a multiple of 13?
False
Is (-4)/(-66) - 29/(6699/(-1801786)) a multiple of 20?
True
Let d(k) = -k**3 - 11*k**2 + 24*k - 22. Let w be d(-11). Let o = -130 - w. Does 13 divide o?
True
Does 33 divide -2 - -2 - (-117364)/26*(-3)/(-2)?
False
Suppose -2*a - 5*f = -16009, -4*a + 2*f + 22700 = -9258. Is a a multiple of 72?
True
Let n(c) = c - 12. Let l be n(9). Let o be ((-171)/6)/(l/(-6)). Does 10 divide (18/5)/(o/(-760))?
False
Let r = 253 + -199. Is 18 a factor of 13/(195/110)*r?
True
Let p(j) = 2*j**3 + 12*j**2 - 11*j - 7. Let n be p(6). Let g = -535 + n. Is g a multiple of 7?
False
Suppose 3*f - 16261 - 27491 = -10236. Is f a multiple of 12?
True
Suppose 10*g = g - 63. Let f be g/((-14)/(-12))*15/(-3). Does 20 divide -27*f/(-9) + 0/3?
False
Let u be 60 + 30/(-5)*4/6. Suppose u*k - 60*k + 328 = 0. Does 17 divide k?
False
Let j = 18449 - 14882. Does 4 divide j?
False
Let j(p) = -p**3 - 15*p**2 + 24*p + 40. Let h(d) = d**3 - 2*d**2 - 8*d + 3. Let y be h(-3). Does 13 divide j(y)?
False
Is (120/9*(-432)/120)/((-9)/2604) a multiple of 7?
True
Let p(b) = b**2 - 78. Let w(h) = -h**2 + 7*h + 62. Let s be w(13). Is p(s) a multiple of 76?
False
Suppose -2*t - 3*b - 137 + 159 = 0, -b - 1 = -t. Suppose 3*l + 4*g = -g + 2646, 0 = -2*l - 2*g + 1760. Suppose t*m + 247 - l = 0. Is 21 a factor of m?
True
Does 61 divide (-36516)/(-867) + -42 + (201174/(-34))/(-1)?
True
Let p(g) = -61*g**3 - 10*g**2 - g - 24. Let q be p(-8). Suppose 36*c - 15*c = q. Does 35 divide c?
False
Suppose 0 = -c - 2*u + 894, 3*c = 48*u - 53*u + 2682. Suppose 274 = -4*j + c. Is 5 a factor of j?
True
Let n(y) = 3*y**2 + 43*y - 19. Let h be n(-23). Suppose -13*p + m + h = -9*p, -279 = -2*p - 3*m. Is 48 a factor of p?
True
Let d = -236 + 308. Is (-788)/(-18) - (-16)/d a multiple of 12?
False
Suppose -46*k + 272 = -12*k. Let y(m) = 9*m + 55. Is y(k) a multiple of 5?
False
Suppose -3*j + 0*j = 4*t - 161, -j + 171 = 4*t. Let k = t + 40. Is k a multiple of 19?
False
Does 12 divide (100/(-52) - 0) + 2 - (-77100)/39?
False
Suppose 71*r - 3074400 = -38*r + 4*r. Is 23 a factor of r?
False
Let d(k) = -k**3 + 4*k**2 + 5*k + 8. Let c be d(-6). Suppose -5*a = -2*h + 214, c = h + 2*h + a. Let l = h + -57. Is 5 a factor of l?
True
Suppose 0 = -2*i + 5*i - 36. Let s be (-4)/i + (-147)/(-9). Does 14 divide ((-1179)/(-15) - 0) + s/40?
False
Suppose 5*m + 12 = -0*i + 3*i, 0 = -4*m + 3*i - 12. Suppose 8*w - 7*w - 128 = m. Suppose 4*d - w = -3*f - f, -130 = -4*f - 2*d. Is f even?
False
Let a = -2233 - -5208. Is 7 a factor of a?
True
Let v be -677 - (-4*(-8)/(-4) - -3). Is v/(-24) - 2/((-6)/9) a multiple of 31?
True
Let b(y) = -4*y**2 - 7*y + 2. Let z be b(-6). Let l(h) = 32*h**2 + h + 5. Let n be l(2). Let u = z + n. Is 5 a factor of u?
True
Suppose 4*n = 4*v - 868, 10*n + 8 = 14*n. Is v + 3 + 7/(-1) a multiple of 20?
False
Let c = 469 - 473. Is 70 a factor of (-3612)/(-36) + c/12?
False
Suppose 0 = -n + 27*l - 25*l + 602, 2*n + l = 1219. Is 16 a factor of n?
True
Is (-279)/62*2/1 - -9164 a multiple of 27?
False
Suppose 157*o - 163*o = 270. Let q(a) = -a**2 - 76*a - 82. Is 13 a factor of q(o)?
True
Suppose 0*p - 3*b = 5*p - 281, 110 = 2*p + 2*b. Suppose 3*x - 20 = p. Let r = 100 - x. Is r a multiple of 27?
False
Let l = 5583 + -5565. Does 2 divide l?
True
Let i(g) = 10*g + 4633. Is i(-20) a multiple of 58?
False
Suppose 23*x - 64 = 27*x. Let a be ((-4)/(x/3))/(10/(-40)). Does 8 divide 56 - -14 - 3*2/a?
True
Suppose -56 = 44*a - 45*a. Is 552/15 - a/70 a multiple of 12?
True
Let u(x) = -2*x + 14. Let r be u(-17). Let z = 51 - r. Suppose z*n = 5*n - 150. Is 15 a factor of n?
True
Let s = 1395 - -168. Suppose -s = -6*r - 93. Is r a multiple of 63?
False
Let a(f) = 63*f**2 - 12 + 9*f**2 - 10*f**2 - 13 + 14*f**2 + 24*f. Is a(1) a multiple of 10?
False
Let l = 40 + -37. Let j(d) = 215*d - 53. Is j(l) a multiple of 37?
True
Let y(h) be the third derivative of -h**4/2 + 8*h**3/3 - 216*h**2. Does 32 divide y(-4)?
True
Let w(r) be the first derivative of 19*r**2/2 - 22*r + 2. Let n be (112/84)/(3/9). Does 17 divide w(n)?
False
Let u = -55 - -75. Let q(h) = -4*h + 19. Let d be q(u). Does 24 divide 0 + 0 - d - 3?
False
Let v(x) = 8*x**2 - 11*x - 50. Let m be v(13). Suppose m = 5*d - s, 0*s - 3*s = 2*d - 467. Is d a multiple of 14?
False
Let n = 31686 - 14052. Is n a multiple of 7?
False
Let j(m) = -m**2 + 15*m - 46. Let i be j(5). Suppose i = -13*o + 14*o. Suppose -o*g = -86 - 202. Is 10 a factor of g?
False
Suppose 6 - 3 = r. Let d = -25 - -25. Suppose r*o + 3*o - 210 = d. Does 9 divide o?
False
Suppose 23*o - 8 = 27*o. Let i be 73 + (o - 1) + (7 - 6). Suppose 2*g + 5*s - 29 = 44, 2*g = -3*s + i. Is 5 a factor of g?
False
Let z = -29009 + 50985. Does 86 divide z?
False
Let u be 2*((-4)/6)/((-22)/(-33)). Let c(w) = 16*w**2 + 12*w + 21. Is c(u) even?
False
Suppose 1799*h = 1808*h - 134091. Is h a multiple of 15?
False
Let y(u) = 174*u + 6672. Is y(36) a multiple of 49?
True
Suppose -1051 = -22*r + 3767. Is 23 a factor of r?
False
Let n = 13030 + -4978. Does 53 divide n?
False
Suppose -144*h = -135*h. Suppose -21*c + 9*c + 720 = h. Does 6 divide c?
True
Let m = 2996 - -1288. Is 12 a factor of m?
True
Let z(g) = -2*g**3 - 18*g**2 - 29*g - 10. Let n(a) = -3*a**3 - 36*a**2 - 59*a - 21. Let b(p) = -3*n(p) + 5*z(p). Is b(19) a multiple of 26?
True
Let b(w) = -3*w**3 - 3*w**2 - 3*w + 6. Let o(v) = v**3 + 17*v**2 - 19*v - 22. Let c be 54/8*(-8)/3. Let t be o(c). Does 18 divide b(t)?
True
Let u be (-3 + 0 + 3)/1 - -4. Suppose -u*s = 5*q - 5, -2*q + s + 5 = 2*s. Is 28 a factor of ((-10)/2)/(q/(-44 + 4))?
False
Let y(h) = -4*h**3 + h**2 - 3*h + 9. Let n be y(2). Is 10 a factor of (69/(-46))/((-6)/(-8)) - n?
False
Let l(h) = 18*h - 4. Let f be l(-2). Let z = -28 - f. Suppose -z*c = -6*c -