posite?
False
Let o = 693 - 358. Is o composite?
True
Let b(h) = h**3 + 15*h**2 + 2. Let p be b(-15). Suppose 517 = p*v - 5*g, -3*v + 2*v + 242 = 3*g. Is v composite?
False
Suppose 4*n = 6 + 22. Suppose -n*y + 6048 - 1757 = 0. Is y composite?
False
Let b be (-2)/1*2198/(-28). Suppose 5*a - 1 = -3*l, -2*l + 3 = l + 3*a. Suppose b = l*o - 21. Is o a composite number?
False
Let d be 0*-1*(-4 + 7/2). Let v = 648 - 388. Is v + (d/(-4) - -3) composite?
False
Let n(v) = 11*v**2 + 3*v + 14. Let f be n(11). Suppose f = 7*c - 2563. Is c a composite number?
False
Let v(l) = -l**3 - 16*l**2 - 14*l + 19. Let g be v(-15). Suppose -g*n = c - 275, -3*n - 2*n = 3*c - 349. Is n/6*9/2 a composite number?
True
Let s = 205 - -747. Let p = s + -513. Is p composite?
False
Let j(a) = a**3 + 5*a**2 - 14*a + 2. Let s be j(-7). Suppose 2 = w, -3*i + s*w + 3*w + 752 = 0. Is i composite?
True
Suppose -21*z = -48*z + 610281. Is z a composite number?
True
Suppose o - 60438 = -4*b, 5*b - 80239 = -o - 19803. Is o composite?
True
Let j(s) = 490*s + 1. Is j(14) composite?
True
Suppose 98730 = 39*j + 38631. Is j composite?
True
Let f(v) = 343*v**2 - 1. Let t = -23 - -22. Let x be f(t). Suppose -m + 2*h + x = 5*h, -3*h = -3*m + 1014. Is m a prime number?
False
Suppose -305 = -8*n + 3*n. Suppose 0 = -2*h - h + 3. Let y = n + h. Is y prime?
False
Let u = 24 - -41. Is (u/(-10) + 0)*-134 prime?
False
Let m(g) = -444*g - 31. Is m(-18) a composite number?
True
Let v(m) = -m - 2. Let p be v(-5). Suppose 339 = p*w - 4*w. Is (-8)/12*w*1 a prime number?
False
Suppose 164 + 222891 = 35*v. Is v a prime number?
True
Let k(l) = l + 3. Let a be k(0). Suppose -a*o + 6*c - 820 = c, -2*c = -10. Let f = 216 - o. Is f a prime number?
False
Suppose 0*a = -a + 2. Is 5 + a + 189 + -2 a composite number?
True
Let u = 11036 + -3631. Is u prime?
False
Let q = 23632 - 15171. Is q a prime number?
True
Suppose 9*g + 10 = 46. Suppose -g = 3*z - 2*z, 0 = 2*c + 2*z - 4290. Is c a composite number?
True
Let f be (2 + 11/2)*-2. Let j(r) = 15*r + 17. Let s(x) = -29*x - 34. Let z(w) = 5*j(w) + 3*s(w). Is z(f) a prime number?
True
Let l = 23 - -74. Is l a prime number?
True
Let j(g) = -2*g**2 + 2*g. Let l be j(1). Suppose l = 4*n - n - 1410. Suppose -n = -5*v - x - 3*x, 5*x - 188 = -2*v. Is v composite?
True
Let j(t) = 2*t**3 - 19*t**2 + 7*t + 17. Let x(r) = -r**3 + 9*r**2 - 3*r - 8. Let m(y) = -4*j(y) - 9*x(y). Let i be m(5). Is (-7*(-11)/(-1))/i composite?
True
Suppose -3*w - 5*z = 7849, -3*w + 0*w - 7799 = -5*z. Let l = -1653 - w. Is l a prime number?
False
Let v(i) = -i**2 - 32*i - 201. Let a be v(-23). Suppose 5 + 11 = 4*m. Suppose -2*j - 115 = -t - a*j, 4*j + 500 = m*t. Is t prime?
False
Let w = 57343 - 26984. Is w a composite number?
True
Let l(i) = -i**3 - 4*i**2 - 4*i - 3. Let s be l(-2). Let q be 72/(-14)*14/s. Let j = q - 1. Is j a prime number?
True
Let n(a) = -a**3 + a**3 - a**3 + 8 - 7*a - 3*a**2. Is n(-6) a composite number?
True
Let j(i) = i**3 + 3*i**2 - 5*i - 4. Let z be j(-4). Suppose 1187 = -z*n + n. Is n a composite number?
False
Let o(s) = -8*s**2 - 8*s - 8. Let d(x) = -7*x**2 - 8*x - 8. Let l(t) = 5*d(t) - 6*o(t). Is l(-13) a prime number?
False
Let j(x) = 488*x + 15. Is j(2) a composite number?
False
Suppose -5*t = -3*j + 24421, j + j - 4*t - 16278 = 0. Is j a composite number?
False
Let o(a) = -a**3 + 10*a**2 + 10*a + 16. Let f be o(11). Let x = 8 - 6. Suppose -2*z - x*y = -4*z + 100, 0 = 2*z + f*y - 121. Is z composite?
False
Is (101675/20 - 3)/((-12)/(-48)) prime?
True
Let w(h) = 2300*h**3 + 3*h**2 - 4*h + 4. Let l be w(2). Suppose -3*c - l = 6*s - 9*s, -30704 = -5*s - 3*c. Is s composite?
True
Let h(n) be the second derivative of 5*n**5/4 + 5*n**4/12 - 2*n**3 + 11*n**2/2 - 14*n + 3. Is h(4) prime?
False
Let h(x) = 188*x**2 + 27*x - 106. Is h(17) a composite number?
True
Suppose -4*d = -12, 5*x - 69440 = -0*x + 5*d. Is x prime?
False
Suppose 0*z + 55 = 5*z. Let i = z - 11. Suppose 3*q - q - 4 = i, 2*w - 4*q - 246 = 0. Is w a prime number?
True
Let l = 3991 - -1440. Is l composite?
False
Let h(s) = s**2 - 2*s + 3. Let j be h(3). Is (-1 - (-3)/j)*-2794 prime?
False
Let m(d) = -144*d - 79. Is m(-9) composite?
False
Let t(f) = 1043*f**3 - 2*f**2 + 3*f - 1. Suppose -m + 5*v + 4 = -2*m, 3 = 4*m + v. Is t(m) a prime number?
False
Let d be ((-7)/(-3))/(3/171). Let q = 214 + d. Is q prime?
True
Let q be (-1)/2 + (-3)/(-6). Suppose 2*j - 5 - 5 = q. Suppose -j*i = 208 - 953. Is i composite?
False
Let w(u) be the third derivative of -u**4/24 + 5*u**3/3 + u**2. Suppose 5*o + 0*r = 3*r - 49, -4*o - 46 = r. Is w(o) a composite number?
True
Let i(k) = k**3 - 7*k**2 - k + 7. Let q be i(7). Suppose -3*s + w + 13 = 0, -s - 2*s + 2*w + 14 = q. Suppose -6*t = -s*t - 286. Is t composite?
True
Suppose -5*q = k - 8282, 5*q - 6*k = -4*k + 8291. Is q a prime number?
True
Let t be -36*(12/8 + -2). Let g be (t/(-15))/(6/(-20)). Suppose -4*v = -5*d - 442 + 2301, 1485 = g*d - v. Is d a composite number?
True
Let s(h) = h**3 + 23*h**2 - 92*h - 47. Is s(-21) a prime number?
True
Let b(o) = -o**3 - o**2 + 4*o + 4. Let h be b(-4). Let p = 21 - h. Let w = p - -22. Is w composite?
False
Suppose 450 = x + x. Let a be (-2 - 4)/(33/(-22)). Suppose -4*t = -a*f - 7*t + x, 0 = -2*t - 2. Is f prime?
False
Let j = -134 - -136. Let w(i) = 297*i**2 - 2*i + 5. Is w(j) a prime number?
False
Let r be 5 + -2 + 13/(-1). Is (r/(-5))/((-2)/(-178)) a prime number?
False
Let w(x) = x**2 + 6*x + 12. Let i be w(-4). Suppose -5*a = 20, -8*a + 4*a = -i*v + 2156. Is v a prime number?
False
Let m(k) = 24*k**2 - 6*k + 4. Let a be m(4). Suppose 0 = 2*d - 2*n - 603 - 161, d + 5*n - a = 0. Is d a prime number?
True
Let x(c) = 1786*c - 2. Let j be x(3). Let g be j/(-4*1) + -3. Is g/(-6) + (-2)/3 a composite number?
False
Let m be (190/(-1))/2 + -2. Let k = -37 + -13. Let c = k - m. Is c prime?
True
Let j be -5*-2*4/20. Suppose -5*n = v - 99, j*v - v = 3*n + 91. Is v prime?
False
Let x(g) = -9*g**3 - g**2 + g - 1. Let j be x(1). Let a = 65 + j. Is a prime?
False
Let y(x) = 7 - 101*x**3 - 15 + 4 + 3 - 3*x - 4*x**2. Is y(-2) composite?
False
Let r be (-21)/(-9)*3 - 2. Suppose 6*c - 9 = r*c. Suppose 342 = 5*m + t, -3*t = -6*t - c. Is m composite?
True
Is (-24078)/(-18) - (-6)/(-9) composite?
True
Let i(v) be the third derivative of 11*v**5/15 - 7*v**3/6 + 20*v**2. Is i(-3) a prime number?
True
Let g be 8/3 - 2/(-6). Let x(u) = u**2 - 3. Let f be x(g). Is -19*21*f/(-18) composite?
True
Let h(w) = -4*w**3 + w**2 + 7*w - 5. Let d = -89 + 82. Is h(d) composite?
False
Let t = -3 - -3. Suppose t = -4*f + d + 4353, d - 5*d + 5415 = 5*f. Is f a prime number?
True
Is ((-1465)/4)/((-64)/256) a composite number?
True
Let f(i) = -i**2 - 6*i + 8. Let d be f(-7). Suppose -t + 1 = -d. Suppose -k + 214 = t*v - 183, 16 = 4*v. Is k prime?
True
Let p(t) = 72*t**2 + 46*t + 11. Is p(-4) composite?
True
Let s(b) = -b**3 - 16*b**2 - 16*b - 26. Let t be s(-15). Is (-6)/2 - (t - 5) prime?
True
Let p(f) be the first derivative of 1151*f**4/4 + f**3/3 + f**2 - 3*f - 2. Is p(1) a composite number?
False
Let h(l) = -2 + 2*l + 1 + 4*l - l. Let d be h(4). Suppose 0 = -23*p + d*p + 956. Is p a prime number?
True
Let y be (1 + 13)/((-1)/(-14)). Let r = -257 - -252. Is y/5 - r/(-25) a composite number?
True
Suppose -2*d + 10 = m + m, -4*m + 8 = d. Suppose -d*g - 5*o = -0*g - 1491, 5*g - 1875 = -4*o. Is g a composite number?
False
Let a(k) = 2*k**2 - 22*k + 15. Let o(z) = z**2 - 11*z + 8. Let y(c) = 4*a(c) - 9*o(c). Let x be y(9). Let v(n) = 5*n**2 + 5*n - 1. Is v(x) a composite number?
True
Suppose -88*v = -85*v - 3, 5*f = -5*v + 8815. Is f prime?
False
Suppose -4*i + 5*i = c - 6, -5*i = -3*c + 22. Suppose -c*q = -3*v + 615, -4*v + 768 + 52 = q. Is v a composite number?
True
Is 7841 + -35 + 14/(-2) prime?
False
Let u(w) = 125*w**2 + 84*w + 27. Is u(-8) a composite number?
True
Suppose -7 + 3395 = x. Suppose 7*d - 23653 = x. Is d prime?
True
Let k(b) = 279*b**2 + 11*b + 199. Is k(-9) a prime number?
True
Suppose -2*l + v - 1 = -0*v, -v = -4*l + 3. Let k(s) = 9*s**2 + 3. Let d be k(l). Let i = d - -46. Is i composite?
True
Let p(z) = z**3 - 5*z**2 - 10*z - 2. Let s be p(7). Let h = s - -11. Is h a prime number?
True
Let w(o) = o**2 + 8*o + 9. Let b be w(-7). Is b/(-3) + (-557)/(-3) compos