- 1430 = 0, -1433 = g - 5*g - 3*s. Suppose -5*r = -g - 209. Is r a composite number?
False
Let l(f) = -3*f + 2*f**3 - f**2 + 1 + 2*f + 4*f - 4*f**2. Is l(3) prime?
True
Let z = 6 - 4. Let x be 2*(1 + 1/z). Suppose -42 = -d - x*k, 5*d - 3*k = -2*k + 162. Is d composite?
True
Let z(s) = -s**3 - 3*s**2 + 2*s + 1. Let h = 4 + -8. Let c be z(h). Is 6/c*3 + 17 prime?
True
Let v(b) = -b + 3. Let p(a) = a**2 - 2*a + 3. Let u(y) = 3*p(y) - 2*v(y). Let s = 15 + -19. Is u(s) a prime number?
True
Let a(u) = -u**2 - 7*u + 7. Suppose 0 = 2*h - 3*h. Suppose -3*r - 10 - 8 = h. Is a(r) prime?
True
Let l(y) be the first derivative of -y + 1. Let x(v) = -3*v + 4. Let z(c) = 6*l(c) + x(c). Is z(-7) prime?
True
Let s(q) = 2*q**2 - 1. Let i be s(1). Let o(v) = 90*v**2 + v. Is o(i) prime?
False
Let o be 3/(2/18*1). Let d = -17 + o. Is d prime?
False
Let c = -2 - -6. Suppose -3*f - 11 = -c*y, -2*f = 2*y + 2*f. Suppose -y*i = -i - 55. Is i a composite number?
True
Suppose -268 = -k - 5*m, -4*m - m = 25. Is k composite?
False
Suppose n - 117 = -0*n - g, -n + 5*g + 117 = 0. Let o = 210 - n. Is o/9 - (-4)/6 prime?
True
Is 2 - (1 - (4 - -114)) composite?
True
Suppose -3*r + 798 = 45. Is r prime?
True
Suppose -2*f + 113 + 65 = 0. Is f a prime number?
True
Let c = -30 - 14. Let w = c + 102. Is w prime?
False
Let i(v) = 3*v**3 - v**2 + 3*v - 4. Let d(z) = z - 3. Let o be d(6). Is i(o) a composite number?
True
Suppose -2*f = -6*f. Suppose -2*w + 5*u + 101 = f, w - u + 3*u = 37. Is w composite?
False
Suppose -2*l - 19 = -4*u + 1, 4*l + 4 = 2*u. Let q = u - 2. Suppose -q*v + 5*t + 29 = 0, -2*v + 0*t = -3*t - 13. Is v prime?
True
Is 10/(-4)*(25856/(-40) - 2) composite?
False
Let o(u) = -2*u**2 + u - 1. Let r be o(-4). Let b = 74 + r. Is b composite?
False
Let w(y) = 3*y**2 + 17*y - 13. Let g be 10/(-3)*(-180)/50. Is w(g) prime?
False
Let p(i) = i**3 - 6*i**2 - 8*i - 3. Let t be p(7). Let y be 4/t - 148/(-20). Is (-2)/(-7) - (-89)/y a composite number?
False
Suppose -5*i = 127 - 1047. Suppose 0*u = -3*u - q + i, -3*u = 4*q - 178. Suppose 0*d = 2*d - u. Is d prime?
True
Is ((-1)/5*4)/(152/(-4940)) prime?
False
Let y be 0/(-4) + 1 - 130. Is 22/(-11) - (0 + y) a prime number?
True
Suppose r = -3*w - 221, 15 = 2*w - 7*w. Let d = 331 + r. Is d prime?
False
Suppose 3*v - 7*v + 2*n + 3550 = 0, 0 = 5*n + 5. Is v a prime number?
True
Suppose -s - 1772 = -2*o + 2*s, -o + 899 = 5*s. Is o prime?
False
Suppose 4*a - 38 = 3*p + 54, 0 = -4*p - 16. Suppose i = -3*u + 4, u + 2*u - a = -5*i. Suppose -1 = b - i. Is b prime?
True
Suppose 2*w + 3*j - 650 = 0, -5*w + 1651 = 4*j - 3*j. Is w a prime number?
True
Suppose -5*n - 293 = -2*l - 1182, 2*n - 361 = -l. Let p = n + -21. Suppose 0*q = -2*q + p. Is q prime?
True
Let o = -66 + 105. Suppose a - o = -0*a. Is a composite?
True
Suppose 117*u - 2065 = 112*u. Is u prime?
False
Suppose 6*a = -a. Is a - -1 - (0 - 110) prime?
False
Suppose 0 = 8*d - 2*d - 2466. Is d composite?
True
Let p(h) = h**2 - 12*h - 4. Let l be p(12). Let z = 4 + l. Suppose z = -3*b - 4*u + 637, 5*b - 2*b + 3*u - 636 = 0. Is b prime?
True
Let w(d) = -d**2 + 4*d + 3. Let h be w(5). Suppose -3*z + 8*z + 10 = 0. Is (h + 46)*(-1)/z a composite number?
True
Suppose 2*r - 4 = 6, -5*a + 19075 = 4*r. Is a a composite number?
True
Let k(i) = -5*i**3 + i**2 - i + 1. Let f be k(1). Let w(b) = -83*b - 1. Is w(f) prime?
True
Is 69*(100/(-12))/(-5) prime?
False
Let c(m) = m - 4. Let l be c(15). Suppose x - l = 3*w + 30, 3*x - w - 155 = 0. Is x prime?
True
Let q be (0 - -1)/((-3)/9). Let k be (-2)/q - (-76)/(-6). Is (-2)/12 - 122/k composite?
True
Let z(v) = v**2 - 8*v - 37. Let j be z(-12). Let f = 187 - 28. Suppose f = 3*r - 2*t - 40, -3*r + t + j = 0. Is r prime?
False
Let p = 406 + 387. Is p a prime number?
False
Let g be 70/4*(-84)/7. Let x = -97 - g. Is x a composite number?
False
Let o = 504 + -197. Is o composite?
False
Let g(c) be the first derivative of c**3/3 + 19*c + 5. Is g(0) a prime number?
True
Suppose 19*g - 24*g = -555. Is g a prime number?
False
Suppose 5*m + 75 = -5*b, -4*m - 43 = -2*b + 41. Let p be 4 - -29 - -4 - 3. Let f = m + p. Is f a prime number?
False
Suppose 4*s = 5*j + 1206, -s = -0*s - 5*j - 309. Is s prime?
False
Let w = 7 + -9. Let v(l) = l**2 + 1. Let g be v(w). Suppose -4 + 10 = -2*u, 2*m - g*u = 57. Is m composite?
True
Let o(w) = 4*w**3 - 3*w**2 + 10*w - 9. Let m be o(6). Suppose 0 = 5*j + 3*g - m, 0*g - 652 = -4*j - 4*g. Is j a composite number?
True
Suppose 12 = -3*r + r. Let u be (-30)/(-9) + (-4)/r. Suppose p - u*p + 39 = 0. Is p a prime number?
True
Suppose -n - 2 = -2*r, -4*n = r - 4 - 15. Suppose -5*f = -2*t - 196 - 227, r*f = -4*t + 259. Is f prime?
False
Suppose -4*p = -2*w - 4, -5*w + 39 = 4*p + 7. Suppose -5*i = -p*i - 154. Is i prime?
False
Suppose 0 = -y + 8*y - 595. Is y prime?
False
Is (-4)/8*596/(-2) a prime number?
True
Let k(c) = -370*c + 5. Is k(-2) a composite number?
True
Let i(k) = -6*k**2 + 11 + 4*k**2 + 10*k + k**2. Suppose 5*h + 3 - 53 = 0. Is i(h) composite?
False
Let c(i) = 5*i + 2. Let g(r) = -3*r**3 - 2*r**2 - 2*r - 1. Let h be g(-1). Let z be (-1)/2 + 9/h. Is c(z) composite?
True
Let z(q) = -q**2 + 17*q + 1. Is z(7) prime?
True
Suppose -5*d = -10 - 30. Suppose -3*j + j - d = 0. Let b(t) = -11*t + 3. Is b(j) prime?
True
Let r(v) = -v - 1. Let b be r(-4). Suppose 3*a + 1491 = b*z, 3*z - 8*z = 5*a - 2485. Is z a prime number?
False
Let c be (-1)/2*(150 - 4). Let u = 162 + c. Is u a composite number?
False
Suppose 0*f - 50 = -5*f. Let a(s) = -s**3 + 10*s**2 + 3*s + 5. Is a(f) prime?
False
Is (-236148)/(-60) - (-4)/(-5) a prime number?
False
Is (2/3)/(6/2421) prime?
True
Let z = -21 + 54. Is z a composite number?
True
Suppose -211 = -4*h + 105. Is h a prime number?
True
Suppose -v = -4*g - 326 + 95, v = -2*g + 261. Is v a prime number?
True
Suppose 5*w + d - 1749 - 2026 = 0, 1510 = 2*w + 5*d. Is w prime?
False
Let y = 435 + 1168. Suppose h = 4*f - y, 0 = -2*h - 2*h + 4. Is f a prime number?
True
Suppose 2*l = -6, -k - 4*l = -0*l - 533. Is k a composite number?
True
Let h = 150 + 203. Is h a composite number?
False
Let y = -78 + 192. Let t = -80 + y. Is t a prime number?
False
Let z(a) = -a**3 - 6*a**2 + 2*a - 2. Let k(m) = -4*m**2 - 5*m - 2. Let s be k(-3). Let j = 16 + s. Is z(j) composite?
True
Suppose 3*x - 57 = -3*m, -m - 38 = -2*x - 0*m. Is x composite?
False
Let u be 4 - (0 + 12/(-3)). Let d(i) be the third derivative of i**5/20 - 3*i**4/8 - 3*i**3/2 + 2*i**2. Is d(u) a prime number?
False
Let f(g) be the third derivative of 0*g - 1/6*g**3 + 7/12*g**4 + 0 - 2*g**2. Is f(6) composite?
False
Is (2/(-6))/(1/(-3))*1259 a composite number?
False
Is (47 + 3)*8 - -1 a prime number?
True
Let w(g) = -4*g. Let n be 1/(-5) + (-18)/(-15). Let x be w(n). Is (x/6)/(2/(-159)) composite?
False
Let b(z) = -212*z - 1. Suppose 1 = -c - 0*c. Is b(c) prime?
True
Let k(x) = -x**2 - 4*x + 8. Let n be k(-6). Let r = 9 + n. Suppose 16 - 1 = -r*h, -5*c + 140 = -5*h. Is c a prime number?
False
Let q be (-5)/(-2) + 3/2. Is 28/(-4)*(1 - q) prime?
False
Suppose -1926 = -5*w + 1954. Suppose -3*n = -w + 251. Let l = n - 78. Is l a prime number?
True
Suppose -w = -0*w - 2*i + 2, -4*w = -5*i + 5. Suppose w*u + 4 = -u, -u - 485 = -a. Is a prime?
False
Let t(z) = -z**2 - 2*z - 2. Let n be t(-3). Let i(q) be the second derivative of q**5/20 + q**4/3 - 4*q**3/3 - 2*q**2 + q. Is i(n) prime?
True
Suppose -n + 5 = 3. Suppose h = 5*i - 17, 0*i - 5 = -3*i - n*h. Suppose v = i*l + 58, -274 = -4*v - 3*l + l. Is v prime?
True
Suppose 0*p + 2*p - 1798 = 0. Is p a composite number?
True
Let m(x) = 66*x - 5. Is m(2) a prime number?
True
Let b be -8*(-2)/4 - 2. Suppose 0 = -b*g - 2*g. Suppose 3*p = -3*w - 0*w + 162, g = -p + 5. Is w a composite number?
True
Suppose -k - 327 = -5*n, 0 = 4*n + 5*k - 0*k - 250. Let c = n - 42. Is c prime?
True
Suppose 5*w - 1445 = 5*s + 4*w, -3*s + w - 865 = 0. Let j = 349 - 788. Let p = s - j. Is p a prime number?
True
Let t be (-4)/6 - 91/3. Let q = -43 - t. Let b = 23 - q. Is b prime?
False
Let w = -964 + 1919. Is w a composite number?
True
Let k(y) = y**2 + 2*y + 1. Let s be k(-1). Suppose s = 5*h + 2*c - 169, -c + 137 = 4*h - 0*c. Is h a composite number?
True
Let j = 328 - 116. Let q = j + -125. Is q a composite number?
True
Let m(v) = -v*