9 a factor of f(g)?
True
Let m(p) = -p**2 - 2*p + 80. Let b be m(0). Let o = b + 28. Is 18 a factor of o?
True
Let k = 70 + -48. Is (-4)/k - 468/(-33) a multiple of 14?
True
Does 4 divide -3 + 90/27 - 1996/(-6)?
False
Let i = 1079 + -585. Is 13 a factor of i?
True
Suppose 5*i = 4*i + 5*z + 4, 5*i - 2*z = -3. Does 17 divide (-1 + (-103)/i)/2?
True
Let n be ((-1)/2)/(2/(-128)). Let i = n - 64. Is (1712/i)/(2/(-4)) a multiple of 15?
False
Suppose 15 = -3*d, 8*o - 629 = 4*o + d. Is 20 a factor of o?
False
Suppose 2*j + 24 = j - 5*s, 4*j - 3*s + 4 = 0. Is 18 a factor of (105 - (j - -4)) + 3?
True
Let d(n) = 4*n**2 - n - 8. Let o(u) = u - 9. Let y be o(5). Does 12 divide d(y)?
True
Let l = -137 + 302. Is l a multiple of 36?
False
Let x be (0 - -33)*(-7)/(84/8). Let s(y) = -4*y - 58. Is s(x) a multiple of 15?
True
Is (4 + 95/(-20))/(1/(-792)) a multiple of 11?
True
Let c(p) = p**3 - 6*p**2 + 5*p + 3. Let h be c(8). Does 19 divide h/36*(13 + -1)?
True
Let z = 34 - 24. Let f(k) = -9*k + 21. Let n be f(z). Let r = 121 + n. Is r a multiple of 14?
False
Suppose -6177 = -2*j + 593. Does 26 divide j?
False
Suppose -101200 = 134*n - 180*n. Does 10 divide n?
True
Is 37 a factor of (444 - -3) + -3 - 1?
False
Suppose -6*j - 287 = 1. Let c = j + 247. Does 40 divide c?
False
Let r(q) = 2*q**2 - 5. Let d be r(-2). Suppose 7*f = d*f + 208. Does 52 divide f?
True
Suppose 0 = 2*f + 23*f - 16100. Is f a multiple of 7?
True
Suppose n = -3*v, 2*n = -0*v - 5*v + 4. Is n a multiple of 3?
True
Let i be (-28)/(-3) - 2/6. Let a(b) = 3*b + 7 + b**3 - 2*b - 9 + 0 - 9*b**2. Is a(i) even?
False
Suppose 0 = -4*d - 4*k + 7 + 9, -5*d + 10 = -5*k. Let p(h) = 8*h + 8. Does 8 divide p(d)?
True
Suppose 10*t + 11291 = 36061. Is 8 a factor of t?
False
Let o = -95 - -100. Suppose -o*k - 5*l = -461 - 1019, -3*k + 892 = 2*l. Is 37 a factor of k?
False
Suppose 9*j = 5*j + 24. Suppose -25 = j*f + 239. Let o = -31 - f. Does 5 divide o?
False
Suppose -s = 4*s - 20. Suppose 0 = a - 5 - 0. Suppose 86 = 4*i - a*t, 5*i - s*t = 44 + 59. Is i a multiple of 12?
False
Is 44 a factor of 4845/30*6 + 2/(-2)?
True
Suppose 0*v + 4 = -4*s + 2*v, -v + 2 = -s. Let u = -217 - -327. Suppose s*j = 5*j - u. Is j a multiple of 8?
False
Does 21 divide (-6)/(-1) + (-12 - -447)?
True
Let t be (3/(-3))/((-2)/6). Suppose 641 = t*s + m + 51, 410 = 2*s + 4*m. Is s a multiple of 50?
False
Let u(o) = -3*o**2 + 6*o + 3. Let m be u(3). Is 8 a factor of (-2)/(m/(-51))*-2?
False
Suppose 4*u + 4*b - 4 = -0*u, -u + b = -11. Is 15 a factor of (-741)/(-6) - 5 - u/(-4)?
True
Let b(u) = u**2 + 13*u - 21. Let v be b(-15). Let r = 35 + v. Is r a multiple of 11?
True
Suppose -5*b = -10*b - 345. Let m = 204 + b. Is m a multiple of 40?
False
Suppose x - 4*s + 16 = 0, -2*s = 3*x + 2*s - 16. Suppose -5*j - 75 = -x*j. Let z = j - -39. Is 8 a factor of z?
True
Suppose h = 9*h - 192. Is 0 + 3306/h - 6/8 a multiple of 11?
False
Let x(a) = a**2 + a - 4. Let h be x(-4). Suppose -y - b + 2 = 0, 0 = -4*y + 8*b - 3*b + h. Suppose 2*p - 58 = -y*g - 0*p, 0 = 5*p - 15. Does 26 divide g?
True
Let h(z) = -4*z + 3 + 11*z + 3. Let m be h(-9). Let n = 83 + m. Does 13 divide n?
True
Let o = -111 - -180. Suppose 0*l = 17*l + 527. Let d = o + l. Does 7 divide d?
False
Suppose -156845 = -120*a + 211315. Does 73 divide a?
False
Suppose -4*n = -3*n - 6*n. Suppose -g + 3 = -2*z - 26, 4*g - 5*z - 119 = n. Is g a multiple of 31?
True
Let m(p) = -13*p + 131. Is m(-8) a multiple of 47?
True
Let f be 164/24 + 1/6. Is 3 a factor of ((-18)/f)/((-4)/28)?
True
Suppose -5*o + p - 17 = 0, 3 = -o - 2*p - 7. Let s be -1*2 - (4 + o). Let k = 14 - s. Does 16 divide k?
True
Let i(l) = -2*l + 1. Let q be i(-5). Suppose -2 = 3*x - q. Suppose 2*a - 3*s - 2*s = 37, x*a - 60 = 3*s. Is a a multiple of 6?
False
Does 45 divide (15 + -1397)*((-3)/6)/1?
False
Let f = 1594 - 1145. Does 3 divide f?
False
Let j(q) = q**3 + 17*q**2 + q + 20. Let r be j(-17). Suppose -4*g + 5*g = -4*m + 220, -r*m = 5*g - 165. Is m a multiple of 20?
False
Let c = 945 + -65. Is c a multiple of 40?
True
Is 308 - (8 + -8)/1 a multiple of 22?
True
Suppose -4*h + 29 = 13. Suppose -83 = -h*b + 129. Is 37 a factor of b?
False
Let w be (-7 - -3) + -1 - -4. Let f(g) = -32*g**2 - 2*g - 1. Let i be f(w). Let x = -24 - i. Does 3 divide x?
False
Suppose 0 = -6*a - 0*a + 42. Suppose -9 - 26 = -a*m. Is 5 a factor of m?
True
Suppose 0 = q - t - 8, 3*q - 2*t - 42 = -14. Let y = 72 + q. Suppose -3*k = k - y. Is 9 a factor of k?
False
Let j(g) = 443*g - 174. Is 77 a factor of j(4)?
False
Suppose -8*g = -4*g - 28. Suppose -g*u + 560 + 868 = 0. Does 34 divide u?
True
Suppose -4*p - 8 = -4. Let k be p + 0 - -1 - 0. Suppose k = -j + 67 + 14. Does 27 divide j?
True
Let m be (-2 - -1)*-2 + -1. Suppose 19*z = 2*z + 544. Let o = z - m. Is o a multiple of 10?
False
Let w(z) = 13*z - 72. Is w(9) a multiple of 15?
True
Let v be ((-9 + -3)/4)/(-1). Suppose -v*a + 45 = -8*a. Let p(x) = x**2 + 9*x + 21. Is 21 a factor of p(a)?
True
Suppose 2*k = -3*a + 23, 4*k - 6 = a + 5. Suppose 10*m - 107 = -47. Suppose m*f = a*f + 18. Is 10 a factor of f?
False
Let y(u) = u**2 - 5*u - 14. Let i be y(7). Suppose i = 4*w - 5*w + 7. Is 28 a factor of (w/3)/((-3)/(-108))?
True
Let l(j) = 9*j**2 + 4*j + 7. Is l(-2) a multiple of 13?
False
Suppose 0 = -2*r + 124 + 90. Let k = r - 52. Does 23 divide k?
False
Is 7 a factor of -50 - -2862 - (-18)/2?
True
Suppose -2*b + 3*x = -6*b + 39, 3*b - 23 = 4*x. Let i(j) = -j**3 + 11*j**2 - 12*j. Is 18 a factor of i(b)?
True
Suppose 4*m + 4 = 6*m. Suppose 2 = -p + l + 170, -m*p + 348 = 2*l. Does 19 divide p?
True
Let g(w) = -173*w - 338. Is g(-5) a multiple of 17?
True
Let b(h) = -h**3 + 8*h**2 - 2*h - 5. Let u be b(5). Suppose -36 - u = -w. Suppose j = 3*j - w. Is j a multiple of 24?
True
Suppose -84*q + 390 = -69*q. Is q a multiple of 2?
True
Let d = -21 + 117. Suppose 0*z - 6*z + d = 0. Is 8 a factor of z?
True
Let j = -53 + 61. Does 12 divide (7/(-3) - j/48)*-10?
False
Let m(f) = -f**3 + 10*f**2 - 9*f + 3. Let i be m(9). Suppose -i*y - 7*y + 540 = 0. Is 12 a factor of y?
False
Let w(l) = -3*l + 21. Let s(p) = -p**3 + p - 11. Let a be s(0). Let u be w(a). Suppose 0 = 6*z - u - 396. Is z a multiple of 25?
True
Let h(t) = -t**3 + 7*t**2 - 6*t - 4. Let y be h(6). Let g be -2 + y/(2 + -3). Suppose -z + g*z - 23 = 0. Is 6 a factor of z?
False
Let m = -3 + 5. Let s be 0 + (m - 0) + 1. Suppose 9 + s = 3*t. Is t even?
True
Let w(r) = r - 19. Let n be w(13). Does 13 divide ((-26)/10)/(n/30)?
True
Suppose -20*j + 24*j = -5*m + 1950, 0 = 4*m + 5*j - 1551. Does 6 divide m?
False
Let d be 2324/(-18) - 6/(-54). Let c = d + 212. Does 6 divide c?
False
Let t = 267 - 225. Is 7 a factor of t?
True
Suppose 0 = -4*s + 5*r, 4 = 4*s + 3*r - 7*r. Suppose -s*y + 0 = 5. Does 4 divide (-1 - 0)/(y/8)?
True
Suppose 0 = 2*f - 3*t - 327, -5*f + 829 = 16*t - 12*t. Is f a multiple of 15?
True
Suppose 1309 - 105 = 4*k + 4*p, 0 = -p - 5. Does 10 divide k?
False
Let p(b) = -b**2 - 10*b - 4. Let t be p(-11). Let j = t + 15. Suppose j = -g + 4*z + 7 + 1, -3*z = -12. Is 12 a factor of g?
True
Is (12/(-5))/((-30)/825) a multiple of 3?
True
Suppose -k = -4*t + 187, -2*t + 0*k + 121 = 5*k. Let f be (-6)/10*((-75)/5)/3. Suppose c = f*c - t. Is 8 a factor of c?
True
Let b = -1 - -1. Let n(y) = -5*y + 24. Let k be n(-11). Suppose b = 5*t - 2*c - k, -t + 4*c = -5*t + 52. Does 8 divide t?
False
Let b = 4 - -1. Suppose b*g = -22 + 142. Is (-270)/4*g/(-30) a multiple of 16?
False
Let g be (-14)/(-4)*(6 - 2). Suppose 0 = 3*i - 41 + g. Is i a multiple of 6?
False
Let t(i) = i**3 - 6*i**2 + 2*i - 8. Let u be t(6). Suppose -u*x + 2*j - 48 = -2*j, -4*j + 34 = -3*x. Let v = 42 + x. Is 9 a factor of v?
False
Suppose -n = 4*c - 151, n + 3*c - 155 = c. Is 6 a factor of n?
False
Let d = -3 + 4. Let n be (2/2)/(d/2). Suppose 2*u - w - 26 = 0, -4*u - u - n*w = -74. Is 3 a factor of u?
False
Suppose -102 = 79*l - 20010. Does 19 divide l?
False
Suppose 3*l + 8*l = 198. Is 9 a factor of l?
True
Suppose 3*t + 2*t - 5*v - 30 = 0, 2*t + 2*v = -4. Suppose -4*n = -3*k, -t*n - 4*k = -11 - 11. Suppose 177 = n*h - 66. Is 24 a factor of h?
False
Let w(p) = -p**2 + 7*p - 6. Let r be w(4). Is 56/(-6)*5/(-10)*r a multiple of 28?
True
Suppose 0 = -5*q + 10*q - 3665. Suppose -3*f = -q - 62. Sup