Let h(v) = 1101*v**2 + 5. Is h(-2) prime?
True
Suppose x - 20 = 4*r, -2*x + 4*x = 4*r + 24. Suppose -x*p - m + 8 = p, -p + 4 = -m. Suppose p*c + d - 498 = -d, 0 = -5*d - 10. Is c composite?
False
Suppose 6*c - 5*c - 46 = 0. Let i = 125 - c. Is i a composite number?
False
Suppose 2 = -4*f + 5*f. Suppose 2 = 2*p, 130 = f*i - 4*p - 468. Is i a composite number?
True
Is (6 + -9)/(53620/(-26804) - -2) a composite number?
False
Suppose 3*r = -r + 12. Suppose 2*d + r*d = 790. Is d a prime number?
False
Let y(l) = 208*l**3 + 3*l**2 + 3*l - 3. Suppose -5*u - 3*u + 16 = 0. Is y(u) a prime number?
False
Suppose -7*i + 738409 = 30*i. Is i composite?
True
Suppose -19*g = 3*g - 4466. Is g prime?
False
Let o(z) be the second derivative of -101*z**3/6 - 4*z**2 + 32*z. Is o(-9) a prime number?
False
Suppose -391 = 2*f - 1339. Is (f/(-4))/((-5)/10) prime?
False
Let f(z) = z**2 + 3*z + 4. Let t be f(-3). Let p be (3/t)/((-11)/44). Is 2133/(-6)*2/p a prime number?
False
Let w(m) be the first derivative of m**3/3 + 2*m**2 - 28*m + 14. Is w(15) prime?
True
Let n(c) be the second derivative of c**6/40 - c**5/24 + 7*c**4/24 + c**3 - 4*c. Let t(l) be the second derivative of n(l). Is t(7) a composite number?
True
Let y = -20 - -18. Is 1 - 386/y - 3 prime?
True
Is 8 + -1 + 7/(35/68310) composite?
False
Let k(h) = -h**2 + 23*h - 9. Let j be k(22). Let g(r) = r**3 - 14*r**2 + 20*r - 24. Is g(j) a composite number?
False
Suppose 0 = -g - 3*t - 5, -g - 2 = -5*t + 7*t. Is 249*(-1 - ((-64)/12)/g) prime?
True
Suppose 46*r = 47*r - 1. Let x = r - -76. Is x composite?
True
Let y = -1692 + 4420. Is y/33 - (-2)/6 composite?
False
Suppose -3*s + n + 2052 = 0, 2*s + 2*n + 3421 = 7*s. Is s a prime number?
True
Let w be 3 + 4/2*-1. Let g be (-1 - w)/((-2)/(-156)). Let x = -103 - g. Is x composite?
False
Suppose -3*l = 2960 + 4195. Let y = -1541 - l. Is -3*(y/(-6))/2 prime?
True
Suppose 45*m = 52*m - 416899. Is m a composite number?
False
Let n(o) = 2*o**2 + 39*o + 2. Is n(-27) prime?
False
Suppose 5*j = h - 13456, j + 21905 = 2*h - 4998. Is h composite?
False
Suppose 4*v - 566 = -5*k, v - 30 = -2*k + 113. Let x = v - 56. Is x a prime number?
True
Suppose 1532306 = 31*i - 8*i. Is i a composite number?
True
Let p(h) = 3*h**3 - 11*h**2 - 6*h + 1. Let r(o) = -o**2 - o - 1. Let i(n) = -p(n) + 4*r(n). Is i(-5) prime?
False
Let p be (18/15)/((-4)/10). Let y be (1/2)/(p/(-5718)). Suppose 4*j - y + 357 = 0. Is j prime?
True
Let t = -12 - -12. Suppose 2*y + 4*x - 2*x - 280 = t, 3*x = 2*y - 285. Is y composite?
True
Let c(k) = 173*k**2 + 4*k - 2. Let d(r) = -172*r**2 - 4*r + 1. Let l(i) = -4*c(i) - 5*d(i). Is l(4) a prime number?
True
Let y(s) = -s**3 + 5*s**2 + 2*s - 6. Let i be y(5). Let d(q) = q**2 + i*q**2 + q**3 - 2 - 5*q - q**2. Is d(-3) composite?
True
Let z = -1989 + 36112. Is z prime?
True
Let n(u) = 9*u**2 - 9*u + 40. Let i be n(3). Suppose -2*o = -188 - i. Is o a composite number?
True
Is (5 - (3 - 3)) + (8 - -3828) prime?
False
Suppose -11*v = 16394 - 44125. Is v composite?
False
Let m = -19 - -217. Suppose -67 - m = -f. Is f a composite number?
True
Let s be 24*((-470)/(-6) + -2). Let r = -721 + s. Is r composite?
True
Is 4628 + (-8 - -5)/(-1) composite?
True
Let k = 23 + -9. Let g = k + -14. Suppose g = -5*x - 0*x + 1165. Is x a composite number?
False
Suppose -13*p + 16*p - 24804 = 3*b, p + 4*b - 8243 = 0. Is p prime?
True
Let c = 7566 + -4109. Is c a prime number?
True
Let w = 5045 + 272. Is w composite?
True
Let y(p) = p**3 + p**2 - 1. Let d(j) = 5*j**3 + 4*j**2 - 7. Let a(o) = d(o) - 6*y(o). Suppose -2*t - 12 = -0*t. Is a(t) a composite number?
True
Let k(c) = 3*c**3 - 14*c**2 - 46*c + 17. Is k(12) a composite number?
False
Suppose 4*a - 5 = -3*r - 2, -5*a + 3 = 3*r. Suppose a = 5*q - 6*q - 5. Let m(z) = -z**3 + 3*z**2 + 7*z + 2. Is m(q) prime?
True
Let b(o) = 51*o**2 + 2*o - o - 2 - 3 - 7*o. Is b(-6) a composite number?
False
Suppose 2*o = -2*y, -o - o = -2*y + 8. Let m(d) = 8*d**3 + 2*d**2 - d + 2. Let q be m(o). Let r = q - -129. Is r a composite number?
True
Let k(h) = 33*h + 14. Let z(r) = -32*r - 13. Let j(g) = -3*k(g) - 4*z(g). Is j(9) a prime number?
True
Let d = 6 - 1. Let t(y) = 19*y**3 - 5*y**2 + 6*y + 7. Is t(d) composite?
False
Let u(z) = z**3 - 9*z**2 + 10*z - 11. Let v(m) = m**3 + m + 8. Let s be v(0). Let w be u(s). Suppose 142 = w*q - 113. Is q a prime number?
False
Let f be (-5 + 2)*12/(-18). Let x be 129 - (6 + -2)/f. Suppose 2*l - 15 = x. Is l a composite number?
False
Let w = 77 + -74. Suppose 2 = -2*a, v - a + w*a = 393. Is v prime?
False
Let n be 1/(-1) - 4*-124. Suppose -5*q + n + 290 = 0. Is q prime?
True
Let p = 15662 + -9351. Is p a prime number?
True
Let q be -13*2/(-6)*-3. Let l(h) = h + 34. Let u be l(0). Let s = q + u. Is s prime?
False
Let l(d) = 3688*d**2 + 14*d - 33. Is l(5) composite?
False
Suppose -10 = 56*h - 58*h. Suppose 0 = h*x - 1558 + 383. Is x a prime number?
False
Suppose -5*s = -s - 3*z - 7922, z + 2 = 0. Is s prime?
True
Let z(v) = -6*v + 1. Let p(a) = a**3 - 7*a**2 - 9*a + 12. Let l be p(8). Suppose l*s + q - 4*q + 18 = 0, -4*s - q = 26. Is z(s) a prime number?
True
Let o = -100 - -102. Is (1171 + o - 2) + 3 a prime number?
False
Suppose -2*l = -c, -5*l + 2*l = 4*c - 22. Suppose -c*u + u + 12 = 0. Is 0 + u + (-1 - -1) a prime number?
False
Let n = 1153 + -368. Is n composite?
True
Suppose -5*a - o = -108, 3*o - 64 = -3*a + 2*o. Suppose 23*g = a*g + 1354. Is g prime?
False
Suppose -5*f + 5*m = -165, f - 2*m = -4*m + 18. Suppose f + 502 = 2*o. Is o prime?
False
Suppose 5 + 1 = s. Let f be (-510)/1 + -5 + s. Let a = -352 - f. Is a composite?
False
Is 15/3 + 4/2 + 612 prime?
True
Let o = 50079 + -23708. Is o composite?
False
Suppose 2*u + b = u, 4*u = 3*b. Suppose u = -7*q + 4*q + 1461. Is q prime?
True
Is (2 - 4/(-4)) + (-130176)/(-18) composite?
True
Suppose i - 127 = -135. Let s = -2 - 1. Is (20/i)/(s/30) prime?
False
Let v = 11398 - 5909. Is v prime?
False
Is ((-383)/(-3))/(2/30) composite?
True
Is 4/3 - 184186/(-222) a composite number?
True
Suppose -2*o - 133 = 5*o. Let v(u) = -u**3 - 20*u**2 - 21*u + 1. Is v(o) composite?
True
Let p = 1 + 1. Suppose p*j = -4*s + 2050, -5*j = -s + 3*s - 5093. Suppose j = -2*m + 5*m. Is m a composite number?
True
Suppose -100318 = -51*k + 77723. Is k a prime number?
True
Suppose -3*i - 2*i + 25 = 0. Let v = -8 - -11. Suppose 194 = i*a - v*a. Is a composite?
False
Let d(i) = -3*i**2 - 4*i**2 - i**3 + 2 + 4*i**2. Let s be d(-4). Is (-24)/s - 1430/(-6) composite?
True
Let c = 9732 + -6350. Suppose -6*j + c = -16412. Is j a composite number?
False
Suppose -3*v + 47446 = -2*v + 5*q, 0 = -2*v + 5*q + 94847. Is v prime?
True
Suppose 33*b + 9*b = 48468. Is b a prime number?
False
Let q(w) = -1974*w + 477. Is q(-5) composite?
True
Is -4 + (-66750)/(-12) - (-21)/(-14) a prime number?
True
Let s be -2*(2*1 + (-35)/10). Suppose v - s*j - 310 = 0, -4*v - 4*j - 307 = -5*v. Is v composite?
True
Suppose 74*g - 73175 = 69*g. Is g a prime number?
False
Let t be 7/(-28) + 4/(16/2121). Suppose -15*u + t = -13*u. Is u prime?
False
Let b(f) be the first derivative of -697*f**2 + f + 3. Is b(-3) a composite number?
True
Is 13/((5/79)/5) prime?
False
Suppose -o + 43 + 345 = -y, 1554 = 4*o - 2*y. Is o composite?
False
Let b = 1800 - -194. Is b a composite number?
True
Suppose -3*b + 72 = 5*f, -2 = -4*f - 4*b + 54. Let s = f - 17. Is (2 - (-66 + s)) + -3 prime?
True
Let a = -10 - -12. Let v be 128 + (0 - (a + -1)). Suppose 2*t - v = t. Is t a composite number?
False
Suppose -2*n + 0*n = -12626. Is n a prime number?
False
Suppose 129 = -5*h - 26. Let d = 36 - h. Is d composite?
False
Is ((-12245)/25)/(3/(-15)) composite?
True
Suppose 0 = -l + q - 177, 0 = l - 4*l - 5*q - 539. Let y = 265 - l. Is y composite?
False
Let u be 360/(-32) - 1/(-4). Let c be 1*5 + 11 + u. Suppose -2*v - c*f + 461 = 0, 4*v + 4*f - 538 = 366. Is v prime?
True
Is (-768)/(-576) + (-93598)/(-6) composite?
False
Let l be (-7)/((-35)/(-20)) + 6. Suppose -l*u - 657 = -3*b - 0*b, -b - 4*u + 233 = 0. Is b prime?
False
Suppose 5*t - 741 = 314. Suppose -4*q + 5*f + t + 1139 = 0, 0 = -3*q + 3*f + 1011. Is q prime?
False
Suppose -4*u - u - 3396 = 4*s, 3*u = -4*s - 3404. Let f = s - -1753. Suppose f = 4*t + 55. Is t composite?
False
Is (-32)/(-144) + (-2)/