 58*s**2 - 3*s + 4. Let i = -116 + 117. Let x be m(i). Suppose x = 3*g - 2*d - 244, -5*g + d + 505 = 0. Does 8 divide g?
False
Suppose -3*q = -5*w - 2936, 2*q - w + 6*w - 1999 = 0. Does 47 divide q?
True
Let k(b) = b + 12. Let h(c) = 3*c + 25. Let t(d) = -2*h(d) + 5*k(d). Let y be t(7). Suppose -y*o - 3*o + 522 = 0. Does 18 divide o?
False
Let o(i) = i**3 - 7*i**2 - 9*i + 11. Let z be o(8). Suppose z*p + 546 = 4*p. Is 39 a factor of p?
True
Suppose 29*u + 5270 = 2*a + 31*u, -2*u - 12 = 0. Is a a multiple of 13?
False
Let r = -2490 + 3990. Does 20 divide r?
True
Suppose 12*u - 9*u - 13637 = -5*w, 0 = -2*w - 10. Is u a multiple of 33?
True
Suppose 3*o = -12, -5*z + 1100*o = 1102*o - 532. Is 27 a factor of z?
True
Suppose -14*s + 2463 - 8329 = 0. Let g = -323 - s. Does 5 divide g?
False
Is 60 a factor of (-3 - -5)*185*1034/55?
False
Suppose 5*z - 490 = 290. Suppose -4*j + 310 + 114 = 0. Let t = z - j. Is t a multiple of 9?
False
Let t be (-3735)/(-9) + 1*-1. Suppose -2*k = -2*u - 204, -4*u - t = -5*k + 95. Does 6 divide k?
False
Is 6/8 + 54/20*70070/132 a multiple of 3?
True
Suppose -20*d + 1082880 = 60*d. Is d a multiple of 144?
True
Let q = -1105 + 1486. Let l be 12/(-14)*(-735)/5. Suppose 3*w - l - q = 0. Does 13 divide w?
True
Let m be 238 - (4 - 2*10/4). Let v = -132 + m. Does 13 divide v?
False
Let b(j) = 6*j - 21. Let d be b(4). Is 8 a factor of 285/d + 2 + -3?
False
Suppose -3105394 = -54*r - 144*r + 2164574. Is 8 a factor of r?
True
Let l = -350 - -764. Suppose 2*h - 9*y = -12*y + 177, 5*h - l = 2*y. Does 21 divide h?
True
Let u = 77 - 61. Suppose 0*w - u = -4*w. Suppose -a - 9 = -w*a. Does 2 divide a?
False
Suppose 4*x - 31259 = -t, -3*t + 217*x + 93733 = 218*x. Is t a multiple of 199?
True
Let r be 6 - (-6 + -2)/(-1). Is 23 a factor of 1 + (0 - r) + 344 + 113?
True
Let g be 3 + (-3)/((-1)/(-1) + 0). Suppose -4*c + 5*u - u + 24 = g, 0 = -u + 2. Suppose c*f - 143 = 433. Is f a multiple of 12?
True
Let q(h) = h**3 + 12*h - 18. Is 18 a factor of q(12)?
True
Suppose 3*t + 12 = 9*t. Let k = 4 - 0. Suppose 5*o - 3*n = 150, -t*o + k*n + 17 = -43. Is o a multiple of 10?
True
Suppose -2*n - 10 + 16 = 0. Let t(l) = -l**3 + 2*l**2 + 4*l + 2. Let j be t(n). Let g(u) = -2*u + 39. Is 10 a factor of g(j)?
False
Suppose -t - 4*p + 8386 = 0, -t + 4052 + 4334 = p. Is 32 a factor of t?
False
Is (-12)/(-28) - (145784/(-28) - 3) a multiple of 98?
False
Suppose -38*h = -341744 - 861868. Is 105 a factor of h?
False
Suppose p = 3*p + 10, 2*n - 1879 = 5*p. Is n a multiple of 37?
False
Suppose y + 220 = -9*y. Let b(z) = 6*z + 162. Is b(y) a multiple of 9?
False
Let g(z) = 6*z**2 + 49*z - 17. Let a be g(-7). Let v = 702 - a. Is v a multiple of 64?
True
Suppose 2*k = -j + 7, 16 = 4*k - 38*j + 42*j. Suppose -451 = -k*r + h, -3*r - 7*h + 9*h + 449 = 0. Is r a multiple of 59?
False
Let x(g) = 3982*g - 751. Does 16 divide x(4)?
False
Let w(u) = -4*u - 38. Let t be w(-9). Let x be 7/(105/100) + t/3. Is ((-308)/x)/((-30)/45) a multiple of 11?
True
Suppose 25*r - 3*f = 20*r + 60303, 12067 = r + f. Does 20 divide r?
False
Suppose 2*p - 2*f - 3434 = 0, p - 44 - 1669 = -3*f. Is 12 a factor of p?
True
Let p(d) = 4*d**2 - 64*d + 333. Does 43 divide p(28)?
True
Let b = -382 + 1423. Suppose k = 4*k - b. Does 37 divide k?
False
Let z(g) = -15*g**2 + 20*g - 10. Let q(t) = 8*t**2 - 11*t + 5. Let f(w) = -5*q(w) - 3*z(w). Let i = -3 - -8. Does 15 divide f(i)?
True
Suppose 240*b + 12 = 242*b. Suppose -b = 3*i, -i = -3*y + 1769 - 339. Is y a multiple of 4?
True
Suppose 0 = -19*v + 20*v - 6. Does 12 divide (2/(16/(-876)))/((-3)/v)?
False
Let p be 84/10 + 9*(-2)/(-30). Suppose 5*k - 198 = -2*s, 368 = 4*s + p*k - 6*k. Is 37 a factor of s?
False
Let v(f) = -f**2 - f - 36. Let z be v(6). Let i = 350 + z. Is i a multiple of 16?
True
Suppose -4*c + 148 = s, -7*c = -8*c - 4*s + 52. Let u = c + 223. Is u a multiple of 7?
True
Suppose -2*i = 5*i - 24331 - 28183. Is 62 a factor of i?
True
Suppose 42 = s - 88. Suppose 4*y - 3*y - s = 0. Suppose 4*o - y = 6. Does 17 divide o?
True
Is ((-18)/(-8)*-4)/((63/60348)/(-7)) a multiple of 214?
True
Suppose 4*g + 93 = -i, 5*g - 26 = 3*i - 121. Let h(b) = 2*b**2 + 43*b - 28. Let w be h(g). Let m(c) = -17*c - 6. Is m(w) a multiple of 16?
True
Let j(k) = -89*k - 155 + 269*k - 87*k. Does 62 divide j(19)?
True
Let b = -166 - -236. Suppose -b + 22 = -6*j. Suppose 2*p = j*p - 960. Is 30 a factor of p?
False
Is 24 a factor of 8/14 + (-1557810)/(-266) - 1?
True
Suppose -445*d = -440*d. Suppose 3*f - 4*f + 1008 = d. Is f a multiple of 12?
True
Let v(d) = d**3 + 33*d**2 - 50*d - 132. Does 14 divide v(-18)?
True
Suppose 176 = -4*h + 3*k - 183, -2*k = 2*h + 176. Let a = h - -137. Is 5 a factor of a?
False
Let x(v) = -7*v**3 - 46*v**2 - 264*v - 10. Is 110 a factor of x(-6)?
True
Let l(t) = 6*t + 7. Let a be l(5). Let q = -12 + a. Suppose -q*y = -20*y - 630. Is y a multiple of 42?
True
Let h(b) = -b**3 + 13*b**2 - 11*b - 6. Let m be h(12). Suppose 2*f = f + 3*y - m, -4*y = -4*f. Let n(v) = v**3 + 2*v**2 - 5*v + 10. Does 8 divide n(f)?
True
Let x(a) = -8798*a - 17. Let y be x(-16). Is 61 a factor of (3/(-4))/(-10 - y/(-14076))?
False
Suppose 0*r - 4587 = 11*r. Let i = 126 - r. Is i a multiple of 71?
False
Is 127 a factor of -1 - (-1 + -1) - (-246 - 6357)?
True
Let j = -69 + 71. Suppose 1234 + 676 = 5*y - 5*k, 760 = j*y - k. Is 18 a factor of y?
True
Is 50 a factor of (-31858)/(-51)*(-9)/(-2) - -8?
False
Let s(v) = -193*v - 330. Is s(-15) a multiple of 7?
False
Let g(u) = -u**3 + 6*u**2 + 16*u + 6. Let o be g(8). Suppose o*b = -x + 2*b + 46, 112 = 2*x - 2*b. Suppose 110 = s - x. Is s a multiple of 12?
False
Suppose 1 = 2*a + 5*l, -2*a - 6*l + 13 = -5*l. Suppose a*o = 10*o - 398. Is o a multiple of 16?
False
Let v = 6114 + -3514. Is v a multiple of 13?
True
Suppose 3*i = g - 6*g + 574, 464 = 4*g + 4*i. Let q = g + -121. Let s(a) = 4*a**2 + 20*a - 4. Is 15 a factor of s(q)?
False
Let c = -2522 - -6197. Is 49 a factor of c?
True
Let q be 9/(-6) - -6 - 6 - (-138)/4. Let y = -26 - -18. Let z = q + y. Is z a multiple of 5?
True
Suppose a - 5355 - 6457 = -5*o, -4*a + o = -47311. Does 147 divide a?
False
Suppose 28184 = 4*z + 4*m, 13*z + 6*m = 10*z + 21156. Does 11 divide z?
True
Suppose b - 42 = 2*b + 5*w, 10 = 2*w. Let c be (-30)/(-40) - 3348/(-16). Let r = c + b. Does 11 divide r?
True
Let f = 26 + -2. Let x = f + -16. Is 2*(-4)/x*0 - -90 a multiple of 10?
True
Suppose 0*j - 33 = -2*c - j, 64 = 4*c + 4*j. Let z(g) = 22*g - 3 + 11 - 3*g**2 + 2*g**2. Is 21 a factor of z(c)?
False
Suppose a = -2*b + 3, 4*b + 4*a = 7*b + 12. Suppose g - 570 = -4*q, 3*g + q + 43 - 1753 = b. Is g a multiple of 15?
True
Does 40 divide -6 + (-10 - (-43872)/8) + -10?
False
Let k = 3325 - 2285. Is 80 a factor of k?
True
Suppose -w = -4467 + 1494. Is 36 a factor of w?
False
Let t be -1 + 38 + -15 + 10. Suppose 4*r - t*r = -2016. Is r a multiple of 4?
True
Suppose -i = -5*z + 2443, -3*z - 2*z + 4*i = -2452. Let f = 898 + z. Suppose -13*w = -24*w + f. Is 18 a factor of w?
True
Suppose -162*g - 18816 = -141*g. Let f = g - -1070. Is f a multiple of 29?
True
Is (-456)/(-54)*(-12717)/(-18) a multiple of 18?
False
Let g(a) = -a - 4. Let l be g(2). Let m be (2*9/4)/(l/(-8)). Suppose 311 = m*y - 103. Is 9 a factor of y?
False
Suppose 0 = -5*r + 395 - 25. Let h = -64 + r. Suppose 4*x - h*x = -222. Is x a multiple of 7?
False
Let x = 285 - 289. Is -8*1/x + 17 a multiple of 19?
True
Suppose 0 = 19*c - 3*d - 815778, 22*c - 42934 = 21*c + d. Is c a multiple of 12?
True
Suppose 191*v = 302074 + 132642. Is 3 a factor of v?
False
Suppose -5*f + 2165 + 764 = 4*v, 2*f = 4*v + 1194. Does 19 divide f?
True
Let z be 20 - (-6)/(4*4/(-8)). Suppose j + z = 5*f, 0 = 4*j + 4*f - f - 24. Suppose j*i + i = 444. Is 35 a factor of i?
False
Let g = 97 + -90. Suppose -g*l - m = -12*l + 5138, -3*m + 5146 = 5*l. Is 42 a factor of l?
False
Suppose 4*b - b + 2*f + 11 = 0, -b + 2*f - 1 = 0. Let p be (4 + b - 3) + 1 + 243. Is 4/(-8) - p/(-4) a multiple of 20?
True
Let k(h) = -201*h + 61. Let p(x) = -204*x + 61. Let c(a) = -6*k(a) + 5*p(a). Is c(4) a multiple of 18?
False
Suppose 6*c + 79*c - 1166256 = -83*c. Is 39 a factor of c?
True
Suppose 0 = 5*j - 4*i - 179447 + 31887, -5*j - 15*i + 147465 = 0. Is j a multiple of 9?
False
Let b be (-2