 = f - g. Is h prime?
True
Let q(v) = -v**3 - 19*v**2 - 55*v + 17. Let g be q(-16). Let m be 2/(2/(-2) - -2). Suppose -i - g = -t, -t - m*t + i + 397 = 0. Is t a composite number?
True
Let v be (-1)/2 + 3/10*5. Suppose 0 = 2*w - v - 5. Is w*1/(-2) - 8805/(-10) a composite number?
True
Suppose -5*x - 4796 = -22951. Is x prime?
True
Suppose 0*r + 11*r = 9372. Suppose 3244 + r = 4*t. Let x = t - 537. Is x a prime number?
True
Suppose 2*o = 2*i + 30846, 0 = 2*o - 0*o - 8. Let u = -2785 + i. Let n = u - -26105. Is n a composite number?
False
Suppose -5*p - 243 = -218. Is ((-216)/(-16) + p)*174/3 a composite number?
True
Let f(i) = i + 1. Let o be f(4). Suppose 5*u + o*d - 43595 = 0, u - 6197 = 4*d + 2522. Is u a prime number?
True
Let l = 182663 - 84522. Suppose -14*x + l = 9*x. Is x prime?
False
Is (-123)/(-451) - 7217470/(-55) a prime number?
False
Is ((-6)/14)/((66/5191879)/(-6)) prime?
False
Let i be -204*31*6/(-8). Let g = 8970 - i. Is g composite?
True
Let s(n) = 12*n**2 - 209*n - 4477. Is s(84) a composite number?
False
Suppose 3*g - 4*h - 23 = 0, g - 3*g + 22 = -4*h. Suppose -4*f = u - 16, 7 = 5*u + 2*f - g. Is (u - -1)/(0 - (-3)/357) prime?
False
Suppose -74*y = -952241 + 173983. Is y prime?
False
Suppose 104501 = 2*n + t - 146832, -2*t - 251348 = -2*n. Is n a composite number?
False
Suppose 13*s - 12*s = 2. Suppose -s*p + 6756 = 878. Suppose -2*b + p = 5*o, 3*o = -2*b + 5*b + 1755. Is o a composite number?
False
Let r = 233 + -197. Let n(i) = -i**2 + 12*i + 7. Let h be n(12). Let p = h + r. Is p composite?
False
Let a(g) = -90*g + 213. Let o = -29 - 14. Is a(o) composite?
True
Is (21 + 294615/9)*(-2)/(-8) composite?
True
Is (937385 - 4/(((-24)/15)/2))/2 composite?
True
Let h be 3 + (1 + (-10)/2 - -1). Suppose -2*p + 6*p - 3312 = h. Suppose -3*x - 4*b = -p - 2157, 0 = 2*x + 5*b - 1997. Is x a composite number?
False
Let c = -144 - -441. Let u = -173 + c. Let s = 1077 - u. Is s prime?
True
Let x = 1432687 + -761882. Is x a prime number?
False
Suppose -138*a + 44990049 = -12*a - 39*a. Is a a composite number?
True
Let d = -138 + 142. Suppose 2*l = -2*l + 4, -l = d*o - 17. Suppose o*u = 4*q + 16784, -5*u + 6*u = -q + 4206. Is u a prime number?
True
Suppose 2*r + 55 = 5*s, -2*s = -8 - 2. Let w = -13 - r. Suppose -w*x = 27 - 217. Is x composite?
True
Suppose 3*r = 2772 + 3711. Is r prime?
True
Suppose 3*o - 5*m - 63 = o, -2*o - 3*m + 39 = 0. Suppose -27*q + o*q + 15531 = 0. Is q prime?
False
Let p = 10586 - 4183. Suppose s + 5*v + 2150 + 1899 = 0, 4043 = -s + v. Let a = p + s. Is a a composite number?
True
Let z = 44 + -44. Suppose 2*a + 2*j = -2 - z, -a - 4*j - 4 = 0. Suppose 3*i = -3*h - i + 6997, -4*h + 2*i + 9300 = a. Is h prime?
False
Suppose 187624 = 110*j - 2715166. Is j composite?
True
Let q(d) = -d**3 - 26*d**2 - 25*d + 12. Let j be (-28900)/1105 - ((-22)/(-26) - 1). Is q(j) prime?
False
Suppose -u - r - 9 = 0, -5*u - 26 = 3*r + 9. Let p(d) = 760*d**2 - 7*d + 9. Is p(u) a prime number?
True
Let y(k) = k**2 - 4*k. Let w = 24 - 19. Let s be y(w). Is (-1 + s + -3)*889 composite?
True
Let m(x) = 3239*x + 352. Let s(d) = -3238*d - 351. Let c(i) = -4*m(i) - 5*s(i). Is c(21) prime?
True
Let g(h) = 13*h - 144. Let f be g(10). Is -4 + (-971092)/(-52) + f/(-91) composite?
False
Suppose 2*t - 32819 + 891864 = 3*g, -g + 2*t + 286355 = 0. Is g prime?
False
Suppose 4*r + 1703 = 12935. Suppose f = -5, 3*f + r + 3216 = t. Is t composite?
True
Let z(o) = 2*o**3. Let w be z(1). Let k be 27/9 + 116/(-29). Is (w + k - 66/(-8))*20 a composite number?
True
Suppose -2*b - 8483 = -s - 24471, b - 5*s = 7967. Is b prime?
False
Is (-57956)/((-9898)/518 + 19) composite?
True
Suppose 0 = l + 5, -l + 656 = 3*r - 920. Suppose 4*b - 5943 = x + r, 0 = -2*b - 2*x + 3240. Is b a composite number?
True
Let z(l) = 51*l**2 + 78 - 11 + l + 9*l. Is z(-30) prime?
True
Suppose 5*n = -k + 244, n - 4*n - 1276 = -5*k. Is 22*(k/4 + -7) a prime number?
False
Suppose -7 - 11 = -3*k - 3*y, 5*k - 31 = -4*y. Suppose k*o = 70 - 56. Suppose -b - 509 = -o*i, -5*i + 1250 = -3*b + 8*b. Is i composite?
True
Let j = -59 - -69. Let m be 12636/(-84) - (1 + j/(-7)). Let b = m - -337. Is b a prime number?
False
Let l = -10740 + 15181. Is l prime?
True
Suppose 2*k = 4*i + 95818, k - 79*i = -83*i + 47909. Is k prime?
False
Let j(i) = -i**2 + 4*i + 1. Let b be j(3). Let w(l) be the third derivative of 3*l**4/8 - 17*l**3/6 + 213*l**2. Is w(b) a prime number?
True
Is (-11044593)/(-731) - (-6)/51 composite?
True
Suppose -40 = -8*s - 32. Suppose o = -3*m + 2948, -16 = -5*m - s. Is o a prime number?
True
Suppose -10*h + 135 = 5*h. Suppose 2*s = -0*s + 3*q - 5, -3*s - q = -h. Suppose -w + 3806 = s*n - 5*w, -2*n + 3*w = -3808. Is n a composite number?
False
Let l be (4328/28)/2 - (-4)/(-14). Suppose -83*d = -l*d - 13686. Is d a composite number?
False
Suppose -m + 1 = -0, 0 = j + 2*m - 5620. Let p = j - 1837. Is p a prime number?
False
Let v be ((-12)/10)/(112/1035160). Let t = v + 25760. Is t prime?
True
Let a(f) = -1896*f**3 + 5*f**2 - 67*f - 287. Is a(-4) a composite number?
True
Let s = -306341 + 532108. Is s a prime number?
True
Is (12 + 556452/(-90))*(-15)/2 composite?
True
Suppose -5*s + 159 = 4*r, -2*s + 39 = 4*r - 123. Let j(o) = -19 + 80*o**2 + r*o**2 + 25*o**2. Is j(-4) a prime number?
False
Suppose -4*a - 5*x = -1657166, 35*a - 39*a = -x - 1657202. Is a a composite number?
True
Suppose -2*c = 3*c - 3*x - 86541, 5*c + x = 86553. Let o = c - 9308. Is o a composite number?
True
Let h(m) = -m**3 + 28*m**2 + 52. Let d be h(28). Suppose -d*t + 57*t = 9715. Is t a prime number?
False
Let d(o) = -6*o + 11. Let q be d(-4). Let a = q + -39. Is (82548/(-54))/(a/6) - 2 composite?
True
Suppose -7*i = -2*i + 4*d - 22, 32 = 5*i - d. Suppose -i*a + 7958 = -5944. Is a a composite number?
True
Let k(c) = -2*c**3 - 25*c**2 - 17*c + 29. Suppose -4*m + 4 = 0, -3*o - 68 = -2*m - 3*m. Is k(o) a composite number?
False
Let i = 104475 + -70246. Is i a composite number?
True
Suppose -3*r + 5*o - 8*o = 0, 0 = 4*r + 5*o + 2. Is ((-6)/6*1)/(r/(-5158)) composite?
False
Let v(j) = 26*j**2 - j. Let y be v(-2). Suppose 8*s - 4*s + a = 1539, 0 = -s + 4*a + 389. Let p = y + s. Is p a prime number?
True
Let d = 1351 - 315. Let y = 7291 + d. Is y composite?
True
Let l = 13471 + 12181. Suppose 6*w - l = -890. Is w a prime number?
True
Suppose 2*h + 226509 = m, -8*m - 3*h - 226502 = -9*m. Is m a composite number?
True
Suppose p - 30*p = -780245. Suppose 18*t - 13*t - p = 0. Is t composite?
False
Is (6975768/(-18))/((-24)/18) a composite number?
False
Let p(v) = 3236*v**3 + 2*v**2 + 412*v - 2599. Is p(6) a prime number?
False
Suppose 21*w = 25*w + 252. Let a = 346 - w. Is a a prime number?
True
Let x(o) be the first derivative of -29*o**3/3 + 7*o - 19. Let n be x(-3). Is n/(0 - (-4)/(-2)) a composite number?
False
Let v(o) = 3652*o**3 - 13*o**2 + 33*o + 7. Is v(3) a composite number?
True
Let q(v) = -332*v + 342. Let b be q(28). Let j = -4251 - b. Is j composite?
False
Let u = 87 - 65. Suppose 18*d - u*d + 4196 = 0. Is d a composite number?
False
Let m be (-15)/18 + (-43069)/6. Let s = 10928 + m. Is s a composite number?
True
Suppose 0 = -4*q - 134 - 10. Is (-2)/(-9) + 49874*(-2)/q prime?
False
Let j(p) = -p**2 - 1 + 2 + 49*p**3 - 50*p**3. Let v be j(-2). Suppose 0 = -v*l - s + 2110 - 653, -s = 2*l - 584. Is l a composite number?
True
Suppose 28720 + 10320 = -101*a - 27*a. Let s(n) = -2*n**3 - n**2 + 4*n - 4. Let w be s(-6). Let q = w - a. Is q a composite number?
False
Let s be (-1338)/(-15) - -1*4/5. Let v be 40/s - (-23)/9. Is 1532/16*(7 - v) a prime number?
True
Suppose 3*v - 2*s = -2573, -3*v - 2974 = -4*s - 399. Let l = -336 - v. Is l prime?
True
Let t = 3109 + -275. Let y = -543 + t. Is y a composite number?
True
Suppose -370 = 100*r - 110*r. Suppose -r*p + 41*p = 66824. Is p prime?
False
Let i be 9/(-3) - -15 - -4. Let j(u) = -26 - 8*u + i*u**2 + u**3 + 4 - 9. Is j(-16) prime?
True
Suppose -258 = -m - m. Let x = -126 + m. Suppose -5*t + 482 = 5*d - 5543, x*d = -5*t + 6017. Is t a prime number?
True
Let o be -4*(0 + (-3)/6). Let t be (6/o - 4)*5043. Let b = -3508 - t. Is b a prime number?
False
Let j be -3*(-9)/(9/706). Let x = 5533 + j. Is x a composite number?
True
Suppose -5*f - i + 26638 + 4205 = 0, -4*f - 5*i = -2466