 4*u - 5. Let p be o(-5). Suppose 4*g + 4*j + 3808 = 0, p*g - 2846 = 3*g - 2*j. Is 4/18 - g/18 a prime number?
True
Let d = 12 - 12. Suppose d = l + l - 186. Is l a prime number?
False
Suppose 0 = 4*i - 16, -5*g = 5*i - 429 - 1326. Is g a prime number?
True
Suppose -4*w + 2*w = -2. Let c be -23*(w/(-1) + 0). Suppose 3*h = 3*i - 6*i + 12, -2*i + 3*h = -c. Is i prime?
True
Suppose -3 = a + 2*a, 2*w - 3*a - 3 = 0. Suppose -2*y - 3*y + 925 = w. Is y composite?
True
Suppose -19*x = -11*x - 18456. Is x composite?
True
Suppose -4*d - 3 = -2*j + j, -4*d - 15 = -5*j. Suppose 3*w = 3*m - 162, j*m + 3*w = -2*w + 194. Is m composite?
True
Suppose 9*x - 4*x - 20 = 0. Suppose -x*d + 1 = -3, -d = 2*p - 527. Is p composite?
False
Suppose -3*p + 2*p - 1037 = 2*d, -4*d - 5*p = 2077. Let i = d - -931. Is i a composite number?
True
Suppose -4*o - 3*s = -2*o - 9, -5*s - 7 = -4*o. Suppose 15 = y + o*d, -5*y = -d - 4 - 7. Suppose -y*v + 14 + 7 = 0. Is v composite?
False
Let r(d) = 33*d**2 - 4*d - 3. Let y be r(-2). Suppose -2516 = -4*z + 5*m, 2*z - 4*m = 1121 + y. Is z composite?
True
Suppose 194 = 2*c - c. Is c composite?
True
Suppose 2*z - j + 3*j = 14, 3*z - j = 1. Is z/(-11) + 79/11 prime?
True
Is (12 - 15) + 7*14 a composite number?
True
Let c = 170 - 73. Is c a composite number?
False
Suppose -2*j - j + 256 = -2*w, -3*w - 174 = -2*j. Suppose -4*a - 3*h = -j, -4*h - h + 100 = 5*a. Suppose -14 - a = -o. Is o composite?
True
Suppose -2*i - s + 15 = 1, i = s + 4. Suppose i*k - 3*k = 339. Is k composite?
False
Let x(l) = 94*l - 9. Is x(17) a composite number?
True
Suppose -3*d - y + 2*y = -9, -3*d - 5*y - 9 = 0. Suppose 2*j = -4, 5*w - 39 = -0*j + d*j. Is w a composite number?
False
Let f(c) = 2*c - 2. Let p be f(-2). Let w(g) = g + 6. Let y be w(p). Suppose y*h + h = 13. Is h a prime number?
True
Let n(m) = m**3 + 28*m**2 - 48*m. Is n(-29) prime?
False
Let g = -11 + 15. Suppose 0*a - 181 = -5*i - g*a, 2*a - 8 = 0. Is i composite?
True
Let a be (5/4)/(2/88). Let u = a - -34. Is u prime?
True
Suppose 2*s = 51 + 267. Is s prime?
False
Let j(h) = h**3 - 2*h**2 - 4*h - 1. Let g be j(3). Let v be 443 - (g + (0 - -2)). Suppose 10*x - 5*x - v = 0. Is x a composite number?
False
Suppose -6550 = -4*q + 1054. Is q a composite number?
False
Let p be ((-5)/(-4) - 2)*-112. Let v = -15 + p. Is v a prime number?
False
Suppose 2*l - 47 = 15. Let s = 132 + l. Is s a prime number?
True
Suppose -4*d + 4*t + 103 = -93, -5*d + 2*t + 254 = 0. Let p = 89 - d. Is p composite?
False
Let d be 3 + -1 + 3*-1. Let b(f) = -50*f - 1. Is b(d) prime?
False
Is (2413 - 0)*(-4 - -2 - -3) prime?
False
Let o(d) = d + 13. Let l be o(-9). Suppose 3*g + l*y - 127 = 0, -3*g + 3*y = -y - 95. Is g a composite number?
False
Let r(b) = 51*b - 2. Let p be r(5). Suppose 5*q - p - 132 = 0. Is q prime?
False
Suppose 0 = -4*b + 774 + 2158. Is b prime?
True
Suppose 4*j = 3*h - 0*h + 24, -1 = h + j. Let o be -1*202/(h/2). Suppose -5*t - 3 = -13, -3*r + 2*t + o = 0. Is r composite?
True
Let v(z) = 6*z**2 - 5*z. Let g be v(4). Suppose 3*x + 34 = 4*i, -5*x - i - g = 2*i. Let a = x + 47. Is a a prime number?
False
Suppose -3*z - 5098 = -4*o, 0 = 3*o + 3*z + z - 3811. Is o composite?
True
Let h(q) = -q**2 - 10*q - 13. Let o be h(-9). Is ((-33)/o)/(9/24) a prime number?
False
Suppose 0 = 4*k - 104 - 88. Let h(o) = -2*o**3 - o**2 + o - 1. Let q be h(-4). Suppose q = 5*v - k. Is v a prime number?
True
Let v be (-6)/((-9)/3) - -4. Let a be 62/3*v/4. Let i = a - -20. Is i a prime number?
False
Let j be (-4)/(2/(-2) + 0). Is -2 + j + 0 - -13 prime?
False
Let u be (816/(-28))/(2/(-14)). Let t = u - 89. Is t prime?
False
Suppose 3*z - 564 = -w, 3*w = -5*z - 0*w + 944. Is z composite?
True
Suppose 0 = 2*p - 9 - 3. Let q be (3 - 0)*64/p. Let r = q + -7. Is r prime?
False
Suppose 398 = 2*n - 500. Is n a prime number?
True
Let k(i) be the first derivative of -289*i**4/2 - i**3/3 - i**2/2 - i + 5. Is k(-1) a composite number?
False
Let l(n) = n + 295. Let d be l(0). Suppose -2*r = 3*r - d. Is r a prime number?
True
Let m(t) = -t + 20. Suppose -4*f - 5*g + 9 = -6, -12 = -4*g. Let k be m(f). Is k/(-16)*104/(-2) composite?
True
Suppose -57 = -18*x + 17*x. Let l = 1 + 0. Is (l/3)/(1/x) composite?
False
Let d(p) = -p**3 - 4*p**2 + 4*p - 1. Let a be d(-5). Suppose -3*t = -a*t + 115. Is t a prime number?
False
Suppose -5*z + 3*n - 45 = 0, 10 = -2*z + 4*n - 22. Let k(f) = f**3 + 10*f**2 + 9*f + 2. Let q be k(z). Suppose -8*p = -4*p - q. Is p a prime number?
True
Let u = 764 + -512. Let d = u - 85. Is d composite?
False
Suppose -16 = x - 18. Suppose -x*d = -0*d - 4*i - 14, -d + 3*i = -5. Is d a prime number?
True
Let o be (-8)/(64/12) - (-15)/2. Suppose 0 = -4*g + 2*g + 4. Is 26/(g + (-8)/o) a composite number?
True
Let f(p) = -27*p + 37. Is f(-14) a prime number?
False
Let t = 363 - 76. Is t composite?
True
Let q(i) = -i + 1. Let a be q(-1). Is 36 - (-9)/(a - -1) a prime number?
False
Let z(j) = 14*j**3 + 3*j**2 + 2*j. Let g(l) = l**3 + l**2 + l + 1. Let y(x) = 2*g(x) - z(x). Is y(-2) prime?
False
Suppose -2*h - 272 = -3*g - 0*h, 0 = 2*g + h - 172. Let k = g + -51. Is k composite?
False
Suppose -4*a = -j - 6, 0 = -0*j - j - 5*a + 3. Is 442/12 - j/12 prime?
True
Let b(g) = 107*g**2 - 3. Is b(-4) a composite number?
False
Let w(s) = s**2 - 14*s + 24. Is w(19) a prime number?
False
Let v = -308 + 559. Is v composite?
False
Suppose 5*f = 2*f + 300. Suppose f = 4*n - 376. Is n composite?
True
Let w = -15 + 9. Is 55 - w/(-9)*3 prime?
True
Is 3454/(-44)*(-16 - -2*1) composite?
True
Let i = -46 - -102. Suppose -f - i = f. Let w = 39 - f. Is w a prime number?
True
Let b(z) = 0*z - 2*z + 14 + 73. Is b(0) a prime number?
False
Suppose 30 - 5 = -b. Let y = 47 + b. Is y a prime number?
False
Suppose -5*s = 4*r - 12, -r + 4*r - 5*s - 44 = 0. Suppose 0 = -f + r + 6. Is f a composite number?
True
Let b(w) be the second derivative of 5*w**4/12 + 4*w**3/3 - 2*w**2 - 3*w. Let c be b(-9). Suppose -3*y - 74 = -c. Is y a composite number?
True
Suppose 9 = 3*r, -2*r - 159 = -2*k - 5*r. Suppose -g + 16 = -k. Suppose -2*o + 615 = 5*v + 132, -o - g = -v. Is v prime?
False
Suppose 0*k - 4*k - 28 = 0. Let y(g) = -5*g**2 + 29*g + 27. Let u(n) = 2*n**2 - 14*n - 13. Let v(l) = -9*u(l) - 4*y(l). Is v(k) a composite number?
False
Let h = 85 - 30. Is h composite?
True
Suppose v = 7 + 9. Is 1594/6 + v/(-24) a composite number?
True
Is 1714/18 + 6/(-27) a composite number?
True
Let x(g) = -8*g**3 - g + 1. Suppose 3*i + 3 = h + 2*h, 2*i = -4*h + 34. Suppose -h*o = -3*o + 6. Is x(o) a composite number?
False
Suppose 6*b - 5 = b. Suppose -6 + b = -5*u, -x + 87 = 5*u. Is x composite?
True
Let x be 396/2 - (-1 - -1). Let s = x - 77. Is s prime?
False
Let u be 2/(4/26*-1). Let h = u - -46. Is h composite?
True
Is (-14600)/(-12) + (-2 + 3)/3 a composite number?
False
Let p be (-2)/(-1 + (-710)/(-706)). Let v = -240 - p. Is v a composite number?
False
Let v be ((-3)/(-3))/(2/6). Suppose -6*s + 285 = -v*s. Suppose 0*x - y - 37 = -3*x, 5*y - s = -5*x. Is x prime?
False
Let p = 115 + 70. Is p a composite number?
True
Let r = 8 - 12. Let y = r - -14. Is (y/1)/((-4)/(-14)) prime?
False
Suppose 13*c = 25795 - 302. Is c composite?
True
Is 6 - -152 - 0/1 a composite number?
True
Let k(y) = 684*y**2 - 3*y + 2. Is k(1) composite?
False
Let t(a) be the first derivative of a**5/20 + 2*a**4/3 - a**3/3 - 7*a**2/2 - 2*a - 1. Let b(p) be the first derivative of t(p). Is b(-8) a prime number?
False
Suppose -5*v = -d + 34, 3*d + 3*v - 30 = -0*d. Suppose -3*q = 4*m + d, 2*m = -4*q + 3*m + 13. Suppose -g + 30 = q*g. Is g a prime number?
False
Suppose 0 = -5*n + 18*n - 3991. Is n a composite number?
False
Let o(x) = 72*x + 8. Let y(j) = -24*j - 3. Let i(p) = -4*o(p) - 11*y(p). Is i(-2) composite?
True
Let o(v) = -v**2 - 13*v + 6. Is o(-8) a composite number?
True
Suppose 16 + 34 = 5*h. Let g = h + -6. Is (-1 - 30/(-8))*g composite?
False
Let j = 414 - 223. Is j prime?
True
Is 387 + (-2 + 1)/(17 + -16) a prime number?
False
Let f(a) = -27*a**3 - 5*a**2 - 2*a - 1. Is f(-3) prime?
False
Let h = 0 + -1. Let n be h - 2*(-2 - 27). Suppose -5*g = -2*g - 2*y - 57, -n = -3*g - y. Is g a prime number?
True
Let t(f) = 4*f**2 + f + 8. Is t(6) a composite number?
True
Let p be (-2)/(-6) - 58/(-6). Let g = p - 16. 