q*i - 226 = -30. Let u = i + 84. Is u composite?
True
Let c be ((-6)/15)/(2/10). Let j be (c - 6/(-4))*-14. Suppose j = -4*g + 3, -5*g - 83 = -2*q. Is q a composite number?
True
Let z be (1/2)/((-6)/(-36)). Suppose z*g - 2*g - 59 = 0. Is g prime?
True
Let y(x) = 43*x**3 - 2*x**2 + 6*x - 2. Is y(3) a prime number?
False
Let c = -1 + 32. Suppose -2*d = c + 11. Is 2/(12/d)*-22 composite?
True
Let o(a) = -4*a - 1. Let l be o(-1). Suppose -l*s + 0*h = -2*h - 11, -6 = -3*h. Suppose 4*m - 271 + 90 = -s*x, -5*m = 3*x - 210. Is m a prime number?
False
Let b(t) = 194*t + 9. Is b(7) a composite number?
False
Let y(w) = -w**2 - 3*w + 211. Is y(0) a composite number?
False
Suppose 0*c + 5 = 5*c, -3*a + 297 = 3*c. Let x = 2 + 1. Suppose x*q = q + a. Is q a prime number?
False
Let i = -2793 + 5424. Is i a composite number?
True
Let w(s) = -9*s + 3. Let i be w(-4). Suppose x + y = 2*x - 43, 4*x - 162 = 2*y. Suppose -n + x + i = 0. Is n composite?
True
Let q = -3 + 5. Suppose -q*k + 381 = k. Is k prime?
True
Suppose -4*w = -5*k - 25, k + 7 = 2*w - 4. Suppose 4*s - w*h + 2*h = 31, 0 = -3*s + 5*h + 26. Is s a composite number?
False
Let i(m) = m - 17. Let p be i(12). Let f be (-427)/(-5) + 2/p. Suppose 2*c + f = 3*c. Is c a prime number?
False
Suppose 0 = -0*h + 3*h - 18. Let q = 2 + -2. Let j = q + h. Is j composite?
True
Suppose -3*z = 2*z - 1175. Suppose -4*n = n - z. Let q = n + -22. Is q a prime number?
False
Suppose -3*o - 5*b + 827 = 0, 7 + 13 = 5*b. Suppose -s - 5*y + o = 0, -5*s + 1487 - 194 = -y. Is s composite?
True
Let i = 3552 + -1723. Is i a prime number?
False
Let h be 0/(-1 - 1 - -4). Let d be (13 - 0)/(h + -1). Let s = 24 - d. Is s prime?
True
Suppose -2*t - 4*y = -0*t - 30, -3*y - 58 = -2*t. Is t composite?
False
Suppose 12 = v - 2*v. Let u = v - -17. Suppose 50 + 5 = u*n. Is n a prime number?
True
Suppose -2*g - 3*v + 3 = 0, 4*g - 2*v = 3*g - 2. Suppose 159 = u - g. Suppose 0 = -2*w + u - 11. Is w a composite number?
True
Suppose 0 = q + 20 - 0. Let z be (24/(-10))/(-2)*5. Let h = z - q. Is h a composite number?
True
Suppose -6*z - 696 = -4*z. Let i = z + 605. Is i prime?
True
Suppose -2*t = 2, 0 = -3*p + 7*p + 5*t - 3279. Is p composite?
False
Let p(q) = 5*q**2 + 7*q - 16. Let k be p(-11). Suppose -743 = -5*i + k. Is i a prime number?
True
Let p(r) = -r**3 - r**2 + 4*r - 1. Let j(g) = -g**2 - 2*g + 3. Let n be j(3). Let q = n - -8. Is p(q) prime?
True
Let r(s) = s**2 - 4. Let k be r(-3). Suppose d - 184 = k. Suppose 4*u = -5*n + d, 5*n - u - 182 = 2*u. Is n composite?
False
Let o = 5413 + -3694. Suppose -2*g + o = 3*l + 454, 2*g + 4*l = 1266. Is g composite?
False
Let s(y) be the first derivative of -y**4/4 + 3*y**3 + 3*y**2/2 - 4*y + 3. Is s(5) prime?
False
Let i = -2 + 2. Let h(d) = d + 95. Is h(i) prime?
False
Suppose 5*j - 1 + 26 = 0, 2*n - 3677 = -j. Suppose -2*b = 247 - n. Is b prime?
True
Let k be (4/(-8))/((-1)/6). Suppose -12 = -5*g + k. Suppose 0 = -5*s - t + 412, -3*t = 2*s + g*s - 406. Is s prime?
True
Let h(x) be the third derivative of x**4/24 - 5*x**3/6 - 2*x**2. Is h(8) prime?
True
Let i = 24 + 137. Is i a prime number?
False
Let t(o) = 15*o**3 - o**2 + o - 1. Let z(d) = 14*d**3 - d**2 + d - 1. Let y(k) = -3*t(k) + 4*z(k). Is y(1) composite?
True
Suppose 139 = 4*b - d + 4*d, 3*b - 4*d - 98 = 0. Let k = -15 + b. Is k prime?
True
Suppose -4*b - 218 = -5*y + 795, -999 = -5*y - 3*b. Is y composite?
True
Let h = 54 + 1639. Is h prime?
True
Is 6/(-4)*26066/(-3)*1 composite?
False
Let d(l) = -61*l - 1. Let t = -4 - -3. Let x be d(t). Suppose 2*m - x = -2*r, 3*r + 4*m = 4*r - 10. Is r prime?
False
Is (1/(-1))/((-28)/25172) a prime number?
False
Let t = 1806 - -2093. Is t composite?
True
Let n = 9 - 5. Let g(l) = l + n*l**3 + l**3 - 1 - 3*l**3 + 0*l**2 + 2*l**2. Is g(4) composite?
False
Let h(j) = 3*j**2 + 16. Let v(x) = 4*x**2 + x + 17. Let s(u) = -6*h(u) + 5*v(u). Is s(8) a prime number?
True
Let l(k) = -3*k - 10. Let b be l(-10). Suppose -9*i + 4*i + b = 0. Suppose -i*j + 16 = -24. Is j a composite number?
True
Suppose 4*s = 16*s - 36. Is s a prime number?
True
Let t be (-6)/(-9) - 7/(-3). Suppose -8*k - 35 = -t*k. Let l = k - -17. Is l composite?
True
Suppose t = -2*t + 477. Is t prime?
False
Let w(n) = n**3 + 3*n**2 - 4*n + 10. Is w(4) composite?
True
Suppose 5*q = -3*s + 5, -3*s + 2 - 3 = -q. Suppose -5*h = -2*u - 335, -2*u + 0*u = s. Is h a composite number?
False
Suppose -2*l + 426 = t, 4*t - 368 = -2*l + 70. Is l composite?
False
Suppose -3*c + 5*u - 2*u + 3213 = 0, 5*c - 5375 = -5*u. Is c composite?
True
Let v = -594 + 228. Let s be (-4)/6 - v/9. Suppose -k - 3*k + s = 0. Is k a prime number?
False
Suppose -y - 7 = -g - 2*y, 2*g = -y + 14. Suppose 0*j - j - 8 = -4*h, -2*j = -2*h + 4. Suppose -g*a + 185 = -h*a. Is a composite?
False
Suppose -c - 13*g = -10*g - 380, -4*c = -2*g - 1562. Is c composite?
False
Let q(z) = 114*z + 1. Let s(v) = v - 2. Let g be s(4). Suppose -4*w + 8 = 4*m, m = -w + g*w. Is q(w) a prime number?
False
Suppose 3*p = -d + 191, 0 = 4*d - 10*p + 5*p - 730. Is d composite?
True
Suppose 6*v - v - 40 = 0. Let h(m) = -2*m + 12. Let r be h(v). Let u = r - -11. Is u a composite number?
False
Let l = 6 + -3. Suppose l*t + 2*t + 2*x = 649, -4*x = -t + 143. Is t a composite number?
False
Suppose 0 = 18*u - 21*u + c + 3636, -2432 = -2*u - 2*c. Is u composite?
False
Suppose -58*k + 70 = -53*k. Is k a prime number?
False
Let m = 50 - -5. Suppose -2*a + 5*h + 316 = a, 3*a - 4*h = 314. Let t = a - m. Is t a composite number?
False
Let y(l) = -43*l**3 + l**2 - 4*l - 4. Let b be y(-6). Is b/20 - 3/15 prime?
True
Let d(r) = r - 4*r + 3*r**2 + 9 - 5*r. Is d(6) a prime number?
False
Suppose 0*f + 24 = 4*f. Let a(x) = 2*x**2 - 10*x + 9. Is a(f) a prime number?
False
Let r(c) = c**3 - 21*c**2 + 22*c - 27. Is r(22) prime?
True
Let u = 2 + 20. Suppose u = 2*f + 4. Is (-6)/f*42/(-4) prime?
True
Let h(p) = -p**2 + 19*p - 3. Let t(d) = -d**3 - d**2 - d + 8. Let s be t(0). Is h(s) a prime number?
False
Let p(z) = -16*z - 1. Let u(r) = r**2 - 7*r - 5. Let j be u(8). Suppose m + j*m + 8 = 0. Is p(m) a composite number?
False
Suppose 0 = -z + 4*s + 3 + 1, 0 = 4*z + 3*s - 16. Suppose -c = -2 + z. Is ((-1)/c)/(1/42) prime?
False
Let f be 2/3 + 15831/27. Suppose f = -3*h + 6*h - 2*k, 5*h + 3*k = 1010. Is h composite?
False
Let w be -7 - -3 - -1*2. Let c(s) = -35*s**2 - 4*s - 3. Let z be c(w). Is z/(-6) + (-6)/4 a prime number?
False
Suppose -3*f - 3*d + 0 - 9 = 0, 4*f = 3*d - 12. Is 3/f*110/(-2) a composite number?
True
Suppose -v + 249 = p, 2*v - 5*p = 5*v - 737. Let y = v - 141. Is y a composite number?
False
Let g(v) = 13*v + 7. Let x be g(-9). Let u = 167 + x. Is u composite?
True
Let i = -8 - -13. Suppose i*j = 210 - 25. Is j prime?
True
Let h be 51/12 - (-2)/(-8). Suppose 4 = 4*a + h*y, y + 11 = 2*a - 0. Suppose -t + 6*t - a*i - 327 = 0, -260 = -4*t + 4*i. Is t prime?
True
Let l be (-28)/((-8)/4)*2/4. Let r(s) be the second derivative of -s**5/20 + 2*s**4/3 - s**3/6 - 5*s**2/2 - s. Is r(l) a composite number?
False
Suppose -2*t = -3*o + 115, 0*o - 2*o + 77 = -t. Suppose -o = -p - 2*j, 4*j = -3*p + 102 + 15. Is p a composite number?
True
Is 42 - (-2 + 3/3) a composite number?
False
Let r = -46 + 101. Is r a prime number?
False
Let v(s) = -892*s + 4. Let p be v(-4). Is (-1)/4 - p/(-16) a prime number?
True
Suppose 3*a + 220 = a. Is ((-12)/8 - -1)*a a prime number?
False
Suppose 17 + 33 = q. Suppose 0 = -2*g + q + 156. Is g prime?
True
Let i(v) = 1. Let d(m) = 24*m**2 + 13*m + 4. Let n(s) = -d(s) - 3*i(s). Let c(y) = 36*y**2 + 19*y + 10. Let u(r) = 5*c(r) + 7*n(r). Is u(3) a composite number?
True
Let b(q) = 12*q**3 + 4*q**2 - 5*q. Let w be b(4). Suppose 5*p - p = w. Is p prime?
False
Is 1/(-1) + 2 + 292 prime?
True
Let k = -215 - -326. Is k a composite number?
True
Suppose 4*d + 5*s - 89 = 0, -114 = -5*d - 5*s - 9. Is 2/8 + 812/d prime?
False
Suppose -2*u + 206 + 474 = 0. Let y be (-7)/(-1) + 1/(-1). Suppose 2*b + u = y*b. Is b composite?
True
Suppose -4*i + 2*c = i + 5, 5*c = 4*i + 21. Is ((-107)/2)/(i/(-6)) composite?
True
Suppose 5*d - 1519 = 946. Is d a composite number?
True
Let q(c) = 16*c**2 + 14*c - 23. Is q(-11) prime?
True
Let r = 2 - 39. Let a be (0 - -2)/(2/r). Is (a/2)/(3/(-6)) a prime number?
True
Suppose 0 = 5*c -