414. Is s a prime number?
False
Suppose 5*t - 930 = -3*r - 2*r, -2*t = -5*r + 965. Is r prime?
True
Let f(x) = -97*x**2 - 5*x - 7. Let d(n) = -48*n**2 - 2*n - 3. Let q(i) = -7*d(i) + 3*f(i). Let l be q(-2). Let a = l - 129. Is a composite?
False
Let b be (-2726)/(-11) + 6/33. Suppose 2*i + 5*j = 124, j = -0*i + 4*i - b. Is i a composite number?
True
Let j be (-3285)/(-18)*(-12)/(-10). Let y = j + -148. Is y a prime number?
True
Is 1/(-2) + (-191)/(-2) a composite number?
True
Suppose 5*f + 114 = 509. Let m = 132 - f. Is m a prime number?
True
Is 4/(-6) - 44462/(-66) prime?
True
Let t = -9 - -6. Let d = -1 - t. Suppose -4*g = d*c - 138, 0 = -4*g + 4*c - 7*c + 133. Is g prime?
True
Suppose 0 = p - f - 138, 2*f - 6*f = p - 153. Is 2*3/(9/p) a prime number?
False
Let d be (-3 - -4)*1*-4. Let i be 11/(-1)*(-5 - d). Is 1*i*(-18)/(-6) prime?
False
Suppose 3*c - i = -1478, c - 4*c + 2*i - 1480 = 0. Let a be (0 - c)*(-40)/32. Let f = -322 - a. Is f prime?
True
Suppose 2*i - 9*i = -4011. Is i prime?
False
Let b(x) = -69*x + 3. Is b(-2) a prime number?
False
Let s be (-4 + 5)*(0 - -5). Let c(j) = j - 3 + 8 + s*j. Is c(5) prime?
False
Is (-7)/(21/58)*(-1 - 2) a prime number?
False
Let h(w) = -67*w + 9. Is h(-8) a prime number?
False
Suppose m - 5*m = 4. Let h be (2 + 1)*(m + 2). Is 0 + 1 - (-39 + h) prime?
True
Let t = 114 + 49. Is t a prime number?
True
Suppose -c = -4*c + 12. Suppose -c*l + 184 = -124. Is l prime?
False
Let o(z) = -z - 11. Let t be o(-11). Suppose t*g = -5*g. Suppose g = -0*b - b + 11. Is b composite?
False
Let t(n) = 260*n**2 - 3*n - 5. Is t(-2) composite?
True
Suppose 3*v = -4*j + 869, 4*v + 9*j - 1159 = 4*j. Is v composite?
True
Suppose -5 = 5*w, 7*w - 83 = -2*s + 4*w. Suppose -2*u + 14 = 5*l, -4*u + 4*l - 15 + s = 0. Is u composite?
False
Let i = -3 - -6. Suppose 6*z + i = 3*z. Is (0 - (2 + z)) + 27 composite?
True
Let a(x) = -7*x**2 - 7*x - 13. Let r(z) = z**2 + 1. Let s(o) = a(o) + 6*r(o). Let b be s(-6). Is 1944/20 + b/5 a composite number?
False
Suppose -3*k = -112 + 16. Suppose 2*v = 6 + k. Is v composite?
False
Let l be (11/2)/((-11)/22). Let k = -5 - l. Is k composite?
True
Suppose -2*s + 2 = -s. Let y(t) = 3*t**2 - 9 + t + 5*t**s + t**3 + t**2. Is y(-8) a composite number?
False
Is (22/(-4))/(4/(-56)) composite?
True
Suppose 0 = -4*v - v - 3*b + 647, -3*v + 5*b = -361. Is v composite?
False
Suppose -2*w - 298 = -4*w. Is w prime?
True
Let j = -995 + 1748. Is j composite?
True
Let g(k) = 3*k**2 - 13*k + 21. Is g(10) a prime number?
True
Let h be -7 - -9 - (1 + -224). Let t = h - 82. Is t prime?
False
Suppose 5*l = 5*f - 784 - 611, 5*f - 567 = 2*l. Let c = -98 - l. Is c a prime number?
False
Let m(f) = f**2 + 6*f - 7. Let b be m(-8). Is 139 - (-3)/b*0 prime?
True
Let u(p) = -20*p + 1. Is u(-6) composite?
True
Let z(q) be the first derivative of 7*q**2 - 6*q + 2. Let y be z(4). Let j = -27 + y. Is j prime?
True
Suppose 2*v + v - 4*t = 12, 16 = 4*v - 4*t. Is (-2)/v*-6*61 a prime number?
False
Let m = 6 + 5. Let j = m - 2. Let h = 16 - j. Is h a composite number?
False
Let j(n) = 197*n - 4. Let b be j(2). Suppose -5*x = 5*u - 1030, -5*u + 1375 - b = -4*x. Is u composite?
True
Let n = -472 - -786. Suppose 5*t = 10, n = 4*h - 0*h + 3*t. Is h a composite number?
True
Let h = -35 + 68. Is h composite?
True
Let u(m) = m**3 - 3*m**2 - 5*m + 6. Let i be u(5). Is i*1*(2 + -1) composite?
False
Let i(s) = -12*s + 17. Suppose -60 = 2*m + 3*m. Is i(m) a composite number?
True
Suppose u = 4*u. Let g(i) = i + 9. Let a be g(u). Let v = 0 + a. Is v a prime number?
False
Suppose 0 = 7*x - x - 11298. Is x composite?
True
Is 59/(-6 + 5 + 2) a composite number?
False
Suppose 3*t = 2*t. Let p be t + (1 - (-3 - -1)). Suppose 154 = 5*d - w, -102 + 12 = -3*d + p*w. Is d prime?
True
Let y(f) = 11*f + 7. Let m(u) = -u**3 - 2*u**2 + 3*u. Let s be m(-3). Suppose 0 = 2*w - 2*r - 8, -2*w - r - 3*r + 32 = s. Is y(w) composite?
True
Suppose 289 = 11*x - 3440. Is x a composite number?
True
Let p = 313 - 110. Is p a composite number?
True
Suppose -4 = 2*u + 4, 5*y + u - 6 = 0. Suppose 7*a - y*a - 1015 = 0. Is a a prime number?
False
Let c = 3159 - 1849. Suppose 5*d = -h - 4*h + c, 4*h = 5*d + 1003. Is h prime?
True
Let h(z) be the second derivative of 2*z**3/3 + 3*z**2/2 - 3*z. Is h(8) composite?
True
Let q be ((-4)/(-6))/(3/9). Is 47*(q + -1) - -2 composite?
True
Let p = 674 - -537. Is p a composite number?
True
Let g = 6 - 4. Is (g/(-6))/(1/(-42)) composite?
True
Is (-10)/15 + 4078/6 a composite number?
True
Suppose l - 49 = -6. Is l a composite number?
False
Let l = 46 - 15. Is l a prime number?
True
Suppose -h - w = 3*h - 331, -4*h + 3*w = -335. Is h prime?
True
Suppose 6*t - 633 = -63. Is t prime?
False
Let u(j) = -j**3 + 6*j**2 - 3*j - 7. Let n be u(5). Let b be 15/(-5) + -1*2 + 8. Suppose 5*f - 203 = -2*h + 230, -n*f = b*h - 258. Is f prime?
False
Suppose -4*o + 11937 + 7387 = 0. Is o prime?
True
Let s(a) = -a**3 + 10*a**2 - 8*a - 7. Let l be s(9). Let k be -3*1/(3 - l). Is 1 + 2 + k - -103 composite?
False
Let u(c) = c + 4. Let p be (-2)/((-60)/27 + 2). Is u(p) a composite number?
False
Suppose -62 = -3*w + 61. Suppose w = 3*i - 34. Is i a prime number?
False
Suppose 266 = 2*q + 2*t, 4*q + 43 = -5*t + 580. Suppose 4*i = 8*i - q. Suppose 0 = y - 0*y - o - 5, -o - i = -4*y. Is y a prime number?
False
Suppose -3*z = -0 - 165. Let v be (z/3)/(-5)*-15. Let g = 90 - v. Is g a prime number?
False
Let z(o) = 4*o**2 - 15*o - 2. Let g be -1 + 0 - (-84)/7. Is z(g) composite?
False
Let a = 5 + -3. Is -1 - -2 - a - -144 a prime number?
False
Let a(x) = x**2 + 9*x + 8. Let q be a(-7). Let i be 2/4 - 15/q. Suppose -i*h + h + 422 = 0. Is h prime?
True
Let w(f) = -9*f**3 - 2*f**2 - 3*f + 2. Let z be w(-3). Suppose -i + z = 5*g, 0*g = 4*i + 4*g - 864. Is i a composite number?
False
Let k = 3 - -16. Is k composite?
False
Let s(w) = -w**2 + w - 10. Let m be s(0). Suppose 2*q + 34 = 96. Let b = q + m. Is b a prime number?
False
Suppose w + 45 = 4*c, 7*c - 2*c = -5*w + 75. Is 3*(-3 + 80/c) a composite number?
False
Let d be (3 + -2)/(4/(-20)). Let l = d - -15. Is l prime?
False
Let o be 61*(-1)/(-2 + 3). Let j = o + 163. Suppose 2*c - j = 64. Is c prime?
True
Suppose 123 = 3*j - j - 5*x, j = -2*x + 84. Is j a prime number?
False
Let v = 103 + -23. Let y be v/30 - (-2)/6. Suppose 17 + 45 = 3*w - 4*m, -3*m - 57 = -y*w. Is w a prime number?
False
Is 52/78 + (-8390)/(-6) + 0 prime?
True
Suppose n - 590 + 7126 = 3*v, 0 = -n + 1. Is v composite?
False
Suppose -c + 3 = -3. Suppose v - c*v = -445. Is v prime?
True
Let v be (0 + -1 - -2)*-1. Let p(u) = 3*u**2 - u - 1. Let z be p(v). Suppose -2*t = z*t - 155. Is t a prime number?
True
Suppose -3*y + 10 = 2*o, -5*y = -4*y - o + 5. Let v(x) = y + 0 - 11*x - 7. Is v(-6) composite?
False
Suppose 0 = 2*m + 2*y - 264, 2*m = -2*m + y + 523. Is m composite?
False
Let t(q) = -q + 1. Let n be t(3). Is ((-23)/n)/(6/12) composite?
False
Let s be 1 + 1 + 25/(-5). Let h = -5 - s. Let f(p) = 5*p**2 + 3*p. Is f(h) prime?
False
Let n be (-5)/(-4)*1*-40. Let z = 90 + n. Let d = z + -15. Is d composite?
True
Let w(g) = -g**3 + 8*g**2 - 6*g + 2. Let l be w(7). Suppose 2*n = -3*j + 6*n + 285, 3*n = -l. Is j a prime number?
False
Let i(s) = -s**2 + 4*s + 2245. Is i(0) prime?
False
Suppose -5*j - 4*c + 5 = -0, j - 3*c - 1 = 0. Let w(r) = -13*r**3 + r**2 - 2*r + 1. Let f be w(j). Is (-1 - -3)/(-2)*f a prime number?
True
Let r be ((-2)/4)/(2/(-8)). Let w = r + -12. Let q = 41 + w. Is q a prime number?
True
Suppose x + 3857 = 8*x. Is x a composite number?
True
Suppose 2*l - 5 = -3*y + 62, 2*l = -2*y + 66. Suppose l + 42 = 2*t. Is t a prime number?
True
Suppose -3*h + s - 6*s = -36, -2*h + 29 = 5*s. Let g = h - 2. Suppose f - g*f + 124 = 0. Is f a composite number?
False
Suppose -p + 2*i + 9 = -0*p, -i = 3*p - 13. Suppose 439 = 3*r + g, -p*r - 153 = -6*r - 2*g. Is r composite?
True
Let r(x) = x**2 + 2*x + 739. Is r(0) prime?
True
Let v be (-424)/(-32) - 1/4. Let r = 204 - v. Is r prime?
True
Is 21003/9 - 12/18 a composite number?
False
Suppose 2*m + 2*w - 486 = 20, 0 = m + 4*w - 253. Is m a composite number?
True
Is 46/(-2)*(-2)/2 a composite number?
False
Let k(x) = -42*x - 1. Let v(y) = -y**3 + y**2 + 5*y - 3. Let o be v(3). Is k(o) a composite number?
Fals