?
False
Suppose -245378 - 375345 = -18*y - 64325. Is y a composite number?
False
Suppose -30*b + 956686 + 354473 = 21*b. Is b a prime number?
False
Is (-40)/4*-272198*(19/(-4) + 5) composite?
True
Suppose 62*x - 4666894 = -76*x + 36296888. Is x prime?
False
Let p(a) = 9*a - 36. Let h be p(4). Let z(d) = -d + 1489. Let q be z(h). Let o = q - 996. Is o prime?
False
Let j(y) be the third derivative of -y**6/120 - 19*y**5/60 - y**4/12 - 29*y**3/6 - 43*y**2 + 2*y. Is j(-20) a prime number?
False
Suppose -2822865 = 142*z - 10961453. Is z a composite number?
True
Let d(j) = j**2 + 18*j + 42. Let i be d(-17). Let o = i + -22. Suppose 157 + 161 = o*h. Is h a composite number?
True
Let r(q) = -2*q**2 - 3*q. Let j(w) = 3*w**3 + w**2 + 2*w + 2. Let k be j(-1). Let a be r(k). Is 542/4 + (-6)/(-8)*a prime?
False
Let u(m) be the second derivative of 5*m**3/6 + 11*m**2 - m. Suppose 39*g + 10*g - 343 = 0. Is u(g) a prime number?
False
Is ((-8)/6 + 26/(-12))*(6 + -130540) composite?
True
Suppose 7*s - 87 = -22*s. Is 492264/63 + s + (-38)/14 a prime number?
False
Suppose 32*y + 4*z = 28*y + 34308, -3*y + 4*z = -25703. Is y a prime number?
True
Is (0 + 1)*((-5820574)/95)/((-2)/5) a composite number?
True
Suppose 0 = 23*x - 21*x - 12. Suppose -x*u + 2*u + 180 = 0. Suppose u*a + 4190 = 47*a. Is a a composite number?
True
Let b(t) = t**2 - 9*t + 15. Let a be b(15). Let r = -97 + a. Suppose -2*s + 1107 + 1699 = -m, 2*m - r = 0. Is s a composite number?
True
Let x(z) = 3*z**2 - 6*z + 24. Let b(v) = 89 - 20*v**2 + 30 - 31*v + 36*v**2. Let k(p) = -2*b(p) + 11*x(p). Is k(13) composite?
True
Let g(a) = -a**2 - 9*a - 24. Let v be g(-5). Let w be 6*7/(-56) + (-41579)/v. Is (w/(-4))/((-5)/10) prime?
True
Let y be ((-1)/(-2))/(8/4128). Let m = 127 - y. Is 1*(-4 + 3)*m a composite number?
False
Is 2077848/9 + -3 + 12 a composite number?
True
Suppose -3*z + 6*g = 5*g - 7, 4*g = 3*z - 10. Suppose 4*r + 2357 = 3*t, -z*t = 3*r - 179 - 1398. Is t prime?
True
Suppose 5*m - 243839 = 4*l, -197039 + 1969 = -4*m + 2*l. Is m a composite number?
False
Let w(f) = -f**2 + 10*f + 25. Let v be w(-3). Let o be (7/(-21) - -5)*(-12)/v. Suppose -8*t + o*t + 42226 = 3*b, -2*t = 2*b - 21114. Is t composite?
True
Let l = 17862 - 6327. Suppose -147*j - l = -150*j. Is j a prime number?
False
Is 835117 + -8 - (22 - 10) a composite number?
False
Suppose 314386 = -11*y + 15*y + 3*u, 3*u - 235785 = -3*y. Is y composite?
True
Suppose 4*l - 16 = 0, 4*l = -5*r + 5*l + 1. Let u be r - (-1)/((-4)/(-1760)). Suppose 0 = -3*w - 3*q + 1626 - u, 0 = -w - 5*q + 387. Is w a composite number?
False
Let p be ((-4)/5)/((-27)/135). Is ((-11430)/27)/(3/(-18)*p) a prime number?
False
Let j = -559 + 956. Let t = 778 - j. Is t composite?
True
Let k = 297 - 3918. Let s = 15364 + k. Is s composite?
False
Suppose 3*k = 2*x + x - 9174, 5*k = -3*x + 9206. Let p = x - 1305. Is p prime?
False
Let y(b) be the second derivative of b**7/840 + 7*b**6/720 + b**5/40 - 5*b**4/3 + 13*b. Let m(j) be the third derivative of y(j). Is m(-10) composite?
False
Suppose -2*p + 3*f + 144010 = 0, -3*f + 71987 = 2*p - p. Is p a prime number?
True
Suppose 4*y + 20 = 0, 2*h + 4 = -3*y + 1. Is 15796/h - (2 - 21/9) a composite number?
False
Let y = -208 - -5462. Suppose -3*x - 3*m + 5268 = 0, 3*x - 3*m - m - y = 0. Is x a prime number?
False
Suppose 0 = 7*o - 15*o + 28840. Suppose z = -s + o, 41*s - 2*z + 18031 = 46*s. Is s a composite number?
False
Let b(w) = w**3 + 9*w**2 + 37*w + 34. Let z be b(-9). Let l be 4923*(-1 - 10/(-6)). Let x = z + l. Is x a prime number?
False
Suppose 0*v = -10*v - 7*v. Suppose -h + 4147 - 98 = v. Is h composite?
False
Is (-107730756)/504*2/(-3) a composite number?
False
Is 66689/294*(481 + -3)*3 a prime number?
False
Let h(o) = 14*o**3 - 5*o**2 + o + 1. Let u be (3/(-2))/(24/(-80)). Let q be h(u). Let y = -984 + q. Is y a composite number?
False
Let s = -114 - 8. Let p = -96 - s. Is (-12)/78 + 4/p - -159 composite?
True
Suppose -394830 = -26*x - 15*x. Let a = x - 5767. Is a composite?
False
Suppose 3*p = -4*h + 1171, 5*p - h = 1482 + 439. Let d = 260 - 254. Suppose -s = d*o - 2*o - p, 0 = 2*o + 5*s - 179. Is o a composite number?
False
Let a(v) = 12*v**3 - 2*v**2 + 169*v + 82. Is a(15) a composite number?
False
Let k(d) = -330*d + 185. Let i = 200 + -207. Is k(i) composite?
True
Let y(t) = -5543*t**3 + 6*t**2 + 25*t + 41. Is y(-3) a composite number?
True
Let l be (-1 + 17)/8 + 1*5749. Suppose -32*x = -l - 135017. Is x composite?
True
Let c(o) = -3*o**3 + o**2 - 2*o + 7. Suppose 32 = -102*x + 106*x. Suppose b + k = -x, -2*b + 2*k = 7 - 3. Is c(b) composite?
True
Is (-233015)/(-7) + 1086/(-1267) a prime number?
True
Let h = -104920 - -263867. Is h composite?
True
Let c be -193 + 7/(28/(-16)). Let g = c + 1240. Is g prime?
False
Suppose 0 = -24*v + 3566671 + 5478665. Is v a composite number?
False
Is ((-14566)/(-8))/(97/6596) a prime number?
False
Let z = 7444 + -11643. Let t = 6298 + z. Is t prime?
True
Let k(r) = -3*r + 6. Let i be k(1). Let h(u) = -2*u + 4*u**2 + 35 - u**i - 8*u**2 - 11*u**2. Is h(-15) a prime number?
False
Is ((-232942)/(-10))/((-62)/(-310)) prime?
True
Let w(z) = 184*z - 73 - 105*z - 118*z. Is w(-18) prime?
False
Let g = 30 + 3. Let v = g + -33. Is -1754*((-2)/4 + v) a composite number?
False
Suppose -49 = 7*t + 77. Let d = t + 23. Suppose 2*j = -6*h + h + 6685, 4011 = 3*h + d*j. Is h composite?
True
Suppose -5300*b = -5323*b + 33388433. Is b prime?
False
Let n be 28/49 - (-3 - 78/(-14)). Is (n/(-3) + 0)/((-42)/(-122787)) a prime number?
True
Suppose 7*j + 4*j - 1659821 = -8*j. Is j a prime number?
True
Let n(u) = 133*u + 14. Let i(t) = 89*t + 9. Let w(d) = 2*d + 39. Let k be w(-17). Let r(s) = k*n(s) - 8*i(s). Is r(-3) a composite number?
False
Let l(c) be the first derivative of -c**4/4 + 2*c**3 - c**2 + 13*c - 18. Let n be l(6). Is ((-2)/(-4))/(n/634) prime?
True
Let o = 158 + -64. Let r = 99 - o. Suppose 0 = 4*v - r*c - 122, c + 97 = -3*v + 6*v. Is v composite?
True
Suppose -12 = 3*b - 18. Let c(u) = 620*u**2 - 5*u + 7. Let o be c(b). Suppose 0 = 4*l + 2*j - 1980, 6*j - 3*j - o = -5*l. Is l composite?
True
Suppose 2537319 - 13925998 = -50*z - 33*z. Is z composite?
True
Let m = -984184 + 1897227. Is m a prime number?
False
Let d(s) = 7*s**3 - 12*s**2 + 26*s - 7. Let u be 56 - (0 + 0)/2. Suppose 16*w - 9*w = u. Is d(w) a composite number?
True
Suppose 432*n - 13761742 = 357*n + 4209608. Is n composite?
True
Let v = 1156730 + -592479. Is v prime?
True
Let u be (-167 + -3)*(-14724)/90. Suppose 68*r - 19176 - u = 0. Is r prime?
True
Let b = -28976 + 85871. Suppose -s - b = -16*s. Is s a prime number?
True
Suppose 5*f - 10543 = 22372. Is f composite?
True
Suppose -p = -3*j + 27715 + 137592, 2*p = -j + 55107. Is j composite?
False
Let s(y) = -38*y**2 + 3*y + 2143711. Is s(0) a prime number?
True
Let p = -164993 - -273303. Suppose 0 = -j, 10*j - 6*j = 2*m - p. Is m a prime number?
False
Let k be 2*(0 - ((-15)/10 + -1)). Suppose 0 = k*s + i - 258, 2*s + 4*i - 142 = -28. Is s a prime number?
False
Let d(p) = -4056*p - 4621. Is d(-53) a composite number?
False
Is (3339583/(-37) + 8)*1/(-7) composite?
False
Is (-4 - 875405/10)*4*4/(-24) prime?
True
Let x(b) = 435*b**3 + 4*b**2 - 8*b + 17. Let k be x(3). Suppose -20*m = -6*m - k. Is m composite?
True
Let l(q) = 1061*q + 185. Let x be l(8). Let f = -4511 + x. Is f a prime number?
False
Let p(z) = -6*z**3 - 3*z**2 + 4*z + 4. Let l be p(-3). Let c = l - -62. Let n = c - 12. Is n a composite number?
True
Let t(v) = 19*v + 13. Let z be t(3). Suppose -z + 14 = -7*n. Suppose n*m + 1516 = 12*m. Is m prime?
True
Let q(c) = 216628*c**2 + 17*c - 37. Is q(2) a composite number?
True
Suppose 3*r = y - 10, -5*r - 23 + 8 = -2*y. Let i(u) = -18*u**3 - 11*u**2 - u + 2. Is i(y) a prime number?
False
Let s(q) be the third derivative of 61*q**5/12 - q**4/6 + 31*q**3/6 + 6*q**2 + 15*q. Is s(-4) a prime number?
False
Suppose -13*q = -17*q + 1548. Suppose -q*s + 382*s + 2705 = 0. Is s a composite number?
False
Let k be (21/21)/((-1)/(-16)). Suppose -6702 = -k*u + 15074. Is u a composite number?
False
Suppose -3*h - 4*t + 1514 = 0, 0 = -2*h - 0*h + 4*t + 996. Suppose 502 = 2*n - 2*i, -h = -2*n + i - 4*i. Is n composite?
False
Let t(q) = 22*q + 10 - 2 - 50. Let v be t(14). Suppose -