iple of 2?
True
Let u = 12574 + 22063. Does 10 divide u?
False
Suppose -23*c = 11819 - 72610 - 93608. Is c a multiple of 49?
True
Let v(z) = -4*z - 73 + z**3 - z**2 + 15*z**2 - 7*z + 61. Let a be v(-12). Suppose 6*g - a = -0*g. Does 4 divide g?
True
Suppose 13*u - 5*t - 44915 - 18069 = 0, -2*t - 9696 = -2*u. Does 46 divide u?
False
Let o be -4 + 4 + 3 + -1. Let m(u) = -36*u - u**3 + 18*u + 12 - 9*u**o + 10 + 28*u. Is m(-10) a multiple of 9?
False
Suppose 0*u = -u + 1. Let g(x) = 246*x + 13. Is 37 a factor of g(u)?
True
Let k = 8833 + -4899. Suppose 5*g - k = -2*g. Does 45 divide g?
False
Suppose 8223 + 9899 - 2666 = 12*r. Is 46 a factor of r?
True
Is 223 a factor of 15/(-6) + (2263335/(-6))/(-5)?
False
Suppose -12 = y + 3*y, -3*y = -5*i - 176. Let b = -28 - i. Suppose 56 = b*d - 484. Is d a multiple of 12?
True
Let q be -2 + ((-6)/9 - 402/(-9)). Suppose -8*j + q = -2*j. Suppose g = u - 43, -4*u + j*u - 154 = -2*g. Is 36 a factor of u?
False
Is (-3*1 + (-360)/(-108))*7863 a multiple of 4?
False
Suppose -11*f + 10851 + 46855 = 0. Is 43 a factor of f?
True
Let b(u) = -2*u**3 + 69*u**2 - 37*u + 104. Let d be b(34). Suppose w = d*g - 788, 3*g = -2*w + 1072 + 124. Does 38 divide g?
False
Suppose -5*o + 15 = 5*r, 0 = r - 4*o + 8*o + 9. Suppose 145 = -3*k - d, r*k + 2*d = 4*k - 143. Does 48 divide (-4)/(-7)*k/(-14) - -94?
True
Suppose -4*z + o + 5137 - 407 = 0, z - 4*o = 1190. Suppose -3*g + z = 264. Does 34 divide g?
True
Suppose 0 = -4*t - 3*o + 23, 2*t = 3*o - 147 + 136. Let s be (1 - -5)*6/(-4). Does 3 divide (30/s + t)*(-45)/6?
False
Suppose -14874 = 110*y - 116*y. Is y a multiple of 19?
False
Suppose 0 = -b - 6 + 5, 41 = -4*m - b. Let n(q) = 3*q**2 + 2*q - 7. Is n(m) a multiple of 32?
False
Suppose 23*u - 22*u = 3966. Suppose 9*z - u = 192. Does 11 divide (z/35)/((-6)/(-15))?
True
Suppose 585297 = 414*u + 106448 - 576437. Does 103 divide u?
False
Suppose 15 = 4*n - n. Suppose -j - n*t + 3 + 6 = 0, -2*j - 4*t = -18. Is (48/j)/((-5)/(-60)) a multiple of 23?
False
Let i be 56/7 - -877 - -2. Let v = 1419 - i. Is 11 a factor of v?
False
Let c = -4334 + 11731. Is c a multiple of 13?
True
Let u be (-116)/(-4)*(-42)/(-3). Is u + 6/((-24)/(-28)) a multiple of 14?
False
Is 26 a factor of -1269*(-15 + 8) - -13?
False
Suppose -5 + 9 = 5*y - 3*s, s = 2. Let n be (4108/3 - y/6) + -1. Suppose -2*k - 4*k = -n. Is k a multiple of 14?
False
Suppose -2*t = o - 1952, 2*t - 2027 = 3*o - 99. Is t a multiple of 139?
True
Let t(o) be the second derivative of -o**5/20 - 7*o**4/12 - 5*o**3/6 + 11*o**2/2 - 15*o. Does 5 divide t(-6)?
True
Suppose 832 - 132 = -20*y. Does 19 divide (-7)/49 + (-13095)/y?
False
Let m(u) = -13*u**3 - 2*u**2 + 1. Let f be m(1). Let t = f + 21. Suppose 290 + 46 = t*d. Is 16 a factor of d?
True
Let x = -3581 + 6076. Is x a multiple of 71?
False
Let b(z) = -z + 3. Let u be b(-9). Let g be 99/12*(12 - (-88)/(-6)). Is 41 a factor of (-3610)/g + u/(-132)?
True
Suppose 4*g + i - 3079 = 0, 3099 = 4*g - 12*i + 9*i. Suppose c - g = -3*x, -10*c + 2373 = -7*c - 3*x. Is 15 a factor of c?
False
Let f be ((-18)/(-12))/((-6)/(-8)). Suppose 0 = -2*l - 18 - f. Let t(k) = -k**2 - 15*k - 12. Is 16 a factor of t(l)?
False
Let s be (-90)/25*(-70)/3. Does 23 divide 4/7 + 28932/s?
True
Let m(z) = 158*z**2 + 76*z + 188. Is 12 a factor of m(-16)?
True
Suppose 4*g + 33 = 9. Let q(d) = d**2 + 5*d + 21. Is 3 a factor of q(g)?
True
Suppose 26*t - 155778 = -16*t. Is t a multiple of 11?
False
Suppose -18*v - y + 3666 = -17*v, 0 = -v + 5*y + 3678. Is v a multiple of 131?
True
Suppose -2060 + 14377 - 62717 = -5*d. Is 8 a factor of d?
True
Let n(t) = -3*t**2 + 149*t - 62. Is 16 a factor of n(21)?
True
Does 137 divide ((3 - 6) + -2278)/(8/(-16))?
False
Let u be 0/((-8)/(-4) + 0). Suppose u = -11*c + 7*c + 20. Suppose s + 2*q = 63, -c*s = -7*s + q + 106. Is 11 a factor of s?
True
Does 45 divide (-11)/3 + (-500840)/(-228)?
False
Let r = 57 + -48. Suppose 0 = -r*p + 49 + 5. Is (8/p)/((-6)/(-387)) a multiple of 31?
False
Let g(w) = 2*w**2 - 52*w + 1268. Is 4 a factor of g(95)?
False
Is -21*(-50)/175 + 128*18 a multiple of 5?
True
Suppose -3*t - 4*o = -4*t - 12, 0 = 5*t + 5*o - 15. Let r be 10*(t - 16/(-20)). Suppose 0 = r*h - 3*h - 365. Does 10 divide h?
False
Let g(h) = h**3 - 5*h**2 - h + 3. Let k be g(5). Is 27 a factor of ((-8)/(-4))/(7/((-189)/k))?
True
Let v(u) = -3*u - 4. Let p be v(-9). Suppose -p*r = -15*r - 2808. Is r a multiple of 18?
False
Suppose -5*d + 2*y = 6*y - 3051, d - 612 = y. Suppose -d = -5*k + 949. Is k a multiple of 6?
True
Let m(u) = -3*u**3 - 28*u**2 - 7*u - 10. Let o be m(-9). Let y be (o/(-12)*-2)/((-1)/(-3)). Let w = y + 31. Is 2 a factor of w?
False
Let a = -1 + -31. Let r be (a/(-12))/((-4)/(-72)). Let k = r - 40. Is 6 a factor of k?
False
Let x be 108/30*5/3. Suppose -x*j = -13*j + 2940. Is 28 a factor of j?
True
Suppose 444602 = 176*d - 75*d. Does 25 divide d?
False
Let m = 6872 + -5888. Is m a multiple of 55?
False
Let c be 1 + (-10)/2 - -8. Suppose -5*w - 391 = -5*n - 4*w, n + c*w - 74 = 0. Is n a multiple of 13?
True
Suppose 39*l = -5*f + 40*l + 18122, -l = 3*f - 10870. Is 6 a factor of f?
True
Let i(j) = -62*j**3 + 25*j**2 + 26*j + 7. Is i(-7) a multiple of 19?
False
Let c(a) = -a**3 + 5*a**2 + 16*a - 10. Suppose 6*u - 28 = 2*u. Let j be c(u). Suppose 3*x + j*l = 53 - 9, 5*x + l - 79 = 0. Does 8 divide x?
True
Suppose 2*b = -b + 36. Suppose 1780 = -2*r + b*r. Let y = -111 + r. Is y a multiple of 8?
False
Let z(q) = q**2 + 10*q + 17. Suppose 0 = 3*c - 4*c + 4*y + 9, 5*y + 48 = -4*c. Let a be z(c). Is 1/(a*(-1)/392) a multiple of 14?
True
Suppose -50*u + 53*u - 20889 = -3*o, 2*u - 4*o - 13902 = 0. Does 287 divide u?
False
Suppose 4*m - 4*o - 548 = 0, 2*m - 5*o + o - 268 = 0. Let p = 158 - m. Is p a multiple of 6?
True
Let h(k) = k + 8. Let b be h(-4). Suppose b*n + 30 = 78. Is n a multiple of 6?
True
Is 12523 - (-4 + (2 - 4) + 0/96) a multiple of 17?
True
Suppose 5 + 22 = 3*g. Suppose -56 - 25 = -g*c. Does 9 divide c?
True
Does 12 divide ((-19 - -7)*-37)/(8/32)?
True
Suppose 0 = 5*f + 4*g - 36016, 4*f + g - 30760 + 1956 = 0. Does 96 divide f?
True
Suppose -56772 = -15*p + 603. Does 16 divide p?
False
Let d(z) = -z**3 + 42*z**2 - 40*z - 49. Let q be d(41). Is (-4262)/q + -4 - 6/8 a multiple of 33?
True
Let d(z) be the first derivative of -24*z**2 - z - 96. Does 17 divide d(-1)?
False
Let m(d) = -139*d + 3207. Is 36 a factor of m(-159)?
True
Let p(d) = d**3 - 8*d**2 + 11*d - 83. Let w be p(8). Suppose w*q - 360 = -4*a, -3*a = 3*q - 0*q - 216. Is 36 a factor of q?
True
Let n = -755 - -750. Is ((-1)/2)/(n/(15113 + -3)) a multiple of 21?
False
Suppose -5*n - 15 = 0, n + 11 = b - 2*n. Suppose b*f + 2*f + 4*r - 876 = 0, -20 = -5*r. Suppose 4*x - 755 + f = 0. Is x a multiple of 11?
False
Suppose -2415 + 1183 = -4*w. Is w a multiple of 4?
True
Let z be (-7)/(-2) + -7 + 99/18. Suppose -z*j - 395 = -1513. Does 43 divide j?
True
Does 3 divide (-3 + 4)*2895 - (-2 + 10)?
False
Suppose 7*x - 9*x + 4*w - 254 = 0, -3*w + 259 = -2*x. Let d = -104 - x. Is d a multiple of 3?
True
Let l = 133 - 145. Let v be (-3)/2*40/l*-1. Let c(r) = -7*r - 7. Does 14 divide c(v)?
True
Let p(b) = -13*b**3 + 2*b**2 + b - 2. Let u be p(1). Let n be (4/(-3))/(-6 - 64/u). Is (-34)/68 - n*(-17)/4 a multiple of 8?
True
Let j(x) = x**3 - 26*x**2 + 46*x + 40. Is 169 a factor of j(35)?
True
Suppose 8*v = 3*v. Suppose 11*i = 712 - 206. Suppose -7*b + 9*b - i = v. Does 23 divide b?
True
Let d = 12354 + -7394. Is d a multiple of 32?
True
Let k = -109 + 55. Let z = 52 + k. Does 25 divide ((-49)/(-1) - -3) + z?
True
Is 2 a factor of ((-54)/(-36))/((-15)/(-2440) + 0)?
True
Suppose -12*j = -14*j + 10. Suppose j*v - 14 = 31. Does 17 divide (-3)/v - (-3 + (-451)/3)?
True
Let w(g) = 42*g + 594. Does 156 divide w(49)?
True
Does 5 divide (20/(-25))/(275392/(-963235) - (-12)/42)?
False
Suppose -280*s = -192*s - 498960. Is 135 a factor of s?
True
Is -3 - (6 + (-8 - 2)) - -11036 a multiple of 5?
False
Let k be (-1)/(1/(-156)) - 1. Suppose q - 276 = 4*s, -q + 164 = -2*s + 28. Let w = k + s. Does 40 divide w?
False
Let c = 274458 + -171905. Is c a multiple of 17?
False
Let g(o) = 29*o**2 - 58*o + 11. Is g(-12) a multiple of 13?
False
Let p = -773 - -3397. Let i = -1480 + p. Is i a multiple of 44?
True
Suppo