r of d?
True
Suppose -685 - 1011 = -u. Suppose 5*o = -7*h + 2*h + 1680, 0 = 5*h + o - u. Does 33 divide h?
False
Let i(k) = -k**2 - 7*k - 7. Let h be i(-5). Suppose -g + 50 = o, 8*o = 4*o + h*g + 179. Is o a multiple of 10?
False
Let q = 37 - -379. Is q a multiple of 5?
False
Let t(h) = -h**3 - 14*h**2 + 50*h - 14. Let b be t(-17). Suppose 622 = 3*r - 4*v, 4*r + 214 = 5*r - b*v. Does 11 divide r?
False
Let d(f) be the third derivative of f**6/120 + f**5/10 - f**4/8 - f**3/3 - 10*f**2. Let b be d(-7). Does 6 divide (b/21)/5 - 494/(-14)?
False
Suppose -29*k + 27*k + 3*y + 10998 = 0, -3*y - 21978 = -4*k. Does 97 divide k?
False
Suppose 5*z + 3*g = 1307, -294 = -2*z - 3*g + 227. Is z a multiple of 10?
False
Suppose 0 = 5*j - 5, -5*j + 18020 = 3*g - 585. Does 40 divide g?
True
Let z be ((-2)/(-10))/((-26)/(-1950)). Is 104 a factor of 8/10 - (-7893)/z?
False
Let u be (2 - 4)*(-21)/2. Is 35 a factor of 6/u - -61*(-56)/(-49)?
True
Suppose -3*v + 54288 = -3*p, -3*v + 6*p = 2*p - 54287. Does 117 divide v?
False
Suppose 3*h = -3*n + 984, -3*n = h - 120 - 858. Suppose -176 = 7*l - 197. Suppose -4*k - n = -l*p, p + 3*k - 53 = 77. Is p a multiple of 23?
True
Let g be (-117)/(-26) + (-3)/(-6). Suppose 2*m - 3*c - 1329 = 0, -g*m - 1415 + 4745 = -5*c. Is m a multiple of 18?
False
Let s(d) = -262*d - 14. Suppose 2*l + 0 = -4. Is 51 a factor of s(l)?
True
Suppose -3064 = -3*k - 3*w + 9347, 2*k - 8249 = 3*w. Does 7 divide k?
False
Let z(f) = 7*f**3 + 14*f**2 + 8*f + 27. Is z(7) a multiple of 43?
False
Let r(u) = 2*u**2 - 20*u + 7. Let y = -1 - -11. Let m be r(y). Suppose n = -m*n + 224. Is 4 a factor of n?
True
Is ((-224970)/20)/((-21)/28) a multiple of 26?
False
Let z(o) = -7*o - 310. Let a be z(-45). Is 9 a factor of a + 2694/8 + 18/72?
True
Suppose -8 = -8*j - 0. Is (-599)/(-3) + j/3 a multiple of 50?
True
Is (-852)/(-2769) + (-1214136)/(-39) a multiple of 43?
True
Is (-16940)/(-3) + (-33 - -34 - (-15)/(-9)) a multiple of 113?
False
Suppose -19*i + 5*i - 126 = 0. Is 7 a factor of i/(9/(-94))*2?
False
Suppose -114 = -3*p + l + 2*l, -p - 3*l + 42 = 0. Let q = 15 + p. Suppose 8*y - q = 2*y. Does 9 divide y?
True
Let h(n) = -3*n - 31. Let d be h(-10). Let a(t) = 4*t**2 + 4*t + 3. Let j be a(d). Suppose 0 = -j*x + 4 + 266. Is x a multiple of 30?
True
Let w = 77 - 72. Suppose -2*j + w*a = -21, 4*j - 27 = -2*a + 3. Suppose -10*d + j = -6*d. Is 2 a factor of d?
True
Suppose 0 = -y - 4*w - 0 + 49, 4*w = 5*y - 125. Suppose 0 = 24*b - y*b + 855. Does 9 divide b?
True
Let v(w) = w - 4. Let z be v(5). Let t(y) = -8 + z + 29*y - 31*y. Does 5 divide t(-16)?
True
Let q be (-45)/(-10)*2/3. Suppose q*i - 21 + 9 = -5*x, 3*x - 8 = -i. Suppose x*m - 133 = -f, 107 - 322 = -5*m + 5*f. Is m a multiple of 11?
True
Suppose -20 = -4*z, 4*x - 82*z = -85*z + 9791. Is 210 a factor of x?
False
Let v(c) = c**2 - 6*c + 368. Suppose -6*m + m = 7*m. Is 30 a factor of v(m)?
False
Let p be -116*((-27)/12)/9 - -5. Suppose -26*o - 3640 = -p*o. Is o a multiple of 65?
True
Is (-4)/(-44) - (13669058/143)/(-13) a multiple of 19?
True
Let n be 2/1*((-65)/(-10) + 0). Suppose 690 = 16*c - n*c. Suppose 12*g - c = 2*g. Is 17 a factor of g?
False
Let q(x) be the third derivative of x**8/10080 - x**7/280 + 19*x**6/240 + 49*x**5/60 + 41*x**2. Let g(l) be the third derivative of q(l). Does 12 divide g(8)?
False
Let p(q) = -52*q - 55. Let l be p(3). Let u = l - -229. Does 5 divide u?
False
Let v(n) = n**2 - 5*n + 27. Let c = 149 - 146. Is 7 a factor of v(c)?
True
Suppose -26*t = -27*t + 4*l + 11624, 0 = 3*t + 4*l - 34808. Is 87 a factor of t?
False
Suppose -690 = -11*i + 8077. Is 8 a factor of i?
False
Suppose 5*w + 5 = 0, -z - 82*w + 79*w = -1459. Does 2 divide z?
True
Let z(h) = -h**3 + h**2 + 2*h + 8. Let p be z(0). Suppose p = 2*v - 0. Suppose d - 2*s - 92 = 0, -5*d - 3*s = -v*s - 451. Is 9 a factor of d?
True
Let n(y) = 19*y**2 + 2*y + 5. Let m be n(-2). Let t = -72 + m. Suppose 3*q + 104 = t*i, 9*i - 3*q - 85 = 5*i. Does 4 divide i?
False
Let h(o) = 2*o**2 - 9*o + 1. Let g = -73 + 80. Let n be h(g). Let k = n - 0. Is k a multiple of 16?
False
Suppose -37154 = -182*d + 155*d + 165751. Is 45 a factor of d?
True
Let c(m) = m**2 + 27*m - 434. Is c(-41) a multiple of 20?
True
Is -78*(3 + 0)*8833/(-242) a multiple of 9?
True
Let o(b) = -12*b + 26. Suppose 8*p = 4*p - 8. Let k be (3 + p)*((-14)/2 - -2). Is o(k) a multiple of 19?
False
Is 2 a factor of ((-1)/5)/((-1)/(-2)*56/(-3220))?
False
Suppose 221506 = 49*y - 457340 - 252742. Is y a multiple of 194?
True
Let k(u) = -u**3 + 6*u**2 + 6*u - 6. Let x be k(6). Let a = -32 + x. Does 21 divide 189 - (3 - (4 + a))*0?
True
Suppose -d = -5*q + 20551, -245*q + 247*q - 8226 = -d. Is 25 a factor of q?
False
Suppose -5*j = -0*j + 35. Let v(y) = -3*y**3 - 16*y**2 - 6*y + 9. Does 17 divide v(j)?
False
Let k(q) = q**2 + 8*q + 21. Let w be k(-4). Suppose -w*o - 2*y + 0*y + 3035 = 0, 0 = -o - 5*y + 584. Does 29 divide o?
True
Suppose 5*x + 25 = 0, 5*g = 6*x - x + 220. Let z = 7 + g. Suppose 5*n = z + 79. Does 5 divide n?
True
Suppose -10*r + 20*r = 44070. Is r a multiple of 23?
False
Suppose 4*y = -4*x - 44, -x = -2*y - 26 + 25. Does 6 divide 206 + (-5 - x/(-3 + 4))?
False
Let g(m) = 41*m**2 + 165*m - 2313. Does 47 divide g(14)?
False
Let c be (9 + -8)/((-1)/4) + 97. Let k be (3/(-2))/((-7)/14). Suppose 3*x - c = -4*u, 2*x = k*u + 39 + 23. Does 7 divide x?
False
Let d(j) = -321*j + 86. Let g be d(15). Let y = -3070 - g. Does 71 divide y?
False
Let c(i) = -i**3 + 7*i**2 + 10*i - 13. Let v be c(8). Suppose v*s = 7*s - 16. Suppose s*u - 341 - 39 = 0. Is u a multiple of 14?
False
Let w = -49744 - -102172. Is 50 a factor of 8/(-52) + w/78?
False
Let t = 431 - 189. Let h = t + -170. Is h a multiple of 4?
True
Is 14 a factor of (-1 - -3)*(1204 + 147)?
True
Does 24 divide 10928/(-6)*1035/(-920)?
False
Suppose -4*z = -2*t - 4, z = t - 3*z + 12. Suppose -t*w + 2152 = -0*w. Is 52 a factor of w?
False
Suppose 3*o + 5*k = 26, 4*k + 31 = 6*o - o. Let a = o - -57. Is 32 a factor of a?
True
Suppose 0 = -11*k - 182 + 1150. Let x = 108 - k. Is x a multiple of 3?
False
Does 32 divide (-1640821)/(-1235) - (-3)/(-5)?
False
Let a(w) = -w**3 - 7*w**2 + 6*w - 10. Let t be a(-8). Let c be t/(-4 - (-2 - 4)). Suppose 5*d = -6*y + c*y + 181, 5*y - 2*d - 250 = 0. Is y a multiple of 8?
False
Let i(h) = 22*h**3 + h**2 + 2*h + 11. Let a be i(5). Suppose -3*y + a = 1068. Suppose 3*j = -5*w + 83 + 267, -w + y = 5*j. Does 23 divide j?
True
Suppose 27*d + 50 + 4 = 0. Is (202/(-4) + d/4)/(-1) even?
False
Suppose 2728 - 139 = g - 4*t, g - t - 2598 = 0. Is g/12*(35/(-21) - -7) a multiple of 34?
True
Suppose -3*q - 5*m + 70 = 2*q, -3*m = 0. Suppose 3*j + 11 = 6*j - z, 2*j = 2*z + q. Suppose 4*t + j*i = 176, -101 - 83 = -4*t - 4*i. Is 6 a factor of t?
True
Let g = -151 - -155. Suppose -g*u = -3*y + 211, 4*y - 3*u = y + 213. Is y a multiple of 4?
False
Suppose 2*n = y + 7138, 9*y - 6*y + 17844 = 5*n. Is 7 a factor of n?
True
Let t = 2480 - 1955. Is t a multiple of 2?
False
Does 4 divide (-230)/(-35) + -7 - (118032/(-28) - -8)?
False
Let s(n) = -3*n - 62. Let t(b) = -b - 31. Let q(r) = -6*s(r) + 13*t(r). Let z be q(-13). Let l = -44 - z. Does 10 divide l?
False
Let f(n) = 1579*n + 569. Is f(3) a multiple of 154?
False
Let j(w) = 2*w**2 + 18*w - 22. Let h be j(12). Let c = 414 - 752. Let x = h + c. Does 16 divide x?
True
Let g(m) = -16*m + 12. Let y(f) = -f**3 + 14*f**2 + 29*f + 41. Let a be y(16). Does 27 divide g(a)?
False
Is 4 a factor of 36/24 + (-5950)/(-4)?
False
Let d(v) = -v**3 - 6*v**2 + 8*v + 10. Let w be d(-7). Suppose 5*x = 2*l + 2*x - 1392, l - 699 = w*x. Is 21 a factor of l?
True
Suppose -3*i + 19*i = 880. Suppose 0 = x - 5*r - 145 - i, -2*x + r + 418 = 0. Is 6 a factor of x?
True
Let o(a) be the first derivative of 32*a**3/3 - 6*a**2 + 10*a + 156. Is 24 a factor of o(-5)?
False
Let i = -8684 + 17395. Does 31 divide i?
True
Let d = -3018 - -3019. Let p(k) = -2*k + 82*k**2 + 2 + 2*k. Does 14 divide p(d)?
True
Is (-2)/20 - (-3 - 343266/60) a multiple of 62?
False
Suppose 4*a + 0*a - 2 = 2*h, 0 = -3*a. Let t be -827 - (h - (-12)/8)*0. Is t/(-15) + (-16)/120 a multiple of 21?
False
Let m(r) = 5*r**3 + 24*r**2 + 21*r - 74. Is 20 a factor of m(8)?
False
Suppose 2*h - 8907 = -5*a, 3*a = 4*h - 0*h - 17775. Is 