le of 5?
True
Let f = 16 - 14. Suppose -72 = -f*q + 290. Suppose -2*w = 6, q = 4*s + 3*w - 70. Is 13 a factor of s?
True
Suppose 0 = 2*m - 3*y - 1520, -2*m = 3*m - 3*y - 3809. Does 33 divide m?
False
Is 8 a factor of (-4)/46 - 13/((-299)/1106)?
True
Suppose -y + 15 = 3*l - 2, 4*l - 30 = -5*y. Suppose l*n - 2*n = 0. Suppose 2*p + 3*p - 280 = n. Does 14 divide p?
True
Let x be (-130)/40 + (-2)/(-8). Does 19 divide x*1/((-4)/316)?
False
Let c = -33 - -168. Does 52 divide c?
False
Let a = 20 + -25. Is 14 a factor of (a - -3)*(1 - (-158)/(-4))?
False
Let h(s) = -2*s + 218. Is 30 a factor of h(-26)?
True
Suppose -y + 42*w - 47*w = -1005, -5*y + 2*w = -4998. Does 24 divide y?
False
Let c = -43 + 46. Is 16 a factor of c*-25*(16/(-6) - -2)?
False
Let l(r) be the first derivative of r**4/4 + 20*r**3/3 + 8*r**2 + 22*r - 16. Is l(-19) a multiple of 27?
False
Let k(s) = 6*s**3 + 2*s**2 + 5*s - 6. Is k(3) a multiple of 11?
False
Suppose -2664 = -4*r - 2*a, 3*r - a - 1998 = -4*a. Is r a multiple of 18?
True
Let n = -3 - 3. Let y be (n/(-12))/(1/(-236)). Let x = -72 - y. Is 16 a factor of x?
False
Let n = -7 - -48. Suppose -q + 0*d = 3*d - n, -2*d = -3*q + 134. Is 18 a factor of q?
False
Suppose -3085 = -10*u + 715. Is 10 a factor of u?
True
Suppose l + 2*l = 3. Let k(y) = 26*y**2 + 2*y - 2. Is k(l) a multiple of 15?
False
Let j(l) = 2*l - 7. Let s be j(5). Suppose 3*b - 25 = -3*u + 26, 0 = -s*b + 5*u + 75. Suppose -b = 4*c, -2*c + 41 - 131 = -2*h. Is h a multiple of 17?
False
Let c be 103/5 - ((-8)/(-5) + -1). Let x = c + 26. Is 19 a factor of x?
False
Let l(b) = -207*b + 14. Is 13 a factor of l(-1)?
True
Let b be ((-117)/13)/(2/(-14)). Let h be (b/(-42))/((-3)/(-76)). Is ((-18)/4)/3*h a multiple of 13?
False
Suppose 2*i + 12 = 3*i. Let x = -101 + 102. Let b = i + x. Is 13 a factor of b?
True
Let l(r) = -51*r + 38. Let m = -72 - -66. Is 14 a factor of l(m)?
False
Suppose 3*i + 197 = j - 207, 0 = -3*j + 5*i + 1232. Is j a multiple of 24?
False
Let b = 40 + -37. Suppose 0 = -5*c + 2*a + 50 + 678, 436 = b*c - a. Is 24 a factor of c?
True
Let v = 46 + -1. Suppose p - 9 = 4*c, -p - v = -6*p - c. Is p/15 - 1410/(-25) a multiple of 19?
True
Let g(s) = -s + 15. Let c be g(12). Let d(x) = x**2 - 4*x + 2. Let l be d(c). Let t = l + 38. Is t a multiple of 16?
False
Suppose -6*t + 3 = -4*t - f, 0 = 2*t + f - 5. Let a = -132 + 86. Is 15 a factor of (1/t)/((-1)/a)?
False
Suppose 10*f - 18 = f. Suppose -374 = -f*c + 4*i, 0 = 5*c + 2*i - 917 - 30. Is 10 a factor of c?
False
Let p = 5 + 0. Suppose -p*l = 4*v - 619, -2*l - 332 = -3*v + v. Is v a multiple of 13?
False
Let a(h) = h**3 - 5*h**2 - 7*h + 2. Let x be a(5). Let o = 19 + x. Let l = o - -21. Does 6 divide l?
False
Let n = -17 - -25. Let m(x) = -x**3 + 13*x**2 - 10*x - 6. Let h be m(n). Suppose -10 = 4*g - h. Does 28 divide g?
True
Let b(i) = -3*i**3 - 5*i - 4. Let k be b(-2). Suppose 2*f - 12 = j - 2*f, 5*j + 4*f = -180. Does 20 divide (0 - j)*k/12?
True
Suppose 4*d - y + 4*y = 1027, 3*y + 253 = d. Is 2 a factor of d?
True
Let l(w) = -w**3 + 6*w**2 + w + 1. Suppose -15 + 87 = -4*y. Let x be (-4)/(-6) - 78/y. Does 9 divide l(x)?
False
Let g = -40 - -38. Suppose -5*k + 234 = y, -3*k = y + 2*y - 138. Is 9 a factor of g + -6 + 3 + k?
False
Suppose 3*z = -15*a + 14*a + 1123, 8 = 4*z. Is a a multiple of 13?
False
Suppose -c + 6*s = -402, 0 = 5*c - 4*s - 2798 + 840. Is c a multiple of 78?
True
Suppose 5*k + t - 14 = 0, 0 = -0*k + 2*k - t. Suppose k*v = 349 + 13. Does 12 divide v?
False
Is 43 a factor of (118/295)/(2/1290)?
True
Let t(o) = -o**2 + 13*o - 25. Let n be t(11). Is 13 a factor of (n*4)/4 + 29?
True
Suppose -4*r = 4*c + 64, 4*c + 0*r + 74 = r. Let s = 4 + -2. Is 5 a factor of ((-40)/30)/(s/c)?
False
Let u be -2 + (-19 - -1)*-1 + 1. Is (1 + -1)/(-1) + 1071/u a multiple of 23?
False
Let t(s) = -4*s + 1. Let b be t(2). Let r(x) = 13 - 4 - 3567*x + 3560*x. Is r(b) a multiple of 31?
False
Let y(b) = -b**3 + 4*b**2 - 3*b + 4. Let h(m) = m + 8. Let d be h(-5). Let g be y(d). Suppose 0*z - 6 = 3*z, -4*x = -g*z - 36. Is 5 a factor of x?
False
Suppose -5*p + 5*x = -5 - 30, -4*x = -12. Does 10 divide p?
True
Suppose 16 = 2*p - 0. Suppose p*f = 3*f + 25. Suppose f*g - 16 = 159. Is g a multiple of 24?
False
Let v = -1418 + 1474. Is v a multiple of 3?
False
Suppose 4*b = 2*g - 1558, 13*b = -3*g + 12*b + 2337. Is 30 a factor of g?
False
Let d = -110 - -101. Is 10 a factor of d/6*68/(-6)?
False
Suppose -953 = 187*h - 188*h. Is 26 a factor of h?
False
Let f(o) = 24*o + 319. Is f(-10) a multiple of 55?
False
Let u be (-10 + 10)*1/(-4). Suppose -5*t + 5*i + 85 = u, -5*t + 18 + 59 = -i. Does 11 divide t?
False
Let g(y) be the third derivative of y**6/40 - y**5/20 + y**4/24 - 8*y**2. Let c(m) = -m - 1. Let h be c(-3). Does 14 divide g(h)?
True
Suppose 0 = 4*n + m - 228 - 401, 4*m + 802 = 5*n. Is 5 a factor of n?
False
Let x be (2 + -1 + 0)/((-5)/(-580)). Suppose 14 - x = -2*s. Is 8 a factor of s?
False
Let z(k) = -3*k + 22. Let g be z(6). Is (-18)/(-3 + (-1)/g*-11) a multiple of 9?
True
Suppose -3*r + 71 = 2*r - 2*c, 3*r = 5*c + 54. Is 6 a factor of r?
False
Let c(a) be the third derivative of 0 - 10*a**2 - 11/60*a**5 + 1/120*a**6 + 0*a + 7/2*a**3 + 1/24*a**4. Is 25 a factor of c(11)?
False
Let b be (-11*1)/((-12)/(-48)). Let d = b + 62. Is 6 a factor of d?
True
Let x(s) = 21*s**2 - s - 11. Does 10 divide x(-2)?
False
Let k be 33 + (3 - (8 - 1)). Let i = -25 + k. Suppose 2*b = i*b - 28. Does 3 divide b?
False
Suppose -s - 2*g + 1251 = 0, -50*g + 1236 = s - 53*g. Is 41 a factor of s?
False
Let q(k) = 10*k + 234. Does 29 divide q(-9)?
False
Let h(m) be the third derivative of m**4/24 + 7*m**3 - 13*m**2. Is 25 a factor of h(8)?
True
Let k(z) = -z**3 - 24*z**2 - 3*z + 49. Let i be k(-23). Let x = -179 - i. Does 41 divide x?
False
Let x be (0 - -2) + (-6)/(-6). Let j(b) = -2 - 4*b**3 - 6*b**3 + 3 - 21*b**x. Does 8 divide j(-1)?
True
Let m be (-4)/(98/48 - 2). Let a = 122 + m. Is a a multiple of 3?
False
Suppose 4*t - 8 = 0, -3*t + 290 = 3*a - 2*a. Does 20 divide a?
False
Suppose -b + 2*b = 0. Suppose b = 5*y + z, -y + 2*y = 4*z. Suppose 4*o - 94 = -5*c - y*o, -4*c = -o - 92. Does 17 divide c?
False
Let h(t) = 2*t + 5. Let o be h(0). Is 1/o + (-702)/(-15) a multiple of 10?
False
Suppose -6*r + 124 + 344 = 0. Is 78 a factor of r?
True
Suppose 0 = -3*m + 274 + 596. Let o = m + -6. Suppose 5*x - 42 - o = l, x - 5*l = 46. Does 19 divide x?
False
Let g(c) = 9*c**3 - 23*c**2 - 9*c + 24. Let w(r) = -4*r**3 + 11*r**2 + 4*r - 12. Let j(t) = 3*g(t) + 7*w(t). Does 8 divide j(7)?
False
Suppose -o + 12 = -g, -3*g + 2*o - 13 = 21. Let k(c) = c**2 - 14. Is 10 a factor of k(g)?
False
Suppose 5*w = -2*g - 91, g = -4*w - w - 93. Let d = 55 + w. Is 15 a factor of d?
False
Let y = -456 - -855. Is y a multiple of 13?
False
Let t = -1931 - -1985. Is t a multiple of 4?
False
Let g(f) = 5*f**2 + 67*f + 82. Is 31 a factor of g(-14)?
True
Does 5 divide (120/21)/(12/(-7) - -2)?
True
Does 39 divide -1 + 5907/22*16/6?
False
Suppose 0 = 2*z + 4*v - 118, 5*v = -8*z + 3*z + 275. Suppose -14 = l - z. Does 11 divide l?
False
Suppose 6 = 5*z - 9. Suppose -5*p + z*p = 1526. Is 12 a factor of p/(-14) - 1/2?
False
Suppose 5*n - 50 = 55. Suppose -2*f = -0*t + t - 15, 0 = -3*t + 5*f + 23. Let o = n + t. Is 16 a factor of o?
True
Suppose 2*v - y - 205 = 0, 2*v = 6*v + 4*y - 404. Let j = v + 0. Does 17 divide j?
True
Let n(z) = -z + 1. Let c(m) = -m + 10. Suppose -3*g - 2 = 1. Let q(y) = g*c(y) + 3*n(y). Does 7 divide q(-10)?
False
Let m(g) = 2*g**2 + 13*g + 35. Does 5 divide m(-12)?
False
Is 38 a factor of -2 - (-21)/12 - 55881/(-36)?
False
Let x(j) = -7*j - 11. Let c = 4 - -4. Suppose -10 = 3*l + c. Is 12 a factor of x(l)?
False
Suppose -14*b + 66 + 32 = 0. Let v(o) be the third derivative of o**6/120 - o**5/12 - o**4/6 - 4*o**3/3 + 2*o**2. Is v(b) a multiple of 28?
False
Let f(w) = 2*w - 8. Let q be f(4). Suppose a - 18 = -5*z - 2*a, -4*z - 2*a + 14 = q. Suppose 0 = 2*x + z*x - 315. Is x a multiple of 16?
False
Let s(y) = y**3 - 2*y**2 - 4*y + 147. Does 7 divide s(0)?
True
Let p(f) = -5*f**3 + 161*f**2 - 13*f - 68. Does 12 divide p(32)?
True
Suppose z - 2*y + 47 = 13, 0 = 5*y + 5. Does 6 divide (-76)/(-9) - z/(-81)?
False
Suppose -5*w + 16*j + 4167 = 20*j, -j + 4158 = 5*w. D