ven?
False
Suppose 130 = 5*l + 4*i, 3*l + 2*i - 44 = 34. Suppose -5*b - 3696 = -l*b. Is b a multiple of 13?
False
Suppose 10 = -2*m, 6*m + 97 = t + 2*m. Suppose 0 = k - 786 + t. Does 59 divide k?
False
Suppose -13*s + 42*s - 64423 - 72950 = 0. Does 28 divide s?
False
Suppose 245*b - 305*b + 488672 + 904108 = 0. Is b a multiple of 41?
False
Let f(j) = -j**3 - j**2 - j + 1. Let h(u) = 4*u**3 + 6*u**2 + 6*u + 155. Let q(r) = 5*f(r) + h(r). Is 20 a factor of q(0)?
True
Suppose -3*x - 244 = 4*y, -9*y - 398 = 5*x - 11*y. Let w be (-130)/(-3)*(1 - -2). Let z = x + w. Is 10 a factor of z?
True
Let x(w) = -2*w**2 - 10*w + 16. Let c be x(-8). Is (c + -3 + 5)*-6 a multiple of 20?
True
Let m(w) = 4*w + 6. Let z be m(2). Suppose -3*f - z*f + 238 = 0. Is f a multiple of 14?
True
Suppose -47*i - 3*y = -50*i + 282, -2*y + 358 = 4*i. Suppose -97*c + 1836 = -i*c. Is 34 a factor of c?
True
Let l = 2332 + -1440. Is 10 a factor of l?
False
Suppose -2*p + 1485 = 3*z, 8*p - 2255 = 5*p + z. Is 30 a factor of p?
True
Does 10 divide -1*400*(-549)/122?
True
Let h(w) = -65*w - 3. Let i be h(2). Let q = 271 + i. Does 27 divide q?
False
Let f = 45491 - 23145. Does 53 divide f?
False
Let v be -14*(4 + -3)/(-1). Suppose -36*m - 116 = -35*m. Let d = v - m. Is d a multiple of 19?
False
Let b(l) = 7*l**3 + 15*l**2 - 37*l + 18. Let g(f) = 15*f**3 + 31*f**2 - 75*f + 35. Let i(j) = -13*b(j) + 6*g(j). Is i(-17) a multiple of 17?
False
Let t = -4017 + 6117. Is 35 a factor of t?
True
Let r = 25363 - 17782. Does 21 divide r?
True
Suppose 6*l - 62 + 146 = 0. Does 49 divide (-4 + 469/l)*(-116)/6?
False
Does 11 divide 7412/1*66/24?
True
Let r = 11 - 17. Let t be ((-6)/5)/((-6)/40). Is (18/(-4))/(r/t) a multiple of 6?
True
Let b(y) = y**3 - 5*y**2 - 4*y + 3. Let v be b(6). Suppose 0 = -v*m + 948 + 192. Let q = m + -31. Is 5 a factor of q?
True
Let t(w) = w + 33. Let m be t(-15). Let d(f) = -17*f + m*f + 5 + 13 - 1. Is d(9) a multiple of 10?
False
Let t(q) = 11*q + 149. Let z be t(-13). Suppose -10*h + 5*p + 1076 = -z*h, -p = 3*h - 788. Is 4 a factor of h?
True
Let n = 3268 + -2182. Let q = -420 + n. Is 74 a factor of q?
True
Let h(b) = b**3 - 12*b**2 + b - 10. Suppose -15*t + 10*t = -60. Let l be h(t). Is (l/(-4))/((-8)/672) a multiple of 14?
True
Suppose -7*c + 36 = -2*o - 2*c, -2*c - 92 = 3*o. Is ((-40)/7)/(64/o - -2) a multiple of 10?
True
Suppose 5*a = 6*a - 2. Suppose 3*o = -o - n + 1411, 0 = 5*o + a*n - 1760. Suppose -3*t + o = 42. Is t a multiple of 26?
True
Suppose 754 - 1994 = -2*h + 4*o, -4*o + 20 = 0. Does 14 divide h?
True
Suppose -22*m = 964 + 14612. Let g = m - -1188. Is g a multiple of 19?
False
Let j be (3 - (-6)/5)/(14/70). Is (-448)/j*21/(-4) a multiple of 16?
True
Let s(b) = b**2 - 43*b + 580. Does 109 divide s(-56)?
False
Let g be ((-12)/(-15) + 1)/((-3)/10). Is (20/72 - g/27)*538 a multiple of 23?
False
Let k(g) = -3*g**3 - 611*g**2 - 461*g - 239. Does 18 divide k(-203)?
True
Suppose 1099 = -20*i + 27*i. Suppose 21*o = i - 10. Is 2 a factor of o?
False
Suppose -26 = -2*v + 5*n - 10*n, 2*v - 4*n = 8. Suppose 4*i = v, 3*i + 2199 = 5*g - 0*i. Does 49 divide g?
True
Let r be (-47 + -1)*(0 + 5/(-4)). Let b be (r/25 - (-6)/(-15))*-25. Let t = b + 106. Does 28 divide t?
True
Let r be -10*2*6/(-12) - -2. Suppose 0*n - 4*n = -2*c - 18, r = 4*n - 4*c. Suppose n*j - 215 = j. Is j a multiple of 12?
False
Let n(t) = -4*t**3 + 2*t**2 - 11*t - 26. Let r be n(-2). Suppose -r*x + 39*x = a + 1068, a = 5*x - 1780. Is x a multiple of 8?
False
Suppose 0 = 3*k - 7*t + 2*t - 14, 5*t = 2*k - 6. Suppose -k*c - 2 = -9*c. Is (-1)/4 + c/((-56)/(-2191)) a multiple of 13?
True
Let b be 475/100 + 2/8. Suppose -b*u + 1565 = 4*z, 7*z - 386 = 6*z + 4*u. Is z a multiple of 10?
True
Let k(a) = 1205*a - 13. Let x(y) = 2*y + 1. Let i(w) = k(w) + 3*x(w). Is 12 a factor of i(1)?
False
Let v = 414 + 120. Let h = v + 194. Is h a multiple of 25?
False
Suppose 0 = -2*y + 31*k + 58419, -73*y + 4*k = -71*y - 58230. Does 69 divide y?
False
Suppose -89 = -2*n + 33. Suppose 23 + 322 = 5*s. Suppose -5*o + n = -s. Is 11 a factor of o?
False
Let y = 5202 - 2486. Let w = y + -1789. Is w a multiple of 9?
True
Let j(l) = 5*l**2 - 4*l + 1. Let b be j(1). Suppose b*y = -y + 3. Does 13 divide ((-2)/(-8)*y)/(39/26052)?
False
Suppose 0 = 65*h - 459929 + 68694. Is 13 a factor of h?
True
Let y = -32294 - -49892. Does 7 divide y?
True
Let m(j) = -24*j**2 - 3*j + 1. Let n be m(1). Let c = -18 - n. Let b = c - -21. Does 29 divide b?
True
Suppose 8*o - 5*c = 3*o + 270, -c = 2*o - 96. Suppose -2*x - 8 = 2*x, 0 = -3*g - 4*x - o. Does 20 divide (-4 - 200/(-15))*(-180)/g?
True
Suppose -45*o = -18*o - 243. Suppose -o*m - 2586 = -15*m. Is 75 a factor of m?
False
Suppose -345 = 6*i + 921. Let r = i + 463. Let c = r - 117. Is c a multiple of 17?
False
Let y = 3514 - 389. Suppose -260*m + 265*m = y. Is 17 a factor of m?
False
Let y = -41 + 44. Is (y - 116/16)*32/(-1) a multiple of 6?
False
Suppose -a = 2*a - 21. Suppose -32*s + 96 = -8*s. Suppose s*x = a*x - 48. Is x a multiple of 4?
True
Let w be 1/(-2)*(-30 - -30). Suppose 191*i - 186*i - 670 = w. Is i a multiple of 3?
False
Let d = 70 + -65. Let x(o) = -5*o - 14. Let r be x(d). Let w = 99 + r. Is w a multiple of 11?
False
Suppose -34*a = -331*a - 2826810 + 15310017. Does 11 divide a?
True
Let n = 16777 + -8377. Is 20 a factor of n?
True
Let c = 1534 + -1531. Let f(n) = n - 2. Let m be f(6). Suppose c*z + 115 = 2*k, 131 = -m*k + 2*z + 381. Does 13 divide k?
True
Suppose 50280 = 3*o + 18*t - 27*t, 3*t = 0. Is 10 a factor of o?
True
Suppose -6*x + 29 = w - 3*x, -x = -5*w + 97. Does 104 divide 6/3*(-22)/w*-785?
False
Let n = 77248 + -44164. Is 12 a factor of n?
True
Is 23/(184/(-24)) - -2892 a multiple of 84?
False
Let x(b) = -b**2 - 18*b + 3. Let o be x(-18). Suppose o*k + 444 = 10*r - 9*r, 440 = r - 2*k. Is r a multiple of 24?
True
Does 2 divide (5835/(-2))/(-3) + 153/(-102)?
False
Let z(f) = 1228*f - 3. Let t be z(1). Suppose -5*h + 25 + t = 0. Suppose 5*i + 5*y - h = 0, 5*i - 5*y = -y + 205. Is 4 a factor of i?
False
Suppose -31451 = -26*i + 146909. Is 14 a factor of i?
True
Let c be (4 - 4) + 5*2. Let x(s) be the third derivative of 3*s**4/8 - 14*s**3/3 - 1945*s**2. Is x(c) a multiple of 3?
False
Does 70 divide (6615/(-6))/((-60)/160)?
True
Let d(h) = 42*h**3 + 14*h**2 - 9*h - 24. Is 63 a factor of d(5)?
False
Let z be ((-67)/(-5) - -1)*(-555)/(-6). Let q = z + -826. Is 72 a factor of q?
False
Suppose -8*q + 23*q - 164502 = -23*q. Does 13 divide q?
True
Let q(n) = 3*n**2 + 26*n - 1. Let x be q(11). Let b = x - 350. Is 19 a factor of b?
False
Let j(u) = -u**3 + 14*u**2 + 17*u + 22. Let i(y) = 2*y + 5. Let k be i(4). Is 55 a factor of j(k)?
False
Suppose 0*d = 3*o + 4*d + 113, 0 = -2*o - 4*d - 78. Is o/(-210) - 7558/(-12) a multiple of 14?
True
Does 11 divide 3544*108/48 + (-10)/1?
True
Is 39 a factor of (-91)/(-14)*(8 - 5)*66?
True
Let p(x) = 9*x**2 - 10*x + 1. Suppose 4*j = 9*j - 50. Let f = j + -7. Is p(f) a multiple of 10?
False
Let m be (6 - 19/4)*4. Is 234 + 1*(m + 1) a multiple of 48?
True
Suppose 0*o - 3*c = -o + 1001, -c = 2*o - 2002. Let x = o - 809. Does 8 divide x?
True
Let k(q) = 195*q - 1891. Is k(27) a multiple of 14?
True
Let v be ((-273)/26 - -2)/((-1)/68). Let c = v + -500. Is 8 a factor of c?
False
Suppose -y + 2*s - 8 = 6, -y + 5*s - 5 = 0. Suppose -3*z = 4*k + 2011 + 953, -k - 4*z = 728. Is k/(-20) + 4/y a multiple of 13?
False
Let r(j) = j**2 + 62*j + 1185. Does 28 divide r(67)?
True
Is 47 a factor of ((-5785)/(-3) + (-10)/30)*13/4?
False
Let w(k) = -k**3 + 19*k**2 - k + 24. Let o be w(19). Suppose 3*g = 3*c + 66, o*c = 10 - 30. Does 9 divide g?
True
Suppose -44*c + 5323 = -13641. Is c a multiple of 95?
False
Let u(k) = -41*k + 1256. Is u(23) a multiple of 8?
False
Suppose 3*b - 140 = -a, 4*b = 24 - 8. Let z = a - 220. Let n = z - -123. Does 31 divide n?
True
Let b(i) = i - 3. Let s(z) = 10*z + 72. Let a(f) = 5*b(f) + s(f). Is a(6) a multiple of 10?
False
Let r = 164 - 153. Suppose -r*c + 905 = -316. Does 5 divide c?
False
Suppose 0*l + 5*l + b = -41, 2*l - 5*b + 11 = 0. Let c be 16/l - (6/3 - -143). Is 42/c + (-324)/(-7) a multiple of 23?
True
Suppose 9449 + 101183 = 23*c - 119943. Does 25 divide c?
True
Suppose -27*n = -28*n + 87. Suppose 5*r - 50 = -2*s + n, 3