*3 + 4*a**2 - 3*a + 10. Suppose 14 = 3*t - r, 4*t - 4*r = -2*r + 16. Let q be z(t). Let d = -52 - q. Does 13 divide d?
False
Let v(a) = 2*a**3 - 9*a**2 + 12*a. Let r be v(4). Suppose 507 = 35*p - r*p. Does 13 divide p?
True
Let x(z) = -z**2 - 4*z + 4. Let i be x(-7). Let p = -23 - i. Is 14 a factor of (1 - -72) + 3 + p?
True
Let w = -5 + 5. Let h = 5 - w. Let r(c) = 2*c. Is r(h) a multiple of 10?
True
Let l(m) = -m**2 - 7*m - 4. Let n be l(-6). Let b be n - 2/2*-1. Suppose -5*j + 3*i = 2*i - 317, j + b*i - 73 = 0. Is 19 a factor of j?
False
Suppose -2*r + 1650 = -6*g, 5*r = -g + 2*g + 4139. Is 46 a factor of r?
True
Let t(s) = 12*s + 10. Let j be t(8). Suppose i - q - j = 24, -2*q = -i + 135. Does 25 divide i?
True
Suppose -z + 118 = -4*m + m, -4*m + 341 = 3*z. Let n = 195 - z. Is n a multiple of 31?
False
Let k(m) = -58*m + 55. Is k(-5) a multiple of 115?
True
Let f = -412 - -1357. Does 41 divide f?
False
Suppose 3*w = 2*d + 2040, -2*w + 973 + 388 = -d. Suppose 5*o = -7 + w. Is o a multiple of 27?
True
Suppose -2 = 2*u, -2*z + 2 + 25 = -5*u. Let p(m) = 17*m**2 - m. Let l be p(1). Let s = l - z. Is s a multiple of 2?
False
Let y(s) = 4*s + 24. Let g be y(-9). Let x be ((-4)/(-3))/(6/81). Is (g - -26)/(4/x) a multiple of 21?
True
Let g = -13 + 11. Let x be -3 - 4/g - 0. Is ((-9)/6 - x)*-4 a multiple of 2?
True
Suppose -q + 1 = -1, 3*d - 3*q - 1530 = 0. Is d a multiple of 9?
False
Is (-176)/55*(-180)/8 a multiple of 17?
False
Let j be 6/24 - (-61)/(-4). Is ((-57)/j + 3)*10 a multiple of 17?
True
Suppose s + 3*x = 3461, -5*x = -9*s + 5*s + 13776. Is 39 a factor of s?
False
Let h(p) = -12*p + 35. Let i be h(7). Let v = i + 80. Does 11 divide v?
False
Suppose 0 = 2*x - 10*x. Let w(y) = -y**2 - 3*y + 212. Does 24 divide w(x)?
False
Suppose -37 = -2*o + 13. Is -2*(-5)/(o/330) a multiple of 22?
True
Let q(f) = -7*f - 1. Let l be q(-4). Let w(o) = -13*o**2 + o + 1. Let c be w(-1). Let x = l + c. Is x a multiple of 7?
True
Let l = -41 + 57. Suppose 5*w + 55 = 2*i - 26, 3*w + 183 = 4*i. Let k = i - l. Is k a multiple of 17?
False
Let q(r) = -34*r**3 - r**2 - r + 1. Let x be q(-2). Suppose 0 = z + 13 - x. Is 26 a factor of ((-18)/27)/((-4)/z)?
False
Let d(h) = -h**2 + 16*h + 40. Let x(k) = 66 + 69 - 56 - 2*k**2 - 17*k + 48*k. Let j(i) = 11*d(i) - 6*x(i). Is 5 a factor of j(14)?
False
Let d(z) = z**2 - 36*z + 228. Let i be d(8). Suppose 7*f = 4*f + 6. Suppose -5*s = -4*t + 44, 0*t + f*s = -i*t + 72. Is t a multiple of 8?
True
Let l = -21 - -23. Let k(n) = 6*n + 5*n**2 + 4 - 12*n**2 + 2*n**l + 7*n**2. Is k(5) a multiple of 14?
True
Let n(u) = -5*u**3 - 4*u**2 - 3*u. Let k be n(-2). Suppose 0 = k*b - 35*b + 425. Is 17 a factor of b?
True
Let f(a) = -15*a**3 - 8*a**2 - 15*a - 5. Is f(-2) even?
False
Suppose 0 = -8*i + 25 + 55. Is 2 a factor of i?
True
Let a = -15105 - -31545. Is 28 a factor of a/84 + (-4)/(-14)?
True
Suppose -3172 + 631 = -11*o. Is 7 a factor of ((-8)/(-14))/(6/o)?
False
Let j(o) = o**2 - 10*o + 12. Let f(q) = q**3 + 3*q**2 - 3*q - 1. Let y be f(-2). Let r be j(y). Does 21 divide -2 + (r - 2)*65?
True
Suppose -y + 4*y + 71 = 4*s, 3*s + 5*y - 46 = 0. Is 4 a factor of s?
False
Does 5 divide 378/5 + (-72)/120?
True
Let w = -30 + 240. Does 42 divide w?
True
Let k(z) = -7*z**2 + 4*z + 120. Does 40 divide k(0)?
True
Let o(l) = 126*l**2 + 8. Is o(-1) a multiple of 5?
False
Let y(v) = 12*v**2 + 9*v + 10. Is y(5) a multiple of 11?
False
Let v = 1319 + -905. Is 46 a factor of v?
True
Suppose -5*d - 34*y + 2930 = -37*y, -3*y - 1172 = -2*d. Is 13 a factor of d?
False
Let h = 255 - 233. Suppose 5*a = 3*a - 8. Is (-11)/h - 46/a a multiple of 3?
False
Let k(y) = -3*y**3 + 2*y**2 - 1. Let r be k(-1). Let l be (-10)/(4*(-3)/18). Suppose r*i - l = 29. Is i a multiple of 10?
False
Let x(k) = -k**2 + 31*k + 16. Let z be -1 - (-51)/45 - 5016/(-180). Is x(z) a multiple of 5?
True
Suppose -45*z - 4*f = -48*z + 360, -5*f = 0. Does 24 divide z?
True
Let b(k) = -k**3 - k**2 + 3*k + 2. Let t be b(-2). Suppose t = 3*n - 8 - 130. Is 18 a factor of n?
False
Suppose -848 - 1957 = -5*f. Is 7 a factor of f?
False
Let a(u) = -6*u**2 + 9*u**2 - 22 + 8*u**2 - u**3 - 3*u - u**2. Does 16 divide a(9)?
True
Let w = 68 + -32. Suppose w = -3*k + k. Is 21 a factor of (-335)/(-6) + (-3)/k?
False
Is (42/105)/((-5)/(-15200)) a multiple of 19?
True
Let v = -247 + 634. Does 14 divide v?
False
Let t = -34 + -11. Let v be 10/t + 168/27. Does 2 divide 75/18 - 1/v?
True
Suppose -8*m = -5*m - 990. Is m a multiple of 6?
True
Let l = 205 + -358. Let i(m) = -3*m**3 + 2*m**2 - 2. Let g be i(-4). Let s = l + g. Is 23 a factor of s?
True
Let i(u) = u**3 - 12*u**2 + u - 7. Let n be i(12). Suppose 21 = n*s - 6*s. Does 30 divide 32 + (-7)/(s/(-6))?
True
Suppose -2*i + i = -2. Suppose 5*k + 5 = 0, 3*q + 5*k - k = -4. Suppose g = -i, 3*v - 91 = -4*g - q*g. Is v a multiple of 21?
False
Let l = -328 - -349. Is 2 a factor of l?
False
Let z = -845 - -942. Is 5 a factor of z?
False
Let x = 1812 - 707. Suppose -x = -15*j - 325. Is 20 a factor of j?
False
Let b(r) = -6*r**3 - 16 - 5*r + 10*r**2 + 2*r**3 + 5*r**3 + 14*r. Is b(-8) a multiple of 10?
True
Suppose -g + 21 = 2*g. Let a be ((-1)/2)/(4/(-24)). Suppose 3*j + a*u = 48, 3*j - 3*u = g*j - 59. Does 11 divide j?
True
Let d(h) = 6*h + 6. Let t = 5 - -4. Let w = -4 + t. Does 17 divide d(w)?
False
Let z(b) = b**2 + 80*b + 24. Is 12 a factor of z(23)?
False
Let j = -1584 + 3309. Is 69 a factor of j?
True
Let p(g) = 68*g - 9. Let h(v) = -17*v + 2. Let x(r) = -26*h(r) - 6*p(r). Is x(1) a multiple of 9?
True
Suppose 0 = 3*j - 12*q + 9*q + 3, -4*j - q = -11. Suppose 4 = -j*f, -5*i - 5*f + 630 - 125 = 0. Is 12 a factor of i?
False
Is 4260*2/(-10)*165/(-99) a multiple of 30?
False
Let o be 169/(-7) - 7/(-49). Let l = o - -35. Is l a multiple of 2?
False
Let s(f) = 89*f**3 + 4*f**2 - 31*f + 90. Is 18 a factor of s(3)?
False
Suppose 276 = -0*z + 4*z. Suppose -n - 172 = -3*r, -2*r + 3*n - z = -193. Suppose r = -2*d + 4*d. Is 24 a factor of d?
False
Suppose 6 = x - 2*v, x - v = -0*v + 1. Is 7 a factor of ((-40)/x)/1*3?
False
Let w be (-2)/(4*2/(-12)). Suppose n = -w*n - 212. Let s = n - -98. Does 15 divide s?
True
Suppose -2*n - 2*k + 4 = 0, 2*k = -4*n - 0*k + 10. Suppose -4*f - 3 = -9*f + n*b, 8 = 2*b. Suppose 3*x - 5*p = 1 + 70, 0 = -2*x - f*p + 41. Does 11 divide x?
True
Suppose -2*i = 3*f + 60, 3*f + 58 = -3*i - 5. Let r = 60 + f. Let s = 78 + r. Is 24 a factor of s?
True
Suppose -4*l + 4400 = -4*i, l + 0*i - 1116 = -3*i. Is 48 a factor of l?
True
Let x(c) = -2*c - 3. Let l be x(-3). Suppose -l*b = -2*b. Suppose b = -r + 8 + 37. Is 9 a factor of r?
True
Suppose -2*m = 3*m - 5. Let w be (0 + 1)/(m/2). Suppose 5*b + w*j - 6*j = 240, j + 48 = b. Does 13 divide b?
False
Suppose 4*d - 5*r + 8*r = 669, -4*d = 5*r - 675. Is d a multiple of 9?
False
Suppose i - 3*i - 4 = 0. Let t(w) = -50*w**2 - 5*w + 7. Let d be t(3). Is i/(-11) + d/(-22) a multiple of 9?
False
Suppose -906 = -3*a - 0*a. Let q = a + -211. Suppose -3*k - 31 = -q. Does 5 divide k?
True
Is 24 a factor of 39/(-312) + 4402/16?
False
Let a(y) = y**2 + 11*y + 72. Does 29 divide a(-23)?
True
Suppose -z + 357 = 295. Does 52 divide z?
False
Let x = 1465 + -1437. Does 14 divide x?
True
Suppose 56134 + 24711 = 23*k. Does 14 divide k?
False
Let y = -70 - -90. Let b = 55 - y. Is 7 a factor of b?
True
Let d(u) = -u**3 + 4*u**2 + 3. Let p be d(4). Suppose -505 = -2*o - p*o. Is o a multiple of 18?
False
Suppose 118 + 276 = -5*c - 4*a, -3*a - 398 = 5*c. Let q(g) = 37*g**2 - 2. Let t be q(2). Let y = c + t. Is y a multiple of 18?
False
Let j(h) = 5*h**2 - 7*h + 5. Let n be j(5). Suppose -3*x + 5*q + 42 = -88, 3*x + 2*q = n. Is 5 a factor of x?
True
Suppose 3*b - 12 = -b, -2*t - 509 = b. Let z = 369 + t. Is z a multiple of 11?
False
Let p = 26 + -14. Let m(r) = 3*r**2 - 4. Let n be m(2). Let b = n + p. Does 10 divide b?
True
Is 8 a factor of 0 - (-68)/(2/(-1) + 3)?
False
Suppose -17*l = -13*l - 132. Is 11 a factor of l?
True
Let w(j) = -4*j + 74. Is 6 a factor of w(-7)?
True
Let s(l) = -l**3 + 2*l**2 - 2*l + 5. Let x(g) = -g**2 - 1. Let u(z) = -s(z) + 6*x(z). Let q be u(8). Let m = q - -2. Is 7 a factor of m?
True
Let q be (-20)/3*(-6)/5. Let l be 5*(q/(-4) - -3). Suppose -2*y = -l - 115. Is 17 a factor of y?
False
Let z = 