False
Let m = -32 - -22. Let b be -3*-3*10/(-18). Is m/25 + (-187)/b a prime number?
True
Suppose v - 2 = 2*v. Is (-1)/(0 + v/158) prime?
True
Let f = 5 + -30. Let z = 132 - 94. Let a = f + z. Is a prime?
True
Suppose 2*y + 0*y = 2*o + 4, -4*o = 5*y - 55. Let m = -3 + y. Suppose -s - m*s = -95. Is s a prime number?
True
Let i be -2 + (-2 + 6 - -2). Suppose i*r - 2 - 18 = 0. Suppose 5*k = -d + 4*k + 48, -2*d + 93 = r*k. Is d a prime number?
False
Let l = -888 - -2687. Is l composite?
True
Suppose -d - 2*p = p - 902, -5*d = 2*p - 4497. Is d composite?
True
Suppose 2*v + 17 = 81. Let k = v - 18. Is k prime?
False
Let c be 3/(6/10) + -3. Suppose 2 = -c*s + 2*i, -7*s + 2*s + i - 17 = 0. Is 129/2 + (-2)/s prime?
False
Let u(k) = -k - 1. Let x be u(-4). Suppose 0 = -5*m + 5, -2*h + 2*m = x*m - 93. Is (h/(-6))/((-1)/3) a composite number?
False
Let g(s) = 22*s - 3. Let b(m) = 21*m - 4. Let r = -11 - -9. Let j(y) = r*b(y) + 3*g(y). Is j(5) composite?
True
Suppose -955 = -5*a - d, -a + 2*d - 573 = -4*a. Is a a composite number?
False
Let k be (-14 - -2)/(-2) - 3. Suppose -k*s + 305 + 178 = 0. Is s prime?
False
Let t(s) = -16*s**3 + s. Suppose 6*g = g + 5. Let p be t(g). Is ((-10)/p)/((-4)/(-318)) composite?
False
Suppose -853 = 3*n - 4*n. Is n prime?
True
Suppose -6*q + 4*q - 4 = 0. Let v(h) be the second derivative of -2*h**3 - h**2/2 + 3*h. Is v(q) prime?
True
Is -1*((-456)/4 - 4) composite?
True
Suppose 3*u - 30 = u. Let y(p) = -p**3 - p - 1. Let k be y(-1). Is k/(-3) - (-155)/u a prime number?
False
Let a(h) be the second derivative of h**5/20 - 2*h**4/3 - 5*h**3/3 + 3*h**2 + 2*h. Is a(10) a prime number?
False
Let h be (0 + -1 - -3) + 93. Let p(u) = 2*u**2 - u - 1. Let k be p(-1). Suppose -k*x = 3*x - h. Is x a composite number?
False
Let p(f) = -f + 77. Let m be p(0). Suppose -m = -y - 5*d, -2*y + 85 = -y + 3*d. Is y a prime number?
True
Is -4 - ((-865)/(-10))/((-2)/28) prime?
False
Suppose 3*h + 2*m - 91 = -2*h, -5*m - 10 = 0. Suppose 0 = -2*i + i + h. Is i prime?
True
Let j be ((-2)/(-5))/(11/110). Suppose 2*m + 697 = 5*z, -5*z + 697 = -j*m + 8. Is z prime?
False
Is (-96)/120 - 32518/(-10) prime?
True
Suppose 90 = -3*q - 81. Let u = q + 36. Let w = -8 - u. Is w prime?
True
Suppose -4*w - 2*h = -29 - 75, 2*w + 4*h = 64. Let s(r) = w*r - 18*r + 29*r. Is s(1) a prime number?
False
Suppose -11*r = -2*r - 2241. Is r composite?
True
Suppose 3*n + 20 = 7*n. Suppose 0*u - 243 = -b + 4*u, 0 = n*b - u - 1120. Is b a composite number?
False
Suppose -4*j + 110 = 3*c, 2*j - 4*c - 42 = c. Suppose l + 0*l = j. Is l composite?
True
Let p(a) = 23*a + 5. Let i be p(-4). Is 3 - (i + 3) - 0 prime?
False
Suppose 5*b = 5*t + 1350, b = -3*b + 2*t + 1074. Is b prime?
False
Is (3 - 30/9)/(4/(-13980)) a prime number?
False
Let o = 18 + -13. Suppose -5 = -5*t, -o*t - 8 = -3*a - 1. Suppose c + a*c = 5, -2*w + 3*c + 49 = 0. Is w prime?
False
Is (-4)/((-40)/5)*878 prime?
True
Suppose 0 = 3*q + 5*w - 104, 0*w + 210 = 5*q + w. Let z = -24 + q. Is z prime?
True
Let y = 902 + -513. Is y a prime number?
True
Let n(z) = -z**2 - 6*z - 3. Let k be n(-2). Suppose 0 = -5*l - k*g + 680, -260 = -4*l + 2*l + 2*g. Is l a prime number?
False
Suppose 4*k - 263 - 585 = 0. Suppose 5*g = -20, 5*m + g - k = 2*m. Suppose 3*x + m = 339. Is x a composite number?
False
Let k be 2182/(((-16)/4)/(-2)). Let z = k + -744. Is z prime?
True
Let g(j) = 22*j**3 - j**2 + j - 1. Let a = -18 - -19. Is g(a) a composite number?
True
Let k be 3/(-12) - (-1)/4. Suppose k*q - q + 4*b = -48, -5*b - 137 = -4*q. Let d = 53 - q. Is d a composite number?
True
Suppose -2*i - 5*x = -0*i - 33, 4*x = -4*i + 48. Let u(j) = j**3 - 11*j**2 + 4*j - 8. Let w be u(i). Let l = w + 265. Is l prime?
True
Let n(z) = z**3 - 5*z**2 + 5. Let q be n(5). Let w be (q + 0 + -2)*6. Suppose -y = 2*u + 2*u - w, -9 = -y + 5*u. Is y composite?
True
Suppose 2*u - 25 = -3*u. Suppose 0 = 4*b + 3*d - 4454, -2659 - 2922 = -u*b + 3*d. Is b composite?
True
Let r(m) = 39*m**2 + 5*m + 7. Is r(3) composite?
False
Suppose 0 = 3*z - 3*p + 5*p - 45, -3*p = 0. Suppose -3*w + 2*w + z = 0. Is w a prime number?
False
Let h = -195 + 398. Is h composite?
True
Let w = 18 - 9. Suppose 0*y + 2*y = -h + w, -4*h = y - 22. Suppose h*l - 17 = 18. Is l a prime number?
True
Let j = -232 - -515. Suppose 0 = -2*z + j + 99. Is z composite?
False
Is (-16)/20*(-655)/2 composite?
True
Suppose 1 = -4*q - 5*f, 3*f + 3 + 3 = 3*q. Let z be -10*((-2)/4)/q. Suppose -z*p + 23 = -92. Is p a prime number?
True
Let s = -3 - -3. Suppose 4*q - 4*p - 292 = s, 0*p - 393 = -5*q - 2*p. Is q a prime number?
False
Let q(v) be the third derivative of v**6/120 + v**5/60 - 3*v**4/8 + 5*v**3/3 - v**2. Is q(7) a composite number?
True
Let r(d) = 18*d**2 - 1. Is r(-5) a composite number?
False
Is (-2)/2 - (-696)/2 a prime number?
True
Suppose 0 = 4*c + 4*o + 1760, 6*c = 4*c + 4*o - 880. Is 1/3 + c/(-30) a prime number?
False
Suppose 61 + 121 = 2*s. Is s prime?
False
Let h = -251 + 399. Is 2*(0 + h/8) a composite number?
False
Suppose 0 = -4*m + 229 + 71. Let f = m + -44. Is f a composite number?
False
Suppose -4*r + 88 = -4*s, -3*r - 2*s = -3*s - 64. Suppose -r = -3*i - 3*w, w = -3*i - 3*w + 22. Is 75/(-2)*i/(-9) prime?
False
Let k(f) be the first derivative of 4*f**3/3 - f + 1. Is k(1) composite?
False
Let y be 3 + -4 + (1 - -2). Suppose 0 = -2*u + y + 4. Suppose u*p - 32 = 79. Is p composite?
False
Suppose 0 = w + 3*w - 2*j - 16, 4*w = -4*j + 4. Suppose 2*v - 25 = -w*v. Suppose 5*y = -v*x + 350, x + 275 = y + 3*y. Is y composite?
True
Let h(j) = 3*j**2 - 10*j. Is h(7) a composite number?
True
Suppose 2*u = 7*u - 290. Let f = u - -31. Is f prime?
True
Let i = 1717 + 78. Is i a composite number?
True
Let m be (10/(-4))/((-7)/14). Let s = 8 - m. Suppose 0 = s*a - 11 - 58. Is a a composite number?
False
Suppose -3*r + 149 = 5*j - 555, 5*r - 2*j = 1163. Is r a composite number?
False
Let l = 6 - 6. Suppose l = -c - c - 64. Let o = 33 - c. Is o a composite number?
True
Let f be 12/2*(-4)/4. Let l be (-10)/f - 2/(-6). Let d = l - -63. Is d a composite number?
True
Let d be (-13)/4 - (-2)/8. Let t be (-3)/d + -2 + 6. Is (-8)/(-10)*t/2 prime?
True
Let o = -5 + 11. Is o/18 - 32/(-3) prime?
True
Suppose -3*y + 72 = -5*o, 3*o + 47 = -2*y - 0*y. Let f be 6/o - 8/5. Is (-134)/2*(f + 1) a prime number?
True
Suppose -5*p + 544 - 19 = 0. Let u be -1*(-2)/(2/3). Suppose -u*o = -o + 5*l - p, o = 3*l + 58. Is o composite?
True
Let u(z) = -3*z**3 - 10*z**2 + 2*z + 16. Is u(-7) prime?
True
Suppose 6 + 6 = 4*j. Suppose j*m = 4*m - 425. Suppose -l = 4*l - m. Is l prime?
False
Let w(r) = 7 - r**2 - 11*r + 4*r**2 - 4*r**2. Suppose 4*b - 8 + 28 = 0. Is w(b) prime?
True
Let f(j) = -3*j**3 - 5*j**2 - 3*j. Is f(-5) composite?
True
Let y(f) = -f**2 - 5*f - 11. Let u be y(-8). Is (-10)/u + (-1242)/(-14) prime?
True
Let f(d) = 41*d**2 + d + 1. Let g be f(-2). Let o = g - 29. Is o composite?
True
Is 2/4 + 918/12 a composite number?
True
Let n(p) = 10*p - 1. Is n(8) a composite number?
False
Suppose 0 = 2*k - 5*k + 6219. Is k prime?
False
Suppose 5*d - 4*r - 1667 = -455, 4*r = -d + 252. Let g = d + -173. Is g a composite number?
False
Is (15/9 - 1)*(409 - -2) prime?
False
Suppose -1892 = -3*s - t, 0 = -2*s + 2*t - 352 + 1616. Is s a prime number?
True
Let g(b) = 2*b**2 - 4*b - 1. Let i be g(3). Suppose 5*l - 4*x = 191, -4*l - i*x - 5 = -125. Is l prime?
False
Let b = 3062 + -2065. Is b composite?
False
Suppose u - 8 = -5*h + 22, h = -3*u + 6. Is 154*1*h/12 composite?
True
Let b be 10*(-3 + 14/(-4)). Let f = b + 150. Is f composite?
True
Let q(a) be the third derivative of 3*a**4/4 - 7*a**3/6 + a**2. Is q(5) prime?
True
Suppose -2*d + 16 = -3*d. Let n = d - -30. Is n prime?
False
Suppose 0 = -2*o - 3*y - 2*y, 0 = -2*o + 5*y. Suppose 461 = 2*l - 3*u - o*u, -4*u + 1187 = 5*l. Is l a prime number?
False
Suppose -2*s + s = -9. Suppose 18 = -4*k - 2. Is (-248)/k + s/(-15) a composite number?
True
Is -4 + 1 - 360/(-9) a prime number?
True
Suppose 1 - 3 = s. Let i be (-97 - s)*(-8)/5. Let b = i + -61. Is b prime?
False
Is -397*2*(-1 + 3)/(-4) a prime number?
True
Suppose 4*t - 19 = 5*t. Let h = 0 - t. Is h composite?
False
Let u be (-1376)/(-10) + (-10)/(-25). Suppose -5*n = -3*j + 138, n + u = 3*j - 2*n. Is j a composite number?
True
L