 1. Let v be (-44)/12 + 1/(-3). Is 14 a factor of l(v)?
False
Let m(t) = -55*t**3 - 2*t**2 + t. Let a be m(1). Let z be -5 - (0 + ((-175)/(-7))/5). Is (-220)/88*(0 - a/z) a multiple of 11?
False
Let z = -34 - -41. Suppose 12*s = z*s. Suppose s = -2*j + 90 + 2. Is j a multiple of 23?
True
Let q = -128 - -130. Suppose -10*h - q*h + 4200 = 0. Is 25 a factor of h?
True
Suppose -5*g + 28 = 28. Suppose g = -34*d + 40*d - 510. Is 16/(-6)*(d/(-4) - -1) a multiple of 30?
False
Suppose -3*v = s - 3477 + 989, -3292 = -4*v + 5*s. Is v a multiple of 6?
True
Suppose 3*r - 20190 = -5*f, 2*f = -r + 6263 + 467. Is 29 a factor of r?
False
Suppose 8*h - 4*h = d, -d - 1 = -5*h. Let z be (46 + h)/(-9 + 10). Suppose 3*t - z = 67. Does 3 divide t?
False
Let c(l) = -124*l**2 - 3*l - 3. Let i be c(4). Let r = -896 - i. Is r a multiple of 19?
False
Suppose -4*k - 5*f + 8644 = -f, k - 2181 = 4*f. Suppose 4*z = k + 643. Is 26 a factor of z?
True
Suppose 0 = -4*b + 27*d - 23*d + 97456, 0 = 4*b + 5*d - 97420. Is b a multiple of 87?
True
Let r(o) = 27*o - 83. Let t be r(8). Let f = 349 - t. Does 24 divide f?
True
Let v(g) = g**3 + 38*g**2 + g + 26. Let n be v(-38). Is 4 + (-707 + -18)*n/10 a multiple of 23?
True
Suppose -4*t = -38 + 42. Let u = 31 + t. Suppose -u*x + 28*x = -82. Does 15 divide x?
False
Is 3 a factor of (-19)/(-2)*(685 + -373)?
True
Suppose -2*n + 4908 = 4*p, -11*p + 14*p + 3*n - 3684 = 0. Is p a multiple of 7?
False
Let b(o) = 3*o - 2*o + 31 - 2*o. Suppose -12*a + 41*a = 522. Is b(a) even?
False
Let x be (-5158)/(-12) - 10/(-60). Let v = 29 + x. Is 27 a factor of v?
True
Let a = 4687 - 4759. Let l(n) = 8*n**2 - 7*n + 7. Let x be l(5). Let y = x + a. Is 25 a factor of y?
True
Let x be 7/3 + (-399)/9. Let q = -64 + -109. Let y = x - q. Is 40 a factor of y?
False
Let c = -375 + 391. Is 50 a factor of 4/8 + 7192/c?
True
Let z be 2/(-18)*2 + (-3188)/(-9). Suppose -2*d + z = x + 2*x, 0 = 3*x + 4*d - 348. Does 28 divide x?
False
Suppose 3 = -3*w + 2*s + 92, 0 = -4*s + 8. Is 24 a factor of (2 - -3258)/(33 - w)?
False
Let z(y) = 1 + 13 - 4 + 26*y. Let h be z(4). Suppose 5*x + 66 = t, 0*t + 4*x + h = 2*t. Is 20 a factor of t?
False
Let d be (-1)/(0 + 3/693). Let l be -4 + (-3)/(-9)*(-27)/(-3). Does 7 divide (1*-6 - l)/(11/d)?
True
Suppose -6*d + 0*d = -42. Suppose 3*g = z + 136, -3*g = -d*g + 5*z + 163. Suppose 0 = -g*q + 49*q - 20. Is 5 a factor of q?
True
Suppose 0 = -i + 12 - 2. Suppose 1 - 21 = i*a. Does 9 divide 9/((-12)/40 - a/5)?
True
Suppose 3*b + 2*i + 2 = b, b - 2*i - 8 = 0. Is 19 a factor of (116 + b + -4)*(-30)/(-20)?
True
Let f(p) = p**3 - 8*p**2 + 12*p - 1. Let y be f(6). Let i be 4 - 6 - (y + -181). Suppose -4*d = -9*d + i. Is 18 a factor of d?
True
Let o be 1/2 - 30/(-4). Let f(z) = 19*z**2 - 25*z - 31. Let h(t) = -25*t**2 + 32*t + 41. Let b(v) = -13*f(v) - 10*h(v). Is 25 a factor of b(o)?
True
Let m be 2353/(-39) - (0 + (-1)/3). Is 16 a factor of m/42*(-30 - -2)?
False
Suppose 59*b = 9*b + 448350. Is 70 a factor of b?
False
Suppose h + 2*h = x - 90, 2*h = 2*x - 172. Let l = -4 + x. Suppose -2*i - 5*y + l = 3*i, -3*i + 43 = 2*y. Is 11 a factor of i?
True
Let f(v) = -v**3 - 31*v**2 - 42*v + 53. Let k be f(-30). Suppose -29*z = -22*z - k. Is 12 a factor of z?
False
Suppose -4*b = 4*f - 4, 3 + 5 = -b - 4*f. Suppose -u - 234 = -b*w, -37 - 144 = -3*w - 2*u. Is 46 a factor of w?
False
Suppose 245 = -7*f + 12*f. Let c = 88 - f. Suppose n = 2*n - c. Does 4 divide n?
False
Let z = -1788 + 13764. Does 175 divide z?
False
Let o = -633 + 1138. Suppose -z - 4*j = -225, -5*j - 500 - o = -4*z. Is 35 a factor of z?
True
Suppose 23*r = 21*r + 56. Suppose -100 = -24*y + r*y. Is 24 a factor of (-1)/5 + (-1205)/y?
True
Suppose 0 = 57*l - 320894 - 239436 - 132277. Is 9 a factor of l?
False
Let b(j) = 6*j**3 - 12*j**2 - 3*j - 8. Suppose 2*m + 28 = 4*c, 6*c - 14 = 3*c - 2*m. Is b(c) a multiple of 29?
False
Let m(y) = -5*y + 135. Suppose 8*h - 3*h + 4*w - 33 = 0, 5*h = 2*w + 51. Is 2 a factor of m(h)?
True
Suppose -68*l + 76821 = -787051. Does 16 divide l?
True
Let k(n) = 14*n**3 - 4*n**2 + 11*n - 12. Let x be k(3). Suppose -55*j + x = -54*j. Is j a multiple of 33?
True
Let o(w) be the first derivative of w**4/4 - 16*w**3/3 - 3*w**2 - 8*w - 30. Let z be o(17). Suppose 5*g = -34 + z. Is g a multiple of 3?
False
Let g = -749 - -2221. Does 38 divide g?
False
Suppose -3*j = -3*m + 8802, 2*m - 5916 = 183*j - 187*j. Is 64 a factor of m?
False
Let s = -7924 + 11635. Is 43 a factor of s?
False
Suppose -5*z + 2*y = -4433, z - 26*y + 30*y - 869 = 0. Let f = z + -795. Is 5 a factor of f?
True
Let f(g) be the first derivative of 0*g**2 + 3 + 2*g + 4/3*g**3. Is f(-4) a multiple of 11?
True
Let s(v) = 2*v**3 - 2*v**2 - 2*v + 1. Let n be s(2). Suppose -5*f - 4*d - 157 = -378, -2*f + n*d + 62 = 0. Let x = f - 22. Is x a multiple of 8?
False
Let m = 131 - 143. Let v(z) = z**2 + 7*z + 9. Does 6 divide v(m)?
False
Let p(g) = -861*g - 830. Is p(-28) a multiple of 113?
True
Let i(b) = 3*b**2 - 2*b + 4. Let u be i(2). Suppose u*c - 20 = 28. Suppose 4*p + 4*o = -p + 488, 2*o - c = 0. Is 8 a factor of p?
True
Suppose 10*p = -2*o + 12*p + 4358, -2*o - 4*p + 4388 = 0. Suppose o = 5*m - f, 0 = -3*f + 12 - 24. Does 21 divide m?
False
Let p(s) = -116*s - 3*s - 6 - 2. Let d be p(3). Let z = d - -587. Does 29 divide z?
False
Let l(u) = -12*u**3 - u - 1. Let f be l(-1). Suppose 16*t - f*t - 28 = 0. Suppose 4*n = t*n - 300. Does 9 divide n?
False
Let o(c) be the second derivative of -3*c**3/2 - 6*c**2 + 161*c. Suppose 3*k = -3*l - 9, 5*k = -4*l - 11 - 9. Does 23 divide o(k)?
False
Suppose 0 = -6*g + 9 - 69. Does 51 divide (12/16)/(15/g)*-214?
False
Suppose 6 = -119*z + 116*z, 2*b - z - 6120 = 0. Is 23 a factor of b?
True
Is 33 a factor of 26/(520/331245) - (3 - (-57)/(-12))?
False
Let i(u) = 34*u**3 - 3*u**2 + 2*u - 4. Let q(s) = 14*s + 2. Let n be q(6). Let c = n - 84. Is i(c) a multiple of 18?
False
Let x(r) = r**3 + 13*r**2 - 4*r - 16. Suppose -8 = 10*o - 12*o. Suppose 2*f = o*f + 26. Is x(f) a multiple of 18?
True
Let f(n) = 6*n - 7. Suppose 0*y + 9 = 5*v + 2*y, 3 = -2*v - 3*y. Let x be f(v). Suppose 16*a = x*a + 640. Is 16 a factor of a?
True
Let p(h) = h**3 - 4*h**2 - 9*h + 20. Let f be p(5). Suppose -2*u = -2*n - 72, -98 = -3*u - 2*n - f*n. Is (-17)/u + 571/2 a multiple of 13?
False
Let i be -603*4/(-42)*-7. Let c = i + 641. Is 4/((-1)/(-79)*c + -3) a multiple of 42?
False
Let t(g) = 100*g**2 - 58*g - 253. Is t(-11) a multiple of 75?
False
Suppose -4*h + 2*m + 2 + 14 = 0, -5*m = -3*h + 26. Suppose -3*s - 2*n = -h*s - 478, 0 = 3*s + 4*n - 1442. Is 6 a factor of s?
True
Let v(b) = 3*b**2 - 22*b + 32. Let p = -133 - -143. Is v(p) a multiple of 11?
False
Does 10 divide (-6 + (27 - 7))*4320/14?
True
Suppose 10*k - 849 = 181. Let a be ((-104)/(-65))/(1/5). Let j = k - a. Does 41 divide j?
False
Let b be 2*(-4)/(-8)*(0 + 59). Suppose 2*l + b = 247. Let y = 110 - l. Is y a multiple of 4?
True
Suppose -3*i + 6 = -0*i. Does 8 divide 2 - -2 - (-392)/i?
True
Suppose -204*o = -105*o - 115*o + 297088. Is o a multiple of 22?
True
Let l = -447 + 423. Let m(g) = -g**2 - 32*g + 110. Does 3 divide m(l)?
False
Let q be (-1)/(-6) - 352/(-192). Suppose n = -q*j + 252, 3*n + 4*j - 756 = 2*j. Is n a multiple of 84?
True
Let b = 231 + -737. Let u be b/(-33) + 4/6. Let h = 105 - u. Does 16 divide h?
False
Let s(m) = -2*m**3 + 9*m**2 + 10*m + 2. Let i be s(5). Suppose 694 = 29*h - i*h. Is 25 a factor of h?
False
Let b(j) = 142*j + 41. Let t be b(17). Suppose t = 7*l - 2438. Is l a multiple of 16?
False
Let z = -1589 + 2300. Suppose -30*n = -1449 - z. Is 13 a factor of n?
False
Suppose -18 = -q + 2*q. Let v be q/(4/3 + -1). Let k = 30 - v. Is k a multiple of 6?
True
Suppose 0 = 5*m - 5*c + 1740, -4*c + 0*c = 2*m + 696. Let l be m/1*(-8)/16. Suppose -z - 2*z = -l. Is z a multiple of 20?
False
Does 24 divide 3 - (-261650)/(-25)*14/(-4)?
False
Suppose -6278 = -2*d - 3*i, -3184 = -4*d - 5*i + 9370. Is 32 a factor of d?
True
Let q(z) = 52*z**2 + 3*z + 3. Suppose -5 = 4*s - 17. Let n be q(s). Suppose y - 3*y = -n. Is 60 a factor of y?
True
Suppose -7*r + 75804 + 84965 = 0. Does 5 divide r?
False
Let l(s) = -s**2 - s. Let m be l(1). Let t be (0 - -8) + 2*m. Suppose n - 22 = -2*d + t*n, 3*n + 46 = 5*d. Is 5 a factor of d?
False
Le