uppose -z = 2*h - 331. Is h a prime number?
True
Suppose 2*h - 1296 = 1426. Is h a prime number?
True
Let s(c) = -5*c**2 + 3 - 4 - 4 + 13*c + 4*c**2. Is s(9) composite?
False
Let x = 322 + -51. Is x prime?
True
Suppose 0 = 2*s - 7 + 1. Suppose s*x = -x + 24. Suppose 0 = -x*l + 2*l + 76. Is l prime?
True
Let p(v) = v**2 + 94. Is p(0) composite?
True
Let r(g) = 199*g**3 + g + 1. Let p be r(2). Suppose -5*o + p = -0*o. Is o prime?
False
Suppose 2*c = -4*s + 860, s + c - 221 = -c. Suppose -5*k + 375 = -4*m, 2*m = 5*k - 152 - s. Is k a prime number?
True
Suppose 5*l = 3830 + 3885. Is l composite?
False
Let s(x) = 12*x + 7. Is s(6) composite?
False
Let w(n) = 3*n**2 - 3*n - 11. Is w(-5) prime?
True
Let y be (-1)/(((-4)/4)/(-4)). Is 29/(1/(-52)*y) a prime number?
False
Suppose 1324 = 25*j - 21*j. Is j a prime number?
True
Is 3/(-2)*(-78)/9 a prime number?
True
Let k(m) = -2*m**3 + 9*m**2 + 4*m + 7. Let f(l) = -l**3 + 5*l**2 + 2*l + 4. Let v(q) = 5*f(q) - 3*k(q). Let g = -1 - -5. Is v(g) composite?
False
Let q(u) = 0*u + 0 + 5*u + 2. Let s be q(5). Let c = 40 - s. Is c a prime number?
True
Suppose 4*v - 5*v - 961 = -3*h, -v = -5*h + 1599. Is h composite?
True
Suppose 4*u - 16 + 1330 = 5*r, -782 = -3*r + 4*u. Let l(a) = a**3 + 13*a**2 + 13*a - 1. Let y be l(-10). Let v = r - y. Is v a composite number?
False
Let f(o) = 5*o**2 + o - 1. Let g(t) = t**3 - 2*t. Let d(v) = -4*v**3 + 9*v. Let j(c) = 2*d(c) + 9*g(c). Let k(u) = -f(u) - j(u). Is k(-5) a composite number?
True
Let l be 8/44 - 24/11. Is 15 + -2 + l + 4 a composite number?
True
Let w be 2/(-4)*30/(-3). Let k = w + -3. Suppose -19 = -2*v + 3*a - 4*a, 0 = 2*v + k*a - 24. Is v a prime number?
True
Let b(f) = f**3 + 1. Let g be b(1). Let w be ((-3)/g)/((-5)/180). Is 2 + w + 0 + -1 a prime number?
False
Let u = 658 - 257. Is u a prime number?
True
Suppose 36 = -3*w - 0*w - 4*u, -w - 12 = -2*u. Let y(f) = -f**3 - 12*f**2 - 16*f + 11. Is y(w) prime?
False
Let j(t) = 22*t - 1. Let v be j(1). Suppose 5*f - 2*x - 59 = 0, x - 8 = -2*f + v. Is f composite?
False
Suppose 2*w - 42 = -14. Is 4/w - (-366)/42 composite?
True
Suppose -9822 = -3*h - 3*h. Is h composite?
False
Let k = -141 + 74. Let q = 200 + k. Is q composite?
True
Let i = -19 + 30. Let k = i + 0. Is k prime?
True
Let h(o) be the third derivative of o**5/12 - o**4/8 - o**3/2 - 2*o**2. Suppose -3 = -2*l + 3. Is h(l) composite?
True
Let v(k) = -k - 3. Let m be v(-3). Suppose m = 2*x + 635 - 1911. Suppose 2*b + b + a = 384, x = 5*b + a. Is b composite?
False
Let q = 6 + -4. Suppose 663 = 3*c + 2*i, 46 - 495 = -q*c + i. Suppose 4*p + 11 = c. Is p composite?
False
Let f be 2/(-3) - (-60)/9. Suppose -b = -f*b. Suppose b = 3*k + 5*h - 372, 0*k - 3*h = 4*k - 485. Is k prime?
False
Let v be -7*(-4 + (0 - -1)). Suppose -v - 5 = -2*g. Is g a composite number?
False
Suppose -y + 102 = -166. Suppose f = -k + y, -3*f = -0*k - 5*k - 780. Is f a composite number?
True
Let h be (3 + 0)/3 - 0. Let v = 2 + h. Suppose -165 = -v*z + 2*t, -4*z + 3*t + 215 = 2*t. Is z prime?
True
Suppose 0*d = p + 4*d - 455, 1329 = 3*p + 3*d. Is p a composite number?
False
Suppose 3*f + 47 = -2*x + 3676, -4*f + 5*x + 4854 = 0. Is f composite?
True
Suppose -2*x = x - 9. Is (-1)/3 + 148/x a prime number?
False
Let m(l) = -l**2 + 10*l - 12. Let c be m(9). Let y be 0*(-3 - -2) - c. Suppose y*i = -i + 148. Is i prime?
True
Let b = -1223 + 2058. Is b composite?
True
Let s = 1330 - 730. Suppose 4*u - s = p + p, -4*p + 724 = 5*u. Suppose 0 = -3*y + u - 31. Is y composite?
True
Suppose 4*j = j. Suppose j = 4*o + 2*r + 18, 4*o - 4*r - r = -25. Is 3 + o - (-106)/2 composite?
True
Suppose -4*q + 2*r + 32 = 0, 3*q + 2*r - 5*r = 27. Is 7/q + 1*57 a prime number?
False
Let c(a) = 9*a - 10. Let d = 7 + 0. Is c(d) a composite number?
False
Let o(t) = 2*t**2 + 4. Suppose -5*j = -3*w - 2*w - 15, -3*w + 4*j - 11 = 0. Let z = 4 + w. Is o(z) composite?
True
Let z = 1 - -2. Suppose 0 = -z*j + 15. Suppose 35 = -0*a + j*a. Is a composite?
False
Let h(i) = 7*i**2 + 2*i - 4. Let b(k) = -k**2 + 4*k - 1. Let y be b(3). Let o = y - 5. Is h(o) a composite number?
False
Let u(z) be the third derivative of -7*z**6/30 + z**5/60 - z**3/6 - 3*z**2. Let w be u(-1). Let q = 9 + w. Is q prime?
True
Is (2947/14 + -1)/(2/4) a prime number?
True
Let d(r) be the third derivative of r**4/24 - 2*r**3/3 - r**2. Let a be d(2). Is (11/a)/(4/(-136)) a composite number?
True
Let q = 312 + -155. Is q composite?
False
Suppose 0 = 5*m + 4*a + 22, -2*m + 9 - 31 = -5*a. Let v(f) = -f + 7. Let r be v(7). Is (-2)/m*(r - -27) prime?
False
Suppose 5*z + 1211 = 4*x, -3*x + 5*x = -2*z + 592. Is x composite?
True
Let q = 78 + -25. Suppose 2*u = q + 13. Is u composite?
True
Let q(t) = -t + 51. Let a(i) be the second derivative of i**3/3 - 25*i**2 + i. Let r(j) = 2*a(j) + 3*q(j). Is r(0) a prime number?
True
Suppose 1144 = -3*u + 8*u + 3*f, 0 = 5*u + f - 1148. Is u/(7/(14/4)) composite?
True
Let i(s) = 4*s**2 - 6*s - 3. Let l be i(5). Suppose o = -5*z + l, -3*z - 7 + 44 = -o. Is z composite?
False
Let g = 2 - 2. Is g - (2*-60 + 1) a composite number?
True
Let r(l) be the third derivative of l**5/60 - l**4/24 + l**3/3 + l**2. Let d be r(2). Suppose -2*u + 6 = -4*k, -2*k + d + 0 = 0. Is u composite?
False
Let j(m) = -m**3 + 3*m**2 - 2. Let p be j(2). Suppose -4*b + p*b = -66. Is b a composite number?
True
Let i(h) = h + 2. Let c be i(-2). Suppose c = p - 5*f - 42, -5*p - f = -0*p - 236. Is p composite?
False
Let g = -30 - -69. Is g prime?
False
Let l(g) = 4*g**2 - 8*g - 3. Is l(6) prime?
False
Let s = -8 + 11. Suppose 8*z = s*z + 185. Is z a composite number?
False
Let a be -3*(1 + 2 - 0). Let r = -4 - a. Suppose 0 = -r*s + 4*s + 53. Is s a prime number?
True
Suppose -1758 = -2*i - 3*j, -4*j + 2*j - 8 = 0. Suppose 3*r + 2*c = i, -4*r - c = -1011 - 164. Is r composite?
False
Suppose -2*l - 226 = 4*c, -3*c + 3*l = -c + 117. Suppose z - 5*d - 80 - 52 = 0, 3*d = 12. Let v = z + c. Is v a composite number?
True
Suppose -5*l + 4*b + 373 = 0, l + b + b = 83. Is l prime?
False
Suppose 0 = 5*h - 4*q - 1507, -212 = -h - 2*q + 81. Is h prime?
False
Suppose 3*x = -3 + 6, 4*d - 2*x = 16802. Is d a composite number?
False
Let r = 1 + 0. Is (2/(6/267))/r a prime number?
True
Is 1 + 542 - (-4)/1 a composite number?
False
Let c(r) = 15*r**2 + 1. Let b be c(1). Let g(i) = 47*i + 17. Is g(b) a prime number?
True
Let v = -2 - -2. Suppose 4*y = -0*r + 3*r, -2*r - 8 = v. Is 23 - y*(-1)/3 composite?
True
Let x = -24 - -13. Is 1 - 2 - (x - 0) prime?
False
Is (1082/(-1 - 1))/((-13)/13) a composite number?
False
Suppose -4705 = -2*o - 795. Suppose -3*t + 3*f + o = -211, 0 = 2*f + 10. Is t a prime number?
False
Let a = 523 - 122. Is a composite?
False
Let h be 4/6 - (-14)/6. Let l(i) = i**2 - 5*i + 3. Let c be l(h). Let j(n) = -n**3 - n**2 + 3*n. Is j(c) a composite number?
True
Let x(s) = s**2 + s + 3. Let y be x(0). Suppose -9 = w + 4*n, -2*w + y*n + 37 = -0*n. Is w a prime number?
True
Suppose -53*t = -58*t + 430. Is t a prime number?
False
Let y(c) = c**2 - 4*c - 32. Is y(-11) composite?
True
Suppose 4*g - 3*g = 2. Suppose -g*y = -4*o - 12 + 2, 4*y + 2*o - 20 = 0. Let t(f) = f**3 - 3*f**2 - 8*f + 4. Is t(y) composite?
True
Let z be (-3 - -260)/(1 - 0). Suppose -3*y + 4*y = z. Is y prime?
True
Suppose -n = 3*n + 16, 106 = 3*o + 2*n. Suppose 3*a - 10 = o. Let z = a - 10. Is z a prime number?
False
Suppose 23*j - 21*j = 2302. Is j prime?
True
Suppose -12*f + 7*f + 1255 = 0. Is f a prime number?
True
Suppose -z + f - 132 = -3*f, 2*f = -5*z - 550. Is 2/4*2 - z composite?
False
Let c(f) = 12*f + 1. Let q be c(-3). Let s be (-4)/(-14) + (-1705)/q. Suppose -5*m = v - 2*m - s, 4*v + 5*m = 168. Is v a prime number?
True
Let u = 3618 + -2083. Is u composite?
True
Let g(p) be the first derivative of p**3/3 + p + 1. Let u(m) = -16*m**2 - 2*m + 4. Let o(z) = 3*g(z) - u(z). Is o(2) prime?
True
Is 212 + (14 + -15 - (-1 + 1)) composite?
False
Let q(n) = 3*n**2 + 3*n + 3. Let s(f) = -f**2 - f + 1. Let x(l) = -q(l) - 4*s(l). Is x(-5) a prime number?
True
Let v(t) = 2*t - 4. Let y be v(4). Suppose -7*h + 4*h + 8 = -r, 4 = 5*h - y*r. Suppose 4*x + u - 40 = -3*u, -h*x - 5*u = -43. Is x composite?
False
Let p = -1915 - -4469. Is p a prime number?
False
Suppose 7*t - 22 - 160 = 0. Is t prime?
