ite?
True
Is 9/6 + (-15)/(-10) a prime number?
True
Let b(n) = -8*n. Let o be b(-1). Suppose v - 3*v = o, -i - 5*v = -57. Let a = i + -43. Is a composite?
True
Suppose 11746 = 73*g - 71*g. Is g a prime number?
False
Is (3 - (5 + -1))*-163 a prime number?
True
Suppose 0*t = t - r - 2, 4*t = -r + 18. Is (t/(-2) - -133) + 0 a prime number?
True
Suppose 0 = 2*s + 2*s - 1012. Is s a prime number?
False
Let h = -5 + 9. Let a = h - 5. Let j = a - -14. Is j composite?
False
Let t = -28 + 502. Suppose t = 3*w + 2*s, -4*w + s + 420 = -212. Is w composite?
True
Is 4 + 87/(-6)*-6 prime?
False
Is 238 + -1 + (-4 - -2) composite?
True
Suppose 7 = x + 4. Is x/(-4) - 3832/(-32) a prime number?
False
Is 1*-166*(-70)/28 composite?
True
Suppose 0 = 5*a + 2*l + 370, -a - 4*a + 3*l = 395. Let d = a + 169. Let g = -46 + d. Is g prime?
True
Is (1/2)/((-1)/(-262)) composite?
False
Suppose -5*f + 884 = -1721. Is f composite?
False
Let p = 2 - 2. Is p/(-3) - (-190 + -1) prime?
True
Suppose -2*t - 114 = -8*t. Is t a prime number?
True
Let p(c) = c**3 + c**2 + 97. Let i = -8 - -8. Is p(i) composite?
False
Suppose -5*h + 35 = -4*p, 24 = 3*h - 3*p - 0. Suppose -t = 3*y - 630, 199 = -2*y + h*t + 630. Is y a prime number?
True
Let k = 4798 - 2897. Is k a composite number?
False
Let i(w) = 17*w - 1. Is i(12) composite?
True
Let d(a) = -25*a**3 - a**2 - 3*a + 2. Let n be d(2). Let h(r) = r**3 + 5*r**2 + 4*r + 3. Let f be h(-7). Let i = f - n. Is i a prime number?
False
Let y(t) = -2*t. Let u = 0 + 4. Suppose 0 = -4*c - 20, 19 = -z + 2*z - u*c. Is y(z) a composite number?
False
Let m(p) = 10*p**2 + 15*p - 41. Is m(8) composite?
False
Let f(r) = 35*r. Is f(1) prime?
False
Let n(i) = -117*i + 2. Is n(-1) prime?
False
Let y be (-1 + -2 + 8)/1. Suppose -y*d = 2*g - 59, 6*g - 2*g - 63 = -5*d. Is d composite?
False
Is (0/5 - 2)/((-2)/631) composite?
False
Suppose -2*j - 3*j = 0. Is (-26)/2*(-1 + j) composite?
False
Suppose -i = -4*i + 90. Let s = i - -106. Suppose -5*t + 49 = -s. Is t a prime number?
True
Let a be (-14)/4 - (-4)/8. Let f be (134/3)/((-1)/a). Is 2 + -4 - f/(-2) prime?
False
Let y(n) = -101*n. Let w be y(-2). Suppose 2*d - 3*d = -2*l + 198, -2*l + 2*d = -w. Is l a composite number?
False
Suppose 2*c + 10 = 2*s, -3*c = -2*s + 3*s - 13. Suppose -4*q - s = -39. Is 1/(-4) - (-282)/q a prime number?
False
Let s(u) = -292*u**3 + u. Let b be s(-1). Suppose -b = -4*w + w. Is w a composite number?
False
Suppose 7*d - 6*d = -5*b + 892, 0 = -4*d - 3*b + 3517. Is d composite?
False
Let l(f) = -f**2 - 2*f - 1 + 0*f**3 + 0*f - f**3. Suppose -b = -6*b - 20. Is l(b) a composite number?
True
Let k(y) = 5*y**2 - y + 1. Let b be k(1). Suppose 0*j = b*j - 10. Suppose l - 2*d = -0*d + 99, 4*l = j*d + 390. Is l a prime number?
True
Let c be 3 - (-2)/((-4)/(-2)). Suppose c = 3*b - 11. Suppose -783 = -b*x - 208. Is x prime?
False
Let p = 847 + -326. Is p composite?
False
Let l = -101 + 159. Is l a composite number?
True
Let u(x) = -2*x - 98. Let v be u(0). Let g = v + 144. Is g a composite number?
True
Let p = 3 + 0. Suppose -4*i - 2*d = 10, p*i - i + 10 = 4*d. Let x = i + 70. Is x a prime number?
True
Let y(n) = -n**3 - 2*n**2 + 4*n + 6. Let c be y(-5). Suppose c = 2*r - 419. Suppose -3*b + r = 81. Is b prime?
True
Suppose 4*p + 494 = 2*f - p, 5*f - 3*p = 1273. Is f composite?
False
Suppose -2*z = -z - 3239. Is z a composite number?
True
Let p(b) = 20*b + 3. Suppose 3*q = -2*z - 2, 4*z - 5*q - 23 = -5. Is p(z) a composite number?
False
Suppose -1307 = -3*f + 3604. Is f composite?
False
Suppose -z = -385 - 513. Is z a prime number?
False
Let w = -169 + 330. Suppose 3*k = 163 + w. Suppose -4*h - 6*f = -4*f - 80, -4*h = -5*f - k. Is h composite?
True
Suppose 8*n - 1291 = 829. Is n prime?
False
Let d(p) = 5*p**2 - 2*p + 2. Let o be d(-3). Suppose 0*s - 15 = -5*s. Suppose -s*f = -2*f - o. Is f a prime number?
True
Is 355/6 - 4/24 composite?
False
Suppose -2*w + 190 = -32. Is w a prime number?
False
Let d(g) = g**3 - 4*g**2 + 5*g - 4. Let u be d(3). Suppose u*x - 4*v = 860 - 342, -2*x - 2*v + 494 = 0. Is x a prime number?
True
Let m(w) = 11*w**2 - 17*w - 1. Is m(7) a prime number?
True
Suppose 2*z = 5*o + 3 + 3, -2*z - 5*o = -6. Suppose z*u + 156 = 4*t + 2*u, t - 3*u = 39. Suppose -t = -w - 4*d, w + 2*d - 29 = -0*w. Is w a composite number?
False
Suppose 6*w = 4*w - 20. Let z = 49 + w. Is z a prime number?
False
Suppose -155 = 5*c - j, -5*c + 3*j = j + 150. Let r = 64 + c. Is 1 + r + 0/1 a composite number?
True
Let t(k) be the first derivative of -2*k**2 + 3*k - 11. Is t(-7) prime?
True
Suppose t - 2*x - 355 - 440 = 0, 2*x = -2*t + 1578. Is t a composite number?
True
Let w(r) = -608*r + 5. Is w(-4) a composite number?
False
Let o(a) = 281*a + 4. Is o(5) a prime number?
True
Suppose 3*o = 5*w + 16, 2*o - 5*w = 9 + 5. Suppose -4*a - 2*g = 6, 3*a - g = 4*g + o. Is 13 - (0 + (a - 1)) a composite number?
True
Let m = -2 - 2. Let s be (-161)/21 + m/(-6). Is (-972)/(-28) - 2/s a composite number?
True
Suppose 3*b = -p + 67, 0 = -2*b + 4*b - 2*p - 34. Suppose -5*u + b = 4*g - 0*u, 3*g = 5*u + 7. Suppose 0 = -g*t - t + 345. Is t composite?
True
Suppose 2*k = 4*x + 20, x - 3*x - 10 = k. Let g = -2 - x. Is g prime?
True
Suppose g + 4 + 7 = 0. Let c be g/(2/(-2))*9. Suppose 50 = m - c. Is m a prime number?
True
Suppose 3*i - 2*i = 733. Is i a prime number?
True
Let t(a) = 8*a + 6. Is t(5) prime?
False
Let v = 1 + -1. Suppose v = -p + 2*p - 209. Is p a prime number?
False
Let m = 0 - 0. Let z = 7 - m. Is z a prime number?
True
Let o be 4 + 3/(-3)*-1. Let g(x) = 8*x**2 - x - 4. Is g(o) composite?
False
Suppose l = -2*l. Is 34 + 3 + -4 + l a composite number?
True
Suppose 3*n - 119 = 103. Suppose 4*a = -n + 342. Is a composite?
False
Let v(k) = -119*k + 13. Is v(-18) prime?
False
Let k(n) = 12*n**2 - n. Let b be k(1). Suppose -b + 81 = 2*h. Is h prime?
False
Let x(f) = 316*f - 3. Is x(2) a composite number?
True
Let c(h) = h**3 + 3*h**2 - 4*h + 3. Let o be c(-4). Suppose 0 = o*u - 6. Suppose -5*k - 2*r + 634 = -k, 4*k - u*r - 622 = 0. Is k prime?
True
Let c = 459 + -268. Is c prime?
True
Suppose 4*o - d = 165 + 308, -4*d + 12 = 0. Is o composite?
True
Suppose 2*m + 3*m = -4*h + 5340, 2*m - 6675 = -5*h. Suppose 2*l + l = h. Suppose 2*f - l = -3*f. Is f a prime number?
True
Let s(g) = -10*g + 7. Let m be s(-7). Suppose -1 = 4*n - 33. Let z = n + m. Is z prime?
False
Let x(b) = 5*b**3 + 0*b**3 - b**2 + 11*b**3. Is x(1) composite?
True
Suppose r - 123 = 90. Is r composite?
True
Is 167/5 + 4/(-10) a composite number?
True
Let d = 14 - 9. Let m = 8 - d. Is 31/3 - 1/m composite?
True
Let x(u) = 101*u + 16. Is x(3) prime?
False
Let q = -7 + 12. Suppose 4*t = r - 101, 68 = -2*r - q*t + 257. Is r a composite number?
False
Let i(n) = -44*n**3 - 2*n**2 - n. Is i(-1) a composite number?
False
Let x be 6 - (-4)/4 - -3. Is 12696/20 - (-2)/x a prime number?
False
Suppose 2*c = -5*g + 214 + 114, -310 = -2*c + 4*g. Is c a composite number?
True
Let j = -197 - -276. Let l = 182 - j. Is l a composite number?
False
Let j be (-20)/((-1)/(2/(-1))). Let n(z) = 11*z - 5. Let i be n(6). Let m = i + j. Is m a prime number?
False
Let m(x) = x**2 + 5*x + 6. Let v be m(-6). Suppose -b + 2*g = b - 184, -4*g = v. Is b a prime number?
True
Suppose 5*f - 134 = 3*f. Suppose 5*h - f = -s, h - s - 19 = -4*s. Suppose h = -0*c + c. Is c composite?
False
Suppose -2*l = u - 430, 5*l - 1075 = u + u. Is l composite?
True
Let o = -28 - 19. Let t = -26 - o. Is t composite?
True
Let f(o) = 10*o**3 - o + 1. Suppose -3*u + 4 + 2 = 0. Is f(u) composite?
False
Suppose -2*j + 1258 = p, 2*j + j + 2*p - 1887 = 0. Is j a composite number?
True
Suppose -2*f - a = 3*a - 22, 0 = -a - 4. Is f prime?
True
Let k be 12/(7/((-21)/(-6))). Suppose n - k*n + 2365 = 0. Is n prime?
False
Let u = -1 + 2. Let a(b) = 3*b + 1. Let t be a(u). Suppose t*h - 78 = h. Is h prime?
False
Suppose -3*o = c + o - 4, -c = -2*o + 2. Suppose 5*z - 186 = -3*d - d, c = z + 4*d - 50. Is z composite?
True
Let g = -25 + 29. Suppose -3 = -g*b - 15, 5*k - 61 = -3*b. Is k prime?
False
Let h = -556 + 900. Let x = h - 133. Is x a composite number?
False
Let n = 30 - -72. Suppose -3*g - 4*d = -n, -4*g + d + 40 + 115 = 0. Is g a composite number?
True
Let p be (-2)/13 + (-51072)/(-52). Let i = -495 + 