iple of 4?
True
Suppose 3*y + 16282 = 2*d, -110*d + 108*d - y = -16282. Does 13 divide d?
False
Let s = -10 - -448. Suppose 8*u = s + 378. Does 30 divide u?
False
Suppose -3*v - 18 = 0, -39*t - 5*v - 45935 = -44*t. Is 12 a factor of t?
False
Let o = 3534 + -3415. Is o a multiple of 2?
False
Let y = -420 - -438. Suppose 61 = 3*c + o, -y*c + 17*c = -4*o - 42. Is c even?
True
Suppose 0 = 144*y - 1011262 - 2636785 - 43537. Is 116 a factor of y?
True
Suppose 0 = -4*b - 2*h + 498, 0*b + 2*h = -3*b + 372. Let n = 210 + b. Suppose -2*x = -5*q + n, 4*x = -q + 6*q - 332. Does 9 divide q?
False
Suppose -h + 3870 = 1443. Suppose -3*y - 3*q = -h, -3*y - 65*q + 61*q + 2432 = 0. Is y a multiple of 67?
True
Suppose -4*s + 16 = -0*s, 2*s - 4 = 2*z. Suppose -5*h - m - 68 = 0, 3*m = -0*h - 3*h - 36. Is 4 a factor of h/8*-2*z?
False
Let y be (-13)/(-156)*1146 - (-1)/2. Suppose y + 480 = 3*k - 3*b, k - 188 = 3*b. Does 11 divide k?
False
Suppose 40*i - 43*i = -5376. Suppose -278*u - i = -285*u. Does 20 divide u?
False
Let m(k) = -12*k + 896. Let l be 3 + 4 + (-6 - 1). Does 64 divide m(l)?
True
Let k = -112 + 115. Suppose 0 = -k*r + 6*r - 267. Is 6 a factor of r?
False
Suppose -21442 = 65*a + 2153. Let v = a + 597. Does 26 divide v?
True
Suppose -5*a + 3*b = b + 1075, -2*a - 3*b = 411. Let l = 605 + a. Does 56 divide l?
True
Suppose 5*j = -694 - 3831. Let b = -440 - j. Is 5 a factor of b?
True
Let d be (-11)/(-66) + 107/6. Let q be (-2 + 0 + 1)*d/(-2). Suppose 21 + q = 2*l. Is 11 a factor of l?
False
Is 10 a factor of (-2)/((68/(-7221))/34)?
False
Let p = -557 - -566. Does 42 divide 15/p - (-35926)/66?
True
Let o = -4888 + 9010. Suppose o - 4922 = -t. Does 25 divide t?
True
Suppose -78*d + 285268 = 405839 - 3046975. Is 26 a factor of d?
True
Let b(y) = 28*y + 30. Let m be b(6). Let h = -73 + m. Is h a multiple of 25?
True
Let g be (-10)/((-10)/7) - 4. Let o(f) = 11*f**2 - 2*f + 6. Let y(l) = -6*l**2 + l - 3. Let x(u) = -4*o(u) - 9*y(u). Does 29 divide x(g)?
False
Let j be -4*(-5 + 10 + -4)*-5. Does 55 divide ((-125)/j*2)/((-6)/396)?
True
Let g = -76 - -80. Suppose 0 = -4*j - 3*h - 363, j + g*h = 3*j + 198. Let b = j + 167. Is 6 a factor of b?
False
Let i = -2 - -42. Suppose i = -5*c - 25. Let l(a) = -a**3 - 14*a**2 - 13*a + 22. Is 2 a factor of l(c)?
True
Let j(s) = s**3 - 23*s**2 + 40*s + 47. Let w be j(21). Suppose -21*d = -w*d - 6144. Does 48 divide d?
True
Is 56 a factor of (67 - 56) + 4794/2?
True
Suppose 0*s = 4*g - 5*s + 3, -5*s - 15 = 5*g. Does 4 divide 27/1*14/(-21)*g?
True
Let w = 47 - 36. Suppose -w*t = -7146 + 370. Suppose -3*h + 3*j + 384 = -0*h, 0 = -5*h - 3*j + t. Does 12 divide h?
False
Is 17 a factor of 1380/(-300) - 2*(-3)/(-15) - -2056?
False
Suppose 21*x - 2175800 = -7*x - 22*x. Is 172 a factor of x?
True
Suppose 6*z = 11*z - 3985. Does 101 divide z?
False
Let f = -43 - -58. Suppose 0 = f*k - 3835 + 235. Does 77 divide k?
False
Suppose 14*i - i = -14235. Let s be (i/6)/5*(-8 - -6). Let j = -43 + s. Is j a multiple of 15?
True
Let g = 54 - 33. Let j = g + -1. Let o = 62 - j. Does 5 divide o?
False
Let p = -115 + 119. Suppose 0 = -5*o - 5*r - 45, 33 = -6*o + p*o - 5*r. Let f = 191 - o. Is f a multiple of 15?
True
Suppose -17*r + 5*r = -24. Suppose -5*o - 37 = -3*h + 7, 2*o + r = 0. Let x = h + 65. Does 8 divide x?
False
Suppose -8*p = -0*p + 4*p. Suppose 345 - 19 = a - 2*q, p = -a - q + 311. Is a a multiple of 9?
False
Let t(o) = o**2 - 5*o + 25. Let s = -74 - -74. Suppose s = -4*c - 3*p + 31, 5 = 2*c - 0*c + 5*p. Is t(c) a multiple of 3?
True
Suppose 0 = 252*t - 222*t - 202230. Does 63 divide t?
True
Suppose -4*f = -8*f - 16, 338 = 5*v + 3*f. Let d = v - 70. Suppose d = -2*c - 5*a + 155, c - 2*c + 61 = -3*a. Does 13 divide c?
False
Suppose -5*n - 4*d = -8084, 2482 = -5*n + d + 10586. Is 30 a factor of n?
True
Suppose 292*u = 288*u + 92. Let d(v) = -v**2 + 21*v + 123. Is d(u) even?
False
Let i(a) = 50 - a**3 - 34 - 10*a - 8*a**2 - 5*a - 31. Let g be i(-6). Suppose s = g*o + 31, -3*s + 69 = -0*o - o. Is s a multiple of 11?
True
Is 24 a factor of ((-147)/14)/(33/(-4752))?
True
Is 13 a factor of (4/(-3) + 1)/(37/(-1472637))?
False
Let c be 9 + (-9 - -2 - -3) - -18. Suppose -c = 5*v - 1253. Is 6 a factor of v?
True
Let y(z) be the second derivative of -z**5/20 + z**4/4 - 7*z**2/2 + 10*z + 4. Is 6 a factor of y(-3)?
False
Suppose 0 = -460*z - 2301909 + 13522229. Is 44 a factor of z?
False
Let s(n) = 3*n**2 - 3*n + 3. Let t be s(5). Let r = -5177 + 5182. Suppose -3*i + t = -3*j, 4*i = -r*j + 3 + 45. Does 17 divide i?
True
Let g be (25/30 - 1) + (-7)/(-6). Let q be g*2*(-148)/(-8). Suppose o = q + 137. Does 29 divide o?
True
Let v = 4082 - -5772. Does 7 divide v?
False
Let h be (4782*(-2)/(-16))/(6/16). Suppose 222 = -2*s + 3*x + 1292, -3*s = x - h. Is s a multiple of 14?
True
Let z(s) = -27049*s**3 + s**2 - 19*s - 21. Is 14 a factor of z(-1)?
True
Suppose -41280 = -620*h + 610*h. Is 32 a factor of h?
True
Let m be 8/6*(10 + 407/(-44)). Is 8 a factor of m - (6 + -7 + -661)?
False
Let k = 23844 + -10994. Does 50 divide k?
True
Let f(z) = 2*z**3 - 9*z**2 - 10*z + 1. Suppose -47 = -5*m + 2*q - 0*q, 0 = -4*m - 5*q + 31. Let j be f(m). Suppose 8*p = 12*p - j. Is p a multiple of 32?
True
Let u(w) = 13*w**2 - 29*w + 110. Is u(-22) a multiple of 55?
True
Does 124 divide 39*14267/132 - (33/(-12) + 2)?
True
Suppose 4*m + 6 = i, 5 = 21*i - 20*i - 3*m. Suppose 4*n = -2*f + 656, -i*f = -n - 0*n - 681. Does 26 divide f?
True
Let a(w) = w**3 + 13*w**2 - 17*w - 3. Let y be a(8). Suppose -y = -4*q + 183. Let i = q + -245. Does 17 divide i?
True
Let l = -834 - -762. Is 7 a factor of (-1)/3 + (-25728)/l?
True
Let k = 1 + -40. Let y = 40 + k. Suppose -5*w - y - 138 = -2*t, 4*t = 5*w + 283. Is t a multiple of 12?
True
Let z = 413 + -373. Does 3 divide (-14)/(-35)*z - -3?
False
Let j be (((-10)/3)/((-4)/6))/1. Suppose -3 = j*q - 13. Suppose 0 = -5*a - q*y + 252, -2*a - 2*a = 4*y - 204. Is 7 a factor of a?
False
Is 44 a factor of (-1 - 21)*(-25)/(425/136)?
True
Let h(t) = 1352*t - 2. Let d be h(1). Suppose -14*u + d = -8*u. Suppose -3*b - u = -981. Is 15 a factor of b?
False
Let g be 39*(-6)/45*(-10)/4. Suppose -g*a + 220 = -9*a. Is 11 a factor of a?
True
Let f(a) = 1461*a - 913. Is f(5) a multiple of 94?
True
Suppose 0 = -4*d - 8, 12*m + 5*d = 8*m + 17110. Is 78 a factor of m?
False
Suppose 5*k + 3*t = -86, 0*t + 8 = -k + 4*t. Let c be ((-4)/k)/(4/32). Suppose -2*r + 12 = c, 2*l = -2*r + 114. Does 24 divide l?
False
Suppose 5*f + 30 = 4*s, s - 10*f + 6*f - 13 = 0. Suppose -5*o = -4*y - 2364, -3*o + s*y = 6*y - 1415. Is o a multiple of 59?
True
Let o(y) = -y**3 + 18*y**2 + 7*y - 10. Let z be o(8). Let q = z + -323. Is q a multiple of 43?
False
Is 348*232/(-16)*5*(-3)/9 a multiple of 145?
True
Let k = 1 + 1. Let m(y) = -57*y**3 + 7 - 3*y - y**k + 2*y + 2*y - 6. Is 14 a factor of m(-1)?
True
Is 17 a factor of (216/18 + 41453)/1?
False
Suppose 10*a + 25860 = 2*m, -4596 = m + a - 17562. Is m a multiple of 72?
True
Let y(a) = -122*a + 6. Let z be y(0). Let n = 6 + 1. Suppose z*b - 2106 = -n*b. Does 27 divide b?
True
Suppose -2391*m - 10635 = -2396*m. Is 90 a factor of m?
False
Let y(m) = m**3 + 23*m**2 - 27*m + 106. Let x be y(-30). Is 26 a factor of 2*x/32*-2?
False
Let s be 2 + -4 + 5 + 2. Let t(l) = l**2 - 6*l + 5. Let j be t(s). Suppose j = 2*r - y - 145, -2*y - 1 = -11. Does 14 divide r?
False
Let x be (12/18)/((-1)/(-30)). Let u = x + 35. Is 21 a factor of u?
False
Suppose 3*f - 11 - 4 = 0. Suppose -2*x = b - 227, 0 = 5*x + 5 + f. Let t = b + -113. Is 18 a factor of t?
False
Let h be ((-9)/4)/(7 - (-344745)/(-49248)). Suppose 0 = 18*q + q - h. Is q a multiple of 27?
True
Let u be (6/(-4))/(6/(-16)). Suppose -351*v + 241384 = -65*v. Suppose u*h + 3*z = -0*h + v, 2*h = -2*z + 424. Does 9 divide h?
False
Let t(x) = -x**3 - 30*x**2 + 32*x + 32. Let n be t(-31). Let m = -152 + 47. Is 42 a factor of ((-136)/85)/(n/m)?
True
Suppose 25*h = 18*h. Suppose -27*k + 21*k + 1062 = h. Is k a multiple of 7?
False
Let y(g) = 15*g - 29. Let f be y(3). Suppose -f*p + 1629 = 621. Does 21 divide p?
True
Is 40 a factor of 41977/4 + (-54)/216?
False
Suppose -m - 2 = w, 0 = -4*w + 21*m - 18*m - 22. Is 133718/148 + -2 + (-14)/w a multiple of 30?
False
Is ((-186)/(-30))/(18/7470) a multiple of 21?