- 13. Is a composite?
False
Suppose -14 = -3*s + 2*f, 0 = -5*s + 4*s + 5*f + 22. Is -2 + (-275 + s)/(-3) prime?
True
Let k(l) = l**3 + 10*l**2 + 2*l - 4. Suppose 0*c - c - 5 = 0. Is k(c) a composite number?
True
Suppose h + 6 = 3*h. Suppose h*o + 344 = -o. Let n = o - -169. Is n prime?
True
Suppose d = 109 + 105. Suppose 2*q - o + 5*o - 426 = 0, 0 = -q - 3*o + d. Is q prime?
True
Let b = -19 + 22. Suppose 2*m - 207 = -b*w + 77, -151 = -m + 3*w. Is m a prime number?
False
Let b(y) = -y**3 - 10*y**2 - 9*y + 3. Let h be b(-9). Suppose 7*n = h*n + 1036. Is n a composite number?
True
Suppose -2*h + 5*h = 3951. Is h a prime number?
False
Let j(h) = 209*h**3 - 2*h**2 + 4*h - 2. Is j(1) a prime number?
False
Suppose 3*g + 852 = 2*r, -g - 5*r - 295 = -2*r. Let k = g - -105. Let a = k - -308. Is a a prime number?
True
Suppose -3*x + 3 = 0, -5*b - 4*x + 372 = -357. Suppose 0 = -4*l + 20, 4*l - b - 94 = -s. Is s composite?
True
Suppose -1590 = -7*k + 1133. Is k a composite number?
False
Suppose -952 = -0*g - 2*g. Suppose 4*q - 2*k - g = -0*k, 5*q = 4*k + 589. Is q composite?
True
Let r(i) = -15*i**3 - i**2 - 2*i - 1. Suppose 0*f = -f - 1. Is r(f) composite?
True
Let w(t) = -2*t**3 + 19*t**2 - 2*t + 9. Is w(8) prime?
False
Suppose -2*a = -5*a + 9. Let f = -287 - -552. Suppose -a*o = -8*o + f. Is o a composite number?
False
Is 190/((-2)/(-2)) - -1 prime?
True
Let w be 4/(-22) - 40/22. Is (w/(-6))/(2/354) composite?
False
Let u(f) = f**3 + 8*f**2 - 5. Let c be u(-8). Let s = c + 5. Suppose b + s = 15. Is b composite?
True
Is ((-2506)/7)/(-2 + 0) prime?
True
Let x = -1044 + 1841. Is x prime?
True
Is ((-3)/(-2))/(21/13538) composite?
False
Suppose -15668 = -12*m + 15280. Is m a composite number?
False
Let t(i) be the second derivative of i**3/6 + 89*i**2/2 - 3*i. Is t(0) a composite number?
False
Let t be (-1)/(4/(-1652)) + -3. Suppose -3*f + 55 = -t. Is f prime?
False
Suppose 2*s = s + 1114. Suppose s = 5*n + 3*x, -5*x + 14 = -1. Is n a composite number?
True
Is -5*(-3 + (-1036)/20) a prime number?
False
Suppose 4*b - 678 = -170. Is b a prime number?
True
Suppose -3*q + q + 4 = 0. Suppose -3*l - 38 = -w + 2*l, -4*w + q*l + 188 = 0. Is 3/1 + (w - 2) composite?
True
Suppose 1 = -5*u - 4. Let f be u/(-2)*570/3. Suppose h - 6*h + f = 0. Is h a prime number?
True
Suppose -3*x - 10 = 2*x + 5*z, 18 = 3*x - 3*z. Suppose -4*k - 155 = -4*t - t, 0 = -5*t - x*k + 185. Is t composite?
True
Suppose 5*j = 5*n + 1815, 0 = 4*j - 2*n + 3*n - 1437. Suppose 0 = -2*a + 5*i + 109, -5*a = 7*i - 2*i - j. Is a a prime number?
True
Let q(b) = 20*b - 1. Let t be (-3)/(-2*1/2). Is q(t) composite?
False
Let w(y) = y**2 - 2*y + 2. Suppose -8 = 2*t - 0*r + 4*r, -4*t = -3*r - 39. Is w(t) composite?
True
Let p(a) = -3 + 3 + 3*a + 1. Is p(3) prime?
False
Let s be -6*((-8)/6)/(-4). Is s*5/(-4)*22 a prime number?
False
Let n(p) = -p + 1 + 1 - 3. Let l be n(-4). Suppose 2*h + 2 = l*h. Is h composite?
False
Let w(f) = f**2 + 2*f - 1. Let j be w(-3). Let i(m) = 67*m. Is i(j) prime?
False
Let b(s) = 2*s**3 - 3*s**2 - 2*s. Let d be b(4). Let j = 919 - d. Suppose 3*i - 1105 = 2*x, j = 2*i - 5*x + 125. Is i composite?
True
Let p = 371 - -740. Is p prime?
False
Let q = -4 - -8. Suppose -7*g = -q*g - 285. Is g composite?
True
Let x be ((-12)/8)/((-1)/2). Suppose -x*m = -9, m = -4*w - 30 + 877. Is w a prime number?
True
Suppose -2*q + 5*i - 17 = 0, -4 = -2*q - i + 9. Suppose -y + 10 = q*y. Suppose 4*m + b - 30 = m, 2*m + y*b - 20 = 0. Is m a composite number?
True
Suppose 0 = 3*v + 30 - 3. Let i = v + 15. Let k(f) = 13*f + 1. Is k(i) prime?
True
Let b(s) = 65*s - 3. Let t = -12 + 16. Is b(t) a composite number?
False
Let d(h) = 30*h**2 + 7*h - 5. Is d(-4) a composite number?
True
Let s(u) = -u**3 + 8*u**2 - 8*u + 10. Let w be s(7). Suppose 0*c - 153 = -w*c. Let q = 88 - c. Is q a prime number?
True
Let r be 185 + -3 + (3 - 1). Let w = r + -69. Is w a composite number?
True
Suppose c - 4*q + 9*q = 256, 3*q - 756 = -3*c. Is c a prime number?
True
Let h(k) = 129*k**3 + 2*k**2 + 3*k - 3. Is h(2) a prime number?
False
Is 0 + (-4 - 11*-9) prime?
False
Let u be 3/(-9) - (-514)/(-6). Let w = -28 - u. Let l = -21 + w. Is l prime?
True
Let g = -17 - -16. Is g - -130*(1 + 2) prime?
True
Suppose -2*z + 0*z = -1508. Let f = z - 399. Is f composite?
True
Let i(p) be the second derivative of p**7/2520 - p**6/720 - 7*p**5/120 + p**4/6 + 3*p. Let f(v) be the third derivative of i(v). Is f(-5) composite?
False
Let l = 5126 + -2905. Is l composite?
False
Let z = 280 - 191. Is z a composite number?
False
Let z = -24 + 14. Let x(w) = w**2 + 18*w + 10. Let a be x(z). Let g = 123 + a. Is g prime?
True
Suppose -9*m = -4*m - 3595. Suppose -2*o - 4*b + 410 = 0, 97 + m = 4*o + 4*b. Is o prime?
False
Let u = 16 + -7. Let h = -7 + u. Is 12*h*(-3)/(-12) a prime number?
False
Let v = 2 - 2. Let l(g) = 5*g - 5*g - g**2 + 281 - 24. Is l(v) a prime number?
True
Let u(d) = -d**3 + 2*d + 1. Let v be u(-1). Suppose 2*f + o - 194 = 2*o, v = 4*f - o - 388. Is f a prime number?
True
Is (-15)/(-6)*(0 + 58) prime?
False
Let y(w) = 8*w**2 + 2*w - 3. Let x be y(3). Let z = x - -22. Is z a composite number?
False
Let b = -3 + 2. Is (-2 + 130 + b)/1 a composite number?
False
Suppose -5*r + 23 = -h, -r = 4*r + 5*h - 35. Suppose 0 = 5*d - 5*u - 105, -u - u + 91 = r*d. Suppose -w + 2*c + d + 10 = 0, -4 = -4*c. Is w prime?
True
Suppose -2*n + 7*n - 485 = 0. Is n composite?
False
Suppose k = -5*k + 1794. Is k a prime number?
False
Let b = -293 - -814. Is b prime?
True
Let p be 653*1 - (0 + -3). Suppose 4*f = -2*w - f + 342, -4*w = 3*f - p. Is w prime?
False
Is -254*(0 - 1/2) a composite number?
False
Suppose 3*k = -0*k + 339. Is k prime?
True
Let c(x) = -x**3 + 12*x**2 + x - 7. Let z be c(5). Suppose -4*f + z = -211. Suppose f - 19 = i. Is i a prime number?
False
Let m(y) = -17*y + 14. Is m(-4) a prime number?
False
Let t = 85 - -74. Is t a prime number?
False
Let y(b) = -b**3 - 3*b**2 + 2. Let j be y(-3). Suppose -5*r - 281 = 3*c, 5*c + j*r + 495 = -r. Is 1*-2*c/4 composite?
True
Is 13741/65 - (-4)/(-10) a composite number?
False
Suppose 4 = -2*b + 3*b. Suppose 6*q - b*q + 2*f = 176, -4*f + 437 = 5*q. Is q prime?
False
Let m(x) be the third derivative of x**5/6 + x**4/24 + x**3/3 - 2*x**2. Let r be m(-6). Suppose r = 4*w + 5*f, -f = f. Is w a composite number?
False
Suppose -r + 3*j = -3*r + 706, 0 = 3*r - j - 1037. Is r a composite number?
False
Suppose -34 = -4*u + f, u - 4*f - 13 = 3. Suppose -2*w - 4*h = -0*w + 60, 0 = 2*h + u. Let a = w - -43. Is a a composite number?
True
Let b(o) = -7*o**2 + 5*o - 4. Let u be b(-6). Is (-3)/4 - u/8 prime?
False
Suppose -g + 0*g = -j - 3, 0 = 3*g + 5*j - 25. Suppose 5*c + 9*z - 4*z = g, -3*z = -5*c + 37. Suppose c*w - 74 = 1. Is w composite?
True
Suppose 2*q + 199 = -3*v - 292, 4*q = 5*v - 971. Let d = 458 + q. Is d a composite number?
True
Suppose -3*y = -y. Suppose -q + 49 = 3*m, -2*q + 3*m = -y*m - 89. Is q prime?
False
Let n = 13 + -8. Suppose -5*v + 3*r + 277 = 0, n*r = 6*v - 3*v - 179. Is v a prime number?
True
Let s = -855 - -2366. Is s a composite number?
False
Suppose 0*y - 11 = y. Let t(m) = 22*m + 10. Let d be t(y). Is d/(-5) + 2/(-5) prime?
False
Let n be 0/((-2 - -3) + -3). Suppose n = 3*m + 3*q - 330, -q - 571 = -5*m + q. Is m prime?
True
Let f(n) = -53*n + 2. Let w be f(-2). Let g = -46 + w. Is g a composite number?
True
Let u(p) = -2*p**2 + 5*p + 1 - 4 + 3*p**2. Let l be u(-6). Let w = 11 + l. Is w a composite number?
True
Suppose 4*i = -629 + 221. Let h be i/13 + (-4)/26. Is 464/18 + h/(-36) a prime number?
False
Suppose 15 = 2*q + 3*q. Suppose -4*d = 3*l + 2*l - 10, -q*d - 2 = -l. Suppose -3*y + 0*y = c - 89, -3*y - l*c = -85. Is y prime?
True
Let f(n) = -n**2 + 4*n - 3. Let p be f(2). Let t be (3 + -2)/(p/2). Is 2/((t/131)/1) a prime number?
True
Let a = -53 + 9. Let q = a - -113. Is q composite?
True
Suppose 5*k - 4 + 10 = 4*b, 5*b = 3*k + 1. Let q be (b + 2)/(-1)*-1. Is q/3 + (-112)/(-6) composite?
False
Let q(m) = -3*m**2 + 3 + m**2 + 11*m - 2*m**2. Let v(f) = -3*f**2 + 10*f + 4. Let x(i) = -4*q(i) + 5*v(i). Is x(-7) a composite number?
True
Suppose 4*a - 3*f - 472 = -179, -2*a = -4*f - 154. Suppose 8*s = 3*s + 15. Suppose -286 - a = -s*q. Is q prime?
False
Suppose 2*w + 167 - 1109 = 0. 