v. Is x prime?
False
Suppose -142*w + 2 = -141*w. Suppose -5*n - 920 = 5*k - 5450, 1842 = w*k - 4*n. Is k prime?
True
Let x be (10227/(-84))/(3/(-264)). Is ((-11)/(-2))/(11/x) prime?
False
Suppose 877*t = 828*t + 86730. Let n = -153 + 345. Suppose w + y - 1078 = -n, -2*w - 4*y + t = 0. Is w prime?
True
Let i = -51 + 58. Let f(d) = 211*d**2 - 38. Is f(i) composite?
False
Let w(d) be the first derivative of -d**3/3 + 2*d**2 + 6*d - 1. Suppose l = -4*l + 20. Is w(l) a prime number?
False
Let q = 30523 + -20095. Suppose 8*r - 2*r - q = 0. Suppose r - 341 = m. Is m a composite number?
True
Is (8 + -70 + 11 - -10)/((-2)/23234) a prime number?
False
Let b(a) = 21970*a + 1366. Is b(10) a composite number?
True
Let z(p) = -p**3 + 5*p + 5. Let r(x) = -x**3 - 4*x**2 + 5*x - 2. Let j be r(-5). Let n be z(j). Let m(g) = 28*g**3 + 3*g**2 - 4. Is m(n) prime?
False
Let x be ((-90)/(-20))/((-6)/(-6340)). Let l = -2048 + x. Is l prime?
True
Let n = -724 - -1937. Is n a composite number?
False
Let s(x) = -7 + 8 + 18 - 12*x + x**2. Let f(y) = 12*y - 252. Let c be f(22). Is s(c) a composite number?
False
Suppose 0 = -2*i + j + 178078, 0*i + j - 356168 = -4*i. Is i prime?
True
Is (11*119666/44)/(1/2) composite?
False
Suppose 0 = 2*z + 16 + 50. Let g = 55 + z. Is g prime?
False
Suppose -9557486 - 5017637 = -110*y + 10178947. Is y a prime number?
True
Let r = 13 + -10. Suppose -2*s - 90600 = 2*g, r*g + 206555 = 5*s + 70623. Is g/(-40) - (-2 + (-16)/(-10)) composite?
True
Suppose l = 3*z - 1541481, 2569169 = 139*z - 134*z + 4*l. Is z prime?
True
Let j = -139949 + 287582. Is j prime?
False
Is (2 - 1)/((-33)/(-1836219)) a composite number?
True
Let v(s) = -3*s**2 - 11*s - 2. Suppose -n = -3, 3*g - 2 = 3*n - 38. Let u be v(g). Let a = 65 - u. Is a a composite number?
False
Let n = 27 + -23. Suppose n*x = 2002 + 954. Suppose 0 = -3*j + 5198 + x. Is j a prime number?
True
Let s = 3428 - -155879. Is s prime?
False
Let t = -325 + 329. Suppose -l - 4*l + t*s = -2451, -5*l - 3*s + 2423 = 0. Is l composite?
False
Suppose 2*j - 2*w + 3 + 3 = 0, 2*j = 3*w - 10. Let r be j/((-5478)/(-1827) - 3). Let u = 1424 + r. Is u a composite number?
True
Suppose m = r + 1, 7*m - 2 = -4*r + 9*m. Suppose 4*n = -r*n + 18222. Is n composite?
False
Suppose -2*u - 3*y = -9, 0 = 4*u + 4*y - 7 - 9. Suppose 8*r = u*r + 20. Is (5927/2 - r)*(-4)/(-6) a composite number?
False
Let a be (-6 - -7)*(8 + -3). Is (-4)/(-20)*a*263 composite?
False
Let d(y) be the third derivative of 11*y**5/30 + 5*y**4/8 + 43*y**3/6 + 18*y**2. Is d(-16) a prime number?
False
Suppose f - f + 173564 = 4*f. Is f a composite number?
False
Suppose 0 = 33*z + 28221 - 159330. Is z prime?
False
Let v(h) = 2*h**2 - 2*h + 2. Let c be v(1). Suppose 5*a + 8 = -c. Is (-3155)/(-25)*(7 + a) composite?
False
Suppose -41*f = 7*f - 192. Is 1 - f - (-21452)/(22/11) a prime number?
True
Suppose 4*l - 1325 - 2615 = 0. Suppose r - w - 1554 = 0, -r - 2*w + l = -566. Is r a composite number?
False
Let x = -46 + 28. Let c = 225 + -363. Is (-1 - -160)*(c/x - 4) composite?
True
Let r = -706 + 504. Let t = r + -654. Let d = t + 1575. Is d a composite number?
False
Let x(b) = 213*b**2 + 11*b - 1417. Is x(-47) prime?
False
Suppose x + 0*z = 4*z - 8, z + 37 = -3*x. Suppose -151*r + 19 = 4*v - 146*r, 5*r = -v + 1. Is ((-933)/v)/(6/x) a prime number?
True
Suppose 95*u + 13*u - 14*u = 16951114. Is u a prime number?
True
Let p(c) = 11*c**2 + 4*c + 7. Let v be p(-1). Suppose 3*j = 5*x + 75209, -v*j + 4*x + 125331 = -9*j. Is j a prime number?
False
Let m be 0 - 5 - 56/(-15 + 7). Is (28340/21 - m/(-14))*3 composite?
False
Let q(v) = -8*v + 18. Let i be q(2). Suppose -i*o - 492 = -3*g + g, 2*o = -g + 261. Is g a composite number?
False
Suppose -3*f + 2098 = 4*w, 0 = 3*w - 5*f - 310 - 1249. Let z = w + -192. Is z prime?
True
Suppose 219*m = 215*m + 1336. Let u be ((-2)/4)/((-1)/166). Let k = m - u. Is k a prime number?
True
Suppose x - 5*x + 8 = 0. Suppose x*q + 3*o + 23 = -2, 4*q - o + 29 = 0. Let y(g) = -177*g + 23. Is y(q) a composite number?
False
Suppose 8*w = 14 - 142. Let t(q) = -q**2 - 26*q - 10. Let p be t(w). Let u = p + 71. Is u composite?
True
Let z(k) be the second derivative of 2*k**4/3 - 4*k**3/3 - 23*k**2/2 - 2*k + 8. Is z(-8) prime?
False
Let s(q) = q**3 + 90*q**2 + 435*q - 51. Is s(-70) a prime number?
True
Let t = -72 + 75. Suppose -t*w - 18871 + 46108 = 0. Suppose -19*y + w = -18*y. Is y a composite number?
True
Let t(z) = -2*z**2 - 80*z - 47. Let u be t(-39). Suppose -u*d + 43028 = -194773. Is d prime?
False
Let f(p) = p**3 + 12 + 3*p - 11 - p**2 - 4*p. Let c be f(2). Suppose -5*k + 151 = v, -c*k - 130 = -v + 13. Is v a composite number?
True
Suppose -10*t + 3123 = -z - 8*t, -9404 = 3*z + t. Is z*21/(-27) + (-2)/(-9) composite?
False
Let y(m) = 15*m + 1819. Let j be y(-4). Suppose 4*w = -0*o - 3*o + 2159, -5*w + 2*o + 2716 = 0. Let c = j - w. Is c prime?
True
Suppose 27*z + 6210 = 187353. Is z composite?
False
Suppose 5*y + 5*i = 3425, -4*y + 3504 = i + 758. Let t = 1206 - y. Is t a prime number?
False
Suppose 0 = 56*r - 626752 - 3703000. Is r prime?
True
Suppose 5*c - 110 = -0*d - d, -4*c - d = -87. Let r = -7243 + 8315. Suppose 15*m + r = c*m. Is m composite?
True
Let u(s) = -11*s**3 + 24*s**2 + 14*s + 7. Let h(b) = -24*b**3 + 48*b**2 + 29*b + 13. Let i(a) = -6*h(a) + 13*u(a). Is i(-23) a prime number?
False
Let z = 321995 - -1001972. Is z a composite number?
False
Let z be ((-2)/5)/(12/10)*-9. Suppose z*n = -n. Suppose 5*y + 2*o - 62 = 0, -4*y = 5*o - 36 - n. Is y prime?
False
Suppose 3*d - 152965 = j, 4*j = 7*d + 7*j - 356929. Is d a composite number?
False
Suppose -14 = -a - 0*g + 4*g, -4*g = 5*a + 2. Suppose -a*l + 1296 = 5*h - 695, 3*l + 4*h - 2990 = 0. Suppose 3*j - 565 = l. Is j a prime number?
True
Let s(v) = 54*v + 7. Let i(k) = -53*k - 7. Let t(p) = -6*i(p) - 5*s(p). Let m(x) = -48*x - 8. Let w(l) = -6*m(l) - 5*t(l). Is w(6) a composite number?
True
Let a = -622286 - -983817. Is a prime?
True
Suppose -q = 5*r + 2*q - 31, 0 = 5*r + 5*q - 35. Suppose -4*i = -2*l + 14592, r*i + 52391 = 5*l + 15936. Is l prime?
False
Let i(r) = -2402*r - 9577. Is i(-58) prime?
False
Suppose -4*r - 9*h = -289654, 3*r = -r + h + 289674. Is r a prime number?
False
Suppose 5768*f - 5855*f + 22903359 = 0. Is f prime?
True
Let x(o) = 22*o**2 + 52*o + 8. Let v(c) = -11*c**2 - 25*c - 4. Let y(z) = -5*v(z) - 2*x(z). Is y(-9) a prime number?
False
Let l(v) = 7*v**3 - 12*v**2 - 9*v - 7. Suppose 36 = 5*b - b. Is l(b) a prime number?
False
Let r = -94 - -94. Suppose -6*z + 7 + 11 = r. Suppose -5*p = -k + 199, -2*k + 907 = z*k - 3*p. Is k a prime number?
True
Is 238/(-14) + 37066 + 0/((-2)/(-2)) prime?
True
Let y(c) = -c**3 - 17*c**2 + 17*c - 8. Let w be y(-18). Suppose -2*d = -4*d + w. Suppose d*j - 376 = -t, 4*t - 2*j = 385 + 1141. Is t composite?
True
Let u be 539736/6 - (3 - 2). Suppose 0 = -25*c + 34*c - u. Is c a prime number?
False
Suppose -43*t + 396004 = -15*t. Is t a composite number?
False
Suppose 2*w = -4*d + 7*d + 164172, d = -5*w + 410447. Suppose 9*z - 20070 = w. Is z a composite number?
False
Suppose -73 + 103 = -5*f. Let a(r) = -61*r**2 - 6*r - 42. Let g be a(f). Let d = g - -3371. Is d a composite number?
True
Let k(p) = 3*p**3 + 6*p**2 + 12*p + 6. Let f(h) = 11*h**3 + 19*h**2 + 36*h + 17. Let l(x) = -2*f(x) + 7*k(x). Is l(-9) a prime number?
True
Let n = -53 - -89. Suppose 8*y = 4*y + n. Suppose 0 = -y*f + 3753 + 6606. Is f prime?
True
Suppose -32 = -47*f + 43*f. Suppose 0 = f*h - 13*h - 9910. Let n = h - -3037. Is n a prime number?
False
Let c(a) = 210*a + 13 - 7 - 18 - 13. Is c(4) composite?
True
Is (2/4)/((10/301516)/(35 + -30)) a prime number?
False
Let u = 152 - 133. Let d = u - -192. Is d a prime number?
True
Let n(v) be the first derivative of -3*v**2 - 32*v + 18. Let o be n(-8). Suppose -17*u + 127 = -o*u. Is u a prime number?
True
Let y(z) be the third derivative of -1447*z**4/24 - z**3/6 + 6*z**2 - 2. Let r(m) = -2893*m - 2. Let a(c) = -2*r(c) + 5*y(c). Is a(-2) a prime number?
True
Let m = 97 - 93. Suppose -5 = -5*t - 3*q - 2*q, -5*t + 6 = m*q. Suppose -t*w + 1800 = -682. Is w a prime number?
False
Let k = -74 + 79. Suppose -5*w - 40965 = -k*j, 3*j - w = 21458 + 3129. Is j a prime number?
False
Let y be (4 - 1)/((-15)/(-10)). Let j b