
False
Let v(o) = 2*o**2 + o + 1. Let j be v(-1). Let s be 0 + (-4)/(-6)*6. Is (-45)/(-2) - j/s a composite number?
True
Let g = -30 - -49. Is g a composite number?
False
Let b(t) = -t**3 + 7*t**2 - 4*t - 8. Let k be b(6). Suppose 0 = -2*y - 0*y + k*h + 178, 4 = -h. Let c = 13 + y. Is c a prime number?
False
Suppose -4*a + 3*m = 7, 6 = a + m - 1. Let u be 72 - (6/(-2) + 3). Suppose -10 + u = a*k. Is k a prime number?
True
Let t(s) = 6*s**2 - 3*s - 1. Let y be t(-2). Suppose -4*w - y = -73. Is w a prime number?
True
Suppose 5*i = -4*l + 217, 0 = -5*l + 2*i + 259 + 4. Suppose -2*b - 3*v + l = 0, 5*b - 3*v = 2*v + 70. Is b a composite number?
False
Let r(c) = 83*c**3 - c + 1. Let f be (-2 + 1)*(-1 - 0). Is r(f) composite?
False
Let o(q) = -8*q. Let y be o(-1). Suppose -4*p - 876 = -y*p. Is p composite?
True
Suppose -y + 2*y = 3*t - 26, -6 = -t + y. Is t a prime number?
False
Suppose -25 = -5*h - 3*s, h - 2*s = 2 + 3. Suppose 0*k + h*r + 450 = 5*k, 440 = 5*k - 3*r. Is k a composite number?
True
Let b = 2023 + -882. Is b a composite number?
True
Let b(o) = 397*o + 5. Let a(w) = 199*w + 2. Let l(g) = -7*a(g) + 3*b(g). Is l(-6) composite?
False
Let y = -1314 + 3299. Is y prime?
False
Let v be (1 - 0)/1 + 0. Let i be 0*(v + (-3)/6). Is 0/6 - (i + -35) prime?
False
Let z(b) = -b**3 + 9*b**2 - 8*b. Let n be z(8). Suppose 2*d - 3*r - 166 = 0, -5*d + 3*r + 415 = -n*r. Is d prime?
True
Suppose -z - 4 = 0, -130 = 2*u - 9*z + 4*z. Suppose 2*t + 0*t = -552. Let v = u - t. Is v a prime number?
False
Let w = -81 + 268. Is w prime?
False
Let d(n) = -89*n**3 + n**2 + n. Is d(-1) composite?
False
Let x(z) = 5*z**2 - 14*z + 58. Is x(25) composite?
False
Let o(r) = -r**3 + 10*r**2 - 9*r + 6. Let m be o(7). Let h = m + -25. Is h prime?
False
Let d(p) = -p**3 - p**2 - 10*p - 7. Suppose 2*r - r = 2*y - 14, -2*r - 5*y = -8. Is d(r) prime?
True
Let n(j) be the third derivative of 25*j**4/24 + j**3/3 - 2*j**2. Is n(3) composite?
True
Is 3/3*-1 - -123 composite?
True
Let f = 143 + -34. Is f composite?
False
Suppose -9*p - p = -5150. Is p prime?
False
Let r be (-1)/(-2*1/6). Let h(c) = 2*c**3 + 2*c**2 - c - 4. Let x be h(r). Is (x - -2)*(3 - 2) prime?
True
Let o = 26 - -9. Let q = o + -2. Is q prime?
False
Let o(x) = -x**3 - x**2 + 2*x - 2. Let n be o(1). Suppose 3*i = i - 6. Is (i/n)/(5/20) a composite number?
True
Let q(g) = g**3 + g**2 + 3. Let h be q(0). Suppose -h*y = -4*m - 163, -5*y - 2*m = m - 262. Suppose 0*i - y = -i. Is i prime?
True
Let d = -267 + 377. Let s = -30 - -33. Suppose u - s*u = -d. Is u a composite number?
True
Let r(f) = 4*f**3 - 6*f**2 + 7*f + 5. Let v(d) = 5*d**3 - 6*d**2 + 7*d + 4. Let m(b) = 6*r(b) - 5*v(b). Is m(-7) prime?
False
Suppose 2*o - 1 = c, 0 = c - 2*c - 3*o - 1. Is (2 + c)*(-1 - -134) a composite number?
True
Let b(c) = -c**2 - 3*c + 4. Let u be b(-5). Let o(f) = 0*f**3 - 6*f - 3 + 8*f**2 - f**3 - 14*f**2. Is o(u) a composite number?
True
Let v = -4 + -55. Suppose 3*g + 252 = 5*r - 2*r, -4*r + 3*g = -334. Let a = r + v. Is a composite?
False
Let r(j) be the second derivative of -7*j**3/3 + 5*j**2/2 + j. Is r(-6) composite?
False
Let l be 67/2*(2 + 0). Let i = -15 - -17. Suppose 3*b = -2*x + i*b + l, 0 = -5*x - 4*b + 163. Is x a composite number?
True
Let r(x) = -13*x**2 - 6*x**2 + 293*x**3 + 19*x**2. Is r(1) a prime number?
True
Let q(o) = -2 - 3*o + 0 + 21*o**2 + 3. Let m be q(3). Suppose -5*d + d = -5*f + 183, -m = -5*f + 3*d. Is f a prime number?
False
Suppose 4*l - 68 = 3*d + 2*d, -4*l - 40 = 4*d. Is 35/2 - 18/d a composite number?
False
Let g be (-2)/(-6) - 12/9. Let t be -2 - (-13)/2*2. Let y = g + t. Is y a prime number?
False
Let g = -485 + 965. Suppose 5*u + 308 = -2*j, 3*j + 4*u = u - g. Let m = 247 + j. Is m composite?
False
Suppose 0 = k - 3*s - 9, 0*k - 3 = k + s. Suppose -4*d - d - 15 = k. Let z(i) = i**3 + 6*i**2 + 3*i + 4. Is z(d) prime?
False
Let c = 11 + -6. Suppose -u - 4 = 0, -x - u - 9 = -6*x. Let l = x + c. Is l a composite number?
True
Let z(f) = 11*f**2 - f - 1. Let p be z(-2). Suppose -4*h + h + p = 0. Is h a prime number?
False
Let r = -19 - -29. Let g = 0 - r. Is 4/g*285/(-3) a composite number?
True
Let f be (-20)/(-6)*(7 + -4). Let v = f + -5. Suppose 20 = -v*u + 50. Is u a composite number?
True
Let g(j) be the second derivative of j**3/6 + 1070*j**2 - j. Let w be g(0). Is 2/6 + w/15 a prime number?
False
Let l(a) = a**3 + 5*a**2 + 3. Let o be l(-5). Suppose -o*d - 23 = -4*d. Is d prime?
True
Let v(l) be the second derivative of 3*l**3/2 + l**2/2 - 3*l. Is v(2) a prime number?
True
Let j(d) = d + 1. Let t be j(2). Let q(p) = 14*p + t - 2*p - 4. Is q(2) prime?
True
Is 1/27*6 - 73677/(-27) a prime number?
True
Is 172/16 - 2/(-8) a prime number?
True
Let n be 3 + ((-2)/(-1) - 3). Let u be (n - 0)*20/(-1). Is 2/(-10) - 1848/u composite?
True
Let w = -158 + 277. Is w composite?
True
Let f(d) = -d + 6. Let m be f(3). Let p = 75 + -35. Suppose -m*r - 4*h + 34 = -4, 5*h - p = -3*r. Is r a composite number?
True
Suppose -90 = -o - 35. Suppose 4*x = 243 - o. Is x composite?
False
Let d(m) = 4*m**2 - 45*m - 22. Is d(21) prime?
True
Let k(y) = -3*y**3 - y**2 + y + 10. Let u be k(7). Let w = u - -1602. Is w a composite number?
False
Suppose -2*h + 2964 = 4*r - 2*r, -5*r + 4*h + 7365 = 0. Suppose -4*s - r = -405. Is (s/12)/((-2)/6) a prime number?
True
Let q(i) = 3*i**2 - 5*i + 2. Let p = -6 + 10. Let s be 18/p - (-6)/(-4). Is q(s) a composite number?
True
Let i(z) = z**3 + 4*z**2 - 4*z + 7. Let m be i(-5). Let n = m + -1. Is (-3 - -241)*n/2 a prime number?
False
Let j(q) = -q**3 + 9*q**2 - 9*q + 11. Let n be j(8). Let f be ((-3)/2)/(n/(-10)). Is f - (-2 + 0) - -2 a composite number?
True
Is ((-9)/18)/(3/(-354)) a prime number?
True
Let q(d) = d**2 + 7*d - 1. Is q(5) a composite number?
False
Suppose -4*d + 6*d - 534 = 0. Is d a composite number?
True
Let r(q) = -3*q**3 + 3*q**2 + q + 1. Let d(f) = -f**3 + 8*f**2 + 9*f - 2. Let k be d(9). Is r(k) composite?
True
Let k be -1 + 1 + (-119 - -1). Let y be k*((-1)/2 - 0). Suppose 5*g - 44 - y = -3*f, -5*f = -5*g + 135. Is g prime?
True
Suppose -4 = -4*c + 3*j, 0 = c + j - 1. Is 39 + (c - -1)*-1 a prime number?
True
Suppose -3*n - y = -4, 5*y + 14 = 5*n - 6. Let q(i) = 64*i**3 + i**2 + 1 - i**2 + n*i**2 + 80*i**3 - 2*i. Is q(1) a prime number?
False
Let x be 4/6 - 7/(-3). Let s be (2 - -4)/x - -7. Is 6/s - 73/(-3) a prime number?
False
Let k(x) = -2*x + 12*x - 2 - 2*x. Suppose 12 = 3*n + n. Is k(n) composite?
True
Let p(q) = 3*q - 4. Let w be p(3). Let m be w/10*(-1 - -1). Suppose 62 = 3*j - i, 3*i = 3 - m. Is j a prime number?
False
Let t(o) = 35*o - 5 - 6 + 7 - 13. Is t(8) prime?
True
Suppose -3*z = -3, 3*v - z - 2353 = z. Is v a composite number?
True
Suppose -3*b - 12 = 0, -l + 16 = 3*l - 2*b. Let c(q) = 0 + 1 - 2*q**3 + 0*q**2 + 1 - 7*q**l. Is c(-5) a prime number?
False
Let w be ((-12)/(-8))/(3/10). Let s(o) = -6*o + w*o - 20*o. Is s(-1) composite?
True
Suppose -5*p + 3*g + 85 = -5, -5*g = 4*p - 35. Is 5/(p/(-6)) + 33 a composite number?
False
Let f(a) = 4*a + 2*a**2 - 3*a + 0 + 2 + a**2. Is f(-4) composite?
True
Suppose -3*j + 3*u - 5 = -2*u, j + 3 = 3*u. Suppose -i + 0*i - 5*n = -6, j = -i + 2*n + 34. Is i composite?
True
Suppose 2*k + 0*k - 3*p - 36 = 0, -108 = -5*k + 3*p. Let t = k + -10. Is t a prime number?
False
Suppose -h - 2*h - 81 = 2*m, -105 = 3*m - h. Is (-2 - m)/(8/28) a prime number?
False
Suppose -2*a - 3*s + 2 = s, 4*a = 3*s + 26. Suppose -a*i = -4*i. Suppose i = z - 2*z + 47. Is z prime?
True
Suppose 2*k = -k + 15. Suppose -z + 2*z = -r - 19, -k*r - z - 103 = 0. Is (-7794)/(-14) + (-6)/r a prime number?
True
Suppose 2*c + 186 = 3*c. Suppose -3*b = -5*t + 274, c + 64 = 5*t + 5*b. Is t prime?
True
Let c = 2 - 5. Let q be (-1)/(3/c + 0). Is 136/20 + q/5 prime?
True
Let m be (6*1)/(-1 + 3). Suppose -2*y = 2*y + 2*b - 718, -898 = -5*y - m*b. Is y a prime number?
True
Let d(u) be the first derivative of 4*u**3/3 + u**2 + 7*u + 3. Is d(-5) composite?
False
Suppose 5*p - 1 = 9. Suppose 6*s = 4*j + 2*s - 20, -5*s = 3*j - 31. Suppose j*z - 55 = p*z. Is z composite?
False
Suppose 0 = 5*h + 25, -4*f + 2*f = 5*h - 877. Is f a composite number?
True
Let j be -666*(9/(-6) + -2). Suppose 5*v = 2*w - 1707, -2*w + j - 606 = v. Is (-6)/(-10) + w/15 a composite number