True
Suppose -3*c + c = -786. Suppose 0*r + s + 262 = 2*r, -3*r = s - c. Is r prime?
True
Suppose 3*k - 121 = 146. Is k prime?
True
Let y = 3 + -1. Suppose 4*r - x - 263 = 0, -12 = -y*r - 2*x + 112. Is r a composite number?
True
Is (-3412 + 0)*(-3)/12 prime?
True
Is (-2)/(-4)*(2719 + (5 - 2)) prime?
True
Let z = -195 + 132. Let s = z + 37. Let n = 36 + s. Is n a composite number?
True
Let x(r) = 10*r**3 - 3*r**2 + 3*r - 1. Is x(3) prime?
True
Suppose -l - 3*g + 586 + 50 = 0, -2537 = -4*l - 5*g. Is l composite?
True
Let u = -7 + 3. Let h(p) be the third derivative of -3*p**4/8 + p**3/3 + 2*p**2. Is h(u) composite?
True
Let x be 8/2*(-5)/(-20). Let s(n) = 50*n**3 - 2*n + 1. Let o be s(x). Suppose 4*q - 4*z + 7*z = o, 4*q + 4*z = 52. Is q prime?
False
Let b(f) = f + 37. Let g(d) = -d**2 + 4*d - 1. Let m be g(3). Suppose -m*r = r. Is b(r) composite?
False
Let k(z) = 14*z**2 - 6*z + 3. Is k(5) prime?
False
Suppose -3 = 2*w + w. Let r = -120 - -190. Is w - (r/(-2) + -1) composite?
True
Suppose 3*a - 4*f - 6120 = 0, 2*f + 3*f = 15. Let i = a + -1365. Is i a prime number?
False
Suppose 6*x = 3*x + 3261. Is x composite?
False
Let p be 28/21 + 6/9. Suppose 2*j = -p*j + 332. Is j composite?
False
Let p(o) = o**3 + 5*o**2 + 4*o + 3. Let f be p(-4). Suppose -4*i + f*i + 2 = 0. Suppose -i*v = -3 - 319. Is v a prime number?
False
Let s = 1560 - 1052. Suppose -2*k = 5*l - 254, -3*l - s = -4*k - l. Is k composite?
False
Let i be (-2 - -1)*(1 - 1). Suppose 5*j + 5 = i, 4*j = -v - 4*v + 711. Is v a prime number?
False
Is (1 - (-14)/(-4))*(-17598)/105 a prime number?
True
Let k(q) = q**3 + 8*q**2 + 5*q + 9. Is k(-6) a prime number?
False
Suppose 2*f = -4*m + 267 + 401, -m - 4*f + 181 = 0. Suppose 0*g - m = -3*g. Suppose 0*y + y = g. Is y composite?
True
Let n(t) = -t**2 - 11*t. Is n(-10) prime?
False
Suppose a + 8 = 3*a. Suppose -a*j = j. Let f(l) = l**3 + l**2 - l + 21. Is f(j) composite?
True
Is ((-2)/(-3))/((-11)/((-18018)/12)) composite?
True
Let h be 2/2 - 30/5. Let v(c) = 3*c**2 + 5*c + 5. Let b be v(h). Let s = b + -34. Is s a composite number?
True
Suppose -2*f + 1817 = 3*f + 2*j, -5*f + 1811 = -4*j. Suppose 0 = 6*x - 3*x - f. Suppose 4*q = x + 99. Is q prime?
False
Is -2 + 3 + 3 + 3 + 1222 composite?
False
Is 9106*(4/(-6))/(48/(-36)) a prime number?
False
Suppose -1 + 5 = 2*x. Suppose -n = s - 14, -x - 2 = -4*n. Is s a composite number?
False
Let g(q) = -q**2 + 6*q - 2. Let t be (-22)/(-4) + (-2)/(-4). Let s be g(t). Is (s - (45 - 1))/(-2) prime?
True
Let v be -6*(8/(-6) - -1). Suppose -13 = -4*k + 3. Suppose 5*n - k*p = -8*p + 179, v*n - 2*p = 68. Is n a prime number?
False
Let c(q) = q**3 - 6*q**2 + 6*q - 8. Let t be c(6). Is (-494)/(-14) - 8/t composite?
True
Suppose 4*v = 2*d - 46, 5*d - v = 93 + 4. Suppose 2*k - d = k. Is k prime?
True
Is (-680)/12*12/(-8) a composite number?
True
Let t be (-4)/2 + 9 + 1. Let r = -5 + t. Suppose -5*o = -r*q + 227, q - o + 397 = 6*q. Is q prime?
True
Let d(h) = h + 2. Let b be d(-2). Suppose p + 4*t - 165 = b, -600 = -4*p + 2*t - 3*t. Is p a composite number?
False
Suppose -3*u + 7*u = -2*c + 144, -2*u = -3*c - 88. Is u prime?
False
Suppose 3*w + 15797 = 4*u - 2*w, 3*w - 11814 = -3*u. Is u prime?
True
Let y(s) = -s**2 + 3*s + 2. Let l be y(5). Let r(p) = p**3 + 9*p**2 + 8*p - 6. Let i be r(l). Is (-1526)/(-12) + 1/i composite?
False
Let z = -8 + 6. Is (14/8)/(z/(-376)) prime?
False
Let i = 3 + 1. Suppose 3*m + i - 19 = 0. Suppose m*f - 3*f + 4 = 0, 38 = 2*o + 4*f. Is o a composite number?
False
Let j be 1/4*4*2. Suppose 0 = j*x + 49 - 683. Is x prime?
True
Let l be 4/2 + -4 + 1. Is 148 + l + (3 - 1) a composite number?
False
Let q be (-1)/3 - (-21)/9. Suppose j = q*j - 39. Let p = j - 2. Is p composite?
False
Is (-662)/(-3 + -2 + 3) a prime number?
True
Let x be 14440/(-44) + (-2)/(-11). Is 3/((-12)/x) - 3 prime?
True
Suppose 0 = 5*t + 5*w - 15, 7*t - 2*t - 2*w - 15 = 0. Suppose -t*n + 4*z + 82 = 0, 4*z - 5 - 15 = 0. Is n prime?
False
Suppose 0*w - 9*w + 7227 = 0. Is w a prime number?
False
Let w(p) = p**2 + 4*p - 1. Let c be w(-5). Let o be -2 + c + (0 - -2). Suppose -o*l = -50 - 138. Is l a composite number?
False
Let v(t) = t**3 + 6*t**2 + 2*t. Let b be v(-6). Suppose 0 = 4*l - 2*l + 44. Let g = b - l. Is g prime?
False
Suppose 5*x - 409 = 4*f, 3*x = -3*f - 2*f + 238. Suppose 3*k + x + 95 = 5*v, -k = -3. Is v prime?
True
Is 14756/70 - (-1)/5 composite?
False
Let q(z) = -6*z - 1. Let l be q(-1). Suppose 627 = l*t - 618. Suppose 0 = 5*c - 166 - t. Is c a composite number?
False
Let h = 15679 - 9290. Is h prime?
True
Is (-4)/18 + (-290962)/(-126) a composite number?
False
Suppose -c + 41 = -5*o + 240, -5*o + 5*c = -195. Is o + -2 - (-2)/(-2) composite?
False
Let f be 5*-3*(-3)/15. Is (f + 0)*150/18 a prime number?
False
Suppose 10*s = 8*s + 742. Is s a composite number?
True
Let s(g) = -10*g**2 + g. Let c be s(1). Let j(p) = -p**2 - 9*p + 3. Let z be j(c). Suppose -4*x = 4*y - 200, 0*x = z*x + 9. Is y a prime number?
True
Suppose -442 = -4*u + 286. Let t = u - 129. Is t a prime number?
True
Let z = -57 - -386. Is z a composite number?
True
Let n(a) = -80*a - 4. Let r be n(-3). Suppose 144 + r = 5*t. Suppose 0 = 3*j - 4*j - 4*y + 19, y - t = -5*j. Is j prime?
False
Suppose -f + 5*z + 1361 = 0, 4*f = 5*f + 3*z - 1361. Is f prime?
True
Suppose 3*u - 4*r = u + 696, -2*u = 5*r - 705. Suppose 0 = -5*d - 95 + u. Is d composite?
True
Let r = -3 - -2. Let d be (-6)/(-4)*52/39. Is 1 - r/(d/26) a prime number?
False
Suppose 0 = -0*k - 2*k + 2*m + 1106, -5*m + 1691 = 3*k. Is k a prime number?
True
Let k(i) = 217*i**2 + 3*i. Let f(h) = 172732*h**2 + 2387*h. Let g(p) = 6*f(p) - 4774*k(p). Let b be g(1). Let t = b + -217. Is t composite?
True
Suppose 5*k - 2*b - 8 = 0, 2 = 5*k - b - 7. Suppose -w = k - 1. Is 10*w/((-6)/9) prime?
False
Let t = -657 - -992. Is t a composite number?
True
Suppose 0 = -7*n + 6773 - 2034. Is n composite?
False
Let r be -3 + (1 + -1 - -348). Is 2*(r/6)/5 a prime number?
True
Let n = -3 + 8. Suppose -w + n*w = 40. Suppose -9 - w = -f. Is f prime?
True
Suppose 5*c = -3*k + 203, -3*c - 2*c + 5*k + 235 = 0. Is c a prime number?
True
Let p(t) = 50*t + 4. Let q be -3 + (1 - 1 - 2). Let g be p(q). Is (-2)/6*(-3 + g) composite?
False
Let m be ((-2)/(-8))/((-8)/(-64)). Is 321*(m + (-16)/12) a prime number?
False
Let v(g) = 11*g**3 - g. Let w(i) = i. Let x be w(8). Let u be (-2)/x - 5/(-4). Is v(u) a prime number?
False
Let w be 10*-111*(-2)/3. Suppose -7*n = -3*n - w. Is n composite?
True
Suppose 98 + 42 = 4*a. Let j = a - 21. Is j composite?
True
Suppose -5*t + 10 + 0 = 5*y, 3*t - y = -10. Is (t/(-6))/(2/474) prime?
True
Let h be 1096/9 - 4/(-18). Suppose -r - 1467 = -5*k + h, -5*k = -4*r - 1586. Suppose -4*a = -k + 130. Is a composite?
False
Suppose -21 = -2*s - 5. Is (-2)/(s/(-764))*1 composite?
False
Let y = -17 + 144. Is y a prime number?
True
Let i(p) = -p**3 - 4*p**2 + 6*p + 7. Let w be i(-5). Suppose r - 77 = -3*k, 0 = w*r - 4*k - 37 - 157. Is r a prime number?
True
Let k(m) = -32*m - 12. Let c be k(-5). Suppose -3*z + c = -1757. Is z prime?
False
Is 201*(3 + (-32)/12) prime?
True
Let x(o) = -o + 1. Let y be x(3). Is (-2)/3*471/y a composite number?
False
Let x(m) = 12*m - 1. Is x(5) prime?
True
Suppose -547 = -2*s - d + 47, -s + 291 = -d. Is s a prime number?
False
Let r(d) = 34*d - 1. Let k be (-11)/(33/(-18)) - 0. Is r(k) prime?
False
Suppose 5*x + 78 + 78 = 3*d, 5*d = -3*x + 294. Is d a prime number?
False
Suppose -3*n = -2*k + 104, 4*n + 137 = -0*k + 3*k. Let l = n - -93. Is l a prime number?
False
Let n(y) = y**2 + 223. Is n(0) a composite number?
False
Let p be 849/(-9) + (-1)/(-3). Let t = 149 + p. Suppose -5*k + 388 = 3*s + t, 0 = -2*s - 8. Is k composite?
True
Suppose 65 = -4*q + 541. Is q a prime number?
False
Suppose -4*n = -3*n - 6. Let t be (-12)/n + 1*5. Suppose -w + 160 = 5*p, 3*p + t*w = 139 - 31. Is p a composite number?
False
Let h = -8 + 12. Let y be (-57)/(-21) - h/(-14). Suppose 316 = y*w + w. Is w composite?
False
Suppose 5*x - 9 = 11. Let s = 2 + x. Suppose -k - 65 = -s*k. Is k prime?
True
Suppose -5*r = -r - 3*g, -g = -2*r + 2. Suppose -4*y + 0*y + 312 = -2*u, 5*u + 227 = r*y. Is y prime?
True
Let p(c) = c**3 + 2*c**2 - 11*c - 3. Let f(k) = -k. Let d(a) = 6*f(a) - p(a). Is d(-