-154. Is o a composite number?
True
Suppose 4*o - 446 = 118. Is o prime?
False
Suppose n - 1231 = -2*n + 4*s, -4*s = 4. Suppose 116 = -f + n. Is f a composite number?
False
Let j = 7 - 4. Suppose -j - 15 = -3*w. Is w prime?
False
Is -1 + 1 - (-273)/3 a composite number?
True
Let a(w) = -68*w**3 - 3*w**2 + 3. Is a(-2) a prime number?
False
Let d = 310 - -29. Suppose -565 = -5*l + 5*w, -3*w = 3*l - 2*w - d. Is l prime?
True
Suppose 0 = -3*u - i + 476, -2*u + 0*u = 5*i - 339. Is u composite?
False
Let f(s) be the third derivative of s**6/15 - s**5/60 - s**3/6 + s**2. Let n be f(-2). Is (6/9)/((-2)/n) a prime number?
True
Let z(d) = 13*d. Suppose 0 = 4*v - 0*v - 20. Let u be z(v). Suppose 5*x + 20 = u. Is x a composite number?
True
Let o = 10 - 12. Is 662/o*-1 - 0 prime?
True
Is 0/1 + 679/7 composite?
False
Suppose -455 - 138 = -h - 3*w, 2338 = 4*h - 5*w. Is h composite?
False
Let u(y) = 21*y + 1. Is u(5) composite?
True
Let h(a) be the first derivative of a**3/3 - 3*a**2 - a + 9. Is h(-6) a prime number?
True
Let q(x) = 5*x**2 - 3*x - 4. Let f be q(3). Let v = f + 109. Suppose -5*a = -8*a - 3*p + v, -5*p + 106 = 2*a. Is a prime?
True
Let j = 15 + -8. Is j prime?
True
Let j(k) = -k**3 + 9*k**2 - 7*k + 2. Let y(o) = o**3 - 5*o**2 + 5*o - 6. Let u be y(4). Let w be 38/5 - u/5. Is j(w) a prime number?
False
Let w(s) = 116*s - 35. Is w(16) a prime number?
False
Let c = -40 - -71. Let h(a) = 3*a - 3. Let u be h(-5). Let q = c + u. Is q a prime number?
True
Suppose -56 = -3*v + 2*v. Suppose 3*c - 1 = v. Is c composite?
False
Let d(u) = 0 - u - 7*u + 4*u - 1. Is d(-15) composite?
False
Let z(c) = 8*c**2 - 40*c - 27. Is z(19) a prime number?
False
Let y be ((-3)/2)/((-6)/152). Let q(a) = 5*a**2. Let m be q(1). Suppose 0*r = -2*r - m*k + y, -3*k = 0. Is r prime?
True
Let o(a) be the first derivative of a**4/4 - 2*a**3/3 + a**2/2 - 2*a + 3. Is o(3) a prime number?
False
Suppose 5*i = 6*i + 71. Let g be (i - 1) + 1*-2. Let s = 127 + g. Is s a prime number?
True
Let f(s) = 9*s**2 - 2*s - 24. Is f(7) prime?
False
Let a(j) = -3*j + 31. Let c(h) = 5*h - 47. Let z(r) = -8*a(r) - 5*c(r). Let w be z(-7). Is (w/(-3))/(2/7) composite?
False
Let v(m) = 2*m**3 - 5*m**3 + 0 + 2 + 4. Let s be v(-5). Suppose 0 = 5*z - 2*z - s. Is z a prime number?
True
Let r(d) = 6*d**2 - 3*d - 13. Is r(10) composite?
False
Let a = -2 - -5. Suppose -u + 4*z + 14 = a, 0 = u + 4*z + 5. Suppose 22 = t + u. Is t a prime number?
True
Let k(x) = x**2 + x - 2. Suppose 3*v + 1 + 5 = 0. Let f be k(v). Suppose 0 = -3*s + 5*j - 20 + 106, f = s + j - 42. Is s prime?
True
Let a be -1 + 1/(0 + 1). Suppose a = 3*z + 2*z - 2525. Is z composite?
True
Let v(k) = -248*k - 25. Is v(-4) composite?
False
Let o(h) = -112*h - 1. Let x(m) = m**3 + 2*m**2 - 1. Let n be x(1). Suppose -7 = 5*t - n. Is o(t) composite?
True
Let p(u) = 14*u**3 - 3*u**2 + 6*u + 7. Is p(6) a composite number?
True
Let k(m) = m**2 + 3*m + 1. Let n be k(5). Let b = 67 - n. Is b a prime number?
False
Let w(b) = 98*b - 1. Suppose -5*j + 10 = 4*v - 0*j, -3*v - 4*j = -7. Let q be w(v). Suppose 3*n + 0*n - q = 0. Is n composite?
False
Let a = 212 - 63. Is a composite?
False
Let n = -36 + 69. Is n composite?
True
Suppose 5*w + v + 93 = 0, -4*w - 39 = v + 36. Let j = 94 + w. Suppose -g + 4*g - 229 = 2*f, f + j = g. Is g a prime number?
False
Let h(k) = 4*k**2 + 7*k - 4. Is h(11) a composite number?
False
Suppose -2*x = -3*j + 146 + 529, 0 = -4*j - 3*x + 883. Is j a prime number?
True
Let i be (4/(-2))/(4/(-6)). Suppose i*x - 139 = -46. Is x composite?
False
Let g = 16 + -6. Let n be -2 - (g/(-2) + 0). Suppose -n*m = m - 124. Is m composite?
False
Suppose -4*j - 3*y - 45 = j, -3*j - 4*y = 38. Let t(b) = -8*b + 7. Is t(j) a composite number?
True
Let z be 114938/(-14) - 2/14. Is (-6)/(-10) + z/(-25) a prime number?
False
Suppose -3*o - 4*q - 1381 = -102, -o - 2*q - 427 = 0. Let r = o + 630. Is r a prime number?
False
Suppose -3*z + 2*z + 293 = 0. Is z a prime number?
True
Let j(z) = 52*z**2 + 2*z - 1. Let r = 0 + 0. Let w = 1 + r. Is j(w) a prime number?
True
Let f(x) = -x + 11. Let g be f(9). Let y be (0/(-2) - g) + 1. Is (7 + y)*(-13)/(-2) composite?
True
Let m(g) = 30*g**2 + 1. Is m(1) composite?
False
Is (-473)/(-4) + 33/44 a composite number?
True
Suppose -3006 = -4*d - 2*s, -4*s + 2*s = -d + 749. Is d composite?
False
Let h = 982 + -675. Is h a composite number?
False
Let l = -584 - -894. Let u = -161 + l. Suppose 26 = 5*v - u. Is v composite?
True
Let g = 253 - -35. Suppose 0 = -5*y + y + g. Let f = y - 39. Is f a prime number?
False
Let j = -1502 - -3295. Is j a prime number?
False
Let f = 32 - -47. Is f a prime number?
True
Let a(y) = 229*y - 7. Is a(6) a composite number?
False
Let g be (-1052)/(-10) - 7/35. Suppose 0 = 3*j - 48 - g. Is j prime?
False
Suppose 5*u - 2*f = 10 + 3, -4*u + 2*f = -10. Let m be (2/6)/(u/81). Suppose -4*b = -2*b - 4*i - 42, -b - i = -m. Is b prime?
True
Let x be (-2)/7 + 37/7. Suppose -f - 79 = x*j, -3*f + 95 = -5*j - 8*f. Let y = 37 + j. Is y prime?
False
Let w be 10/(-45) - (-722)/9. Suppose 2*o = -2*o + w. Is (-8)/o - (-374)/10 a prime number?
True
Let k(b) = -b**2 - 1. Let m(p) = 4 + 5*p + 5*p**2 - 5*p - p. Let f(z) = -6*k(z) - m(z). Is f(3) a composite number?
True
Suppose y + 4*y = 155. Suppose -4*j = -p + 59, 5*j = -p - y + 90. Is p composite?
False
Suppose 3 = -2*w + 19. Is -3 + w + -3 - -17 a prime number?
True
Suppose -3*l - 5*b - 89 = -3*b, 0 = 3*l - 5*b + 103. Let t = l + 491. Suppose -3*w + 113 = -t. Is w a prime number?
True
Let f(x) = x**3 + 3*x**2 - 4*x - 1. Let s be f(-4). Is (1/(-2))/(s/434) a prime number?
False
Let v(u) = -16*u**3 + u**2 - u - 4. Let z be v(-3). Suppose -290 = -2*g - 4*n, 3*n + 31 = 3*g - z. Suppose -4*h + g = -163. Is h composite?
False
Suppose -74*q + 73*q = -307. Is q a composite number?
False
Suppose 11 - 3 = 3*d - a, -4*d = -a - 10. Let s = d - 2. Suppose 4*p - 131 = -6*t + 3*t, t + 5*p - 29 = s. Is t prime?
False
Let f(k) = -k**3 - 10*k**2 - 9*k. Let p be f(-9). Suppose -4*s + 4 + 4 = p, z + s - 2 = 0. Suppose z = r - 4, d + 1 = 3*r + 63. Is d a composite number?
True
Let l(d) = -26*d + 11. Is l(-10) a prime number?
True
Let t be 28/(-5) + 6/(-15). Is (4/t)/((-8)/660) prime?
False
Is 948/9 - (-4)/6 prime?
False
Suppose -m = m - 2*q - 6, 5*m + 2*q = 15. Suppose 3*n = -2*h + 208, -m*n + 206 = h - 0*h. Let g = -33 + n. Is g a composite number?
True
Let u(l) = 2*l**2 - 2*l + 6. Let p be u(8). Suppose 163 = 4*t - t + s, -2*t - 3*s + p = 0. Is t a composite number?
False
Let n(g) = 17*g**2 - 10*g - 2. Is n(5) prime?
True
Let b(h) = 2*h**2 + 3*h - 7. Is b(4) prime?
True
Let o(k) = k**2 - 7*k + 8. Let l be o(6). Suppose 0 = -l*q - 0*q + 50. Is q prime?
False
Let f = 3 - 1. Suppose 0*a = -f*a + 124. Is (a/3)/((-8)/(-12)) a composite number?
False
Suppose -u + 6*u - 8120 = 0. Suppose s = -3*s - w + u, w + 1225 = 3*s. Is s composite?
True
Let m(h) be the third derivative of h**4/24 + h**3/2 - h**2. Let x be m(10). Suppose 2*v = 4*i - 0*v - 24, 0 = 3*i - 4*v - x. Is i a prime number?
True
Suppose 0 = -o - 1 - 1. Is (-1208)/(-12)*(-21)/o a composite number?
True
Suppose 4*t + 0 = 8. Suppose -4*l + 0*w + 660 = -t*w, 5*l - w = 819. Is l a prime number?
True
Suppose -26*o + 23*o = -1005. Is o prime?
False
Let t = 5 - 5. Let x = 0 - -3. Suppose -x*r + 69 = -2*k, t = r + k + 4*k - 6. Is r a prime number?
False
Suppose 3*k + k - 520 = 3*v, -5*v = 5*k - 615. Is k a composite number?
False
Let x(d) = 120*d**2 - 1. Let n be x(-1). Suppose -4*s = -f - n, -s + 0*f = 2*f - 41. Let v = s + 234. Is v a prime number?
False
Let z(j) = 258*j**2 + 3*j + 2. Is z(-1) a composite number?
False
Is 6/2 - (-56 - -1) a composite number?
True
Let f(g) = 373*g. Let k be 3 + -5 + (3 - 0). Let h be f(k). Suppose 0 = -3*r - 5*n + h, -5*r + n + 440 = -163. Is r prime?
False
Let z(g) = 6*g**2 + 1 - g + 33 - 5*g**2 + g**3. Let f be z(0). Suppose 0 = -2*n - 0*n + 4*r + f, 3*n - 33 = -3*r. Is n composite?
False
Let x be (-1)/(-1)*(4 + -1). Suppose 4*o + 497 = g - 4*g, 12 = x*o. Let n = 376 + g. Is n a prime number?
False
Let x(l) = 8*l**2 + 2*l + 1. Is x(13) prime?
False
Suppose q = -2*q - 2*s, -3*s = -3*q. Suppose -3*a + 1254 = -4*o + 149, -a - 5*o + 381 = q. Is a prime?
False
Let j = -764 - -1665. Is j composi