t v(x) = 820*x + 69. Is v(10) prime?
True
Let t(y) be the first derivative of -3*y**2/2 + y - 3. Let g = 3 - 7. Is t(g) composite?
False
Let k be (-15)/(-6) + (-1)/2. Suppose j = -k*j + y + 338, 3 = 3*y. Is j prime?
True
Let x(s) = s**2 - 8*s - 8. Is x(-13) prime?
False
Let m = -2 - -4. Suppose 4*r + m = 10. Suppose 15 = r*l - 3. Is l a composite number?
True
Let p(m) = m**3 + 14*m**2 + 12*m - 13. Let f be p(-13). Suppose f = -t - 4 + 63. Is t a composite number?
False
Let w be 3 + 4 + 10/(-2). Is 2*213*w/6 composite?
True
Let t(i) = i**2 + 6*i + 4. Let j be t(-6). Suppose p = -j*p + 20. Suppose -3*y + 13 = -0*y - 4*o, -5*y = p*o - 11. Is y a prime number?
True
Suppose -3*q + 1157 = 4*g, -3*q - g + 1169 = -0*g. Is q a composite number?
True
Let x be ((-2)/(-3))/((-10)/15). Is -62*(0 - x)*-1 prime?
False
Is (-4 - -6)/(2/499) a composite number?
False
Suppose 2*x + 3*x + 108 = 2*r, -2*x = -4*r + 56. Let i be ((-8)/(-10))/((-8)/x). Suppose 0 = -i*q - q + 159. Is q composite?
False
Let v be (-1)/((8/(-196))/(-2)). Let p = v - -128. Is p composite?
False
Let d = 53 - 38. Suppose -5*i + 0*i = -d. Is 74/(-5)*(-2 - i) a composite number?
True
Let g(i) = i**2 - 4*i - 5. Let a be g(6). Let n = a + -12. Let x = 10 - n. Is x a prime number?
False
Suppose 3 = 3*i, 0 = -0*u - 4*u + 4*i + 712. Suppose -5*l + u = -4*l. Is l composite?
False
Let c(p) = 11*p**2 - 3*p + 6. Suppose -3*k = -2 - 1. Let m(q) = q - 1. Let b(j) = k*c(j) + 6*m(j). Is b(-2) a composite number?
True
Let u be (0 + -7)*12/(-14). Suppose u*x = 4*x + 1502. Is x composite?
False
Let o(t) = 0*t**3 + t**3 + 3 + 6*t**2 - 2*t**3 + 2*t**3 + 3*t. Is o(-4) a prime number?
True
Let c be 1/6 + 87/18. Let x = 2 + 2. Suppose 4*z - m - 95 = 0, -c*z + x*z = m - 20. Is z a prime number?
True
Suppose 33 = 5*k + 8. Suppose -4*l - 3 = -2*l - 3*a, 31 = l + k*a. Suppose -4*y + 3*o + 0*o + l = 0, 0 = -4*o + 8. Is y a composite number?
False
Let q(a) = a**3 + 18*a**2 - 23*a - 7. Is q(-17) a prime number?
True
Let g be (-1100)/(-2) - 14/(-7). Let s = 803 - g. Is s a composite number?
False
Let p(s) = -5*s**3 - 6*s**2 - 6*s - 2. Let z = -17 - -12. Is p(z) prime?
True
Suppose 3*v + 639 + 1608 = 0. Let d = -442 - v. Is d prime?
True
Let a = 11 - -200. Is a composite?
False
Suppose -2*d = -3*k + 196, -4*d + 288 = -2*k + 6*k. Suppose 58 + k = -3*a. Let x = a + 89. Is x prime?
True
Suppose l + 6*h = 3*h - 3, -5*l - 2*h - 2 = 0. Let b be 0 + 2 + (l - 2). Suppose -y + d + 91 = b, 5*y + 0*d = -d + 443. Is y composite?
False
Let a(c) = 2 + c + 2*c**2 + 9 - 3*c**2 + 17*c. Is a(10) prime?
False
Suppose 0 = -4*k + 4*c + 892, 4*k - 2*c - 892 = -7*c. Is k composite?
False
Let n be 6/(6/(-8)*-2). Suppose -h = 3*j + n*h - 46, 4*j - 4*h = 8. Let w(p) = p**3 - 8*p**2 + 8*p - 4. Is w(j) a prime number?
True
Let y(v) = v - 2. Let l be y(5). Suppose 3*a + d - 3*d + 65 = 0, l*d = a + 31. Let i = a + 33. Is i composite?
True
Let o(z) = -z**2 + 10*z - 9. Let j be o(6). Let k be (-17)/(-5) - 6/j. Is 196/6 - k/(-9) a prime number?
False
Let n be 45/12 - 2/(-8). Let v(b) be the first derivative of b**4/4 - 5*b**3/3 + 5*b**2/2 - 2*b - 6. Is v(n) prime?
True
Suppose -c + 13 = -2*r, 0*r = -c - r + 1. Suppose -c*d = -0*d - 1015. Is d a composite number?
True
Suppose -3*w - 2*d = -3, 0*w = -3*w + 4*d + 21. Suppose -3*m + 343 = c, 0 = w*c + 2*c - 20. Is m a prime number?
True
Suppose 0*l - 388 = -4*l. Let c = l + -66. Is c composite?
False
Let t = 193 - 302. Let w be ((-3)/(-3) + 0)*t. Let f = -32 - w. Is f a prime number?
False
Let v(r) = r - 13. Let o be v(11). Let a be -3*(o + 8/6). Is 68 + -3 + a + -2 a composite number?
True
Let u = -34 + 117. Is u a composite number?
False
Let q(f) = -f**3 + f**2. Let w be q(1). Let k be (-3)/(-6)*(12 + 0). Suppose 5*r + 15 = w, k*p - 3*p = 2*r + 159. Is p composite?
True
Let f be 2 + 54/(6/2). Suppose 4*x = 36 + f. Is x a prime number?
False
Let v = 292 - 169. Is v a prime number?
False
Let v = -2 - 5. Let x(d) = -17*d + 8. Is x(v) prime?
True
Suppose 4*i = 5*h + 152, -3*i + 5*h + 94 + 15 = 0. Is i/(-2*(-2)/4) prime?
True
Suppose -o + 34 = -0*b + 4*b, 0 = -3*b - 4*o + 32. Let l = 45 + b. Is l composite?
False
Let s be (-11 - -2) + 4/(-2). Let u = -28 + s. Is (u/(-2))/(-3)*-10 prime?
False
Let n = -48 - -79. Let p = n + 0. Is p a prime number?
True
Suppose 3*h = 6, 0 = -7*c + 3*c - 5*h + 38. Is c a prime number?
True
Let v be (27/(-6))/((-2)/12). Let m = -13 + v. Is m composite?
True
Let j be (1/3)/(1/105). Suppose 0*b + j = b. Is b prime?
False
Let k be (-4)/14 + (-116)/(-14). Let j = k - 2. Is ((-105)/j - 2)*-2 composite?
True
Let s(v) = v + 7. Let c(w) = w**3 + 6*w**2 + 7*w + 5. Let k be c(-5). Let d = k - -2. Is s(d) a composite number?
True
Suppose 5*u - 111 = -m - 36, 3*m = 3*u - 27. Let r = u + -10. Suppose -r*y + 12 = -28. Is y prime?
False
Suppose -3*s + 4*s = c + 65, -s - 3*c = -77. Suppose 19 + s = q. Is q composite?
True
Let i(n) = -2*n**2 + 6*n - 2. Let t be i(4). Let k = t + 65. Is ((-869)/k)/((-1)/5) a prime number?
True
Let h(l) be the second derivative of -5*l**3/3 + 9*l**2/2 + 3*l. Is h(-10) prime?
True
Suppose 0 = -2*z + 5*z - 5*u + 11, -16 = -4*z - u. Suppose -5*w - 6 = -3*w. Is (-112)/w + z/(-9) prime?
True
Let y(v) = -187*v + 5. Let z be y(-5). Suppose 1256 = -4*k - 4*b, 7*b - 3*b + z = -3*k. Is (-4)/14 - k/28 composite?
False
Let p = 878 + -435. Is p prime?
True
Is ((-633)/6)/((-2)/4) prime?
True
Let g = -5 + 5. Suppose 5*c - 565 = -g*c. Is c prime?
True
Let k = -99 + 234. Let b(d) = 28*d + 4. Let a be b(-3). Let x = k + a. Is x a composite number?
True
Let x = 5 + -5. Suppose -y - 6*s = -4*s - 97, y - 5*s - 97 = x. Is y prime?
True
Let i(o) = 3*o**2 - 1. Is i(-4) composite?
False
Let r = -168 + 240. Suppose 4*j = h + r, -j + 20 = 4*j. Is 2/(-9) - h/9 a prime number?
False
Suppose 0*j + 5*i - 179 = -3*j, 4*j - 232 = -5*i. Is j a composite number?
False
Let y = -1 - 3. Let j be (-24)/y + 2/(-2). Suppose 6*c - 3*c = 2*l - 15, 0 = -5*l + j*c + 50. Is l a prime number?
False
Suppose 2*h = -0*h + 2. Is (119/14)/(h/22) a prime number?
False
Let h be (-4 + 7 + -4)*103. Let a = h + 246. Is a prime?
False
Let m(s) be the third derivative of s**5/30 - s**4/6 - s**3/2 + s**2. Suppose r + 0*r + 2 = 0. Is m(r) a prime number?
True
Let j(u) = u**2 - 5*u + 2. Suppose 2 = -0*d + 3*d + 2*w, 5*w + 13 = -3*d. Let b be j(d). Is 33 - 0*b/(-6) a prime number?
False
Suppose 3*r - 45 = -0*r + 5*v, 63 = 3*r + v. Suppose -5*b = -k - k + 18, -4*k + r = -2*b. Is b - -163 - (0 + -2) prime?
True
Let k = 593 + -394. Is k prime?
True
Suppose -3*f = -4 - 8. Suppose -5*q = 3*x - 345 - 788, f*x = -4*q + 900. Let w = q - 138. Is w a prime number?
False
Let h(f) = f**2 - 3*f + 2. Let x be h(3). Suppose 5*w = x*w + 951. Is w a composite number?
False
Suppose 16 = -4*x + 80. Is 4/(x/6)*2 a prime number?
True
Suppose 0*r - 5*r = -3515. Is r a composite number?
True
Let j be 2/(-2) + (3 - 0). Let m = -4 - -5. Is m/4*j*518 prime?
False
Suppose -3*j + 1030 = 2*j. Let g = 312 - j. Is g a prime number?
False
Let k = -2 - 5. Let n = -5 - k. Suppose -n*r + 2*t = -7*r + 391, 229 = 3*r + 4*t. Is r prime?
True
Suppose 5*g + 3*d - 29 = 0, g + d - 3*d + 2 = 0. Suppose -2*o = o - g*n - 447, 0 = -n. Is o a prime number?
True
Let q be (4/5)/(6/45). Suppose q = 4*h - 14. Suppose h*k + 2*t = 80 + 183, 0 = 4*k + t - 208. Is k a composite number?
True
Let d(h) = -6*h - 11. Is d(-10) prime?
False
Suppose 0 = -4*v + v - 63. Is ((-70)/v)/(4/222) composite?
True
Is ((-605)/(-220))/(67/(-68) - -1) a composite number?
True
Suppose -z - z + 70 = 0. Is z a prime number?
False
Suppose 4*f - 22 = -6. Let t(q) = 39*q + 5. Is t(f) composite?
True
Let h(f) = 2*f - 6. Let p be h(12). Suppose 4*q - 117 = 3*m, -33 = -2*q + 3*m + p. Is q prime?
False
Let p be -3*((-10)/6 + 0). Is -8 + p - (-194 + 0) a composite number?
False
Let u = -94 + 236. Suppose 12 - u = -5*i - 5*p, -36 = -i + p. Suppose -12 - 13 = -5*s, -s + i = 2*n. Is n a composite number?
False
Suppose -4*c - 2*h = -12, h = -4*c + 5*h. Let t be (-11)/(0 - c/(-10)). Let f = 108 + t. Is f composite?
False
Suppose 2*q + 6 = 0, n - 5*q - 5 = 6*n. Let d be ((-14)/4)/(1/n). Let h(b) = b**2 + 4*b + 2. Is h(d) prime?
True
Suppose 0 = 5*n - 2*y - 2225, -4*y = 5*n - 0*n - 2195. Is n a composite number?
Fa