*u = -0*u + 40. Suppose 3*c - 786 = -u*r, 3*r - 656 = -4*c - 180. Suppose 0 = -3*t - 5*v + 371, -4*t + 392 + r = -4*v. Is 12 a factor of t?
True
Let w = 46 - 42. Let s(d) = 1938*d + w + 0*d**2 - 1956*d - d**2. Does 13 divide s(-13)?
False
Is (-18)/(-21)*-7 - -11728 a multiple of 132?
False
Let i = -3247 - -5702. Does 85 divide i?
False
Suppose -t - 4*m + 18 = 0, -t + 14 = 2*t + 4*m. Suppose -3*y + 50 = 5*b + 2*y, -5*y = -5*b. Is (t - 0)*(-50)/b a multiple of 10?
True
Is (-1222703)/(-920)*5 - 3/24 a multiple of 107?
False
Suppose -718291 = -110*c + 884944 - 389935. Does 8 divide c?
False
Does 138 divide ((-2)/4)/(((-2)/31197)/(468/351))?
False
Let z(c) = -4*c - 32. Let y be z(-9). Suppose x - y*q = -71, 2*q = 2*x + 68 + 62. Is 13 a factor of x/49 - -1 - (-732)/14?
True
Suppose 4*x - 26 = 2*a, 0 = 3*x - 9*a + 13*a - 25. Suppose 72 + 82 = x*g. Is 2 a factor of g?
True
Let o be 1*6/(-2)*(4 - 5). Suppose 112 = p - 3*c, 0 = o*p + 7*c - 6*c - 296. Is 7 a factor of p?
False
Let r be ((-30)/(-25))/(10/(-25)) + 3. Suppose 4*s + 3*t - 4*t - 4227 = r, 5*t - 5265 = -5*s. Does 24 divide s?
True
Suppose -33*s + 38*s - 10 = 0. Suppose 2*y - 325 = 5*r, -r - s = -1. Does 32 divide y?
True
Let n = 7 - 2. Let i = -634 - -699. Is i/(n/10 - 3/(-6)) a multiple of 28?
False
Let f(z) = 5 + 305*z**3 + 3*z**2 - 5*z**2 - 4*z**2 - 6*z + 8*z**2. Is 9 a factor of f(1)?
True
Let p(s) = 214*s + 5800. Is 272 a factor of p(119)?
False
Suppose -j - 3*t - t = -38, 0 = -t - 3. Suppose -27*k + j*k = 2070. Is k a multiple of 19?
False
Let d be (-16411)/(-7) + 8/14. Let h = d + -1445. Suppose n + h = 10*n. Is n a multiple of 20?
True
Suppose 33 = d + 38. Does 13 divide (d - (-78)/12)*26?
True
Let c(b) = 18*b**2 - 2*b + 5*b - 11 + 13*b**3 - 14*b**3. Let n be c(10). Suppose n = 9*h - 567. Is h a multiple of 22?
True
Let h(k) = 7*k**2 - k + 3. Let i be h(4). Suppose 51 + i = -3*u. Let q = 122 + u. Does 12 divide q?
False
Let n = -492 - -264. Is 18 a factor of (n/(-7))/((-54)/(-567))?
True
Let c = -339 + -173. Does 17 divide (189/2)/((-96)/c)?
False
Let v = -7776 - -9737. Is 9 a factor of v?
False
Suppose 0*l + 990 = -3*l. Does 4 divide (11/(-2))/(15/l)?
False
Suppose 4*x + 11*x = 9*x + 42840. Does 140 divide x?
True
Let h(c) = -c**2 + 9*c + 100. Let a be h(-7). Does 14 divide (4 + 11190/a)*(-4)/6?
False
Let a = -13 + 18. Suppose c + 4*g + 233 = 0, a*g - 739 = 3*c + 28. Let k = -169 - c. Is k a multiple of 10?
True
Suppose 1452 = 4*c - 5*t, 0 = 7*c - 12*c - t + 1844. Suppose 16 = 4*h, w = h - 4*h + c. Is w a multiple of 43?
False
Suppose 403 = 3*v - d, -4*v + 226 + 326 = -5*d. Suppose -v*k + 137*k = 2736. Is k a multiple of 41?
False
Suppose 0 = -3*r - 4*k + 254704, 311*r = 316*r - 4*k - 424432. Is 19 a factor of r?
True
Let w(u) = 6*u + 1398. Is w(-5) a multiple of 38?
True
Let x = 3256 + 2957. Is x a multiple of 57?
True
Suppose -111 = -10*q + 9. Does 9 divide 15/q + (-25328)/(-64)?
False
Let m(f) = f**2 - 13*f + 28840. Let z be m(0). Suppose 21*k - z = -3724. Does 92 divide k?
True
Suppose -6*r + 3*r = -9. Let v(g) = -57*g**3 - g**2 + 2. Let z be v(-1). Suppose 0 = -r*o + o + z. Is 9 a factor of o?
False
Let s be 1 - (-278 + 0 + 3). Suppose -2*l + 8*d = 4*d - s, 4*l = -4*d + 588. Is l a multiple of 16?
True
Suppose 4*u - s - 14577 = 10528, 5*s + 12539 = 2*u. Is u a multiple of 21?
False
Let v(t) = 970*t**2 + 54*t + 55. Is v(-1) a multiple of 2?
False
Let l(t) = 9*t**2 + 222*t + 537. Is l(-27) a multiple of 48?
True
Suppose 6*q + 0*q = 246. Suppose 3*m - 13376 = -q*m. Is 62 a factor of m?
False
Suppose -15*o + 12 = -11*o, 2324 = 4*w + 4*o. Does 34 divide w?
True
Let s(v) be the first derivative of -344*v**2 + 115*v - 97. Is s(-2) a multiple of 12?
False
Let b(j) = -5*j + 18. Let x be b(3). Let u be 294 + -2*1/2. Suppose u = 3*t - 2*g, 0*g = 4*t + x*g - 419. Is t a multiple of 28?
False
Let u = 5218 - 2895. Does 55 divide u?
False
Let w(k) = -2*k**3 - 4*k**2 + 3*k - 4. Let a(c) = -c**2 + 11*c - 24. Let v be a(9). Does 23 divide w(v)?
False
Is 9 a factor of 34/119 - (-5)/(140/18136)?
True
Suppose 0 = -o - 1 - 8. Suppose 2*l + 2*l = 4*v + 132, 0 = -3*l - 4*v + 71. Let f = l + o. Is 10 a factor of f?
True
Is 5 a factor of 1221 - -7 - -4*(85/20 + -3)?
False
Suppose -6*u + 3*b + 17494 + 13712 = 0, -26005 = -5*u + 2*b. Is u a multiple of 7?
True
Suppose -23 = -3*f + 7. Suppose -2*x + 5*y = f*y - 1216, -2*x + 1224 = 3*y. Is 74 a factor of x?
False
Let b = 2916 - 2695. Does 3 divide b?
False
Let b(j) = 13*j**2 - 5*j + 8. Let a(x) = -39*x**2 + 14*x - 27. Let p(c) = -4*a(c) - 11*b(c). Is 39 a factor of p(-5)?
False
Let u = -33 - -33. Let m = 4 + u. Suppose -m*c + 73 = -3*c + 4*q, -6 = -2*q. Is c a multiple of 8?
False
Let h(b) = -4*b**3 - 6 + 252*b + 11*b**2 - 36 - 521*b + 254*b. Is 12 a factor of h(-6)?
True
Suppose 45140 = 15*z + 35*z - 1260. Is 16 a factor of z?
True
Suppose -26*r = 33*r - 170098 - 187560. Is 11 a factor of r?
False
Suppose 471*b - 470*b = -t + 101, 5*t = b - 101. Let w = -12 + 64. Let f = b - w. Is f a multiple of 24?
False
Suppose 3 = 4*y - 5. Let h be 1/y - (-3)/(-6). Suppose o + 79 = 2*o + 5*g, -4*g = h. Is 11 a factor of o?
False
Let v(t) = 895*t**2 + 471*t + 3343. Does 307 divide v(-7)?
True
Let v = -477 + 3772. Does 29 divide v?
False
Suppose -5*g = 5*n - 48 + 158, -n = 2. Let h(i) = -1 - 13 - 8 - 4*i. Does 5 divide h(g)?
False
Suppose 0 = -29*q + 271364 + 142408. Does 5 divide q?
False
Suppose -6*p + 492 = -2*p. Let a = -56 + p. Let i = a + -35. Is i a multiple of 16?
True
Let c = -243 + 239. Does 32 divide c/(4/(-2)) + 360/12?
True
Suppose 19 = 5*o - r, 2*r + 1 + 4 = -o. Suppose -9*l + 54 = -o*l. Suppose 39 + l = 3*x. Is 8 a factor of x?
True
Suppose 4*l - 4*h + 6939 = 25271, 3*h = 27. Is l a multiple of 14?
True
Is ((-73)/5)/(30/(-3150)) a multiple of 77?
False
Suppose 83*l = 86*l + 2*r - 35109, r = 0. Is 13 a factor of l?
False
Suppose 0 = 50*k - 46*k - 24. Let w(x) = 4*x - 32. Let o be w(k). Is (-22)/o*(-160)/(-4) a multiple of 10?
True
Suppose -2*v + 606 + 202 = 0. Suppose 0 = 9*u - v - 253. Let x = 88 - u. Is x a multiple of 3?
True
Let u = -7969 + 29081. Is 182 a factor of u?
True
Suppose 3*d + 3*i - 65 = 37, -2*d + 43 = -3*i. Suppose -d*y + 21*y = -104. Is y a multiple of 13?
True
Let m(t) = 1362*t**2 + 12*t - 15. Does 17 divide m(2)?
True
Suppose -h + 15293 = 3*o, o + 2*h - 4522 = 579. Is o a multiple of 163?
False
Suppose 192 = 4*d - 7*d. Let q = -70 - d. Is q + 198/30 - (-1222)/5 a multiple of 35?
True
Let a(m) = m**3 + 7*m**2 - 8*m + 1. Let d be a(-8). Let r be -2*1*d/(-4)*2. Is 3 a factor of r + 152/14 + (-5)/(-35)?
True
Let y = 9669 - -43914. Is 313 a factor of y?
False
Suppose 26*q = 24*q - 2*o + 2400, 0 = 2*o. Is q a multiple of 6?
True
Let c(u) = -u**3 - 15*u**2 + 15*u - 1. Let v be c(-14). Let h = 682 + v. Does 55 divide h?
True
Does 7 divide -29 + (14 - -13) + 2*11614?
True
Let b(n) = 4*n**2 + 14*n - 14. Let c be 18/(-4) + 7/(-14). Let k(u) = 2*u**2 + 7*u - 7. Let i(z) = c*k(z) + 3*b(z). Is 15 a factor of i(9)?
False
Let x = 199 + -129. Suppose -3288 = 62*b - x*b. Does 36 divide b?
False
Suppose m - 1075 = -4*m. Suppose 4*h + 159 = 3*i + h, 4*i - m = 5*h. Suppose -3*n = -i - 13. Is n a multiple of 7?
True
Let y(z) = z**3 - 8*z**2 + 8*z - 31. Let c(t) = -t**3 + 6*t**2 + 5*t + 21. Let j be c(7). Let f be y(j). Is 23 a factor of 965*(-4)/f - (-2)/12?
True
Let z(t) = 350*t - 1753. Does 17 divide z(16)?
False
Suppose 0 = 3*w - 71280 - 41166. Is 17 a factor of w?
False
Suppose 2*z = x - 704, -8*x + 16*x - 5*z = 5577. Is 8 a factor of x?
False
Let q(k) = -k**3 + 18*k**2 - 25*k - 8. Let f be q(15). Suppose 16 = -2*p + f. Let g = -94 + p. Does 44 divide g?
True
Suppose -z = 5*h - 12, h + 0*h = 2*z - 35. Suppose -4*m - 12 = 3*x - 5*x, -4*x + z = -m. Is x/16 - (-1)/((-4)/(-415)) a multiple of 26?
True
Suppose 37 = -2*n + 43. Is 7 a factor of (882/4)/(8*n/32)?
True
Let k(p) = -2*p + 12. Let o be k(4). Suppose 2*x + 0*z - 43 = -z, 0 = o*x - 2*z - 90. Is x a multiple of 11?
True
Suppose 14*h = -265015 + 86305. Is (h/148)/(26/16 + -2) a multiple of 10?
True
Let h = 1750 - -10978. Is 86 a factor of h?
True
Suppose 5*t = -2*z + 646, -137 = -t - 5*z + 2*z. Suppose 2*l - t = g, 20*l - 22*l - 3*g = -128. Does 16 divide l?
True
Let b(y) = y - 4. Let c be b(7). Suppo