posite number?
True
Suppose 4*x + 0 - 8 = 0. Suppose 3*i = x*g - 83, 2*i + 154 = 5*g - g. Is g prime?
True
Let x(m) = m + 3. Let h be x(-7). Let u = h - -4. Suppose u = -5*g - 2*i + 397, 2*g - 268 + 115 = 5*i. Is g a prime number?
True
Suppose -s + 441 = 2*w, s + 52 + 383 = 2*w. Is w composite?
True
Suppose 0 = 34*w - 36*w + 318. Is w a composite number?
True
Suppose -x = -3*x + 50. Is x a prime number?
False
Let o = 2404 - 1343. Is o composite?
False
Is 3796 + 6*1/(-2) composite?
False
Let x(d) = -3*d**2 - 3*d**3 + 6*d + 6*d**3 + 5 - 4*d**3. Let g be x(-4). Let c(y) = -42*y + 1. Is c(g) a prime number?
True
Let z = 10 + -6. Suppose 321 = 4*k - 5*g, 121 + 196 = z*k - g. Is k a prime number?
True
Let a(n) = -n + 2. Let g be a(6). Let w be 106/g*(-1 + 5). Let c = w + 165. Is c prime?
True
Suppose -z = 3*z - 5*n - 100, -25 = -z + 4*n. Let h = 0 - z. Let g = -12 - h. Is g a composite number?
False
Let v = 332 - 193. Suppose -4*u = -321 - v. Is u composite?
True
Suppose 3*h - 61 = 140. Suppose 0 = -4*z + h + 465. Is z prime?
False
Let f(n) = -2*n**2 + 2*n. Let w be f(4). Let a = w - -40. Let h = 10 + a. Is h a composite number?
True
Let z(s) = 4*s + 4. Suppose 2*k = -r - 4*r + 17, -r + 25 = -5*k. Let j be z(k). Let t = 22 + j. Is t prime?
False
Suppose 5 = -2*h - 3. Suppose 11 = -2*k + 3*m - 0*m, 0 = 2*k + 2*m - 4. Let o = k - h. Is o prime?
True
Let w(q) = q**3 + 4*q**2 + 3*q - 4. Let a be w(-3). Let x be -29 + 1 - 0/a. Let d = -13 - x. Is d a prime number?
False
Let f(p) = p**3 - 8*p**2 + 8*p - 9. Let j be f(7). Let x(m) = -15*m - 50. Let g(n) = -3*n - 10. Let c(d) = j*x(d) + 11*g(d). Is c(-7) composite?
False
Suppose -2*a + 3*a = 7. Suppose 5*c + x = 6 + a, -3*c - 4*x + 18 = 0. Is 30 - (c + -1)/(-1) composite?
False
Let a(d) = -71*d - 3. Let w be a(-6). Suppose 0*s + w = 3*s. Suppose 3*x + s - 372 = 0. Is x a prime number?
False
Is 2/(-6) - (-344)/6 a prime number?
False
Suppose -5*r = -2*p - 1784, 3*r - p - 1068 = p. Is r a composite number?
True
Let m(w) = -w**3 + 7*w**2 + 5*w - 10. Let x be m(7). Suppose -x = -5*r + 4*u + u, -5*u - 1 = 3*r. Is r prime?
True
Suppose 10 = -3*a - 5*i, 4*a + 0*i + 2 = -i. Suppose a = g + 2*x - 371, -3*x + 1 - 13 = 0. Is g a composite number?
False
Suppose 0 = -4*w - 5*c + 8, -4 = -0*w - 4*w - 4*c. Let s be (-5)/(-2) + w/6. Suppose -4*j = -5*j - 5*p + 34, s*j - p - 35 = 0. Is j prime?
True
Let k(u) = 8*u - 4. Let n(b) = -9*b + 4. Let t(i) = -5*k(i) - 6*n(i). Is t(3) a prime number?
False
Let f(q) = q**2 + q**2 + 3*q**2 + q. Let v be f(-1). Suppose -35 = -v*z + 17. Is z a composite number?
False
Suppose i - 4 = 0, 3*i = -3*v - i - 11. Suppose 0 = 2*m + 2*u + 3*u + 90, 4*m = u - 158. Let g = v - m. Is g prime?
True
Let z = 22 - 9. Is z/2 + (-5)/10 a composite number?
True
Let i(a) = a**3 + 2*a**2 - 3*a + 4. Let t be i(-3). Suppose -4*y = t*w - 8, 2*y - 1 = w - 2*w. Suppose w*v - 152 - 1 = 0. Is v a composite number?
True
Suppose 5*l - 3*o + 3 = 0, 4*l = l + 4*o - 4. Suppose l = 3*b - 4*b + 97. Is b composite?
False
Let v(w) = w - 8. Let z be v(8). Suppose 4*u - 5*m - 45 = z, 3*u + 2*m + 2*m = 26. Is u a prime number?
False
Suppose 10*w + 10*w - 6340 = 0. Is w a composite number?
False
Suppose 0*b - 4*b + 20 = 0. Suppose 0 = 5*q - 4*m - 699, -3*q = b*m - 347 - 102. Is q composite?
True
Let m be (-1 + -5)*127/(-2). Suppose -2*k - 3*v + 635 = 3*k, -3*k - 5*v = -m. Is k prime?
True
Suppose 0 = -j + 2*j + 162. Is -1 - -3 - (1 + j) a composite number?
False
Suppose 0 = -2*v + 3*j + 2*j + 288, -4*v = -3*j - 590. Is v prime?
True
Let b be ((-2)/(-6))/((-1)/(-9)). Suppose 2*q + 421 = b*o, -36 - 100 = -o + 5*q. Suppose -a - o = -4*a. Is a a composite number?
False
Let w = 454 - 255. Is w a composite number?
False
Suppose -2*q = -1 + 9, c + 2*q - 29 = 0. Is c prime?
True
Suppose 0*v - 2*v + 3274 = 0. Suppose -297 = 4*g - v. Is g a prime number?
False
Let v be (-2)/(-11) - (-6)/(-33). Let y(q) = -q**2 + q + 9. Let p be y(v). Is ((-6)/p)/(4/(-258)) a composite number?
False
Let q(w) = 8*w - 2. Let n = 0 - -2. Is q(n) a prime number?
False
Let r = 4 + -2. Suppose -3*q - 2*d = -r*q - 68, -4*d = q - 78. Is q composite?
True
Suppose 0 = -51*s + 39*s + 20868. Is s a prime number?
False
Suppose 3*y + 8 = 2*q + y, 5*y - 34 = -4*q. Suppose 0 = 5*i + 5*p - 100, i - 3*p = 10 + q. Is i a prime number?
True
Is (10413 - -1)/2 + 2 composite?
False
Let q be (-2 - -10)/(2*1). Suppose 0 = 4*n - 0*f - 3*f - 72, -n - q*f - 1 = 0. Let i = n - 9. Is i a composite number?
True
Let u be 0/(-1 + 1 - -1). Suppose x - 2*l = 629, 5*x - x + l - 2525 = u. Is x a composite number?
False
Let k be (1/(-2))/((-2)/132). Let t = 3 + k. Let s = 87 - t. Is s a composite number?
True
Let a = 340 - -398. Suppose -5*k = k - a. Is k a prime number?
False
Let f be 70/15 + (-4)/6. Suppose 5*s = 4*g + 245, 4*g + 187 = f*s - g. Is s prime?
True
Let h = -11 + 5. Let i(x) = 2*x**2 + 5*x - 4. Let r be i(-5). Let k = h + r. Is k a composite number?
True
Let u = -2 + 4. Let o = -12 + 13. Is o/u + (-133)/(-2) a prime number?
True
Suppose 2*y - 4*j + 47 = 5*y, 0 = -2*y - 2*j + 30. Suppose x = 4*k + y, -x - 2*k = 16 - 5. Is (-4 - x) + 4*5 prime?
True
Let q = 555 - 355. Let u = q + -129. Is u a prime number?
True
Suppose -5*d - 1 = -16. Suppose 0 = -d*b + 3*k + k + 267, 89 = b + 3*k. Is b prime?
True
Let i(m) = -m**3 - 6*m**2 + m + 8. Let p be i(-6). Suppose 0 = -0*y - p*y + 8. Suppose 6*t + 5*b - 345 = t, y*t - 264 = -b. Is t composite?
True
Suppose -2*n + 0 = 6. Let s be 4*(0 - 3/n). Let p = 33 + s. Is p a prime number?
True
Suppose -134 - 3494 = -4*i. Is i a composite number?
False
Let d = 617 - -6. Is d prime?
False
Let w(p) = 11*p**2 - p - 32. Is w(6) a prime number?
False
Let r be (-3)/(-9) - 7/3. Let p be ((-174)/(-8))/(r/(-8)). Let j = 4 + p. Is j a composite number?
True
Let t = 55 - 9. Suppose -f - 200 + t = -3*y, -5*y - f + 270 = 0. Is y composite?
False
Suppose -4*v + 31 = -g, -2*g + 178 = -6*g - 2*v. Let f be (-24)/(-1 - 0)*1. Let o = f - g. Is o a prime number?
True
Suppose 3*k + 3 + 6 = 0. Let f(u) = u**2 + 6*u + 3. Let x be f(-6). Is (2 - 155/x)*k a composite number?
False
Let u(k) = 8*k - 1. Let z(h) = -31*h + 3. Let x(i) = -9*u(i) - 2*z(i). Is x(-10) prime?
True
Is (1 - 5) + 1*17 a prime number?
True
Suppose 1221 = 6*m - 5217. Is m a composite number?
True
Is 2/11 - 34875/(-275) prime?
True
Suppose 2*v - 7*v = 0. Suppose 2*b - 3*d - 50 = v, -b + d = -11 - 14. Is b a prime number?
False
Suppose 2*k = -k + 3, k = -u - 11. Let v = 2 + u. Let g = v + 17. Is g a composite number?
False
Suppose 3*a + 4 = x, -5*a + 4*a = 2*x - 1. Let f(j) = 55*j**2 + j + 1. Is f(a) prime?
False
Let b(g) = 7*g**3 - g**2 + 9*g - 16. Is b(6) composite?
True
Suppose -4*y + 2588 = -0*y. Is y prime?
True
Let i be (-4)/(-14) + (-40)/(-7). Suppose -q = -i*q + 60. Is q/(-8)*(-44)/2 a composite number?
True
Let u be (-707)/(-2) - 1/(-2). Is u/14 - (-4)/(-14) prime?
False
Is 7358/(-18)*-1 - 2/(-9) a composite number?
False
Let d(f) = 0*f + 1 + f**2 + f + 48*f**3 - 2*f + 0*f**2. Let r be ((-1)/2)/(-1)*2. Is d(r) a composite number?
True
Let s be 7/14 + (-6439)/(-2). Suppose 0 = -o + 6*o - s. Suppose -o = -7*l + 3*l. Is l a composite number?
True
Let v = -408 + 734. Suppose 2*t = v - 28. Is t a prime number?
True
Let a(i) be the first derivative of -i**3/3 + 8*i**2 + i - 1. Let n be a(8). Suppose -2*u = 21 - n. Is u prime?
False
Let s(u) = u**3 + 11*u**2 + 3*u - 3. Let k be s(-9). Suppose 4*z - 272 = -4*p, 5*p + k = 2*z + 3*p. Is z prime?
True
Let f = 12 - 6. Suppose -q - b + 45 = -f*b, -305 = -5*q + 5*b. Suppose -27 - q = -4*r. Is r a prime number?
True
Suppose 4*d - 2*u - 6640 = 2*u, -6646 = -4*d + 2*u. Is d a composite number?
False
Suppose -1113 + 324 = -3*x. Is x a prime number?
True
Let u = -82 + 277. Suppose u = -2*l + 5*l. Is l prime?
False
Let k be -3 - 10/(4 + -2). Suppose -o = -3*m - 15, -36 = 3*m + 5*o - 3. Is (8/m)/(k/60) a composite number?
True
Let u(y) be the second derivative of 19*y**3/6 - y**2/2 - 8*y. Let q = 2 + 0. Is u(q) composite?
False
Let y(t) = t**3 + 2*t**2 - 3*t. Let u be y(-3). Suppose u = 5*c - 196 + 11. Is c composite?
False
Let g be (-1)/5 - (-27)/(-15). Is (-825)/(-22) - g/(-4) composite?
False
Let d = 1115 - -2108. Is d composite?
True
Let b(q) = -q**2 + q + 15