omposite number?
True
Let z(m) = m**3 + m**2 - m - 44. Let j(r) = -r**3 - r**2 - 1. Let c(s) = -2*j(s) - z(s). Let i be c(0). Let v = i + -21. Is v prime?
False
Let z(k) = 9*k**2 - 15*k + 5. Is z(7) composite?
True
Let q(b) be the second derivative of b**3/6 + 7*b**2 - b. Let p be q(-6). Is ((-110)/p)/(3/(-12)) a composite number?
True
Let n = 1799 - 750. Is n a prime number?
True
Suppose d - 14 + 93 = 0. Let i = 132 + d. Is i prime?
True
Let d be (102/119)/((-6)/(-28)). Let a = -5 - -9. Suppose 2*q + 52 = a*c, -2*c + d*q = c - 29. Is c prime?
False
Let q = -320 + 539. Is q prime?
False
Let p be 0/((0 - 0) + 2). Let n be (-15)/(-10)*1*2. Suppose p = -4*g - j - n*j + 52, 2*g - 4*j - 32 = 0. Is g a prime number?
False
Let f(s) = 79*s + 3. Let v be f(3). Let m = -143 + v. Is m a prime number?
True
Let g = -3 + 5. Let o(s) = -s**2 + 3*s - 2. Let j be o(2). Suppose j = 5*v - 2*a - 267, -163 = -3*v + 6*a - g*a. Is v a prime number?
True
Let q(s) = 4*s + 6. Let k be q(5). Let x = 87 + k. Is x a prime number?
True
Suppose 3*v + b - 152 = 0, -5*v + 4*b + 272 = b. Is v - ((-6)/(-2) - 2) a prime number?
False
Let h(n) = -92*n + 7. Is h(-9) composite?
True
Let x be (0 - -1) + 2*6. Let o = x + -8. Suppose -3*h + 3*r - 67 = -181, -o*h - 2*r + 183 = 0. Is h a prime number?
True
Suppose -5*i + i = -2528. Suppose 3*y + 2*x - i = -155, 2*y - 313 = -3*x. Is y prime?
False
Let o = 66 - 44. Let v be 30/4*o/3. Suppose 6*n + c = 4*n + v, 5*n + 2*c - 135 = 0. Is n a prime number?
False
Let d(u) = 416*u - 1. Let m be 2/(6/2 + -1). Is d(m) prime?
False
Is -2*(0 + 1630/(-4)) a composite number?
True
Is 16*10 + 2*(-3)/(-6) prime?
False
Let l be (-2)/(10/4 + -3). Suppose -t - 47 = l. Let p = t - -170. Is p a composite number?
True
Suppose -2*u + 1 = 5. Is -3*((-4220)/12 - u) a prime number?
True
Suppose 3*n = -3*n + 996. Is n a prime number?
False
Is 541/(-1)*4/(-4) prime?
True
Let c be (6/(-4))/(2/(-4)). Suppose -46 = -p - c*s, -p + 36 = 2*s - 7. Is p a composite number?
False
Let p = -125 - -26. Let f = p + 287. Suppose 0 = -5*u, -4*g - 2*u = -3*u - f. Is g composite?
False
Let o = 17 - 8. Suppose 4*z - 16 = p, -2*z - p = -o - 5. Suppose -z*l + 53 = s - 2*l, -3*l = 0. Is s a prime number?
True
Suppose -t + 43 - 8 = 0. Is t prime?
False
Let l(j) = -j**3 + 4*j**2 + j - 3. Let f be l(5). Suppose 4*t + 2*r = 292, r + 224 = 6*t - 3*t. Let i = t - f. Is i composite?
False
Is 3 + 7/((-21)/(-480)) composite?
False
Let p = -55 - -525. Suppose z = -z + p. Is z a prime number?
False
Is (-2)/(2 - 840/417) a prime number?
True
Let y = 2092 + -1463. Is y a composite number?
True
Is (-1 + 260)/(-1*(0 + -1)) prime?
False
Let f(h) = -h**3 + 7*h**2 - 6*h + 3. Let o be f(6). Suppose -4*j - 13 = -4*p - 33, 0 = -o*j + 6. Is 53/(-4)*(-7 - p) prime?
True
Let a(p) = -p**3 + 7*p**2 - 5*p - 2. Let j be a(6). Suppose -m + 17 = j*g, 3*g - 4*m = g - 14. Suppose -10 = -g*l + 8. Is l a composite number?
True
Let h = 504 - 126. Suppose -5*p - 43 = -h. Is p composite?
False
Let k(u) be the first derivative of 1 - 45/2*u**2 - 2*u. Is k(-3) a prime number?
False
Suppose 0 = -0*a + 2*a - 14. Let o = a - -5. Suppose 0 = -4*z + 6*z - o. Is z a composite number?
True
Let x(h) = 9*h**2 - 10*h - 1. Is x(-4) a composite number?
True
Let i be (0*(-1)/2)/2. Suppose 5*p - 265 - 159 = -3*l, 3*p - 15 = i. Is l prime?
False
Let l be -1 - 144/(6/2). Let s = l - -14. Let p = s + 49. Is p composite?
True
Let o(u) = -70*u - 1. Let q be o(-1). Suppose -4*f + 7 = -q. Is f a composite number?
False
Let s = 1775 + -1032. Is s a prime number?
True
Suppose -5*k = -4*u - 1149, -4*k + 2*u + 2*u = -916. Is k prime?
True
Let q = -435 + 1587. Suppose -3*v = -q - 123. Suppose v = 4*b + b. Is b composite?
True
Suppose -3*b - 2*t - 968 = b, 5*b + 1232 = 3*t. Let d = -138 - b. Is d prime?
False
Let t = -3 + -3. Let g = 10 + t. Suppose 3*c + 0*k = -2*k + 115, 0 = 3*c + g*k - 119. Is c a composite number?
False
Suppose 4*v - 2651 = 4*s + s, 5*v - s - 3298 = 0. Is v prime?
True
Let l be ((0 + 0)/(-2))/2. Suppose l = 4*m - 2*m. Suppose m*f - 3*f + 21 = 0. Is f a composite number?
False
Let v(k) be the third derivative of k**6/120 + k**5/10 + k**4/6 - 2*k**2. Let g be v(-5). Suppose -g*s + 88 - 18 = 0. Is s a prime number?
False
Suppose -2 = q + 10. Let s = q + 51. Suppose -2*i + s = i. Is i composite?
False
Let j(f) = 76*f**2 - 3*f - 4. Is j(-3) prime?
False
Let a(r) = r**2 + 212. Let w be a(0). Suppose -w = -5*m + 213. Is m a composite number?
True
Let c = 416 - -81. Is c prime?
False
Let c be (8/(-6))/(2/(-6)). Suppose 0 = c*q + 27 + 37. Let j = q - -29. Is j a composite number?
False
Let j(n) = -n**3 - 6*n**2 + 2. Let p be j(-6). Let o(t) = 10*t - 5. Let b be o(2). Suppose -f + 5*d = -p - b, d - 12 = -2*f. Is f composite?
False
Let g = 5 - 5. Let a be 2/4 + 2605/(-10). Is ((a - 3) + g)*-1 a composite number?
False
Let w = 238 + 184. Is w prime?
False
Suppose 80381 = 2*a + 5*a. Is a composite?
False
Suppose 0 = -4*i - 2*u + 24768, 2*i - 24776 = -2*i + 2*u. Is i prime?
False
Let u be -3 + -3*10/(-6). Suppose -3*z = u*b - 13, -b - b + 7 = z. Suppose -z*y = -134 - 133. Is y a prime number?
True
Let u = -23 - -17. Is -2*(1 - (-639)/u) prime?
True
Suppose -8 = -2*f, 5*y - 3*f = 4*y - 8. Suppose -y*a = 888 - 3892. Is a prime?
True
Let l = 1512 - 598. Is l a prime number?
False
Let r = -333 + 620. Let w = 582 - r. Suppose -2*n - q + w = -0*q, -4*n = 3*q - 587. Is n a prime number?
True
Let w be 1*(-9)/3*10. Let f = 157 + w. Is f prime?
True
Let c = 3 - 3. Suppose 2*i = 3*o + 406, c*i - 2*o = 2*i - 406. Is i prime?
False
Let c = -128 + 243. Is c composite?
True
Let r(h) = -2*h**2 + 2*h - 1. Let i be r(2). Let a = 22 + i. Suppose -j + a = 3. Is j composite?
True
Suppose 8 = 6*u - 2*u. Let a(v) = 5*v**3 - 2*v**2 - 1. Is a(u) prime?
True
Is 47 + 0*3/(-12) composite?
False
Suppose 0 = -5*b + 3974 + 1011. Is b a prime number?
True
Let p(m) = -1. Let c(i) = -10*i - 6. Let y(s) = c(s) - 3*p(s). Is y(-5) prime?
True
Suppose 5*o - k - 10 = 0, 0 = 3*o + k + 2*k - 24. Is (9 - o - 3) + 62 composite?
True
Let x = -91 - -166. Let v be ((-22)/(-6))/(1/x). Suppose -4*q - f = -210, 5*q - 8*f = -3*f + v. Is q a prime number?
True
Suppose 0 = 4*q + 2*m - 1950, 490 = q - 0*q + 3*m. Is q a prime number?
True
Suppose -2*r + 18 = 5*f, 4*f - 5*r + 12 = -0. Suppose 5*s - 21 = f*s. Suppose s*h - 4*h - 63 = 0. Is h a prime number?
False
Let q(u) be the first derivative of -u**3/3 + 6*u**2 - 2*u + 3. Let f be q(10). Is f/4*4/6 composite?
False
Let x(l) = -l**2 - 4*l - 8. Let m be x(-6). Let c = 51 + m. Is c a prime number?
True
Let k(z) = -2*z. Let f be k(-2). Suppose 0*a = -f*a - 8. Let t(h) = 3*h**2 - h + 1. Is t(a) a prime number?
False
Suppose -18*y + 133 = -17*y. Is y a composite number?
True
Let y = -911 + 2410. Is y prime?
True
Let x(g) = 3*g**2 - 4*g - 6. Suppose 0 = 2*y + 3*y + 4*a - 65, 5*a - 7 = 2*y. Is x(y) composite?
True
Suppose -5*y - 126 = s + 123, -4*y + 1129 = -5*s. Let m = 342 + s. Is m composite?
False
Suppose 129 - 919 = -5*p. Suppose 8*d - p = 7*d. Is d a prime number?
False
Let y(p) = 12*p + 11 - 10 - 33*p - 44*p. Is y(-2) composite?
False
Let r(u) = u**3 - 3*u**2 - 3*u - 2. Let f be r(4). Is ((f + -2804)/3)/(-2) a prime number?
True
Let r(y) = -7*y**3 - 3*y - 3. Let z be r(-2). Let m = z - -28. Is m a prime number?
False
Let s(x) = x**3 + 4*x**2 - 2. Let o(u) = -u + 2. Let a be o(6). Let g be s(a). Is 1 + 30 + 4 + g prime?
False
Let k(j) be the first derivative of 3 - 4/3*j**3 + 5/2*j**2 + 5*j + 1/4*j**4. Is k(5) prime?
False
Suppose -5*z + 0*z - 4*u = -76, 2*z - 28 = -u. Suppose -6*q = -10*q - 16. Is z/(-18)*894/q composite?
False
Let z(r) be the second derivative of -7*r**3 + 3*r**2/2 + 3*r. Let o be z(2). Let c = -22 - o. Is c prime?
True
Suppose -10*b + 7*b = -237. Is b prime?
True
Let c = 158 + 359. Let a = c + -729. Is a/(-6) + (-4)/12 a prime number?
False
Suppose n + 3*n + 48 = 0. Let v = n + 22. Is v prime?
False
Let k(c) = c - 2. Let f be k(2). Suppose 130 = 2*l + 3*y + y, -l - 3*y + 70 = f. Is l a prime number?
False
Is 1 - (24 + -4)/((-2)/72) a composite number?
True
Suppose 0 = 5*g + 3*w - 958, -3*g - 569 = -6*g + 4*w. Is g a prime number?
True
Let d(w) = -w**3 - 4*w**2 + 4*w - 1. Let n be d(-6). Let h = -22 + n. Is h composite?
Tr