- ((-7)/2 + (-6)/4) a multiple of 22?
False
Let j(a) = a**3 + 84*a**2 + 78*a + 883. Does 23 divide j(-82)?
True
Suppose 45*s = 2642 + 59594 - 8236. Is s a multiple of 8?
True
Let j(l) = l**2 - 25*l + 1358. Is j(-89) a multiple of 10?
False
Let p(z) = -16*z + 125. Let k be p(7). Suppose k*a - 3766 = 1226. Does 24 divide a?
True
Let m(o) = 469*o**2 + 313*o + 2250. Is 64 a factor of m(-7)?
True
Let v = -502 - -515. Suppose v*x = -x + 7560. Is 26 a factor of x?
False
Suppose -m = -6*m - v + 5, 0 = -m + v + 7. Let c be -3*(23 + m)*(-4)/12. Suppose -c = -5*y + 125. Is 10 a factor of y?
True
Suppose 33210 = 5*b + 64*o - 66*o, 4*o = 0. Is b a multiple of 18?
True
Let j be (-3)/(-6) + 289/2. Let i = -1155 + 1255. Let s = j - i. Does 43 divide s?
False
Let d be ((-11739)/7)/(-3) - 1. Suppose 0 = -10*l + 462 + d. Is 17 a factor of l?
True
Let m = -5155 - -8015. Is m a multiple of 19?
False
Let j(z) = -z**2 - z + 18. Let c be j(0). Suppose 3*f = -f - 2*b + 20, 11 = -3*f + 5*b. Suppose -72 = -f*d + c. Is 30 a factor of d?
True
Let y(g) = 11*g - 30. Let w be y(3). Suppose -2*i + w*p = -6*i + 510, 5*i = p + 628. Does 14 divide i?
True
Let d = -100 + 64. Let g be (-3*4/d)/((-2)/(-12)). Suppose -5*p - 16 = -6*y + g*y, 4*p = 0. Is y a multiple of 4?
True
Let s be 399/77 + (-26)/143. Let w = -6 - -3. Let f = s - w. Is f a multiple of 2?
True
Let b(d) = -d**3 + 74*d**2 - 30*d - 55. Does 18 divide b(25)?
False
Suppose -24621 = -35*w + 63369. Does 6 divide w?
True
Suppose 60*n + 80 = 58*n. Let p = n + 20. Is ((-8)/p)/((-1)/(-510)) a multiple of 17?
True
Suppose -7*y + 36 = 5*y. Suppose u + 598 = y*u. Is u a multiple of 13?
True
Suppose -2*c = 2*g - 274, -c - 3*g + 119 = -8*g. Let d(a) = 3*a**2 - 4*a - 9. Let f be d(-6). Let k = c - f. Does 11 divide k?
True
Let f be (3/(30/1244))/((-60)/(-150)). Let h = -143 + f. Does 6 divide h?
True
Let r(c) = 62*c**2 + 128*c - 1542. Is 13 a factor of r(14)?
True
Suppose 4*d = -5*n - 4 + 30, 5*d - 16 = 2*n. Suppose 0 = f - n*b + 1, -4*f + b + 3 = 0. Does 11 divide ((-132)/16)/((-2)/(f*24))?
True
Suppose 0 = -5*v + 6*v - 376. Suppose 26 = -5*i + v. Is i a multiple of 2?
True
Suppose 2*k - 16054 = 243*n - 239*n, 0 = -2*n - 14. Does 8 divide k?
False
Let l(g) = -g**3 - 3*g**2 + 5*g - 6. Let d be l(3). Let j = -38 - d. Suppose -360 = -j*m + 3*m. Is m a multiple of 15?
True
Suppose -2*k = k + 327. Let q = k - -369. Is q a multiple of 26?
True
Let l(k) = k + 11. Let p be l(-9). Suppose p*b + 5 = b. Is 12 a factor of (b - (-8)/4) + 15?
True
Suppose -w = -56*w + 20570. Suppose l - 37*f = -42*f + w, 0 = -5*l + 5*f + 1930. Does 16 divide l?
True
Let p(l) = -14*l**2 + 3*l - 11. Let q be p(-3). Let c be q/4*(-2 + 0 - 2). Let x = -31 + c. Is x a multiple of 11?
False
Is 55 a factor of 9/((-144)/20)*1*-440?
True
Suppose -2*z + 70 = 4*a - 4, 2*a - 4*z = 22. Let q = -35 + a. Does 2 divide 58/18 - (-4)/q?
False
Let f = 28 - 23. Suppose -2*b - 330 = -2*d - b, -826 = -f*d + 3*b. Let y = -92 + d. Does 18 divide y?
True
Suppose -120 = -37*k + 139. Suppose -p + 178 = -b, -k*p - 5*b = -4*p - 550. Is p a multiple of 35?
False
Let h = 545 + 422. Let r = h - 491. Does 14 divide r?
True
Suppose 18907 + 22433 = i + 3*m, -m = 4*i - 165316. Is 144 a factor of i?
True
Let k(p) be the second derivative of -1/6*p**3 + 21/2*p**2 + 0 - 1/20*p**5 - 11*p - 1/12*p**4. Does 2 divide k(0)?
False
Let j(t) be the first derivative of -t**3/3 - 5*t**2/2 + 65*t - 46. Does 13 divide j(0)?
True
Suppose 46*f - 4357 = -r + 45*f, -4*r + 2*f = -17422. Is 18 a factor of r?
True
Let u be -3 + (-18 - 0)*(-3)/9. Let h be ((-12 + 3)/u)/((-6)/20). Suppose 5*p + 2 = m + 24, -4*p = 3*m - h. Does 4 divide p?
True
Let d(u) = -u**2 - 4*u + 69. Let o be d(6). Let z(w) = w**3 - 11*w**2 + 25*w - 10. Is 13 a factor of z(o)?
False
Suppose -216648 = -131*s + 80*s. Is s a multiple of 59?
True
Let g be (-5)/20*0 + -240. Let p = -189 - g. Does 4 divide p?
False
Suppose -2*v + 10405 = 3*r + 1849, 2*v = 3*r + 8580. Is v a multiple of 20?
False
Suppose 3*d - 4*w - 216 = 0, 720 = 18*d - 8*d + 2*w. Is d a multiple of 31?
False
Suppose 11*b = 15552 + 8032. Suppose 6*n - 3976 - b = 0. Does 27 divide n?
False
Suppose -2*u + 266 = 3*r, 0*u - 2*u + 2*r + 276 = 0. Let q be 95/(-2)*24/12. Let c = q + u. Does 13 divide c?
False
Let k be 66/15*25/10 + -3. Suppose -k*b + 6286 = 1006. Is 11 a factor of b?
True
Suppose 4*u + 4*i = 148, -u - 2*i + 36 = -0*u. Suppose u*p = 42*p - 1288. Is p a multiple of 40?
False
Let q = 8736 + 8121. Is q a multiple of 53?
False
Suppose 2*y + 37*s = 39*s + 25862, -s - 3 = 0. Is y a multiple of 32?
True
Let z(k) = k**3 + 4*k**2 - k - 5. Let w be z(-3). Let g be ((-4)/(-6) - w/(-3)) + -71. Let l = -47 - g. Is 2 a factor of l?
False
Suppose 57*k - 54961 - 133345 = 356614. Is 20 a factor of k?
True
Let i = -338 - -225. Let d = 128 - i. Is 4 a factor of d?
False
Let i be (-37)/((2 + 1)/6). Let s = 177 - i. Is 4 a factor of s?
False
Suppose -p = 5*n - 18750, -5*p - 3*n + 75034 = -p. Is 14 a factor of p?
True
Suppose -5*k - 3*h = -32111, -252*h - 12834 = -2*k - 248*h. Is 162 a factor of k?
False
Suppose 0 = y - d - 29, 5*y - 4*d - 116 = 26. Let t = -14 + y. Is 41 a factor of ((-9)/4)/(18/t)*-82?
True
Suppose -7*i = -10*i + 4*y + 129248, -4*i = 4*y - 172284. Is i a multiple of 119?
False
Let h = -56 - 19. Let r = -234 - h. Does 27 divide (-3 + r)/((-1)/1)?
True
Let i(f) be the first derivative of 2*f**3/3 - 3*f**2 - 4*f + 11. Let w be i(7). Suppose -62 = -2*b + y, -4*b - 4*y = -48 - w. Is b a multiple of 29?
True
Let q = -5076 - -16600. Is 86 a factor of q?
True
Suppose 20 + 1 = 3*f + 3*i, 5*f + 4*i = 39. Suppose f*p - 3*p - 4360 = 0. Does 40 divide p?
False
Suppose -4*a + 2*a + 2 = 0. Suppose 5*i = 3*y + 42, -4*i + 15 = 2*y - a. Suppose i*m - 11*m + 245 = 0. Does 8 divide m?
False
Let z(y) = -53*y + 98*y + 3 - 54*y. Let m be z(0). Suppose 0*j - 2*j = m*c - 334, -5*c - 3*j + 555 = 0. Is c a multiple of 12?
True
Suppose -3418*w = -3363*w - 258775. Does 37 divide w?
False
Suppose -16*u + 12*u - 5*d + 118972 = 0, 0 = -3*u + 5*d + 89229. Does 49 divide u?
True
Suppose -92*w + 45*w + 1149385 = 0. Is w a multiple of 73?
True
Let d = -87 - -344. Suppose d = -5*i + 1157. Suppose 3*h + 2*r = 74 + 34, i = 5*h - 4*r. Is 12 a factor of h?
True
Let y = -10356 - -17561. Is 43 a factor of y?
False
Let x = -1449 - -14722. Is 6 a factor of x?
False
Does 16 divide ((-51)/(-34))/(1/6642)?
False
Let o = 33 + -33. Let p be -6 - (-2 + o) - -6. Suppose 0 = -2*b + y + p*y + 24, -4*b - 5*y = -4. Is b a multiple of 6?
True
Let t(f) = -17669*f**3 - 14*f**2 - 42*f - 26. Does 36 divide t(-1)?
False
Suppose 0 = 115*c - 37*c + 21*c - 58806. Is 3 a factor of c?
True
Let h(v) = v**3 - v**2 + 8*v - 20. Let w be h(13). Suppose -4*m = -2*x - w, 2*m - 2*x - 780 = 272. Does 16 divide m?
False
Let w(q) = 3*q + 10. Suppose -5*m - 4 = -14. Let v = 8 + m. Is 10 a factor of w(v)?
True
Let z(u) = 943*u - 5755. Does 15 divide z(20)?
False
Does 2 divide (275/44 - 14)*-224?
True
Let x be (-53)/53*(-4)/2. Is 3 a factor of (-60 - -188)/(1*x)?
False
Suppose 0 = 52*o + 188*o - 309891 - 52029. Is o a multiple of 26?
True
Suppose -56984*t + 7032 = -56976*t. Is t even?
False
Let g be -11*(67 + 1) - -4. Let c = 1948 + g. Is 39 a factor of c?
False
Let l(m) = 162*m - 882. Is 18 a factor of l(22)?
True
Let s = -577 + 453. Let m = 412 + s. Does 6 divide m?
True
Let a(s) be the second derivative of s**4/12 + 5*s**3/6 - 21*s**2/2 - s. Suppose -5*t - 10 = -3*z, 8*t - 6*t = 2. Is a(z) a multiple of 22?
False
Suppose 6*x + 209 = 233. Suppose 0*a + x*a - 16 = 0, 5*j - 5*a = 390. Does 3 divide j?
False
Let b(y) = y**3 + 27*y**2 + 92*y + 8. Suppose 16*h - 15 + 79 = 0. Is b(h) a multiple of 3?
False
Let d = -410 - -414. Suppose p - 3*t = 847, d*p - 3668 = 3*t - 271. Does 8 divide p?
False
Let f(l) = -3*l**2 + 16*l - 13. Suppose 22*q = -14 + 102. Is 3 a factor of f(q)?
True
Let x = -506 + 714. Suppose -3*k - 148 - 143 = 0. Let m = k + x. Is 14 a factor of m?
False
Let h = -35 + 221. Let y = h - 64. Is y a multiple of 6?
False
Let s(f) = 881*f**2 - 15*f + 6. Is s(6) a multiple of 19?
False
Suppose -13246 - 23896 = -7*q. Does 14 divide q?
True
Suppose -27*s + 24*s = 78. Let w(y) = 2*y**2 + 27*y + 202. Is 29 a factor of w(s)?
False
Is ((-3)/(-6) - (-78)/36