83. Is b composite?
False
Let k(h) be the third derivative of 17*h**4/12 + h**3/6 - h**2. Is k(2) prime?
False
Suppose 0 = -3*k + 88 + 32. Suppose -789 = -5*f + 2*h, -f - 3*h = k - 208. Is f composite?
True
Suppose 3*w + 32 = 4*t + 7*w, -3*w = -2*t + 1. Suppose -c + t*c = 112. Suppose -c = -4*v - 0. Is v a prime number?
True
Let k = 3278 + -1035. Is k a prime number?
True
Let f = -571 - -1206. Is f a composite number?
True
Let k be -5*(3 + -4 + 0). Let j be k - (4 - (-1 - -2)). Let q(w) = 6*w**2 - 1. Is q(j) composite?
False
Let t(i) = 315*i**2 + i. Let a be t(-1). Suppose -a + 78 = -4*n. Let d = -22 + n. Is d a prime number?
True
Let s(j) = -j**3 + 4*j**2 + 2*j - 6. Let a be s(4). Let i be a/(-2) - (30 - 2). Let v = i - -44. Is v a composite number?
True
Suppose -30 = 2*v + 3*v. Let a = v + 7. Is 14 + -3 - a - 0 prime?
False
Let w(m) be the first derivative of -64*m**2 - m - 1. Is w(-1) a composite number?
False
Is (-159425)/(-100) + (-3)/(-4) + -1 a composite number?
True
Suppose -30*x + 36*x = 2262. Is x a prime number?
False
Let o = 0 + 2. Let d be (-1 + -4)/(-1) - o. Suppose -50 = -2*x - d*x. Is x prime?
False
Suppose -4*i = -8, 3*o - 2 = -2*i + 7*i. Is 126/o + (-2)/4 composite?
False
Let u = -13 - -24. Is (u + -8)/(6/134) composite?
False
Let w(x) = -408*x + 25. Is w(-4) prime?
True
Let n be (7/(-3))/(1/3). Let j(y) = -y**2 - 7*y + 2. Let c be j(n). Is (-693)/(-6) - 1/c a prime number?
False
Let j(i) = i**2 - 8*i + 9. Let t be j(7). Suppose -5*v = 4*p - 249, t*v + p + 4*p - 86 = 0. Is v a composite number?
False
Let u be 1 - (4 - 3)*-4. Suppose 4*q - 682 + 111 = u*m, 0 = -5*q + m + 740. Is q composite?
False
Let h(u) = -1 + 4*u + 2*u**2 + u**3 + 2*u - 4. Let r be 6 + -10 + 5 + 3. Is h(r) a composite number?
True
Let b = 1330 - 879. Is b prime?
False
Let q(x) = -x**3 + 11*x**2 - 10*x + 9. Let h be 2/(1 + 2/(-3)). Is q(h) prime?
False
Let z = 322 + -119. Is z a composite number?
True
Let d(f) = 2*f**2 - f - 7. Is d(6) a composite number?
False
Let f(a) = -350*a - 3. Is f(-1) a composite number?
False
Suppose 5*y - 9417 = 2*s, 2*y = -2*y - 3*s + 7529. Is y composite?
True
Suppose -2*s - s = 147. Is (-1505)/s + 2/7 a prime number?
True
Let m = 484 - -261. Is m a prime number?
False
Is (-4)/((-24)/1774)*3 prime?
True
Suppose -k = -2*k + 6. Suppose -4*o = -o - 2*h - k, -3*o = -4*h - 6. Suppose -i - 4*i - 28 = -o*m, 4*m - 8 = -2*i. Is m a composite number?
True
Suppose 2198 = 2*z - n - 2*n, 3*z - 3297 = n. Is z prime?
False
Let h(o) = -4*o**2 + 3*o - 3. Let f(w) = 5*w**2 - 4*w + 3. Let j(n) = -5*f(n) - 6*h(n). Let y be j(3). Suppose 4*p + 79 = q, y*q + q + 4*p - 79 = 0. Is q prime?
True
Suppose 15 = 5*v - 0*v. Suppose -v*j = -6 - 0. Is (-35)/2*-2 + j prime?
True
Suppose 3*v + 9 = 4*v. Suppose -2*p + v = 3. Is (-2)/p*42/(-4) prime?
True
Let q(f) = f**2 - 3*f + 97. Let h(x) = -3*x**2 + 8*x - 291. Let n(i) = -3*h(i) - 8*q(i). Suppose -2 = -2*l + 2*d, 4*l + 2*d + 3 = -d. Is n(l) prime?
True
Is (-2 - -4)*97 + (-3)/1 composite?
False
Let t be (-1)/5 - (-2)/10. Let s(k) = -k**3 + 12*k**2 + 13*k + 3. Let d be s(9). Is d*(t - -1)/3 composite?
True
Let t = 1 - -4. Suppose -190 = -t*f - 5. Is f a composite number?
False
Is (9206/8 - (-5)/20)*1 prime?
True
Let t(i) be the second derivative of i**4/12 + i**3/3 - 6*i. Is t(-5) a prime number?
False
Suppose h - 74 - 23 = 0. Is h prime?
True
Suppose 0 = -3*s - 0*s - 195. Let h = -31 - s. Is h prime?
False
Let u = 1 + 4. Suppose 0 = u*s - 2*x - 271, 2*x + x = 2*s - 115. Is s a prime number?
True
Let b(h) = 5*h**2 + 9*h - 11. Is b(6) a prime number?
True
Let n(o) = o**3 + 2*o**2 + o + 2. Let m be n(-2). Suppose m*g - 127 = -g. Is g composite?
False
Let z(a) = -12*a + 3. Is z(-9) a prime number?
False
Let n(u) = 1405*u + 4. Is n(1) a composite number?
False
Let z be (0 + -3 + -64)*4. Let q be (-1)/(-3) - (-4)/6. Is (q/2)/((-2)/z) composite?
False
Is ((-7530)/(-9))/(4*3/18) prime?
False
Is (6/(-9))/((-4)/(-6)) - -204 a prime number?
False
Let w = 11 + 9. Let q be (-8)/w - (-6)/(-10). Is ((q - 1) + 3)*37 a prime number?
True
Is 3 + 575/(-4 - -9) composite?
True
Let x be 6/15 + 633/5. Let c = 28 - 16. Suppose 4*i - x = 3*w + c, 3*i - 108 = w. Is i composite?
False
Suppose 0 = -5*a - 4*m + 31, -1 = a + m - 2*m. Suppose -a*d + 7 = -5. Suppose -l + 3*h = 3*l - 62, 2*l - d*h - 36 = 0. Is l composite?
True
Let c(o) = o**3 - 4*o**2 - o + 4. Let v be c(4). Let q be 64 - v - -1 - -2. Let z = q + -2. Is z a composite number?
True
Let n = 1472 + -1036. Suppose -n - 434 = -3*i. Is i/6 + (-4)/(-6) a composite number?
True
Let d be -1 + (-1)/((-2)/6). Let t be 3 + 2/((-4)/d). Suppose -3*k = -v + 5 + t, 0 = -2*k. Is v a composite number?
False
Suppose 0*x - 4*x = 28. Let j(n) = n**2 - 6*n - 2. Is j(x) a prime number?
True
Is (-12582)/(-14) - (-6)/(-42)*-2 a prime number?
False
Suppose 0 = 2*c + 4*u - 30, -4 = -5*c + 4*u + 1. Suppose 341 = 2*h + b, 3*h - 336 = c*b + 143. Suppose -k + y + h = 0, -2*k - 5*y = k - 464. Is k prime?
True
Let x = 274 + -164. Let p = x + -57. Is p prime?
True
Let k = 2926 + -2049. Is k a prime number?
True
Let y(g) = 24*g**2 + 3*g - 2. Let m be y(2). Suppose -w - 133 = -4*z + 65, m = 2*z - w. Is z a composite number?
True
Suppose -y - 4*y - 2*c + 1020 = 0, 0 = 5*y + c - 1025. Is y composite?
True
Suppose -7*q - 37 = -5*h - 3*q, 0 = -q - 3. Suppose -8 = -2*o - 2*o. Suppose -5*w + 84 + 111 = h*i, i - 74 = -o*w. Is w a composite number?
True
Let m(r) = -r + 7. Let k be m(0). Let p(g) = 10*g - k + 2 + 5*g. Is p(4) composite?
True
Suppose -4*w = w. Suppose -2*u + 962 + 726 = w. Suppose -2*i + u = 2*i. Is i a prime number?
True
Let k(r) = -7*r - 2. Let f be k(-2). Suppose -2*i - 3*i = -5*v, -5*v - 6 = -3*i. Is f + v*1/(-3) a composite number?
False
Let x(z) = 2*z**3 + z**2 + 2*z - 2. Let h be x(5). Let r = 470 - h. Is r a prime number?
False
Let h(i) = -2*i**3 - 3*i + 2. Let x be (-7)/(-4) + (-6)/(-24). Let a be h(x). Let r = a - -33. Is r a prime number?
True
Suppose 9*r - 20 = 4*r. Suppose -5*z - 241 = -r*u, -39 = -u - 0*u - 3*z. Let k = u - 31. Is k prime?
True
Let k(r) = -2*r**2 - 1. Let p be k(2). Let h = p - -2. Is 12/42 + (-320)/h a composite number?
True
Let n(b) = 12*b**2 + 2*b - 3. Is n(5) a prime number?
True
Let f = -24 + 85. Suppose 1 + 3 = -p, -g = -2*p - f. Is g prime?
True
Let v(h) = 5*h. Let j be v(1). Suppose -10 = f - j*f + 2*y, -17 = -2*f - 3*y. Suppose -f*t = -109 - 103. Is t a prime number?
True
Let u = -97 + 39. Let m = u + 143. Is m prime?
False
Suppose -p + 334 = -465. Is p a composite number?
True
Let l be 3/2*-2 - -5. Let k(f) = 4*f**3 - 2*f**2 + 2*f - 3. Is k(l) a composite number?
True
Suppose 3*l + 2*f - 432 = 0, 590 = 4*l - 6*f + 4*f. Let x = -102 + l. Suppose -2*i = -0*i - x. Is i a composite number?
True
Let j(w) = w**3 - 16*w**2 + 15*w + 4. Let o be j(15). Suppose o*x - 3155 = -x. Is x a composite number?
False
Let q be ((-10)/(-3))/((-8)/36). Let u = q - -52. Suppose 0 = -4*m + 3*m + u. Is m composite?
False
Let o = 372 - 137. Suppose -2*a + a + j = -56, 5*a + 4*j = o. Is a prime?
False
Let z = 9 - 5. Suppose 9 = -3*q, q - 3 = -5*h + z. Suppose d - 34 = -5*v, h*v + 4*d - 10 = -0*v. Is v a composite number?
False
Let l(a) = a. Let m be l(4). Suppose 0 = 5*g - 4*g + m. Is g/6 - 298/(-6) a composite number?
True
Is ((-2164)/6)/((-12)/(-9) - 2) prime?
True
Let y(d) = -2 - 11*d + 0 - 1 + 5. Let b be y(6). Let l = b - -101. Is l a prime number?
True
Let d(x) = 0*x**3 + 9 - 2*x - x**3 + 11*x**2 + 3. Let n be d(11). Is n/(-55) - 229/(-11) a composite number?
True
Let y(i) = -2*i**2 - 5*i**3 + 2*i - i**2 + i**2. Is y(-3) prime?
False
Let g(n) = 4*n + 4*n**2 - n + 3*n**2 - 5 - 5*n**2. Let c(k) = k**2 - 5*k - 4. Let h be c(5). Is g(h) prime?
False
Let k = -2 + 1. Let a be (8/10)/(k/(-5)). Suppose -a*f + 123 = -3*f. Is f a prime number?
False
Is 1*3 - (635/(-5) + -1) a composite number?
False
Let w = -32 - -13. Let n = -12 - w. Is n prime?
True
Let z(h) = h**3 + 4*h**2 + h - 2. Let f be z(-3). Suppose 0 = -f*w + 12. Is w composite?
False
Let c(x) = 2*x**3 - x**2 + 7*x - 7. Is c(7) composite?
True
Is 1668 + 7 + 4/(-2) a composite number?
True
Let v be (3/(-1))/(-3) + 11. Let i be v/(-42) + (-16)/(-7). Suppose -i*s - 2*s + 628 = 0. Is s a prime number?
True
Let l(w) be the third deriv