 -203, 2*k + 35 = -4*t + s. Is 9 a factor of t?
True
Let k(h) = h**3 + 10*h**2 + 12*h - 26. Let n be k(-11). Let z = 133 - n. Is z a multiple of 35?
False
Let o(a) = 2*a + 5. Suppose -12 = 5*z + 13. Let d be o(z). Is (d/(-10) - 1)*-234 a multiple of 39?
True
Let v be (-1664)/(-7) + (-38)/14 + 3. Suppose 0 = 77*q - 79*q + v. Is q a multiple of 9?
False
Let s be (792/(-54))/(2/(-165)). Let t be (8/(-2))/(18/81). Is t/(-24) - s/(-8) a multiple of 19?
True
Suppose 0 = -436*u - 1980513 + 6576825. Does 7 divide u?
True
Is 99 a factor of 1*(1 - 7) - -638?
False
Suppose 61*a + 4288 = 62*a. Is 32 a factor of a?
True
Let h(i) = 220*i + 3618. Is 34 a factor of h(87)?
False
Does 10 divide (57 - -1)/(53/3074)?
False
Let t(z) = 8*z + 50. Let m be t(-6). Suppose 0 = -m*o + 12*o - 1050. Is 3 a factor of o?
True
Does 3 divide (107 - 120) + 242 + -1?
True
Let r = 6203 + -3650. Is r a multiple of 6?
False
Let j(f) = -122*f**3 + 2*f**2 - 2*f - 3. Let g be j(-1). Suppose g*p = 113*p + 170. Is p a multiple of 3?
False
Let y = 20459 - 3601. Is 3 a factor of y?
False
Suppose 80*g + 80*g = 4 - 4. Let i = -3 + 10. Suppose i*h - 1200 + 24 = g. Is h a multiple of 14?
True
Suppose -67 = 3*h - 322. Let a = 103 - h. Is 6 a factor of (2 + 4)*(-12 + a)?
True
Suppose 5*t = -3*q + 61102, -11*q + 4*q = 42. Is t a multiple of 64?
True
Suppose 31*w - 11293 = -2954. Let l = -171 + w. Is l a multiple of 14?
True
Let y(i) = 2*i**3 - 80*i**2 - 60*i + 169. Is 23 a factor of y(43)?
False
Let x(b) be the second derivative of -b**5/20 + b**4 - 7*b**3/2 - 10*b**2 + 186*b. Is 5 a factor of x(7)?
False
Let g(z) = -280*z + 5287. Is g(-47) a multiple of 13?
True
Let k(y) = 3252*y**2 - 10*y + 13. Does 55 divide k(1)?
False
Does 79 divide ((-490)/(-21))/10 - 0 - 46863/(-27)?
True
Let b be 243/(-6)*32/12. Suppose -r + 40 - 263 = 0. Let j = b - r. Does 23 divide j?
True
Let v = 165 - 52. Is 37 a factor of 4/(-1)*(-2)/(-4) + v?
True
Let f(c) = c**3 + 17*c**2 - 121*c - 24. Let u be f(-22). Is 5 a factor of 1 + 7 + (u - -41)?
False
Does 12 divide -25739*((-187)/(-119))/(-11)?
False
Suppose 0 = 3*j - 5*b - 1019, 4*j + b + 343 = 1717. Let x = j + -298. Is x a multiple of 15?
True
Let t(m) = -3*m - 35. Let b be t(-16). Let x be 1*2 - (-14 + b). Suppose -u + 28 = -4*h, -u - x*h = -2*h - 38. Is u a multiple of 18?
True
Let b(f) = 14*f - 31. Let u be b(4). Is 57 a factor of -9*((-41)/3 - u/(-25))?
True
Let r be 0 - -456 - -5*(7 - 8). Suppose 0 = 4*n - 2*l - 356, 24*n - r = 19*n + 4*l. Is n a multiple of 29?
True
Let n be -988*((-18)/(-12))/(-3). Let f = n + -274. Is f a multiple of 10?
True
Let d be (275/10 + 2)*(-3 + 1). Let q = d - -59. Suppose m - 20 = -w, q = -3*m - 0*m - 4*w + 59. Is m a multiple of 2?
False
Let c = -31865 - -46649. Does 32 divide c?
True
Suppose -11*x = -15*x + 20. Suppose -2*l + 2 = 0, -x*m - l - 3*l + 594 = 0. Let a = -77 + m. Is a a multiple of 41?
True
Let f be 9*(4 + -1 + 40/(-15)). Suppose 3*t + 213 = 3*i, -5*i + 353 = -f*t - 0*t. Does 10 divide i?
True
Let l = -4 + 6. Suppose l*v = -9 + 17. Suppose h + 3*d - 5*d = 82, v*h + 2*d - 298 = 0. Is h a multiple of 11?
False
Suppose 203*j + 874856 = 642*j - 2443984. Is 108 a factor of j?
True
Let v = -23926 - -33763. Does 3 divide v?
True
Let s(r) = -r**2 - 8*r + 17. Let i be s(15). Let a = -325 + 105. Let t = a - i. Does 15 divide t?
False
Suppose 0 = 5*h - 19*h + 7952. Let t = 1642 - h. Does 38 divide t?
False
Let x(n) = 529*n**2 + 5*n + 1. Let l be x(-1). Let c = l - 168. Does 61 divide c?
False
Let d = 241 - 236. Suppose 4*n + 80 = 3*k, -d*k = 2*n + 16 - 106. Is k a multiple of 2?
True
Let u be 3/6 - ((-355)/(-10) - -4). Let x = u - -71. Is 8 a factor of (-8)/(x/54)*-2?
False
Is (-19 - -18) + (0 - -1)*12607 a multiple of 36?
False
Let i be (2/(-4) - -1)/(1/10). Suppose -4*z = i*v - 101 - 59, z + 41 = v. Suppose 0 = -p + v - 11. Is p a multiple of 2?
False
Let o = 43 - -59. Let k(p) = 35*p**2 - 28*p - 4. Let t be k(1). Suppose 3 = t*a - o. Is a a multiple of 7?
True
Let w be 400/68 - (-8)/68. Suppose w = v + 1. Suppose -2*n - 3 = -5, 5*n - 1195 = -v*s. Is s a multiple of 17?
True
Let f be (-4)/6*((-954)/12 - 3). Does 14 divide (816 + -1)*44/f?
False
Let d(a) = -236*a + 3. Let i = 936 - 939. Is 73 a factor of d(i)?
False
Let r be (4 - -1) + -3 + 0. Suppose -r*s + 86 = 82. Suppose 197 = 2*t - 5*j + 9, 5*t + s*j - 499 = 0. Does 40 divide t?
False
Let k(f) = 3*f**2 + 64*f + 6018. Is k(126) a multiple of 165?
True
Let q be (80/(-3))/2*(-183)/122. Let d(b) = b**2 + 8*b + 10. Does 18 divide d(q)?
False
Suppose g - 4644 - 698 = 2*w, 5*g = -3*w + 26736. Is 22 a factor of g?
True
Let n = -3005 - -19098. Does 28 divide n?
False
Let x(z) be the first derivative of -z**4/4 + 19*z**3/3 + 11*z**2 - 2*z + 41. Let w = 13 - -7. Is x(w) a multiple of 30?
False
Does 21 divide (-103 + 100)/((-3)/28654)?
False
Let v be 0/(((-36)/(-30))/((-2)/(-5))). Suppose v = z - 0*z + 62. Let y = -48 - z. Does 6 divide y?
False
Suppose -4*p + 4 = -5*p, 5*f - 133 = -3*p. Suppose -5*l = -2*y + 96, y + y + 104 = -5*l. Let a = l + f. Does 3 divide a?
True
Let p = -188 + 193. Suppose l - 560 = -l - y, -1387 = -p*l + 4*y. Is 31 a factor of l?
True
Let r(x) = 1188*x + 550. Does 22 divide r(1)?
True
Let q be -1728 - ((-6)/(-1) - (-3 - -4)). Let v = -1088 - q. Does 17 divide v?
False
Let z be ((132/(-10))/1)/(6/(-15)). Suppose -4*v + z = x - 2*v, 3*x = 5*v + 55. Is 9 a factor of x?
False
Let m = 21230 - 19115. Does 15 divide m?
True
Let m = 10238 - 7495. Does 13 divide m?
True
Let h(q) = -q**2 + 4*q + 15. Let z(s) = 7*s. Let d be z(1). Let f be h(d). Does 25 divide (99 + 1)/((-6)/f)?
True
Let v be (4770/14)/3 - 123/(-287). Let r = 45 - 21. Suppose a = -5*z - r + v, -2*z - 2*a + 36 = 0. Does 18 divide z?
True
Let i be (-2)/((-377)/(-508) + 12/(-16)). Let f = -197 + i. Is f a multiple of 3?
True
Suppose -8*o + 20*o = -3648. Let n = -293 - o. Is 2 a factor of n?
False
Suppose -16*j + 12*j + 16 = 0. Suppose -j*t + 1496 = -2*q, 7*t + 746 = 9*t - 2*q. Is 15 a factor of t?
True
Let a = -10491 - -15560. Is 37 a factor of a?
True
Suppose -10*t + 17*t - 35 = 0. Suppose 2*n + 2700 = 7*n. Suppose 0*l = t*l - n. Is 36 a factor of l?
True
Let r(q) = 2*q**2 + 12*q - 14. Let a = -56 - -67. Suppose a*n = 9*n + 14. Is r(n) a multiple of 42?
True
Let k(f) = -37*f + f**3 + 186*f**2 - 11 - 380*f**2 + 209*f**2. Is k(-16) a multiple of 26?
False
Suppose -4*w = -4*o - 38084, 3*w - 28500 = -62*o + 58*o. Is w a multiple of 26?
False
Suppose -116*z + 1318315 = 266775. Is 58 a factor of z?
False
Does 62 divide (722178/(-13))/(-2) + (690/390)/(-23)?
True
Let x(m) = -2*m + 34. Let p be x(19). Is p + 36/(-6) + 322 a multiple of 8?
True
Let b = 383 - 248. Suppose -207 - b = -2*s - 3*g, -5*s + 893 = -2*g. Is s a multiple of 50?
False
Suppose -62*u = -58*u - 1192. Suppose 3*n - 113 = u. Suppose d = -109 + n. Does 11 divide d?
False
Let z = -115 - -220. Let b be (-2)/(6/z*5). Does 31 divide 95/3 - ((-84)/18)/b?
True
Is 6/27*31391 - (7 + (-650)/90) a multiple of 32?
True
Suppose 2*q + 2*c + 6 = 5*c, 2 = 2*q + c. Suppose 5*v + 20 = q, 16*m - 19*m + 2*v + 1304 = 0. Is m a multiple of 98?
False
Let a be ((-56)/63)/((-4)/18) + 2. Suppose a*w = 12*w - 1890. Does 45 divide w?
True
Let n be 32/12*(-9)/1. Let b be (394/3)/((-8)/n). Let i = b + -218. Is 12 a factor of i?
False
Suppose 4*u = 3*c - 64, -2*c + 4*u + 76 = 8*u. Suppose -3*i - c + 475 = 0. Let g = -67 + i. Is 7 a factor of g?
False
Let u(o) = 12*o**2 + 3*o + 20. Let l be u(8). Let d(p) = 4 - l*p**2 + 2*p**3 - 5*p + 808*p**2 + 2. Does 15 divide d(5)?
False
Suppose 156*c - 1143 = 640266 + 397395. Is 66 a factor of c?
False
Suppose 25*g - 13698 = 7*g. Suppose 0 = -n - 378 + g. Is n a multiple of 5?
False
Does 4 divide 15 + -2 + 2 + 281?
True
Suppose 2*s = -3*h - 7, -3*s = -134*h + 137*h + 9. Let o be (-244)/(-2) + 1 + -1. Does 18 divide -5 - -5 - o/h?
False
Let d(v) = 2*v**3 + 50*v**2 - 2. Let o be d(-25). Let u(b) = -121*b - 26. Is 12 a factor of u(o)?
True
Let r(k) = -k**2 + 8*k - 2. Let q be r(7). Suppose 0 = -q*h + 2*h - 132. Let b = 78 + h. Is b a multiple of 17?
True
Suppose -8*t + 2*t + 6180 = 0. Let o = -622 + t. Is o a multiple of 24?
True
Let f(r) = 176*r - 172. Let o be f(23). Suppose -12*p - 7*p + o = 0. Is p a multiple of 4?
True
Suppose -5*x +