
False
Suppose -2*o = -f - 3, 0 = -3*f - 2*o + 11 - 4. Suppose s - 43 = f. Does 10 divide s?
False
Let v(t) = -t**3 - t**2 - t + 1. Let i(d) = -4*d**3 - d**2 - 24*d - 25. Let r(g) = -i(g) + 5*v(g). Does 12 divide r(-9)?
True
Let t be ((-343)/28)/(1/4). Let c = t - -49. Suppose c*o = 5*o - 255. Is o a multiple of 5?
False
Suppose 3*w + 4 = -5*a - 2, 2*w = -5*a - 9. Suppose -w*m - 148 = -g, 5*g + 2*m - 1133 + 325 = 0. Suppose -10*r = -6*r - g. Is r a multiple of 11?
False
Does 16 divide (-36)/(-18) + 11508/6?
True
Let t = 2692 + -1167. Is 27 a factor of t?
False
Suppose 4*p - 28 = 24. Suppose 180 = p*w - 600. Does 36 divide (-5*(-8)/w)/(2/795)?
False
Let q(a) = -69 - 70 + a + 168. Let i(t) = -t**3 - 5*t**2 - t + 2. Let f be i(-3). Is 4 a factor of q(f)?
True
Suppose -3*a = 2*z + z - 22755, 5*z - 2*a - 37918 = 0. Does 96 divide z?
True
Let a = -1644 - -2999. Let x = a + -897. Is x a multiple of 11?
False
Suppose 0 = -5*z - 16 + 56. Let y(l) = -l**3 + 7*l**2 + 9*l + 1. Let b be y(z). Let n(c) = 9*c + 21. Does 15 divide n(b)?
False
Suppose -3*w = -2*g + 4909, -2*g + 1697 = w - 3224. Is 37 a factor of g?
False
Suppose -4*k = 2*i + 16, 3*i + 5*k = k - 14. Suppose -5*c = -i*c - 189. Let w = 139 - c. Does 19 divide w?
True
Suppose 12*x = 32009 + 57211. Suppose 299*w = 294*w + x. Is 61 a factor of w?
False
Is (8450/195)/(1/(-2) - 312/(-621)) a multiple of 13?
True
Suppose k = 3*p - 7, k - 4 = -2. Let b be (6 + -8 + p)/((-2)/(-8)). Is 2/((-7)/((-854)/b)) a multiple of 5?
False
Suppose -42 - 8 = y + 4*g, 34 = -y + 4*g. Is 13 a factor of (-2571)/(-18) + (329/y - -8)?
True
Let v = -6245 + 17099. Is v a multiple of 27?
True
Let f be ((-4)/12)/(1/(-24)). Let c(k) = 5*k**2 + 18*k - 24. Is c(f) a multiple of 11?
True
Let t = -111 - -119. Suppose t*b - 9*b + 254 = 0. Is b a multiple of 32?
False
Let c = -1869 + 5008. Is 8 a factor of (-111)/259 - (-3)/21*c?
True
Suppose 66*y - 2814185 - 343585 = 0. Does 37 divide y?
False
Let p be ((-6)/4)/(6/4). Let u(k) = 0*k**2 + 2 - 66*k**3 + 47*k**3 - 3*k**2. Is 2 a factor of u(p)?
True
Let a = -6 + 48. Suppose a*p - 1386 = 31*p. Is p even?
True
Let b be (3 - 3/3)*12*-2. Let n be (4*(-6)/b)/(2/8). Suppose q - 491 = -3*q + k, -n*k = q - 125. Is 37 a factor of q?
False
Suppose -2494 = -11*y + 652. Let o = 430 - y. Is 36 a factor of o?
True
Is (-14)/(-21) - (28/(-18))/(12/159048) a multiple of 169?
True
Suppose -202291 = -46*u - 20683. Is 94 a factor of u?
True
Suppose 3*i + 7 = -l - 27, 0 = -2*i + 5*l. Is i/((-140)/46 - -3) a multiple of 50?
False
Let c = 63 + -63. Let f be (-62)/(-1) - (c + (-5 - -8)). Suppose 0*h - f = -3*h - 2*w, -2*h - 3*w = -31. Is h a multiple of 3?
False
Suppose -5*l + 103400 = 5*i, -6*i - 853*l + 124050 = -852*l. Does 48 divide i?
False
Suppose 0 = -s + 5*m + 5760, -5*s - 284 = 3*m - 29084. Is 15 a factor of s?
True
Suppose 3*w + 3*h = 298 + 1799, -3499 = -5*w - 4*h. Suppose -2*q = 2*j - 7*q - 473, -3*j + w = -q. Is 9 a factor of j?
True
Let n = -6688 - -10009. Is 58 a factor of n?
False
Is (-5 - (27 + -3)/(-2))*(5 - -81) a multiple of 36?
False
Let g(y) = 24*y + 1934. Is g(23) a multiple of 226?
True
Let x(j) = -3*j + 54. Let l be x(17). Let c(g) = 16*g**3 + 2*g**2 - 5*g + 8. Let a be c(l). Suppose a + 142 = 9*i. Is i a multiple of 11?
False
Let z(q) = 15*q**3 - 10*q**2 - 7*q + 45. Is 14 a factor of z(12)?
False
Let m(z) = z**3 + 6*z**2 - 4*z - 4. Let v be m(-6). Let t = 852 + -856. Let i = t + v. Is i a multiple of 14?
False
Suppose -2*u + 4*x + 16 = 0, 0 = 5*x + 2 - 17. Let c be (-3)/(-2 - u/(-4)). Does 21 divide -1 + c - 0 - (-3 + -36)?
False
Let n = 5081 - 4551. Is 5 a factor of n?
True
Let b(x) = 16*x**2 + 6*x - 14. Let z be b(6). Let g = z + -466. Is g a multiple of 39?
False
Suppose -x - 2*b = -3*b - 14397, -x - 3*b + 14401 = 0. Let q be x/8 - 2/(-8). Suppose 3*l - q = -6*l. Does 25 divide l?
True
Suppose -3*h - 4*m = -110, -150 = -4*h - 2*m - 20. Suppose 0 = -x - 4*t + h, 2*t - 4 = -0*t. Is x a multiple of 5?
False
Let n be 14/8 - 6/8. Is 22 + n/((-1)/2) a multiple of 5?
True
Let c = -26 - -179. Is c even?
False
Let n = 400 + -43. Does 12 divide -4 + 1 - (6 - n)?
True
Suppose -4*v + 195*o = 197*o - 11486, 2*o - 2 = 0. Is v a multiple of 50?
False
Let o = -81071 - -140071. Is o a multiple of 200?
True
Does 11 divide ((-3616)/(-6))/((-40)/(-60))?
False
Suppose -2*d = 5*d - 42. Let p(o) = -o**2 + 6*o + 2. Let z be p(d). Suppose 0 = -2*m - 3*b + 144, -3*m + 305 = z*b + 84. Is 10 a factor of m?
False
Suppose -614*u = -604*u - 120. Suppose 1216*i = 1212*i + u. Is i even?
False
Suppose -24 = 293*r - 296*r. Suppose 2*h - 190 = -2*t - r, t + 87 = h. Is h a multiple of 14?
False
Let m = 4234 + -3273. Does 3 divide m?
False
Let s(z) = -6*z - 113. Let u be s(-22). Let o = 14 + u. Is o a multiple of 7?
False
Let z(t) = -9*t - 268. Let f be z(-30). Suppose 18 = r - 3*w, -r - 2*w = 2*w + 17. Suppose k - 130 = r*i, 130 = k - 0*i + f*i. Is k a multiple of 13?
True
Suppose -46*s = -12*s + 108*s - 1093968. Is s a multiple of 122?
False
Let u be 2 + (2/4)/1*12. Let r(j) = 13*j + 9*j + j**2 - u*j + 2 + j. Does 2 divide r(-15)?
True
Suppose 51940 = -28*i + 42*i. Suppose 196*x = 203*x - i. Is 30 a factor of x?
False
Suppose -2*g - 2*g = -20. Suppose 2*r = -2*r + g*i + 2520, -3*r + 1890 = -2*i. Suppose -r = -8*s + 2*s. Does 14 divide s?
False
Let k be 680/160 + 6/8. Suppose -c + 597 = k*a, 3*a - 607 = -c - 0*c. Is 36 a factor of c?
False
Suppose -102 = 3*n - 4*w, -w - 32 = n - 3*w. Let p = n - -107. Is 2 a factor of p?
False
Suppose 0 = -6*q + 3314 - 866. Let r = q + -143. Does 20 divide r?
False
Suppose 8*f = 12 + 20. Suppose -2*j + m + 311 = 0, 3 = -m + 4. Suppose -4*d = f*b - 8*d - j, -b - 2*d + 30 = 0. Does 12 divide b?
True
Let v = 965 - -911. Is 28 a factor of v?
True
Let i = 11905 - 8206. Is 21 a factor of i?
False
Let n = -210 - -215. Suppose -n*h = -5*d + 2195, d + 43 - 486 = -h. Is 8 a factor of d?
False
Let r = 26846 + -19601. Does 21 divide r?
True
Let h(w) = 4*w**3 - 5*w**2 - 4*w - 10. Let b be h(8). Suppose 5*l + b = 10*l + 3*j, -5*j + 682 = 2*l. Is 12 a factor of l?
True
Let y(d) be the third derivative of 3*d**4/8 + 152*d**3/3 + 4*d**2 + 9. Does 13 divide y(-21)?
False
Let l be (23 + -2)*29220/18. Is 8 a factor of 8/28 + l/49?
True
Let b be -1 - (-2 + (4 - 6)). Suppose j + 22 = x, x - b*x + 116 = -5*j. Does 20 divide (j/(-5))/((-6)/(-150))?
True
Let z = 937 - 938. Let p(x) = 231*x**2 + 7*x + 6. Is 10 a factor of p(z)?
True
Let k(o) = -o**2 + 8*o + 1. Let y be k(4). Let n(m) = 2*m - 28. Let s be n(y). Is 6 a factor of (s/(-7))/((-3)/63)?
True
Suppose d - 3*d = -5*j - 4300, 0 = -2*d - 4*j + 4336. Suppose d = 50*i - 14*i. Does 3 divide i?
True
Let b = 1182 + -480. Is 78 a factor of b?
True
Let r = 6 - 18. Let y be (-8)/r*-6 + 54. Let s = y + -27. Is s a multiple of 6?
False
Let i(w) be the second derivative of -43*w**3/6 + 78*w**2 - 12*w + 6. Does 33 divide i(-23)?
False
Is (646296/40 - 7) + (-5)/(75/6) a multiple of 95?
True
Let n(m) be the third derivative of -17*m**4/6 + 5*m**3/3 + 20*m**2 - m. Is 54 a factor of n(-7)?
True
Suppose 869*n + 4*m + 8413 = 870*n, -4*m + 25319 = 3*n. Is n a multiple of 129?
False
Let z = -610 - -1241. Suppose -v - 195 = -z. Is v a multiple of 48?
False
Suppose 27 - 87 = -12*t. Suppose 18 = t*o + 4*h, 16 = 2*o + 5*h + 2. Suppose 0 = -5*j - o*d + 506, 5*j = 3*j + d + 206. Does 26 divide j?
False
Let s be (-3)/((-4)/10*6/4). Suppose -6100 = 2*f - 7*f - s*m, m - 3 = 0. Suppose -10*u + 883 + f = 0. Is u a multiple of 21?
True
Suppose -15 = -f - 4*f. Suppose 4*o = 20*w - 25*w - 2, w = 2*o - 6. Is 13 a factor of f/(3/o) + (3 - -133)?
False
Suppose -25*j + 36 = -39. Suppose 198 + 99 = j*h. Is 9 a factor of h?
True
Let z(c) = 6*c**2 + 33*c - 946. Is z(-28) a multiple of 13?
True
Let a be (-33 - 13965/(-350)) + 2/20. Suppose 5*k + 133 = 3*p, -3*p - 5*k = p - 154. Let q = p - a. Is q a multiple of 20?
False
Suppose -37 = -3*h - 2*b - 2*b, 3*b - 19 = -h. Is 42 a factor of 1 - 5727/(-21) - (-2)/h?
False
Let o = 62 + -62. Suppose -5*w + 214 = 2*i, o*i = i + 5*w - 117. Let y = i - 73. Is 3 a factor of y?
True
Let v(w) = -w**3 + 14*w**2 - w + 16. Let x be v(14). Suppose -117 = 3*g + 3*q, -4*g + x*q = 13 + 155. Let n = -20 - g. Is 2 a factor of n?
False
Let d be 10420/(-6)*12/(-10). 