 u = -2335. Is n composite?
True
Let s(g) = g**2 + g + 1. Suppose r + 12 = 5*r, -l - 5 = -r. Let x be s(l). Is (-1)/x*(-21)/1 prime?
True
Suppose -2*m + 418 = -96. Is m composite?
False
Let c(t) = -65*t. Let q(d) = -33*d. Let r(o) = -4*c(o) + 7*q(o). Let s be r(1). Suppose 0 = 3*h - 10 - s. Is h composite?
False
Suppose 0 = -72*n + 70*n + 1310. Is n composite?
True
Is (-11)/(495/18) + 1597/5 a prime number?
False
Let w = 6 - 6. Suppose 3*s - 2*a = 84, 2*s - a + 4*a - 43 = w. Is s composite?
True
Suppose -4 + 59 = -5*i. Is 4/(2 + 20/i) a composite number?
True
Suppose -4*j + 5*x = -26, -4*j + 3*x + x + 24 = 0. Suppose -j*v = 4*u - 32, -v + 14 = u + 2*v. Suppose 236 = u*b + 6. Is b a composite number?
True
Let y be (-5)/(-5) - (-3)/3. Suppose 0 = -y*w + 344 + 678. Is w prime?
False
Let y(w) = w - 2 - 1 + 0. Let r be y(3). Let x(z) = z + 25. Is x(r) a composite number?
True
Let d(k) = k - 5. Let w be d(0). Is (w - -3)*(-181)/2 prime?
True
Let a(l) = -9*l**3 + l**2. Let x be a(1). Let s(q) = q**2 + 10*q - 9. Let d(i) = 1. Let m(w) = -6*d(w) - s(w). Is m(x) composite?
False
Suppose 0 = -s - 3*i + 18, -4*s + i = s - 10. Is (s - (-86)/(-4))*-2 a prime number?
True
Suppose 3*p + p = -4*b, 0 = 3*p - 4*b + 14. Let f be 2 + -1*146/p. Suppose -2*o + 19 = -f. Is o prime?
True
Let c = 4 - 2. Is c*((-423)/6)/(-3) prime?
True
Let g(r) = -r**3 - 9*r**2 + 13*r + 16. Let l be g(-11). Suppose 3*t = 3, -2*q - 5*t + 0*t + l = 0. Is q prime?
False
Suppose 669 = 6*n - 3*n. Is n composite?
False
Let i be 9/6*(-8)/3. Is ((-10)/(-15))/(i/(-78)) composite?
False
Let a = -61 - -41. Let w = a - -51. Is w prime?
True
Suppose -6*q = -2*q + 5*k, 2*k + 23 = 3*q. Suppose -5*b - q*l = -150, 3*b - 5*l - 25 = 97. Is b a prime number?
False
Let b = 7214 + -4351. Is b composite?
True
Let o(q) = 39*q**2 + 3*q - 3. Is o(4) prime?
False
Let m(z) = 2*z**3 - z**2 - 4*z + 2. Is m(7) prime?
False
Let r = 4 - 4. Suppose 0 = -r*f - 2*f + 158. Is f composite?
False
Suppose -x = 6*u - u - 12, -4*u = 4*x - 16. Let m = x + 4. Is 2/m - (-51)/9 composite?
True
Let w(m) = m**2 + m - 1. Let n be w(-2). Let b be -3 + n + (-6 - -52). Suppose -i + 2*i - 3*v - 49 = 0, -i - 2*v + b = 0. Is i a composite number?
True
Let g = 0 - -67. Is g a prime number?
True
Suppose -2*p + 3*b - 8*b = -187, 0 = 2*b + 10. Is p a composite number?
True
Let i = -1 - -1. Suppose 2*k - 3*h - 3 = i, -k = 2*k + 4*h + 38. Let n(w) = w**2 + 4*w + 7. Is n(k) a prime number?
True
Is (1 + -7)/12 - 599/(-2) composite?
True
Let d = 2899 - 1052. Is d a prime number?
True
Suppose 0 = -p - 24 + 106. Is p a composite number?
True
Let t(i) = 7*i**3 + i**2 + 4*i + 1. Is t(3) a composite number?
False
Let t = -1084 - -1539. Suppose 6*y - y - t = 0. Is y prime?
False
Let u be (56/(-35))/(2/10). Let z(a) = -a**2 - 9*a - 4. Let v be z(u). Suppose -4*y = -5*y - 5*l + 82, -v*l - 55 = -y. Is y prime?
True
Let v(c) = -6*c**2 - c**3 + 4 - 2*c + 1 + 2*c**3 + 7*c. Let q be v(5). Suppose 0 = 5*i + 15, 0 = -z + 2*z - q*i - 110. Is z a prime number?
False
Suppose 0 = 4*c - 6*c + 10334. Is c a composite number?
False
Let k(o) = -o**2 + 2*o + 379. Is k(0) composite?
False
Let o(p) = -p + 1. Let a be o(0). Suppose -a = 2*h - 11. Suppose 0 = -f - h*i + 27, 7 = 2*f - i - 3. Is f a prime number?
True
Let t(x) = -41*x. Suppose 4*l = -5*a - 27 + 4, 0 = 2*a - 3*l. Is t(a) composite?
True
Suppose -4*q - 196 = -8*q. Is q composite?
True
Suppose 0 = -3*n + i + 653 - 83, -5*i + 206 = n. Is n a prime number?
True
Let l(b) = -5*b - 2. Let f be l(-3). Let p = -8 + f. Suppose -y = g - 33, -p*y + g + 3*g = -201. Is y a composite number?
False
Let q be (1 + -13)/(6/(-141)). Let w = q - 195. Is w prime?
False
Let i(m) = 4*m**2 + 4*m - 5. Let p(g) = 3*g**2 + 4*g - 6. Let a(q) = q - 2. Let r be a(8). Let t(c) = r*i(c) - 5*p(c). Is t(-3) a prime number?
False
Suppose -3*h + 16 = -2. Is (h/4)/(3/28) a prime number?
False
Suppose -364 = -5*s + s. Is s a composite number?
True
Let n = 1581 - -626. Is n a composite number?
False
Let y be (-5)/(-2) + 1/2. Suppose 0 = -f + y. Suppose -785 = -8*h + f*h. Is h composite?
False
Suppose -3*y - 5*h - 705 = -8*y, -y + 2*h + 137 = 0. Let o = 266 + y. Is o prime?
False
Let d(c) = 66*c**3 - 2*c + 1. Let y = -2 - -1. Let x be y/(3/(-3*1)). Is d(x) a composite number?
True
Let n be (-2 - -1)/(6/6). Let y be 199 - (-3 + (-2)/n). Let k = y + -121. Is k prime?
True
Suppose 0 = -6*s + 118 + 32. Is s prime?
False
Let t(c) = 2*c**2 - 14*c - 1. Let s be t(11). Suppose 2*n + s = 3*n. Is n composite?
True
Let y = 439 - 141. Let t = 929 - y. Is t composite?
False
Suppose 4*q + 9 = 3*v, 4*v = 2*q - q + 12. Is 22*(q + 7/2) a prime number?
False
Suppose -l + 0 + 3 = 0. Let g be 2/9*l*-18. Let r = g + 19. Is r prime?
True
Let k(p) = -4*p**2 + 3 - 3 - 3*p - p**3 + 4. Let w be k(-5). Suppose -g + 2*g - w = -3*c, 4*c - g = 61. Is c a prime number?
False
Let z = 6 + -4. Suppose -4*s = 3*w, 17 = 2*s - 3*w - 1. Suppose -5*t = -z*t + 5*d - 222, -s*t + 5*d = -252. Is t composite?
False
Let f(o) = o**3 - 5*o**2 + 3*o - 5. Let q be f(5). Let x be ((-2)/(-3))/((-10)/60). Is 66/10 - x/q a prime number?
True
Let o be ((-6)/3)/2 + 5. Let d = -2 + o. Suppose -d*h + 95 = 5*i, -4*i + 5*h + 68 = -41. Is i composite?
True
Let b(n) = 17*n + 7. Suppose -2*m + m + 12 = 0. Is b(m) a prime number?
True
Let s(p) = 10*p**2 + 14*p + 4. Let f be s(-11). Suppose 2*i + f = 6*i. Is i a composite number?
True
Is (2 - 3238/(-2))/1 a composite number?
False
Let i = -8 - -12. Suppose i*p + 106 = 446. Is p composite?
True
Let w be -2 - -5 - (0 - -3). Suppose 3*x - 54 - 3 = w. Is x composite?
False
Let k be -3 + 1 + -2 + 1. Let u be 6/2*2/k. Let l(o) = -16*o**3 - o**2 + 3*o + 1. Is l(u) a composite number?
True
Let x(f) = f**3 + 7*f**2 - 6*f + 8. Let q be x(-8). Let g be ((-7)/(-4) + -2)*q. Suppose -w - 65 = -g*w. Is w prime?
False
Let m(v) be the first derivative of v**4/4 + 5*v**3/3 + 2*v**2 - 2. Let d be m(-4). Suppose -2*n + 5*q + 25 = 0, d*q - 2 = -2*q. Is n prime?
False
Let w be ((-5)/(-20))/(2/8). Let u be (-2)/(-1) - (-4 - w). Suppose 3*s - 11 - u = 0. Is s a prime number?
False
Let n(t) = t**3 + 2*t**2 - 5*t - 5. Suppose 4*b + 25 = 5. Let x be n(b). Let r = 242 + x. Is r a prime number?
False
Let z = -15 + 30. Let l = 92 - z. Is l a composite number?
True
Let d be 4*1/(8/14). Let j be (d/(-4))/(2/(-56)). Suppose 5*g - 40 = -m + j, -326 = -4*m - 5*g. Is m composite?
False
Let f(q) = 16*q**2 - 4*q + 1. Is f(3) a composite number?
True
Let z be 4 + -2 + 2 - -1. Let i(m) = 1 + 4 - 4 + m. Is i(z) a composite number?
True
Suppose -4*d = -9*d + 6455. Let s = d + -822. Is s a prime number?
False
Let i(d) = -43*d + 12. Is i(-14) prime?
False
Let z(p) = 1166*p**2 - 1. Let b be z(-1). Suppose -b = -2*q - q - 4*j, 3*j - 1927 = -5*q. Is q a prime number?
True
Let h(x) = 16*x - 3. Suppose 3*m = m - 6. Let u be h(m). Let o = u - -134. Is o composite?
False
Let k(r) = 9*r**3 + 11*r**2 + 5*r - 13. Let z(t) = t**2 - 5 + 0*t**3 + 2*t + 4*t**3 - 1 + 4*t**2. Let q(b) = -2*k(b) + 5*z(b). Is q(3) a prime number?
False
Let f be (2/6)/(3/27). Suppose f*p = 7*p - 620. Is p prime?
False
Suppose -2*j - 3*p + 5436 = 0, -3*j + 3*p = j - 10890. Is j prime?
False
Let o be (-3 - 33)/(3/(-2)). Let r = o - 43. Let s = 38 + r. Is s a prime number?
True
Let g = -9 + 9. Suppose g*x + 2*x - 20 = 0. Is x a composite number?
True
Is 14/8 - (27/(-12))/9 a prime number?
True
Suppose -3*n + 530 = -2*n. Is (1 + n/(-4))*-2 prime?
True
Suppose 7*t + 33 = 4*t. Let f = t + 25. Is 4/f + 3726/42 composite?
False
Let k = -7 + 9. Suppose k*w - 3526 = -1230. Suppose -3*s - s = -w. Is s composite?
True
Is (0 - -32) + (-2 - -3) + 0 prime?
False
Let j be 4/(-16) + (-66)/(-8). Let p = j - 2. Is p a composite number?
True
Let d(f) = 15*f - 14. Let p(z) = -z**3 + 8*z**2 + 11*z - 11. Let l be p(9). Is d(l) a prime number?
False
Let c(a) = -a**2. Let t be c(0). Suppose -5*d + 2*d + 6 = t. Suppose -d*f - 4*v = -114, -3*f + 115 = -f + 5*v. Is f a composite number?
True
Let p = 4392 - 2221. Is p prime?
False
Suppose -8*y = -2*y - 2796. Is y prime?
False
Let k = -18 + 0. Is (4/(-3))/(k/783) a prime number?
False
Let z(p) = -210*p + 1. Let u be z(-1). Is 4/16*4*u prime?
True
Let x(w) = w**2 + 2. Let r be x(0). Suppose -r*k + 64 = t, 117 + 155 = 4