 - (-6)/27. Is t(m) a prime number?
True
Suppose -10 = -3*p - 4. Suppose 3 - 5 = p*s. Is 1*19 - (s + 1) a prime number?
True
Suppose 7*r + r - 32 = 0. Suppose -r*h + 212 = -144. Is h a composite number?
False
Suppose 0 = 12*v - 24368 - 100. Is v prime?
True
Let g(i) = 1 - 2*i**2 + 648*i**3 + 4*i**2 - 2*i - 92*i**3. Is g(1) a composite number?
False
Let l = -20577 - -36412. Is l prime?
False
Let a(r) = 20*r + 7. Let k be (22/55)/(2/20). Is a(k) a composite number?
True
Let h be (-2)/(-5) + 12/(-5). Let d be 8*3/6 - h. Let l(x) = 3*x**2 + 3*x + 1. Is l(d) composite?
False
Let b = -3768 + 6787. Is b composite?
False
Let z(s) = -2*s**3 - 15*s**2 + 5*s - 13. Let u(h) = 5*h**3 + 30*h**2 - 12*h + 27. Let n(k) = -3*u(k) - 7*z(k). Is n(11) a prime number?
False
Let v = 8 + 483. Is v a prime number?
True
Suppose -j + 1410 = l, -3*l + 1606 - 192 = j. Let p = 2451 - j. Is p a prime number?
False
Suppose -q - 3 = -2. Let k be 1*8*q/(-2). Suppose -5*m - 777 = -3*i + i, -5*m = k*i - 1569. Is i composite?
True
Suppose -14*a = 2*a - 48. Suppose 0 = 4*u + 16, k = 8*u - a*u + 721. Is k a composite number?
False
Suppose 45*i = 11*i + 1937422. Is i prime?
True
Let x(g) = g - 6. Let u be x(10). Suppose -8 = -u*t - 0*t. Suppose j - 2*h - 33 = t*h, -78 = -2*j - 4*h. Is j prime?
True
Let x(h) = -h**3 - 2*h**2 + 8. Let r be x(5). Let v = r + 20. Let m = -13 - v. Is m prime?
False
Let j = 20 - 17. Suppose 4*b = 5*b - j. Suppose 0 = b*w - 143 - 106. Is w a prime number?
True
Suppose -5*w + 3*u = -3 - 16, 0 = w + 4*u - 13. Suppose 3*h = -4*g + 520, -w*h = -1 - 19. Is g a prime number?
True
Let s be ((-72)/60)/(2/(-25)). Suppose -s = -0*d + 5*d, d = -u + 2. Is 1*(-970)/((-25)/u) composite?
True
Suppose -440 + 1629 = q. Let j = 1730 - q. Is j prime?
True
Is 336/(-504) - ((-73976)/3 + -1) composite?
False
Let c be (-9 - -35)/(3 + -1). Suppose -2*w = 0, -5*n = 5*w + 17 + c. Is ((-748)/n)/(2/3) a composite number?
True
Let d(c) = 15*c**3 - 7*c + 3. Let o be d(3). Let s = o + 91. Is s a prime number?
False
Suppose 0 = -0*t - 3*t + 4*b - 2, -5*b = -t - 8. Suppose -5*c + t*x + 7565 = 7*x, -c - 2*x = -1515. Is c composite?
False
Suppose -7*o + 9*o = 62. Let y = o + 80. Is y a prime number?
False
Is (-1574 + -2 + 2)*12/(-24) prime?
True
Suppose 4*b - 5*y + 7 = 0, 0 = -2*b - 3*b - 3*y + 19. Let k(z) = 99*z**2 + 2*z - 7. Is k(b) a composite number?
True
Suppose 0 = 2*k - 3*p - 0*p - 9965, 4*p = -5*k + 24901. Is k prime?
False
Let s = -14157 + 65426. Is s composite?
True
Let w be ((-286)/(-4) - -1)*(-36)/(-15). Suppose 0 = -5*s + 4591 + w. Is s a composite number?
False
Let c be -14*((-1)/(-1) - 2). Suppose -m - 15 = -2*y, 4*y = -2*m - 0*y - c. Let d = 90 + m. Is d a prime number?
True
Let w = -1414 + 2405. Is w composite?
False
Let a(s) = -s**3 + 4*s**2 + 42*s + 7. Is a(-20) a prime number?
False
Let z(b) = -1. Let s(p) = -107*p + 7. Let x(j) = -s(j) + 2*z(j). Suppose 12 = -60*k + 63*k. Is x(k) a composite number?
False
Let x(y) = -67*y + 78. Is x(-11) a composite number?
True
Let w(k) = 2*k**2 - 8*k + 43. Is w(-28) prime?
False
Suppose -4*c + 35*u + 53384 = 38*u, 2*c + 3*u = 26686. Is c a prime number?
False
Let i(n) be the second derivative of -1/2*n**3 + 0 + 2*n + 1/2*n**2. Is i(-12) a prime number?
True
Let h be 2 - (1 + (-2275)/(-5)). Is ((-14)/4)/(h/452 + 1) a prime number?
False
Let i = 44143 + -1434. Is i a prime number?
True
Suppose 4*p = 3*b + 37612, -2*b = 3*p + 1462 - 29688. Is p a composite number?
True
Let s = 6320 - 4051. Suppose 3*d - s = -478. Let h = d - 346. Is h a composite number?
False
Suppose 2*v = -v - 9, 0 = -2*c - 5*v + 35399. Is c a prime number?
True
Let p(y) = y**2 + 9*y. Let h be p(-6). Let g be 4/h - (-1996)/(-9). Is ((-1)/2)/(3/g) a prime number?
True
Suppose 3*l + 2*l - 4*v = 10753, 6462 = 3*l + v. Is l composite?
False
Let u(k) = -250*k + 355. Is u(-15) composite?
True
Let v(p) = 112*p**2 + 2*p + 53. Is v(-14) a composite number?
False
Let p = -42 + 39. Suppose 0 = 2*l - 5*n + 58, 3*n - 34 + 4 = l. Is (254/p)/(l/36) prime?
True
Suppose a - 2*l - 1574 = -7*l, 5*l = a - 1544. Is a prime?
True
Let c(g) = g**2 + 11*g + 10. Let v be c(-10). Suppose 4*x - 20 = v, -o - o - 4*x = -890. Suppose 4*w - 710 = 2*n, -4*n + o = 3*w - 114. Is w composite?
False
Let d(n) = 17*n**2 + 63*n - 55. Is d(47) composite?
False
Let b(c) = 12291*c - 44. Is b(1) composite?
True
Let q = 460 - 458. Suppose 5*u = 4*n + 2*u - 3, -12 = -n - 3*u. Is 428*1/q - n a prime number?
True
Let p(j) = -10*j - 189. Is p(-20) prime?
True
Let k = -44 + 30. Let r be (4/k)/((-2)/14). Is 1460/16 + r/(-8) a composite number?
True
Suppose -f + 5*f = -16. Let c(u) = 55*u + 6. Let d(w) = -27*w - 3. Let p(t) = 2*c(t) + 5*d(t). Is p(f) composite?
False
Let l(w) = w**3 - 6*w**2 - 8. Let a be (210/(-2 + -3))/(-2). Let n = -12 + a. Is l(n) prime?
False
Let n(l) = l**3 + 2*l - 2. Let h be -3 + 330/27 + (-2)/9. Is n(h) prime?
False
Let s(u) be the second derivative of -5*u + 0 + 5/2*u**2 + 11/6*u**3. Is s(4) a composite number?
True
Let z(m) = m**2 + m - 16. Let r be z(0). Let t be r/((-2)/32*2). Suppose 0 = -4*i - 2*g + t, 0 = 5*i + g - 139 - 27. Is i a prime number?
False
Let z = 86 + -86. Suppose 2*s - 2975 = -2*g - 585, z = -2*g. Is s prime?
False
Let l(b) = 102*b**3 - 3*b**2 - 2*b + 2. Let c be l(2). Let f be -1*3 + 1 + c. Is f + ((-1)/(-1))/(-1) a prime number?
False
Let y(i) = -3*i - 2*i**2 + i**2 + 2*i - 10 - 8*i. Let j be y(-5). Let r(o) = 60*o - 17. Is r(j) composite?
True
Let c(m) = -m - 1. Let i(g) = -3*g - 4. Let y(t) = -8*c(t) + 3*i(t). Let r be y(-6). Is r/((2/2)/31) a composite number?
True
Suppose 0 = -5*b - 2658 + 6923. Let a = -596 + b. Is a a prime number?
True
Let y(b) = b**2 + 4*b + 3. Let o be y(-4). Suppose -o*l + 162 = -15. Is l composite?
False
Let g = -7 - -11. Suppose -g*d + 2447 = 5*n, n + d - 516 = -27. Is n a composite number?
False
Suppose z - 7940 = -v, 0*z - 2*z + 2*v + 15876 = 0. Is z/34*(-4)/(-2) a composite number?
False
Suppose 27446 + 19288 = 6*u. Is u a prime number?
True
Let v(p) = p + 9. Let s be v(-6). Suppose 2*m - s*m + 283 = 0. Suppose -m = -4*d - 47. Is d composite?
False
Let d(z) = z**3 - 9*z**2 + 3*z - 21. Let u be d(9). Let a = -30 - -50. Suppose c = -v + u + 84, -a = -4*c. Is v a prime number?
False
Suppose 20 = 4*h, -2*l + 3*l - 2*h - 3597 = 0. Is l a composite number?
False
Suppose -3*q - 2 = -j + 2*q, 4*q + 4 = j. Suppose 0*w + j = -4*w. Let o(x) = -86*x - 1. Is o(w) a composite number?
False
Let z(c) = -25*c - 2. Suppose -6*r + 3 - 9 = 0. Is z(r) a composite number?
False
Let k = 19 + -24. Let o = k - -7. Suppose -3*q = 3*l - 240, o*q - 22 = 2*l + 158. Is q a composite number?
True
Let w = 5971 - 3266. Is w a composite number?
True
Suppose 4*n - 7*c - 1105 = -4*c, -2*c + 2 = 0. Let t = n - -296. Is t a composite number?
True
Let x = -6706 - -11597. Is x prime?
False
Is (62368/(-144))/(10/(-45)) composite?
False
Is (1 + 0)/((-244328)/(-27146) + -9) a composite number?
True
Suppose 0*n = -2*n + 4, 1640 = 4*r + 4*n. Suppose 4*p + 6 = -6, 3*z + 3*p - r = 0. Is z prime?
True
Suppose -28*u = 17*u - 734985. Is u a composite number?
False
Let u be (1/(-2))/((-7)/(-2142)). Let v = 89 + u. Let f = v - -198. Is f a composite number?
True
Let f = 34235 - -6304. Is f a prime number?
False
Is 3/2 - 619465/(-70) a prime number?
False
Let i(u) = 25*u - 10. Let a be i(7). Let c = -57 + a. Suppose 5*n = c + 217. Is n prime?
False
Suppose 18*b - 8*b - 220580 = 0. Suppose 8*d + 1714 - b = 0. Is d composite?
False
Suppose 4*u = 5*c + 38616, 5*c = -2*u + 21731 - 2453. Is u composite?
False
Is 65172/8 - (-5 - (-18)/4) prime?
True
Let g(j) = j**2 + 6*j + 1. Let b be g(-6). Let n(a) = -20*a**2. Let t be n(b). Is t*(-4)/(64/188) a prime number?
False
Let h(g) = 1084*g + 777. Is h(10) a composite number?
False
Suppose 4*q - w = 159, -5*w - 120 = -3*q - 4*w. Suppose -2*r - 4*n + 321 - q = 0, 0 = 5*r - 2*n - 717. Is r a prime number?
False
Let r(y) = -5*y**3 + y**2 + 2*y + 3. Let z be r(-2). Suppose u + z = -29. Let h = u + 161. Is h a composite number?
False
Suppose 4*y = 5*k - 5 - 8, -3*y + 3*k - 6 = 0. Suppose -3*s - 181 = -2*f, 2*s = -f + y*s + 89. Suppose 2*x - f = 4*t + 16, 4*x - 244 = -2*t. Is x prime?
True
Let b = 13336 + -7307. Is b composite?
False
Let b(w) = 9*w**2 + 