 -3*p + 586. Is p prime?
True
Let d = 2582 - 1201. Is d a prime number?
True
Let b(c) = 109*c - 1. Let x be b(-1). Let n be 2/3 - 1418/(-6). Let z = x + n. Is z a prime number?
True
Let p be (-6)/(-4)*20/15. Suppose -p*m + 118 = -0*m. Is m a prime number?
True
Let t = 70 + -11. Is t prime?
True
Let c(w) be the first derivative of -7*w**2/2 - 7*w - 3. Is c(-4) a composite number?
True
Suppose -w + 4 - 2 = 0. Suppose -w*h = 3*h - 470. Suppose -3*y = -6*y - 5*z + h, -3 = 3*z. Is y a prime number?
False
Let v(o) = 5*o**2 + 3*o - 51. Is v(22) prime?
False
Let k(j) = 631*j**3 + j - 1. Is k(1) composite?
False
Suppose -4*x - 2 = -3*d + 2, 4*x = -4. Suppose d = 2*i - 39 - 127. Is i a prime number?
True
Let m be 2/7 + (-46)/14. Let g(a) = a**2 - 2*a - 2. Let t be g(m). Suppose 0 = -5*p + 112 + t. Is p a prime number?
False
Suppose 8*v + 22 = i + 4*v, -4*i = -2*v - 18. Suppose -r = 2*o - 2*r, -o = i*r. Let y(m) = -m**3 + m + 239. Is y(o) a composite number?
False
Suppose -5*n + 3*p + 710 = 0, -n + 2*p + 72 = -63. Is 0*(-2)/(-4) + n composite?
True
Let y(i) = i**3 - 4*i**2 + 5*i - 3. Let x be y(3). Suppose 2*h = t - 2, 3 = 2*h + x*t - 11. Is (2/6)/(h/69) prime?
True
Let s(q) = 6*q**2 - 3*q + 3. Let o be s(-3). Let k(l) = 6*l**3 - l**2 - 4*l - 3. Let c be k(-2). Let i = c + o. Is i prime?
True
Suppose -6*r + 10*r = 3676. Is r a prime number?
True
Let c(f) = -21*f - 4. Is c(-3) prime?
True
Suppose -11*k = -k - 126070. Is k prime?
False
Let r be (-5)/(-20) - (-2)/(-8). Suppose r*y = 5*y. Suppose 3*z - 4*l = -y*l + 233, -5*z + l = -394. Is z prime?
True
Let k = 171 - 128. Is k a composite number?
False
Let h(g) = g**3 + 7*g**2 - 5*g - 9. Let d be h(-6). Let n = 116 - d. Is n a composite number?
False
Let a(k) = -k**3 + 8 + 11 + 0*k**3. Is a(0) a prime number?
True
Let z be 56/12 + 1/3. Suppose 4*b + z = 17. Is b prime?
True
Suppose 298 = 2*u - 0*u. Is u composite?
False
Let l(c) = 2698*c**2 + 4*c + 1. Is l(2) a composite number?
True
Let b(z) = -z + 1. Let l be b(-2). Suppose -t - 150 = -l*r, -r - 5*t + 37 = -t. Is r prime?
False
Let w be 263*(0 - (0 + -1)). Suppose -l = -4*l - 30. Is (-4)/l + w/5 a prime number?
True
Suppose -4*l - 2 - 2 = 3*d, 3*l = -5*d + 8. Suppose -s = 3*m - 0*s - 445, 3*m = d*s + 455. Is m a composite number?
False
Suppose -49 - 52 = -3*q - 2*s, 5 = 5*s. Let g = 16 + q. Is g composite?
True
Suppose 334 = 4*x - 2*x + 5*j, -4*x + 3*j = -616. Is x composite?
False
Suppose 4*y + 2 = 38. Is ((-2)/(-6))/(1/y) a prime number?
True
Is 4/26 + 20691/117 composite?
True
Let h be (5/2 - 2)*0. Let b(g) = -1 + 5*g**2 - 2*g**2 + g + h*g + 2. Is b(3) composite?
False
Let t(z) = 9*z**2 - 6*z - 2. Let f(a) = 27*a**2 - 17*a - 5. Let n be 57/(-5) + 2/5. Let o(m) = n*t(m) + 4*f(m). Is o(-3) a composite number?
False
Let b = -865 + 1622. Is b a composite number?
False
Suppose 3*d - 13 = -4. Let m = 5 - d. Is 65 + (4 - m - 0) a prime number?
True
Let s be (-6)/(-10) - (-823)/(-5). Let l = s - -279. Is l a prime number?
False
Let y(z) = 228*z**2 - 2*z + 3. Is y(-4) prime?
True
Suppose 1536 = -2*i + 4*i. Suppose 506 = 2*u - 3*c + 13, -3*u = 5*c - i. Is u a composite number?
False
Let g(p) = -63*p + 2. Let x be g(-4). Suppose -x = -j - j. Is j a composite number?
False
Let h = 15 - 6. Suppose h*m = 4*m + 1065. Is m prime?
False
Let i be -8*(1 + (-2)/4). Let n = -4 - i. Suppose 2*t - 72 + 20 = n. Is t prime?
False
Suppose -16 + 47 = q. Is q a prime number?
True
Let p be 2/(3 - (-7)/(-3)). Suppose -275 = -5*f + 4*i, -7*f + 3*i + 221 = -p*f. Is f composite?
False
Let h = -500 + 949. Is h prime?
True
Suppose 5*s = 3*j + 1252, 0 = -s - j + 184 + 68. Is s prime?
True
Let g be (-88 - -1)/((-3)/(-4)). Let b(i) = -68*i**3 + 2*i**2 + i - 2. Let j be b(1). Let z = j - g. Is z a composite number?
True
Suppose 3*r - 3 = 2*r. Suppose 2*s - 7 = r*s. Is (-962)/(-14) - 2/s prime?
False
Suppose -35*t + 43*t - 1528 = 0. Is t a prime number?
True
Let b(c) = 2*c - 5. Let w(z) = 1. Let a(k) = -b(k) + 2*w(k). Is a(-6) composite?
False
Let h(n) = n**3 + 3*n**2 + n + 1. Let b be h(-2). Suppose 0 = o - 2*m + 2, b*m - 18 = -0*o - o. Is o a prime number?
False
Let c be 6*((-6)/3)/(-4). Let y be c + -6 + 3 + 126. Suppose -366 = -4*r + y. Is r prime?
False
Let b = 9 + -15. Is (-1772)/b - 2/6 prime?
False
Let d(j) = -j**3 - 6*j**2 - 2*j - 5. Let v = -21 - -14. Is d(v) a prime number?
False
Is 1*7 + -3 + 5 composite?
True
Let x = 8 - 22. Is x/(-63) + (-986)/(-18) a prime number?
False
Let o be (-124)/(-7) - 4/(-14). Suppose 3*j - 11 = 2*p - 0*p, -22 = -p - 4*j. Suppose 2*n - p = o. Is n prime?
False
Let h(b) = -2*b**3 - 10*b**2 + 9*b + 19. Is h(-8) a composite number?
False
Let i be (3 - 5) + 4*1. Suppose 0 = 3*u + i*u. Let m(l) = l + 67. Is m(u) prime?
True
Suppose -a - p + 7 - 3 = 0, 5*a + 2*p = 17. Let l = 3 + a. Is l prime?
False
Suppose 4*q - 5*h = 4458, q - 3343 = -2*q + 4*h. Is q a prime number?
True
Suppose 5*d + 0 = 10. Suppose d*u - 217 = 49. Is u a prime number?
False
Suppose 3*k - 721 = -5*m, m - 2*k = -5*k + 149. Is m a composite number?
True
Suppose 0 = -0*l + 5*l. Suppose 2*g = -5*d + 29, -2*d - 3*g = -d - 11. Suppose -d*m + 63 = 2*b, -5*m - b = -l*m - 64. Is m a prime number?
True
Suppose h = 6*h - 18685. Is h a composite number?
True
Let c(g) = 3*g - 8. Let h(u) = 2*u - 9. Let w(k) = -6*c(k) + 5*h(k). Let l = 13 + -17. Is w(l) composite?
True
Let t be 2/4 + 6/(-4). Let j be (t/(-2))/((-2)/(-184)). Is j/(-4)*(5 + -7) composite?
False
Let g = 12 + -17. Let s = g - -44. Is s composite?
True
Let v = 10 - 2. Let i be ((-15)/(-10))/(3/v). Suppose 3*y - 109 + 2 = -i*n, 3*y - n = 112. Is y a prime number?
True
Suppose -6*p + p + 5 = 0. Suppose 0 = -4*m + p + 15. Suppose m*x - 208 - 12 = 0. Is x composite?
True
Let j(v) = -v - 1. Let f(a) = a. Let q(x) = 2*f(x) + 3*j(x). Let s be q(-6). Is 91 + (s/(-3) - -1) a composite number?
True
Let f = 243 - 50. Suppose 0 = -7*a + 474 + 282. Let g = f - a. Is g a composite number?
True
Let y = -210 + 401. Is y composite?
False
Let d(a) = -15*a**3 - 2*a**2 + 2*a. Is d(-3) a composite number?
True
Suppose -2*u - 2*u = -2*p + 24, p + 3 = -u. Suppose -p*h + 67 = -435. Suppose h = -2*o + 3*o. Is o composite?
False
Let w(s) be the third derivative of s**7/2520 - s**6/180 - 7*s**5/120 - s**4/8 - 4*s**2. Let u(o) be the second derivative of w(o). Is u(-6) composite?
False
Suppose g + 2*w = 267, 0 = 3*g + g + 4*w - 1064. Is g a composite number?
True
Is (3 + -4 + 1386)*1 a prime number?
False
Let y(z) = -z - 1. Let r be y(-5). Suppose -r*m + 336 = -5*b, -5*b = m + 2*m - 217. Is m composite?
False
Let j(u) = u**2 + 9*u. Suppose 5*a + 2*y + 55 = 0, -5*a - 5*y - 6 - 49 = 0. Is j(a) a prime number?
False
Let z(a) = 161*a - 77. Is z(6) a prime number?
False
Suppose -h - 3*u + 16 = 0, 2*u + 15 = -3*h + 35. Suppose 300 = h*g - 296. Is g composite?
False
Let t be 10*(-4)/((-24)/63). Suppose -t = -5*k + 340. Is k a prime number?
True
Let o = 888 - 409. Is o a prime number?
True
Let h(p) = 39*p**2 - 2*p - 17. Is h(-6) a prime number?
True
Suppose -4*p = -6*p. Suppose 3*g - g - 12 = p. Is g a prime number?
False
Is (-1 - 0)/((-2)/1082) prime?
True
Suppose -312 = 3*c - 5439. Is c composite?
False
Let r = -16 + 33. Suppose 0 = o + 3*w - r, -5*o + 145 = -0*w - 5*w. Let p = o + 31. Is p a prime number?
False
Suppose 4 = 2*f - 0. Let i(g) = -79*g. Let v(m) = -m - 1. Let n(q) = -i(q) + 3*v(q). Is n(f) prime?
True
Let z(a) = 2*a - 12. Let p be z(12). Suppose -58 = -4*s - 5*n + 350, 3*n + p = 0. Suppose s = 5*h - 218. Is h a prime number?
False
Let l be 244/(-12) - (-4)/(-6). Is (-1833)/l + (-4)/14 prime?
False
Let q = 140 + 37. Is q composite?
True
Suppose -a = -5*w + 33, 3*w - 45 = 5*a + 2*w. Let g(i) = 7*i - 4*i**2 - 1 + 7*i**2 - 2*i**2. Is g(a) prime?
True
Let x be (-3 + 17)*2/4. Let w(c) = c - 2. Let v be w(x). Suppose 3*d + v*f - 46 - 54 = 0, 5*d - 135 = -2*f. Is d prime?
False
Suppose -3*k = j - 4, 3 = 5*j + 5*k - 7*k. Let b be (-4 + (j - -1))*-1. Suppose b*d + 3*d - 143 = -4*n, 34 = n + 3*d. Is n prime?
True
Suppose 16 = 6*v - 2*v. Is v a prime number?
False
Suppose -886 = -i + 2600. Suppose -4*s + 2*s + 4*l + 1746 = 0, -4*s = -5*l - i. Is s a prime number?
False
Let h = 166 - 95. Suppose -4*m + h = z, 0*m + 5*z = 3*m - 82. Is m composite?
False
Suppose 4*m - n