8 = 31. Is t a composite number?
False
Suppose -4*n + 5*z = 29, 5 = 4*z - 3*z. Let f be (-108 - 0)*1/n. Suppose 0*j + 2*a = j - 57, 0 = 2*j - a - f. Is j prime?
True
Let j = -22 + 24. Suppose -y = -1, -6*i + i = -j*y - 703. Is i a prime number?
False
Let s = 5 - 2. Suppose -z + 78 = -s*z. Is 8/(-12)*1*z prime?
False
Let k(h) = 209*h**3 - 3*h**2 - 4*h + 3. Is k(2) a prime number?
False
Let j(x) = x**3 - 3*x**2 + 2*x - 3. Let b be j(3). Let v(y) = -7*y - b*y - 4 + 1. Is v(-5) a prime number?
True
Is 14/(-21) + (-1942)/(-6) a prime number?
False
Let k be 0 + 9/(3/1). Suppose -h = -k - 8. Is h composite?
False
Let t = -3 + 7. Suppose t*d = 128 + 220. Is d prime?
False
Let z(i) = -9*i + 4. Let j(v) = -100*v + 45. Let p(h) = -4*j(h) + 45*z(h). Let w be p(3). Let f = w - -25. Is f prime?
False
Let d = -9 - -14. Suppose 0 = -d*k - 2*f - f + 3146, -3*k = -5*f - 1908. Is k composite?
False
Let y be (-8)/(-12)*(25 - 1). Let t = -6 + y. Is t prime?
False
Let a = 174 - 82. Let p = 137 - a. Suppose -p = -m + 22. Is m a composite number?
False
Suppose -2033 = -4*x - 6*j + 11*j, -4*x - j = -2003. Is x prime?
False
Let o = -2239 - -3800. Is o prime?
False
Suppose 0 = 2*o - 0*o + 2*n, -4*n - 6 = 2*o. Suppose 245 = 5*l + o*z + 3, z - 48 = -l. Is l composite?
True
Suppose -41 = 2*t + 3*a - 252, -5*t = 5*a - 520. Suppose 100 = 3*v - t. Is v prime?
True
Let n be ((-2)/(-6))/(2/18). Suppose -2*o = n - 141. Is o composite?
True
Let r(d) = d**3 - 9*d**2 + 3*d + 3. Let q(c) = c**3 - 10*c**2 + 4*c + 2. Let o(p) = 3*q(p) - 4*r(p). Let t(s) = s**2 + 1. Let j be t(2). Is o(j) a prime number?
True
Let i(k) = 11*k**3 - k - 1. Is i(2) a composite number?
True
Let l(u) = u**2 - u - 2. Let k be l(3). Suppose -2*t + 162 - 17 = 5*x, -k*t = -3*x - 251. Is t a prime number?
False
Is (142/8)/(5/20) a composite number?
False
Suppose -5*a + 37 = -38. Is a a prime number?
False
Suppose 8 = 3*w + w - 4*p, -16 = -4*p. Let x = 109 + -52. Suppose -w = k - x. Is k a prime number?
False
Let z = 61 + 44. Suppose 5*v - z - 190 = 0. Is v composite?
False
Is (2/(-2))/(1/(-55)) a prime number?
False
Let g(q) = 3 + 1 - q**2 - 5 - 9*q. Let t = 6 - 10. Is g(t) a prime number?
True
Suppose 0 = 2*h - 0*h - 4. Is (-1 - 387/(-6))*h a composite number?
False
Suppose 4*s = -1 + 9. Let u(x) = -6*x**s + 0 + 2*x - 1 + 2*x**3 + 5*x**2. Is u(2) composite?
True
Suppose 1765 = 4*q - 3583. Is q a prime number?
False
Let r = 4 + -3. Let y(v) = r - v - v + v. Is y(-6) prime?
True
Let b = -5688 + 11327. Is b a prime number?
True
Let u(c) = 48*c - 1. Let j(o) = -o**3 + 4*o - 3. Let p be j(2). Let m = p + 4. Is u(m) a prime number?
True
Let k be (-2 + 1)*20/(-2). Suppose -2*p = -36 + k. Suppose 0 = -x - p + 102. Is x prime?
True
Let a = 271 + -95. Suppose -5*g + 151 = 4*z, -3*g + a = 4*z + 15. Suppose z + 223 = 3*b. Is b composite?
False
Suppose -3*j + 2 = -5*j + 3*r, 3*j - 3*r = 0. Is j/(-3) - 406/(-6) composite?
False
Suppose 0 = 2*o + 3*o. Suppose o*k = k - 1. Is 9/(4 - k) - 1 a prime number?
True
Let m = 13 + -23. Let w be -3*(-2)/4*1776. Is 2/m + w/45 prime?
True
Let s be 5/(-20) + 1/4. Suppose -5*l - 3*y + 398 = -s*l, 5*y - 308 = -4*l. Suppose f + 423 = 5*b - f, b = 3*f + l. Is b a composite number?
True
Let l = 38 - 15. Is l a prime number?
True
Let v be 65/1 + (0 - 2). Suppose 0 = -o - 2*o + 2*z + 193, -o + 2*z + v = 0. Is o prime?
False
Let a(f) = 144*f**2 + 25*f**2 - 2 - 1. Is a(2) a prime number?
True
Let o be (2/(-2) - 4) + 2. Let j be ((-9)/(-2))/(o/(-6)). Suppose -j = -3*p + 2*p. Is p a composite number?
True
Let g(s) = 3*s + 0*s + s**2 - 2 + 2*s - 6*s. Let q be g(-2). Suppose -q*o + 460 + 48 = 0. Is o a composite number?
False
Let q(w) = -495*w + 5. Is q(-2) composite?
True
Let j = 2548 + -1167. Is j composite?
False
Is 758/(-3)*3/(-2) composite?
False
Let h = -35 - -274. Is h a prime number?
True
Suppose 0 = -4*t + 20. Suppose -t*o - 14322 = 7618. Is (-2)/(-7) + o/(-28) a prime number?
True
Suppose 4*x - 436 = -3*q - 92, 2*q - 170 = -2*x. Is x prime?
True
Suppose -3*u = u - 8. Is (-3)/u*(-1270)/15 prime?
True
Suppose -14 = d + 2*p, d + 5*p = 6*d - 5. Let q be d/(-12) - (-70)/6. Suppose -b = -q - 21. Is b prime?
False
Let l(z) = 8*z - 4. Let p(t) = -5*t + 3. Let j(d) = -5*l(d) - 7*p(d). Let s be j(3). Let o = -3 - s. Is o composite?
False
Suppose -4*t - a + 464 = 3*a, -4*a + 125 = t. Is t prime?
True
Let a(m) = -31*m**3 + m**2 + 5*m + 5. Is a(-4) a prime number?
False
Suppose 3*t = -74 + 404. Suppose -t = 2*q - q. Let r = 161 + q. Is r a composite number?
True
Suppose -j + 3*y - 11 = 7*y, -4*j + 4*y = -36. Suppose 0 = m - j*g - 11, m = 5*m - 2*g - 116. Is m prime?
True
Suppose 5*g - 8 = -4*v, 2*v = v + 2. Let s be (-3 - g) + (-8)/(-1). Suppose 42 = s*d - 63. Is d prime?
False
Suppose q - 3*q - 2*m + 3890 = 0, 9 = 3*m. Suppose 0*w - 3*n - q = -2*w, 3*w - 4*n = 2915. Is w prime?
True
Suppose 153 = 5*d + 38. Is d composite?
False
Let d = 325 + 54. Is d composite?
False
Let t(k) = 4*k - 17. Let c be t(5). Suppose c*v - 2*v = 22. Is v prime?
False
Let a(g) = -g**2 + 2*g + 2. Let c be a(2). Suppose -v = c*v - 753. Is v a composite number?
False
Let z(h) = h**3 - 6*h**2 + 9*h - 8. Let w be z(6). Let i(p) = 6*p - 1. Let j be i(1). Suppose -4*c + 4*f + 322 = -w, -j*c = -2*f - 451. Is c a prime number?
True
Let c(m) = 1787*m + 12. Is c(1) prime?
False
Let n = -1098 - -2153. Is n prime?
False
Suppose 0 = -3*j + 2*j + 4*v + 157, 628 = 4*j - v. Is j composite?
False
Let r = -1 - 4. Let x = r + -1. Is x/(-8) + 699/12 composite?
False
Suppose -7*k + 4*k = -393. Is k composite?
False
Let h = 24 + -15. Suppose -w - t = -9, 5*t + h = -w + 38. Let f = 19 - w. Is f prime?
False
Is 2078/(-5)*(-80)/32 composite?
False
Suppose -2*t = 4*v - 124, -3*t = 2*v - t - 62. Suppose -v = 2*x - 7. Let r = x - -47. Is r a prime number?
False
Suppose 3*q = -q + 20. Suppose 0 = -4*u - m + 845, 0 = q*u + 5*m + 89 - 1149. Is u a composite number?
False
Let a(r) = -r**3 + 4*r**2 + r - 3. Let h be a(4). Suppose 4*l + 23 = -4*m - h, 2*l + 3*m + 17 = 0. Is 19 - l - (-2)/2 prime?
False
Suppose -32 = z - 5*z. Suppose -4*q = -z*q + 8. Suppose q*p - 1 = 41. Is p a composite number?
True
Let k = 15 - 22. Let r(z) = z + 4*z + 2*z + z - 7 + 2*z**2. Is r(k) a prime number?
False
Let m(w) = -3*w + 4. Suppose -2*b - 2 = 4. Is m(b) a prime number?
True
Let x = 4 - -2. Suppose -2 = 4*d - x. Is 316/8*d*2 prime?
True
Let t = -3 + 6. Let k be 3/t*1*3. Suppose -4*h + 14 + 14 = -3*o, -h = -k*o - 16. Is h composite?
True
Let g = 6 - 2. Let b(j) = j**2 - j - 3. Let d be b(g). Let w = d - -2. Is w a composite number?
False
Let h(i) = -i**3 + 10*i**2 - 6*i - 1. Is h(8) a prime number?
True
Let a = -476 - -795. Is a a prime number?
False
Let w(g) = -g**3 + 6*g**2 - 4*g - 5. Let f be w(5). Let z = f - 4. Is z/(-6) + (-103)/(-3) a prime number?
False
Suppose 7*o - 6 = 4*o. Suppose 2*t + o*t = 620. Is t a prime number?
False
Let t be 0 + ((-18)/(-3) - -3). Suppose r = 26 + t. Suppose g - r = 188. Is g a prime number?
True
Suppose m - 5*m + 1284 = 0. Is m a composite number?
True
Let y(c) = 20*c**2 + 3*c - 3. Is y(2) a composite number?
False
Let d be -3 + 2 - -2 - -1. Suppose d*k - o - 2*o - 179 = 0, 9 = -3*o. Is k prime?
False
Let l = -3 - 25. Let s = 6 - l. Is s composite?
True
Let v be 5*(6/2)/1. Let o be (-30)/(-4)*(-72)/v. Let h = o + 299. Is h composite?
False
Is 980 + 7/(14/(-6)) + -4 a prime number?
False
Let n(l) = l**3 + 4*l**2 - 5*l - 3. Let t be n(-5). Let u(q) = -24*q - 1. Let b be u(t). Let r = b + 18. Is r a composite number?
False
Is 1/((-6)/(-1143))*154/21 prime?
False
Suppose -21*b + 17*b + 892 = 0. Is b a prime number?
True
Let i be 0/((1 - 2) + 3). Suppose 0 = -l + 3*r + 9, 2*l + 3 = -r - i*r. Is (1 - -1) + l + 5 a prime number?
True
Let q(m) = -127*m**2 + 3*m - 3. Let w be q(2). Let d = 763 + w. Is (d/(-12))/((-2)/4) prime?
True
Let x(i) = -2*i**3 + 3*i + 1. Let l(c) = -c**3 - 6*c**2 - 2. Let r be l(-6). Let d = -4 - r. Is x(d) a composite number?
False
Let u(r) be the first derivative of 3 - 2*r**2 - 10*r + 1/4*r**4 + 3*r**3. Is u(-9) a prime number?
False
Let l = 393 + -210. Is l prime?
False
Suppose 34 = -4*c + 166. Let z = c + 286. Is z a composite number?
True
Let d be 27/5 - 6/15. Suppose -2*z - 2*i = -0 - 8, -d*z + 5*i + 30 = 0. Suppose 