True
Let a(y) = -14*y**2 - 2*y + 28. Let q(c) = -c**2 + 2. Let g(z) = 2*a(z) - 36*q(z). Does 8 divide g(-6)?
True
Suppose -m - 22 = -12*m. Suppose 4*w - 508 = m*d, -3*w - d - 199 = -580. Does 25 divide w?
False
Let m(b) = 5*b**2 + 96 + 64*b - 90*b - 3*b**2. Does 47 divide m(20)?
True
Let i = -126 - 91. Let v = -256 - -577. Let q = i + v. Does 13 divide q?
True
Let p(b) = 2*b + 28. Let o be p(-12). Suppose -4*i + o = -0*i, 5*j = i + 99. Suppose 0 = -5*k - j, y - k + 0*k = 34. Is y a multiple of 10?
True
Suppose -3*y + 2*u + 210 = -8120, -3*y = -5*u - 8324. Suppose 0 = -0*p - 6*p + y. Does 69 divide p?
False
Suppose -985 = 5*c - 5565. Let q = c - 220. Is q a multiple of 12?
True
Suppose -63344 = -45*g - 21494. Is g a multiple of 30?
True
Suppose -92*a - 67707 = -2*l - 95*a, -45 = -5*a. Is l a multiple of 86?
False
Suppose 174680 - 67504 = 3*t + r, -2*t - 3*r = -71460. Is t a multiple of 39?
True
Let c(q) = 537*q**2 - q - 5. Let g be c(-2). Suppose 13*o = 7059 - g. Is o a multiple of 42?
True
Suppose -81*g + 77*g = -252. Let q be 1 + (-2)/3 + 231/g. Suppose 5*c + 580 = 4*u, -q*u - 2*c + 45 = -507. Does 14 divide u?
True
Suppose 5*t - 3*s + 13 = -20, -3*s - 30 = 2*t. Suppose -2*o - 252 = -6*o. Let p = t + o. Does 11 divide p?
False
Suppose 3*y - 8153 = -4*t + 499, t - 14437 = -5*y. Is 10 a factor of y?
False
Suppose 63*p - 47*p - 283696 = 0. Is p a multiple of 21?
False
Let i(q) be the first derivative of -3*q**4/4 + 3*q**2/2 - 2*q + 1. Suppose f + 6 = -2*s, 3*f = 4*s + 2*f + 18. Does 28 divide i(s)?
False
Let b be -2 - (-144)/15 - (-40)/100. Suppose 6*w - 2*n = b*w - 1082, -5*w = -4*n - 2750. Is w a multiple of 13?
True
Is 32 a factor of 4 - (6913 + 0)*(59 - 60)?
False
Suppose -5*q = 3*c - 1100, -4*c + 3*q + 1222 = -293. Is 7 a factor of c - 1/(6/24)?
True
Let j(d) = 18*d + 6. Let m be j(-3). Let c be (m/20)/((-6)/(-20)). Let t(w) = -w**3 - 4*w**2 + 3*w - 13. Does 35 divide t(c)?
False
Let o(r) be the second derivative of -13*r**3 + 7*r**2/2 + 26*r. Let h be o(-2). Suppose 2*w - 7 = h. Is w a multiple of 17?
True
Suppose 2*z = -3*t - 4, -8 = -5*t + 2*z + 12. Suppose 12 = 4*q, -11 = 2*m - t*q + 5. Is m*111*4/(-30) a multiple of 37?
True
Suppose -10*c = -44 + 24. Suppose g - 208 = -2*p + 7*p, -709 = -3*g - c*p. Is 14 a factor of g?
False
Does 48 divide 1 - 361496/(-28) - (-81)/189?
True
Let o = -37 - -42. Let n be 18/o - 10/(-25). Suppose 119 + 157 = n*u. Is u a multiple of 22?
False
Suppose 0 = 13*j - 14*j + 244. Suppose 4*z - j = -756. Let o = 186 + z. Is o a multiple of 9?
False
Suppose 19 = -5*h + d, 0 = -4*h + 4*d - 0*d - 28. Let l be (-24)/8 - (h + -2). Suppose -l*u = 3*y + 83 - 227, -4*u - 2*y = -288. Is 18 a factor of u?
True
Let x(w) = 118*w + 37. Let r(c) = 116*c + 35. Let q(k) = 5*r(k) - 6*x(k). Is q(-2) a multiple of 19?
True
Suppose -8*c + 4*c = 0. Suppose -4*n + 6 + 2 = c. Is 4 a factor of (-315)/(-30) + (-1)/n?
False
Let u = 2446 + 1260. Is u a multiple of 109?
True
Let t(a) be the first derivative of a**3/3 + 6*a**2 + 100*a + 49. Is t(-12) a multiple of 8?
False
Let a = -218 + 226. Is 40 a factor of a/(-6)*(-23 - 4)*10?
True
Suppose -26*o + 32 = -22*o, -2*j + 123832 = -o. Does 160 divide j?
True
Suppose 0 = -3*k + 21157 + 59546. Does 63 divide k?
True
Suppose -6*a - 86 = 58. Let n be ((-386)/(-4))/((-4)/a). Suppose -4*u + 762 = -2*z, 3*u = 3*z + z + n. Is 21 a factor of u?
True
Suppose 4*o - 15102 = h, 376*h - 18888 = -5*o + 379*h. Does 37 divide o?
True
Let j(y) = 2*y**3 - 33*y**2 + 25*y - 170. Is j(22) a multiple of 62?
True
Suppose 328*x - 312*x - 71520 = 0. Is 15 a factor of x?
True
Let x(m) = 4*m**2 - 553*m + 9814. Does 41 divide x(18)?
False
Suppose -36*n - 96*n = -4119588. Is 101 a factor of n?
True
Let u(h) = -6*h - 44. Let q be u(-8). Let a be (10 + 4 - q) + 4. Does 8 divide 14 + -9 + 1*a?
False
Suppose -4*z = -5*n - 284, 4*n + 350 = 5*z - n. Let w = 70 - z. Suppose -2*r = -3*i + 654, -231 = -3*i + w*r + 429. Is 54 a factor of i?
True
Let q(x) = 19*x**2 + 66*x + 419. Is 24 a factor of q(-35)?
True
Does 140 divide (-3502)/204*134*(1 - 7)?
False
Does 23 divide 2/((-21)/(652050/5155) - (-1)/6)?
True
Let l be ((-6)/(-10))/((-7)/(-2 - -72)). Is 21 a factor of 1860/44 - l/(-22)?
True
Suppose h + 0*h - 14 = j, -3*h + 54 = j. Suppose 4*t + 3393 = h*t. Is 9 a factor of t?
True
Suppose -636*a + 30931104 = -11846492 - 1786924. Is a a multiple of 240?
False
Let j(w) be the first derivative of 10/3*w**3 - 3*w**2 + 25 + 1/4*w**4 - 18*w. Is j(-9) a multiple of 9?
True
Suppose -7*a + 9*a = 2*x - 14, -2*x = -6. Is 58 a factor of 2204*((-63)/(-14) + a)?
True
Suppose 3*p + 5 = -d + 1, -4*d + 5*p + 35 = 0. Does 13 divide -2 + d - 7 - -953?
True
Let u be -2*45/(-1 + -4). Let o(m) = -m**3 + 19*m**2 - 11*m - 30. Is 9 a factor of o(u)?
False
Let o be 17/(-102) + 50/12. Let y be 252 - -3*(-3 + o). Suppose -4*c - 5*q + y = 0, 3*q + 2*q + 95 = c. Does 7 divide c?
True
Let w(q) = 2*q**2 - 7*q + 14. Let c = 160 - 156. Does 18 divide w(c)?
True
Is 5 a factor of -7*8/(-196) - 215196/(-42)?
False
Let q be 52/12 + 1/(-3). Suppose q*l - l - 2*v - 10 = 0, 3*l = -v + 4. Suppose 2*g + 5*r - 338 = -l*g, -3*g = -3*r - 240. Is g a multiple of 12?
False
Suppose 47243 = 282*r - 277*r - 2*o, 5*r - 47244 = o. Does 33 divide r?
False
Suppose 3*g - 22 = 197. Let u = 335 + -173. Let m = u - g. Is 16 a factor of m?
False
Let h(i) = -40*i + 24*i - 111*i - 32. Is 16 a factor of h(-4)?
False
Let n(k) = -69*k - 106. Let s(y) = 35*y + 51. Let l(h) = 3*n(h) + 5*s(h). Is l(-11) a multiple of 17?
True
Suppose 15 = m - x + 5*x, 5*x = -m + 18. Suppose 0 = m*a - 4*a + 265. Suppose -2*r = 4*t - 372, -3*r - 178 = -5*t + a. Does 26 divide t?
False
Let i(r) = 27*r**2 - 22*r - 331. Does 9 divide i(-10)?
False
Let z = -6282 + 9486. Is 18 a factor of z?
True
Suppose -22*z + z + 84 = 0. Suppose 4*y - 9*d = -4*d + 79, -5*y + z*d + 110 = 0. Is y a multiple of 3?
False
Suppose -12*i + 16253 - 2525 = 0. Let n = i + -436. Does 12 divide n?
True
Suppose -5*p - 5 = -4*n, -n + 17 = 4*p - 0*n. Let d = 259 - 257. Let q = d + p. Does 3 divide q?
False
Let p(l) be the second derivative of -l**5/20 - l**4/6 + l**3 + l**2 + 36*l. Let d be p(-4). Suppose -396 = -19*z + d*z. Is 44 a factor of z?
True
Let u(q) = 3*q - 6. Let d be 1 + 10 + 16/(-4). Let y be u(d). Suppose z - 121 = y. Is z a multiple of 13?
False
Is 147 - -10907 - (2 - (-3)/(-1)) a multiple of 31?
False
Let v(l) = 195*l**2 + 22*l - 44. Does 5 divide v(2)?
True
Let w(c) = 6*c - 34. Let i be (-153)/21 + 36/(-21) + 2. Let g be w(i). Let d = 50 - g. Does 21 divide d?
True
Let h = -39 - -42. Suppose h*l - 203 - 22 = 0. Suppose -6*k = -k - l. Is k even?
False
Let z(c) = 176*c - 822. Is z(14) a multiple of 13?
False
Suppose 303 = -15*v + 18*v - 3*z, -3*v + 287 = 5*z. Is v a multiple of 6?
False
Let k = 36 + 54. Suppose -4*j + 166 = -k. Is 21/14*j/6 a multiple of 16?
True
Let r(t) = -7*t - 80. Let y be r(-12). Suppose 1550 = y*o + o. Does 11 divide o?
False
Let k = 3058 + -2055. Suppose -289 + k = 2*y + 4*m, m + 1730 = 5*y. Is 15 a factor of y?
False
Suppose 2*h + 4*z = -384, 170 + 606 = -4*h - 4*z. Let r = h - -350. Does 22 divide r?
True
Let f be (-11*5/10)/((-2)/164). Let v = f - 99. Does 32 divide v?
True
Let t(p) = 183*p - 9. Let f(x) = -915*x + 43. Let n(c) = -2*f(c) - 11*t(c). Is 9 a factor of n(-1)?
False
Suppose -29*p - 134295 = -721317 - 225384. Does 12 divide p?
False
Let n(f) = 468*f + 728. Does 35 divide n(14)?
True
Is 69 a factor of ((-18)/(-4))/((6/414)/((-150)/(-9)))?
True
Let c(x) = -x**3 - 27*x**2 + 32*x - 60. Let w be c(-28). Is (-7 + 24 + -15)*w/(-2) a multiple of 10?
False
Let d = -1396 + 74323. Does 27 divide d?
True
Let t(w) = -561*w + 1. Let y be t(-19). Suppose 35*p + y = 48*p. Does 20 divide p?
True
Let d be (93 + -1)*6/12. Suppose -3599 = -d*b + 11029. Is 6 a factor of b?
True
Is 65 a factor of 8 + -21 + 11 - -1161*7?
True
Let z(q) = -4*q**3 + 32*q**2 + 28*q - 96. Let b(h) = 3*h**3 - 31*h**2 - 28*h + 96. Let c(v) = -5*b(v) - 4*z(v). Does 30 divide c(-24)?
True
Let x(r) = r**2 - 3*r - 10. Let c be x(-5). Let k = c - 38. Is 7 a factor of (-5451)/(-92) - (-2)/k?
False
Let a be (-4)/22 - (-171)/33. Let r(w) be the second derivative of -w**5/20 + w**4/3 + 3*w**3 - 5*w**2 + 5*w + 4. Is r(a) a multiple of 11?
True
Suppose 4*