551 + 947. Suppose 4*b + 0*b - l = 0. Suppose 3*u + 0*u = b. Is u composite?
True
Let n be -5*((-21)/(-15) + -1). Is (7*-14)/n*1 prime?
False
Let k(i) = i**2 + i - 1. Let t be k(1). Let w be ((t - -2) + -2)*-1. Is (0 - w)*-1*-11 a composite number?
False
Suppose -12 - 12 = -4*u. Let y be (-18)/(-4)*4/u. Suppose -3*m + 97 + 164 = 2*g, 246 = 3*m - y*g. Is m a composite number?
True
Suppose 4*r - 5*r + 3 = 0. Let c(y) = 2*y**3 - y**2 - 5*y + 4. Let o be c(r). Let h = 81 - o. Is h composite?
False
Suppose -5*o + 2976 + 229 = 0. Is o a prime number?
True
Let f(z) be the first derivative of 14/3*z**3 + 1 + 0*z - 1/2*z**2. Is f(1) a prime number?
True
Is 127/2 - (-9)/6 composite?
True
Suppose 6*n + 33 = 5*t + 2*n, 0 = 2*t - 2*n - 14. Suppose -2*r = -r - t. Suppose -4*p + 4*a = r*a - 81, 5*a = 2*p - 57. Is p a composite number?
True
Suppose 0 = -2*m + 5*v + 9, 0 = 4*m - m + 3*v + 18. Let y = m + 9. Let l(g) = g**3 - 3*g**2 + 4*g - 1. Is l(y) a composite number?
False
Suppose 2*p = 8 - 0. Suppose -2*n + 4*i + 262 = 36, 5*i = -p*n + 504. Is n prime?
False
Let v = 26 + 108. Is v composite?
True
Suppose 4022 + 11768 = 10*c. Is c prime?
True
Let h(x) = -2 - 30*x - 1 + 2. Suppose 0 = -5*r - 3*u - 19, 3*r - 2*u + 17 = -u. Is h(r) prime?
True
Let y be 283 + (16/(-4) - -2). Suppose 0 = 4*w - 12, 0 = -f + w + w + y. Is f a prime number?
False
Suppose -64 = -4*z - 8. Suppose -4*t - 28 = -5*t. Let b = t - z. Is b a prime number?
False
Let f = -696 + 2339. Is f a prime number?
False
Let m(t) = -2*t**2 + 3*t + 1. Let u be m(3). Is (-1328)/(-18) - u/36 composite?
True
Let r = -1 + 3. Suppose -2*f - 265 = -5*d, -r*d = -4*d + f + 105. Let g = 4 + d. Is g composite?
False
Let g(n) = n + 1. Let i be g(-6). Let w(q) = q - 13*q - 5*q**2 + 4*q**2. Is w(i) prime?
False
Suppose 5*s - 18 = 7. Suppose -3*v + 5*n - 25 = 0, -4*n = 5*v - 3*n + 51. Is -2*11*s/v prime?
True
Let i(a) be the third derivative of 0*a + 1/6*a**4 + 0 - 3/2*a**3 + 7/60*a**5 - 1/120*a**6 + 2*a**2. Is i(7) a composite number?
False
Suppose 3 = 5*d + 3*f - 1, 2*f + 2 = -d. Let s be (d - 13)/(1/4). Let v = s + 66. Is v a composite number?
True
Let w(f) = 2*f**3 + 7 - 7*f + 5*f**2 - 1 - 9*f**2. Is w(5) prime?
False
Let w(t) = 41*t - 12. Let r be w(9). Let a(j) = j**3 + 5*j**2 + 4. Let y be a(-5). Suppose -3*c = -s + 5*s - r, 360 = 4*s + y*c. Is s prime?
False
Suppose -137 = -5*l - 2*w, l + 2*w = w + 28. Suppose -2*b = -a + l - 167, -3*b = -5*a - 210. Suppose -u - u = -b. Is u a prime number?
False
Suppose 2*o + y - 865 = 0, 3*y = 7*o - 2*o - 2146. Suppose 0 = i + o - 115. Is (i/(-2))/(0 + 2) a composite number?
False
Let s(w) be the third derivative of -w**5/60 + w**4/6 + w**3/2 - w**2. Suppose 0*o - 4*o + 4*p + 32 = 0, -8 = 2*p. Is s(o) prime?
True
Is 4/(-16) + ((-9074)/(-8) - -1) a prime number?
False
Let w(t) = 2*t**2 + 22*t - 1. Is w(13) a prime number?
False
Suppose -2*q - 2*z + 3 = q, 5*q = 3*z + 5. Suppose -1 = n + q. Let c(b) = -18*b - 1. Is c(n) a composite number?
True
Suppose 5*j - 1940 = -4*c, -2*j - 2*j + 5*c + 1552 = 0. Let g = -10 - -14. Suppose 8*v - g*v = j. Is v composite?
False
Let j(y) = -7*y**3 - 5*y**2 - 4*y + 1. Is j(-3) prime?
True
Let g = 80 + -43. Is g a composite number?
False
Let p be ((-102)/2)/(7/(-14)). Suppose -y = -p - 101. Is y a prime number?
False
Suppose j - 68 = 31. Suppose -5*x + 67 = -243. Let i = j - x. Is i prime?
True
Suppose -280 = -4*a + 2424. Suppose -5*n = -a + 101. Is n a prime number?
False
Let z = 7 - 4. Let l be -1 + z - (-3 + 2). Suppose -l*d - 77 = -332. Is d prime?
False
Suppose 5*s + 4*m = -617 - 538, -m = s + 230. Let o = s + 338. Is o a prime number?
True
Suppose 0 = 2*w - 4, -3*f + 69 = -0*w + 3*w. Let q = 44 - f. Is q composite?
False
Let t(u) = 1976*u - 9. Is t(1) prime?
False
Let k(x) = -3 + 0*x**2 + x**2 - 1 + 5*x. Let q be k(-7). Is (-73)/(-2) + 5/q composite?
False
Suppose 0 = 4*b - 5*q + q - 112, 5*b - 4*q - 135 = 0. Suppose -s + 3*d - 4*d = -b, 2*s + d = 41. Is (-1232)/(-36) + (-4)/s a composite number?
True
Suppose 3*i - 1566 = -5*l - 108, 1168 = 4*l + 4*i. Is l a prime number?
False
Suppose 0 = -4*b - b - 2290. Let g = b + 732. Suppose 3*a - 393 = -3*z, a - 5*z + g = 3*a. Is a a composite number?
False
Suppose 5*v = -5*b - 82 + 27, b = -4*v - 23. Let n = 41 + b. Let m = n - -93. Is m a prime number?
True
Suppose 7*g = 2*g - 10. Let p = g - 4. Is 9/(-3)*254/p prime?
True
Suppose 0 = 5*d - 10*d + 3935. Is d a prime number?
True
Let x be (54 - 1) + (0 - -1). Let f(i) = -i**2 - 7*i - 7. Let v be f(-8). Let w = x + v. Is w composite?
True
Suppose -2*y + 4*x - 654 = -7*y, -666 = -5*y - x. Let g = -2 - -4. Suppose -b - b = -g*n - y, 0 = 5*b - 2*n - 335. Is b a composite number?
False
Let i(q) be the third derivative of -1/60*q**5 - q**3 + 2*q**2 + 0*q + 0 - 2/3*q**4. Is i(-11) a composite number?
True
Suppose 6*m = 3736 + 3266. Suppose 5*i = -4*w + m, 7*w = 2*w - i + 1464. Is w a prime number?
True
Suppose -6*y + 3115 = -y. Is y composite?
True
Suppose p = 4*b + 279, -p - 68 + 323 = 2*b. Is p prime?
True
Suppose -7*y = -22 - 223. Is y prime?
False
Suppose r = -r + 3898. Is r a prime number?
True
Let i be ((-20)/(-5))/(2/38). Suppose -3*j + i = j. Is j a prime number?
True
Let f(s) = s**3 - s**2 - 2*s. Let o be f(2). Suppose -1 - 9 = -5*a. Suppose -a*u = -4*w + 312, o*w + 3*w + 3*u - 225 = 0. Is w composite?
True
Suppose -2*a + 5*a - 9 = 0. Suppose q = -a*q + 24. Let m(j) = j**2 - j + 7. Is m(q) composite?
False
Let b(o) = 75*o**2 - 4*o - 1. Is b(-2) a composite number?
False
Is 2/3 - (-41262)/18 a composite number?
False
Let b(g) = -8*g**2 + 3*g + 5. Let t be b(-6). Is 1*-2 - (6 + t) a prime number?
True
Let d = -48 + 115. Is d prime?
True
Suppose -6*b + 3*b + 1146 = 0. Is b a composite number?
True
Let f(z) = -2*z**3 + 11*z**2 + 5*z - 9. Let i be f(-7). Let x = 482 - i. Is x/(-9) - (-2)/(-3) a prime number?
False
Let f = -27 - -94. Is f a composite number?
False
Suppose 4*q - 22 = 2*w, -2 - 1 = -3*q - 3*w. Suppose -5*r - 605 = -q*y, -r - 28 = -y + 124. Is y composite?
True
Let c = -858 - -1325. Is c composite?
False
Let r = -18 - -37. Is r a composite number?
False
Let c(j) = -166*j - 47. Is c(-11) prime?
False
Let p(t) be the first derivative of 4*t**3/3 + 3*t**2/2 - 5*t - 2. Is p(4) a prime number?
True
Suppose -2512 = -2*l + 2*k, -5*l - 1443 + 7729 = -2*k. Is (-6)/(-8) - l/(-8) composite?
True
Suppose 2*o = 6*o + 12. Is (-115)/15*(o - 0) prime?
True
Suppose 6*p - p - 55 = 0. Is p - (4 - 1)/3 composite?
True
Let w(d) = 4*d**3 - d**2 + 31. Let g(t) = 3*t**3 - t**2 + 30. Let f(h) = -h - 4. Let p be f(0). Let v(o) = p*w(o) + 5*g(o). Is v(0) prime?
False
Let q(m) = m**3 - 2*m**2 - m - 3. Let z(d) = d**2 + 2*d + 3. Let j be z(-2). Suppose -5*a + 10 = -0*a + 5*o, 3*a - 12 = j*o. Is q(a) a prime number?
True
Let v be (-1 - 0) + -1 + 2. Suppose v*m - 26 = -m. Is m prime?
False
Let l be 1/3 + (-104)/24. Let s(u) = -28*u + 1. Is s(l) composite?
False
Let j(c) be the first derivative of c**3/3 - 3*c**2 + 7*c + 2. Let z be j(5). Let m(q) = 21*q**2 + 1. Is m(z) a composite number?
True
Suppose -3*j = -5*f - 4*j + 4534, 4*f - 4*j = 3632. Is f composite?
False
Let s be 4/((-32)/6)*4. Is (-3 - 12/s)*161 prime?
False
Let v = -4 + 7. Suppose v*l + 27 = 4*k - k, -2*l = 5*k - 52. Is k a composite number?
True
Let o be 0 + -5 + 4 - 1. Is (255/(-6))/(1/o) a composite number?
True
Let i(j) = 3*j**3 - 17*j**2 - j + 13. Is i(8) a prime number?
False
Let n be 52/14 + (-2)/(-7). Suppose 0 = -3*u + i + 212, 3*u - 15 = -n*i + 187. Suppose -4*m + u + 100 = 2*a, 2*m = 3*a - 255. Is a a prime number?
False
Suppose 0 = i - 563 - 78. Is i prime?
True
Suppose 1155 = 4*b + l - 4*l, -3*l - 1446 = -5*b. Is b a prime number?
False
Let y be -2 - ((-2 - -5) + -3). Is (-1639)/22*4/y composite?
False
Let u(l) = 11*l**2 - 11*l**2 + 1 - l + 33*l**3. Let p be u(2). Suppose -4*d - p = -5*c, -4*c - 3*d - 3 + 201 = 0. Is c a prime number?
False
Suppose 0 = -3*k - 2*k + 45. Let d = k + 1. Suppose -q + 27 + d = 0. Is q composite?
False
Is 1/(-4 + (-267)/(-66)) composite?
True
Let u(i) = -2*i - 4. Let n(r) = 5*r + 12. Let v(a) = -4*n(a) - 11*u(a). Let h be v(7). Let j = 16 - h. Is j prime?
False
Suppose 0 - 7 = 3*j - 4*g, 0 = -g + 4. Let f = 0 - j. Is (-1 - f) + -1 - -10 composite?
False
Is 5/