be 3/5 - 81/(-15). Suppose -114 = -b*j + 3*j. Is j a multiple of 19?
True
Is 25 a factor of 3*(3 + (-573)/(-9))?
True
Suppose 4*v + 2*y - 20 = 0, -2*y + 13 = -2*v + 5*v. Let c(l) = l**2 - 7*l + 4. Let d be c(v). Suppose -5*f = d*m - 42, f + 2*f - 6 = 4*m. Is f a multiple of 6?
True
Suppose 5*r + 0*r = 2*u, 0 = 4*r - 3*u. Suppose -x - 3 + 0 = r. Does 11 divide (-4)/10*(x + -92)?
False
Let r(z) = 5*z**2 - 15*z + 9. Does 33 divide r(6)?
True
Let x(g) = -g**3 + 6*g**2 - 2*g - 1. Is 5 a factor of x(5)?
False
Suppose -l - l + 490 = 0. Does 49 divide l?
True
Let p(d) = d**2 + 3*d + 2. Let h be p(-7). Let m = h + -21. Suppose 5*j + m*k - 50 = 4*k, 3*j = 3*k. Is 2 a factor of j?
False
Let z = -11 + 39. Let h = z + -5. Does 10 divide h?
False
Let z(o) = -o + 14 + 3*o - 20 - 5*o**2 - o**3. Does 18 divide z(-6)?
True
Let m(z) = -z**3 - 12*z**2 - 2*z - 8. Let i be ((-12)/(-15))/(2/(-15)). Let d = -18 - i. Is m(d) a multiple of 8?
True
Let g(b) = 11*b**2 + b - 1. Let c be g(1). Let v = -7 + c. Does 2 divide v?
True
Suppose 4*r - 66 = 34. Does 25 divide r?
True
Does 6 divide (4/(-12) + 1)*45?
True
Suppose -r + 3 = 2*k, 0*k + 4*r = k + 12. Suppose i + 0*h - h = -10, k = -3*i - 3*h - 12. Is 4/14 + (-82)/i a multiple of 4?
True
Let y(u) = -u**3 + 7*u**2 + 10*u - 8. Suppose -3*m - 49 = -5*h, -m = -5*h + 30 + 13. Is 8 a factor of y(h)?
True
Let h = 2750 + -4595. Let o be (-1)/(-6) - h/(-54). Is 8 a factor of 2/(0 + (-4)/o)?
False
Let d = 58 - 38. Is 17 a factor of d?
False
Let r be 15/6*(-90)/25. Let g(x) = x**3 + 9*x**2 - 2*x + 1. Is g(r) a multiple of 11?
False
Does 9 divide -6*(1 - -26)*(-1)/2?
True
Suppose -2*t = -4*k - 391 + 85, 4*k + 783 = 5*t. Does 23 divide t?
False
Suppose 3*s = m - 20, 3*s = 5*m + 2*s - 128. Does 26 divide m?
True
Let v(d) = d**2 + 7*d - 10. Let f be v(-8). Let p be f/(-5) + (-1608)/(-30). Suppose -s = 2*s - p. Does 9 divide s?
True
Let b = -46 - -14. Let w = -18 - b. Is w a multiple of 14?
True
Let a(t) = 2*t**2 - 10*t - 2. Let s(f) = 3*f**2 - 9*f - 1. Let n(y) = 4*a(y) - 3*s(y). Does 11 divide n(-5)?
False
Is 9 a factor of 0 + 1 + 11 + 15?
True
Is 5 a factor of (-14)/6*(8 + -7 + -31)?
True
Let c = -10 - -17. Let p = -5 + c. Suppose -p*h + 47 = -3*q, -h + 0*h = -q - 23. Is 16 a factor of h?
False
Suppose -4*j - 4 = 4*p - 12, -j - 10 = 5*p. Let t(l) = j - 4*l**2 + 5*l + 4*l**2 + l**2. Is 4 a factor of t(-5)?
False
Let d be (-3)/(-6)*-27*4. Is 4 a factor of (-12)/d + (-70)/(-9)?
True
Suppose 0*y - 18 = -2*y. Let c = -4 + y. Is c even?
False
Let u(v) = 2*v**2 - 6*v - 7. Let y be u(8). Let n be (-690)/14 - 4/(-14). Let m = n + y. Is m a multiple of 9?
False
Let f = 1 - 1. Does 14 divide -1 - (f + (-2 - 41))?
True
Let z = -21 - -52. Suppose z - 1 = 2*y. Does 13 divide y?
False
Suppose -5*h + 340 + 210 = 0. Suppose r = 3*r - h. Is r a multiple of 11?
True
Let u(v) = 2*v**2 + 6. Let j be u(7). Let y = 314 - j. Suppose y = 4*z + z. Is 21 a factor of z?
True
Is 10 a factor of 177*3*(-1)/(-9)?
False
Suppose -162 = -3*a - 2*y, 3*a - 3*y - 144 = y. Is 13 a factor of a?
True
Is (84/1)/(3/(-4)*-2) a multiple of 28?
True
Let r = -100 + 101. Let d(t) = 29*t**3 + 9*t - 7. Let p(h) = 15*h**3 + 4*h - 3. Let u(b) = -3*d(b) + 7*p(b). Does 5 divide u(r)?
False
Let d be 14/3 - (-18)/(-27). Suppose 90 = q + d*q. Is 9 a factor of q?
True
Let t(b) = -b**2 - 7*b + 24. Let q be t(-7). Suppose -q*d = -29*d + 410. Is 12 a factor of d?
False
Let s = -8 + 14. Let b = 20 - s. Is b a multiple of 10?
False
Let m = 109 + -55. Let p = -30 + m. Does 10 divide p?
False
Let z be 1/((-3)/(-126)*-2). Let d = 18 - z. Does 25 divide d?
False
Let a be -18*(-4)/((-2)/1). Let n(z) = -z**3 + 6*z**2 + 5*z + 3. Let d be n(5). Let l = d + a. Does 17 divide l?
True
Let f = -20 - -89. Let r = f + -17. Is r a multiple of 13?
True
Suppose s - 92 = -3*q, 442 = -2*s + 7*s - 3*q. Suppose 4*u - u - s = p, -4*p = -5*u + 139. Is 13 a factor of u?
False
Let o(l) = -l**3 - l**2 - l + 6. Let q = 1 - 3. Let v be 0*(q - 15/(-6)). Does 5 divide o(v)?
False
Suppose 5*f + 155 = 4*w, -w - 2*w + 3*f + 117 = 0. Is w a multiple of 8?
True
Let k be ((-4)/3)/((-6)/9). Let t be (13/(-2))/(k/(-16)). Let r = t + -22. Is r a multiple of 12?
False
Suppose 41 = 5*d - 5*g - 99, -100 = -5*d - 5*g. Is d a multiple of 6?
True
Does 6 divide (152 - 1) + 1*-5?
False
Let j be (-4)/20 - 69/5. Let y be (-4)/j - 228/14. Is 14 a factor of 4/y + 194/8?
False
Is (-2)/(-9) + (-665)/(-45) a multiple of 3?
True
Let v = -2 - -5. Does 8 divide 1/(-2)*-22 - v?
True
Let h be (-42)/8 + (-4)/(-16). Let m(p) = 2 + p**2 + 0 - 7*p + 4*p. Does 18 divide m(h)?
False
Is (-12)/(-42) + 96/7 a multiple of 4?
False
Suppose -3*i + 2*l = -48 - 115, -l - 5 = 0. Is i a multiple of 6?
False
Suppose 2*d - 2 = 0, -5*p + 5*d - 33 = 2*d. Suppose 2*s + 0 = 8. Let c = s - p. Is c a multiple of 7?
False
Is 5 a factor of 12/(-9)*300/(-8)?
True
Suppose 0 = 5*q - 61 - 139. Is 40 a factor of q?
True
Let r(f) = -f**2 + 11*f - 6. Is r(5) a multiple of 24?
True
Let r = 36 + -22. Is r a multiple of 11?
False
Let w = 98 - 68. Is 33 a factor of (-2307)/(-18) - 5/w?
False
Let a(q) = -q**2 + 11*q + 17. Let f be a(12). Suppose -4*w = -105 - 3. Suppose f*c = 2*c + w. Does 7 divide c?
False
Let r(f) = -f - 6. Let l be r(-8). Suppose l*a = -2*a + 116. Does 19 divide a?
False
Let y be (-2 + 0 + 2)/(-1). Suppose y*a + 6 = a. Suppose q - 6*z = -z + 9, q - 2*z = a. Is q a multiple of 3?
False
Suppose -k - 2 + 59 = 5*t, -4*k = 4*t - 276. Is k a multiple of 11?
False
Let c = 98 + -34. Let d be c/(-20)*(-30)/(-4). Does 14 divide 7/(3*(-2)/d)?
True
Let d = -22 + 13. Is 20 a factor of -2*8*d/6?
False
Let n be (-87)/2*(-4)/3. Let z = -64 - -106. Suppose z = 2*p - n. Does 18 divide p?
False
Let r(z) = z**2 - 7*z + 5. Let y be r(7). Is 14 a factor of 1/y + (-973)/(-35)?
True
Let j be -1*(-1 + 0 + -2). Suppose -3*t + 6 = 0, -2*t + j*t = -4*w + 82. Is 10 a factor of w?
True
Suppose -k + 0 = -6. Let q(u) = -u**3 + 6*u**2 + 7*u - 1. Let j be q(k). Suppose 51 = 4*a - j. Is 14 a factor of a?
False
Suppose -l - 3*l - 180 = 0. Let j = 103 + l. Is j a multiple of 20?
False
Suppose 2*z - 39 = 91. Does 26 divide z?
False
Let b(t) = t**2 - 5*t + 3. Let w be b(6). Let h be ((-6)/w)/(1/3). Let m = h - -24. Does 10 divide m?
False
Suppose -3*j - 5*d + 75 = -35, d = -3*j + 94. Is 10 a factor of j?
True
Let h be (-40)/(-18) + 2/(-9). Suppose 0 = h*y - 0*y - 6. Is y a multiple of 3?
True
Let a(d) = d**3 - 4*d - 3. Let t be a(-3). Let z = 56 + t. Does 19 divide z?
True
Suppose 5*i = 3*c - 7, 5*i = -5*c + c + 56. Suppose 2*f = -f - c. Is (-16)/f - (-2)/(-6) a multiple of 2?
False
Let w(x) = 4*x + 11. Suppose v = -0 + 6. Does 15 divide w(v)?
False
Let z(r) = 2*r**2 + 4*r - 3. Let x be z(2). Let b(m) = m - 5. Let p be b(x). Let l(u) = u**2 - 4*u. Does 16 divide l(p)?
True
Suppose -4*g + 49 = 3*a, 5*g - 3*a - 66 = -2*a. Is g a multiple of 13?
True
Suppose -201 = -4*a + 63. Is 25 a factor of a + (4 - (-2)/(-2))?
False
Suppose -3*a = 4*l + 16, -2*a = -3*l - 1 + 6. Is 16 a factor of 14 + (-1 + l - -4)?
True
Let i be 2 + (4 - 3) - 1. Suppose 4*t + 8 = -i*r, -5*r - 3*t = -7*r + 20. Is r a multiple of 4?
True
Suppose n + 15 = 5*j, 3*n - 4*j + 7 = -5. Let u be n + 1/1 + 2. Suppose -o - u = -39. Is 19 a factor of o?
False
Let o(d) = -4*d + 7. Let t be o(10). Does 11 divide ((-15)/9)/(1/t)?
True
Let i(n) = n + 7. Let m = -6 - -1. Let h be i(m). Suppose h*b - 4 = 12. Is b a multiple of 4?
True
Suppose l = -2*z + 5*l + 140, 4*l + 356 = 5*z. Is z a multiple of 18?
True
Let u = 11 - -4. Is 6 a factor of u?
False
Let m = 2 - 8. Is ((-4)/(-3))/(m/(-72)) a multiple of 5?
False
Suppose 0 + 4 = 4*h + 2*s, -10 = -2*h + 3*s. Let j be (36 + (3 - h))/1. Suppose -q = -4*i + j, -4*q = 2*i - 2*q - 26. Is i a multiple of 4?
False
Let f be 4/10 - (-23)/5. Suppose p + d - 30 = -0*p, -f*p + 162 = 2*d. Does 17 divide p?
True
Suppose 4*n - 43 = -2*k + n, 5*n + 25 = 0. Suppose -4*z + k + 47 = 0. Is z a multiple of 19?
True
Suppose -5*r = -8*r + 42. Is r a multiple of 7?
True
Suppose -6 = 2*k + 4*b, -4*b = 13 - 1. Suppose 153 = k*u + 45. Is 18 a factor of u?
True
Let g = 7 - 5. Suppose 3 = u + 5*f - 23, 95 = 3*u - g*f. Is u a multiple of 31?
True
Let u = -25 - -23. Let b = u + 23. Is 5 a factor of b?
False
Suppose w - 5 = -z, z - 15 = 3