
Let u = -224 - -435. Is u a composite number?
False
Let x(d) = 3*d - 5. Let m be x(13). Let k = 54 + m. Suppose 3*r - 253 + k = 0. Is r a prime number?
False
Let v be (16*-3 + -1)/(-1). Suppose -2*g = -v - 27. Let j = g - -15. Is j a composite number?
False
Let x be (-65)/15*-6*58. Let a = 4087 - x. Is a a composite number?
False
Let k(g) = -579*g + 2. Let p be k(1). Let f = p - -1754. Is f a prime number?
False
Let y be (1 + -10)/(13/(-65)) + -4. Let g be (17 - (0 + -2)) + -1. Let d = y + g. Is d composite?
False
Suppose -3*h + 3885 = -306. Is h composite?
True
Let m(l) = l**3 - 3*l**2 - 4*l + 4. Let k be m(4). Suppose 4*n = -k*s + 28, -3*s + 0*s = 2*n - 16. Suppose 0 = n*x - 590 - 705. Is x prime?
False
Let k = -234 - -7390. Suppose 5*x + 41 - k = 0. Suppose -x + 4139 = 4*l. Is l a composite number?
True
Let f(d) = d**3 - 4*d**2 - d + 6. Let x be f(4). Suppose 3*r + m = 11, m + 5 = 3*r - x. Suppose -4*u - 633 = -5*l + 4*l, -1854 = -r*l + 3*u. Is l composite?
False
Let v(j) = j**3 - j**2 + 2*j + 25. Let f be v(0). Suppose -3*u + 5*r + 87 = -u, -5*r - f = 0. Is u composite?
False
Let x(g) = 6*g**2 - 3*g - 7. Let q = -32 + 71. Suppose -3*k - q = -4*h, -5*k - 7 = 4*h - h. Is x(h) a composite number?
False
Suppose -2*d - 4*j + 3920 = 0, d - 3*j - 1516 - 429 = 0. Is d composite?
True
Suppose 0 = 11*r - 25*r + 711214. Is r prime?
False
Let b(t) = t**2 - 6*t + 6. Let o be b(6). Let q(f) = 609*f + 23. Is q(o) composite?
False
Let s(g) = g**3 - 3*g**2 - 6*g - 4. Let z be s(5). Suppose 4*w - z = -0. Suppose 211 = v - 3*d + d, -v + 219 = -w*d. Is v a composite number?
True
Suppose 0 = 3*x + 2*b - 5, -2*x - 2*x - 4*b = -4. Let z(l) = -75*l - 1. Let t be z(x). Is t/(-6) - (-1)/3 a prime number?
False
Suppose -m + 124 = -5*c - 967, 4*c = m - 1091. Is m prime?
True
Let t(l) be the third derivative of -7*l**4/2 - 25*l**3/6 - 33*l**2. Is t(-6) composite?
False
Suppose -3*w = -2*b - 137311, -6*b + 2*b - 137315 = -3*w. Is w a prime number?
False
Is ((-8053)/4)/(2 - 45/20) a prime number?
True
Suppose b - 4*q = 31945, 32*q + 63902 = 2*b + 27*q. Is b composite?
True
Let h be (3/2)/(6/76). Let d = -9 + h. Suppose 2*g - 743 = -5*o, -5*o - 747 = -d*o + 2*g. Is o prime?
True
Let j = -18 + 21. Let t be (0 - (0 + j)) + 5. Suppose -4*g - 3*x + 556 = 0, x - 278 = -t*g - 4*x. Is g a composite number?
False
Let v be 3/21 + 2756/28*16. Suppose 4*i = -8, -k + 7*i - 9*i = -v. Is k prime?
True
Let b(l) = -3*l**3 + l**2 - 11*l - 18. Let k be b(-5). Suppose 0 = -4*a + k + 5735. Is a a composite number?
False
Let x = 20725 + -4998. Is x prime?
True
Let l(z) be the third derivative of -19*z**4/12 - 5*z**3/3 - 3*z**2. Is l(-12) a composite number?
True
Suppose 0 = -4*y - y + 10. Suppose 0 = -y*p + 6*p - 32. Is ((-23)/(-4))/(p/224) composite?
True
Suppose 66*n - 36*n = 852630. Is n composite?
True
Let r(x) = -2*x**2 + 7*x - 4. Let w be r(5). Let c = 27 + w. Is (-332)/c*4/(-2) prime?
True
Let d be (126/(-27))/((-4)/(-894)). Let r = 1600 + d. Is r a prime number?
True
Suppose d - v = -d + 3466, d - 1733 = 4*v. Is d prime?
True
Let a = 7891 + -4942. Is a a prime number?
False
Let m(u) = -u**3 - 3*u**2 + 6*u. Let n(s) = -2*s**3 - 8*s**2 + 17*s + 1. Let x(i) = 11*m(i) - 4*n(i). Suppose -p = 5*a + 18, a + 5*p + 21 = -a. Is x(a) prime?
False
Let g = 38 + -40. Is (g + 3)*418/2 a composite number?
True
Suppose -f - 21 = -2*f + 4*n, 0 = 4*f + 5*n + 21. Suppose -m - 5 = 5*t - f, -4*m = -3*t + 16. Suppose t = -3*r + 40 + 53. Is r prime?
True
Suppose 4*i = -i + 3930. Let n = -27 + -40. Let z = i + n. Is z a prime number?
True
Let d(o) = o**2 - o + 153. Let u be d(0). Let h = u + -104. Suppose 0 = -2*k + 3*k - h. Is k a prime number?
False
Let q(b) = b**2 - b + 1. Let c(o) = 6*o**2 + o - 3. Let u(r) = c(r) - 5*q(r). Let f be u(-7). Is f/2*8 + 93 composite?
False
Let m be (-23584)/(-77) - 4/14. Let d = m - 601. Let j = 444 + d. Is j prime?
True
Let g be (19/(-2))/((-2)/(-8)). Suppose -n = 2*n - 2*s - 377, 3*n - 383 = -s. Let w = g + n. Is w a prime number?
True
Suppose n - 5*q = -0*q + 28, -4*n - 3*q = -20. Let b be -2 + 20/4*n. Let g = 361 - b. Is g a composite number?
True
Suppose 3*o - w = 1111, 7 + 3 = 5*w. Is o prime?
False
Suppose s - 1824 = -k - 648, 4*s = 2*k + 4692. Suppose s - 3436 = -6*g. Is g prime?
False
Let q(s) = -4*s + 4. Let x(y) = 5*y - 5. Let z(g) = 6*q(g) + 5*x(g). Let i(n) = -35*n + 5. Let l(m) = i(m) - 6*z(m). Is l(-8) composite?
True
Suppose -3*x + 6 = -r, -4*r - r = 5*x - 50. Let q be 5/15 - (-16)/r. Suppose -q*i + 2*w - 70 + 227 = 0, 0 = -2*i + 2*w + 108. Is i a prime number?
False
Suppose -5*g = -20*g + 168735. Is g a prime number?
False
Let s = 3 - -1. Let r = 531 - 71. Suppose s*c - r = -128. Is c a composite number?
False
Suppose 5*x + 10 = -5*i, 3*x - x = 0. Let w = i + 2. Suppose w*t - 3*t = -357. Is t composite?
True
Is 6/(-9) + (-59307)/(-9) a prime number?
False
Suppose -2*o - 4*b + 12790 = 0, 3820 = 5*o - 5*b - 28110. Is o a composite number?
False
Let r(v) = 113*v - 199. Is r(4) a composite number?
True
Let q = -2 - -4. Suppose 4 = -q*c, 5*c - 164 = -5*z - 39. Suppose z = h - 52. Is h composite?
False
Suppose -3*f - 288 = 4*r - 5*r, -r + f + 282 = 0. Let m(u) = 2*u**3 + 4*u**2 - 3*u - 1. Let w be m(-5). Let q = w + r. Is q a composite number?
True
Suppose -10*q + 15*q - 100 = 0. Suppose -3*a - 2*a + q = 0. Suppose a*s - 2*z - 46 = 0, 2*s + 4*z + 2 = 10. Is s composite?
True
Suppose -3*j - 431 = 2*j + 4*a, -4*j - 3*a = 344. Let g = j - -352. Is g a composite number?
False
Suppose 14*k - 12*k = -3*m + 33623, -4*k = -5*m + 56031. Is m a composite number?
True
Suppose -u - 15 = -4*u. Let b = 187 + 26. Suppose 0 = -g - g + u*c + 123, -3*g - 2*c + b = 0. Is g a prime number?
False
Let j(z) = -269*z**3 - 5*z**2 - 6*z + 7. Is j(-3) prime?
True
Let r(z) = 20*z + 7. Let g be 6/8*4 + -3. Suppose -18 = -g*w - 3*w. Is r(w) prime?
True
Let u(d) be the third derivative of -211*d**4/24 - 19*d**3/6 + 26*d**2. Is u(-14) a composite number?
True
Let o(f) = -f**3 + 4*f**2 + 5*f + 4. Let h be o(5). Suppose y = -h*y. Suppose y*k = 3*k - 429. Is k a composite number?
True
Let n be -15 - (-1)/1 - (-52 - -46). Let r(g) = -2*g**2 + 7*g - 4. Let j be r(4). Is (-122)/n + 2/j a composite number?
True
Suppose d + 9 = 13. Suppose d*t - 4*z = 2508, -1242 = -2*t - z - 0*z. Is t prime?
False
Suppose -2*w - 50163 = -5*t, 3*t + 2*w - 1882 = 28219. Is t a prime number?
False
Suppose -5*l - 5*h = 5 + 20, -5*l - 37 = 2*h. Let b be (-9)/(-7) + (-4)/14. Let r = b - l. Is r prime?
False
Suppose -24 = 7*h - 3*h. Is 342 + (-6 - h/2) prime?
False
Suppose -12 = -122*g + 120*g. Is (1/(g/(-3)))/(3/(-954)) composite?
True
Let p(h) = 13*h**2 + 7*h + 7. Let t = 58 + -62. Is p(t) a composite number?
True
Let c(x) = -148*x - 4. Let m be c(-1). Suppose 0 = 2*a - 818 - m. Is a a prime number?
False
Let g be (4/6)/((-2)/(-93)). Let m be 9/(-27) - g/(-3). Suppose 6*x - m*x = -748. Is x prime?
False
Let a = -88 - -52. Is 6/a + 1958/12 a prime number?
True
Suppose 7*c - 3*c - 87316 = 0. Is c prime?
False
Suppose 5 = 2*z - 5. Let x = -7 - -14. Suppose 0 = z*j - x*j + 574. Is j a composite number?
True
Let t be (130/4 + -1)*(-48)/(-36). Suppose -46*y + t*y + 1060 = 0. Is y a prime number?
False
Suppose 0 = 10*i - 50*i + 840440. Is i a prime number?
True
Is 12145 - 1*(-1 + -3 - -6) composite?
False
Let o be ((-2)/(-8))/(7/140). Suppose -o*w + 2*d = 368, 2*d = -3*d + 20. Let q = 235 + w. Is q composite?
False
Suppose 73541 + 31943 = 4*s + 2*k, 4*s - k - 105484 = 0. Is s a composite number?
False
Is ((-2)/3)/(-7 - (-7443059)/1063299) a prime number?
True
Let b be 106/(-12) + (-2 - (-66)/36). Is 7311/b*3/(-1) a prime number?
True
Suppose -7*m + 2*m + 38597 = 4*u, 0 = -3*m - 2*u + 23157. Is m a composite number?
False
Let z(d) = 2*d - 3. Let c be z(3). Suppose 0*s + c*s + 10 = 2*b, -s = -2. Let i(t) = t**3 - 8*t**2 + 6*t - 11. Is i(b) a prime number?
True
Suppose -17 = -3*r - v - 1, 2*v = 8. Suppose -4*o - r = 0, -5*o + o = 2*s - 1414. Suppose 4*w + s = 3*y, -2*y - 3*w + 302 = -165. Is y a prime number?
False
Let k = -1206 - -2605. Is k prime?
True
Let m(o) = 92*o**3 - 3*o**2 + o + 2. Let g be m(2). Let p = g - -591. Is p prime?
True
Let z(c) = 46*c**2 - c - 1. Let a be z(1). Is ((-5269)/a)/(-1 - (-3)/4) a prime number?
