composite number?
False
Let q(g) = -4 + 1 - 42*g - 5 + 1. Is q(-3) composite?
True
Suppose -y + 3*y - 46 = 0. Let i = y + 10. Is i a composite number?
True
Let c(i) = i**3 - 10*i**2 - i - 6. Let t be c(5). Let y = t - -263. Is y a composite number?
False
Suppose -104 = -n - n. Let w = 7 + n. Is w prime?
True
Let c be ((-9)/(-6))/(2/8). Suppose 0 = -n + c*n - 275. Is n prime?
False
Let o(i) = -4*i**2 + 0*i - 2 - 4*i + 0*i. Let f be o(-3). Is -2 + (f - -2)/(-1) prime?
False
Let h(j) = j**3 - 7*j**2 - 2*j + 5. Let q be h(8). Suppose 0 = y + 2*f - q, -y + 4*y = 2*f + 159. Is y prime?
True
Suppose 6*a - 9 = 3*a. Suppose 2*v = a*v - 13. Is v prime?
True
Suppose 5*s - 308 = s. Is s prime?
False
Let k = -2 + 2. Suppose 2*l + k = 4. Suppose 5*s = l*s + 57. Is s a composite number?
False
Let h = 2 - -2. Let z(k) = -3*k - 8 - k - h*k + k. Is z(-9) prime?
False
Let q = 2 - 0. Suppose -25 = -q*j + s, 2*s = -3*j + 4*s + 35. Is j prime?
False
Let l = 1 - -4. Suppose l = p - 14. Is p prime?
True
Let u be 5866/21*(-9)/(-2). Suppose -z = -u + 210. Suppose 4*j + 2*m - z + 395 = 0, 4*j - 656 = -3*m. Is j prime?
False
Let r(k) = k**3 - 13*k**2 + 5*k + 6. Let q(l) = l**2 + l. Let g(z) = 4*q(z) + r(z). Is g(8) a composite number?
True
Let c(v) = 5*v**2 - v. Let o be -2 + 3 - (-1)/1. Suppose p = -p - o. Is c(p) composite?
True
Let o(j) = 3*j**2 + 4*j - 4. Let m = -12 - -3. Is o(m) a composite number?
True
Suppose -2*p - 5 = -s - 0*p, 3*s + 5*p = -7. Is (-1096)/(-12) - s/3 prime?
False
Suppose 0 = -l - 2*l + 1041. Is l composite?
False
Let w = -43 - -9. Let k(g) = -15*g - 3. Let p be k(-4). Let j = p + w. Is j prime?
True
Let h be 2/8 - (-50)/(-8). Let d = -4 - h. Suppose 5*i - d*i = 141. Is i a prime number?
True
Suppose -4*g = -9*g + 3845. Is g a composite number?
False
Let y = -133 + 264. Is y prime?
True
Suppose 0 = -160*b + 165*b - 16655. Is b prime?
True
Let u = 55 - -27. Is u a composite number?
True
Let x = 14 + -10. Let j be x*(-2 + 5/2). Suppose 0 = -j*w - 10, 3*w = 3*k - w - 62. Is k prime?
False
Let w(u) = -6*u + 41. Is w(-18) a prime number?
True
Let t = -7 - 6. Let p(k) = -7*k. Is p(t) composite?
True
Let b be 4/14 - 406/49. Let p(d) = -49*d + 17. Is p(b) composite?
False
Let l(z) = z**2 - 9*z. Let v be l(9). Suppose 4*o - o - 765 = v. Suppose u = b + o, 0*b + 3*b = 4*u - 1022. Is u a composite number?
False
Suppose 120 = -7*r + 2*r. Let y = 3 + r. Let i = 31 + y. Is i a composite number?
True
Suppose -2*g - 598 = -4*g. Is g a prime number?
False
Suppose -85 = -2*k + 129. Let n(c) = -c + 19. Let i be n(15). Suppose 3*b = i*q + k, -q - 6 - 128 = -4*b. Is b composite?
True
Let d = -407 - -822. Is d prime?
False
Let h(x) = x - 4. Let o be h(7). Suppose 5*l = -q + 74, -107 = -4*q + o*l + 212. Is q a composite number?
False
Suppose 0 = -2*g + 3 + 5. Let b be (6/g)/(3/8). Suppose b*y = -4*a + 104, 4*a - 3*y - 72 = a. Is a a prime number?
False
Suppose 2*i - 108 = -2*i. Suppose 2*v + 27 = v - 3*c, 40 = -5*v + 4*c. Let q = i + v. Is q a composite number?
True
Let z = -64 + 191. Is z a composite number?
False
Suppose -2*v - 2*v - 16 = -4*q, -5*v + 2*q = 11. Let z(h) = -348*h**2 + 1. Let i be z(v). Let y = 570 + i. Is y prime?
True
Let x be ((-20)/(-15))/((-2)/(-3)). Suppose -4*f - x + 86 = 0. Is f composite?
True
Is -3 + (136*1)/2 a composite number?
True
Let i = -955 + 1964. Let t = i - 572. Is t prime?
False
Let h be -469 + (-2 + 0 - -1). Let q = h + 661. Is q a prime number?
True
Suppose 284 = -5*c - 0*r - 2*r, 113 = -2*c - r. Let f = c - -395. Is f composite?
False
Let z be 115/(-13) + (-4)/26. Let o(h) = -6*h - 1. Is o(z) a composite number?
False
Let z = 173 - 88. Suppose 2*c = 21 + z. Suppose 5*v = 22 + c. Is v composite?
True
Let x(z) = -z**3 + 4*z**2 + 5*z + 3. Let r be x(5). Suppose -c - 254 = -r*c. Is c prime?
True
Suppose -2 + 27 = 5*n. Suppose -5*s = 3*q - 235, 0 = -2*q - n*s - 0*s + 150. Is q prime?
False
Suppose -p - 15 = -6. Let g be (-6)/4*12/p. Suppose -i + 23 = -g*c, -i + 6*i - 167 = -3*c. Is i a composite number?
False
Suppose -5*r + w + 77 = 0, -5*r + 5*w + 38 = -47. Let q = r + 7. Is q prime?
False
Let o(p) = 2*p**2 - 7*p + 12. Let a(l) = -l**3 - 6*l**2 - 3*l - 1. Let f be a(-5). Is o(f) composite?
False
Suppose 1 = i - 2. Suppose i*h - 515 = 8*h. Let l = h + 154. Is l a composite number?
True
Let b(o) = -o**3 + 6*o**2 - 5*o + 3. Let n be b(5). Suppose -2*j - 5*y = n*j - 1960, -793 = -2*j - 5*y. Is j a composite number?
False
Suppose -4*l - 4*b + 2116 = 0, 3*l = 4*b + 2346 - 780. Suppose -486 - l = -4*s. Is s a composite number?
True
Let p be (-14 - -4)*3/(-6). Is 5/(p/3) + 188 composite?
False
Suppose -f - 3 = -0. Let i(m) = 3*m - 5*m + 2 - 5*m. Is i(f) prime?
True
Suppose -19*i + 14781 = -6*i. Is i composite?
True
Let r be (2 + -4)*-26 - -1. Let n = 88 - r. Is n composite?
True
Let a be 40/2 - (1 - 2). Suppose -p + w + 3*w = -2, 10 = 5*p - 5*w. Suppose a = 3*v - p*v. Is v prime?
False
Let s be (-4)/(-18) + 160/9. Let g = 47 + -82. Let d = s - g. Is d a composite number?
False
Suppose 0 = j - 233 - 146. Is j a composite number?
False
Let c(n) = n**2 - 7*n - 11. Suppose -5*r = 7 - 57. Let w(h) = -h**2 + 10*h - 8. Let s be w(r). Is c(s) prime?
True
Let g = -655 - -992. Is g a prime number?
True
Let x be (-6)/(-9) - 2/(-6). Let t(f) = 1 + 29*f**3 - 2*f + 35*f**3 + 22*f**3. Is t(x) a prime number?
False
Let m = 327 + -200. Is m prime?
True
Let d(j) = -87*j**3 - 3*j**2 + j + 3. Is d(-2) a prime number?
False
Let j(c) = -c**3 - 6*c**2 + 3*c + 3. Is j(-7) composite?
False
Let u be (6/(-4) + 2)*4. Suppose 0 = o - 6*o + 5*l, -u*l = -5*o + 9. Is o composite?
False
Let a(z) = -z**3 - 7*z**2 + 4*z - 1. Is a(-15) composite?
True
Suppose -3*h - 25 + 102 = 2*t, 2*h - 2*t - 58 = 0. Let w = 158 - h. Is w a composite number?
False
Let u be 0 - 0 - (2 - 2). Suppose 0 = -h - u*h + 133. Is h prime?
False
Let c(m) be the third derivative of m**6/120 - m**5/12 + 5*m**3/6 + m**2. Let n be c(5). Suppose 0 = -n*u + 58 - 3. Is u composite?
False
Suppose -6 - 9 = 4*w + u, 5*w + 4*u = -27. Is w/6*830/(-5) a prime number?
True
Let t be 2/((-174)/(-173) + -1). Is 6/(-27) + t/18 prime?
True
Let f(q) = -128*q + 1. Is f(-2) a prime number?
True
Let t(j) = -3*j. Let b be t(-1). Let h = 0 + b. Let y = h + 11. Is y prime?
False
Suppose 0 = o - 183 + 34. Suppose 2*l + 12 - 310 = 3*d, l = -5*d + o. Is l composite?
False
Let q(l) = -l**3 + 11*l**2 + 15*l - 5. Is q(12) a composite number?
False
Suppose 2*j + 0*d + d + 4 = 0, -5*d + 40 = -5*j. Let u = j - -4. Suppose -27 = 5*h + x - 290, 3*h + 4*x - 151 = u. Is h composite?
False
Let v(q) = 5*q + 1. Suppose -4*s = -2*b + 3*b - 10, 5*s - 6 = 2*b. Let a = 4 - s. Is v(a) prime?
True
Let h = 45 - -218. Is h a composite number?
False
Let r(q) = -323*q**2 + 1. Let m be r(1). Is (1/(-2))/(1/m) a composite number?
True
Let u(p) = 18*p**2 - 12*p + 13. Is u(10) composite?
False
Suppose -2*q - 116 = -4*q. Is q a prime number?
False
Let k(h) = -11*h - 30. Is k(-9) composite?
True
Let y(h) = -h**3 + 2*h**2 - 2*h - 3. Let n be y(-4). Let b be (-1)/(3*2/(-276)). Let w = n - b. Is w prime?
False
Let g be 16/(-12)*6/(-4). Suppose 77 = -0*h + h - 4*x, g*x - 89 = -h. Is h a composite number?
True
Suppose -1 = k, 0*n + 5*n = -4*k + 1771. Suppose -3*c = -5*p - 247, 4*c = -3*p - 45 + n. Is c a composite number?
False
Let k be 1577/9 - 14/63. Let y = k - 78. Is y a prime number?
True
Suppose x = 4*x. Suppose -265 = -x*p - 5*p. Is p a prime number?
True
Let m(j) be the first derivative of j**4/4 - 7*j**3/3 + 2*j**2 + 7*j + 2. Suppose -18 = -3*g + 3. Is m(g) prime?
False
Suppose 0*y + 67 = y. Is y prime?
True
Let h = 243 - -1183. Suppose -4*i - 5*c + 3233 = -h, -5*i = 4*c - 5835. Is i prime?
True
Let i be (955/10)/(2/12). Suppose -2*z - 3*f + 575 = 0, 2*z - 4*f = -9*f + i. Is z prime?
False
Suppose -79 = -5*g + 71. Let w = 79 + g. Is w prime?
True
Let s(l) = -l + 0*l**2 + 2*l**2 - l**2 + 2. Let y be s(0). Suppose y*o + 4*g - 174 = 0, -3*g + 6*g = 5*o - 370. Is o a prime number?
False
Let o(n) = -8*n**2 - n - 8. Let i be o(6). Is i/(-6) - (-2)/3 a prime number?
False
Suppose -6*r + 2931 + 3807 = 0. Is r composite?
False
Let r = -24 - -47. Let h = -8 + r. Is h a prime number?
False
Suppose 0*p + 28 = 4*p. Let g be 58/p - 2/7. Suppose 2*s = g + 6. Is s c