 of x(2)?
False
Let g be (-4)/2*(58 + -5). Let a = 172 + g. Does 6 divide a?
True
Let h(a) = -4*a**3 + 5*a**2 + 5*a. Let n be h(-2). Let p = 98 + n. Is p a multiple of 20?
True
Let f = -10 + 41. Let z = 11 - f. Let g = z + 24. Is 4 a factor of g?
True
Suppose 4607291 = 109*h + 190*h. Is h a multiple of 172?
False
Suppose m + 2*f = -0*m + 12, -m = 4*f - 22. Let i be 10*7 - (13 - 14 - -7). Suppose m*d = -w + 30, -2*w = d + d - i. Is w a multiple of 5?
False
Suppose -23 = -5*f + 2. Suppose 2*t + 3*a - 1448 = 4*a, f*t + 4*a - 3646 = 0. Suppose 5*m + 157 - t = -4*c, c = -m + 141. Does 34 divide c?
True
Is 2 a factor of (9217/(-14 - -1))/(4/(-12))?
False
Suppose -85*s + 9 = -82*s. Suppose s*f + m = 485, 0*m = -4*f + m + 642. Does 36 divide f?
False
Let q = 7891 + -5490. Is 82 a factor of q?
False
Let z be (10 - 12) + 8*7/(-2). Let m = 54 - z. Let n = m + -77. Does 7 divide n?
True
Suppose -3*p = 3*a - 553 - 2, 4*p - 12 = 0. Does 7 divide a?
True
Suppose 5*y - 46 = -k, 3*y + 4*k = -2*y + 49. Suppose 2*h = 4*t - 4486, 12*h + y = 9*h. Is 32 a factor of t?
True
Suppose -5*m + 10*m + 92*m = 106700. Is m a multiple of 7?
False
Let c(p) = -2*p**3 + 6*p**2 - 2*p + 4. Let v be c(3). Let y(n) = -35*n - 2. Let a be y(v). Let m = 7 + a. Does 25 divide m?
True
Let y be 26/6 + (-1)/3. Suppose y = 2*d - 4*d. Let p(f) = -f**3 - 4*f + 1. Is 17 a factor of p(d)?
True
Suppose -66 = -21*n - n. Does 3 divide (4/(-8))/(n/(-114))?
False
Let c(d) = -2274*d + 1202. Does 10 divide c(-2)?
True
Let p(k) = 627*k + 11099. Does 11 divide p(19)?
True
Let w = 7344 - -5209. Does 11 divide w?
False
Let b(p) = -4*p - 6. Suppose 10*s = 13*s + 45. Is b(s) a multiple of 3?
True
Does 196 divide 420/(((-1)/(-50))/((-210)/(-225)))?
True
Let o = -201 + 251. Is (-3)/5 - (-7180)/o a multiple of 11?
True
Suppose c - 815 = -1915. Let p = -687 - c. Does 59 divide p?
True
Let s(b) = 7*b**3 + 4*b**2 - 37*b - 2. Let v(c) = 2*c**3 - c - 1. Let m(f) = s(f) - 2*v(f). Is m(5) a multiple of 15?
True
Suppose -40*a + 264377 = 148*a + 53*a. Is 2 a factor of a?
False
Let k(v) = -8*v + 44. Let b be k(6). Is 5 a factor of b*(-17 + 14 + 1/(-4))?
False
Suppose 0 = -56*t + 45*t + 285989. Is t a multiple of 36?
False
Suppose 4*l + 4*v = 61 - 9, 3*l + 5*v - 47 = 0. Is (-20)/(-20)*(3 + l) even?
True
Let z(h) = -6*h**3 - 54*h**2 + 20*h - 12. Let i(l) = -3*l**3 - 27*l**2 + 10*l - 6. Let d(n) = 5*i(n) - 3*z(n). Is 4 a factor of d(-9)?
True
Let o = 4663 + -3298. Is 9 a factor of o?
False
Suppose 5*m + 17742 = -3*c, -3*c + 0*c - 12 = 0. Let v be (m/(-27))/((-4)/(-6)). Suppose 65 = 5*p + 2*o - 256, -3*p + o + v = 0. Is p a multiple of 20?
False
Let m(k) = 113*k**2 - 2*k - 3. Let q(f) = -113*f**2 + f + 2. Let s(t) = -2*m(t) - 3*q(t). Let l be s(1). Let h = l + -14. Is 20 a factor of h?
True
Let n(f) = f**3 + 87*f**2 + 151*f + 243. Does 7 divide n(-80)?
True
Suppose g + 0*g - 12 = -3*d, 16 = 4*d + 5*g. Suppose 0 = -q + d, 4*q - 696 = -i - 4*i. Does 17 divide i?
True
Let b(c) = -c**2 + 2*c + 19. Let p be b(5). Suppose 0 = p*z + 3*t - 167, 195 = 4*z + 5*t + 18. Suppose 5*g - 463 + z = 0. Is 17 a factor of g?
True
Let f(m) = -6*m**2 + m - 34. Let d be f(0). Let s = d + 475. Does 13 divide s?
False
Suppose -m = -2*m + 18. Let z(q) = 3 + 18*q + 9 - q**2 + 13. Is z(m) a multiple of 25?
True
Suppose -v - 7456 = -2*f, -4*f = -4*v + 2627 - 17535. Does 13 divide f?
False
Suppose -7*d - 5312 = -2*l - 5*d, 2*l + d - 5309 = 0. Is l a multiple of 89?
False
Let l(g) = -21*g - 61. Let y be l(-3). Suppose 2070 = y*o + 8*o. Is 12 a factor of o?
False
Suppose 7 - 99 = -4*j. Let g(f) = -6*f**2 + 3*f**3 - j*f - 10 + 14*f - 4*f**3. Does 11 divide g(-6)?
True
Let c be (32/16)/(1 + -2). Let a be c*(0 + (-244)/8). Suppose 10*b + 11 = a. Does 3 divide b?
False
Does 12 divide (-34322)/(-4) + -2 - ((-108)/(-24))/(-3)?
True
Suppose -4*w + 2*u = -12, -4*w - 4*u + 4 = -8. Suppose 101 = -5*n + w*z + 506, 2*z = -2*n + 146. Does 13 divide n?
True
Suppose 31*n - 27895 = 26045. Is 29 a factor of n?
True
Let p(k) = -2*k**3 + 11*k**2 + 5*k + 24. Is 24 a factor of p(5)?
False
Let s(k) = 75*k - 565. Does 17 divide s(20)?
True
Let g(u) = -14*u - 25. Let f(b) = 2*b + 12. Let c be f(-7). Let a = -4 + c. Is 4 a factor of g(a)?
False
Suppose -3*h = -8*h. Suppose h = -2*w + 3*j + 170, 5*w - 438 = 2*j - j. Let o = w - 49. Is o a multiple of 16?
False
Suppose 5*u - 35 = -d, -63 = d - 6*d + 3*u. Let o be (-2 + 1)*(d - 17). Is (-1)/o + (-1197)/(-14) a multiple of 17?
True
Let j = 495 + 16. Does 8 divide j?
False
Is 47 a factor of 66299/5 - 5 - (-3)/((-15)/4)?
True
Let t(r) = -55*r**2 + 23*r - 4. Let k be t(3). Let o = k - -598. Is 12 a factor of o?
True
Suppose -1 - 7 = -2*j. Suppose 0 = -112*l + 118*l - 3072. Suppose -l = -4*n - j*t, -4*n + 297 = -5*t - 179. Is 28 a factor of n?
False
Suppose 71063 + 1212 = 28*k - 5677. Does 58 divide k?
True
Let y = 61 + -49. Let h be -21*(-1)/y*4. Suppose -h - 10 = -q. Is 13 a factor of q?
False
Suppose -92581 - 454581 = 66*s - 143*s. Is s a multiple of 34?
True
Let h be 3 + (-18)/3 + (4 - -411). Suppose f + 5*k = 490, 2*k + h + 1109 = 3*f. Is f a multiple of 7?
False
Let w = 5499 - 2779. Let q = -1772 + w. Is q a multiple of 14?
False
Let h be 3*((-2)/3)/(-1). Suppose 4*s - g = -113 + 29, -32 = h*s + 2*g. Is 0 + 105 - (s + 22) a multiple of 7?
False
Let o = 5249 + -2833. Does 74 divide o?
False
Suppose -5*q - 101 + 116 = 0. Suppose -q = -0*z + z, -z + 5 = -4*k. Let n(g) = 6*g**2 + 5*g + 8. Is n(k) a multiple of 3?
False
Is (-4)/34 + (-11)/(1870/(-1530190)) a multiple of 10?
False
Suppose -1514 = -b + 20*x - 22*x, 0 = 4*b + 2*x - 6026. Does 32 divide b?
True
Let f be (34/(-102))/(1 + (-93)/90). Does 46 divide (-1665)/18*(-116)/f?
False
Let x(j) = 288*j**3 + 7*j**2 - 12*j + 22. Is 52 a factor of x(7)?
False
Suppose -28*z + 3044 + 456 = 0. Is z a multiple of 3?
False
Let t(l) = -7 + 10 - 6*l - 6 + 55*l. Is 6 a factor of t(1)?
False
Is 39 a factor of (87838/296)/(2/488)?
False
Let l be 135/19 + 48/(-456). Suppose -4*t - 271 = -s, s + s + 4*t - 494 = 0. Suppose 2*p + s = l*p. Is 5 a factor of p?
False
Suppose 0 = -0*g - 3*g - g. Suppose -4*s + 2*s - 4 = g. Does 11 divide 43 + (-9 + 6/2)/s?
False
Let k = 998 + -539. Let w = 153 - 94. Suppose -w = 10*b - k. Does 20 divide b?
True
Is 8 a factor of (21726 - (3 + 1))/(71 - 69)?
False
Let b be -1 + ((-30)/(-45))/((-2)/75). Let v be (-4)/b + 63/13. Let k(y) = 4*y**2 + 36*y + 5. Is k(v) a multiple of 19?
True
Let w = -1227 - -1231. Suppose 2*a + 30 = 5*v - 3*a, -2*v + 2 = 3*a. Suppose 5*y - 15 = 0, -415 + 19 = -v*o - w*y. Is 22 a factor of o?
False
Let t be (8 - 1)*1*1. Let a be 48 + t + 0 + -4. Let x = a + -40. Does 11 divide x?
True
Suppose -15*u + 133617 = 8337. Is 72 a factor of u?
True
Let c(k) = 2*k**3 + k**2 + k + 49. Let t be c(0). Suppose 10*a + t = 5*a - u, 0 = -5*a + 2*u - 52. Let w = a + 54. Does 11 divide w?
True
Suppose 3*a = 3*d + 96, -5*d + 1 + 103 = 3*a. Let b = 36 - a. Suppose -w - 8 = -3*w, 3*p = b*w + 108. Is 3 a factor of p?
False
Let d(k) = -11*k**3 - 3*k**2 + k + 3. Let q be d(1). Is 13 a factor of (q/(-13 - -8))/(1/25)?
False
Suppose 26*r - 23*r - 31439 = 2*v, 0 = -3*v + 15. Is 33 a factor of r?
False
Suppose 73656 = 28*i + 3*i. Is 9 a factor of i?
True
Let d(r) = -r**3 + 2*r**2 + 3*r - 2. Let a be d(3). Let n(w) be the third derivative of 11*w**5/30 - w**4/12 - w**3/3 - 2479*w**2. Is 18 a factor of n(a)?
True
Suppose -3166 = -3*f - 5*y, 3*y = -10 - 2. Suppose -10*r + f = -2528. Does 3 divide r?
False
Let c(g) = g**2 - 104*g + 749. Is 22 a factor of c(0)?
False
Is (194/3*-1)/((-67)/201)*116 a multiple of 12?
False
Suppose p - 6 = -4*k, 17*p - 12*p - 5*k - 5 = 0. Suppose 4*l = v + 15 + 45, 2*l = -p*v + 40. Is l a multiple of 8?
True
Suppose -2*q = -4*y + 230988, 40*q + 6 = 37*q. Is 23 a factor of y?
False
Let y = 62 + 4742. Does 5 divide y?
False
Suppose 64*w = 65*w + 287. Let t = w - -443. Is t a multiple of 26?
True
Let t(s) = 118*s**3 - 10*s**2 + 4*s - 2. Let a(l) = -237*l**3 + 21*l**2 - 8*l + 4. Let c(b) = 6*a(b) + 13*t(b). Is c(1) a multiple of 20?
False
Is 7*(-14)/(-147) + 123914/42 a multiple of 13?
True
Let n(i) = 5*i + 80. Let u be n(-8). Suppose 2*g - c = 371, 2*g - u - 316 = 4*c. Is g a multiple of 10?
False
Suppose 0 = -4*g + 3*t + 5643, 21*t - 17*t = -20. Is