
True
Suppose 0 = -5*g + 3*v + 3493, -4*v + 1659 = 4*g - 1161. Is g prime?
True
Let b be 2*(3 - (-12)/(-8)). Suppose l = 5 + 5. Suppose p = b*a - 11 - l, -2*a = -p - 14. Is a a prime number?
True
Suppose -x + 3*s = -190, -2*s - 3*s - 753 = -4*x. Is x prime?
False
Let n(t) = -2*t - 1. Let c be n(-5). Is c/(-15) - 1058/(-5) prime?
True
Is (4 - 5)/(2/(-194)) composite?
False
Let h be 2 + 0 - (-2 + 2). Suppose x - 2*x + 3*t = -14, -2*x = -3*t - 16. Is (1/h)/(x/124) composite?
False
Let i(u) = 2*u - 1. Let f be i(-1). Let w(r) = 6*r**2 - 1. Is w(f) a prime number?
True
Let d = 17 - 12. Suppose 0 = -d*u + 4*u + 769. Is u composite?
False
Is 4 - (3054/4)/(6/(-12)) a prime number?
True
Is 2668/6 - (-2)/6 composite?
True
Suppose -5*z + 19 = -4*z. Let o = z - -18. Suppose -4*d + 4*s = s - 88, -d - 3*s = -o. Is d a prime number?
False
Let z = 12 - 12. Suppose -m + 1896 = 3*n, z = -5*n + 3*m + m + 3143. Is n a composite number?
False
Let o = 501 + -278. Is o prime?
True
Let g = -55 + 108. Is g a prime number?
True
Let b = -5 - -5. Is (b + 139)*(-6 + 7) a prime number?
True
Let v(p) = -p**3 - 4*p**2 + 2. Let j be v(-4). Let h(q) = -3*q + q**j + 4*q + q**2 - 2. Is h(-4) a prime number?
False
Let g(f) = -f**3 - 5*f**2 + 5*f - 6. Let n be g(-6). Let x be (-2 - 1 - -1) + 106. Suppose n = 4*z - x. Is z a composite number?
True
Let v = 1 + 3. Is (-22)/v*(-6 + 0) prime?
False
Suppose 2*w = -1 - 13. Let k(i) = i**2 + 5*i - 2. Let p be k(w). Let z = p + -5. Is z a composite number?
False
Let i = 248 - 86. Suppose 0 = 3*l - 2*q - 1253, -3*l - i + 1427 = 4*q. Is l composite?
False
Let p(r) = 491*r**2 + r + 3. Is p(2) prime?
False
Let j be ((-1)/(-3))/(6/36). Let i(c) = 41*c**2 - c + 1. Is i(j) a composite number?
False
Let x(u) = -52*u - 17. Is x(-4) prime?
True
Let i be 18 + (0 - 1 - 0). Let u(c) = -c**2 + 7. Let f be u(0). Let y = i - f. Is y a prime number?
False
Let m be ((-18)/(-27))/((-1)/15). Is ((-165)/m)/(2/4) a composite number?
True
Suppose 2*i - 326 = 3*h, 3*h + 5*i + 485 = 166. Let u = h - -235. Is u prime?
True
Let s(r) = 88*r + 2. Let l be s(2). Suppose 3*z - 4*g = z + l, 5*z - 4*g = 463. Is z a prime number?
False
Let a(h) be the third derivative of h**4/4 - 11*h**3/6 - h**2. Let g(r) = -r**2 + 9*r. Let d be g(8). Is a(d) a prime number?
True
Suppose -w = -2*w + 5. Suppose -w*g - 3 = -3*c + 305, -575 = -5*c - 4*g. Is c a prime number?
False
Suppose 4*u + 6*k - k = 864, 2*u - 450 = 2*k. Is u a prime number?
False
Let l(f) = -36*f**3 + 2*f**2 + f. Is l(-1) composite?
False
Let c be 0*1/(-2) + 2. Let y = 2 + c. Suppose 0 = y*a - 19 - 5. Is a composite?
True
Suppose -10*j + 7*j + 447 = 0. Is j a prime number?
True
Suppose -4*k = 2*s - 0*s - 12, 3*s + k - 38 = 0. Let h = s + 1. Is h composite?
True
Suppose -3 = -3*h + 2*h. Suppose -h*c = -g - 10, 3*g - c - 3*c + 10 = 0. Is g + -1 + 1 + 17 a prime number?
True
Is 357*1/3*1 prime?
False
Let s(u) be the second derivative of u**4/4 + u**3/3 + u**2 - u. Is s(3) composite?
True
Suppose 0*w = 3*w - 9. Suppose f - 32 = -w*f. Let q = 19 - f. Is q a composite number?
False
Suppose 0*y + 28 = -2*y. Let s be (-447)/5 + y/(-35). Let u = s + 216. Is u prime?
True
Let u = 262 - 135. Let s = 331 + -121. Let b = s - u. Is b a composite number?
False
Let p(c) = 139*c**3 + c. Let w be p(1). Suppose 5*z - 3*a = 153, 2*a - 33 = -5*z + w. Is z prime?
False
Suppose -t + 1 = -1. Suppose t*l = -0*l + 90. Suppose -3*o = 2*o - l. Is o a prime number?
False
Let n(j) = 77*j - 1. Suppose -15 = -8*u + 3*u. Let r be n(u). Let x = 351 - r. Is x a composite number?
True
Let b = 0 - 2. Suppose 0 = 4*h - 3*d + 11, -3*h + d - 3 = 9. Let s = b - h. Is s a prime number?
True
Let z = 317 + -166. Let a = z - -40. Is a composite?
False
Suppose 5*n + d = 79, -2*n - 2*d + 39 = 1. Suppose j + 2*u = -3*j + 8, -3*j + 3*u = -n. Is 4/12 - (-62)/j a composite number?
True
Let k = -632 + 1363. Is k prime?
False
Suppose 0 = -0*z + z - 85. Is z a prime number?
False
Suppose 11*w - 10*w - 344 = 0. Let j = w - -145. Is j a composite number?
True
Suppose -586 = -r - r. Is r composite?
False
Let h(y) = -y**3 - 14*y**2 - 14*y - 17. Is h(-14) a composite number?
False
Let u(y) = 13*y**2 + y + 7. Is u(6) composite?
True
Suppose -n + 3072 = 3*n. Suppose t + 224 = 3*h - n, -4*h + 3*t = -1331. Is h a composite number?
True
Suppose 0 = -6*v + 86 + 892. Is v a prime number?
True
Let g be ((-84)/10)/((-6)/20). Is 34/4*g/2 a prime number?
False
Let k be 1*4/((-8)/(-10)). Let s = -575 - -822. Suppose s = k*l + 12. Is l a prime number?
True
Let i = -1 - -4. Suppose -i*u = -u - 230. Is u a prime number?
False
Let m(u) = -2*u**2 - 2*u - 26*u**3 + 3*u**2 - 2 + 4*u + 3. Is m(-1) composite?
True
Suppose -8*p - 551 = -2447. Is p composite?
True
Let t(s) = -s**2 + 7*s + 3. Let c(g) = g**2 + 1. Let a be 4/((-6)/(-9)*-3). Let r be c(a). Is t(r) prime?
True
Suppose -32 = 2*w + 58. Let r = w - -98. Is r composite?
False
Let q be (12/(-5))/((-4)/(-130)). Let k be (-1)/(q/(-79) - 1). Suppose 0 = 3*w, 2*v - k = v - 4*w. Is v composite?
False
Is -1 - 14/(-10) - 3915/(-25) prime?
True
Suppose -f + 2306 = 3*p, -3*p + 6*p + 3*f - 2304 = 0. Is p a prime number?
True
Suppose -11 = -v - 3*w, 2*w + 2 = -2*v + 12. Let m(b) = -4*b**2 + 3*b**2 - 16*b + 4*b + 0*b**v. Is m(-5) a prime number?
False
Let o(i) = i**3 + i**2 + i - 1. Let u be o(0). Let d = -2 + u. Is d/(-6) + 43/2 composite?
True
Let d(g) = 35*g**2 - g + 1. Is d(1) composite?
True
Suppose -2*y + 120 = 3*y. Suppose 5*p + 2*b + 2*b - y = 0, 0 = -4*p + 2*b + 14. Suppose p*h - 192 = -44. Is h prime?
True
Suppose 2*j = 3*j. Suppose j = -3*g + 2*k + 15, 2*k - 42 + 17 = -5*g. Suppose -5*x + 50 = g*q, -q + 2 + 8 = 5*x. Is q composite?
True
Suppose 4*h = 110 + 114. Suppose -m - 122 - 16 = -3*p, -5*m = 2*p + 690. Is m/(-4)*h/12 composite?
True
Let p be 4/(-6) - (-264)/18. Suppose 6 = 5*g - p. Suppose g*h - 344 = -124. Is h a prime number?
False
Let y be (4/3)/(1/3). Suppose n = y*n - 171. Let w = n - 20. Is w composite?
False
Let o = 6619 + -3266. Is o prime?
False
Let y be 6 - (0 - (-3)/3). Let n(v) = -57*v - 4. Let z be n(-8). Is (-18)/(-30) + z/y composite?
True
Let r = -4 - -9. Let j(y) = 7 + y + 5*y - 3*y + r*y. Is j(5) prime?
True
Suppose 5007 = 8*w - 569. Is w prime?
False
Suppose 3*t - 673 = -4*l, 0*t + 1112 = 5*t - 3*l. Is t composite?
False
Let f(d) = 2*d + 19. Let x be (-1)/((-2 - 1)/(-9)). Let m(z) = -z - 6. Let u(r) = x*f(r) - 8*m(r). Is u(8) composite?
False
Let k(u) = -u**2 - 6*u + 9. Suppose 0 = -2*n - z - 9, 6*n - 2*n = 2*z - 38. Is k(n) composite?
False
Suppose -j + 523 = 2*r, 5*r - 1631 = 4*j - 304. Is r a composite number?
False
Let n(a) = -55*a + 24. Is n(-11) composite?
True
Suppose -5 = -2*c - 2*c + 5*a, 5*c - a - 1 = 0. Suppose -m = 3*m - 12, c = 4*p - m - 233. Is p a composite number?
False
Let j(o) = o**3 + 7*o**2 + o + 9. Let a be j(-7). Suppose a*z - 2*p = 2*p + 38, -4*z + 82 = -2*p. Is z a composite number?
True
Suppose -5*j + 7 = -13. Suppose 5*f = j*f + 5. Let z = f + 38. Is z a prime number?
True
Is 5695/35 - (-4)/14 a composite number?
False
Let c(b) = 8*b - 3. Is c(2) a composite number?
False
Let m = 370 + -78. Is (m/(-8)*-14)/1 a composite number?
True
Suppose 1 = -j, 0*j - 223 = -3*m + j. Is m a composite number?
True
Suppose -w = -u - 0*w + 4, -u = 4*w + 16. Suppose u = 4*n - 2*m - 1038, 3*n = -m - 3*m + 773. Is n composite?
True
Suppose 5*v = t, 8*v = 4*v - 5*t. Let a(y) = y**3 - y + 91. Is a(v) prime?
False
Let s be 224/22 + 4/(-22). Let a be (-57)/(-2)*s/3. Suppose -4*q - 11 = -a. Is q prime?
False
Let a(s) = -5*s**2 + 11*s - 1. Let x(o) = 4*o**2 - 10*o + 1. Let y(g) = g - 12. Let w be y(6). Let v(i) = w*x(i) - 5*a(i). Is v(-7) prime?
True
Suppose -5*d + 15 = 0, -d + 3 = 5*j - 0. Suppose j = -n + 3*u + 43, -5*u = n + 14 - 57. Is n a composite number?
False
Suppose -3*u + 602 = -328. Suppose 955 = 5*c - u. Is c composite?
True
Let y(j) = -14*j**3 + j**2 - 2*j + 4. Let c be y(-5). Suppose 0 = -h - 5*g + 1791, -h + g - 5*g = -c. Suppose 726 - h = -5*u. Is u composite?
False
Let v be (-20)/(-6)*(-18)/(-12). Suppose -y + 33 = v*b, -4*y = -4*b + 2 + 34. Let c = b - -14. Is c prime?
False
Suppose 3*v = 2*l - l - 285, 2*l - 3*v - 576 = 0. Is l a prime number?
False
Let h = 1 - -4. Suppose -h*u + 6 = -4. Suppos