= -4. Suppose 7 + 5 = w*q. Suppose -2*t - 3*c + 6*c = -522, -q*t + 4*c = -1048. Is 11 a factor of t?
True
Suppose 0 = 2*y + 4*y + 168. Suppose -5*q - 1 = f, -5*q - 5*f = -0*f - 15. Is y*(2 - q)*11/(-22) a multiple of 7?
True
Let x = 524 - 294. Suppose -19*q - 563 = -2*g - 16*q, 5*g - 1399 = -q. Suppose -g - x = -6*m. Does 13 divide m?
False
Suppose 4*w = -4, 3*a - 2253 = -4*w - 367. Is a a multiple of 15?
True
Suppose 2*m + 1091 = 3*w, 2*w - m + 6*m - 721 = 0. Let p = w - 153. Is 4 a factor of p?
False
Suppose -5146 = -4*k - r, -4*k - 38*r + 41*r + 5122 = 0. Is k a multiple of 13?
False
Suppose 0 = q - 2*s + 3235, -3223 = 8*q - 7*q - 5*s. Let y = -2161 - q. Does 57 divide y?
False
Suppose 414*s + 26418 = 431*s. Does 19 divide s?
False
Suppose -7*j - 26 = 2. Is (j - -3 - 4) + 315 a multiple of 31?
True
Let w be (1/(-1))/(1 - (-6)/(-5)). Suppose 0 = 8*g + w*g - 4992. Is 24 a factor of g?
True
Let r(h) = -h**3 + 26*h - 65*h - h**3 + 13*h**2 + 21*h + h**3 - 12. Is 5 a factor of r(10)?
False
Let w(d) = -140*d**2 - 14*d - 5. Let j(m) = 47*m**2 + 5*m + 2. Let v(p) = -8*j(p) - 3*w(p). Is v(1) a multiple of 2?
False
Let g(r) = -r**3 + 11*r**2 + 9*r - 15. Let w be (-98)/(-20) - (-22)/220. Is 30 a factor of g(w)?
True
Suppose 0 = 4*c - 3*z - 5, 2*z - 5 = -3*c + 4*z. Suppose c*j + 17 + 8 = 0. Is 9 a factor of (-5)/(j/74) + 9/3?
False
Is 4/9 + -14 + (-201421)/(-99) a multiple of 46?
False
Let w(c) = -c**2 - 34*c + 84. Let g be w(-28). Suppose q - 86 = g. Is q a multiple of 13?
True
Let u = 11 + -6. Suppose -2*c + 69 = -5*p, c + u*p = -3*c + 123. Is ((-2)/4)/((-4)/c) + 174 a multiple of 17?
False
Does 11 divide (-8)/20 - 3304/(-10)?
True
Let j = 81 - -17. Let p(x) = -207*x + 1401. Let m be p(7). Let h = j + m. Is h a multiple of 10?
True
Let j(u) = -82*u**3 + 4*u**2 + 23*u + 217. Is 57 a factor of j(-6)?
False
Let j = 4416 + -4316. Is 3 a factor of j?
False
Suppose 175*p - 1383360 = -108*p + 19*p. Is p a multiple of 6?
False
Let m be (-8)/(56/(-637)) - 7. Is 24 a factor of 40452/m - (-4)/(-7)?
False
Let n = -247 + -49. Let r = n - -338. Is 21 a factor of r?
True
Suppose 8*j + 25 = 41. Suppose -5*s = -b - 1492, -5*s + 2*s - j*b + 890 = 0. Is 13 a factor of s?
False
Let y be 27975/20 - 6/8. Suppose -3*q = -5*q + 4*w + y, -2*q = -2*w - 1408. Does 12 divide q?
False
Suppose -d = -o - 1293 - 1005, 9138 = 4*d + 2*o. Does 21 divide d?
True
Suppose 928*v = 963*v - 196560. Is v a multiple of 52?
True
Let y(o) = -o**3 + 20*o**2 + 24*o - 26. Let p be y(21). Suppose 23 = 3*v - p. Is (31 + 4)*v/14 a multiple of 43?
False
Let p(y) = y**3 + y**2 + y - 12. Let g = -167 - -172. Does 24 divide p(g)?
False
Suppose -4*t = 136 + 80. Let h be ((-54)/21)/(3/(-28)). Let d = h - t. Is d a multiple of 26?
True
Let u(w) = 8*w + 4. Let x be u(0). Suppose -60 = -5*t - x*i, -12*t - 5*i = -14*t - 9. Does 2 divide t?
True
Let g(h) = -6*h**2 - 246*h - 111. Is 11 a factor of g(-21)?
True
Suppose 25 = 5*a, a - 29 = 3*w + 144. Let l = w - -58. Suppose 0 = 3*o + 2*j - 231, l*o - j = -4*j + 159. Does 13 divide o?
False
Is 14 a factor of 15401 + -6 + (-63)/7?
True
Suppose -810 = b - 246. Does 20 divide -1*(b - -2) + -6?
False
Suppose 15234 = 13*v - 64007 - 7820. Is 42 a factor of v?
False
Let h(n) = -n**2 - 16*n - 52. Let l be h(-12). Let t be 3*l/(48/(-28)). Suppose 8*p - 48 = t*p. Is 12 a factor of p?
True
Let j = 49 - -109. Suppose 31*g - 7040 = -j. Is g even?
True
Suppose 17*j - 19*j + 10516 = 4*h, -10512 = -4*h - 4*j. Is h a multiple of 11?
False
Let z(a) = a**3 - 7*a**2 - 5*a - 6. Suppose 5 = -y, -3*r + 0*y = 2*y - 11. Let k be z(r). Let b = 78 + k. Does 2 divide b?
False
Let a = -27 + 33. Let x(v) = v + 1. Let q be x(a). Suppose -q*t + 36 = -27. Is t a multiple of 2?
False
Suppose 2*v = 16347 + 5467. Is 13 a factor of v?
True
Suppose 5*s - 3395 = -135. Suppose 655*d - s*d = 606. Does 4 divide d?
False
Suppose 36*c - 207494 - 209608 - 208110 = 0. Does 153 divide c?
False
Suppose 32 = i - 5*t, -5*i - t + 160 = -2*i. Suppose -4 - i = 4*f. Let p = f + 43. Does 2 divide p?
False
Suppose 810 = 5*t - 260. Suppose g + g - t = 0. Suppose h + g = 3*i, 2*h = 4*h + 10. Is 17 a factor of i?
True
Let t(r) = -2*r**2 + 51*r - 35. Let w be t(24). Let a = w - 37. Suppose -2*q + 117 + 45 = a. Is q a multiple of 13?
False
Suppose -2*a + 12 = -0*a. Suppose a*o - 8 = 4*o. Suppose 0 = -4*i + 12, -10 = 2*l - o*i - 36. Does 18 divide l?
False
Suppose -1623 = -c + 4*z + 14967, 5*z - 33232 = -2*c. Does 17 divide c?
False
Let o = -113 + 110. Let h(a) = 12*a + 59. Does 2 divide h(o)?
False
Is 12*4343 - (28 + -16) a multiple of 254?
False
Let k(y) = -y**3 - 9*y**2 - 8*y + 2. Let o be k(-8). Suppose 0 = -3*t + 13 + o, -2*m - 4*t = -18. Is (0 - m)*-3 + 4 + 165 a multiple of 20?
False
Suppose -4*x = 4*h - h - 133, 125 = 3*h + 2*x. Suppose -h = 7*w + 17. Does 8 divide 52 + 16/(w/2)?
True
Suppose -7041 - 2039 = 4*w. Let b = w + 3290. Does 38 divide b?
False
Suppose -5*c = -s - 28, -2*s + 10 = 3*s. Suppose c*p = p - 3*p. Suppose 0 = x + 4*f - 15, 3*x + 2*f = -p*x + 65. Is 23 a factor of x?
True
Let b be 0/((-1)/((-20)/(-8) + -3)). Suppose -z - 3*z + 5*z = b. Suppose 3*c - 5*r - 212 = z, 4*c - 6*c + 116 = 3*r. Is c a multiple of 32?
True
Let t(d) = -2*d - 3*d + 0*d - 3*d - 8. Let b be t(-7). Is 2 + b/(-28) + 270/35 a multiple of 4?
True
Suppose 15*r = -1565 + 18140. Suppose 0 = -2*f + v + r, -5*f - v - 250 + 2995 = 0. Is 22 a factor of f?
True
Let v(p) be the first derivative of 6*p**2 - 1/3*p**3 - 37 - 29*p. Is v(7) a multiple of 6?
True
Suppose x - 3*n - 26 = 0, 4*n = 3*x + 5*n - 58. Let k(o) = o**3 - 19*o**2 - o - 107. Does 21 divide k(x)?
True
Let k = 66902 - 39038. Is k a multiple of 39?
False
Let x be 1/(4 - (-93)/(-24)). Suppose 17*i = x*i + 3996. Is i a multiple of 37?
True
Let o(f) = -f**3 + 13*f**2 + 15*f - 12. Let s be o(14). Let h(p) = -3*p**s + 6 - 162*p + 162*p + 2. Is h(0) a multiple of 7?
False
Suppose 5873*q = 5877*q - 8328. Is 44 a factor of q?
False
Suppose 95*h + 17*h - 366130 + 145042 = 0. Is 94 a factor of h?
True
Let h = 21 - 38. Let u = h + 13. Is 6 a factor of 12 - (3 + u + -3)?
False
Let t be ((-65)/10)/((-4)/(-208)). Let x = t + 842. Is x a multiple of 42?
True
Let i(o) = -9*o + 36*o**2 + 5 - 2 - o**3 - 26*o**2. Let f be i(9). Suppose -f*c - 16 = -4*c. Is 4 a factor of c?
True
Suppose -31*v + 24*v = 371. Let q = -55 - v. Is (-2)/1*q + 130 a multiple of 8?
False
Let l = 65471 - 10495. Is 57 a factor of l?
False
Let c = 86494 - 59529. Is 143 a factor of c?
False
Suppose -13*v + 12*v + 2*u + 58824 = 0, -3*u = -v + 58828. Is v a multiple of 32?
True
Let t(h) = -19319*h - 41. Let x be t(-1). Suppose 0 = 27*o - 6*o - x. Is o a multiple of 9?
True
Let r(z) = -360*z + 33. Does 10 divide r(-32)?
False
Let x(t) = -t**2 + 9*t - 18. Let l be x(4). Suppose 0 = l*a - 3*a - 84. Is 15 a factor of a*((-56)/12 - -4)?
False
Suppose 2*z - 29*z - 32*z + 1226846 = 0. Does 15 divide z?
False
Let f = -23 + 29. Let c be f/1 + 3*(-24)/18. Suppose 4*k + 4*h - 120 = c*k, 3*h - 61 = -k. Is 5 a factor of k?
False
Suppose 138754 = 26*d - 98773 + 36599. Is d a multiple of 48?
True
Suppose 27 = -a - b - 91, 4*a + 487 = -b. Let z = 73 + a. Let n = z + 76. Is n a multiple of 19?
False
Suppose -5*p = -p - 16, -p + 10 = 2*r. Suppose 3*j - 127 = -5*h, -r*j + 84 + 3 = -3*h. Is j a multiple of 17?
True
Let n(t) = 3*t**2 + 32*t - 463. Does 19 divide n(-22)?
True
Let m = 187 - 187. Suppose 3*w + 66 = -m*v + 2*v, 26 = v - 5*w. Is v a multiple of 2?
True
Suppose 2*q - 12050 = -w, -49*q = -47*q + 6. Does 11 divide w?
True
Is (-600)/500*((-3)/1 - (-4 + 391)) a multiple of 36?
True
Suppose 2*u + 7286 = 18*z - 16*z, 4*z - 14593 = u. Is 50 a factor of z?
True
Let o(d) = -25*d - 5. Let n be o(-1). Let y = 24 - n. Suppose -y*c + 4*g + 200 = 0, g + 7 = 2. Is 15 a factor of c?
True
Suppose 35*s - 81866 = -5601. Does 26 divide s?
False
Let c(g) = g**2 - 6*g + 12. Let d = 875 - 866. Does 6 divide c(d)?
False
Suppose -40 + 376 = 3*p. Suppose -2*b + 320 = -p. Suppose 0*q = -4*q + b. Does 12 divide q?
False
Suppose 7*j - 3*j = -3*h + 11144, 7432 = 2*h + 4*j. Suppose 3*p - h = -544. Is p a multiple of 33?
True
Let u(x) = -x**3 + 9*x**2 + 27*x - 27. Suppose 28*f - 250 = 3*f. Does 13 divide u(f)?
True
Suppose 2*p + 5*j - 1195 = 0, -35*j - 3599 = -6*p - 