 + 5*m - 3. Is p a prime number?
True
Is 183*21*4/36 a composite number?
True
Let z(r) = 34*r - 1. Is z(6) composite?
True
Let z = -3 + 8. Suppose -z*h - 14 = -84. Is h prime?
False
Suppose 13 = o - 20. Is o prime?
False
Let l = 2 - -4. Suppose -3*n = -l*n + 45. Is ((-10)/n)/((-4)/90) prime?
False
Suppose a - 4*q - 3955 = -4*a, -a = -2*q - 797. Is a a prime number?
True
Let x = 2 + -7. Is 108/5 - 2/x a composite number?
True
Let q = -147 + 370. Is q a prime number?
True
Let w(y) = 3*y**2 - y - 3. Let m be w(5). Let g(s) = 20*s + 24. Let b be g(-3). Let n = b + m. Is n composite?
False
Let r = -747 - -1282. Is r composite?
True
Let t = 3 - 5. Is (-148)/32*t*8 composite?
True
Let k(r) = r**3 + 6*r**2 - 7*r - 3. Let v be k(-7). Is 84 + v + 2 + 2 a prime number?
False
Suppose -15 = -3*t + 2*d, 0 = -4*t + d - 0*d + 15. Suppose k = y - 0*k + 3, -4*y - 7 = -t*k. Suppose -2*p + 33 = 5*j, -4*p - 2 = y. Is j composite?
False
Is (983124/(-144))/((-3)/4) prime?
True
Suppose 3*a + 1099 = -701. Let w = a - -402. Let p = 277 + w. Is p a composite number?
False
Let t(s) = -s**3 + 8*s**2 - 12*s - 3. Let n be t(6). Is (-5 - n)/((-8)/276) a prime number?
False
Let i(y) = -7*y + 0 + 0 - 4. Is i(-5) composite?
False
Let a(r) = 4*r**3 + 3*r**2 + r - 4. Is a(3) prime?
False
Let t be 2 - (2 - (-4)/(-2)). Is (3 - t)*(-133)/(-1) a composite number?
True
Suppose 3*h - 71 = 160. Is h composite?
True
Suppose -5*x = 14 + 6. Is x/(-22) + (-1426)/(-22) composite?
True
Let t(v) = -v + 3. Let m be t(0). Suppose 0 = -5*o - 4*u + 62, 4*o - 2*o - 8 = 4*u. Let s = o - m. Is s prime?
True
Is 42/56 + (-458)/(-8) a prime number?
False
Let t(i) = -i**2 + 6*i + 2. Let q be t(6). Let a be q - 1/((-3)/219). Suppose 10*f - a = 5*f. Is f a composite number?
True
Suppose 0 = -9*m + 3*m - 540. Let i = m - -133. Is i prime?
True
Let p = 682 - 201. Is p composite?
True
Suppose 0 = 16*v - 2201 - 311. Is v a composite number?
False
Is 4/7 + 31390/70 prime?
True
Let s be -1 + 3 - (-6 - -3). Suppose m + 0*m = s. Suppose h = 2*h - v - 5, m*h - 32 = -2*v. Is h composite?
True
Let i = 13 - 5. Let n(m) be the second derivative of 5*m**3/6 + 3*m**2 + m. Is n(i) a prime number?
False
Let w = 1 + 1. Suppose 2*l - l - 3*r = -77, -5*r - 99 = w*l. Is l*2/(3 - 7) prime?
True
Let g(p) = 3*p**2 + 2*p - 1. Let k be g(1). Suppose u - 4*d - 79 = 0, -3*u + k*d + 197 = -0*d. Is u a composite number?
False
Suppose 0 = 12*j - 16*j + 940. Is j a prime number?
False
Let k = 194 - 3. Is k a prime number?
True
Suppose d + 2*d - 405 = 0. Suppose -81 = -l + 119. Let u = l - d. Is u a prime number?
False
Suppose 4*i - 2*h - 3909 + 1063 = 0, -i + 734 = 4*h. Suppose 5*x - i - 1261 = 0. Is x a composite number?
True
Let j be (8 - 5) + (-4 - -1). Suppose -3*o + 777 = -j*o. Is o composite?
True
Let b be 0/((4/(-1))/2). Suppose b = -0*w + 3*w - 1233. Is w prime?
False
Let p(r) = -r**3 - 4*r**2 - 5*r + 3. Let t(q) = -q**3 - 3*q**2 - 4*q + 3. Let n(i) = 4*p(i) - 5*t(i). Let v be n(-3). Is 0 - 1 - v - 1 a prime number?
True
Let v = 24 - -29. Is v a composite number?
False
Let v be (-8)/3*(-6)/(-4). Let z(u) = 10*u**2 - u - 1. Is z(v) a prime number?
True
Let q(b) = b**2 - b + 7. Let z be q(-5). Let s = z + -18. Is s a composite number?
False
Let a = -108 - -179. Is a composite?
False
Suppose b + 2*o - 1 = 2*b, -5*o = -4*b + 2. Suppose -b*w = -w - 28. Is w a prime number?
False
Suppose -32172 - 288 = -12*g. Is g prime?
False
Suppose 3*d = -4*y - 87 + 289, -2*y + 212 = 3*d. Is d prime?
False
Suppose o + p = -0*p + 90, 0 = -2*o + p + 192. Suppose -278 = 4*b - o. Let d = 33 - b. Is d a prime number?
True
Let s = 0 + 2. Suppose -s*g = -3*w + 2*w - 8, 4*g + 4*w = -8. Suppose -q + 2*q - g*t = 19, 2*q + 5*t - 38 = 0. Is q a composite number?
False
Let a = 5 + -4. Suppose 36 = 5*m + a. Is m a composite number?
False
Suppose -4*w - 3*u + 37 = 0, -2*u + 7*u + 35 = 3*w. Let g(m) = -m**3 + 12*m**2 - 12*m + 3. Is g(w) composite?
False
Let g(f) = f - 1. Let p(h) = -8*h - 1. Let i(u) = 2*g(u) - p(u). Let c(a) = -3*a**3 - 2*a**2 - 2*a - 1. Let x be c(-1). Is i(x) a prime number?
True
Suppose 4*s - 12 = -44. Let k = -3 - s. Suppose -2*a - 4*u + 134 = 0, -4*a + 4*u - k*u + 233 = 0. Is a a composite number?
True
Let s be (4/(-6))/((-5)/60). Let t(m) = 41*m + 9. Is t(s) prime?
True
Is -8 + 8 + 889 + 0 a composite number?
True
Let s(n) = -222*n + 1. Suppose 2*c - 1 + 3 = 0. Is s(c) composite?
False
Let c(k) = -59*k + 13. Let q be c(6). Let u = -90 - q. Is u prime?
True
Let w = -4 - -5. Is 1 + 0 + 88/w a prime number?
True
Suppose 9*x - 7*x = 598. Is x a composite number?
True
Let p(r) = -r - 4. Let q be p(-7). Suppose -5*b = -3*s + 34, -4*s - 2*b - q*b = 13. Suppose 0 = -s*i + z + 71, -i + 2*z = 2*i - 73. Is i prime?
True
Let z(a) = -2*a**3 + a**2 - 1. Let v be z(-1). Suppose -h = -5*u - 177, 2*u - 384 = -v*h + 6*u. Is h a composite number?
True
Suppose -9 = -5*s + 101. Suppose -5*v - 116 = -4*m, -2*v + 3*v - 2*m = -s. Let w = -11 - v. Is w a prime number?
True
Let b = 38 - 23. Is b a prime number?
False
Suppose -2*o = -5*z - 21, 2*z + o + 3 = -0*o. Let a(k) = -k**2 + k + 3. Let s be a(z). Is (0 - 267)*3/s prime?
True
Suppose 3*u + 85 = 1978. Is u prime?
True
Suppose 4*h = 5*n + 41, 0 = h - 4. Is (1/3)/(n/(-555)) a composite number?
False
Suppose 17 + 23 = -5*q. Let l = 3 + q. Is 1/l + 3122/35 a composite number?
False
Let b(n) = -n**3 + 8*n**2 - 4*n + 8. Let m(s) = 3*s**3 - 23*s**2 + 13*s - 23. Let r(t) = 8*b(t) + 3*m(t). Suppose 4 + 0 = p. Is r(p) a composite number?
False
Suppose -3*s = -6*s + 9. Suppose 2*p + s*p = 10. Suppose -p*b - 103 = -t, -5*t + 5*b = -3*t - 209. Is t composite?
False
Let h(r) = -r**3 - 7*r**2 + 7*r + 5. Suppose -2*a = 15 + 1. Is h(a) a prime number?
True
Suppose -p = -5*p - 1188. Is p/(-3) - (-4)/(-2) a composite number?
False
Suppose 1469 - 99 = 5*s. Is s prime?
False
Suppose -10*a = -12*a + 1294. Is a a composite number?
False
Is ((-610)/(-3))/((-4)/18*-3) prime?
False
Let h = 33 + 36. Is h a prime number?
False
Let f(k) = 0*k - k - 3*k**2 + 23*k**2 + 1 - k. Is f(-2) a composite number?
True
Let v(t) = t - 8. Let p be v(8). Suppose 4*u = -p*u - 24. Is u/27 - (-130)/18 a composite number?
False
Let k = -12 + 6. Let j = k + 6. Is 91 + j - (3 - 1) composite?
False
Let p(n) = -2*n - 5. Let l be p(-5). Let f(x) = x**3 - 3*x**2 - 4*x - 5. Is f(l) composite?
True
Let f = 14 - 3. Is 11/f + (-1 - -479) a composite number?
False
Let a = 445 - 254. Is a a prime number?
True
Let v(b) = 3*b**2 - 15*b - 3. Let r(h) = -12*h**2 + 61*h + 13. Let y(q) = 2*r(q) + 9*v(q). Is y(10) prime?
False
Suppose 2*y = y - 3*d + 2587, -d + 2583 = y. Is y a prime number?
False
Let a = 0 + -4. Is a*(-3 + 914/(-8)) prime?
False
Suppose 3*x - 134 = x. Is (-1*x)/(0 - 1) composite?
False
Let r(z) = -1. Let h(p) = -3*p - 14. Let k(l) = h(l) - r(l). Is k(-13) a prime number?
False
Suppose 0*l = 3*l + 57. Let w = l + 31. Suppose 0*y = -4*y + w. Is y a prime number?
True
Let q be (-2)/7 - (-64)/28. Suppose q*n + 5*w - 8 = 0, 3*w + 12 = 3*n + 5*w. Suppose -4*p = -p + 3*o - 39, 5*p = -n*o + 63. Is p a composite number?
False
Let y be 1 + -1*(1 + -2). Let z be (-903)/12 + y/8. Let b = -54 - z. Is b composite?
True
Let g = -14 + 27. Is g prime?
True
Let x(i) = -i**2 - 9*i - 1. Let b be x(-8). Let o(r) = 2*r**2 - 7*r + 10. Is o(b) composite?
False
Let v be 4/5 - (-1641)/5. Let i = -152 + v. Is i composite?
True
Let a be (-684)/(-4 + 1) - -2. Suppose a = 5*w + 5*n, -n + 0*n - 3 = 0. Is w a composite number?
True
Let n be -10 - -7 - -2*223. Suppose -5*y = -3*v + 356, 5*v + 5*y - n = 97. Let h = 165 - v. Is h a composite number?
False
Let k(m) = 5*m**2 + 7*m - 4*m**2 - 1 + 4 - 4*m. Is k(-11) a composite number?
True
Let i be (-2 - (-2)/1)/(-2). Suppose -5*j - 2*k = 2*k - 3835, -2*j + 3*k + 1534 = i. Is j prime?
False
Let u(s) = s**2 - 4. Let g be u(0). Let l = g - -7. Suppose -l*t + 108 = 3*p - 102, 5*p - 5*t = 300. Is p a prime number?
False
Suppose a - 2*a + 347 = 2*h, 0 = 3*h - a - 513. Suppose -h + 7 = -3*b. Is b a prime number?
False
Suppose -2877 = -h - 2*m, 0 = 2*h - 4*m + 979 - 6765. Is h prime?
False
Suppose 2*l = 2*f + 3*f - 18, l + 14 = 5*f. Let y(i) = 3*i**3 + 4*i - 3. Let j be y(f). Suppose -5*n = -j - 16. Is n prime?
False
Suppose -4 = -u + 6. Is (-2)/u + 