se
Suppose -z + 5075 = -5*f, 4*z - 2*f + 2156 = 22438. Does 15 divide z?
True
Let r be 79/9 - 14/(-63). Let k = r - 3. Is 2/(-6) - 1*(-302)/k a multiple of 6?
False
Suppose -13080 = -2*v - 5*h, 266*h - 261*h + 26130 = 4*v. Is 3 a factor of v?
False
Suppose 5*l + 418 = 2*i + 4095, 0 = -5*i - 5. Suppose -53*z + l = -58*z. Let y = -69 - z. Is 8 a factor of y?
False
Suppose 2*a - 73*w - 2328 = -71*w, 0 = -2*a - w + 2349. Does 5 divide a?
False
Suppose v = -21*v + 196724. Suppose v = -37*y + 48014. Is y a multiple of 12?
True
Suppose 0 = 199*s - 195*s + 4360. Is 34 a factor of s/(-17) - (-26)/(-221)?
False
Let a(p) = -p**2 + p + 9. Let r be a(-3). Let n be (-4)/(8/6) + r. Let t = 31 - n. Is t a multiple of 37?
True
Suppose 10*a + 21 = 1. Let f(b) = -60*b**3 - b**2 + 2*b + 4. Is f(a) a multiple of 23?
False
Let q = -43 + 45. Suppose -c = 2*x - 0*c, x = -q*c. Suppose f + l - 31 - 40 = x, 0 = -2*f + 5*l + 135. Does 10 divide f?
True
Let u(d) = -2*d**2 + 4*d + 8. Let o(t) = -4*t**2 + 9*t + 15. Let m(c) = 3*o(c) - 7*u(c). Let s be m(-4). Is (130/s + -2)/((-1)/(-15)) a multiple of 8?
True
Let b = 1590 + -1100. Suppose b = 13*q - 2214. Is q a multiple of 25?
False
Suppose -5*h + 8143 = -3972. Is h a multiple of 36?
False
Suppose r - 5975 = -3*f, -4*r = -2*f + 3*f - 1977. Let p = -1387 + f. Is 56 a factor of p?
False
Suppose 4*v - r - 21065 = -v, -5*v + 3*r + 21055 = 0. Is 49 a factor of v?
True
Let n be 3 + (-1)/(0 - 1). Suppose 4*c = -16 + 32. Suppose 4*j + n*m = j + 310, m = -c*j + 422. Is 21 a factor of j?
False
Let q be 21*(16/(-14) - -2). Let c be (q/4)/(6/40). Does 8 divide (10/c)/(2/192)?
True
Let b(u) = -13*u - 49. Let c be b(-4). Is 12/c + (1 - 0) - -223 a multiple of 38?
True
Let r(w) = -291*w - 2688. Is 25 a factor of r(-18)?
True
Let v(u) = -5*u + 90*u**2 + 10 + 7 - 5 - 2. Does 15 divide v(2)?
True
Let c = 11 + 76. Let r = 141 - c. Is 18 a factor of r?
True
Suppose 530*r + 454*r = 231*r + 53226558. Is r a multiple of 54?
True
Suppose 12002 = 2*h + 2*g, 18027 = 5*h - 2*h - 5*g. Does 38 divide h?
True
Suppose 4*r = -3*f + 1360, -5*f - 16 + 36 = 0. Does 4 divide r?
False
Let u be 4/(-24) + 74/12. Suppose u*z + 8 = 8*z. Suppose -z*r - 535 = -9*r. Does 30 divide r?
False
Suppose 15*b - 16*b = -l - 1366, 5*b - 3*l - 6828 = 0. Let n = b - 735. Does 7 divide n?
True
Does 18 divide (-260)/(-6370) - (-605048)/98?
True
Suppose 5*t + 21 = 4*w, 2*t = w - 2 - 7. Let q be (6/(-4))/(((-6)/(-40))/w). Suppose 0 = q*l - 8*l - 36. Is 3 a factor of l?
True
Let p = -332 - -2362. Is 58 a factor of p?
True
Suppose 0 = -2*n + n + 208. Suppose 165*z - 164*z - s = 141, 3*z - 427 = 2*s. Suppose -5*c = -3*h + z, n = 2*h + 2*h - 3*c. Is 11 a factor of h?
True
Let a = -90 - -92. Suppose a*i - 592 = -3*i - 4*v, -126 = -i + 3*v. Is 15 a factor of i?
True
Let l = 4546 + -4382. Does 4 divide l?
True
Suppose 5*d - 208 + 218 = 0. Does 27 divide d/(1/1)*(-66 - 189)?
False
Let a(g) = -465*g**2 - g - 2. Let v be a(-1). Let r = v + 678. Is 22 a factor of r?
False
Let f = -74 - -71. Let n = f - 42. Does 42 divide (n/(-30))/((6/(-428))/(-1))?
False
Let c(a) = 161*a + 199. Let k be c(13). Suppose 0 = -4*s + 4*b + 1824, 8*s + k = 13*s - b. Is s a multiple of 17?
True
Let p = 1611 - 2859. Let y = -560 - p. Is y a multiple of 29?
False
Let z = 463 + -455. Does 15 divide ((-694)/(-2))/(((-40)/z)/(-5))?
False
Is 146 a factor of (37 - 30) + 9196*3?
False
Suppose 694*m = 592*m + 101490. Is 57 a factor of m?
False
Suppose q + d - 3635 = 0, -5*d - 56 + 86 = 0. Is 19 a factor of q?
True
Let l be (1 + -1)/(-3) - -362. Let f = l - 326. Is 18 a factor of f?
True
Suppose 2*m - 51 = 1849. Suppose -20*k = -22*k + m. Does 19 divide k?
True
Suppose -2*f - 3*o + 171 = 0, 3*f + o = 6*f - 251. Let c = -98 + f. Is -30*((-12)/(-5) + 42/c) a multiple of 8?
False
Suppose -692309 = -18*h + 77*h - 2012257. Is 47 a factor of h?
True
Suppose 711550 = 125*c + 50*c. Does 38 divide c?
True
Suppose -2*w - u + 13 = -0*u, 5*w - 15 = u. Suppose 1337 = w*b + 10*l - 15*l, b = -3*l + 313. Is b a multiple of 41?
True
Let q(c) = -3*c**3 - 1 + 3*c**2 + c - 4*c**3 + 0. Let v be -1*19 - 3927/(-231). Is 4 a factor of q(v)?
False
Let a be (6 + -4)*1 - -2. Let q be 24/5 - a/(-20). Suppose q*t = 3*c - 260, 5*c = 4*t + t + 440. Is c a multiple of 30?
True
Let w(k) = -k**2 - 9*k - 26. Let o be w(-11). Let z = -1192 - -1814. Is (-8)/o + z/12 a multiple of 11?
False
Let u = -35 - -45. Let c(w) = -3*w - 5*w + 8 + 0*w + u. Does 23 divide c(-6)?
False
Let f be (40/(-50))/((-2)/5). Suppose -4*v - 2*o + 106 = 0, -2*o - 3*o - 71 = -2*v. Is 6 a factor of (f*12/v)/(3/147)?
True
Let n be (-2265)/(-35) - (-4)/14. Suppose -n*r + 56*r = -3888. Is r a multiple of 21?
False
Suppose -740 = 137*j - 132*j. Let g = 231 + j. Is g a multiple of 3?
False
Let n(b) = -45*b**3 + 3*b**2 + 134*b + 414. Does 114 divide n(-3)?
True
Let a(h) = 81*h**2 - 107*h - 461. Does 13 divide a(-11)?
True
Suppose -i - 8 = -13. Suppose -3*q = 3*t - t - 675, t - 341 = -i*q. Does 28 divide t?
True
Let p(i) = 3*i**2 - 8*i - 34. Let c be p(-13). Suppose 2*b = 10, -110 + c = 3*h + 4*b. Is h a multiple of 5?
False
Let b(m) = 185*m**2 - 11*m - 67. Let q be b(-4). Suppose d - 12*d = -q. Is d a multiple of 3?
True
Let t(p) = -162*p - 43. Let a be t(-6). Suppose -18*b = a - 14969. Is b a multiple of 20?
True
Let l = 205 - 14. Suppose 15*d = 16*d - l. Is d a multiple of 9?
False
Let h be (20/(-12))/(2/(12/(-2))). Suppose 10*p + 1202 = 13*p - z, 0 = -h*p + z + 2000. Is 21 a factor of p?
True
Suppose 3*n - 140 = n. Let t be 3/4 + 1071/12. Let g = t - n. Is 2 a factor of g?
True
Let t = 1119 - 624. Does 9 divide t/110*((143 - -2) + -1)?
True
Let q be 0/(6 + -1)*-1. Suppose -5*c = r - 4, -2*c - r - 2*r + 12 = q. Suppose c = 4*z - 5 - 139. Is z a multiple of 18?
True
Let l(j) = 4*j**2 - 3*j - 2. Let d be l(-1). Suppose 3*o = -d*q + 1471, -2*o - 2*o = 5*q - 1468. Does 26 divide q?
False
Suppose -1731 = -f - 168. Suppose 8*i - 413 - f = 0. Suppose 4*q + 3*x - i = -2*x, -2*x = 5*q - 330. Does 11 divide q?
False
Suppose 0 = 141*h - 153*h + 101232. Does 114 divide h?
True
Suppose -8*h - 20 = -13*h. Suppose 2*g + 4*y - 6 = 0, 0*y + 3 = -g + h*y. Is 6 a factor of (6/9)/(g/36)?
True
Let t be 0 - 4 - (30 + 474). Is (-22)/33 + t/(-6) a multiple of 7?
True
Suppose -7410 = -7*i - 1341. Let d = -608 + i. Is 52 a factor of d?
False
Let c = -68 - -48. Let f = -18 - c. Suppose 114 = f*g - 150. Is 26 a factor of g?
False
Let z = -32583 + 35648. Is z a multiple of 10?
False
Suppose 17*h = 27 + 109. Suppose -10*b - h*b = -1134. Is 7 a factor of b?
True
Suppose -2377*g = -2366*g - 583. Is 53 a factor of g?
True
Let y = 4812 - 4758. Is y a multiple of 2?
True
Let m(t) = 36*t + 29. Let i be m(-7). Let j = -116 - i. Is j a multiple of 5?
False
Let o(p) = 4*p + 40. Let t be o(-10). Suppose t = -31*k - 252 + 10544. Is k a multiple of 32?
False
Suppose -3*h + 26024 = -u, h - 284*u - 8684 = -285*u. Does 7 divide h?
False
Suppose -2*k - 5*n + 1082 = -415, 3*k - n - 2271 = 0. Suppose 0 = 172*h - 163*h - k. Is 14 a factor of h?
True
Let k be (-2)/26 + (-11705)/(-65). Is 24 a factor of (-24)/((-5)/k*1)?
True
Suppose 423*l - 8271 = 414*l. Suppose 1711 + l = 5*b. Is b a multiple of 9?
False
Is -2*(8894900/40)/(-35) a multiple of 30?
False
Let b(s) = 58*s**2 + 61*s + 26. Does 39 divide b(10)?
False
Is -2 - (-11884)/(-6)*(-30)/(-80)*-4 a multiple of 7?
False
Let j = 155 - 170. Does 12 divide 3/j*4 + (-1628)/(-10)?
False
Suppose 3*n + 2001 = 2073. Is 25 a factor of 2 + ((-2)/12)/(n/(-24912))?
True
Let z(y) = -2*y**3 - 16*y**2 - 86*y + 72. Is 32 a factor of z(-13)?
True
Let j be 78/21 + (-2)/(-7) - 0. Suppose 0 = -q + n - 3*n + 39, q - j*n = 63. Is q a multiple of 5?
False
Suppose -15 = 2*q - 3. Is 10 a factor of (-72896)/(-224) - q/(-14)?
False
Let j(d) = -d + 7 + 8 - 23. Let x be j(-10). Suppose 5*r = x*r + 168. Is 14 a factor of r?
True
Suppose u - 1385 = -2*w, 45*w - 40*w - 3*u - 3479 = 0. Is (-50)/75 - w/12*-8 a multiple of 14?
True
Let i = -167 - -184. Suppose -i + 14 = 3*o, 3*b - o = 1981. Does 55 divide b?
True
Suppose -284*x = -282*x - 2, -5*t - 5*x = -605. Is 15 a factor of t?
True
Suppose 214*g + 208*g = 408*g + 274344. Is g a multiple of 92?
True
Does 46 divide 4222708/(-498)*((-3)/1)/(1/1)?
True
Suppose 25036 = -