3 - 2*z**2 + 2*z + 1. Does 5 divide u(a)?
False
Let j(s) = -s**2 + 18*s + 24. Let u be j(19). Suppose 2*f = 3*f + 1, 0 = u*p + 2*f - 2783. Suppose 8*y - p = 179. Is 33 a factor of y?
False
Does 34 divide (-70312)/(0 - 17) + 15?
False
Let h(c) = 3*c**2 + 32*c - 142. Let b(p) = 7*p**2 + 63*p - 286. Let i(u) = 2*b(u) - 5*h(u). Is 23 a factor of i(-23)?
True
Suppose -58 = -18*n + 104. Suppose -4363 - 488 = -n*b. Does 58 divide b?
False
Let p = 2533 - -394. Is 8 a factor of p?
False
Let c = -679 + 1044. Let p = c + 433. Is p a multiple of 21?
True
Suppose 0 = -n + u - 4, 3*n - u = -3*u + 8. Let h(t) be the first derivative of t**4/4 - t**2 + 52*t - 176. Is h(n) a multiple of 10?
False
Let k be (-3)/(-7) - (-22)/14. Suppose -k*q + 2*b + 74 = -58, q = 4*b + 60. Is q a multiple of 44?
False
Let s(y) = 14 + y**3 - 15 + 8*y - 12 + 12*y**2 - 10. Is 10 a factor of s(-11)?
True
Let b be 1/(6 - 3545/591). Let a = -572 + b. Is 5 a factor of a?
False
Suppose -6*d - 3*d + 8046 = 0. Let u = d - 544. Suppose -8*w = -3*w - 4*i - 589, 0 = -3*w - i + u. Is 13 a factor of w?
True
Let k be ((-2)/(-4) + 22/4)*6. Suppose 4*p + k = -0. Does 7 divide 2/p - 670/(-18)?
False
Suppose -3*u + 7*u = 840. Let d = 432 - u. Does 74 divide d?
True
Let i(h) = -h**3 - 3*h**2 - h + 1. Let g be i(-3). Suppose -v - b + 32 = 0, g*v - v - 64 = 5*b. Is 4 a factor of v?
True
Is (-684)/342 + (706 - (-1 - 0)) a multiple of 15?
True
Let s = 126 + -124. Does 36 divide 4530/21 + s/7?
True
Let z = 133 - 28. Does 16 divide ((-1 - -3) + -36)/((-30)/z)?
False
Let r(c) = c**2 + 8*c - 7. Let s be r(-11). Suppose -5*u = 286 - s. Let z = -22 - u. Is 10 a factor of z?
True
Let g(h) = 18*h + 68. Let c be ((-2)/(-4)*0)/(-16 + 18). Is 4 a factor of g(c)?
True
Suppose 227 = 2*x - 189. Suppose -86 = -2*w + x. Does 21 divide w?
True
Let m(o) = o**2 - o - 28. Let v be m(-7). Let p = 28 - v. Let d(i) = 8*i + 193. Does 9 divide d(p)?
False
Let m be (-115)/(-15) + 8/6. Suppose 120 = -m*z + 29*z. Is 3 a factor of z?
True
Suppose 0 = -4*y + 5*f + 105529, 17*y = 16*y + 2*f + 26383. Is y a multiple of 61?
False
Suppose -4*i = 2*a + 8, -a - 2*a - 2*i = -4. Suppose 5*w - 558 = -2*s + 524, 4*s - 2164 = -a*w. Does 53 divide s?
False
Let v be 2 + (25 + (-16)/(-4))*2. Let g = 112 - v. Suppose 0 = z - w + g - 234, 2*w = 3*z - 547. Does 59 divide z?
False
Let y(a) = 3*a**2 - 38*a + 3. Let b be y(11). Does 13 divide -106*b/(-32)*-4?
True
Is (-13 + (-120414)/(-98) + -14)/(2/14) a multiple of 25?
False
Let v(r) = 3*r - 14*r - 151 - 11*r. Is v(-13) a multiple of 5?
True
Let r = -27 - -31. Suppose r*a - 173 = 1627. Suppose 3*y - a = -3*y. Is y a multiple of 15?
True
Let d(n) = n**2 + n. Let q(i) = i**3 + i**2 + 20*i. Let l(h) = -4*d(h) - q(h). Does 12 divide l(-6)?
True
Let r(j) = 9 + 15 + 7 - 24*j. Does 14 divide r(-8)?
False
Suppose -7*m = y - 3*m - 2042, 3*m - 8142 = -4*y. Let s = y - 894. Is s a multiple of 95?
True
Let o(f) be the third derivative of 2*f**5/15 + f**4/24 - f**3/2 - 4*f**2. Let r be o(-5). Suppose 6*l - r = 3*l. Is 15 a factor of l?
False
Let z(a) = -2*a**3 + 4*a**2 + 8*a - 3. Let k be z(3). Let m(p) = 7*p**3 + 0*p**2 - p + 7*p**3 - 13*p**3 - 2*p**2 + 4. Is 2 a factor of m(k)?
True
Suppose 10 = 30*k - 25*k, -4010 = -g + 4*k. Is g a multiple of 7?
True
Suppose 5*t + 66351 = 22*t. Does 4 divide t?
False
Suppose 288*i - 1205589 = -19*i. Is i a multiple of 4?
False
Let w(d) = -d**3 + 10*d**2 - 6*d - 12. Let b be w(10). Let r be (-24)/b*(6/2 - 0). Suppose -f + r = -30. Is f even?
False
Suppose 236922 - 60522 = 98*f. Is 45 a factor of f?
True
Let o = -57 - -62. Suppose -y - 4 = -w - 3*w, -o*y + 18 = -w. Suppose -4*c + w*h = -1062, -c = -0*c - 3*h - 253. Is c a multiple of 31?
False
Let g(b) = -b**3 + 7*b**2 - 49*b - 129. Is g(-12) a multiple of 45?
True
Suppose 25*v + 45 = 30*v. Suppose -4*d + 496 = -2*f, -3*d = v*f - 11*f - 373. Is d a multiple of 20?
False
Let o(s) = s**3 - 9*s**2 - 11*s + 12. Let i be o(10). Suppose -3*g + 138 = i*x, -2*x + 0*x + 130 = -g. Let k = x - 33. Does 11 divide k?
True
Let r be 2/(4/6 - (-80)/(-156)). Suppose -8*m + 19 + r = 0. Suppose -m*n + 284 = c, -6*n + 5*n + 2*c = -62. Does 24 divide n?
False
Let h be (12 - (-3 - 10))/((-1)/(-3)). Suppose h*r - 76*r = -280. Is 22 a factor of r?
False
Let j(y) = 14*y**2 + 38*y + 1481. Is j(-20) a multiple of 49?
True
Let x(v) = -672*v - 342. Is x(-10) a multiple of 20?
False
Let u(x) = -4*x**2 - x - 2. Let v(g) = g**2 - 19*g - 2. Let l be v(19). Let h be u(l). Is 24/h - (-190)/4 a multiple of 16?
False
Let i(y) = -y**3 + y**2 + 1. Let d be i(0). Suppose -3*a + 20 = -2*n, -3*a - d - 5 = 0. Is 34 a factor of (n - -1)*(-306)/27?
True
Let a = -65 - -69. Suppose -x - 354 = 10*d - 13*d, x = -a*d + 465. Is d a multiple of 13?
True
Let t(p) = 3*p**2 - 17*p - 137. Is 55 a factor of t(-23)?
False
Suppose -11*a + 35 = -20. Suppose -593 = -a*u - 353. Is 48 a factor of u?
True
Suppose -y = t - 9451, t - 66*y + 69*y = 9447. Is 11 a factor of t?
False
Suppose 0 = 9*h - 10*h - 76. Let o = -52 - h. Let b = o - -10. Is b a multiple of 6?
False
Let u be (-5)/(-10) + (-1)/(-2) - -419. Let b = u - 408. Is 12 a factor of b?
True
Let q = -161 + 397. Let n = -215 - -598. Let g = n - q. Does 21 divide g?
True
Suppose 2*z - z + 2*w = 14, 5*z - 4*w = 14. Suppose -9*k = -z*k - 180. Is 5 a factor of k?
True
Let b be (-2)/(15/(-20) - (-8575)/11444). Let t = b - 1541. Is 66 a factor of t?
True
Suppose -5*d - 3*z = -4*d + 41, -5*d = -2*z + 222. Suppose c - 40*o + 41*o + 38 = 0, 48 = -8*o. Let w = c - d. Does 6 divide w?
True
Suppose 0 = -610*h + 627*h - 112387. Is 35 a factor of h?
False
Let o(x) = x**2 - 11*x + 26. Let l = 23 + -15. Let n be o(l). Suppose -n*t + 455 = 3*t. Does 20 divide t?
False
Let q = 50 + -9. Let b = q + -40. Is 11 a factor of b/(-5) - 6810/(-50)?
False
Let v be (-3)/((-3)/10) + 20 + -20. Is (5/(v/4))/(1/9) a multiple of 17?
False
Suppose 0 = g - f - 49354, -49382 = -g + 84*f - 87*f. Is 24 a factor of g?
False
Suppose 3*t - 32 = 4. Let q = -9 + t. Suppose 2*k = 2*w + 182, q*w = 5*k + 2*w - 455. Is k a multiple of 13?
True
Let d = -187 + 186. Let b(i) = -136*i**3 - 5*i - 5. Is b(d) a multiple of 17?
True
Let i be 1076 + (-1 + 6/4)*2. Is 36 a factor of -4 - (-4 - (i + -4))?
False
Let t(a) = -a**3 - 13*a**2 + 25*a - 18. Let p be t(-15). Let f be 8481/44 + 3/(-4). Let d = f - p. Is 27 a factor of d?
True
Let g = 751 - 562. Suppose -198*j + g*j = -2394. Is 14 a factor of j?
True
Suppose 5*d - d + 61 = 3*j, -2*j - 2*d = -50. Suppose -27*u + j*u = -64. Suppose 25*w - 1944 = u*w. Is 12 a factor of w?
True
Let j be 8/(-32)*3*-4. Suppose 496 = j*d - 929. Is 29 a factor of d?
False
Let w(b) = b**2 - 6*b - 10. Let o be w(8). Let r(l) = -2*l**2 + 24*l - 57. Does 5 divide r(o)?
True
Suppose -4*n + 168 = 92. Does 34 divide -102*(-18 + n)*(-30)/4?
False
Let q(a) be the second derivative of a**5/20 - 7*a**4/4 - 10*a**3/3 - 16*a**2 - 42*a. Let r be q(22). Is 52 a factor of (1 + 7)/((r/78)/1)?
True
Let h(n) = 55*n**3 - 7*n**2 + 9*n + 2. Let k be h(2). Suppose -k = -3*w - 3*g, 2*g - g + 294 = 2*w. Is w a multiple of 15?
False
Is 5 a factor of (-480)/2160 - 25697/(-9)?
True
Let b(x) = 98*x + 3. Suppose 18 = -0*w - w + 5*d, -2*d + 12 = 2*w. Let g be b(w). Suppose 3*o - 131 = g. Is o a multiple of 22?
True
Suppose 116 = 5*g + 4*d, -g - 3*d = 4*g - 112. Suppose 22*c - 162 = g*c. Is c a multiple of 35?
False
Let i = 39376 - 13612. Is 228 a factor of i?
True
Let k = 148 + -144. Suppose 0 = x + 4*o - 368, 4*x - k*o = -7*o + 1524. Is 16 a factor of x?
True
Suppose 79*q - 321204 = 40*q. Is 79 a factor of q?
False
Suppose -32131 = -w - 11135 + 25739. Is 37 a factor of w?
False
Let w(b) = 34*b**2 + 3*b - 2. Let o be w(1). Let k = -20 + o. Does 10 divide k?
False
Let i = -1283 + 683. Is 42 a factor of i/(-8)*(-56)/(-10)?
True
Suppose 3314 - 586 = -8*o. Let r(v) = 47*v - 3. Let w be r(-4). Let a = w - o. Is a a multiple of 50?
True
Suppose -2*k - 3069 + 79043 = 5*l, 5*l - 75982 = -6*k. Is l a multiple of 22?
False
Suppose 3*a + 12 = 0, 2*a = 2*u - 4*u - 706. Let r = u - -573. Does 34 divide r?
False
Let t(c) = c**3 + 5*c**2 + 4*c + 1. Let s be t(-4). Let h be (-1)/(s/(645/1932) - 3). Suppose 5*p + 3*l = h, -2*p - 3*l - 2*l + 67 = 0. Is 8 a factor of p?
False
Let a be 34/6 + 34/102. Is 6