8235. Is r a prime number?
True
Let i(p) = 8*p**3 + 4*p - 10. Let m(b) = -9*b**3 - b**2 - 4*b + 9. Let f(c) = 6*i(c) + 5*m(c). Is f(7) a composite number?
False
Suppose -22543 = -9*o + 64955. Is o composite?
True
Let l(n) = -n**2 + 3*n + 4. Let x be l(3). Let k = x + 15. Suppose 0 = 3*m - 20 - k. Is m prime?
True
Suppose -11509 = -2*q - 2*q - 5*f, -5*f = -q + 2871. Suppose 20*i = 16*i + q. Is i prime?
True
Suppose -8*m + 4*m = -8. Suppose -5*c = q - 4382, -m*q - 883 = -c - 0*c. Is c composite?
False
Suppose -4*m + 2*u + 1 = -3, 5*u = -4*m + 18. Suppose -3*q + 23 = -4*p, -5*q + 47 = -m*p + 18. Is ((-2)/2)/(p/746) prime?
True
Suppose 40 = -0*p + 4*p. Suppose -5*r + p = 0, -3*v + 4*r + 105 = -2*v. Is v prime?
True
Let i(p) = 2*p**2 + 1. Let q be i(-1). Suppose 7*g = 5*m + q*g + 5683, -m - 1145 = 2*g. Let u = -774 - m. Is u a composite number?
True
Let d be (-610)/(-1)*(-2)/(-5). Let s(o) = o + 2. Let w be s(-3). Is 3 + w/((-1)/d) a prime number?
False
Is (2/7)/(9/649908*4) a composite number?
True
Let p(t) = t**2 - 7*t + 6. Let n be p(-6). Suppose -379 + n = -5*v. Is v a prime number?
True
Suppose 0 = -3*d + 5*v + 48885, -8*v = 2*d - 4*v - 32590. Is d composite?
True
Is (-158940)/(-32) + ((-6)/(-16))/3 composite?
False
Let z(l) = -3*l + 2. Let q be z(4). Let m = q - -12. Suppose -4*p = -3*u + 193, -p = -m*u + 4*p + 138. Is u a composite number?
False
Let b be 9 - 4*(-2)/(-8). Suppose 3*t - 2 + b = 0. Let i(c) = -6*c**3 - c**2 - 2*c - 1. Is i(t) composite?
False
Let r = 7224 + -5083. Let k = 3276 - r. Is k prime?
False
Let v(j) = -j**2 - 6*j - 3. Let o(d) = 4*d. Let g be o(-1). Let w be v(g). Suppose 165 = 2*f + w*s, -2*f - s + 46 = -139. Is f composite?
True
Let x(r) be the second derivative of -115*r**3/6 - 3*r**2 + 7*r. Let t be x(-5). Let f = -354 + t. Is f composite?
True
Let m = -2 + 1. Let l(h) = -90*h + 1 - 4 + 4. Is l(m) a composite number?
True
Let q(d) = -75*d**3 - 5*d**2 - 3*d - 3. Is q(-2) composite?
True
Let y(p) = 7*p**2 + 12*p + 9. Let q be (10 + -31)/((-6)/(-4)). Is y(q) a composite number?
False
Let l(q) = q**2 + 2*q - 4. Let r be ((-10)/(-3))/((-8)/12). Let y be l(r). Is (y/(-4))/((-2)/8) prime?
True
Let k be (-1 - 5)/(6/(-4)). Suppose k = 3*d - 14. Suppose 183 = r - 3*n, r + n - d*n - 187 = 0. Is r a prime number?
False
Suppose -2*k + 31194 = k - 5*f, -5*f = 0. Suppose 5*o - k = -o. Is o a prime number?
True
Suppose 3*q - 3147 = -5*y, -2*q - 3*y + y = -2094. Let g = q + -636. Let s = -121 + g. Is s composite?
True
Let z(u) = -10*u**3 - 9*u**2 - 27*u - 17. Is z(-13) prime?
False
Let w = -39 - -42. Let n be 22/(-4)*(-15 - w). Suppose -p = 4*x - 2520, 3*p - n = -x + 520. Is x composite?
False
Suppose 10*p + 325905 = 25*p. Is p a prime number?
True
Suppose 3*w + 4*p = -11, -3*w - 2*w = 3*p. Is (-4548)/(-8)*2/w composite?
False
Let h(i) = 134*i + 15. Let v = 3 + 10. Is h(v) prime?
False
Suppose 0*s = s + 1. Let u be (-16)/6*(s - 14). Let y = 185 - u. Is y prime?
False
Let n be 9402/4*-5*12/90. Let b = n + 2860. Is b prime?
False
Let v be -4*(-1 + 2/1). Is (9332*v/(-80))/((-2)/(-10)) a composite number?
False
Let b = 15 - -14. Let v(j) = -j**3 + j**2 + j + 4. Let x be v(0). Suppose 0 = x*g + 5 - b. Is g a composite number?
True
Suppose 5*j - 249 = -3*s, 4*s = j + 6 - 42. Suppose 3*r + 150 = 3*m + 15, -2*r + j = m. Is m a prime number?
False
Suppose 4*w = 2*q + 9*w - 273, w + 1 = 0. Let d = 647 - 446. Let b = d - q. Is b prime?
False
Is ((112528/12)/4)/((-7)/(-21)) a composite number?
True
Is (2/8)/(39/777660) composite?
True
Suppose 5*x - 48 = -4*f, 3*x = -x - 4*f + 40. Let i(b) = 28*b - 33. Is i(x) a composite number?
False
Let s(i) = 41*i**2 - i + 2. Let n(t) = 62*t**2 - 2*t + 3. Let x(h) = 5*n(h) - 8*s(h). Let m be x(3). Let o = m + 420. Is o composite?
False
Let x be (405/(-10))/(1/4). Let u be 1/2 - x/(-4). Is (141/6)/((-4)/u) prime?
False
Suppose 2 = 2*p + 4. Is (27 + p)*127/2 a prime number?
False
Let k = 1 + -3. Is -3 + -1 + 2 + k + 441 prime?
False
Suppose 10*h - 75324 = 50786. Is h a composite number?
False
Suppose -11*s = 10*s - 705453. Is s a composite number?
True
Suppose -3*c - 6 - 17 = f, 3*f = 3*c + 15. Is (-1)/(-2) + ((-81837)/6)/c composite?
False
Is -2*(-3957)/(-4)*(-20)/6 a prime number?
False
Let r(q) = -674*q**3 + 2*q**2 - 1. Let u be r(-1). Let y(p) = -p**2 - 11*p - 11. Let g be y(-10). Is u + g + -3 + 6 composite?
False
Suppose 0*t - 2*k = 4*t - 3518, -3*t - 3*k = -2634. Suppose x = 648 + t. Is x prime?
False
Suppose 2*f = -5*s - 21, -4*s = -0*f + 2*f + 16. Suppose 7*r - 10 = f*r. Suppose a = -4*a - r*m + 767, 2*m = a - 163. Is a a prime number?
False
Let h be -36 - (-3 + 0 - -8). Let j = h - -106. Is j composite?
True
Is ((-585)/(-234))/(((-2)/15868)/(-1)) composite?
True
Let j be (18/15)/((-1)/3900). Let l = -3319 - j. Is l a prime number?
True
Let g be ((-2)/((-2)/1))/(-1). Let x(p) = -101*p + 5. Is x(g) a composite number?
True
Let m = 7 - 4. Let j(q) = 10*q**3 - 4*q**2 + q. Is j(m) prime?
False
Suppose -9 = -3*o - 0*o, r = 4*o - 10. Suppose -t - 52 = -r*d, t = 5*t. Suppose -q = -3*q + d. Is q prime?
True
Let i(j) = -12*j**3 - 3*j**2 - 5*j - 39. Is i(-9) a prime number?
False
Let p = 57 - 44. Let u(c) = 36*c**2 - 64*c - 106. Let g(j) = -7*j**2 + 13*j + 21. Let i(t) = -11*g(t) - 2*u(t). Is i(p) prime?
True
Suppose 15415 = 3*a + 2*o, 9*a - 10274 = 7*a - 2*o. Is a a composite number?
True
Let a = 3845 + -2152. Is a prime?
True
Suppose -d + 898 = d. Suppose 5*c - 296 = d. Suppose 0 = 5*k + 2*q - 165, 3*q - c = -4*k - 2*q. Is k a prime number?
True
Let j(k) = -k - 16. Let c be j(-18). Suppose -4*x - 150 = -2*n - 0*x, -4*x + 417 = 5*n. Suppose c*s - n = 137. Is s a composite number?
False
Suppose -c = 13*n - 10*n - 2468, 2*n - 3*c = 1627. Is n composite?
False
Suppose 2*n = -0*n + 4. Let h(d) = 2*d**2 - d - 4. Let t be h(n). Suppose -2*f = -t*w - 156, -4*w + 75 = f - 2*w. Is f a prime number?
False
Let t = 75 + 2552. Is t a composite number?
True
Let r(f) = -f**3 + 5*f**2 - 5*f + 38585. Is r(0) prime?
False
Suppose -w - 4 = -7. Let m(h) = 5 + h + 8*h**2 + w*h - 6. Is m(2) a composite number?
True
Let h = 432 - 113. Let t = h + -62. Is t a composite number?
False
Let j(d) be the first derivative of 13*d**4/6 + d**3 + d**2/2 - 13*d - 12. Let v(n) be the first derivative of j(n). Is v(5) prime?
False
Let f be 2/4*2592/(-4). Let h = -203 - f. Is h composite?
True
Suppose 2*r = -4*g - 162, g - 2*g = 2*r + 147. Let s = r + 77. Is s a prime number?
False
Let c(f) = -343*f - 13. Is c(-2) prime?
True
Let z(d) be the second derivative of d**5/20 + d**4/3 - d**3/6 - 2*d**2 + 4*d. Let w be z(-3). Suppose 3*b = w*b - 2555. Is b composite?
True
Suppose n - 24016 = -11*v + 6*v, 0 = 2*v - 4*n - 9602. Is v composite?
True
Suppose -4*c = -3*g + 2*g - 66, 25 = c + 4*g. Let r(l) = l**3 - 15*l**2 - 25*l + 13. Is r(c) a prime number?
False
Let k(m) be the third derivative of 41*m**6/120 - m**5/20 + m**4/8 - m**3/2 - 7*m**2. Is k(2) a prime number?
False
Suppose -2*g + 0*i = 5*i + 2040, -i = g + 1020. Let w = g + 1553. Is w a composite number?
True
Suppose -y = -2*f - 13319, 6*f + 39977 = 3*y + 5*f. Is y a prime number?
True
Let n be (0/3)/((-24)/6). Suppose n = h - 132 + 28. Let r = h - 33. Is r a prime number?
True
Let p = 22845 + -9448. Is p prime?
True
Let c(p) = -6*p**3 - 2*p**2 + 3*p - 9. Let u = 19 + -14. Suppose 2*k = v - 8, -k + 2*k = u*v - 4. Is c(k) prime?
True
Let p = 402 - 85. Is p prime?
True
Let a(l) = 120*l + 131. Is a(28) a composite number?
False
Let n(g) be the third derivative of 31*g**4/24 - 17*g**3/6 - 11*g**2. Let y be n(-5). Let u = -93 - y. Is u a prime number?
True
Suppose -227 + 87 = -5*h. Suppose 0*a + 4*a = h. Suppose 3*y + 4*w = 765, 1 - a = -2*w. Is y a prime number?
True
Let j(x) = 2 - 4*x**3 + 0*x**3 - x + x**2 - 3 - 3*x**3. Is j(-4) a prime number?
True
Let h be (-1)/(6/(-4))*19263. Suppose -11*q + 16429 = -h. Is q prime?
False
Let g(p) = -15*p**3 - p**2 + p + 1. Let r be g(-1). Let w(k) = 0*k - 2*k**2 - 2*k + k**2 + 2*k**2 - 7. Is w(r) a prime number?
False
Suppose -2*y + 6378 = 4*s, 3*s + 3*y - 611 = 4171. Let i = s + 1596. Is i a composite number?
False
Let d(n) be the first derivative of -20*n**2 - 7*n - 9. Let a be d(-8). Suppose -5*l + 171 = 3*m, -l = 5*m - 2*l - a. Is m prime?
False
Let q(