composite?
True
Let s(n) = 446*n**3 + 2*n**2 - n - 1. Let v be s(1). Suppose 2*c - v = c. Suppose 3*t + c = 2*l, 3*t = -2*t. Is l prime?
True
Let s(v) = v**2 + 2*v - 5. Let d be s(-4). Suppose -2*g - d*p + 512 = 0, -p - 1297 = -5*g - 0*p. Is g a composite number?
True
Let r be 34/4*(-16)/4. Is 0 - r - 1/(-1) prime?
False
Let n(h) = 32*h - 250. Let i be n(12). Let y(q) = -2*q**2 - q + 1. Let v be y(-2). Is i/4*(v - -11) a prime number?
False
Is 41/(-3 + 350/115) prime?
False
Let m(h) be the first derivative of h**2/2 + 67*h + 1. Suppose 0 = -g + g + 8*g. Is m(g) a prime number?
True
Suppose 5497 = 2*z - 357. Is z prime?
True
Let v(z) = 4*z**3 + z - 1. Let y be 14/8 - 9/12. Let h be v(y). Suppose m + 231 = h*m. Is m prime?
False
Suppose 10751 = 3*h + 5*c, -12*c = 5*h - 16*c - 17943. Is h a composite number?
True
Let k = 5867 - -3886. Is k a prime number?
False
Let l(m) = m**2 + 6*m + 11. Let n be l(-5). Suppose 0 = n*d + 6*d - 2460. Is d a prime number?
False
Let a be 124/(-16) + (-1)/4. Is (-1996)/a*8/4 prime?
True
Suppose -3*i + 16 = 4*m - 4*i, 0 = 4*m + 4*i - 16. Is (-1 - m) + 4*42 a prime number?
True
Let h be (1 + 22/14)/((-7)/(-147)). Is 9734/18 + 2/h*6 composite?
False
Let s = -40455 - -109664. Is s a prime number?
False
Is 784 - (1 - 28/7) composite?
False
Let t(l) = -232*l - 217. Is t(-32) a prime number?
True
Let z(a) = -a**3 + 4*a**2 - 2*a + 1. Let c be z(3). Suppose 0*v = c*v - 8. Let g(j) = 50*j**2 - 1. Is g(v) a composite number?
False
Suppose 127590 = 3*h + 3*h. Is h a prime number?
False
Let p = 8 - -27. Let x = p + -29. Is x a prime number?
False
Let x = -272 + 272. Suppose -3*k + 2 = 3*n + n, 5 = -5*n. Suppose 4*l - 3179 = -5*m, k*l - 1573 = -x*l + 3*m. Is l a composite number?
True
Is -6 + 120/32*2036 a composite number?
True
Suppose 6*m - 1 = 5*m. Is (2 - (3/m - 969)) + -3 a composite number?
True
Let c = 8 + -25. Let r = 28 - 84. Let k = c - r. Is k a prime number?
False
Is (-211)/844 - 137274/(-8) prime?
True
Suppose s + 8 = 2*s. Let z be (138/s)/((-15)/(-1620)). Suppose 0 = 5*o - 4*m - z, -4*o + o = -m - 1115. Is o a composite number?
True
Let k = -20 - -28. Let f be (-3)/(-18)*3*k. Suppose 0 = f*t - 2*r - 42 + 12, 4*t + 5*r - 23 = 0. Is t a composite number?
False
Is ((-273)/6)/(3/(-6)) prime?
False
Is (-25442)/(-3)*(5 - 84/24) a prime number?
True
Suppose -5*r = -3*i, i - 2*r = 3*r. Let w be ((2 - i) + -2)*-1. Let s(h) = 2*h + 631. Is s(w) composite?
False
Suppose 21*u + 235087 = 40*u. Is u composite?
False
Suppose 0 = 3*h - 4*a - 505 + 15, -5*h + 809 = a. Suppose h = -4*s - 5*w, 2*w = -s - 3*w - 48. Let f = s - -153. Is f prime?
False
Suppose 4*t + 2 = 2*z, -29 = 5*z + 3*t - 8. Let l be 6 + (-2)/z*-3. Suppose 5*w = -r + 292, -106 = -2*w - l*r - 0*r. Is w a prime number?
True
Let x be (-3 - 75/(-27)) + (-40)/(-18). Suppose -x*h = -92 - 96. Is h prime?
False
Let d(h) = 2*h**3 - 15*h**2 - 14*h + 19. Is d(22) prime?
False
Let c = 8005 + -3846. Suppose 3376 = 2*w + 5*a, -4*w + 3*a + 2619 + c = 0. Is w a composite number?
False
Suppose 5*x = 19*v - 17*v + 33035, 0 = 3*x - 2*v - 19817. Is x composite?
True
Let m be -1 - -12*36/8. Suppose m = -2*w + 3*w. Suppose w - 15 = z. Is z composite?
True
Suppose 5*l + 77 = d - 259, -16 = -4*l. Suppose 0 = 2*c - 1 - 1, 0 = -5*i - 3*c + 2588. Let g = i - d. Is g composite?
True
Let d = 36 - 33. Suppose -d*a = 2*g - g - 10232, 10222 = 3*a - g. Is a a composite number?
True
Suppose 156*u + 569338 = 178*u. Is u prime?
False
Suppose -3*f + 20 = -4. Suppose 3*k - 4*w - 125 = -f, 0 = -3*w. Is k prime?
False
Let q = -273 + -443. Let i(o) = 9*o**3 - 4*o**2 + 6*o - 20. Let c be i(5). Let n = q + c. Is n prime?
False
Let a = -33 + 32. Let x = a + 7. Let v(g) = 2*g**3 - 7*g**2 + g + 5. Is v(x) prime?
True
Suppose 34681 = 5*j + 2*p, p = j + 4*p - 6931. Is j composite?
True
Let t be 10/(-4)*(-48)/30. Is (t/(-20)*-3126)/(2/5) a prime number?
False
Suppose -3*t = -25 - 17. Suppose 0 = -3*z + t + 22. Is (-4)/(z/(-191))*3 a prime number?
True
Let t(l) = 4*l**2 + 5*l + 18. Let k be t(-8). Suppose 3*x = 1032 + k. Is x a prime number?
False
Suppose -5*i + 3*p = -2*i - 42, -4*p = i + 6. Is (-17856)/(-45) - (-2)/i prime?
True
Suppose 0 = -5*y + 15, 3*t = 5*y + 546. Suppose -189*a + 10066 = -t*a. Is a prime?
False
Suppose 3*z - 7*q - 194810 = -6*q, 5*q = z - 64932. Is z prime?
True
Suppose 0 = 5*i + q - 19, 0*i - 5*i + 21 = -q. Suppose -i*o - 4*f = -1308 + 96, 4*o + 5*f - 1216 = 0. Is o a composite number?
True
Let v be ((-22)/18 - -1) + 4511/9. Suppose 8 = -q + 3*q. Suppose 0 = -5*w - q*a + v, -4*a - 101 = -w - 5*a. Is w a composite number?
False
Let g = 2424 + -161. Is g prime?
False
Let l(i) = 950*i**2 + 2*i + 25. Is l(-4) a composite number?
False
Suppose h + 76 = 1413. Is h a prime number?
False
Suppose -534 = -3*l + 6*l. Let b be (3/(-3))/((-7)/2457). Let d = b - l. Is d composite?
True
Let c = -22 + 24. Let p(j) = 53*j - 3. Is p(c) a composite number?
False
Let a = -12 + 10. Let z be a*(0 - 45/6). Is 3882/15 - (-3)/z composite?
True
Let b = 27642 - 16493. Is b composite?
False
Let o = 1641 + -2730. Let g = o - -2404. Is g prime?
False
Let g(c) = c**3 - 16*c**2 + c - 41. Let b be g(16). Let r(x) = -x**3 - 8*x**2 + x - 6. Let z be r(-6). Let j = b - z. Is j prime?
True
Suppose -17*c = -c - 928. Let w(k) = 3*k - 1. Let t be w(2). Suppose -t*m + c + 2387 = 0. Is m a composite number?
True
Let f = 40 + -34. Suppose -4*u + 3*c = -30 + f, -4*u + 28 = -4*c. Suppose -u*o + 136 = 25. Is o composite?
False
Let g = -40 - -44. Suppose 3*i = g*i - 673. Is i a composite number?
False
Suppose u - 1724 = 4247. Is u a prime number?
False
Let v(c) = 6*c**3 - 105*c**2 - 89*c - 110. Let l(j) = -j**3 + 21*j**2 + 18*j + 22. Let y(i) = 11*l(i) + 2*v(i). Is y(-17) composite?
True
Suppose -o - 1403 = 3*h, -h = 3*o - 6*h + 4223. Is (-10)/(-6) + -1 - o/6 a prime number?
False
Suppose 4*l - 262582 = -5*w + 135482, 0 = 4*l - 3*w - 398096. Is l a prime number?
False
Suppose 0 = m + 4, -2*m + 7*m + 32 = 4*z. Let j(x) = 69*x**3 + 3*x**2 + 4*x - 1. Is j(z) a composite number?
False
Suppose 10*p - 842 - 468 = 0. Is p a prime number?
True
Let q = -19 - -29. Let l be q/(-2) - -2 - -5. Suppose l*v - 107 - 75 = i, -4*i + 73 = v. Is v a composite number?
False
Let q = 24 + -41. Let z = 22 + q. Suppose -4*r - a = 2*a - 643, 2*a - 795 = -z*r. Is r prime?
True
Let d(r) = 14671*r + 159. Is d(2) a composite number?
False
Suppose 2*g + 5 = -41. Let s = -23 - g. Suppose 1062 = 6*f - s*f. Is f a composite number?
True
Let i(p) = -2*p - 1. Let y be i(-6). Let a = -9 + y. Let s(h) = 11*h**3 + 1. Is s(a) a prime number?
True
Let n be (0 + 1)/((-7)/77). Let r(i) = i**3 + 13*i**2 + 8*i + 5. Let j be r(n). Let q = 52 + j. Is q a composite number?
False
Suppose 5 = d, -3*p - 9*d = -4*d - 9076. Is p prime?
False
Let u = 12 + -2. Suppose 3*y - u = 65. Suppose -y - 17 = -3*p. Is p prime?
False
Suppose 3*q + 4122 = -4*f + 3*f, -2*f = -3*q + 8235. Let n = f + 5920. Is n a prime number?
True
Let f(n) = 2341*n**2 - 10*n + 20. Is f(3) composite?
False
Let x = 66960 + -5093. Is x prime?
False
Suppose 9*n = 6*n + 15. Is 2/(-12) + (-105990)/(-36) + n a prime number?
False
Suppose -5*l + 415 = -415. Suppose 5*j - 190 = 5*h + 95, l = 3*j - 4*h. Is j a prime number?
False
Let u be 1*(2 - (1 + 10)). Let t = u - -12. Suppose 6*n + 5*s - 495 = n, 4*n + t*s - 394 = 0. Is n prime?
True
Let r be ((-6)/4)/((-9)/(-60)). Let u(a) = -2*a**3 - 12*a**2 - 3*a + 9. Is u(r) prime?
True
Suppose 2365 = 3*p + f, -2*f + 997 + 585 = 2*p. Is p prime?
True
Let n = 116 + -44. Suppose 0 = -2*l + 3*x - 44, 5*l + n = -0*l - 2*x. Is l/(-4) + 254 + 1 prime?
False
Let r be 1020/(-130) + (-4)/26. Is (-4040)/(-32) - 6/r a composite number?
False
Let u be 4*(-4 - (-27)/6). Let r(k) = -3*k + 3*k**2 - 6*k + 15 - 2*k**2 + 0*k**u. Is r(11) a prime number?
True
Suppose -2*r + 5967 = 5*p - 1609, 5*r + 3013 = 2*p. Is p a prime number?
False
Let z(l) = -l**2 + 9*l - 4. Let o be z(8). Suppose o*c = 10 + 142. Is c a prime number?
False
Is 1*6/4 - (-540950)/100 prime?
False
Let v be (-1 + 16)*16/40. Let f be 428/18 - v/(-27). Is (-1388)/6*f/(-16) a prime number?
True
Let b(u) be the first derivative of -311*u**2/2 + 11*u + 13. Is b(-4) prime?
False
Suppose 3*l - 7*l = 3*v - 17116, 0 = 4*v. Is l prime?
False
Is