a multiple of 32?
True
Suppose -u + 60*f + 680 = 64*f, 0 = -3*u + 4*f + 2104. Does 58 divide u?
True
Let h(s) be the second derivative of 4*s**4/3 - s**3/6 - s**2/2 + 2*s. Let q be h(3). Suppose -8*w = -3*w - q. Is 9 a factor of w?
False
Let o(s) = -7*s**3 + 7*s**2 - 16*s + 27. Does 163 divide o(-7)?
False
Suppose 158*w = 164*w + 1008. Does 5 divide -6*7/w - (-931)/4?
False
Suppose -3*d = -5*h + 703, -457 = 2*d - 26*h + 25*h. Let c = d + 259. Does 11 divide c?
True
Suppose -39 = -27*s + 123. Suppose 0 = s*u - 3695 - 625. Is 20 a factor of u?
True
Let r be 121/(2/(2 - 4)). Let x = 593 - 376. Let k = x + r. Does 16 divide k?
True
Is 7/(28/2140) + (-63)/21 a multiple of 51?
False
Suppose 2*m - 2 = m, 5*m = -5*h + 165. Suppose 5*f = -2*g + 34 + 28, -47 = -4*f + g. Suppose -z = -h - f. Does 29 divide z?
False
Let g be (-15)/(-6)*(74/10 - 5). Suppose -2*q - 8*r + g*r + 1670 = 0, 4*r = -5*q + 4172. Is 8 a factor of q?
True
Let y be 45/20 + 4/(-16). Let j(v) = -24*v - 44 + 110*v**y + 114*v**2 - 225*v**2. Is j(-19) a multiple of 26?
False
Suppose -2*z - 64 - 286 = -k, -z = 4*k + 175. Let j = -74 - z. Is j a multiple of 7?
False
Suppose s = 4*o + 56 - 68, -35 = -5*s + o. Is 47 a factor of (s - -79) + 2 + -4?
False
Suppose 0 = -5*j - 4*d - 1179, -2*j - d = -6*d + 498. Let w = j + 949. Does 56 divide w?
False
Let u(n) = 71*n - 19*n**2 + 622 - 646 - n**3 - 8*n**2. Let b be u(-29). Let w = 621 + b. Is w a multiple of 44?
True
Let s = -651 - -670. Is 18 a factor of s?
False
Let n be 21/35 - 74/(-10). Suppose 0 = n*f + 11 - 3. Does 14 divide 13/(-13) + (-63)/f?
False
Let r = -106 - -111. Suppose -1059 = -r*i + 526. Suppose 0 = 2*g - 817 + i. Is 37 a factor of g?
False
Suppose 121095 = 3996*n - 3969*n. Is 8 a factor of n?
False
Suppose -1347*l = -1374*l + 6021. Does 44 divide l?
False
Let c(f) = -7*f**2 + 2*f + 2. Let n be c(2). Let j be (-5 - 61)/2 + 5. Let r = n - j. Is 3 a factor of r?
True
Let j = -7485 + 12431. Is 29 a factor of j?
False
Let z(w) = -w**2 - 224*w - 1378. Does 7 divide z(-125)?
True
Suppose -58 = -3*s + 4*a, -6*s + 5*a - 22 = -9*s. Suppose s*r - 5835 = 1781. Is r a multiple of 42?
False
Is (-9)/(-54) - ((-4)/6)/(92/367057) a multiple of 38?
True
Let h be 0 + 25/9 - (-288)/1296. Suppose -c - 3*r = -28 - 28, h*r + 262 = 5*c. Is c a multiple of 38?
False
Let p be (-2)/(-1)*(-190)/(-20). Let m(f) = 41*f - 3 - 11 - 37*f. Does 16 divide m(p)?
False
Suppose 2*m = 5*p - 9430, -p + 7*m = 9*m - 1898. Is p a multiple of 59?
True
Is 592*(0 - -102 - 12) a multiple of 90?
True
Suppose 3*u + 167 = 5*o, 5*u + 5 + 15 = 0. Does 33 divide (36 - o) + (0 - -28)?
True
Let h(v) = -v**3 + v**2 + v + 313. Let y be h(0). Let o = y - -40. Is 19 a factor of o?
False
Suppose 4*c - 24*u = -19*u + 13349, 0 = 2*c + 2*u - 6706. Is c a multiple of 76?
False
Let j(u) = u**3 - 20*u**2 - 79*u + 9. Let s be j(22). Let x = -396 - s. Is 24 a factor of x?
False
Suppose 4*v = -59*p + 63*p + 31784, -3 = p. Is 94 a factor of v?
False
Let z be (284/(-4))/(-1) - 4. Let n = 142 - z. Suppose 4*k - 93 = n. Is 7 a factor of k?
True
Let t be 8 - (-1 + 0 + 2). Suppose -t*b - 242 = -9*b. Let c = b - 70. Is 12 a factor of c?
False
Does 95 divide 13 + 15235/33 - (-3)/9?
True
Let z(d) = d**3 - 8*d**2 - 7*d - 14. Let w be (-2 - 1)/(35/(-15) - -2). Let k be z(w). Suppose 4*c - 128 = k*j, -2*c + j = -44 - 22. Is c a multiple of 34?
True
Let r = 26 - -42. Suppose 4*i - 5*o + 177 = 0, -o - 29 = -2*i - 110. Let c = r + i. Does 10 divide c?
True
Suppose 5*v + 4*s - 6735 = 0, -v = -5*s + 584 - 1902. Is v a multiple of 79?
True
Suppose 4*c + 8*z = 11*z + 663, 0 = 6*c + 4*z - 1020. Is 14 a factor of c?
True
Is 2*(-27)/(-18) - -5709 a multiple of 51?
True
Let q = -240 + 640. Suppose 5*t - 5*z - q = 0, 4*z - 44 = 2*t - 212. Let h = 126 - t. Is 14 a factor of h?
False
Suppose 2*i + 48934 + 31016 = 7*i. Is i a multiple of 78?
True
Suppose -3*a + 9 = 4*m - 12, -m - 2*a = -4. Suppose 41*h = 44*h - m. Suppose 21 = h*d - 29. Is d a multiple of 16?
False
Let h = -247 - -254. Suppose -2*c = -h*c + 75. Is 15 a factor of c?
True
Is (-29705)/(-5 + -8) + -20 a multiple of 5?
True
Let p = -33213 - -45638. Is p a multiple of 35?
True
Does 3 divide -1*((-30674)/8 + 27/180*-5)?
False
Suppose -2*g - 4*g - 36594 = -15*g. Is 19 a factor of g?
True
Let f be (-2920)/16 + 1/2. Let a = -47 - f. Suppose 3*m - 423 = 3*v, 5*m = 4*m + 3*v + a. Is 26 a factor of m?
False
Suppose -v + 3228 = u, -3*v = -4*u - 5952 - 3760. Is v a multiple of 10?
False
Suppose -57*m + 665257 - 50683 = 0. Does 51 divide m?
False
Let l = -217 + 494. Suppose g - 893 = -l. Does 77 divide g?
True
Suppose -3*t - 1017 = -3*j, -2*t - 3*t - 15 = 0. Suppose -5*w + j - 6 = 0. Is 22 a factor of w?
True
Let i(j) = j**3 + 4*j**2 + 7*j + 9. Let q be i(-2). Is 22 a factor of 5948/28 - q/7?
False
Is (16 + 4 - -12)/(1/54) a multiple of 11?
False
Let u(n) = n**2 - 5*n + 6. Let x be u(5). Let h(o) = -o**2 + 5*o + 3. Let p be h(x). Let g(i) = 5*i**2 + 4. Is 5 a factor of g(p)?
False
Suppose 4*g + 201*h - 206*h = 11455, 5*g = 2*h + 14340. Is 10 a factor of g?
True
Let q = -209 - -212. Let x(l) = 3*l**2 - 9*l. Let p(s) = s**3 - s. Let i(t) = 2*p(t) - x(t). Is i(q) a multiple of 8?
True
Let x = 128 + -127. Suppose 0 = -z + 4*i + 4, -z + i + x = 2*z. Suppose z = 12*u - 6*u - 36. Is u a multiple of 6?
True
Suppose -5*b - 13 - 15 = -3*g, g = 3*b + 16. Let x = -102 - -152. Let s = b + x. Is s a multiple of 15?
True
Suppose -4 = b - 3*b. Let w(f) = f**3 + 6*f**2 + 3*f - 3. Let u be w(-5). Suppose -4*r + 435 = -b*o + u*o, 0 = -5*r + o + 551. Is r a multiple of 25?
False
Suppose 0 = -3*b - r + 412, 2*b - 3*r + 148 = 3*b. Let u be (-2 + -2)/(-2)*(-388)/(-8). Suppose -u = 3*v - b. Does 9 divide v?
False
Let w(v) = 738*v + 638. Is w(18) a multiple of 38?
False
Suppose 2*f + 2174 = 4*x, -135*f + 140*f = 5. Is x a multiple of 17?
True
Let v = 99 - 95. Let o be -4*(v/(-1))/4. Suppose z + z - 202 = -5*a, -z = -o*a + 172. Does 6 divide a?
True
Let y(v) = 2*v**2 - 80*v + 371. Is y(-53) a multiple of 39?
False
Let t be 24/72 + ((-10)/(-3))/2. Suppose 40 = 14*l - 13*l - 4*n, -t*n = 3*l - 162. Is 5 a factor of l?
False
Suppose -c - 3*b = -1740, 7*c - 8640 = 2*c - 5*b. Is c a multiple of 9?
False
Does 22 divide -79*((-1 - 129) + (-118 - -117))?
False
Suppose b - 6*b + 20 = 0. Let j(c) = 6*c + b + c**3 + 5 + 0 - 6*c**2 - 4. Is j(5) even?
True
Let b(c) = 2*c - 9. Let n be b(-5). Let a be -17 - n - (-1 + 2 + 1). Suppose 62 = 2*v + 5*i - 13, -3*v - 2*i + 129 = a. Is v a multiple of 9?
True
Suppose 2*u + q = 3136, 50*u - 2*q = 47*u + 4718. Is u a multiple of 13?
False
Is (-51)/2*(276672/72)/(-4) a multiple of 131?
True
Let q(u) = 44*u + 12. Let b be q(-2). Let x = 100 + b. Is x a multiple of 3?
True
Is 22 a factor of 621612/360 + (-24)/(-80)?
False
Let b(l) = -3*l**3 + 5*l**2 + 16*l + 17. Suppose -4 = f - 1. Let s(a) = -2*a**3 + 3*a**2 + 8*a + 9. Let j(q) = f*b(q) + 5*s(q). Does 48 divide j(-5)?
False
Suppose q = 5*q - 56. Suppose 0 = -q*y + 9*y + 345. Is 23 a factor of y?
True
Suppose 16 = -4*o, -4*o = 6*w - 7*w + 1436. Is 68 a factor of w?
False
Suppose c - 15 = -4*q - 1, -5*q = -4*c - 7. Suppose 4*p + 8 = 4*t, -4*t - 4*p - 19 = -q. Is (-92)/4*-1*(-1)/t a multiple of 23?
True
Suppose -4*p = 3*g + 30568, 3*p = 14*g - 11*g + 30582. Is (g/20)/(-4)*(-9 - -14) a multiple of 46?
False
Suppose -97887 - 41441 = -8*i. Is i a multiple of 7?
True
Suppose -3*y + 3*u + 84 = 0, -3*y - 3*u = 2*u - 76. Let a be y + 0 + 0 + 0. Let p = a - -7. Does 4 divide p?
False
Suppose 0 = 11*u - 7*u + 2*m - 820, -800 = -4*u + 3*m. Is u a multiple of 4?
False
Let b(w) = -2*w**3 - 7*w**2 - 4*w + 1. Let g be b(-3). Suppose -3*u + g*a + 0 = -39, 0 = -4*u + a + 39. Does 5 divide u + ((-18)/12)/((-9)/(-24))?
True
Let o(h) = 65*h**3 + h**2 - 15*h + 16. Let l(f) = -6*f**2 + 139*f - 21. Let t be l(23). Does 34 divide o(t)?
True
Let k = 224 + -194. Suppose k = 6*d - 4*d. Is d a multiple of 4?
False
Suppose 4*f - 452 = -r, -r + 238 + 102 = 3*f. Let t = 364 - f. Is t a multiple of 42?
True
Suppose 27*t + 3 = 26*t, 3*t = 4*u - 2169. Let s = u - 212. Does 9 divide s?
False
Suppose 1932 = 301*c - 273*c. Is c a multiple of 25?
False
Let r = -21 - -41. Let j(a) = -3*a**2 + r*a + 5 - a**2 + a + 3*a**2. Does 25 divide j(9)?
False
Let h(v) = 3*