 -1) a prime number?
True
Let x(w) = 2*w**2 + 1. Let h be x(1). Suppose -2*g = 3*d - 78, -h*g + 49 = -2*g + 4*d. Is g a prime number?
False
Suppose -a + 18 + 4 = 0. Suppose s = 3*g + 2*s - 13, 0 = 4*g - s - a. Suppose -293 = -g*h + 152. Is h a prime number?
True
Let u be (-2)/6 - 20/(-15). Is (u*-5)/((-2)/22) composite?
True
Let q(x) = x**3 - 5*x**2 + 7*x - 5. Let a be q(4). Let h(u) = u**3 - 6*u**2 - 8*u + 9. Is h(a) a prime number?
True
Let h(i) = -i**3 + 8*i**2 + 4. Let q be h(8). Suppose q*o = -184 + 668. Is o a prime number?
False
Let y = -14 + 0. Is (y/(-4))/(10/580) a composite number?
True
Let o(j) = -762*j + 2. Let d be o(-1). Suppose -d = -6*w + 2*w. Is w a composite number?
False
Let a = 144 - 55. Is a a composite number?
False
Suppose -5*b + 312 = -343. Is b a composite number?
False
Let o be ((-4)/10)/(1/(-25)). Let h(l) = o*l - 6*l + 7*l**2 + 2*l**2 - 4. Is h(3) composite?
False
Let i = -1788 + 3445. Is i a composite number?
False
Suppose -2*c - 3*l - 2*l = -476, 0 = -l + 2. Suppose -2*a + 57 + c = 0. Is a a composite number?
True
Let q be (-849)/2 + (-5)/(-10). Let n = q - -627. Is n a prime number?
False
Let s(r) be the second derivative of -5/3*r**3 - 7/2*r**2 + 0 + 3*r. Is s(-6) composite?
False
Suppose -2*r - 2*r + 356 = 0. Is r prime?
True
Suppose 0 = -3*n + 2 + 7. Suppose -n*h + 231 = -0*h. Is h composite?
True
Suppose 4*g - 1 - 7 = 0. Suppose -z = 5*b - 5, -g*z + b - 4*b = -3. Suppose -3*w - 2*w + 255 = z. Is w prime?
False
Let r(n) = n**3 + 9*n**2 - 2*n - 10. Let x be r(-9). Let s = 77 - x. Is s prime?
False
Suppose 350 = -3*l + c, 4*l + 574 = -l + 4*c. Let g = -1 + -46. Let p = g - l. Is p a prime number?
True
Let d(c) = c**3 + 4*c**2 + 4*c + 4. Let k be d(-3). Let p be (-603)/(-9) - 1/k. Is p/((-9)/(-3)) - -3 prime?
False
Let i = -54 - -91. Is i composite?
False
Is ((-1)/(1 + -2)*89)/1 a composite number?
False
Let x(g) = -44*g**2 + 2*g - 1. Let w be x(1). Let k = -6 - w. Is k a prime number?
True
Let p = -610 - -5343. Is p composite?
False
Suppose 22*y - 21*y = 54. Is (-3 + 0 - -2) + y prime?
True
Let p = 144 + -53. Let u = 188 - p. Is u a prime number?
True
Suppose a - 9 = 2*g + 2*g, 2*g - 3 = 3*a. Let z = g - -4. Is (-3 - (-18)/z) + -1 a prime number?
False
Let u(a) = a + 3. Let o be u(-9). Let q = o + 8. Suppose q*n + 207 = 5*n. Is n prime?
False
Let m(d) = -26*d + 5. Let u = -7 - -9. Suppose u - 8 = v. Is m(v) prime?
False
Suppose -3*l = l. Suppose -4*d = 4*x - 420, -x - 2*x + 6 = l. Is d a prime number?
True
Let g(y) be the second derivative of 11*y**3/6 + 2*y**2 - y. Let h = -5 + 8. Is g(h) a composite number?
False
Let r be (-1)/(-4) + (-3)/12. Let u(d) = -d**2 - d + 53. Is u(r) a composite number?
False
Let a = -4865 - -7642. Is a composite?
False
Let n(q) = 10*q**2 + q + 4. Let o be n(3). Suppose 2*a = t + 4*t - 433, 0 = -t + 3*a + o. Is t composite?
True
Let w = 281 - 162. Let f = 212 - w. Is f a prime number?
False
Let i(l) = 13*l. Let s be i(5). Let b = s - -56. Is b a composite number?
True
Suppose -5*g + a + 7 = -0*a, g - a = -1. Suppose -g*h = -0*h - 230. Is h a prime number?
False
Let i(j) = 72*j**3 + 2*j**2 - j. Let x be i(1). Let u be x - (-1)/((-2)/4). Suppose -3*o = -u - 40. Is o prime?
True
Let t = 620 - -137. Is t a prime number?
True
Suppose x = 6*x - 10. Let l(b) = 244*b - 1. Is l(x) a composite number?
False
Is (15/(-10))/((-6)/2536) - 3 composite?
False
Suppose -23*y + 1401 = -20*y. Is y composite?
False
Suppose 4*d + b - 15 = 6*b, 5*d - 2*b - 23 = 0. Suppose -n = -0*o - o - 87, -d*n + 419 = -o. Is n a composite number?
False
Suppose 6*w = 4*s + 3*w - 4, 4*w = 2*s - 2. Is -379*(1 + -3 + s) prime?
True
Let g(v) = v**2 - 8*v + 10. Let y be g(7). Suppose -5*n + 4*f + 17 = y*f, -11 = -n + 4*f. Suppose -5*c - n*q = -279 - 149, 0 = -5*q + 5. Is c a prime number?
False
Suppose -3*b = h - 2105, 0*b - 1398 = -2*b - 2*h. Is b a composite number?
True
Let s(v) = -20*v - 3. Is s(-2) a prime number?
True
Suppose -9*p = 6*p - 4665. Is p prime?
True
Let a = 762 - 431. Is a a composite number?
False
Suppose 6906 = u + 5*u. Is u composite?
False
Let n = 1 - -4. Suppose w + 0*b - 8 = -b, 0 = 2*w - 2*b. Suppose 0 = s - w*s - n*o + 206, s - 4*o - 63 = 0. Is s composite?
False
Suppose 244 = -3*l + 5*l + 5*d, 2*l = 4*d + 262. Is l a prime number?
True
Let g be 606/(-4) + (-1)/2. Let c = 313 + g. Is c a prime number?
False
Suppose -2*a + 754 = -0*a. Is a a prime number?
False
Suppose z = -3*y + 277, z + 0*z + 5*y - 269 = 0. Suppose -779 = -4*q + z. Is q a composite number?
True
Suppose -z + 9 = 2*z. Suppose -z*t - 2*t = -445. Is t a prime number?
True
Suppose -p + 23 = 4*i, 2*p - 3*i = -0*p + 79. Is p prime?
False
Suppose 2*z - 8755 = -3*v, -6*z - 12 = -3*z. Is v a composite number?
True
Let o be (-8)/44 + 2842/22. Suppose 0 = -n + o - 32. Is n a prime number?
True
Suppose n + 5*z = 4*n + 5, 4*n - 40 = -5*z. Suppose -n*a - 63 = -248. Is a composite?
False
Let d(h) = 131*h**2 + 7*h - 7. Is d(6) a prime number?
True
Suppose 0 = -14*p + 5*p + 4311. Is p a composite number?
False
Suppose 4*g - 3*l - 15 = -3, 4*g - 12 = 4*l. Let s(q) = 240*q - 1. Is s(g) a prime number?
True
Let y(h) = 5*h + 2*h - 3*h - 6 + h. Is y(5) a composite number?
False
Suppose 8*x + 50 = 3*x. Let k = x - -41. Is k a composite number?
False
Let u(q) = 31*q**3 - q**2 + 3*q + 1. Is u(2) composite?
False
Let i = -756 + 1509. Is i a composite number?
True
Let u = -2 + -2. Let f = 6 + u. Is -3*((1 - f) + -6) composite?
True
Let m(s) = s**2 - 2*s - 6. Let c be m(7). Let t = 103 - c. Suppose 2*z - 24 - t = 0. Is z composite?
True
Suppose -2*g = 2*z + 6, -5*z = -2*z - 5*g - 23. Is z/2 - (-1158)/12 prime?
True
Suppose 7*k - 8*k = -1318. Suppose -4*r - p = -7*r + 1955, 0 = 2*r + 3*p - k. Is r prime?
True
Let m be -13*(-1)/2*2. Let h = 20 + -11. Let c = h + m. Is c a prime number?
False
Let z(k) = k**3 + 8*k**2 + k + 6. Let i be z(-8). Is i/(2 + 976/(-484)) composite?
True
Let v = -990 + 1687. Is v prime?
False
Suppose i + 4*o - 19 = 0, 0*i - 4*o = 4*i - 28. Suppose -r = -i*r. Suppose -67 = -4*l - 5*u + 75, 3*l - 5*u - 89 = r. Is l prime?
False
Let s be (-70)/6 + 14/21. Let p = -6 - s. Suppose 0 = p*o - 10*o + 275. Is o prime?
False
Is 4854/4 + 3/(-6) a prime number?
True
Is 730/8 - 2/8 prime?
False
Suppose 4*z + 22 = -10. Let a(i) = -i**2 - 12*i - 7. Is a(z) a composite number?
True
Suppose -4*i = -0*i. Suppose i*x - 636 = -4*x. Is x composite?
True
Suppose -3*q - 5*j + 1331 + 296 = 0, 1048 = 2*q - 4*j. Suppose 231 - 57 = d - 5*b, 3*b + q = 3*d. Is d composite?
False
Is 38/57*(-41727)/(-2) a composite number?
True
Let t(h) = -41*h**3 - 6*h**2 - 4*h + 4. Is t(-3) a composite number?
False
Let h = 231 + 76. Is h a prime number?
True
Suppose -3*q = 3*q - 282. Is q a prime number?
True
Let d(w) = 8*w**2 - 4*w + 1. Is d(-5) composite?
True
Let n(f) = 4*f**2 - 3*f**2 - 52 - f**3 + 2*f**3. Let w be n(0). Let t = -3 - w. Is t composite?
True
Let j = 1589 + -750. Is j composite?
False
Let i(r) = 5*r + 4 - 5*r - r**2 - 4*r. Let v be i(-5). Is -2*(v - 46/4) a composite number?
True
Let z(i) = 156*i**2 - 4*i + 3. Let h be z(2). Let y(r) = -r + 1. Let m be y(-4). Suppose 0*l + l + o = 156, m*o = -4*l + h. Is l prime?
False
Let m = 18 - 8. Is m prime?
False
Suppose 234 = -5*r - n, 0*n + 130 = -3*r + 2*n. Let b = r + 65. Is b prime?
True
Let y be 7052/(-14) - 2/7. Let c = -265 - y. Is c composite?
False
Suppose 7*q = 288 + 11073. Is q a composite number?
True
Let d(s) = s + 4. Let n be d(0). Is n/(-6) + 16541/21 prime?
True
Let i(a) = 28*a - 7. Is i(12) prime?
False
Let w(q) = -q + 1. Let n be w(4). Let y be (12/(-8))/(n/4). Is 7 - (2 - (y + 0)) composite?
False
Let f(x) = 408*x + 2. Let j be f(4). Suppose 4*k - 3*g - 1630 = 0, -5*g - j = -5*k + k. Let d = -287 + k. Is d prime?
False
Let o(g) be the second derivative of -5*g**4/6 - 5*g**3/2 - g**2 + 3*g. Let w(i) = 11*i**2 + 16*i + 1. Let x(u) = -6*o(u) - 5*w(u). Is x(-6) a prime number?
True
Is (-14)/(-4)*6/(-3)*-17 prime?
False
Suppose 2164 = -3*b + 7*b. Is b a composite number?
False
Suppose 3*z = 5 + 1. Suppose z*k = k + 11. Is k a composite number?
False
Let s = -7 + 3. Let f be -2*6*(-1 - s). Is -2 - f - (-1 - -1) composite?
True
Let x(s) be the second derivative of s**4/12 + 3*s. Is x(-2) a composite number?
