
Suppose 0 = -0*l - l - 12. Let s(d) = -d**3 - 11*d**2 - 17. Is s(l) a prime number?
True
Let r be 1/(3 + 26/(-8)). Let a = 1 + r. Is 1 + 0 + (-108)/a prime?
True
Let b(s) = 731*s + 11. Is b(4) a prime number?
False
Let c(h) = 3 - 3 - 14*h - 7. Is c(-7) a prime number?
False
Let n = 9 - -31. Let o = 16 + n. Suppose -5*v + o = 1. Is v composite?
False
Let o = 7 + -9. Let l be -88 - (1 - (-2 - o)). Let d = 138 + l. Is d composite?
True
Let b = 30 - -155. Is b prime?
False
Let t be 105/20 - (-2)/(-8). Suppose 328 = t*j - 17. Is j composite?
True
Let w(a) = 14*a**3 + a**2 - 2*a + 1. Let r be w(1). Suppose -r = -3*f + 13. Let n = 58 - f. Is n prime?
False
Suppose -5*s + 2385 = -1300. Is s prime?
False
Let k = 37 - -7. Let y = 34 + k. Suppose -j = 2*j - y. Is j prime?
False
Is ((-7010)/2)/((-4 + 7)/(-3)) prime?
False
Suppose 3*u - 9 = 0, -4*v = -3*v - 5*u - 7. Is v a composite number?
True
Let m be 1 - 1 - 0/2. Suppose 4*f = -3*a + 26, m = -4*a - f - f + 18. Is (a - (-22)/(-4))*-2 composite?
False
Suppose -133 - 14 = -3*w. Let l = -34 + w. Is l composite?
True
Let s be -5*((-12)/3 + 1). Suppose -3*d + s = -5*x + 2*x, 2*x = -d + 5. Suppose 3*f = -x*f + 21. Is f composite?
False
Let f be 2/(-6) - 30/(-9). Suppose -f*r - 28 + 265 = 0. Is r a prime number?
True
Suppose -5*f - 2*z + 997 = 0, -4*f - z + 647 + 150 = 0. Is f prime?
True
Suppose 0 = 3*t - r - 1256, 2099 = 3*t + 2*t + 4*r. Is t a composite number?
False
Suppose 0 = -7*d - 6*d + 33527. Is d a prime number?
True
Suppose 2*v = -2*v - 1844. Let q = v - -648. Is q a composite number?
True
Let f = 75 - -412. Is f a prime number?
True
Suppose 28 = d + d. Is d prime?
False
Let c = 0 + -2. Let g be (0 + c)/(4/(-2)). Suppose 0 = -u + 12 + g. Is u a prime number?
True
Let y be (-4 - -5)*17*5. Let l be (-84)/(-10) - (-2)/(-5). Is (-2)/l - y/(-4) a prime number?
False
Suppose 0 = 7*k - 2*k - 405. Suppose -2*f + 17 + 62 = -5*v, -5*v + 3*f = k. Let i = v + 25. Is i a prime number?
False
Let a(c) = -68*c - 14. Let s(k) = 23*k + 5. Let y(l) = -6*a(l) - 17*s(l). Let u be y(2). Suppose -42 = -5*x + u. Is x a prime number?
False
Let f(n) = -31*n + 25. Is f(-12) a prime number?
True
Let s be 1 + 0 + 1/1. Suppose 0*f - s*f = -6. Suppose -55 = -v + f*d, -v + 0*d + d = -47. Is v composite?
False
Let s be 713 + (0 - 3/3). Let x = s + -459. Is x composite?
True
Is (-1)/2 + 5/((-40)/(-12732)) composite?
True
Suppose 2*b + 7 + 5 = 0. Suppose 4*l + 1 - 94 = 5*p, 4*l = -5*p + 43. Let a = b + l. Is a prime?
True
Suppose 0 = -0*h - 5*h + 25. Suppose 0*v - 449 = -4*v - 5*z, -h*z = -v + 106. Is v a prime number?
False
Is (0 - -1766) + (-18)/(-6) prime?
False
Let w be 26/(-3) - 2/(-3). Let v = w + 4. Is (3/v + -1)*-12 prime?
False
Let f be -2 - (1*-36)/(-1). Let z = f - -97. Is z composite?
False
Let z = -38 + 26. Suppose 0 = 5*g - 2*g + 129. Let y = z - g. Is y composite?
False
Let u be -2*(-2 + 1 + -4). Suppose -3*v = -v + u. Let l(d) = -7*d - 1. Is l(v) prime?
False
Is ((-564)/(-15))/((-2)/(-5)) composite?
True
Let b = -12 - -23. Let s(z) = -5 - b*z + 3 + 0. Is s(-3) prime?
True
Suppose 0 = -6*z + 4*z + 2*l + 118, 3*z - 174 = 2*l. Suppose z = -4*o + 6*o. Suppose -4*p + 192 = -3*a + 50, 0 = p + 3*a - o. Is p prime?
False
Suppose 7010 = s + 4*s. Is s a composite number?
True
Suppose -p + 215 + 163 = 0. Suppose 5*h + 43 = p. Is h prime?
True
Let l(t) = t**3 - 5*t**2 - 5*t - 4. Let x be l(6). Suppose 2*s - x = -5*v, 5*s - 3 = -5*v - 13. Is -2 - (-56 - v/(-2)) a composite number?
False
Let a(o) = -13*o**3 + 7*o**2 + 9*o + 5. Is a(-4) prime?
False
Let f be 3/(-9) - 56/(-6). Let n be 0*(-3)/f - -6. Let k = n + 71. Is k a composite number?
True
Suppose 0*b = 5*b + 5, 0 = -2*r - 2*b + 2. Suppose 0*l = -r*l + 494. Is l prime?
False
Let r(s) = -s**3 + 4*s**2 + 3*s - 2. Suppose 2*i = -3*i + 5. Suppose x - i = 3. Is r(x) composite?
True
Let c(a) = 19*a + 3. Let m be c(4). Suppose j = 84 + m. Is j composite?
False
Let r(t) = -t**3 + 4*t**2 + 2*t + 1. Let p be r(4). Let b = 26 + p. Is b composite?
True
Suppose -l + 5*m = -4*l + 794, 0 = -5*l - 5*m + 1320. Is l a prime number?
True
Let h(x) = -x**2 - 10*x + 9. Let y(m) = -2*m**2 + 6*m. Let t be y(4). Is h(t) a prime number?
False
Is 118/4 + 3/2 a prime number?
True
Suppose 2*p - 76 + 10 = j, -4*p + 112 = 3*j. Is p a prime number?
True
Let w(d) = 117*d + 1. Let g be w(1). Suppose g = -q + 3*q. Is q a prime number?
True
Let r(n) be the third derivative of -5/24*n**4 + n**2 + 0 - 7/6*n**3 - 1/15*n**5 + 1/120*n**6 + 0*n. Is r(6) prime?
False
Suppose -4*j + 326 = -5*q, 0 = 3*j + 5*q + 10 - 237. Is j a composite number?
False
Let w(x) = 36*x - 4. Let q(y) = 3*y. Let f be q(2). Let j be w(f). Suppose -j = -5*u + u. Is u a prime number?
True
Let i = -24 - -55. Is i a composite number?
False
Let w(g) = -g**3 - 6*g**2 - 2*g + 4. Let d be w(-5). Let v = d - -3. Let r = 54 + v. Is r prime?
False
Suppose -4*k + 2436 = -4*t - 2620, 0 = -4*k - t + 5031. Is k a prime number?
True
Suppose 3*i + 12 = 0, 2*s - 5*i = s + 693. Is s composite?
False
Suppose -1585 = -5*c - 470. Is c prime?
True
Suppose 2*l = -0*m - 3*m + 13819, 3*m = 5*l - 34516. Is l a composite number?
True
Suppose 3*j = -0*y + 2*y - 2198, 5*y = -3*j - 2212. Let g = j - -1105. Is g composite?
True
Let u = 89 + -15. Suppose u = 4*h - 3*h. Is h a composite number?
True
Let o(w) = 181*w**2. Let i be o(1). Suppose -i - 200 = -3*m. Is m a composite number?
False
Let n = -40 - -76. Suppose r + 4*t = n, -2*r + 80 = r - 2*t. Suppose o + 3*o - 74 = k, 2*o - 5*k = r. Is o prime?
True
Let j(n) = -4*n**3 + n**2. Let m be j(1). Let l = m + 16. Is l prime?
True
Let v(j) = j**2 + 2. Let k be v(0). Let s be -6*k/(-12)*4. Suppose -s*d - 30 = -7*d. Is d composite?
True
Suppose -5*q = 3*s - 4*q - 6574, 3*s = 4*q + 6569. Is s a composite number?
True
Let p(s) = -s**3 + 12*s**2 - 11*s + 4. Let t be p(11). Is (254/t)/((-3)/(-6)) a prime number?
True
Suppose 17 + 13 = 5*x. Let z(k) = k**3 - 3*k**2 - 5*k + 5. Is z(x) prime?
True
Let r = 202 - 454. Suppose 0 = -4*i + 2*v - 1748, i - 5*v = -v - 437. Let t = r - i. Is t a prime number?
False
Suppose 4*b + 26 + 6 = 2*h, 3*b = -15. Suppose -h*p + p = -155. Is p prime?
True
Suppose -l - 3*u + 1452 = 2*l, 489 = l + 2*u. Is l a prime number?
True
Suppose -4*r = 5*f + 139, -r + 145 = -5*r + f. Let o be ((-10)/4)/(1/10). Let m = o - r. Is m composite?
False
Let z(u) be the third derivative of 15*u**4/4 - u**3/6 + 5*u**2. Is z(2) a composite number?
False
Let j = 104 - -27. Is j a composite number?
False
Let u be 2 - ((1 - 2) + 0). Let a(x) = 5*x**2 - 2*x + 5. Let z be a(-3). Suppose -d = -u*b + z, -3*d - 1 = -4*d. Is b a prime number?
True
Suppose 0*n + 15 = -5*n. Let j(a) = 3*a**2 - 7*a**2 - 3 - 6*a + 3*a**2. Is j(n) composite?
True
Let l be (50/15)/((-1)/3). Let k(f) = 6*f**2 - 2*f - 2. Let q be k(l). Suppose 2*c + 467 = 3*d, 4*d - 8*c = -3*c + q. Is d composite?
False
Let j = 42 - -79. Is j composite?
True
Let n(o) = 119*o - 1. Is n(2) a prime number?
False
Suppose -4*i + 424 = 128. Let h = i - -183. Suppose -5*d - 2*p + 156 + h = 0, -4*p + 162 = 2*d. Is d a composite number?
False
Let s be 8/(-12) + (-52)/(-6). Suppose w = -2*z + 134, -2*z + 4*z = 3*w - 394. Suppose -4*q = -w - s. Is q a prime number?
False
Let g(f) = -3*f**3 - 9*f**2 + 19*f - 13. Let a(c) = -c**3 - 5*c**2 + 9*c - 6. Let u(b) = -5*a(b) + 2*g(b). Is u(5) composite?
False
Suppose -4 = -w + 2*u, 0 = w + 5*u - 2 + 5. Suppose -w*o + 5*o - 3*m - 990 = 0, 0 = 3*o + 4*m - 997. Is o a composite number?
False
Let v(w) = 10*w**2 + 11*w - 3. Let l(p) = 2*p. Let f be l(-5). Is v(f) a prime number?
True
Suppose -4448 - 1039 = -b + 4*d, -5*d - 5482 = -b. Is b a composite number?
False
Suppose 16 = 6*m - 2*m. Suppose m*b = -1 - 15, 0 = -c + 3*b + 37. Is c prime?
False
Let t(g) = 8*g**2 + 5*g - 11. Is t(10) prime?
True
Suppose -u - 4*u = -3*l + 350, 457 = 4*l + 3*u. Is l a prime number?
False
Let m be 6/(-2) + (-1 - 662). Let p = -455 - m. Is p composite?
False
Is ((-35)/(-20))/(2/376) a composite number?
True
Suppose -t - 12 = -4*t. Suppose -4*x + 2 = -2*x, 0 = -3*o - t*x + 94. Suppose 0 = 2*f + o - 160. Is f a prime number?
False
Suppose -14*c + 745 = -9*c. Is c prime?
True
Let v be 1/4 + (-31427)/44. Is v/3*(-3)/6 a composite number?
True
Suppose 3*n + 428 = 3*l + 