 = 396 - q. Is u a prime number?
True
Let r = 36 - 60. Let v = 75 - r. Let y = 212 - v. Is y composite?
False
Is (-6)/(-4)*908846/57 a prime number?
True
Suppose 7*n - 12187 = 3*n - k, -n + k = -3053. Suppose 1 + 5 = 3*m. Is n/16 + m/4 a prime number?
True
Let c be (520/(-25))/((-2)/(-10)). Let o be (c/24)/((-2)/132). Suppose -2*h - h = n - o, h = 4*n - 1157. Is n a composite number?
True
Suppose 0 = 4*n + 14 + 170. Suppose 2*o - 405 = 3*s, -5*o + 60 = -s - 75. Let v = n - s. Is v a prime number?
True
Let y = 654 + -1033. Is 100/(-25)*y/4 prime?
True
Let k(d) = 2139*d - 9. Is k(2) a prime number?
False
Suppose 3*n - 3*t = -0*n + 55302, -5*t - 5 = 0. Is n a composite number?
False
Let n(m) be the third derivative of 1/4*m**4 - 1/2*m**3 + 0*m + 1/6*m**5 - 6*m**2 - 1/120*m**6 + 0. Is n(10) composite?
True
Suppose 6*o - 38 + 8 = 0. Suppose o*y + y - 5322 = 0. Is y a prime number?
True
Let s be 18/28*3778 + (-14)/(-49). Suppose -3*g = -4*g + s. Is g a composite number?
True
Let b(y) = 107*y**2 - 2*y - 46. Is b(-9) a composite number?
True
Suppose 0 = 15*o - 26*o - 33. Is (-1496)/o - (-10)/30 a composite number?
False
Suppose -2*x + 3*n = 8373, -n + 6728 = -2*x - 1643. Let g be x/(-25) - 6/15. Let a = g - 116. Is a prime?
False
Let a(b) = 24*b**2 + 41*b - 325. Is a(18) composite?
True
Let u(v) = 6*v**2 - 3*v - 5. Is u(4) a composite number?
False
Let a = 76 + -52. Is a/(-108) + (-2639)/(-9) a composite number?
False
Let n = 98 - 95. Suppose 0*r + 2*r = -j + 4417, 0 = -n*j - 5*r + 13253. Is j prime?
True
Let c = -52 + 183. Let o = c - 54. Is o prime?
False
Let i(w) = -9*w**3 - 3*w**2 + 6*w - 11. Is i(-5) composite?
False
Let z(s) = -s**3 + 3*s**2 + 12*s - 6. Let o be z(5). Is -2 + o/(16/340) composite?
False
Let x = 86 + -81. Suppose -5*v - 945 = -x*m, 750 = 2*m + 2*m - v. Is m composite?
True
Suppose -3*x = -x - 8. Suppose -x*m - 66 = -3*m. Is (m/(-9))/((-4)/(-114)) a composite number?
True
Let o be (-4)/(-10)*-1 + 49968/(-180). Let s = -135 - o. Is s composite?
True
Suppose -5*t + 6709 = 2*k, 4*t + k = 4110 + 1256. Suppose -t = -3*i - a, 946 - 52 = 2*i - 4*a. Is i composite?
True
Suppose -2*a + 15 = 3*a. Suppose -1021 = -3*b - 2*n, -4*n - 363 = -a*b + 646. Suppose -5*r + 87 = -0*f + f, -5*f + b = r. Is f composite?
False
Let b = 10 - 5. Let f be 3*(-3 + 20/b). Let g(n) = 129*n + 4. Is g(f) composite?
True
Let m(g) = -105*g - 7. Let j be m(-11). Let d = j - 711. Is d a prime number?
False
Let a be 2*(-5)/(-2) - 4/(-4). Suppose 5*j = -a*r + 3*r + 470, -2*j + 189 = r. Is j composite?
False
Let m be -7 + 851 - (1 + 0). Suppose -2*g - m = -3*g + 2*h, 4*h = -g + 837. Is g composite?
True
Let x be (-8656)/10 - 18/45. Let y = 3483 + x. Is y a composite number?
False
Let s = 98 + -82. Let g = 33 + s. Is g prime?
False
Suppose -3*r + 3*j = -10164, -9*r + 10*r + j = 3390. Is r a composite number?
False
Let d(s) = s**2 + 6*s - 1. Let b be d(3). Suppose b - 1371 = -t. Is t a prime number?
False
Let g = 54 - 52. Suppose -5*x + k = -1102 - 637, 4*x + g*k - 1380 = 0. Is x composite?
False
Let w be 1*161/(-2) - (-5)/(-10). Suppose -y + 11 + 107 = 0. Let v = w + y. Is v composite?
False
Let w(s) = -2*s**3 + 3 + 6*s + 8*s**2 + 3*s**3 + 0*s**3. Let i be w(-7). Is (-20)/8*(-92)/i composite?
False
Let m = 3764 + 2099. Suppose 0 = -t + 12*t - m. Is t composite?
True
Suppose 14*g + 100 = 10*g. Let r be g*3/((-15)/(-2)). Is (-5648)/r - (-2)/10 a composite number?
True
Suppose -5019 = -3*n + 1503. Is n composite?
True
Let z(f) = -3*f**2 + 3*f + 2. Let x be z(9). Let h = x + 1291. Suppose -3*o + h = -1005. Is o a composite number?
True
Suppose 27900 = -25*c + 83825. Is c prime?
True
Let f be (-231)/(-22)*(-8)/3. Let w = f + 282. Is w a prime number?
False
Suppose 9*h + 5*o - 110 = 4*h, 19 = 2*h - 3*o. Let c = -15 + h. Suppose 0 = n - 4*b - 18, -5*n - c*b = -b - 111. Is n prime?
False
Let m = -47 - -47. Suppose -h + 715 = 3*x, -4*h = -4*x - m*x + 964. Is x composite?
False
Let z(u) = -u**2 - 7*u + 19. Let t be z(-7). Suppose -299 = -f - x + t, 4*f - 3*x = 1265. Is f composite?
False
Let n be (-6)/45 - (-456)/45. Suppose -4*j - 230 = -4*g - n, 5*g - 248 = -4*j. Suppose -113 = -3*f + g. Is f prime?
False
Let p = 11882 - -74487. Is p a prime number?
True
Let q be ((-4)/(-8)*6)/(1/85). Suppose 3*r - r - 5*t - 512 = 0, r - 2*t - q = 0. Is r prime?
True
Let w = 5071 - 1098. Is w composite?
True
Let y be (-4)/(-14) - (-99)/21. Suppose -3*b + y*h + 754 = b, 4*b + h - 742 = 0. Let m = b - -115. Is m a prime number?
False
Let t = 31 - -33. Let h = 141 - t. Is h prime?
False
Is (0 + 5)*302352/240 a composite number?
False
Let t be (4/(-3) - -2)*18. Let k(j) = j**3 - 7*j**2 - 16*j + 5. Is k(t) a prime number?
False
Let z(g) = -g**2 - 17*g + 20. Let s be z(-18). Suppose l - 797 = -3*t, 0 = -2*l - s*l - 2*t + 3188. Is l prime?
True
Suppose 19*k = g + 16*k - 20314, 4*k = -5*g + 101665. Is g prime?
False
Let i = -1456 - -2795. Let p = -660 + i. Is p a composite number?
True
Let t = 145376 - 88155. Is t a composite number?
False
Let c(d) be the second derivative of 125*d**4/12 + d**3/3 + d**2/2 - 3*d. Let t be c(-1). Suppose b = -9 + t. Is b prime?
False
Suppose -2*y = -4*y - 2, y = 3*a + 1106. Let g = -3220 + 4740. Let c = g + a. Is c composite?
False
Suppose 0 = 13*o - 10*o - 9. Suppose -o*l + l = -318. Is l a composite number?
True
Suppose 0 = -18*a - 329660 + 1711070. Is a a prime number?
False
Suppose 4*a - 40 = -4*i, a - 19 = -2*i - 6. Suppose -921 = -a*t + 4*t. Is t composite?
False
Let n be 9/(-2)*32/(-48). Suppose 4*y = -20, y = -3*o - n*y + 193. Is o composite?
False
Suppose 5*g = f + 12 + 3, -9 = -3*g + 2*f. Suppose 3*i = -2*u + 62, -43 = i - g*i - u. Is i + (-2 - 1) + 2 a composite number?
False
Is 30296 + (51 - 60)*2/6 composite?
False
Is ((-227755)/22 + 2)*-2 a composite number?
True
Is (3 - 2) + (-17)/(119/(-2898)) a prime number?
False
Let h be (2 + -3 - -18)/(3/69). Suppose 2*b + 3*w = 6*b - 1640, 0 = -b - 4*w + h. Is b composite?
True
Suppose 16 = -0*s - 4*s, 5*b = -2*s + 47. Suppose -b*l + 7*l + 12 = 0. Is l + -6 - 2*-8 a composite number?
False
Suppose 0*x - 3*x = 4*h - 2, -10 = 5*x. Suppose h*z - 4 = 0, -d = 3*z + 2*z - 1371. Is d composite?
False
Let v = 36 - 33. Suppose 2*i = 3*n + 100, -5*i + 275 = 2*n + v*n. Is i a prime number?
True
Suppose -5*g = -19*g + 185038. Is g a composite number?
False
Let o be 3/(2/(-26420)*(-3)/(-2)). Let v = -18235 - o. Is v composite?
True
Let z be ((-2344)/(-6))/(6/9). Is (z/(-6))/((-3)/9) prime?
True
Suppose -j = 2*m - 2485, 5*m - 10 = -5. Is j prime?
False
Suppose -5*u + 5 = -15. Suppose -u*k - a = -317, -2*k + 5*a + 74 = -k. Is k prime?
True
Suppose -j + 726 = v - 1776, 0 = 3*j - v - 7486. Is j a composite number?
True
Suppose z + 4*d - 60 = -0*z, -4*z + 253 = 3*d. Let l = -14 + 43. Let r = z + l. Is r composite?
True
Let t(n) be the third derivative of -n**6/120 - n**5/6 - n**4/6 - 7*n**3/6 - 12*n**2. Is t(-11) a composite number?
True
Let r = -821 + 2514. Is r composite?
False
Let s(b) = -3*b + 79. Is s(19) a prime number?
False
Let b = 14 + -13. Suppose -b + 9 = t. Let s(m) = m**3 - 9*m**2 + 11*m + 2. Is s(t) prime?
False
Let o(i) = i**2 + 9*i + 5. Let c be o(-2). Is 28532/2*(c/(-6) + -1) prime?
False
Let g(r) = 22*r**3 - 23*r**2 + 162*r - 20. Is g(11) prime?
False
Let l(w) = 46*w**3 + w**2 - w. Suppose 3*h = 5*h - 4, -10 = -4*q + 3*h. Suppose 4*z - q*n + 4 = 0, 0 = -3*z - 0*n - 2*n + 7. Is l(z) a composite number?
True
Let m(z) = -z - 3. Let r be m(-5). Is ((-4)/6)/r - (-808)/3 a composite number?
False
Let y(q) = q**2 + 6*q + 12. Let k be y(-9). Let x = -69 + k. Is (-10)/((x/39)/5) a composite number?
True
Let f = 48 + -46. Suppose -460 = -f*v - 2*y - y, -1161 = -5*v - 2*y. Is v a composite number?
False
Is 43746/(-4)*262/(-393) a composite number?
True
Suppose -432 = -10*o + 7*o. Let z = o + -17. Is z composite?
False
Suppose 3*k - 2*b - 16777 = 0, 5*k + 3*b - 13975 - 13974 = 0. Is k composite?
False
Suppose -1565 = 5*r + 2595. Let n = r + 1503. Is n prime?
False
Let m = -18 - -11. Let a be m/3 + 2/6. Is a/8 + 261/4 composite?
True
Let z = 12718 + -4575. Is z a composite number?
True
Suppose -2*g = 5*u - 16501, -12*u = -17*u - 25. Is g a prime number?
True
Suppose -22 = -4*d + 6. Let z = -1 + d. Suppose -385 = -z*w + w. Is 