t + n = 611. Is t a prime number?
False
Suppose 0 = -2*z - z. Suppose 0 = -3*u + 5*u - 10. Suppose u*c - 353 - 72 = z. Is c a prime number?
False
Let r(b) = 87*b**2 + b + 9. Is r(4) a prime number?
False
Suppose -4*u + 17 - 5 = 0. Suppose u*p - 8*p = -425. Is p a composite number?
True
Suppose -l - 2*z = -z - 1478, l = -5*z + 1482. Is l composite?
True
Let i = -367 + 893. Suppose -2*t + i = -3*p, t + 1052 = 5*t - 2*p. Is t composite?
False
Let o(z) = z**2 + 6 + 3*z - 8 - 7. Is o(-7) a composite number?
False
Suppose 3673 = -4*x + 3*b, 587 = 5*x - 2*b + 5173. Is 4/6 + x/(-12) composite?
True
Let r(x) = -17*x + 6. Is r(-9) a composite number?
True
Suppose 0*s + 3 = s. Suppose 4*g - 10 = s*g - 3*t, 2*g + 3*t - 14 = 0. Is 306/4 + 2/g prime?
False
Let h be 486 + (0 - (2 - -1)). Suppose j = -2*i - 0*i + 161, -4*i + h = 3*j. Is j composite?
True
Let f(i) = 327*i - 5. Let y be f(2). Is 18/63 + y/7 composite?
True
Let t = 195 - 83. Let v = 245 - t. Is v composite?
True
Let i(a) = 36*a + 7. Is i(5) prime?
False
Let m(t) = t**3 + 9*t**2 + 8*t + 1. Let o be m(-8). Let d(y) be the first derivative of 23*y**2/2 - y + 1. Is d(o) composite?
True
Let u = 590 - 336. Is u a composite number?
True
Let p(s) be the first derivative of 3*s**4/4 + 2*s**3/3 - s**2 + s + 5. Is p(4) prime?
False
Is (8/(-24))/(2/(-1542)) composite?
False
Let v be 6/(-1)*(-10)/3. Suppose -u + 3 = -v. Suppose -x - u = -2*x. Is x a prime number?
True
Let c(l) = -290*l. Let y be c(-1). Suppose 3*h + 35 = y. Is h composite?
True
Let n = 439 - -148. Is n a composite number?
False
Suppose -6 = -2*z - 2. Let i(n) = -4*n - n**3 + 3 + 0*n - 4*n**z + n. Is i(-4) a prime number?
False
Is (-2342)/(-4)*(17 - 15) prime?
True
Let p(n) = -n**3 - 7*n**2 + n + 1. Let c be p(-7). Let i = c + 46. Suppose 4*a - 3*d = i, 4*a = -5*d + 17 + 23. Is a composite?
True
Suppose 3 - 9 = -2*g. Suppose 1094 = g*p - v, 6*p - p - 2*v - 1823 = 0. Is p composite?
True
Let a be 3/(-2)*(-266)/21. Let v(o) = 0 - 14*o + 7 + 29*o + a*o. Is v(6) composite?
False
Let y = 11 - 6. Suppose -u = 4*u - 4*z - 123, 4*u + y*z - 82 = 0. Is u a composite number?
False
Let o(g) = -g**3 - 11*g**2 - 9*g - 16. Let d be o(-11). Suppose c - d = 4*j + 28, -430 = -5*c - 5*j. Is c composite?
True
Let q = -8 - -13. Is (7/2)/(q/50) a composite number?
True
Is ((-51723)/27)/(4/(-12)) a prime number?
False
Let d = -47 + -12. Let o = d - -117. Is o prime?
False
Suppose -2*r - 406 = -4*r. Suppose 0 = -h - 3, 2*h - 1919 = 3*w - r. Is 3/(-9) + w/(-3) a composite number?
False
Let y(q) = 7*q**2 - 5*q - 5. Is y(-4) a composite number?
False
Suppose -4*j + 10689 = 3*j. Is j a prime number?
False
Let x(v) = -52*v - 7. Suppose 9*q - 4*q + 40 = 0. Is x(q) a composite number?
False
Suppose -k - 4 = 0, 2*n - 7*n = 4*k - 16839. Is n prime?
True
Let y(z) = -z**3 - 3*z**2 + 5*z + 6. Let q be y(-4). Let l = q - 2. Suppose 0 = 3*m - 5*u - 130, 95 = 2*m - l*u - 5*u. Is m composite?
True
Let a(w) = -w**3 + 22*w**2 - 7*w + 17. Is a(20) a prime number?
True
Let s be -2*1 - -2 - 0. Let f(x) = x - 5. Let l be f(s). Let o = l + 9. Is o a composite number?
True
Is 7 - (-7428)/14 - (-3)/7 composite?
True
Suppose -4*v - 4*o = 2 - 10, 5 = -o. Suppose 3*a - 2*h = -0*a + 7, a - 3*h - v = 0. Is 14/a + (0 - -1) prime?
False
Let j(n) = n**2 - 3*n - 1. Let k be j(2). Let a(u) be the second derivative of u**4/12 - u**3/3 - u**2 - u. Is a(k) a prime number?
True
Let f(u) = u**2 - 5*u - 4. Let i be ((-3)/(-4))/((-1)/(-8)). Let w be f(i). Is 77 + (1 - 1)/w composite?
True
Let j(s) = -s - 3. Let t be j(-4). Is (-3 + t)*(-764)/8 a prime number?
True
Let v(f) = 3*f - 3 + 0*f**3 + 0*f**3 + 2*f + 2*f**3 - f**2. Is v(4) prime?
False
Let o(w) = 840*w**2 - w - 3. Is o(-2) composite?
False
Suppose -7*y = -3*y. Suppose y*w = 3*w - 207. Is w composite?
True
Let j(f) = f**3 + 3*f**2 + 2*f - 2. Let z be j(-2). Is -3*(z + 389/(-3)) a composite number?
True
Suppose 2*l - 3*a - 4104 = -a, 4*l + 3*a - 8215 = 0. Is l prime?
True
Let x be 2 - (0 + 0) - 307. Let j = x + 427. Is j composite?
True
Let i be 5/(58/28 - 2). Let u = i + -33. Is u a composite number?
False
Let l(i) be the first derivative of i**2 - 3*i - 2. Let v be l(3). Let s(o) = o**2 - o + 4. Is s(v) a composite number?
True
Let r = 482 - 259. Is r a prime number?
True
Let w = -604 - -1131. Is w prime?
False
Let x = -2 - 4. Let z(n) be the first derivative of n**4/4 + 2*n**3 - 7*n**2/2 - 7*n + 1. Is z(x) prime?
False
Let c = 1353 + -566. Is c a composite number?
False
Let g(x) = 2*x**2 + 3*x - 5. Let u be g(-4). Let s = -10 + u. Suppose -5*c - 325 + 75 = -s*a, -2*a = -3*c - 97. Is a a composite number?
False
Let t be 21/14 - 194/(-4). Suppose 3*h + 5*o - 14 = -3, t = 5*h + 2*o. Suppose 0*r = 2*r - h. Is r prime?
False
Suppose -4*h + 744 = 5*w - 836, -h - 5*w + 395 = 0. Is h a composite number?
True
Suppose -29 = 4*c - 9. Let m = c - -8. Let v(q) = 2*q**3 + 2*q**2 - 2*q + 3. Is v(m) prime?
False
Suppose -4 = 3*i - 73. Suppose 5*y + 2*k = 27, 9*y - 4*y + 3*k = i. Let j = y + -3. Is j a prime number?
False
Suppose 69 = -5*z + 4*z. Is ((-3)/(-9))/((-1)/z) a prime number?
True
Suppose 3*x - 736 = 137. Suppose 0*r + x = 3*r. Is r prime?
True
Is 374/3*3/2 a prime number?
False
Let d(v) = 57*v**2 - 3*v + 1. Let o(m) be the third derivative of -7*m**5/30 + m**4/24 - 2*m**2. Let a(x) = -2*d(x) - 9*o(x). Is a(3) a composite number?
False
Let o = -73 + 131. Suppose 0 = -q - y + 24 - 4, 3*q + 4*y = o. Is q a prime number?
False
Let p(d) = d**3 + 2*d**2 - 5*d - 4. Let x be p(-3). Is (-44)/(-6) + x/(-6) a composite number?
False
Let y = 19 - 1. Suppose 5*n - 55 = -3*j - 19, y = 4*n - 3*j. Is n a composite number?
True
Let l be -38 - 0/(1 - 0). Let j = l + 129. Is j a composite number?
True
Suppose 5*l + 82 = 2*v + 21, 3*l + v = -30. Let f(p) = p**2 + 11*p + 2. Let x be f(l). Suppose -x*g + 10 = -8. Is g composite?
True
Let u(t) = 182*t**3 + t**2 - 1. Let s(r) = -r**3 + 4*r**2 - 2*r - 2. Let y be s(3). Let g be u(y). Suppose -k - k = -g. Is k composite?
True
Let i(m) = 4*m**2 - 3*m - 15. Let r(y) = y**2 - y - 5. Let n(a) = 2*i(a) - 7*r(a). Is n(-7) prime?
True
Let o = 760 + -541. Is o a composite number?
True
Suppose -3*r - 2*r = 0. Suppose 3*h - 4*i - 56 - 23 = 0, 2*h + 2*i - 76 = r. Is h a composite number?
True
Suppose -4*o + 0*j - 4*j + 32 = 0, 4*o + 3*j = 27. Suppose 0 = y - 7*x + o*x - 19, -2*x = -10. Let g = y + -25. Is g composite?
True
Suppose l - 23 = -5*m, 3*l + 5 = m + 10. Let q be 6894/(-4)*m/(-6). Is (-1)/2 + q/6 a prime number?
True
Let w = -17 - -33. Suppose 2*q = -0*p - 4*p + 78, p - 3*q - w = 0. Is p a prime number?
True
Suppose 16 = -2*t - 4*m, -2*t - 8 = 2*t + 2*m. Suppose -2*k = 3*u + 2*u - 159, -3*k - 3*u + 234 = t. Is k prime?
False
Suppose 3*h - 4*z - 3 = -0*z, -5*h = -z - 22. Suppose -h*f + 125 = 2*k, -5*k + 263 = -4*f - 0*f. Is k composite?
True
Suppose 5*m = 3*z + 30, -4 = -3*m - 3*z + 2*z. Is m a composite number?
False
Let r(c) be the second derivative of -c**5/20 + 2*c**4/3 + c**3 + 11*c**2/2 - 2*c. Let t be r(9). Let b = -6 - t. Is b prime?
False
Let z(q) be the first derivative of q**2/2 + 59*q + 3. Is z(0) a prime number?
True
Suppose 0 = r + r + 6. Let f be 4/(-6) - 839/r. Suppose -3*g = -0*g - f. Is g prime?
False
Suppose 0*t + t = 244. Suppose 4*x + 4*r - t = -0*x, x = -4*r + 46. Suppose -k - k = -x. Is k prime?
False
Let y = 16 - 10. Let s(r) = r**2 + 9*r - 1. Is s(y) composite?
False
Suppose h - 272 = -4*h - 3*y, -8 = -2*y. Suppose -6*j = -2*j - h. Is j a composite number?
False
Suppose 0 = -3*s + 7*y - 8*y + 15505, 3*y + 5155 = s. Is s a composite number?
False
Let g = -3 + 4. Suppose 0 = -v + g + 3. Suppose -3*o - 5*f + 45 = -84, v*o = -4*f + 172. Is o a prime number?
True
Let p = 5 - 3. Suppose -3*d = -p*y + 239, -4*d = 5*y - 0*y - 563. Is y prime?
False
Suppose -b - 75 = 7. Suppose -4*l + 75 = -569. Let z = l + b. Is z a composite number?
False
Let j(l) = 2*l**3 + 8*l**2 + 3. Let o be j(-4). Let i(p) = -46*p + 7. Let d be i(-5). Suppose -o*m - 2*t = -0*m - d, m - 79 = -2*t. Is m prime?
True
Suppose -20*x + 4955 = -15*x. Is x a composite number?
False
Suppose -r + 5*r - 2*p = 6, 2*r - 8 = -4*p. Suppose 0 = s - r*s - 3, -l = 4*s + 4. Suppose -l*h + 3*h = -115. Is h a prime number?
True
Suppose 0 = -5*i - 0*i + 1175. I