(x/(-186)) prime?
True
Let r = 99 + -51. Suppose -v - 4*u = -r - 167, -v + u = -210. Is v prime?
True
Suppose -17*y - 26 = -19*y. Is y composite?
False
Let i(k) = -k**3 - 5*k**2 + 5*k - 3. Let x be i(-6). Suppose l + x*w = 19, -w = l - 2 - 7. Is 3/6 - (-146)/l prime?
True
Is (1 + 2)/3*1*337 composite?
False
Let t = -1387 + 2328. Is t a prime number?
True
Let r = 17 + 2. Let j = 36 - r. Suppose b = 52 + j. Is b composite?
True
Let w be 374 - (-6 + (2 - -1)). Suppose -w = -4*a - 37. Is a composite?
True
Suppose -r = -0*r - 745. Suppose 0 = 4*y + 4*n + n - 1475, -2*y - 5*n = -r. Suppose 2*c + 2*s - 34 = 110, 4*s = -5*c + y. Is c a composite number?
True
Suppose -v - 4*v + 1605 = 0. Is v prime?
False
Let f = 34 - -79. Is f composite?
False
Let f(z) be the second derivative of -z**5/20 + z**4/4 + 2*z**3/3 + 2*z**2 - 3*z. Let m be f(4). Let o(s) = 38*s - 3. Is o(m) prime?
True
Suppose 3*n = n - 2. Let s be 319 + 0*n/1. Suppose -s = -u + 10. Is u prime?
False
Let u = -7 - -4. Is 815/15 - 2/u a composite number?
True
Suppose -3 = c - 3*x + 2, 3*x = 2*c + 25. Is (-458)/(-6) - c/30 composite?
True
Let s be 3/(-5) - 39/(-15). Suppose -s*p + 157 = -37. Is p prime?
True
Suppose -4*d - 801 = -7*d. Is d a prime number?
False
Suppose -3*j + 184 = 5*z, 3*j + z - 111 = j. Is j a prime number?
True
Let m(x) be the first derivative of -3*x**2 - x + 1. Let w be m(-1). Suppose 415 = 4*j + j - w*g, -251 = -3*j + 2*g. Is j composite?
True
Let m be -6 + 6 + (-1 - -1). Suppose 5*t = -m*t - 135. Let z = 46 + t. Is z a composite number?
False
Suppose 0 = -0*q - 3*q + 2*m + 105, 0 = -5*m. Let u be (1 - 1*q)/(-1). Suppose 70 = 5*o - 5*c, -2*o - c - u = -5*o. Is o composite?
True
Let q(u) = u + 1. Let m be q(3). Suppose 0 = -m*g + 12 + 64. Is g composite?
False
Let d be 88/2*27/(-36). Is 3/(-1 + (-36)/d) composite?
True
Let s = -1782 - -1041. Is s/(-12) - 1/(-4) a prime number?
False
Suppose 0 = 5*l + 3*u - 20517 + 5588, 14939 = 5*l - 2*u. Is l a composite number?
True
Suppose -404 = 17*n - 13171. Is n prime?
True
Let i(x) = x**2 + 12*x + 15. Is i(-14) composite?
False
Suppose -29 = -2*q + h - 6*h, 4*q + 4*h = 28. Suppose 2*a - 60 = -5*w - 3*a, 22 = q*w + 3*a. Is w a prime number?
False
Let d(g) = -17*g**3 - 15*g**3 + 4*g**2 - 3*g**2. Let m = 27 - 28. Is d(m) composite?
True
Suppose 2*o - 823 = 4*i + i, -820 = -2*o + 2*i. Is o composite?
False
Let r(x) = -x + 3*x**2 - 9 + 8*x**2 - x**3 + 2*x - 3*x**2. Let k be r(8). Let b(n) = -64*n + 1. Is b(k) a prime number?
False
Let v(k) = 228*k**2 - k - 7. Is v(-2) composite?
False
Suppose 2*i = 5*r - 241, -8 - 51 = -r + 4*i. Is r a prime number?
True
Let s = 6 - 4. Suppose -2*i - 3*r + 10 + 2 = 0, 3*r - 12 = 0. Suppose s*d - 167 = -3*x, 2*x - 83 = -d - i*x. Is d prime?
False
Suppose 41 = 4*f + 1. Suppose 6*l = l + f. Suppose 2*d + 5 = 5*b, 0 = l*b - 2*d - d + 9. Is b composite?
False
Suppose -2*c = 373 - 1455. Is c composite?
False
Let x = -4 + 8. Suppose 5*o - 725 = -x*m, -4*m - 45 = 2*o - 323. Is o a prime number?
True
Let m be -6*(4/(-3) - 0). Is -2*436/m*-2 prime?
False
Let s be (-1 + (3 - 3))*-5. Suppose s*v = 15 + 5. Is v a prime number?
False
Is ((-110)/40)/((-3)/132) a composite number?
True
Let d(u) = 31*u - 33*u - 4 - u**2 + 2*u**2. Is d(5) a composite number?
False
Let j = 1194 + -461. Is j prime?
True
Suppose 2*o - 3*i - 133 = 0, -255 = -5*o + 3*i + 55. Let w = -26 + o. Is w composite?
True
Suppose -8*h = -5607 + 1151. Is h a composite number?
False
Let y(i) = -i + 12. Let a be y(8). Let u(r) = -r**3 + 6*r**2 + r + 1. Is u(a) composite?
False
Let l = -314 + 1015. Is l prime?
True
Suppose 5*v - p - 250 = 0, -4*v + 8*v + 5*p - 229 = 0. Suppose 2*k - 16 = 2*y + 20, 4*k + 108 = -5*y. Let r = v + y. Is r prime?
True
Suppose 1 = -2*u + 3*y, 2*y + 0*y - 4 = 3*u. Let o = 8 + u. Is o a composite number?
True
Let q = 1504 + -844. Suppose -3*v + 306 = 3*l - 165, q = 4*l - 4*v. Is l prime?
False
Suppose 3*h - 3 = -2*w, -3*w + 5*h + 1 = -13. Let f = -1 + w. Is 10/(0 + f) - -2 composite?
False
Suppose g = -3*g + 848. Suppose -g = -3*n + 4*o, n = -3*n - 4*o + 264. Suppose -25 = -3*z - 2*t + n, -z + 31 = 5*t. Is z a prime number?
True
Suppose -2*z + 3639 + 41 = 0. Suppose 4*c = -c + z. Let w = -169 + c. Is w a prime number?
True
Let x be (-95)/(-10)*(0 - -2). Let v = x + -6. Is v composite?
False
Let w = 2805 + -1408. Is w prime?
False
Is (-1)/((-6)/(-9)*(-3)/548) a prime number?
False
Let z = 497 - 294. Let i = 0 - -3. Suppose -t + j = -i*j - z, 3*t + 4*j - 689 = 0. Is t a composite number?
False
Let p(d) = 13*d**2 + 4*d - 4. Let m be p(6). Suppose 4*h = 3*l + m, 3*l = -4*h - 2*l + 456. Is h prime?
False
Suppose 0 = 3*n + y + 127, 2*n + 90 = 3*y - y. Let o = 93 + n. Suppose z = l + 6*z - o, z - 55 = -2*l. Is l prime?
False
Let i = -2 - 2. Let j = i + -50. Let n = 89 + j. Is n a prime number?
False
Suppose 0 = -p + 6*p - 370. Is p composite?
True
Is (-42 + 0)/(-2 + 0) a composite number?
True
Let d(y) = 209*y**2 + 10*y + 10. Is d(-3) composite?
False
Let s(c) = c**2 - 1. Let v be s(-2). Let r be v/3*-9*1. Let n = r + 46. Is n composite?
False
Let x(o) = 5*o**2 - 5. Let t(s) = -14*s**2 + 15. Let v(j) = -3*t(j) - 8*x(j). Is v(-6) a composite number?
False
Suppose 2*r = 6*r + 4. Let q = 6 - r. Is q a prime number?
True
Suppose 4*w = -2*n - 48, 2*w + 7 = -5*n - 105. Is 4*(-9)/(-12) - n composite?
True
Suppose -2*f = -3*f + 5. Suppose -l + f*y = -5, 3*l = -y + 11 + 4. Suppose l*s = 4*d + 32 - 110, -2*s = -4*d + 84. Is d composite?
True
Let n(h) be the third derivative of -h**7/1680 - h**6/360 + h**5/60 + 2*h**2. Let r(z) be the third derivative of n(z). Is r(-5) a prime number?
True
Suppose -3*t = -3 - 0. Let d(w) = 5*w - t + w**2 - 6*w + 0*w. Is d(8) composite?
True
Suppose -4*h = 3*u - 8*h - 1937, 0 = -u - 2*h + 649. Is u a prime number?
True
Let a be 2/(-8) - 1335/20. Let j = a + 155. Suppose 4*s + j = 356. Is s composite?
False
Let t(p) = -p**3 + 8*p**2 - 5*p - 9. Let h be t(7). Is (-222)/(-4)*(-3 + h) prime?
False
Is (3469 - 3)*(-4)/(-8) a composite number?
False
Let t(a) = 10*a**2 - a. Let l = 8 + -12. Let j be -2 - l - 2 - 1. Is t(j) a prime number?
True
Let h(b) = b**2 + b - 3. Suppose -6*n - 15 = -n. Let i be h(n). Is 1/i*(156 - -3) a composite number?
False
Suppose -f - 1 = -w - 3, 0 = 3*f - 2*w - 6. Suppose -l - 2*k + k = -f, -2*l + 4*k = 8. Suppose 0 = -3*g - 4*o + 143, -4*o - 19 + 3 = l. Is g a composite number?
False
Suppose -5*i = -i. Suppose -2*l - 2*l + 5*s = 4, l = s. Suppose l*t + 4 = -2*z + 60, i = 3*z + 4*t - 90. Is z prime?
False
Suppose c - 4 - 2 = 2*o, 3*c - 2*o - 6 = 0. Suppose -785 = -5*q - c*q. Is q a prime number?
True
Let l(n) be the third derivative of n**4/4 + 11*n**3/6 - n**2. Is l(11) a prime number?
False
Let z be 0 + (-1)/(3/(-6)). Suppose v = -z*v - 147. Let f = -34 - v. Is f composite?
True
Suppose 0 = -2*n + 2881 - 1015. Is n composite?
True
Suppose -257 - 150 = -v. Is v a composite number?
True
Let w(q) = 11*q**2 - 9*q + 9. Is w(7) composite?
True
Let a = 5 + -7. Let t = 54 + -32. Is 422/t + a/11 prime?
True
Let y = 3071 + 564. Is y a prime number?
False
Is (-21)/(-28) - (-473)/4 a prime number?
False
Let g(u) = 21*u**2 + 3*u - 5. Is g(-4) a composite number?
True
Is ((-14)/8)/(2/(-376)) composite?
True
Suppose -2*a - 2670 = -8*a. Is a a prime number?
False
Let r be (2128/(-42))/(2/6). Let k = r - -273. Is k a prime number?
False
Let d be -1 + -1 - (-6 - -2). Suppose 2*n = -s - n + 4, -s + 5*n = -36. Suppose -d*k = 3*m - 130 - s, -2*m = 8. Is k a prime number?
True
Let g = 584 + -373. Is g a composite number?
False
Is (-1565)/(-7) + 32/(-56) a composite number?
False
Suppose -51 = -5*x - 231. Let z = 25 + x. Let v = 26 + z. Is v prime?
False
Suppose -8 + 147 = r. Is r a prime number?
True
Let d be (-74628)/(-52) + (-4)/26. Let t = d + -878. Is t a prime number?
True
Let q be ((-6)/(-2))/(-2 - -1). Let w be (q - 0) + -1 + 4. Suppose w = -5*y - 0*y + 455. Is y prime?
False
Let p = 455 - 238. Is p composite?
True
Let b = -2783 + 1709. Let y = -539 - b. Is y a composite number?
True
Let q(r) = 25*r**2 + 6*r + 12. Is q(-7) a prime number?
False
Suppose -3723 - 9912 = -5*h + 2*q, 0 = 5*h - 5*q - 13620. Is h a composite number?
False
Suppose -4*p + 19 - 1 = 5*w, 4*w - 6 = p. Let c be -2*p*333/(-36). Suppos