 + 7*m**2 + 12*m - 12. Let b be 0 + 0/(-1) + 8. Let u be y(b). Is 1/5 - (-1096)/u composite?
True
Let j = -147 + 1904. Is j a composite number?
True
Is ((-1074)/(-3))/(0 + 2) a prime number?
True
Suppose 6*g = g + 13285. Is g prime?
True
Let p(d) = d**3 - 9*d**2 + 9*d - 8. Let u be p(8). Let j = u - -1. Is j + -2 - (-4 - 160) a prime number?
True
Let y be (106/(-4))/((-2)/36). Let u = -98 + y. Is u prime?
True
Suppose 1256 = 9*s - s. Is s a composite number?
False
Let g(l) = 6*l - 3*l - 2 + 1 - 6. Is g(11) prime?
False
Let x(a) = 4*a**2 - a - 6. Let d be x(5). Suppose -3*r + d = -22. Is r composite?
False
Let o(w) = -w - 5 + 0*w - 5*w - 16*w. Is o(-6) composite?
False
Suppose 2*m - 406 = -2*m - k, k - 2 = 0. Suppose f - a + m = 4*f, 0 = -2*f - 5*a + 63. Is f composite?
True
Let c be ((-1)/(-1))/(-1)*-6. Let g = -5 + c. Is g*(-2 - -41) - 2 a composite number?
False
Let c(f) = -1 - 4*f**2 + 5 + 0 + 0 + 2*f**3 - f. Is c(3) a composite number?
False
Is (78/(-52))/(3/(-1262)) composite?
False
Suppose -330 = -4*y + 22. Let j be 0/(-1 - (-2 - -3)). Suppose -4*s + j*k = -k - y, 3*k = -2*s + 30. Is s a composite number?
True
Suppose -v + 2*q + 10 = 0, 2*v = -3*v + q + 5. Let r be (0 - -2)*(v + 1). Is 1*(54 + (1 - r)) composite?
False
Let w = -162 + 275. Is w prime?
True
Suppose -5*w + 0*w + 20 = 0. Suppose w*s - s = 6. Is ((-4)/6)/(s/(-39)) prime?
True
Is (-23 - -25)*((-3902)/(-4) + -1) a composite number?
False
Let r = -14699 - -23052. Is r prime?
True
Let d(w) be the first derivative of w**5/5 - w**4/12 - w**3/2 + w**2/2 + w - 3. Let v(c) be the first derivative of d(c). Is v(3) prime?
False
Let t = 386 - 231. Is t/5*(3 + 0) prime?
False
Let y = 755 + -378. Is y a prime number?
False
Let b(p) = 2*p**3 - p**2 - 4*p - 3. Let y be b(-2). Is (21/(-4))/(y/40) prime?
False
Let b(u) = -u**3 + 3*u**2 - 2*u + 2. Let p be b(2). Suppose -3*f + 177 = 2*c + 19, -4*f + 158 = p*c. Is c a prime number?
True
Suppose -10181 = -10*b + 8829. Is b a composite number?
False
Let g = 0 - -2. Let i be 3/(g/2) + 11. Suppose 0 = 2*h + i - 80. Is h composite?
True
Let b be ((-140)/(-15))/((-2)/(-3)). Is 4/b - (-6516)/28 composite?
False
Let n = -1 + 3. Suppose 4*m = -n*o + 330, -2*m + 111 = 5*o - 50. Is m prime?
True
Let b = 906 - 259. Is b composite?
False
Suppose 0 = -h - f + 163, h + 3*f = -2*f + 171. Suppose 4*k - 55 = -5*l - 0*l, k + l = 14. Suppose 2*i - 3*x + k = h, 2*x = -8. Is i prime?
True
Let x(r) = r**3 + 5*r**2 + 5*r + 4. Let z be x(-4). Suppose z = i - 5*i - 64. Let n = -2 - i. Is n a composite number?
True
Suppose 0 = 5*t + 35 - 15. Let h = t + 2. Is 114/(1 - h) + -1 a prime number?
True
Let d = -764 + 1443. Is d a composite number?
True
Let i(s) be the third derivative of 5*s**4/6 + s**3/2 + 4*s**2. Is i(8) a composite number?
False
Is 7*(-2 + 22473/21) prime?
True
Let u be 0 - (-4)/(4/93). Let j = 77 + -35. Let v = u - j. Is v a prime number?
False
Let r = -7 + 10. Suppose -2*a + 8 = q - r*a, 12 = 3*q + a. Suppose 155 = q*y - 120. Is y a prime number?
False
Suppose 5*l - 15 = -5. Let j(g) = 3*g**2 + 1. Let o be j(-2). Suppose 0 = r - l*r + o. Is r a prime number?
True
Let t(a) = -16*a - 37. Is t(-17) a prime number?
False
Suppose 0 = -g + 46 + 7. Is g a composite number?
False
Suppose -3*p - 88 = 4*a, -1 - 11 = 3*a. Is (-8)/p + 137/3 prime?
False
Let d = 8 + -6. Suppose -80 = -d*y + 20. Suppose -y = -n - n. Is n composite?
True
Suppose -3*j = 1 + 5. Is (-1775)/(-15) + j/(-3) a prime number?
False
Let g = -9 - -13. Suppose 2*x + g*r - 100 = 0, 0*r = -4*x - r + 214. Suppose t = -4*j - 4*t + 112, 2*j = -3*t + x. Is j a composite number?
True
Let a(x) be the first derivative of -x**3/3 - 5*x**2 + 14*x - 2. Let l be a(-11). Suppose -g = -2*p + 4*g + 74, l*p = -4*g + 111. Is p prime?
True
Suppose -209 + 35 = 3*m. Let r = m + 81. Is r a composite number?
False
Let p(r) = 19*r**2 + 2*r - 3. Suppose -5*v + 13 = 6*d - 2*d, 2*d = 4*v. Is p(d) prime?
False
Let g = 1088 - 617. Is g prime?
False
Let n(u) = -u**2 - u + 211. Is n(0) a prime number?
True
Suppose -3*h - 18 = -6, x + 3*h = -7. Suppose 629 = x*i - 96. Is i composite?
True
Is (3/2)/(-2*9/(-84)) prime?
True
Suppose -4 = 4*v - 2*v. Suppose 0 = 2*q - 5*q + 30. Is q/3 - v/3 a prime number?
False
Let d be ((-3)/(-5))/(3/15). Suppose -4*o + 130 = o + 5*h, -o + d*h = -46. Is o a prime number?
True
Let i = 10 + -6. Is 0 - (i - 2) - -5 prime?
True
Let g(l) = -14*l**2 - 8*l - 4. Let r = -9 - -4. Let s be g(r). Is s/(-4) - (-2)/4 a prime number?
True
Let o = -2 + 2. Suppose 4*t - 608 - 44 = o. Is t a composite number?
False
Let u(d) = d**2 - 10*d + 10. Let g be u(8). Is ((-2)/g)/(5/555) composite?
False
Suppose 5*z - 415 = 2*d, 0 = -d - 0*d. Is z a composite number?
False
Suppose 2 = 4*g - 2*g. Is 0 - 322/(-1 - g) a prime number?
False
Let o(n) = n**3 + 4*n**2 - 7*n - 5. Let j be o(-5). Suppose 0 = -j*k - 9 + 29. Let d(p) = 7*p + 3. Is d(k) a composite number?
False
Let w(r) = -r**3 + 6*r - 3. Is w(-6) a composite number?
True
Let b(q) = q**2 + 4*q + 5. Let k be b(-3). Is ((-134)/4)/(k/(-4)) composite?
False
Let c(f) = -380*f**3 + 2*f**2 + f + 3. Is c(-2) a prime number?
True
Let i = -5 - -6. Let q = i + 76. Is q composite?
True
Let t = 5 - 3. Suppose -o + t*o = 155. Is o composite?
True
Let z = -297 - -430. Is z a composite number?
True
Let w = 436 + 55. Is w a prime number?
True
Let q = 2 + 2. Suppose -22 = -q*x + 2*b, 4*x - x + b - 24 = 0. Let l(u) = -u**2 + 9*u + 9. Is l(x) composite?
False
Let y be 1*(0 + (3 - 1)). Suppose 191 = 4*q - h + y*h, -4*q + 3*h + 211 = 0. Is q composite?
True
Let k = 164 - 79. Is k a prime number?
False
Let t = -6 - -29. Is t a composite number?
False
Let w = -8 - -10. Suppose 69 = g + w*g. Is g prime?
True
Suppose -5*k + 11 = -14. Suppose -3*h - 2 = -4*h + k*q, -2*q = 4*h - 8. Is h composite?
False
Suppose 39 = 4*c - c. Suppose 3*b = c + 140. Is b composite?
True
Let t = -3 + 8. Suppose -40 = c - t*c. Is c a composite number?
True
Let p(l) = l - 1. Let j be p(4). Is (j - 0/2) + 154 composite?
False
Suppose 2*a - 2940 = 5*r, a - 2*r + 4*r - 1461 = 0. Is a composite?
True
Let j = 1009 - 510. Is j a prime number?
True
Let t(s) = s**2 + 5*s + 6. Let p be t(-4). Suppose -2*v + p*d + 2*d + 266 = 0, 2*v - 265 = 5*d. Is v + -4 - 0/(-2) composite?
False
Suppose 352 = 4*s - 0*s - 5*g, -4*s = 3*g - 320. Is s a composite number?
False
Let c(j) = j**3 - 8*j**2 + 6*j + 10. Let b be c(7). Let l be (404/b)/((-1)/3). Is l/(-44) - (-4)/(-22) a composite number?
True
Suppose -c + 12 = 2*c. Let z(l) = 2*l**2 + 4*l - 3. Let a be z(2). Let j = a - c. Is j a prime number?
False
Suppose 3*a + 4393 = 11038. Is a composite?
True
Let z(y) = 133*y**2 + 3*y. Is z(2) composite?
True
Suppose 880 = 5*g - 795. Is g prime?
False
Suppose -4*o + 1900 = -9*o. Is o/(-8)*(-4)/(-5) a prime number?
False
Is -439*(0 + (3 - 4)) composite?
False
Let z be (-12)/(-21)*(-14)/(-4). Suppose 0 = -4*n - v + 208, -z*n + v + 98 = -0*n. Is n prime?
False
Let d(m) = 0*m + 4*m + 3*m + 2 + 0*m. Is d(5) a composite number?
False
Suppose -5*x - 4*m - 145 + 849 = 0, -4*x - 2*m = -568. Is (-3)/(-5) + x/10 a composite number?
True
Let i = 58 + 13. Is i a prime number?
True
Suppose 27*l - 25*l = 226. Is l prime?
True
Suppose 5*l - 5*w = 25, 2*w - 3 = -5*l + 15. Suppose 9 = l*a - 0*k - k, -a - 3*k = -12. Is a a composite number?
False
Let y = 387 + -257. Suppose -y = -3*v + v. Is v composite?
True
Suppose 0 = 5*o + 15, -f - o = -2*f + 90. Is f a composite number?
True
Suppose z - 3*a = 3, -a + 6 = 2*z + 2*a. Let w = z - 1. Suppose w*p + 4 - 46 = 0. Is p composite?
True
Let b = 10 - -3. Is b a prime number?
True
Let n(u) = 3*u**2 + 7*u - 11. Is n(-6) prime?
False
Suppose 4*u - 51 = 121. Is u prime?
True
Let a = 5 + -2. Suppose 2*t - 7*t + 277 = -4*n, 0 = a*t - n - 162. Is t a prime number?
True
Let v(z) = 3*z**2 + 2*z + 7. Let o be v(5). Suppose 8*m = 6*m + o. Is m a prime number?
False
Let z(b) = -b**2 + 6*b + 3. Let h be z(6). Suppose 4*i - h*s - 117 = 55, -196 = -4*i - 3*s. Is i a composite number?
True
Suppose 2*i - 16 = 6*i. Let p(s) = -s**2 + 2. Let b be p(-5). Let t = i - b. Is t prime?
True
Let i = 529 - -336. Is i a prime number?
False
Suppose -4*h = -3*h + 1. Let k(o) = 924*o**2 + 1. Let t be k(h). Suppose -8*g = -3*g - t. Is g a composite nu