9 - -8 a prime number?
True
Suppose -2*z - 4*p = -0*p + 18, 27 = -5*z - p. Is (-5541)/(-6)*2*(z - -6) composite?
False
Let q = 222 + 638. Let a = 1747 - q. Is a prime?
True
Let m(i) = 332*i**2 + 15*i + 99. Is m(-10) a composite number?
False
Let f be 30/(0 + -2 + 3). Let a be -4 - -3 - (0 - 284). Suppose -f = 3*i - t - a, t - 245 = -3*i. Is i a composite number?
False
Suppose -5*x - 5*p + 8473 + 14342 = 0, 0 = -2*x - p + 9124. Is x a composite number?
False
Let t = -225877 + 333770. Is t composite?
True
Is (-1)/2 - (-15834)/12 prime?
True
Suppose 0*v = v - 3*c + 127, -2*c = 0. Let h = v - 562. Let w = h + 1246. Is w a composite number?
False
Suppose -10*w + 25 = -5*w. Suppose w*g = -4*l + 816, -2*l + 2*g - 4*g = -406. Is l composite?
False
Suppose -25 = -2*u + 3*s, -u = -2*s + 7 - 21. Let o(d) be the first derivative of 2*d**2 - 9*d + 2. Is o(u) a composite number?
False
Suppose 4*q - 1 = -2*d + 13, 4*q - 2*d = 10. Suppose -64 = -4*r + 3*o, 5*r = q*r + 3*o + 26. Is r a composite number?
False
Let a(i) = -2*i**3 - 3*i**2 + i + 2. Let x be a(-2). Suppose 3*v - x*p + 1303 = p, 2*p - 1714 = 4*v. Let s = -295 - v. Is s prime?
True
Let s(a) be the first derivative of -19*a**2/2 - 4*a - 22. Is s(-3) a composite number?
False
Suppose -3*b = 4*s - 5*s + 3643, 4 = b. Suppose 1335 = 2*y - s. Is y a composite number?
True
Suppose -l = -4*l + 60. Suppose q + 2*q - 4*b = 106, 5*b = -l. Is (-2238)/q*(2 + -7) a prime number?
True
Let r(f) = -f**2 - 4*f - 2. Let g be r(-1). Let a(l) = -65*l**2 + 83*l**2 + 132*l**2 - 1. Is a(g) a composite number?
False
Suppose 40*i - 38*i - 8182 = 0. Is i prime?
True
Let x = 799 + -1908. Let y = x - -2296. Is y a prime number?
True
Let j = -335 + -323. Let n = 1173 + j. Is n prime?
False
Let l be ((-128)/(-28) - 5) + (-43546)/(-14). Suppose 3*c - 3079 - l = 0. Is c composite?
False
Let l(t) = t**3 - 9*t**2 + 9*t - 4. Let y be l(8). Let k = y + -1. Suppose -k*d = -5*d + 586. Is d a composite number?
False
Let c be ((-30)/20)/((-1)/2). Suppose c*d = -d + 4268. Is d a composite number?
True
Suppose -w - 5*x + 30294 = 0, 3*x - 139299 + 48429 = -3*w. Is w prime?
False
Suppose -140*m = -153*m + 54847. Is m prime?
True
Suppose 3*l - 1 = 3*v + 2, -l - 5*v + 7 = 0. Suppose 3 = -4*p + z, 4 = l*p + z + 1. Suppose -6*j + j + 5 = p, s + 4*j - 99 = 0. Is s a prime number?
False
Suppose 0 = -5*m - 0*m - 285. Let z = m + 4. Is z*(-3 - 8/(-4)) composite?
False
Suppose 2*n - 4*q - 9010 = 0, 4*n - 9*q - 18031 = -12*q. Is n prime?
True
Suppose -2*x + 6*j + 3 = j, 0 = -4*x - 2*j + 18. Suppose -2*q - 1204 = -x*l, 0*q = -l + 3*q + 301. Is l prime?
False
Let v be (-5 + 6 + -4 - -507)*1. Is -4 - (v + -1)*-1 composite?
False
Is ((-1051977)/(-102))/(3/6) a composite number?
False
Let o(f) = 6034*f**2 - 5*f - 13. Is o(-2) composite?
False
Let s = -3 + 5. Let y = 391 + -318. Suppose -3*p + 2*p + 4*r + y = 0, 4*p + s*r = 202. Is p a prime number?
True
Let q = -205 + 929. Suppose o = s - 176, -5*s + o + q = -160. Is s composite?
True
Let z = -30 + 35. Suppose -z*x = -1673 - 2922. Is x a composite number?
False
Let f = -67 - -70. Suppose -3*q + 5*x = 613 - 1799, -f*q - 4*x = -1195. Is q a prime number?
True
Let p(x) = 19*x + 8. Let o be p(7). Suppose -o = -4*t + 3*w, -2*t - 2*w = w - 75. Suppose 4*h + 15 = 5*c - 28, 0 = 3*c + h - t. Is c prime?
True
Let r be 74 + ((-1)/(-1) - -1). Let w = r + 217. Is w composite?
False
Suppose -635 = -h - 5*l, -2*h - l - 3*l + 1270 = 0. Suppose 802 = 3*a - h. Is a a composite number?
False
Let x = 35938 - 20079. Is x composite?
False
Suppose -6*u = -2*u + 32. Let x = u + -3. Let q(t) = -t + 8. Is q(x) a composite number?
False
Suppose 3*z - 23 + 8 = 0. Suppose 2*g - 6*g - 2*b + 442 = 0, -z*b = -15. Is g a composite number?
False
Let f = -268 - -657. Is f prime?
True
Let u(i) = -i**3 + i**2 + 739. Let y be u(0). Let s = y + -406. Is (-6)/(-4) - s/(-6) a prime number?
False
Let a = -126643 - -198738. Is a composite?
True
Let c(y) = -y**3 - 2*y**2 + 3*y - 4. Let h be c(-3). Is (4/h)/(1 - (-356)/(-354)) prime?
False
Suppose 338502 = 604*g - 598*g. Is g prime?
True
Let a(s) = -s + 16. Let k be a(14). Suppose -3*i - 3*j = -k*i - 92, -10 = 5*j. Is (-4 + 5)/(2/i) a composite number?
True
Let i be 22/6 - (4/(-3) - -2). Suppose 4*p + 4 - 20 = 0. Suppose 3*t - 8*t + 1261 = p*g, -i*g + 951 = 2*t. Is g composite?
True
Suppose y - 12 = 3*z - 3, 0 = -5*y + 5*z + 15. Suppose y = 4*c - c + 210. Let n = -23 - c. Is n a composite number?
False
Suppose 170303 - 56644 = 7*f. Is f prime?
False
Is 1*(-4883)/(-1)*1 a composite number?
True
Let p(b) = b**3 + 18*b**2 - 20*b - 16. Let l be p(-19). Suppose 0 = -4*o + 4, 5*s - 645 - 517 = l*o. Is s prime?
True
Let r be 2 + 3/(-3)*2. Suppose -z + 5*i - 176 = -r*z, 2*i = -3*z - 460. Let x = 251 + z. Is x a composite number?
True
Let t = -43 + 51. Suppose 0 = -11*x + t*x + 3183. Is x composite?
False
Let z = -16 + 26. Let a = 5 - z. Let y = 178 - a. Is y composite?
True
Let i = -10952 + 23179. Is i a composite number?
False
Suppose -z - 35161 = -5*b, -5*b = -3*z - z - 35149. Is b composite?
True
Suppose 1521 = 2*i - 391. Let g = 2845 - i. Is g prime?
True
Suppose 35*g - 37*g + 2908 = 0. Suppose 4*r = 2718 + g. Is r a prime number?
False
Suppose 0 = -8*m + 11*m - 9. Let w(f) = 2*f**3 + m*f + 6*f**2 + f**2 + 3*f**2 - 4*f**2 - 12. Is w(5) prime?
False
Suppose -11040 = -4*j + 5*b - b, -5*j + 13806 = b. Is j composite?
True
Is -4*6/(-72)*789 a prime number?
True
Let x = 79 - 75. Let v be -2*(54 + 2)/(-2). Suppose x*m - 48 = v. Is m prime?
False
Suppose -4*b = -2*b - 40. Let n be 2 - 5/(b/32). Is -3*-83*(-2)/n a composite number?
False
Suppose 20 + 0 = 4*v. Suppose 0 = v*t - 2*z - 26, -4*t = -0*t + z - 13. Is (-3052)/(-16) + 1/t a composite number?
False
Let j = -1000 - -2575. Let o be 2 + (-8 - (-3 + 0)). Is (j/3)/3 - o composite?
True
Let f be 2 + 2 - 2 - -343. Suppose 5*d = -10, 4*d = -0*j - j - 3. Suppose 2*q = j*q - f. Is q a composite number?
True
Let v(l) = l**2 - 12*l + 34. Is v(-31) a composite number?
False
Suppose -55*f + 67*f - 128604 = 0. Is f prime?
False
Suppose -m = -3*u + 246, -68 = -5*u - 4*m + 342. Let i be 7/(u/83 - 1). Let y = 960 + i. Is y prime?
True
Let m be (22148/20 - 3)*-5. Let s be m/(-5) + (-18)/45. Suppose 76 = 4*v - s. Is v composite?
True
Let f(x) = x**3 - 4*x**2 - 8*x + 6. Suppose -12*c + 14*c - 22 = 0. Let r = c + -2. Is f(r) a prime number?
False
Let x = 4454 + 927. Is x prime?
True
Let w = 34 - 27. Let b(d) = 34*d**2 - 7*d + 8. Let f be b(w). Is 4/(-6) + f/3 a prime number?
True
Let a(k) = k**2 - 2*k - 4. Let f be a(9). Let n = -344 - -50. Let u = f - n. Is u composite?
False
Is 0 - (-1)/((4/(-478))/(-2)) a composite number?
False
Suppose 0 = 2*w + 2, 8*w - 11*w - 27852 = -3*m. Let d = m - 6297. Is d a prime number?
False
Suppose b - 21855 = -2210. Is b a prime number?
False
Suppose -174*h = -173*h + 2. Is ((-8)/14)/(h/7) + 6707 prime?
True
Suppose 2*j - 3*n = 33754, 4*n = -114 + 98. Is j a prime number?
True
Suppose 9*h - 4 = 10*h. Is (-100)/(-9) - h/(-36) prime?
True
Suppose 0 = s - 2. Suppose 3*h - 5*x + 4*x - 18489 = 0, 4*h - 24654 = s*x. Suppose 7*t = t + h. Is t a composite number?
True
Suppose -3*t + 58 = k, 40 = -0*k + k - 3*t. Suppose -k = -3*m + 908. Is m a prime number?
False
Let i(j) = 2365*j - 103. Is i(12) a composite number?
False
Suppose -7*s + 26739 = -32467. Is s prime?
False
Let w = 36 - 33. Is 1206/(-12)*(-2)/w prime?
True
Let g(q) = -3*q - 1. Let z be g(-2). Let s = z + -2. Suppose 13 = -s*o + 22. Is o composite?
False
Suppose 4*q - 9*q = -8*q. Suppose -5*c = -q*c - 11665. Is c a composite number?
False
Suppose s = 487 - 49. Let k = 785 - s. Is k prime?
True
Suppose 0 = 3*b - 14253 + 2106. Is b composite?
False
Let h(s) = -15*s**2 + 41*s + 3. Let u(d) = 8*d**2 - 21*d - 2. Let t(p) = -6*h(p) - 11*u(p). Is t(-15) composite?
True
Let t be 7/((-28)/1317)*4. Is (t/(-2))/((-12)/(-8)) composite?
False
Suppose -2*a - 21*a = -48323. Is a a prime number?
False
Let g = -7 - -10. Suppose -5*x = -d - g*x + 3, 2*d = x + 21. Is (-4)/(-1 - (-11)/d) prime?
False
Is (-2)/11 - 590863/(-473) a composite number?
False
Suppose 4*d = -0*d - f - 23, -f = 5*d + 28. Let v be (-9290)/(-25) + (-2)/d. Is (v/(-1))/(-2) - -1 prime?
False
Let m(i) = 68*i**2 + 1. Let x = -65 - -66. I