 - j. Is d a multiple of 25?
False
Let u(l) = 10*l**2 + 129*l - 2457. Does 31 divide u(20)?
True
Let w(t) = 4*t**2 - 26*t - 51. Let x be (3/2)/(-8 + 1925/238). Is 39 a factor of w(x)?
True
Let q(y) = -2*y**3 - 8*y**2 + 16*y + 10. Let t be -1*(2 - 2)/4. Let s = -7 - t. Is 33 a factor of q(s)?
False
Suppose 25*u - 16632 = -8*u. Is u a multiple of 21?
True
Let r(j) = -2*j**2 - 24*j + 146. Let y be r(-22). Let p = 595 + y. Does 43 divide p?
True
Let x(g) = -2*g**2 + 19*g + 12. Let a be x(9). Is 21 a factor of (a/(-12))/(6/(-16*18))?
True
Let w = 6414 - -2577. Does 27 divide w?
True
Let n(b) = 3*b**3 + 2*b - 1. Let v be n(1). Suppose -3*s - 3*f - 129 = -v*s, -10 = 5*f. Let k = s - 71. Is k a multiple of 13?
True
Suppose -3*j = 2*b - 1266, 2*b - 5*j - 1310 = -12. Let z = b - 211. Is z a multiple of 4?
True
Suppose 12*h - 5*h - 42 = 0. Suppose 0 = 2*z - 0 - h. Suppose 41 - 119 = -z*d. Does 13 divide d?
True
Suppose -18 = -2*m + 4*y, -2*m - 5*y = 3*m - 15. Suppose -2*n - 4*a + 1095 = 3*n, m*a = -n + 219. Let l = n - 71. Does 37 divide l?
True
Let p(y) = 2*y**2 + 53*y - 79. Is 22 a factor of p(46)?
False
Suppose 24*t - 2*t + 5984 = 0. Let i = 850 + t. Is 77 a factor of i?
False
Let g be 836/16 - 3/12. Let a = 52 - g. Is 80 + a/(1 - -3) a multiple of 19?
False
Is 392*(7 + (-13)/((-65)/80)) a multiple of 28?
True
Let y(h) = -h**2 + 2*h + 3. Let b be y(0). Let o(z) = -4*z**3 + 3*z**b + 10 + 15*z**2 + 18*z - 2. Is o(16) a multiple of 20?
True
Let s = -79 + 92. Suppose i - 2*f = 3 + 5, -3*i - 5*f = -24. Suppose -s*a = -i*a - 490. Does 13 divide a?
False
Let z(x) = 470*x - 26 + 26 - 19 - 31*x - 24. Does 13 divide z(3)?
True
Let b(y) = y**3 + 10*y**2 - 2*y - 14. Let o be b(-10). Let q be (5 - 3) + (3 - o). Does 27 divide q/(-2 - (-685)/345)?
False
Suppose 6*l - 13*l = -2*a - 11708, -4*a = -4*l + 6676. Is 27 a factor of l?
True
Let k(h) = 144*h - 5076. Does 7 divide k(67)?
False
Let l(w) = -w**3 + 29*w**2 - 39*w - 4. Let i be l(24). Suppose 32*y - 25260 - i = 0. Is y a multiple of 34?
True
Suppose 184 = 17*c - 9*c. Suppose 0 = 22*a - c*a - 14. Let n(l) = 2*l**3 + 28*l**2 - 2*l + 3. Does 4 divide n(a)?
False
Let l(r) = 62*r + 2938. Is 12 a factor of l(64)?
False
Let c be -5*(-24)/30 + 86. Does 26 divide c/30*161/3?
False
Suppose -5*r = 2*f - 300, 2*r - 4*r + 5*f + 91 = 0. Let d = 963 + -949. Let v = r - d. Does 6 divide v?
False
Let x(h) = 3*h**2 - h - 4. Let v be 130/15 - 4/6. Suppose -2 = -3*o - v. Is 10 a factor of x(o)?
True
Suppose 4*m + 20 = 0, 4*j - 4*m + 10 = -2*m. Is ((-148)/10)/(j - (-138)/30) a multiple of 27?
False
Let m(v) = 11*v**2 - 143*v + 2607. Is 57 a factor of m(16)?
True
Let v be (22 - 0) + (-51)/(-17). Suppose -5*q + 22*o + 2441 = v*o, 0 = -2*q + 2*o + 986. Does 35 divide q?
True
Suppose -5*z + 9 = -2*k, 5*k + 2 = 4*k + 5*z. Let t = k + 9. Suppose -47 = -0*c - 4*c + 5*p, -2*p + t = 0. Does 3 divide c?
False
Let u(d) = 7528*d**3 + d**2 + 9*d - 10. Does 81 divide u(1)?
False
Let h = -26250 + 68192. Is 109 a factor of h?
False
Suppose 5*m - p - 291 = 0, -9 - 306 = -5*m - 5*p. Suppose 0 = 52*d - m*d + 2093. Is 9 a factor of d?
False
Let k = 346 - 169. Let a be (-50)/105*-12 - 6/(-21). Suppose -a*h + k = -555. Is h a multiple of 8?
False
Suppose -6*r + 241 + 11 = 0. Suppose 0 = 3*m + 9, t + 5*m = r + 75. Is 7 a factor of t?
False
Let g(a) = 600*a**2 + 51*a - 18. Does 53 divide g(9)?
False
Let z be ((-516)/(-180))/1 + 4/30. Is 9 a factor of z/39*-2 - 11236/(-26)?
True
Suppose -2*t + 14*w = 12*w - 28410, 5*w = -15*t + 212975. Does 5 divide t?
True
Let p = 38405 - 25566. Does 23 divide p?
False
Suppose 4*h - 2*x - 1402 = -0*h, -3*x = -3*h + 1053. Is 2 a factor of h?
True
Suppose -312*m + 457589 = -485899. Is 12 a factor of m?
True
Is 97 a factor of (-13 - -9) + 11 + 2030?
True
Let g = -613 + 827. Suppose 3*r - 297 - 323 = 5*a, r = -2*a + g. Does 35 divide r?
True
Let h(u) = -u**2 - 12*u - 17. Let t be h(-10). Suppose 0*o = -t*o - 2*c + 962, 5*c = -25. Is 9 a factor of o?
True
Suppose 23*v + 20 = 27*v. Suppose v*f + f - 1152 = 0. Is f a multiple of 32?
True
Let q = -16173 - -16473. Does 25 divide q?
True
Let a(n) = -2*n**3 - 17*n**2 - 8*n - 5. Let y be a(-8). Does 3 divide (-499)/y - (-8)/40?
False
Suppose 60*i - 40300 = 46*i + 56300. Is i a multiple of 69?
True
Let d(n) = -n**2 - 8*n + 7. Let m be d(-8). Suppose m*z + 480 = 13*z. Is z a multiple of 8?
True
Suppose -18092 = -3*v + 5*p, -7*p = 4*v - 6*p - 24161. Is v a multiple of 52?
False
Suppose 11*a + 167532 = -93*a + 1441428. Does 19 divide a?
False
Suppose 0 = -13*h + 11318 + 8403. Is h a multiple of 10?
False
Suppose z - 7063 = 3*h, 44*z + 4*h - 35391 = 39*z. Is z a multiple of 25?
True
Suppose -5*l = x - 26795, -3*l - 11*x + 13*x = -16090. Is l a multiple of 41?
False
Suppose 29 = -3*m + 11. Let r be 570/(-14) + m/21. Let i = r - -52. Is i a multiple of 2?
False
Suppose -p = 5*n - 66, 6*p = 4*n + 2*p - 72. Suppose 2*o + n = -0*o. Let v(i) = -i**2 - 12*i - 2. Is 27 a factor of v(o)?
False
Let n = -108 + 319. Suppose 0 = -8*q + 1469 + n. Does 21 divide q?
True
Suppose 4*h - 345 = -3*v - 76, -5*v = -3*h + 180. Let x = 197 + h. Is 17 a factor of x?
False
Let a be 1/(-2)*8 + -29. Let w = a - -35. Is (-948)/(-108) - w/(-9) a multiple of 3?
True
Let q(b) = b + 1. Let u be q(13). Suppose u*k - 4893 = -1225. Let h = -10 + k. Does 28 divide h?
True
Let z = -16 - -32. Suppose -5*a = z - 26. Suppose a*c = -5 + 317. Does 39 divide c?
True
Suppose 816126 = 51*p + 150015. Is 27 a factor of p?
False
Let h(r) = -r**3 + 8*r**2 + r - 2. Let t be h(8). Let n be 1/3*t/1. Is 42 + (3/n - 13/26) a multiple of 23?
False
Let f be 441/12*(-400)/(-30). Suppose 50 - f = 4*c. Let d = c - -207. Is 15 a factor of d?
False
Let m = -445 - -537. Is 25346/16 - m/736 a multiple of 99?
True
Let m = 30 + 1438. Let r = m - 838. Is 18 a factor of r?
True
Suppose 18404 = 7*h - 29980. Does 128 divide h?
True
Suppose 16*j - 15*j - 19 = 0. Let b be (-12)/(-18) + 1*j/3. Suppose -88 = -b*t + 87. Is 7 a factor of t?
False
Suppose 3*r - 2*x = -2*r + 787, -5*r = 2*x - 803. Let k = 302 - r. Suppose -4*g + 631 = g - 3*z, -k = -g - 5*z. Is g a multiple of 28?
False
Let w(q) = -q**3 + 3*q**2 + q - 1. Let c be w(2). Suppose c*s = h + 28, -3*h + 4 = 3*s - 2. Suppose -90 = -p + s*b, 2*b + 450 = 5*p + 4*b. Is 30 a factor of p?
True
Suppose 0 = 15*b + 2700 + 3345. Let r = b - -466. Is r a multiple of 2?
False
Let s(u) = 2*u**2 + 2*u + 10. Let a be s(12). Let l = a - 295. Is l even?
False
Let z = 956 + -1349. Let l = z - -665. Is 34 a factor of l?
True
Let u = 3305 + -544. Suppose -4*r - 4*d = -3896, -2*d + u + 1127 = 4*r. Suppose r = 3*p + 4*i, -2*p - 2*i + 647 = i. Does 14 divide p?
True
Suppose 6*j + 226 = 34. Let f be (2/4)/(16/j). Is (-2)/8 - f - (-141)/4 a multiple of 18?
True
Suppose -3627 = -4*l - 4*u + 4281, l = -3*u + 1989. Is 27 a factor of l?
True
Let s be ((-1)/2)/(1/(-10)). Suppose 4*a + 140 = 148. Suppose -s*g + 60 = a*v, -g = g + v - 24. Is 12 a factor of g?
True
Let j(o) = -52*o + 44. Let d(z) = -35*z + 29. Let s(p) = 7*d(p) - 5*j(p). Suppose 0*q = 2*q - 16. Is s(q) a multiple of 23?
False
Suppose -18*t + 50*t = -512. Is 45 a factor of (33 + t)/((-2)/(-18)) - 0?
False
Let i(q) = q**3 - 8*q**2 - 28*q - 8. Let g be i(-6). Let r = -153 - g. Is r a multiple of 9?
False
Let i = 676 - 710. Is 37 a factor of (i/136)/((-3)/4)*3804?
False
Suppose 0 = 5*u - 2*o - 10685, 10*u + 3*o = 15*u - 10685. Is u a multiple of 6?
False
Suppose 25*h = 19*h. Suppose u + 2 = m, 4*m + 5*u + 2 - 1 = h. Suppose -2*p - m = -391. Is p a multiple of 22?
False
Suppose 183 = v + 13. Suppose n + v = 6*n. Suppose 3*d - 92 = n. Is 21 a factor of d?
True
Let j(a) = -a**3 - 9*a + 10*a + 2 - 4*a**2 + 2*a**3 - 6*a. Let z be j(5). Is 31 a factor of 31/((z/(-6))/(18/(-27)))?
True
Let n = 316 + -312. Suppose -4*z - 920 = -2*t, 3*t - n*z = 7*t - 1780. Is 15 a factor of t?
True
Suppose 5*j - 25 = -q, -5*j - 67*q + 68*q = -35. Let z be 8/(-20) + 8/(-5). Does 10 divide 662/j - z/(-6)?
True
Let x = 462 - -257. Is 25 a factor of x*((-1)/9 - 20/(-18))?
False
Suppose 2*l - 2*m - 5822 = 0, 4*m = -l + 2091 + 825. Suppose -4*p - r = -0*p - 2887, 0 = 4*p - 4*r - l. Is p a multiple of 15?
False
Suppose -2*c - 4 + 16 = -2*s, -c - 5*s - 12 = 0. Let l(h) = -43*h + 11 + 48*h + c. Is 9 a f