 = 196 + -89. Let d be -3*(0 - (-5)/(-5)) - 9. Let i = d + b. Is 10 a factor of i?
False
Is 7 a factor of (-24801)/4*(-1012)/759?
True
Let v(z) = 3*z + 6. Let f be v(6). Let q = -1089 + 1016. Is 22 a factor of (-16)/f*(1 + q)?
False
Let z(d) = -691*d + 658. Does 30 divide z(-2)?
True
Let z be (10/(-6))/((-5)/1710). Suppose 1054 + z = 7*f. Is f a multiple of 29?
True
Suppose -p - 8*p + 243 = 0. Suppose 4*r + p + 16 = 5*k, 0 = 2*k + 3*r - 8. Suppose k*g - 38 = 6*g. Does 19 divide g?
True
Let n(b) = 96*b**3 - 4*b**2 + 9*b - 39. Is n(4) a multiple of 12?
False
Suppose 6*v = -9*v + 60. Suppose -155 = v*c + 149. Let t = c + 97. Is t a multiple of 7?
True
Let g(o) = o**2 - 29*o + 24. Let w be ((-82)/(-123))/((-2)/24). Is g(w) a multiple of 26?
False
Let i(l) = l**3 + 14*l**2 - 6*l + 25. Let t be i(-14). Suppose -t*s + 135 = -106*s. Is 8 a factor of s?
False
Let g(p) = -p**3 + 13*p**2 + 20*p - 37. Let y be g(14). Let x = y - -55. Is 38 a factor of x?
False
Let c = 16678 - 9301. Is 15 a factor of c?
False
Suppose -44*p = 118*p - 1479870. Does 145 divide p?
True
Let b(f) = 30 + 0*f - 25 + 5*f - 4*f. Let g be b(-7). Does 16 divide -3*(-42)/45*5 - g?
True
Let m(o) = 21*o + 4. Let g(t) = -2*t**2 - 12*t - 2. Let k be g(-5). Is 43 a factor of m(k)?
True
Let d(j) = -164*j + 3108. Is d(-57) a multiple of 9?
True
Suppose -7*k + 1765 = -1054 - 5161. Is 10 a factor of k?
True
Suppose -11 = -5*q + 4*z - 4, z + 4 = 2*q. Suppose -g + 24 = q*g. Let f(h) = -h**3 + 8*h**2 - 5*h + 7. Is f(g) a multiple of 13?
False
Let h(k) = 87*k - 21. Let f be h(11). Let z = f - 384. Is z a multiple of 24?
True
Let m(v) = 208*v**2 - 8*v + 16. Let w be m(2). Suppose 4*z - 3*j - 220 = w, 0 = -2*z - 4*j + 526. Does 14 divide z?
False
Let u(h) = 188*h + 8. Let g be u(1). Let l(i) = 3*i**2 - 2*i. Let n be l(2). Suppose w - n*w + g = 0. Is 9 a factor of w?
False
Let p(s) = 5*s**2 + 449*s - 2208. Is p(5) a multiple of 81?
True
Let i = 524 - 369. Let q = 18 + i. Does 8 divide q?
False
Let a(k) = 66*k**2 + 12*k + 1. Let u be a(3). Is 2/(-4)*u*-2 a multiple of 22?
False
Suppose 22*a = 25*a + 51. Let i(g) be the third derivative of -g**6/120 - 4*g**5/15 + 7*g**4/12 - 3*g**3 + g**2. Does 19 divide i(a)?
False
Let q be -2*1/1 + 141/(-3). Let o = 121 + q. Is o a multiple of 2?
True
Let b(x) = -x**2 + 13*x + 16. Let v be b(14). Suppose -6 = -v*n - 2. Suppose -n*a + 78 = 34. Is 22 a factor of a?
True
Let s(d) = 66*d - 10. Let n be s(7). Let w be 9/3*116/12. Suppose 3*a - 616 = -5*g - w, 2*a = 4*g - n. Is 23 a factor of g?
True
Let k be 2 - (1/5 - 46/5). Let b be k/(33/30)*2. Let a = b - 5. Is a a multiple of 7?
False
Suppose 5168 = 21*a + 13*a. Does 42 divide a?
False
Let v = 214 - 109. Does 25 divide (-3)/1 - (2 - v)?
True
Let i be 5/2 + (-1)/(24/8892). Let x = i - -488. Is 30 a factor of x?
True
Suppose 7*f = -6*f + 91. Suppose 170 = 12*g - f*g. Does 2 divide g?
True
Suppose j + s - 6215 = -2*s, -5*s = -j + 6183. Does 48 divide j?
False
Let v(g) = g**3 + 18*g**2 - 38*g - 10. Let p be v(-20). Let s = -41 - p. Does 3 divide s?
True
Suppose -48*z + 174 + 66 = 0. Suppose 0 = 4*b - 6*b - z*c + 633, -2*b + 3*c = -657. Is 3 a factor of b?
True
Suppose 47*u = 50*u - 3. Let d(i) = -6*i**2 - i + 1. Let s be d(u). Is 11 a factor of (-2)/s - 3156/(-36)?
True
Let g = -45 - -52. Suppose h + 5 - g = 0. Suppose -h*m - k = -163, -5*m + 3*k = -m - 351. Does 28 divide m?
True
Suppose -400457 + 25005 = -39*g + 133186. Is 41 a factor of g?
False
Let x = 271 - 105. Is 29 a factor of 6 + x + (-8)/(-4)?
True
Suppose -5*r + 64*j + 21721 = 67*j, 0 = -3*r + j + 13013. Is r a multiple of 14?
True
Let x(h) = 530*h**2 + 29*h + 92. Is x(-3) a multiple of 191?
True
Let u = -1358 + 2580. Suppose 8*j = u + 3346. Is j a multiple of 91?
False
Let h(n) = -n + 5. Let w(y) = -2*y + 18. Let s be w(5). Let l be h(s). Is 2/(2/(-10)*2/l) a multiple of 15?
True
Let y(p) be the second derivative of 0 + 21*p**2 + 26*p - 5/6*p**3. Does 7 divide y(6)?
False
Suppose -2114 - 7311 = -5*r. Suppose 0 = 12*k - 1715 - r. Is k a multiple of 42?
False
Let f be 6/(-4)*(-10)/(-15)*-2. Suppose 9*i - f*i = -294. Let j = i - -75. Is 3 a factor of j?
True
Let o be -7*20/(-70)*2. Suppose 0 = 5*h - 5*p - 10455, -3447 = -5*h + o*p + 7007. Is h a multiple of 110?
True
Let j(s) = s + 8. Let x be j(-6). Suppose 4*h = -g + 8*h + 213, 5*g - 1029 = x*h. Let b = -11 + g. Is b a multiple of 30?
False
Let s(y) = -1067*y + 10272. Is 26 a factor of s(8)?
False
Suppose 164*g = 187*g + 92. Let z(l) = -328*l - 31. Is 61 a factor of z(g)?
True
Let d = 785 - 425. Is 10 a factor of d?
True
Let m = 29 - 25. Suppose a + m*k = -16, -5*k - 20 = -3*a - 2*a. Suppose -23*l + 25*l - 96 = a. Does 38 divide l?
False
Let s(d) = -39*d + 35. Let k(q) = 19*q - 17. Let u(r) = 9*k(r) + 4*s(r). Let a be u(3). Let t = 98 - a. Is t a multiple of 33?
True
Let r = -33058 + 63552. Is 45 a factor of r?
False
Suppose 76*s - 34192 = 17401 + 182563. Does 237 divide s?
True
Suppose -1208 = -90*t + 86*t - 2*i, -4*i = -t + 284. Does 25 divide t?
True
Let y = -1532 + 1038. Let q = -414 - y. Does 20 divide q?
True
Suppose -3*z - 355 = -2*z. Suppose -11*v - 2761 = -44. Let h = v - z. Does 18 divide h?
True
Let w(l) = 5*l + 94. Let h be w(-18). Suppose -2*b - 17 = -4*d - 89, -h*b - 4*d = -132. Does 17 divide b?
True
Suppose 7*r - 3*r + 748 = 0. Let y = 272 + r. Does 5 divide y?
True
Let l(k) = k**3 - k + 2. Let u(f) = 5*f**3 + 53*f**2 - 17*f + 34. Let z(g) = 3*l(g) - u(g). Is 5 a factor of z(-27)?
False
Suppose -19*u + 50841 = 2*u. Let h = -1574 + u. Is 20 a factor of h?
False
Is (-2059332)/(-132)*(-1)/(-1) a multiple of 86?
False
Let k be (-12)/18 + (-4)/(-6). Suppose -4*f = t + 4*t - 17, 2*f - 2*t - 4 = k. Suppose a + b = 116, -f*a - b + 328 = -3*b. Is a a multiple of 33?
False
Suppose -2*b - 7*n + 4*n = -32, n = -4*b + 64. Let y(h) = 10*h - 88. Does 14 divide y(b)?
False
Suppose 3*j = -2*g - 1598, -3*j = -15*g + 20*g + 3986. Is 10 a factor of 4 - -1 - (g - (14 - 18))?
False
Suppose 27*o - 24*o = 153. Let h = o + -48. Suppose -b - h*b + 752 = 0. Does 29 divide b?
False
Let u(o) = 2*o + 338. Does 12 divide u(-49)?
True
Let f be 2/(-7) - (-88)/14. Suppose -5*k = -4*a + 10, -a - 4*k - 8 = -f*a. Suppose 480 = -a*d + 10*d. Is d a multiple of 6?
True
Let t(w) = w**2 - 13*w - 32. Let v be t(15). Is ((-95)/5)/(v/22) a multiple of 19?
True
Suppose -17 = 39*u + 22. Is (7 + u - 309)/((-6)/4) a multiple of 25?
False
Suppose 2*j = 5*h - 36886, -3*j - 13917 = -5*h + 22967. Is 17 a factor of h?
True
Is 9 a factor of 90/525*-14*-3300?
True
Suppose 4*b - 5*k - 36 = 0, -4*b - 7 + 43 = 5*k. Is 23 a factor of (1 + (-2)/4)/(b/2484)?
True
Let y(i) = 14*i**2 + 62*i + 924. Is y(-34) a multiple of 24?
True
Let k = 28 - 62. Let w be 8/2 + (k - 8). Let x = w + 140. Is 17 a factor of x?
True
Let z be (0/3)/(-1) + 260/5. Suppose -369 = -61*v + z*v. Does 2 divide v?
False
Let l(m) = -1785*m + 1. Let r be l(-1). Suppose 3*b = -16*b + r. Is 13 a factor of b?
False
Let k be 3/(2 - 1) - 0. Suppose -k*d = 2 - 11. Suppose 0 = d*p + 18 - 42. Is p a multiple of 4?
True
Let v(b) = -85*b + 2431. Is 37 a factor of v(-36)?
False
Suppose -26*w + 520230 = 135638. Does 3 divide w?
False
Let l(r) = r**3 + 6*r**2 - 12*r - 9. Let j be l(-6). Is 5 - ((-497)/9 - (-14)/j) a multiple of 26?
False
Let c(u) = -u**2 - 20*u - 34. Let x be c(-11). Suppose 3*m - 590 = -q - x, 2*q - 6 = 0. Is m a multiple of 5?
False
Suppose 3*a - 4794 = 3*q, 8*a - 6*a - q - 3194 = 0. Suppose 0 = -4*j - 15*j + a. Does 11 divide j?
False
Let z(o) = -o**3 + 4*o**2 + 11*o + 10. Let h be z(6). Suppose -963 - 2241 = -h*p. Is p a multiple of 89?
True
Let s = -10 - -20. Suppose -l = -s*l + 18. Suppose 0 = -d - l*k + 13 + 8, -3*d = -k - 42. Is d a multiple of 8?
False
Let g be 3*10/((-150)/(-6305)). Let p = g + -427. Does 66 divide p?
False
Suppose -111996 = 1280*m - 1331*m. Is 9 a factor of m?
True
Let s = 168 + -114. Suppose -s = 3*p - 252. Is 2 a factor of p?
True
Let y = -295 + 336. Suppose 4*d = 3*l - y, -5*l - 56 = -9*l + 5*d. Does 3 divide l?
False
Suppose 0*m + 6828 = -2*m. Let n be 2/(-14) - (-128)/14. Does 10 divide ((-12)/n)/(-4 + m/(-855))?
True
Suppose 289*u - 296*u + 189 = 0. Let j = u + 208. Is j a multiple of 9?
False
Let o = 49 + 436. Let a = o - 315. Is 7 a factor of a?