 Is h a composite number?
True
Let f(j) = 3*j**3 - j. Let v be f(1). Let g be (-63)/12 + v/8. Is (-58)/4*(g - 1) prime?
False
Let o(w) = -w**3 - 10*w**2 - w + 9. Let z be (-2 + 1)*0/(-5). Suppose z*a = 5*a + 50. Is o(a) composite?
False
Suppose -2*l + 574 = -0*l. Is l a prime number?
False
Suppose 4*j - 5*h - 24 - 177 = 0, -2*h = -4*j + 198. Let a = j - 29. Suppose -3*z + a = -13. Is z a composite number?
False
Let y(f) = -f. Let i(d) = -17*d - 1. Let x(v) = -i(v) + 5*y(v). Is x(8) a prime number?
True
Let f(o) = -o**2 + 35*o - 13. Is f(24) a prime number?
True
Let u(a) = 7*a**3 + 3*a**2 - 6*a + 7. Is u(3) composite?
True
Let v = 2 - -72. Let t = v + 75. Is t composite?
False
Suppose 5*m - 2 = -12. Is 302*(-1)/(-2) + m a prime number?
True
Let w(b) = -b + 30. Let y be w(0). Suppose y - 11 = t. Is t prime?
True
Suppose 4*s - 890 = 2*v, -v + 67 - 954 = -4*s. Is s a composite number?
True
Let b = -550 - -1104. Is b a prime number?
False
Let l be (1/(-2))/(2/(-32)). Is (166/8)/(2/l) a prime number?
True
Suppose -141 = -4*n + 3*n. Is n prime?
False
Suppose -4*r + 712 = -0*r. Is r a prime number?
False
Let s(i) = i + 188. Let y be s(0). Suppose 2*f = y + 1022. Suppose 3*x - f = -2*x. Is x prime?
False
Let n(u) = -u**2 + 7*u - 6. Let f be n(5). Suppose -2*h - 286 = -f*h. Is h prime?
False
Let g(l) = l**3 - 18*l**2 + 22*l - 18. Let r be (1/(-1))/((-4)/68). Is g(r) prime?
True
Let o = -4 + 6. Suppose -2*m + 140 = o*m. Let u = m + 18. Is u a prime number?
True
Suppose 3*m - m - 11 = -5*v, -3*v - 9 = -4*m. Suppose -8 = x - m*x. Suppose 0 = x*g - 5*p - 102, -22 = 3*g + 2*p - 87. Is g prime?
True
Let z = 11 + -6. Suppose -z*q + 0*q = -3*a + 86, 54 = 2*a - 4*q. Is a prime?
True
Let l = 215 + -325. Let z = -23 - l. Is z a prime number?
False
Let t be 2 + (2 + -3 - 1). Suppose t = -4*c + 927 - 115. Is c prime?
False
Let c be 1/(-2) + 40/16. Let l be 11 + c + (-1 - -1). Suppose 43 = 4*t - l. Is t a composite number?
True
Let o(d) = -23 + 3*d**2 + 21 - 7*d - d**2. Is o(-5) prime?
True
Let q = -96 + 347. Suppose -3*s = -22 - q. Is s a composite number?
True
Suppose -3*a - 4*q = -14, 3*q = 8 - 2. Suppose -4*d - 2 = a. Is (0 - d)*1*19 a composite number?
False
Suppose -2*u + 166 = -76. Is u a prime number?
False
Suppose -5*u + 771 + 1214 = 0. Is u a prime number?
True
Let m = 32 - -37. Is m + (3 - 3) + 0 composite?
True
Let l(h) = h**2 + h + 1. Let a be l(-2). Suppose w - a*w = -3206. Is w prime?
False
Suppose 3*v + 0*v - 1095 = 0. Is v composite?
True
Is ((-953)/(-2))/(4/(-8) + 1) composite?
False
Suppose v + 5*x = 18, 2*v = -3*x + 12 + 3. Suppose 0 = -2*d + 3*b + 989, 0*d - 1476 = -3*d + v*b. Is d composite?
False
Suppose 3*v - g - 2*g = 3177, -10 = 5*g. Is v prime?
False
Let d(j) = j - 1. Let g be d(5). Let a(k) = 4*k**3 - 3*k**2 + 3. Is a(g) composite?
False
Suppose 0*o - 5 = -o, -z + 2*o + 329 = 0. Is z a prime number?
False
Let l be 36/(-16) + (-1)/(-4). Is (-2 + (-5)/l)*254 composite?
False
Suppose -l + 5 = 0, 2*d + 6239 = 6*d - l. Is d a composite number?
True
Suppose -5*d = 9*d - 12894. Is d prime?
False
Let k(r) = 5*r**2 + 4*r - 5. Let h be k(4). Suppose d + 5*a - h = 2*d, -2*d + 4*a = 158. Let w = d - -105. Is w prime?
False
Suppose v - 993 = -s + 3*v, 0 = -4*s + 4*v + 3992. Is s composite?
True
Let c(s) = -s**3 - 2*s**2 + 4*s - 1. Suppose 12 = -g - 2*g. Let q be c(g). Suppose 2*r + 3*r - 3*m - 394 = 0, -5*m = q. Is r composite?
True
Is (-1270)/(-6) + (-30)/45 composite?
False
Let y = -96 - -241. Is y composite?
True
Let l(z) = z**2 + 2*z - 8. Let x(q) = -q**3 + 8*q**2 + 9*q - 5. Let c be x(9). Is l(c) prime?
True
Let d(p) = p**3 + 2*p**2 + p. Let k be d(-1). Suppose -3*w - j + 0*j + 611 = k, 4*w = j + 824. Is w prime?
False
Let a(g) = 2*g**2 + g - 1. Let l(b) = b + 1. Let r be l(-4). Is a(r) prime?
False
Let j be 0 + 166/(2/1). Suppose 5*u - 4*p - 56 = j, p = 3*u - 89. Let b = 80 - u. Is b a composite number?
True
Let k(m) = 2*m**2 - 2. Let f be k(1). Let l = 0 - -4. Suppose 2*q = 4*t - 458, -467 = -f*t - l*t + 5*q. Is t a composite number?
False
Suppose -4*v + 5*q = -0*v + 7, 0 = -2*v + 4*q - 8. Let x be 2/(-3) - 557/(-3). Suppose -2*b + 44 = h, -3*b = 7*h - v*h - x. Is h prime?
False
Let x = 79 - -158. Is x a composite number?
True
Let t = 740 - -137. Is t composite?
False
Let u = 865 + 182. Is u a prime number?
False
Suppose 1 - 25 = -4*c. Suppose -q + c*h = h - 7, 4*q + 2*h = 94. Is q a prime number?
False
Let u(r) = r**2 + 5*r. Let h be u(-5). Suppose 2*j + 8 + 130 = 4*t, h = -4*j - 12. Is t composite?
True
Suppose 5*z + 4787 = 9*z + 5*y, z - 1190 = y. Is z composite?
False
Let z(i) = -i**3 + 2*i**2 + 2*i + 1. Let k be z(2). Suppose 5*s + 45 = k*y, 4*s = -y + 2*y - 24. Is (-6)/(-15) - 68/s prime?
False
Let g(l) = -l**2 + 1. Let r be g(1). Suppose -7*k + 2*k - 75 = 0. Let z = r - k. Is z a prime number?
False
Let b(z) = 24*z**2 + 18*z - 17. Is b(-10) composite?
False
Suppose 0*m = 4*m. Suppose m*q + q = 39. Is q a prime number?
False
Is (4/(-6))/(12/(-10278)) a composite number?
False
Suppose -p + 0*y - y + 1137 = 0, 0 = 3*p + 2*y - 3415. Is p prime?
False
Let x = -85 - -60. Let u = 54 - x. Is u a prime number?
True
Let y be 34/14 + 6/(-14). Let j = 58 - 1. Suppose -3*u + j = 3*h, y*h + 33 = 4*u - 55. Is u a prime number?
False
Suppose 2*g - g - 2007 = 5*u, -5*g + 10077 = -4*u. Is g a composite number?
False
Let r be 42/8 - 3/12. Suppose r*y = u + 578, 2*u + 3*y + 2404 = -2*u. Let k = -341 - u. Is k a composite number?
False
Let o(n) = -n**2 + 10*n - 2. Is o(6) a composite number?
True
Suppose -2*t - 28 = 2*t. Let w be (-2736)/(-28) + (-2)/t. Suppose a - w = -a. Is a a composite number?
True
Let f(x) = 3*x**2 + 2*x + 1. Is f(4) composite?
True
Let n = -419 - -976. Is n composite?
False
Let t(o) = -41*o - 3. Suppose 2*p = 4*k - 20, -p - 2*p - k - 9 = 0. Is t(p) a composite number?
True
Suppose 0 = -4*w + 7530 + 650. Is w composite?
True
Is 1/(-2 - 90/(-44)) composite?
True
Let a = -13 + 23. Suppose z = 3*z - a. Suppose -z*h + h + 260 = 0. Is h a prime number?
False
Let c(y) = -y**2 + 7*y - 7. Let m be c(5). Suppose -432 = r - m*r. Suppose 4*b = -4*j + r, 0 = -3*b - j + 113 + 55. Is b a composite number?
True
Suppose 4*y + f - 10 = 3*f, 1 = 2*y - 5*f. Let n(p) = 4*p. Let u be n(y). Is 9/u + (-435)/(-12) a composite number?
False
Let j be (0 + -3)/(-6)*314. Suppose -j - 91 = -4*r. Is r prime?
False
Suppose 0 = 2*x - 7 - 1. Let l(p) = 0*p + 2*p**2 - 2*p**2 - 2 + p**2 - x*p. Is l(6) composite?
True
Let n = 74 + 55. Suppose 0 = 5*q + n + 396. Let z = 52 - q. Is z composite?
False
Let l = 1 + -1. Suppose 53 = 5*m - 4*u, 3 = u - l*u. Is m prime?
True
Let c(o) = -o**3 + 3. Let q be c(-3). Suppose m - 2*w + 7*w = q, 150 = 3*m + 3*w. Is m prime?
False
Suppose 5*o - 1942 = -3*n + 1254, 2567 = 4*o - n. Is o prime?
True
Suppose -2*z = -6*z + 20. Suppose -10 = 2*r - 0*r, -3*r - 680 = -z*c. Is c composite?
True
Let g = -9 + 14. Let z = -2 + g. Is z prime?
True
Let v(x) = -x**2 + 5*x - 2. Let p(a) = a**2 - 1. Let b(j) = 5*p(j) + v(j). Let t be b(-5). Is t + (-3 + 4 - 2) prime?
True
Suppose -9*u = -4*u - 2815. Is u composite?
False
Is 246/(-3)*20/(-8) prime?
False
Let r be 11/3 - (-2)/(-3). Suppose 4*i = r*u - u + 12, -i + 8 = -3*u. Suppose -i = -d, 2*j + d - 144 = j. Is j composite?
True
Let p = 601 + 430. Is p a composite number?
False
Let d(t) = 5*t - 2. Let z be d(-5). Let l = z - -52. Suppose -4*m + 19 = -l. Is m a prime number?
True
Suppose -295 = -5*l + 5*y, -4*l + 23 + 211 = -2*y. Is l prime?
False
Let r(s) = s - s**2 + 7*s - 3*s + 13 + 6*s**2. Is r(-6) a prime number?
True
Suppose -y + 10 = 4*y. Suppose 2 = y*o + 16. Is o/(7/(-30)) - -1 prime?
True
Let l be 5/((-30)/(-4))*-72. Let t = l + 67. Is t prime?
True
Let o(f) be the first derivative of f**4/4 + 11*f**3/3 + 4*f**2 + 3*f + 14. Let s be 136/(-14) - 4/14. Is o(s) prime?
True
Let u = 29 + -45. Is 1/(-4) - 948/u a composite number?
False
Suppose 0*t = -3*t + 426. Let h = t - 36. Is h prime?
False
Let u = 175 + -272. Suppose -10*r = -14*r - 608. Let x = u - r. Is x composite?
True
Suppose -9*w = 2*d - 4*w - 1, d = w - 3. Let x be (-1)/2 - 1/d. Suppose x = -l - l + 290. Is l composite?
True
Let f = 10 - 0. Is 1266/f - (-20)/50 composite?
False
Let q(a) = 6 - 6 + 7 - 5*a. Let d = 8 + -16. Is q(d) compo