s = v - c. Is s prime?
True
Suppose 7 = -a - 5*c, 5*a - 23 = 3*c - 2. Suppose -4*g = -a*g - 679. Is g a prime number?
False
Let c(y) = y + 10. Suppose -4*g - 5*v = 3, 5*v + 15 - 5 = -5*g. Let m be c(g). Suppose -m*n = -46 - 47. Is n composite?
False
Suppose -r = 4*f - 4*r - 47, -3*f - 4*r = -4. Is 4 - (f + 3)*-23 a composite number?
False
Let o(z) = 66*z - 4. Let y be o(4). Suppose -3 = -0*f - 3*f, -5*f = -5*m + y. Is m/((2 - 4) + 3) prime?
True
Suppose -2*d + 23 = 109. Let k be d/(-9) + (-12)/(-54). Suppose -j + 2*j + 34 = 2*x, -k*j = -4*x + 56. Is x composite?
False
Suppose -3309 = 4*d - 3*q, -4*q - 1665 = 2*d - 9*q. Let z = 2269 + -993. Let i = z + d. Is i composite?
True
Let m = -173 + 289. Suppose 198 + m = 2*l. Is l a prime number?
True
Let c be 4/(-8)*2*-3. Suppose c*o - 9 = 2*v, 0 = -0*v - v + o - 2. Suppose 2*k - 2*m - 2*m - 98 = 0, -m = v*k - 154. Is k prime?
False
Let v = 797 + 12954. Is v a composite number?
False
Let g = 36 - -1761. Is g a prime number?
False
Let v(o) = -o**2 + 4*o + 11. Let s be v(5). Suppose 0 = -5*l + s*l. Suppose 511 = 4*i - 3*u, l*i - 4*i - 4*u + 504 = 0. Is i prime?
True
Suppose -2*r + 1773 - 121 = 0. Suppose 2*s + 4*c - r = 0, 1227 = 3*s + 6*c - 4*c. Is s composite?
True
Is 719*(4 + 5 + 8) a prime number?
False
Let p be 1/(-2)*2420/(-10). Let g = p - 622. Let o = -338 - g. Is o prime?
True
Let x(c) be the first derivative of 19*c**3/3 + 3*c**2 + 7*c + 4. Is x(-10) prime?
True
Suppose 0 = -9*f + 5*f + 9792. Suppose 0 = 8*d - 1144 - f. Is d a composite number?
False
Is (-2097)/6*1062/(-27) a composite number?
True
Is (-15)/12 + (-2160059)/(-44) prime?
False
Let w = 3364 - 2201. Is w composite?
False
Suppose -4*m - 70 = -82. Let l be (0 + 67)/(2/4). Suppose m*i = -2*b + l, -b - 335 = -6*b + 5*i. Is b prime?
True
Let g(i) = -245*i - 9. Let m be g(15). Let t be m/(-7) - (-18)/(-63). Suppose -3*h - t = -5*h. Is h a prime number?
True
Let j = 41 + -68. Let q = j + 23. Let m(a) = -2*a**3 - 3*a**2 + 4*a + 3. Is m(q) prime?
True
Let u(o) = 5*o + 30. Let l be u(-6). Suppose -d + 2412 = 3*d. Suppose -2*x - d = -3*w, -4*w + 815 = x - l*x. Is w prime?
False
Let p be -1 - (-3 + (2 - 2)). Let j(r) = -16*r - 2 + 2*r**2 + 7*r**2 - 5*r**p. Is j(9) a composite number?
True
Let f(c) = -3*c**3 - 8*c**2 + 3*c - 1. Let l = -68 - -62. Is f(l) a prime number?
False
Let h(f) = f**2 + 2*f. Let l be h(-2). Suppose -o + 2*o - 87 = l. Is o a composite number?
True
Let p = 91 - -1892. Is p a composite number?
True
Suppose 2 = -2*h, -w - 805 = 3*h - 2301. Is w a prime number?
True
Let m = -6 + 9. Let s(y) = 12*y - 2. Let d be s(m). Suppose 0 = t - 49 - d. Is t a composite number?
False
Let r(v) = -4*v + 10. Let d be r(2). Suppose 20 = 5*t, 2*a = -d*a + 2*t + 5004. Is a a prime number?
False
Let t(x) = 13*x - 4*x**3 + 3 - 11*x + 0*x. Suppose 4*u = -4*d - 24, 2*u - 9 = 3*d - 1. Is t(d) a prime number?
True
Suppose 166774 = 34*v + 22580. Is v a composite number?
False
Let l be (-1 + 2)*(9 + 24). Suppose -4*g - 5*p + 30 = 0, 0 = -4*g + 5*p + l + 17. Suppose -5*q = j - g*q - 101, 3*j + 3*q = 267. Is j composite?
True
Suppose -3*o - 387 = 462. Let a = -165 - o. Is (a/3)/(8/12) a prime number?
True
Let b be -1*0*(-1)/(-2). Suppose b = -3*u - 0 + 12. Is (-226)/u*(-2 + 0) a prime number?
True
Let y(u) = -43*u - 27. Is y(-11) composite?
True
Let q be 12/(7/2 - 2). Suppose -q = -6*c + 4*c. Suppose -2*r = -5*g + 500 + 39, -c*r - 315 = -3*g. Is g a prime number?
True
Let b be 5/(-30) + 73/6. Suppose 7*y - 4*y - b = 0. Suppose -4*m - 4*x - 486 = -6*m, y*m + 2*x = 992. Is m composite?
True
Let f = 6 - 2. Is f/(-10) + 247/5 a prime number?
False
Let p(h) = -h + 17. Let r be p(9). Suppose r*s - 7510 = -2*s. Is s prime?
True
Suppose 3*h - 2*m + m = 13, -3*h - 3*m + 21 = 0. Suppose -5*s + 25 = 5*p, -h*p + 17 = -5*s + 2*s. Suppose -295 = -o - p*o. Is o a composite number?
False
Let p(s) be the first derivative of -11 - 2/3*s**3 + 5*s - 3/2*s**4 + 5*s**2. Is p(-4) prime?
True
Suppose -2*m + 9 = 3*t, 2*m + 3*t = 5*t + 34. Suppose -10*v - m = -12*v. Is v a prime number?
False
Let o be (-3)/(-4)*(-104)/(-39). Suppose -y = o*q - 291 + 35, y - 2*q = 256. Let k = -93 + y. Is k a prime number?
True
Suppose -5*o + 3*v + 265 = 0, -o + 5*v - v + 70 = 0. Let a be ((-414)/45)/((-2)/o). Is (-3 + 1)/((-10)/a) prime?
False
Suppose 4*o + h + 2*h = -1, 4*o + 4*h = -4. Suppose o*v - y + 246 = 3*y, -2*v = -y + 261. Let a = v + 336. Is a a composite number?
True
Let y be (-8)/9 - (-11)/(-99). Let k = 9 - 12. Is y/k*(162 + -3) a composite number?
False
Suppose 0 = 4*l - 3*z - 1755, -l + 4*z + 1318 = 2*l. Let b = -193 + l. Let q = b - 114. Is q composite?
False
Let q(g) = 2*g**3 - 9*g**2 + 5*g - 1. Suppose -c = 5*x - 72, 5*x - 62 = 5*c - c. Is q(x) prime?
True
Let y = -61 + 21. Is (-8456)/y + (-2)/5 composite?
False
Suppose 3*z - v = 25959, -15*z + 10*z - 5*v = -43285. Is z prime?
False
Let o(p) = p**3 - 8*p**2 - 4*p - 3. Let s = 41 - 36. Suppose -t + 44 = 3*m, 0*m - 2*t = s*m - 74. Is o(m) a composite number?
False
Let o = -4 - -7. Suppose 2*h - 3*h + o = x, 18 = 4*h - 2*x. Is (-1)/h*-2*74 a composite number?
False
Suppose -13*q + 16*q - 5088 = 0. Suppose a - q = -w, -w + 1690 = a - 2*w. Is a composite?
False
Let p be 9 + 0 + -1 + 2. Let k(t) = t**3 + 6*t**2 + 13. Let q be k(-4). Let b = p + q. Is b prime?
False
Let d be (-3)/(-2) - 369/6. Let n be (d/9)/(1/3). Let w = n - -33. Is w prime?
True
Let s(p) be the second derivative of 13*p**4/4 - p**3 - p**2/2 - 6*p. Let b be s(-5). Suppose -5*i - 369 + b = 0. Is i a composite number?
False
Suppose -9*s = 24*s - 530607. Is s prime?
False
Suppose 2*v - 121 = 533. Is v composite?
True
Let a(l) = -l - l + 3*l. Let y(x) = 3*x - 335. Let i(z) = 2*a(z) - y(z). Is i(0) a composite number?
True
Suppose -22 - 5 = -3*w. Suppose 2245 = -4*j + w*j. Is j a prime number?
True
Is (-162934)/(-20) - 3/(-10) composite?
False
Let w be 4/22 - 651*(-2)/(-22). Let g = 360 - w. Is g a prime number?
True
Let w(g) = -g**2 + 25*g + 3. Let f = -19 - -13. Let q(i) = i + 17. Let j be q(f). Is w(j) a prime number?
True
Suppose 4*y - 205 = -5*a, -35 = -y + a + a. Let s be 15*12*6/y. Let j = s + 62. Is j composite?
True
Suppose p - 5*q = -9, 4*p - 3*q - 16 = -1. Suppose -p*h = -4*h - 502. Suppose 2*t + h = 5*t + 5*s, -81 = -t + s. Is t a composite number?
True
Suppose 22*f - 748 = 18*f. Let n = f + 24. Is n prime?
True
Let b = 14 - 27. Let j(p) = -p**2 - 12*p + 16. Let a be j(b). Suppose -3*k + a*s = -91 + 10, -78 = -4*k - 2*s. Is k a prime number?
False
Let n = -2123 - -3850. Is n a composite number?
True
Let w(f) = -12*f - 11. Suppose -g - u = 6, -3*g + 3*u = -2*g + 14. Is w(g) a prime number?
False
Is -7 + 4 + 1910/((-2)/(-2)) a prime number?
True
Let l(g) = -13*g**2 + 9*g - 7. Let s(d) = d**2 - 1. Let p(f) = -l(f) - 4*s(f). Let a(v) = -2*v - 3. Let j be a(-4). Is p(j) a prime number?
True
Is 1/(-2)*(-5 - -7)*-1973 a composite number?
False
Let m = -15 - -12. Let x be m + -8*3/(-6). Let s(o) = 338*o**3 - o. Is s(x) a prime number?
True
Suppose -14*r + 51071 = -330275. Is r a prime number?
True
Suppose 0 = -0*d + 34*d - 74902. Is d composite?
False
Let j(n) = 2*n**2 - 5 + 4*n**2 + n**2 - 4*n**2. Let i be j(-4). Suppose -42 = -z + i. Is z a composite number?
True
Suppose -7*c = -9*c + 2, -2*l + 23923 = 5*c. Is l prime?
True
Suppose 4*c + 4*t - 864 + 4620 = 0, -5*t + 3738 = -4*c. Let b = 1638 + c. Is b prime?
True
Is 4782 - (-7)/28*4 prime?
True
Let z(i) be the third derivative of -i**4/24 + 2*i**3/3 - 6*i**2. Let t be z(4). Suppose -2*b + p = -3*p - 84, t = -5*b + 2*p + 178. Is b a prime number?
False
Let t = 3 - 1. Let u be 160/30 - t/(-3). Suppose u*c = -766 + 2092. Is c composite?
True
Suppose -31 = 3*o - 13. Let d(q) = -332*q + 1. Is d(o) a composite number?
False
Let i(r) = 1863*r**3 - r**2 + r + 2. Is i(1) a prime number?
False
Suppose -2*m - 3*m = -5*g + 6170, -5*m = 2*g - 2489. Let k = -596 + g. Is k a prime number?
True
Let v = -25470 - -57553. Is v composite?
False
Let q(i) = i**2 + 2*i + 20. Let r be q(12). Let b = r + -7. Is b prime?
True
Let n = 11017 + -4070. Is n composite?
False
Let w(l) = -l**3 + 5*l**2 - 2*l - 4. Let j be w(4). Suppose j*g - x = 2*g - 9, -4*g - 22 = 2*x. Let z(p) = -2*p**3 - 2*p**2 + 2*p - 3. Is z(g) composite?
True
Suppose -