
True
Let z(j) = 6*j**2. Let p be z(-1). Let g = p - 4. Suppose -3*c = g*c - 325. Is c composite?
True
Let w = -59 + 225. Is w a prime number?
False
Let r(s) = 101*s**2 + 3*s + 3. Let g be r(-2). Suppose 0 = 2*o - 189 - g. Is o prime?
False
Let s be (10 + 2)*(-39)/4. Let w = -66 - s. Is w a prime number?
False
Is (-1)/3*(-5331)/(8 + -7) composite?
False
Let q(w) = -2*w - 4. Suppose r + 15 = 42. Suppose -8*m - r = -5*m. Is q(m) a composite number?
True
Suppose -o - 1167 = -w, -4*w + 4652 = 3*o + o. Suppose w = 4*y - 415. Is y prime?
False
Suppose 37 = -3*d + 4. Let f(p) = p**2 + 6*p - 4. Is f(d) prime?
False
Let v = 465 + -274. Is v a prime number?
True
Let l = -2 - 24. Suppose -380 = f - 5*f. Let a = l + f. Is a prime?
False
Let m(w) = w + 3. Let x be m(7). Suppose o = -3*t - 3*o + 30, t + 2*o - x = 0. Suppose t = 5*p, -4*g - 2*p = -5*g - 1. Is g composite?
False
Suppose 2*t = -4 + 6. Is (-100)/(-3) - t/3 prime?
False
Let s = 162 - 88. Let i = s + 17. Is i composite?
True
Suppose 2*q = q + 5. Suppose 2*a + 182 = -q*u, -3*a = -3*u + 258 + 15. Let g = -36 - a. Is g composite?
True
Suppose 14 = -4*j + 5*o - 6, 3*o = 12. Suppose j = -3*g - 72 + 183. Is g prime?
True
Suppose 3*t = 3*f - 12606, -2761 + 15365 = 3*f - t. Is f prime?
True
Let b = 555 - 368. Is b a prime number?
False
Let n be 230/(-6) + 8/(-12). Is n/(-2)*20/6 a composite number?
True
Suppose 0*q = 4*q + 5*v - 7383, 2*v - 9233 = -5*q. Is q a prime number?
True
Let r(k) = -k - 13. Let u be r(0). Let l(c) = c**3 - 5*c**2 + 3*c - 4. Let z be l(6). Let m = z + u. Is m composite?
False
Let l be 49/(3/(3 - 18)). Let q = -86 - l. Let d = q - 113. Is d prime?
False
Let v(d) be the third derivative of 17*d**6/120 + d**5/30 - d**4/8 + d**3/6 + 2*d**2. Is v(2) a composite number?
False
Let g be (27/(-12))/(6/16). Let w(z) = z**2 + 6*z - 3. Let y be w(g). Let q(j) = -6*j**3 - j**2 - 4*j - 4. Is q(y) composite?
True
Suppose -1074 = g - 4297. Is g a composite number?
True
Suppose 4*p = -0*p - 11244. Is 8/(-20) - p/15 composite?
True
Let y = 98 + -52. Suppose 33 = n - y. Is n a composite number?
False
Let b = -3 - -19. Suppose -8 = -3*m - 2*o, 5*m + b = 2*o + 40. Suppose 26 = c - m*k, 6*c - 2*k = c + 40. Is c a prime number?
False
Suppose -3*s = -3*l + 4*l + 3, s + 8 = 2*l. Suppose 6*x = 3*x + l*t + 150, 4*x = -2*t + 182. Is x a composite number?
False
Let r = -2784 - -4453. Is r composite?
False
Let k = 964 - 618. Is k a prime number?
False
Let l = 1094 + -573. Is l a composite number?
False
Suppose 12 = 5*p - 2*p, 640 = 4*b + 3*p. Is b a composite number?
False
Let b(s) = s**3 - 2*s**2 + 2*s - 2. Let n be b(3). Let y = 26 + n. Is y a prime number?
False
Suppose -5*p + 2011 = -884. Is 3/(-6) + p/2 composite?
True
Is ((-26)/(-3))/((-4)/(-78)) a prime number?
False
Suppose 5*b - 52 = 583. Is b a composite number?
False
Suppose u - 2*u = -2*s - 885, 2*s = 4*u - 3546. Is u composite?
False
Let v = -14 + 16. Suppose v*g - 508 = -2*g. Is g a composite number?
False
Suppose 3*v - 3187 = -5*p, 5*p - 3*v + 1696 = 4859. Is p prime?
False
Suppose -254 = 8*n - 9*n. Is n a prime number?
False
Let b be 0 + -1 - (1 + -329). Suppose b = -k + 2*k. Is k a composite number?
True
Let u = 25 - 41. Let h = u + -57. Let m = 107 + h. Is m a prime number?
False
Let o be (-4)/6*3*-2. Suppose o*g - 1676 = -0*g. Let v = -262 + g. Is v a composite number?
False
Let j be (15/(-10))/(1/2). Let m = 8 + j. Suppose -m*h - 114 = -439. Is h composite?
True
Let l(b) = 10*b**3 - 7*b**2 + 4*b + 22. Is l(7) a prime number?
True
Suppose 0 = -g + 3*f + 254, -25 + 10 = 5*f. Let a = g + -168. Is a a composite number?
True
Let r be 8/5 - (-6)/15. Suppose -5*d + 253 = -3*j, -r*d = 3*j + j - 122. Is d composite?
False
Let t be (-28)/(-3)*1*3. Suppose o = 121 + t. Is o composite?
False
Let n = -285 + 412. Is n prime?
True
Suppose -781 = -2*n + 1941. Is n a prime number?
True
Let g be (-15)/((10/(-42))/5). Let p be (-2)/(1/(2/(-2))). Suppose 4 = -p*z, -3*f - z + g + 118 = 0. Is f a prime number?
False
Let u = -11 - -15. Is (158/u)/((-2)/(-4)) prime?
True
Suppose 0 = -2*w + k + 669, -2*w + 6*w - 4*k - 1328 = 0. Is w prime?
True
Let k(y) = y**3 - 7*y**2 - 7*y - 4. Let c(v) = -7*v**3 + 2*v**2 + v. Let h be c(-1). Let u be k(h). Is -10*((-2)/u - 1) a composite number?
True
Is (16 + -17)/((-1)/298) a prime number?
False
Let r = 2 + 3. Let b = -2 + r. Suppose -6*m = -m - 10, 5*n - b*m - 64 = 0. Is n a composite number?
True
Suppose -3*c - 8 = -2*b - c, 4*b + 3*c = 23. Suppose -b*z = -23 + 8. Suppose z*k + 3*d + 125 = 7*k, 0 = 3*k - 3*d - 90. Is k a composite number?
True
Let l(x) = -3*x**3 - 7*x**2 - 5*x + 3. Is l(-4) composite?
False
Suppose 15*t = 16*t - 126. Let w = -133 - -206. Let j = t - w. Is j a composite number?
False
Let n(h) be the third derivative of 2*h**2 + 1/24*h**4 + 0 + 53/60*h**5 + 1/6*h**3 + 0*h. Is n(-1) composite?
False
Suppose 38 = -4*m + 5*m. Suppose 12 = 5*t - 2*t. Suppose m = -t*y + 5*y. Is y a prime number?
False
Suppose -8 - 2 = -2*n. Is (14/(-4))/(n/(-290)) a composite number?
True
Let m be 16/40 - (-1076)/10. Let y = m + 3. Is y a prime number?
False
Let q(v) = v**2 + 5*v - 5. Is q(4) prime?
True
Is 1872 - (10 + (-25)/5) prime?
True
Suppose -3*a + 0*a = -9. Suppose 4*i - z = -3*z + 316, 5*i = -a*z + 395. Is i a composite number?
False
Is (-2)/1 - 9*-21 a prime number?
False
Suppose 9 = -4*i - 3, 3*a - 4*i - 21 = 0. Suppose -5*m - 3*t + 12 = 0, 0 = -a*t - t - 4. Suppose -m*f + 4 = -53. Is f prime?
True
Is 4/26 + 35289/39 + 2 composite?
False
Suppose 0 = -4*c + 1842 - 410. Is c composite?
True
Let l be 45/6*4/5. Is 1*159/l*2 composite?
False
Let f(z) = z**3 + 5*z**2 - 6*z + 4. Let a be f(-6). Suppose 5*v + 2 = a*v. Let l(o) = -28*o - 3. Is l(v) a prime number?
True
Is 76*-4*(-1)/16 composite?
False
Suppose 13 = -2*k - 1. Let v(d) = -10*d + 7. Let u be v(k). Suppose -2*w = -3*w + u. Is w prime?
False
Suppose 5*i = -5*q, 0*i + 4*i + 2*q - 10 = 0. Suppose -i*k + 25 = 5. Suppose -85 - 135 = -k*m. Is m prime?
False
Let l(m) = m**3 - 21*m**2 + 22*m - 38. Is l(20) composite?
False
Suppose -3*m + 345 = -0. Is m prime?
False
Let o = -10 - -19. Suppose -z = -t + 24 + o, 3*t = -z + 103. Is t prime?
False
Let s(t) be the second derivative of -t**5/20 + 7*t**4/12 + 7*t**3/6 - 3*t**2 - 3*t. Let g(i) = -i + 5. Let c be g(0). Is s(c) composite?
False
Suppose -3*n + 5*h - 6 = 2*h, n = -h + 6. Suppose 4*s - 3*i - n*i = 167, 3*i - 89 = -2*s. Is s composite?
False
Let t be ((-20)/25)/(2/(-1645)). Let z = -261 + t. Is z a composite number?
False
Let l(z) = 22*z + 9. Is l(7) a composite number?
False
Suppose -5*o + 22 = -2*h, -5*h + 11 = -0*o + 4*o. Let w be 31*4*h/2. Is w/(-4) + (-3)/6 a prime number?
False
Let z(l) = -252*l - 5. Let d(g) = g - 1. Let n(k) = 4*d(k) - z(k). Is n(1) prime?
True
Let t(r) = -r - 3. Let s be t(-5). Let n be ((-2)/s)/1*-512. Is 2/(-6) - n/(-6) prime?
False
Let y = 4384 - 10344. Is y/(-24) + 2/3 a composite number?
True
Let n(r) = -4*r + 10. Suppose -2 = -j - 15. Is n(j) a prime number?
False
Let h = 3 + -3. Let f(n) = -76*n - 1. Let b be f(-2). Suppose 4*t - 305 = -3*y, 0 = -2*t - h*y - 3*y + b. Is t prime?
False
Let a = 1727 - 1224. Is a a composite number?
False
Suppose 4*a - 41 = -i, 4*a = 2*i - 93 - 37. Suppose 5*m - 652 = -i. Is m prime?
False
Let r be -2 + (2 + 7 - 0). Suppose -k = w - 5*k - r, k - 28 = -4*w. Is w a prime number?
True
Let y = -6 + 3. Let i(m) = m**3 - 3. Let u be i(y). Let d = u - -55. Is d a prime number?
False
Suppose 3*c - 10 = c. Suppose 6*h - c*h - 201 = 0. Is h a composite number?
True
Suppose -x + 0 = -8. Let g(a) be the first derivative of a**4/4 - 2*a**3 - 9*a**2/2 + 9*a - 2. Is g(x) a composite number?
True
Let c(o) = -2*o**3 + 3*o**3 + 3*o**3 - 3*o**3 + 7*o + 3*o**2 - 12. Is c(5) composite?
False
Let j be (30/(-18))/(2/(-6)). Suppose 2*y + 4*b = 284, -2*y + 238 = j*b - 50. Suppose 2*p = 32 + y. Is p a prime number?
True
Let k(u) = 4*u**2 - 8 + u**2 - 1 + 11*u - 2*u**2. Is k(13) composite?
False
Suppose 7 = -5*h - 3. Let s(q) = 21*q**3 - 21*q**2 + 5*q - 31. Let g(z) = 4*z**3 - 4*z**2 + z - 6. Let y(p) = h*s(p) + 11*g(p). Is y(3) a composite number?
True
Suppose 288 = -2*b + 1354. Is b a composite number?
True
Suppose 0 = t + 5*a - 23, 3 - 2 = -t + a. Let m be ((-116)/t)/(2/(-3)). Su