
False
Is (-67 + -1)*(-1)/2 a prime number?
False
Is 23119/4 - -9*4/(-48) composite?
False
Let r(w) = 20*w**3 + 2*w**2 - 2*w - 1. Is r(2) composite?
False
Is ((-235)/(-2))/((-7)/(-14)) composite?
True
Suppose 2*m - 7 = -v, -3*v + 16 = 2*m + v. Let i be 1*0/1 + 34. Suppose i = m*q - q. Is q a prime number?
False
Let w(r) = -11*r + 4*r + 6*r**2 - 4*r**2 - 10. Is w(9) prime?
True
Let m(s) = -s + 1. Let l be m(0). Suppose -l = -2*n + 1. Is (n/4 - 2)*-4 composite?
False
Let f be 1 - 3/2*-2. Let g = f + -3. Is 84 - g - (-1 + -1) composite?
True
Let n(k) be the second derivative of k**4/4 + k**3/6 - 11*k**2/2 + 2*k. Is n(-6) a composite number?
True
Let h(q) be the second derivative of -q**4/12 + 3*q**3/2 + 3*q**2/2 - 2*q. Let k be h(5). Is k/2 - 2/4 a prime number?
True
Suppose -9*g + 4*g = -2*v + 575, 0 = -v - 4*g + 307. Is v prime?
False
Let o = 3 - -1. Suppose 0 = 3*d - o*k - 350, -2*d = d + 4*k - 358. Is d prime?
False
Let b(z) be the first derivative of z**6/120 - z**5/20 - z**4/4 + z**3/3 + z**2 - 1. Let o(a) be the second derivative of b(a). Is o(5) composite?
True
Is ((-76)/(-12))/((-1)/(-33)) a composite number?
True
Let o be 1*15/(4 + -3). Is (-1)/(2 + -3)*o a prime number?
False
Suppose 3*r - 27 = 126. Is r a composite number?
True
Suppose -3*n = -2*n. Suppose 2*w + n*w + 14 = 0. Let v = w + 18. Is v a prime number?
True
Let j = 0 + -10. Let b = j - -15. Suppose -b*m + n + 244 = 62, 3*n = 9. Is m prime?
True
Is 5/(3 + (-86)/29) composite?
True
Let m = 17 - 8. Let b = 13 - m. Suppose 0*r - b*r + 36 = 0. Is r a prime number?
False
Suppose 0 = -5*w + 15, -3*g + w - 1331 + 6455 = 0. Is g composite?
False
Suppose -3*q = -2*q - 62. Suppose -2*y + 23 = 3*f, 3*f - 15 = 5*y - q. Is 1*3*y/2 composite?
True
Let r(p) = -127*p - 2. Let v be r(-3). Suppose 2*t - v - 67 = 0. Is t a composite number?
False
Suppose 0 = -4*o + 54 - 14. Let y = -6 + o. Is y prime?
False
Suppose r = -2*r - 6, -r = -w + 39. Suppose -2*q + q + w = 0. Is q prime?
True
Suppose 87 = 8*q - 25. Is q a composite number?
True
Let p = -7 - -10. Is p/(-6)*0 + 11 a composite number?
False
Let v(f) = f**3 + 2*f**2 + 2*f. Let r be v(-2). Let s be (32*1)/(r/(-28)). Suppose -5*m - 5*x + 2*x = -s, -2*m - 4*x + 84 = 0. Is m prime?
False
Let a be ((-2)/(-2) + -2)*-110. Let x = a + -73. Is x a prime number?
True
Let v(l) = -80*l**3 + 2*l + 1. Is v(-1) a prime number?
True
Let v(s) = s**3 - 4*s**2 + 4*s - 2. Let x be v(2). Is (1196/(-8))/(1/x) a composite number?
True
Let r(b) = -2*b - 2. Let l be r(-3). Is (-1 - l)*78/(-10) composite?
True
Let o(t) = 14*t**2 + 3*t + 15. Is o(-10) a prime number?
False
Suppose -4*o + 0*o = -196. Let u = o + 33. Suppose -5*x + u = 32. Is x composite?
True
Suppose 0 = -p + 35 + 258. Is p prime?
True
Suppose 0 = 7*k - 2*k - 2*d - 93, -5*d + 5 = 0. Is k a prime number?
True
Suppose -2*h = -0*k - 2*k + 4, -2*h = 2*k - 12. Suppose 5*g + k*n = -0*n + 171, 0 = -g + n + 36. Is g composite?
True
Let u be (2 + -6)/(4/(-438)). Let b = u - 275. Is b composite?
False
Suppose 7*r - 525 = 2*r. Let i = r - 14. Is i a prime number?
False
Let k = -27 - -39. Suppose -3*h - 96 = -k. Let g = h - -83. Is g a prime number?
False
Let p(c) = 26*c**2 - c. Let i be p(1). Suppose -2*d = -d - i. Is d composite?
True
Let k(a) = a**3 + 7*a**2 + 2*a - 6. Let w be k(-5). Let t be (w/(-8))/(5/(-40)). Suppose -3*v - t = -2*m + m, 2*m = 2*v + 72. Is m a prime number?
True
Suppose 6184 - 1823 = 2*t + 3*p, -2*t = -4*p - 4354. Is t composite?
False
Suppose -n = -4*n + 198. Suppose -2*c - 2*k + n = 0, 3*k - 14 = c - 55. Is c prime?
False
Let h = -354 + 625. Suppose -4*i = 5*q - h, 4*q - 273 = -4*i + q. Is i a prime number?
False
Let i(a) = 3*a - 2. Let u be i(4). Suppose b + u = 2*b. Is b a composite number?
True
Suppose 0*o = -2*o. Suppose o = -3*x + 2*x + 89. Is x a prime number?
True
Let m = 27 - -30. Suppose 2*l - 4*o = 5*l - 96, -o = -l + 25. Let i = l + m. Is i composite?
True
Suppose -2*i + 92 - 25 = 3*l, 3*i = -l + 83. Is i a composite number?
True
Let m(u) = -92*u + 1. Let i be m(-1). Suppose 2*k - 569 = -2*p - i, k + 5*p = 250. Let f = k + -122. Is f a prime number?
True
Suppose 3*j + 6*b - b - 20 = 0, 0 = -j + 5*b. Suppose -56 = -9*y + j*y. Is y composite?
True
Suppose 0 = -2*b + 4*x + 22, 0 = -2*x + 1 + 5. Let n(z) = z**2 - 12. Let p be n(8). Let v = p - b. Is v composite?
True
Let w(z) = -z - 11. Let g be w(-8). Is g + 0 + 6 - 1 prime?
True
Suppose -5*f = -4*f - 4. Suppose 0 = -5*y - 2*h + 12, 7*y - 2*y + 3*h - 13 = 0. Suppose -2*m + 16 = y*m, f*i - 72 = m. Is i a composite number?
False
Let t = 1904 - 911. Is t a composite number?
True
Suppose -4*q - 431 = 5*a, -6*q + 63 = -a - q. Let s = a + 116. Is s a composite number?
True
Let s be (-3358)/(-10) + 2/10. Let z = s + -157. Is z prime?
True
Is ((-757)/(-2))/(-2 + 10/4) a composite number?
False
Let j(o) = -74*o**3 - 2*o - 1. Is j(-3) composite?
False
Let z be (10 + -14)*(-2)/4. Suppose -6*a = -z*a - 124. Is a a composite number?
False
Suppose -8*l = -3*l - 1075. Is l a composite number?
True
Let o(d) = d**3 - 6*d**2. Let i be o(6). Suppose i = -3*u + 12 + 9. Suppose 0 = z - 2*k - 5, -u*k = -5*z - 2*k + 35. Is z composite?
True
Let s(n) = -n - 4. Let b be s(-7). Let f be ((-1)/(-2))/(1/(-8)). Let q = b - f. Is q prime?
True
Is (-3010)/(-6) + 16/(-24) composite?
True
Let b = -9 + 13. Suppose -2*l + 22 = 4*i - b*l, -4*i + l + 19 = 0. Suppose 13 - 145 = -i*q. Is q a prime number?
False
Suppose 4*o + 5*c - 849 = 0, 3*o + 2*o - 1058 = -3*c. Is o a prime number?
True
Suppose t = o - 0*t - 91, 0 = 2*o + 5*t - 196. Is o a composite number?
True
Suppose -a + 0*a + 71 = -t, -5*a = -4*t - 354. Suppose c - 3*c + 3*m = -62, -2*c = -5*m - a. Suppose 2*y = -6, -y = -3*b + 47 + c. Is b a prime number?
True
Let v(o) = o**3 + o + 8. Suppose 3*y - 4*y + 5*p - 20 = 0, 4*p - 16 = -3*y. Let i be v(y). Let a = 29 - i. Is a a prime number?
False
Suppose -2*a - 12 = -a. Let u be ((-6)/(-4))/(6/a). Is (-289)/u + (-4)/(-6) a prime number?
True
Let i = -1905 + 3162. Is i prime?
False
Suppose 2*p - 8 = 0, -3*m + 2*p + 102 + 55 = 0. Let q(x) = x**3 - 5*x**2 - 7*x - 1. Let c be q(5). Let d = c + m. Is d prime?
True
Let o = -55 - -21. Is 2/2 - 3*o prime?
True
Let p = 3186 - 1903. Is p a prime number?
True
Let f = 14 + -26. Let j be f*4*2/(-6). Is (28/j)/(1/20) a composite number?
True
Let o(c) = c**3 - 10*c**2 + 8*c - 14. Let b be o(11). Suppose -6*m + 3*m = -b. Is m a prime number?
False
Suppose 5*d - 34 = 16. Is (-1)/2 + 495/d a composite number?
True
Suppose -3*q + 5535 = 3*z, 3*q = -3*z + 6*z - 5547. Is z composite?
False
Let r = -3360 - -5095. Is r a prime number?
False
Let g be (-105 - (0 + 1))/1. Suppose 4*s - 10 = -7*x + 2*x, -5*s = 0. Is (0 - 1)/(x/g) prime?
True
Suppose x - 2 = -0. Suppose -4*b + x*b = -10. Suppose -b*l + 2*t = -538 + 111, -3*t - 88 = -l. Is l prime?
False
Let j(t) = 10*t**3 - 5*t**2 + t + 2. Let v be j(3). Suppose 4*a + 5*n = 2*a + 37, 3*n - 45 = -5*a. Suppose -4*i + a*i - v = 0. Is i composite?
True
Let n(u) = 196*u + 7. Let f(b) = 49*b + 2. Let c(g) = -9*f(g) + 2*n(g). Let k be c(-3). Suppose 102 = 2*z + w - 2*w, -3*z = w - k. Is z composite?
True
Suppose 4*l + 5*i - 684 - 3880 = 0, 0 = 5*l - 2*i - 5705. Is l composite?
True
Let w be 2/(-7) - (-150)/35. Suppose 12 - 280 = -w*f. Is f composite?
False
Let z = 156 + 132. Let w = z + -175. Is w a composite number?
False
Suppose 5*k + k = 17382. Is k a prime number?
True
Let n be 234/(-4) - (-1)/(-2). Let h(r) = -2*r**3 + 3*r**2 - 2*r - 1. Let x be h(3). Let o = x - n. Is o prime?
False
Let g = 9 + -7. Is g*(-6 + 3 - -14) a prime number?
False
Is (822/15 + 0)/(1/5) a composite number?
True
Let n = 2937 - 2060. Is n a prime number?
True
Let k be 3/(-2*1/(-4)). Suppose k*m = -3*d + m + 222, 222 = 3*d - 2*m. Is d composite?
True
Suppose 0 = t - 2*t + 6. Let g(v) = 4*v - 1. Let s(p) = -2*p. Let c(o) = -3*g(o) - 7*s(o). Is c(t) composite?
True
Suppose 0*m - 7 = m. Is m - -2 - -2 - -86 a composite number?
False
Suppose -4*y + 12 = 0, -2*n + 4*y + 215 = 5*y. Is n*(-3)/30*-5 a composite number?
False
Let m = -48 - -97. Is m a prime number?
False
Suppose -5*k = -0*k + 15, 707 = i + 4*k. Is i composite?
False
Suppose 4*s = -f - 2, s + 13 = f - 5. Suppose -4*x - 2*o = -f, 3*o = -x - 2 - 2. Suppose 0 =