-2 - i. Suppose 2*j - 1388 = -o*j. Is j a composite number?
False
Let f(n) = 3*n + 307. Is f(0) composite?
False
Suppose 0 = 5*r - 20, -r - 87 = -5*w - 4*r. Let q = 1 + -2. Let z = q + w. Is z prime?
False
Let c(f) = -25*f**3 - 2*f**2 + 3*f + 3. Let p be c(-2). Let i = p + -70. Is i prime?
False
Let p be -2*2/(-4)*0. Suppose u + 4*q - 6*q - 54 = p, -5*u + 3*q + 284 = 0. Suppose -z - s + u = 2*s, -3*z - 5*s + 186 = 0. Is z a composite number?
False
Suppose 4*h - 4 = 4*r - 0*h, -2*h = 4*r - 14. Suppose r*z + 4 = -4. Is (-458)/z + (-3)/2 prime?
True
Let v be -132 - (3 + -6 + 5). Let o = -67 - v. Is o composite?
False
Let p = -3 + 7. Is (p - 0/2) + 0 prime?
False
Let l = 23 + -8. Suppose 0 = -5*k + 5*r + 25, l = 2*k + 3*r - 6*r. Suppose -112 = -s - 3*n, n = -k*s + s - 132. Is s a prime number?
True
Let x = 325 - -28. Is x a prime number?
True
Let o be (3*-1)/3 + 5. Is ((-46)/(-8))/(o/112) composite?
True
Let t(x) = 5*x**2 - x**2 + x + 2*x**3 + 2 - 3*x**3 + 1. Is t(-5) a composite number?
False
Suppose 4*l - 78 = -4*k + 2*k, -l + 112 = 3*k. Is k composite?
False
Suppose 0 = 5*f - 6*f - 5*w + 195, 0 = -5*f + 5*w + 915. Is f prime?
False
Let g(f) = f - 7. Let p be g(6). Let w(y) be the first derivative of 7*y**3 - y**2/2 - y - 3. Is w(p) a composite number?
True
Let u = 1 + 0. Is ((-149)/u*1)/(-1) a composite number?
False
Let a = -8 - -13. Suppose -h = a*j - 15, j = -h - 0*j + 7. Let z = 24 - h. Is z composite?
False
Suppose -16 = -4*h + 3*v, -4*v = -h - 7 - 2. Let a be 23/h + (-2)/7. Suppose 104 = d + a*d. Is d a composite number?
True
Is (2 - 4) + 5/((-20)/(-1684)) prime?
True
Suppose -2*n - 2*n = -5*t - 1893, 1406 = 3*n - t. Is n a composite number?
False
Suppose 0 = 3*v + 3*d - 2622, d - 895 = -3*v + 1733. Is v a prime number?
True
Suppose -p = 3 - 2686. Is p prime?
True
Suppose -3*t = 3*w - 2949, 5*t - 4*w - w = 4915. Is t a prime number?
True
Suppose -12 = -3*r - 3. Let k be 90 - (1 - (2 - -1)). Suppose -4*g = -0*g - 4*v - k, g - 23 = -r*v. Is g a composite number?
False
Suppose 4*m = -x + 2*x - 8, 2*m + 130 = 5*x. Suppose -5*h + 183 = x. Is h prime?
True
Let t = 11 + -4. Suppose o + o + u = -t, 6 = -3*o - 3*u. Let h(f) = -f**3 - 3*f**2 - f. Is h(o) composite?
True
Let x(d) = 4*d**2 + 5*d - 5 + 0*d - d**3 + 0*d**3. Let k be x(4). Suppose i = 4 + k. Is i a prime number?
True
Suppose -4*q + 35 = z - 772, 4*z = -20. Is q a prime number?
False
Let n be (-20)/(-4)*(-38)/5. Is n/(-1*2/1) composite?
False
Let q be (33/(-9))/((-2)/12). Let y be ((-16)/(-10))/((-1)/(-10)). Let o = q - y. Is o prime?
False
Let j = -1157 + 1954. Is j composite?
False
Let f = 50 + -22. Let c = -19 - -22. Suppose f = c*o + o. Is o composite?
False
Let y(t) = t - 1. Suppose 2*a - 5*h = -1 - 14, 0 = -a + 3*h - 9. Let l be y(a). Is 1/((-2)/12*l) prime?
False
Let z(k) = 11*k**3 + k**2 + 2*k + 5. Is z(4) prime?
True
Suppose g - 221 = -3*x, 0 = -2*x + 4*g + 95 + 57. Is x composite?
True
Suppose 6 + 14 = 5*p. Suppose 0*w = 2*w + p*m - 22, -5*m - 5 = -4*w. Suppose 4*s = 5*g + 30 + 13, 2*s - w = -3*g. Is s composite?
False
Is (-5121)/(-12) - 3/(-12) a composite number?
True
Suppose 0 = g + 2*g - 4*i - 1147, -3 = 3*i. Is g prime?
False
Suppose 0 = u - 0 - 8. Let b(k) = k**2 - 3*k + 0*k - 1 - 4. Is b(u) prime?
False
Let o = 63 + -120. Let h = 96 + o. Is h a prime number?
False
Suppose 7*g - 1 - 41 = 0. Suppose 0 = -8*n + 3*n - 4*v + 62, -2*n + 3*v + 11 = 0. Is (n/g)/((-5)/(-105)) a composite number?
True
Suppose -2*c + 4*y = -80, -c = -5*y - 16 - 15. Let d = 26 - c. Is ((-15)/(-6))/((-2)/d) a composite number?
True
Suppose -47*o = -48*o + 4373. Is o prime?
True
Is (5403/15)/((-3)/(-15)) a composite number?
False
Let c(n) be the first derivative of -n**2/2 + 60*n - 2. Let s be c(0). Let t = s - 25. Is t a prime number?
False
Let a(y) = y**3 + 5*y**2 - 3*y + 13. Is a(6) a composite number?
True
Suppose -3*w + 2*w + 4*z + 13 = 0, -z + 5 = -3*w. Let y be ((-1)/w)/((-2)/(-12)). Suppose g = y*k + 3 + 30, -g - 2*k = -37. Is g a prime number?
False
Suppose 473 - 176 = 3*b. Suppose -2*w + 92 = 3*u - 7, 0 = -3*u - 4*w + b. Is u a prime number?
False
Let f = 93 + -55. Is f/6*(6 + -3) a composite number?
False
Let m be 2 + -2*2/2. Suppose m = 3*w - g - 241, 4*w = -0*w + 5*g + 325. Suppose -4*o + p = -49, 2*o + 3*o + 5*p = w. Is o a prime number?
True
Suppose 5*b - 8 - 17 = 0. Suppose -708 = r - b*r. Is r a composite number?
True
Suppose 2*g + 2*u - 526 = 1876, 3*g - u = 3619. Is g prime?
False
Let x = -155 + 286. Is x prime?
True
Let g(i) = i**2 + 16*i + 0*i**2 - 2*i**2 + 10. Let n be g(7). Suppose -w + 186 = w - 4*m, 3*m - n = -w. Is w a prime number?
False
Let x(f) = 207*f**3 - 2*f**2 + 2*f - 1. Let m be x(1). Let r = m + 81. Is r prime?
False
Suppose 0 = -3*a - n + 2*n + 17, -3*n - 15 = 0. Suppose -a = -4*o - 0*w + 4*w, 0 = -4*o + 2*w + 6. Let m(h) = 14*h**2 - h - 1. Is m(o) prime?
True
Suppose 70 = -7*w + 2*w. Let j be 4/w - (-24)/(-14). Is 156/2 - j/2 a prime number?
True
Let n = -1 + -1. Is 85*-2*1/n composite?
True
Let y be -2 - (-4*53 - 3). Suppose 2*o = -o + y. Suppose 3*g = j - 73, -5*g + g - o = -j. Is j composite?
False
Suppose -4*m - 2*x + 20 = 0, -m + 6 = 7*x - 6*x. Suppose 3*w + 3*g - g - 435 = 0, w - 145 = -m*g. Is w composite?
True
Let k(m) = m**3 - 6*m**2 - m + 2. Let i be k(3). Let v = 43 + i. Is v a composite number?
True
Suppose -17*w + 32097 + 22286 = 0. Is w composite?
True
Is (-7)/14*69*-2 prime?
False
Let t(s) = 7*s**2 - 12*s + 5. Let l(v) = v**2 - v + 1. Let j(m) = -5*l(m) + t(m). Suppose -4*f + 16 + 12 = 0. Is j(f) a composite number?
True
Let r be (-1992)/20 - 4/10. Is ((-3)/(-2))/((-6)/r) composite?
True
Let n(y) = -y**3 - 4*y**2 - 4*y - 3. Let f be n(-3). Is 159 + f/((-1)/1) composite?
True
Suppose -5*a + 0*a + 15 = 0. Suppose 7*q - a*q = 844. Suppose 0*y = y - q. Is y a prime number?
True
Let o = 1033 + -495. Is (-15)/(-5) + 0 + o a prime number?
True
Let p be (-6)/(-4)*(-2)/(-1). Suppose 3*v - 5*t = -t - 147, 5*t = -p*v - 147. Let f = v - -84. Is f composite?
True
Is ((-382)/4)/((-5)/10) a prime number?
True
Let c = -198 + 284. Is c prime?
False
Let w = 6 + 185. Is w a prime number?
True
Suppose 2 + 0 = h. Let f be 1/(h/4) + -132. Is f/(-6) + (-2)/3 a composite number?
True
Suppose 0 = -w + 2*w + z - 267, 0 = 4*w - 3*z - 1033. Suppose o - w = -39. Is o composite?
False
Suppose 1 = 3*y + 7. Let m(f) be the first derivative of -3*f**4 - 2*f**3/3 - f**2/2 - f + 1. Is m(y) a composite number?
False
Is (-1)/(-2) - 133/(-2) composite?
False
Suppose -4*i = -14401 - 1607. Suppose 0*g - 14 = 2*g. Is i/42 - (-2)/g prime?
False
Let b be 1141/5 - 6/30. Suppose -4*q + 736 = b. Is q composite?
False
Suppose 0 = -0*q - 3*q. Suppose q*v = -5*b + 4*v + 278, 0 = -5*b - v + 293. Is b a prime number?
False
Suppose -3*k + 0*k + 1157 = -4*c, 2*c = -4*k + 1506. Is k prime?
True
Let g(t) = -t**2 - 10*t - 3. Let n be g(-9). Suppose 2*i - i = n. Is (6 - i) + (1 - -2) composite?
False
Suppose 2*b - 4*b + 8 = 0. Suppose x + b*n - 93 = 0, 2*x = -0*n - n + 186. Is x a prime number?
False
Let n be -2*142*(-2)/(-8). Let w = 124 + n. Is w a prime number?
True
Suppose 5*k + 70 = 5*x, -4*x - 4*k + k + 28 = 0. Let y(j) = j**2 - 9*j - 8. Let c be y(x). Suppose c*m - 764 = -2*m. Is m prime?
True
Let f(m) be the third derivative of 13*m**4/8 - 5*m**3/6 + 3*m**2. Is f(8) prime?
True
Let h(f) = f**2 - 2*f - 2. Let m be h(-3). Let w = -15 + 33. Let b = m + w. Is b a composite number?
False
Let s = 276 + -193. Is s composite?
False
Let d be 2/(-5) - 42/(-5). Suppose f = 1 + 4. Suppose -d = 4*b, -2*u + f*b + 0 = -36. Is u prime?
True
Let m = 320 + 131. Is m a prime number?
False
Let h = 26 + 9. Is h prime?
False
Let z(d) = -d**3 - 6*d**2 - 4*d + 5. Let c be z(-4). Let n = c + 20. Is n prime?
False
Let n = -22 - -38. Let k = 31 - n. Is k a prime number?
False
Suppose 3*m = 3*y - 1134, 3*y - 3*m = 7*y - 1505. Is y composite?
True
Let c(a) = -a**3 + 12*a**2 - 13*a + 8. Let r be c(9). Is (0 + 3/6)*r a composite number?
False
Suppose 4*f - 5*f + 9 = b, -36 = -4*b + 5*f. Suppose 3*s + 3 = 0, 4*a + 4 = -0*s + 4*s. Let m = a + b. Is m a prime number?
True
Let g = 24 + 371. Suppose -4*i + g = 31. Is i prime?
False
Suppose 15 = 3*g + 2*g. Suppose -x = -g*x - 3*l + 119, 2*x + l = 109. Suppose 86 = 2*o + o - 5*z, 