53. Let v = q + 513. Does 23 divide v?
True
Let g be ((-587)/(-2))/((-20)/40). Let h = g + 998. Does 33 divide h?
False
Let b = -104 + 135. Let o = b - 39. Let s = o - -79. Is s a multiple of 6?
False
Let h = 28664 - 2595. Is h a multiple of 47?
False
Let v = -5986 + 7103. Is 28 a factor of v?
False
Let s(q) = -2*q**3 + 2*q**2 - 9*q - 31. Let x(o) = 11*o - 158. Let r be x(14). Is s(r) a multiple of 55?
True
Is (-96087)/(-21) + (-196)/343 a multiple of 15?
True
Let g be (-16)/40 - 314/(-10). Suppose g*m = 27*m + 1820. Is m a multiple of 9?
False
Suppose 21*t - 45*t = -190*t + 776880. Is t a multiple of 30?
True
Let s(k) = -k**2 + 18*k - 9. Let j be s(10). Suppose -j = -x + 43. Is 38 a factor of x?
True
Let v(i) = 2*i + i**2 + 0*i**2 + 15*i - 14*i. Let a be v(8). Let l = a - 46. Does 7 divide l?
True
Suppose -6 = 3*i, -3*z + 69365 = -3*i + 2*i. Is 141 a factor of z?
False
Let r be (-1914)/(-18)*3 + -6. Let n = r - 193. Is n a multiple of 15?
True
Let y = -12704 + 13215. Is y even?
False
Let v = -2 - -5. Let x(n) = 9*n - 24367 - n + 24349. Is 2 a factor of x(v)?
True
Suppose 4*f = -8, 13*v + 58456 = 16*v - 2*f. Is v a multiple of 72?
False
Suppose 0 = 4*x + a - 130, -5*a + 47 = 3*x - 59. Suppose 3*o + 26 - x = 0. Does 15 divide 253 - (6/(-9))/(o/6)?
True
Is (-1 + 4)*((-71922)/(-63) - (-18)/(-63)) a multiple of 43?
False
Is 8 a factor of (-4 + 5)/((-11)/(-69102))?
False
Let z(a) = 12240*a**3 - 2*a**2 + 46*a - 44. Does 18 divide z(1)?
True
Suppose 152*f = 149*f + 55800. Suppose 5*b = 30*b - f. Is b a multiple of 29?
False
Suppose 4*g - g = -9, -5*g - 2871 = -3*c. Suppose 11*x + 3*x - c = 0. Let z = x + 236. Is 47 a factor of z?
False
Let t = 379 - 360. Suppose 0 = z + 4*i - 12, -3*z - 15*i = -t*i - 20. Is z a multiple of 4?
True
Suppose -3*a + 23 = -2*f - 24, 3*a - f - 52 = 0. Let x = a + -13. Suppose -3*w + 3*d + 276 - x = 0, -3*d - 176 = -2*w. Does 9 divide w?
False
Suppose 102 = 4*h + 66. Let k be (24/h)/((-12)/(-18)). Suppose x = -4*y + 140, -2*x = -k*x + 4*y + 256. Is 22 a factor of x?
True
Let x be (-6 - (4 + -2015)) + -1. Suppose 0 = 30*v - 32*v + x. Is 22 a factor of v?
False
Suppose 74*w - 61471 - 35987 = 0. Is w a multiple of 16?
False
Let y be (-5 - -1)*(-3)/(-5 + 2). Let p be -1 + 1/((-2)/y). Let u(b) = 149*b. Is u(p) a multiple of 19?
False
Let g be (-1 + 0)*(-80 + 1). Let z = -3334 + 3405. Suppose z*d = g*d - 864. Is d a multiple of 22?
False
Let b(h) = 7*h**2 + 14*h - 6. Let j be b(6). Let r(a) = 10*a**2 - a + 1. Let g be r(1). Suppose 15*z = g*z + j. Is z a multiple of 22?
True
Let x = 10872 + 1368. Is x a multiple of 15?
True
Let p(x) = -13*x - 16. Let u(c) = -2*c**2 - 30*c + 30. Let m be u(-16). Let y be p(m). Let j(o) = 4*o**2 - 27*o + 4. Is 19 a factor of j(y)?
False
Let z(y) be the first derivative of -7*y**2/2 - 17*y - 1. Suppose -31 = 5*h + 25 - 21. Does 8 divide z(h)?
True
Suppose 5*v - 275 = -5*b, -3*b - 39*v + 170 = -37*v. Does 16 divide (2304/b)/(-2 - 64/(-30))?
True
Let w = 136 - -22. Let r be (-26)/(-143) - w/22. Does 7 divide (r/(-4))/(14/112)?
True
Let r(n) = -20 - 3 + 9*n + 0*n - n**2 + 18*n. Is r(11) a multiple of 19?
False
Let i be (-117)/(-65)*5/3. Suppose -327 = -i*z - o, 2*o + 0*o + 6 = 0. Suppose z = p + 9*p. Is 11 a factor of p?
True
Is 68196/13 + (-10)/(-65) + 11 a multiple of 162?
False
Suppose 19*b - 3757 = 10721. Let r = -202 + b. Does 14 divide r?
True
Let s = 1895 - 420. Suppose -l = -6*l + s. Is 21 a factor of l?
False
Let c(n) = -5*n + 10. Let p be c(-26). Suppose -4*k + 190 = 8*y - 6*y, 3*k + 2*y = p. Does 10 divide k?
True
Suppose -4959 = -57*j + 3420. Is 3 a factor of j?
True
Let l = -620 - -611. Let d(c) = 4*c**2 - 11*c + 21. Does 37 divide d(l)?
True
Suppose -16925 - 5383 = -143*u. Does 39 divide u?
True
Suppose 3*w = 3*j + 105, 0 = 3*w + 4*j - 87 - 25. Suppose a = 5*a - w. Suppose -414 = -12*u + a*u. Is 13 a factor of u?
False
Let i = 6936 + -480. Is 51 a factor of i?
False
Let y = 52 + -55. Let g(p) = p**3 - 2*p**2 + 4*p + 9. Let l(f) = f**3 - 3*f**2 + 3*f + 10. Let t(j) = y*g(j) + 2*l(j). Does 19 divide t(-3)?
True
Let o(k) = 63*k**2 + 2463*k - 55. Is 47 a factor of o(-46)?
False
Suppose -3*d + p = -2279 - 5553, 5*d + 2*p = 13046. Is d a multiple of 15?
True
Suppose 0 = -32*a + 53727 + 52553 + 135896. Does 91 divide a?
False
Let y(n) be the second derivative of -n**5/4 - 7*n**4/12 + 7*n**3/2 + 17*n**2 + 184*n. Does 66 divide y(-7)?
False
Suppose -5*a - 40 = 5*c, 1 = -2*c + 2*a - 3. Let m be (-10)/(((-15)/(-9))/c). Is ((-16)/5)/((-12)/m) even?
True
Suppose -16*y = 6*y + 946. Let g = 199 + y. Is 13 a factor of g?
True
Suppose 12*p = 126 + 90. Is 50 a factor of (-12128)/(-144) - 4/p?
False
Suppose 0 = -5*i + u - 345, -3*i - 171 = -3*u + 36. Let p = i + 124. Does 7 divide p?
False
Let i = 28 + -10. Suppose -i*x = -21*x + 138. Let k = 67 - x. Is k a multiple of 4?
False
Let y be (-2670)/4*(-204)/170. Let b = y + -647. Does 2 divide b?
True
Suppose 180 - 43 = -b. Let w = b + 281. Let r = w - 132. Does 3 divide r?
True
Let w(l) = 2*l + 5 - 20*l - 8 + 16*l**2. Does 20 divide w(-4)?
False
Let x be (-1 + 5)*(5 + -3). Suppose x*v + 7 - 7 = 0. Suppose 2*s + 4*s - 246 = v. Is s a multiple of 16?
False
Let w(x) = -506*x + 226. Let m(v) = 101*v - 46. Let t(f) = -11*m(f) - 2*w(f). Is 3 a factor of t(-2)?
True
Suppose 20*w - 40656 = 11*w - 35*w. Is w a multiple of 45?
False
Suppose 5*n = -2*y + 17, -3 = y - 4*y. Suppose -2*h = n*h - 260. Suppose 2*w - 1 = 3*b + h, -4*w + 141 = b. Is w a multiple of 7?
False
Let j(t) = -3*t - 8. Let n be j(-4). Suppose h - n = -0. Suppose 3*b - 22 = 4*o, -b + 18 = -0*b + h*o. Does 4 divide b?
False
Let t(z) = -1172*z - 167. Does 13 divide t(-3)?
False
Let w be 18*(4 + -3)/(1 + 2). Suppose 7*o = w*o + 190. Let x = -108 + o. Does 45 divide x?
False
Suppose 0 = 4*g + 12, -2*w + 7*g + 238 = 5*g. Let r be 36*(-3 - (-63)/12). Let j = w - r. Is j a multiple of 7?
True
Let g(u) = 5*u**2 + 7*u + 84. Let q be g(-8). Suppose 10 = 3*w - w. Suppose 4*j + 2*r = 4*r + q, w*j - 446 = -3*r. Is 14 a factor of j?
False
Suppose -462*a + 463*a = 1, 4*r - 2*a - 71606 = 0. Is 253 a factor of r?
False
Let i = 8246 + 6442. Is 27 a factor of i?
True
Let d(a) = -28 - a**2 - 34 + 4 + 9 + 26*a. Is d(17) a multiple of 4?
True
Let h(p) = 13*p - 73. Let l be h(6). Let u be 3/(36/(-8))*-3. Does 40 divide ((1584/(-30))/u)/((-1)/l)?
False
Let o be ((-428)/(-6))/((-2)/(-9)). Suppose 1351 = 4*p - o. Is 19 a factor of p?
True
Let w = -24 + 28. Let t = w + -1. Suppose -c = t*c - 104. Does 3 divide c?
False
Let s(t) = t**3 + 51*t**2 - 76*t - 72. Does 98 divide s(-52)?
True
Let n(f) = f**2 + 5*f - 11. Let d be n(-10). Suppose -45*u = -d*u - 1134. Does 21 divide u?
True
Suppose 0 = m - 0*m + y - 9, 23 = 2*m + 3*y. Is 14 a factor of 72152/36 + 6 + m/(-18)?
False
Suppose l - 4186 = -5*g, 0 = 66*g - 69*g - 3*l + 2514. Is 334 a factor of g?
False
Let l(m) = -160*m**3 - m**2 + 5*m + 3. Let f be l(-2). Suppose -24*y - f = -27*y. Suppose 153 = -6*j + y. Does 15 divide j?
True
Suppose -78*c + 20394 = -97426 - 309854. Is 10 a factor of c?
False
Suppose -16 = 5*q - 46. Let l(o) = -o**2 + 8*o - 5. Let v be l(q). Suppose -416 = -k - v*k. Does 13 divide k?
True
Suppose 14*g - 648960 = -17*g - g. Is g a multiple of 20?
True
Let v(n) = -5*n**3 - 4*n**2 - 3*n. Suppose 0 = 153*b - 148*b - 90. Let x = b + -20. Is v(x) a multiple of 14?
False
Let x = 18049 + -813. Is x a multiple of 62?
True
Does 32 divide 2/1 - (66 + -284)?
False
Suppose 309082 + 82088 = 15*t. Does 118 divide t?
True
Let v = -399 + 399. Suppose 9*n - 140 - 445 = v. Is n a multiple of 2?
False
Suppose -5*h = -z + 2*z - 22, 4*z - 2*h - 66 = 0. Let x(q) = 1 + z*q + 9*q + 3*q**2 - 7 + 2. Is 3 a factor of x(-9)?
False
Suppose -34 = -8*i - 386. Is 17 a factor of i*55/(-20) - 2?
True
Let k(y) = -2*y**2 + 7*y - 14. Let x be k(8). Let s = 2 - 28. Let l = s - x. Is l a multiple of 20?
True
Let w be (24/(-16))/3 - 10/4. Let h be (1 + -3 - -14)/1. Let u = w + h. Is u a multiple of 3?
True
Suppose -3*s - 12 = 0, 103*o + 38 = 106*o - 5*s. Is 1*80*3/o a multiple of 3?
False
Let g be (-8*(-12)/16)/(1/1). Suppose -g*h = -57*h + 51969. Is h a multiple of 10?
False
Let x be (-4)/(0 + ((-10)/363)/5). Suppose 18 = r - x. Is 31 a factor of r?
True
Let q(b) be the first derivative of b**4