- 386. Let z = -363 - -4037. Let f = z - a. Is f prime?
True
Suppose -22*y - 165 = 143. Is 3614*(y/4)/(-7) a composite number?
True
Let l(g) = -2*g + 19. Let u be l(8). Suppose -5*t - q = -5*q - 11, -u*t - 7 = q. Is t + (3 - 0) - -221 a prime number?
True
Let z = -9 + 11. Suppose 11*h + 25 = 6*h, -2*v = -z*h + 322. Let d = -113 - v. Is d prime?
True
Suppose 0 = 88*q + 63*q - 2293237. Is q a composite number?
False
Suppose -48*v + 10*v = -190. Suppose -2*g + 4*n + 9906 + 17144 = 0, v*n = -5*g + 67610. Is g a composite number?
False
Let a = 7 - 49. Let y be (-31)/(-6) - (-7)/a. Suppose -1768 = -y*w + 2277. Is w a prime number?
True
Let j(i) = 45*i**2 - 7*i + 11. Suppose -62*f + 55 = -73*f. Is j(f) prime?
True
Suppose -81*u - 102*u = -101342134 - 9588989. Is u a composite number?
False
Suppose 2*n = o - 3*n - 25, -o + 3*n = -15. Suppose o*v - 2905 = -7*v. Let m = 294 + v. Is m a prime number?
True
Let w(h) = 2*h**3 - 7*h + 2. Let f be w(2). Suppose -2*r = j - 12311, 0 = -f*r + 5*r + j - 6154. Is r a composite number?
True
Let s = 89353 - -51364. Is s a composite number?
False
Let s(y) = -32*y**3 - 73*y**2 - 21*y - 75. Is s(-10) composite?
True
Is 478/12*10866*(5 + -4) composite?
True
Let v(w) = 355*w**2 - 6*w - 22. Let g be -5 + 0 - (1 - 3 - -1). Let r be v(g). Suppose -r = 6*j - 9*j. Is j composite?
True
Suppose -1353493 = -4*z - 5*n, -z + 1062*n + 338371 = 1064*n. Is z a prime number?
False
Let i(u) = 387*u**2 + 139*u + 573. Is i(63) composite?
True
Let v(f) = 12*f**3 + 25*f**3 + 1 + f + 143*f**3 - f**2 + 0*f. Is v(2) prime?
True
Let x(m) = -1046*m + 15. Let y be x(-5). Suppose 0 = 4*k - y - 5459. Suppose -2*c + k = 2*h, -5*c - 3*h + 4271 + 2429 = 0. Is c prime?
False
Let b = 31 - 49. Let f be 8/6*-1*b/12. Suppose 5*c = -f*r + 4263, -4*c + 7*c - 2561 = 2*r. Is c composite?
False
Suppose -54 + 51 = 3*v. Let t = 454 + -1916. Is v - 0 - -4 - t a composite number?
True
Let x(y) be the first derivative of -5349*y**4/4 - y**3/3 + 3*y**2/2 + 4*y - 147. Is x(-1) composite?
True
Let h(v) be the third derivative of -v**6/120 + 9*v**5/20 + 7*v**4/6 + 49*v**3/6 + 159*v**2. Is h(20) prime?
False
Suppose 629511 + 203314 = 175*l. Is l composite?
False
Let f(j) = 499*j**2 - 6*j + 1. Let i be f(1). Let r = i - -2492. Is r a composite number?
True
Let i = -55 - -53. Is i/12 - 358813/(-42) a composite number?
False
Let x be ((-8)/(-10))/(3/(-75)). Is 4701*(x/3 + 7) prime?
True
Suppose u - 7 = -0. Let i(r) = -5*r + 35. Let q be i(u). Suppose q*w = w - 821. Is w prime?
True
Suppose 96326 = -2*n + 261644 + 198406. Is n prime?
False
Let u = 5557 - 82. Suppose -6426 = -k + u. Is k prime?
False
Let v(s) = s**2 - 8*s - 10. Let r be v(10). Let i(q) = 159*q**2 + 15*q + 17. Let z be i(r). Suppose 3*w + 4*h = 48245, w + 5*h = -0*h + z. Is w composite?
False
Let o(f) = -f**2 + 8*f - 9. Let h be o(6). Suppose -v + h*v - 252 = 0. Is 3/2*7/(v/444) a prime number?
True
Let z = 16241 - 7740. Is z a prime number?
True
Let m(o) = 3*o**3 - 4*o**2 + 25*o - 7. Let s(q) = 7*q**3 - 9*q**2 + 51*q - 15. Let j(v) = 5*m(v) - 2*s(v). Let b be (468/(-14))/13*14/(-4). Is j(b) prime?
True
Suppose -3*p = 4*n + 4210, 13*n - 14*n = -2. Let d = p - -2545. Is d a prime number?
False
Let g(v) = 1735*v**3 - v**2 + 31*v - 119. Is g(4) a composite number?
False
Let c(y) = -77509*y - 351. Is c(-2) composite?
False
Let h = 28 - 28. Suppose d - 5*d - 64 = h. Is 743 + 0 + d/4 composite?
False
Let v(n) = 625*n + 17. Let u be v(2). Suppose 5*a - 1 = 4, -3*q + 5*a + u = 0. Suppose -d + q + 309 = 0. Is d composite?
False
Let s(o) = 273*o**2 - 6*o + 187. Is s(6) a prime number?
False
Suppose 23*q - 62*q = -23403549. Is q a prime number?
True
Suppose 19*w + w - 840 = 0. Suppose w*r = 40*r + 18082. Is r composite?
False
Suppose -176*n + 186*n = 650630. Is n prime?
True
Suppose 999254 - 10767633 = -31*x. Is x composite?
False
Let p = -1333 + 2524. Suppose 2*x = -5*v + v - 8, 0 = -4*v - 8. Suppose x*b - 3*b + p = 0. Is b a prime number?
True
Suppose 997*n - 1009*n + 96 = 0. Suppose -n*p + 56102 = -882. Is p prime?
False
Let g(n) = -14*n + 45*n - 5 + 60*n. Let f be g(5). Let h = -239 + f. Is h composite?
False
Let p be 567 - (-12)/(-4 + 0). Let g = 1023 - p. Suppose s - g = 176. Is s a composite number?
True
Let t = 344771 - 184530. Is t composite?
True
Is 314274/3*(84/42 - (-3)/(-2)) a composite number?
False
Suppose -266020 = -12*j + 414344. Is j composite?
True
Suppose 22*z + 154*z = 50*z + 6439734. Is z a prime number?
True
Let i be (1/(-2))/(16/(-96)). Suppose 0 = i*v + 2*v - 5*a - 50, 4*v - 52 = a. Suppose -v*l = -10*l - 2996. Is l composite?
True
Suppose -378684 = 27*g - 39*g. Suppose 2*y + 4*o - 16395 + 3765 = 0, -5*y - o + g = 0. Is y a prime number?
True
Let k be (-2)/(24/(-16) - -1). Is ((-1)/k)/(7/(-56)) - -2755 prime?
False
Suppose -6330*m + 39281 = -6319*m. Is m prime?
True
Is (-10)/(-245) + (-85766244)/(-588) composite?
False
Suppose -3*a = -p - 23840, 3*p - 15899 = -2*a - 2*p. Suppose a = 3*q + 1821. Is q a prime number?
False
Let j(l) = -l**2 + 3*l + 10. Let c be j(3). Let b(d) be the second derivative of -d**5/20 + d**4 + 5*d**3/3 - 5*d**2/2 - d. Is b(c) composite?
True
Let v = -1 + 7. Suppose -2057 = v*o - 46385. Is (-2)/((-7396)/o - -1) composite?
False
Suppose 125*v + 36844008 = 421*v. Is v a composite number?
True
Suppose -132*c + 129*c = -5*t - 85278, -5*c + 142090 = 5*t. Is c composite?
True
Let a(n) be the first derivative of 200*n**2 - 7*n + 13. Let j be ((-4)/6 - 0) + 33/9. Is a(j) composite?
False
Let m = 133 - 120. Suppose m*s = -6801 + 38482. Is s a prime number?
True
Suppose 0 = l + 336 + 177. Suppose -12*c = -88 - 8. Let x = c - l. Is x prime?
True
Suppose 0 = -16*l + 13*l. Suppose -5*j - 4*n + 3597 = l, 7*n - 12 = 3*n. Is j prime?
False
Let j(m) = m**2 - 2*m + 1. Let b(a) = 262*a**2 - a - 23. Let x(p) = b(p) - 6*j(p). Is x(4) prime?
True
Let g be (6/(-8))/(13/35880). Let p = g - -6643. Is p a composite number?
True
Let g(i) = -i - 25. Let s be g(-9). Let o(c) = 0*c**2 - 1 - 38*c + 0*c**2 - 2*c**2. Is o(s) composite?
True
Let w(p) = 5433*p + 46. Let t(n) = -1358*n - 11. Let h(v) = 9*t(v) + 2*w(v). Is h(-8) composite?
True
Suppose -3*m - 34 + 4 = -3*t, 3*m + 31 = 4*t. Is 2/m + (-466438)/(-18) prime?
True
Let s(u) = -u**2 + 6*u + 83. Let t(x) = 6*x + 83. Let d(i) = -3*s(i) + 2*t(i). Is d(24) a prime number?
False
Suppose -6*n = -22771 - 107. Suppose -2*w + n = -1585. Suppose 0 = 5*j - 4*j - w. Is j prime?
True
Let q(a) = 1867*a**2 + 4*a - 12. Let p be q(2). Let r = p - 4415. Is r a prime number?
True
Let n = -160 + 240. Suppose 0 = 5*a + 4*c - n, -a + 80 = 4*a + 5*c. Suppose -5*d + a*d - 11737 = 0. Is d composite?
True
Suppose l - 5*k - 12 = 0, 0*k = -l - 5*k - 8. Suppose -15*n + l*t = -10*n - 18965, 2*n - 7586 = -3*t. Is n a composite number?
False
Let l be (18/(-12))/((-2)/4). Suppose 0 = l*y + b + 3180, -5*y - 5289 = -0*y - 2*b. Let v = y + 2730. Is v prime?
False
Suppose -5*i + 115325 = 1145. Let m = -5065 + i. Is m prime?
False
Suppose m + 4*y - 44 = 5*m, -5*m + 2*y = 55. Let l(o) = 6*o**2 + o - 24. Is l(m) prime?
True
Is (-6)/((630/1781633)/(-15)) prime?
True
Suppose -x + 135394 = -134*d + 136*d, 2*x = d - 67707. Is d prime?
True
Let o be ((-1365)/(-18))/(-13) + 2/(-12). Let b(n) = -2636*n**2 + n + 1. Let p be b(-1). Is (3 - (-6)/(-4))*p/o composite?
False
Let f(g) = g**3 - 14*g**2 + 14*g - 9. Let s be f(13). Let m(w) = 13*w**2 - 4*w**2 + 1 + 11 + s*w**2. Is m(-5) a prime number?
True
Let c(o) = -450*o - 39. Suppose 187*y = 190*y + 63. Is c(y) a composite number?
True
Is ((-180)/15 - 12857)/(2*(-2)/4) composite?
True
Let b(d) = d**3 + 8*d**2 - 10*d - 15. Suppose 27 = -i - 2*i. Let t be b(i). Is t/(-30) - (2 - 3164/5) composite?
False
Let f = 546 + -632. Is ((-9242)/4)/(43/f) composite?
False
Let u = -191 + 1149. Suppose -2*x + 5*z = 2*z - u, 3*x - 1437 = z. Is x a composite number?
False
Let l(f) = -2413*f + 7832. Is l(-129) composite?
True
Let r = -3467 - -3866. Let q be 2/(-4) + (-90)/(-4). Suppose 19*l - q*l = -r. Is l a prime number?
False
Let c be 300/525 - 1/((-14)/351518). Suppose c = 5*q + 4*p, -3*q + 10038 = -q - 4*p. Is q a prime number?
True
Suppose 0 = 3*t + 3*h - 7*h - 135999, -2*h + 136017 = 3*t. Is t a composite number?
False
Let u(k) = -k**3 - k**2 - 4. Let y b