posite number?
False
Is (0 - -1)*355/5 a prime number?
True
Let k be (12/14)/((-1)/(-7)). Suppose 0 = 3*s - k*s. Suppose -2*a + 4*u = -37 + 3, -4*a - 2*u + 78 = s. Is a a prime number?
True
Let k(l) = 227*l**2 - 1. Is k(1) a composite number?
True
Suppose 69 - 16 = f. Is f prime?
True
Let f(y) = -96*y + 2. Is f(-2) a composite number?
True
Suppose -5*y = 4*q + 549, 121 = -y - 0*y + 2*q. Let m = y + 207. Is (2/2)/(2/m) prime?
True
Suppose 9 = 3*k + 5*y - 1, -4*k + 2*y - 4 = 0. Let d = k + 13. Is d prime?
True
Suppose 235 = -z + 2*z. Is z a composite number?
True
Is (2 - 3)*(-1 + -96) a composite number?
False
Let k(v) = 11*v**2 + 3*v + 5. Let c be k(-4). Suppose 0 = -4*t + s + 136, 2*t + s + c = 7*t. Is t a prime number?
False
Suppose -845 + 258 = -m. Is m a composite number?
False
Let f(i) = -i**3 + i + 17. Let y be f(0). Suppose 53 = 4*r - 5*v, r + 2*v = 2*r - y. Is r a prime number?
True
Suppose 25 = 5*v - 5*x, -4*v + 10*x + 21 = 5*x. Let y(p) = 188*p - 1. Is y(v) a prime number?
True
Suppose -3*y + 422 + 25 = 0. Is y a prime number?
True
Suppose 5*x = -0*d + 2*d - 19, 4*d = 5*x + 23. Is (-474)/(-9) + d/6 composite?
False
Suppose 0 = -2*z - 2*k + 152, 3*z - z - 2*k - 144 = 0. Is z a composite number?
True
Let t(l) = -197*l + 21. Is t(-6) a prime number?
False
Is (-1)/(-1)*1*(858 - -1) composite?
False
Suppose 0 = -5*o + 10, -3*g + 2*o + 2*o = -763. Is g a prime number?
True
Let h(n) = -130*n**3 + 2*n**2 - 1. Is h(-1) a prime number?
True
Is ((-111)/12)/((-3)/84) prime?
False
Let b(m) = -18*m - 3. Let s be b(-3). Let r be (-243)/(-15) - 1/5. Suppose g - s = r. Is g a composite number?
False
Is 1/(3*4/5604) a composite number?
False
Suppose -3*d + 430 = -17. Is d a composite number?
False
Suppose -4*o + y = 653 - 3551, 2176 = 3*o - 2*y. Suppose -o = -3*z + 293. Is z a prime number?
False
Suppose 0*p + 4*p - 16 = 0. Suppose p*s - 5*c - 114 = 0, 0*c = -3*s + 2*c + 82. Is s prime?
False
Suppose -4*o = -o - 651. Is o a prime number?
False
Suppose -4*w - 4*s = -2*w - 58, -3*s = -4*w + 149. Is w composite?
True
Let j be (3 + -4)/(2/(-566)). Suppose k = 3*k - q - j, -q = 4*k - 575. Is k a prime number?
False
Let r(d) = 2*d**3 - 5*d**2 - 12*d - 11. Is r(6) a composite number?
True
Let c = 0 + 2. Suppose 2*f - 3*f = 0, 0 = -3*v - f - 21. Is c/7 + (-236)/v prime?
False
Suppose -w + 2*z + 74 = 0, -296 = -6*w + 2*w + 2*z. Is w composite?
True
Let x be 14/(-6) + 2/6. Let b be x/3 + (-39)/9. Let d(p) = 7*p**2 - 7*p + 1. Is d(b) a prime number?
True
Suppose 547 = 4*o - 4*p - 21, 4*p = -2*o + 278. Let q = -47 + o. Is q a composite number?
True
Suppose 1540 = q + q + 2*f, 3856 = 5*q - f. Is q a composite number?
True
Let k be -7 + (-2 - -5) + -1. Let v(p) = -74*p + 2. Let l be v(k). Is (2/(-4))/((-6)/l) a prime number?
True
Let x = -1145 + 2508. Is x prime?
False
Let w(p) = 9*p**3 + 4*p**2 - 2*p + 4. Is w(5) a prime number?
False
Let w(s) = -3*s - 5 + 33*s - 9*s. Is w(4) prime?
True
Let w = 4 - 2. Let y be 1/w + (-3)/6. Suppose -3*a - 5 + 44 = y. Is a a composite number?
False
Suppose -3*s - 21 = -s - t, -t = -s - 13. Let a(m) = 3*m**2 + 13*m + 9. Is a(s) a composite number?
False
Let d(b) = 4*b**3 - 5*b**2 - 21*b - 5. Is d(9) a prime number?
False
Let q be (-4)/(-16) + 34/(-8). Is (-674)/q - 1/(-2) composite?
True
Let i(f) = 2*f. Let o be i(1). Let t be 2*(o - 1) + 3. Suppose -4*v + 5*b = -121, 4*b - 161 - 21 = -t*v. Is v a prime number?
False
Suppose 2642 = 6*u - 772. Suppose u = 5*j - 141. Is j prime?
False
Let t(c) = 3 - 6*c + 1 - 1 + c**2. Let s be t(8). Is s - (-1 + 1)/2 prime?
True
Let i(k) = -k**3 - 4*k**2 - 4*k - 1. Let c be i(-3). Let a(p) = 3 - 3 - 3*p - c - p. Is a(-6) prime?
False
Let p be 1*(-6)/(-2) - -10. Let d = p + -8. Suppose -m = -d*c - 38, 2*m + 152 = 6*m + 3*c. Is m composite?
True
Suppose -g - 3 = -1. Is (-16)/g + (-4)/4 a composite number?
False
Let w be 16/3 - 4/(-6). Let o(n) = -1 - w + 4*n + 0*n. Is o(7) composite?
True
Let o(j) = 133*j + 1. Let h be o(3). Suppose 5*f - 425 = -4*i, -5*i + 4*i - h = -5*f. Is (f + 2 + 0)/1 prime?
True
Let u(z) be the second derivative of -7*z**5/120 + z**3/3 - 2*z. Let j(y) be the second derivative of u(y). Is j(-5) composite?
True
Let l(z) = -1 - 2 + 4*z - z + 7*z**2. Suppose 0 = 3*v + 2*u, 2*v = -3*u + u - 2. Is l(v) a prime number?
True
Suppose -2*z + 4*f = 2*f - 8, 2 = 4*z + 3*f. Suppose -j - 4*u = -17, 3*j - 3*u = z*u - 17. Is (-3)/(-2)*4/j composite?
True
Suppose 2200 + 468 = 4*o. Is o a prime number?
False
Is (-6)/9 + (-2290)/(-6) a composite number?
True
Suppose -23*f = -27*f + 3012. Is f a prime number?
False
Let w be -17 + 2 - 2*1. Is w*(-1 + 0) - 2 composite?
True
Suppose 5*v - 239 = -2*f, -3*v + 4*v = 3*f - 401. Suppose 4*g - 184 - f = 0. Is g composite?
False
Let v = 19 - 20. Is (14 - v)*(10 + -9) prime?
False
Let r(s) = s**2 + 5*s - 7. Is r(6) prime?
True
Let x(v) = v + 19. Let d(o) be the first derivative of o**2/2 + 19*o + 1. Let b(t) = 4*d(t) - 3*x(t). Is b(0) prime?
True
Let d be (2/4)/(3/(-12)). Is (8 + -7)/(d/(-326)) prime?
True
Let v(p) = 43*p**2 - 2. Let j be v(2). Let d = j + -115. Is d a prime number?
False
Let d = 39 - -11. Let g = d - 13. Is g composite?
False
Let i = 1 + -1. Let g = -1 - i. Is 51 + -1 + 0 + g prime?
False
Suppose -2*z + 60 = 3*z. Is (-2)/(z/(-22))*21 a composite number?
True
Let d(u) = 11*u**2 + 3*u + 3. Is d(5) prime?
True
Let p(x) = -12*x + 8. Let b be p(9). Let r = 165 + b. Is r composite?
True
Let p(v) = v**2 - 6*v + 7. Let a be (-4 - 8)*(-2)/(-4). Is p(a) a composite number?
False
Suppose h + 3*h + 21 = q, 4*q - 40 = 5*h. Suppose q*v + 4*c = 2*v - 6, 3*v + 3*c + 6 = 0. Is (-1)/v + 129/2 prime?
False
Suppose o + 0*o = 5*c + 25, 3 = -o - 2*c. Suppose t = -2*t + 1392. Suppose o*b - t + 9 = 0. Is b prime?
False
Let w(r) = -r - 2. Let m be w(-7). Is (-6)/(m + -2) - -97 a composite number?
True
Suppose j + 6 = 31. Suppose 3*y = -2*y + j. Let q(f) = -f**3 + 6*f**2 - 2*f + 4. Is q(y) a composite number?
False
Suppose 32 = -k + 85. Is k composite?
False
Suppose 0 = -4*j + 1441 + 1035. Is j a prime number?
True
Let k(j) = 2*j**3 + 8*j**2 + 3*j - 4. Let u be k(-6). Let b = 255 + u. Is b composite?
False
Suppose q + 2*q = 3*z - 99, -q - 9 = 5*z. Let b = -15 + 11. Let h = b - q. Is h composite?
True
Suppose 0 = 2*z - 1357 - 457. Is z composite?
False
Is (-7 - -26) + (-4 - 0/2) a composite number?
True
Let z(r) = -60*r + 3. Let q(j) = -30*j + 2. Let p(s) = 5*q(s) - 3*z(s). Let w be 6/(-9) - 33/(-9). Is p(w) composite?
True
Let r(d) = 5*d - 5. Let t(i) = 14*i - 14. Let a(c) = 11*r(c) - 4*t(c). Let z be a(-6). Let u(n) = -n**2 + 8*n + 6. Is u(z) a prime number?
True
Is (-193)/(2*3/(-18)) prime?
False
Let f(k) = -6 + 0*k - k - 2*k + 2*k. Let t be f(6). Is (-14)/4*(t + 6) composite?
True
Let m(k) = -k**3 - 7*k**2 - 6*k - 2. Let g be m(-6). Let f = 5 + g. Suppose 2*c - 198 = -4*x, -c = f*x - 40 - 64. Is c prime?
True
Suppose -2*j = -5*j - 3*a + 2121, 4*j = -5*a + 2828. Let w = j + -484. Is w composite?
False
Suppose -2*a = -7*a - 5*i, 15 = -4*a - i. Let m be (0 + -2)*a/2. Suppose -j = m - 3, 5*g = -4*j + 257. Is g composite?
False
Let p = 382 + -246. Suppose p + 228 = 4*d. Is d a composite number?
True
Let g(d) = d**3 - 9*d**2 + 12*d - 7. Is g(8) composite?
True
Let d(f) = -13*f**3 + 4*f**2 + f - 5. Is d(-3) prime?
True
Suppose 2*y - 869 - 477 = 0. Suppose y = 2*a - 133. Let q = a + -134. Is q a composite number?
False
Let a = 204 - 61. Let n = a - -90. Is n a prime number?
True
Let t(y) = 3*y - 5. Let u(s) = -s + 3. Let r(c) = 3*t(c) + 5*u(c). Let i be r(2). Suppose 0 = 2*q - 20 - i. Is q a composite number?
True
Let t(f) = f**3 + 3*f**2 - 6*f - 3. Let o be t(-4). Suppose -108 = g - 2*g. Let a = o + g. Is a composite?
False
Let c(t) = -5 - 2*t**2 + 2*t**3 - 16*t + 15*t - t**3. Is c(4) a composite number?
False
Is 22604/12 - (-2)/(-3) composite?
True
Let n(b) = 12*b - 57. Let t be n(34). Suppose 187 = -4*v - 453. Let k = t + v. Is k prime?
True
Let z = 0 + 1. Let c be -6*142*z/(-6). Let n = c + -11. Is n composite?
False
Suppose 0 = 3*w - 5*f + 213 - 2769, 0 = 4*w + 5*f - 3373. Suppose 4*c + 12 = -0*c, c + w = 4*i. Suppose -4*x + 161 = -i. Is x prime?
False
Suppose t = 5*l + 2*t - 4, -2*l - 3*t = -12. Suppose -w - 1 = 4*w + 4*v, l = -5*v - 20. Suppose w*p - 15 = 0, 5*