Is h a composite number?
False
Suppose d - 168 = -5*d. Let o = d + 258. Suppose -4*x + o - 74 = 0. Is x composite?
False
Suppose 6*c = 19 - 1. Suppose -2*u - 5*y + 30 = 0, -2*u + 2*y + 46 = c*y. Is u composite?
True
Suppose -g = 3*h - 22307, 7*h = 12*h - 15. Is g a prime number?
False
Suppose 28*n = 16*n + 23316. Is n a composite number?
True
Is -3770*4/(-8) + -3 prime?
False
Let q = -15 + 40. Is (1 + -5 + q)/1 composite?
True
Suppose -6851 = -2*k + 32211. Is k a prime number?
True
Is (17 - 22) + 13*67 a prime number?
False
Let f(z) = -z**2 + 18*z + 4. Let a be f(18). Suppose 0 = a*t - 2*t - 298. Is t a composite number?
False
Suppose 3*a - 9 - 3 = 0. Suppose 0 = -2*c + a*k + 387 + 35, 2*c - 387 = -3*k. Is c a composite number?
True
Let a = 10847 - 7134. Is a a composite number?
True
Let b = -3028 + -6778. Is 26/104 - b/(-16)*-2 a composite number?
True
Suppose 5*b - 17 = 2*o, 0 = 2*b + 3*o - 2 - 1. Is b - (-8214)/13 - 6/(-39) a prime number?
False
Suppose 0*b - 2*m = -2*b + 26, b - 3*m - 19 = 0. Let q = 8 - b. Let d(t) = 67*t**2 + 4*t + 3. Is d(q) composite?
False
Let b be 260 - 1 - (4 - 4)/(-5). Let q(k) = k**3 + k**2 - k + 298. Let i be q(0). Suppose -p + b = -i. Is p prime?
True
Suppose 5*z - 8 = -a + 15, 2*z + 48 = 4*a. Suppose -2933 = -5*i + s, 0 = 4*i - 11*s + a*s - 2352. Is i a composite number?
False
Let u(p) = 561*p**2 + 6*p - 10. Let f be u(2). Suppose 8*x - 6*x - f = 0. Is x a composite number?
False
Let r(y) = -6 + 8 + 461*y - 5 - 9. Is r(3) a prime number?
False
Let k(y) = 5*y**2 - 7*y - 41. Let a be k(-7). Suppose 463 = 4*u + 115. Let b = a - u. Is b composite?
True
Suppose -3*n + 6*m + 24 = m, -n + 15 = -4*m. Suppose 5*u - 25 = 25. Suppose 0 = -n*q + 2 + u, 5*o - 647 = -3*q. Is o prime?
True
Let u be 10/(-45) + 245/9. Suppose 29*a = u*a + 622. Is a a prime number?
True
Suppose 2*k + 14 = -4*w, 5*k + w - 35 = 5*w. Suppose -q + 3*y - 3 = 0, 4*y - 4 = -k*q - 0. Is q/(2 + 2) - -373 a prime number?
True
Let z be (-22)/4 + 5/(-10). Is 810 + -2 - (z - -5) a prime number?
True
Suppose 0 = 5*h - u - 1 - 8, 4*u + 6 = 5*h. Suppose h*p = -36 + 314. Suppose 0 = 4*c - z + 3*z - 516, -3*z + p = c. Is c composite?
False
Let i be (2061/2 - 1)/(1/2). Let v = i + -560. Is v composite?
False
Suppose 2*p - 561 = -3*h + 630, h + 3*p = 397. Let c = h - 186. Is c a composite number?
False
Let d(i) = -416*i**3 + i**2 - 1. Let c be d(-1). Let h(f) = 255*f**2 - f + 1. Let t be h(2). Suppose -5*p + c = -t. Is p prime?
False
Suppose -2*l = l + 12, 4*l = 5*k - 941. Let n = 132 + k. Is n composite?
False
Suppose -2*v + 4*c = 2*v - 40, 4*c = -4*v. Suppose -2438 = -v*f + 3147. Suppose 6*u - 653 = f. Is u a composite number?
True
Let m be 142/12 - (-3)/18. Let h be (2 - 2)/(m/6). Is (2 + h)*(-3609)/(-18) a prime number?
True
Let t = 81 + 24. Is ((-2961)/t)/((-2)/10) a prime number?
False
Suppose -4*u = 2*l + 746, -2*u - 3*l - 365 - 10 = 0. Let q = -47 - -29. Is (-2)/6 + u/q a composite number?
True
Let f = 92 + -76. Let r(x) = 8*x**2 + 18*x + 38. Is r(f) prime?
False
Let q(t) = -1 + 15*t**3 - 6*t**3 - t + 5*t**2 - 8*t**3. Let h be q(-5). Suppose -o = -h*y + 564, -118 - 23 = -y - 3*o. Is y a prime number?
False
Suppose 360 = -9*q + 4*q. Let c = q - -406. Is c prime?
False
Suppose -12732 - 6676 = -8*l. Suppose -l = 5*q - 7*q + 2*h, 2*h - 8 = 0. Is q a composite number?
False
Suppose -14*v + 11*v = -y + 17678, -4*v = 2*y - 35326. Is y a prime number?
True
Let a(l) = l**3 + 6*l**2 + 3*l - 12. Let s be a(9). Let z(u) = -4*u**3 - 2*u**2 + u. Let r be z(5). Let n = s + r. Is n a prime number?
False
Suppose -2*p + 39 = p. Let x = p - 16. Is (246/x*1)/(-1) composite?
True
Let u(l) = 10*l**2 + l - 5. Let t be u(3). Suppose z - t = 834. Is z prime?
False
Let s(q) = -5*q + 4. Let o be s(-6). Let l be (165/10)/(-11)*-2. Suppose -t - l = -o. Is t composite?
False
Let a = -38 + 31. Let r(w) = w**3 + 8*w**2 - 2*w - 4. Let d be r(a). Let y = d + 68. Is y prime?
True
Let i be 1 + (-1)/1 + 1130. Suppose -3*h - 137 = -i. Is h a composite number?
False
Let w = 3687 + 320. Is w composite?
False
Suppose x = 5, -5*a - 5*x + 494 + 401 = 0. Suppose -2*q + a - 8 = 0. Is q composite?
False
Let l(n) = n**3 + 14*n**2 + 22*n - 16. Let p be l(-12). Suppose -p*u = -59 - 989. Is u composite?
False
Is (-5 - 15528/20)/(1/(-5)) a prime number?
True
Let y(o) = -o**2 + 2*o + 15. Let r be y(-3). Suppose r*m + 2*m = 1262. Is m a composite number?
False
Let v(w) be the first derivative of 0*w + 77/3*w**3 + 0*w**2 - 2. Is v(1) a composite number?
True
Suppose -3*s - f = -87, 4*s + s = -3*f + 141. Suppose -2*b = -3*y + 17, 4*y = -y + 5*b + s. Suppose -y*j - 21 = -l + 38, 0 = -l - 5*j + 79. Is l composite?
True
Let t be 2/(-1)*(-8019)/18. Let j = 814 + 1044. Let n = j - t. Is n a composite number?
False
Let a(l) be the third derivative of -37*l**4 + l**3/6 + 27*l**2. Is a(-1) prime?
False
Let k = 792 - -8845. Is k composite?
True
Let d = -7 - -12. Suppose 2*o = -3*o + 10. Suppose 0 = 5*n + d*l - 1665, 5*n - 5*l = -o*l + 1649. Is n prime?
True
Let w = -45323 - -92224. Is w a prime number?
True
Let o(s) = -3*s**2 - 5*s + 14. Let y be o(-7). Let m = y - -255. Is m a prime number?
True
Let w(d) = -d + 6. Let i be w(2). Suppose 0*g - 44 = -g + 3*x, -i*g = x - 241. Is g prime?
True
Let c(l) be the first derivative of -37*l**2/2 + 6*l - 16. Is c(-9) composite?
True
Let o be -5*15/25*-1. Suppose 4*z = 4*p + 8272, o*p = 3*z + z - 8267. Is z prime?
True
Let d(x) = -2*x**3 - 8*x**2 + x + 29. Is d(-14) a prime number?
False
Suppose -2*s + 4*s - 4844 = 0. Let j = -1080 + s. Suppose -2*n - 2*d = -j, 2*n - 3*d - 2025 = -n. Is n a prime number?
True
Suppose 0 = -5*h + 2*n + 84543, -5*h + 59446 + 25101 = 2*n. Is h a prime number?
False
Let y = 8885 + -5874. Is y a prime number?
True
Let k = -172 - -176. Is (((-18)/k)/(-9))/(2/3572) prime?
False
Let l(i) = -34*i + 4. Let u be l(-1). Suppose 5*t + 13 = u, 0 = 4*a - 3*t - 989. Is a a composite number?
False
Let r(g) = 222*g**2 + 2*g - 1. Let a be r(1). Is (a - 4) + (4 - 0) composite?
False
Is (1 - 0)*11146 - (5 - 8) composite?
False
Let u(d) = 81*d**2 + 40*d - 332. Is u(21) a composite number?
False
Suppose 0 = -5*v + 17*r - 14*r + 197080, -5*r = 3*v - 118282. Is v a composite number?
False
Let y(u) = 24*u**2 - 3 + 6 - 3 - 3. Is y(4) prime?
False
Let w = 32561 + -16260. Is w a prime number?
True
Let f(z) = -2*z**3 + 2*z**2 - 4*z + 15. Let i be f(-9). Is 1/(-4 + 6687/i) a composite number?
False
Suppose 5*k - 98 = -2*x, 0 = -3*x + k + 2*k + 168. Let l(s) = 57*s + 5 + 8*s**2 - x*s + 6*s**2. Is l(-2) prime?
False
Suppose 5*o = -4*m + 33, -2*m - 2*o + 37 = 3*m. Suppose -5*v + m*v = 218. Is v prime?
True
Let b = -4424 + 8917. Is b prime?
True
Suppose -13*l = -9*l - 36. Suppose -l*o + 5*o + 1228 = 0. Is o prime?
True
Is (-1)/4 + 3915540/144 prime?
True
Let a(t) = 948*t**2 - 13*t + 93. Is a(4) a prime number?
False
Let a be (-185)/(-20) - 2/8. Suppose -a = 3*q - 0*q. Is 428 - 1/(-3)*q a composite number?
True
Suppose 2*d - 15 = p, 31 = 4*d - 2*p - p. Let u = d + -2. Suppose 2*x - 211 = -u*s, 0 - 1 = -s. Is x prime?
True
Is (5/10*-46)/((-11)/4939) composite?
True
Let r = -8 + 13. Suppose -5*j - 2*b = -3*b - 17, 2*b = -r*j + 11. Is 187 - (2 - 2)/j a prime number?
False
Suppose -2*s + 3*s - 32 = 0. Is s + -3 + (1 - -5) composite?
True
Suppose 0 = 55*s - 52*s. Suppose -3*q - u + 2609 = s, -q - 5*u = -5*q + 3466. Is q a prime number?
False
Let x(n) = 182*n**2 + 5*n - 4. Is x(5) a composite number?
True
Suppose -3*i + 11086 = -17147. Suppose -i = -17*r + 14*r. Is r composite?
False
Is 240/48 - (-7560 + 2)/1 prime?
False
Is -990971*(-7)/147 + (-8)/84 a prime number?
True
Suppose -12056 = -3*x - 3773. Is x a composite number?
True
Is (-2)/(-21) + 986323/273 a prime number?
True
Let f = -28263 + 60177. Is (-1)/(4 - f/7978) prime?
True
Is 6/(-12) + (-4 - (-160822)/4) a composite number?
True
Let z(q) = 19*q**3 + 24*q**2 + 2*q - 16. Is z(7) prime?
True
Suppose 3*f - f - 2 = 0. Suppose s - 5*i + 19 = 0, 2*s - s + 4*i + f = 0. Is (53/2)/(s/(-18)) a composite number?
False
Let w be 529/3 + 8/12. Suppose 0 = -3*t - 7*q + 2*q + w, -4*t = -2*q - 236. Is t a prime number?
True
Let q(u) = 18*u**2 - 2*u - 3. Let o be q(-4). Suppose 2*z - 139 = -r, -z = -0*r + 2*r - o. Is r a prime number?
True
Le