-30 - o/(-1) a composite number?
True
Suppose 0 = -2*f - 0*i + i, 0 = 3*f - 4*i + 10. Let z(n) = 16*n**2 + 3*n - 3. Is z(f) prime?
True
Is (-17)/(2 + 264/(-87) + 1) a prime number?
False
Let w = -44 - -63. Is w prime?
True
Suppose 503 = -5*t - 17. Let u = 253 + t. Is u a composite number?
False
Suppose 20*z - 6285 = 15*z. Is z composite?
True
Let c = 16 - -135. Let b = 242 - c. Is b a composite number?
True
Suppose -a + 21 = -9. Suppose 163 = 5*o - 337. Suppose -2*g + a = -o. Is g a composite number?
True
Suppose -6*m + m + r + 2409 = 0, 4*m - 1912 = -3*r. Is m prime?
False
Let f(z) = -z**2 + 12*z + 2. Is f(7) a prime number?
True
Let k(j) = j**2 - j + 2. Let o be k(2). Suppose h - 1 = 1, o*f - 1918 = -3*h. Suppose 4*c + 3*z - f = 0, -2*z + 595 = 5*c + 3*z. Is c a composite number?
True
Let c(h) = 90*h - 23. Is c(2) prime?
True
Let s(r) = r**2 - 2*r - 3. Let v be s(3). Suppose 0*l + 2*l = v. Suppose -3*i - 5*n + 57 = l, 2*n = 5*n. Is i prime?
True
Let n(i) = -i**3 + 10*i**2 + 6*i - 9. Is n(10) a prime number?
False
Suppose -o + 2 = -0. Suppose -o*w = w + 6. Is -1 + (2 - -26) + w a prime number?
False
Let g(x) = 0*x + 10*x - 2 + 2*x. Let m be g(5). Let z = m + -15. Is z composite?
False
Suppose 3*p - 4 + 10 = 0. Is 16 + -16 + (-322)/p composite?
True
Let p(x) = -x - 2. Let b be p(-5). Suppose 0 = -3*a - 6 - 6, -289 = -3*v + a. Suppose 4*h - v + b = 0. Is h prime?
True
Suppose 2810 = 4*m + 2*c, -5*c - 3520 = -6*m + m. Is m a prime number?
False
Suppose 3*p - 1958 = -5*x, p + 4*p - 3258 = -3*x. Suppose -3*q + 3*y = -y - 485, -4*q = -y - p. Is q a composite number?
False
Let u(a) = a**3 + 14*a**2 - a + 4. Is u(-6) a composite number?
True
Let l = 43 + 15. Let f = -19 + l. Is f prime?
False
Let h = 368 - 173. Suppose 0 = -3*q + 12 + h. Is q composite?
True
Suppose 0 = 5*i - 6 - 14. Let n(r) = 3*r - 2. Is n(i) a composite number?
True
Suppose 0*y + 5*m = 2*y + 3, -4*y - 1 = -5*m. Is 374/(-2)*(y + -2) a prime number?
False
Suppose 4*v - 4*g - 1371 = -g, 2*v + 4*g - 658 = 0. Is v prime?
False
Is (-4)/6*1137/(-2) a composite number?
False
Let y(w) = 2*w**2 + 10*w - 13. Suppose -25 = -c - 4*n, -2*c = n - 21 + 6. Suppose 0 = c*o - o + 40. Is y(o) a prime number?
False
Suppose -2 = -f + 3. Is ((-11)/4)/(f/(-1060)) composite?
True
Is ((-3)/6)/((-4)/1528) a prime number?
True
Let q be 3/(-1 + 5/4). Suppose t + q = 2*x, x = -t - 0*t. Suppose -p - 5*y - 252 = -x*p, -4*y + 12 = 0. Is p prime?
True
Suppose 0*y = 3*y + t - 2, -5*t = -5*y + 30. Let f be y + (1 - -1) + -3. Is 3*(6 - -2) - f a prime number?
True
Let n = -119 + 170. Suppose x - n = 2*j, 5*x - 3*j - 263 = -j. Is x a prime number?
True
Is (32/(-30))/(-8) - 41799/(-45) a composite number?
False
Let j be (-936)/16*-4*4. Is j/16 + (-1)/(-2) a composite number?
False
Let r be (-24*16/12)/(-1). Suppose -4*u - 88 = -4*h, 2*u + h = -0*h - 41. Let a = u + r. Is a a composite number?
False
Suppose -318 = -7*x + 88. Is x a composite number?
True
Let l(w) = w + 8. Let s be l(-7). Let k = s - -1. Suppose -k*i + 238 = -0*i. Is i a composite number?
True
Suppose 0 = w + 2*w + 3*d - 102, 0 = 3*w - d - 90. Let k = 5 - w. Let s = 51 + k. Is s a prime number?
False
Let j be 1 - 4 - (1 - -64). Let m = 99 + j. Is m a prime number?
True
Let s(a) = -a**3 - 6*a**2 + 4*a + 2. Let m be s(-5). Let q = m + 86. Is q a composite number?
False
Suppose 5*j = -o + 39, 2*o + j = 4*j + 143. Let k(v) = -20*v + 2. Let u be k(2). Let z = u + o. Is z a composite number?
True
Let a = -110 - -165. Is a a composite number?
True
Suppose -5*p = 4*h - 2027, 9*p - 4*p = 4*h + 2043. Is p prime?
False
Let i be 34/10 - 4/10. Let k(p) = p**2 + p. Let t(z) = z**3 - z**2 + 6*z - 2. Let j(r) = -2*k(r) + t(r). Is j(i) prime?
False
Let i be (-1)/(-2) + (-6)/(-12). Let j(c) = 1. Let l(n) = -n**3 - 7*n**2 + 13*n - 2. Let v(p) = i*l(p) + 6*j(p). Is v(-9) a prime number?
False
Let x be -2 - ((1 - 1) + 48). Suppose 2*i - a = 3*a - 140, -i - 77 = 5*a. Let j = x - i. Is j prime?
False
Let n = 1933 - 734. Suppose -3*b + 1373 = -2*l, -l + 1838 = b + 3*b. Suppose 4*p = -b + n. Is p a prime number?
False
Suppose -2 = -4*r + 3*r. Suppose 2*j - 6*i = -2*i - 46, r*j - i = -49. Let b = -11 - j. Is b a composite number?
True
Suppose 2*s + 23 = 6*s - v, 3*s - 26 = -v. Let r = s + -3. Suppose 3*t + 3*p = 63, 139 = 3*t - r*p + 41. Is t a prime number?
False
Suppose o - 81 = -3*m, 4*o - 2*m = 3*m + 358. Is o a prime number?
False
Let y(r) = -r + 6 - r + 88*r**2 - 5. Is y(1) a composite number?
True
Let o(p) = 2*p - 3 - 1 + 2*p + 0*p + 2*p**2. Let j be o(-4). Is 2/8 - (-1377)/j prime?
False
Let m = 5 - 5. Let n(s) = -s**3 - s**2 - s + 2. Let q be n(m). Suppose q*t = t + 143. Is t prime?
False
Let a = 518 + 3. Is a composite?
False
Let b = -18 + 6. Let x = b + 18. Suppose -v + x = -9. Is v a composite number?
True
Let t(s) be the first derivative of 3*s + 4 + 7/2*s**2. Is t(4) a composite number?
False
Let d = 10262 + -7107. Is d composite?
True
Let q(l) = l**3 + 4*l**2 - 6*l - 5. Let z be q(-5). Is (z + 2)*106/4 a prime number?
True
Let l be (2 - 0)*(-28)/(-8). Let v = 1 + l. Is (156/v)/((-3)/(-4)) a prime number?
False
Let m(g) be the third derivative of g**4/24 - 2*g**2. Let i be m(7). Let l(z) = 2*z - 3. Is l(i) a composite number?
False
Let u = 3558 - 2047. Is u composite?
False
Suppose 23975 = 5*r - 13200. Is r composite?
True
Let j = 48 + -88. Let d = -25 - j. Is d a composite number?
True
Let b be 12/(-8)*32/(-12). Suppose -b*a = 94 - 470. Is a a composite number?
True
Let w = 2114 - 1033. Is w composite?
True
Is 80 + 1 - 2/1 a composite number?
False
Let t = -329 + 478. Is t composite?
False
Let i = -78 + 167. Is i prime?
True
Let r(l) = 10*l**2 - 11*l - 15. Is r(12) prime?
False
Let k = 15 - -1. Is (1 - k)/(-1 - 0) a prime number?
False
Let c be 40/(-1) + -6 + 4. Let j = 109 + c. Is j a composite number?
False
Let t = -209 - -112. Is (-4)/((-8)/t)*-2 prime?
True
Suppose -27 = 3*d + 5*f, 2 = d - 4*f + 2*f. Let v be (2 - (-2 - d))/(-1). Suppose -2*h + 112 - 18 = v. Is h a prime number?
True
Let i = 29 + -16. Is i prime?
True
Let x(r) = r + 13. Let k be x(-7). Suppose 0 = 9*y - 7*y - k. Suppose -4*t - y*p = -96 - 11, -5*t + 5*p = -90. Is t a prime number?
True
Let r = -210 - -87. Let w = -10 - r. Is w prime?
True
Let p(t) = 20*t**2 - t - 4. Let d(u) = u**2 - 1. Let m(b) = -4*d(b) + p(b). Suppose 2*y - 6*y = 5*k - 21, -4*k + y = 0. Is m(k) a composite number?
True
Let g be (-53)/(-11) - (-22)/121. Suppose g*v = -2*s + 109, 2*s - 5*v + 62 = 3*s. Is s composite?
False
Let t be (-2)/2 + 4 - -1. Suppose 0*c - 644 = -t*c. Is c composite?
True
Suppose 0 = 4*i - 0*i + 12. Let k be (-132)/i - (-1 + 3). Suppose -3*v - 66 = -3*w - 12, 4*w + 2*v - k = 0. Is w prime?
True
Suppose w - 2451 = 3*f, -2*f - 7385 = -3*w - f. Suppose -3*n + w + 3078 = 0. Is n a prime number?
True
Let r = 4 + -8. Let b(u) be the second derivative of -u**5/20 - u**4/12 + 5*u**3/6 - u**2 + u. Is b(r) prime?
False
Let j be -1*0/4 + -113. Let w = 32 - j. Is w a prime number?
False
Let w = -30 + -113. Let b = w + 208. Is b a prime number?
False
Let c(x) = 279*x**2 - 9*x - 5. Is c(-3) prime?
False
Let t(j) = 6*j - 1. Let d be t(1). Suppose d*q = f + 27, -f + 2*q = 19 + 8. Let u = f - -62. Is u a composite number?
True
Let p(k) = 5*k**2 - 7*k - 3. Suppose -19 - 17 = -3*u. Suppose -2*h - u = -2. Is p(h) a prime number?
True
Let i(b) be the first derivative of b**3 + b**2 - 6*b + 3. Let d be i(6). Suppose 0 = -4*x + 2*a + 510, x + 2*a - 11 = d. Is x prime?
True
Let l(o) = o**2 + 5*o - 4*o + 4*o. Let y be l(-5). Suppose 3*i - 5*i + 116 = y. Is i composite?
True
Suppose -3*h - 3663 = -12*h. Is h a prime number?
False
Let p(y) = 2*y**2 - 5*y + 1. Is p(6) a composite number?
False
Let c(l) = 10*l**2 - 4*l - 13. Is c(7) prime?
True
Suppose -4*f - f + 760 = -5*v, 5*v + 15 = 0. Is f composite?
False
Suppose -4*o + 0*o + 1308 = 0. Suppose 2*t = 143 + o. Suppose -47 = 4*z - t. Is z a composite number?
False
Let d(x) = 4706*x**2 - 3*x. Is d(1) a composite number?
False
Suppose 75 = 4*o - 29. Is o prime?
False
Suppose -7 = 4*d + 9. Is (-77)/d + (-6)/24 a composite number?
False
Let o = -77 + 128. Is o prime?
False
Let a be 34*2 - 0/(-2). Suppose 2*h - a = 4*x - 5*x, -2*h + 3*x = -76. Is h composite?
True
Suppose 0 = 8*c 