
False
Let s = 8 - 12. Let f(i) = i + 6. Let h be f(s). Let j = 21 - h. Is j composite?
False
Let b(i) = -3*i. Let s be b(-1). Suppose -3*l = w + 12, -4*w + w - 12 = s*l. Suppose w*f + 19 = f. Is f a prime number?
True
Suppose 30 = -0*d + 5*d. Suppose 4*v = 3*r - d*r + 5, 5*v = 3*r + 40. Let y = 16 + v. Is y prime?
False
Suppose -2*x + 41 + 2477 = 0. Is x a composite number?
False
Let t = 107 + 80. Is t prime?
False
Let h(o) = 8*o + 0 - 2*o - 2*o - 1. Let d be h(1). Suppose 0*k - d*k = -66. Is k a composite number?
True
Is 4 + (2 - (-4 + 3)) a composite number?
False
Suppose 3*q + 2*n - 417 = 0, -3*n = -0*q + 3*q - 414. Is q a composite number?
True
Let q = 16 - 13. Suppose l + q*l = 52. Is l a composite number?
False
Suppose 911 = 9*s - 484. Is s a composite number?
True
Is 295 - ((-9)/(-3) + -3) composite?
True
Let o(x) = 3*x**2 + 23*x + 25. Is o(11) a prime number?
True
Suppose 0*y - 728 = -y + m, -5*y + m = -3624. Suppose -3*r + 10 = -j, -j = -5*j + 8. Suppose 88 + y = r*b. Is b a composite number?
True
Suppose 3*c + 4*f = -53, -c + f = -2*f + 35. Let x = 26 - c. Is x a composite number?
True
Let i(u) = -u + 1. Let k(s) = -15*s**2 + 4*s - 1. Let m(j) = 31*j**2 - 7*j + 2. Let h(a) = 9*k(a) + 4*m(a). Let g(w) = -h(w) - 4*i(w). Is g(-2) composite?
True
Let y = -217 - -127. Is y/(-12)*(-28)/(-6) composite?
True
Suppose -2*r + 54 = -5*r. Let x = r - -107. Is x composite?
False
Let y = 82 + -48. Is y a composite number?
True
Let t be (-4)/6*(-8 - -2). Let k be -13 + -8 + (1 - t). Is 154/(-3)*k/16 composite?
True
Let h(i) = 33*i**2 - 2*i + 2. Let w be h(2). Suppose p - 446 = -3*c - w, -2*c + 313 = p. Is p a composite number?
False
Suppose 0 = -3*p + v - 5*v + 24, -3*p + 2*v + 24 = 0. Let x(m) = 2*m + 7. Is x(p) a composite number?
False
Let j(v) = v**3 - 8*v**2 + 2. Let d be j(8). Suppose -r + l = 6, -5*r + l = d*l + 6. Is r*((-565)/2)/5 a prime number?
True
Let u = -26 + 45. Is u a composite number?
False
Suppose -2*k + r = -2*r - 35, -5*k - r = -62. Suppose -4*a - 7 = 13, k = h + 5*a. Is h prime?
False
Suppose 4 = 4*c, 3*u - 106 = -5*c + 382. Is u prime?
False
Suppose -86*q = -88*q + 2522. Is q a prime number?
False
Let k(r) = -r + 10. Suppose w + 5 = 13. Let s be k(w). Is 74*(-1)/(-2) - s prime?
False
Suppose -4*l + 2*l - 8 = 0. Let g be (1 - 3)*(-6)/l. Is 103/4 + g/(-12) prime?
False
Suppose -3*r + 0*r - 3 = 4*i, 2*i = 2*r - 12. Let j be ((-180)/(-2))/(r - 4). Let c = -35 - j. Is c a prime number?
False
Let j(i) = i**3 - 26*i**2 + 10*i - 20. Is j(27) prime?
False
Let n(r) = 24*r**3 + 4*r**2 - 4*r + 3. Suppose 0 = -z + 1, -z - 12 = -5*u - 3. Is n(u) composite?
True
Let i = -445 + 648. Is i composite?
True
Suppose 5*n - 9*n + 6772 = 0. Is n composite?
False
Let p = 173 + -96. Is p prime?
False
Let s be (0 + (-30)/(-4))*22. Suppose -v = -5*x + s, -3*x + 0*v + v = -97. Is (-3)/((-6)/x) + -2 prime?
False
Suppose 16 = 4*n - 2*i, -n - 18 = 7*i - 2*i. Is (-13 + 6)/(n/(-502)) prime?
False
Let w(j) = 14*j**2 + 8*j - 13. Is w(12) prime?
True
Suppose 1 = 2*x - 21. Suppose -5*h + 3*w + 9 = -3*h, -4*h = w - x. Is h a composite number?
False
Suppose 6*c - c = 1255. Is c a prime number?
True
Is (1 + -318)/((-7)/7) composite?
False
Let y(z) = z**2 + z - 2. Let l be y(0). Is (15/15)/(l/(-974)) a prime number?
True
Suppose s + 1153 = c, 6*c - 5*s - 4614 = 2*c. Is c prime?
True
Suppose -3*x + 56 = x. Suppose -2*u + 3*r = -x, -u = 2*r - 14 - 7. Is u composite?
False
Let v be -2 - 0 - 8*-28. Suppose -v + 0 = -3*n. Is n prime?
False
Suppose -7*o + 4982 = -6617. Is o composite?
False
Let k(s) = s + 95. Let h(p) = -p**3 - p**2 + 2. Let w be h(-2). Suppose d = w*d. Is k(d) prime?
False
Suppose 4*k + k - 1903 = -3*i, 0 = 5*i - 4*k - 3221. Is i composite?
False
Let a = 737 - 330. Is a a prime number?
False
Suppose -2*x + 6*d = d - 14572, -3*x - d = -21892. Is x/36 - (-1)/3 a composite number?
True
Let y = 7 + -5. Let t = -7 - -9. Suppose 0 = y*d + t*d - 44. Is d a prime number?
True
Suppose 3*q + 4*x = -860, 5*q = q + 3*x - 1155. Let f be (-4)/14 + q/21. Is f*(-3)/(-12)*-22 a composite number?
True
Let n(v) = 4*v**2 + 4*v + 5. Let x(z) = 2*z - 1. Let a be x(2). Suppose -1 - 11 = -a*m. Is n(m) a composite number?
True
Let h(f) = -3*f + 1. Let i be h(-2). Let p be -6 + i + 4*1. Suppose -n - 49 = -4*s, -29 = -3*s + 5*n - p. Is s a prime number?
True
Is (-30)/(-9)*582/4 a composite number?
True
Suppose -6*i + 156 = -2970. Is i prime?
True
Suppose -4*b - 2*f + 339 = 87, -73 = -b + 2*f. Let k = -34 + b. Is k prime?
True
Let o(f) = -6*f**2 - 8*f + 896. Let q(p) = -5*p**2 - 7*p + 895. Let c(x) = -6*o(x) + 7*q(x). Is c(0) composite?
True
Suppose -5*y = -1182 - 2203. Is y a prime number?
True
Let i(s) = -s**2 + 5*s + 4. Let z be i(5). Suppose r + 33 = z*r. Is r prime?
True
Suppose 5*z = 18*z - 507. Is z prime?
False
Suppose 2*h = -5*w + 917, -4*h - w + 1794 = w. Is h prime?
False
Suppose 7*p - 5*p - 254 = 0. Is p a prime number?
True
Let k be (-2)/9 - (-32)/(-18). Is (-5 - k) + 2*107 a prime number?
True
Let l = -6 - -8. Suppose -2*t - t + 5 = 4*n, 2*n - 20 = 2*t. Suppose 0*c + 2*m - 248 = -l*c, -n*m - 15 = 0. Is c prime?
True
Let v be (-1 + 8/2)/1. Suppose -w + 26 = 2*f + 2*f, v*f = 3. Is w a prime number?
False
Let i(p) = -3*p + 10. Let u be 4/6*(-84)/8. Is i(u) a composite number?
False
Let v(q) = -39*q - 1. Suppose 3*f - 10 = 4*n, 6*f - n + 6 = f. Let b be (2/(-4))/(f/(-8)). Is v(b) composite?
True
Suppose -4*k + 2215 = k. Is k a prime number?
True
Suppose -2*u - 32 + 254 = 0. Is u a composite number?
True
Let l = 3 - 2. Is (-2)/(-4)*(63 - l) a composite number?
False
Let h(a) = -26*a + 9. Is h(-17) a prime number?
False
Let n be 1/(-2) - 1076/(-8). Suppose 3*m + 4*l = n, 4*m + 4*l = 7*l + 137. Is m a prime number?
False
Suppose 2*i = 2, -2389 - 4070 = -5*p - 4*i. Is p a prime number?
True
Let t = 6 - 3. Suppose 983 = t*d + 2*p, -p - 2*p = 5*d - 1640. Is d a prime number?
True
Suppose 3*f + 9 = 2*b - 0*b, 2*b = 4*f + 12. Suppose b = -9*k + 13*k - 308. Is k a composite number?
True
Suppose -2*n = -779 + 265. Is n a prime number?
True
Suppose 4*i = 2347 + 16017. Is i a prime number?
True
Let b(f) = -f + 17. Let x be b(12). Suppose 47 = s - 2*v, -v + 2*v = x*s - 271. Is s composite?
True
Let a(s) = -4*s - 2. Suppose 1 = -3*k + 16. Let w = -11 + k. Is a(w) prime?
False
Suppose 0 = -4*i + 2778 + 774. Is (2/(-3))/((-16)/i) prime?
True
Suppose y + 0 = -2. Let a = 5 - y. Is a a composite number?
False
Suppose -14 + 58 = -4*a. Let j = 73 + a. Is j a composite number?
True
Let o(z) = -z**2 + 6*z - 6. Let n be o(6). Let m = n + 6. Let h(k) = -k + 149. Is h(m) a composite number?
False
Let m(g) = -3*g**3 - g**2 - 2*g - 2. Is m(-2) prime?
False
Let u(h) = 3*h**2 + 7*h + 30. Let p(q) = -q**2 - 3*q - 15. Let n(w) = -5*p(w) - 2*u(w). Let g = -1 + 1. Is n(g) a prime number?
False
Suppose -4*l - k + 5*k + 60 = 0, 0 = 2*l - 4*k - 38. Let c = -7 + l. Let x = -2 + c. Is x prime?
True
Let t(j) = -j**3 - 4*j**2 + 3*j - 7. Let x be t(-5). Let w be (-55 - (0 + x))/(-1). Let u = 137 - w. Is u a prime number?
True
Let m = 357 - 208. Is m prime?
True
Suppose 280 = 3*i + 34. Is i prime?
False
Suppose 3*k - 2*f - 68 = 0, -k + 10 = -2*f - 10. Let j be ((-8)/6)/((-16)/k). Suppose j*q - 147 = -3*h, 4*h - 147 = -2*q + 49. Is h prime?
False
Let i(u) = u**3 + u**2 + 4*u + 1. Suppose -2*c + 5 = -c. Let g = 9 - c. Is i(g) composite?
False
Let u be 1 - -4*(1 + 2). Suppose 5*m + 2 = 5*z + 17, -z - 3*m + u = 0. Is (14/8)/(z/4) a prime number?
True
Suppose 0*s + n = -5*s + 40, -4*n = 2*s - 16. Suppose x + 1 = s. Is x prime?
True
Let f(l) = 364*l + 15. Is f(4) a prime number?
True
Let a be ((-46)/(-3))/(4/6). Suppose -o + 10 = -a. Is o composite?
True
Let g be (6/(-18))/((-1)/21). Suppose 275 = g*s - 2*s. Is s composite?
True
Let h(t) = -t**3 + 7*t**2 + 2*t + 17. Is h(-5) prime?
True
Suppose -5*g - 3*m - 1 - 29 = 0, 0 = 3*g + 5*m + 34. Let p be (2/g)/(4/12). Is (1/(-2))/(p/140) prime?
False
Is ((-2524)/(-2))/(-1 + (3 - 0)) a composite number?
False
Let m(z) = 22*z**2 + z + 28. Is m(-7) a composite number?
True
Let q(w) = -95*w - 2. Let u be q(2). Let p(c) = -2*c**3 + 6*c**2 - 6*c - 1. Let s be p(2). Is s*(-3 + u/10) composite?
True
Let w(v) = -v**2 - 4*v + 6. Let r be w(-5). Let p be (-2 - -2*1)/r. Suppose -a + 1