i?
False
Suppose 7*a - 11 - 3 = 0. Let r(h) = 0*h**2 - a*h**2 - 18*h**3 - h**2. Is 22 a factor of r(-2)?
True
Suppose 3*k = 2*z - 2*k - 423, -2*z + 3*k + 413 = 0. Suppose 3*u + z = -401. Let o = -91 - u. Does 27 divide o?
False
Suppose -16895*j + 125286 = -16876*j. Does 14 divide j?
True
Let f(z) = 20*z + 104. Let v be f(-5). Suppose -4*j + 111 = -o - 48, 179 = v*j + 3*o. Does 2 divide j?
False
Let h(k) = 2*k**2 + 17*k + 10. Suppose 3*o + 8*s = 3*s + 1, 0 = -4*s - 4. Suppose w = o*q - 1 - 9, -q + 30 = -3*w. Is 37 a factor of h(w)?
False
Let k = 34089 - 31437. Is k a multiple of 102?
True
Suppose -9*w + 12*w = 6. Let r(x) = -w - x**3 - x + 17 + 10*x - 11*x**2 + 12. Is r(-12) a multiple of 21?
True
Let u(k) = 989*k - 2944. Is 30 a factor of u(7)?
False
Let j be -3*((-3 - -2)*-1)/3. Does 40 divide (119 - j) + 0/(-3)?
True
Let f = -376 + 399. Suppose f*j + 3514 = 15244. Is j a multiple of 34?
True
Let m(n) = -4*n + 31. Let u be (-21)/14*-2*16/6. Suppose u = 2*t + 34. Does 23 divide m(t)?
False
Suppose 27*v - 27258 = -32*v. Does 7 divide v?
True
Does 12 divide -1*(-7)/(14/13164) - 7?
False
Suppose -2 = 3*r - 2. Suppose r = b + 5*b + 48. Let k(a) = -7*a + 39. Is 19 a factor of k(b)?
True
Suppose i = n - 4, 3*n + 0*i + 4*i = 5. Suppose -l + 492 = 2*l + n*q, 0 = 4*l - q - 641. Is l a multiple of 23?
True
Suppose 0 = 3*j - 4*q - 214 - 310, 2*j = -q + 331. Let z = -155 + j. Does 6 divide z?
False
Suppose 2*l = -9*l - 3058. Let n = l + 391. Is n a multiple of 38?
False
Let r be (1 + 5)*742/42. Suppose -r = -26*y + 128. Is 3 a factor of y?
True
Let o = 11009 - -10846. Does 93 divide o?
True
Is (-242 - -2)/((-26)/1261) a multiple of 21?
False
Is (34/(-10) - -3)*15 - -7796 a multiple of 3?
False
Suppose -8477 = -3*w + 5*q, -1029 = -4*q - 1009. Is w a multiple of 13?
True
Let a = 6398 + 7066. Does 11 divide a?
True
Suppose -2*o - 22 = 2*p + 12, -2*p + 2*o = 30. Let d(j) = 2*j + 35. Let k be d(p). Is ((-84)/8)/((k - 1)/(-16)) a multiple of 19?
False
Does 20 divide 31371 - (-28 + 32 - (0 + -7))?
True
Is (-21 - (-582046)/238)/(4/14) a multiple of 5?
False
Let c(g) = -5*g - 50. Let h be c(-11). Let o(w) = 2*w**3 - 7*w**2 + 9*w - 27. Is 12 a factor of o(h)?
False
Suppose 20*m + 3108 = 17*m. Let x = m + 720. Let y = x - -581. Does 29 divide y?
False
Suppose 5*x + 6*w = 4*w - 605, -5*x = 5*w + 620. Let z = -100 - x. Suppose -16*a = -z*a + 342. Does 32 divide a?
False
Let w(m) = 9*m**2 - 12*m + 34. Let i be w(7). Suppose -b + g = b - i, -4*b - 3*g = -787. Is b a multiple of 14?
True
Suppose -138*l + 479*l - 12987667 = 0. Is 21 a factor of l?
False
Suppose -5*d = 2*o - 10986, 0 = o + 6*d - 8*d - 5466. Is o a multiple of 11?
True
Suppose -2*l - 24*k + 1856 = -18*k, 4*l - 4*k - 3648 = 0. Is 52 a factor of l?
False
Let t(h) = -13*h - 102. Let a be t(9). Let y = a - -398. Is 6 a factor of y?
False
Let m be (-1)/(-4) + -7 + (-215)/(-20). Suppose -r = m*r - 7*r. Suppose -2*q = -2*w - 314, r = -3*q - q - 5*w + 628. Is q a multiple of 25?
False
Let b(g) = 59*g**2 + 54*g + 3. Is 20 a factor of b(-10)?
False
Suppose 120 = 59*l - 64*l. Is (15 + -19)/((-46)/l - 2) a multiple of 11?
False
Let t(f) = -224*f - 26. Let q(m) = -449*m - 43. Let j(i) = -6*q(i) + 11*t(i). Is 16 a factor of j(2)?
True
Let v(t) = t**3 + 11*t**2 - 13*t + 6. Let x be v(-11). Let n = -76 + x. Let r = n + -33. Does 10 divide r?
True
Let z(l) = -9*l**3 - 17*l**2 - 20*l - 32. Does 4 divide z(-6)?
True
Let y(u) = u**2 + 9*u - 6. Let x be y(15). Suppose r - x = 7*r. Let a = 194 + r. Does 27 divide a?
True
Suppose 29*f + 3*d = 27*f - 8, -2*f - 2*d = 4. Suppose -f*k - 3*v + 949 = 0, 13*v = 2*k + 17*v - 948. Does 28 divide k?
True
Suppose v - 2 = 2*a + 1, -1 = -3*v - 2*a. Does 24 divide 3290/(-25)*v*25/(-10)?
False
Let l = 134 + 277. Let u = l + 28. Is 19 a factor of u?
False
Suppose 0 = -j + 4*d, 5*d = j - 3*j - 65. Is (5/6)/(j/(-5160)) a multiple of 16?
False
Suppose -2 = -i + 2*j, -2*i - 3*i + 3*j + 24 = 0. Suppose -p = 1, p = -2*r - p + i. Suppose 3*z = 3*a + 68 - 536, 5*a + r*z - 816 = 0. Does 16 divide a?
True
Let n = 241 - -97. Let o = n + -144. Is 9 a factor of o?
False
Let m(v) = v**3 + 4*v**2 - 16*v + 10. Suppose -4*j - 92 = -4*d, 3*j = 2*d - 31 - 20. Suppose 11*l - d = 8*l. Does 14 divide m(l)?
False
Let t(l) = -5*l + 2. Let q be t(-1). Suppose q*r + 4*r = 165. Let p = 3 + r. Is p a multiple of 11?
False
Let b = -200 - -202. Suppose -f = -b*o - 3*f + 414, -f + 837 = 4*o. Does 21 divide o?
True
Let u(w) = -w**2 - 2*w + 397. Let i be u(0). Suppose -7*b + i + 947 = 0. Is b a multiple of 24?
True
Let h(u) = -5*u + 7. Let s be h(3). Let d be (198/s)/(9/(-24)). Suppose 0*v = 3*v - d. Is v a multiple of 8?
False
Let l = -4265 - -6063. Is l even?
True
Let g = -165 - -175. Suppose -136 + g = -o + 3*v, -608 = -5*o + 4*v. Does 30 divide o?
True
Let c(o) = 0*o - 862*o**2 + 859*o**2 + 2*o + 4 + 4*o**3. Is 20 a factor of c(3)?
False
Suppose 0 = -o + 3*j + 31, o - 26 - 3 = 2*j. Let w(q) = q**2 - 29*q + 232. Is 11 a factor of w(o)?
True
Let u = -139 + 31. Does 8 divide (-22815)/u - (-1)/(-4)?
False
Let d(z) be the third derivative of 23*z**8/20160 + z**7/5040 - z**6/720 + z**5/15 - 15*z**2. Let q(c) be the third derivative of d(c). Is q(1) a multiple of 7?
False
Let g(u) = 1442*u - 3076. Is 11 a factor of g(7)?
True
Let p(q) = -q**2 + 52*q + 54. Let d be p(23). Suppose -b - 2*r = -r - d, 5*r = 4*b - 2866. Is b a multiple of 20?
False
Suppose 0 = 28*d + 7*d - 7*d - 25424. Does 7 divide d?
False
Suppose -5*s - 7 = -17. Suppose s*w + 1 + 19 = 0. Let x = 36 + w. Does 3 divide x?
False
Suppose -5*w + 4*x + 586 = -890, -5*x + 1485 = 5*w. Suppose n - 400 = -2*v - 105, 2*n - w = -2*v. Does 49 divide v?
True
Let u = 1 + 4. Suppose -u*n + 16 + 9 = 0. Suppose -k + n*q + 46 = q, -5*k + 2*q = -320. Is 22 a factor of k?
True
Let j be 1 - -957 - ((-32)/(-4))/2. Let c = j - -96. Is c a multiple of 15?
True
Let a(x) = -22*x + 25. Let r be a(-12). Suppose -3*z = -r - 689. Suppose -45*o = -43*o - z. Is 33 a factor of o?
False
Let w(g) = -5*g**2 - 9*g + 20. Let b be w(4). Is 22 a factor of (6 + (-124)/6)*b?
True
Let o(a) be the third derivative of -a**6/120 + 3*a**5/20 - a**4/3 + 2*a**3 - 28*a**2 - 1. Let q = 20 - 12. Does 12 divide o(q)?
True
Suppose -2*n = 19*g - 18*g - 2887, -4*n + 8653 = 3*g. Does 213 divide g?
False
Is (1059/(-12))/(18 - (-30244)/(-1680)) a multiple of 105?
True
Let b = -72 + 115. Let p be (2*b/4)/(33/660). Let w = p + -227. Is 29 a factor of w?
True
Suppose -2*l - 2*u = -9356, 4*u + 14 = 6. Is 3 a factor of l?
True
Let m = 265 - 432. Let a = m + 371. Does 5 divide a?
False
Suppose 0*h = 2*h - 68. Let t = -67 + 78. Let p = h - t. Is 10 a factor of p?
False
Let j = 121 + -52. Suppose -65*i + j*i = 52. Let c(z) = z**3 - 12*z**2 + 11. Is 30 a factor of c(i)?
True
Suppose f - 78 = -4*s, 2*f - 4*s - 61 - 95 = 0. Let a be ((-30)/(-7))/(-10) - f/14. Is 10 a factor of 418/6 - 2/a?
True
Suppose 35944007 - 12915452 = 599*v. Is 55 a factor of v?
True
Suppose -125*f + 1056 = -133*f. Is 176/6*(-2673)/f a multiple of 66?
True
Let t(g) = 3*g**2 + 10*g + 29. Let a be t(13). Suppose 0 = 664*b - a*b + 528. Is 8 a factor of b?
True
Let f be (-14 - (0 + -1 - 0))*-20. Is (f/16)/1 + (-4)/16 a multiple of 3?
False
Let y(z) be the second derivative of 1/4*z**4 + 1/6*z**3 + 0 + 13*z - 5*z**2. Is 20 a factor of y(3)?
True
Suppose 4*t - 8254 = i + 23904, 2*i + 24116 = 3*t. Is 204 a factor of t?
False
Let f be 2/15 - 4572/(-135). Suppose 2*d - 106 = -f. Is 4 a factor of d?
True
Let t(v) = -v**2 + 19*v + 27. Suppose -f + 5*d - 6*d = -4, -f + d + 2 = 0. Let n be (-3)/f + (-11 - -31). Is t(n) a multiple of 6?
False
Let g(t) = 2*t**2 + 9*t + 11. Let j be g(-3). Suppose 3*m - 1906 = -3*f + 7*m, 4*m + 1276 = j*f. Is f a multiple of 30?
True
Does 98 divide (-176984)/(-42) + 18*(-36)/(-6804)?
True
Is (45/(-6))/(-7 + (-9150)/(-1308)) a multiple of 109?
True
Let f be 92/6 + (0 - 4/(-6)). Let x = f + -9. Suppose 0 = x*q + 3*q - 850. Is 21 a factor of q?
False
Suppose -3*h + y - 131 = 0, -4*h - 4 - 164 = -3*y. Let k = h - -37. Let f(i) = -i**3 - 7*i**2 - 11*i - 5. Is 21 a factor of f(k)?
True
Let l(x) = 5014*x**2 - 8*x + 5. Does 63 divide l(2)?
False
Let a = -11791 + 17966. Is 19 a factor of a?
True
Let p(b) be the first derivative of 86*b**3/3 - b**2/2