 Is j prime?
True
Is (1/((-1)/(-1)))/(5/12895) a composite number?
False
Let s(i) = i**2 - 6*i - 4. Let u(p) = p**2 - 9*p + 3. Let j be u(5). Let b = j + 12. Is s(b) a prime number?
False
Is (2/((-8)/(-1556)))/1 composite?
False
Let f(k) = -32*k + 1. Let u be f(-6). Let t = -104 + u. Is t prime?
True
Suppose 13*c + 748 = 17*c. Is c a composite number?
True
Let q = -318 - -541. Is q composite?
False
Suppose -z = -2*g - 139, -2*g = -3*z + g + 432. Is z a composite number?
False
Let x(o) = o**2 - 2*o - 4. Suppose 4*d + m + 2 = -8, 5*m = -5*d - 5. Let a = -2 + d. Is x(a) a prime number?
True
Suppose 139 = 3*c - c - 5*h, 3*c = -2*h + 218. Let a = -21 + c. Is a a prime number?
False
Let r(y) = -6*y**3 + y**2 + 5*y + 3. Let g be 2/1 + 3 + 1. Suppose -15 = -s + g*s. Is r(s) composite?
True
Suppose 50 = 2*l - 82. Suppose -v + 2*h = -l + 7, v - h = 56. Is v prime?
True
Let w = 0 - 0. Suppose w = -q - q + 178. Is q prime?
True
Is ((-83724)/9)/4*-3 a composite number?
False
Suppose -3 - 2 = 3*x + b, -x + 2*b = 11. Let u be 4/(-6) + (-2)/x. Suppose -3*d + 0*d - 60 = -5*q, q - d - 10 = u. Is q a composite number?
True
Suppose 2*x + 585 = -37. Let o = 684 + x. Is o composite?
False
Let h be 8/10*(-30)/4. Let d be h/(4/(-2)*1). Let k(p) = p**3 - 2*p. Is k(d) a composite number?
True
Suppose -752 = -5*t + 3*u, 3*u + 835 = 4*t + 234. Suppose 4*o - 2*o = h - t, -799 = -5*h - o. Is h a composite number?
True
Let j = 78 - 41. Suppose u + 87 = j. Let x = 5 - u. Is x a prime number?
False
Let s = 5 + 0. Suppose -k + 635 = 5*l, -k - 122 = -l + s. Is l a composite number?
False
Suppose 3 = 2*w - 13. Let l(p) = 0*p + 3 + 0*p + 5*p. Is l(w) a prime number?
True
Suppose a + 0*a = 3. Suppose -a*k - k + 700 = 0. Let h = k + -86. Is h prime?
True
Let q = -89 - -426. Is q composite?
False
Suppose -2*w + 0 = 6. Is (6/(-2))/(2 + w) a prime number?
True
Let m(c) = -6*c + 73. Is m(-21) a prime number?
True
Let z(w) = -w**3 - w**2 + w + 149. Let q be z(0). Is (-6)/4*q*-2 a prime number?
False
Let a = -4 - -7. Let t(v) = -v + 5. Let n be t(a). Suppose h = -n*h + 42. Is h a composite number?
True
Let w(k) be the first derivative of -22*k**2 + 3*k - 2. Is w(-2) a composite number?
True
Let u(d) = 6*d + 5. Let f be (-3)/9*0 + -5. Let p be 4/(-10) + (-27)/f. Is u(p) a composite number?
True
Let o = -4 - -7. Suppose o*b + 2*f + 0 = 16, -3*b - 5*f = -13. Suppose 9 = n - b. Is n composite?
True
Suppose 2*n - 4*o + 8*o = 8396, 0 = 4*o - 4. Let l be n/(-14) - (-8)/(-28). Is ((-2)/(-3))/((-8)/l) prime?
False
Let d = 45 - -48. Let l = 16 + -9. Suppose -3*q = -g + 31, 3*q - l*q - d = -3*g. Is g a composite number?
False
Let x = -15 + 31. Let z = x - -18. Is z a composite number?
True
Is -1 + (-5)/(-1) - -549 a prime number?
False
Let k = 2 - 3. Let y = -9 + 15. Is (-153)/y*k*2 a composite number?
True
Let o = -97 - -168. Is o a composite number?
False
Let c = 58 - -51. Is c prime?
True
Suppose -2361 = -3*q - 0*q. Suppose 257 = -2*y + 3*y + 3*g, -3*y - 5*g + q = 0. Suppose 66 = -f + y. Is f prime?
False
Let s = 120 - 83. Is s prime?
True
Suppose -l - 616 = -t, -t - 2*l = 3*l - 604. Suppose -5*u - t = -7*u. Is u composite?
False
Let f = 5 - 2. Suppose 121 = -f*a + 4*a. Is a composite?
True
Suppose -5*y + 627 = -2*v, 0 = 4*y + 5*v - 0*v - 528. Is y a prime number?
True
Let x(b) = -b**2 + 18*b + 9. Let t be x(19). Let k = -12 - -8. Is (k/t)/((-1)/(-95)) a composite number?
True
Is (-38)/(-4)*10/5 prime?
True
Suppose l = -0*h - 3*h + 7, 5*h = 4*l + 23. Let c(z) = 2*z**2 + 3*z - 4. Is c(h) composite?
False
Let w(v) be the third derivative of 7*v**5/60 - v**4/6 + 5*v**3/6 - 3*v**2. Let n be w(-4). Let q = 191 - n. Is q a composite number?
True
Let h(k) be the first derivative of -133*k**2/2 + 16*k - 1. Is h(-9) prime?
True
Suppose 5*t = -4*a + 28, t - 14 = -a - 2*t. Suppose 316 + 286 = a*v. Is v a composite number?
True
Is (-2)/(-10) + 2952/40 composite?
True
Let n(s) = -s**3 - 4*s**2 - 2*s + 3. Let q be 0/(-2) + (-4 - 0). Let y be n(q). Let x(a) = -a**2 + 17*a - 13. Is x(y) prime?
True
Is 6/(-2)*557/(-3) a prime number?
True
Let i = -696 + 1093. Is i prime?
True
Is (52/16 - 3) + 17388/16 a prime number?
True
Let u be (0 + 0)*(-4)/8. Suppose 559 = 3*w - m, -w + m + 189 = -u*m. Suppose -2*a = -4*i + 114 + 34, -5*i + w = a. Is i prime?
True
Let i be 171/6 + 3/6. Let s = 5 + i. Is s composite?
True
Suppose 0*s + 4*s = 576. Let o = s + -13. Is o a prime number?
True
Let d be (2 - (-22)/(-6))*-3. Suppose -d*u = -3*q + 34, 5 = q - u - 7. Is 0/(3 + -2) + q composite?
False
Let y be ((-9)/2)/(6/(-8)). Is y/9 + (-883)/(-3) a prime number?
False
Suppose -75*o - 15654 = -81*o. Is o composite?
False
Suppose -340 = -0*j - 4*j. Is j prime?
False
Suppose 5*t - 57 + 717 = 0. Let k = t + 209. Is k a composite number?
True
Let o(f) = -27*f - 1. Let i(v) = -3*v - 6 - 2*v - 2 + v**2. Let d be i(6). Is o(d) prime?
True
Let r(l) = 17*l + 0 + 3*l**2 - 4*l**2 - 10 - 8. Is r(13) a prime number?
False
Suppose -4 - 4 = 4*u. Let z be ((-3)/6)/(u/392). Suppose -5*m + 3*m = -z. Is m prime?
False
Let m(l) = 5*l**2 - 14*l + 15. Is m(6) composite?
True
Let i(f) = 6 - 6*f + 5*f + 6. Let o be i(10). Suppose -a - o*a = -339. Is a a composite number?
False
Let s = 119 + -73. Suppose 0 = i - 131 - s. Is i composite?
True
Suppose -z - 2*z = -18. Suppose 5*d = -j + z*j + 265, 0 = 5*d - 3*j - 269. Is d prime?
False
Let c(f) = -7*f**3 + f - 1. Let a be c(-2). Suppose 2*b = a + 33. Is b composite?
False
Let a = -56 - -247. Is a prime?
True
Suppose 32 = 4*m + 4*h, -9 = -5*h + 16. Is m + (5 - 0) - -2 composite?
True
Let i(r) = -r**2 + 6*r + 5. Let b be i(7). Let v be 3 + ((-8)/b - 2). Suppose 3*z - 2*z = -2*y + 2, v*z + 5*y - 30 = 0. Is z composite?
True
Let i = 4 + -6. Is (7/i)/(1/(-58)) composite?
True
Suppose 4*h - 20 = -0*h. Suppose 65 = 2*p - h*o, -o - o + 177 = 5*p. Is p a prime number?
False
Let f be 1484*(5/2 - 3). Is (-1)/2 - f/4 a prime number?
False
Let d be 2/(-8)*2*-182. Suppose -3*x + 86 = -d. Is x prime?
True
Let p(f) = 48*f**2 - f - 1. Let j be p(-1). Let x be (75/3)/(0 + -1). Let t = x + j. Is t prime?
True
Let w = -310 + 561. Is w prime?
True
Let w(f) be the second derivative of f**3/3 - 2*f**2 - 2*f. Suppose r - 28 = -2*n - 3*n, 32 = 4*r + 4*n. Is w(r) a composite number?
False
Suppose -p + 1940 = 3*p. Is p prime?
False
Suppose -3*o + 1255 = -407. Let b = o + -363. Suppose 3*p - 4*f - 99 = 0, 5*p + 3*f - b = f. Is p a composite number?
False
Suppose -1644 = -5*s + 781. Is s prime?
False
Let t(h) = 311*h**2 + h - 13. Is t(3) a prime number?
True
Suppose 6*d = 2*z + 2*d - 2330, -3*z - 2*d + 3463 = 0. Is z a composite number?
True
Let c = 16 - 15. Is (132 - 1)*(c - 0) a prime number?
True
Suppose t - 1708 = -3*t. Is t a prime number?
False
Suppose -2*g + 2*p + 3*p + 1071 = 0, 3*g + 2*p - 1616 = 0. Is g a composite number?
True
Suppose 4*o - 8*o + 140 = 0. Is o prime?
False
Is (172/(-6))/((-2)/3) a composite number?
False
Let o = 2371 + -204. Is o prime?
False
Let l = 676 + -383. Is l a composite number?
False
Suppose -4*i = -5*c + 17, i = -0*i - 3*c + 17. Is (748 - i)/((-2)/(-1)) a prime number?
True
Suppose 0 = j + 2*c - 14, 0*j - j - 4*c + 24 = 0. Let l(w) = w**2 - w + 3. Is l(j) a prime number?
False
Suppose -3*z - 2 = 4. Is z - -4 - -51 - 0 a composite number?
False
Let c(u) = -4*u**3 - 2*u**2 + 7*u - 2. Is c(-5) a composite number?
True
Suppose -a - 3 = 8. Let w = a - -20. Suppose -10 = -z + w. Is z a prime number?
True
Let h(f) = 6*f - 5. Let k be h(7). Let d = -26 + k. Is d composite?
False
Let r(i) be the first derivative of i**2/2 + 16*i - 3. Let z be r(-12). Suppose -z*x - 78 = -3*j, 2*j - 3*x - 52 = x. Is j composite?
True
Let u = 146 + -74. Suppose -u - 52 = -4*y. Is y composite?
False
Let d(y) = 9*y + 1. Suppose 3*u = -2*z + 10, -2*u + 16 - 6 = 3*z. Let r be d(u). Let p = 18 + r. Is p prime?
True
Let g = 2 + 5. Let d = 10 - g. Is d/6*(1 + 105) a composite number?
False
Let f = -486 - -913. Is f prime?
False
Let m = 358 - 181. Is m prime?
False
Suppose 78 = -o + 227. Is o prime?
True
Let f(s) = 2*s**2 - 5*s - 5. Let p(j) = j**2 - 9*j - 12. Let a be p(9). Let y be 30/(-8) + 3/a. Is f(y) composite?
False
Suppose -44 - 3381 = -5*o. Is o a prime number?
False
Let v be ((-5)/(-10))/(1/16). Suppose 3*g - 5*f = -2*g +