a + 1 = -a. Suppose -w - h*f + 79 = 0, -f = w - 3*f - 95. Is w composite?
True
Let t(h) = 5*h + 1. Suppose 0*w - 4 = -w. Suppose 0*p - 16 = -w*p. Is t(p) a composite number?
True
Suppose -1 - 3 = t. Is 39 - -1 - (t + 7) composite?
False
Let m(v) = 24*v**2 + 2*v + 1. Is m(-1) composite?
False
Suppose 0 = -5*q + 219 + 61. Suppose 5*n - n = q. Suppose -w + 3*y + 18 = 0, -3*w + 88 - n = -5*y. Is w prime?
False
Is 6/8 + 4/(32/6698) composite?
True
Suppose r + 2*r = 2847. Is r prime?
False
Is (-8)/(-10) - (-16764)/20 a composite number?
False
Suppose 3*s - 295 = -4*l, -3*l - 5 - 355 = -4*s. Suppose 4*r - r + z + 80 = 0, -5*z - 120 = 5*r. Let m = r + s. Is m prime?
False
Suppose 0 = 2*i - 0 + 2. Let b = 1 + i. Let x = b + 21. Is x prime?
False
Let h(c) = 9*c**2 - 2 + 2*c**3 - 2 - 3*c**3 - 5*c. Is h(6) composite?
True
Let u(p) = p**3 + 8*p**2 + 8*p - 9. Let l be u(-7). Let z = 19 + l. Is z prime?
True
Suppose -4*w - 490 = -4*a - 2822, a + 1745 = 3*w. Is w composite?
True
Let d(u) = -5*u**3 - u - 3*u**3 + 22*u**3 + 8*u**3. Is d(1) prime?
False
Let h(w) be the second derivative of -w**3/6 - w**2 + w. Let s be h(0). Is s - -5*1*5 a composite number?
False
Let j = -1385 + 2047. Is j a composite number?
True
Let v = -8 + -6. Let w be (-4)/10 - v/10. Is 1/(((-2)/(-30))/w) a prime number?
False
Let x(i) be the third derivative of -i**6/120 + i**5/6 - 5*i**4/12 + 2*i**3 - 3*i**2. Let d be x(8). Suppose 1 - d = -m. Is m a composite number?
False
Suppose -x + 0*w = -3*w + 23, 4*x = -3*w - 17. Let p(l) = -l**3 - 4*l**2 - l - 7. Is p(x) a composite number?
False
Let u = 8 - 7. Is 106*(0 + u/2) composite?
False
Suppose -5*g + 2194 = -i - 1054, -5*g + 2*i = -3251. Is g composite?
True
Let w(z) = -344*z + 115. Is w(-6) a prime number?
True
Suppose 2 = 3*k - 10. Let s(b) = 2*b**2 - 12*b + 11. Let x be s(11). Suppose 2*j - 27 = -f - 2*j, -k*f - 3*j + x = 0. Is f a composite number?
False
Suppose -4*s - 3*b = s, 2*b + 10 = 0. Suppose s*z - 740 = -2*z. Suppose -4*l + 0*l = -z. Is l composite?
False
Suppose 0 = -x - 5*x + 5496. Suppose -5*n + 3*u + x = 0, -n + 249 - 49 = 5*u. Is n a composite number?
True
Let o be (254/8)/(12/(-48)). Let g = -69 - o. Is g prime?
False
Let r(i) be the second derivative of i**4/6 - 4*i**3/3 - 5*i**2/2 + 4*i. Is r(-7) a prime number?
True
Suppose y - 16 = 185. Is y a prime number?
False
Let x(o) = 19*o + 4. Let s be x(3). Suppose h - 4 = 5*g - 0, -40 = -h - 4*g. Let f = s + h. Is f a prime number?
False
Let b(z) = -188*z - 1. Is b(-1) a prime number?
False
Suppose -4*g + 3*g + 690 = 0. Is g/14 - (-4)/(-14) prime?
False
Let m = 8 + 49. Is m prime?
False
Suppose -4*v = b - 713, 3*b + 3*v = -1072 + 3175. Is b a composite number?
True
Suppose 4*u - 265 = -41. Suppose 5*l - 139 = u. Is l a composite number?
True
Suppose -4*o + 18 = -o. Let s = o + -8. Is 56 + -2 + s/(-2) a composite number?
True
Suppose 5*l - 26 = -4*h, -2*h = -4*l + h - 4. Let z = l - 0. Is z a prime number?
True
Is (3/1 + -1)*(-2129)/(-2) a prime number?
True
Suppose -r + 50 = -5*t, -4*t - 16 = -2*r + 6*r. Let s = 14 + t. Suppose 5 = -s*m, 4*k - 9*k + 5*m = -460. Is k a prime number?
False
Let g = -4 - -5. Let h be 1 - (-1 - g - -2). Is h*(-44)/(1 - 3) composite?
True
Suppose -33 + 269 = 2*c. Is ((-12)/8)/((-1)/c) composite?
True
Let n be 6/(-12)*4/(-1). Let i be ((-3)/((-6)/(-4)))/(-1). Suppose -i*g + 148 = n*g. Is g a composite number?
False
Let f(h) = -23*h**3 + 4*h + 2. Is f(-2) prime?
False
Suppose -6 = -3*r + 6. Suppose r*c + 407 = 1771. Is c composite?
True
Let g(m) = m**3 + 4*m**2 - 4*m - 5. Is g(-4) composite?
False
Let d(m) be the second derivative of m**5/20 - 5*m**4/12 - 7*m**3/6 + m**2 + m. Is d(7) composite?
True
Let v = 39 + -28. Suppose 0 = 3*l - c - v, 2*l + 5*c - 21 = 9. Suppose 4*k - 647 = k - w, -5*w - 1105 = -l*k. Is k a prime number?
False
Suppose -t + 3 = -0*t. Suppose -3*u = 3*k - 285, -t*k = -1 + 7. Is u prime?
True
Let b = -177 + 287. Suppose 4*g = 2*g + b. Is g composite?
True
Let h(i) = 53*i - 25. Is h(6) a prime number?
True
Let t(s) = 12*s**2 + 9*s - 1. Is t(-4) a prime number?
False
Let z be (-2)/(-9) - 125/(-45). Suppose z*t - 217 - 212 = 0. Is t a prime number?
False
Suppose 0 = -4*s - 2*z + 308, -4*z + 241 = 3*s - 5*z. Is s a composite number?
False
Is 1*4 - (-8)/((-40)/(-2325)) composite?
True
Suppose 0 = -f - 2, -2*t = 2*t + 5*f + 34. Is (-1 - t)/(2/86) prime?
False
Suppose -1489 = -3*l - 3*b - 154, -b = 4. Is l prime?
True
Is 13/(-26) - (-2598)/4 a composite number?
True
Suppose -q = -5*q + 740. Suppose 0 = -2*c + 3*c - q. Is c a prime number?
False
Let z(r) = 3*r**2 - 3*r - 5. Suppose -25 = -5*g, -4*t + 0*t = 5*g - 45. Is z(t) composite?
True
Suppose 0 = f - 5*u - 662, f - 449 - 221 = -3*u. Is f a composite number?
True
Suppose -55 = -5*q + 5. Suppose -2*m + 159 = -5*b - 99, q = 3*b. Is m composite?
False
Let h be (-66)/(-14) + 4/14. Suppose -571 - 684 = -h*c. Is c composite?
False
Let i(h) = 2*h**2 + 7*h + 8. Let a be i(6). Let g be (-7 - -1)*a/(-6). Suppose -5*o + 320 = -5*n, -3*o + g = -o - 4*n. Is o prime?
True
Let d be (5 + -6)*-2*1. Suppose -3*h = p - 3*p + 325, 0 = d*p + 3*h - 319. Is p a prime number?
False
Suppose -t - 4*t + 45 = 0. Let w(l) = l**3 - 13*l**2 + 15*l - 5. Let d be w(12). Suppose -t = f + 5*a, 4*a + a + d = f. Is f a composite number?
False
Suppose -4*i = -a - 1 + 2, 3*a - 3 = 2*i. Suppose i = 4*x + 8. Is 1 + 2 + x + 9 a composite number?
True
Let g = 11 + -9. Suppose -5 = -g*m + 63. Suppose -m - 28 = -2*o. Is o a prime number?
True
Let l(z) = 6*z + 1. Is l(6) composite?
False
Suppose 5*y + d = 5499, -y + 4*d = -d - 1079. Is y a prime number?
False
Let a(g) = g**3 + 2*g**2 - 4*g - 4. Let b be a(4). Is (-1)/(-3) + b/6 prime?
True
Let o = 705 - 22. Is o prime?
True
Let t(z) = z - 10. Let o be t(6). Let i be (o/5)/(2/(-5)). Suppose f - i = 7. Is f prime?
False
Let b be (-1*4)/(-2) + 31. Is (-4)/(-22) - (-2205)/b composite?
False
Suppose -p + 2*p = -4*b + 93, 2*p - 177 = b. Is p composite?
False
Suppose 428 = t - 4*g, 0*t = 5*t + 5*g - 2140. Suppose 158 + 266 = 3*m + 5*l, 3*m + l = t. Is m a composite number?
True
Let a(q) = q - 2. Let f be a(4). Let o(c) = 4*c**3 - 2*c**2 + c - 2. Let t be o(f). Suppose 3*h = 7*h - t. Is h a composite number?
True
Let d(l) = -l**2 - 4*l + 8. Let t be d(-6). Is (-2)/(-3)*(-222)/t prime?
True
Let o = 27 + -8. Is o prime?
True
Suppose -4*g + g + 5*h = 11, 5*g = 4*h - 1. Suppose 2*v = -3*v + 40. Suppose g*j - 169 = v. Is j a prime number?
True
Is 1/1 - (-11660)/5 a prime number?
True
Is (39/(-26))/((-6)/44)*89 prime?
False
Let w = 1 + 2. Let u = w + -3. Suppose u = -3*a + 1 + 17. Is a a prime number?
False
Suppose 0 = 4*p + 5*h - 2447, 4*p - 4*h - 1581 = 839. Suppose 2*u = -10, -2*w + p - 205 = -u. Is w composite?
False
Let u(n) = 20*n**3 + 47*n**2 + 19*n + 18. Let j(p) = 7*p**3 + 16*p**2 + 6*p + 6. Let s(c) = 17*j(c) - 6*u(c). Is s(-9) a composite number?
True
Let h(c) = 2*c - 10. Let s be h(6). Is (s/(-3))/((-16)/2616) a prime number?
True
Let w = -326 - -496. Let t = w + -25. Is t prime?
False
Let x = -61 - -118. Is x composite?
True
Let p = 970 + -510. Suppose -p = -5*k + k. Is k a composite number?
True
Let a = 339 + -36. Is a a composite number?
True
Let o = -995 - -509. Is o/(-5) - 6/30 prime?
True
Let b(h) = -h**3 + 7*h**2 - 3*h + 7. Let p be (0 - 6)*1/(-1). Is b(p) prime?
False
Suppose 0 = -13*i - 471 + 1602. Is i composite?
True
Let p(k) = k**2 - 5*k - 6. Let v be p(6). Suppose -4*c - 4*h + 256 = v, -4*c + 4*h + 271 = 3*h. Is c a composite number?
False
Let u = 15 + -23. Let q be 178/(-8) + (-2)/(-8). Let j = u - q. Is j a prime number?
False
Suppose 0 = 3*y - y. Suppose -4*h + 5*m + 61 = y, -3*m = -2*m + 1. Is h a composite number?
True
Let o = 8 - -2. Is (-2066)/(-5) - o/50 a composite number?
True
Suppose 2*p + p - 6319 = -5*z, 5*p - 2520 = -2*z. Is z/25 + (-2)/(-5) composite?
True
Suppose 5*y = -1 + 26. Suppose y*i + 35 = -4*w - 15, 3*i + 54 = -4*w. Is 5/w - 1724/(-6) composite?
True
Is (-3)/(-2)*1206/27 prime?
True
Let s = 127 - 90. Is s a composite number?
False
Let w = -13 + 51. Suppose -w - 254 = -2*g. Is g composite?
True
Suppose -4*y = -0*y - 8. Let m(v) = 2*v. Let a be m(y). Suppose a*o - 2 = 134. Is o composite?
True
Let q(s) = -9*s**3 - s**2 - s - 1. Let b be q(-