 k(6) a prime number?
True
Is -3 + 1 - (6 - (88 - -3)) composite?
False
Let p(h) be the first derivative of 42*h**3 + h + 2. Let t be (-10)/6 + 2/3. Is p(t) composite?
False
Let h(f) = -3*f**3 + 3*f**2 - 19*f - 1. Is h(-6) composite?
True
Let t(g) = 98*g**2 + 3*g - 9. Is t(4) a prime number?
True
Suppose 3*p + 2*v = 4*v + 3014, -5*v - 4007 = -4*p. Suppose -4*q = 260 - p. Is q a prime number?
False
Let a be (8/6)/(3/135). Suppose -3*l = -4*r - 58 - 59, 3*r + 3*l = -72. Let s = a + r. Is s a composite number?
True
Suppose 0 = 2*s + s - 18. Let r be (4/s)/((-2)/(-12)). Let c = r - -7. Is c a composite number?
False
Is (-10 - 0)/(-5) + (-1541)/(-1) composite?
False
Let u be 3/3*(-1 + 181). Suppose u = 2*f + m, -5*f - m = -0*m - 453. Is f a composite number?
True
Let k = -37 - -52. Is k prime?
False
Suppose -3*b + 3*l + 7 + 8 = 0, 0 = 2*b + 2*l + 2. Let o(g) = -g**3 - 2*g**2 - 3*g - 5. Let n be o(-2). Is (-99)/(-1 - b)*n prime?
False
Suppose 15*a = 10*a + 19205. Is a a prime number?
False
Suppose 46 = -g + 3*g. Is g prime?
True
Let w(a) = 15*a + 3. Let b be w(-3). Let n = b + 77. Is n a prime number?
False
Let z be (-1 - (-5 - -3)) + 56. Let o be (-6)/21 + (-46)/(-14). Is (-1)/(0 - o/z) a composite number?
False
Let h be ((-4 - -8) + -5)*6. Is (-6992)/(-133) + h/(-14) a composite number?
False
Suppose 0*g + 2*g - 6 = 0. Let m = 8 + g. Is (m/2)/1*2 composite?
False
Let w(v) = v**3 - 8*v**2 + 8*v - 4. Is w(9) composite?
False
Let m be 2105/(-20) + 2/8. Is (m/(-9))/(1/3) composite?
True
Suppose 2*u = 350 + 32. Is u prime?
True
Let t be (-6)/(-42) + 202/7. Let x(c) = -c**3 - 5*c**2 - 6*c - 5. Let i be x(-4). Suppose 0 = -i*b - 2*n + t - 0, -n - 5 = 0. Is b prime?
True
Suppose 5*d + 22 = -4*j, -5*d = 4*j - 2*j + 16. Let q be -1 + 1 + (-57)/j. Suppose 3*i = 2*i + q. Is i a composite number?
False
Let q(k) = -32*k - 13. Suppose 3*t + z = -25, -4*t - z - 3 - 32 = 0. Is q(t) a prime number?
True
Suppose -2*w + 5*y - 577 = -4*w, w = -4*y + 284. Suppose -1 = s, 2*i + i - 5*s - w = 0. Is i composite?
False
Let r(o) = -5*o**3 - 2*o**2 - 2*o - 1. Let z be r(-2). Suppose 95 = 5*v - 4*i, -2*v - i = -4*v + z. Is v a composite number?
True
Let k be -2 - 0 - (-12 + -210). Let t = k - 51. Is t composite?
True
Suppose -3*m - k - 3 = 7, -m = k + 6. Let j be (-4 + m)/(6/9). Let s = -3 - j. Is s a composite number?
True
Let f(c) = -c**3 + 5*c**2 - 4*c + 2. Let n be f(4). Suppose 213 = n*q + 3*g + 2*g, 5*q = 5*g + 620. Is q prime?
False
Suppose s - 2050 = -5*u, s - 1163 = -2*u + 884. Is s composite?
True
Suppose u + 4*b = 87 + 18, 0 = 5*u - 2*b - 547. Is u a composite number?
False
Suppose -2193 = 2*j - i - 6073, 3*i = -4*j + 7750. Is j prime?
False
Suppose k = -0*k + 3. Suppose -4*i + 1765 = k*j, -2*j + 884 = 4*i - 2*i. Suppose 0 = -4*g - b + i, -2*g = 6*b - b - 197. Is g composite?
True
Suppose -564 = 2*t - 6*t. Is t a composite number?
True
Let z = -482 - -733. Is z a composite number?
False
Let v(b) = b**3 - 2*b**2 - 8*b + 2. Is v(7) a prime number?
True
Let b be (-11)/(-2) - 2/4. Suppose 0 = b*m - 4*m - 127. Is m a prime number?
True
Let p = 2252 - 49. Is p a composite number?
False
Suppose k - 3*o - o - 281 = 0, o = k - 290. Is k a prime number?
True
Let w be 771/12 + (-1)/4. Suppose r - 21 = w. Is r prime?
False
Let h = 58 + -116. Let b = 260 + h. Is b composite?
True
Suppose -5*w = b - 105, b + 63 = 3*w - 4*b. Is w a composite number?
True
Suppose 4*m + 12 = 0, -4*m = -4*x - 2*m + 338. Is x composite?
False
Let m(a) be the third derivative of -a**6/120 - a**5/15 - 5*a**4/24 + 3*a**3/2 + a**2. Is m(-7) prime?
True
Suppose 3*i - 130 - 157 = -4*y, 0 = 4*y + 4. Is i composite?
False
Let t = 139 + -50. Is t composite?
False
Let k(d) = d**2 - 5*d. Let s be k(5). Suppose -a - 2*a + 69 = s. Is a prime?
True
Suppose 3*i - 689 = 1360. Is i a prime number?
True
Let m = 248 - 134. Let d = m - 29. Is d composite?
True
Suppose -32*n - 479 = -33*n. Is n a prime number?
True
Let x(p) = -4*p - 13. Suppose 2*v + 4 = -0*v - 4*i, -v + 4*i - 8 = 0. Let m be 3/(-6) - (-34)/v. Is x(m) composite?
False
Let g(h) = h**2 + 5*h + 3. Let k be g(-6). Suppose -2*b - b = k. Is 52 - b/3*1 a composite number?
False
Let t = -94 - 229. Let p = -140 - t. Is p prime?
False
Let n(z) = 2*z**2 - 5*z - 2. Is n(-3) a prime number?
True
Let h be (-12)/(-7) + 12/42. Suppose 5*u = h*b - 53, 0 = 3*b - 0*b + 2*u - 127. Is b a composite number?
True
Suppose -5*f = -0*p + p - 2010, 3*f - 1214 = p. Let r = f + -200. Is r prime?
False
Let i be (-2)/6 + (-5)/3. Let p be (-5*(0 - i))/(-1). Suppose -2*k - p = 0, 3*k = -2*m + m - 11. Is m prime?
False
Suppose 2*v + 3*v = 2*s - 270, 66 = -v - 2*s. Let l = v - -78. Is l a composite number?
True
Let p = -19 + 18. Is p*(-320)/2 - -1 a composite number?
True
Is 7*(4/(-12) + (-232)/(-12)) prime?
False
Let a be (-66 - -4)*1*-2. Let u = a + -89. Is u composite?
True
Let a(b) = -5*b**2 - 9*b - 5. Let n(k) = 11*k**2 + 18*k + 10. Let w(c) = 9*a(c) + 4*n(c). Let x be (6/5)/((-5)/25). Is w(x) a prime number?
True
Suppose -5*s + 9*s = 1516. Is s prime?
True
Suppose 2*x - u + 3*u - 1432 = 0, u + 3598 = 5*x. Is x a composite number?
False
Let s(b) = 8*b**2 - 3*b - 1. Is s(4) composite?
True
Suppose 0 = 11*p - 12*p + 331. Is p prime?
True
Let l be (-8 - -6)*(-1 + 0). Suppose 0*u = l*u. Suppose u = -g + 340 - 89. Is g composite?
False
Suppose 2*h + 2 - 10 = 0. Suppose -h*c + 3 = -53. Is c prime?
False
Let f(c) = 197*c**2 - c + 7. Is f(3) prime?
True
Let c(j) = j**3 - 6*j**2 + 7*j - 7. Let d be c(6). Suppose 0 = -4*w - y + d, -4*w = w - 2*y - 60. Let s(v) = 9*v - 1. Is s(w) a prime number?
True
Let d = 136 - 85. Suppose -2*y + 64 = 5*h - 0*h, 3*y = -4*h + 96. Let z = d - y. Is z a prime number?
True
Suppose -909 = -3*m + 4*o + 309, -5*m = -3*o - 2019. Suppose -3*t + 1332 - m = 0. Let n = t - 99. Is n prime?
True
Let f(p) = -36*p - 1. Is f(-7) composite?
False
Suppose 3*c + l = c + 6379, -l = -3*c + 9576. Is c prime?
True
Suppose 2*p - 14 = 4*k - p, k - 2*p + 6 = 0. Let l = 2 + k. Let b = l + 11. Is b a composite number?
False
Suppose -3*n = 4*z + 13, 2*n + 11 = 5*n - 2*z. Let c(p) = -20*p - 2. Let k be c(-5). Is 1*k*n/2 a composite number?
True
Let i(p) be the first derivative of p**3 - 3*p**2/2 + 7*p - 2. Is i(-5) prime?
True
Suppose -35 = -2*t + 29. Is (-2)/(-8) + 1048/t composite?
True
Is ((-5)/5)/(3/(-165)) a composite number?
True
Let n = -4244 - -8779. Is n composite?
True
Let v(t) = 239*t - 2. Let q be v(3). Suppose q = 5*j - 0*j. Suppose -2*n + 3*i + 59 = 0, -j = -4*n - 0*n + i. Is n prime?
True
Let a = -11 - -19. Suppose -a*c + 11*c - 237 = 0. Is c prime?
True
Let z(f) = 2*f**3 - 4*f**2 - 6*f + 19. Is z(10) a prime number?
True
Suppose 3*x + 6 = 0, m - 2*x + 0 = 4. Let u = 14 - m. Is 77/2 + 7/u a composite number?
True
Let v = 9 - 4. Suppose -v*a - 4*q + 1907 = 0, -2*a + 394 = -a + 5*q. Is a a composite number?
False
Let u = 273 - 123. Let l = u + -16. Is (l/3)/(10/15) composite?
False
Let r = 12 - 9. Is ((-164)/r)/((-4)/6) composite?
True
Let m be ((-3)/(-6))/((-1)/6). Let y = m + 5. Suppose 3*v + y*x - 9 = 12, 21 = 3*v + x. Is v composite?
False
Suppose -233 + 24 = -h. Is h a composite number?
True
Let x(l) be the second derivative of -l**4/12 + 7*l**3/6 + l**2/2 - 2*l. Is x(6) composite?
False
Is (-3 + 24)*(-3 + 4) composite?
True
Suppose 3*z - 6 - 9 = -m, -2*z + 17 = 3*m. Suppose o + 5 = 1, -4*x = z*o - 268. Is x a prime number?
True
Suppose -2*j - 2 = -4*j. Let g = 16 - j. Is g a composite number?
True
Is 8 + -11 - (3 - 777) a composite number?
True
Let a(x) = 6*x**2 - 6*x + 1. Let c = 7 - 0. Is a(c) prime?
False
Let c(b) = b**2 + 2*b + 1285. Is c(0) composite?
True
Let h = -2 + 0. Let y be h/(-6) + (-4)/(-6). Let z(g) = 12*g**3 + 2*g**2 - g. Is z(y) composite?
False
Let v = -33 - -3. Let i = v + 53. Is i prime?
True
Suppose 4*t - 4609 = -y, -t - 5*y = -5*t + 4579. Is t a prime number?
True
Let z = 25 - 2. Let g = z + -14. Is (3/g)/(-1)*-645 a prime number?
False
Suppose 2*z + 3 - 11 = 0. Let s(g) = -g - 4. Let c be s(-4). Suppose c*j - 100 = -z*j. Is j prime?
False
Let z(a) = a**2 + 5*a - 2. Let d be z(7). Suppose 7 = c - d. Is c composite?
False
Suppose 4*n - 20 = -4*t, 0 = -4*n + 3*n + 1. Suppose 2*f - 40 = 4*u, -53 = 5*u - t*f - 0*f. Is (2 + 1)*(-93)/u a prime numbe