omposite number?
False
Suppose 116*u - 120*u + 2668 = 0. Is u a composite number?
True
Let k = -16 + 14. Let x(z) = -24*z**3 - 2*z**2 - 2*z - 3. Is x(k) prime?
False
Is (371 + 2)*(4 - 3) composite?
False
Let t = -378 + 1231. Is t a composite number?
False
Suppose 0 = b - 5*o - 15 - 4, 0 = 2*b - 5*o - 23. Suppose -2*g + b = 4*u, g - 22 = -4*g + 2*u. Let d(j) = 6*j**2 - 6*j + 5. Is d(g) composite?
True
Is ((-3)/1 - -4)*139 a prime number?
True
Suppose 0 = 4*u - 1 + 5. Is (290/4)/(u/(-2)) composite?
True
Suppose -q + 2*q = -j, 0 = -4*q + 12. Let u be 4 + ((-3)/j - 0). Suppose 5*y + 4*m - 55 = 0, 0 = -y + 3*y + u*m - 22. Is y prime?
True
Let q(r) = r**3 - 6*r**2 - 2*r + 1. Is q(14) a composite number?
True
Let g(f) = -2*f + 1. Let u be g(6). Is (-2)/u + (-3309)/(-11) a prime number?
False
Let b be (2/2)/((-6)/(-498)). Suppose -3*d + 190 + b = 0. Is d prime?
False
Suppose 2*p - 22 = 4*r, -5*p - 3*r - 9 = 1. Let h be 0 - (p + (-3 - -2)). Suppose 5*g - 25 - 10 = h. Is g prime?
True
Let w be (-4)/(1*(0 + -2)). Let d = w + 1. Let r(z) = z**3 - 3*z - 3. Is r(d) composite?
True
Suppose 0*o + 2 = o. Suppose 5*d + o*x = d + 1022, -3*d - 4*x = -759. Is d prime?
True
Suppose -97 = -2*b + 2*a + 105, 0 = 5*b - 2*a - 493. Is b composite?
False
Let x(t) be the second derivative of 1/2*t**2 - 19/3*t**3 + 0 - 3*t. Is x(-2) a composite number?
True
Let m = 6 - 7. Let w = 35 + m. Is w composite?
True
Let w be ((-32)/20)/((-1)/10). Let i = w - -5. Is i a composite number?
True
Let p(u) = 5*u + 6. Suppose 3*v + 7 = 22. Is p(v) a prime number?
True
Suppose 4*y - 74 = -2*l + 166, 0 = -5*l - 20. Suppose 3*t - 3*s = 741, -t + 5*s + y = -193. Suppose 5*f + 3*r + 2*r = 650, 2*f - 3*r = t. Is f a prime number?
True
Let f be (0 - (2 - 2))/1. Let v be (6/(-7) - 0)*28. Is v/(-1) - (2 - f) a prime number?
False
Let x = 476 - -437. Is x prime?
False
Let o(z) = -z**3 + 12*z**2 - 10*z + 1. Let m(s) = 5*s + 2. Let g be m(2). Let j be o(g). Let l = j + 198. Is l a prime number?
True
Let r(m) = -7*m**2 - 8. Let n(g) = 6*g**2 - g + 7. Let t(z) = 6*n(z) + 5*r(z). Let p be t(6). Suppose -p*c - 249 = -5*c. Is c a prime number?
True
Let d(u) = -u**3 + 8*u**2 + 3*u - 8. Let k be d(8). Let m(j) = 4*j - 2. Let s be m(6). Suppose -2*o - k = -4*c, c = -o - 3*o + s. Is c composite?
True
Suppose -3076 = -2*f + 2*l, -2*f - 2*l + 5218 - 2154 = 0. Is f prime?
False
Let i(t) = -68*t - 3. Let v(a) = -a**3 + 10*a**2 + a - 12. Let l be v(10). Is i(l) a composite number?
True
Let t(n) = 7 + 51*n**2 - 6 + 6*n**2 + 2*n. Is t(2) prime?
True
Let i(w) = w**3 + 3*w**2 - 4*w + 2. Let u be i(-4). Suppose -u*f = 3 + 17. Is (2/3)/(f/(-705)) composite?
False
Let v be 33/15 - 1/5. Suppose -5*u = 5*p - 242 - 433, -256 = -v*u + 5*p. Is u prime?
False
Let x(g) = -256*g + 3. Is x(-1) composite?
True
Let w(o) = 2*o**3 - 24*o**2 + 62*o - 19. Is w(20) prime?
True
Let t(o) = -o**3 - o**2 + 80. Let i be t(0). Let n = i - 43. Is n prime?
True
Let v be (1 + -1)*(0 - 1). Suppose -m + 2 + 41 = v. Is m composite?
False
Let o(t) = t**2 - 3*t - 3. Is o(-3) a prime number?
False
Suppose 2*k = -d + 656, 0*k = 5*k + 5*d - 1635. Is k a composite number?
True
Suppose 3*g = 4*g + 15. Let b = 10 - g. Is b prime?
False
Suppose 0 = x - 2. Let z be (-6 + x)/((-2)/281). Is (-20)/30 + z/6 prime?
False
Let q = 12 + -3. Suppose 11*o = q*o + 194. Is o a composite number?
False
Let n = -348 - -739. Is n a composite number?
True
Let v(z) = 3*z**2 - 6*z**2 + 39 + 4*z**2 + z. Let j(y) = y**3 - 13*y**2 - y + 13. Let s be j(13). Is v(s) a composite number?
True
Let z = 7 - 4. Let b(m) = -2*m**3 - m - 1 - 3*m**z - 5*m**3. Is b(-1) composite?
True
Let m = -97 + 65. Let f = -1 - m. Is f a composite number?
False
Is (4/8)/(3*1/1902) a prime number?
True
Let a = 226 - 129. Is a prime?
True
Is ((-13)/5)/((-7)/35) prime?
True
Let r(o) = 54*o + 3. Is r(6) a prime number?
False
Let x be 1 - -6*4/(-6). Is (-208)/x + (-6)/18 composite?
True
Let p be 0/(-8) + (-3 - 1). Let r = p + 10. Is r composite?
True
Suppose 35 = 5*g - 0*d - 2*d, 0 = 5*g + 5*d - 35. Is g prime?
True
Suppose 786 = 3*g + c, -7*c + 6*c = -4*g + 1041. Suppose -v - g = -37. Is v/(-12) + (-2)/(-6) a prime number?
True
Let x(t) = t**2 + t. Let i be x(-1). Let k be i + (-3)/((-3)/(-2)). Is (-1 - k - -54)*1 a composite number?
True
Let n(d) = -5 + 9*d**3 - 6*d**2 - 9*d**3 - d + d**3. Is n(8) composite?
True
Let g = 234 + -139. Is g prime?
False
Suppose -2*j = -6*t + t + 20, 3*j - 8 = -2*t. Suppose t*u + 5*l = 162, 86 = -4*u + 4*l + 266. Is u composite?
False
Let g(m) be the second derivative of 19*m**3/2 - 3*m**2/2 + 4*m. Is g(2) a composite number?
True
Suppose -19 = -5*w + 2*o + 21, 0 = 5*w + 4*o - 70. Let p(d) = -d**2 + 20*d - 15. Let q be p(w). Let z = -50 + q. Is z a composite number?
True
Suppose h = -3*h + 4*u + 512, 5*h - 640 = -2*u. Suppose 4*l - h = 132. Is l prime?
False
Is 22*(4/24 + (-122)/(-6)) composite?
True
Suppose -2*h = -7*h + 2420. Let o = -193 + h. Is o a prime number?
False
Suppose -z = -0*z. Let j(f) = -f**3 + f**2 + 97. Is j(z) a composite number?
False
Suppose -3*r = 18 - 78. Let z = r + 12. Let f = -18 + z. Is f a prime number?
False
Is (4 - 1) + 1900/2 a composite number?
False
Let x = -4 - -8. Suppose -x*g - 10 = -34. Is g composite?
True
Let l = 2 - 3. Let o = l + 11. Is o a prime number?
False
Let b(i) = -i + 19. Suppose -4*z = -6*z. Is b(z) a prime number?
True
Let t = -18 - -33. Let d = t + -9. Suppose -3*n + 26 = -5*w, -d*n + 3*n + 22 = -w. Is n composite?
False
Let i = -43 + 146. Is i a composite number?
False
Is 570/4*24/36 composite?
True
Let r(q) = -4*q - 3. Let a be r(3). Let f be (-2)/5 - (-6294)/a. Is (-2)/3 - f/9 a composite number?
True
Let t(x) = -8*x**3 + 26*x**2 - 7*x + 26. Let q(b) = -3*b**3 + 9*b**2 - 2*b + 9. Let r(i) = -11*q(i) + 4*t(i). Let s be r(-6). Is 65 - 2 - (s - 7) composite?
True
Suppose -2*r + 19 = -5*c, 2*c - c = 2*r - 7. Suppose 0*u = r*u. Suppose 0*l - 4*l + 84 = u. Is l a composite number?
True
Let y = -371 + 748. Is y prime?
False
Let t(v) = -3*v + 2. Let s be t(-2). Let q(i) = 5*i - 9. Is q(s) composite?
False
Let j = 189 - 80. Suppose -2*c - 2*v = -264, 2*c = -3*v + 160 + j. Is c prime?
True
Let k(f) = 191*f + 8. Is k(3) a composite number?
True
Suppose 2*y + 26 = -4*o, 4*y + 3*o = -16 - 21. Let h(a) = a + 4. Let b be h(y). Is 4 + b + (-1 - -26) prime?
False
Suppose 6 = 2*h - 4. Suppose 5*x + 86 = g, -2*x + 207 = 3*g - 0*g. Suppose -h*w = -k - g, -2*w + 3*k - 87 = -7*w. Is w composite?
True
Let x(r) = -r**3 + 7*r**2 - 6*r + 3. Let f be x(6). Suppose 4*q + 5*u - 8*u - 6 = 0, -5*u = -f*q - 1. Let y(t) = 2*t**3 - 5*t**2 + 5*t - 2. Is y(q) composite?
True
Let u = -248 + 433. Is u composite?
True
Suppose -w + 0*w - 3*m + 18 = 0, 0 = -2*w - m + 16. Is 415/w + 1/(-6) composite?
True
Suppose f = -2*a + 410, -2*a + 0*a + 412 = 2*f. Suppose a = 3*z - 135. Is z a prime number?
True
Is 2/(3/331*111 + -1) composite?
False
Let r(l) = 2*l**2 + 2*l + 7. Is r(9) prime?
False
Suppose -i - i = -460. Let g = -111 + i. Let a = -22 + g. Is a a composite number?
False
Let d = -631 + 1102. Suppose 0 = -2*y + d - 149. Is y a composite number?
True
Suppose n = 2 + 1. Let f(w) = w**2 - 2. Is f(n) a composite number?
False
Let b(u) = 14*u - 9. Is b(2) a prime number?
True
Suppose 5*a - 4*h = -1 + 21, 5*h + 25 = 3*a. Suppose 5*y + g - 186 = a, 0 = -3*y + 2*g - g + 110. Is y prime?
True
Suppose 665 + 676 = 3*r. Is r a composite number?
True
Is 2/(-5) - 5562/(-30) a prime number?
False
Let g(a) = -a**3 - 6*a**2 - 5*a + 3. Let v be g(-5). Suppose v*w - 336 = o, -5*w - 4*o + 560 = -0*o. Let n = w - 33. Is n a composite number?
False
Suppose -4*u = 32 - 120. Is u a composite number?
True
Suppose s = -s - 3*i + 1838, 5*s - 5*i = 4595. Is s prime?
True
Suppose 0 = -5*w + 306 + 2099. Is w composite?
True
Let f be (0 + 12)*446/4. Suppose -5*q - 3*y + 1679 = -y, f = 4*q - y. Suppose 3*a + 10 = 5*a, 0 = -5*r - 2*a + q. Is r prime?
False
Let o = 2 + -1. Let c = 2 + o. Suppose -2*i = c*i - 175. Is i composite?
True
Is (0 - -1)/((-9)/(-4203)) composite?
False
Suppose -4*s + 3*p + 3 = 4, -p - 21 = 4*s. Let r be s/14 + 74/14. Suppose 3*t - r*u - 19 = -3*u, -5*u = 3*t - 47. Is t a prime number?
False
Let h(d) = 21*d + 23. Is h(8) prime?
True
Suppose 2*g + 14 = 4*g. Let u(h) = 