h = 11 + -20. Let r = h + 26. Suppose 0 = 18*o - r*o - 7. Is o prime?
True
Is ((-21)/6 + 5)*6412/6 prime?
False
Let j be (836/(-5))/((-10)/75). Let u = 2336 - j. Is u a prime number?
False
Let p = -781 + 4422. Is p a composite number?
True
Let w = -291 - -183. Is (-24)/w - 8215/(-9) composite?
True
Suppose 4*o = -0*z - z + 1060, -3*z + 5*o = -3112. Suppose 8*l - 4396 = -z. Is l a composite number?
False
Let g = -3 + 6. Suppose -4*p + 4 = 0, -5*p + 1 = 5*i - 4. Suppose 3*z + 7 - 16 = i, g*f - 150 = z. Is f a composite number?
True
Suppose 2*a - 69028 = -4*i, 2*a + 34514 = 32*i - 30*i. Is i a prime number?
True
Let h(v) = -43*v**2 - v - 1. Let a be h(-1). Let d = 213 + -47. Let x = a + d. Is x a composite number?
True
Let g(l) = 27*l**2 + 2*l - 2. Is g(-6) prime?
False
Let h be ((-3)/(-2))/(27/36). Suppose 3*n + h*q - q - 4067 = 0, -6785 = -5*n - 3*q. Suppose 5*r - l - 3396 = 0, -2*r + 0*l - 4*l = -n. Is r a composite number?
True
Let p(x) = x**2 - 3*x + 2. Let t be p(2). Suppose -3*v + 597 = -3*k, -3*v + 2*k + 599 = -t*k. Is v a prime number?
False
Suppose -2*i + 2*d + 38314 = 0, 3*i - 57447 = 85*d - 88*d. Is i a composite number?
True
Let q(m) = 2993*m**3 + 3*m**2 + 4*m - 7. Is q(2) a prime number?
True
Suppose 18 = p + 4*l, 2*l = 2*p - 2*l. Is (4 + -6)*(-2757)/p a prime number?
True
Let l(a) = a - 13. Let d be l(6). Let p = d - -15. Suppose -3*s = -p*s + 325. Is s composite?
True
Is 18345/60 - ((-20)/(-16))/(-1) composite?
False
Let h be (1880/(-15))/((-1)/3). Suppose -2*i = -6*i + h. Is i prime?
False
Suppose -5*m = 23 - 8, 7161 = 5*x - 2*m. Let l = -880 + x. Is l a prime number?
False
Let h(k) = 985*k**2 + k - 1. Let x(c) = -8*c**2 - c + 2. Let g be x(1). Let y be -1 - 2 - (g - -3). Is h(y) prime?
False
Let y(a) = -366*a - 5. Let s be y(3). Let q = s + 2106. Is q a prime number?
False
Suppose 5*y - 5*j + 3*j = 10745, 5*j - 4298 = -2*y. Is y prime?
False
Suppose -3*w = 78 - 60. Is 469/8 + w/(-16) prime?
True
Let z(u) = 85*u**2 - 3*u - 2. Suppose -21*j - 4 = -20*j. Let n be z(j). Is 12/(-15)*n/(-4) a composite number?
True
Let t(c) = c**3 - 8*c**2 - 9*c + 17. Let g be t(11). Let m = 2100 - g. Is m composite?
True
Suppose 2978 = -0*t + t. Let k(h) = 1597*h**3 - h**2 + 1. Let f be k(-1). Let q = f + t. Is q a prime number?
True
Let d be ((-78)/(-10))/((-5)/(-25)). Let n = 54 - d. Is n prime?
False
Let o(d) = -d - 3 + 0 + 34*d**2 + 1 + 4. Let k be o(-2). Let r = 399 - k. Is r a composite number?
True
Let y = 101 + 26. Suppose t - y = 106. Is t a composite number?
False
Let i = -8 + 11. Suppose i*u - 2*d = -56, 71 = -3*u - u - d. Is (-5 - u) + 1*-3 a composite number?
True
Suppose 18*u = 28*u - 607970. Is u a prime number?
False
Is (103564/8)/(-2*8/(-32)) a composite number?
True
Suppose 2*z + 4 = z. Let d be (z + 16)*2/8. Suppose 5*b = h + 590, -149 - 183 = -d*b + 5*h. Is b a prime number?
False
Let s be (-37)/(-3) + (-36)/27. Is (178/(-1))/(s - 13) a composite number?
False
Let l be (78/(-4))/(-3)*26. Let w be l/2*(-15 - -9). Is 2/(-4) - w/2 a prime number?
False
Is (2/(-12)*-2)/(224/9839424) a prime number?
False
Suppose 7*w + 3*t = 2*w + 111142, 0 = -w + 2*t + 22231. Is w a composite number?
False
Let w(j) = 7*j - 49. Let h be w(7). Suppose h*u + 3*u + 2*k = 623, 5*k - 819 = -4*u. Is u a prime number?
True
Suppose 22*s = 76*s - 293274. Is s a prime number?
True
Suppose -b + 31 = 5*y - 4*b, -3*y = -4*b - 23. Suppose 134 + 51 = -y*n. Let z = n - -164. Is z prime?
True
Suppose 5*s = 5*r - 104575, -2*r + 29330 = 5*s - 12472. Is r a prime number?
False
Suppose -h = h + 4. Let a be 31/11 + h/(-11). Suppose -88 = -a*m + 71. Is m a prime number?
True
Let h(v) = -v - 4. Let a be h(-4). Suppose 4*n - 21 = 4*z + 19, -2*n - 2*z = -28. Suppose n*c - 7*c - 1895 = a. Is c a prime number?
True
Suppose 13901 = -3*o - 16204. Is (3/9)/((-5)/o) a composite number?
True
Is (1642315/46)/((-25)/(-10)) composite?
False
Let p(g) = 35*g**2 + 31*g + 33. Is p(-10) a composite number?
True
Let q(m) = -51*m**3 + 3*m**2 - 9*m - 7. Is q(-8) a composite number?
True
Suppose 0*w + 21 = 3*w. Is 141 + 7/(w/4) prime?
False
Suppose -3*y = -2*k - 2*k + 3263, -k = -2*y - 812. Is k composite?
True
Suppose 0 = -4*g - 2*d + 1310, -2*g + 4*d + 1292 = 2*g. Is g a prime number?
False
Let g(c) = -c + 8. Let s be g(8). Suppose s = 3*j - 346 - 476. Suppose -u - 332 = -4*p - 66, 3*u = -4*p + j. Is p prime?
True
Suppose 2*d - 3 = 23. Let g be 47/(((-65)/(-60))/d). Let v = g - 385. Is v prime?
True
Let g be (-2 - -3)/((-3)/(-3)). Suppose 4*u - 4*j = 484, -g = u + 3*j - 126. Suppose 2*s + u = 4*f, 3*f - s = -2*s + 94. Is f composite?
False
Suppose 0*q - 24290 = -10*q. Suppose 0*h = -5*b - 2*h + q, 2*b - 964 = 3*h. Is b a composite number?
True
Suppose -4*r + 60 = -2*w, 0 = -4*w + 5*w + r + 33. Let q be (-6)/(-4)*w/(-12). Suppose 942 = 4*n + 3*u - u, -u = q*n - 941. Is n composite?
True
Let g be ((-10)/8)/(5/7080*3). Let n = -143 - g. Is n a prime number?
False
Suppose 5*s - 800 = j, -3*s - 795 = -8*s + 2*j. Is s prime?
False
Let r(n) = 5*n - 10. Let m be r(-9). Let q = 161 + m. Suppose 0 = -k - 0*k + q. Is k composite?
True
Let h be (3/(-6))/((-2)/728). Suppose -775 = -5*v + 2*t, 3*t = -v - 2*t + h. Is v prime?
True
Let b = -7 - -10. Suppose w = 2*z - 5, -4*w = b*z + z + 8. Is ((-254)/(-7))/(w/(-21)) composite?
True
Suppose -570 = 2*p - 3092. Is p a prime number?
False
Let f be (-53 + -2)*(-232)/10. Suppose -4*i = -f - 2096. Is i composite?
True
Suppose -3*q + 16 = -2*s - 11, 0 = -4*s - 2*q - 14. Let v(m) = 5 + 28*m**2 - 5*m - 5*m + 5*m. Is v(s) composite?
True
Suppose 4 + 2 = w + 2*o, 0 = o - 2. Suppose 0 = w*j - 6*j - 1064. Let k = j + 619. Is k prime?
True
Suppose 5*c - 11040 = -f - 1921, -5*f - 7272 = -4*c. Is c a prime number?
True
Let n be -1 - -4 - (-6132)/7. Suppose -n = -13*z + 10*z. Is z prime?
True
Let p be 84/22 + -2 - 14/(-77). Suppose 2*x - 4733 = -i - p*i, -3*i - 2344 = -x. Is x a prime number?
False
Suppose 6 = -3*s + 27. Suppose -809 = 6*m - s*m. Is m composite?
False
Suppose b = c, 4*c - 11 - 17 = -3*b. Suppose 0 = 5*h + 4*t - 15, -2*h - 3 = b*t + 3. Suppose h*z - 1115 = 1202. Is z a prime number?
True
Suppose 5 = 7*b - 2*b. Let d(j) = -6 + 2 + 34*j - 6 - b. Is d(9) a composite number?
True
Suppose -5*h + 9*h + j = 20671, -4*j = -12. Is h a prime number?
True
Suppose 2*j = -5*n - 2, -2*n + 0*n = -j - 1. Let y be (-8)/(j + 10/6). Is 753/6 + y/(-8) prime?
True
Let u = 49424 - 22885. Is u a composite number?
False
Let b = 2098 + 2073. Is b composite?
True
Suppose 3*z = -8*g + 3*g + 80, 5*g + 95 = 4*z. Let c = -25 + z. Suppose -4*t + t + 633 = c. Is t prime?
True
Suppose 2*q = q - 6. Let v be (q/4)/((-1)/1846). Suppose y + r = 557, 0 = 8*y - 3*y + r - v. Is y a composite number?
True
Suppose -4*g = 43 - 271. Suppose g*c - 1101 = 56*c. Is c a prime number?
False
Suppose -2*z - z - 4*u + 13 = 0, -3*u + 15 = 3*z. Suppose z*k + 363 = 2302. Is k composite?
False
Suppose 1784 - 4988 = 12*r. Let t = -8 - r. Is t a composite number?
True
Let d(y) = -8*y + 11*y**2 - 2 - 3*y + y**3 + 0. Let m(k) = -11*k**2. Let x be m(-1). Is d(x) composite?
True
Let m = 15338 - 5281. Is m a composite number?
True
Let q(g) = g**3 - 16*g**2 + 4. Let t be q(16). Suppose h - 896 = 3*u, h - 774 - 117 = t*u. Is h a composite number?
False
Let s(r) = -r - 14 + 0*r + 7. Let p be s(-10). Suppose -4*w = 20, -5*l + 8*w = p*w - 1800. Is l composite?
True
Let z(t) = -t**3 + 27*t**2 + 33*t + 4. Is z(17) prime?
False
Suppose -4*r + 26 = 5*f + 5, 0 = -2*r + 8. Suppose 4*w = -f + 17. Is (-342)/(-8) - (-1)/w composite?
False
Let i(s) = -377*s**3 + s + 1. Let g be i(-1). Let d = 42 + g. Is d a composite number?
False
Let k be (0/2)/(0 + -2). Suppose 2*m - 179 = -3*r, k = -2*r + 5*m + 11 + 102. Is r composite?
False
Let m(p) = -3*p**3 + 2*p**2 + 4*p - 3. Let z(h) = h**2 - h. Let n(r) = m(r) - 3*z(r). Is n(-10) a prime number?
False
Let h(u) be the third derivative of 41*u**5/60 + u**4/3 + u**3/6 - 19*u**2. Is h(4) prime?
False
Let o = -322 + 1119. Is o a prime number?
True
Let i = 6481 - 4429. Let u = i + -419. Is u a composite number?
True
Let s(g) = 313*g**2 - 5*g - 7. Is s(4) a composite number?
True
Suppose 3*i + 0*i = 0. Let m be ((-2)/4*i)/(-2). Suppose 5*s + m*t = 2*t + 267, 5*s = -5*t + 295. Is s prime?
False
Let