posite number?
True
Is (1 - 7)*-27 + 1 a prime number?
True
Is 735 - -13 - 2/(4/6) a composite number?
True
Suppose -4*d - 20 = 0, -o - 3*d - 21 = -2*o. Suppose 0 = g - q - 3 + 11, 0 = -g + 2*q - o. Is 4/g - 494/(-10) prime?
False
Is 326*(4*-1)/(-8) a prime number?
True
Is -4*((-8090)/8)/5 a prime number?
True
Let v = -1 + 27. Is v composite?
True
Suppose -k = 4*s + 286 - 1329, 0 = 3*k - 4*s - 3113. Is k composite?
False
Let c = 267 + 100. Is c a composite number?
False
Let d be (-32)/(-6)*12/8. Is (d/(-12))/(2/(-111)) prime?
True
Let j(a) = -3*a**3 + 3*a**2 - 7*a + 4. Let s(o) = -o**3 + 4*o**2 - 3. Let z be s(3). Let k be j(z). Is (-6)/(-9) - k/6 prime?
True
Let v(r) = 2*r**2 - 23*r + 5. Is v(16) a prime number?
True
Let o = 23 + -15. Let w be (-2344)/26 + o/52. Let q = -59 - w. Is q prime?
True
Let f(z) = 54*z - 3. Let j be f(2). Suppose 6*w - j = 3*w. Is w composite?
True
Let q(z) = -2*z - 1. Is q(-10) a composite number?
False
Let o(n) = -15*n**3 + 3*n**2 - 3*n + 4. Let p be o(-3). Suppose -2*j = 3*j - p. Is j a prime number?
True
Suppose -5*g + 69 = 24. Suppose 5*f = -5*o + 70, g*f = 3*o + 4*f - 34. Is o prime?
True
Let t(l) = 2*l**2 + 2*l + 2. Let w be ((-12)/20)/((-2)/(-10)). Is t(w) a composite number?
True
Suppose -64*w + 62*w + 12326 = 0. Is w composite?
False
Let o be 3 + -2 + 12/(-4). Is 448 + (0 - 1) + o a composite number?
True
Suppose 1689 = 41*j - 38*j. Is j composite?
False
Let t(i) = -2*i**3 + 8*i**2 - 10*i - 2. Let w(n) = 3*n**3 - 9*n**2 + 11*n + 1. Let d(j) = -6*t(j) - 5*w(j). Is d(-4) prime?
True
Let d = 10 + -7. Let p be 2*d/(-6)*-144. Suppose -4*v = 4*q - p, 3*q - 60 = -4*v + 53. Is q a composite number?
False
Suppose q = -2*q - 777. Let v = q + 429. Suppose -2*f + 0*f + v = 0. Is f prime?
False
Let r be 4/4*54/2. Let l = r + -6. Is l prime?
False
Suppose 0*k + 4*k - 16 = 0. Is (k/6)/(8/636) a prime number?
True
Suppose -5*o - 4*m + 9*m = -25, 0 = -4*o - 3*m - 1. Suppose -5*p + 77 = -0*n - o*n, 0 = -5*p - 5*n + 70. Suppose 4*c - p = 3*c. Is c prime?
False
Let u(d) be the second derivative of d**4/12 + 5*d**3/3 + 9*d**2/2 + 3*d. Let y be u(-9). Suppose 2*a + 4*q - 18 = y, -4*a - 3*q = 13 - 74. Is a a prime number?
True
Let s(j) = 3*j**2 + 11*j + 2. Let v be s(-8). Suppose -f + 23 = -2*l - 19, 3*f + 4*l = v. Is f a prime number?
False
Suppose 3*g - s + 1390 = 5476, -s - 5447 = -4*g. Is g a composite number?
False
Let l = -86 - 138. Let k = l + 409. Is k composite?
True
Let a(x) = 4*x**3 + 3*x**2 - 3*x - 1. Is a(4) prime?
False
Suppose z + 3 + 0 = 0, -m + z = -6. Suppose -3*x - 2*w + 8 = 0, -m*x = x + 4*w - 8. Suppose x*a - 5 = 7. Is a a prime number?
True
Let v(t) = -t**2 - t. Let o(b) = 4*b**2 + 3*b + 3. Let c(w) = -o(w) - 2*v(w). Let f(y) = y**2 - y. Let p(h) = -2*c(h) - 2*f(h). Is p(-4) a prime number?
False
Suppose 0 = 4*t + 2*p - 5598, -3*p = -5*t + 3015 + 3977. Is t composite?
False
Suppose -3*y - 292 = -730. Let u = 379 - y. Is u prime?
True
Suppose w = -0 + 2. Suppose -4 = w*g - 10. Suppose -4*k = 5*c - 25, 0 = -g*k - k - 4*c + 28. Is k composite?
True
Let a(o) be the first derivative of 3*o**4/2 - o**3/3 + o**2/2 + 2. Let v be a(1). Let g(n) = -n**2 + 9*n - 7. Is g(v) composite?
False
Let o(l) = 333*l + 20. Is o(7) a composite number?
False
Suppose 0 = 2*c + 4*t - 10, -3*c - 7*t + 2*t = -12. Let x be (0/(-1 + c))/(-2). Suppose x*p = -3*p + 267. Is p prime?
True
Let m be 14 - (-4)/8*0. Let y(g) = 13*g - 21. Is y(m) a composite number?
True
Suppose 0 = 2*d + d + 2*q - 4165, -5*d - 5*q + 6935 = 0. Is d a prime number?
False
Let h(i) = -2*i**2 + 19*i - 3. Is h(8) prime?
False
Suppose -2*p + 464 = -4*h, -2*h + 3*p + 48 = 272. Let o = 9 - h. Is o composite?
False
Let a = -1028 + 2569. Is a a composite number?
True
Is (-12 + 1)/(3/(-6)) prime?
False
Let g(p) = 2972*p**2 + p. Is g(1) a prime number?
False
Let b be 3 - 1 - 0/(-6). Is (-2)/((4/(-65))/b) a composite number?
True
Let j = -19 + 73. Let x = -23 + j. Is x a composite number?
False
Suppose 0 = 5*y - 12 + 2. Suppose 473 = y*u - 263. Let k = u + -133. Is k a prime number?
False
Let q be -483*(-2 + 20/12). Suppose -q = -18*f + 17*f. Is f a composite number?
True
Is (-3 + (-4 + 0)/(-2))*-263 a composite number?
False
Let y(g) = g + 2. Let f be y(0). Let u(z) = 27*z**2 - 1. Let a be u(f). Suppose 0 = -3*h - 5*l + 74, -4*h - 3*l + a = 2*l. Is h a prime number?
False
Suppose 0*i = -4*i + 8. Suppose -z = -0 - i. Suppose z*v - 65 = k, k + 6 - 3 = 0. Is v a prime number?
True
Is (84/(-56))/(3/(-2522)) composite?
True
Let h(j) = -4*j**3 - 21*j**2 + j - 7. Let y(o) = 2*o**3 + 10*o**2 + 3. Let w(g) = -2*h(g) - 5*y(g). Is w(-7) a composite number?
False
Suppose -4*c + c + 4*p + 3949 = 0, c = -5*p + 1310. Is c composite?
True
Let g(l) = 28*l**2 + l + 3. Let v be g(-4). Suppose o = 5*r - v, -3*o + 439 = r + 4*r. Is r a composite number?
False
Let j = -190 + 349. Suppose -6*a = -3*a - j. Is a composite?
False
Let v(m) = -m**3 + 6*m**2 + 7. Let g(k) = 2*k**3 - 7*k**2 - 8. Let u(z) = -6*g(z) - 7*v(z). Let w be u(-1). Is -2 + 2 + w + -1 a prime number?
True
Suppose -14*f = -5*f - 17037. Is f a prime number?
False
Let u(t) = 34*t + 2. Let f be u(-2). Let g be (-1)/4 - f/8. Suppose 10 + g = 2*m. Is m a composite number?
True
Let n(b) be the third derivative of -13*b**7/840 + b**6/720 + b**5/30 + 2*b**2. Let h(l) be the third derivative of n(l). Is h(-1) prime?
True
Let d(i) = 23*i + 3. Suppose -z = 2*z + 18. Let y be d(z). Let v = y - -194. Is v composite?
False
Is (0 - -306) + (-12)/(-12) a prime number?
True
Let z(s) be the second derivative of s**4/3 + 2*s**3/3 - s**2/2 + s. Let i = -11 + 15. Is z(i) a composite number?
False
Suppose -2*o + 138 = -56. Let i = o + -18. Is i a prime number?
True
Let s(i) = -i**2 + 5*i - 11. Let f be s(8). Let c be f/(-1 - (-30)/27). Let q = -220 - c. Is q a prime number?
False
Let d = 8 - -419. Is d a prime number?
False
Suppose 4*w = i - 4*i + 8, 2*i - 10 = 2*w. Is (w/(-3))/((-2)/(-1266)) composite?
False
Suppose 5*g = -2*k + 24, g + 3*k + 6 = 16. Is -2 - g/((-4)/57) a prime number?
False
Let r(w) = 3*w - 10 + 4*w + 3*w**2 + 1. Let o be 40/25*(-3 + -2). Is r(o) composite?
False
Let j(n) = -n + 2. Let k be j(2). Suppose 4*x + 4*a + k*a - 132 = 0, 0 = -3*x + 4*a + 92. Suppose -2*w + 1 + x = m, -w = -m + 30. Is m a prime number?
True
Let o = 405 - 24. Is o a composite number?
True
Let w be (-2)/3 - 24/(-9). Suppose 3*u + 2*o = 983, w*u + 3*o - 432 - 220 = 0. Is u composite?
True
Suppose -2*g - 102 + 416 = 0. Is g a prime number?
True
Let m = 20 + -17. Suppose 971 = m*l + 4*c, 0 = l + 2*l + 5*c - 967. Is l a prime number?
False
Suppose -3*r + 7*r - 5*i = 17, 5*r = -i + 14. Suppose 4*x = r*x + 217. Is x a prime number?
False
Let j = 214 - -87. Is j composite?
True
Let l(h) = 3*h + 1. Let s be l(1). Is 518/(-4)*s/(-2) prime?
False
Let j be (-2*53)/(-1)*1. Let r = 115 + -112. Suppose -r*h = 7 - j. Is h a prime number?
False
Suppose -2*z = -2*y - 4438, 0 = 3*y - 2*y - 2. Is z composite?
False
Let c(f) = -f**3 - f**2 + f + 5. Let p(g) = g + 10. Let y be p(-10). Let n be c(y). Suppose l - n*u - 42 = 0, -4*l - 4*u + 192 = -0*l. Is l a prime number?
True
Let f(u) = -22*u**3 - u**2 - 2*u - 1. Let h = 6 + -7. Is f(h) a composite number?
True
Suppose -v - 4*d - 186 = -0*v, 3*v - 4*d + 574 = 0. Let a = v - -381. Is a a prime number?
True
Suppose 21 - 131 = -5*u. Suppose -2*l = 2*c + l - 15, 0 = -c - l + 10. Let s = u - c. Is s a composite number?
False
Let j(n) be the third derivative of -2*n**2 + 15/8*n**4 + 0 + 1/6*n**3 + 0*n. Is j(4) a composite number?
False
Is 8785/49 - (-4)/(-14) prime?
True
Is 20/3 - 2/(-6) a composite number?
False
Let p = 0 - -34. Is p prime?
False
Suppose 4 = 4*c - 0. Let v(h) = 13*h - 5*h + c + 30*h + 16*h. Is v(3) a prime number?
True
Suppose -3*q + q = -2164. Is q prime?
False
Let g(q) = -123*q**3 + q + 1. Let d be g(-1). Let j = d + -68. Is j a prime number?
False
Let f be (-1)/(((-1)/2)/1). Suppose f*z - z = 0. Is 111 + 2 + (z - 2) a composite number?
True
Suppose -2 = -2*q - 0. Suppose -3*y + x + 39 = -2*x, x - q = 0. Is y a composite number?
True
Let a(v) = v**2 + 2. Let k be a(0). Suppose k*c - w - 217 = 4*c, -2*c - 227 = -w. Let z = 188 + c. Is z a composite number?
True
Let h(j) = 107*j**2 + 3*j + 6. Let o be h(-4). Suppose