 Let l be u(4). Let j = 225 + l. Is j a prime number?
False
Suppose o + 0*o = -1. Is (0 + 23)/(o + 2) prime?
True
Let a be 3 + (3 + -1)/(-2). Is (a + 8/6)*3 composite?
True
Let p = 58 + 483. Is p prime?
True
Is (-8)/(-40) + 4428/10 a composite number?
False
Let f = 146 - 40. Is f composite?
True
Is (-2)/2 + 124 - 1 a prime number?
False
Is 1/(-2)*2 - (-80 + -4) a prime number?
True
Let x = -1 - -2. Suppose 7 = 2*v - x. Suppose -v*p + 99 = 11. Is p composite?
True
Suppose y - 20 = -3*y. Is (-2764)/(-5) - y/(-25) composite?
True
Let m = -4415 - -7444. Is m composite?
True
Suppose -4 = -d + 11. Is (-10)/d - (-932)/12 composite?
True
Suppose 3*x = -2*x + 15. Suppose 2*c = -x*c - 315. Let o = c + 88. Is o a composite number?
True
Suppose 0 = 4*q - 0*q - 1524. Is q prime?
False
Let i be 1*(0/4)/4. Is 0 - i - -118 - -1 composite?
True
Let n(c) = 8*c**2 + 5*c - 19. Is n(8) a prime number?
False
Let i(c) = 2*c**2 + 3*c + 1. Let z be i(-2). Is -1 - (636/z)/(-1) a composite number?
False
Let g(m) = 65*m**2. Is g(1) composite?
True
Let m(b) = 63*b + 11. Is m(4) prime?
True
Let i = -244 - -1005. Suppose -1247 = -5*a - 2*j - 0*j, 2*j + i = 3*a. Is a a prime number?
True
Suppose 0 = -3*v + b - 4*b + 11922, 2*b - 3971 = -v. Is v a composite number?
True
Let v = 1 - -1. Suppose 2*w + 308 = 2*q - 2*w, -4*q - 5*w + 590 = 0. Suppose -4*s = -s - 2*r - 109, -v*r + q = 4*s. Is s a prime number?
True
Let n(k) = -18*k + 1. Is n(-5) a prime number?
False
Let l(x) = 6*x**3 + 3*x - 4. Let g = 8 - 5. Is l(g) composite?
False
Suppose 2*o + 323 = 5*f - 400, 0 = 2*f + 2*o - 278. Is f a prime number?
False
Let p be 2/2*3*1. Suppose x - p + 1 = 0. Suppose 3*t = x*t + 39. Is t prime?
False
Let m = -24 + 55. Suppose 0 = -3*v + 41 + 7. Suppose s - v = m. Is s prime?
True
Let s be (-1)/3*(-2 - 1). Let b(r) = 16*r + 7*r + r - s. Is b(3) prime?
True
Let m(w) = 12*w - 2. Let d be m(3). Suppose -f + 0*f = -d. Suppose f = 2*s - 4*l, -25 = -3*s + 2*s + 4*l. Is s a composite number?
True
Let b be (-4)/(-6)*-3 + -11. Let c = 104 + b. Is c a prime number?
False
Let v(z) = -z + 7. Let i be v(7). Suppose i = 5*y + 1 - 16. Is ((-4)/y)/(6/(-27)) a composite number?
True
Suppose 21*p - 18*p - 1491 = 0. Is p prime?
False
Let t(x) = -x**2 + 10*x + 7. Let z be t(11). Is (114/(-24))/(1/z) a prime number?
True
Let o = -2 + 2. Is -3 - o - (-164)/2 a prime number?
True
Let w(z) = 9*z - 25. Let t(v) = -6*v + 17. Let d(b) = -7*t(b) - 5*w(b). Let m be d(4). Is ((-154)/m)/(1/3) composite?
True
Suppose 2*p = 3*p. Let t = 5 + 22. Suppose p = 2*o, 2*f = o + 151 + t. Is f prime?
True
Let w be (-1)/4 + 73/4. Let u = -11 + w. Is u a composite number?
False
Let g(p) = 3*p**3 + p - 1. Let f(r) = -r**3 - 5*r**2 - 5*r + 1. Let l be f(-4). Let c(y) = -y + 6. Let x be c(l). Is g(x) a composite number?
False
Suppose -3*c - 569 + 7280 = 0. Is c composite?
False
Suppose 0*g - 4*g - 2*x + 10 = 0, g + 20 = -5*x. Suppose 612 = -g*i + 1897. Is i prime?
True
Let g be ((-10)/3)/((-8)/1356). Let b(r) = -r**3 - 9*r**2 + 9*r + 7. Let l be b(-11). Suppose -l + g = 5*w. Is w a composite number?
False
Let c be ((-6)/9)/((-1)/9). Suppose -c*y = -5*d - 2*y + 257, -3*d + 155 = -2*y. Is d composite?
False
Let a(q) = 0 + 3*q**2 + 16*q**3 - 3*q + 26*q**3 + 2. Let b be a(2). Suppose -4*y + b = 4*u, -71 = -u + 5*y + 33. Is u prime?
True
Let n(d) = -d**2 + 3*d**2 - 2*d**2 - 9*d - 12 + 8*d**2. Is n(-5) a composite number?
False
Suppose 0 = -4*t - 2*b - 18, -18 = -0*t + t - 4*b. Let f be 3/t + 34/4. Suppose 4*w - 45 - f = 3*a, 5*w + 2*a = 49. Is w prime?
True
Let b = -179 + 264. Is b a prime number?
False
Suppose -2*b + 2*m + 10 = 0, -b = -0*m - 3*m - 15. Is 0 + b - (2 + -267) a composite number?
True
Let m(c) = 3*c. Let i be m(2). Suppose -g = -i*g + 1270. Is g a prime number?
False
Suppose 3 = 5*r - 2. Suppose 1 = -2*q - r, 5*q = 2*i - 579. Is i composite?
True
Suppose g - 3 = 1. Let k(o) = o**3 - 4*o**2 + 4*o. Let f be k(3). Suppose f*c + 160 = g*q, -45 = -0*q - q + 2*c. Is q prime?
True
Let z(x) = 39*x - 14. Is z(7) prime?
False
Is (-1)/2 + 360/16 a composite number?
True
Let f(o) = -o**3 + 8*o**2 + 13*o - 29. Is f(7) a composite number?
True
Is (-6649)/(-9) + (1 - 28/36) composite?
False
Let r(s) = -s**2 - 7*s - 4. Let i be r(-6). Suppose -3*f + 7*f - 2*g - 1158 = 0, i*f = -3*g + 559. Is f prime?
False
Let t = 8 + -4. Is (-1)/(-2) + 506/t a prime number?
True
Is (-211)/(3/(-4 - -1)) composite?
False
Suppose 129 = 4*b - 75. Is b a composite number?
True
Is -262*((-18)/(-4))/(-3) a prime number?
False
Let o = 4 + -2. Suppose o*b = b + 113. Is b prime?
True
Let o(t) = t**2 + 2*t - 2. Let w be o(-3). Let c = 9 - w. Suppose -c*n + 3*n = -95. Is n composite?
False
Let s = -8 + 12. Suppose 1 = -s*h + 3*f + 3, 0 = -4*h + 4*f. Let r(d) = 16*d**2 + 3*d - 1. Is r(h) composite?
True
Let f = 41 + -28. Let m = 174 - f. Is m prime?
False
Let d be (2/(-3))/(1/(-6)). Suppose 2*n - d*n + 1306 = 0. Is n a prime number?
True
Let a(u) = -3*u**2 + 2*u**2 - 3*u**2 + 3*u**2. Let x be a(0). Is (-3)/(x - 6/166) a prime number?
True
Suppose -12 = 3*b + b, 4*p = 3*b + 869. Is p a prime number?
False
Let t(g) be the second derivative of -g**3/6 - g**2/2 - g. Let q be t(1). Is (-161)/(1/2*q) a prime number?
False
Is 3416 - (-4 + 10)*(-1)/2 a composite number?
True
Suppose -1220 = 5*h + 220. Let g = h - -545. Is g composite?
False
Let p be (2 - 2)/(-2 - -1). Let z(n) = n**3 + n**2 + n + 3. Let o be z(p). Suppose 5*w = -o*f + 299, 2*w + 7*f = 4*f + 125. Is w prime?
False
Let j = -7645 - -11928. Is j a composite number?
False
Let f = 1560 + -851. Is f prime?
True
Is 2 - 0 - (-6 + -683) composite?
False
Suppose 2*l = -3*b - 5, b + 7 = 5*l + 2*b. Suppose -l*n + 4*g + g = -278, -4*n + 584 = -3*g. Is n prime?
True
Let l = 472 + -326. Is l a composite number?
True
Let n(o) be the second derivative of -o**5/20 - 7*o**4/12 - o**3 - o**2 + 2*o. Let w be n(-6). Is 177/6*(-4)/w prime?
True
Is ((-1)/(8/422))/((-4)/16) a prime number?
True
Let x(q) = -2*q**3 - 3*q**2 - q - 1. Let z be x(-2). Suppose -5*f = -v - 704, 2*v = -f - 0*v + 132. Suppose z*w = w + f. Is w a prime number?
False
Let b = -3 - -1. Let d be 3/6*0 + b. Is (d - -3)/((-2)/(-8)) prime?
False
Suppose -5*y + 2*i + 4 = 0, 0*y - 17 = -y - 5*i. Suppose -y*l + 16 = 2*l, -3*m + 5*l - 53 = 0. Let f = m - -18. Is f composite?
False
Suppose -6*r + 3*r + 4053 = 0. Is r a prime number?
False
Suppose 4*r - 2*g = -14, 0 = -4*r - 0*g - g - 5. Is (4 - (-427)/r)*-2 prime?
True
Let x(h) = h**3 + 6*h**2 - 7*h + 3. Let m be x(-7). Suppose -3*r + 5*q + 317 = -440, -m*r = 4*q - 739. Is r a composite number?
True
Let m(d) = -d**2 - 6*d - 3. Let q be m(-6). Let x be -2 - (8*3)/q. Is (13 - x)*(10 - -1) prime?
False
Is (4 - -489)*1 + -4 a prime number?
False
Suppose -2*l = 2*h - 5402, 5*h = 7*l - 3*l + 13541. Is h a composite number?
True
Let p be 1 + -2 + 12/2. Let z(h) = 0*h**2 + 5*h**2 + 0 + 7 - h**3 + 6*h. Is z(p) composite?
False
Suppose -5*i + 5*h + 55 = 0, i = -i + 3*h + 26. Let l(u) = -7*u + i*u + 8*u + 7*u - 1. Is l(4) prime?
True
Suppose -5*u - 26 = -l + 30, 3*l = 2*u + 168. Suppose 2*w = 4*t - l, 0*w = -3*t - 5*w + 29. Is t composite?
False
Let t(o) = -o + 2. Let j be t(-3). Let a = 5 + -3. Suppose -3 = a*p + 7, 0 = -5*b + j*p + 770. Is b a composite number?
False
Let l = 270 + -23. Is l a prime number?
False
Let u = -2 - -5. Suppose -k + 494 = 2*t + u*k, -2*t + 3*k + 508 = 0. Is t prime?
True
Let r(f) = -5 + 3*f + 6*f**2 + 2*f + 2*f**3 - 5*f. Is r(5) a composite number?
True
Let y = 6 + -4. Let z be ((-1)/y)/(2/4). Let j = z + 15. Is j a prime number?
False
Let f(m) = m. Let s = 6 - 2. Let n be f(s). Is ((-37)/4)/((-1)/n) prime?
True
Let p(j) = j**2 + j - 7. Let g(a) = -3*a**2 - 3*a + 20. Let w(v) = -6*g(v) - 17*p(v). Let q be w(6). Let d = -20 + q. Is d composite?
True
Suppose 0 = 5*s - 0*s - 3*k - 6817, 2*k + 8 = 0. Is s prime?
True
Let h(v) = 4*v**2 - 10*v - 5. Is h(-6) a prime number?
True
Let n = 323 + -168. Is n a prime number?
False
Suppose -22 = -c - 4*c + 4*s, c - 2*s - 8 = 0. Suppose -c*y = -33 - 35. Is y a composite number?
True
Let i be (-6)/(-21) + 4960/(-14). Let r = 819 - 308. Let v = i + r. Is v prime?
True
Suppose 380 + 391 = b. Is b a prime number?
False
Let n be 6 - (5 - (4 - 1)). Suppose -3*i - i + r + 32