46753 = -14*g + 113475. Is 44 a factor of g?
False
Is 960/(-600)*3035/(-2) a multiple of 4?
True
Suppose 4*l = 6*w - 2*w + 8, 2*l = 4*w + 4. Let c be 33 + (-4 - (-3 - w)). Suppose c*q = 35*q - 126. Is q a multiple of 7?
True
Let d = -436 - -5155. Is d a multiple of 33?
True
Let s be 7 + 10/(-15)*6. Suppose -s*d + 126 = 15. Let n = -3 + d. Is 2 a factor of n?
True
Let z(g) = 2*g**2 - 3*g - 47. Suppose 5*x + 2*b - 150 = 0, -4*b = 2*x - 0*x - 60. Let f = 39 - x. Does 22 divide z(f)?
True
Is 2/((-2)/12 + 9030/53748) a multiple of 9?
False
Let j = 21370 - 10501. Does 80 divide j?
False
Suppose 0 = -2*j - 8*j - 58*j + 106012. Does 2 divide j?
False
Let c(f) = 6*f**2 + 4*f + 3. Let t be c(-1). Suppose -4*z - 40 = t*j - 15, -5*j - 25 = 2*z. Is 32/(-3)*((-6)/4 + z) a multiple of 6?
False
Let l(f) = 102 - f - 175 + 79. Let d(y) = -3*y + 1. Let w be d(7). Does 6 divide l(w)?
False
Let l be -1 - 19/(-4) - (-25)/100. Suppose -l*w = -2*x + 644, -3*x - 10*w = -11*w - 976. Does 58 divide x?
False
Let v(q) = -q**3 + q. Let u(j) = 2*j**3 + 2*j**2 - 5*j - 1. Let k(x) = u(x) + 4*v(x). Does 3 divide k(-1)?
False
Suppose 0 = 29*c + 13*c - 157080. Does 8 divide c?
False
Let p(g) = -2*g + 1. Let j(a) = a + 5. Let u(o) = j(o) + 2*p(o). Let c be u(14). Is (-34)/(-8) + 2 + c/28 a multiple of 3?
False
Let y(i) = 347*i + 7. Let s(o) = -o**2 - 32*o - 154. Let r be s(-26). Does 17 divide y(r)?
False
Suppose 0 = -3*g + 3, 5*g + 1687 = 5*m + 2*g. Is 3 a factor of m?
False
Let a = -4 - -9. Let i(b) = -1082 + 25*b - 1077 + 3249 - 1055. Is 40 a factor of i(a)?
True
Suppose -5*o - 10 = -5*h - 0*o, -4*h = 4*o - 8. Suppose 0 = -4*x - 4*b + 1964, 994 = -0*x + 2*x - h*b. Is x a multiple of 4?
False
Is 57 a factor of (1/9*-3)/(-7 + (-2987474)/(-426783))?
False
Let b(g) = 3*g**2 + 7*g - 37. Suppose 3*x - 2*f + 12 - 37 = 0, -6*f - 30 = 0. Is 4 a factor of b(x)?
False
Suppose 3*p = u + 67458, 3*u = -2*p + 13100 + 31883. Is 34 a factor of p?
False
Is ((-10 - -7) + 4688)*15/25 a multiple of 4?
False
Suppose -2*c + 174 = 3*v, -3*v = -5*c + 74 + 382. Let i = 265 + c. Is i a multiple of 10?
False
Suppose -d + 6 = 2. Let u be (-8)/d + 96/(-3). Let k = u + 42. Is 2 a factor of k?
True
Let f = -7 - -10. Suppose -2*q - f*q = -265. Does 53 divide q?
True
Let b = -1845 + 5351. Does 2 divide b?
True
Suppose -58*o - 80568 + 342482 = -255098. Is o a multiple of 42?
False
Let i(g) = 181*g + 4. Let n be i(1). Suppose 26 = t - d - 15, 4*t + 3*d - n = 0. Does 13 divide t?
False
Suppose -3*z + 6*t + 23 = 2*t, 3*z - 19 = 2*t. Let f(a) = -13*a**3 + a**2 + 4*a + 2. Let h be f(4). Is 1/z - h/10 a multiple of 16?
True
Let u = 383 - 358. Suppose u*z - 33*z + 6872 = 0. Is 29 a factor of z?
False
Let c(v) = -9*v + 103. Let p be c(-17). Suppose 11 = 5*q - 14. Suppose -q*h + p = 3*h. Is h a multiple of 16?
True
Suppose -26*g - 1734 = -20*g. Let l = 455 - g. Does 24 divide l?
True
Suppose -10*s - 2128 = -14*s. Does 6 divide 132/165 - s/(-10)?
True
Let o(w) = 4*w**2 - w - 13. Let p be o(8). Let q = -203 + p. Is q a multiple of 9?
False
Is 114 a factor of 118552/48 - (-2)/12?
False
Let i(m) = -2*m**2 + 16*m + 8. Let l be i(9). Let g(k) = -k**2 - 10*k + 4. Let d be g(l). Does 43 divide -4*(-3 + d) - (-1 - 165)?
False
Suppose -5*b = 2*b - 12*b + 44520. Does 12 divide b?
True
Suppose -75*t + 79*t = 16. Is 53 a factor of 1242 + 26 + t*1?
True
Suppose -374*j - 147758 + 476984 = -7066624. Does 35 divide j?
True
Let h = 143 + -142. Is 14 a factor of (h - -608)*44/33?
True
Suppose 144 = 3*o + 132. Suppose 3*f + 3295 = o*k - 0*f, -k - 5*f = -818. Is k a multiple of 45?
False
Let s = 7509 - 3309. Is 24 a factor of s?
True
Let k(b) = 17*b**3 - 4*b**2 + 13*b - 3. Let i be k(4). Suppose -819 = -4*p + i. Suppose -107 = 2*t - 4*l - 333, 4*t - l - p = 0. Does 17 divide t?
True
Let d(n) = n**2 + 36*n - 25. Let i be d(-38). Is ((-306)/i)/(-3*4/594) a multiple of 33?
True
Let a be -3*1*-3*(-70)/45. Is 86 + (1 + 0)/(a/42) even?
False
Suppose -5*c = 78*c. Let h = -97 + 417. Suppose c = -16*r + 14*r + h. Is r a multiple of 20?
True
Let q(j) = -j**2 - 2*j + 11. Let i be q(-5). Let z(t) = -t**2 - 7*t - 9. Let s be z(i). Suppose s*a - 497 + 56 = 0. Is 41 a factor of a?
False
Let m be ((-90)/4 + -5)/(1/2). Is 7 a factor of (-28225)/m + -9 - (-4)/(-22)?
True
Let o(j) = j**2 - 8*j + 7. Let i be o(7). Suppose n = -0 - 4, i = l - 2*n - 10. Suppose 5*q = l*q + 132. Is 4 a factor of q?
True
Does 242 divide (424/5 - 13/(-65))*(2 + 300)?
False
Let o(x) be the second derivative of -5/6*x**3 - 9*x + 0 + 6*x**2. Is o(-4) a multiple of 8?
True
Let d be (-6)/((-9)/276 - 0). Let n(s) = -2*s**3 + s**2 + 3*s - 2. Let j be n(-5). Let z = j - d. Is z a multiple of 27?
False
Suppose -17*w = 4*n - 22*w + 5, -3*n = -3*w + 3. Suppose n*v + 5*a = 2*v - 340, 5*a - 380 = -2*v. Is 60 a factor of v?
True
Let a be ((-38748)/(-18) + 2)*3. Suppose 0 = 24*f - 2704 - a. Is f a multiple of 16?
False
Suppose -107 = -11*o - 338. Let p(w) = -w**2 - 21*w + 2. Let z be p(o). Suppose 5*j - 594 = -z*m, 0 = -j - 3*m + 171 - 60. Is 12 a factor of j?
True
Let c = 1255 + 3897. Does 92 divide c?
True
Suppose 171*r + 213511 - 469732 = 417690. Is 82 a factor of r?
False
Suppose -129*q + 116*q + 26312 = 0. Does 46 divide q?
True
Let n(a) = 18*a**2 - 51*a + 186. Is 16 a factor of n(22)?
True
Let f(b) = 16*b - 17 + 30 - 29. Let g be f(4). Is (-1)/(g/49 - (-2 - -3)) a multiple of 7?
True
Suppose 3*l = -2*c + 30, -l = 2*l - 5*c - 9. Suppose -l*z = -6*z - 858. Is 3 - (12/48 - z/4) a multiple of 21?
False
Let m be -187*23*3/3. Does 33 divide 44*(4/(-3) + m/(-276))?
True
Suppose 6*g - 40 = 2*g. Let k be 2/3 - g/(-3). Suppose -k*l = -0*l - 168. Is 16 a factor of l?
False
Let z = 3864 + -3164. Does 28 divide z?
True
Let o(w) = -4*w**3 - 4*w**2 - 7*w + 1. Let b be o(-4). Let i(k) = -9*k + 45. Let h be i(5). Suppose h = 4*d - 3*d - b. Does 13 divide d?
True
Let h(x) = 689*x**2 + 113*x - 716. Is h(6) a multiple of 34?
False
Suppose -46 = 3*p - 109. Suppose 916 + 2738 = p*b. Is b a multiple of 42?
False
Suppose 4*o = 0, -o - o = 3*k - 357. Let s = -119 + k. Suppose -65 = -2*t + 3*m + 2, s = -m - 1. Does 4 divide t?
True
Let a(u) = 58*u + 313. Let h(c) = 20*c + 104. Let v(w) = -3*a(w) + 8*h(w). Is 13 a factor of v(-24)?
False
Let m(o) = 12*o + 40. Let h be m(-5). Is -2*h/8 + 292 a multiple of 17?
False
Suppose -3*m - 3*v - 9013 = -7*m, -m = -v - 2254. Suppose -7*s = 172 - m. Does 27 divide s?
True
Suppose -257*c = -256*c - 3*u - 6888, -5*c - 5*u = -34380. Does 113 divide c?
False
Suppose 1181 = -6*g - 133. Let s = g - -446. Does 16 divide s?
False
Suppose o - 2*i - 2076 = -2*o, i = o - 693. Suppose 4*h - 2*y - 3*y - o = 0, -2*h + 5*y = -340. Is 28 a factor of h?
False
Let d(g) = -81*g - 1. Let u be d(-5). Suppose -5*o + 30 = -0*y + 5*y, -2 = -2*y. Suppose 9*n - u = o*n. Is n a multiple of 30?
False
Let u(p) = -73*p + 1. Suppose -2*w + 7*b - 4*b - 10 = 0, 4*w - 4*b = -16. Is u(w) a multiple of 17?
False
Is 21 a factor of 3/((-18)/(-2478))*42?
True
Suppose 7*i = 4*i + 225. Let u = i - 39. Suppose -27 = -y + u. Is y a multiple of 34?
False
Let w(c) = -c**2 - 2*c - 4. Let a be w(5). Let i be (115/(-45) - 1) + 104/(-234). Is 9 a factor of (-6 + 3 - i) + (0 - a)?
False
Let h be (612/16)/(4 + 15/(-4)). Suppose 165*k - 2244 = h*k. Is 30 a factor of k?
False
Let u = 9282 + -8946. Is 6 a factor of u?
True
Suppose -5*l - 6*l - 3200 = -21*l. Is l a multiple of 3?
False
Suppose 0 = -36*t + 27*t + 108. Is 518 - ((-18)/(-3))/(t/(-8)) a multiple of 9?
True
Let k(l) = -16*l + 37. Let j(h) = 7*h - 20. Let f(o) = -9*j(o) - 4*k(o). Suppose -3*y - r - 13 + 53 = 0, 4*r = 4. Does 17 divide f(y)?
False
Let j = -107 - -112. Suppose 8*h - 6*h = -3*k + 3045, j*k = -25. Is h a multiple of 18?
True
Suppose 15 = -3*k, 0 = -4*h + 9*k - 7*k + 26. Suppose -h*d = -2*t + 368, -3 = -d - 5. Does 30 divide t?
True
Suppose 20133 + 342967 = 69*g - 406940. Does 62 divide g?
True
Suppose 77*x + z = 76*x + 7619, z + 4 = 0. Is 33 a factor of x?
True
Suppose -312 = 2*z + 2*m + 2*m, 8 = -2*m. Let p = -100 - z. Is p a multiple of 8?
True
Suppose 18*o = 64296 + 7416. Is 12 a factor of o?
True
Let w = 626 - 80. Let a = w - 481. Is a a multiple of 13?
True
Let d be (-38)/133 + (-32)/(-14). Suppose -8 = -d*a, -3*r + 8 = r - a. Suppose 0 = 2*k - 6*k -