49)*(-1)/((-4)/f) a multiple of 5?
False
Suppose c + 57 + 38 = 5*p, 4*c + 3*p = -334. Let y = c + 76. Is 32 a factor of (1/(-3))/((-5)/(-505))*y?
False
Suppose -6*m = -m - 25. Suppose 3*s + 8 = m*s. Suppose -3*g + 27 = -0*g + 3*n, g + 6 = -s*n. Does 7 divide g?
True
Suppose -23*q + 19*q = 4*t - 14540, -4*q + 18176 = 5*t. Is t a multiple of 4?
True
Let y(v) = -v**2 + 28*v + 35. Let b be y(16). Suppose 309 = 2*s - b. Let q = -170 + s. Does 16 divide q?
False
Let b(a) = 111*a**2 + 56*a - 4. Is 94 a factor of b(10)?
True
Let n(f) = -13*f**3 - 2*f**2 - f + 1. Let i be n(2). Let g = -60 - i. Suppose 0*v - 47 = -3*v - 2*t, 2*v = 3*t + g. Is v a multiple of 15?
False
Suppose -2*u + 7*u = -3*s + 15654, 0 = 4*u - 2*s - 12510. Suppose 0 = -8*p + 9*p - 33. Is u/p + 1/11*2 a multiple of 21?
False
Suppose 171*h - 27838 = 1178054. Is 82 a factor of h?
True
Suppose -29045*j + 29014*j + 108903 = 0. Is j a multiple of 3?
True
Let d = 1373 - 3373. Is 25 a factor of d/((-35)/7) + 0?
True
Is ((-4555953)/(-166))/(6/4) a multiple of 20?
False
Let x = -2115 - -5427. Is 46 a factor of ((-10)/(-8))/(-5 - (-16566)/x)?
True
Suppose 4*p + 9 = p. Let a be 3 - (-2)/(1 + p). Suppose c + 5*m - a = 0, 83 = 4*c - 4*m - m. Is c a multiple of 3?
False
Is (-1767)/((9/(-40))/(174/145)) a multiple of 76?
True
Is 2/36 + -31 + 72446/396 a multiple of 15?
False
Let v be 1 + 1 + 2 + 0/1. Let h(a) = 5*a**3 + 4*a**2 + a - 5. Let y(p) = 4*p**3 + 5*p**2 - 5. Let o(l) = v*y(l) - 3*h(l). Is o(-8) a multiple of 19?
True
Let o(g) = -2*g**2 + 65*g + 0*g**2 + 23 + 3*g**2 - 74*g. Let j be o(5). Suppose j*b - 3*a - 61 = -a, 0 = -5*b + 3*a + 101. Is 16 a factor of b?
False
Suppose -5*a + 77 - 27 = 0. Suppose -105*q = 209 + 1051. Is (-236)/q + a/(-15) a multiple of 9?
False
Suppose 2*v + 7058 = 204*j - 201*j, -2357 = -j + 5*v. Is j a multiple of 4?
True
Let t = 815 - 815. Suppose t = -s - p - p + 336, 4*s = -5*p + 1347. Is s a multiple of 58?
False
Let s = -45 - -69. Let f be s/(-11) - (-6)/33 - -8. Is 31 a factor of 109 + f*8/(-12)?
False
Let m be (-1)/5 - (-1222)/235. Suppose -m*j + 12 = -103. Is j a multiple of 7?
False
Does 18 divide (27 - 0)*(-26 - -566)?
True
Let y = -199 - -201. Suppose 16*f - 13*f + 5*b - 1545 = 0, -3*b + 1031 = y*f. Is f a multiple of 52?
True
Let b be (4/(-2) - -7)*9/15. Suppose r + b*r = 24. Suppose 2*g - 2*t + 328 = r*g, t - 332 = -4*g. Is 21 a factor of g?
True
Suppose -581424 = -83*b + 2000706. Is 44 a factor of b?
False
Suppose 0 = 2*h + 3*m - 1, -2*h - 5*m - 2 = -1. Suppose -f - 3*u - u + 590 = 0, 0 = 4*f - h*u - 2270. Does 19 divide f?
True
Suppose -2*w - 4 = -2*p, -5*p - 4*w = 13 - 5. Suppose 4*u = p, -4*m + 3*u - 560 = 4*u. Let y = m + 252. Is y a multiple of 41?
False
Let b be 1*4 + 8/((-96)/612). Suppose 164 = 2*a - 22. Let u = a + b. Is 12 a factor of u?
False
Let x be (-18)/15*-5*1. Suppose 0 = -7*m + x*m + 9. Suppose 4*d - 18 = -3*k + k, -3*k = 3*d - m. Is 2 a factor of d?
True
Suppose -5*x - 132 = -457. Suppose -4*a = -2*a - 10. Suppose -4*q + a = o - 12, 2*q + x = 3*o. Is o a multiple of 7?
True
Does 57 divide (-218 + 0)/(-15 - (-1 + 14355/(-1026)))?
True
Let t = -46010 - -96227. Is 19 a factor of t?
True
Let v be (0*(-6)/24)/4 + 2. Suppose 4*f = v*l + 762, -17*f + 208 = -16*f - 4*l. Does 94 divide f?
True
Let o(u) = u**2 - 19*u + 50. Let f be o(16). Suppose 2*d - 598 = -f*s, s = 5*s - 2*d - 1196. Does 23 divide s?
True
Let u(h) = h**2 - 2*h - 3. Suppose -5*o + 29 = 4. Let t be u(o). Let b = 60 - t. Is b a multiple of 10?
False
Suppose 0 = -30*p + 29*p + 592. Let x = p - 358. Is 13 a factor of x?
True
Suppose -17*l + 22522 + 4967 = 0. Is l a multiple of 55?
False
Suppose 95629 = 10*x + 2509. Is 6 a factor of x?
True
Suppose 86*v = 191*v + 78233 - 295373. Is 19 a factor of v?
False
Let a(p) = 239*p**2 - 2*p - 1. Let v be a(2). Suppose 5*r - 510 - 705 = -5*g, 4*r - 3*g = v. Is r a multiple of 12?
True
Let d = 34983 + 1427. Does 182 divide d?
False
Suppose 0 = 5*s - 117 - 248. Suppose 5*h + 174 = 2*a, -s = -a - 0*a - h. Suppose 6*x - a = 5*x. Is x a multiple of 18?
False
Let m(y) = -2*y**3 + 10*y**2 - 7*y + 14. Let q be m(4). Let u(b) = -b**3 + 26*b**2 - 44*b + 64. Is 45 a factor of u(q)?
False
Suppose 27*z - 23*z = -q + 2756, 3*q - 8316 = 4*z. Does 8 divide q?
True
Let x be (0 + -8)/((-6)/3). Let q = -45 - -47. Suppose q*u + 70 = x*u. Is u a multiple of 8?
False
Let r(k) = -12*k + 154. Let a(i) = -8*i + 103. Let z(q) = 7*a(q) - 5*r(q). Is 2 a factor of z(18)?
False
Suppose 0*j - 4*j = -164. Let c = -229 - -239. Let f = j - c. Is 12 a factor of f?
False
Suppose -12*z - 2*l + 40 = -7*z, -25 = -3*z - l. Does 19 divide 6/z - ((-764)/10 - -1)?
True
Suppose -x - 26 = -5*x - 2*m, -x + 5*m = -34. Suppose -4*z = -15 - x. Suppose 0 = 2*j - k - 395, -2*k + 810 = z*j - 2*j. Does 40 divide j?
True
Does 57 divide 156/12 + 0 - -2951?
True
Does 16 divide ((-2)/(-6))/(157/317454)?
False
Let d(t) = -8*t - 154. Let m(h) = -21*h**3 - 2*h - 1. Let p be m(1). Is 19 a factor of d(p)?
True
Suppose 284 = 4*u + 4*l, -2*u + 158 = -3*l + l. Suppose -c = -2 + 40. Let q = u + c. Is q a multiple of 37?
True
Let g = -299 + 324. Let f(k) = 20*k - 117. Is 12 a factor of f(g)?
False
Suppose -385*l - 392*l = -787*l + 109500. Does 6 divide l?
True
Is ((-260232)/48 - 6)/(2/(-4)) a multiple of 27?
False
Let m = 30 - 21. Let k(p) = 4*p + 2*p + p + 9 + m. Is k(6) a multiple of 18?
False
Let r(q) = -q. Let y(t) = 5*t - 10. Let g(c) = -6*r(c) - y(c). Let b be g(-11). Is 29 a factor of (1/1)/b - -79?
False
Let j be (-120)/(-28) - (-4)/(-14). Let i(d) = 30*d - 69. Does 3 divide i(j)?
True
Let s = -2455 - -6141. Is s a multiple of 50?
False
Let i = 297 + -69. Suppose -12 = 2*k - 20. Suppose k*h = -2*f + i, f = -3*h + 120 + 51. Is 12 a factor of h?
False
Suppose -4*u + 2004 = 2*u. Suppose -6*x = -458 - u. Is 35 a factor of x?
False
Suppose -g = 5*p - 407, 0 = 3*p + 40*g - 43*g - 237. Is p a multiple of 13?
False
Let f be -2 + 1 - (-3 - 728). Suppose v - f - 746 = -4*t, -4*v = -2*t + 756. Suppose 8 - t = -2*j. Is 48 a factor of j?
False
Let v(u) = 21*u**2 - u - 1. Let f be v(1). Suppose f*n + 1017 = 2689. Is 14 a factor of n?
False
Let u = -1712 + 4052. Is u a multiple of 10?
True
Suppose -48356 = -4*j - 3637 + 9841. Does 9 divide j?
False
Let k(z) = z**3 + 2*z + 5. Let d be k(0). Is 0 + d/4 + 15507/36 a multiple of 24?
True
Let q(y) = 3*y + 32. Let i be q(-11). Let l = -5 - -7. Is 24 a factor of (126 - 8) + i/(l/(-4))?
True
Let w be (-8)/2 + (-5 - 3). Does 3 divide (-18 - (-24 - w))/((-1)/9)?
True
Let l = 726 + -720. Suppose l*f - 1861 = 575. Is 4 a factor of f?
False
Suppose -11 - 7 = -3*o. Suppose o*t - 25 = -25. Suppose -3*h - 6*h + 1800 = t. Is 25 a factor of h?
True
Suppose h + 2117 - 59895 = -6*t, t - 9628 = -h. Is t a multiple of 79?
False
Let j(q) = 15*q - 298. Let f be j(20). Suppose t - 158 = -4*o, 4*t + 4*o = -0*o + 620. Suppose 5*x + 2*v - 269 = -f*v, 0 = -3*x + 5*v + t. Does 3 divide x?
False
Is ((10502/2)/(-38 + 36))/(2/(-4)) a multiple of 17?
False
Let p = 1423 - -11185. Is p a multiple of 172?
False
Suppose -5*k + 5*n - 8*n = -52267, -2*k = 3*n - 20896. Is 55 a factor of k?
False
Let u(d) = 9*d - 192. Let s be u(22). Suppose -s*m + 139 = -545. Is 3 a factor of m?
True
Suppose 5*l + 33706 - 82951 = -4*i, -12*l + 49196 = 4*i. Does 51 divide i?
False
Let x(k) = k**2 - 2*k - 9. Let b be x(5). Suppose -3*o = -3 - b. Suppose 10*h - o*h - 385 = 0. Is 11 a factor of h?
True
Let o be (-4 + 14)/((-7)/(14/(-4))). Suppose 4*u - 1000 = 2*y + 1588, -o*u - 5 = 0. Is 56 a factor of ((-3)/(-4))/((1 - 4)/y)?
False
Suppose 0 = -17*n - 23*n - 0*n + 302720. Is 22 a factor of n?
True
Let q(c) = -c**3 + 33*c**2 - 51*c - 55. Does 75 divide q(20)?
True
Suppose 11*b = 3*b - 144. Let y be (-15 - b)*4/(-6). Does 50 divide (-25)/4*(y - (26 - 4))?
True
Is 25 a factor of (-3742167)/(-308) + 2/(-14) + (-12)/(-48)?
True
Let w(z) = -444*z**2 + 2*z - 1. Let o(d) = 3551*d**2 - 17*d + 9. Let t(x) = -6*o(x) - 51*w(x). Is t(1) a multiple of 35?
False
Let k(o) = 70*o**2 - 171*o + 4. Does 5 divide k(4)?
True
Let p be (((-9)/4)/1)/((-27)/36). Suppose -4*r + p*r = -294. Is 14 a factor of r?
True
Suppose -2*z + 10 = z - 2*m, 20 = -4*m. Let h be 4 - (-43 - z)/(-1). Let g = h - -101. Does 24 divide g?
False
Let x(v) = 5122*v**2 - 