r of g?
True
Suppose 217*g - 9465764 = -204*g. Is g a multiple of 146?
True
Let u(y) = 464*y**2 - 6*y - 2. Let i be u(-1). Suppose -3*k = -s - i, -k = -0*k - 3*s - 156. Does 6 divide k?
True
Let u(q) = 3*q**3 + 76*q**2 + 43*q - 7. Is u(-22) a multiple of 11?
False
Let u be 10/(-2) - 210/(-5). Let s = u - 22. Is -54*(s/(-6) - (0 + -2)) a multiple of 2?
False
Let q = -483 - -457. Is (q + 25)/((-2)/914) a multiple of 11?
False
Suppose -1716*x + 171444 = -1690*x. Is x a multiple of 314?
True
Let q be 1675 - (12/8)/((-4)/8). Let i = q - 945. Does 56 divide i?
False
Let b = 264 - 258. Suppose -6490 = -5*t - b*t. Does 77 divide t?
False
Does 60 divide (22560/(-658))/(4/(-322))?
True
Let m = 3591 + 3656. Is 39 a factor of m?
False
Let z(k) = k**2 - 101*k - 4345. Is z(144) a multiple of 56?
False
Suppose 612 = q + 227. Suppose -3*x = 5*w - 1724, -3*w + 1161 = 2*x - 2*w. Suppose 0 = -8*l + x + q. Is l a multiple of 11?
True
Let t(g) = g**3 + 22*g**2 + 42*g + 48. Let d be 9/36 + (-243)/12. Let k be t(d). Suppose 0 = l - k*l + 392. Is 14 a factor of l?
True
Let c(v) = 13*v - 117. Let z be c(12). Suppose -34*m + z*m - 2665 = 0. Does 35 divide m?
False
Let w(r) = 4*r + 2. Let k be w(2). Let u = k + 22. Suppose -q = 7 - u. Does 6 divide q?
False
Let k be (-76)/(-20) - 1/(-5). Let c be (-2)/k + (-1118)/(-4). Is 31 a factor of 2/(-3)*c/(-2)?
True
Let w(q) = q + 1. Let b(t) = 6*t - 8. Let y(m) = -b(m) + 4*w(m). Let j be y(-16). Suppose 7*a = -j + 282. Is 15 a factor of a?
False
Suppose -38380 = -3*d + 41*p - 34*p, 0 = -4*d - 3*p + 51198. Is d a multiple of 29?
False
Let k = -381 - -388. Suppose -154 = -2*p - k*x + 5*x, 4*x + 12 = 0. Is 4 a factor of p?
True
Let j be 2*(-1 - 3/2) - -1. Let b be 376/((6 - 1) + j). Is 23 a factor of b/(-32)*12/(-1)?
False
Let n = -801 + 1135. Let b = n - 325. Is b a multiple of 9?
True
Let t = 85 - 22. Let n be t/28*(5 - 1). Suppose n*y = 46 + 98. Does 11 divide y?
False
Let h(d) = d**3 - 5*d**2 + 10*d + 7. Let a = 56 - 51. Let q be h(a). Suppose -85 - q = -2*k. Does 17 divide k?
False
Suppose -2*q + 2239 = -2*w - 16013, -4*w - 27378 = -3*q. Is q a multiple of 39?
True
Suppose -10*j + 9*j - 3*q = -2, 5*j - 22 = -3*q. Suppose -j*b = 4*a - 1049, 4*a + 422 = 2*b + 8*a. Does 25 divide b?
False
Suppose -19*l - l = -40. Suppose 5*n - 307 = -2*z, -136 = -5*n + l*z + 167. Is n a multiple of 5?
False
Suppose -56*n + 1374 + 2264 = -4650. Is n a multiple of 13?
False
Is (-114)/((-6)/18*2) a multiple of 2?
False
Let u(x) = -x**3 + 18*x**2 - 2*x - 7. Let k be u(17). Let a = k - 180. Is 11 a factor of a?
False
Suppose n + 5*n - 20900 = -4*n. Does 19 divide n?
True
Let y(t) = 7*t + 3. Suppose 4*m + 2*m - 72 = 0. Does 5 divide y(m)?
False
Let u(v) = 202*v**2 - 62*v - 162. Does 42 divide u(-4)?
True
Suppose 3*y + 4*q = 153, 278 = 5*y + 2*q - 3*q. Let a = y - 65. Let s(h) = -4*h + 18. Is 6 a factor of s(a)?
False
Let u be 104/(-364) - 1/((-14)/(-2852)). Let j = u - -453. Is 16 a factor of j?
False
Let r = -214 - -217. Suppose 5*k - r*i = 1710, -5*k = 5*i - 875 - 835. Is 6 a factor of k?
True
Suppose -n = -5*l + 68 + 2, 0 = 2*l - n - 25. Is (-10)/l - 11724/(-36) a multiple of 15?
False
Suppose -4*n + 65 = n. Suppose 980 = n*s - 1399. Does 5 divide s?
False
Let b(f) = -39*f. Let s be b(8). Let u = -184 - s. Suppose -2*k - 20 = -u. Does 27 divide k?
True
Suppose -5*i + 57240 = -t, -22*t + 20*t - 34337 = -3*i. Is 80 a factor of i?
False
Let s(y) = 3*y - 21. Let j be s(7). Suppose j = 2*f + 9*f - 4840. Suppose 10*z = 6*z + f. Does 10 divide z?
True
Let r = -7229 - -10757. Is r a multiple of 42?
True
Is (-27)/((-21)/63 + 1/4) even?
True
Let b(v) = -24106*v + 1571. Is 178 a factor of b(-1)?
False
Suppose 4*s + c - 2*c - 1308 = 0, 3*s - 1004 = -5*c. Let r = s - 283. Is r a multiple of 3?
True
Let d(z) = -45*z - 32. Let o be d(11). Let m = o + 1046. Is 20 a factor of m?
False
Is 2 a factor of (-1656)/(13/(-2) + 5)?
True
Let i be ((-20)/(-10))/(1/(70/4)). Suppose 0 = -26*b + i*b - 162. Is b a multiple of 2?
True
Suppose 0 = -5*m - 60687 + 22557. Is 64 a factor of 6/15 + m/(-10) + 0?
False
Let q be ((-72)/(-42))/((-16)/(-14) - 1). Let u = -6 + q. Suppose 0 = -y + 1, 5*n + 4*y - 43 = u. Is 3 a factor of n?
True
Let o = 22885 + -11224. Does 41 divide o?
False
Let a = -2418 - -3319. Is a a multiple of 12?
False
Let h(r) be the first derivative of -5/2*r**2 - 1/4*r**4 - 10*r - 2 - 2/3*r**3. Is 10 a factor of h(-5)?
True
Let z be (((-12)/10)/1)/((-3)/(-10)). Is -1*z/(-28) + (-2106)/(-42) a multiple of 25?
True
Let m = 3055 + -1879. Is 33 a factor of m?
False
Let z(t) = 2*t**3 - 11*t**2 - 48*t + 24. Let o(l) = l**3 - 5*l**2 - 24*l + 12. Let k(g) = 7*o(g) - 3*z(g). Is 3 a factor of k(7)?
False
Let j = -1664 + 732. Let z be j/14 + 33/(-77). Let o = z - -158. Is o a multiple of 13?
True
Suppose 0 = -23*g - 96*g + 122808. Is 43 a factor of g?
True
Suppose -4*h = -5*a + 26, -a = -5*a - 4*h - 8. Does 34 divide 2 + 9358/12 - a/(-12)?
True
Let p be (-111)/4*(-168)/63. Suppose -76*x = -p*x - 6. Suppose 3*m - 5*t = 61, x*m + 2*t = -2*m + 81. Is m a multiple of 4?
False
Let f(z) = -z**2 + 11*z + 1. Let h be f(6). Let d = 40 - h. Suppose 14*t - 245 = d*t. Is t a multiple of 26?
False
Let t(p) = -3*p + 73. Suppose -40 = 41*q - 51*q. Is t(q) even?
False
Let o be 12726/56 - (-3)/4. Let n = o - -850. Is 49 a factor of n?
True
Let i be 0 - (-2 + -258 - -3). Suppose -4617 = 4*j + 23*j. Let m = j + i. Does 16 divide m?
False
Let i(c) = 8*c**2 - 10*c - 15. Let m(s) = -s + 1. Let o(z) = i(z) - 6*m(z). Let v be o(-6). Let n = v - 178. Is 14 a factor of n?
False
Suppose -2*c = -2*o + 65654, 429*o - 164191 = 424*o - 2*c. Is 42 a factor of o?
False
Does 12 divide 5862 - ((-756)/(-147) + 6/7)?
True
Suppose -5*q + 10 + 10 = 0. Suppose -5*f - 3*w + 11 = 0, -q*w - 6 = 5*f - 14. Does 10 divide f/(-20) - (3 - 666/5)?
True
Let f be (-33)/6 - 3/(-6). Let t(a) = -a**3 + a**2 - a + 1. Let d(q) = -4*q**3 + 8*q**2 - 6*q + 2. Let j(n) = -d(n) + 5*t(n). Is 15 a factor of j(f)?
False
Is ((-10)/(-8))/(-4 + 38711/9678)*-2 a multiple of 15?
True
Let v(y) = -3*y**3 + 11*y**2 + 4*y + 189. Does 101 divide v(-11)?
False
Suppose 2*u - 3 = 7. Let h be -2*(1975/10)/u. Let b = h - -130. Is b a multiple of 6?
False
Let c(f) = 2*f**2 + 5*f - 27. Suppose -5*m = -3*m - 40. Suppose 3*j + r - m = 5*r, 2*r = -4*j + 34. Is c(j) a multiple of 23?
False
Let z be (-2)/3*423/(-6). Suppose 4*s - 569 = -48*o + 47*o, 0 = -5*s + 4*o + 727. Suppose -6*k = z - s. Does 8 divide k?
True
Suppose 5 = q, 2*s = 9*q - 12*q + 3. Is 8 a factor of 23904/240*(-10)/s?
False
Let n = 20049 + 15631. Is 13 a factor of n?
False
Let c(p) = -p**2 - 25*p - 24. Let r(n) = n**2 - 5*n - 7. Let z be r(-3). Suppose 2*d + 39 = -3*f, -50 = 5*d + z*f - 19*f. Is c(d) a multiple of 6?
True
Is 5614/8 - 10/(-40) a multiple of 2?
True
Let t(l) = -l**3 - 5*l**2 - 8*l - 10. Let g be t(-4). Suppose 0 = g*z - 9*z - 57. Let m = 35 + z. Does 8 divide m?
True
Suppose -48*c + 53*c = 2*l + 261175, -5*c = -5*l - 261190. Does 155 divide c?
False
Let b = 3307 + 6854. Does 58 divide b?
False
Suppose 4*n = -3*o + 32020, -2*n = 36*o - 41*o + 53332. Is 6 a factor of o?
True
Let a(m) = -70*m + 61. Let r be a(-5). Let v = 761 - r. Is v a multiple of 25?
True
Let x be (28/(-6))/(50/(-75)). Suppose 7 = -4*v + x. Suppose v*t + 6*t = 108. Is t a multiple of 12?
False
Suppose 0 = -89433*c + 89471*c - 757188. Is c a multiple of 4?
False
Is (-216)/324 - (-6556)/6 a multiple of 14?
True
Let q = 703 - 679. Suppose q*f - 4*o = 26*f - 476, 0 = 2*f + 3*o - 474. Is f a multiple of 13?
True
Suppose 80*d = 83*d - 43920. Suppose -30*v - d = -46*v. Is v a multiple of 105?
False
Suppose -3*t - 81 - 78 = 0. Let r = t + 220. Does 4 divide r?
False
Suppose 3*z + 0*z = 336. Let i = z - 7. Suppose -3*v + i = -75. Is 15 a factor of v?
True
Does 111 divide (-28)/24*-6 - 263*-18?
False
Let g be (24/(-20))/(197/100 - 2). Suppose 0*l = 2*l + 5*k - g, -l + k + 13 = 0. Is (-7)/((-42)/54)*l a multiple of 9?
True
Let l(n) = -4*n**3 + 303*n**2 + 178*n - 111. Is 47 a factor of l(76)?
False
Let z(i) = 571*i**2 - 5*i + 4. Let p be z(1). Let r = p + -338. Is 27 a factor of r?
False
Let h(x) = 4*x**2 - 5*x - 41. Let m be h(10). Suppose 8*a + m - 2213 = 0. Does 3 divide a?
False
Suppose -2*k - 33*m = -34*m - 110279,