alse
Let g be (-4)/(-6) - 32520/(-36). Let z = -500 + g. Is z a multiple of 47?
False
Suppose 515 = 19*w - 4140. Let q be ((-68)/6)/((-1)/(-9)). Let x = q + w. Is x a multiple of 25?
False
Suppose -3*m - 27 = 3*n, -4*m + n = 27 + 34. Let b = 143 + m. Does 5 divide b?
False
Let f be -6*20/45 - 4/(-6). Let d(r) = -2*r**2 - 4*r - 20. Let l(x) = x**2 + 5*x + 19. Let m(p) = f*d(p) - 3*l(p). Does 9 divide m(11)?
True
Let n be 550/176 - (-2)/(-16). Let t = 749 - n. Is 69 a factor of t?
False
Let h be 2/(-4)*-10 + 794 + 34. Suppose -i = k + k - h, 0 = -k - 3*i + 414. Is 10 a factor of k?
False
Let t(i) = 7*i**2 - 7*i - 7. Let n be t(-4). Suppose -3*o + 4*o + 34 = 0. Let w = o + n. Is w a multiple of 11?
True
Is 21 a factor of (-75525)/(-11) - 1152/(-1056)?
True
Let f(l) = -12*l**2 + 25*l + 45. Let a be f(-6). Let w = -477 - a. Is w even?
True
Let s(d) = 568*d**2 - 117*d + 230. Does 36 divide s(2)?
True
Suppose 1627 = 2*y - 3*d + 301, 2*y + 2*d - 1356 = 0. Is 8 a factor of y?
True
Suppose -i + 66 = i + 2*z, -4*z - 38 = -i. Let w = -27 + i. Suppose -240 = -w*p + 432. Is 14 a factor of p?
False
Suppose 206*f - 207*f = 3*o - 6673, 0 = -4*f - 2*o + 26742. Is f a multiple of 44?
True
Suppose -2*g - p + 20 = -81, -5*g + 3*p + 247 = 0. Suppose -749 = g*b - 57*b. Is b a multiple of 11?
False
Let j(t) be the first derivative of 21*t**2 + 3*t + 12. Is 6 a factor of j(1)?
False
Let n = 192 - 132. Suppose 3*q - n = 9. Let u = 10 + q. Is 5 a factor of u?
False
Suppose -10*a + 14*a - 4468 = 4*k, -2*a = -5*k - 2246. Suppose -19*h = 2*h - a. Is h a multiple of 5?
False
Let s be (-8)/(-6)*(-4)/((-96)/54). Suppose s*b = b + 2. Suppose 67 = w + b. Does 6 divide w?
True
Suppose -5*p + 246 = -254. Suppose 4*c + c - p = 0. Let n = 124 + c. Is n a multiple of 36?
True
Let m = 56 - 325. Let z be 129/172 - (-1534)/(-8). Let p = z - m. Is p a multiple of 13?
True
Suppose 1319400 = -89*m + 152*m - 3*m. Does 5 divide m?
True
Let t be (-2*(2 + -9))/2. Suppose 0 = 2*z + 5*p - 393, 0 = -3*z - 31*p + 29*p + 573. Suppose t*w + z = 1008. Is w a multiple of 11?
False
Let z(l) = l**2 + 5*l + 2. Suppose 2 = 2*i - 4, 10 = f + 2*i. Let k be z(f). Suppose 115 - k = t. Is 6 a factor of t?
False
Suppose -4*q + 8*q - 4*l = 3084, -5*l - 2305 = -3*q. Let s = q - 243. Is 76 a factor of s?
True
Let z = -246 - -4716. Is 19 a factor of z?
False
Is 100 a factor of (-106564014)/(-9108) + (-2)/44?
True
Suppose 2*k - 107112 = 2*x, 236*k + 2*x + 160662 = 239*k. Is k a multiple of 22?
False
Suppose -4*d - d - 4*z + 2335 = 0, -5*z = -3*d + 1364. Is d a multiple of 3?
False
Suppose 2*f = -344 - 114. Let d = 90 - f. Is d a multiple of 31?
False
Let z = 217 + -225. Does 43 divide (4 + z)/(2/(-68))?
False
Let h = 9338 - 8314. Does 8 divide h?
True
Suppose y = 5*o + 487, 4*y - o - 1969 = -2*o. Suppose -3*x + y + 1083 = 0. Is 35 a factor of x?
True
Let a(r) = 15*r**2 - 122*r - 1579. Is a(-35) a multiple of 206?
False
Let c(p) be the first derivative of 17*p**3/3 + 17*p**2/2 - 40*p + 72. Is c(3) a multiple of 8?
False
Let r = -1772 + 3298. Does 6 divide r?
False
Suppose 4*r + 6 = -4*f + 2, 4*r + 7 = -5*f. Let w = -267 - -91. Does 18 divide 2 - -1*(r - w)?
True
Let y(f) = 11*f**2 + 11*f - 24. Let h be y(-7). Suppose -2*m - 132 = -h. Does 17 divide m?
True
Let c = -1223 - -820. Let q = c + 754. Is q a multiple of 39?
True
Let b(x) be the first derivative of -x**4/4 + 2*x**3 + 2*x**2 - 3*x - 5. Suppose 0 = 5*t + 98 - 83. Is 24 a factor of b(t)?
False
Suppose 2*y - 23669 = 11825. Is y a multiple of 66?
False
Let o(k) = 13*k - 22. Let d be o(3). Suppose -3 = -5*r + d. Suppose 3*i = 4*c + 229, -15 - 151 = -2*i - r*c. Is 12 a factor of i?
False
Suppose 0 = 40*i - 174008 - 155223 + 116271. Does 22 divide i?
True
Let f = -40823 + 41085. Is f a multiple of 3?
False
Let q(l) be the third derivative of 139*l**5/60 - l**4/4 - 2*l**3/3 + 52*l**2. Is 23 a factor of q(-2)?
False
Suppose -3*v - a = -12, v - 12*a + 9 = -8*a. Let s(c) = 3*c**3 - c**v + 6 + 72*c**2 + 8*c - 82*c**2. Is 11 a factor of s(5)?
False
Is (12 - 11)*(142 + -19) a multiple of 11?
False
Suppose -2*f - 3*x = 3*f + 8, -x + 3 = -4*f. Let l be 3/f + (0 - 0/(-1)). Is (-656)/(-4)*(l + 39/12) a multiple of 41?
True
Let p(q) = q**3 - 2*q**2 - 13. Let z be p(3). Let c be (234/65)/(z/(-30)). Let t = c + 134. Is t a multiple of 9?
False
Let a(i) = 43 - 2*i + 3 + 19. Is 9 a factor of a(10)?
True
Suppose 579 = 4*j - 1117. Suppose -4*k - 220 - 331 = -5*c, k = -4*c + j. Does 6 divide c?
False
Let p = -12 + 7. Let a be (-6)/(-6)*(-2 - p). Let t(r) = 4*r + 11. Is t(a) a multiple of 2?
False
Suppose 0 = -73*m + 69*m - 20, 0 = -5*r + 5*m + 5380. Is r a multiple of 2?
False
Let p be 3/6*2 + 37. Suppose 0*f + 24 = 24*f. Does 10 divide (p - 4 - 4)*f?
True
Suppose -69*q = -346*q + 668678. Is q a multiple of 98?
False
Suppose 77*h - 21724 = 75*h - 2*t, 10867 = h + 2*t. Does 33 divide h?
True
Is (-51)/51*(-4198)/2 - 9 a multiple of 11?
True
Suppose -551*f - 156 = -564*f. Let x be 1032 - (-3)/(-1)*1. Suppose -x = -15*p + f*p. Does 49 divide p?
True
Let x(u) = 3*u**3 - 12*u**2 - 30*u - 27. Let r be x(-5). Let h = -112 - r. Is 44 a factor of h?
True
Let u(f) = 113*f + 37. Let s(b) = -2*b - 1. Let j(r) = -3*s(r) - u(r). Does 57 divide j(-2)?
False
Let r(w) = -22*w + 80. Does 6 divide r(-6)?
False
Suppose 87 - 29 = 2*s. Let i(g) = 9*g - 4*g - s*g. Does 20 divide i(-4)?
False
Is (-35350)/(-21)*(30/(-12) + 4) a multiple of 48?
False
Let p(f) = 1103*f**2 + 8*f + 41. Is 95 a factor of p(-3)?
False
Does 5 divide (-10*(-573)/(-12))/(89/(-178))?
True
Let l be 29304/16 + 1*3/(-2). Suppose -1822 = -5*y + i, 8*y - 5*i - l = 3*y. Is 7 a factor of y?
True
Suppose 23*c - 121 = 2087. Is c*(-3)/9*27/(-6) a multiple of 16?
True
Let w = 4098 + -3348. Does 3 divide w?
True
Suppose 44*t + 7270 = 24*t + 30*t. Is 113 a factor of t?
False
Let y(u) = 78*u + 90. Suppose 14*n - 16 = 11*n + 5*r, -n - 3*r + 10 = 0. Is y(n) a multiple of 53?
True
Suppose 18*n - 22*n = 4814 - 28838. Does 3 divide n?
True
Let c be (((-147)/(-6))/(-7))/(8/112). Let a = c - -337. Is a a multiple of 32?
True
Let u = 184 - 88. Let q = 117 - u. Suppose -16*k + q*k = 250. Does 5 divide k?
True
Let u(s) = -s**3 - s - 156. Let r be u(0). Let p be ((-1)/2)/((-2)/(-960)). Let f = r - p. Does 12 divide f?
True
Let d(t) = t**2 - 9*t + 1. Let n be d(10). Let a(s) = n*s**2 - 2*s**3 - 4*s - 11*s**2 - 5*s**2 - s**2 - 1. Does 47 divide a(-4)?
True
Suppose -5*z = -2*x - 2*x + 19, -10 = -x - 4*z. Let f(k) = -k**3 + k**2 + k + 4. Let p be f(0). Is 18 a factor of 4/x*(p - -245)?
False
Suppose 9*j + 5 = 4*j, -f + j = 134. Let d = -68 - f. Suppose 0 = 7*k + d - 179. Does 5 divide k?
False
Suppose 212177 - 41333 = 46*l. Does 26 divide l?
False
Suppose -3*j + 4 = -11. Suppose -4*c - j*u = -1255, -4*c + 3*c + 295 = 5*u. Is c a multiple of 10?
True
Suppose 239 = -11*w - 223. Let u be (w/(-4))/(((-45)/20)/(-3)). Suppose u*s = 1271 - 263. Is s a multiple of 8?
True
Suppose 3*w - 5 = b + 7, -5*w + 16 = -3*b. Suppose -i + c + 0 = -4, -i - b*c - 4 = 0. Suppose -4*n + 239 = -2*n - 3*k, 4*n - i*k = 498. Does 28 divide n?
False
Let z be (-5 + -5 + -2)*1/(-4). Suppose -z*b + 22 = -3*n - 2, 3*n = -4*b + 18. Does 26 divide 3/b + 103/2?
True
Let d(v) = 2*v**3 + 10*v**2 - 9*v + 53. Let o(p) = 5*p**3 + 21*p**2 - 19*p + 107. Let b(r) = -9*d(r) + 4*o(r). Is 44 a factor of b(9)?
True
Let o be 0 + (-6)/(-14) - 2505/(-35). Does 16 divide (o/15)/((-18)/(-1860))?
True
Let x = -5380 + 20418. Is x a multiple of 108?
False
Let w be ((-7)/2 - 6/(-12)) + 0. Let x be 1/(w + (-265)/(-90)). Does 11 divide (-2)/9 - 1822/x?
False
Let o = 336 - 234. Let x = o - 97. Suppose 0 = 5*v - 0*v - 3*a - 551, 2*v - x*a - 209 = 0. Is 13 a factor of v?
False
Is 45 a factor of (-21)/(-28) + -1 + 183690/40?
False
Suppose -47 + 49 = 2*m. Let z(n) = -4*n + 8. Let s be z(m). Suppose 2*o - 149 = -3*p, -4*o + 280 + 28 = -s*p. Is 38 a factor of o?
True
Let g(y) = -12*y + 251. Let q(v) = 2*v**3 + 3*v**2 - 6*v - 18. Let k be q(-3). Does 23 divide g(k)?
True
Suppose 3*l = -w - 8, 3*w + 3*l + 2 + 4 = 0. Let q = 4 - w. Suppose -282 = -2*z - q*p, -z + 0*z + 146 = -p. Is z a multiple of 16?
True
Does 56 divide (-3923478)/(-405) + 6/15?
True
Is 16 a factor of 2 - ((-92535)/10 + -9) - (-4)/(-8)?
True
Let s = 516 - 513