uppose 10*o - 5*o = 955. Is o prime?
True
Let i(l) = 39*l**2 - 10*l + 3. Is i(4) a prime number?
True
Suppose 0 = -2*n - 3*n. Suppose -4*b = 2*q - 3*b - 10, n = -q + 3*b - 9. Suppose d - 99 = -2*z - 14, -4*d = -q*z - 296. Is d prime?
False
Let q = -42 - -19. Let y = 56 + q. Is y a prime number?
False
Let p be 1 - (2 - (7 - 2)). Suppose -6 = 3*d, -1 = 2*m + p*d - 91. Is m a prime number?
False
Let n(b) = b - 2. Let g(m) = m. Let r be g(-6). Let k be n(r). Let t = k + 19. Is t a composite number?
False
Is 28/14 - (-22)/4*74 a composite number?
False
Let b be (-9)/2*(-6)/9. Suppose 0 = 4*m - b - 5. Suppose -27 = m*t - 129. Is t composite?
True
Let x(q) = 14*q**2 + 5*q - 2. Let p be 3 - (-3 + 11 + 1). Let m be p/(-18) - (-8)/3. Is x(m) a composite number?
False
Let t(x) = x**2 + 7*x - 3. Let a be t(-8). Suppose -c = -48 - a. Is c a composite number?
False
Let b(c) = -14*c**2 + c. Let j be b(2). Let r(q) = -q**2 + q - 1. Let l be r(0). Is 5 + -5 + (l - j) a composite number?
False
Let o(c) = 2*c**3 - 4*c**2 - 6. Let t be o(5). Let z = t - 89. Is z prime?
False
Let i(r) be the third derivative of 5/6*r**3 + 1/8*r**4 - 3*r**2 + 0*r + 0 + 1/12*r**5. Is i(5) composite?
True
Let r(o) = -6*o + 2. Let t be r(-9). Is t - (0/(-4) - -3) a composite number?
False
Let n be (-2)/5 + (-372)/(-30). Is 8/n*(142 + -1) a composite number?
True
Let m be ((-1)/2)/(1/(-2)). Is (106/(-6)*-3)/m composite?
False
Let n(q) = -q**2. Let m be n(0). Let s(y) = -667*y + 2. Let r be s(-1). Suppose -5*v + 2*v + r = m. Is v composite?
False
Suppose 0 = -16*n + 3*n + 72137. Is n composite?
True
Let k be (-7 - 3)*(-2)/5. Suppose -k*l + 4*d + 96 = 0, -l - 2*d = 3*l - 66. Is l a prime number?
True
Let q(s) = s**2 - 5*s - 3. Let c be q(6). Suppose -5*f + 218 = -22. Suppose -c*h = 4*b - 136, f = 3*b - 5*h - 83. Is b prime?
True
Suppose 20 = 2*n - 4*i, 0*n - 19 = -3*n - 5*i. Let d(r) = r**2 - 8*r + 10. Is d(n) prime?
False
Let y(r) = -47*r + 17. Is y(-6) a prime number?
False
Suppose 3*j - q = 2*q + 279, 0 = -2*j - q + 174. Is j a prime number?
True
Is (-30)/(-40) + (0 - (-5173)/4) a prime number?
False
Let v be 2 + 1/((-2)/(-2)). Suppose 3*y - 5*z - 3 = -14, -y + 15 = 3*z. Suppose v*i - 150 = y*n, -4*i - 5*n - 46 = -5*i. Is i composite?
True
Let d(n) = -2*n**2 - 5*n + 5. Let m be d(-8). Let r = m + 145. Suppose -7 = 5*z - r. Is z a prime number?
True
Suppose -m + 4*r = 12, 2*m = r + r. Suppose 2*u = 67 + 65. Suppose 0 = -m*a + 7*a - u. Is a a prime number?
False
Let q(i) = -347*i**3 + i. Is q(-1) a prime number?
False
Suppose -5*l + 0*l = 10, -2*l - 142 = -2*n. Is n prime?
False
Let n(h) = -3*h**2 + 19*h - 3. Let i(f) = -f**2 + 6*f - 1. Let p(z) = -8*i(z) + 3*n(z). Is p(7) prime?
True
Let x = -5 + 5. Let y(r) = -r**2 - r - 256. Let j(f) = -2*f**2 - 2*f - 513. Let b(c) = -3*j(c) + 5*y(c). Is b(x) a composite number?
True
Suppose 2*p - 4*p + 5 = a, 5*p - 9 = a. Let r = 2 + a. Suppose -5*j + 0*h + 4*h = -181, -107 = -r*j + 2*h. Is j a prime number?
False
Let k(n) = 25*n**2 + 16*n + 20. Let i(s) = 6*s**2 + 4*s + 5. Let v(g) = 9*i(g) - 2*k(g). Suppose -2*b = -0*b + 10. Is v(b) composite?
True
Suppose -3*g - 5*m + 2568 = -1316, 0 = 4*g + 5*m - 5177. Is g composite?
True
Suppose -3*l - 3*o + 30 = 0, 3*o - 27 + 7 = -l. Let d be l*(306/(-10))/(-3). Suppose 5*j + 5*y = 75, -3*j - 6 = -3*y - d. Is j a prime number?
False
Let g = -31 - -19. Let d be 2/6*(0 - g). Suppose u - 19 = z - 81, u + 263 = d*z. Is z a composite number?
False
Let u be 12/54 - (-256)/(-18). Let o be 4/u + 304/(-14). Let c = -13 - o. Is c prime?
False
Is 4/(-2)*(1 + (-585)/2) composite?
True
Let i(x) = 2*x - 4. Let h be i(8). Suppose 3*k + h = 0, 2*k + 202 = -3*b + 4*k. Is (2 + -1)*b/(-2) prime?
False
Let p(l) = -60*l + 6. Let k be p(4). Let z = k - -456. Is (z/9)/((-4)/(-6)) a prime number?
True
Suppose o + 2*n + 1258 = 3*o, o - 627 = 2*n. Is o a composite number?
False
Let d(q) be the third derivative of q**5/60 + q**4/24 - q**3/3 - 2*q**2. Let t be d(-2). Suppose 2*n - n - 55 = t. Is n prime?
False
Let u(x) = 11*x**2 - x - 2. Let n be u(2). Let o = n + 47. Suppose -4*m + 421 + o = 0. Is m a prime number?
True
Let f(a) = -88*a - 11. Is f(-3) a prime number?
False
Let n(h) = 0 + 2*h - 1 + 3. Let l be n(-2). Is (1 + 0)/(l/(-62)) a composite number?
False
Let b be (16/10)/(2/5). Suppose -p + 5 = b*p. Is -3 + (p - 0) + 157 prime?
False
Let n be (-443)/(-3) + (-2)/3. Suppose -4*w = -80 - 64. Let i = n + w. Is i composite?
True
Let q = 0 - -27. Suppose s = 6 + q. Is s prime?
False
Suppose 0 = -2*y - 3 + 21. Suppose -6*c - 78 = -y*c. Is c a prime number?
False
Let h be ((-586)/(-6) - -1)*9. Let f = -602 + h. Suppose 3*a + 799 = 5*l, -4*a - f - 350 = -4*l. Is l a prime number?
False
Let t(j) = -134*j - 3. Let n(u) = -u + 1. Let v(h) = 4*n(h) + t(h). Let k(r) = r - 1. Let p be k(0). Is v(p) a composite number?
False
Let g be 2/(-8) - (-13)/4. Suppose 2*x = -x + g*s + 219, 4*x + s = 307. Suppose -5*w + x + 109 = 0. Is w a composite number?
False
Let t = 16 + -55. Let c be 16/(15/(-13) - -1). Let y = t - c. Is y prime?
False
Suppose -g = -4*a - 0*g + 34, -3*g = -5*a + 39. Let h(u) = u**2 + 4*u - 2. Let b be h(a). Suppose 2*s = -3*s + b. Is s composite?
False
Let u(q) = -14*q - 5. Let t be u(-3). Let k = -18 + t. Is k a composite number?
False
Suppose -5*b + k - 347 = -2*b, -12 = 3*k. Let m = 50 + -90. Let l = m - b. Is l prime?
False
Let s = 3 - 0. Let t(j) = j**2 - j - 3. Let c be t(s). Suppose 21 = c*z - 0*z. Is z composite?
False
Let x(o) = -o**2 + o - 118. Let l be x(0). Let f = 208 + l. Suppose 3*b - f - 57 = 0. Is b prime?
False
Let c = 8 - 10. Let x be (c/6)/((-3)/27). Suppose 0 = -x*o - 168 + 447. Is o a composite number?
True
Let j be 0 + 3 - (-2 + 0). Let y(k) be the first derivative of k**4/4 - 5*k**3/3 + 4*k**2 - 3*k - 2. Is y(j) prime?
True
Suppose -5*d + 123 - 18 = 0. Is d composite?
True
Suppose -14*t + 17*t = 3558. Is t a prime number?
False
Is (-274)/(-8) - 3/12 a prime number?
False
Suppose -3*g = -t - 44, g - 5*g - 5*t = -46. Is (-1545)/(-2)*g/21 prime?
False
Suppose a = -4*b + 4, -b + a + 5 = 4*b. Let r(k) be the second derivative of 10*k**3/3 + k**2 - k. Is r(b) a composite number?
True
Suppose -5*h + 0*h + 7295 = 0. Is h a prime number?
True
Let r = 794 + -557. Is r a prime number?
False
Suppose 0 = -5*u - 2*w + 23, -17 = -5*u + w - 6. Is (4 - -9) + -1 + u a prime number?
False
Let z(a) = -a**3 - 4*a**2 - 3*a - 1. Let u be z(-3). Let s(p) = -7*p - 1. Let w be s(u). Suppose -4*f - 22 + w = -2*n, -3*n + 6 = 3*f. Is n a composite number?
True
Let q = -693 + 287. Let j = 665 + q. Is j composite?
True
Suppose -10*v - 1399 = -11*v. Is v a prime number?
True
Is 40/90 + 311/9 composite?
True
Let g(h) = -h**3 - 2*h**2 + 4*h + 3. Is g(-4) prime?
True
Let q = 2 - 2. Suppose q = -n + 175 - 26. Is n a prime number?
True
Suppose -2*b + 237 = b. Is b a composite number?
False
Suppose 3*j = 2*j. Suppose j = i - 4, 4*i = 2*b - b + 1. Suppose 2*u = -3*u + b. Is u prime?
True
Let v(h) = 7*h + 6. Suppose 3*d + 11 = m, 3*d = 2*m - 5*m - 27. Let w be v(m). Let f = 0 - w. Is f prime?
False
Suppose 0 = -l + 2*l - 11. Suppose 5*v + l = n, 2*n - 27 = -2*n + 3*v. Is n a prime number?
False
Suppose -8*g - 4168 = -16*g. Is g composite?
False
Let r(f) = -38*f + 26. Is r(-6) composite?
True
Let k = 72 + -49. Suppose 0 = -t + k - 3. Suppose -34 = -2*h + 4*v, h + 2*v = v + t. Is h prime?
True
Let l = 11 - 7. Suppose -3*i - 452 = -z, l*z + 3*i = 631 + 1102. Is z a composite number?
True
Suppose -4*f + 2412 = -392. Is f prime?
True
Is (4 + 3425/(-15))*-3 prime?
True
Is (4/2)/(4/934) a prime number?
True
Let x(d) = -2*d**2 + 4*d - 15. Let k be x(12). Let l = -44 - k. Is l a composite number?
False
Suppose 2*k = -2 + 12. Suppose -6*n + 970 = -4*n - q, k*n = 5*q + 2425. Suppose -o - 4*o + n = 0. Is o prime?
True
Suppose 0 = 3*l - 571 + 178. Is l prime?
True
Let j(z) = -21*z**3 + 1. Let s be j(1). Let f = s - -51. Is f prime?
True
Let m be (-17 - 1)*(-17)/(-3). Let q = -36 - m. Suppose 0 = -4*k - 5*b + 75, -4*k - k = -3*b - q. Is k composite?
True
Suppose 3*b = 5*a - 713, -2*a + b = a - 431. Is a a prime number?
False
Let w be -1*1 - (-7 + 5). Let d(s) = 128*s - 1. Is d(w) a prime number?
True
Suppose 7*m - 15*m + 3544 = 0. Is m a composite number?