 Is t(b) prime?
True
Suppose 5731 + 1833 = 4*y. Is y a prime number?
False
Let i(h) = -236*h - 17. Is i(-6) a composite number?
False
Suppose 2*j + 16 = -2*a - 2*j, -a - 4*j - 18 = 0. Is a*-1*127/(-2) a composite number?
False
Is ((-6)/(-4))/(-1) + (-6562)/(-4) composite?
True
Let l = -973 + 1530. Is l prime?
True
Suppose -5*a + 1042 = 4*c - 229, 3*a - 773 = -5*c. Is a a composite number?
False
Let l = 23 - 13. Let g = 32 - l. Is g a prime number?
False
Let p(q) = 17*q - 13. Let t(n) = -9*n + 6. Let s(y) = 3*p(y) + 7*t(y). Let h be s(-4). Suppose -2*v + h = -v. Is v a prime number?
False
Suppose -5*u = -3*u - 60. Suppose g + u = 97. Is g a prime number?
True
Let y = 142 + 109. Is y a prime number?
True
Suppose -q = 2*q - 12. Suppose -30 = -9*a + q*a. Let r = 13 - a. Is r composite?
False
Suppose -4*v = -4*f + 4324, 0 = 5*f + 3*v + 1666 - 7055. Is f a composite number?
True
Let l = 12 + -8. Suppose 8*u = l*u + 220. Is u prime?
False
Let j = 22 + -15. Suppose 1619 = j*u - 26. Is u a prime number?
False
Let c(k) = k**3 + 2*k**2 - k + 4. Let o(j) = -4*j**3 - 8*j**2 + 5*j - 17. Let m(d) = -9*c(d) - 2*o(d). Let b be m(-2). Suppose a - 6*a + 1115 = b. Is a prime?
True
Let t be (-2)/(-4)*0 - -2. Is (-1)/(-3 + t) + 10 a prime number?
True
Suppose -46 = -3*s + x, -s + 2*x - 3*x + 10 = 0. Is s a composite number?
True
Let a(n) be the first derivative of n**2/2 - 2. Let j be a(7). Suppose -3*z - 148 = -j*z. Is z composite?
False
Suppose 596 = -9*b + 9362. Is b a composite number?
True
Let y = 2 - -1. Let p be 2/((y/2)/3). Suppose -p*g + 12 + 14 = h, -4*g + 22 = -h. Is g a composite number?
True
Let i(z) = -307*z + 2. Is i(-5) a composite number?
True
Let h = -7 + 11. Let t = -2 + h. Suppose 5*o = -5*g + 33 + 127, t*o + 5*g = 55. Is o prime?
False
Suppose -t = 2*o + 325 - 1295, -970 = -2*o + 3*t. Suppose -o = s - 6*s. Is s composite?
False
Is ((-4)/7)/4 - (-17672)/28 a prime number?
True
Suppose -t - 6*y = -y + 27, -10 = 2*y. Let x = -17 - -10. Is x/t*60/21 prime?
False
Suppose 2*w = 3*i - 116, 0 = -0*i - 3*i + 4*w + 112. Suppose -t - i = -x, 5*x - 2*t = 61 + 136. Is x a composite number?
True
Let o(w) = w**2 + w + 4. Let p be o(0). Let b(q) = -2 + 7 + 0 - 2*q + 5*q**2. Is b(p) composite?
True
Let g(r) = -8*r**3 - 2*r**2 - r + 4. Let u be g(-2). Suppose -4*q = -2*q - u. Is q a prime number?
True
Let v = 1937 - 746. Is v a prime number?
False
Suppose -2*m + s = -6*m + 1012, s = -2*m + 504. Is m prime?
False
Let v(i) = -i + 13. Let n be v(11). Suppose 2*r = -n*r - 156. Is (-3 + -2)*r/5 a composite number?
True
Let a = -198 + 1405. Is a a composite number?
True
Suppose -55 = -8*g + 1. Is g a prime number?
True
Let c(z) = 28*z - 9. Let f be c(5). Suppose 0 = d - 26 - f. Is d composite?
False
Suppose 96 = 3*n + 30. Is n composite?
True
Is ((-16)/30)/(-4) - (-24553)/15 prime?
True
Let f(y) = -y**2 - 22*y - 10. Let c be f(-15). Suppose j + 28 = c. Is j a composite number?
False
Let n(p) = -329*p - 2. Let b be n(-2). Suppose -4*x = -8, 3*z + z + 2*x = b. Is z a prime number?
True
Let b be 1135/(-15)*-1*3. Let w = b + -121. Is w composite?
True
Let z(b) = b**3 + 4*b + 1. Let p be z(3). Suppose 3*q - 3*k - 180 = 0, -132 - p = -3*q + 5*k. Is q + (-1)/(-2 - -1) composite?
True
Let c = -66 - -14. Let l = c + 252. Suppose u + 57 - l = 0. Is u prime?
False
Is 10/(-4)*4438/(-35) a prime number?
True
Let o(a) = a**2 - 8*a + 17. Suppose -3*h = -5*z - 26, 2*h - 5*z = -0 + 14. Is o(h) composite?
True
Let z = -8112 + 11929. Is z composite?
True
Suppose -g - 2*x + 13 = 0, 0 = 3*g + 4*x - 41 + 10. Let m(l) = l**3 - 3*l**2 + 5*l. Let b be m(g). Let y = b - 28. Is y prime?
True
Let c(a) = -32*a + 4. Let t be c(-5). Suppose -3*b = b - t. Suppose -3*s = 2*m - b, 2*s - m = -s + 47. Is s composite?
True
Let n be (-22)/33 + (-943)/3. Is n/(-6) - 1/(-2) a prime number?
True
Is 1*(1 - 2)*-31 prime?
True
Suppose -2185 = 8*f - 13*f. Is f composite?
True
Suppose 5*t - 15 - 10 = 0. Suppose -3*p + 5*x + 518 = -59, 5*p - 953 = 4*x. Suppose -p = -t*z + r, 3*z = 4*r - 36 + 163. Is z prime?
True
Let z = 51 + 16. Suppose 2*s = -5*i + z, -3*i - 2*s = -0*i - 41. Is i a prime number?
True
Let n(k) be the second derivative of 7*k**3/3 + k**2/2 + k. Let y be n(1). Suppose -103 = -5*u + 4*h, -2*h - 3*h = -y. Is u prime?
True
Let y = -223 + 1017. Is y a prime number?
False
Let d = -712 - -2353. Is d prime?
False
Let t(k) = 2*k + 6. Let q be t(7). Let j be (12/q)/((-2)/(-10)). Suppose 0 = j*o + 3*p - 159, 0*o + 106 = 2*o - 4*p. Is o prime?
True
Let k = -9 - -35. Let q = k + 151. Is q a prime number?
False
Suppose 3*r = -s + 412, -s + 0*s = -3*r + 422. Is r composite?
False
Let s = -1 + 10. Let x(h) = -s + h - 4*h - 9*h - 4*h. Is x(-6) a composite number?
True
Let g(f) = -13*f - 5*f - 15 + 19. Is g(-3) a composite number?
True
Let j = 123 - -172. Is j prime?
False
Let p(n) = n**2 - 3*n - 2. Let w be p(4). Let r be w/9 + 8/(-36). Is (5 - -1)/(2 - r) a prime number?
True
Suppose -3*k = 307 + 23. Let q = 1 + -4. Is (-2)/q - k/6 composite?
False
Suppose -4*z = -z - 4*w + 12, 0 = -3*w + 9. Suppose -y + 10 + 159 = z. Is y a prime number?
False
Is 12/(-28) - 4108/(-14) composite?
False
Let q = -2 + 2. Let r(z) = z + 27. Let h be r(q). Let j = 94 - h. Is j a prime number?
True
Suppose 3*u + 2*w - 15 = 7*w, 10 = 2*u - 3*w. Suppose 3*s - 51 - 96 = -3*g, g - u*s = 73. Is g composite?
False
Is 84/(-105) + (-1499)/(-10)*2 a prime number?
False
Let b = 2586 + -1747. Is b a prime number?
True
Let j(d) be the third derivative of -d**4/6 - d**3/2 + d**2. Is j(-4) a composite number?
False
Let t(p) = -2*p**3 - 3*p**2 - 3. Let j be 18/(-10) - (-2)/(-10). Let a be (6 - 4)/(1/j). Is t(a) prime?
False
Suppose -c = -6*c + 2075. Is c a prime number?
False
Let k be (-9)/6*(-8)/2. Let t be 10/15 - (-14)/k. Is (t + 11)/(2/17) prime?
False
Let q = 216 - 97. Is q composite?
True
Let l be 2/8 - (-1295)/20. Let y = l - 28. Is y a prime number?
True
Suppose 3*w = 4*w, -l + 5*w = -3. Let a = 0 + l. Is a composite?
False
Let w(v) = 2*v**2 + 13*v + 8. Let f be w(-8). Let h = 10 - f. Is (h/6)/(2/(-6)) composite?
False
Suppose -17 = -5*u - 2. Suppose -6 = -3*v - u. Is (14/(-4))/(v/(-14)) a prime number?
False
Suppose -2*h + 8 = -4*o, -2*h = -o - 1 - 10. Suppose -602 = 4*d - h*d. Is d a composite number?
True
Suppose 0 = -4*x - 180 - 92. Let a be 1/((-1)/(-3 - x)). Let s = -12 - a. Is s prime?
True
Let s(v) = v**2 - 2*v + 7. Is s(-10) composite?
False
Let y(x) = -x**3 + 6*x**2 + 5*x - 29. Is y(-11) a prime number?
True
Let g be (0/(-1))/(6/(-3)). Suppose -5*h - 2*l + 1 + 9 = g, 4*l = 20. Let u(b) = -b + 35. Is u(h) prime?
False
Suppose -156 - 46 = -s. Suppose -l - 11 + s = 0. Is l prime?
True
Is (-2)/(-8) + (-8141)/(-28) a composite number?
True
Suppose c + j = 1147, 0 = 5*c - 3*j - 2421 - 3346. Is c a composite number?
False
Let o be -1 - 1*6/(-2). Let f be o + 1/(3/(-69)). Let b = 12 - f. Is b a composite number?
True
Suppose -200 = -4*w - 3*s, -4*s - 116 = -4*w + 112. Is w a prime number?
True
Suppose 8 + 4 = 3*h. Suppose 0*b - 285 = -3*b. Suppose 5*g - 90 = 3*y, g + h*g - 4*y - b = 0. Is g a prime number?
False
Let o(l) = l**3 + 8*l**2 + 5*l + 4. Let m be o(-7). Let k = m + 41. Is k prime?
True
Let q(o) = 2*o - 1. Let m = 5 - 1. Let v be q(m). Is (-4017)/(-21) - 2/v prime?
True
Suppose -4 = t - 1. Let y be t + 5 + -2 + 0. Suppose 3*s - 9 = y, -m + 6*m = 5*s + 50. Is m a composite number?
False
Suppose 0*a - 602 = -2*a. Is a a prime number?
False
Is 3/1 - 104/(-2) composite?
True
Suppose 0 = 2*j - t + 1, 0 = -0*j - j + 4*t + 3. Is 32 - j - (6 + -4) prime?
True
Suppose n + 5*y = -30, -4*n + y = 1 + 35. Let j be -4*n/8*2. Is 1326/15 - (-6)/j prime?
True
Is 10/(160/(-12)) - (-1895)/4 prime?
False
Suppose 2*c = -2*c - 84. Let a be ((-2)/1)/(10/(-200)). Let q = c + a. Is q prime?
True
Let h(g) = -2*g - 1. Let m be h(-3). Suppose 3*a = m + 484. Is a prime?
True
Suppose 0 = 2*v - b - 3*b + 26, -5*v - 41 = -4*b. Let n(i) = 6*i**2 - i + 4. Is n(v) prime?
False
Suppose -3*s + 5*t = -5202, 0 = -s - t + 2210 - 484. Suppose 5*d = 606 + s. Is d prime?
True
Suppose 3*s = -2*k + 957, 0 = -s + 2*k + 253 + 58. Is s a composite number?
False
Suppose 5*p - 14 = -4. Let i be (-6)/(-4)*(p - 0). Suppose -y = i*r - 98, 2*y = 4*r + r + 141. Is y composite?
Fal