prime number?
True
Suppose 0 = -4*y - 359 - 53. Suppose -5*k - 25 = 95. Let z = k - y. Is z prime?
True
Let y = -76 - -143. Is y a prime number?
True
Let r be -51 + (-3)/3 + -2. Let z(c) = 2*c**3 + 3*c**2 + c - 1. Let m be z(-5). Let y = r - m. Is y a prime number?
True
Let d(m) = -m**2 + m. Let y be d(-1). Is 159*2*y/(-12) a composite number?
False
Suppose 5*u + 1 = -z + 6, -u + 10 = 2*z. Suppose u*l = 5*l - 1225. Suppose 0 = 5*x + 5*d - l, 5*x - 2*d + 0*d - 231 = 0. Is x prime?
True
Suppose 5*b - 3449 = 2*m, -3*b + 0*b - 4*m + 2059 = 0. Is b a composite number?
True
Let j(k) be the first derivative of -k**3/3 + 7*k**2/2 - 1. Is j(5) prime?
False
Suppose 0 + 15 = 5*j. Suppose x + 10 = s + j*s, s + 5 = 4*x. Is ((-188)/(x + 0))/(-2) a prime number?
True
Let j(y) be the second derivative of 1/12*y**4 - 1/6*y**3 - 7/2*y**2 + 0 - y. Is j(6) a prime number?
True
Suppose 31 = 3*j + 4*a, 3*a = -5*j - 2*a + 45. Suppose -2*u = -n - 4*u + 371, 2*u = -j*n + 1855. Is n prime?
False
Let c be 4 + (-1)/1 + -1. Suppose c*z - 38 = 32. Is z prime?
False
Let y be 6 - (4 - 9/3). Suppose 2*i + 57 = y*j, 3*i = j + 7*i - 29. Is j prime?
True
Let n(m) = 25*m**2 + 13*m - 17. Is n(5) a prime number?
True
Let m = 5 - 3. Suppose -m*s - 11 = 173. Is -1 + (2 - s)*1 a prime number?
False
Let l = -1 + 13. Suppose -703 = -5*p + l. Is p composite?
True
Let h be (-2)/(-2)*1*13. Let d be (24/5)/((-10)/(-75)). Suppose -d = -l + h. Is l composite?
True
Let i(f) = 8*f**3 + f**2 - f - 1. Suppose 14 = 9*x - 2*x. Is i(x) a composite number?
True
Let i = -4 + 3. Is 15*i*(0 - 1) composite?
True
Let b be 1/2 + 7/2. Suppose 5*v = b*v + 26. Is v a prime number?
False
Let j = 5 + -8. Let s = j - 0. Let p(o) = 4*o**2 + o + 2. Is p(s) a prime number?
False
Suppose 2*z - 2875 = 2259. Is z composite?
True
Is (-11)/2*2/(-1) a prime number?
True
Suppose 10*h = 5*h + 2405. Let s = -290 + h. Is s a prime number?
True
Let i(p) = -p + 7. Let a be i(5). Suppose -a*x = 3*c + 27, 2*x = -3*x - c - 61. Is ((-34)/(-4))/((-2)/x) a composite number?
True
Suppose -10824 = -5*d - 3474. Let y = d - 989. Is y a prime number?
False
Suppose 2*l = 2743 + 4551. Is l prime?
False
Suppose -2 = -x, 3*l = x + 124 + 1011. Is l composite?
False
Let j(n) = -n**3 - 6*n**2 - 3*n + 12. Let y be j(-5). Suppose -y*t + 194 = -0*t. Is t a composite number?
False
Let c be (-2 - -2)/(-4) + 4. Suppose -3*i - 959 = -c*i. Is i composite?
True
Suppose n + 2*f - 411 = 0, 3*n = -3*f - 81 + 1311. Is n composite?
False
Let z = 7 - 7. Suppose z*t + 3*t = 6. Suppose j - 5*j + 34 = f, t*f - 107 = 5*j. Is f composite?
True
Let v(z) = -z**2 - z + 2. Suppose 2*k = 3*q + 7 - 20, 3*q - 7 = -k. Let g be v(k). Suppose 0*u + 5*u - 285 = g. Is u a composite number?
True
Let p = 26 - 57. Suppose 5*h - 267 = 283. Let x = h + p. Is x a composite number?
False
Let s(i) = -3*i**3 + 7*i**2 - 4*i + 13. Let j(c) = 6*c**3 - 14*c**2 + 8*c - 27. Let p(n) = -2*j(n) - 5*s(n). Is p(7) prime?
False
Let o = -1 - -2. Is (o/(-3))/((-3)/36) prime?
False
Suppose -3*i + 2*t + 1497 = 0, 4*i - 2*i - 4*t - 1006 = 0. Is i composite?
True
Let h(c) be the third derivative of c**5/60 - c**4/24 + c**2. Let u(y) = 6*y**2 + y + 3. Let g(i) = -2*h(i) + u(i). Is g(4) a composite number?
False
Let w(v) = 37*v. Is w(1) composite?
False
Let z(b) = -13*b + 1. Let w be (4 - 2)*30/(-4). Let o = w + 3. Is z(o) prime?
True
Is (508/6)/(12/54) composite?
True
Let p = 1062 - 547. Let s = p + -366. Is s a prime number?
True
Let g(j) = -81*j + 3. Let x be g(2). Let u = 748 - x. Is u a prime number?
True
Let c = -21 + 36. Suppose u = 6*u - c. Is u composite?
False
Is (-1 - 5518/10)*110/(-44) a prime number?
False
Suppose -955 = -b - 5*f, 2*b + 5*f - 2865 = -b. Is b composite?
True
Suppose 0 = -2*v - 2*a + 12, 6 = 5*a - 19. Is 157/((-1)/(v/(-1))) a composite number?
False
Let o(z) = z**2 - 5*z + 1. Let d be o(-4). Suppose -2*i = -77 - d. Is i prime?
False
Let o be (-1)/((7/(-4))/7). Suppose -o*i + 184 = -2*i. Let u = i + -43. Is u composite?
True
Let m = 99 + -76. Is m prime?
True
Let h = 295 + 627. Is h prime?
False
Let v(s) = -1 + 1 + s**2 + 3 - 2*s. Let b(o) = o**2 + o + 2. Let a be b(-2). Is v(a) composite?
False
Let m(s) be the second derivative of -s**3/6 + 25*s**2/2 - 3*s. Is m(0) prime?
False
Suppose 16*o = 18*o - 30. Is o a composite number?
True
Let m = 3 + 0. Suppose -4*a + 6*a + 76 = 2*i, 0 = -m*a + 2*i - 115. Let v = 8 - a. Is v a composite number?
False
Suppose 1982 - 8577 = -5*j. Is j composite?
False
Let d be (-16)/(-10) - (-12)/30. Suppose 5*f - d*g + 3*g = 381, -5*f = -5*g - 405. Is f composite?
True
Suppose 2*y - 26 - 2 = 0. Suppose -i - 23 = -d, -d - y = i + d. Let l = 35 + i. Is l prime?
False
Let o(p) = -3*p**3 - 2*p**2 - 5*p + 11. Is o(-5) a composite number?
True
Let f = 60 - 27. Suppose -4*c + f = -3*c. Is c composite?
True
Let q(x) = -x**3 - 11*x**2 - x - 11. Let n be q(-11). Suppose n*y - 3*y = -1113. Is y a prime number?
False
Let v(a) = 29*a + 3. Let p be v(-3). Is 0 - 0 - p - 1 a composite number?
False
Let t(r) = -7*r**3 + 8*r**2 + 9*r - 1. Is t(-7) composite?
False
Let p = 301 - 190. Is p a prime number?
False
Let p(r) = -r - 4. Let a be p(-6). Suppose 2*y + 101 = 3*m + 6*y, -m - a*y = -33. Is m a composite number?
True
Let u(k) = k**3 + 11*k**2 + 5*k + 9. Is u(-10) composite?
False
Suppose 10 = d - 0*d. Suppose -d = -2*n + q, -2*n - 3*q = 2*n. Suppose -4*h + 84 = -n*s, s + 105 = 5*h - s. Is h composite?
True
Let x = 2900 - 1858. Suppose 27 - x = -5*v. Is v a prime number?
False
Suppose 0 = -2*s - 0 + 6. Let r = s + 10. Is r prime?
True
Suppose 4*j = -2*p - 6, 0 = 4*p - p - 5*j - 24. Let x = 3 - p. Suppose -4*y - 8 = x, -u = 3*u - y - 174. Is u prime?
True
Let y = -7 + 8. Is 1 + (2 - y*-56) composite?
False
Let y(p) = -p**3 - 2*p**2 + 4*p - 6. Let d be y(5). Let z = d + 276. Is z prime?
False
Let q(x) = -1406*x**3 + 1. Let r be q(-1). Suppose 6*i = 3*i + r. Is i a prime number?
False
Let i = -449 + 1138. Is i a prime number?
False
Suppose c = 4*c - 3*z - 15, 25 = 5*c + 2*z. Suppose 0*o - 491 = -3*o + c*t, 0 = 4*o + 5*t - 608. Is o composite?
False
Suppose 3*c + 326 = 4*c. Suppose c = 6*d - 4*d. Is d composite?
False
Suppose y + 5*n + 5 = 0, -2 = -6*y + y + 2*n. Let p be (-3 - -3)*(1 + y). Suppose p*x = -4*x + 1012. Is x a prime number?
False
Let o = 1222 - 173. Is o a composite number?
False
Suppose -2*l = 2*l - 16. Suppose -b - b + l = 0. Suppose 4*u = 8, -b*u - 102 - 66 = -4*s. Is s a composite number?
False
Let k(w) = -w + 9. Let d be k(8). Let i(x) = 3*x + d + 2 - 1. Is i(7) a prime number?
True
Suppose -3*k = 2*k + 200. Let u = k + 78. Suppose u = 4*f + 14. Is f prime?
False
Let p = -1543 + 2420. Is p prime?
True
Suppose 5*y + 9 = -4*w - 35, -5*y = 5*w + 50. Let o(u) = -u**3 - 2*u**2 + 8*u + 7. Is o(w) prime?
True
Suppose d + 69 = 5*z, 5*z - 6 = -d - 95. Suppose 3 = -3*o + x, -3*o - 3 = x + 3*x. Is (-2)/(-2) - (d - o) a composite number?
False
Let p = 16 + -8. Suppose -6 = -3*m - 0. Is m/p + (-267)/(-4) a composite number?
False
Let a(w) = w**3 - 13*w**2 - 6*w + 15. Is a(14) composite?
False
Suppose -5 = -3*m + 1. Suppose -5*y + 3*s = -170, -2*y = -0*y + m*s - 84. Is y prime?
True
Let f be (2 - 1) + 2 + 2. Suppose 2*p = f*p. Suppose -6*w + w + 95 = p. Is w prime?
True
Let l = 4 - 8. Let x be l*3 + (-1 - -3). Let n = 25 + x. Is n composite?
True
Is (-106 - 0)*(7 + (-17)/2) prime?
False
Suppose 0 = -4*j, 0 = 2*z + 4*j - 2*j + 4. Let l(i) = -i**3 + i. Let w(t) = -10*t**3 + 2*t**2 + 10*t + 3. Let k(d) = -6*l(d) + w(d). Is k(z) prime?
False
Suppose 0 = s + s - 14. Suppose 4*y + 10 = -j, -2*y + 19 = 2*j - s*y. Suppose -k - 5*b = -32, -j*b + 108 = 3*k + b. Is k prime?
True
Let p be ((-8)/(-20))/(1/5). Suppose -p*q + 5*q = 0. Let u = 3 - q. Is u composite?
False
Suppose 3 = -0*t + 3*t. Is t*4/(-16)*-124 a composite number?
False
Suppose 5*y - 108 - 177 = 0. Suppose 0*h - 5*u = -3*h + 1, 4*h = -5*u + 13. Suppose y = z + 6*r - 2*r, -h*z = 5*r - 99. Is z composite?
False
Let f(z) = -z**3 + 25*z**2 + 21*z - 16. Is f(13) composite?
True
Suppose -454 = 2*g - 4*g. Suppose -3*a + 189 = 3*n + a, 4*n - 3*a = g. Is n a composite number?
False
Suppose 3*t + 4*g = 158, 5*g - 13 = 12. Let r = -1 + 1. Suppose -f + 3*f - t = r. Is f a composite number?
False
Let a(h) = 13*h**3 - 3