Is u a prime number?
False
Let h(j) = -8*j**2 - 9*j - 5. Let z(i) = -12*i**2 - 14*i - 8. Let n(g) = -8*h(g) + 5*z(g). Let t be n(5). Suppose 0 = u + u - t. Is u composite?
True
Suppose 7939 = 2*f - 5*p, -p + 3 - 4 = 0. Is f a composite number?
False
Let g(o) = 10*o**2 + o - 1. Let k be g(1). Suppose 6*v = 2*v + 5*x - 10, -5*v - 5*x + k = 0. Suppose 2*t - 46 - 20 = v. Is t a composite number?
True
Suppose 2*f - 2*a + 0 = 2, 0 = -4*f - 3*a - 3. Let w be -3 + (f + -2)*-1. Is (3 - 0) + (w - 0) a prime number?
True
Let l be (0 + -1)*(-2 - 0). Suppose 3*f + 89 = l*t, 2*t = -2*t - f + 143. Is t a composite number?
False
Suppose 0 = 3*w + 46 - 925. Is w prime?
True
Suppose 25275 = 25*q - 10*q. Is q a composite number?
True
Let z(j) = 7*j + 4. Let a(k) = 13*k + 8. Let d(o) = -2*a(o) + 5*z(o). Let w(n) = -2*n - 9. Let y be w(-6). Is d(y) prime?
True
Let m be (-3)/((-14)/(-4) + -2). Let o be ((-2)/6)/(m/30). Suppose 3*y + 0*y - 2*q = 203, 0 = o*y - 3*q - 338. Is y a composite number?
False
Let c(a) = -12*a + 2. Let z be c(2). Let h = 41 + z. Is h a composite number?
False
Suppose 5*l - 2*l = 4*a - 18, -5*a = 3*l - 9. Let b = -32 - -32. Suppose b = d + d - u - 113, -a*d + u + 168 = 0. Is d composite?
True
Let b(r) = 46*r**2 + 2*r - 1. Is b(4) prime?
True
Let f = -28 + 14. Let t = -1 - f. Is t a prime number?
True
Suppose -5*p + 395 + 540 = 0. Is p a prime number?
False
Suppose 5*x = r - 127, 0*r - 2*r = 5*x - 269. Suppose -5*f - r = -4*j + 85, f = -j + 52. Is j prime?
True
Let d = 430 + -295. Let y = -81 + d. Is (-4 + 5)*(y + -1) prime?
True
Suppose -4*u + 117 = j - 0*u, 0 = -3*j + u + 299. Let q = 246 - j. Is q a composite number?
True
Suppose i + d - 44 = 0, -13 = -i + d + 33. Let u = 68 + i. Is u a composite number?
False
Is -1 + -1 + -1 - (-1211 + 1) a composite number?
True
Let u(h) = h**3 - 2*h**2 - 10*h + 3. Let c(s) = 3*s**2 - 3*s + 2. Let t be c(2). Is u(t) a composite number?
False
Let p(d) = -d**2 - 12*d - 28. Let j be p(-8). Let l = 4 - 0. Suppose -2*i - j*t + 218 = -t, 0 = l*t + 16. Is i a prime number?
False
Suppose -a - 2*a = 0. Suppose a = 3*j - j - 24. Suppose 4*h = 2*v + j, -3*h - 6*v = -v - 9. Is h composite?
False
Is (69/6)/((-6)/(-84)) composite?
True
Let g(j) = -6*j**2 - j + 4. Let f be g(3). Let o = f - -142. Is o composite?
False
Let q = 17 + 146. Let z = q + -110. Is z prime?
True
Let g(m) = -7*m**3 + 2*m - 1. Let v be g(-2). Suppose v = 3*y + t + 9, -t = 2*y - 28. Is y a composite number?
True
Let j(q) = q**2 + 6*q + 2. Let k be j(-4). Let h be k/(-4)*(-8)/4. Is (-108)/h - (2 - 1) a composite number?
True
Let k = -254 - -437. Suppose 2*o - k = 3*t + 27, -5*o + 535 = -5*t. Is o prime?
False
Let s(g) = g**3 - 4*g**2 + 9*g - 2. Let v be s(7). Suppose v + 46 = 2*p. Is p composite?
False
Let w be 0/(-1)*(1 + 0). Suppose 3*i - 46 = -5*m - w*m, 34 = 3*i - m. Let k = i - -43. Is k prime?
False
Suppose 4*z = m + 3 + 54, -m = 5*z - 78. Let u be -3 + (1 - 3) + z. Suppose u = i - 11. Is i composite?
True
Let p(c) = -3 - 2*c + 41*c**2 - 27*c**2 + c + 5*c. Is p(-4) a composite number?
True
Let b(o) = -8*o - 5. Is b(-7) a prime number?
False
Suppose 8 = 4*j - 4*g, 0*j - 5*g + 10 = 5*j. Suppose -4*v - 18 = -j*s, 4*s + 19 + 5 = -2*v. Is v/9*(-765)/6 prime?
False
Suppose -2*x + 7 = 5*b, b + 0*b = -5*x + 6. Let i(l) = 81*l**3 + 7*l**2 - 1 - 28*l**3 - 12*l**2 + 2*l + 4*l**2. Is i(x) a composite number?
False
Let y = -269 - -720. Is y composite?
True
Let c be 4/(-10) - 617/(-5). Suppose 3*r = -0*r - 192. Let l = c + r. Is l a prime number?
True
Let j = 745 + -452. Is j a composite number?
False
Let u(f) = -4*f - 4. Let l be u(6). Let z = 1 + l. Is ((-1)/3)/(1/z) composite?
True
Suppose -4*v - 2 = 2. Let l(n) = 1 + 9*n - 17*n - 38*n. Is l(v) composite?
False
Suppose 0 = -5*n + 2*n. Suppose 2*r - 4*k - 60 = n, 0*r = -2*r + 5*k + 64. Is r composite?
True
Let j(k) = 163*k + 4. Is j(3) prime?
False
Let d = -1006 + 2349. Is d a prime number?
False
Let i(v) be the first derivative of 4/3*v**3 - 3*v - 2 + v**2. Is i(-4) prime?
True
Let a(g) = -g**3 + 7*g**2 - g + 4. Let p = 6 - 1. Suppose 20 + p = 5*m. Is a(m) a composite number?
True
Suppose 3*j = 4 + 2, -2*j + 28536 = 4*n. Is n a composite number?
True
Let t(o) = -4*o**2 + 2 - 2*o**2 + 7*o - 9*o**2. Let l be t(-5). Let m = -35 - l. Is m composite?
False
Let a be (-1 + (-1)/1)*-16. Suppose 0 = -2*q - 2*q + a. Suppose q = 3*j + j. Is j prime?
True
Let q be 188/6 - 3/9. Suppose d = -0*d + q. Is d composite?
False
Let o = 6462 + -4573. Is o a prime number?
True
Let q be 0*2/4 + 3. Suppose q*u + 2*s - 14 = 32, u - 22 = -2*s. Suppose 0 = -4*f + 368 - u. Is f a composite number?
False
Let b = -5 + 7. Suppose 150 - b = 4*o. Is o a prime number?
True
Let r = 15 + 35. Suppose 130 = -d - r. Let b = 257 + d. Is b composite?
True
Suppose 3793 + 2503 = 8*g. Is g composite?
False
Suppose p - 3*c = -283, 2*p + 2*c + 1146 = -2*p. Let s = 491 + p. Is s a composite number?
True
Let z be 2/(-4) + 9/(-2). Let m(v) = 2*v + 1. Let n be m(z). Let k = -3 - n. Is k prime?
False
Is (-3)/((-12)/16) + 751 a prime number?
False
Let a(z) = z**3 - 11*z**2 + 14*z - 9. Let g be (-2)/4 + 105/10. Is a(g) prime?
True
Let x(y) = -22*y - 1. Let b(k) = -43*k - 3. Let h(w) = 4*b(w) - 9*x(w). Is h(5) prime?
True
Let b(c) = 115*c + 5. Let x be b(4). Suppose u + 92 = x. Is u composite?
False
Let i be (-1)/((-2)/314)*-1. Let h = i + 52. Let j = -62 - h. Is j prime?
True
Let d(p) be the first derivative of p**3/6 + 19*p**2/2 - 3*p + 2. Let n(q) be the first derivative of d(q). Is n(0) composite?
False
Let k(i) = 13*i - 8. Is k(13) a prime number?
False
Let i(w) = -2 + 1 + 0 + 10*w. Let n be (-54)/(-7) - 8/(-28). Is i(n) a prime number?
True
Suppose -5*g - 64 = z, 3*z - 146 = 5*z + 4*g. Let r = z + 147. Suppose 0 = 5*s, -i + 51 = -4*s - r. Is i composite?
True
Let f be (-6)/4 + (-1)/2. Let z be (-3)/((-69)/(-30) + f). Is (66/(-15))/(2/z) prime?
False
Let g(p) = 4*p**2 + p + 9*p**3 - 5*p**2 - p**2 + 23*p**3. Let s be (-5)/(-4) - 4/16. Is g(s) composite?
False
Let u = 13 - 6. Let i be (-1 - u/(-5))*-5. Is 0 + (-98)/i + 0 a prime number?
False
Suppose -4 = 3*p + 2*g, -3*g - 10 = 2*p + 2*g. Let a(k) = -k**2 + k + 51. Is a(p) a composite number?
True
Suppose -a = 4*s - 17, 3*s - 4 - 15 = -2*a. Suppose -n + 4*n = 1710. Suppose -n = -a*y + 65. Is y composite?
False
Let p(b) = -127*b. Is p(-1) a composite number?
False
Suppose -3*u + 95 + 172 = 0. Let h = -4 - -10. Suppose u - h = r. Is r a prime number?
True
Let h = -206 - -339. Is h a prime number?
False
Is 918 + 0 + 4 + -3 composite?
False
Let a = -2 - -2. Suppose -2*o - 3*b + b = -110, a = 2*b - 4. Is o composite?
False
Let x = 5 - 3. Let p(h) = 6*h**2 - 4*h + 3. Is p(x) a prime number?
True
Is (5/(-2))/(1/(-178)) composite?
True
Is (2 + 5)*(2 - 1) a composite number?
False
Let s(k) = k**3 - 8*k**2 + 2. Let i be s(8). Let y be 7/i + (-1)/(-2). Suppose 2*v + 3*v = 2*q + 205, 2*v - 58 = -y*q. Is v prime?
False
Let r = 512 + 257. Is r a composite number?
False
Suppose 0 = 2*c + 57 - 943. Is c prime?
True
Let s(v) = 3*v**3 + 4*v**2 + v - 5. Let r(f) = 13*f**3 + 15*f**2 + 5*f - 20. Let i(t) = -2*r(t) + 9*s(t). Is i(-4) composite?
False
Let d(q) = 6*q - 1. Let k(h) = -13*h + 1. Suppose 0 = -3*r - r - 36. Let o(u) = r*d(u) - 4*k(u). Is o(-5) composite?
True
Suppose -4*k + 18 = -k. Let d = k - 4. Suppose -8 = -d*f - 4. Is f prime?
True
Is (1 - (-4 + 2)) + 74 a composite number?
True
Suppose -6*s + 1076 = -4822. Is s a prime number?
True
Let j be (-2)/4*(-7 - 1). Suppose 5*z - 575 = -0*z + 5*u, j*z + u = 450. Is z composite?
False
Suppose 5*r = i + 36 - 174, 2*r - 662 = -4*i. Is i a prime number?
True
Suppose -6252 = 63*m - 67*m. Is m a prime number?
False
Suppose 3*c + 0 + 3 = 0. Let s = 2 - c. Suppose -m = -s*m + 46. Is m a prime number?
True
Suppose 0 = -2*o - 2*w - 118, 2*o = 4*o + 5*w + 118. Let r = 154 + o. Is r a composite number?
True
Suppose r + 4*k - 44 = -k, 0 = 5*r - 2*k - 247. Is r prime?
False
Let z(q) = -1 + 0*q + 2*q + 58*q**3 - q. Is z(1) a prime number?
False
Let i(o) be the second derivative of -5*o**3/3 - 4*o**2 + o. Is i(-7) composite?
True
Let q = -555 - -964. Is q composite?
False
Let c be 3 + 2/3*3. Suppose 0*t - 2*y - 90 = -c*t, -t + 15 = -y. Suppose 120 = 4*f + t. Is f composite?
True