rime?
True
Let o be 2 - (4 + -3 - 3). Suppose n = -5*c + 1, 4*n - o = -c - 0. Suppose c*j + 2*j = 52. Is j a prime number?
False
Is ((-106)/1)/(18/(-14) - -1) prime?
False
Let x(c) = 18*c**2 - 1. Let g = 5 - 8. Is x(g) prime?
False
Let c(z) = 1987*z**2 - 2*z + 2. Is c(1) prime?
True
Let a(l) = 17*l**2 - 25*l - 7. Is a(5) composite?
False
Is 1 + (-20)/12 - 28414/(-6) composite?
True
Suppose -5*x - 124 = -2*g, 2*x = -2*g - 0*x + 138. Is g a prime number?
True
Suppose 15 = -0*j + 5*j. Let i(y) = y + 2. Let g be i(-3). Is ((-344)/24)/(g/j) prime?
True
Suppose -4*w - w - 2015 = 0. Let t = w + 564. Is t a prime number?
False
Suppose -d = -4 - 1. Suppose d*p + 2*y - 969 = 216, 4*p = 2*y + 930. Is p a composite number?
True
Let f = -84 - -161. Is f prime?
False
Let u = -181 + 388. Let n = 418 - u. Is n a prime number?
True
Is 1658 + 4/(-2) + 1 a prime number?
True
Suppose -12 + 4 = -4*u. Suppose -2*j - u = -16. Is j composite?
False
Suppose -4*d = -2*k + 1816, -4*d = -7*d + 2*k - 1362. Let s = -301 - d. Let x = s + -74. Is x a composite number?
False
Suppose v = -0 + 2. Let j(n) = 74*n + 1. Is j(v) prime?
True
Let f(p) be the second derivative of 11*p**4/12 + p**3/6 + 5*p**2/2 - 4*p. Is f(6) a composite number?
True
Suppose -v - 4*s - 6 = 0, -2*s = -4*s - 4. Suppose -v*n = -5*n + 78. Is n/3*(-15)/(-10) composite?
False
Let o = -14 + 307. Is o a prime number?
True
Suppose 0*y = 3*y - 15. Suppose -y*n + 200 = -5*c, n - 33 = 2*c + 12. Is n a composite number?
True
Let v = 25 + -28. Suppose 5*d - 39 + 299 = 0. Let i = v - d. Is i a prime number?
False
Let n = -2503 + 5160. Is n a prime number?
True
Let y = -2 + 5. Suppose -y*n + 5*z - 1 = -2*n, 2*z = 0. Is n + 38 + -1 + -1 a composite number?
True
Let z be 44/(3 - (-4)/(-2)). Let v be 2/3 + z/6. Is (-1)/2 + 92/v prime?
True
Let i = 2 + -3. Let h = 1 - i. Is 8/(-6)*(-51)/h composite?
True
Suppose 0 = -3*r + 8*r - 900. Let x = r + -71. Is x composite?
False
Let u(a) = -a**3 + 8*a**2 - 5*a - 8. Let z be u(7). Let v(p) = -p**2 + 11*p + 2. Let j be v(z). Is j + (-1)/1 + 0 a prime number?
True
Suppose -2*q - 5*z + 62 = -32, -5*q + 218 = 4*z. Suppose -c + q = -m, c + 2*m + 37 = 2*c. Is c prime?
True
Let n be (-9)/(-15) + (-1644)/(-10). Suppose 3*d + w - 143 = 0, 3*d = w + n - 26. Is d a prime number?
True
Is (-18960)/(-20) + (-2)/(-2) a composite number?
True
Let q(x) = -1 + 3*x - 9*x + x**3 + 4*x. Let h be q(2). Suppose -p - h*o = -260, -o - 248 = p - 2*p. Is p prime?
True
Let j be (-27)/(-18) + (-7)/2. Is -1 - (j + -3) - -207 composite?
False
Suppose -5*l + 3*q = 2*q - 1104, -2*l - 2*q + 444 = 0. Suppose -4*x + 315 = t + 4*t, 3*x = 4*t - l. Is t prime?
True
Let i(s) = -s**2 + s + 6. Let f be i(3). Suppose 6*q - q - 55 = f. Is q prime?
True
Is (-28)/70 - (-2114)/10 a composite number?
False
Let i(t) = t**3 + t**2. Let h be i(1). Suppose j = -h*j. Suppose j = 4*a - x - 335, -7*a - 3*x = -2*a - 440. Is a composite?
True
Is (-1733)/2*-4*(-3)/(-6) composite?
False
Is 2 + 2 + (176 - 1) composite?
False
Let q(i) = i**3 - 5*i**2 + i + 2. Let m be q(5). Let w be 62*m/(-2)*-1. Let f = w + -126. Is f a prime number?
False
Let v(a) = 0 + 5*a + 6*a**2 - a + 2 + 1. Suppose -5*k + 5*u + 5 = -0, 0 = -4*k + 2*u - 6. Is v(k) composite?
False
Let g be 26/8 - (-5)/(-20). Let r(z) = z - 2*z**2 + g - 3*z + 12*z**3 + 0 - 4*z**3. Is r(2) prime?
False
Let v = -2 + 4. Let b = 20 - 13. Suppose -2*x + 20 = x + v*g, g = -x + b. Is x a composite number?
True
Let v(n) = -4*n**3 - 5*n**2 + n + 3. Let h(z) = z**3 + 4*z**2 + 2*z - 1. Let x be h(-2). Let m be v(x). Let g = 274 + m. Is g prime?
True
Suppose -4*c + c + 15 = 0. Suppose -c*g + 407 = -263. Is g a prime number?
False
Let u(t) be the second derivative of -t**5/20 - 2*t**4/3 - 4*t**3/3 + t**2 + 7*t. Let l = -11 + 4. Is u(l) a prime number?
False
Suppose 5*s - 1324 = s. Suppose 3*y + 4*b = 179 + 108, -4*y = -5*b - s. Is y prime?
True
Is (-1)/3*-9*(-194)/(-2) a composite number?
True
Let x be -1*(-5)/((-15)/(-6)). Suppose -2*r = -4*h + 77 + 1, -x*r = -3*h + 59. Is h composite?
False
Let z(i) = -2*i**2 + 5 - i**3 - 4*i**2 - 5*i + 0*i**2 + 2*i**2. Is z(-8) a composite number?
True
Let r = -4 + 6. Is (r*-79)/(12/(-30)) a prime number?
False
Let o be ((-39)/(-9))/((-2)/(-54)). Suppose -289 - o = -2*y. Is y composite?
True
Suppose -4*f + 0*f = -5*x - 731, 3 = -x. Is f prime?
True
Is (-2)/(-5) + (-5730)/(-50) composite?
True
Let z = 0 + 0. Suppose z*j + 122 = j. Is j/4 + 1/2 a composite number?
False
Suppose 5*x - 5 = -435. Let n = x + 153. Is n composite?
False
Let u = -5 - -8. Suppose -2*m + 4 = -5*f, 0*f + 5*m - 10 = u*f. Let a(x) = x**3 + x**2 + x + 9. Is a(f) a composite number?
True
Suppose -p - 2*p + 3*z = -807, -3*p - 2*z = -787. Let u = -178 + p. Is u prime?
False
Suppose 0 = 2*k + 11 + 567. Is (-12)/6 - (0 + k) a composite number?
True
Let h = -9 + 16. Let u = 12 - h. Suppose 0 = -3*o + 2*y + 63, 10*o - y - 105 = u*o. Is o a composite number?
True
Let d(o) = o**3 + 6*o**2 - 6*o + 4. Let f be d(-7). Let j be -2 + 1/(f/(-696)). Suppose -2*a + 3*r + j = 0, -2*a + 230 = -0*r - 5*r. Is a a composite number?
True
Let o be (-4)/20 + 899/(-5). Let t = 94 - o. Suppose 3*f + 2*f = -20, 2*z + 4*f = t. Is z prime?
False
Let h = -1 + 5. Suppose 3*t + 73 = 6*c - h*c, 2*c - t - 71 = 0. Is c a composite number?
True
Suppose -4*z = 4*o - 5*o + 1459, 4*o - 3*z - 5836 = 0. Is o prime?
True
Suppose 4*a + 2*w - 548 = -2*w, 3*w + 12 = 0. Is a composite?
True
Let v = 768 - -611. Is v a composite number?
True
Let i(j) = -3*j**2 - 5*j - 3. Let h(r) = 3*r**2 + 1 + r**2 + 2 + 4*r. Let v(w) = 2*h(w) + 3*i(w). Is v(-6) a composite number?
False
Let s = -1011 - -2267. Is (s/16)/((-2)/(-4)) composite?
False
Let d(f) = -214*f - 1. Is d(-1) composite?
True
Let s = 0 - -3. Let q be -1 + -1 + s + -1. Suppose -3*r + 3*h + 7 = -23, q = r - 2*h - 9. Is r prime?
True
Let z(x) = x**3 + 7*x**2 - 10*x - 10. Let y be z(-8). Is (69/9 - 2)*y a composite number?
True
Let h(j) = j + 11. Let x be h(-9). Is 1196/8 + (-1)/x a prime number?
True
Suppose -3*r = -3*d + 1191, 5*d - 3*r = r + 1985. Is d composite?
False
Is (249 - -2)*(0 + 1) a prime number?
True
Let h(z) be the second derivative of z**4/6 - z**3/2 + z**2 - 2*z. Is h(7) a composite number?
False
Let x(z) = z**3 - 15*z**2 - 3*z - 5. Is x(16) composite?
True
Suppose 0 = -8*q + 10*q. Suppose 2*b - 1409 + 391 = q. Is b composite?
False
Let m = 164 + -87. Is m a prime number?
False
Suppose -5*w + 7 = -3. Suppose a - 8 = -3*b - w*b, -b = 5*a + 8. Suppose -5*v = 5*d - 4*d - 1, -b*d - 3*v + 37 = 0. Is d a composite number?
True
Let q = 557 + 866. Is q prime?
True
Let c be (-2)/((-12)/9 + 2). Let i = 9 + c. Is i/4*44/6 a composite number?
False
Let a = 382 - -1141. Is a a composite number?
False
Let f(x) = -x**3 + 2*x**2 + 3*x + 2. Let o be f(3). Let u(z) = 3*z**o + 3*z + 3 + 5*z - z**2. Is u(-5) a composite number?
False
Let p(j) = 37*j**2 + 46*j + 16. Is p(-15) composite?
True
Let t = -7 + 9. Suppose -4*k = -4*w - 72, -6*k + 66 = -2*k + t*w. Suppose 3 = -2*q + k. Is q a composite number?
False
Let i(d) = 11*d + 9 - 18*d + 0 - d**2. Is i(-7) composite?
True
Let f be 16/(-20)*50/(-4). Let b(k) = k**2 - 11*k + 15. Let o be b(f). Suppose 5*q - 18 = 2*v - v, o*q = 20. Is v prime?
True
Let i(a) = a**2 - a + 6. Let k be i(7). Let z(y) = y + 1. Let s be z(-1). Suppose -3*w - 5*h + k = -s*h, -8 = -w + h. Is w a prime number?
True
Suppose -2*u - 3*z = -617, -3*u + 0*z + 923 = 2*z. Is u composite?
False
Let b(p) = -3*p**3 + 3*p**2 - 4*p - 2. Let o be b(4). Let c = -101 - o. Suppose -191 = -2*x - c. Is x composite?
True
Let k = 35 - -110. Is k prime?
False
Let d be (-48)/(-3*2/4). Suppose 0 = -0*q + 2*q + 3*a - d, -3*a = -6. Is q a composite number?
False
Let t(c) = -24*c - 6. Let a = -6 + 12. Let j be t(a). Let f = j + 229. Is f a prime number?
True
Let h(b) = -35*b**2 - 46*b**2 - 4*b - b**3 + 13 + 85*b**2. Is h(-6) composite?
False
Let l be -2 + (-6)/(-1) + -1. Is -4*(-2 + -206) + l a prime number?
False
Let x(u) = u**3 + u**2 + 3*u - 11. Is x(6) composite?
True
Let o = 4840 + -3443. Is o prime?
False
Suppose -3*n + 2*r + 553 = 122, 0 = -2*n + r + 287. Is n composite?
True
Let p = 3 + 15. Is (-43)/(-2) + p/12 composite?
False
Let y(r) = -r**2 + 5*r + 2. Let b be y(9). Is -2 - 3/(6/b)