Is g a multiple of 127?
False
Let v = -16 - -13. Let n be 0 + 0/v - (1 - 54). Let h = 89 - n. Is h a multiple of 6?
True
Let h = 691 + 2629. Is 8 a factor of h?
True
Let k = 4458 - 2316. Suppose -1 - 11 = -f + 5*r, 5*f - 60 = -4*r. Suppose k = f*a + 2*a. Is 13 a factor of a?
False
Let k(b) = 38*b + 175. Let n be k(-8). Let p = 88 - 151. Let t = p - n. Is 12 a factor of t?
False
Suppose 3*i + 2832 = 3*f, 2*f = -3*i + 3417 - 1499. Is 9 a factor of f?
False
Suppose -4*p + 192 = -a - 543, -4*a - 3*p - 2997 = 0. Let z = a - -1135. Is z a multiple of 41?
False
Let c(j) = -11*j**2 - 46*j + 45. Let v(o) = -5*o**2 - 23*o + 23. Let g(n) = 6*c(n) - 13*v(n). Let y be (-6)/(-15)*44 - (-6)/(-10). Does 11 divide g(y)?
False
Suppose -4245 = -5*m - 3*w, w + 1264 = -4*m + 4653. Is 141 a factor of m?
True
Is (-3)/(-20)*10 - 7307/(-2) a multiple of 17?
True
Let i = -312 - -326. Suppose i*p - 11*p - 930 = 0. Does 31 divide p?
True
Let n be 1*120/70*21. Suppose 37*d - n*d - 101 = 0. Does 101 divide d?
True
Let q(h) = 5*h**2 + 4*h + 6. Let l be q(-2). Suppose c + 14*s = l*s + 359, 0 = -3*c - 4*s + 1157. Is c a multiple of 30?
False
Let k be (108/(-45))/((-6)/225). Let m = -78 + k. Is 6 a factor of 15/5*100/m?
False
Let g = -548 - -550. Is 47 a factor of g/5 + ((-12447)/(-45) - -5)?
True
Suppose g = -o + 11, o = -3*g + 19 + 8. Let n be 12/30 - (2 - g/5). Suppose n = -2*r - 2*i + 92, 2*r - i - 260 = -3*r. Is 17 a factor of r?
True
Suppose 0 = 5*v + 12*v - 561. Suppose -v*d = -28*d - 375. Is 18 a factor of d?
False
Suppose 0 = j - 4*t - 25, j - 13 = t. Suppose -1603 - 674 = -j*y. Is 31 a factor of y?
False
Suppose 16*s - 13*s - 3099 = 0. Suppose 5*o - s = -3*f, -5*f - 8*o + 4*o + 1700 = 0. Is f a multiple of 56?
True
Let x(d) = 10*d**2 - 21*d + 28. Let r be x(8). Let a = -288 + r. Is a a multiple of 21?
False
Let s(q) = q**2. Let u(v) = 84*v**2 - v. Let b(g) = 2*s(g) + u(g). Suppose 6 - 5 = -o. Is 8 a factor of b(o)?
False
Suppose 2*i = -2*q + 4, -5*i + 2*q - 2 = 2. Let h be (-378)/(-30) - -6 - 2/(-5). Suppose j - 15 = -d, i*j + h = d + 3*j. Is d a multiple of 13?
True
Let a = 91 - 86. Suppose -a*w - 4*c = -4, -w + 0*c = -4*c + 4. Let x(i) = i + 114. Is x(w) a multiple of 38?
True
Let h(c) = 4*c**2 - 70*c + 13. Let q be h(22). Let b = q + -145. Is b a multiple of 24?
True
Suppose 447*d = 185*d + 1900024. Does 23 divide d?
False
Let y be (17 - 1)*16/(160/1470). Does 12 divide (5 - 4)/(4/y)?
True
Let i(z) = 269*z + 6093. Is 2 a factor of i(-22)?
False
Let n be ((-1370)/(-50))/((-1)/(-5)). Suppose b + n = 141. Suppose -v - 1074 = -5*m - 3*v, 2*m + b*v = 436. Does 33 divide m?
False
Let l(b) = -40*b - 197. Let q be l(-11). Suppose 236*m + 2240 = q*m. Does 16 divide m?
True
Let r = -4712 - -5390. Is 13 a factor of r?
False
Suppose -43127 = -2*b + 3*j - 10943, -2*b + 32172 = 3*j. Is 64 a factor of b?
False
Suppose -36*h + 10 = -31*h. Suppose -6*k + 10*k = -n + 62, 4*n = -h*k + 206. Is n a multiple of 3?
False
Let d(i) = 5*i**3 + 255*i**2 - 15*i + 104. Is 117 a factor of d(-17)?
False
Is (-15526)/(-8) + -2 - -5*(-2)/(-40) even?
False
Suppose 5*y + 4*m = -2, 8*y - 7*y - 17 = 5*m. Let t(j) = 5 + y*j - 4*j - j + 2*j**3 + j - 2*j**2. Is 2 a factor of t(3)?
False
Is ((-317423)/(-185) + -13)/((-4)/(-50)) a multiple of 31?
False
Let g(a) be the second derivative of -3*a**3/2 + 3*a**2/2 + 25*a - 2. Let y(d) = -d + 1. Let k be y(3). Does 4 divide g(k)?
False
Let a(f) be the first derivative of -2*f**4 - 2 + 3*f + 16 - f**2 + 0*f + 3*f**4. Is 31 a factor of a(2)?
True
Let x(z) = -9*z**3 - 2*z**2 + 79*z - 104. Does 7 divide x(-12)?
False
Is (-1)/(((-23)/14766)/(5/15)) a multiple of 5?
False
Let f(i) = -9*i**2 + 123*i + 12908. Does 19 divide f(0)?
False
Suppose -5*w + 30963 = m, 2*m = -4*w + 3509 + 21265. Is 9 a factor of w?
True
Is 139 a factor of 97858/11 + 1/(-11)*(-62 - -64)?
True
Let x(c) = 2*c**3 - 65*c**2 + c + 335. Does 139 divide x(33)?
False
Suppose 3*h = j + 649 - 9, -3*j = h + 1930. Let g = j + 891. Does 22 divide g?
False
Is 41 a factor of (-20)/(-50) + (-11)/(2/(12678/(-15)))?
False
Let a(u) be the third derivative of u**4/12 + 8*u**3/3 - 71*u**2. Suppose -b - 2 - 1 = 0. Is 8 a factor of a(b)?
False
Let a(g) = g**3 - 8*g**2 - g + 15. Let u be a(8). Let y be (-2)/u + 88/14. Does 22 divide (-9)/6 + -187*(-3)/y?
False
Is 9 a factor of (-56 - -2)*(-13)/((-468)/(-13662))?
True
Let c(a) = -8*a - 27. Let h be c(4). Let d = 84 + h. Suppose 12*l = 11*l + d. Is 4 a factor of l?
False
Suppose -8*p + 8*p = 2*p - 24024. Does 12 divide p?
True
Suppose -1814*y + 1811*y = -49500. Is y a multiple of 50?
True
Let v(r) be the first derivative of r**4/2 - 8*r**3/3 - r**2 + 5. Let f = 34 + -29. Is v(f) a multiple of 8?
True
Let u = 9 - 33. Is 11 a factor of ((-29)/4)/((-69)/u + -3)?
False
Let q = -154 - -136. Let t be (35/(-30))/7 - 3189/q. Suppose -4*r + r + t = 0. Is 5 a factor of r?
False
Suppose 2*c + 3271 = 1027. Let q = -529 - c. Is 7 a factor of q?
False
Suppose -151*y - 917554 + 3602334 = 0. Does 123 divide y?
False
Let o(d) = 28*d + 1. Let w be o(5). Let h be (1/(-8) - (-2805)/(-408)) + 6 + 1. Suppose -3*q + 402 + w = h. Is q a multiple of 33?
False
Let t(r) = r**2 + 3*r + 2396. Let w be t(0). Suppose 3*c - 2162 = 2*f, -4*f - w = 4*c + 1948. Is f*2/(-10) + 1/5 a multiple of 28?
False
Suppose 2*x - 18*o - 29272 = 0, -x + 3*o = 1900 - 16530. Is 9 a factor of x?
False
Suppose 36*h = 41*h - 7965. Is 177 a factor of h?
True
Let n(q) be the third derivative of 19*q**4/24 - 5*q**3/6 + 3*q**2 + 17*q. Let a = -4 + 6. Is 3 a factor of n(a)?
True
Let h(w) = 69*w**3 + 9*w**2 - w - 9. Let g(c) = 34*c**3 + 5*c**2 - c - 5. Let m(t) = 5*g(t) - 3*h(t). Is 25 a factor of m(-2)?
False
Suppose 6*s + 3452 - 3470 = 0. Suppose d - 542 = s*y, 3*d - 1646 = y - 2*y. Is 11 a factor of d?
False
Suppose 0 = -2*n + 19*g - 18*g + 2286, 0 = -2*n - 4*g + 2296. Suppose 8*s = 824 + n. Is s a multiple of 82?
True
Is ((-3)/(-3))/((-10)/(-1520)) a multiple of 146?
False
Let z = 314 - 304. Does 4 divide ((-2)/(-4))/(z/720)?
True
Let u(r) = 13*r**2 + 20*r - 82. Let a be u(6). Suppose 4*b - 655 = -p, -p + b + 144 + a = 0. Is p a multiple of 31?
True
Let g(i) = i**2 + 11*i - 4. Let o be g(-11). Let d(w) = 8*w - 16*w - 2*w - 11 - 11*w + 17. Is d(o) a multiple of 10?
True
Suppose 2*d = 5*s + 19, -3*s - 13 = -4*d + 4. Let f(c) = 8*c**2 + 0*c**3 - c**3 - 6*c - 14*c**d - 6. Is 17 a factor of f(-7)?
True
Suppose 0 = -9*f + 315675 - 7065. Is 13 a factor of f?
False
Suppose -259 = -2*o + 371. Suppose -4*i = a - o - 959, 0 = 4*i. Is 14 a factor of a?
True
Let j = 28 + 66. Let z be (70/28)/(1/86). Let i = z - j. Is i a multiple of 27?
False
Let y be (3 - 1)/(16/24). Suppose 0*a - 3*g + 120 = -3*a, 5*g + 104 = -y*a. Let v = 202 - a. Does 13 divide v?
False
Suppose 0 = 11*b - 7*b + 28. Let n be (-149)/b - -7 - 4/14. Does 5 divide n/6*(-270)/(-63)?
True
Let h(n) = -5*n + 55. Let d be h(10). Suppose -4*w = -d*o + 1800, 3*o - 5*o = 4*w - 720. Is o a multiple of 43?
False
Suppose 140*a - 144*a - 2*l = -10728, -l = 4*a - 10732. Is 45 a factor of a?
False
Let d(h) = -h**3 - 17*h**2 - 17*h - 15. Let s be d(-16). Suppose 2*o + 79 - s = 0. Let c = -13 - o. Does 8 divide c?
False
Suppose 0 = -0*q - 22*q + 66. Suppose -o - 4*i = -0*i - 373, q*i = -4*o + 1453. Is o a multiple of 27?
False
Let s be (-32)/24 + 14/6. Is 1/s - (27 + -301) a multiple of 67?
False
Let k(t) = -t**3 + 6*t**2 - 4. Let a be k(5). Let l(h) = a*h + 2 - 37*h - 58*h. Is l(-1) a multiple of 5?
False
Let t be (-16 - -14)*10/(-4). Let g = 10 - t. Is -2*g/5 - -127 a multiple of 19?
False
Let k = 2427 - 987. Is 67 a factor of k?
False
Suppose -493 = -4*t + 8*t + v, 3*t = 5*v - 364. Let j = t - -574. Does 16 divide j?
False
Let l(j) = 40*j + 2476. Is 18 a factor of l(-34)?
True
Suppose 12*l = 2*l + 88*l - 1034358. Does 32 divide l?
False
Let s(j) = 51*j**2 + 167*j + 150. Does 25 divide s(-17)?
True
Let a = 57 + -41. Suppose a*l - 9322 = 7798. Is 7 a factor of l?
False
Let k(g) = 4*g - 86. Let d be k(21). Is d - 4942/(-10) - (-2)/(-10) a multiple of 12?
True
Suppose -263*j + 238*j = -244925. Is 176 a factor of j?
False
Let d be 4 - (-411)/(8 + -5). Suppose -11 + d = 5*j. Is j a multiple of 2?
True
Let y = -6 + 20. Let p(f) = -f**2 + 16*f - 26. Let t be p(y). Suppose -m = -t*m + 5*o 