ose -67 = -b*f - 4*p - 9, 5*f = -2*p + 121. Is f prime?
True
Let h(b) = 2*b**2 + 3*b - 3. Let o be h(-3). Suppose -o*i = -5*i - 33. Is i a prime number?
False
Suppose 0 = -c - 4*w + 14, 0 = -c - c - 2*w + 10. Suppose c*l - 4*t = 58, -169 = -6*l + l + 2*t. Is l prime?
False
Let y(w) = 3*w**2 + w - 2. Let n be y(-2). Let g(b) = 48*b - n + 2*b + 5. Is g(2) a composite number?
False
Let p(v) = 2*v**2 - 3*v + 7. Let z be p(4). Is (-2 + -1)*(-5094)/z a prime number?
False
Suppose -5*o + 4*j + 2735 = 0, 99 + 995 = 2*o - 2*j. Is o a composite number?
False
Suppose 31*n - 32*n + 7219 = 0. Is n prime?
True
Let j = 66 + -128. Is (j/3)/(2/(-3)) a prime number?
True
Suppose 5*y = 3*o + 8999 - 28169, 0 = -o + 3*y + 6394. Is o a prime number?
False
Let j = 6 - 0. Let w(l) = -l**3 + 7*l**2 - 5*l - 8. Let z be w(j). Is 2 - ((z - -2) + 0) a prime number?
True
Suppose -176 = -4*w + 28. Let m = 134 + w. Is m prime?
False
Let q(x) = 3*x**2 + 2*x - 3. Let c be q(-3). Let s = c + -11. Is s prime?
True
Let g(m) = m**2 + 1. Let v be g(1). Suppose 2*n - 6 = 0, -v*k = k + 3*n + 9. Is k/33 - 849/(-11) prime?
False
Let v be (-12)/7*28/(-8). Is 10/4*(v - -16) composite?
True
Let y be 10*2*3/12. Suppose -y*z + 1054 = -r, 3*z - r = 201 + 431. Is z prime?
True
Let u = 214 + 300. Is u a composite number?
True
Let o be (-2 - -3) + 1 + 1. Let m = 40 - o. Is m composite?
False
Let m(t) = 14*t**2 - 8*t + 1. Is m(-7) prime?
True
Let k = -8 - -6. Is (-1)/k - (-740)/8 prime?
False
Suppose 14 + 13 = 3*f. Suppose 5*y + f*q = 4*q + 1020, 2*y - q = 399. Is y a prime number?
False
Let k(x) = x + 7. Let o be k(6). Suppose -4*y - 3*l = -133, -y + o = -3*l - 9. Is y prime?
True
Is (-3 - (-3 - -7))*-11 prime?
False
Let b(j) = j**3 + 12*j**2 + 6*j + 4. Let g = -36 + 25. Is b(g) a prime number?
True
Suppose -2*p + 4*p = 0. Let s be -3*1/(-3 + p). Suppose y - 73 = 4*w, -s = -5*w + 4. Is y composite?
True
Suppose 4*a = 4*j - 1100, -3*j + a - 809 = -6*j. Is j prime?
True
Let n be (-7)/3 + (-1)/(-3). Let w = n + 1. Let c(u) = -32*u**3 - u**2 + u + 1. Is c(w) a composite number?
False
Let h(v) = 64*v**2 - 5*v + 2. Let s = 12 - 9. Is h(s) a prime number?
True
Is (-5)/(10/2)*-211 composite?
False
Let w be (-2 + 4 - 10)/(-2). Suppose -w*o + 3*f = 5*f, 0 = 2*f. Is 1 + 6*7 + o a composite number?
False
Is 1*-3 + (-444)/(-12) a composite number?
True
Let i(m) = 48*m**2 + 1. Let x be i(-1). Suppose -40 = -l + x. Is l prime?
True
Let h = 2550 - 1323. Is h a composite number?
True
Suppose -3*o - 12 = -5*r, 3*r - 3*o - 4 = -2*o. Suppose 4*q + m + 13 = 0, 3*m + 9 = 3*q - 0*m. Is (3 - -36) + q + r a composite number?
False
Suppose q + 19 + 232 = -5*g, -550 = 2*q - 2*g. Let h = -122 - q. Is h a prime number?
True
Let o(k) = 6*k**3 + 3*k**2 + k - 1. Is o(3) composite?
False
Suppose -3*g + 17 = 3*z - 13, 2*z = -3*g + 30. Let d be g/4*(1 + 1). Suppose d*u - u = 140. Is u composite?
True
Let u = -137 + 300. Is u a composite number?
False
Let g(d) = 64*d + 3. Suppose -5 = -2*f + 3. Is g(f) composite?
True
Let f = 7 - 1. Suppose 0 = -h + f*h + 2*z - 1293, 5*z = -5*h + 1290. Is h a prime number?
False
Suppose 3*u - 4677 = -3*k, 5*k - 8*u = -5*u + 7795. Is k prime?
True
Let k(v) = 12*v**3 + 4*v**2 - 6*v + 5. Is k(3) a composite number?
False
Let q = 10 + -155. Let w = -12 - q. Is w composite?
True
Let w be 3 - -1*(1 - 0). Suppose -w = 2*i - 138. Is i a prime number?
True
Suppose 0*r - 2 = -2*d + 4*r, 5*r + 7 = -2*d. Let f be 0 - (1 + -5)/d. Is 83 - (-2 - f)*-1 a composite number?
True
Suppose -1082 = -3*b + b. Is b a composite number?
False
Let j be (-2)/10 + (-231)/(-5). Suppose t = 5*z - 69 - 46, -2*z + 2*t = -j. Is z prime?
True
Suppose q - 7*c + 2*c - 767 = 0, 3*q = 5*c + 2281. Is q a prime number?
True
Let d(b) = b**3 + 10*b**2 - 11*b - 8. Let g be (88/32)/(2/(-8)). Let k be d(g). Is k/12*(-4 - -1) a composite number?
False
Let w = 119 - -290. Is w prime?
True
Is ((-10)/4 + 2)*-1526 a composite number?
True
Let z(m) = -m**3 - m. Let r(n) = -6*n**3 + n**2 + 1. Let y(i) = r(i) + 2*z(i). Let v be y(1). Let c = 18 + v. Is c a composite number?
True
Let o = 5263 - 3672. Is o a prime number?
False
Suppose -2*o + 208 + 174 = 0. Is o a composite number?
False
Is 9/(-6) + (-377)/(-2) a prime number?
False
Suppose -9*s + 6*s = -2169. Is s a composite number?
True
Suppose 0 = -11*i + 16*i - 15395. Is i prime?
True
Let a(f) = f**2 + f - 1. Let r be a(-2). Let l be r + -1 - (-68 - 7). Suppose -y + 16 = -l. Is y a composite number?
True
Let g = 1632 + -919. Is g a prime number?
False
Let k(i) = -i - 5. Let j be k(-7). Suppose j*o - 7*o + 50 = 0. Suppose 2*h = o + 168. Is h composite?
False
Let i be -2 + -3 + (0 - -1). Let p = 6 + i. Suppose p*z + z - 226 = 5*a, 2*z = a + 153. Is z prime?
False
Let p be (-7688)/(-7) - (-6)/(-21). Suppose 5*y + 373 = p. Is y a composite number?
True
Let r = -2 + 6. Suppose -7*t - 113 = -3*y - 2*t, 0 = -4*t + 20. Suppose 170 = r*b + y. Is b a composite number?
False
Let l = -9 + 14. Suppose -3*q = 5*v - 545, -2*q - v - 557 = -l*q. Is q a prime number?
False
Let l = -6 + 10. Suppose l*a - 22 + 2 = 0. Suppose 130 = d + a*u + 26, 3*d + 3*u = 252. Is d a composite number?
False
Let k(x) = x**2 + 6*x + 7. Let h be ((-1)/(-3))/(1/3). Let y be h/3 + 22/(-3). Is k(y) a prime number?
False
Is (13/(-2) + 1)/(5/(-370)) prime?
False
Suppose -2*g = 10 + 8. Let t be 3/(g/6) - -1. Is 15 - 1 - (-1 - t) a prime number?
False
Suppose -k - 4*p + 20 = 3*k, 0 = 3*k + 4*p - 13. Suppose -k*m = -2*m + 40. Is (-294)/m + 3/12 a composite number?
False
Suppose -8 = 2*o, 4*r + 85 = 3*o - 75. Let y = r + 80. Is y prime?
True
Suppose 5*y = 4*z + 10915, 0 = -5*z - 14 - 11. Is y prime?
True
Suppose 3*r = -2*r - 60. Is (-115)/(-30) - 2/r a composite number?
True
Let b = 6 - 6. Suppose -2*m - r + 84 = 0, -m - 2*r + 42 = -b. Let j = 64 - m. Is j prime?
False
Let q be 3/((3/2)/(-1)). Let z be 1/((-3)/(-36))*1. Is (3 + q)*z/2 a composite number?
True
Let j(p) = -8*p - 9. Let b(o) = 7*o + 9. Let v(w) = -6*b(w) - 5*j(w). Let z(a) = -a**2 + 14*a + 9. Let n be z(15). Is v(n) a composite number?
False
Suppose 2*c = 3*c - 335. Is c composite?
True
Let m = 7 + -2. Suppose 0 = 2*g + 8, m*r = -g - 74 + 675. Is r a composite number?
True
Suppose 5*p - 19 = 1. Let i(g) = g**2 + g. Let s be i(0). Suppose -p*b + 88 = -s*b. Is b a composite number?
True
Suppose -4*a - 27 = -a. Let n be a/12*-26*4. Is n/(-4)*(-6)/9 prime?
True
Suppose 0 = 3*q + q - 48. Is (-8)/q*1146/(-4) composite?
False
Let k = -152 + 238. Is k prime?
False
Let f(x) = -x + 11. Let i be f(0). Let w = 16 - i. Suppose -4*a = w*c - 591, 3*a - 301 = a + 3*c. Is a composite?
False
Let p be (15/2)/(-5)*-586. Suppose -3*o = -6*o + p. Is o composite?
False
Suppose l = 2*l - 2. Suppose -3*v = l*v - 20. Suppose -v*w = -0*w - 28. Is w a prime number?
True
Let g(t) = 34*t**2 + 2*t - 2. Let v be -1*2 + 3 + -3. Let i be g(v). Suppose 3*s + 2*s - i = 0. Is s composite?
True
Let d(f) = -f**3 - 10*f**2 + 8*f + 12. Let i be d(-11). Suppose 0 = 2*s - 57 - i. Is s a composite number?
True
Suppose 0 = -3*a + 3*m - 7530, -3*m + 12542 = -a - 4*a. Is a/(-21)*(-6)/(-4) a composite number?
False
Suppose 8*a - 9*a + 329 = 0. Let w = 540 - a. Is w composite?
False
Suppose -3 = -t + 2*t. Let y be ((-69)/1)/(t/10). Let l = y - 103. Is l composite?
False
Let z(x) = -x**3 + x - 148. Let j be z(0). Let s = j + 259. Is s a prime number?
False
Let l(w) = w**3 - 8*w**2 + 8*w - 4. Let o be l(7). Suppose -2*q - o = -3*q. Suppose -56 = -2*y + 2*s + 8, -q*y + 103 = 4*s. Is y composite?
True
Suppose 0*o + 10 = -5*o. Is 2*o*26/(-8) prime?
True
Let w(x) = 14*x**2 + 3*x - 4. Let b be w(-3). Suppose f = -z - b, 4*f = z + 2*f + 98. Let o = z - -155. Is o prime?
True
Let m = 144 + -66. Suppose 0 = -2*z - 5*j + 2*j + m, -4*z + 154 = 5*j. Is 692/z - (-2)/(-9) prime?
True
Suppose 3*b - 20 = -b. Suppose 2*m - 3*s = 295, 2*m - 300 = -0*s + 2*s. Suppose 4*n = 13 - b, 0 = 3*f + 4*n - m. Is f composite?
True
Suppose -1 + 31 = 5*t. Let r be t/(-2) - -5*10. Suppose 0*q = -2*i - 5*q + r, 37 = 2*i - 5*q. Is i prime?
False
Suppose 2*a = -a + 3, a = -3*k - 23. Let d = k - -12. Suppose 2*g - 5 = -1, -g + 158 = d*r. Is r a composite number?
True
Suppose 3*q - 12 = -q - 2*z, -q + 4*z = 6. Let m be (9/(-1))/(1 - q). Suppose 0 = 2*o - m - 21