 be 2/3 - (2 + 6111/(-27)). Suppose 3*c = 3*f + r, c - 5*f = 99 - 4. Does 10 divide c?
True
Let a be (-218)/(-1)*(-2 + 7 + -1). Suppose 4*t - a = -244. Does 36 divide t?
False
Suppose 0 = -f + 2*v + 3362, v + 3 = -2*v. Is f a multiple of 30?
True
Suppose -4 + 14 = 5*t. Suppose 2 = t*g - g. Suppose w - g = 3. Does 2 divide w?
False
Let a(d) = -d**3 - 7. Let m be a(0). Let c = m - -6. Is c*3 + (0 - -7) a multiple of 3?
False
Suppose 4*h - 3*h - 3*i = 114, -i = 2*h - 256. Is 14 a factor of h?
True
Does 13 divide (-8)/52 - 16737/(-39)?
True
Suppose 5*t - 6*t + 3 = 0. Suppose -8*p = -t*p - 350. Is p a multiple of 14?
True
Let f = -243 - -291. Is f a multiple of 8?
True
Let d(x) = x**2 + 4*x - 5. Let h be d(-5). Suppose 111 = -h*r + 2*r - 3*n, -4*n - 220 = -4*r. Is r a multiple of 6?
True
Suppose -4*y = -6*y - 16. Let a = -6 - y. Suppose 4*r - 87 = w + 11, -5*w = -a*r + 58. Is 6 a factor of r?
True
Suppose 7*b = 4*b + 5*j + 2325, 4*j = 4*b - 3092. Is 10 a factor of b?
True
Does 24 divide (725/2)/((-2)/(-4))?
False
Let m(b) = -b**2 - 42*b - 52. Is m(-35) a multiple of 16?
False
Suppose 4*m + 8 = -0. Let r = m + 3. Does 4 divide (9 - -6)*r/1?
False
Let w(m) = -380*m + 6. Is 41 a factor of w(-1)?
False
Let x = 408 + -320. Is 2 a factor of x?
True
Let k(s) = s**3 + 24*s**2 - 7*s + 22. Is 24 a factor of k(-24)?
False
Suppose -4*w = -5*u - 157, 0 = -2*w - 4*u - 16 + 88. Let i = w + -64. Let q = i - -59. Does 11 divide q?
True
Suppose -2*y + a - 266 = 0, 4*y + 5*a - 2*a = -522. Let n = y - -200. Is 17 a factor of n?
True
Let p(a) = -11*a + 12. Let l be p(-4). Suppose b = 4 + l. Is 41 a factor of b?
False
Let w be (-10)/35 - (-30)/7. Let d be 381/2 + 6/w. Let f = -120 + d. Does 13 divide f?
False
Suppose -4*f + 8*k + 7204 = 7*k, -2*k = 4*f - 7192. Is f a multiple of 50?
True
Suppose -76 = -4*c - 5*d, -4*c - 3*d + 64 = -d. Suppose -43 + c = -f. Is 20 a factor of f?
False
Let g be 12 + (-4)/(1 - -1). Let b = g - -23. Is 11 a factor of b?
True
Suppose b + 387 = -2*b. Let v = -29 - b. Is 29 a factor of v?
False
Let g = 2770 + -1663. Is g a multiple of 27?
True
Let y(f) = -5*f**3 - 17*f**2 - 16*f + 19. Let u(r) = 3*r**3 + 9*r**2 + 8*r - 10. Let l(a) = -7*u(a) - 4*y(a). Does 10 divide l(3)?
False
Let z(h) = -16*h**2 - 7*h - 11. Let y be z(-4). Let b = -171 - y. Is 34 a factor of b?
True
Let a be 42/9 + (-2)/3. Suppose -s + 0 + 2 = 0, 0 = a*i + 3*s + 110. Let r = 81 + i. Is r a multiple of 13?
True
Let i = -2705 - -3402. Is 41 a factor of i?
True
Let h(s) = -152*s + 237. Is h(-6) a multiple of 27?
False
Suppose -28 = -25*k + 21*k. Suppose 5*x = -k*n + 2*n + 105, -70 = -4*x + 3*n. Is x even?
False
Suppose c = 3*o + 595, 5*c = -4*o + 3*c - 810. Let n be ((-12)/5)/(15/o). Is n - (1 - (3 - 4)) a multiple of 15?
True
Let i(z) = -z**2 + 7*z - 3. Let q be i(6). Suppose -81 = q*c - 0*c. Let k = c - -46. Is k a multiple of 11?
False
Let p = -320 + 368. Does 11 divide p?
False
Let g = -62 - -107. Suppose g = 2*q - 17. Let o = q + -9. Does 11 divide o?
True
Suppose 0 - 2 = -i. Let q(z) = -3 + 8*z**3 + 3*z**2 + z - z - 4*z**2 + 3*z. Does 20 divide q(i)?
False
Let y = -47 + 2179. Is 13 a factor of y?
True
Suppose -4*d = -0 + 12. Let i be (-36)/8*2/d. Suppose 5*g + 27 = 2*p, -4*p - i*g + 7*g + 48 = 0. Is p a multiple of 8?
False
Suppose -2*m = -3*x - 0*x + 2, 8 = 4*m. Suppose t - x*z + 4*z + 9 = 0, -4*z = 5*t + 33. Is 70/(-3)*6/t a multiple of 14?
True
Let s(x) = -x**3 + 8*x**2 - 5*x - 7. Let a be s(7). Let b(g) = 0 - 4 + 8 - a*g + 28*g. Does 23 divide b(2)?
True
Suppose -11*g - 6351 = -98*g. Does 6 divide g?
False
Let t = 948 - -396. Is t a multiple of 21?
True
Let v = 38 - -4. Does 7 divide v?
True
Let z(l) be the third derivative of l**6/120 - l**4/12 + 13*l**3/3 - 5*l**2. Is z(0) a multiple of 13?
True
Let w = 1 - 13. Is 19 a factor of (-19)/((w/(-9))/(-4))?
True
Let p be (-1 + 0)/((-28)/308). Suppose -p*d + 298 = -230. Does 15 divide d?
False
Let j(v) = 10*v - 6 - 27*v + 15*v. Let w be j(-9). Is 17 a factor of w*((-21)/(-4) - 2)?
False
Suppose f + 1017 = 5*p, p + p = 3*f + 412. Is 29 a factor of p?
True
Let c be (-236)/(-10) - 6/(-15). Suppose -4*y + 43 = 3. Let s = c - y. Is s a multiple of 7?
True
Let r be (-16)/(-4) - (-1 - 9). Suppose -r*p + 82 = -12*p. Let b = p + -34. Does 7 divide b?
True
Suppose 5*l + 1375 - 370 = 0. Let p = -121 - l. Does 16 divide p?
True
Let l = 234 + 468. Is l a multiple of 13?
True
Is 21 a factor of (14/5)/(23/7245)?
True
Suppose -2*b + 747 = -3017. Does 25 divide b?
False
Suppose 3*p - 5*p = p. Suppose 3*z - 5*v - 98 = p, -7*v + 2*v = 4*z - 154. Is z a multiple of 9?
True
Suppose 1043 = 10*h - 37. Is h a multiple of 12?
True
Suppose 37*x = 31*x + 696. Is x a multiple of 19?
False
Suppose -8*p + 9*p = 150. Is 10 a factor of p?
True
Let g(w) = 2*w + 55. Let j be (-168)/(-9) - (-11)/((-33)/2). Is g(j) a multiple of 13?
True
Let a(s) = -s**2 + 6*s + 1. Suppose 3*x = 3*k - 2*k + 9, -2*k - 12 = -4*x. Let d be 0 - (-4 - (4 - x)). Is a(d) a multiple of 4?
False
Suppose 60 = -2*y + 6*y. Is y + (1 + 1 - 4) a multiple of 13?
True
Suppose 4*t - 6*t = -10. Suppose -4 + 14 = t*m. Suppose m*u = -0*u + 82. Does 23 divide u?
False
Let q(p) = -11*p - 28. Let u be q(-4). Suppose -u*x + 1470 = -x. Is 14 a factor of x?
True
Suppose 0*t = -5*t - z - 91, 0 = 5*z - 20. Let q(p) = -10*p + 22. Does 19 divide q(t)?
False
Suppose 5*a + 2 - 17 = -3*c, -2*a - 5 = -c. Does 17 divide (-2 - a)*(-255)/10?
True
Suppose -5*q + 5*h = 0, 11 = -3*q - 2*h + 26. Suppose n - 74 = q*n. Let x = n + 59. Is 11 a factor of x?
True
Let j(b) = -b**2 - 37*b + 98. Does 42 divide j(-35)?
True
Let j(o) = 8*o**3 - 3*o + 9. Does 24 divide j(3)?
True
Suppose -6*n + n - m + 7663 = 0, -3*n + 4589 = 5*m. Is 19 a factor of n?
False
Let o(b) = 3*b - 13. Suppose -5*q = -g + 13 + 8, 3*g + q = 15. Suppose -3*t + 33 = g. Is 10 a factor of o(t)?
False
Let l(i) = i**2 + 11*i - 34. Let o be l(10). Suppose -2*q - 4*b + b + o = 0, -3*q - 2*b + 254 = 0. Is 9 a factor of q?
False
Let p be 16/(-12) + ((-8)/(-6) - -3). Let y(s) = -s**3 - 7*s**2 - 7*s + 1. Let x be y(-6). Suppose 0 = x*w - p*w - 104. Is 4 a factor of w?
False
Let n(u) = 2*u**2 - 7*u - 12. Let s be n(-7). Does 22 divide 22 + s - 2/(4/6)?
True
Suppose 1383 = 2*h + 5*y, -2*h + 3*y - 512 = -1935. Is h a multiple of 41?
False
Let t(o) = -o**3 + 7 - 110*o**2 + 95*o**2 - 13*o - 3*o. Does 4 divide t(-14)?
False
Let r = -2278 - -3718. Does 18 divide r?
True
Let a(p) = -p**2 + 7*p - 8. Let m be a(4). Suppose -63 = -m*d + 21. Suppose -d = -2*n + 121. Is n a multiple of 18?
False
Suppose 9*n - 14*n + 5*g = -4735, -n = -4*g - 932. Does 17 divide n?
True
Let u = 689 - 437. Is 7 a factor of u?
True
Suppose 3*b = -4*h - 6607, -4*h = -4*b + b - 6575. Does 13 divide 1/(-3) - b/39?
False
Let d(t) = -2*t**2 - 3*t - 1. Let w be d(-2). Is 8 a factor of 3*(w + 17) - 3?
False
Suppose -25*f + 2080 = f. Is f a multiple of 5?
True
Let q(v) be the first derivative of 2*v**3/3 + v**2 - v + 4. Is q(-7) a multiple of 22?
False
Suppose 2*n = 1 + 9. Let p = -12 + n. Let j(i) = -i**3 - 7*i**2 + 8. Does 5 divide j(p)?
False
Suppose j = -2*u + 2*j + 11, -5*u = 5*j - 20. Suppose u*a - 10*a = -120. Is a even?
True
Suppose 7*c - 3420 = -2*c. Is c a multiple of 37?
False
Let t(w) = -2*w**2 + 12*w + 2. Let j be t(6). Suppose 0*p + 3*p - 5*u = 81, 5*p + j*u - 135 = 0. Is p a multiple of 12?
False
Suppose -65 = -5*i + 5*w, 2*i = 6*i + 3*w - 38. Suppose 867 = i*y + 9. Is y a multiple of 12?
False
Suppose 79 = 4*t + 31. Let r(b) = b**3 - 11*b**2 - 10*b + 3. Let n be r(t). Does 6 divide (24/36)/(1/n)?
True
Is 3 + -3 + (-3 - -4)*373 a multiple of 36?
False
Suppose -11380 = -3*w - 2*p, -w - p + 2723 = -1071. Does 26 divide w?
False
Let t = 86 + -82. Let i = 77 + -49. Suppose d = 0, 4*k + t = 4*d + i. Is 6 a factor of k?
True
Let c(p) = -p**3 - p. Let t(u) = 2*u**3 - u**2 + u. Let x(s) = 7*c(s) + 4*t(s). Let f be x(-2). Let a = -7 - f. Is a a multiple of 11?
True
Let k be -5*((-366)/(-15) + 2). Let u = -47 - k. Is u a multiple of 24?
False
Let m = 837 + -87. Is 25 a factor of m?
True
Let h(j) = 4*j**2 + 1. Let l be h(-1). Suppose 170 = l*b + 4*c, 3*b - 170 = -2*b + c. Is 27 a factor of b?
False
Suppose -2*r - 40 = -46. Suppose z - 7 = -c - 0*z, 5*c + 4*z - 31 = 0. Suppose c*x = 3*f - 7*f + 15