**3 - t**2 - 5*t + 5. Let h be d(-4). Suppose 0 = -5*f + 8*f - h. Is f prime?
False
Suppose -4*f + 5705 + 1875 = 0. Is f a prime number?
False
Let g = 375 - 286. Is g a composite number?
False
Suppose 0 = -15*d + 13*d + 13998. Suppose -d = -4*x + 2837. Is x composite?
False
Let c = -2 + -1. Let o be 584 - (6/c)/2. Suppose 4*h = 5*w - 549, 5*w - o = -6*h + h. Is w a prime number?
True
Suppose 23*p - 14*p = 332685. Is p composite?
True
Let x = -6 + 10. Suppose 464 - 84 = x*k. Is k prime?
False
Let y be (8/(-6))/((-2)/6). Let a be -19*(-2)/(y/(-58)). Let h = -260 - a. Is h a composite number?
True
Let u(d) = 9*d**2 - 73*d - 11. Is u(-13) a composite number?
False
Suppose -5*o + z + 6 = 2*z, 5*z + 12 = -4*o. Suppose 3*a = o*w - 2*a - 600, 5*w = -5*a + 1465. Is w a composite number?
True
Let t = 2 + 0. Suppose -t*u = -317 - 521. Is u a prime number?
True
Let g be (-6)/12 - ((-1121)/2)/1. Suppose -492 = -4*s + g. Is s composite?
False
Let l be -8 + 7 + 13 + -1. Let m = l - -219. Suppose 4*n = 1638 + m. Is n a composite number?
False
Is 28*(-3)/(-12) - -2382 composite?
False
Suppose -5*l + 265 = 20. Suppose 26 = 2*p + 4*r, r - 5*r = -3*p + l. Is p a composite number?
True
Suppose -5*j = -3*l - 16, -5*j - 4*l = l. Suppose -j*y + 892 + 194 = 0. Is y a composite number?
True
Let h(m) = m + 1. Let i be h(-1). Let x be ((-3)/6)/(-1)*i. Suppose 3*q + 68 - 497 = x. Is q composite?
True
Let s(j) = -2*j**3 + 6*j**2 + 5*j + 4. Let b be s(6). Is b/(-2) - (7 + -5) composite?
False
Suppose -5*k = -8*k + 213. Let v be (-8)/3*(-18)/4. Let t = v + k. Is t prime?
True
Suppose -12672 = -2*t + 2*o, 12*o = 8*o + 20. Is t a composite number?
True
Is 46*-79*(-7)/14 a composite number?
True
Let x be (-4)/2*(-5)/10. Let m(z) = 1665*z - 8. Is m(x) a composite number?
False
Suppose -6*r + 6 = -4*r. Suppose r*j + 2*j = 12265. Is j composite?
True
Let a be ((-9)/(-4))/((-4)/80). Let s = a + 24. Let p = s + 32. Is p a prime number?
True
Let h = 287 + -50. Is h composite?
True
Suppose 8*s = 1350431 - 55879. Is s composite?
True
Let t = -21 - 21. Let g be (-27498)/t + (-2)/(-7). Suppose -5*b = 5*q - g, -4*b + 247 + 281 = 5*q. Is b composite?
False
Suppose 2*q - 6 = -4*q. Let a be 1/(q/8*-2). Let w = 75 - a. Is w composite?
False
Suppose 2*l + 4576 = 4*l. Let x = -1215 + l. Is x prime?
False
Suppose a - 41305 = -2*o - 14245, 0 = 5*o - 2*a - 67659. Is o a composite number?
True
Suppose 4*q - 5*q + 72297 = 2*k, 0 = 4*q + 20. Is k composite?
False
Suppose -g + 0 = -3, 5*g = 4*x + 3. Suppose x*z + z = -4. Is z + -18*(1 + -17) a composite number?
True
Suppose -728 = -8*s + 6*s. Let y = s + -163. Is y composite?
True
Let m(c) = c + 2 + 0*c**2 - 3 + 8 + 5*c**3 - 6*c**2. Is m(4) a composite number?
True
Let x be (-2 - (-4 + 1)) + 1. Let b(s) = 24*s**3 - s**2 + 51*s**3 + 2*s**x + 147*s**3. Is b(1) a composite number?
False
Let u(v) = -21*v - 3. Suppose -2*a + 12 = 6. Let g be u(a). Let m = -7 - g. Is m a composite number?
False
Suppose 373*s = 398*s - 847775. Is s prime?
True
Let c be (40/(-25))/((-2)/(-20)). Is 2/c + (-2079)/(-56) a prime number?
True
Let q = -6 - -8. Suppose 4*w + 18 + 10 = -q*h, 0 = -3*h + 5*w + 13. Is ((-2)/h)/((-1)/(-194)) a prime number?
True
Let w(y) = -48*y. Let o be w(2). Let d = 742 - 527. Let s = o + d. Is s composite?
True
Let j = -192 + 865. Is j composite?
False
Let l(n) = -n**3 - 4*n**2 - 3*n - 9. Let k be l(-4). Suppose 630 = y + 2*h - 629, k*y - 2*h = 3761. Is y composite?
True
Let i(g) = -18*g**3 - 24*g**2 + 8*g + 31. Is i(-10) a composite number?
False
Suppose -10*x - 22*x = -23840. Is x composite?
True
Suppose 0 = 2*q + 667 + 1295. Let j = 1428 + q. Is j a prime number?
False
Suppose -6*c + 1157 = -349. Is c composite?
False
Is 62907/4 - ((-7)/(-4) + -2) a prime number?
True
Let v be -4*(-399)/(-6)*-2. Let o = -209 + v. Is o prime?
False
Suppose 0 = -3*h - 6, 3*f + 0*f = -4*h + 325. Let m be f/2 - (-3)/6. Suppose 2*y = -m + 174. Is y composite?
False
Let z(v) = 50*v - 33. Let f be (-133)/35*(-10)/2. Is z(f) prime?
False
Let s(c) = -3*c - 24. Let b be s(-11). Let v(h) = 6*h**3 - 10*h**2 - 9*h + 22. Is v(b) a composite number?
True
Suppose 0 = 11*c - 13*c - 11078. Let w = -3882 - c. Is w a prime number?
True
Let w = 16 + 0. Let a be 2/7 + w/(-56). Is a - 74/4*-2 prime?
True
Is ((-1677548)/(-16))/19 - (-3)/4 a composite number?
False
Let z = 7 - 0. Let i(g) be the third derivative of -g**6/120 + 7*g**5/60 + 5*g**4/24 - g**3/6 - 6*g**2 - 3*g. Is i(z) a prime number?
False
Suppose -5*v + 1618 = 4*l, 3*v + 659 = 5*l - 1382. Is l prime?
False
Suppose t - 7617 = 4*p, 0 = 11*t - 9*t + 5*p - 15221. Is t a prime number?
False
Suppose -5*n - 2*j + 2 = 17, 0 = 4*n - 2*j + 30. Let s(a) = -a**2 - 1. Let l be s(n). Is (1 - 2)*(l - -3) a prime number?
True
Let j(v) = v - 1. Let o be j(0). Let k be (o/(-3))/(7/84). Suppose -3*r + 4*d + 501 = 0, 3*r = -k*d + 253 + 224. Is r a composite number?
False
Let z(r) = r**2 + 3*r + 5. Suppose -2*g - 10 = -4*l, 2*l - 1 = -g - 2. Let k be z(g). Suppose n = -4*i + 273, 0 = n + 4*n - k*i - 1265. Is n prime?
True
Let c(y) be the first derivative of y**3/3 - 9*y**2/2 + 16*y + 6. Let w be c(7). Suppose -5*t + 1160 = r - 1469, 2*r = -w. Is t a composite number?
True
Let y be -5*(-5)/25*-1. Let r(n) = -104*n**3 + n**2 - n - 3. Is r(y) prime?
True
Is 15/((-105)/(-9548)) + -1 composite?
True
Let f(a) be the third derivative of -a**5/30 + 457*a**3/6 + 12*a**2. Is f(0) composite?
False
Suppose 0 = 2*k - 2469 - 357. Suppose 0 = 2*c - 3387 - k. Suppose 4*d + 482 = -2*z + c, -2*d = -4*z - 974. Is d a composite number?
True
Is (2 + 165)/((-18)/(-558)) a composite number?
True
Is 31/(-62)*77086*-1 prime?
True
Suppose -4*c + 2 = 2*b - 0, -3*b - 13 = -2*c. Let r(i) = -i + 2. Let x be r(5). Is x/(-6)*(b - -505) prime?
True
Let w = -16 + 19. Suppose -o + w*s + 373 = o, -5*o - s + 958 = 0. Is o a prime number?
True
Suppose -h - 1 = 4*t, -5*t - 6 = 4. Let u = 170 - 142. Suppose h = -f + u. Is f a composite number?
True
Let p(d) = -d**3 - 6*d**2 - d - 2. Let y be p(-6). Is ((-478)/8)/((-2)/32*y) prime?
True
Suppose -34 = -6*l + 4*l. Let m be l/3 + (-1)/(-3). Let k(s) = 2*s**2 - 8*s + 7. Is k(m) a composite number?
False
Suppose -12742 = -m + 5*l, 5*l = -2*m - 11275 + 36834. Is m prime?
False
Suppose -12277 - 9537 = -26*g. Is g composite?
False
Let t(m) = m**2 + 6*m + 3. Let k be t(-2). Let w(y) = -y**3 - 4*y**2 + 4*y - 1. Let l be w(k). Suppose -171 = -l*x + 641. Is x a composite number?
True
Suppose -u + 5*u = 2*v - 7538, -2*u + 7538 = 2*v. Let j = -2010 + v. Is j a composite number?
False
Let l be -2*(-75)/9*(-5 + 8). Suppose 6333 = -l*k + 53*k. Is k a prime number?
True
Let b(c) = -c**3 + 15*c**2 - 15*c + 14. Let t be b(14). Suppose 5*p = -t*p + 4445. Is p a composite number?
True
Suppose 4*k = 16 - 4. Suppose 0*v + 2789 = -k*v + j, 0 = -2*v + 3*j - 1857. Is 12/(-18)*v/4 a composite number?
True
Let c(l) = 3*l**3 + l**2 + 4*l - 9. Let k(b) = 10*b**3 + 2*b**2 + 13*b - 27. Let f(h) = -8*c(h) + 3*k(h). Is f(4) a prime number?
False
Let w be (-12)/36*(-1 - 488). Let i = -84 + w. Suppose n - 5*c = i, -n + c - 6*c = -99. Is n prime?
True
Let z(l) = 15*l. Let s be z(-4). Let n = -745 + 476. Let f = s - n. Is f a composite number?
True
Suppose 2*o - 3*w - 1158 = 0, 6*w - 3*w = 4*o - 2304. Is o composite?
True
Suppose 528300 = 59*w - 1681309. Is w a composite number?
True
Suppose -s + 7059 = -5*s + 3*d, -s = -2*d + 1766. Let y = s - -2813. Is y a prime number?
True
Let a(h) be the second derivative of 107*h**3/2 + 16*h**2 + 5*h. Is a(5) a prime number?
True
Suppose 0 = w - 5 + 13. Let q(v) = 4*v**2 + 5*v + 17. Is q(w) prime?
True
Let w(j) = -3742*j - 93. Is w(-11) a prime number?
False
Let o = -56 - -60. Suppose -i = -2*i + o*p + 5, 0 = -5*i - p + 130. Is i a prime number?
False
Is (-769552)/(-176) - 6/(-11) prime?
True
Suppose 15*p - 7*p = 92792. Is p prime?
False
Suppose 4617 = 3*f - 4*q, q = 4*f - 7467 + 1298. Is f a prime number?
True
Let k(q) = -q**2 - 7*q - 7. Let b be k(-5). Let u be b + -3*2/2. Suppose u = -i - 0*i + 77. Is i composite?
True
Is ((-1 + 3)/((-6)/(-2901)))/1 a composite number?
False
Let r = -13 - -17. Suppose -2*s + 750 = 3*h, -3*h = -r*h - 2. Let v = s + -155. Is v composite?
False
Let j be (-1)/(2*1/6). Let n be -1*62*j/6. Let k = 9