 prime?
True
Let f = 556 - 67. Is f a composite number?
True
Let q(z) = 332*z - 5. Is q(2) a composite number?
False
Suppose 12*c - 6734 - 48718 = 0. Is c a composite number?
False
Let u(s) = s + 10. Let n be u(-7). Is 1/n + (-1424)/(-12) a prime number?
False
Suppose 3*x + 5*j - 3550 = -1303, 2*j = 0. Is x composite?
True
Let z = -706 + 1569. Is z a prime number?
True
Suppose -45*h = -38*h - 133. Is h a composite number?
False
Suppose 3*o + 22 - 4 = 0. Is (4/o)/((-8)/4452) a composite number?
True
Let u be (1/2)/((-2)/(-8)). Suppose -3*p + 34 = -u*p. Is p a prime number?
False
Let d be (-45)/(-3) + (0 - 3). Suppose 0 = 5*y + 3*f, -y - 3*f + 0*f = -d. Is (-3 - y) + (19 - -2) composite?
True
Let q(g) = 63*g + 2. Let t be q(2). Suppose -4*y + 5*m + t = -0*y, 3*y - 127 = -4*m. Is y prime?
True
Suppose 3*r - 8*r - 5*v + 5940 = 0, 3*v - 1192 = -r. Is r composite?
True
Let a = -5 - -7. Let x(c) = c**2 + 6 - 4*c + 12*c + 0*c**a + 4. Is x(-8) composite?
True
Is -478*(-4 + ((-14)/4 - -2)) composite?
True
Let i(p) = -p + 6. Let f be i(4). Is 63 + f - 4/(-2) a composite number?
False
Let n(y) = y**3 - 14*y**2 + 6*y - 8. Let v(b) = 3*b**3 - 41*b**2 + 19*b - 24. Let h be (69/(-12) + 3)*-4. Let g(c) = h*n(c) - 4*v(c). Is g(7) prime?
False
Suppose -2*p = 3*p - 2475. Suppose -5*d = -2*d - p. Suppose 3*j = 6*j - d. Is j composite?
True
Let b = 111 + 16. Is b composite?
False
Suppose 2*a - 207 = -f - 2*a, -3*f - 5*a = -593. Is f a composite number?
False
Is (4/(8/(-251)))/(1/(-2)) composite?
False
Let b(d) = -d**2 + 3*d + 7. Let m be b(5). Let g = -6 - -17. Let i = g - m. Is i composite?
True
Suppose -3 = -5*w + 4*w. Let k be -2 - w/((-6)/8). Suppose -9 = -3*r + 2*q, r + 3*q - 9 = -k*r. Is r prime?
True
Is (-101)/(33/78 - (-2)/(-4)) a composite number?
True
Suppose 2*w - 446 = -w + 5*z, -z = -2*w + 309. Is w composite?
False
Let g(f) be the first derivative of 179*f**4/4 - f**2/2 - 1. Let m be g(1). Suppose -u + m = u. Is u prime?
True
Suppose 9*p - 4*p - n - 1689 = 0, 3*p = -n + 1007. Is p a prime number?
True
Suppose -w + 137 = p + 2*w, 3*p + 2*w - 376 = 0. Let j = p + -87. Is j a prime number?
False
Suppose 3*h + 2*h = 0. Suppose h*i - 3*i + 669 = 0. Is i prime?
True
Is 0/2 - (-10 + -457) composite?
False
Is 80 - (1 - 5 - -1) prime?
True
Let n(d) = -4*d + 6 + 2*d**2 + 4*d - 2*d. Is n(-4) composite?
True
Let v = -52 + 29. Let d = 56 + v. Is d a composite number?
True
Suppose 4*l - 1 = 4*u + 3, 5*u - 3 = 3*l. Suppose -u*p = 4*p - 1645. Is p prime?
False
Is (-189)/(-4) - (-1)/(-4) a prime number?
True
Let d = 285 + -198. Is d a prime number?
False
Suppose 5*f = -5*b - 66 + 6, 5*f = 0. Let i = -5 + 7. Is (-928)/b - i/6 a prime number?
False
Suppose -v - 5*y = -3264, 7785 = 4*v + y - 5290. Is v a composite number?
True
Let a(l) = -2*l**2 - 4*l - 3 + 0 - 2. Let x(d) = d**3 - d**2 - 3*d - 4. Let v(s) = -3*a(s) + 4*x(s). Is v(2) a prime number?
False
Let r = 136 - 309. Let o = r - -384. Is o a prime number?
True
Let l(a) = -a**2. Let v(c) = c**2 - 34. Let r(o) = -2*l(o) - v(o). Is r(0) a prime number?
False
Let g(w) = -7*w**3 - 6*w - 13. Is g(-6) a composite number?
True
Suppose -7 + 1 = -2*h. Is -1 + -1 + h*9 a prime number?
False
Let h = 0 - -6. Is (92/h)/((-2)/(-21)) prime?
False
Let c = -4 - -4. Let b = 33 - c. Suppose b = f + 5*d, 3*f + 0*d = 2*d + 31. Is f a prime number?
True
Let b be (18/(-4))/(9/(-132)). Suppose 2*k + b = 4*k. Is k a composite number?
True
Suppose 3*o + 291 = 5*b, 2*b + 0*b - 117 = o. Let r = 83 + b. Is r a composite number?
True
Suppose 4*p = -p + 13835. Is p a composite number?
False
Suppose 631 + 3278 = 5*f + b, 20 = 5*b. Is f a prime number?
False
Suppose 2*t = t. Suppose -c + 6*c - 305 = t. Suppose -3*v - c = -256. Is v a prime number?
False
Let g = 1507 - 788. Is g a prime number?
True
Suppose 2*n = 7*n - 10. Let x be 5 + -3 + n - -2. Is (-3)/6 - (-897)/x a composite number?
False
Suppose o + 3 = 4. Let p(u) = 10*u**2 - u + 1. Let l be p(1). Is 128/l - o/(-5) composite?
False
Let i(r) = -4*r + 11. Is i(-25) a prime number?
False
Let p(o) = o**3 + 9*o**2 - 4. Let s be p(-8). Suppose 0*h - 4*h - s = 0. Let j = 26 + h. Is j composite?
False
Suppose 4 = 3*k + 5*w, k - 4 = -0*w + w. Let a(l) = 12*l + 1. Is a(k) prime?
True
Suppose -5*y = -4*z + 694, -y = y + z + 275. Let h = y + 227. Is h a composite number?
False
Let u be 11/3 + 2/(-3). Let c(g) = 5*g**2 - 2*g + 4. Is c(u) prime?
True
Suppose 4 = -4*h, 3*d - h = 625 + 1974. Is d composite?
True
Let p = -200 - -873. Is p a composite number?
False
Let z = -5 + 7. Is (-131)/((z - 3)*1) prime?
True
Let o(t) = -t**2 - 3*t + 2. Let n be o(-3). Let r be 48/18*(-3)/n. Is 13*5 + r/(-2) a composite number?
False
Let b(y) = -2*y - 9. Let x be b(-7). Suppose -w - 2*w = x*p - 37, 0 = -2*p + 5*w + 21. Is 522/p + (-1)/4 a composite number?
True
Suppose 15 = -4*u - y, 3*y = -2*u + y. Let g(c) = -4*c - 1. Is g(u) prime?
True
Let p(u) = -3*u - 1. Let t(g) = g + 1. Let n(b) = -p(b) + 2*t(b). Is n(4) a composite number?
False
Let h = 94 + -29. Is h prime?
False
Is 1157/((-6 + 0)/(-6)) composite?
True
Let z be (-2 + 19 - -1)*3. Is (-2)/4 - z/(-4) prime?
True
Suppose 7729 = 8*k - 7*k - 3*h, -2*k + 15502 = 5*h. Is k prime?
True
Let q = 4 - 2. Suppose -t - q = -2*t. Suppose 2*u + t*u = 24. Is u prime?
False
Let n(y) = -y**3 - 5*y**2 + 4*y + 1. Let o be n(-6). Suppose -v - 2 + o = 0. Is v a composite number?
False
Suppose 32 + 1 = 3*i. Is i prime?
True
Suppose -l + 0*l = -553. Is l a prime number?
False
Is 4 + (-3 - (1 - 103)) prime?
True
Let j(s) be the second derivative of -s**5/20 - 4*s**4/3 - 5*s**3/2 - 7*s**2/2 + 6*s. Is j(-16) prime?
True
Let j(l) = 41*l**2 - 4*l + 2. Is j(2) prime?
False
Suppose 22*s - 23*s = -89. Let k = s - -330. Is k prime?
True
Let l(v) = 135*v**2 + 2*v - 3. Is l(1) a composite number?
True
Let f be (-44)/14 + 1/7. Is (f - (-8)/2) + 88 a composite number?
False
Is (-2)/((-4)/(-6)) + 214 a composite number?
False
Let o(i) = -i. Let q be o(-13). Let g(t) = 4*t**2 + t + 3. Let b be g(3). Let h = b + q. Is h prime?
False
Suppose -n + 8 = -4*z, 35 - 15 = 4*n - 4*z. Suppose c = -3*p + 10, n*p = 3*c + 17 + 5. Is (14 - (-2)/c) + 0 prime?
True
Suppose -4*a = -7*a + 138. Is a prime?
False
Suppose -1842 = v - 7*v. Is v a prime number?
True
Suppose -r = 2*r. Suppose c + 4*c = 1070. Suppose r = 3*t - 17 - c. Is t a composite number?
True
Let h(u) = u + 6. Let b be h(5). Let s = 142 - 85. Suppose 2*t + b - s = 0. Is t a composite number?
False
Let q be (-4)/12 + 2/(-3). Is (-1)/(2/(-180)) + q prime?
True
Suppose -5*o + 1445 = -2*i, 5*o - 569 = 3*o - i. Is o composite?
True
Suppose 68 = 31*r - 29*r. Is r prime?
False
Let k be (-2)/9 + 47/9. Suppose 3*t + 602 = k*m, 2*m + 0*t - 5*t = 237. Is m a prime number?
False
Let m = 1100 + -189. Is m prime?
True
Let u(a) be the first derivative of -2 + 3*a + 3/2*a**2 + 0*a**3 - 11/4*a**4. Is u(-2) a composite number?
True
Is (3/2)/(3 - 273/92) composite?
True
Let g(x) = -43*x - 7. Is g(-2) a composite number?
False
Let f = 60 + -24. Suppose -31 = -u + f. Is u prime?
True
Let m(k) = k**2 + 3*k - 1. Let g be m(-3). Let q = g + 5. Let f = q - -63. Is f a composite number?
False
Is -4*(-4)/16 - -580 prime?
False
Let b be 2/5 + 293/5. Is (b - 4)*3/5 a composite number?
True
Suppose 876 = 4*u - 596. Suppose 110 = 2*n - u. Is n composite?
False
Is 14720/30 - (-1)/3 composite?
False
Let m(h) = -12*h + 2. Let n(s) = 3*s - 1. Let t be n(1). Let x be m(t). Is (-1)/(-2 + (-42)/x) composite?
False
Suppose z - 316 = -3*d + 7*d, 3*d + 4*z = -237. Let v = d + 132. Is v a prime number?
True
Let a = 16 + 221. Is a prime?
False
Let v = 23 - -15. Let f = v + -9. Let p = 50 - f. Is p prime?
False
Let a = -138 + 547. Is a prime?
True
Let w(m) = -13*m + 4. Let v(i) = -26*i + 7. Let s be (-1 - -4)/(-1 - 0). Let g(k) = s*v(k) + 5*w(k). Is g(4) a composite number?
True
Let g be (1 - 1)/(-2)*-1. Suppose g = -t - 3*c + 8, -t = 2*t - c - 14. Suppose t*s - s = f - 57, 4*f - 217 = 5*s. Is f a prime number?
True
Let r = -313 - -210. Let j = r + 177. Is j prime?
False
Suppose -4*c = -1460 - 3368. Is c a composite number?
True
Let w(l) = 111*l - 1. Let a be w(2). Let f = a - -1. Suppose -2*x - 3*x + 555 = -3*j, 2*x - f = 3*j. Is x a composite number?
True
Suppose -2*k - 44 = 2*k. Let y be 