 Is h a prime number?
True
Let t(a) = -48*a - 37. Let z(m) = -2*m - 7. Let r be z(1). Is t(r) a composite number?
True
Let j = 140 - 64. Let c = 423 + j. Suppose 0 = -z - z - 5*g + c, 2*z = 2*g + 520. Is z a prime number?
True
Suppose 5*q - 5*k = 2590, 4*q = 2*q - 2*k + 1032. Is q a prime number?
False
Let k(f) = f**3 - f**2 - 3*f + 2. Let j be k(2). Suppose 2*p = 3*i, -i = -j*p - p. Suppose p*d - 4*d = -2068. Is d composite?
True
Let b = 116 - 115. Let x(g) = 1669*g**3 - g**2 - 2*g + 3. Is x(b) a prime number?
True
Let h be (0 - 1 - 0)*(1 - 1). Suppose h = -3*m + 1550 + 391. Is m a prime number?
True
Let w(n) = n**3 + 8*n**2 + 7*n - 5. Let t be w(-6). Suppose 2*s - t = -3*s, -1901 = -2*k + s. Is k prime?
True
Let c(b) = 3*b**2 - b + 11. Suppose -x = 3*h + 17, x + 0*h - 3*h = 1. Is c(x) a prime number?
True
Let v = 65 + 343. Suppose 0 = 6*i + v - 3930. Is i a composite number?
False
Suppose 2*q = -4*q + 18. Suppose -4*a - q*f = -25, -f + 10 + 5 = 3*a. Is (a/(-6))/(1/(-573)) prime?
False
Is -1 + 21*15 + (-15)/(-3) composite?
True
Is 2164*((-472)/(-32) - -6) composite?
True
Let g = 4742 + -2128. Is g a prime number?
False
Let s(p) = 5*p**3 - 4*p**2 + 8*p + 11. Is s(10) prime?
True
Suppose -5*d + 355 = -5*o, -2*d - 347 = -7*d + o. Is d a composite number?
True
Suppose 4*s - 2*s - 4 = 0. Suppose -1495 = s*k - 7*k. Is k prime?
False
Let r be 3/((-12)/8)*-1. Suppose -l + r = -3*l, 0 = 2*z - 5*l + 19. Is (9/z)/(1/(-52)) prime?
False
Suppose 2*n = 3*n - 5. Suppose -v = n*v - 4062. Is v prime?
True
Let g(a) = -a**3 + a**2 + 2*a - 8. Let p be g(4). Let z = -19 - -102. Let o = z - p. Is o a composite number?
False
Suppose -348 = 6*j - 12*j. Is j composite?
True
Let x = 2 - 3. Let g = x - 78. Let i = 84 - g. Is i a composite number?
False
Suppose -4*q + 2*q - 8 = 0, -3*x = -5*q + 514. Let d = 336 - x. Is d composite?
True
Let c(w) = w + 1. Let p be c(3). Suppose -5*x + 5 = -4*m - 3, 5*x - 17 = m. Suppose y - 2*y - p*j = -m, 31 = 5*y + 4*j. Is y a prime number?
True
Let u(m) = 18*m**2 + 10*m + 165. Is u(-16) prime?
False
Suppose -g = 2*g - 10890. Suppose i = -3*s + 3632, 3*i = -8*s + 5*s + g. Is s a prime number?
False
Let d(n) = -5 + 35*n + 214*n + 2 + 29*n. Is d(2) a composite number?
True
Let s(d) = 262*d**3 - 4*d + 1. Is s(3) a composite number?
True
Is (-24)/(4 + -8) + (-7241241)/(-21) a prime number?
False
Let n(j) = j**2 + 185. Let k = 13 + -10. Suppose c + 2*p = -0*p + 2, -3*p = -k*c - 3. Is n(c) prime?
False
Suppose 3*r = 9*r - 11532. Suppose r = -9*t + 5441. Is t a prime number?
False
Let v(b) = 9*b**2 + 3*b + 7. Let n be v(8). Suppose 2*d - 6*d + c - 589 = 0, 5*c + n = -4*d. Let a = 269 + d. Is a composite?
True
Is 13/(-39) - (-8122)/3 a composite number?
False
Let n(o) = 1. Let i(w) = -962*w + 5. Let t(z) = -i(z) + 3*n(z). Let h be t(1). Suppose -4*b = -980 - h. Is b a prime number?
False
Suppose -81*m = -77*m - 11804. Is m a prime number?
False
Suppose p + 3*i = 703, -p = 3*p + 4*i - 2796. Is p prime?
False
Suppose 6*h - 2 = 22. Suppose -c = h*t - 1027, -2*t - 6034 = -5*c - 987. Is c a composite number?
True
Let i be 0 + (6 - 7)*(-5 + 2). Let l be ((-2 + 10)/2)/1. Suppose i*w - 145 = 4*r, -w + 39 = -4*r - l. Is w prime?
False
Let m = 84947 - 29601. Is m a prime number?
False
Is -6*(-5)/30 + (-13520)/(-2) prime?
True
Let q = 297750 + -191159. Is q a composite number?
False
Suppose -5*q + 337058 = -4*k + 106075, 3*q - k = 138587. Is q a composite number?
True
Let d = 26440 - 12771. Is d prime?
True
Suppose -26*r + 49546 = -24*r. Is r prime?
False
Let b = 52 + -49. Suppose -6*s + b*s = -3*n + 288, 0 = -n - 3*s + 76. Is n a composite number?
True
Let w be (-10 + -4)/((-2)/(-3)). Let t(d) = -d**3 - 14*d**2 - 17*d - 13. Is t(w) a composite number?
True
Let o(n) = -17*n**3 - 13*n**2 - 14*n + 9. Is o(-8) composite?
False
Let n(k) = -2*k - 8. Let g be n(4). Let f = 22 + g. Suppose l + a - f*a = 118, 5*a + 384 = 3*l. Is l composite?
True
Suppose -4*w - 69 - 23 = 0. Is -1*(-3 - -14)*w a composite number?
True
Let d be -6*(-9)/13 - 4/26. Suppose -7*w + d*w = -7797. Is w a prime number?
False
Suppose 3*n - 2*n - 2 = 0. Suppose n*l - 2984 = -3*r + 795, -4*r - 2*l = -5038. Is r a prime number?
True
Let p(l) = -l**3 - 4*l - 1. Let s be p(-2). Let i(o) = o**2 - 14*o - 18. Let v be i(s). Is (-4919)/v + 6/(-9) composite?
True
Suppose -44*s = -42*s. Suppose 5*v + q + 2*q - 65 = s, 0 = 4*v + 5*q - 65. Is v prime?
False
Suppose 3*i - 1948 = -5*j, -4*i - j - 3*j = -2608. Is -6 + i + (2 - 5/1) a prime number?
True
Let r = -14 - -14. Suppose 5*t + 15 = -4*n, r*n + 15 = -n - 5*t. Suppose n = -o - 66 + 325. Is o a composite number?
True
Suppose 4*f + 2 - 22 = 0. Suppose 3*s - 41009 = -5*r, r - 517 = f*s + 7696. Is r a composite number?
True
Suppose 26 = -4*b + 7*b - 2*v, 7 = b + v. Suppose 4*i - b*i = -1484. Is i composite?
True
Let a be (39/12 + -2)*8. Suppose a*o = 13*o - 1113. Is o composite?
True
Suppose -3*m + 169 + 20 = 0. Let y be (54 + -10)*1*2/(-4). Let o = m - y. Is o composite?
True
Let i(n) = n**2 - 13*n + 14. Let g be i(12). Let y be (4/12)/(g/(-6)). Let j(d) = -14*d**3 + 3*d**2 + 3*d + 1. Is j(y) prime?
False
Suppose 2*z = 10 + 828. Is z prime?
True
Suppose 0 = 3*h + z - 5*z - 5, 3*z = -2*h + 9. Suppose -h*f + 864 = -108. Suppose -4*w + f + 120 = 0. Is w composite?
True
Let y(m) = m**3 + m**2 + 2*m + 8. Let p be y(0). Let g = 8 - p. Suppose -3*z + 1369 - 238 = g. Is z a prime number?
False
Let b = 22 + -12. Suppose 3*j - b = -2*j. Suppose 32 = j*t - 30. Is t a composite number?
False
Let z(f) = f**2 + f - 1. Let a(s) = -1022*s**2 - 12*s + 11. Let r(l) = -a(l) - 4*z(l). Is r(1) composite?
False
Suppose 0 = -3*g + 16*u - 15*u + 6454, -2*g + 4321 = 3*u. Is g composite?
False
Let i(a) = -30 + 60 - 4*a + 583*a**2 - 37. Is i(-2) prime?
True
Let v = 89 - 87. Suppose -m + 3*m + 2*w - 1506 = 0, 3*m - 2279 = v*w. Is m prime?
True
Let z be (-4)/14 - (-43600)/14. Let o = 1947 - z. Let y = o - -1766. Is y prime?
True
Is ((-13251)/9 + -3)*(-693)/66 a composite number?
True
Let b(u) = -451*u + 5. Is b(-2) a composite number?
False
Suppose -4*p - r + 13046 = -2*p, 3*p = -r + 19567. Is p a composite number?
False
Let h = 31 - 27. Suppose -399 = -p + h*s + 396, -20 = -4*s. Let n = -498 + p. Is n a composite number?
False
Let z = -48 + 51. Is -194*z*(-17)/6 composite?
True
Suppose -5*d - 174 = w - 56, 2*d + 42 = -3*w. Suppose 8*h - 3*h - 2*v = 1303, 2*v = -h + 251. Is h/4 - 6/d a prime number?
False
Let y(v) = 2*v**2 + 4*v + 8. Let j(q) = -2*q**2 + 1. Let i be j(2). Let p be y(i). Let n = p - 39. Is n prime?
False
Suppose 46*a - 223835 = 461703. Is a a prime number?
False
Let m be (-9)/(-2) + 6/(-12) - 0. Suppose m*x - 434 = 3*z + 333, 0 = -4*x + 4*z + 764. Is x a composite number?
True
Let x(l) = l**2 - 4*l. Let s be x(4). Suppose 4*w + 4*v + s = -12, 3*v + 10 = -4*w. Is 3 - (-73 - (w + 4)) a prime number?
True
Let l = 797 - 1923. Let q = 1739 + l. Is q a composite number?
False
Let p(l) = 3557*l**2 - 2*l + 1. Is p(-2) composite?
True
Suppose -3*w = -14 - 1. Let a(m) = 174*m - 10. Let z be a(w). Suppose -z = -5*q + 155. Is q a prime number?
False
Suppose -d + 2 = 4*o, 0 = -8*d + 3*d - o + 10. Suppose d*s = -2*y - 0*y + 2956, 0 = y + 3. Is s a composite number?
False
Let m(w) = -w**3 + w**2 - 5*w + 20993. Is m(0) a prime number?
False
Suppose -3*m + 18 = 6*m. Suppose 4*w - 6*w = 2*i - 1584, -4*i = 5*w - 3168. Suppose 3*b = -4*c - m*b + i, -215 = -c + 3*b. Is c a prime number?
False
Suppose -2*f = -1599 - 823. Is f a composite number?
True
Let l = 1 - -71. Let i = 223 + l. Is i prime?
False
Let d = 0 - -1. Let t = 54 + -108. Let g = d - t. Is g a prime number?
False
Let h(i) = -16970*i - 301. Is h(-10) a composite number?
False
Suppose -x - 31 = -226. Let y = -97 + x. Let g = y + -61. Is g a composite number?
False
Suppose 4*l + 3*m = m - 388, -l - 90 = 4*m. Let h be (l/(-8))/7*4. Suppose -h*y + y + 414 = 0. Is y a composite number?
True
Let t = -3 + 25. Is 105*(-2 + t) - 1 a prime number?
True
Let p(j) = -4*j**3 + j**2 - 3*j + 2. Let n be p(1). Is (7 + n - 3) + (10159 - 2) composite?
True
Let a = -46 - -14. Is (-37960)/a - (-3)/4 a composite number?
False
Let a(t) = 4*t**2 + 7*t - 20. Suppose 0 = 5*m + 2*h + 45, -2*m + 0*m - 2*h = 24. Is a(m) a prime number?
True
Suppos