39. Is x prime?
True
Suppose 16*r - 143 = 3*r. Suppose r*u = 21*u - 94130. Is u prime?
True
Suppose 51*a = 21*a + 4106370. Is a a composite number?
False
Let c(s) = 25*s**2 + 3*s + 1. Let r = -31 - -71. Suppose x + 7*x = r. Is c(x) prime?
True
Suppose 5*h + 35 = 2*g, -5*g + 10 = -4*g - 5*h. Suppose g*w = 8093 + 9382. Is w a prime number?
False
Suppose 0 = -4*b + 5*v + 135159, -3*b + v = 52334 - 153706. Is b a composite number?
False
Let c(j) = -j + 19. Let w be c(-11). Let a = 33 - w. Is 2177 - ((a - 1) + -4) a composite number?
False
Suppose 5*w = -5, p - 2*w + 7117 = -0*p. Let h = p - -14030. Is h a composite number?
False
Suppose -2*p + 19*z = 23*z - 15806, z + 23709 = 3*p. Is p a composite number?
True
Suppose -11*f = -16*f + 55. Is (3753/f - 0) + 16/(-88) a composite number?
True
Let f(g) = -g + 38. Let a be f(18). Suppose -21*m + 106 = -a*m. Suppose 105*k - m*k + 143 = 0. Is k prime?
False
Let s(y) = -47*y**3 - 2*y**2 + y + 7. Let i(f) = -48*f**3 + 2*f + 7. Let b(w) = -2*i(w) + 3*s(w). Is b(-3) prime?
True
Let i(v) = 2*v - 33. Let a be i(18). Suppose -9 = -g + 5*y, 0 = -4*y + y - a. Is g + (-5 - -4 - -62) a composite number?
True
Suppose -5*l = 2*x - 37, -6*x + 5*x + 32 = 4*l. Suppose -14*d + 4835 = -l*d. Is d a composite number?
False
Suppose -8*h - 6*c - 1702754 = -12*h, 4*h + 5*c = 1702743. Is h prime?
False
Let v(m) = -96*m**3 - 2*m**2 - 2*m. Let p be v(-4). Suppose -4*k = -w - w - p, w = -2*k + 3056. Is k a composite number?
True
Suppose 0 = 5*d, -4*m - 4*d - 4 = 8. Let w be (4 - 0) + 358 + m. Suppose 2*l - 479 - w = 0. Is l a composite number?
False
Suppose 0 = 17*o - 6223 - 12375. Is o prime?
False
Let n(u) = 2*u**2 - 32*u - 1. Let y be n(16). Let p be ((-4)/(-8))/(y/2). Is -1 + -2*222*p a prime number?
True
Let w(n) be the third derivative of -n**6/30 + n**5/10 - 35*n**4/24 + 3*n**3/2 - 50*n**2. Is w(-8) a composite number?
True
Suppose -2*q = -4*j - 123550, -4*q + 247104 = -8*j + 4*j. Is q prime?
False
Suppose 35*b - 10190398 = -51*b. Is b a prime number?
True
Let v(i) = 108*i**3 - 10*i**2 + 58*i + 7. Is v(13) composite?
True
Suppose -4*c + 0*x = x - 36, 0 = c - 5*x - 30. Let t(p) = 42*p + 371. Let n(a) = 2*a + 25. Let d(w) = -14*n(w) + t(w). Is d(c) a prime number?
False
Let a = 38687 + -26296. Is a prime?
True
Suppose 6*c = 5*c + 4. Let a = c - 7. Let h(u) = 82*u**2 + 2*u + 7. Is h(a) composite?
False
Let b(f) = 1035*f + 44. Suppose 135 = 22*v - 107. Is b(v) a composite number?
True
Let s be 130/10 + (-4)/(-1) + 1. Is 1036214/387*s/4 a composite number?
False
Suppose 3*n + f = n + 19672, 49180 = 5*n + 3*f. Is 1*2/8*n + 0 a prime number?
True
Let k = 2982 + 19861. Is k prime?
False
Let y(i) = -439*i - 51. Let j = 32 - 42. Is y(j) prime?
True
Let o(q) = -q**2 + 9. Let h be o(-3). Let u = 2 + h. Suppose 47 = 2*s - 3*x, -4*s - u*x + 93 = 7. Is s a composite number?
True
Is 162418/3 - 0 - 1/3 prime?
True
Suppose 17823*u - 17819*u = 330404. Is u prime?
True
Suppose -5*h = -10*h - 3*j + 4, 3*j = 3*h - 12. Suppose -17523 = -h*q - 685. Is q a composite number?
False
Let s = 5 + -2. Suppose -2*y + 23 = s. Suppose y*t - 6560 = 22830. Is t composite?
False
Let h(v) = -v**2 + 3*v + 1748. Let n be h(0). Let i = 2494 - n. Let y = i - 487. Is y composite?
True
Let p(i) = i**3 + 27*i**2 + 25*i - 58. Let h be p(-25). Suppose 3*f - 1524 - h = 0. Is f a composite number?
True
Let y = -36 - -36. Let h be (y - (-16)/10)/(26/65). Suppose -5605 = -h*p + 3*g, -2*p - 2789 = -4*p - 3*g. Is p a prime number?
True
Let q be -20 - -1*(-4)/4. Let n be 51/q - 9/(-21). Is 1024 + 0 + 5 - n a prime number?
True
Let x = -79 - -75. Let y(i) = -35*i**3 + i**2 - 8*i - 16. Let j be y(x). Let m = j - -381. Is m a composite number?
True
Let t(o) be the second derivative of o**3/6 - 4*o**2 - 28*o. Let k be t(9). Suppose -x + k = 0, 0*x = 5*d + x - 14696. Is d prime?
True
Suppose 9*q - 318870 = 4*q. Suppose -21*n + 28983 + q = 0. Is n a composite number?
True
Let h(y) be the second derivative of 19/3*y**3 + 0 - 5*y - 5/2*y**2. Is h(6) composite?
False
Let m(y) = -y**3 - 9*y**2 + 25*y - 5. Suppose 3*u - 8*u - 335 = 0. Let v = u + 55. Is m(v) a composite number?
False
Let y(u) = 6*u**2 + 11*u + 6 - 2*u**2 + 13 + 15*u. Is y(-11) prime?
False
Suppose -878331 - 846963 = -6*q. Is q a prime number?
True
Let f = 2938 + -8897. Let q = 2760 + f. Is (q/(-2))/(3 - 5/2) a composite number?
True
Suppose 57641 = -2*u - 13*k + 701192, -3*k - 321728 = -u. Is u prime?
True
Suppose 2*m + 158430 = 3*d, 0 = -8*d + 13*d - 5*m - 264045. Let k = d + -27659. Is k a composite number?
False
Suppose 3*c + 1262440 = 4*n, -287*n - 5*c - 1262432 = -291*n. Is n a composite number?
False
Let u(x) = 1007*x - 4. Let i(o) = o**2 - 20*o + 22. Let c be i(19). Is u(c) a prime number?
False
Let x(w) = -w**2 - 4*w - 4. Let p be x(-2). Suppose p = -8*b + b + 2352. Suppose 372 = 2*q + 2*o, 2*o + 56 + b = 2*q. Is q composite?
False
Let c(w) = -w**3 - 31*w**2 + 31*w - 53. Let m be c(-32). Is (-3)/9 + (-56854)/m a prime number?
True
Let x = 1518 + -2877. Let y = 3580 - x. Is y composite?
True
Let z(f) = f**2 - 24*f + 52. Let s be z(22). Let v(h) = -4*h + 34. Let i be v(s). Is 1/i*(-5)/((-5)/556) a composite number?
True
Suppose -10*l = -l + 3*l - 4289964. Is l a composite number?
True
Suppose 3*g - 8388 = -15*g. Let v = 801 - g. Is v a composite number?
True
Let i(f) = -1499*f + 501. Is i(-22) a prime number?
True
Is -2 - ((-16480544)/64 + (5/2)/(-5)) prime?
False
Let a = 84 - 84. Suppose a = -13*j + 6*j + 4445. Is j prime?
False
Let w(c) = c**3 - 6*c**2 + 5. Let b be w(6). Let d(a) = 483*a + 27. Let l(y) = -482*y - 27. Let z(u) = b*l(u) + 6*d(u). Is z(4) composite?
False
Suppose 2 = -o + 2*o. Suppose 2*a = -a - y + 74, -a + o*y + 13 = 0. Let m(w) = -w**3 + 25*w**2 + 3*w - 45. Is m(a) composite?
True
Suppose 5*f - 2084885 = n, 20*n - 18*n + 1250931 = 3*f. Is f composite?
True
Let z(c) = -67346*c - 773. Is z(-2) a prime number?
True
Let q(f) = -f**2 + 1. Let z(j) = -2*j**2 - 15*j - 6. Let w(r) = -6*q(r) + 2*z(r). Is w(-16) prime?
False
Let d(q) be the second derivative of -4*q**4/3 - 7*q**3/2 + 3*q**2 - 34*q. Let p be d(-16). Let w = 6257 + p. Is w a composite number?
False
Suppose -12*k = 24*k + 53406864. Is 7/(-5) - k/210 a composite number?
True
Suppose -10*v = -110*v + 184700. Is v a composite number?
False
Is (((-5)/3)/((-52)/(-39)))/((-6)/46776) a prime number?
False
Suppose -3*k + 315963 = 2*w, 5*w + 79686 + 236256 = 3*k. Is k composite?
False
Suppose -1323211 = -4*l - 3*o, -9*l - 2*o - 661616 = -11*l. Is l composite?
True
Suppose -114*y + 26711789 = -14179731 - 15281182. Is y composite?
True
Let a be (-55 - -51)/(3 - 0 - 1). Is (a/(-12))/(12/647928) composite?
False
Let i(o) = 13*o + 9. Let g be ((-3)/(-5))/(1/(-5)). Let w be i(g). Let z = w + 64. Is z prime?
False
Let d(z) = -3*z**2 + 464 + 4226 + 781. Is d(0) a prime number?
True
Let h(b) = 4*b - b - 42 + b**2 + 13 + 11*b. Let d be h(-13). Is (-14)/d*(-1641)/(-1) a prime number?
True
Let h be 4*(-3 - (4 - 8)). Suppose -5*u + 15036 = h*w - 7*u, -u + 15048 = 4*w. Is w a prime number?
True
Suppose -5*a - 7 - 33 = 0. Let y be 4*(-14)/a + -4. Suppose -3*v + 9 = 0, -j = -y*j + 5*v + 11215. Is j composite?
True
Let b(d) = 3*d**2 - 24*d + 38. Let u be 1242/63 - 2/(-7). Is b(u) a composite number?
True
Let c(b) = 2*b**3 - 6*b**2 - 2*b - 5. Let v be (-10)/(-3)*6/4. Let y(s) = -s**3 + 3*s**2 + s + 3. Let d(r) = v*y(r) + 2*c(r). Is d(-12) composite?
False
Suppose 4*y + 0*y = -16. Let k(w) = -142*w**3 - 3*w**2 + 5*w. Let m(u) = 141*u**3 + 3*u**2 - 6*u + 1. Let d(g) = y*k(g) - 3*m(g). Is d(2) a prime number?
False
Suppose 7867275 = 248*q - 53*q. Is q a composite number?
True
Let q = 37 + -40. Let a(j) = -j**3 - 2*j**2 + j - 4. Let c be a(q). Suppose -2*u = 3*b + 260 - 2479, c*u + 737 = b. Is b a composite number?
False
Is (2 - 44) + 22 - -992209 composite?
True
Suppose 3*s = 6*u - 676116, -36*u = -40*u + 4*s + 450740. Is u a composite number?
False
Let q = 469698 + 569833. Is q a prime number?
False
Let x = -253 - -271. Suppose 52*b = x*b + 570826. Is b prime?
False
Let h(k) = 6*k + 70. Let i be h(-11). Suppose -i*p + 3371 = s, 0 = 5*s - 5*p + p - 16855. Is s a prime number?
True
Let y = -3793 - -5695. Let r = 4691 + y. Is r prime?
False
Let s(h) = h + 21. Let l be 