1410. Is z prime?
False
Let n be (-4)/(-10) + (-33)/(-5). Let s = -5 + n. Suppose -h = s*g - 37, 3*h + 41 = -2*g + 4*g. Is g prime?
True
Suppose -2*q + 8 = 0, -k - q = 2*k - 1. Let g be ((-5)/(-3))/(k/(-3)). Suppose 558 = 3*x + 5*i + 172, -g*i = -x + 122. Is x a prime number?
True
Suppose -3*r = -17*r + 14084. Is r a composite number?
True
Is (-40)/30*762/(-4) a prime number?
False
Is (4 + 1)*(-178)/(-10) a composite number?
False
Suppose 2*f - 4*f + 6 = 0. Suppose 2*o - 45 = -f. Is o composite?
True
Let w(i) = i**2 + 15*i + 11. Let o be w(-14). Let f be 23*(-2 - o)/(-1). Let s = 35 - f. Is s prime?
False
Suppose -3*u = -u - 110. Is u composite?
True
Let a = -5 + 7. Suppose g + a*g - 4*c = 315, -5*g + 3*c = -536. Is g a composite number?
False
Let v(d) = -d**2 + 3*d + 3. Let a(s) = -2*s - 2. Let i(m) = -4*a(m) - 3*v(m). Let t(l) be the first derivative of i(l). Is t(6) a composite number?
True
Suppose -4*w - 268 = -f - 2488, 2*f = w - 555. Suppose -3*m + w = g - 196, -2990 = -4*g - 5*m. Is g prime?
False
Suppose -2*t + 3*l = 6, -4*t - 16 = -3*l + 2. Is -12*(-2 - t/4) a composite number?
True
Let i(d) = d**2 + 4*d + 5. Let v be i(-4). Suppose -2*z = p - 5, 3*z + 2*p = -6 + 16. Suppose -v*c = 5*y - 580, -3*c + 8*c + 3*y - 574 = z. Is c prime?
True
Let t = -9 + 14. Suppose 0 = -2*a + t*a - 141. Is a composite?
False
Suppose -5*x - 25 = -5*u, x - 5 = -u + 2. Let m(o) = -5 + 0*o**3 + o**3 - u*o**2 + 8*o - 2*o. Is m(6) prime?
True
Let u(d) be the first derivative of -7*d**2/2 + 2*d - 2. Is u(-3) a prime number?
True
Let w(o) = -o**3 + 6*o**2 + 9*o + 5. Suppose a = 4*a - 21. Is w(a) a prime number?
True
Suppose 29 = 4*o + 9. Suppose 0 = -3*r + o + 4. Is r prime?
True
Suppose -102 - 168 = -5*d. Let b(a) = 6*a - 1. Let i be b(-5). Let v = d + i. Is v prime?
True
Suppose 0*c - 5*w = -2*c + 7, 2*c - 14 = -2*w. Let a = c + -4. Suppose 3*u - 99 = z + a*z, 103 = 3*u - z. Is u a composite number?
True
Suppose 361 + 4594 = 3*v + 4*p, 3300 = 2*v + p. Is v composite?
True
Is (-1)/(-6) + (-10535)/(-42) prime?
True
Is 8/(-2 - 0) - -57 prime?
True
Suppose 4*u = l + 3, 2*u + 0*l = -l + 9. Is u/(1 + 369/(-371)) a composite number?
True
Let u be 7 - ((1 - 0) + 1). Let r be (-1)/u + (-42)/(-10). Suppose -231 = -7*n + r*n. Is n a prime number?
False
Suppose 2 = 5*y - 23. Suppose d = -y*o + 297, -o = -d + 3*d - 63. Is o a composite number?
False
Suppose 0 = 5*p - 924 - 11. Is p a prime number?
False
Suppose -7*z + 3*p - 14 = -2*z, -2*z - 8 = -2*p. Is (-3)/3 - (z - 39) prime?
False
Suppose -6*l + 4*l = 42. Is (-1224)/l + (-4)/14 a composite number?
True
Let i(a) = -52*a - 1. Let g be i(-3). Suppose -t - g = -6*t. Is t prime?
True
Suppose 26482 = -2*w + 4*w. Is w composite?
False
Let a = -277 + 1814. Is a a prime number?
False
Let o(r) = 2*r**2 - r - r**3 + 7 + 4*r**2 + 2*r. Is o(5) composite?
False
Is (7530/(-24)*1)/(2/(-8)) prime?
False
Is 32*13 + 8 + -5 a prime number?
True
Suppose 28 = 5*f - 197. Suppose 7*k - 485 = 2*k - 5*o, -2*k + 2*o + 174 = 0. Let q = k - f. Is q a prime number?
True
Let b = -311 + 522. Is b composite?
False
Let m = -946 + 3705. Is m prime?
False
Let o(x) = -7*x - 1. Let k be o(-1). Is k/(-33) + 1168/11 a composite number?
True
Let j(w) = -2*w**3 + 5*w**2 - 3*w + 3. Let m be j(-4). Suppose -2*q + 307 = -m. Is q a prime number?
False
Let r = 112 - -158. Let d be -2 - -1*(r - 1). Suppose -z = 2*z - d. Is z prime?
True
Suppose -k + 4 + 0 = 0. Suppose -k*f = -501 - 135. Is f prime?
False
Suppose 0 = -3*l - 2*j - 7, 2*l - j + 5 = -2*j. Is (4 + l)/(1/79) a composite number?
False
Let p be 1/((2/(-5))/(-2)). Suppose 0 = p*d - 163 + 48. Is d a prime number?
True
Suppose 4*i - 6 = 6. Suppose i*g + 39 = 3*z, 0 = z + 3*g + 4 - 17. Is z a prime number?
True
Suppose 0*t + 3*t + 3 = 0. Suppose 40 = n + 4*n. Is (278/n)/(t/(-4)) a prime number?
True
Let b be (-2 + (-12)/(-8))*-192. Let d = -47 + b. Is d composite?
True
Let f(b) be the second derivative of b**3/6 - b**2 - b. Let k be f(4). Is 0 - (-13)/(k - 1) a prime number?
True
Suppose 0 = -0*i + i + 3*l + 1, i - 7 = l. Suppose -s = -o - 5*s + 323, -i*o = -3*s - 1523. Is o composite?
False
Let f(x) = -4*x + 419. Is f(0) composite?
False
Let f(v) = 7*v + 2. Let n(w) = -4*w - 1. Let q(k) = -2*f(k) - 5*n(k). Is q(5) prime?
True
Let t(s) = s**3 + s**2 + s + 106. Let k be t(0). Let q = -51 + k. Is q prime?
False
Let b(y) be the first derivative of 9*y**4/4 + 2*y**3/3 - 3*y**2/2 + 3*y - 9. Let z = -4 - -6. Is b(z) a prime number?
False
Suppose -2*o + 0*o + 4*s + 310 = 0, -648 = -4*o + s. Is o a composite number?
False
Suppose 0 = 3*c - 983 + 326. Is c prime?
False
Let k(x) = 5*x - 1. Let t be k(5). Let d be -3 - -9 - (5 + -2). Suppose d*g + t = 5*s, -g + 3 = -2*g. Is s composite?
False
Let q(c) = 5*c + 4*c**3 + 2*c**2 - 4*c**3 + 5 + 0*c**3 - 2*c**3. Is q(-6) a composite number?
False
Suppose 5*q - 110 = -4*j, q = -3*j + 8*j - 7. Let s be (0 + q/8)*12. Let v = s - -4. Is v a prime number?
True
Let s(j) = j**3 - 3*j**2 + 7*j + 7. Let v be (-2)/9 - 274/(-18). Suppose 9 = 4*h - v. Is s(h) composite?
False
Let r be (-384)/10 - 12/(-30). Let i = 128 - r. Is i a composite number?
True
Suppose 0 = g - 6*g + 275. Is g composite?
True
Let o be -10 + -1 + 2/(-2). Is -4*(1 - (-123)/o) prime?
True
Suppose -3*x - x = -4*l - 3828, -3824 = -4*x + 3*l. Is x composite?
False
Suppose 12 = -2*u + t + 265, t = -3*u + 382. Is u a prime number?
True
Is 1*5*5*(-388)/(-20) a composite number?
True
Suppose 4*j = 880 + 1464. Is j a prime number?
False
Let q(p) = -p - 1. Let g(h) = -39*h**2 - 4*h - 6. Let b(d) = -g(d) + 4*q(d). Is b(2) a composite number?
True
Suppose -6*y + 587 + 811 = 0. Is y a composite number?
False
Let x(w) = 3*w**2 - 2*w - 2. Let j(l) = l**2 - 8*l - 2. Let b be j(9). Suppose b = -3*p - 2. Is x(p) a prime number?
True
Suppose -3*n + q = 3*q - 811, -3*q - 1339 = -5*n. Let t = -192 + n. Is t composite?
True
Let c = -9 - 0. Let f be (-8)/(-20) + (-6004)/10. Is f/(-27) - (-2)/c a composite number?
True
Suppose -3*t = -6*t - s + 372, -t + 4*s = -124. Suppose -5*h + 2*o + 275 = 0, 2*h - 2*o + 4*o = t. Is h a prime number?
False
Is (884/8)/((-2)/(-4)) a composite number?
True
Let p = -2 - -3. Let s be 4 + -5 + -1 + p. Let i(q) = -22*q**3 - q**2 - q - 1. Is i(s) a prime number?
False
Suppose -3*i + i = 0. Suppose 6*s - 1800 = -4*z + 2*s, i = -2*z - 3*s + 901. Is z composite?
False
Is (1/(-2))/(2/(-284)) a composite number?
False
Let v(m) be the second derivative of -m**4/6 - 2*m**3/3 - 3*m. Let a be v(5). Let f = a - -125. Is f prime?
False
Suppose -10*d = -16352 - 9238. Is d prime?
False
Let i(c) = -5*c**3 - 13*c**2 + 5. Let f(o) = o**3 + o**2 + o - 1. Let v(g) = 6*f(g) + i(g). Let s be v(6). Is 20*(-18)/(-4) - s a composite number?
True
Let z(g) = -106*g**2 + 6*g - 5. Let p be z(4). Is (p - 1)*(-3)/6 a composite number?
False
Is (-2)/12 - (-92)/24*65 a prime number?
False
Is (-4)/(-32) - (-4910)/16 a composite number?
False
Let z(h) = -8*h + 6. Let b be z(-13). Let f = b - -9. Is f a prime number?
False
Suppose 0*f = -2*f + 2554. Is f prime?
True
Suppose -y = 2*q - 307 + 6, 0 = -5*y + 2*q + 1457. Is y prime?
True
Let b(m) = -m**3 + 24*m**2 - 19*m + 1. Is b(22) a composite number?
True
Let n(i) = i**3 - i**2 + i + 77. Suppose 4*f = -2*q - 4, -4*f - 6 = -2*q - 2. Let a be n(q). Let p = 216 - a. Is p prime?
True
Let k = -28 - -53. Suppose 0 = -5*b + k, 3*a + a - 841 = -b. Is a a composite number?
True
Suppose 5*r = f - 4*f + 12374, f - 4949 = -2*r. Is r a prime number?
True
Suppose -101997 = z - 10*z. Is z a composite number?
True
Let z(h) = 36*h**2 + 2*h + 1. Is z(2) prime?
True
Let q be 1/(-1)*(306 + 1). Let p = -104 + -12. Let m = p - q. Is m a prime number?
True
Suppose 0 = -3*k + 6*k - 15. Suppose -3*r = u - 2*r - 7, -k*u + 5*r + 35 = 0. Is u prime?
True
Let c be (-18)/4 + 1/(-2). Let s = -4 - c. Is (9/3 + 208)/s composite?
False
Is (-2)/10 - 10496/(-80) a prime number?
True
Let g(n) = -n**2 + 7*n - 6. Let p be g(5). Suppose p*b = -25 + 173. Is b a prime number?
True
Is (-1827 - -5)*(-1)/2 composite?
False
Let s be (-3)/(3 - 0) + 3. Let g = -8 + s. Is 16/6 + g/9 a prime number?
True
Suppose -2*o - 3*o = -40. Let t = 17 - o. Suppose 4*g = t*g - 385. Is g a prime number?
False
Let k be (6/9)/((-4)/(-1074)). Suppose 3*j - 3