le of 28?
True
Suppose -14 = -29*c + 27*c. Let x be 635/(-25) + c + (-4)/(-10). Is 11 a factor of (44/(-6))/(24/x)*8?
True
Suppose 28*v - 29*v = -8*l - 7382, -36665 = -5*v + 5*l. Does 66 divide v?
True
Let u(z) = 2*z - 21. Let q be u(10). Let d be ((-42)/4)/(3/24*6). Does 18 divide (-1890)/d - 3/q?
False
Let o = 2452 - 3460. Let s be (6/4)/((-21)/o). Let z = -69 + s. Is z even?
False
Suppose 40 = 4*f + 4*i, -2*f + 4*i = 3*f - 32. Is ((4 - f) + 2)*70/(-4) a multiple of 7?
True
Suppose 3*j - 9*s - 19906 = -11*s, -6639 = -j + 3*s. Is 29 a factor of j?
False
Is 4420 - 155 - 1/(-4)*2*-14 a multiple of 2?
True
Suppose 0 = a + 4*a + 2*a. Suppose a = -5*g + 20, -5*g = 2*t - 0 - 24. Suppose -5*z = -20, -f - 4*f + 138 = t*z. Is f a multiple of 9?
False
Suppose -p - 4 = -9. Suppose -7*q = -p*q - 36. Is (30/q)/((-2)/(-54)) a multiple of 9?
True
Suppose -1056 = 14*l - 46*l. Suppose -5*r + l*r - 7140 = 0. Does 3 divide r?
True
Let v(y) = 632*y - 115. Let b be v(5). Suppose 8347 = 5*q - 4*d + b, 4*q + 3*d = 4223. Is 90 a factor of q?
False
Suppose -4*r + 104 = -4*a, 3*r + 19 = -2*a - 53. Let v = 65 + a. Is 15 a factor of ((-220)/v - -2)*-28?
True
Let p be ((-15)/((-135)/(-18)))/(2/(-3)). Suppose 0*n - n = -p*j - 259, 0 = n + 3*j - 253. Does 8 divide n?
True
Suppose -9*x = -4*x - 20. Suppose 0 = -0*d - 4*d - 4*t - 200, x*d + 201 = -5*t. Let s = d + 95. Is 7 a factor of s?
False
Let b be 20/50 + (-2 - (-771)/(-15)). Is 50 a factor of (-40)/6*(b + -7)?
True
Let r(a) = -57*a + 363. Let s be r(-18). Suppose -3*i = -5*y - s, 3*i - 10*y = -15*y + 1419. Is i a multiple of 7?
False
Is (150 - 27)/((-9)/(-12)) a multiple of 4?
True
Let w be 4/(5 - 3) - (3 - 6). Suppose -36 = -11*s + 2*s. Suppose s*g - 2*g + 4*u = 518, u - w = 0. Is g a multiple of 19?
False
Let k(h) = h**3 + 0*h**3 + 2 + 12. Suppose -2*a + 24*r = 19*r - 5, -3 = 4*a + 3*r. Is 7 a factor of k(a)?
True
Let o(g) = -g**3 - 22*g**2 + 21*g - 11. Let t be o(-23). Is 1799/t + 12/20 a multiple of 26?
True
Let j be (-1 + 9)*3 + -9. Suppose -10686 = -j*g + 1524. Is 11 a factor of g?
True
Let o = 11438 - 8655. Is 6 a factor of o?
False
Suppose 37054 = 13*o + 3969. Suppose -5*c + o + 455 = 0. Is 11 a factor of c?
False
Is 6 + ((96/(-4))/(-4) - -33028) a multiple of 80?
True
Let x(m) = 5*m - 32. Let a be x(6). Is 6/1 - 558/a a multiple of 19?
True
Let i be 0/(-2)*-6*7/84. Suppose 3*w + i*w - 5*k - 191 = 0, 3*k = 4*w - 273. Is 24 a factor of w?
True
Is 34 a factor of ((-19)/(-95) - 251048/(-10)) + 7 + -2?
False
Let d(y) = -y**2 + 34*y - 30. Let s be d(33). Suppose -s*a + 536 + 316 = 3*l, -l + 274 = -a. Is l a multiple of 9?
True
Let f = 3 - 3. Let x = 1246 + -1246. Suppose x = k - 3*h - 130, -k = -f*k + 5*h - 106. Is k a multiple of 11?
True
Let p(y) be the second derivative of 13*y**3/2 + 5*y**2/2 + 211*y. Let r(f) = f + 7. Let v be r(-5). Is p(v) a multiple of 23?
False
Let l(v) = 5*v + 4. Let f be l(2). Suppose -17*k + 54 = -f*k. Does 18 divide k?
True
Let u = 347 - 332. Suppose 6966 = u*c - 2799. Does 31 divide c?
True
Let p(b) be the third derivative of -b**4/12 - 14*b**3/3 - 15*b**2. Suppose 0 = -2*t - 5*d - 22, 3*d - 86 = -0*t + 5*t. Does 2 divide p(t)?
True
Let l = 3008 - 2972. Let d = -1 + 39. Suppose l*w = d*w - 28. Does 2 divide w?
True
Let r = 0 - -5. Suppose r*g = -15, 3*a + 0*a + 5*g = -15. Suppose a = u - 97 - 18. Does 10 divide u?
False
Let z(q) = -12*q + 13. Let a(f) = 85*f - 90. Let x(d) = 3*a(d) + 20*z(d). Let h be x(-2). Is 22/((1 - 1) + (-10)/h) a multiple of 11?
True
Let y = 256 - 256. Suppose -3*o + 12 = y, 5*i + 544 = 9*i + o. Does 15 divide i?
True
Suppose -g - 6*n - 34 = -n, -n - 23 = 2*g. Let t = 21 - g. Does 8 divide (-95)/(-2)*48/t?
False
Suppose -351*l + 4002718 = -11381612. Does 232 divide l?
False
Let r = 1249 - -11533. Does 38 divide r?
False
Let i(h) = 299*h**2 - 30*h - 52. Let l be i(-2). Is 42 a factor of 459/(-51) - l/(-2)?
False
Let i(f) = -f**3 + 106*f**2 + 86*f - 491. Is i(106) a multiple of 48?
False
Let p(t) = t**3 + 7*t**2 + 4*t - 7. Let f be p(-7). Let b = 353 + f. Is 13 a factor of b?
False
Let f(i) = 4*i + 4. Let x be f(-3). Let d be 2/(x/(-20)) - -1. Suppose -653 + 131 = -d*k. Is k a multiple of 17?
False
Let f be 2 + 10/(-6) + 49/(-21). Let u = f - -78. Is 23 a factor of 459/5 - (u/20 + -4)?
True
Let b = -312 + 302. Is 17 a factor of (-40)/b - 5*-23?
True
Is 65 a factor of 1812/(-21)*-273*13/78?
False
Let r(g) = g**2 + 12*g - 57. Let s be r(-17). Suppose 0 = 6*z - 8*z + s. Is z a multiple of 2?
True
Suppose -u = 5*m - 4, -5*u + 11 + 9 = -2*m. Suppose -2*n - 1 - 7 = -3*t, t = u. Suppose -2*p - v = 3*p - 519, -2*v = -n*p + 210. Does 52 divide p?
True
Let b(a) = -a**3 + 9*a**2 - 14*a + 11. Let r be b(5). Suppose 2*v = r*v - 1482. Is v even?
True
Let i(t) = 3*t**2 - 8*t - 220. Let q be i(10). Suppose -2*w = -4*x + 16, x - w - 5 = 1. Suppose q = -x*m + 15 + 161. Is 8 a factor of m?
True
Let d(f) = f**3 + 9*f**2 + 9*f + 38. Let x be d(-8). Let i(r) = 5*r - r - 66 + r. Is i(x) a multiple of 14?
True
Let c be 1*-2*54/(-12). Let s be c/(18/(-40)) - 0/(-1). Let w = s - -86. Does 3 divide w?
True
Suppose 4*r + 0*r + f - 282 = 0, 3*f = 6. Is (r/(-15))/((-2)/33) even?
False
Let z be 440 + 1*(-3 - -7). Is 10 a factor of 30/(-18) - z/(-18)?
False
Let o(t) = t**2 - 5*t - 14. Let u be o(-5). Let h = 44 - u. Let k(n) = 18*n - 25. Is k(h) a multiple of 17?
True
Suppose -85*l = 63*l - 10952. Is l a multiple of 17?
False
Suppose -2*p + 5*z = 51, 0 = -2*p - 3*z - 15 - 12. Let v(d) = 958*d - 320*d - 326*d - 321*d - 43. Is v(p) a multiple of 17?
True
Let x be (0 - -5) + 4*3/(-6). Let z(f) = 2325*f + 1. Let u be z(x). Is 8 a factor of (-4)/14 - u/(-112)?
False
Suppose -21*w - 16 = 47. Let o(r) = -3*r**3 + r**2 + 13*r + 9. Does 23 divide o(w)?
False
Let y = -149 + 157. Suppose 0 = -2*l - y, 4*z = -4*l + 508 - 72. Is z a multiple of 8?
False
Is ((-12982)/(-14) - (-2)/(-7)) + 102/(-34) a multiple of 42?
True
Let l = -5029 - -7132. Is 32 a factor of l?
False
Let h = 17223 - 13869. Is h a multiple of 216?
False
Let a be (-17319)/(-345) + 2/(-10). Suppose 2*k = -2*j + 552, -2*k + a*j = 49*j - 540. Is k a multiple of 34?
True
Suppose 77*m = -76*m + 158*m - 18935. Is 9 a factor of m?
False
Does 11 divide 20/(-16)*152/(-1995) + (-369512)/(-42)?
False
Let p = -7461 - -15196. Does 7 divide p?
True
Is (-62)/(-93) - 8915/(-15) a multiple of 17?
True
Let h be 4 - 0/(5/5). Suppose 2*f - 4*c = -0*f + 22, -h*f = 2*c - 74. Does 2 divide (-3)/(-3) - f*(-1 - 0)?
True
Let n(f) = -163*f - 4 + 6 - 2 - 3. Does 10 divide n(-3)?
False
Suppose 172*j - 174*j - 2*w + 13136 = 0, j - 2*w = 6574. Is j a multiple of 5?
True
Let q(t) = 12*t - 38. Suppose 5*p + 43 = 7*r - 8*r, 0 = 3*r + 3*p + 69. Let x = r - -23. Is q(x) a multiple of 11?
True
Let b = -1366 - -2066. Suppose m + 204 = 4*a + 26, -214 = -5*a - 3*m. Suppose b = -39*s + a*s. Is s a multiple of 26?
False
Is 16 a factor of 470/6 - (928/48 - 21)?
True
Let r = 74 - -31. Suppose -z = -3*c - 8 - r, 3*c = 2*z - 223. Suppose -81*t + z = -76*t. Is t a multiple of 2?
True
Let m(l) = l**2 - 59*l - 32. Does 120 divide m(-32)?
True
Let y = -12829 - -60128. Is 233 a factor of y?
True
Suppose 282*n + a = 283*n - 39392, 196984 = 5*n + 3*a. Is n a multiple of 52?
False
Suppose -4*w + 4*i + 1915 = -801, -5*w - 3*i + 3403 = 0. Suppose -5*c + 3520 = 4*l, -w - 1415 = -3*c + l. Does 14 divide c?
True
Let v(w) = w**2 - 22*w + 75. Let d be v(4). Suppose 9*x - 7*x - 728 = -4*t, 0 = -d*t. Is 7 a factor of x?
True
Suppose 0 = 4*f + 7*v - 10*v - 614, -450 = -3*f - 3*v. Suppose -f = 16*y - 872. Is y a multiple of 15?
True
Suppose -3102 = -4*y - 2*z, -y = -2*z - 106 - 682. Does 4 divide y?
False
Let j = 18276 - 17641. Let p(a) = a**2 - a + 5. Let g be p(0). Suppose -3*o = g*u - 1233 + 186, 0 = 3*u - 5*o - j. Is 42 a factor of u?
True
Let r = -6251 - -26873. Is r a multiple of 194?
False
Suppose -3*z = 6, 0 = l - 34*z + 35*z - 6842. Is 29 a factor of l?
True
Suppose -93671*i + 524314 = -93657*i. Is 60 a factor of i?
False
Let n(o) be the first derivative of -33*o**4/4 - 2*o**3/3 - 3*o**2 - 4*o - 104. Is 33 a factor of n(-2)?
True
Suppose 0 = 117*b - 84*b - 110451. Is b a multiple of 8?
False
Suppose 2500 = 8*f - 1348. Let h = -99 + f. Is h a multiple of 32?
False
Suppose -98*r + 97*r + 534 = 0