2*j. Is p composite?
True
Suppose 0*z - 6 = -3*z. Suppose 3*p = -8*n + 3*n + 75, -2*n + 3*p + 51 = 0. Is n - (4/(-2))/z prime?
True
Let n(u) = 25*u**2 + 5*u - 5. Let o be n(-5). Suppose t + 4*t + o = 5*q, 0 = 3*t. Is q composite?
True
Let b(q) = -q**3 - 6*q**2 - 4*q - 8. Let y be b(-6). Let w = y + 9. Is w a composite number?
True
Suppose 0*c - 298 = -2*c. Is c composite?
False
Suppose 3*z = -4*x + 73, 4*x = -2*z + 7*z - 175. Let r(p) = p**3 - 5*p**2 - 3*p + 2. Let l be r(6). Let n = z - l. Is n a composite number?
False
Suppose 0 = y - 0 - 4. Suppose -2*s + y*b = 28 - 274, -641 = -5*s - 3*b. Is s prime?
True
Let q(g) = g**2 + 2*g + 2. Let x be q(-2). Let n = 13 + -11. Suppose n*b - 5*t - 84 = 0, 0 = -b + 4*b - x*t - 115. Is b prime?
True
Suppose -3*p = -4*p + 1. Let a be -1*(0 - 3)*p. Suppose 2*x = a*x + 2*w - 61, 3*x = 2*w + 151. Is x prime?
True
Let n(l) = 43*l**2 - 2*l. Let g be n(-2). Let x = 41 + g. Is x a prime number?
False
Let r = 6 + -7. Let g(d) = 298*d**2 - 2*d - 1. Is g(r) a composite number?
True
Let h(z) = 64*z + 11. Let i be h(6). Suppose 417 = 4*s - i. Is s a prime number?
False
Let k(n) = -2*n**2 - 5. Let f be k(5). Let y = 4 + f. Let r = 174 + y. Is r a prime number?
False
Let k = 247 + -83. Is (5 - 2) + k/2 a prime number?
False
Is ((-6195)/12)/(-5)*4 a prime number?
False
Suppose 2*t - 131 = -7*s + 4*s, t - 63 = -4*s. Is t a prime number?
True
Suppose -4*n + 0*a - 5*a + 1565 = 0, 0 = -n + 3*a + 404. Is n composite?
True
Suppose 2*c = c + 82. Is c composite?
True
Let o be (-6*2)/(-2) - 0. Let v(i) = i**3 - 6*i**2 + 8*i + 5. Is v(o) composite?
False
Suppose -3*c = w - 5*c - 1111, 4*c = -20. Is w a prime number?
False
Let v be 1059/((-4)/(24/(-9))). Let r = v - 491. Is r composite?
True
Is 87/((6/22)/1) a composite number?
True
Suppose -2*g + 1047 = 5*u, -5*g - 864 = -2*u - 2*u. Is u composite?
False
Let l(s) = -3*s**2 + s - 11. Let f(x) = -1. Let m(r) = 6*f(r) - l(r). Is m(-9) composite?
False
Let v = 1276 - 738. Let m = v + -71. Is m a prime number?
True
Suppose -2*l = l - 4*h - 1745, 2*l - 5*h - 1161 = 0. Is l composite?
True
Let f(v) = -v**2 + 7*v. Let o be (-27)/2 - (-2)/4. Let t = o - -19. Is f(t) a composite number?
True
Suppose 5*z + 1872 = 4*n + 292, -n + 395 = 4*z. Is n prime?
False
Let d = 409 - 158. Is d composite?
False
Let q(g) = g**3 - 6*g**2 - 7*g - 1. Let m be q(7). Let b(w) = 3*w**2 - 1. Let c be b(m). Suppose 0 = c*d - 22. Is d a prime number?
True
Is 68 + 3/(-3) + 0 composite?
False
Suppose 0 = 4*a - 357 - 287. Is a a prime number?
False
Let k(w) = 2*w**2 + 3*w - 4. Suppose 4*s + 28 = -2*o, 10 = -4*o - 6. Let n(p) = -3*p**2 - 2*p + 4. Let t(f) = s*k(f) - 6*n(f). Is t(-3) a prime number?
False
Let j(g) = 566*g**3 - g**2 + g - 1. Is j(1) a composite number?
True
Let r(y) = y**2 + 14*y + 7. Let i be r(-14). Let m(v) = v**2 + 3*v - 1. Let t be m(-4). Suppose i*k - t*k = 76. Is k a prime number?
True
Let j(w) = w**3 - 8*w**2 + 4. Let i be j(8). Let k(o) = -2*o + 4 + 0*o - i*o + o**2. Is k(7) composite?
False
Suppose 0*m + 5 = m. Suppose 3*c = -5*r + 6*c + m, -2 = 2*r - 2*c. Suppose 11 + 1 = r*d. Is d a composite number?
False
Let f be (-70)/(-22) + 16/(-88). Suppose -5*k = 2*v - 417, -4*k - f*v + 336 = -2*v. Is k a composite number?
True
Let t = 16 - 10. Suppose -t = -y - 2*y. Suppose 0 = -y*h + 6*h - 884. Is h a prime number?
False
Let u(c) = -c + 7. Let b be u(5). Suppose 0 = -4*w + b*w. Suppose 0*o = -5*i - o + 171, 5*i + 4*o - 159 = w. Is i composite?
True
Suppose -4*u - b = -4 - 42, -4*u = -b - 42. Is u a prime number?
True
Let w(d) = 56*d**2 - 2*d + 2. Let z be w(2). Suppose -c - z = -3*c. Is c prime?
False
Let v(a) = 31*a**2 - a - 1. Is v(7) a prime number?
True
Let i = 11 - 4. Suppose -4*q + 491 = 5*p, -2*q - 3*p + i*p + 226 = 0. Is q a prime number?
False
Let b(i) = 121*i**2 - 2*i - 3. Suppose 6 = -0*s - 3*s. Is b(s) composite?
True
Suppose y - 4*y = -4*c - 3127, -c = 5*y - 5250. Is y a prime number?
True
Suppose v - 2 = -v - 2*d, -v + 4*d = 9. Is 21 + v + -4 + 3 prime?
True
Suppose 6*s = 2*s + 4. Let v(u) = 90*u**2 + 1. Is v(s) prime?
False
Suppose 8 = 3*n - 1. Suppose t - n*r = 229, -214 = -2*t + t - 2*r. Suppose -t = f - 5*f. Is f prime?
False
Let y = 19 + -13. Let h(c) = 8*c - 6. Let l be h(y). Suppose z - l = 27. Is z a prime number?
False
Is 2 - 14540/(-15) - (-4)/(-12) a prime number?
True
Let k = -4 - 3. Let l(i) = 3*i**2 - 6*i - 10. Is l(k) composite?
False
Suppose 0 = -4*x + 2*x + 78. Suppose -x = 3*f - 1050. Is f prime?
True
Let s(b) = -2*b**3 - 2*b**2 - 2*b + 6. Let p be s(7). Let l = -499 - p. Is l a composite number?
False
Suppose v + 2*u = 9, 4*u + u - 15 = 0. Suppose v = 2*s - 3. Is -1*-19*(s + -2) composite?
False
Let u(f) = -30*f + 29. Is u(-14) a composite number?
False
Let x be -1 + 1 + 23 - 2. Let r = x - 2. Is r a prime number?
True
Suppose 2*i = 3*i. Suppose -5*o + 462 + 473 = i. Is o composite?
True
Suppose -2*u - 324 = 2*u. Let f = u + 208. Is f a composite number?
False
Suppose 5*x - x + 4*o = 0, 2*o = 2*x - 20. Suppose -x*y = -3*r + 7, -4*r + 0*y + 4 = -4*y. Is (r*2)/2*-37 a prime number?
True
Let d = 24 + 40. Suppose 233 = -4*o + 53. Let j = d - o. Is j a composite number?
False
Let g(l) = 8*l**2 + l - 3. Let b be g(-8). Let p = b - 130. Is p a composite number?
True
Suppose -f + 74 = f. Let k be (-12)/(-15)*140/(-8). Let p = f + k. Is p a composite number?
False
Is (0 + 11/5)*5 composite?
False
Let j(k) = 3*k - 13. Let b(z) = -z - 1. Let u(n) = 2*b(n) + j(n). Let s be u(8). Let y = 8 - s. Is y a prime number?
False
Suppose 0 = 5*w - 13124 - 5771. Is w prime?
True
Suppose -26 = -v + 2*m, 2*v - v - m = 28. Suppose 0 = -g + 4, 0 = 4*n - 9*n - 5*g + 235. Let d = n - v. Is d a prime number?
True
Suppose -15 = -g - 4*g + 3*a, -6 = -2*g - 2*a. Suppose -2*i = -2*f + 160, 109 + 36 = 2*f + g*i. Is f a prime number?
False
Let i(y) = 8*y - 3. Let r(z) = -z**2 + 5*z - 1. Let o = -2 + 6. Let q be r(o). Is i(q) composite?
True
Suppose -3*i + i = -42. Suppose 2*c + 12 = 4*f, 0 = f - 6*f + 15. Suppose -3*u + i = -c*u. Is u prime?
True
Let l(g) = 5*g - 6. Let o be l(2). Let r(w) = 11*w**2 + 5*w + 4. Let z be r(-4). Suppose o*k - 540 = -z. Is k prime?
False
Let w(d) = d**3 - 5*d**2 + 3*d - 2. Let i be w(5). Let l = i - 2. Is l a composite number?
False
Let w(h) = 119*h - 4. Is w(17) prime?
False
Is 252 - (0 - -1 - 0)/1 composite?
False
Let d be (-234)/(-8) - (-2)/(-8). Let y(n) = -2*n**3 - 2*n**2 + 2*n + 1. Let f be y(2). Let h = f + d. Is h a composite number?
True
Let n(l) = 5*l**2 + 2. Is n(5) a composite number?
False
Let a(o) = 65*o - 12. Is a(7) prime?
True
Let w(p) = -5*p**3 - 4*p**2 + p + 1. Let r(a) = -a**3. Let c(u) = -4*r(u) + w(u). Is c(-5) prime?
False
Let t(m) = m**3 - 7*m**2 - 7*m - 10. Is t(9) a prime number?
True
Let k(w) = -w + 1. Let d(z) = 1. Let o(s) = -4*d(s) + 5*k(s). Let p = -11 - -5. Is o(p) a composite number?
False
Let o(p) = 9*p - 5. Let g be o(6). Let b(y) = y**2 - 7*y - 17. Let t be b(14). Suppose -2*q = -t - g. Is q a composite number?
True
Suppose 3*w - 1 - 2 = 0. Let l = 18 + -3. Is (1/1)/(w/l) a composite number?
True
Suppose 0 = -5*p - 436 + 3171. Is p a prime number?
True
Suppose -12 = 4*j, -3*z + z + 421 = j. Suppose -5*w + 3*w + z = 0. Is w prime?
False
Is (9 - 5)*(-1516)/(-16) a composite number?
False
Let l = -6 + 8. Suppose -2*r + 47 = l*x - r, 0 = -4*x - r + 95. Is 0 + -1 + x + 2 a composite number?
True
Let s(d) = d - 4. Let g be s(6). Is g + (3/(-1) - -122) a composite number?
True
Suppose 2*t - 1839 = -w + 730, -t = -4*w - 1289. Is t prime?
False
Suppose -s + 25 = 5*x - 2*s, -25 = -5*x + 2*s. Suppose x*y = 57 + 133. Is y a prime number?
False
Let v = 5 - 3. Suppose 0 = v*f + 5*h - 19 - 129, 5*f + 2*h = 391. Is f prime?
True
Suppose 25 = 5*g, -3*b = -g + 6*g - 652. Is b prime?
False
Let y(x) = 93*x**2 + x + 7. Is y(-2) a prime number?
False
Let c = 8 + -5. Suppose k = -c*k. Suppose 6*z - z - 635 = k. Is z a prime number?
True
Suppose 5*b + 66 = -4*u + 263, -u + 3 = 0. Let z = 63 - b. Is z prime?
False
Let n(x) = 37*x + 2. Is n(3) composite?
False
Suppose -s + 1794 = 2*y, 4*y + s - 601 - 2983 = 0. Is y a composite number?
True
Let a = 44 - 7. Let w = a - 18. Is w a prime number?
True
Let k(y) = y + 9. Let n be k(-10). Let h be 1/((n + -2)/(-18))