et u = -230 + 229. Does 14 divide j(u)?
True
Let h = 131 - 78. Let t = 170 - h. Suppose 3*y - t = -3*o, -5*y + 2*o - 57 + 217 = 0. Does 12 divide y?
False
Let c = 13480 + -1283. Is c a multiple of 101?
False
Let v be -3 + (-9)/(-3) - (-1 - 0). Let f be v - (-3 + 0/(-3)). Let z(d) = d**3 + 3*d**2 - 2*d + 4. Is z(f) a multiple of 18?
True
Is (-38)/(-12)*-3*((-314 - -4) + -4) a multiple of 19?
True
Suppose -5*z = -k + 114, 3*k - 378 = -5*z + 2*z. Does 11 divide k?
False
Let w(h) = 5*h - 15. Let x(a) = 9*a - 31. Let j(c) = -9*w(c) + 4*x(c). Let l be j(-4). Suppose -2*d - 29 = -5*o + l, 4*o - 68 = -2*d. Does 15 divide o?
False
Suppose 3*f - 3777 = -y, -f - y + 1272 = -5*y. Does 15 divide f?
True
Suppose -3*v = -p - 507, -2*p = 9*v - 6*v - 498. Let d(r) = 8*r. Let t be d(-8). Let f = t + v. Is 26 a factor of f?
True
Suppose 32*t = -4*t - 52339 + 297031. Does 23 divide t?
False
Suppose 535*a - 14946394 = -688644. Is a a multiple of 50?
True
Let x(n) = -5*n - 32. Let g be x(-9). Let b(c) = -c**3 + 13*c**2 + 8. Let m be b(g). Suppose 3*i + 30 = m*i. Is 2 a factor of i?
True
Let m(w) = -2*w**2 - 30*w + 18. Let t(q) = q**3 + 5*q**2 + 2*q - 6. Let x be t(-5). Let z be m(x). Let f = z - -49. Is f a multiple of 35?
True
Suppose -251 = -b - 242. Does 38 divide 573 - (4 + -6 + b)?
False
Let m = 48 - 167. Let w = 309 + m. Is w a multiple of 16?
False
Suppose -326*b + 2180 = -324*b. Does 102 divide b?
False
Let h(y) = -53*y + 7. Let l be h(-1). Suppose -56*f + l*f - 20 = 0. Suppose q = 6*q - 25, f*t + 5*q - 725 = 0. Is t a multiple of 20?
True
Let r(g) = g**2 - 26*g + 30. Let h be (-52 - 2)*(-7)/7. Suppose -3*v = -15, a + 5*v - h = -0*a. Is 13 a factor of r(a)?
True
Let t(q) = 7*q**3 + 3*q - 5. Let i be t(2). Let l be ((-190)/i)/((-2)/(-108)). Is 33 a factor of l/50*390/(-9)?
False
Let z = 656 - 399. Let s = z - 62. Is 7 a factor of s?
False
Let x(o) = o**2 - 9*o - 17. Let y be x(11). Suppose 5*a - 230 - 1805 = -y*u, -4*a + 5*u + 1601 = 0. Is a a multiple of 29?
False
Suppose -2*y - 32 + 0 = 2*g, y = 5*g + 74. Let u be (-9)/(-6)*(-130)/g. Suppose -p = -2*p + u. Is 13 a factor of p?
True
Suppose 3*x + 4*q = 839, -2*x + 0*q + 2*q + 578 = 0. Suppose -11*y + 835 - x = 0. Does 18 divide y?
False
Let j = -455 - -460. Suppose 299 = 4*a - 5*b, -219 = -3*a - 3*b + j*b. Does 3 divide a?
False
Suppose 21*n - 78489 - 77753 = -52712. Does 96 divide n?
False
Let l = -384 + 384. Is (l + 4)/((-64)/(-1040)) a multiple of 65?
True
Let w = 3106 - 1951. Is 55 a factor of w?
True
Suppose 17*m - 24 = 19*m. Let d = m - -113. Let f = d - -27. Is f a multiple of 9?
False
Let p(f) = f**3 + 6*f**2 + 5*f - 4. Let h be p(-3). Suppose 3*x + 4*c + 40 - 12 = 0, 3*x = c - h. Does 5 divide (6/x)/((-1)/6)?
False
Let l = 36 + -29. Suppose u - 21 = -2*u - 5*o, -5*u + l = -o. Suppose 0 = 3*q - 2*q - 3*b - 58, -3*b = u*q - 143. Does 5 divide q?
False
Let s be 91*((-3)/2)/(294/(-56)). Suppose 2401 + 563 = s*h. Is h a multiple of 3?
True
Let s be (0 - 1/(-1)) + -41. Let z = s + 76. Does 14 divide z?
False
Is 17 a factor of (8/(-7) - (-1779736)/392)*1?
True
Let y = 1324 - 883. Let d = y + -411. Is d a multiple of 6?
True
Let j(w) = -178*w - 212. Let a(u) = 35*u + 42. Let c(p) = 22*a(p) + 4*j(p). Does 8 divide c(14)?
True
Suppose 2328 + 11244 = 26*g. Suppose 6*l = 9*l - 4*t - 322, 5*l - 3*t - g = 0. Is l a multiple of 18?
False
Let o(d) = d**3 - 7*d**2 + 7*d + 3. Let n be 0 - (3 - 4 - -11). Let s be (6/(-10))/(n/100). Does 4 divide o(s)?
False
Let k(u) = 12*u - 38. Let c(l) = -16 + 36*l - 57 - 41. Let p(q) = -4*c(q) + 11*k(q). Does 26 divide p(-12)?
True
Let c(s) = -20180*s + 570. Does 41 divide c(-1)?
False
Suppose 619*k = 647*k - 973056. Is 64 a factor of k?
True
Is 14 a factor of ((-1)/(-13))/((-126)/(-11466)) - 257*-7?
True
Let w(o) = -1360*o - 1182. Does 11 divide w(-6)?
False
Suppose 2*q + 4 = 0, 2*q = -t + 4 + 21. Let b = t + -21. Suppose b*z = -2*z + 250. Is 5 a factor of z?
True
Suppose -4*m + 47 = -73. Suppose m*t - 39*t + 243 = 0. Is 3 a factor of t?
True
Suppose j + 699 = -4*q, q + 38 = -3*j - 123. Does 11 divide -18*(1/2)/(6/q)?
True
Suppose 11*m = -0 + 22. Suppose m*w + 12 = 4*f, -2*w - 20 = -6*w - 3*f. Does 3 divide 10 + 12/w + (-15 - -12)?
False
Let d(y) = -4*y**2 + 41*y - 10. Let m be d(10). Suppose -1888 - 119 = -3*r + 3*s, -2*r - 4*s + 1356 = m. Does 96 divide r?
True
Is (898/8)/((-215)/(-36120)) a multiple of 21?
True
Suppose -56 = -16*j + 12*j. Is 30 a factor of (-2 + j)*(-210)/(-12)?
True
Let h = -182 - -183. Is (1 - -50) + h + -3 a multiple of 18?
False
Suppose 0 = 7*b - 4443 - 4377. Suppose 18*a = 11*a + b. Is 18 a factor of a?
True
Let b(f) = 2636*f - 8406. Is b(6) a multiple of 39?
True
Suppose 46*j - 28*j = 234774. Is j a multiple of 12?
False
Let t(d) = 315*d - 53. Let p be t(10). Suppose 4*s + 633 = p. Does 88 divide s?
True
Let b(n) = -5*n**2 - 56*n + 57. Let q(z) = 14*z**2 + 167*z - 171. Let a(x) = -8*b(x) - 3*q(x). Is a(-25) a multiple of 6?
True
Let q(b) = -b + 48. Let v be q(24). Let a = v - 22. Suppose 256 = 5*z - a*g - 788, -5*g = -z + 195. Is 21 a factor of z?
True
Let n = -536 - -293. Is 30 a factor of (n/9)/(-9) - 256/(-1)?
False
Let m(i) = 15*i**2 + 104*i + 7. Let y(v) = -16*v**2 - 101*v - 6. Let z(j) = -6*m(j) - 7*y(j). Is z(-5) a multiple of 2?
False
Let w(b) = -8058*b + 504. Is w(-3) a multiple of 27?
True
Is 16 a factor of ((-8082)/(-15))/(975/26000)?
True
Suppose -x + 2070 = -0*x - 3*b, 2070 = x + 4*b. Does 10 divide x?
True
Let u(l) = 2*l**2 - 8*l - 22. Let a be u(9). Suppose 4*x - 16 = a. Let h = -11 + x. Is h a multiple of 2?
True
Suppose -2*s - 34 = 7*v - 3*v, v + 10 = s. Does 14 divide 627/9 - ((-15)/v + -2)?
True
Suppose -4*k - 3*j - 454 = 0, -k - 5 = -4*j + 99. Is (-108)/(-7)*k/(-3) a multiple of 12?
True
Suppose 7*a + 73 = 66. Is 4 a factor of (((-9)/15)/a)/((-7)/(-3710))?
False
Let k(w) = 4*w**2 - 2 + 17 + 3*w + 10 - 15*w. Let a be k(5). Let c = a + -30. Is 7 a factor of c?
True
Let r(g) = -7*g - 27. Let q(u) = -4*u - 2. Let y(k) = 4*q(k) - r(k). Let p(i) = -2*i. Let w be p(2). Is y(w) a multiple of 11?
True
Let v(c) = -2*c**2 + 5*c + 31. Let w(o) = -o**2 + 3*o + 15. Let l(h) = 6*v(h) - 13*w(h). Let u(p) = p. Let q(i) = -l(i) - 5*u(i). Does 2 divide q(4)?
False
Let m = 72544 - 39402. Does 71 divide m?
False
Suppose 218 = -3*l - 124. Let c = l - -121. Suppose 0 = -v - 2*m + 38, -c*m + 9*m = -3*v + 106. Does 17 divide v?
True
Let j be (-9)/(-2)*(-540 + 38). Let u = -1185 - j. Is 46 a factor of u?
False
Let m = -12 - -14. Suppose 4*k = -2*t + 22, -m*t = -k + 3 - 0. Suppose -3*s - 174 = 4*x - 5*x, -4*s = k*x - 832. Is 24 a factor of x?
True
Let d = -750 + 2475. Is d a multiple of 8?
False
Let p(c) = -c**2 + 25*c - 66. Let k be p(21). Suppose -7*u - 990 = -k*u. Does 18 divide u?
True
Let f(n) = n**3 - 8*n**2 + 14*n - 1. Let q be f(10). Let i = 514 - q. Does 13 divide i?
False
Let j(d) = -d**3 - d**2 - d + 8954. Is 22 a factor of j(0)?
True
Suppose 37 = 4*a + 3*k + 1, -4*k = -a + 28. Does 19 divide (a - 13)/(4/(-3436))?
False
Let j be 2/(-5) + (-1737)/(-5). Let s be (10 + (-1176)/(-18))/((-2)/3). Let q = s + j. Is q a multiple of 13?
True
Suppose 9*n = 46902 - 9408. Suppose -2*m + 4*p - 3328 = -6*m, 5*m - n = p. Suppose 119 = 4*t - m. Is t a multiple of 17?
True
Does 9 divide 18/(-60) + (-570267)/(-90)?
True
Suppose -12 + 67 = -5*t + 5*p, -5*p + 7 = -t. Suppose 0 = -3*i + 7*i - 16. Is 17 a factor of (-85)/(i/t - 4/6)?
True
Suppose -i + 8 = i. Suppose 0 = 3*t - 4*n + 541, 3*n - 2*n - 730 = i*t. Let h = t + 320. Does 30 divide h?
False
Let z(v) = 4*v**2 - 30*v + 17. Let n(b) = 5*b**2 - 31*b + 18. Let w(u) = -5*n(u) + 6*z(u). Is 14 a factor of w(-23)?
False
Let l(x) = 2*x**2 + 6*x + 97. Let g be l(13). Let d = g - -146. Is 29 a factor of d?
False
Let m(l) be the third derivative of l**5/60 - l**4/3 - 11*l**3/6 - 9*l**2. Let s be m(9). Is -3 - -75 - (s + -1) a multiple of 15?
True
Suppose -11 = 4*x - 31. Suppose 1 = 7*s - 4*s + 4*l, 3*s + l + 2 = 0. Is 10 a factor of 5*((-124)/x)/(2/s)?
False
Let n = 4032 - 1117. Does 53 divide n?
True
Let i = -67 - -79. Suppose 0 = 2*b + 2*b - i. Suppose -n - 2*g + 64 = 0, -b*n - 3*g + g = -184. Is 20 a factor of n?
True
Let n(j) = -30*j**3 + 2*j**2 - 8*j - 2. Let a be n(-3). Suppose 11*b - 3072 = -a. Does 20 divide b?
F