 18 divide ((-66)/4 + -3)/(204/(-9928))?
False
Let u = 12067 - 7321. Is 14 a factor of u?
True
Let f(p) = 2*p**3 - 15*p**2 + 4*p + 26. Let m be f(7). Suppose -9306 = -4*x - m*x. Is 88 a factor of x?
False
Let c(n) = -14*n**3 - 8*n**2 - 3*n + 10. Let w = 377 + -380. Is 25 a factor of c(w)?
True
Let i = 1554 - -2779. Is 12 a factor of i?
False
Suppose -229*a + 221*a + 7536 = 0. Is 4 a factor of a?
False
Suppose 2*s + 2 = 0, 0 = 3*n - 3*s + 9 + 3. Let i(l) = l**2 - 28*l - 1. Is i(n) a multiple of 4?
True
Suppose -25*n + 21920 + 110165 = -16115. Is n a multiple of 24?
True
Is (4 - 846/(-45))/(3/1070) a multiple of 19?
True
Let b = 32662 + -20467. Suppose 0 = 21*t - b - 15147. Does 14 divide t?
True
Suppose -13 = 4*g + 19. Let q be 38/(-14) + g/28. Is (q/(-6) + 1)*20 a multiple of 24?
False
Let c = 15860 - -60044. Is c a multiple of 16?
True
Let i = -115 - -100. Let n(f) = f**3 + 17*f**2 + 30*f - 2. Let x be n(i). Is 7 a factor of (x/3)/((-4)/(-144)*-2)?
False
Suppose 3*p - 4*q + 5*q - 1257 = 0, 5*q = 3*p - 1239. Let u = p - 338. Is 3 a factor of u?
False
Let w = -5619 + 32990. Is w a multiple of 172?
False
Let j be -3 + 8 - (-5448)/(-12). Let r = -393 - j. Does 3 divide r?
False
Suppose -48 = 9*w - 12*w. Let m be w/(-28)*(3 - 10). Suppose 2*y - 70 = m*q, 0 + 61 = 2*y - q. Is 6 a factor of y?
False
Suppose -35*z = -39*z - 352. Let u = z - -89. Is 33 a factor of 310/u*((-8)/10)/(-2)?
False
Is 1/(-5 + 2608/520) a multiple of 12?
False
Suppose 16*g - 21*g - 30 = -3*o, -6 = 2*g. Suppose o*n = 2*q + 1812, 5*n - n - 2*q - 1448 = 0. Is 9 a factor of n?
False
Let s = 1476 + -1498. Let x be (-3)/3 + 32 + -1. Let v = x - s. Does 9 divide v?
False
Does 31 divide 2/(-6 - (-91585)/15262)?
False
Let d(z) = -z**2 - 5*z + 40. Let a be d(-10). Does 18 divide 2/a + -76*57/(-60)?
True
Suppose -5*w + 2463 = -2*j, -181 = -w + 5*j + 307. Is w a multiple of 74?
False
Let b(o) = o**3 - 12*o**2 + 25*o - 5. Let x be b(10). Does 58 divide (-1 - 5/(-9)) + 49295/x?
False
Let n(k) = 2*k + 34. Let f be n(-16). Let p(x) = 1 + 11*x**3 + x**f + x**3 + 4 + 1 - 3*x. Is 9 a factor of p(2)?
False
Let m = -52 - -48. Let w be 4 - (m + 3)*(2 - 4). Suppose 4*k + 4*r = 8*r + 1604, -4*k - w*r + 1592 = 0. Does 57 divide k?
True
Let w(r) = -16*r + 17. Let x(d) = 209*d - 220. Let a(q) = 66*w(q) + 5*x(q). Let k(g) = 134*g**2 - 674*g + 6. Let f be k(5). Is a(f) a multiple of 44?
True
Does 16 divide 2*(25*(-2)/(-8))/(5/870)?
False
Let h(s) = -4*s + 229. Let v be h(46). Let w = v - -513. Is 31 a factor of w?
True
Let i(h) = -713*h**3 + 13*h**2 + 20*h - 22. Is 5 a factor of i(-2)?
False
Let n = -1268 - -2608. Does 10 divide n?
True
Let a = 449 - 693. Let x(v) = v**3 + v**2 - 7*v - 1. Let k be x(7). Let z = a + k. Is 14 a factor of z?
True
Suppose 5*s = -118 - 487. Let c = s + 248. Suppose -7*r + 258 = -c. Does 11 divide r?
True
Suppose -185*w + 253*w = 2856. Is w a multiple of 2?
True
Suppose 0 = 9*y - 4 + 4. Suppose -t + v = 65, -3*t - 171 = -y*v + 3*v. Let c = 82 + t. Is c a multiple of 11?
False
Let h(w) = 173*w**2 + 512*w + 4056. Is h(-8) a multiple of 7?
True
Suppose -1 - 3 = 4*w. Let i be w*(-2)/((-2)/(-3)). Suppose 2*g + 55 = 2*y - i*g, 4*y = g + 119. Does 16 divide y?
False
Let a(l) = l**3 + 9*l**2 + 6*l - 12. Let o be 208/(-24) + (-4)/(-6). Let n be a(o). Suppose 0 = -5*x - z + 342, n*x = -3*z + 367 - 89. Is x a multiple of 34?
True
Let r(l) = -2238*l + 1469. Is 13 a factor of r(-5)?
False
Let y(t) = t**3 + 61*t**2 - 88*t - 309. Is 31 a factor of y(-62)?
False
Let y(v) = -4*v + 88. Let w be y(10). Suppose 3*j + 2*j - 28 = -x, 16 = 2*x + 2*j. Suppose -w = -x*p - 0*p. Is p a multiple of 10?
False
Suppose -5*c = 16 - 31. Suppose q = 2*v - 391, -c*q = q - 4. Is v a multiple of 14?
True
Suppose 0 = 31*w - 30*w - 418. Is w a multiple of 25?
False
Suppose 4*v - 29 = -h, -v + 6 = -5*h + 4. Suppose -v*i + 12*i = 15. Suppose -3*z + w + 90 - 5 = 0, z - i*w - 31 = 0. Does 23 divide z?
False
Does 11 divide 1979 + -162 - (16 - 0)?
False
Let m = 243 - 368. Let u be (-25)/m + (-38)/(-10). Suppose -4*s - 26 = -l - 4, -4*l - u*s = -88. Is l a multiple of 3?
False
Let i = 9592 - 3864. Is i a multiple of 24?
False
Does 22 divide (-45144)/(-57)*((-25)/(-2) + -1)?
True
Let d = 784 + -260. Does 13 divide (d/(-10) - 0)/((-18)/45)?
False
Let x = -215 - -4352. Is 16 a factor of x?
False
Let k be ((-350)/(-125))/(2/30). Suppose 39*d = k*d - 69. Suppose -d*n - 200 = -27*n. Is 25 a factor of n?
True
Let f(g) = -16 - 5*g**2 - 4*g**2 - 21*g + 5*g + 8*g**2. Suppose 0 = 22*t - 5*t + 136. Is f(t) a multiple of 12?
True
Let k(z) = 15*z**2 + 11*z + 13. Let s be -3 - -1 - ((-16)/(-2) + -4). Is 52 a factor of k(s)?
False
Suppose 34*g - 8*g - 260 = 0. Is 12 a factor of (12/g)/(16/4160)?
True
Let s(r) = -r**3 + r**2 - 13*r - 8. Let g(k) = k**3 - k**2 + 12*k + 8. Let n(f) = -3*g(f) - 2*s(f). Let w be n(8). Does 29 divide (w/10)/(16/(-40))?
False
Is 4 a factor of 64/(1/((-517)/(-22)))?
True
Let a(q) = 313*q - 74. Let n be a(8). Suppose -6*y = -12*y + n. Does 45 divide y?
True
Is 30 a factor of (26 + -16)/((-1)/(-1)) - -4570?
False
Suppose 16 - 10 = -2*i, -96 = -4*u + 4*i. Is (9/(-3))/(u/(-1708)) a multiple of 4?
True
Let a = 402 - -5409. Is a a multiple of 39?
True
Let u(g) = -g**3 + 11*g**2 - 10*g + 12. Let h be u(10). Suppose -6*k + h = -12. Suppose 0*l = k*l - 496. Is 40 a factor of l?
False
Let n(h) = 75*h**3 - 9*h**2 + 22*h - 10. Let j be n(3). Suppose 3*d = 8*p - 3*p - 51, p = -4*d + 1. Suppose j = p*t + t. Does 15 divide t?
False
Let k(y) = 11*y**2 + 14*y + 38. Let w be k(-7). Is w - -3*56/24 a multiple of 18?
True
Let m(o) = 4*o**2 - 22*o + 17. Let i be m(9). Suppose -4*j = 4*c - 0*c - 184, 3*c - i = 2*j. Let p = -22 + c. Is p a multiple of 3?
False
Let k = 464 - -13072. Suppose 0 = 33*c - 15*c - k. Is c a multiple of 47?
True
Suppose -284*m + 8843206 = -3921174. Does 32 divide m?
False
Let r(l) = -3*l**3 + 24*l**2 - 7*l + 13. Let m = 40 + -57. Let v(d) = -d**3 + 8*d**2 - 2*d + 4. Let o(g) = m*v(g) + 6*r(g). Is o(5) a multiple of 9?
True
Suppose 0 = 3*i - 2*a + 595, 5*a - 486 = 2*i - 71. Let k = 35 - i. Is 25 a factor of k?
False
Let m(x) = -9*x**2 - 64*x - 2. Let a be m(-7). Suppose -5*y + 1611 = 4*l, -4*y - 339 = -5*y - a*l. Is 16 a factor of y?
False
Suppose -38*p - 8 = -36*p, 4*p = v - 207. Suppose -3*x - v + 5 = -5*l, 2*l = -x + 70. Is l even?
True
Let w = -15752 + 33832. Is 80 a factor of w?
True
Suppose -2*n + 2*t + 680 = 0, -5*t = 3*n - 592 - 388. Let l be -216 + 5 - (-1 - -1). Let p = n + l. Does 31 divide p?
True
Let x(j) = 31*j**2 - 14*j - 298. Does 109 divide x(-13)?
True
Let c = 296 + -270. Suppose -326 - c = -8*v. Does 11 divide v?
True
Let w = -51 - -27. Let v be (w/(-18))/(2/123). Suppose -3*q + v + 72 = 2*g, -q = 5*g - 359. Does 26 divide g?
False
Is (-92414)/(-84) - (-10)/12 a multiple of 38?
False
Let t = 3 + 102. Let v = -71 + t. Does 3 divide v?
False
Does 15 divide 1035/460*3/(18/17728)?
False
Let m be 7/4 - 3/(-12). Let v = 167 - 165. Suppose -u = -3*a - 28, v = m*a - 6. Is 20 a factor of u?
True
Suppose -h = -6*h - 20, 3*z = -2*h - 824. Is 24 a factor of (z/51)/(6/(-153))?
False
Suppose 361*p - 441*p + 292800 = 0. Is 198 a factor of p?
False
Suppose 4*p = 5*b + 48, 9 = p - 3*b - 10. Let o be (-3 + -1 + p)/(3/116). Let s = o - -10. Does 18 divide s?
True
Suppose 8*c - 6 - 26 = 0. Suppose 7*j - 2*w = 5*j + 10, 20 = c*j + w. Suppose -j*p = 4*g - 112, 10 = g - 5*p - 18. Does 5 divide g?
False
Suppose 0*q + q = 0. Let f(k) = k**2 + 7*k + 13. Let w be f(-5). Suppose -3*u - 5*g + 25 = q, 3*u - w*g - 12 = -3. Does 2 divide u?
False
Let q = -34 + 42. Let c be ((-5)/(-10)*q)/((-2)/3). Does 4 divide 22*1 + c/3?
True
Suppose -10*h + 15*h - 23 = 4*a, -5*h = -2*a - 19. Suppose 5*o + 66 = 2*b, 0 = b + h*o - 50 + 17. Is b a multiple of 11?
True
Suppose 4*n - 2*n = -3*c - 1, n + 17 = 4*c. Suppose -16 = 5*w + 9, c*w + 259 = 4*j. Let k = j + -37. Is 6 a factor of k?
True
Let v(j) = -6 + 96*j - 112*j + 1 + 4*j**2. Suppose 3*h - 4 = 2*h + f, -h = 5*f - 16. Is 7 a factor of v(h)?
False
Let o be 6*(3/6 + 5). Suppose o*n - 25*n = 48. Is (((-135)/n)/9)/((-2)/256) a multiple of 47?
False
Suppose 32*w = -t + 34*w + 10106, -t + 10155 = 5*w. Does 23 divide t?
True
Let r(o) = o**3 + 12*o**2 - 8*o + 10. Let l(f) = -f**2 - f. 