
False
Let m(y) = 13*y**2 - 3*y + 1. Let k be (0 + 2)/(4/10). Suppose 6 = k*t - 4. Is m(t) composite?
False
Is (-8457)/30*2*(1 - 6) prime?
True
Suppose 5*h = i - 0*i + 14, 0 = 4*h - 3*i - 20. Suppose -4*y + 3*g + 19 = 6*g, -13 = -3*y - h*g. Let w(f) = 114*f**3 - 2*f**2 + 1. Is w(y) a composite number?
False
Let f(g) = -g**2 + 3*g - 2. Let l(n) = 2*n - 4. Let u be l(3). Let j be f(u). Suppose j = -0*y - 5*y + 745. Is y a composite number?
False
Suppose -3*b = -519 - 288. Is b prime?
True
Let c(f) be the first derivative of 5*f**2/2 - 8*f - 4. Is c(9) prime?
True
Let v(g) = 8*g - 2. Let x be v(6). Let t be 101 - (4 - 4/2). Let j = t - x. Is j a prime number?
True
Suppose 5*b = -2*q + 19, -2*b - 3*q - 5 = 2*q. Suppose -6*z + z + 4*a + 106 = 0, 0 = -b*z - a + 111. Is z prime?
False
Let c(m) = -m**3 - 2*m**2 + 2*m - 2. Let b be c(-3). Let r be (4/5)/((-4)/30). Is 14*b/(r/(-33)) composite?
True
Let f be ((-12)/(-20))/(2/10). Suppose 189 = 3*o - f*s, -3*s - 130 = -2*o - 2*s. Is o a prime number?
True
Suppose 0 = 2*n + 6*o - 2*o - 318, 2*o = -5*n + 787. Is n prime?
True
Let h be -1*-3*51 - 1. Let f = h + -101. Suppose -5*x = -f - 4. Is x prime?
True
Suppose -4*g - 206 = 2*o, -3*g + 39 = 3*o + 360. Suppose 0 = -2*i - 2*i + 208. Let w = i - o. Is w a prime number?
True
Let f(z) = -21*z - 2. Suppose 2*b + 3 = -5. Is f(b) a prime number?
False
Suppose 26 = -4*p + 10. Let v be p/6 + 7/(-3). Is -1*1*(-20 + v) a prime number?
True
Let z = 743 - 366. Is z a prime number?
False
Suppose -5*g + 2*g + 27 = 0. Let v(t) = 38*t - 3. Is v(g) a composite number?
True
Let d(o) = -34*o - 10. Let t be d(-5). Let u = t + -109. Is u prime?
False
Let h = -4 - -5. Let y be h/4 - (-87)/(-12). Is y + 5 + 33 + 0 prime?
True
Is ((-7)/(14/508))/(-2) a prime number?
True
Let z = -113 + 364. Is z prime?
True
Is 2 + 45249/15 + 28/70 composite?
False
Suppose 0*p = 2*p - 80. Suppose 0*y = 2*y - p. Suppose 32 = 4*r - y. Is r a composite number?
False
Suppose n + 3*u - 333 - 299 = 0, -3*n = -u - 1876. Is n a composite number?
True
Suppose -10*o - 6*o + 68336 = 0. Is o prime?
True
Let o(x) = 17*x - 3. Suppose t + 1 = 3. Is o(t) a composite number?
False
Let d = 51 + -37. Let h = 222 + 552. Is (-2)/7 + h/d prime?
False
Let v(h) = h**3 + 4*h**2 - 4*h - 1. Let b be v(-5). Let j be b/(-4) - (-242)/4. Suppose n - 23 = j. Is n a prime number?
False
Let c(k) = 64*k**2 - 1. Let u be c(-2). Suppose -5*z + 200 = -u. Is z composite?
True
Suppose 0 = 4*b - 70 - 514. Suppose 2*o - 2 = -0*o, 2*i = 2*o + b. Is i composite?
True
Let p(z) be the third derivative of z**4/2 + z**3/6 + 5*z**2. Is p(12) composite?
True
Suppose 0 = -5*a + 5*t + 15, 5*a + 5*t + 8 = 63. Is a a composite number?
False
Suppose -y + 291 = 92. Is y prime?
True
Suppose -2*m + 5*q = 28, 2*q + 59 = -3*m + q. Let k be (1 - 0)/(1/m). Let n = k + 38. Is n a composite number?
False
Let b(s) = s**2 + 7*s - 5. Let f be b(-10). Is 315/f + 4/10 prime?
True
Let j = 5 + -1. Is (-2)/j*22/(-1) prime?
True
Suppose -5*k + 3*k - 474 = -4*j, 0 = -4*j + 3*k + 473. Is j prime?
False
Is 4/22 + 3582/22 prime?
True
Suppose -4*h - 10 = -f - 3, 4*f = 3*h + 15. Suppose -f*z + 753 = 3*b, 2*b + 4*z - 566 = -56. Let x = b + -126. Is x prime?
False
Let u(j) = -4*j**3 + 5*j**2 - 12*j - 2. Is u(-5) prime?
True
Let i(j) = 3*j**3 + 11*j**2 + 5*j + 4. Let u(d) = 2*d**3 + 10*d**2 + 4*d + 5. Suppose l + 0*l = -1, -3*y - 8 = -l. Let n(q) = y*i(q) + 4*u(q). Is n(7) prime?
False
Suppose 4*m + q = -2*q + 12, 0 = 3*m + 5*q - 20. Is 8 + 12 - (1 - m) a composite number?
False
Let i be 8/3*81/12. Is 894/4*12/i a prime number?
True
Let n(i) = -3*i**2 + 0*i**2 + 467 + 3*i**2 + i**2. Is n(0) composite?
False
Suppose -l - 31 = -0*l - 5*a, 4*l + 52 = 2*a. Let r be l - 0 - -1*3. Let b(h) = -4*h - 1. Is b(r) prime?
True
Let w(g) = -345*g + 51. Is w(-8) a composite number?
True
Suppose -2*y + 2 = -4. Suppose -570 + 180 = -2*u + 2*p, p - 581 = -y*u. Let f = u + -117. Is f a composite number?
True
Is (-1)/(3*(-5)/2865) composite?
False
Let d(b) = -b**3 - b**2 - 6. Is d(-5) a composite number?
True
Let v(p) = -p - 1. Let j(i) = 3*i + 2. Let t(s) = -j(s) - 4*v(s). Let r(x) = x**3 + 4*x**2 + 4*x + 5. Let f be r(-2). Is t(f) prime?
True
Is -1 + 3/((-15)/(-6070)) a composite number?
False
Let g = 915 - 232. Is g a prime number?
True
Suppose 3*a - 5*i + i - 1208 = 0, 2*i = 5*a - 2018. Let o = a + -219. Is o prime?
False
Suppose 2*j - 704 - 350 = 0. Is j a composite number?
True
Suppose -410 = -2*a + 7*a. Let m = a - -137. Is m a composite number?
True
Let c = -125 + 245. Suppose -93 = -g - k, 5*g = 4*k + 381 + c. Is g a prime number?
True
Suppose -4*p = -16, 4*u - 3*p - 741 = u. Is u a composite number?
False
Let l(k) = k**3 - k**2 + 921. Is l(0) prime?
False
Let p(n) = -1 + 3 - 2*n + 7*n. Suppose -40 = -4*h - 12. Is p(h) composite?
False
Let y(z) be the first derivative of z**5/30 - z**4/12 - 5*z**3/6 - 2*z**2 + 4. Let q(j) be the second derivative of y(j). Is q(6) a composite number?
True
Suppose a - 4*s - 575 = -s, -a + 567 = -5*s. Is a a prime number?
True
Suppose -3*j + 2083 = -j - 3*u, 0 = -5*j + u + 5214. Is j a composite number?
True
Let y(u) = u**3 + 6*u**2 + 2*u - 11. Let k be y(-5). Is (k - (-12)/(-4))*47 prime?
True
Suppose 2*t + 0*t = 5*y + 2, 4*y = -5*t + 38. Is t a composite number?
True
Let t(z) = z**2 - 6*z + 7. Let a be t(5). Suppose -21 = -3*i + 3*g, -2*i + 3*g - a + 21 = 0. Suppose 0 = 4*r - 9*r + i*n + 345, 3*r - 218 = -n. Is r prime?
True
Suppose -v = 4*v - 19675. Is v a composite number?
True
Suppose 5*h - 862 - 240 = -j, -2*h = -10. Is j a prime number?
False
Let x(n) = -n**3 + 8*n**2 + 10. Let q be x(8). Suppose -22 = -u - 2*y - 5, 2*y + q = 2*u. Is u prime?
False
Let y(l) = l + 338. Let u be y(0). Suppose -2*a = -2*g + u + 54, 2*g - 367 = -3*a. Is g a composite number?
False
Suppose 6*q - 9*q + 267 = 0. Is q a composite number?
False
Is (422 - (-6)/(-2))/1 prime?
True
Let o = -7 - -8. Is (-286)/6*(-3)/o a composite number?
True
Suppose 3*a + 2*a = 5*i + 1460, 5*i + 312 = a. Is a a prime number?
False
Let p(i) = -i + 1. Let y(s) = -45*s - 10. Let z = -3 - -4. Let d(b) = z*y(b) + 6*p(b). Is d(-3) a composite number?
False
Is (-1456)/(-3) + 2/(-6) prime?
False
Suppose -4*y + 0*y = 196. Let g = -26 - y. Is g prime?
True
Suppose 3*y - 462 - 147 = 0. Is y prime?
False
Suppose 0 = 5*l - 1670 + 645. Is l a composite number?
True
Let v = 321 - 45. Suppose 4*o = 4*t - v, 4*o - 49 = -4*t + 3*t. Is t composite?
True
Suppose 4*t - 2*n = n + 8, -5*n + 25 = t. Suppose 4*k + 0*m - 23 = 5*m, m + 13 = 5*k. Suppose k*p - t*j - 27 = p, -4 = 4*j. Is p prime?
False
Suppose -2*j - 17 = -1. Let t be j/24*(-6)/2. Is ((-5)/(-3))/t*9 a composite number?
True
Let k(m) = -3*m**3 - 6*m**2 + 4*m - 6. Is k(-7) a prime number?
True
Let m = 331 - 218. Is m prime?
True
Let x(k) = -k - 3. Let g be x(-3). Suppose -4*t = -5*t - 3*q + 5, -4*t + 2*q - 50 = g. Let j = 9 - t. Is j a prime number?
True
Let r(q) = q**3 + 12*q**2 + 11*q + 2. Let v be r(-11). Suppose -v*g - g = -1377. Let j = g - 248. Is j prime?
True
Suppose -1 - 3 = -4*k. Let s be 3*k*(-28)/6. Is s/(-4)*(3 + -1) a prime number?
True
Let i = 1 - -3. Let m = -1 + i. Suppose m*t + 16 = 175. Is t a composite number?
False
Let u = 4148 + -2265. Is u composite?
True
Let w(p) = 8*p**2 + 3*p. Let l be w(-2). Suppose 4*g - 6*g = 3*z - 26, -z = -2*g + l. Is g prime?
True
Let w = 16 + -11. Suppose -17 - 13 = -w*l. Is l prime?
False
Let o(p) = 3*p**2 - 3*p - 23. Is o(7) prime?
True
Suppose 0*y = y - 905. Is y prime?
False
Let f be 9870/20*20/6. Suppose 5*u - f = -0*u. Is u prime?
False
Suppose 5*i - 811 = -2*b + 2002, -6 = -2*i. Is b a prime number?
True
Let w be (1 + -2)*(172 + 4). Is 138/(-4)*w/24 a composite number?
True
Suppose 2*r - 4 = -4*p, 0*r - 5*p - 1 = 4*r. Let w = r - -13. Is (-4)/18 - (-227)/w a prime number?
False
Let f(n) = -n**2 + 19*n + 7. Is f(9) composite?
False
Suppose -4*d = -0*d - 4. Let h be (-3 - (0 - 8))*d. Let r(l) = 31*l + 2. Is r(h) composite?
False
Suppose 0 = 6*f - 3*f + 18. Let g = 8 + f. Suppose u = 4*u - i - 53, -u + g*i = -11. Is u composite?
False
Let o(q) = -171*q - 1. Suppose 3 = 4*x - 5, 0 = y - 3*x + 7. Let t be o(y). Suppose 0 = -2*z - 4*v + 5*v + 61, -5*z - v = -t. Is z prime?
False
Suppose -3172 - 310 = -2*t.