 multiple of 39?
True
Let p(u) = -u**2 - 22*u - 45. Let n be p(-19). Suppose n*h + 1260 = 17*h. Does 36 divide h?
True
Suppose 263861 = 148*o - 1135095 + 100700. Does 17 divide o?
True
Suppose 0 = -5*s - 2*w - 135, s + 2*w - 81 = 4*s. Does 26 divide 3/(-1) + (-45)/s*327?
False
Let f = -101983 - -187751. Does 10 divide f?
False
Let h be (-1 - 0 - -3)*(-24)/3. Is -30*(h/(-24))/(2/(-6)) a multiple of 10?
True
Let i(n) = n**3 + 11*n**2 - n - 3. Let l be i(-11). Let q(x) = 2*x + 25*x**2 + l - 4*x**2 + 3 - 9. Does 2 divide q(-1)?
False
Let v(s) = 611*s**2 + 47*s - 27. Is 254 a factor of v(-6)?
False
Let u be (-10)/25 + 352/5. Suppose -5*r + 118 = -4*l, 5*r - 100 = -6*l + l. Let y = u - r. Is 34 a factor of y?
False
Let x be (-6130)/25 + (-2)/(-10). Let j = x + 464. Does 4 divide j?
False
Let l be (-1630)/(-22) + (-1596)/132 + 12. Suppose 0 = -l*j + 68*j + 2448. Is j a multiple of 12?
True
Let q = -98 - -128. Suppose 2817 - 30417 = -q*j. Does 23 divide j?
True
Is (-348)/(-9)*2700/24 a multiple of 58?
True
Suppose -18*r + 28*r = 0. Let b(i) be the first derivative of -i**3/3 - 3*i**2/2 + 16*i - 8. Does 5 divide b(r)?
False
Let w = -964 - -2978. Does 31 divide w?
False
Let d(u) = u. Let c be d(3). Suppose 0 = -3*g + c, 19 + 33 = -2*v + 4*g. Is 785/9 + (v/27)/4 a multiple of 29?
True
Let k(p) = 10*p + 3. Let a be k(4). Let x = -3275 - -3378. Let u = x - a. Is 15 a factor of u?
True
Let y = -2411 + 8231. Is y a multiple of 12?
True
Suppose 5*j = 12 - 22, 5*j = w - 928. Does 21 divide w?
False
Let z = 913 - -4907. Is z a multiple of 58?
False
Let t be 8/(-3)*60/40 + 49. Is 11646/t - (-4)/(-5) a multiple of 43?
True
Is 152 a factor of (7220/6)/((-120)/(-2880))?
True
Let w be (4 + -2)/((-3)/9). Let n be w/4 + (-10)/20. Let b(v) = -42*v - 2. Does 41 divide b(n)?
True
Suppose -4*i = -0*q + 5*q + 1, 3*i + 3 = -3*q. Is 3 a factor of (45/i)/((-159)/424)?
True
Is 99 a factor of (-106894640)/(-6625) - (-1)/(-25)?
False
Does 13 divide (9/(-12))/((-2)/(-4))*(-149164)/2514?
False
Let o be -14 - -19 - (0 + -210 + -1). Is 34 + o + 5/2*2 a multiple of 15?
True
Let j(m) = -m**3 - 20*m**2 - m - 2. Let t be j(-20). Suppose 10505 = 3*y - 5*f, -2*y - 2*f - 7002 = -4*y. Suppose -t*g - y = -28*g. Does 53 divide g?
False
Let i(z) = 47*z + 21. Let x(t) = 6*t - 3*t + 10*t + 11 + 10*t. Let v(q) = 6*i(q) - 11*x(q). Is v(1) a multiple of 34?
True
Let p be 1/(6/(-40) + 8/20). Suppose -2 = -3*j - 3*l + p, 0 = -j - 2*l. Does 13 divide (30/j)/(1/2)?
False
Let h(y) = 67*y**2 - 191*y - 762. Is 5 a factor of h(-4)?
False
Suppose -3*q - 299 = x - 435, -40 = -q + 5*x. Suppose -4*b = 3*m + m + 116, -3*b = 5*m + 137. Let i = q - m. Is 5 a factor of i?
True
Does 96 divide (294/28)/(141/291776)?
False
Suppose 157*w - 152*w = -6980. Let m = 1996 + w. Does 75 divide m?
True
Let d = 24453 + 38577. Does 30 divide d?
True
Let f(p) = 665*p**2 + 214*p. Does 66 divide f(-4)?
False
Let d(n) = 61*n**3 - 114*n**2 + 560*n + 6. Does 133 divide d(5)?
True
Suppose -4*n - 4*l = -12, 5 = 4*n - l + 8. Suppose 4*r - 26 - 262 = n. Does 3 divide r?
True
Suppose -194*z + 62*z = -4488667 - 606005. Is z a multiple of 20?
False
Let g be 7574/(-8) + (-216)/(-32) + -6. Does 24 divide 6/(-24)*g + 3/2?
False
Suppose 2*r + 34 = 126. Let p(s) = 10*s**2 - 3*s - 1. Let h be p(-1). Let y = r - h. Does 17 divide y?
True
Let h(a) = a**3 - 2*a**2 - a - 1. Let o(z) = 561*z**3 - 3*z**2 + 2*z. Let n(f) = 2*h(f) - o(f). Does 8 divide n(-1)?
True
Suppose 31*d + 723 = 34*d. Suppose 240*y - d*y = -572. Does 26 divide y?
True
Let v(k) = -62*k + 3259. Is 119 a factor of v(-53)?
True
Let t(r) = 62*r - 77. Let o be t(-6). Let y = o - -1121. Is y a multiple of 42?
True
Suppose -19*s - 22169 + 218413 + 13839 = 0. Is s a multiple of 58?
False
Let m(i) be the third derivative of i**5/20 + i**4/24 - i**3/3 + 23*i**2. Let f be m(-2). Suppose g + 966 = f*g. Is 18 a factor of g?
False
Suppose -2*w + 2*z = 14, -3*w = -z - 1 + 12. Let y be 4906/8 + w/8. Suppose 396 = 3*r + 2*s + 13, 0 = 5*r - 3*s - y. Is r a multiple of 25?
True
Let y = -218 - -154. Is 4/2*(-7136)/y a multiple of 5?
False
Is 3 a factor of -724*(-17)/51*3?
False
Let l = 12556 + 33608. Is l a multiple of 14?
False
Let p(i) = i**2 + 18*i + 20. Let t be p(-17). Suppose 5*s - 2055 = -5*a, -t*s + 5*a + 1273 = -0*a. Is s a multiple of 32?
True
Suppose 4*l + 756 = 4*k, 26*k - 29*k - 5*l = -591. Is k even?
True
Let u be (1 + 1)*(2 - 0). Suppose u*a - 15 = 1. Suppose 0 = -3*z + a*m + 169, 0*z + m - 68 = -z. Does 7 divide z?
True
Let t(h) be the third derivative of -h**6/120 + 2*h**4/3 - h**3/2 + 4*h**2. Let l be t(-5). Suppose 0 = -4*x + l + 62. Is 6 a factor of x?
False
Let h(s) = -s**3 + 43*s**2 - 50*s + 197. Is h(31) a multiple of 13?
True
Suppose -2*j + 9*z = -3427, 5*z = -2*j + 463 + 3034. Is j a multiple of 56?
True
Suppose 3*f - 5*j - 30 = 0, -f + 13 = -4*j + 3. Suppose -9 = -9*n + f*n. Is (-1 + 80)/(-2 + (-21)/n) a multiple of 30?
False
Does 10 divide (-197688)/(-96) - (-24)/32?
True
Suppose 45*v = 48*v - 36. Let k be 1031 - (v/(-36) - 4/6). Let q = k + -726. Does 34 divide q?
True
Is 54 a factor of 4/36 - (-14 + (-983515)/45)?
True
Let q be 3 - (-2 - -3)*-154. Let x = q - 256. Let o = x - -148. Is o a multiple of 7?
True
Let d = 4526 + -3020. Let t = d - 434. Is 16 a factor of t?
True
Suppose -829236 = -90*p - 324786. Does 59 divide p?
True
Suppose 16 = 4*v - 5*i + 3*i, -4*v + 12 = -4*i. Suppose -v*z = -14*z + 3420. Is z a multiple of 20?
True
Let g(o) = 2*o + 72. Let m(l) = 4*l**2 - 12*l + 8. Let k(v) = -5*v**2 + 13*v - 8. Let t(c) = 3*k(c) + 4*m(c). Let n be t(8). Is g(n) a multiple of 12?
True
Let i be (1 + 3)/((-4)/8). Is 13 a factor of ((-1560)/(-16))/((-6)/i)?
True
Suppose 4*r - 4*d = -20, -2*d - 35 = 5*r - 10. Does 39 divide (-3)/(r/975 + 0)?
True
Suppose -3*t - 3*l - 102 = 0, 4*t - 3*t + 3*l + 32 = 0. Let j = -1390 + 1436. Let s = j + t. Is 4 a factor of s?
False
Suppose 11*t - 9*t + 144 = 0. Let y = t - -527. Is y a multiple of 27?
False
Let s(m) = -223*m**3 - m**2 + m - 1. Let a = -26 - -27. Let r be s(a). Let y = r + 342. Does 28 divide y?
False
Suppose 0 = 9*m + 7*m. Suppose m = -16*z + 711 + 2025. Is 19 a factor of z?
True
Suppose -3 = -o - 2, 3*k + 5*o = -14716. Is 37 a factor of 6/7 - k/49?
False
Is 29 a factor of (-147 - -1*35/7)/((-2)/58)?
True
Suppose 220*m + h = 219*m + 6716, 0 = -4*m + 4*h + 26872. Does 17 divide m?
False
Suppose 25*r = -25736 - 8639. Let f = -891 - r. Is f a multiple of 5?
False
Suppose 4 = 6*m - 7*m. Is ((-46)/m)/((-9)/(-882)*7) a multiple of 3?
False
Let k be (1 + 0)/(57/(-18) + 3). Let p be ((-32)/(-8) - k) + (-1 - -1). Is 21 a factor of (209/(-2))/((-5)/(p/1))?
False
Suppose -4*y + 10*r + 118472 = 12*r, r = -15*y + 444244. Is 109 a factor of y?
False
Let j be (4/(-12))/((-4)/(-60)). Let y = -5 - j. Suppose 33 = 4*c - 5*v, c - 12 = -y*c + 5*v. Is c even?
False
Let f = -101 + -179. Let i = 808 + f. Is i a multiple of 12?
True
Suppose -92*u = -121*u + 93264. Is u a multiple of 163?
False
Let u be 5/(-1) + (21 - 86). Does 21 divide u/((28/3)/(-7))*6?
True
Suppose 9*s = -2*s - 88. Let k = -9 - s. Does 11 divide (k + -93)/2*-2?
False
Let h be 2/(-4 + (-406)/(-101)). Suppose 3*r = 61 + h. Is r a multiple of 18?
True
Suppose -3*b + q = 3*q - 44, -4*b = 2*q - 56. Suppose -d - 7 = -b. Suppose -3*v = d*x - 515, v - 4*v - 309 = -3*x. Is x a multiple of 13?
False
Suppose 4*a + 2*q - 892 = 0, -5*q + 6*q - 894 = -4*a. Let l = -212 + a. Does 7 divide l?
False
Let t(x) = -x**3 - 3*x**2 + 66*x + 33. Does 8 divide t(-10)?
False
Suppose -24*f = -25*f + 3456. Does 27 divide f?
True
Let m be ((-522)/7)/(((-51)/42)/17). Suppose -9*c - 4*f + 1305 = -4*c, -m = -4*c - 2*f. Suppose -7*a - 9 = -c. Does 9 divide a?
True
Suppose 5*w = w - 2*g + 20408, -4 = g. Is w a multiple of 16?
True
Suppose 0 = -2*w - 3*n, -3 = -0*w + 3*w + 3*n. Let f(l) = -23*l + 1. Let h be f(w). Suppose -3*y + 8*y - h = 0. Does 14 divide y?
True
Suppose 12*v - 101 = 91. Let x(k) = -k**2 + 19*k + 70. Is x(v) a multiple of 8?
False
Let h(x) = -2*x**3 + 11*x**2 + 3*x - 22. Let d be h(5). Suppose -s - d*s = -5415. Is s a multiple of 19?
True
Let j be 1200/9 + 78/117. Let v(u) = -u + 35. Let p be v(0). Let o = j - p. Is 29 a factor of o?
False
Suppose -2517 = -16*o + 14363. Let i = o - 733. Does 7 div