 = -7*t + 187, -m*t - v = -73. Is t prime?
False
Let p(d) = 2*d**2 - 6*d - 7. Let r be p(5). Suppose -t - r + 134 = 0. Is t a prime number?
False
Suppose -2*a - 5*d + 354 = 0, -5*d = 5*a - 851 - 64. Is a prime?
False
Let k be (-6 - -2)/(6/9). Let a(r) = -32*r + 7. Is a(k) a prime number?
True
Let s = 6 - 7. Let l = 4 + s. Is ((-11)/l)/((-2)/42) a composite number?
True
Suppose -3*m = -2*x - x - 3360, 0 = -5*m + 3*x + 5594. Is m composite?
False
Let d(p) be the second derivative of 19*p**3/6 + 5*p**2 - p. Is d(7) a prime number?
False
Let y be 15*(44/10 - 4). Is y/(-4)*(-10820)/30 a composite number?
False
Let b = 0 - 1. Is (-2)/b + -2 - -57 a prime number?
False
Let d(s) = s**3 - 4*s**2 + 5*s - 1. Let p be d(4). Suppose p = -5*t - 1. Let n(f) = 2*f**2 - 2*f - 2. Is n(t) a composite number?
True
Suppose -h = -5 + 1. Suppose -3*k = -0*k - 525. Suppose k = g + h*g. Is g a prime number?
False
Let p(t) = t**2 - t - 1. Let n be p(-1). Let s(g) = 8*g + 1. Let z be s(n). Suppose z + 12 = j. Is j prime?
False
Let r(v) = -4*v - 5. Let g(i) = i - 17. Let t be g(13). Is r(t) a composite number?
False
Let w = -2 - -4. Suppose 0 = -w*v + 6*v - 8. Is 79/v - (-3)/(-6) a prime number?
False
Suppose 5*k + 2*z - 67 = -0*k, -5*z = 5*k - 70. Suppose -k = -4*v - 1. Suppose 3*h + 69 = 5*h - n, -v*h + 116 = n. Is h a composite number?
False
Let s(b) be the second derivative of b**5/60 - b**4/3 - 5*b**3/3 + b**2 - b. Let t(c) be the first derivative of s(c). Is t(-7) a prime number?
False
Let i be (-4)/10 - 4/(-10). Suppose 0 = 2*p - 5*y - 271, 4*p + 4*y - 5*y - 569 = i. Is p a prime number?
False
Suppose d - 490 = -a, 0 = -4*d - a + 727 + 1224. Is d prime?
True
Suppose -12 - 18 = -2*f. Is (-5)/f + 274/3 composite?
True
Let h(o) = o + 2. Let c be h(0). Suppose -d = -c*r + 26 - 63, 109 = 3*d - 4*r. Is d prime?
False
Let g = 14 + -27. Let a = g + 57. Let t = 75 - a. Is t a composite number?
False
Let z = -7 + 9. Suppose -z*v + 2 = t + 3*v, 0 = 3*t - v + 10. Is (17/(-2) - t)*-26 a composite number?
True
Suppose 3*t - 5*i - 96 = 204, 86 = t + 3*i. Is t a composite number?
True
Suppose 2*m = 4*m - 8254. Is m prime?
True
Suppose 0 = d - 14 - 7. Suppose 2*c - 5*c = -d. Let b(k) = -k**3 + 8*k**2 + 5*k - 5. Is b(c) prime?
True
Let x = 205 + -126. Suppose n - x = 252. Is n a composite number?
False
Suppose 0 = -2*q + 2*z - 0*z + 652, 4*q + 5*z = 1349. Is q a prime number?
True
Suppose -23 - 13 = -3*y. Let r = y - -143. Is r prime?
False
Suppose -2*u + 5 - 1 = 0. Suppose u*m - 189 + 35 = 0. Is m prime?
False
Let p(z) = -z**3 + z**2 + z + 2. Suppose -2*t + 15 = -b + 6, 4*b = -20. Let o be p(t). Let r(k) = -k + 21. Is r(o) prime?
False
Suppose -3*s = -98 + 23. Is (-5)/s + 276/5 prime?
False
Let v(s) = 84*s**2 - 8*s + 1. Is v(3) a prime number?
True
Suppose -15 = -5*q + 3*a, 3*q + q = -4*a + 44. Let z = q + -3. Suppose -12 = z*m, -3*d - m - 12 = -29. Is d a composite number?
False
Let j be (-30)/(-8) - 2/(-8). Suppose 4*t = j*s + 216, -2*s - 4*t + 0*t - 114 = 0. Is s/((1 - -1) + -3) a prime number?
False
Let i be ((-1)/2)/((-2)/16). Suppose -i*r = -2*r + 2, 4*d = r + 357. Is d a prime number?
True
Suppose -d - 1 = 3*a - 9, 0 = -4*d - 4. Suppose -5*q = a*c - 551, -3*q - 2*c + 344 = 13. Is q a composite number?
False
Let l be (12/(-8))/((-6)/8). Suppose 2*t + 4*d = 154, -3*t - l*t + 406 = 3*d. Is t composite?
False
Suppose 0*a + 5*a - 3*u = 3283, 0 = -5*a - 5*u + 3315. Is a a prime number?
True
Let r(j) = 2*j**2 - 25*j + 17. Let f be r(17). Suppose -5*y + 165 + f = 0. Is y a prime number?
True
Let x(n) = n**3 + 3*n**2 - 1. Let f be x(4). Suppose 2*b - f = -2*b - o, 3*b + 5*o - 96 = 0. Suppose 2*y + 2*v = 46, -y - 2*v = -0*y - b. Is y prime?
True
Let c = 1608 + -1087. Suppose c = -4*d + 5*k + 2023, 2*d = -2*k + 742. Is d composite?
False
Suppose 471 = p - w, 46 = 5*p + 5*w - 2269. Is p prime?
True
Suppose 3*r + 3 = 2*r. Let f(p) = p - 1. Let u be f(r). Is (-206)/u - 1/2 prime?
False
Suppose -k = 4*d - 235, -k = d - 2*d - 215. Is k a prime number?
False
Let g = -181 - -93. Let t = -5 - g. Is t composite?
False
Suppose 4*h = -3*c + 509, h = c + 90 + 39. Let l = 259 - h. Is l a composite number?
False
Let l(h) = -h - 3. Let i be l(-4). Suppose -3*t + 2*v + 5 = -0, -4*t + 18 = 3*v. Is 76 + i/(t + -2) a composite number?
True
Suppose 6 = -5*d - 5*n - 4, -3*d = -5*n - 18. Suppose 5*w - 11 = -d, -207 = -3*y - 3*w. Is y prime?
True
Is -14 + 318 + (-2 - 1) prime?
False
Let x = 212 + -51. Is x composite?
True
Let m(q) = -q**3 + 13*q**2 + 13*q + 9. Is m(11) a composite number?
True
Suppose -2*v + 341 = t, -320 = t - 2*t + 5*v. Is t a prime number?
False
Let l be 2 - (8 - 2)*-1. Let g = l - 6. Is (g/2)/(1/49) composite?
True
Suppose -2*z = -0*z + 2*k + 8, 30 = -4*z + 3*k. Is (-11 - z)*37/(-5) a prime number?
True
Suppose 2*f = 3*f - 6. Is f a prime number?
False
Suppose -5*p = -5*b - 5, -3*p + 8*p + 4 = -4*b. Suppose p = i + 4*n - 319, -4*i + 3*i - 5*n = -319. Is i a composite number?
True
Let n(f) = 4*f**3 + f**2 - 1. Let c be n(-1). Let i(q) = -32*q + 5. Is i(c) composite?
True
Let t(r) = 41*r - 1. Let q = -7 - -10. Is t(q) composite?
True
Let n be (-10)/(-4) + 4/8. Suppose 172 = 5*m - n*m. Is m a prime number?
False
Suppose 0*y + 5*y = 0. Let f be (y/(-1))/(3 + -5). Suppose 5*d - 4*d - 21 = f. Is d a composite number?
True
Is (346*1 - 1) + -4 + 6 composite?
False
Suppose 3*l - 6 - 3 = 0. Suppose -l*n + 5*b + 23 = b, 81 = 5*n + 4*b. Is n a prime number?
True
Let s be ((-2 - 0) + 0)*-37. Suppose -2*o + s = -84. Is o prime?
True
Let o(q) = 4*q - 7 - 17*q + 2*q. Is o(-6) prime?
True
Let g(s) = 3*s**2 + s + 0*s**3 + 3*s + 9*s**2 - 1 + s**3. Is g(-8) prime?
True
Let w(s) = -3*s**2 - 6*s + 2. Let o(i) = -2*i**2 - 3*i + 1. Let a(l) = -5*o(l) + 3*w(l). Is a(-8) a prime number?
True
Is ((-145)/10)/(3/(-42)) a composite number?
True
Let h(q) = -53*q - 1. Is h(-4) prime?
True
Let i(k) = k**3 - 5*k**2 - k. Let d(y) = 2*y**3 - 11*y**2 - 2*y - 1. Let s(t) = 3*d(t) - 7*i(t). Let w be s(3). Is 6/w - 173/(-3) a prime number?
False
Let g = 91 - 48. Is g a prime number?
True
Let p = -98 - -495. Is p a prime number?
True
Let o(j) = -6*j - 27. Let w be o(-5). Let r(b) = -82*b. Let m be r(-1). Suppose -58 = -4*c - q + m, 0 = -w*q. Is c prime?
False
Suppose -551 = -7*n + 450. Is n composite?
True
Let t = -15 - -25. Suppose 2*h + 4 - t = 0. Suppose 3*y - y - 242 = 5*r, 456 = 4*y - h*r. Is y a composite number?
True
Let a(f) = 3*f**2 + 6*f. Let q be a(-5). Let i = 84 - q. Is i prime?
False
Suppose -2 = 3*m - 11. Suppose -39 = 3*h + m*a - 138, -97 = -3*h - 4*a. Is h prime?
False
Let x(i) = i**2 + 4 + i - 4*i**2 - i**2 + i**3. Let b be x(3). Is 300/9 + b/6 composite?
True
Suppose 0 = 2*w - 735 + 197. Is w composite?
False
Let h be 2/13 - (-141)/13. Let x = h + -6. Let v(y) = 4*y**2 - y - 4. Is v(x) prime?
False
Let v = -4 - -8. Suppose 0 = v*y - 3*y + 3*o + 1, 2*y = -5*o. Let t(a) = 3*a - 4. Is t(y) a prime number?
True
Let u(x) = 4*x + 3*x**3 - 1 - 1 - 2*x - 6*x**2 - 2*x**3. Let v be u(5). Let d = 484 + v. Is d a composite number?
False
Suppose j - 5*j + 20 = 0. Let w(h) = h + 3. Let r be w(j). Suppose 5*z - r = 62. Is z a prime number?
False
Let q = -582 - -393. Let d = -70 - q. Is d composite?
True
Let h(s) = -s**2 + s + 3. Let u be h(0). Let j(k) = k. Let d be j(0). Suppose -q - q - 10 = d, 5*v - 95 = -u*q. Is v a prime number?
False
Let h be (-2642)/(-6)*(1 - -2). Let c = h + -854. Is c composite?
False
Let m(z) = -2*z**3 + 23*z**2 - 7*z - 3. Is m(9) prime?
False
Let c(q) = -173*q. Let t be c(-1). Suppose 96 = l + 3*v, t = 2*l + 4*v - 29. Is l composite?
True
Let f be -2 + (-13)/((-13)/714). Let q = f + -309. Is q composite?
True
Let s(c) = -c + 1. Let n be s(-4). Let k = n - -5. Suppose 0 = -v + k + 47. Is v composite?
True
Is (-2 - 374/4)/((-1)/2) prime?
True
Let q = 432 + -245. Is q composite?
True
Let h = 35 - -235. Let x = h + -149. Is x prime?
False
Suppose 5*l + h = -4*h + 1230, 3*l + h = 740. Is l a prime number?
False
Is 201*1*(-20)/(-60) a prime number?
True
Is ((-3)/1 - -1) + 565 prime?
True
Let c(s) = -39*s - 1. Let j(a) = -a**3 - a**2 + a. Let i be j(-1). Is c(i) prime?
False
Let q = -437 + 633. Let z(w) = -w**3 + 15*w**2 - 8*w - 6. Let n be z(7). Let k = n - q. Is k a prime number?
False
Suppose -