osite?
True
Let a(d) be the first derivative of 16*d**3/3 + 3*d**2/2 - d - 3. Is a(2) prime?
False
Let u be (-2)/(-8) + 28/16. Let z = u + -3. Let h = z - -24. Is h prime?
True
Let x(v) = -15*v**2 - 15*v + 24. Suppose 0 = -0*s + s - 2. Let f(i) = -3*i**2 - 3*i + 5. Let y(d) = s*x(d) - 11*f(d). Is y(-5) a composite number?
False
Suppose 175 = 3*g + 2*g. Suppose -63 = -o + g. Suppose -4*w + 2*s = -2*s - 384, -o = -w + 2*s. Is w a composite number?
True
Suppose -5*h - 65 = 5*r, r + 13 = 6*h - h. Let a = -9 - r. Suppose -4 = -4*w, -a*c - c + w + 369 = 0. Is c a composite number?
True
Let t = 68 + 155. Is t a prime number?
True
Let p = 1107 - 622. Is p a prime number?
False
Let d = -188 + 1297. Is d composite?
False
Let w = -10 - -15. Suppose -3*x = w*c - 103, c - 157 = 4*x - 9*x. Suppose 5*y - 96 = -x. Is y a composite number?
False
Is 749/9 - (-8)/(-36) a composite number?
False
Let i(k) be the third derivative of k**6/120 + k**5/30 - k**4/24 - k**2. Let h be i(-2). Is (10*h + -1)*1 prime?
True
Is 1/(-2 + (-423)/(-211)) composite?
False
Suppose -3*g + 2*q = -21 + 5, 0 = -g + 2*q + 12. Is g a prime number?
True
Suppose -4*s + 94 + 42 = -4*l, -2*l = -3*s + 102. Suppose 5*n = 21 + s. Is n prime?
True
Let w(u) = u + 7. Let a be w(-3). Suppose m + 4*j = 27, 3*j = -a*m + j + 122. Is m prime?
True
Suppose -2*p = -0*p - u - 6, -5*p + 6 = 2*u. Suppose 0*d = -p*d + 24. Is 7/((d/9)/4) a composite number?
True
Suppose 5*m + 19 = -2*u, m + 1 = -2. Is (4/8)/(u/(-364)) a prime number?
False
Let p = 503 - 729. Is (-15)/25 - p/10 a composite number?
True
Let q(n) = 14*n**2 + 2*n - 5. Is q(-4) a composite number?
False
Let g be 9/18 - (-294)/4. Let a(h) = -h**2 - 2*h - 1. Let d be a(-1). Suppose 3*t - 61 = -2*v, -4*t + 3*v + 13 + g = d. Is t composite?
True
Let j(v) = -2*v - 7. Let g be j(-6). Suppose 0 = -3*x - g - 7, 5*x = -5*k + 315. Is k composite?
False
Let f(h) = -h**2 + 4*h - 3. Let b be f(3). Let t(s) = 73 + 60 + s**2 + s - 4*s + s**3 + 4*s. Is t(b) prime?
False
Let u(n) = 3*n**2 - 2*n**2 - 7*n**2 - n - 8 + n**3. Suppose 4*x + 14 = 6*x. Is u(x) a composite number?
True
Let l(n) = -n**2 + 25*n - 8. Is l(14) composite?
True
Suppose -4*r + 22 = 5*c, 4*r - 8 = -3*c + 5*c. Suppose c*v - 4*d - 6 = 0, 0*v - d + 15 = 5*v. Let w(m) = m. Is w(v) prime?
True
Let n = 5 + -3. Is (-233)/(-5) - n/(-5) prime?
True
Suppose -11 = -4*q - 3. Suppose 0 = 3*r - 7 - q. Is 3/r + -3 - -23 prime?
False
Suppose 0*f + 6 = 3*f. Suppose f*d - 6 = -3*k, d + 5*k = 6*d + 10. Suppose d = 5*w - 8*w + 993. Is w composite?
False
Let m = -6 + 10. Suppose -x - 19 = -2*x - 3*o, o + 37 = m*x. Is ((-44)/8)/((-1)/x) a composite number?
True
Suppose 0*v = 5*m + 3*v - 625, 4*v = -m + 125. Suppose 4*q - m = -q. Is q a prime number?
False
Let l = -25 + 293. Suppose 14*v - 24*v + 60 = 0. Is (3/v)/(2/l) prime?
True
Let v(p) = 2*p**2 + 3*p + 5. Is v(6) composite?
True
Let y = 4 + 1. Suppose 17 = 2*l - y. Is l a prime number?
True
Suppose 10*g - 12*g + 16114 = 0. Is g a prime number?
False
Let h(d) = 2*d**2 + 2*d. Let t be h(-2). Let f = -222 + 439. Suppose 701 = t*u + f. Is u prime?
False
Suppose -3*x + d = -568, d + 3*d = -5*x + 975. Is x composite?
False
Let h(u) = u**2 - 5*u - 3. Let s be h(6). Let n be (1 + -3)/(s/(-45)). Suppose 3*t - 81 = n. Is t composite?
False
Suppose 2*l - 3*d + 11 = 0, -d + 0*d = 3. Is 23/(((-4)/l)/2) a prime number?
False
Is (-557)/((-1)/(5 - 4)) a composite number?
False
Let p = 9 - -109. Let j = 173 - p. Is j a prime number?
False
Let r(u) = -3*u - 4. Let m be r(-3). Suppose -m*y = -57 - 98. Is y a prime number?
True
Suppose 0 = 5*o - 3*w - 3, -w - 5 = -2*o + 4*w. Suppose o = 3*x - 93 + 21. Suppose -5*m + 33 = h - x, 2*h - 3*m = 114. Is h a composite number?
True
Let p(m) = m**2 - 2*m - 4. Let f = -8 + 3. Is p(f) composite?
False
Let u(b) = -42*b. Let k be u(2). Let f(p) = -14*p - 1. Let g be f(2). Let m = g - k. Is m a composite number?
True
Suppose -n = -3*n - 2. Let w be (n - 11)*(-33)/6. Suppose a + w - 283 = 0. Is a a prime number?
False
Is -3 - 1 - (10 - 127) prime?
True
Suppose -198 - 373 = -t + 2*x, -2868 = -5*t - 3*x. Is t a composite number?
True
Suppose -3*v = -6192 - 687. Is v prime?
True
Suppose 0 = -2*t + 3*m + 35, -3*m - 35 - 30 = -5*t. Is (-4)/t + (-744)/(-10) a composite number?
True
Let i(p) = -p**3 + 6*p**2 - 3*p - 9. Let s be i(5). Let x = 70 + s. Is x a prime number?
True
Suppose 6192 + 27941 = 11*f. Is f a prime number?
False
Let u be ((-4)/(-6))/(2/6). Is u/(-4)*-4 - -177 prime?
True
Let w(q) = -185*q - 27. Is w(-10) composite?
False
Is 188 - (-1 + 1 + 3) a prime number?
False
Suppose -4*k + 3742 = 2*y - 88, 3*k - 5*y = 2840. Is k prime?
False
Suppose -5*t + 13897 = -0*p + 2*p, 2*p + 13893 = 5*t. Is t prime?
False
Let i(u) = 2*u - 6. Let a be i(3). Suppose 345 = 5*d - 5. Suppose 2*y = -a*y + d. Is y composite?
True
Let t = -7722 + 13931. Is t composite?
True
Let z(m) = m**2 - 7*m - 11. Let p be z(9). Suppose p + 10 = i. Let y = i + 8. Is y prime?
False
Suppose 4*b - 1364 = -0*b. Is b a composite number?
True
Suppose -3*w - 31 = -y, -3*y = 3*w - y + 37. Let j = -33 + 51. Let c = j + w. Is c composite?
False
Suppose 0 = -2*g + 110 + 332. Is g prime?
False
Suppose 2*v = -0*v + 6. Suppose -v*w - s - 2*s + 570 = 0, -5*w = 2*s - 953. Is w prime?
True
Let a(x) = -4*x. Let g be a(-1). Suppose 4*p = -20, -g*p = 4*v - 2*p - 34. Let t = v - 4. Is t prime?
True
Let l = -25 - -35. Is l/25 - 246/(-10) prime?
False
Let v(s) = -15*s**3 - 1 + 1 + 5*s**2 + 6 - 21*s**3. Let u(b) = -36*b**3 + 6*b**2 + 7. Let n(l) = 5*u(l) - 6*v(l). Is n(1) a prime number?
False
Let x be (-82)/2 + (-2 - 0). Let c = x + 73. Let a = 67 - c. Is a prime?
True
Suppose -4*q + 3379 = 5*o, -1455 = -4*q - 2*o + 1927. Suppose 2*l + 216 = g - 3*l, 2*l = 4*g - q. Is g composite?
False
Let i = -4 + 6. Let y(k) = 3 - 9*k - 2 - 2 + k**i + 12. Is y(9) composite?
False
Let j be 4 - 284 - (-1 - -4). Let o = -168 - j. Is o a prime number?
False
Suppose 0 = 3*r + 2*r. Is (r + 1)/((-3)/(-309)) prime?
True
Let s(j) = -j**3 - 4*j**2 - 3*j - 5. Let v be s(-4). Suppose -12 = -4*k - 3*m + v, 3*m + 16 = k. Is k a prime number?
True
Suppose -48 = 5*s - 3*s. Is 3*502*(-4)/s composite?
False
Is (-703)/(-3) - (-4)/6 a prime number?
False
Let g(q) be the third derivative of q**6/120 - q**5/30 - q**4/12 + 2*q**3/3 - 8*q**2. Let y(t) = t**2 - t + 1. Let m be y(2). Is g(m) composite?
False
Let k(t) = t**2 - t - 4. Let w be k(3). Suppose 0*b - 4*q + 252 = 4*b, 3*q + 146 = w*b. Is b a prime number?
True
Suppose i = 2*u + 12, 4*i = -4*u - u + 22. Is (-2)/8 + 1242/i composite?
True
Let z(u) = -12*u**2 - 8*u**2 - 12 - u + 22*u**2 - 6*u. Is z(-9) composite?
True
Suppose 4 = 3*l - 5. Suppose -3*a + 6 = -l. Suppose t - 3*h = 2*h - 7, -t = -a*h + 3. Is t composite?
False
Let p(w) = 5*w**3 + 2*w**2 + 2*w + 6. Let z be p(-4). Let n = 493 + z. Is n a composite number?
True
Let v = 8 - 6. Suppose 0 = 4*d - 5*p + v*p - 18, 0 = 4*d + 2*p - 8. Suppose -3*u + 101 = -5*b - 0*b, d*u + 5*b - 121 = 0. Is u a composite number?
False
Let d = -112 - -189. Is d prime?
False
Let d = 17 - -7. Let p(a) = -a**2 + a - 3. Let n be p(3). Let k = n + d. Is k composite?
True
Suppose v - 314 = -v + 2*w, 3*v - w - 471 = 0. Is v a prime number?
True
Let u = -1 - -1. Suppose u = 3*h - 21 - 21. Is h composite?
True
Suppose -v - 3*i + 157 = 0, -5*v - 3*i + 821 = -0*v. Let l = -111 + v. Is l prime?
False
Suppose m - 2*f = 116, -f = 2*f + 9. Suppose q - 65 = -3*o - 1, -q + m = 5*o. Is o a prime number?
True
Let a(t) = 492*t**3 - 2*t**2 - 2*t - 1. Let k be a(-1). Let d = -197 - k. Let u = 487 - d. Is u composite?
False
Let f = -8 - -6. Let v be (f + 4)*6/2. Is 52 + (v - 2 - 3) a prime number?
True
Suppose 0 = 5*s - 2*o + 56, 0*o = -3*s - 3*o - 21. Let t be (0/(-2))/(s/(-10)). Suppose -5*p + 4*p + 127 = t. Is p a prime number?
True
Suppose -95 = -3*i + 2*l, l = -3*i - 4*l + 67. Suppose 0 = g - i - 26. Is g prime?
False
Suppose -2*k - 3*s + 18 = -s, -k + 5*s = 21. Is 201/(-9)*(1 - k) composite?
False
Suppose 0*p + 788 = 4*t - 4*p, 5*t + p - 979 = 0. Suppose -5*c + 124 = -t. Suppose 4*x + 5*i + 0*i = c, 20 = -5*i. Is x composite?
True
Let s = 26 - 43. Let f = s - -40. Is f composite?
False
Let s be ((-2)/8)/(2/(-8)). Suppose -s = 2*k - 3. Is k/(-1 + (-80)/(-79)) c