- i. Is 5 a factor of p?
True
Suppose 656 = 5*a - 2*a - 5*j, -4*a = 5*j - 863. Let x = a - -28. Is 5 a factor of x?
True
Let c(f) be the third derivative of -f**4/24 + 7*f**3/6 + 8*f**2. Let l(k) = -2*k**2 + 5*k - 18. Let d be l(2). Is 4 a factor of c(d)?
False
Suppose 7370 = 4*w + 2*g, -w + 2*g + 1133 = -697. Does 23 divide w?
True
Let c(q) = -4*q - 22. Suppose 5*m = -4*a - 53, 0*m = m - 4*a + 1. Let w be c(m). Suppose d = -0*d + w. Is 4 a factor of d?
False
Let v be ((-21)/(-1))/(2*5/(-10)). Is 3*49/v + 874 a multiple of 51?
True
Let v(j) = 5*j**3 + 30*j**2 - 2*j - 13. Let s be v(-6). Does 19 divide s + 837 - 228/(-57)?
False
Suppose -2*t + 55 = -4*i + 3, t - i = 21. Is 22 a factor of 22*1 - (16 - t)?
True
Let c(q) = -q**2 + 75*q + 5759. Is c(121) even?
False
Suppose -9*b + 36 = -0*b. Suppose b*u + 1974 = 11*u. Suppose 0 = -4*m + 4*i + 376, 3*m + 2*i - u = 7*i. Is m a multiple of 20?
False
Let i(j) = -16*j**2 - 2*j + 205. Is 41 a factor of i(0)?
True
Let z(r) = -18*r**2 - 486*r - 412. Does 139 divide z(-23)?
False
Let y be (5/5)/(1/3). Suppose 0 = -y*t + 1004 + 1681. Suppose 3*v - 741 = -3*q, 3*v - t + 160 = -5*q. Is 25 a factor of v?
True
Let w be ((-16)/14 + 2)*1211. Suppose -w + 138 = -9*d. Suppose 32*f - 27*f - d = 0. Is 2 a factor of f?
True
Let f(a) = -9873*a - 4082. Is 180 a factor of f(-5)?
False
Let l be -1 - 1 - (-1147 - 4). Let r = 0 - -10. Suppose 281 + l = r*g. Is 22 a factor of g?
False
Does 66 divide (16830/8)/(0 - (-18)/48)?
True
Suppose -f + 2*p + 17 = -2*p, -2*p + 37 = 3*f. Let t(g) = 2*g + 23 - f + 18 + 28. Does 6 divide t(-13)?
True
Let p be 9/(10/4 - 150/600). Let m = -49 + 88. Is p/26 - 883*(-6)/m a multiple of 8?
True
Is 45/27 - 2 - (209136/(-9) - 4) a multiple of 127?
True
Let z(q) = -2878*q - 7798. Is z(-29) a multiple of 67?
False
Let v be ((-3)/3)/(10/80). Is 43/172 + (-2374)/v a multiple of 9?
True
Let p be 38/8 - (0 - (-1)/(-4)). Suppose -2*g + 3*n - 12 = 0, 5*n + 40 - 10 = -p*g. Does 5 divide (g/(-16)*-4)/(3/(-10))?
True
Let k(v) = 14*v - 371. Let f be k(27). Suppose f*n - 690 = -16*n. Does 10 divide n?
True
Suppose 0 = -21*a - 3*a + 24. Is 5 a factor of (a - (-5 + 5))*2 - -13?
True
Suppose 0 = 16*v - 56 - 8. Suppose -16 = v*n - 24. Suppose n*r - 275 = 55. Is 21 a factor of r?
False
Suppose 0 = -31*c - 22*c + 34*c + 120745. Is c a multiple of 41?
True
Let u(f) = -f**3 + 57*f**2 - 325*f + 38. Does 6 divide u(16)?
True
Suppose 0 = 35*o + 141840 - 287326 - 193769. Is o a multiple of 108?
False
Let l = 15 - 14. Is l/(1 + 15/(-12)) + 8 a multiple of 3?
False
Suppose -13*u + 629 = -216. Suppose -60*p = -u*p + 2455. Is 29 a factor of p?
False
Let u(o) = 22 + 22 + o + 2*o**3 - 20*o**2 - 58. Let c be u(10). Is 6 a factor of 2/11 - (20352/88)/c?
False
Suppose 4*p + 42 = 2*h, 0 = -2*p + 3*h + 8 - 35. Does 89 divide (p - -494) + (-10 - (-4 + 0))?
False
Suppose -6105 = -18*h + 789. Suppose 2*q - 378 = -4*m, h = 75*m - 71*m + 3*q. Is m a multiple of 4?
True
Suppose -5*x = -4*c + 17104 + 7386, 0 = c + 5*x - 6110. Is 15 a factor of c?
True
Let b = 11570 + 5080. Is 111 a factor of b?
True
Let h be -2*10/15*-21. Suppose 0 = -21*u + h*u - 5985. Does 9 divide u?
True
Suppose -2819485 = -142*m + 448386 + 2608089. Is m a multiple of 197?
False
Suppose 3*q - 2*z - 82515 = 0, 23*z = -2*q + 27*z + 55018. Is 61 a factor of q?
False
Let t = -2198 + 9150. Does 22 divide t?
True
Let y(g) = 5*g - 12. Let n be y(6). Is 2 a factor of (-2)/(8/6)*(-276)/n?
False
Let q be 7632/10 - 108/(-135). Suppose -2*z - 4*p + q = 0, z - 2*p = -116 + 490. Is 27 a factor of z?
True
Let n(s) = -14*s**3 - 6*s**2 - 3*s + 2. Suppose -31 = -4*c - 5*d, 3*d + 2 = 2*c + d. Let q be (c + -4 - 0) + -2. Is n(q) a multiple of 16?
True
Suppose 2232 = 4*u - 92. Let x = 1044 - u. Is 52 a factor of x?
False
Suppose 29*q = 19*q + f + 76000, -3*f - 22800 = -3*q. Is 39 a factor of q?
False
Suppose -5*y = -2*r - 23995, 25*y + r = 22*y + 14397. Is y a multiple of 11?
False
Let o be ((-2247)/2)/((-6)/8). Suppose 4*g = 8, -3*q = 3*g - o + 220. Is q a multiple of 53?
True
Suppose -5*u - 5 = -5*p + 2*p, 5*u = -4*p - 5. Let l(r) = 3*r**2 - 2*r - 1. Let f be l(u). Suppose 4*y = -d - f + 68, 4*d - 171 = y. Is d a multiple of 44?
True
Suppose -330*t = -637273 + 96073. Is 5 a factor of t?
True
Let d = 5998 - 3287. Is d a multiple of 2?
False
Suppose -y = 4*y. Suppose y = 4*n - q - 61, n - 15 = q + 4. Is (28/(-6))/(n/(-21)) a multiple of 5?
False
Let q be (7 + -57)/(-5) + 743. Let h be (0 - 1)/(-1) + 228. Suppose -q + h = -4*i. Is 34 a factor of i?
False
Let b(i) = 10*i**2 + 33*i + 10. Let g = 217 - 222. Does 10 divide b(g)?
False
Suppose 7*o - 6 - 239 = 0. Let t = o + -30. Suppose 445 = t*s + 5*x, -3*x = -s - 2*x + 81. Does 27 divide s?
False
Is (4 - 9)*((-441270)/(-50))/(-9) a multiple of 17?
False
Suppose 2 - 6 = -3*i - 2*n, 3*n = 5*i - 13. Suppose 3*q - i*s - 256 = 0, 2*s - 5*s - 342 = -4*q. Is q a multiple of 6?
True
Suppose 0 = -4*w - 14*w + 5598. Suppose 12*f + 95 = w. Is f a multiple of 9?
True
Suppose 4092 = -6*w + 34572. Is 20 a factor of w?
True
Let a(h) = -14752*h + 14773*h - 3*h**2 - 2*h**2 - h**3 + 8. Let r(x) = -7*x**2 - 1. Let p be r(1). Does 4 divide a(p)?
True
Let x(k) = -k + 12. Let y be x(8). Suppose -3 = -c - y*u, 2*u - 6 = 3*c - 5*c. Suppose -2*n = c*o - 88, 4*n - 6*n + 4*o = -88. Does 7 divide n?
False
Let i(a) = -2*a - 18. Let z(k) be the second derivative of 5*k**3/6 - k**2 - 14*k. Let c be z(-4). Is i(c) a multiple of 13?
True
Let h(s) = 310*s - 44. Suppose 27 = 26*n + 1. Is 15 a factor of h(n)?
False
Let n = -490 + 495. Does 65 divide ((-28)/126)/(n/(-13995))?
False
Let q = -22479 - -52834. Does 13 divide q?
True
Suppose 0 = -2*x - 4 - 20. Let m = 39 - x. Is m a multiple of 17?
True
Let c = -47 + 61. Let l be ((-7)/c)/(2/(-336)). Suppose 5*g - l - 11 = 0. Is g a multiple of 9?
False
Let g(s) = s**3 + 6*s**2 + 7*s - 56. Let d be g(-7). Let y = 395 + d. Is 3 a factor of y?
False
Suppose 5*g + 1220 + 2765 = 0. Let h = g + 1622. Is 9 a factor of h?
False
Let u be -4 - (0 + 0 + -6). Let k be 648/(0 + 3/u). Suppose 0 = -4*l + l + k. Does 36 divide l?
True
Suppose l - 5*s = -2*l + 26, 4*l + 5*s + 12 = 0. Suppose -i + 4*h = -244, 5*i - l*h - 1199 = -3*h. Does 16 divide i?
True
Suppose -96361 + 776501 = 62*t. Is t a multiple of 9?
False
Let w = 758 + -664. Let t = w - -284. Is 27 a factor of t?
True
Let m(k) = -26*k + 42. Let a(o) = -2*o. Let d(h) = 2*a(h) - m(h). Is 32 a factor of d(6)?
False
Let x = -2341 - -3489. Is 15 a factor of x?
False
Let j = -10473 - -17626. Is j a multiple of 35?
False
Let q(v) = 8*v**3 + 16*v**2 + 9*v - 41. Is q(8) a multiple of 14?
False
Suppose -14957 = 3*m - 6*m + 3511. Is m a multiple of 18?
True
Let c = -29476 - -58389. Is 38 a factor of c?
False
Let t be 13/(22*7/(-78) - -2). Let w = -309 + t. Is 7 a factor of w?
False
Let v(i) = -720*i - 2237. Is v(-12) a multiple of 9?
False
Suppose 62666 = 2*b - 4*m, -b = 3*b + 3*m - 125310. Suppose -37*c - 5170 = -b. Is c a multiple of 46?
False
Let s = 50 + -46. Suppose 0 = y + s*a + 14 - 7, -2*y + 3*a = 36. Is ((-104)/12)/(5/y) a multiple of 13?
True
Let d(q) = 20*q + 17. Let a be d(-3). Let o be 90/225 + a*2/(-10). Suppose o*k - 520 - 1622 = 0. Is 17 a factor of k?
True
Let i = 61 + -68. Let j be (-10)/(-25) - i/(-5). Is 3/j*260/(-6) a multiple of 13?
True
Let m = 30387 - 19382. Is 31 a factor of m?
True
Suppose -8 = -2*x, 2*b = -2*x - 1661 + 5645. Does 4 divide b?
True
Let p = -111 - -114. Suppose -845 = -5*k - 5*f, -2*k - f + 334 = -p*f. Is k a multiple of 21?
True
Let g(k) be the third derivative of -k**5/60 - 56*k**3/3 + 15*k**2. Let y be g(0). Let s = y + 334. Is 39 a factor of s?
False
Suppose 4 = 15*m - 14*m + 2*p, m - p - 1 = 0. Is 44 a factor of (-1)/(m/(-2860))*(-56)/(-140)?
True
Let t(g) = 100*g**3 + 2*g**2 + 34*g - 133. Is 8 a factor of t(3)?
False
Let l(m) = m**2 + 6*m - 17. Let h be l(4). Let a = h + 88. Is 25 a factor of a?
False
Let v(d) = d**2 - 5*d - 24. Let b be v(8). Suppose -3*g = b, 2*z - 4 = 3*g - 0. Suppose -3*m + 2*a = -51, z*a = -4*m + 3*a + 68. Does 17 divide m?
True
Let f(s) = -33*s - 154. Let t(u) = 3*u + 33. Let v be t(-15). Does 5 divide f(v)?
False
Let o be (216/2 + 2)/1. Let m = o + -92. Is m a multiple of 18?
True
Let n(o) = o**3 - 23*o**2 + 63*o - 56. Let g be