30)/(-20664) - 42)?
True
Let y(m) = 15*m**2 + 585. Is 6 a factor of y(25)?
True
Let u = -14 + 24. Suppose 14 = -u*z - 6. Is 1 - -1 - (124/(-2) + z) a multiple of 22?
True
Suppose 76*y - 81*y = 2*h - 35404, 3*y = -h + 17706. Is h a multiple of 21?
True
Let w = 2788 - -2711. Suppose -11*x - 549 = -w. Is 15 a factor of x?
True
Let l be (-3)/2 + (-132)/(-24). Suppose 9*m - 4*m - l*x + 22 = 0, 5*m + 40 = -5*x. Is (-80)/12*m/5 even?
True
Let m(u) = 12*u**2 + 17*u - 8. Let h(n) = -11*n**2 - 15*n + 9. Let v(a) = -5*h(a) - 4*m(a). Is v(-5) a multiple of 32?
False
Let c(m) = -169*m + 9. Let a = 346 + -350. Is 6 a factor of c(a)?
False
Let x(z) = -10068*z**3 + 4*z**2 + 6*z + 7. Does 7 divide x(-1)?
True
Suppose 11*m - 293580 = 3*m - 7*m. Is 12 a factor of m?
True
Let r(t) = t**2 + 17*t + 8. Let k be r(-18). Suppose -21 = -5*s - k. Is 13 a factor of (21 - -5)*(-2)/s?
True
Suppose -3*y + 150 = 3*a, 0 = -8*a + 4*a - 3*y + 200. Suppose 5*r - 45 = -5*u, a = 4*r - 7*u + 4*u. Does 11 divide r?
True
Let g(w) = 17*w**2 - 627*w - 27. Does 31 divide g(42)?
True
Let o be 452*((-1)/4 + 2). Suppose 6*j - o = 1333. Suppose 5*q - 386 = j. Does 37 divide q?
True
Let y(u) = -67*u + 484. Is 2 a factor of y(6)?
True
Let y(l) be the second derivative of l**4/6 + 23*l**3/6 - l**2 - 27*l. Let q be y(-12). Suppose q*n - 400 = 5*n. Is 25 a factor of n?
False
Suppose 34*u + 73140 = 44*u. Is u a multiple of 23?
True
Suppose -76*p + 736070 = -252842. Is p a multiple of 76?
False
Let b(q) = -q**3 + 10*q**2 - 12*q - 5. Let t be b(10). Let l = 257 + t. Is l a multiple of 6?
True
Suppose 0 = 2*h + 10, 5*r + 4*h = 3*r - 12. Let x be ((-1)/1 - 0) + 1. Suppose -r*b - 3*k + 102 = x, 3*k + k = -4*b + 104. Does 4 divide b?
True
Suppose -r + 3*m = -34691, 2*r - 22605 = -4*m + 46797. Does 69 divide r?
False
Let k = 103 - 21. Suppose -3*c + 23 = -k. Is c a multiple of 7?
True
Suppose 0 = 197*w - 201*w + 5*c + 38621, -4*w + 38630 = -2*c. Is w a multiple of 13?
True
Let n(f) = 230*f**2 + 2*f - 130. Is n(6) a multiple of 106?
True
Suppose -j + 9 = 3. Let d be -12*((-56)/j)/7. Does 13 divide 10803/104 + 2/d?
True
Suppose -5*a - 5*u + 2380 = 0, -17*u = 4*a - 15*u - 1906. Suppose -5*h - 2*i - 1302 + 3675 = 0, h + i = a. Is h a multiple of 20?
False
Suppose 0*j + 42 = 3*j. Let f be ((-9)/(-2) - 21/j) + -2. Is 17/((-85)/(-390)) + -1*f a multiple of 11?
True
Suppose 0 = 8*g - 3*g - 25. Let s(j) = g + 4*j - 19 - 2*j**2 + 3*j - 51*j. Is s(-21) a multiple of 4?
True
Let p(o) = 3*o**2 + 31*o - 20. Let s be p(-11). Suppose 0 = 5*v + 5*z - z - 1971, -3*v - s*z + 1181 = 0. Does 23 divide v?
True
Let c(s) = 60*s**2 + 14*s - 30. Let i be c(2). Suppose -i = -2*r + 242. Does 8 divide r?
True
Let z(a) = 12*a**2 + 2*a + 14. Let y(v) = -6*v + 59. Let d be y(9). Is 12 a factor of z(d)?
True
Let k(f) = f**2 - 26*f + 2. Let i be k(7). Let m = i + 537. Is m a multiple of 58?
True
Let n be 6/8 + (1976/(-32))/(-19). Let p(i) = 8*i. Let j be p(-3). Let h = n - j. Does 28 divide h?
True
Suppose s + 30 = 7*s. Let n(t) = -t**2 - 4*t + 9. Let k(j) = j**2 + 3*j - 9. Let c(o) = s*n(o) + 6*k(o). Is 15 a factor of c(-9)?
True
Let u be 5 - (-108 - (1 + -3)). Suppose 2*f + f = -3*s - u, 182 = -5*f - 2*s. Does 36 divide -1*(4 - 3)*f?
True
Suppose 5*d + f + 16 = 0, 0 = -3*d + 3*f - 5*f - 4. Let t = d + -85. Let p = 97 + t. Is 2 a factor of p?
True
Let n = 18082 + -11315. Is n a multiple of 6?
False
Let x(y) = -6*y + 2642. Does 44 divide x(-29)?
True
Let a = 61 + -57. Suppose -4*z = 28 - a. Does 14 divide (-1692)/(-30) + z/15?
True
Is 8 a factor of 5454 - 18*4*3/36?
True
Suppose 4*z = -2*m + 66770, -m + 89980 = 4*z + 23207. Does 39 divide z?
False
Let q(d) = -2*d**3 + d**2 - d + 3900. Is q(0) a multiple of 13?
True
Suppose -402*c + 2*y + 12686 = -398*c, -4*c - 2*y + 12698 = 0. Does 301 divide c?
False
Suppose j - 5269 = -3*q, 205*j - 3529 = -2*q + 202*j. Does 22 divide q?
False
Suppose 4049 = 8*j - 4347 + 1900. Is 4 a factor of j?
True
Let c(h) be the third derivative of -h**6/120 - 2*h**5/15 + h**4/8 + 3*h**3/2 + 2*h**2. Let l be c(-9). Is 5 a factor of l/6 - 9/18?
True
Let v = -211 - -211. Is 35 a factor of 0/38 + v + 171?
False
Suppose -q - 2*v + 3919 + 3951 = 0, 3*q + 2*v - 23590 = 0. Is q a multiple of 131?
True
Let n(k) = -301*k - 107. Does 100 divide n(-7)?
True
Let c be 25/(-2)*(0 + -18). Suppose -c = -2*s + 3*j, 328 = 3*s + 18*j - 13*j. Is 37 a factor of s?
True
Suppose -4*v + 5*v - 187 = 0. Suppose -f + v = -3*x, 0*x - 5*x + 5 = 0. Is 33 a factor of f?
False
Is 42 a factor of (38/(608/(-3276)))/((-3)/104)?
True
Let t(w) = w**3 + 12*w**2 + 3*w - 18. Let c be t(-11). Let j = 428 - c. Does 9 divide j?
False
Let d be 32/48 - (-2)/(-3). Does 27 divide (153/(-4) - d)/(1/(-12))?
True
Let z(q) = q**2 - 7*q - 22. Let m be z(10). Let s be 180/((-2)/2)*m/10. Does 24 divide ((-6)/(-72) + 3/(-4))*s?
True
Let k be (6 + -6)/(-1 - 1) - 0. Suppose k = -22*q - 15*q + 26936. Is q a multiple of 14?
True
Suppose 0 = -4*l - 4*s + 84200, 3*l - 44219 = 5*s + 18867. Does 20 divide l?
False
Suppose 0*i + 5*i = -5*m + 55, -3*m + 12 = 0. Suppose 6 = k - i. Suppose 8*r + 290 = k*r. Is 4 a factor of r?
False
Suppose -2*r + w = -20197, 83*r - 85*r - 2*w + 20194 = 0. Is r a multiple of 34?
True
Let p(j) = j**2 + 5*j - 7. Let c be p(-7). Suppose c*r - 31 = 11. Suppose -r*n + 86 = -2*n + 5*v, -5*n + 124 = -2*v. Does 4 divide n?
True
Suppose -j - 3*b + 10 = 0, 0 = -3*j + 4*b + 9 + 8. Is ((-2870)/j)/(0 - 1) a multiple of 41?
True
Suppose d + 5*n = -14 + 47, 2*n = -3*d + 60. Let c = 19 - d. Does 5 divide (3 - -64 - c) + -1?
True
Let f(c) = 10*c - 18. Let g be f(6). Let l = -36 + g. Suppose 0*o - 660 = -l*o. Does 22 divide o?
True
Suppose -20*j + 3*u = -24*j + 99471, -j + 24879 = 3*u. Does 48 divide j?
True
Let r = -1088 - -28616. Is 74 a factor of r?
True
Let c be ((-50)/(-35)*5)/((-6)/(-21)). Let p(a) = -a**2 + 3*a + 2. Let o be p(-3). Let i = c + o. Is i a multiple of 3?
True
Suppose 63*y - 74*y + 5977 + 10303 = 0. Is y a multiple of 20?
True
Let n = 446 + -201. Is 77 a factor of -10*(-7)/n - (-2070)/7?
False
Suppose 4*o - z - 505 = 0, -4*z + 205 = 3*o - 150. Suppose -s + 2815 = 4*d, 2695 = 4*d - 4*s - o. Is 32 a factor of d?
True
Let j(m) = 97*m + 422. Is 12 a factor of j(3)?
False
Suppose 3*u + b = -3 + 6, 5*b - 15 = u. Suppose y - 3*q + 2 = 13, u = -4*y + 2*q + 14. Suppose 0 = p - 18 + y. Does 4 divide p?
True
Let d = -552 - -1478. Suppose -z + 497 = 2*x, 2*z + x - 77 - d = 0. Does 60 divide z?
False
Is 90/(-210) - (-2398)/(2 + 16/20) a multiple of 4?
True
Does 11 divide (-3080776)/218*(-22)/8?
True
Let m = -9 - -12. Suppose 12 = -m*q + 2*i, q = -0*q + 5*i - 17. Is 10 a factor of q*19/(-2) + 3 - -2?
False
Let i = 5 + -1. Let t be (1 - (i - 2)) + (0 - -72). Let v = t + -11. Is 12 a factor of v?
True
Let q(v) = 3*v**2 + 4*v + 1. Let f be q(-4). Let w = -17 - 11. Let k = f + w. Is 3 a factor of k?
False
Is 26 a factor of 15198630/4255 + 2/(-74)*-2?
False
Suppose -5*h + 31*h = -1820. Let q = -20 - h. Is q a multiple of 4?
False
Let z(u) = -2*u**3 + 14*u**2 + 2*u - 1. Let p be z(7). Suppose 3 + p = -8*k. Is 22 + 4*(k + (-10)/(-4)) a multiple of 9?
False
Let y be 8008/66 - 20/15. Let i = -32 - 52. Let w = i + y. Is 6 a factor of w?
True
Suppose -113*h + 108*h = -x - 61, -h - 4*x = 13. Is 10 a factor of h?
False
Let k(u) = -u**3 - 7*u**2 + 6*u - 10. Let c be k(-8). Suppose i = 3*l + c*i - 86, -3*l + i + 80 = 0. Let w = -17 + l. Is w even?
True
Suppose -5*a - l = -113248, 2*a - 3*l - 4160 = 41112. Is 66 a factor of a?
False
Suppose -8*i = -7*i - 6. Let k(w) = 4*w**2 - 2*w + 26. Let s be k(7). Suppose s = i*t - 728. Does 12 divide t?
True
Let q(g) = -g**2 - 3*g + 2. Let n be q(-3). Let o(l) = -2*l**3 - 10 + 4*l**3 - 13*l**n - l**3 + 25 + 16*l. Does 11 divide o(12)?
False
Let x = -1550 - -8990. Is x a multiple of 16?
True
Suppose 18*a - 16*a - 4162 = -4*i, 4*a + 1036 = i. Suppose 2*u + 3*u - 4*d = i, 10 = -2*d. Is u a multiple of 17?
True
Let i = -511 - -403. Is 53 a factor of (-5)/(-25)*-5 + (-1 - i)?
True
Suppose 0 = 3*g - g + q + 15, 0 = -3*q + 15. Let w be (-51)/(-6)*(-60)/g. Let i = w + 4. Is i a multiple of 3?
False
Let c(i) = -56*i + 169. Let b be c(4). Does 50 divide 5 + (-35926)/b - 6/5?
False
Let p be (4*6/10)/((-6)/(-20)). Is p/((-48)/45)*-46 a multipl