14 = 2*x + 2*h, -5*h = 0. Let k be r(x). Let d = k - -2. Is d prime?
False
Suppose -1400 = -2*k + 422. Is k composite?
False
Let i(t) = 15*t**3 - 3*t + 2. Let c(g) = 14*g**3 - 3*g + 2. Let b(l) = 4*c(l) - 5*i(l). Is b(-3) prime?
False
Let o(g) = -5*g - 1. Let j be o(-3). Suppose -5*v + j = -1. Suppose 6 = -c + v*c. Is c a composite number?
False
Let w = 32 + -13. Is w composite?
False
Let p(j) = -j**2 + 7*j + 2. Let k be p(5). Suppose -3*d + 0 = -k. Suppose 4*b + d = 0, -3*w + 7*w = -3*b + 137. Is w prime?
False
Let x = 2 - -1. Suppose -4*v = -x*v - 67. Is v prime?
True
Is 2 + 2050 + -3 + 4 composite?
False
Let r(v) be the second derivative of -7*v**3/2 - 3*v**2/2 + v. Let t be r(-8). Suppose 2*p = -3*p + t. Is p a composite number?
True
Let z(k) = 408*k**2 + k. Let f = 2 - 3. Is z(f) a composite number?
True
Let w(z) = 2*z - z**3 - 1 + 280*z**3 - 89*z**3. Let n = 2 + -1. Is w(n) a prime number?
True
Suppose -2*v + 0*v + 2*d + 228 = 0, 223 = 2*v - 3*d. Is v a composite number?
True
Let l = 6 - 3. Let j be (-2)/l + 2/3. Suppose j*o = -o + 3, 5*n + 2*o = 131. Is n prime?
False
Suppose u - 999 + 322 = 0. Is u composite?
False
Suppose 0 = b - 2*c - 142, -2*b - 5*c + 354 = 25. Suppose -5*m - b = -417. Is m a composite number?
False
Suppose -11*q + 14*q - 4*g - 22 = 0, 0 = -5*q - g + 75. Is q a prime number?
False
Let r(y) = 7*y**2 + 3*y + 3. Is r(4) composite?
False
Let f = 3 - -1. Suppose f*j + 79 = 267. Is j a composite number?
False
Suppose 354 = 2*s - x, 0 = 4*s + 4*x - x - 728. Is s prime?
True
Is -5 + (-14556)/(-44) - (-4)/22 prime?
False
Let f be 6 - 3/(3/2). Suppose -f*g = -g. Suppose -u + 56 + 21 = g. Is u a composite number?
True
Let t(h) = 12*h**3 - h**2 + 5*h - 1. Let k be t(4). Suppose 2*z + k = 5*z. Is z composite?
False
Let x(y) be the first derivative of -y**4/4 + y - 2. Let n(c) = 3*c**3 - 6*c**2 + c + 3. Let u(w) = n(w) + 2*x(w). Is u(6) composite?
False
Suppose -3*s = -3*g - 0*s + 1887, 0 = 3*g - 4*s - 1885. Is g prime?
True
Let l(i) = -2*i**2 + 6 - 5*i + 4*i**2 + 0*i. Let q be (-2)/((-4)/(-5))*-2. Is l(q) a composite number?
False
Let d(h) = -3*h**2 + 2*h. Let k be d(3). Suppose s = 3*s. Let z = s - k. Is z composite?
True
Let q = 11 + -6. Suppose q*f = -y - 0*y + 1109, f - 5*y = 201. Is f a composite number?
True
Let z = 1 - -1. Is 555/z*18/27 prime?
False
Let r = 13 - 9. Suppose 0 = -0*i + 3*i - 5*a - 643, 0 = 2*i + r*a - 414. Is i a composite number?
False
Is (-1 + 4536)*(-6)/(-15) a composite number?
True
Let b be -66*((-3)/(-2))/(-1). Let h = b - 68. Is h a composite number?
False
Suppose 7*a - 2*a = -4*q + 37, 0 = 2*q - a - 1. Let o be (190*q/3)/2. Suppose -o = 4*j - 9*j. Is j prime?
True
Let x(k) = -2 + k + 2 - 1 + 0 + 3*k**2. Is x(-9) a prime number?
True
Suppose 4*u = 0, 5*i - 2*u + 220 + 110 = 0. Let z be (-39)/2 + (-1)/2. Let k = z - i. Is k a prime number?
False
Let w be -1*86*7/(-14). Let l = 31 + w. Is l a prime number?
False
Suppose -a + 41 = -4*c, a - 2*a - 4*c + 33 = 0. Is a - (-2 + 3 + -1) prime?
True
Let u = 24 + -5. Is u composite?
False
Let b(i) = -3*i - 10. Suppose -32 = -a + 5*a. Let r be b(a). Let c = 35 - r. Is c prime?
False
Suppose -3*h + 2*v - 9 = -2*h, 0 = 4*v - 12. Is -3 + h*6*-2 a composite number?
True
Is (1 - 4)/6*(-3730)/5 a composite number?
False
Let d(w) = w**3 + 3*w**2 - 5*w - 4. Let y be (1*-7 - -2) + 1. Let k be d(y). Suppose k*l = 5*l - 170. Is l prime?
False
Suppose -5*l + 0*l = -10. Suppose h + l*h - 21 = 0. Is h prime?
True
Let v(o) = 23*o**2 + 6. Let r be v(3). Suppose q - 2*q + 2*t = -r, -629 = -3*q + 4*t. Is q a composite number?
True
Let r = 502 + -357. Suppose -2*p + r = 3*p. Suppose -5*t = -2*l - l + 91, -l + 2*t + p = 0. Is l a composite number?
False
Is (2382/8)/((-36)/(-336)) composite?
True
Is 2 - 1*(-215 + -2) prime?
False
Suppose 2*m + 5*x - 73 - 73 = 0, m - 2*x - 55 = 0. Let h = m + 40. Is h composite?
False
Let c(t) = 247*t + 1. Let u be c(1). Let m = u - 127. Is m composite?
True
Suppose 4*p = -0*p - t + 6, -5*t - 12 = -p. Is p composite?
False
Suppose 3*h + 2*h - 5 = -5*c, -h = 5*c - 5. Suppose -k = r - 171, 167 = k - r - h*r. Is k a composite number?
True
Suppose 2*f - 1055 = 211. Is f a composite number?
True
Let a = -4 + 7. Suppose 0 = 4*o - 2*h - 1320, 4*o + a*h = -o + 1639. Is o composite?
True
Suppose -17*l - 97 = -18*l. Is l prime?
True
Let u = -154 - -473. Is u a prime number?
False
Let a = -617 - -915. Is a a prime number?
False
Suppose 392 = 4*i - 1088. Suppose 0*z - j - 362 = -4*z, 0 = -4*z - 3*j + i. Let g = z + -56. Is g prime?
False
Suppose 6 = -r - 0. Is (-138)/(-9) - (-2)/r prime?
False
Let f = -674 - -1273. Is f composite?
False
Suppose -765 = -3*j - p + 4*p, -3*p = 2*j - 500. Is j prime?
False
Suppose -4*y = -0*y - 16. Suppose y + 4 = 2*a. Is a prime?
False
Suppose l - 5*l - 2*x + 5022 = 0, 3*x = 3. Is l composite?
True
Let g = 290 + 463. Is g composite?
True
Let z(m) = 222*m + 1. Is z(1) composite?
False
Suppose 0 = -2*d - d + 1254. Let o = d + -207. Is o a prime number?
True
Let x = 4 + 0. Let f be (1/2)/((-2)/(-252)). Suppose -b - f = -x*b. Is b prime?
False
Let t(u) = u + 1. Let a(h) = 15*h + 15. Let g(l) = -4*a(l) + 55*t(l). Let r be g(-5). Suppose 0 = -v - v + r. Is v prime?
False
Let m(v) = 54*v - 1. Let s(h) = 2*h**2 + 9*h - 9. Let c(x) = x**2 + 4*x - 5. Let a(j) = -7*c(j) + 3*s(j). Let p be a(0). Is m(p) prime?
True
Let x = 508 + -117. Is x composite?
True
Suppose -4*n + 311 = -365. Let c = 24 + -20. Suppose c = -3*s + n. Is s a composite number?
True
Let l = 1356 - 585. Is l a composite number?
True
Let g be ((-36)/24)/(3/(-62)). Let c = g - -6. Is c a prime number?
True
Let i = 4 + 39. Is i a composite number?
False
Is -3 + -1 + 273 + -2 composite?
True
Let z be 2/(-4) - 27/18. Is z + 8*(-1 - -3) a composite number?
True
Let p = -1282 - -3149. Is p composite?
False
Let o(l) = l - 3. Let j(m) = 2*m - 3. Let w(k) = 3*j(k) - 4*o(k). Let h be (-3)/(-7) - 225/(-63). Is w(h) prime?
True
Let k(q) = -q**2 - q + 4. Let l be k(0). Suppose 0 = 5*b + n - 348, b + 3*n - 66 = l*n. Is b a composite number?
True
Let f(r) be the first derivative of -11*r**2/2 + 5*r - 3. Is f(-7) prime?
False
Let d = -136 + 427. Is d a composite number?
True
Let f = -8290 + 12329. Is f a composite number?
True
Suppose 2*r + 158 = -v, 0*r = 4*r - 4*v + 328. Let w = r + 131. Is w composite?
True
Let j be ((-32)/6)/(12/(-18)). Suppose -j*s = -3*s - 290. Is s composite?
True
Let i be 32/10 - (-1)/(-5). Let g = 8 - i. Suppose -2*x + 0*x + 86 = g*q, -20 = -5*q. Is x prime?
False
Let f(p) = -4*p**3 + p**2 + 5*p + 4. Let n = -10 + 7. Is f(n) composite?
True
Let b(d) be the third derivative of d**5/60 + 7*d**4/24 + d**3/6 - 2*d**2. Is b(-9) a composite number?
False
Let a = 364 + -111. Is a a prime number?
False
Suppose 4*p = 2*b + 302, 4*p + 4*b - 245 = 75. Is p prime?
False
Suppose 2*f = 5*v + 23, 5*f - 4*v + 3 = 52. Let u = -5 + f. Suppose -299 - 209 = -u*n. Is n a composite number?
False
Let m(d) = 2*d**2 + 18*d + 31. Is m(-15) a composite number?
False
Let w(n) = n - 7. Let x(c) = -2*c**3 + 2*c**2 + c - 1. Let p be x(2). Let u be w(p). Let k = -1 - u. Is k composite?
False
Suppose 1157 = f + 3*v, -v + 0*v = -5*f + 5753. Is f a composite number?
False
Let d be ((-4)/(-4))/((-1)/179). Let h = d - -254. Let p = h + -22. Is p a prime number?
True
Let v(r) = 177*r**2 - r. Let k be v(-2). Suppose f - k = -f. Is f composite?
True
Let c(a) = -18*a + 1. Suppose 2*f + f + 21 = 0. Is c(f) a composite number?
False
Suppose 0 = 5*s + 3*y + 222, -5*y + 163 = -4*s + 15. Is ((-3)/(-3))/((-2)/s) composite?
True
Is (-3207)/(-3 - 0)*1 a prime number?
True
Let w(b) = b**2 - 2*b + 3. Let c be w(2). Suppose 0 = -c*u - 3*m + 99, -7*u = -3*u + 3*m - 130. Is u a prime number?
True
Suppose 0*l + 3682 = 2*l. Is l a composite number?
True
Let s = 211 + -108. Is s prime?
True
Let f(h) = -h**3 + 5*h**2 + 9*h - 9. Let y be f(6). Suppose 6*x - 6 = y*x. Is (-364)/(-12) + x/(-3) a composite number?
False
Let u(t) = -t**3 - 5*t**2 - 3*t + 6. Let j(x) = 6*x**3 + 25*x**2 + 14*x - 30. Let c(g) = -2*j(g) - 11*u(g). Is c(5) a prime number?
True
Let l(u) = -3110*u**3 + u. Is l(-1) a composite number?
False
Let m(o) = -o + 3. Let r be m(6). Let z be r*(-2)/6 - -9. Is 4/10 + 826/z composite?
False
Let q = -2221 - -34