- 2*k = v. Is o composite?
False
Let u = 10 - 3. Let n = u + -3. Suppose 0 = 5*m - 2*f + f - 746, -n*m - 5*f = -591. Is m a prime number?
True
Let w be 1 + -1 + 2 + 0. Suppose 2*d + f - 75 = 0, -5*f + 78 = w*d - f. Is d composite?
False
Let o = -1887 + 3860. Is o prime?
True
Let d = -63 + 280. Is d composite?
True
Let b(i) = i**3 - 23*i**2 + 24*i - 19. Is b(25) composite?
False
Let u(v) = 26*v**2 - 2*v + 19. Is u(-6) a prime number?
True
Let w = 74 + -43. Is w prime?
True
Let t(m) = 4*m**2 + 2*m + 1. Let b be t(-1). Let u = 420 - 104. Suppose -36 = 4*n + 4*s - u, -2*n + b*s + 115 = 0. Is n a prime number?
False
Suppose -d + 322 = -3*z, -2*z = -4*d - 3*z + 1301. Suppose n - d + 106 = 2*j, 4*n = j + 848. Is n a composite number?
False
Let j(q) = q**2 + 3*q - 3. Let m be j(-8). Suppose -u = -42 - m. Is u prime?
True
Is ((-1)/2)/(1/(-8402)) prime?
True
Let p be 2*-2*(-1)/(-2). Suppose -9*t = -12*t. Let j = t - p. Is j prime?
True
Suppose 0*v - 25 = 5*v. Is 1052/20 + (-2)/v a prime number?
True
Suppose -18 = 2*s - 4*o, 2*o = 4*s + 3 + 3. Let p = s + 4. Let l(f) = 2*f**2 - 2*f - 7. Is l(p) prime?
False
Let x = -89 - -15. Let u = x + 139. Is u a composite number?
True
Let s(x) = x**3 + 4*x**2 - x - 2. Let g be s(-4). Suppose -k = 3*v - 42, -g*k + 8 = 2. Is v a prime number?
True
Let z(y) = 88*y - 1. Is z(1) composite?
True
Let k = 813 + -421. Suppose -4*v = -4*s - 536, -4*v + s + k = -v. Is v composite?
True
Let l = 1882 - 1061. Is l prime?
True
Let h(k) be the second derivative of -3*k**3/2 - 3*k**2/2 + 3*k. Is h(-4) composite?
True
Is 3183/(-3)*3/(-6)*2 prime?
True
Suppose -f = 2*f + 24. Let b = 77 + f. Suppose 3*n + b = 6*n - 5*i, 0 = -n + 2*i + 23. Is n composite?
False
Suppose -7*v = -4*g - 6*v + 2529, -1878 = -3*g - 3*v. Is g prime?
True
Let g be 0 - 4*1/(-2). Suppose -g*p - 264 = 302. Let i = -72 - p. Is i a prime number?
True
Let r(u) = 2*u + 8. Is r(13) a prime number?
False
Let x(g) = -g**3 + 7*g**2 - 5*g - 2. Let s be x(6). Suppose -s*k = -276 - 56. Is k prime?
True
Let q = 20 + -24. Is 862/q*1*-2 prime?
True
Let r = -45 + 304. Is r prime?
False
Let n be ((-6)/(-15))/((-1)/(-5)). Is 6/(-2) + n - -296 a prime number?
False
Let i(x) = -38*x + 5. Suppose -4*g = -t + 12, -g = -2*t - 0 - 4. Is i(t) a composite number?
False
Let i(l) = 36*l + 2. Is i(2) prime?
False
Let k(n) = -5*n. Is k(-3) a prime number?
False
Suppose 3*s - 917 = u, -4*s - 2*u + 1236 = -6*u. Let l(x) = x**2 + 3*x + 1. Let p be l(-4). Suppose 0 = -p*r + 261 + s. Is r a composite number?
False
Suppose 0 = n - 5*n + 12. Let j be 237 + 1*0/n. Suppose 0 = -2*k + c + 3*c + 126, 5*c + j = 4*k. Is k prime?
True
Let z(h) = h - 5. Let w be z(7). Suppose -2*g = -6, -4*c + 13 + w = 5*g. Suppose 3*x + 12 - 3 = c, -5*j + x = -98. Is j a composite number?
False
Let c(p) = -p**3 + 5*p**2 - 4*p + 3. Let t be c(2). Let a(h) = 3*h + 2. Is a(t) prime?
True
Suppose -2*u - j = -2*j - 9, 0 = 2*j - 10. Suppose 0*g + g + t = u, g + 5*t = -5. Suppose 3*o - 22 = -l, 5*o + 36 + g = l. Is l composite?
False
Let f(q) = 22*q**2 + 9*q - 8. Is f(5) composite?
False
Let n(g) = 12*g**2 + 23. Is n(5) composite?
True
Suppose -4*r + 234 + 266 = -4*s, 3*r - 5*s - 385 = 0. Let k = 61 + r. Suppose -127 = -4*u + k. Is u a prime number?
False
Let j be (-1)/1 - (1 + 2). Let g(s) be the third derivative of s**5/12 + s**4/8 - s**3/2 - s**2. Is g(j) prime?
False
Suppose 0 = 2*z + 3 - 7. Suppose 2 = z*h - 4. Suppose 0 = -h*r - r + 28. Is r a composite number?
False
Suppose 5*o + 4*s = -s + 30, 0 = 4*o - 2*s. Suppose 3*r + 11 = a, 0 = o*r - 3*r + 3*a - 1. Let w(d) = d**2 + 3. Is w(r) prime?
True
Suppose 2*n - 8 = 10. Let l = n + 13. Is l composite?
True
Let b(u) = 3 - 4 - 2*u**2 + 4*u**2 - 12*u. Is b(9) a prime number?
True
Let b be (1 - 3/(-6))*-22. Let m = 47 + b. Is ((-1)/1)/((-1)/m) composite?
True
Suppose -4*c = -0*n + n - 5997, -3*n + 5999 = 4*c. Is c prime?
True
Suppose -15 = 2*u - 5*u. Let y be (-1 - (-7)/u)*5. Is (y - 33/(-2))*2 a prime number?
True
Let w = -117 + 191. Suppose 5*n + 8*z = 11*z + 10, -10 = -4*n + 2*z. Suppose n*a - i = 274, 0 = a + 5*i - w + 14. Is a composite?
True
Suppose -834 - 507 = -3*q. Is q prime?
False
Let o = -4 - -7. Suppose 8 = o*r + 2. Suppose -r*a = a + 2*u - 50, 2*a - u - 24 = 0. Is a composite?
True
Suppose -2*k + 6*k + 80 = 0. Is (-5)/(2*2/k) prime?
False
Suppose 4*m - 8 = -2*x - 0*m, 5*m - 49 = 4*x. Is (514/x)/((-1)/3) prime?
True
Let c be (-24)/(-40) + (-3)/5. Suppose -339 = -c*g - 3*g. Is g prime?
True
Suppose 5*a - 5*i + 1200 - 5160 = 0, -4*i + 3128 = 4*a. Is a a prime number?
True
Is -8 - -9 - (-33 + -1) a composite number?
True
Let q = -36 + 67. Suppose 0 = -4*r + 3*r - n + q, -n + 64 = 2*r. Is r a prime number?
False
Let t = -4 - -7. Suppose 0 = -t*f + 68 + 70. Is f a prime number?
False
Is (-5)/(10/(-6)) + 220 prime?
True
Is (-4)/8 + 779/2 a composite number?
False
Let r be (-37*1)/((-3)/6). Suppose -v + r = -3*u - 38, 4*v - 439 = 3*u. Is v a composite number?
False
Let o(z) = z**3 - 1. Let c(k) = 5*k**3 + 5*k**2 - k - 6. Let p(a) = c(a) - 6*o(a). Let q be p(5). Let w(t) = -3*t - 2. Is w(q) prime?
True
Let a(m) be the first derivative of 332*m**3/3 + m**2 + m + 1. Let w = -2 + 1. Is a(w) prime?
True
Suppose -4*a + 23 = 3. Suppose 124 = a*p - 46. Is p prime?
False
Let k be (-3)/((-21)/6 + 2). Suppose d - 5*w + k = 3*d, -20 = 4*d - 2*w. Is -158*-2*(-1)/d a prime number?
True
Let m(b) = 4*b**2 - 8*b - 1. Suppose -3*k = 3*j - 27, -3*k = -0*k - 2*j - 12. Is m(k) composite?
True
Let l(g) = -13*g - 22. Is l(-9) a prime number?
False
Let k = -14 + 20. Let w(h) = -3 + 3 - 4*h + 1 + h**2. Is w(k) a composite number?
False
Let b = 585 - 386. Suppose 0 = -v - 50 + b. Is v prime?
True
Let q be 9/4 - 2/8. Suppose q*j = 224 + 362. Is j composite?
False
Suppose -7*c - 21 = -10*c. Suppose 5*d = 3*z + 41, -2*d - 29 = -c*d - 3*z. Let w(p) = 3*p**2 - 11*p + 7. Is w(d) a composite number?
True
Let g(r) = -r**3 - 7*r**2 + 4*r + 1. Let j = 5 - 14. Is g(j) a prime number?
True
Suppose 4*t + s - 374 = 0, 5*s - 7 = 3. Suppose -2*i - 4*y = -8*y - 174, 4*y - t = -i. Is i a composite number?
False
Suppose 0 = 8*a - 16*a + 1784. Is a a composite number?
False
Suppose -3*x - 3 = h + 2*h, 3*x - 2*h - 7 = 0. Is x + (-463 - -1)/(-3) composite?
True
Suppose -2*z + 5*k = -3*z + 53, 0 = -3*z - 5*k + 199. Let h be (3*(-1)/4)/((-4)/(-160)). Let j = z + h. Is j a composite number?
False
Let n(r) = r**3 + 7*r**2 - 8*r + 2. Let h be n(-8). Suppose -3*t + 35 = -h*t. Is t composite?
True
Let q(v) = 231*v + 2. Let o be q(3). Is (-8)/36 - o/(-9) a composite number?
True
Suppose -119 = 5*v + 146. Let l = v + 32. Let o = 2 - l. Is o a prime number?
True
Let x = -259 + 457. Let f = x - 109. Is f composite?
False
Suppose -l - 4*r + 237 = 0, 0*l + 4*r = 4*l - 1008. Is l a composite number?
True
Let c = -21 - -58. Is c a prime number?
True
Let h(z) = -z**3 - 5*z**2 - 3*z + 2. Let l be h(-4). Let a be 975/4 - l/8. Suppose -4*w - a - 2 = -2*p, -6 = 3*w. Is p a prime number?
False
Let u(j) = 196*j. Let y be u(1). Suppose 4*r = -y + 504. Is r prime?
False
Let p = -76 + 2. Let h = 183 + p. Is h a composite number?
False
Suppose -5*d + 1161 = -0*a + 3*a, -5*a + 3*d + 1901 = 0. Is a composite?
True
Suppose p = -5*q + 20, -3*p + 2*q = -3*q + 20. Suppose p = -5*x + 3*x + 518. Is x a prime number?
False
Suppose f - 3*f + t = -121, -3*t - 48 = -f. Let v(x) = -x + 9. Let d be v(4). Suppose d*p - 122 = f. Is p prime?
True
Let h(o) = -o**3 + 5*o**2 + 3*o - 1. Let c be (-6)/15 - (-54)/10. Is h(c) prime?
False
Let u be 4*-2*1/4. Is (6 - -1)*(7 + u) a composite number?
True
Suppose 115 = -q - 0*q - 4*f, 3*q + f = -290. Let m = q - -240. Is m composite?
True
Let j = 15 + 3. Let q = j - 8. Is q prime?
False
Let c be 335/2*(-18)/(-15). Let p = -122 + c. Is p prime?
True
Suppose 0 = -3*x + k + 204, 5*x + 2*k - 347 = 6*k. Is x a composite number?
False
Let g = 178 + 47. Suppose 5*m = 3*v + 3*m - 328, 2*v = -5*m + g. Suppose 4*s - v = -s. Is s a prime number?
False
Let v = 2 + -6. Let i be v*-141*(-2)/(-8). Let j = i + -62. Is j a composite number?
False
Suppose 4*o - b - 18 = -0*o, 0 = -2*o - 2*b + 4. Suppose -4*m + o = 0, -5*l - 2*m + 19 = 2*m. Suppose -l*n + 4*n - 65 = 0. Is n composite?
True
Let w be (2610/4)/3*2. Let q = w + -244. Is q com