rime?
False
Suppose i + 0*i - 5 = 0. Suppose i*w - 3*h = 33, 0*h = h + 1. Is w a prime number?
False
Suppose -4*v = 3*h - 367, 0*v + 3*h = -v + 94. Is v prime?
False
Suppose -4 = -3*q + 2. Suppose 5*l - 43 = -q*p - 0*l, 2*p = -l + 39. Is p composite?
False
Let c(s) = -s**2 - 8*s - 8. Let f be c(-6). Suppose 3*d + f*t - 23 = 0, -5*d + t + 10 + 13 = 0. Suppose 24 = y - g, 4*g = -d + 1. Is y a prime number?
True
Let g(y) = -y**3 + 8*y**2 + 3*y - 2. Is g(8) prime?
False
Suppose 4*b - 7*b = 9. Let q = 0 - b. Suppose -38 = -2*h + 3*d, 3*d = q*h - 2*d - 59. Is h prime?
True
Suppose -1 = -3*i + 26. Suppose 5*c + 66 = 5*l + 656, 0 = 5*l - c + 574. Is (-6)/4*l/i prime?
True
Let k(q) = -q**2 + 9*q - 12. Let y be k(5). Suppose 7*p + 211 = y*p. Is p a composite number?
False
Let z = -12 - -277. Is z prime?
False
Let o(y) be the first derivative of -4*y**2 - 5*y + 1 + 4/3*y**3. Is o(6) a prime number?
False
Suppose -2*p + 12 = 3*b + b, -b = 4*p - 3. Let m = 12 + b. Is m prime?
False
Suppose 2*b + 5*w - 246 = b, 3*b - 838 = 5*w. Is b prime?
True
Let g be (2/(-1))/((-3)/6). Suppose 3*b + y = 3*y + 2, 0 = -g*b - 3*y + 14. Suppose 0*x - b*x = -14. Is x a composite number?
False
Is ((-6738)/(-21) - 2) + (-3)/(-21) a prime number?
False
Suppose -d - 60 = -5*d. Suppose 4*j - d - 5 = 0. Suppose -2*o - 4*u + 2*u = -28, 0 = j*u + 5. Is o a composite number?
True
Let d(x) = 3*x**3 + 7*x + 9. Is d(7) a composite number?
False
Let k(j) = 2*j - 1. Let v be k(1). Is 2*(-97)/(-2)*v a prime number?
True
Let a be -5 + 4/(4/3). Is (a/(-3))/(12/12078) a composite number?
True
Is -2 + 9/(36/2752) - 1 a prime number?
False
Let u be (-2)/8 + (-93)/12. Let s be 36/16 - (-2)/u. Suppose -s*n = v - 27, n = -2*v - 0*v + 21. Is n a prime number?
True
Let t(o) = -o**3 + 6*o**2 + o - 3. Let y = -2 - -8. Let h be t(y). Suppose -a = 3, h*z + 6*a = a + 27. Is z prime?
False
Suppose 2*w - 13 = 15. Let n be (-6)/21 - (-74)/w. Suppose -n*s + 222 = -3*s. Is s a composite number?
True
Suppose 2*v = -4*b + 1282, 6*v - 1923 = 3*v + 3*b. Is v a prime number?
True
Let h(d) = 32*d**2 - d. Suppose -4*z - 2 = 2. Is h(z) a prime number?
False
Let k = -2 + 6. Let h(j) = 22*j**2 - 6*j + 1. Is h(k) prime?
False
Is ((33/6)/11)/(2/48028) composite?
False
Suppose -2*p + 4*p - 3*m = 2948, -3*p + 4441 = 5*m. Is p a prime number?
False
Suppose 4*r + 8*s - 8 = 4*s, r - 2*s = 8. Suppose j + 186 = -f - f, -r*f - 8 = 0. Let t = 259 + j. Is t a prime number?
False
Suppose r - 3*r + 1774 = 0. Is r a prime number?
True
Let t = -3118 - -7209. Is t composite?
False
Let z be (-68)/(-24) + 2/12. Let o = z - 1. Is o composite?
False
Let x = -262 - -513. Is x prime?
True
Let b be 2/9 + 2711/(-9). Let q = b - -672. Is q a prime number?
False
Let q be (-9)/(4 + -7) + 3. Suppose -q = -2*i - 4, -4*p + 311 = -5*i. Is p a composite number?
False
Let r(o) = -o - 3. Let k be r(-9). Suppose j + 1825 = k*j. Is j composite?
True
Suppose -3*z + 255 = -5*y - 2*z, 5*y = 2*z - 255. Let p = 8 - y. Suppose 2*h = h + p. Is h composite?
False
Suppose 4*w - 4*v - 2916 = 0, w = -5*v + 2*v + 721. Is w a composite number?
False
Let x(q) = -14*q + 17. Let f be x(-12). Let a = f + -58. Is a prime?
True
Let w = 79 + -76. Is w prime?
True
Let s = 0 - -4. Suppose -s = 4*d, -4*d - 150 = -u + 3. Is u a composite number?
False
Suppose -7971 = -6*i + 531. Is i a prime number?
False
Let a = 307 - 169. Let j = a + -263. Let v = j + 180. Is v a composite number?
True
Suppose 4*t = t - 3*j + 30, 2*j = t + 2. Suppose -5*o = -4*r - 1055, 5*o = t*o - r - 210. Is o a composite number?
True
Let b be (-4)/(-10)*(-4 - -14). Suppose -v = -3*a - b, -a + 5*v = 12 + 8. Suppose y + 2*s - 33 = a, 2*s = -2*y + s + 54. Is y a prime number?
False
Let y(r) = -7*r**3 - r**2 + 4*r + 2. Suppose i + 15 = -4*i. Let c be y(i). Suppose 2*g + 4*l = c, -2*l - 6 = -g + 63. Is g composite?
True
Suppose -7*q = -6*q - 707. Is q composite?
True
Let v(i) = i**3 + 5*i**2 + 3*i - 3. Let a be v(-4). Let l be 24 + 1*(-3 + a). Suppose 3*g - 68 = -2*o + 3, -g = -o - l. Is g prime?
True
Let g(o) = 3*o**2 - 2*o - 1. Let i be g(-1). Let b(n) = -3*n + 5. Let q be b(i). Let l(y) = -18*y - 7. Is l(q) composite?
True
Let l be 6 + 2 + -2 + -2. Suppose -p - 3*m + 308 = 0, l*p - 3*p + m = 298. Is p a prime number?
True
Is (-6)/15 + 75591/15 prime?
True
Let t be 6/(-27) + 938/9. Suppose -5*r = -t + 44. Suppose 3*f + 5*a - 24 = r, f = -a + 10. Is f composite?
False
Suppose 5*a + 58 + 2 = 0. Let p be 1*a/(6/2). Let c = p - -11. Is c a prime number?
True
Let l = -40 + 75. Is l a prime number?
False
Suppose 0 = -0*t + t. Suppose t*f + 273 = 3*f. Is f composite?
True
Let x(s) = s**3 - s**2 + 256. Let g be x(0). Let v = 637 - g. Is v composite?
True
Let z = 198 + 245. Is z a composite number?
False
Let b be (-1 - 5)/((-6)/16). Let n = b - 10. Is 2/n - (-1488)/18 a prime number?
True
Let p(m) = m**3 + 274. Is p(0) a prime number?
False
Suppose 6*n - 18139 = 9299. Is n a composite number?
True
Let w be (-770)/18 - 4/18. Let t = 62 + w. Is t composite?
False
Let i(h) = -36*h - 61. Is i(-24) composite?
True
Suppose 0 = -u - u - 64. Let a = 5 - u. Is a prime?
True
Let a(d) = -8*d**3 + 4*d**2 + 4*d - 1. Is a(-3) a composite number?
False
Let z(s) = 42*s - 2. Let k be z(4). Suppose 3*h - h = -k. Let q = h - -126. Is q a composite number?
False
Let d(u) = -u**3 + 16*u**2 - 13*u - 21. Let g be d(15). Suppose -8*v + 5*v = -g. Is v a composite number?
False
Suppose 5*z = 5*j + 1375, -3*z = -4*j - 485 - 616. Let l = j + 577. Is l composite?
True
Suppose 2*b = -5*i + 11555, 2*b + 4250 = 4*i - 4976. Is i prime?
True
Let p be -1 - (1 + -5) - -1. Is ((-10)/1)/(p/(-10)) a prime number?
False
Let l be (28/(-6))/(3/(-261)). Suppose 5*j - 51 - 164 = -o, -2*o + l = -2*j. Suppose o = 5*a - 5*n, a = 4*a + 5*n - 91. Is a a composite number?
False
Suppose -s = -5*f + 2 + 8, -5*s + 5*f = 50. Suppose -3*z + g = 25 + 11, -5*z - 60 = -4*g. Is (z/s)/((-9)/(-30)) a composite number?
True
Suppose 5*l = -15, 5*g - 3*g + 4*l - 10594 = 0. Is g a composite number?
False
Suppose -3*x = v - 3437, -4*x + 6*v + 4600 = 3*v. Is x prime?
False
Suppose j - 8 = 3*j - 4*b, 5*j - 25 = -5*b. Suppose -s - j*d = -14 - 199, 2*s + 3*d = 428. Is s prime?
False
Let q be 38*(3 + -2)*-4. Let t = q - -243. Is t prime?
False
Let z(i) be the first derivative of -4*i**2 - 2*i - 4. Let u be z(4). Let n = -15 - u. Is n a prime number?
True
Suppose 0*t = 2*t. Let u = -96 - -144. Suppose 3*h - u - 63 = t. Is h composite?
False
Let z(n) = -n + 3*n**2 - 3*n**2 - n**2 - 119*n**3 - 560*n**3. Is z(-1) a composite number?
True
Suppose -627 = -s - y, y + 2*y = -6. Is s a prime number?
False
Let z(i) be the first derivative of -i**3/3 - i**2/2 + 31*i + 6. Suppose -y = 2*y. Is z(y) a prime number?
True
Let c(j) = j**2 - 3*j + 1. Is c(-10) composite?
False
Suppose b - 978 = 3*w + 2*w, 4*w = -3*b - 790. Let h = w + 278. Is h composite?
True
Let b(h) = h**3 + 2*h - 2*h**3 - h + 165. Let q be b(0). Suppose -4*d - 3*k = -9*d + 190, -q = -4*d + 5*k. Is d a composite number?
True
Let u = -259 + 377. Is u a prime number?
False
Suppose 2*g = 7*g - 20. Let l = 4 - g. Suppose l*i = -i + 21. Is i a composite number?
True
Suppose 3*c + 18 = 5*c. Suppose 4*r + 3*h + 3 = 0, c = -3*h - 6. Suppose 4*b - 115 = 3*m - 25, 0 = -r*b + 4*m + 71. Is b a prime number?
False
Let f(v) = 6*v**2 - 13*v + 7. Let j(l) = -2*l**2 + 4*l - 2. Let x = 10 + -7. Let p(o) = x*f(o) + 8*j(o). Is p(6) a composite number?
True
Let q(k) = -85*k**3 + 2*k**2 + 2*k + 1. Let u be q(-1). Suppose -2*h = b + u + 43, 2*h - 609 = 5*b. Is (2 - b/(-6))*-2 a composite number?
False
Suppose a - 56 = -a - 3*d, a - 3*d = 37. Is a a composite number?
False
Suppose -882 = -3*r - 87. Is r prime?
False
Is 4794/10 - (-10)/(-25) a prime number?
True
Let f(k) = 43*k**2 - k - 2. Let n be f(-2). Let q = n - 119. Suppose q = -3*w + 4*w. Is w composite?
False
Suppose -3*z + z - 10 = 0. Let a be (3/5)/(z/(-25)). Let p = a - 1. Is p composite?
False
Let w = 38 - -8. Is w prime?
False
Suppose -4*b - 12 = -2*b. Let l = 1 + -3. Is 93/l*4/b prime?
True
Let k(l) = l**3 - 7*l**2 + 5*l + 7. Suppose 0 = -4*y + 2*s + 3*s + 4, 3*s - 12 = 0. Let z be k(y). Is 47/2 - z/2 a prime number?
True
Let m be ((-2)/4)/(4/8). Is 2*m + (39 - 4) composite?
True
Let p = -5 + 