 3/(-2). Is (-2)/z*441/(-6) prime?
False
Let k be (-2)/(1 + 1) + 1. Is ((-1 - -2) + k)*109 a prime number?
True
Let b be (-3)/(-15) + (-89)/(-5). Let m = b - 11. Is m composite?
False
Suppose 0 = -2*j - j + y + 1477, 4*y + 507 = j. Is j a composite number?
False
Let m(i) = -i - 3. Let k be m(-3). Suppose 3*o + 4*c = -k*c + 173, -c - 53 = -o. Is o a prime number?
False
Let h(q) = q**3 + 34*q**2 + 32*q - 26. Is h(-32) prime?
False
Let c(l) = -3*l + 101*l**2 + l - 3 - 10*l**2. Is c(-2) a composite number?
True
Let k = 7 - 0. Let g(b) = -38*b + 2. Let q be g(-2). Suppose -5*x - q = -3*c, -5*c + 3*x + 167 = k*x. Is c prime?
True
Suppose 4*i + 1 = 3*o + 61, -4*i - 4*o = -60. Is 219/i + 4/10 prime?
False
Suppose -x = -0*x - 58. Is x composite?
True
Suppose 5*o - 625 = 155. Let s = -82 + o. Is s composite?
True
Let u be 32/3 - (-1)/3. Suppose 14 = x - 5. Suppose -2*b = -x - u. Is b a prime number?
False
Let m(a) = -a**2 - 8*a - 3. Suppose -23 = 4*k - k + c, -c = -5*k - 33. Let z be m(k). Suppose 7 = 5*f + 3*p - 8, -20 = z*p. Is f a prime number?
False
Let v(s) be the third derivative of s**7/840 + s**6/72 - s**5/120 - s**4/24 - s**3/6 + s**2. Let w(u) be the first derivative of v(u). Is w(-4) prime?
True
Let j be ((-3)/9)/(1/(-147)). Let d = 23 - j. Let t = d - -45. Is t a prime number?
True
Let o(g) = -47*g - 21. Is o(-17) composite?
True
Suppose -20 = -2*y - 2*y. Suppose 2*u - y*g - 16 = 3*u, g = -4*u + 12. Is (-1005)/(-27) + u/(-18) prime?
True
Suppose 0 = -p - p - 28. Is 4/p - (-415)/7 prime?
True
Let a = -15 - -6. Let u = a + 56. Is u prime?
True
Let l(k) = 37*k + 11. Is l(10) a prime number?
False
Let i = 52 - -26. Suppose 3*p - 81 = i. Is p a prime number?
True
Let j(f) be the third derivative of 5*f**4/24 - f**3/6 + 2*f**2. Let t(x) = -15*x + 3. Let l(s) = -8*j(s) - 3*t(s). Is l(2) a composite number?
True
Suppose 165 = z + a, 3*a + 4 = 16. Is z a composite number?
True
Let z be 4/(-5) + (-9744)/(-80). Let b be -2*(-1)/(4/118). Let d = z - b. Is d a composite number?
True
Suppose 543 - 19 = t - 3*c, 2*t - 3*c = 1045. Is t composite?
False
Suppose -5*v + 5 + 10 = 0. Suppose g = -v*g + 124. Is g a prime number?
True
Suppose n = -1 + 7. Suppose -3*s - 1113 = -n*s. Is s a composite number?
True
Let y(u) = -u**2 + 2*u - 3. Let k(s) = s + 1. Let v(x) = -k(x) + y(x). Let b be v(0). Let g = 6 - b. Is g a prime number?
False
Suppose 2*y + 3169 = 5*l, 3*y - y = -2*l + 1262. Is l composite?
True
Let g = 260 - -172. Let q = g + -229. Let l = q - 108. Is l composite?
True
Suppose 0 = 3*n - n - 74. Is n a composite number?
False
Is (13/(-2))/((-9)/1278) composite?
True
Is ((-6711)/(-9))/((-3)/(-11 - -2)) composite?
False
Let b be 1*-5 - (-1)/1. Let m(n) = -57*n - 2. Let q be m(b). Suppose -113 - q = -3*y. Is y a prime number?
True
Suppose 2*l - 5*y + 13 = 3, 5*l = 3*y + 13. Suppose 0 = j + l - 282. Is j composite?
False
Let x be ((-2051)/21)/(2/(-12)). Let j = x - -1101. Is j prime?
False
Suppose 5*n - 8*c + 4*c = 1655, 317 = n + 2*c. Let t = 592 - n. Is t a composite number?
True
Let l be -3 + 0 + (-2 - -593). Let n = -269 + l. Is n a composite number?
True
Suppose -2*j = -j - 35. Is j a composite number?
True
Suppose 2*h + 4*h - 10662 = 0. Is h composite?
False
Suppose 5*t + 0*d - 2*d = 217, -4*d = -4*t + 176. Is t composite?
False
Suppose -3*j - 5*s + 19 = 0, 0 = j + 3*s + 1 - 10. Suppose 0 = -j*v + 12, -3*y + v - 2*v = -349. Is y composite?
True
Let m(j) = 19*j**2 + j - 4. Let f(i) = 18*i**2 + i - 4. Let n(a) = 4*f(a) - 5*m(a). Let y(u) be the first derivative of n(u). Is y(-2) composite?
True
Let r(u) = 22*u**2 - 2*u - 1. Suppose 4*g - 4 = 0, g + 1 + 3 = -5*z. Is r(z) a prime number?
True
Let h be 15 - (4 + -6 - -2). Is (-6)/h - 374/(-10) composite?
False
Let o(d) = 6*d**3 - 13*d**2 - 6*d - 43. Is o(10) a prime number?
True
Let u(p) = -23*p - 12. Is u(-13) a composite number?
True
Suppose -4*u + 1407 + 4829 = 0. Is u a composite number?
False
Let s be (-2)/(((-9)/3)/33). Suppose -5*x - s = -207. Is x prime?
True
Suppose 3*u = u - 12. Let l(s) = 4*s**2 - 9*s - 7. Is l(u) composite?
False
Let z be 61/(-6) - 3/(-18). Is (z/8)/((-7)/644) prime?
False
Let s(q) = 8*q + 3. Is s(7) a prime number?
True
Let g be 1 - 42 - (-1 - -4). Let r = 30 - g. Is r composite?
True
Let i be (8 + 4)/(3/8). Suppose -i = -o - 0*o + 2*m, 3*o - m - 111 = 0. Is o composite?
True
Let i = -21 - -40. Is i a composite number?
False
Let b = 112 + -77. Suppose 0 = -2*x + 6*x - 8. Suppose x*y - y = b. Is y prime?
False
Suppose 2*m + 45 = 5*m - 3*v, 3*v + 23 = m. Let p(r) = 11*r - 12. Is p(m) composite?
False
Let i(b) = 7*b**2 - 5*b - 9. Let y be i(-5). Let r = y - 108. Is r a prime number?
True
Suppose -5*k + 4*x + 2693 + 4112 = 0, -2*x = 0. Is k composite?
False
Let f(n) = 46*n. Let q(l) = -47*l + 1. Let m(t) = -4*f(t) - 5*q(t). Is m(10) a prime number?
False
Let l(i) = 4 - 2*i**2 - i - 8*i**3 + 0 - 5*i + 3*i. Is l(-3) a prime number?
True
Let k(i) = -49*i - 23. Is k(-13) a composite number?
True
Is 226*(-3)/(-6)*1 a prime number?
True
Let c = 270 + -79. Is c composite?
False
Let w be (2/6)/((-1)/(-267)). Let z = -46 + w. Let f = z - -16. Is f a composite number?
False
Let g(n) be the first derivative of 13*n**2/2 - 4*n + 3. Is g(3) prime?
False
Suppose r = 37 + 376. Is r a composite number?
True
Suppose 0 = j - b - 498, -643 - 350 = -2*j - b. Is j composite?
True
Let j = 139 + -62. Is j prime?
False
Suppose 2*b - 2*a - 2066 = 0, 0 = 4*b + 3*a + 2*a - 4123. Suppose 3*n = -4*k + 793, -4*n + k + 0*k = -b. Is n prime?
False
Suppose 0*s + 3*s - 391 = 2*b, 4*s + 20 = 0. Let k = b - -364. Is k a composite number?
True
Suppose -2*o = -2, -6*w + 2*w - 3*o = -2071. Is w composite?
True
Let x be 1*-1*(-7 - -5). Is 3015/55 + x/11 composite?
True
Suppose 593 - 177 = 4*s. Suppose -s - 11 = -n. Is n composite?
True
Let b = 250 - -129. Is b a prime number?
True
Suppose 4*n = s + 18, 0*s - s - 5*n = -27. Suppose -3*w = 2*l + s*l - 10, 2*w = 3*l + 1. Suppose -69 = w*y - 391. Is y a composite number?
True
Let k = -63 - -470. Is k composite?
True
Let d(x) be the third derivative of x**4/12 + 13*x**3/6 + x**2. Let p be d(-9). Is ((-67)/3)/(p/15) prime?
True
Suppose v + 9*v - 580 = 0. Is v a composite number?
True
Suppose z = -3*z - 28. Let j = z - -18. Is j prime?
True
Let g be (-1 + 0)*36/(-2). Let q(i) = 2 - 1 - g*i - 4*i. Is q(-4) prime?
True
Let n = 140 - 81. Is n composite?
False
Suppose -5*s + 892 = -s. Is s a prime number?
True
Let x be (-1 + 10/4)*50. Let i = x + 12. Let u = -50 + i. Is u composite?
False
Let y be 212 + 15 - (-3)/(-1). Is y/10 - 2/5 a composite number?
True
Is (2/4)/(1/1151)*2 composite?
False
Let y(p) = 9*p**2 - 2*p + 4. Suppose 5*o - 11 = 4. Is y(o) a prime number?
True
Suppose -11*l + 105 = -5164. Is l a composite number?
False
Let m = -126 - -275. Is m prime?
True
Suppose 4*s = -0*a + 5*a - 797, -a = 3*s - 148. Is a prime?
True
Let x(f) be the second derivative of -7*f**5/20 - f**4/4 + f**3/6 + f**2/2 + 9*f. Is x(-4) composite?
False
Let k(q) = 8*q**2 + 2*q - 7. Let l(o) = 8*o**2 + 2*o - 7. Let i = 2 - 6. Let r(s) = i*l(s) + 5*k(s). Is r(5) prime?
False
Let x(n) = n. Let d(m) = -m**2 - 6*m - 1. Let s(y) = -d(y) - 4*x(y). Let i be s(-3). Suppose 0 = u + i*h - 31, -4*u + 6*h - 3*h = -200. Is u a prime number?
True
Suppose 0 = x - 2*x - 4. Is (-22)/(-5) + x/10 a composite number?
True
Suppose -5*a = -4*a + 2. Is (2/a)/(3/(-111)) a prime number?
True
Let c(k) = -2*k - 3*k - 6*k**2 + 3*k + 4*k - 5 + 2*k**3. Let i = 3 + 1. Is c(i) a composite number?
True
Suppose -5*i - 70 = -2*f, 3*f - 73 = 4*i - 2*f. Is -127*(-3)/i*-4 a composite number?
False
Is 2 + (0 - (-19 - -2)) a composite number?
False
Let h(j) = -j**3 + 14*j**2 + j - 3. Let w be h(10). Suppose -88 + w = p. Is p composite?
True
Let t(o) = 2*o**2 + 4*o - 7. Let x(r) = -3*r**2 - 8*r + 15. Let d(i) = 13*t(i) + 6*x(i). Is d(-3) prime?
True
Let h = 222 + -73. Is h prime?
True
Suppose 6*l - 5*l = 1101. Is l a composite number?
True
Let c be (-5 + 9)/(4/66). Let t be c/(-8) + (-7)/(-28). Let k = -5 - t. Is k composite?
False
Is 26*((-9)/(-6) + 4) prime?
False
Is (-489)/(-33) - (-6)/33 prime?
False
Let h(d) = 4*d - 1. Let f be 9/3 - (-10)/2. Is h(f) prime?
True
Let f = -373 + 1090. Suppose 0*z + f = 3*z. Is z a prime number?
Tr