24 a factor of 30 - j - (-3 + 0)?
False
Suppose -2*b = -6*b. Suppose 20 = -4*w + 4*o, b*w + 4*o = w + 20. Suppose -3*p + d + 85 = w, 5*p - 2*d = -7*d + 175. Is p a multiple of 15?
True
Is 2 a factor of -2 + 1/(6/(-18)) + 190?
False
Suppose -2*v = r - 638, -3*v + 2*v + 5*r = -341. Does 19 divide v?
False
Let a = 40 - 70. Let f = a + 48. Is 18 a factor of f?
True
Does 31 divide 4734/(-63)*(-10 + (-6)/(-2))?
False
Let n(d) = -d**3 + 10*d**2 - 14*d. Let t = 1 - -5. Let r be n(t). Suppose -6*x + x = -r. Does 12 divide x?
True
Let z be (-4)/18 + 232/72. Suppose 2*y + w = -316, z*y - 61 = 5*w - 561. Let v = y + 237. Is 21 a factor of v?
False
Let d = -260 + 536. Is d even?
True
Let s = -369 - -843. Is s a multiple of 3?
True
Suppose 5*u = 4*n - 171, -169 = -3*n - 4*u - 33. Is n a multiple of 16?
False
Let t(b) = b**3 + 5*b - 4 - 1 + 8 + 6 - 9*b**2. Does 18 divide t(10)?
False
Is 0 + ((2 - 4) + -86)/(-2) a multiple of 26?
False
Let d = 1202 + -2499. Let m be 3 + (-3 + d)/(-5). Suppose -m = -4*g + 17. Is 11 a factor of g?
False
Let f(c) = 4*c**2 - 1. Let v be f(-1). Suppose v*y = -u - u - 21, 25 = -2*u + y. Is 12 a factor of u/42 - (-172)/14?
True
Suppose -3*x + 2*j + 3992 = -958, x = -4*j + 1636. Is 12 a factor of x?
False
Suppose 4*x = 35 + 5. Suppose 2*q = -x, -40 = -5*c + q - 10. Suppose -2*o + 6*o + 11 = r, 0 = -3*r - c*o + 84. Does 23 divide r?
True
Let a(g) = 54*g - 6. Let w be a(8). Suppose 0 = 7*t - 13*t + w. Does 20 divide t?
False
Suppose 4*x - 5*k - 39 = 8, 25 = 5*k. Suppose -22 = 3*i + 11. Let p = i + x. Does 3 divide p?
False
Let p = -769 - -1750. Does 55 divide p?
False
Suppose 4 = 4*o + k, 0*o + 4*o - 3*k + 12 = 0. Suppose -4*c + o*c - 160 = 0. Let i = -13 - c. Does 8 divide i?
False
Suppose 162*i + 3500 = 169*i. Is 15 a factor of i?
False
Suppose 3*i + 0*s + 3 = -3*s, 5*s = 4*i - 32. Suppose -6*a + 10 = -4*l - 4*a, -3*l - i*a = 12. Is 56 + (l - -3)*-1 a multiple of 28?
True
Suppose 3*i = 12, -6*i + 2*i = 3*j - 25. Suppose -360 = -6*f + j*f. Is 20 a factor of f?
True
Let b = 21 - 15. Suppose b*q = 4*q + 114. Is 19 a factor of q?
True
Suppose -4*p = p - 15. Let q be 338/(-10) + p/(-15). Let o = q - -90. Does 18 divide o?
False
Is 11 a factor of (-10)/(-3) + -2 - (-5389)/51?
False
Suppose 5*p - o - 5022 - 3473 = 0, -4*o = -20. Is 34 a factor of p?
True
Is (891/(-18))/(1/(-14)) a multiple of 27?
False
Let r(h) = -h**2 - h + 4. Let m(v) = 2*v**2 + 4*v - 13. Let z(t) = -2*m(t) - 7*r(t). Does 14 divide z(-6)?
True
Let n(v) be the first derivative of -v**3/3 - 9*v**2/2 - 4*v - 5. Let y be n(-8). Suppose -y*z + 106 + 114 = -2*p, -2*p = -z + 55. Is 14 a factor of z?
False
Let o = 6926 + -4756. Is o a multiple of 13?
False
Suppose -4*d = 3*h - 2690, 0*h - 2*h + 1792 = 2*d. Is 23 a factor of h?
False
Suppose -4*p - 5*y + 197 = 0, -2*p + 149 = p + 4*y. Let k be (-926)/(-10) + (-2)/(-5). Let l = k - p. Is 21 a factor of l?
False
Let m(p) = -4*p**2 + 9*p - 4. Let j(w) = -21*w**2 + 46*w - 21. Let b(u) = -2*j(u) + 11*m(u). Let d be b(3). Is 14 a factor of 562/10 - d/5?
True
Let k(g) = 3*g + 1. Let z be k(1). Suppose -23 = 5*b + 2*i, 6*b - z*b - 2*i + 12 = 0. Is ((-42)/(-10))/((-1)/b) a multiple of 9?
False
Let g be -1 + 40/(-18) + (-2)/(-9). Is 38/14 + g - (-825)/21 a multiple of 16?
False
Suppose -2*v + 3381 = v - 3*l, -3*v + l + 3383 = 0. Is 12 a factor of v?
True
Let h = -177 + 393. Is h a multiple of 54?
True
Suppose 0 = -2*y + 12 + 6. Suppose -y + 5 = 4*v. Does 14 divide -3 + v/(3/(-93))?
True
Let y(h) = 7*h**2 - 6*h - 1. Is 6 a factor of y(5)?
True
Let t(y) = 5*y**2 - 3*y + 7. Let r be t(4). Let u = r - 34. Is 4 a factor of u?
False
Let o = -22 - -24. Suppose -704 - 548 = -o*r + 3*d, -d = -2*r + 1244. Suppose -5*p = 90 - r. Is p a multiple of 29?
False
Let u = 73 - 5. Let c = -9 - -2. Does 14 divide (c - u)/((-3)/2)?
False
Suppose -4*v = 16, 4*a - 5*v = 5*a + 18. Let z = a + 74. Suppose 5*j - z = -26. Does 5 divide j?
True
Let h(o) = -37*o**2 - o - 1. Let u be h(1). Let c = u + 91. Does 5 divide c?
False
Let d(t) = -t**2 + 2*t + 1. Let y be d(0). Let l be (-46)/14 - (-4)/14. Is 24 a factor of 20*y + 1 - l?
True
Suppose -8*c + 19*c = 6105. Does 23 divide c?
False
Let r be -6 - 89 - (3 + -2). Let f be (-3)/2*r/18. Is 5 a factor of ((-75)/6)/((-4)/f)?
True
Suppose -34*v + 38*v = 2544. Suppose -5*k = 2*i - v + 113, -k + 108 = -3*i. Does 21 divide k?
True
Let n = -1 - -5. Let i = 986 - 983. Suppose 0*z + v + 121 = i*z, -n*v = -z + 22. Is 14 a factor of z?
True
Let y = -2070 + 2279. Does 46 divide y?
False
Suppose 0 = -d - 3*d - 108. Suppose -11*y - 533 = -24*y. Let a = d + y. Is a a multiple of 8?
False
Is (-3 + -1)*(-13 + -6) a multiple of 19?
True
Let q(u) = -u**3 + 4*u**2 - u - 4. Let b be q(3). Suppose -560 = -4*y + p, -b*p = p. Does 20 divide y?
True
Let t be (-3)/6 - 10/(-4). Suppose 0 = t*o + 5*z - 61, 3 - 26 = -o + 5*z. Does 14 divide o?
True
Let z(v) = -v**2 + 12*v - 4. Let t = 19 - 18. Let c be 12 - t - 7/7. Is z(c) a multiple of 4?
True
Let s = 489 + -331. Does 2 divide s?
True
Let a(s) = 32*s + 19. Let n be a(-1). Let m = -127 - -70. Let j = n - m. Does 11 divide j?
True
Let q be 56*6*(-9)/(-27). Let m = -13 + 42. Suppose -3*o = -3*j + 189, -m = -2*j - 3*o + q. Does 11 divide j?
True
Does 23 divide 6455/(-5)*(-1 + -3 + 3)?
False
Suppose -67 = -0*o - o + 3*g, 2*o - 118 = 2*g. Let n = -31 + o. Is n a multiple of 8?
True
Let g(w) = -54*w**3 - 2*w**2 - 4*w - 2. Is 9 a factor of g(-1)?
True
Suppose 8253 = 4*i - 2147. Is i a multiple of 40?
True
Let y = 239 + -22. Let l = -118 + y. Is l a multiple of 33?
True
Let y(r) = 22*r + 74. Is 5 a factor of y(-2)?
True
Suppose 8*c - 1705 = -3*c. Suppose -151 = -3*z + c. Does 16 divide z?
False
Is 26 a factor of (-3)/2*-400*143/26?
False
Let z = -923 + 1535. Does 34 divide z?
True
Let m(v) be the third derivative of v**4/3 - v**3/6 + 7*v**2. Let f be m(7). Suppose 2*t - f - 7 = 0. Is t a multiple of 12?
False
Let r(u) = u - 3. Suppose -3*p - 18 = l + p, -4*p - 24 = 4*l. Let o(j) = 4. Let g(y) = l*r(y) - 3*o(y). Is 5 a factor of g(-9)?
False
Suppose -5 = -p + 2*t, 6*p - 2*p - 4*t - 4 = 0. Suppose -3*m + 102 - 18 = 0. Let h = p + m. Is 12 a factor of h?
False
Suppose 5*i + 13 = -2*m, -4*m - 2 = 3*i + 59. Let o = -17 - m. Suppose g - o*g = 5*q - 320, 3*q - 192 = -g. Does 16 divide q?
True
Let f(s) = 3*s**2 + s - 2. Suppose -4*b - 4*q = 16, 0*b + 2*b - 3*q + 18 = 0. Let r be f(b). Is (-18)/27 - r/(-6) a multiple of 8?
True
Let x(g) = -g**2. Let i(c) = -2*c**2 - 6*c + 4. Let j(o) = -i(o) + 5*x(o). Let p be j(5). Let l = 113 + p. Is 19 a factor of l?
False
Let w be 4*(-1 + 1/(-2)). Does 20 divide ((-40)/(-1))/(w/(-12))?
True
Let k(r) = 107*r - 19. Does 14 divide k(3)?
False
Let x(r) = r**2 + 6*r + 11. Let v be x(-5). Is ((-1)/(v/21))/(4/(-8)) a multiple of 7?
True
Let z(b) = -b**3 + 15*b**2 - 24*b - 7. Let r be z(13). Suppose -3*p = -2*y - 2*p + 26, -y - p = -r. Is 13 a factor of y?
False
Suppose -220 = -q - 3*i, 3*i + 0*i = -5*q + 1160. Is q a multiple of 47?
True
Is ((-288)/(-90))/(4/190) a multiple of 19?
True
Is 60 a factor of 8/(-5) - (-153884)/365?
True
Suppose 4*s - 3*l = -15, 4*l + 0 = 20. Let g = s - -11. Let d = 29 - g. Does 9 divide d?
True
Suppose 2*s - 1 = 2*j + 3*j, 0 = 4*s + 4*j - 16. Is s - (-6 - (3 + -6)) - 1 even?
False
Is 100 a factor of 418000/(-228)*(-6)/5?
True
Suppose 0 = -5*d + 8*d - 2*q - 174, 4*d + q = 232. Suppose 3*j = 2*a - 0*j + 92, j - 4 = 0. Let c = a + d. Does 5 divide c?
False
Let q be ((-5)/(-4))/(5/20). Suppose 24 = q*s - 1, 3*y - s - 10 = 0. Suppose -5*h - 112 = -8*m + y*m, 2*m + 5*h = 58. Is 13 a factor of m?
False
Suppose 3*x - 1665 = 2*b, 7*b - 2775 = -5*x + 2*b. Suppose -x = o - 4*o. Let y = o - 132. Is 11 a factor of y?
False
Suppose -s = -4*l - 37, 7*l = 5*l + 10. Does 13 divide s?
False
Let w(m) be the third derivative of -m**8/20160 - m**7/840 + m**6/80 + 13*m**5/60 - 10*m**2. Let i(x) be the third derivative of w(x). Is i(-7) a multiple of 2?
True
Suppose 0*z = -6*z + 18. Suppose 2*x = 2*s + 342, 2*s - z*s = -3. Is x a multiple of 29?
True
Let f(t) = -t**2 + t**3 + 3*t + 14*t**2 + 8*t**2 + 14*t + 3. Does 27 divide f(-20)?
False
Let x(m) = -104*m - 76. Is x(-8) a multiple of 18?
True
Suppose -2*c = -4*w + w - 19, 4*c = w + 23. Let r = w - -13. Suppose -r*g = -9*g