 ((-15)/(-9) - 0)*3. Suppose -w = -v + 2*o - 1, 2*v - 5*o - 5 = 0. Is v even?
True
Let b be 4/((-2)/15*1). Let a be (b/(-4))/(-1)*-94. Does 14 divide a/9 - 4/(-6)?
False
Let j(g) = 12*g**2 + 2*g - 5. Let r be j(4). Let w = 344 - 342. Suppose -w*y = -7*y + r. Does 11 divide y?
False
Suppose -h = -24*x + 28*x - 2600, -10476 = -4*h + 3*x. Is 109 a factor of h?
True
Suppose 5*h - 31 = 19. Suppose 2*l = -h, 3*a - 2*l = 2*l + 305. Does 11 divide a?
False
Let c(w) be the second derivative of w**4/12 + w**3/3 + 4*w**2 - 12*w. Let u be c(-3). Let y = 40 - u. Is y a multiple of 29?
True
Let t be (-130)/(-4)*(-12)/(-15). Let u = 28 - t. Suppose -3*m + 30 = u*v - v, -3*m + 30 = -3*v. Is 2 a factor of m?
True
Let n(m) = -3*m + 9*m - 5*m + 19. Is n(-8) a multiple of 4?
False
Suppose -6 - 3 = -3*i. Let t(q) = 3 - 22*q**2 - 22*q**2 + 38*q**2 - q**i + 12*q. Is t(-8) a multiple of 21?
False
Let q(y) = y + 31. Does 10 divide q(-6)?
False
Let p be (5 - 7) + 0 + 1 + -6. Let m(x) = -x**3 - 6*x**2 + 9*x + 7. Let h(k) = 1. Let a(v) = 5*h(v) - m(v). Does 12 divide a(p)?
True
Let a(i) = -i**2 + 8*i - 5. Let p(l) = 2*l**3 - 4*l**2 + 3*l - 1. Let r be p(2). Let y be a(r). Let v = 20 - y. Is v a multiple of 5?
True
Suppose -k + 49 = -3*z + 4*k, 2*k + 14 = -3*z. Suppose 3*a = o + 53, -o + 33 = 5*a - 50. Let d = a + z. Is d a multiple of 3?
True
Let n(c) = -3*c - 2. Let a be n(-2). Let s = 4 - a. Suppose 3*v - 48 - 63 = s. Is v a multiple of 8?
False
Let w = 10 - 5. Suppose w*o + 4*h = h + 223, 0 = 5*h + 20. Is 5 a factor of o?
False
Suppose -h + 1633 = 2*y, 4*y + 2*h = -2*h + 3264. Does 11 divide y?
False
Suppose 5*l = 27 - 7. Is l/(4/(-820)*-5) a multiple of 11?
False
Suppose 6*n - n - 2517 = 3*k, k - 505 = -n. Does 21 divide n?
True
Suppose 52*d = -26*d + 148824. Is d a multiple of 36?
True
Let r(g) be the third derivative of -13*g**6/40 - g**5/60 - g**4/24 + g**3/6 + 9*g**2. Is 20 a factor of r(-1)?
True
Let l = 16 + -15. Let k be 10/(-20)*(l - 19). Let t(a) = 2*a - 3. Does 5 divide t(k)?
True
Does 5 divide (-6)/(-27) + 496/36?
False
Suppose b = 5*q + 713, -2*q + 4*b = -b + 299. Let j = q - -90. Let u = j - -86. Does 17 divide u?
True
Suppose 8*f + 10 = 3*f. Suppose 2*c - 13 = 3*c. Let b = f - c. Is b a multiple of 3?
False
Let y = -91 + 241. Is 10 a factor of y?
True
Suppose 0*c + 208 = 2*k - 4*c, 2*k - 196 = -2*c. Suppose 5*g + 17 - 162 = -l, l = 4*g + k. Is l a multiple of 36?
False
Suppose -5*u + 5 + 10 = 0, -5*x - 4*u + 4652 = 0. Is x a multiple of 21?
False
Suppose -240 = -10*w + 9*w. Let k be (-4)/14 - w/(-56). Is 5 a factor of (-12)/(-16)*k + 27?
True
Let r = -1394 - -1650. Is r a multiple of 138?
False
Suppose -4*z + z + x = -677, -5*z + 1140 = -4*x. Suppose 144 = p - r, -2*p - r = -z - 52. Is p a multiple of 10?
True
Suppose -z + 10*z = 153. Let s(l) = 8*l**2 - l + 0*l - z*l**2 + 20 + l**3 - 8*l**2. Is 3 a factor of s(17)?
True
Does 23 divide (3 - (-62)/(-20)) + 79855/50?
False
Suppose 0 = -5*l + 10, -5*f - 4*l + 10896 = -l. Does 22 divide (f/(-55))/((-6)/20)?
True
Suppose -5*t - 25 = 0, -7*a - 49 = -3*a + 5*t. Let c(m) = 5*m**2 - 7*m + 12. Does 13 divide c(a)?
True
Let g(l) = 11*l**3 - 3*l**2 + 12*l**3 + 9*l**3 - 37*l**3. Is 14 a factor of g(-2)?
True
Let s(x) = 8 - 8*x**2 + x**3 + x**2 + 10 - 8. Is s(7) a multiple of 4?
False
Suppose 60*l = 58*l + 10. Suppose -3*t + t - l*m = -136, -158 = -3*t + 4*m. Is t a multiple of 7?
False
Let w be 9/((-9)/2)*4. Is 24/32 + (-618)/w a multiple of 17?
False
Let q(z) = 29*z - 14. Let i be q(6). Suppose 5*w - 2*g = i, -5*w + 2*g = -2*w - 100. Is w a multiple of 15?
True
Let h = 541 + 2587. Is 136 a factor of h?
True
Suppose -13*z + 1796 = -17*z. Let t = -111 + z. Does 12 divide t/(-15) + 2/(-6)?
False
Suppose -5*l + 2848 = 3*l. Is 27 a factor of l?
False
Suppose 0 = 4*o - 6*o + 1118. Does 32 divide o?
False
Let s be 1/(-3)*(-7 - -7). Suppose -5*u + p - 271 = s, 5*u + 263 = -p + 4*p. Is (-2)/10 + (-1496)/u a multiple of 9?
True
Suppose 428 = 5*a - 4*l, 0 = -5*a + a - 5*l + 367. Let h = -39 + a. Is 7 a factor of h?
True
Suppose -2*r + 50 = 4*k, -3*r + 8*r = -5*k + 105. Let m = r - -3. Is 11 a factor of 1/(2/m) - -1?
True
Let q be (-2)/((-3 - -1)*-1). Does 17 divide q*2 - (-3 - 16/1)?
True
Suppose 5*w - 16 = 9, -3*b + 5781 = -3*w. Is 21 a factor of b?
True
Suppose 2*b - 9 + 11 = 0. Let g be (0 - 1)/b - -4. Suppose -2*w = g*r - 56, -5*r - 2*w + 47 = -3*w. Is 5 a factor of r?
True
Suppose -5*f - 4*f - 144 = 0. Does 6 divide (12 + 0)*(-8)/f?
True
Let n be -5 + 2 + 6/(-2). Does 6 divide n*-9*3/3?
True
Let y(l) = -l**3 + 5*l**2 - 2*l - 2. Let o be y(5). Let r be (2 - (-1004)/(-16))*o. Does 18 divide r/12 + 1/4?
False
Let j = 148 + -52. Is j a multiple of 19?
False
Is ((-1846)/(-65))/(1/115) + -2 a multiple of 12?
True
Let b be (-4)/14 + 81/63 + 3. Is ((-106)/8)/(b/(-16)) a multiple of 9?
False
Suppose -638*y = -626*y - 21672. Is y a multiple of 42?
True
Suppose q - j - 432 = 0, -3*q - 5*j + 700 = -564. Is 16 a factor of q?
False
Let u be ((-10)/(-4))/(10/8). Suppose 0 = -3*a - 4*c + 434, -5*a + u*c + 0*c = -732. Is a a multiple of 9?
False
Let b be 16*5/(-5)*4. Is (4/(-8))/(1/b) a multiple of 8?
True
Let v(s) = -s**2 - 7*s - 1. Let o(c) = c**2 + 6*c - 4. Let g be o(-6). Let l be v(g). Suppose -6*r = -l*r + 60. Is r a multiple of 6?
True
Let m(l) = 12*l + 232. Does 71 divide m(31)?
False
Suppose -4*j + 9 = z, -j + 50 = 4*z + j. Suppose -y = c - z, 12 = 3*y - 3*c - 27. Suppose -14*i + 10 = -y*i. Does 2 divide i?
True
Let i = -27 - -15. Let q = i - -15. Suppose 0 = -0*k + q*k - 72. Does 6 divide k?
True
Let q(s) = 7*s**2 + 249*s + 47. Does 12 divide q(-39)?
False
Suppose -9*c + 5*c + 7608 = 3*l, 3*l = -5*c + 7605. Is 48 a factor of l?
False
Let t(v) = 16*v**2 + 6*v - 18. Does 72 divide t(4)?
False
Suppose g - 20 = -75. Let z = g - -58. Is 3 a factor of z?
True
Let y be 162/30 - (-3)/5. Let u be 4/(-3)*(-27)/(-2). Does 4 divide (u/5)/(y/(-20))?
True
Let l = 98 + -78. Suppose -9*w - 352 = -l*w. Is 16 a factor of w?
True
Let n = -1 + 2. Let t(y) = y**2 + 2*y - 2. Let q(b) = 37*b**2 - 2*b + 3. Let f(j) = q(j) + t(j). Does 13 divide f(n)?
True
Suppose -29*b + 84357 - 32650 = 0. Is b a multiple of 13?
False
Suppose 5*s + 3896 = 4*d, 3*d - 2891 = 8*s - 12*s. Is d a multiple of 17?
True
Suppose 0 = -4*t + 4*x + 848, -4*t + x - 1048 = -9*t. Does 30 divide t?
True
Suppose 12 = 5*n - 18. Let f be 342/12*16/n. Is (-4)/((-16)/f) + -2 a multiple of 13?
False
Let a = 56 - 32. Does 25 divide (-4)/(a/(-69))*26?
False
Let c(x) = 161*x + 392. Is c(4) a multiple of 28?
True
Suppose -3*x - 5*o + 8 = -7, -2*x = -5*o - 10. Let a = 9 - x. Suppose 6*z - 48 = a*z. Is z a multiple of 12?
True
Let w = 193 - 118. Is w a multiple of 3?
True
Let f = -36 - -36. Suppose f = -d + 2*d - 12. Does 12 divide d?
True
Suppose 5*w = 2*u + 2, 18 = 2*u - 0*u + 5*w. Suppose -5*k + 1205 = -2*t - t, -4*k = u*t - 964. Is 44 a factor of k?
False
Suppose -2*d + 6 = 0, 2*d + 279 = b + 3*d. Is b a multiple of 22?
False
Let s(n) = 10 + 0*n + 3*n + 3*n - 5*n. Let f be s(-7). Suppose 4*b = -u + 165, -3*b - f*u + 175 = b. Is b a multiple of 10?
True
Suppose 7364 = 3*s - m, 5*s + m - 10704 - 1564 = 0. Is s a multiple of 82?
False
Let j(u) = -u**3 + 38*u**2 + 29*u + 78. Is j(38) a multiple of 19?
False
Let g = -327 + 365. Let p be 0 + -17 + (-1 - -1). Let u = p + g. Is u a multiple of 7?
True
Let i = -9 - 17. Let v = -11 - i. Let x = v + -6. Is 2 a factor of x?
False
Suppose -h + 36 = -2*c + 2*h, -5*c - 3*h - 132 = 0. Let p = c - -28. Suppose 192 = p*r + 3*v, 3 - 7 = v. Is 17 a factor of r?
True
Let u(z) = 7*z**3 - 16*z**2 + z - 1. Does 35 divide u(4)?
False
Let f = 1111 + 189. Is f a multiple of 72?
False
Suppose -3*a = -12, -a - 16 = 2*c - 7*c. Suppose 3*r = m + 189, -252 = -c*r + 8*m - 3*m. Does 7 divide r?
True
Suppose 222 = -25*a + 28*a. Does 26 divide a?
False
Let t be (-2 + (5 - 1))*4. Let d = t + -11. Does 17 divide (-2)/d + (-100)/(-3)?
True
Is 20 a factor of ((-2)/3)/((-21679)/5418 + 4)?
False
Suppose w + 2*i - 272 = 0, -2*i - i = -4*w + 1044. Is 27 a factor of w?
False
Suppose 249 = y + 3*h, -2*y + 24*h = 21*h - 543. Is 4 a factor of y?
True
Let b(u) = -u + 11. Let h be b(4). Suppose h*j - 12*j - 65 = 0. Let x(m) = -m**2 - 15*m - 14. Is 4 a factor of x(j)?
True
Let a be (1/(