e
Suppose -2*r = -6*r + 16. Suppose -8 = r*a, -2*a + 0*a + 272 = 4*j. Does 21 divide j?
False
Does 15 divide (-5*(-3)/(-3) - -9) + 1466?
True
Is ((-36)/16)/(4/(-528)*3) a multiple of 2?
False
Suppose 8*r - 3*r = 2*c - 1082, -r + 1082 = 2*c. Suppose 0 = 3*i - c + 34. Does 27 divide i?
False
Let y(j) be the first derivative of j**2/2 + 18*j + 5. Let l be y(0). Suppose 8 = 4*b, -4*b - b - l = -4*g. Is 2 a factor of g?
False
Let h be (3 + -15)*2/(-6). Let f(r) = -h*r + 0*r**3 + 9*r**2 - 9 - r**3 - 3*r + 0*r**3. Does 10 divide f(7)?
True
Suppose 6*t = 11*t - 1865. Suppose 6*l - 347 = t. Does 24 divide l?
True
Suppose -43*g + 41*g + 680 = 0. Does 68 divide g?
True
Suppose -4*n = -9*n. Suppose -z + 0*z + 40 = n. Is 11 a factor of (-3)/(2 + (-86)/z)?
False
Suppose -4*u = 2*d - 770, 2*d = -7 - 3. Does 39 divide u?
True
Suppose -5*b - 103 = 67. Let j(r) = 3*r**2 + 7*r + 6. Let a be j(-5). Let v = a + b. Is 5 a factor of v?
False
Suppose 5*j + 30 = -4*v, -3*v + 7*v = j - 18. Let s be 0/((15 + 0)/v). Suppose -n + s*n - 4*x = -33, 0 = 2*n + 4*x - 58. Does 7 divide n?
False
Suppose -2*x + 3058 = 754. Does 57 divide x?
False
Let n(y) = 8*y**2 + 6. Is n(3) even?
True
Is 17 a factor of -2*(-45)/2*2697/145?
False
Suppose -3*l + 10 = 2*l + 5*y, 0 = -3*l + 4*y + 34. Let n(w) = 4*w - 4. Let r be n(l). Suppose 0 = -0*v - 2*v + r. Does 10 divide v?
True
Let l(c) = -4*c**3 - 4*c - 2. Let b be l(-2). Is 3028/14 - b/133 a multiple of 36?
True
Suppose 2*l - 10 = 0, 5*u = u - 2*l + 38. Let p(z) = u*z**2 + 2*z**3 - 5*z - 3 + 0*z**3 - z**2 - 3*z**3. Does 3 divide p(4)?
True
Suppose -3*r + 1152 = 7*b - 4*b, -4*b + 3*r = -1543. Is b a multiple of 5?
True
Let n = -2 - -18. Does 8 divide n*5*(-5)/(-25)?
True
Does 10 divide (62 - 0) + 0 + -50 + 44?
False
Let b(z) = -z**3 + 8*z**2 + 8*z + 9. Let l be b(9). Let k = 3 + l. Does 23 divide k/(-18) + 698/12?
False
Let g(j) be the third derivative of j**4/6 - 2*j**3 + j**2. Suppose 2*l - 58 = -4*b, 5*l = -7*b + 2*b + 85. Is 12 a factor of g(b)?
True
Let l be ((-15)/(-6))/((-2)/(-4)). Suppose l*c = 163 - 33. Suppose -m - 27 = -2*m - 5*y, -3*m - 4*y + c = 0. Is m even?
True
Let k(u) = u**2 + 17*u + 6. Let g be k(-15). Let d = g - -106. Is d a multiple of 33?
False
Suppose 5*w - 17 = -2*c, -4*w + 3*w + c + 9 = 0. Suppose 4*l = -b + 288, -w*b - 254 = -l - 1736. Does 46 divide b?
False
Suppose 77 = 12*k - 235. Is k a multiple of 8?
False
Let m(x) = -183*x - 2. Let a be m(-2). Let c = 556 - a. Does 48 divide c?
True
Let i(q) = -5*q**3 + 5*q**2 + q + 4. Let z be i(4). Does 29 divide (z/(-6))/((-5)/(-15) - 0)?
True
Suppose 5*n + 4*j - 16 = 0, j = -2*n - 0*j + 4. Let a be -3 + n - (25 - 1). Does 21 divide (-1 + -2)*738/a?
False
Suppose h - 7 = -3*o, 0 + 6 = -o - 2*h. Suppose i - 612 = -o*x - 0*i, 0 = 5*x + i - 766. Does 20 divide x?
False
Suppose -8925 = -24*w + 3*w. Suppose 4*o - j - w = -103, 2*j + 158 = 2*o. Is o a multiple of 9?
True
Let k be (3 - 1) + -3 - -23. Let m = 116 - 25. Let g = m - k. Is 23 a factor of g?
True
Let x = -2 - -4. Suppose -d - 3*y + 42 = 0, 111 = x*d + 2*y + 35. Suppose 3*p = d - 3. Does 3 divide p?
False
Is 143942/66 + (-88)/(-1452) a multiple of 12?
False
Suppose 0 = -2*a - 3*a + 15. Suppose a*n + 1 = 2*n, 3*o = n - 2. Is 105/7 + 4 + o a multiple of 9?
True
Let o(l) = -68*l + 51. Does 8 divide o(-14)?
False
Let x = 137 - 55. Does 33 divide x?
False
Suppose g = 4*p - 16, -3*p + g = -0*g - 12. Let k(z) = -4*z + 7*z + p - 5*z. Is k(-6) a multiple of 8?
True
Let b(n) = 16*n**2 + 19*n - 30. Is b(8) a multiple of 21?
False
Suppose y - 2*y + 478 = 4*g, -4*y + 2*g = -1822. Is y a multiple of 9?
False
Let f = 172 - -20. Is 8 a factor of f?
True
Suppose 9*i + 231 = 10*i. Suppose -i = -4*m - 3*f, 2*m - f = 4*m - 113. Is 48 a factor of m?
False
Let n(q) = 729*q**3 - q. Is 7 a factor of n(1)?
True
Is 29 a factor of ((-4669)/28)/((-1)/4)?
True
Let k be 4/6 - 16/24 - -106. Suppose 0 = w + 31 - k. Is 6 a factor of w?
False
Let f = 157 + -111. Is f a multiple of 5?
False
Suppose i + 5*o = 640, 5*i - 2*i - 2*o - 1920 = 0. Is 40 a factor of i?
True
Let t(w) = 184*w**2 - 67*w + 195. Is t(3) a multiple of 15?
True
Suppose -161943 = -31*s - 59767. Does 49 divide s?
False
Let v(j) = 12*j**2 + 6*j - 6. Let r(t) = -t**3 - 6*t**2 - 7*t - 7. Let m be r(-5). Let g be v(m). Is 16 a factor of (4/3)/(10/g)?
True
Suppose 2690 = 5*d + 5*u, 4*d - 2*u + 346 = 2510. Suppose -5*h - d = -5*c, 0 = 4*h + h. Suppose p + 0*p - 26 = -2*a, -c = -5*p + a. Does 11 divide p?
True
Does 15 divide -3 + (-70)/(-22) + (-17095)/(-55)?
False
Let a(q) = 4*q - 2. Let l be a(1). Suppose -l*f - 82 = -3*f - u, 271 = 3*f - 2*u. Is 21 a factor of f?
False
Let x(i) be the first derivative of -i**6/120 - i**5/6 + i**4/6 + i**3/2 + 5*i**2 + 10. Let t(j) be the second derivative of x(j). Does 22 divide t(-11)?
False
Let i = -25 + 112. Suppose -88 = -2*a - 2*g, -2*a = 3*g - 3 - i. Suppose 0 = z - 5*r - a, -4*z - 6*r = -2*r - 240. Is z a multiple of 20?
False
Let z = -3 + 7. Suppose z*b + o - 1124 = 0, 3*b + 2*b - 3*o - 1422 = 0. Let x = 405 - b. Does 26 divide x?
False
Suppose 0 = 46*s - 42*s - 196. Does 20 divide s?
False
Let i(s) = 76*s**2 - s. Let j be i(1). Suppose -j = -2*q - 9. Does 33 divide q?
True
Let x be ((-90)/(-25) + -2)/((-4)/70). Is (240/(-28))/(4/x) a multiple of 20?
True
Does 45 divide -48 + 1024 + (-8)/(-1)?
False
Suppose 2*i = 6*i - 8. Let o be i/6 - (-170)/30. Is (o/10)/(1/215) a multiple of 34?
False
Suppose -n + 5*m = -27 - 423, 0 = 2*m - 8. Does 47 divide n?
True
Suppose 4*m = -5*j - 452 + 1794, 4*m + 3*j - 1346 = 0. Is m a multiple of 48?
False
Let k(w) = -w**2 - w + 1. Let t(s) = -16*s**3 + 5*s**2 + 6*s - 4. Let h(p) = 5*k(p) + t(p). Let l be h(-1). Let u = l + 34. Does 20 divide u?
False
Suppose f - 1530 = -14*f. Does 34 divide f?
True
Suppose 3*c - 73 + 109 = 0. Is 11 a factor of -18*(122/c + (-2)/(-4))?
False
Let c(w) = w**2 - 10*w + 10. Let x be c(9). Suppose -11 = -5*h - x. Suppose -r = h - 35. Is 10 a factor of r?
False
Is 57072/80 - 6/(-10) a multiple of 21?
True
Suppose -g - 3 + 4 = 0. Let m be g/(-3) + 182/42. Suppose 4*k + m = 6*k. Is 2 a factor of k?
True
Suppose -31 = -5*a + 3*j, j = 2*a - 2*j - 7. Suppose -a*r + 4*r = 0. Suppose 80 = 4*l - r*l. Is l a multiple of 11?
False
Let q = -2 - -7. Suppose 22 + 108 = q*l. Does 26 divide l?
True
Suppose -4*o - 28 = -5*o. Is o even?
True
Let i be ((64 - 0)/(-2))/1. Let j = 525 - 581. Let r = i - j. Is 24 a factor of r?
True
Suppose 65*n = 71*n - 276. Let g = -14 - 16. Let y = g + n. Is y a multiple of 8?
True
Let n = -222 + 458. Is n a multiple of 38?
False
Does 13 divide -1 - (668/(-4))/(-1 - -2)?
False
Let n(p) = -71*p + 66. Does 41 divide n(-6)?
True
Let y be 108/48 - (-2)/(-8). Suppose -y*a = -77 + 321. Let j = -41 - a. Does 27 divide j?
True
Suppose -4*l + 2573 = -p, p = -7*l + 5*l + 1285. Does 17 divide l?
False
Let h = -43 + 42. Let t = h + 39. Does 7 divide t?
False
Is 68*(-20)/3*174/(-145) a multiple of 8?
True
Suppose -3953 = -24*q + 31. Is q a multiple of 20?
False
Suppose -63*r + 25*r - 912 = 0. Let y = 82 - 38. Let v = r + y. Is v a multiple of 20?
True
Let c = -23 - -22. Is 39 a factor of (c + 17/4)/(20/720)?
True
Let u(h) = -4*h - 20. Let m be u(-10). Is -28*(1125/m)/(-9) a multiple of 35?
True
Let d(n) = 3*n**2 + 3*n + 3. Let c be d(-2). Let u(z) = z**3 + 16*z**2 - 19*z - 7. Let j be u(-17). Suppose 0 = a - j + c. Does 6 divide a?
True
Let c = 1174 - 949. Does 75 divide c?
True
Let p = 161 + 28. Is 20 a factor of p?
False
Suppose -u - 4*o = -70, 3*o + 7 = 4. Let x be (u/(-4))/((-3)/6). Let b = x + 10. Is 16 a factor of b?
False
Let m = 113 - 81. Suppose 6*b = m + 4. Suppose 30 - 132 = -b*d. Is d a multiple of 4?
False
Let w = 29 + -134. Let o = w + 238. Is o a multiple of 23?
False
Let l = 1 + -3. Let q be l - 0/(1 - -3). Let x = 19 - q. Is x a multiple of 7?
True
Let d be -14*(7/2)/(-7). Let r(b) = 1 + d - 2 + 5*b. Does 24 divide r(5)?
False
Let v be 0 + -2 + 5 + 0. Suppose 14*g - v*g - 759 = 0. Is g a multiple of 13?
False
Let d be (6/18)/((-1)/(-6)). Let z be (-2*(11 - d))/(-2). Suppose -w + 36 = z. Does 9 divide w?
True
Let j = 16 + 8. Suppose 5*o - 36 = 4*i, 9*o - 4*o - j = i. Suppose -6*h = -o*h - 54. Does 27 divide h?
True
Let b be ((-11)/5 - -1)*-5. Suppose 1536 = b*j - 2*j.