umber?
True
Is (-2 - -4)/2*449 a prime number?
True
Suppose -17*b = -15*b. Let c = -203 + 344. Suppose 5*w - c - 124 = b. Is w prime?
True
Let q be (-1252)/8 + 3/(-2). Is (-1)/1 - (-2 + q) prime?
False
Let p = 5803 - 3234. Is p composite?
True
Let d(v) be the first derivative of v**4/12 + v**3/3 - 2*v**2 - 3*v + 4. Let m(h) be the first derivative of d(h). Is m(-7) prime?
True
Suppose -2*w + 0*w = 5*z, -w + 1 = 2*z. Suppose -3*i = -w*t + 162 - 609, 0 = 4*t. Is i composite?
False
Let a(s) = 0*s**3 + 3*s - 3*s - 4 - s**3 - 5*s**2. Let m be a(-5). Is 1 + 8 + 2 + m prime?
True
Let i = -77 - -171. Suppose -2*l + 3*a + 92 = -l, -i = -l + a. Is l composite?
True
Let d = 308 + 947. Is d a composite number?
True
Suppose -2*m + 12 = -5*p - 13, 5*m - 37 = 4*p. Let k be (3 + p)/(-1*1). Let u(j) = j**2 + j + 22. Is u(k) a composite number?
True
Suppose 694 = 5*l - 3*l. Is l a composite number?
False
Let y be (-504)/(-15) + (-6)/10. Let j = 5 - 3. Suppose 5*z - 4*v - y = 38, j*z - 33 = -3*v. Is z a composite number?
True
Let r(f) = -f**2 + 13*f + 2*f**2 - 3*f + 11. Let s(b) = 4*b - 2. Let a be s(-2). Is r(a) a composite number?
False
Let f be 169 - (1/(-1) + 3). Suppose 0 = 5*y - f - 168. Is y a composite number?
False
Is 30/((-25)/(-5)) - 2 - -783 composite?
False
Let k = 171 + -270. Is (-1008)/(-22) + (-18)/k a composite number?
True
Suppose 2*n - 9 = -n. Suppose -3*t = -5*z + 185, -2*z + 36 = -n*t - 38. Is z + (1 + -2 - -1) prime?
True
Suppose 0 = -0*f + 5*f. Suppose g - 43 - 8 = f. Is g a composite number?
True
Suppose 0 = -3*y + 2*h + 659, -6*y + 3*h + 1100 = -y. Is y a prime number?
True
Let z = -7 + 4. Let i be -1 - z*1 - -20. Suppose 4*j - 3*k - 46 = 0, 4*j = 2*j + 2*k + i. Is j a prime number?
True
Is (-12)/42 + (-2529)/(-7) composite?
True
Let c be (40/(-25))/((-2)/5). Suppose 0 = -x + c*x - 285. Is x prime?
False
Let v(q) = 30*q + 1. Suppose 4*f + 2*h - 22 = 0, 4*f + 4*h = 3*f + 2. Let u be v(f). Suppose -4*d - g = -0*g - 136, 4*g = -5*d + u. Is d prime?
False
Suppose 8 = 3*s - 22. Suppose 0 = 2*v - 4*t - s, 2*t - 10 = 4*t. Is (-4 - (2 + v)) + 234 composite?
False
Suppose -2*a = -4*p - 36, -5*a = 3*p - 5*p - 106. Is a a prime number?
False
Let r(h) = 3*h**2 - 2*h - 2. Let g be r(3). Suppose -4*u + 75 = 5*d + g, -u - d = -14. Suppose u + 6 = 5*j. Is j a prime number?
False
Let l(v) = v. Let y be l(4). Suppose y*q - 3*u + 8*u = 343, -2*q + u + 175 = 0. Is q a prime number?
False
Suppose 0 = w + 3*a - 1589, 3*w - 4*a - a - 4767 = 0. Is w a prime number?
False
Let q = 149 - 23. Suppose q = g - 317. Is g prime?
True
Is (4 - 66/15) + (-64602)/(-30) composite?
False
Suppose 6*w = w + d - 138, -2*d = 2*w + 48. Let i = -8 - w. Is i prime?
True
Let o be (-9)/(-3) + 1 - 0. Suppose -o*d + d + 69 = 0. Is d a composite number?
False
Let g = 16 - 11. Suppose 0*j = -g*t + j + 256, t = 5*j + 56. Is t prime?
False
Suppose 16 = -s + 5*s. Suppose 0 = -v - 3*r - s, -3*v - 12 = 2*r + 3*r. Is (v + 2)*65/(-2) prime?
False
Is (-3)/((-36)/4755) - (-9)/12 composite?
False
Let n be (30/9)/((-4)/(-6)). Let h(z) = -z**3 + 4*z**2 + 6*z - 4. Let s be h(n). Is 3*(2 - s) - -80 a prime number?
True
Is (1 - 0)*((-2 - -1405) + -4) a composite number?
False
Let b(u) = -u**2 - u + 1. Let k(f) = -f**3 - 3*f**2 + 9*f - 10. Let o(n) = -2*b(n) - k(n). Is o(-6) a composite number?
True
Let t be 9*(44/6)/1. Suppose -a = 3*z + 2*a + 3, -12 = -4*z + 4*a. Is z/(t/(-69) + 1) prime?
True
Let s = -4 + 4. Suppose s = q + 32 + 20. Let w = -31 - q. Is w composite?
True
Let m = -199 + 118. Let j be 3*(0 + 1) - m. Suppose -j = -5*l + l. Is l prime?
False
Suppose 4*a - 5*a - 1082 = 0. Let l = a + 624. Let g = l - -723. Is g a prime number?
False
Let m be (1 - (-1)/(-2))*0. Suppose m = -3*i - 2*i. Suppose i*y - 3*y = -30. Is y a composite number?
True
Let u(l) = l**3 + 5*l**2 - 9*l - 4. Let c be 29 + (-4)/(2 + 0). Suppose -5*d - c - 3 = 0. Is u(d) a prime number?
False
Suppose -s = 2, -2*m + 5*s - 65 = -3*m. Let b = m - 8. Let a = b + -28. Is a prime?
False
Suppose 2*m + 264 = 6*m. Suppose -45 = -3*g + m. Is g a composite number?
False
Suppose 0*y = 2*y + 4*f - 630, -3*y - 4*f + 937 = 0. Is y prime?
True
Suppose -4 = 2*w - 12. Suppose -3*y = -2*j - 103, -5*y - 2*j = -w*j - 165. Is y composite?
False
Let z = -365 + 2254. Is z prime?
True
Let m = 64 - 28. Suppose -358 = -2*l - m. Is l prime?
False
Suppose -3*u - 5*l - 12 = 0, -2*u - 5*l - 2 = 6. Let j = u + 0. Is 1 + (j/(-2) - -30) a prime number?
False
Suppose 316 + 1139 = 5*b. Suppose -9 + b = 2*s. Is s composite?
True
Let m(a) = 3*a**2 + a + 8. Let q be m(-6). Is q*10/4 - 4 prime?
True
Suppose -5*y + 155 = -0*y. Suppose 0 = -2*g + g + y. Is g composite?
False
Let y = 0 + -9. Is (-1343)/y + (-10)/45 prime?
True
Suppose -v + 3*v + 2*d - 1566 = 0, -3*d = -v + 803. Suppose 0 = -x + 5*x - v. Suppose 4*b + 0*b - 3*s - x = 0, 4*s - 179 = -3*b. Is b a composite number?
False
Let i be -1*((2 - 2) + 1). Let v = i + 3. Suppose 17 = x - v*d, 0*x + 100 = 5*x + 5*d. Is x prime?
True
Suppose 0 = -5*x + 15, 5*j + 181 = 2*x + 35. Is 3/2*j/(-6) a prime number?
True
Let c = -35 - 8. Let z = c - -13. Is (-552)/z*(-10)/(-4) composite?
True
Let l(d) = 5*d + 16*d + 7*d. Let s be l(-1). Let m = s - -81. Is m prime?
True
Let j(a) = a**2 + 6*a - 6. Suppose 0 = -5*z + 15 - 45. Let r be j(z). Let i(g) = -g**2 - 11*g + 3. Is i(r) composite?
True
Is (3 - -1)*75536/64 composite?
False
Suppose 0 = 2*f - 7*f - 30. Let x(i) = 2*i**2 - 2*i + 5. Let j be x(f). Let d = j - 52. Is d prime?
True
Suppose 9*d = -5*f + 4*d + 640, -2*d = -2*f + 276. Is f a composite number?
True
Suppose -6*j + 4*j + 4 = 0. Let c be (-1)/(-1 - 0/j). Is ((-1)/(-3))/(c/69) a composite number?
False
Let a = -272 + 542. Suppose 5*g - 5*f = a, -3*g = g + f - 221. Is g a prime number?
False
Suppose 6*w + 67 = 7*w. Is w composite?
False
Suppose 148 = -2*f + 6*f. Is f prime?
True
Let x = -7 + 11. Let z(t) = -t**2 - 9*t - 6. Let f be z(-8). Suppose -5*d + 138 = -2*a, -x*d = -d - f*a - 86. Is d a prime number?
False
Suppose a - 762 = -2*a. Suppose 3*c = c + a. Is c composite?
False
Suppose -46*l + 95 = -41*l. Is l a prime number?
True
Let g(u) = u**2 + 1. Let k be g(1). Suppose 3*n - 2*y = 193, k*n = 3*y + 31 + 91. Is n prime?
True
Suppose 0 = -2*d + 6*d - 240. Let r be (-29 + 2)*13/(-3). Let i = r - d. Is i prime?
False
Let g = 214 - 48. Is g a prime number?
False
Suppose -4*n - 14 + 42 = 0. Let a(g) = -5*g**3 + 8*g**2 - 10*g + 17. Let w(u) = -3*u**3 + 4*u**2 - 5*u + 9. Let z(v) = n*w(v) - 4*a(v). Is z(-6) prime?
True
Let p(m) = 6*m**3 + 6*m**2 - 9*m + 10. Is p(5) a prime number?
False
Suppose 3*w = -2*w + 5*r, 3*w - 8 = -r. Let v(d) = d**2 - 2*d + 2. Let h be v(w). Is h + -1 + -1 + 265 a composite number?
True
Let o = -631 - -966. Is o prime?
False
Suppose -5 + 1 = -2*u. Suppose 0 = -u*k - 93 + 311. Is k composite?
False
Suppose -3*t = 3*n + 3 - 6, 0 = -n + 1. Suppose 3*j = 2*i - 0*i + 3, t = 5*j - i - 5. Is (268/16)/(j/4) prime?
True
Let k = 14 - 7. Let n = -10 + k. Is 21/n*-1*1 a prime number?
True
Suppose 2*o - 7*o + 198 = 2*b, 0 = -b + 4. Is o composite?
True
Suppose -p + 3*p = 5*m + 29, -4*p + 25 = m. Is p a prime number?
True
Suppose 0 = -i + 6*i + 4*n - 17, -5*i = 3*n - 14. Suppose 3 = 2*c - i. Suppose -2*x - 5*k + 23 = -19, c*k - 63 = -5*x. Is x a prime number?
True
Suppose 0 = v + 3*q + 3 + 2, -5*q - 11 = v. Let k be 1*-12*(-3)/12. Is 390/v + k/(-6) prime?
True
Let v = 3 + -1. Suppose -3*g + 0*f = 2*f - 423, -5*f - 282 = -v*g. Suppose -g = 5*i - 8*i. Is i prime?
True
Let a be (-4)/(-14) + (-198)/(-42). Suppose -h + 5*v = -a*h + 80, -3*h + 79 = -v. Is h prime?
False
Suppose -l = 4, -5*y = -2*l - 5 + 2. Let h(m) = -3*m + 2*m + 2*m + 1 - 32*m**3 - 21*m**3. Is h(y) a composite number?
False
Suppose 5*s = 7*s + 2*v + 72, -2*s - 4*v - 68 = 0. Let j be (2 + -87)*(0 + -1). Let b = s + j. Is b prime?
True
Suppose 5*q - 3302 = 3*q. Is q a prime number?
False
Suppose -4*o + 1920 = -2*i, 5*o - 3*i = -0*i + 2402. Let u = 917 - o. Is u a prime number?
True
Let n = 78 - 49. Let z = n + -16. Is z a prime number?
True
Let k(x) = -36*x + 38. Is k(-6) a prime number?
False
Let d be (-10)/4*48/(-40). Suppose -14 = -d*n - 2*r - 0*r, 4*n = 4*r + 12. Let m(g) = 3*g**2 + 2*g + 3. Is m(n) prime?
True
Let u(z) = 19*z**2 + 2*z + 1. 