*o - 2680. Is m prime?
False
Suppose 0 = -3*f + 387 - 6. Is f prime?
True
Let a = -174 + 391. Is a a prime number?
False
Suppose -4*z - 5*v + 998 = 0, -5*z + v + 3*v + 1268 = 0. Let i = -145 - 16. Let t = z + i. Is t composite?
True
Let x = -7 + 8. Let d(c) = 15*c. Is d(x) a prime number?
False
Let g(m) = -m**2 - 4*m + 407. Is g(0) prime?
False
Let o(i) = -i - 4. Let d be o(-6). Let u(g) = -2 + 4*g**2 + 2*g**d + 5*g + 0*g**2. Is u(3) composite?
False
Let q(c) = 13*c**3 + 4*c**2 - 4*c + 3. Let a(g) = g**3 + 4*g**2 - 5*g + 2. Let p be a(-5). Is q(p) a prime number?
False
Let r(n) = 2*n - 3 - n**3 - 3*n**2 - n**3 + 4*n**3. Let g be r(3). Suppose h + g = 3*h. Is h a composite number?
True
Let r(d) = -23*d**2 + 6*d + 4. Let u be r(5). Let z = -380 - u. Is z a composite number?
True
Let y = 640 + -189. Is y a prime number?
False
Let o(d) = 251*d. Let l be o(1). Suppose -3*f + l = 4*r, -3*r = -0*r - 5*f - 152. Is r prime?
True
Suppose -3*o - 45 = -6*o. Suppose -35 - o = -m. Suppose 4*r + 3*j - 130 = j, 2*r + 4*j - m = 0. Is r a prime number?
False
Suppose 1936 + 395 = 9*j. Is j a prime number?
False
Let c = -2 - -2. Suppose -5*o + 1155 = -c*o. Suppose -y = -4*y + o. Is y prime?
False
Let m(l) be the first derivative of 13*l**4/4 - 2*l**3/3 + l - 5. Is m(2) prime?
True
Let t be -2 + 1 + -4 + -32. Is 9*-3*t/9 a prime number?
False
Suppose -5*s + 2*s = 1497. Let l = s + 908. Is l composite?
False
Suppose 0 = -b - 5*y - 16 - 226, -3*y = 2*b + 512. Let g = 371 + b. Is g a prime number?
True
Let j(u) = -2*u**3 - 10*u**2 - 17*u - 7. Is j(-12) prime?
True
Suppose 2*y - 150 = 40. Let c = y - 42. Is c a composite number?
False
Suppose 23*x = 22*x + 382. Is x a composite number?
True
Let d = -5 - -7. Suppose -2*z = 2*y - 26, d*z - 29 = 4*y - 3*y. Suppose -6*n + n = v - z, 0 = -5*n + 2*v + 17. Is n prime?
True
Let n = 16 - 20. Is (-100)/(-8) - 2/n prime?
True
Let x be (0 - -2) + (1 - -2). Suppose 3*h = -4*r + 5, 0 = h + 2*h + 2*r + x. Let a(d) = -14*d + 7. Is a(h) a prime number?
False
Let z = 0 + -1. Let d be 59/(-1)*z/1. Is (d - 2) + 1 + -1 a composite number?
True
Let p(i) = 59*i**3 + i**2 - i. Let t(q) = -q**3 - 9*q**2 + q + 10. Let k be t(-9). Is p(k) prime?
True
Let g(o) = -78*o + 1. Let r = -1 - 0. Is g(r) a prime number?
True
Suppose -3*z + 4*t + 4064 = 0, 2*z + 0*t = -5*t + 2740. Suppose i = -4*m + 3319 - z, -5*m + 2480 = -5*i. Is m a prime number?
True
Let j(r) = r - 6. Let c be j(6). Suppose 2*o = 3*o + 2*v - 10, -o + 4*v = 14. Suppose 4*i + o*w - 226 = c, 2*w - 278 = -5*i + 3. Is i a prime number?
False
Let s = 2988 + -1331. Is s prime?
True
Suppose -3*x - 832 = -4*m, 0 = 2*m - 5*x - 219 - 183. Is m a composite number?
False
Is 2661*((-5)/(-15))/1 a prime number?
True
Is -3 + -1 - (-3 - 348) a prime number?
True
Let f(i) = -i**2. Let a be f(0). Is 1 + 1 + a + 24 a prime number?
False
Is (-9)/(-18) + 105/2 a composite number?
False
Let q = -14 - -12. Is q/(-6) - (-1320)/36 a prime number?
True
Let b = 10 + 190. Let y = b - 45. Suppose j = -4*j + y. Is j composite?
False
Let c(t) = t**3 + t**2 + 1. Let q be c(0). Let o(z) = 316*z. Let k be o(q). Suppose -5*y + k = -y. Is y a composite number?
False
Is 419/3 - 20/30 prime?
True
Suppose 0 = -23*d + 19*d + 45332. Is d a composite number?
True
Suppose 13 = -4*w + 1. Let g(s) = 2*s**2 + s + 3. Let p be g(w). Let x = p + 79. Is x composite?
False
Let n be -1*(-45)/((-6)/(-2)). Let b = n - 9. Let s(c) = 2*c**2 - 7*c - 4. Is s(b) prime?
False
Is 9/(-6)*(-1 - 37) composite?
True
Let q(l) = 12*l**2 + 3*l + 1. Let r be q(3). Suppose -2*h + r = -108. Is h a prime number?
True
Let a(v) = 141*v - 1. Is a(4) composite?
False
Let r = -1 + 1. Is (1 + r - -96)/1 composite?
False
Let g = 17 + -11. Let v(i) = 14*i - 1. Let t be v(g). Let u = -30 + t. Is u composite?
False
Let x = -3952 + 6195. Is x composite?
False
Suppose 0 = 4*z - 4*t - 20, 0 = 5*z - 0*z - t - 29. Suppose -3*i + z*i = 195. Is i prime?
False
Let y(g) = -2*g**2 + 3*g - 3. Let p be y(2). Let x = p + 12. Is x prime?
True
Suppose b - 5*h + 3*h + 182 = 0, 3*b = -5*h - 557. Let w = 740 + -477. Let p = w + b. Is p composite?
False
Let k(g) = -25*g + 22. Is k(-17) a prime number?
False
Let q = -117 + -504. Let v be 4/14 + q/(-7). Suppose -3*c = j - 74, -j - c = -3*c - v. Is j a composite number?
False
Suppose -p + 5*p = -4*h + 4, -2*p + 10 = 4*h. Let f(y) = y**3 - 2*y - 4. Let a be f(h). Is 3*(-5)/((-30)/a) composite?
True
Let u(s) = -63*s + 2. Is u(-1) a composite number?
True
Suppose -8*w + 20524 = -4*w. Is w composite?
True
Is (-21)/(-70)*5*298/3 a prime number?
True
Let h = -13 - -11. Is 2*((-237)/h - 1) a prime number?
False
Let v(r) = r**2 + 4*r - 2. Let u be v(-5). Suppose 0 = -u*y - 0*y + 573. Is y a prime number?
True
Suppose -5 = 4*s + 3, -4*f - 2 = -3*s. Is (f/3)/(2/(-57)) a prime number?
True
Let p(f) = f**2 - f - 3. Let h be p(3). Suppose -h*g + 670 = 2*g. Is g prime?
False
Let g(t) = 8*t**2 + 3*t - 2. Let s = 6 - 3. Is g(s) composite?
False
Let n(w) = w - 7. Let f be n(9). Is f/(-5) - (-427)/5 composite?
True
Let c = 93 - 46. Is c composite?
False
Suppose 3*j - 140 - 28 = 0. Let x = 0 + -3. Is j - 2*x/6 composite?
True
Let j = 179 + -92. Is (j/9)/((-3)/(-18)) a composite number?
True
Let z = -61 + 210. Is z prime?
True
Suppose 5*b - 844 = b. Is b a prime number?
True
Let l = -5 - -7. Suppose -104 = -l*i - 30. Is i a prime number?
True
Let y = -25 + 42. Suppose 2*v - 33 - 93 = 0. Suppose -3*a = c - y - 14, v = 2*c + 5*a. Is c composite?
True
Suppose 0 = 3*a - 3*z, -3*z - z = 4*a. Is (-206)/(1 - (a - -3)) prime?
True
Is 5*(1896/20 + 1) composite?
False
Let m(i) = i**3 - 6*i**2 + 2*i + 2. Let x be 1*(-3 - -2 - -1). Let a = x + 6. Is m(a) composite?
True
Let x be 2/(-2) - -1*16. Suppose -7 = -z - k, 0 = -3*z - 5*k - 0*k + x. Is z a prime number?
False
Suppose -3*j + j - 2*l = -1280, -3*j = -4*l - 1927. Is j composite?
False
Let t(m) = -4*m + 3. Let l be t(-7). Suppose 0 = -2*z + l + 7. Is z a composite number?
False
Suppose 0 = 3*w - 3*p - 4002, -3*p = 4*w - 0*w - 5357. Is w composite?
True
Let b be (-1*82)/(0 + -1). Suppose 4*f + 112 = -2*p, 0*f - 2*p - 31 = f. Let g = f + b. Is g a composite number?
True
Let a(c) be the first derivative of c**4/4 - c**3 - 3*c**2/2 - 3*c - 1. Let s be a(3). Let g(w) = -8*w - 13. Is g(s) prime?
True
Suppose 2*p = -d + 698, 5*p - 662 = -2*d + 1081. Is p a composite number?
False
Suppose 377 = 6*n - 247. Let s = n - 67. Is s a prime number?
True
Let i(z) be the third derivative of 7*z**6/180 + z**5/60 + z**4/8 - z**3/3 + 3*z**2. Let s(q) be the first derivative of i(q). Is s(-2) a composite number?
True
Let l be -150*8*1/(-6). Is 5/2*(l + 2) a composite number?
True
Let f = -254 - -491. Is f a composite number?
True
Let r(c) = -c**3 - c**2 + c - 1. Let h(d) = -8*d**3 - 8*d**2 + 5*d - 2. Let l(t) = h(t) - 6*r(t). Is l(-3) composite?
False
Suppose 0 = 5*z - 620 - 1415. Is z prime?
False
Suppose 0*i + 522 = 2*n - 2*i, -n = -5*i - 253. Is n composite?
False
Let c = -2 - 0. Let q be c + (-7)/(14/(-12)). Let v(t) = 21*t + 5. Is v(q) composite?
False
Is 3/((-5)/1455*-9) a prime number?
True
Let x be (-14 - -4)*2/4. Let q be ((-12)/(-30))/(1/x). Is (7/(-14))/(q/460) a composite number?
True
Suppose 0 = 3*f - 40 - 26. Suppose 5*d - f = l, 5*d - 2*l - 30 = 3*l. Suppose 3*c + u = 141, -d*u = 3*c - c - 104. Is c prime?
False
Suppose 64*v - 67*v = -32901. Is v a prime number?
False
Let p(b) be the second derivative of b**4/12 - b**3/6 + b**2 - b. Let z be p(2). Suppose z*i - 12 - 16 = 0. Is i a composite number?
False
Suppose w = -3*z + 157, -4*z + 3*w = -w - 220. Is z a composite number?
False
Let x = -2 + 6. Let c(a) = -4 + x + 4 - 12*a - 1. Is c(-3) a prime number?
False
Let f(t) = -t**3 + 11*t**2 + 12*t - 9. Let j be f(12). Let l = 58 + j. Is l composite?
True
Let u(o) = 2*o - 8. Let a be u(6). Suppose -a*p = -0*p - 28. Is p a composite number?
False
Let n(l) = 3*l**2 - l - 3. Let u be n(-10). Is 2*(-3)/(-6)*u a prime number?
True
Let g = -36 - -269. Is g a prime number?
True
Is (-3 - 1)/4 - -2522 a prime number?
True
Suppose -2*v = 132 - 918. Is v composite?
True
Let q be (74/3)/(2/33). Suppose w - q = 135. Suppose -3*x + 48 = 5*y - w, -4*x + 250 = 2*y. Is y prime?
False
Suppose 109 - 1003 = -6*z. Is z a composite number?
F