 a prime number?
True
Let i(f) = -7 - 3*f + 10 + 0*f + f**2. Let n be i(3). Suppose -3 - n = -c. Is c prime?
False
Let u = 13 - 8. Suppose -26 - 38 = 4*w - u*f, 2*f = 5*w + 80. Let i = w + 38. Is i prime?
False
Let n = 903 + -168. Suppose 5*x - 5*l = n, 3*x + 0*x - 449 = -5*l. Suppose 2*k = 4*h + 5*k - x, 0 = 3*h + 2*k - 111. Is h a composite number?
False
Let v = 6 - 4. Suppose 4*m + 530 = v*y, 6*m + 794 = 3*y + m. Is y a prime number?
True
Suppose -5*s + x + 584 = 0, x = -s - 4*x + 96. Is ((-22)/4)/((-2)/s) prime?
False
Let t = -143 - -360. Is t a composite number?
True
Suppose -5*k + 32 = 157. Let y = k - -50. Is y composite?
True
Suppose -3*s = -2*h - 2197, -2*s + 3807 = -3*h + 499. Is (-4)/(-10) - h/10 a composite number?
True
Let l(s) be the first derivative of s**6/180 - 7*s**5/120 + 2*s**3/3 + 2. Let j(i) be the third derivative of l(i). Is j(7) composite?
True
Is 24/14 + (-2)/(-7) - -89 a composite number?
True
Suppose -3*y - 2*y = 4*b - 3, 0 = 3*b + y + 6. Let m = -1 - b. Suppose -m*k = 4*z - 204, 3*k - 5*k = -5*z + 237. Is z prime?
False
Let l(x) = x + 5. Let j be l(-5). Suppose 5*h - n + 2*n + 1161 = j, 3*n = -3. Let t = -153 - h. Is t a prime number?
True
Let b(o) be the second derivative of o**4/12 + 5*o**3/6 + 3*o**2/2 + 2*o. Let r(u) = -4*u + 3. Let i be r(2). Is b(i) prime?
True
Suppose 2*f + 359 + 271 = 2*d, -957 = -3*d - 3*f. Is d a composite number?
False
Let w = -1134 + 2005. Is w composite?
True
Let b(s) = 8*s + 1. Let a be b(-4). Let y = 16 + a. Is (-57)/(-5) - (-6)/y prime?
True
Let b be 2434/10 + (-2)/5. Suppose 0 = 4*a + 2*j - 426, -5*j = -4*a + b + 218. Is a a composite number?
False
Let f(k) = -k**3 + 5*k**2 - 3*k. Let i be f(3). Suppose -3*b + 0*b + i = 0. Suppose 0*a = b*a - 69. Is a a prime number?
True
Suppose 5*r + 5*m - 33 = -3, -3*r + m + 2 = 0. Let v(s) be the second derivative of 9*s**5/20 - s**4/12 - s**2/2 - s. Is v(r) composite?
False
Is (-712)/(-12)*(-3)/(-2) composite?
False
Suppose -5*g + 525 = 3*k, 0 = -2*g + k + 147 + 63. Suppose 0 = 5*f - 920 - g. Is f prime?
False
Let x(r) = r**2 - r + 5. Let q(i) be the second derivative of i**3/6 - i**2/2 + 3*i. Let p be q(-4). Is x(p) composite?
True
Let c be ((-63)/(-28))/((-3)/8). Is (502/4)/((-3)/c) a composite number?
False
Let n(o) = 18*o - 5. Is n(5) a composite number?
True
Suppose -3*w + 99 = -372. Is w prime?
True
Let l = -3 - -221. Let a = -139 + l. Is a a composite number?
False
Let k(u) = 59*u**2 + 10. Is k(-3) composite?
False
Let n be -6*((-11)/(-3) + -3). Let k be (44/(-5))/(n/10). Let q = k + -15. Is q composite?
False
Suppose 9*y + 2*l = 4*y + 2277, 0 = -4*y + 4*l + 1816. Suppose y = -0*n + 5*n. Is n composite?
True
Let n(a) = a**2 + a**3 + 3 - 4*a**2 - 2*a + 2. Let k(s) = 2*s**3 - 3*s**2 - s + 2. Let d be k(2). Is n(d) prime?
True
Suppose 0 = -5*u + 5, -4*n = -2*u - 301 - 157. Is n composite?
True
Suppose -2539 = -u - 3*o, 5*u - 4673 = 2*o + 8056. Suppose -2*z + 7*z = u. Suppose -5*n - 94 + z = 0. Is n a composite number?
False
Let h be (-1 + 9/6)*-6. Let z = h - 1. Is (-10)/z*22*1 a prime number?
False
Let w(v) = v**3 + 10*v**2 - 11*v + 5. Let f be 12*2/(-3) + -1. Is w(f) a composite number?
True
Let f = 466 - 192. Is f a composite number?
True
Let z(q) = -76*q + 1. Let k be z(-1). Let o(p) = -p**3 + 5*p**2 + 5*p + 8. Let a be o(6). Suppose -k = -3*n + a*n. Is n prime?
False
Suppose l + 508 = 2*c + 4*l, -8 = 2*l. Suppose 0 = -2*b - 3*b + c. Suppose 5*y + 3 = -7, 4*y + b = 4*u. Is u prime?
True
Let n = -13 + 34. Let r = -7 + n. Is r composite?
True
Let s = -5 - -11. Let y = s - 5. Is 1/(((-1)/y)/(-31)) a prime number?
True
Let t(n) = n**3 - 8*n**2 + 6*n + 3. Let k be t(7). Let q(j) = -4*j + 5. Is q(k) a prime number?
False
Suppose 2*n - 6*n = -844. Is n prime?
True
Is 53*57*(-1)/(-3) a prime number?
False
Let o(m) = -163*m - 2. Is o(-3) a prime number?
True
Let g(s) = s**3 + 15. Let b be g(0). Let x be ((-12)/b)/(4/(-10)). Suppose -x*w = -1 - 13. Is w composite?
False
Let z = -11 - -6. Let m(s) = 13*s**2 + 6*s. Is m(z) composite?
True
Let k(v) = 8*v**2 + 2*v + 5. Let w be k(-4). Suppose 0*p - p + 3*z = -29, -5*p = 5*z - w. Is p a composite number?
True
Let a = -12 - -7. Let j(l) = 2*l**3 + 3*l**2 - 5*l + 3. Let g(y) = -2*y**3 - 2*y**2 + 5*y - 3. Let w(f) = a*g(f) - 4*j(f). Is w(4) a composite number?
False
Suppose -b + 64 = -21. Is b prime?
False
Is 15 - -4*(4 - 5) prime?
True
Let h(l) = 1 - l**2 + 2*l**2 - 3*l - 4. Let c be -4 + 11 - (4 + -2). Is h(c) composite?
False
Let u(w) = 44*w - 19. Is u(12) a prime number?
True
Let t be (-5340)/(-17) - (-8)/(-68). Let k(g) = g**3 - 2*g**2 + 7*g + 1. Let c be k(6). Let i = t - c. Is i prime?
True
Let a = 501 - -780. Suppose -t = -0*t + z - 258, -5*t + a = -4*z. Is t prime?
True
Let g(o) = o**3 + o**2 + 5. Let u be g(0). Suppose -4*w - 5*s = w - u, 0 = w + 2*s + 2. Suppose 2*a = -w + 18. Is a a composite number?
False
Let q = 509 - -42. Is q a composite number?
True
Let n(l) = -16*l**3 - l**2 - l. Let h be n(-1). Suppose -b + 0*b + 4 = 0. Suppose -2*z + 2*t + 3*t + 158 = 0, b*t = -h. Is z a composite number?
True
Let a(f) be the second derivative of -f**5/20 - 11*f**4/12 - 3*f**3/2 + 5*f**2 - 4*f. Is a(-11) a prime number?
True
Let t(l) = -13*l**3 - 6*l**2 + l + 7. Is t(-5) prime?
False
Suppose 3*w - 2*w = 161. Is w composite?
True
Is 10/45 - (-2174)/18 prime?
False
Let x(j) = 2*j**3 + 4*j**2 + 7*j - 1. Let q be x(5). Let i = q + -173. Is i prime?
True
Is (2874/(-8))/((-30)/40) a composite number?
False
Let r(t) = -23*t + 2. Let b be 6/(-4*(-4)/(-24)). Is r(b) composite?
True
Let d be 22 - (-3 + 0)/(-1). Is (d - 1/1) + 1 a composite number?
False
Let t = 4 - 0. Suppose 3*x - 245 - 234 = -5*a, 0 = -t*a - 3*x + 382. Is a composite?
False
Let f(u) = u**2 + u + 7. Let x be f(-6). Suppose -t + x = -2*t. Is (-4)/(-6) + t/(-3) composite?
False
Let x = 7 + -30. Let c = 5 + x. Let w = c - -65. Is w a composite number?
False
Let j be 3/3 + 4*1. Suppose -6*z = -j*z - 61. Let s = z - 27. Is s composite?
True
Suppose 0*i = 3*m + 4*i - 2843, 5*m = 5*i + 4785. Is m a prime number?
True
Suppose z - 9*z + 968 = 0. Is z a composite number?
True
Suppose 4*h - 7235 = -w, -2*w = 2*h - 5*h + 5429. Is (-3)/(h/606 + -3) a prime number?
False
Let h(a) = a**2 - 6*a. Let m be h(6). Let r be 2 + m + (-4 - -4). Suppose r*c = -c + 138. Is c a composite number?
True
Suppose x = 5*y - 22 - 91, -5*y = -3*x - 299. Is (x/(-9))/((-1)/(-3)) a prime number?
True
Let p(q) = 2*q**3 - 9*q**2 - 9*q + 8. Let z be p(8). Let t = 299 + z. Is t a prime number?
True
Suppose -5*p = -0*p - 16795. Is p a composite number?
False
Let q(i) = 31*i**3 + 2*i**2 - 3*i - 2. Let u be q(-2). Is u/2*10/(-20) a composite number?
False
Suppose -3*v + 5 = 5*g + 11, -2*g - 18 = -4*v. Is (-3)/2*70/g prime?
False
Suppose 5*q = 3*k - 59, 18 = k - 6*q + 4*q. Suppose 5*b + k = 3, 2*z - 3*b = 21. Suppose z*d + l = 235, -2*l - l = 4*d - 310. Is d prime?
True
Suppose -2*p + 29 + 13 = 0. Let q be ((-7)/p)/(2/(-42)). Suppose 5*n - 108 = q. Is n a composite number?
False
Suppose 0 = 4*z - 3*q - 403, 3*q - 92 = -z + 2*q. Suppose -3*g = -z - 260. Is g a composite number?
True
Let t be (1 - 6)/(-2 - -1). Suppose t*o - z - 16 = 29, 0 = -5*o + 5*z + 65. Is (-1 - o/(-1))/1 prime?
True
Let n be ((-26)/(-6))/((-3)/(-126)). Suppose 2*z = -62 + n. Suppose 5*d = 3*u + 212 - z, 153 = 5*d - 2*u. Is d prime?
True
Suppose 0 = k - 2*q - 1653, 0*q - 3309 = -2*k + q. Suppose -k = -0*w - 5*w. Is w a composite number?
False
Let i(p) = -16*p + 4*p - 7 - 20*p - 4. Is i(-5) composite?
False
Let n be (((-6)/(-3))/(-2))/(-1). Let p(h) = h**2 + 2*h**2 - n - h**2 + 5*h. Is p(-4) composite?
False
Let x(y) = -y**2 - 5*y + 7. Let o be x(-6). Suppose 5 = -4*j + o. Is 1/((-2)/(j - 29)) composite?
True
Let p(s) = 6*s**2 + 11*s + 4. Let f be p(-7). Let x be 5/(-20) + f/4. Suppose 4*a - y = 126, -15 = -2*a + 4*y + x. Is a a composite number?
False
Suppose -5*s + 4 = -6. Suppose 3*j = -s*j + 545. Is j prime?
True
Let s(h) = 6*h**2 - 17*h + 13. Is s(12) a prime number?
True
Let b be (-2)/(-10) - (-24)/5. Suppose -i + 3*o - 5*o = -310, -960 = -3*i + 4*o. Suppose -b*u = 2*l - 362, -5*l = -4*u - 0*u + i. Is u a prime number?
False
Suppose 23*m = 24 + 1149. Is m prime?
False
Let x(g) = g - 5. Let k be x(2). Let n(