 prime?
False
Let q = 8 - 10. Let h be (3 + q + 0)*2. Suppose h*w - 3*x - 262 = 0, 139 = 2*w + 5*x - 139. Is w a prime number?
False
Let b = -723 + 1432. Is b a prime number?
True
Let f = -592 + 2541. Is f prime?
True
Let t be (3 - 1)*-1 - -12. Suppose -4*m - t + 94 = 0. Is m composite?
True
Let m be 143 + (-1 - 0)/1. Let a = -13 - 76. Let q = a + m. Is q a prime number?
True
Suppose -g + 187 + 400 = 0. Is g a prime number?
True
Let o = -8 - -13. Suppose -o*n + 63 = -2*n. Is n a composite number?
True
Suppose -q = -3*l - 2189, 8*q - 5*l = 4*q + 8770. Is q a prime number?
False
Let b(y) = -y**2 + y + 4. Let j = 3 - 3. Let r be b(j). Suppose -4*o + 3*u = -0*u - 196, 5*o - 245 = -r*u. Is o a composite number?
True
Let v = 575 + -401. Suppose 4*b + 169 = g, 2*b - v = -g + 7*b. Is g composite?
False
Let x(h) = -1395*h + 17. Is x(-2) composite?
True
Is (6/(-3) - -148) + -3 prime?
False
Let d(z) = -178*z - 3. Is d(-2) prime?
True
Let d(f) = -2*f - 2. Let j be d(-5). Let i = 74 + j. Let g = 15 + i. Is g a composite number?
False
Suppose 0 = 2*p - 0*p - 406. Is p prime?
False
Let d(t) = 63*t - 2. Let n be d(2). Let b = n + 39. Is b a composite number?
False
Let i be ((-6)/(-4))/((-3)/(-316)). Suppose 3*b = -i + 584. Is b prime?
False
Let b(y) = -y + 2. Let o be b(4). Let n be (-213)/(-6) - (-1)/o. Suppose 3*k - n = 160. Is k prime?
False
Let w = 10 + -3. Is w a composite number?
False
Let j(t) be the first derivative of t**5/120 - t**4/8 - 2*t**3/3 + 1. Let a(l) be the third derivative of j(l). Is a(7) a composite number?
True
Suppose -3*s = 2*r - 3, 0 = 5*s - 0*s + 5. Is 3/((-1)/((-7)/r)) a composite number?
False
Let p be (-4)/(-6) + 14/(-21). Suppose -2*b + 523 = 5*y, 3*y + p = 3. Is b prime?
False
Let w = 47 + -33. Is w composite?
True
Suppose c = -4*c + 210. Suppose -4*q - c = -7*q. Is q a prime number?
False
Suppose -4*q - 4*p = -2540, 13 - 3 = 5*p. Is q a composite number?
True
Let f be ((-44)/12)/((-2)/6). Let s = 11 + -8. Let z = s + f. Is z a prime number?
False
Let a(h) = 42*h**2 - 2*h - 1. Is a(-6) composite?
False
Let w(s) = s - s**2 + 7*s**2 + 0*s - 1. Let b be (-7)/3 + (-1)/(-3). Is w(b) a composite number?
True
Let x(o) = o**2 - 5*o - 8. Let c be x(6). Let d be (-189)/(-2) + c/(-4). Let p = d + -42. Is p a composite number?
False
Suppose 4*x = -x - 5*j + 15, -27 = -5*x - j. Is 3/x*-6 + 34 prime?
True
Let u(z) = -6*z. Let v be u(-5). Is 1/6 + 265/v a composite number?
True
Is 2 + 0 + 2241/9 composite?
False
Let d(v) = -v - 12. Let o be d(-10). Let a(z) = 4*z + 2 + 1 - 4*z**2 - z**3 + 5*z**2. Is a(o) composite?
False
Let u be 1*(-3)/6*10. Let q = u + 3. Is (-6)/4*(q - 2) composite?
True
Suppose -3*v + 463 = -4*j, -v - 3*j + 156 = -4*j. Is v prime?
False
Let o = -7 + 172. Suppose -2*m + o = 3*m. Is m a prime number?
False
Let c(y) be the third derivative of -y**6/120 + y**5/60 + y**4/24 + y**3/6 - 3*y**2. Let d be c(-1). Is d + 0 - (1 + -118) prime?
False
Let g = 15 + -5. Is g composite?
True
Let t = 17 + -14. Is (-2 - -160)/(6/t) a prime number?
True
Suppose -4*z = -365 + 117. Is z a prime number?
False
Let y(i) = 2677*i**2 + 8*i. Is y(-1) prime?
False
Let z = -31 - -17. Let y = 5 - z. Is y composite?
False
Let s(d) = -d**3 + 4*d**2 - 2*d + 6. Let f be s(4). Is (f + 0 - 1) + 144 prime?
False
Suppose -b - 4 = 3*d + 2*d, 3*d - 6 = -2*b. Is (-12)/(-8)*40/b prime?
False
Let w be ((-142)/4)/((-2)/4). Suppose -104 = -4*c + 4*k, 3*c + 5*k = k + w. Is c composite?
True
Suppose 257 + 862 = 3*p. Is p prime?
True
Let j = 6 + -4. Suppose j + 0 = z. Is z a composite number?
False
Is ((-5853)/4)/((-7)/28) a composite number?
True
Let r(a) be the first derivative of 2*a**3/3 - 7*a**2/2 - 2*a - 1. Is r(7) prime?
True
Suppose -y - 3*x = -570 - 997, 1569 = y + 4*x. Is y a prime number?
False
Suppose 3*b = -0 - 6. Let t = b + 3. Is 21 + (t - 1)/(-2) composite?
True
Suppose 0 + 8 = 4*c. Suppose -5*g + c*p = -269, -3*g + 0*p + 2*p = -159. Is g composite?
True
Let q be 3/2*(-6504)/(-18). Let z = 949 - q. Is z a composite number?
True
Suppose 5*w - 5*p - 25437 = w, -12701 = -2*w - p. Is w composite?
False
Suppose -p + 1 = -205. Is p prime?
False
Let l = 169 - 62. Suppose w = 3*w - p - l, 268 = 5*w - 3*p. Suppose -w = -r + 164. Is r a composite number?
True
Suppose 3*n + 4565 = -0*b + 5*b, 2*n - 900 = -b. Let a = -605 + b. Is a a composite number?
True
Suppose 3*r + 5*r - 952 = 0. Is r a prime number?
False
Let f be (-282)/(-2)*(2 + 0). Suppose n = -3*n - c + 621, -2*n + 313 = 3*c. Let o = f - n. Is o composite?
False
Let g = -9 - -6. Is (-2)/(-2*g/(-447)) prime?
True
Let z(m) be the second derivative of -73*m**5/20 + m**2/2 + 2*m. Let b be z(-1). Suppose -b = -j + 3. Is j a composite number?
True
Let y = 7 - -49. Suppose -f = -5*x - 32, -4*x + x = f - y. Is f a composite number?
False
Let j(z) = -z**3 - 4*z**2 - 3*z - 2. Suppose 5*a = a + 2*t + 14, 0 = a + 2*t - 1. Suppose 0 = -a*r + 3*u, -5*r - 2*u - 2*u = 36. Is j(r) composite?
True
Let k(m) = m**2 + 6*m - 2. Let o be k(7). Let d = o + 431. Is ((-2)/(-4))/(10/d) composite?
True
Let y(d) = 3*d. Let v be y(-1). Let l = 80 + v. Is l a composite number?
True
Suppose 7133 = 4*h - 2199. Is h a prime number?
True
Let a(g) be the third derivative of -g**7/840 + 7*g**6/360 + 3*g**5/40 + 11*g**4/24 + g**3/6 - 2*g**2. Let y(n) be the first derivative of a(n). Is y(8) prime?
True
Let n be (-2)/(-8) + 45/(-4). Is (n/(-33))/((-2)/(-258)) prime?
True
Let s(d) = -2*d**3 - 7*d**2 - 8*d. Let g be s(-6). Suppose -w - 114 = -a, -2*a + w = -g + 3. Is a a composite number?
True
Suppose -1 = -g + 11. Let t = -31 + g. Let n = 38 + t. Is n prime?
True
Let j(n) = -n**3 + 8*n**2 - 7*n + 5. Let x be j(7). Let f be 4 - x/((-5)/(-2)). Suppose -f*o - 4*l = -12, -4*o + o - 5*l + 22 = 0. Is o a prime number?
False
Suppose -3*t = -1 - 8. Suppose t*c - 162 = 3*h, -4*h - 156 = -3*c - 3*h. Is c a composite number?
True
Let p(w) = -w**2 - 29*w - 31. Is p(-18) a prime number?
True
Let h(j) = -3*j**3 + 3*j**2 - 4*j + 5. Let k be h(-5). Let m = k + -284. Is m a composite number?
False
Let d(p) = -122*p - 1. Is d(-14) a composite number?
True
Suppose -5*f + 6 = -3*f. Is 6/2 + (115 - f) a prime number?
False
Let k be ((-4)/5)/((-1)/(-5)). Let m = k - -7. Suppose -m*a + 565 = 2*a. Is a prime?
True
Let r(z) = 16*z + 3. Is r(8) a composite number?
False
Let d = -4 + 16. Suppose -4*h + 1 = u, -3*u + 3*h - 6*h + d = 0. Is (u/3)/(1/15) composite?
True
Is 588/1 - (18 + -17) prime?
True
Suppose 2*t - 2031 = 5*u + 291, -t = u - 1175. Is t a composite number?
False
Let k = -6 + 9. Suppose k*a - 5*n = -4, 0*a - 5*a - 4*n + 18 = 0. Suppose -1 = -a*q + 49. Is q a composite number?
True
Let u(j) = j**2 + 6*j + 4. Let f be u(-6). Is f/18 - (-5075)/45 a prime number?
True
Let g(r) be the first derivative of -13*r**3/3 - 3*r**2/2 + 3*r + 3. Let v(z) be the first derivative of g(z). Is v(-5) a prime number?
True
Let i be (-9)/27 - (-2)/6. Suppose 4 = -4*q, 2*t + i*t + 4*q = 62. Is t a composite number?
True
Suppose 2*f = 3*f - 20. Let s = 53 - f. Is s a prime number?
False
Is ((-5331)/(-12))/(1/4) composite?
False
Let n(x) = -x**3 + 8*x**2 + 2*x + 5. Let s(t) = -t. Let j be s(-8). Is n(j) a composite number?
True
Suppose 11*p = p + 3810. Is p composite?
True
Suppose -15*v = 9*v - 9816. Is v a prime number?
True
Is 0 - 820/(2*-2) composite?
True
Is 4 - (5/2)/(11/(-6182)) prime?
True
Let k = 4 - 2. Suppose -3*f + 6*f - 4*s = 1, -5*f + 21 = 3*s. Suppose f*t = -k*u + 7*t, 4*u - 5*t = 6. Is u a composite number?
True
Suppose -5*v = -i + 11, v + 9 = -4*v - i. Is 12250/42 - v/(-3) prime?
False
Is (-21)/2*(-2286)/27 prime?
False
Suppose 2*k + 151 = -41. Let q = k + 253. Is q a composite number?
False
Suppose -3*o = -22 - 89. Is o a prime number?
True
Let u = 7 - 3. Is (59/u)/(5/20) prime?
True
Suppose -3*o + 3 = -4*d + 5, -5*d + 2*o = -6. Let b(n) = 97*n. Is b(d) composite?
True
Suppose -3*i + 3*l = -4221, -i + 456 = -4*l - 945. Is i a prime number?
True
Suppose -8*f - 6*f = -9422. Is f a prime number?
True
Let l(n) = n**3 + 5*n**2 + n + 7. Let k be l(-5). Let t = 12 - k. Suppose t*f - 4*c = 5*f + 57, -5*c + 23 = f. Is f a composite number?
False
Let r(l) = 8*l - 8. Let p be r(6). Suppose -4*u - 41 = -f, f - u - p = 2*u. Is f composite?
False
Suppose 3*t = 5*t - 1402. Is 