
Let p be (2/(-4))/((-1)/518). Let d be 3 - 0 - (-2 - p). Suppose -4*o + d = -i, 2*o + i - 6*i - 114 = 0. Is o prime?
True
Let x(f) = f**2 - 2 - 3*f + f**3 + 0*f**3 + 2*f**2 - f**2. Let i be x(-3). Let v = i + 16. Is v a composite number?
True
Let z be -20*1 + (-3 - 0). Let c = z - -90. Is c a composite number?
False
Let j = 628 - 272. Suppose -5*f + 9*f - j = 0. Is f prime?
True
Suppose 0 = 8*a - 6*a - 538. Is a composite?
False
Suppose -3*x + 2*p = -2133 - 26462, -2*x + 19062 = -2*p. Is x a composite number?
False
Suppose 0 = 3*g + 36 + 33. Let d = 9 + -10. Is g/d + (1 - -1) prime?
False
Suppose c = 6*c + 15. Suppose -2*t = -8*t. Is t - 6/c - -1 prime?
True
Is -29*(-1 + 1 + -3) composite?
True
Let y(v) = 28*v - 3. Let d be y(3). Let k = d - -4. Is k a composite number?
True
Let p(s) = s**3 + 5*s**2 + 3*s - 4. Let o be p(-3). Let u = 9 - o. Suppose -c + 3 = -3*l, l - u = -0. Is c a composite number?
True
Let l be (-1)/(-2) + 1/2. Is -24*l/(-1) - 3 a composite number?
True
Let n = -3 - -4. Let m = n - 2. Is 11/(0 - 0 - m) prime?
True
Let i(g) = g**2 - g + 2. Let d(o) = -o**3 - 5*o**2 + 5*o - 1. Let a be d(-6). Is i(a) prime?
False
Let u(n) = 6*n**2 + 17*n + 8. Is u(19) composite?
True
Let t = -1 - 8. Let w = -3 + 8. Let o = w - t. Is o a composite number?
True
Suppose 0 = -0*k + 2*k - 446. Is k composite?
False
Let b = 341 + -233. Suppose 4*z + b = 328. Is z composite?
True
Let k = -5 + -6. Let l = k - -20. Is l prime?
False
Suppose -25 = -p - 4*x, 3*p = -0*x - x + 20. Suppose p*j - 27 = 48. Is j composite?
True
Suppose 0 = 5*m - 4*u - 36166, -2 = -3*u + u. Is m composite?
True
Let h = -2 + 4. Suppose -196 = -4*x + 5*d, -h*x + x - d + 49 = 0. Is x a composite number?
True
Let l(z) = z**2 + 7*z + 1. Is l(6) composite?
False
Let t be (-4984)/(-8) + 1 + -3. Suppose 0 = 2*i - t + 35. Is i a prime number?
True
Let u = 309 + -70. Is u a composite number?
False
Let c be 0/(-1 - 2 - -1). Let i be ((-4)/(-10))/(2/1070). Suppose c = u + 87 - i. Is u a composite number?
False
Suppose -12*f + 10 = -7*f. Is f*(-7)/2*-23 prime?
False
Suppose 0 = 3*h + 4*j - 29, 4 = -5*h + 2*j + 9. Suppose -3*d = -5*d + h*r + 32, -4*d + 2*r + 56 = 0. Is d composite?
False
Let r be (1/2)/(4/(-136)). Let i = -10 - r. Is i prime?
True
Suppose 0 = -2*c + 2 + 2. Suppose 0*h - 4*h + 2*k + 364 = 0, -4*h - c*k = -348. Is h a composite number?
False
Suppose -4*c + 59 + 377 = 0. Is c a prime number?
True
Let r(c) = 7*c + 1 + 30*c**2 - c - 6*c**2 - 4*c. Is r(-2) a composite number?
True
Suppose u = -1 + 3. Suppose -2*l + 2*y + u*y = -430, -l + 4*y = -219. Is l a prime number?
True
Let b be (-6)/9 - (-16)/6. Suppose -5*n + b = -18. Suppose -3*l = n*o - 0*o - 484, 0 = 2*l. Is o composite?
True
Let h(g) = -g. Let r(p) = -9. Let z(o) = -h(o) - r(o). Let n be z(-9). Is (n + 1 + 0)*31 a composite number?
False
Let v(m) = 3*m**2 + m - 12. Let w be v(5). Let l be (-1)/(-2) - (-71)/(-2). Let g = l + w. Is g composite?
True
Let s(a) = 2*a**3 + 1. Let i be s(1). Suppose i*k = 4*k - 95. Is k prime?
False
Suppose 3*a + 240 = 1989. Is a a composite number?
True
Let r = 1 - -194. Suppose 0 = 3*h + 2*h + r. Let x = h - -97. Is x a composite number?
True
Let t(k) = k**3 + k**2 - k + 12. Let d be t(0). Suppose 4*h + 8 = -8, 4*z = 3*h + 408. Let i = z - d. Is i a prime number?
False
Let k = -71 + 145. Is k a prime number?
False
Let l(d) = -2*d**3 - 2*d**2 + d - 2. Let z be l(-2). Is 190 - 1/(z/12) prime?
False
Suppose 0 = -8*y + 2234 + 9582. Is y prime?
False
Suppose 0 = 3*f - 0*f - 1773. Suppose 0 = 5*r - 464 - f. Is r a prime number?
True
Let l(k) = -k**2 - 9*k - 5. Suppose -z - 4*a + 11 = 0, -4*a - 41 = -3*z - 8*a. Let d be 6/z + (-32)/5. Is l(d) prime?
True
Let p(i) be the first derivative of 8*i**3/3 + 5*i**2/2 + 5*i + 2. Is p(-4) a composite number?
False
Let k(g) = 131*g**2 + 4*g + 10. Is k(-3) prime?
False
Let g(i) = i**3 - 6*i**2 + 7*i + 4. Let p be g(6). Is p/6 - (-6)/(-9) prime?
True
Suppose 0 = -0*v - v + 105. Suppose -3*d = 2*d - v. Is d a composite number?
True
Is (-2416)/(-5) + 4 + (-2)/10 prime?
True
Let b(w) = w - 8. Let r be b(8). Suppose r*t + 5*g - 87 = -t, 2*t - 4*g - 118 = 0. Is t a prime number?
True
Let h be 12/2*10/5. Let p = 33 + -23. Suppose 2*s - p = h. Is s a prime number?
True
Let n(w) be the third derivative of 0*w - 1/6*w**3 + w**2 + 9/8*w**4 + 0. Is n(2) a prime number?
True
Let r(p) = 21*p + 10. Let m be r(-4). Is (m/4)/(1/(-14)) a composite number?
True
Let f(j) = j**2 - 5*j + 5. Let k be f(4). Let v be 2/4 - k/2. Is (-69)/(1 + (-2 - v)) a prime number?
False
Let d(l) = l**2 - 4*l + 2. Is d(6) prime?
False
Let v = -1 + 3. Suppose v*o = 18 + 18. Is (-3794)/(-18) - (-4)/o prime?
True
Suppose 5*i + 5*b - 180 = 0, -4*i + 2*b = 5*b - 142. Is i prime?
False
Let w be (3 - 5)*5/(-2). Suppose w*x + 12 = x. Is (-1)/x + (-145)/(-15) composite?
True
Let k(n) = 265*n**2. Is k(-1) a composite number?
True
Suppose 5*s - 918 = -133. Is s prime?
True
Let o(h) = -h - 4. Let w be o(-4). Suppose 3*t - 200 - 208 = 0. Suppose 4*v - t - 172 = w. Is v a prime number?
False
Suppose -68 = -3*u - 2*p, -5*u + 2*p = 5*p - 112. Suppose 3*l + 2*l = u, -3*d = -4*l - 20. Is -17*3/d*-8 prime?
False
Is (-541 + 20)/(0 + -1) prime?
True
Let n = 14 + 52. Suppose 2*d - 8 = n. Is d a composite number?
False
Let a be 8/(16/(-4)) + -1815. Let h = 2736 + a. Is h composite?
False
Let h = 1030 + -447. Is h a prime number?
False
Suppose 0*t - 4 = -t. Let c(w) = 5*w + 3. Is c(t) composite?
False
Let g = 5000 + -2983. Is g prime?
True
Suppose 0 = 15*v - 13*v - 1058. Is v prime?
False
Let m = -2 + 36. Suppose 76 = 5*z - m. Is z a composite number?
True
Let r(k) = k**3 + 10*k**2 - 6*k - 4. Let u be r(-7). Suppose -2*q - 3*q = -u. Is q a prime number?
True
Let u(o) = -2*o + 2*o - o**3 + 2*o**2 + 5*o + 4. Let p be (-3)/(-2)*(3 + -5). Is u(p) prime?
False
Is (-2284)/(-12) - (-6)/9 a composite number?
False
Let n be 0 + 611 + (2 - -1). Let b = -99 + n. Is b a composite number?
True
Let h be (-2 + 36/10)*75. Suppose -3*z - 7 = -x, x + 2*z = -4*x + h. Is x composite?
True
Suppose 0 = 2*q - q - 5. Let k = q + 27. Let h = 55 - k. Is h composite?
False
Suppose -8*h - 3913 = -11841. Is h prime?
True
Let b(s) = s + 9. Let r(x) = x**2 - x. Let f be r(1). Is b(f) a composite number?
True
Suppose -2*y = -0*y. Suppose -2*b + 7*b + 5*g - 360 = y, 0 = -5*b + 5*g + 310. Is b a composite number?
False
Suppose -2*d - d - 2*x = -182, 0 = 4*d - x - 261. Let b = 241 - d. Is b a prime number?
False
Suppose 2*f - 24 = -2*f. Let p(c) be the first derivative of 3*c**2/2 + 5*c + 1. Is p(f) a prime number?
True
Suppose 0*s + s - 2 = 0. Let p(h) = -2*h**3 - 6*h**3 + 1 - 3*h + 2*h**s + h**3. Is p(-3) prime?
False
Let f(b) = 6*b**2 - 1. Suppose 2*x + 34 = 5*d, 4*d + 0*d - 34 = 5*x. Is f(d) prime?
False
Let m(z) be the third derivative of 7*z**5/8 - z**4/24 + z**3/3 - 3*z**2. Let j(v) be the first derivative of m(v). Is j(2) a prime number?
False
Suppose 4*u - 286 = 46. Is u prime?
True
Suppose -133 + 633 = z. Suppose 1556 = -4*j + j - c, j + 5*c + z = 0. Is j/(-56) - 4/14 prime?
False
Suppose 5*q - 4*j - 1148 = 0, 0 = -3*j + 4 - 10. Suppose 0 = -2*h + 94 + q. Is h prime?
False
Let v = -6 - -10. Suppose 2*g = v*m - 18, g - 4 = -5. Is (m/8)/(2/596) a prime number?
True
Let u(t) = -2*t**3 + 2*t**2 - 3*t - 5. Let y(q) = 3*q**3 - 3*q**2 + 4*q + 6. Let r(a) = 4*u(a) + 3*y(a). Let v be r(2). Let j = 8 + v. Is j a composite number?
True
Suppose -5*o - 10 = -4*p - p, p - 2*o - 1 = 0. Suppose t - 629 = -p*w + 490, -3*t = -w + 373. Is w composite?
False
Suppose 0 = 5*f - f + 8. Let n(t) = -t**3 - 2*t**2 - 2*t - 3. Let s be n(f). Is 61 - -6 - 0/s a composite number?
False
Let o(b) = 130*b + 1. Is o(4) a prime number?
True
Let t(g) = 3*g**3 - 9*g**2 + 3*g - 17. Is t(8) a composite number?
False
Suppose 0 = 4*c + m - 15, c + 3*m + 8 = 20. Suppose c*r = -4*t + 570, 10 = 3*t + 1. Is (-2)/(-3)*r/4 prime?
True
Let p be 11/2 - 13/26. Suppose 0 = 2*d - r - 751, p*d + 3*r - 1104 = 2*d. Is d a prime number?
True
Let d = -406 - -593. Is d a composite number?
True
Suppose 4*y - 3451 = -t, 6*y - 4317 = y + 2*t. Is y prime?
True
Suppose -13*l = -4*l - 3573. Is l a composite number?
False
Suppose 10*w = 7*w - 18. Let f(m) = -5*m - 9. Is f(w) composite?
True
Let h = 274 + 