257 - m. Is a a composite number?
False
Let o = -4 - -6. Suppose -5*t - o*h + 6*h = -435, 0 = 5*t - 3*h - 440. Is t prime?
False
Suppose -111 = -9*t + 6*t. Is t prime?
True
Suppose 2*h + 3*q - 64 = -2*q, -3*h = q - 83. Let v = h + 30. Suppose 41 = 2*j - v. Is j prime?
False
Let z = 45 - -565. Let k = -339 + z. Is k a composite number?
False
Let k(s) = 3*s**2 - 3*s - 3. Let y be k(-4). Is (y/3)/(1 - 0) prime?
True
Let n = 254 - -227. Is n a prime number?
False
Let i be 0/((-6)/3) - -7. Let f(p) = p**3 - 6*p**2 - 6*p - 3. Let q be f(i). Is -2 + (-2)/q*-122 composite?
False
Let f = 5518 - 2061. Is f a prime number?
True
Let x be (1/2*0)/1. Let u(n) = -5 - 4*n**3 + x*n**3 + 4*n + 3*n**3 + 4*n**2. Is u(4) a prime number?
True
Let l(o) = 4*o + 1. Let t be 10/6 - (-6)/(-9). Let a be l(t). Suppose 3 = p + 4*k, -5*p - k + 48 = -a. Is p a prime number?
True
Let r(o) = 19*o - 2. Let g be 85/20 + 3/4. Is r(g) a composite number?
True
Let w(t) = 3*t - 3. Let j be w(5). Suppose -j = 2*g - 58. Is g prime?
True
Let x(n) = -31*n**3 + 4*n**2 + 6*n + 2. Is x(-2) composite?
True
Let s = -53 + 142. Is s a composite number?
False
Let i = 50 + -102. Let r = i - -95. Is r composite?
False
Let z(v) be the second derivative of v**3/6 + 33*v**2/2 - 4*v. Is z(0) a prime number?
False
Let d be 4*-2*(-3)/(-8). Let j be -197 + (1 - (-4 - d)). Is -4*(j/(-4))/(-3) prime?
False
Let k = 25 + 44. Is k prime?
False
Suppose 2 - 4 = -b. Suppose -3*i = 5*t - 29, 3*i - b = -4*t + 23. Suppose -i*c = -6*c + 111. Is c a composite number?
False
Let g(b) = 3*b**2 - b**2 + 4*b - 1 + 4. Suppose -70*r = -69*r + 6. Is g(r) a prime number?
False
Let l = -3 + 2. Let i = l + 4. Is ((-2)/(-3))/(i/63) a prime number?
False
Suppose -2*r - 10 = -4*r. Suppose -5*x - 5*u + 188 = -2*x, -2*x + 117 = r*u. Is x a prime number?
True
Let d(w) = 8*w**2 - 3*w - 1. Let r be d(4). Suppose 8*f = 3*f + r. Is f prime?
True
Suppose -1775 = -4*b + 309. Is b composite?
False
Let r(x) = 2*x**3 - 3*x**2 + 2*x - 3. Let v be r(2). Let z = 0 - -5. Suppose -w + z = -v. Is w prime?
False
Suppose 38*s = 36*s + 1178. Is s prime?
False
Let n = 3 - 1. Let l be 1/(-2)*(-4)/n. Is -1 + 16*(l + 0) a composite number?
True
Let h = -11 - 28. Let t = -11 - h. Suppose -p + 70 = 5*u, u = 5*p + t + 12. Is u a composite number?
True
Let m = -127 + 1092. Is m prime?
False
Suppose -17*n - 295 = -18*n. Is n prime?
False
Suppose q + 0*i - 572 = -3*i, 0 = 3*q + i - 1756. Is q a prime number?
True
Let i be 0/(2/((-6)/(-3))). Suppose i = -v + w + 4, -w - 3 + 1 = 0. Suppose -5 = v*u - 19. Is u a prime number?
True
Let s = 78 - 47. Let b = 51 - -23. Let y = b - s. Is y a composite number?
False
Let w(t) be the first derivative of -t**4/4 - t**3 - t**2/2 + 8*t - 3. Is w(-7) a prime number?
True
Let r(n) = 13*n + 1 + 8*n + 11*n - 6. Is r(2) a composite number?
False
Is -2*((-402)/4 - 2) prime?
False
Let a(j) = -145*j**2 - 3*j + 3. Let n(u) be the first derivative of 436*u**3/3 + 4*u**2 - 8*u + 2. Let b(c) = 11*a(c) + 4*n(c). Is b(1) prime?
True
Is 74/(-4)*-582 - 2 a composite number?
True
Suppose q + 3*y = 142, q = -4*y + 50 + 91. Is q a composite number?
True
Is -1*1 - (-22 - 520) a composite number?
False
Let h be (14/(-6))/((-1)/75). Let s(f) = f**3 + 6*f**2 - 13*f + 2. Let j be s(-9). Let c = j + h. Is c composite?
True
Let v = -7 - -10. Let h(n) = 145*n + 1. Let i be h(v). Suppose -2*t - t = -4*o + i, -t = 0. Is o composite?
False
Let f(k) = -14*k**2 - k + 1. Let z be f(2). Suppose -5*p = -0*p + 55. Let g = p - z. Is g composite?
True
Is (-12052)/(-10) - (-1)/(-5) a prime number?
False
Let d = 4 - 3. Suppose -5*c + d = -29. Is c a prime number?
False
Suppose -2*p - 3*p = -15. Let x(b) = 2*b**2 - 3*b + 3. Let v be x(p). Suppose 2*y - q = -4*q + v, 4*q = 4*y - 24. Is y composite?
True
Suppose 0 = -3*j - o + 4414, -5*j + 4740 = o - 2618. Suppose -j = -5*n - 357. Is n composite?
False
Let b be (-202)/3 - (-8)/(-12). Let h = -15 - b. Is h composite?
False
Let u = 18 + -14. Is (-1)/(-4)*u*131 prime?
True
Suppose 0 = 5*c + 4*j - 3, -5*c = -4*j - 27. Suppose 0 = -c*r + 4 + 350. Let k = 239 - r. Is k prime?
False
Let c(x) be the second derivative of x**4/4 - x**2/2 - 4*x. Let n be c(1). Suppose 0*r - n*r + 38 = 0. Is r a composite number?
False
Suppose -35 = -5*r + 70. Let q = r + 56. Is q a composite number?
True
Suppose -21*z + 24*z - 1671 = 0. Is z prime?
True
Suppose -4331 - 4649 = -4*w. Is w composite?
True
Suppose -5*y - 4 = -29. Suppose -4*v + 351 = 3*h, -2*h - 264 = -3*v - y*h. Is v composite?
True
Let g(b) = -b - 7. Let i be g(-8). Suppose -3*p + 55 = 3*l - 5*p, -p = -i. Is l composite?
False
Suppose -k + 21 = x + k, 5*x + 5*k - 105 = 0. Is 1653/x + 4/14 a composite number?
False
Let m = -337 - -652. Let i = 552 - m. Is i composite?
True
Suppose -555 = -3*g + k, 5*g + 3*k - 936 = k. Suppose 4*s + 2*m - 4 - 2 = 0, -4*s = -4*m - 12. Suppose 4*j + 178 = 3*f - f, s*j + g = 2*f. Is f a prime number?
True
Let h(s) = -s**2 - 6*s + 1. Let d be h(-6). Is (-2 - (-3 - d)) + 113 a composite number?
True
Let v be (1 - (-1 + 2))/(-2). Suppose v = -0*y - y. Suppose 0 = -y*t + 3*t - 93. Is t prime?
True
Let t = 179 + 72. Is t composite?
False
Let h be (-2)/(-4)*12/3. Suppose 2*v - 72 = -2*q, q = 5*v - h*v + 40. Is q composite?
False
Suppose 8*l = 4*l - 2*t + 414, -5*t - 237 = -2*l. Is l composite?
True
Suppose 0*g - g = -161. Suppose c + 3*c - 2*x + 208 = 0, g = -3*c - x. Let a = -34 - c. Is a composite?
False
Suppose -3*m + 10535 = -2*v, -4*v = -m + 3292 + 223. Is m composite?
False
Let n = 0 + 4. Let v be (16/(-20))/(n/(-50)). Is 508/v + (-3)/(-15) a composite number?
True
Suppose 3*t - 144 = 1257. Is t a prime number?
True
Let z(f) be the third derivative of -23*f**4/24 + f**3/3 - 2*f**2. Is z(-9) a prime number?
False
Suppose 4*r = 3*o + 1254 + 1514, 0 = 4*r - 4*o - 2772. Is r composite?
True
Suppose -2*y - 3*y + 10 = 0. Suppose -3*p = -4*p + 4*d + 39, p - 25 = -3*d. Is -2*p*y/(-4) a prime number?
True
Let o(s) = -s**2 + 12*s - 11. Suppose -4*y - 5*h - 6 = -63, -y = h - 13. Is o(y) prime?
False
Let d be ((-4)/(-6))/((-12)/(-54)). Suppose h = d*h. Suppose h = 2*b + 5*g - 19 + 2, 4*g = -5*b + 51. Is b prime?
True
Let u be (-3*5 + -2)*3. Let f = u - -82. Let y = f - 16. Is y composite?
True
Is (265/(-2))/((-5)/(-30)*-3) prime?
False
Is -2*-1*89/2*1 composite?
False
Suppose 0 = 4*x + 19 + 9. Let g be x/(-1) + -1*2. Suppose -g*u + 184 = -271. Is u a composite number?
True
Let n(r) = -38*r**2 - r + 5. Let b(d) = -38*d**2 - d + 6. Let s(o) = 5*b(o) - 6*n(o). Suppose -4*f - 4*g + 12 = 0, -2*g = 2*g - 16. Is s(f) prime?
True
Let k be 2/(3*(-2)/(-18)). Let l = 4 + -2. Suppose 4*r - 32 = -l*u, -k*r + 2*r = 3*u - 28. Is r a prime number?
False
Let z be (6/2)/((-6)/(-4)). Let u be 0 - (-1 + z)*5. Let b = u + 42. Is b a prime number?
True
Let j(x) = 29*x**2 + 2. Is j(4) a composite number?
True
Suppose 0 = s + 54 - 733. Is s a composite number?
True
Let j = 71 - -56. Is j composite?
False
Let l be 1/((-2)/(-10 - -2)). Suppose 5*t - 89 = l*t. Is t a composite number?
False
Suppose 0 = 2*r - 6 - 16. Let s(z) = -r*z - 4*z**2 - 5 - 4 + 3*z**2. Is s(-7) prime?
True
Let c = 67 + 109. Let z = -123 + c. Is z a prime number?
True
Suppose 2*c = 2*y + 498, -c + 4*y = y - 239. Let l = c - 139. Is l a prime number?
False
Suppose -o = -3*o + 526. Is o a prime number?
True
Let r(o) = -190*o + 1. Is r(-10) a prime number?
True
Let w be ((-10)/6)/(1/(-3)). Let g = 39 - w. Is g a prime number?
False
Let d = 865 + -203. Is d composite?
True
Suppose 5*b + 4*k = 2*b - 70, 2*b = 4*k - 40. Let h = 73 + b. Is h a composite number?
True
Let o(s) = -3*s**2 - 5*s. Suppose -4*f + 0*f - 32 = -4*m, -f + 2*m = 11. Let z be o(f). Let v = -24 - z. Is v composite?
True
Let d = -9 + -118. Let r = d - -261. Is r composite?
True
Let i = -827 + 2340. Is i a prime number?
False
Suppose 2*s = 453 + 2629. Is s a composite number?
True
Is (8/(-32))/(2/(-4456)) a prime number?
True
Let p = 12 + -3. Let b = -6 + p. Is (-2)/(-3)*17*b a composite number?
True
Let a be -14*2*1/(-4). Suppose a*c - 3*c - 45 = 5*o, -3*c + 28 = 2*o. Is c a composite number?
True
Suppose -t = -w + 174, -4*w + t + 755 = 59. Suppose 0 = 3*h - 4*j - w, -3*h = -j + 41 - 224. Suppose -s + 3*s - h = 0. Is s a prime number?
True
Let m = 7 