
True
Let f = 5 + 1. Let c(y) = 10*y**2 - 9*y + 31. Let m be c(f). Suppose m = r - 316. Is r a prime number?
True
Suppose 24*z - 162802 = 22*z. Is z a prime number?
True
Suppose 198520 - 40836 = 310*g - 306*g. Is g a composite number?
True
Let s(t) = 37*t**2 + t - 1. Let u be s(1). Suppose -44*q + 1001 = 33. Let x = u - q. Is x a composite number?
True
Let o(l) = -20*l**3 - 9*l - 7*l - 35*l**3 + 3*l + 8 + 1158*l**2 - 1167*l**2. Is o(-6) prime?
False
Let a = 22759 - -30922. Is a prime?
True
Suppose 0 = b - 4*c + 229975, -17*c + 16*c + 1149970 = -5*b. Is 1/(b/(-38331) + -6) a prime number?
True
Let k(o) = 4*o - 22. Let n be k(4). Let c(p) = -p**2 - 5*p + 8. Let g be c(n). Is (-2)/4*g*(-179)/1 a prime number?
True
Suppose -2*r - 6 = -4*n, 0 = -r + 2*r + n - 6. Suppose -m + v = -5, -m - 4*v = -2*v + 10. Suppose 6039 = 4*z - f, m*f = -r*z + 4*f + 4513. Is z prime?
True
Let c be 670/40 + 3/12 + 0. Suppose -3495 = -c*t + 14*t. Is t prime?
False
Suppose 35*n - 44*n = 243. Is n/(-3) - (-10 + -1324) prime?
False
Suppose 88 = 49*y - 60*y. Let g(a) = 20*a**3 + 51*a**2 + 36*a - 2. Let x(p) = -7*p**3 - 17*p**2 - 12*p + 1. Let h(l) = 6*g(l) + 17*x(l). Is h(y) prime?
False
Let t = 350299 - 168386. Is t prime?
True
Let u(p) = 971552*p**2 + 7*p + 4. Is u(-1) a composite number?
False
Suppose -9*j + 12*j = -5*w - 4, 0 = 2*w + 2*j + 4. Is w/(2/138948)*(-17)/(-102) prime?
True
Suppose 0 = -7*c + 3*c - 8. Let j be 1 + c + 3 + 0. Suppose 5*i - 1952 + 303 = 3*b, -5*b + 672 = j*i. Is i a prime number?
True
Suppose -2*q = -3*k - 1335, -4*k + 684 = 2*q - q. Suppose q = -6*u + 13158. Is u a prime number?
True
Suppose 6*t = 637960 + 245096. Suppose -21*h + 29*h = t. Is h a composite number?
False
Suppose 5*f - 19 = 756. Suppose 0 = 2*a - i - 611, -3*i + 161 = a - f. Is a a prime number?
True
Let u = 22474 - -31941. Is u composite?
True
Let m(b) = 141*b**2 - 28*b - 59. Is m(-4) composite?
False
Suppose 14*n = 12745290 + 2090972. Is n a prime number?
True
Let q(p) = 3*p - 1502*p**3 + 1 + 0*p + 727*p**3 + 727*p**3. Let m(z) = -z - 7. Let h be m(-5). Is q(h) composite?
False
Let s be 2 + (-156)/10 + 4/(-10). Let c(o) = 3*o**3 + 8*o**2 + 5*o - 30. Let w be c(s). Is w/(-57) - (-4)/(-6) composite?
True
Suppose -39816650 + 1286600 = -130*t + 3813940. Is t prime?
True
Suppose 4*x + 90 = -3*q, -8*q - 119 = -4*q + 5*x. Let i = q + 27. Is (-1*(1 + -3236))/i composite?
True
Let l(s) = 188*s - 30. Let z(u) = 377*u - 59. Let p(c) = 5*l(c) - 3*z(c). Let w be p(-6). Let d = w - 650. Is d prime?
True
Let h be 3/7 - 395840/(-56). Let s = h - -490. Is s a composite number?
False
Suppose 0 = -4*m + 3*t + 15, 2*t - 15 = -5*m + 5*t. Suppose 12855 = 2*k + 5*y, 4*y = -m*y + 20. Is k prime?
False
Suppose 0 = -48*x + 3778281 + 1121991. Is x prime?
False
Let g = -656 + 2121. Let d be (14640/(-100))/((-2)/5). Suppose g = h + d. Is h a prime number?
False
Suppose -28*t - 50*t + 9*t + 3480222 = 0. Is t a prime number?
False
Suppose 0 = 3*k + 4*g - 135 - 259, 3*g - 642 = -5*k. Suppose -18*a + 15*a - k = 0. Is (a/18)/(-1*1/237) a composite number?
True
Suppose -40 = -2*b + 22. Let h = 34 - b. Suppose s - 2527 = -4*a - 0*s, -1905 = -h*a - 4*s. Is a a prime number?
True
Suppose 84*c - 85*c + 2424 = 0. Suppose 0 = 5*s - 14729 + c. Is s prime?
False
Is (-1)/(-12) + (-4)/(-6) - (-4466090)/40 a prime number?
True
Let s be 6/45 - (-1824232)/60. Suppose 4*h = -4*d + s, 0 = 2*h - 0*h. Is d composite?
True
Suppose -4*l = -13 - 11. Let v(a) = 14*a**2 - 19 + 33*a**2 - 10*a**2 + 5*a + 3*a. Is v(l) a prime number?
True
Suppose 2*k + 4*g - 210854 = 0, -357*k + 360*k - 5*g = 316281. Is k composite?
True
Let d(o) = -4593*o + 905. Is d(-6) prime?
True
Let s = 6543 + -1274. Is s composite?
True
Suppose -94*p = -13*p - 45659770 - 25349528. Is p a prime number?
False
Suppose -17*r - 112*r + 140281801 - 56334664 = 0. Is r a composite number?
True
Let x = 8766 + -5885. Suppose 5*k + 794 = -c + 6705, 2*c - 11747 = 5*k. Suppose -x = -r - 3*v, 4*r + 2*v - 5658 = c. Is r a composite number?
False
Suppose 24 = h - 5*x, 0 = 2*h + 3*x - 35 - 39. Suppose z = -z + h. Suppose -z*s = -11*s - 5106. Is s a composite number?
True
Let d = -27 - -34. Suppose -d*g - 72 = -g. Is g/54 + 802/(-9)*-2 a prime number?
False
Let o(d) = 1444*d**2 - 73*d - 686. Is o(-11) a prime number?
False
Suppose -736847 = -37*b + 90*b - 35816805. Is b prime?
False
Suppose -5*v + 231 = 156. Suppose 0 = -3*t - v, g + 20 = -4*t - 0*t. Is 59*62 + g + 1 prime?
True
Is 66/12 - (-2041475)/2 composite?
False
Let a(q) = q**3 - 3*q**2 - 4*q + 2. Let h be a(4). Let o be (7 - 165/20)*-4. Is 2/h - (-159 - (o + -2)) a prime number?
True
Let i(m) = -4*m**3 + 63*m**2 - 42*m - 723. Is i(-28) composite?
False
Let u(m) = 100*m**2 - 65*m + 382. Is u(27) a composite number?
False
Suppose 0 = -3*t - 4*o + 8358, -5*t + 7352 = 5*o - 6578. Let l = t + -963. Is l composite?
False
Let p = -104553 + 189840. Is p composite?
True
Suppose 4*o = 3*o - 2*h + 22, -3*o = 5*h - 62. Let c(l) = 93*l - 13. Let y be c(o). Suppose y = 5*x + 124. Is x prime?
True
Let r be 4 + -7 + 1 + 2. Suppose r = 3*z + 2*f - 49243, 22*z = 27*z - 4*f - 82057. Is z a prime number?
False
Suppose 14002223 + 8793906 = 31*l. Is l composite?
False
Let p = -91 + 172. Let j = -71 + p. Suppose -2244 = -j*i - 2*i. Is i composite?
True
Let f(d) be the third derivative of 0 + 0*d + 17*d**2 - 5/8*d**4 + 23/60*d**5 - 1/120*d**6 - 3*d**3. Is f(19) a composite number?
True
Let c(r) = -4*r**2 + 88*r + 193. Let f be c(24). Let p(l) = 5*l**2 - l**3 - 4*l**2 + 14*l**3. Is p(f) a composite number?
True
Is (-36)/96*(-2478312)/27 a composite number?
False
Suppose -81738 = -4*q + 46034. Is q composite?
True
Let m(v) = -551*v - 43. Let n(o) = 1102*o + 86. Let f(c) = -5*m(c) - 2*n(c). Let z be f(7). Let y = z + -1129. Is y composite?
True
Let n(t) = -27952*t + 431. Is n(-1) composite?
True
Let r(a) = -1376*a - 899*a + 4 - 3026*a. Suppose 3*b - 19*j - 2 = -24*j, 0 = -2*b + 3*j - 5. Is r(b) a composite number?
True
Let o be 20802 + (-3 - (-4 - 6/(-2))). Suppose 8*a - 4072 = o. Is a prime?
True
Suppose -5*v - 36072 = -4*d + 24807, 5*v = d - 15216. Is d composite?
True
Suppose -19*w + 97840 = -11*w. Let y = w - 6499. Is y a prime number?
False
Let c(m) = 19538*m + 667. Is c(38) a prime number?
True
Let d = -1263485 - -2034388. Is d a prime number?
False
Let x = -3 + 23. Let d be (-18)/(-15)*x/6. Suppose -d*s = 2*t - 40312, 5*s - 17856 = -5*t + 32529. Is s a prime number?
True
Suppose 3*g - 190701 = 3*o, 254270 = 4*g - 2*o - o. Is g prime?
False
Let z(i) = -42*i**2 + 46*i - 22*i**2 + 23 - i**3 + 90*i**2. Is z(12) a prime number?
True
Let k(i) = 563*i + 6. Let b be k(4). Suppose -2*o = 2*g - 14442, 3*o + 2*g + 21683 = 6*o. Let y = o - b. Is y composite?
False
Let d(q) = q**3 + 15*q**2 + 10*q + 3. Let h = -39 + 26. Is d(h) a prime number?
True
Let b = -86 + 99. Suppose -b*q + 9*q - 16 = 0. Is 2/4 + (-17682)/q composite?
False
Let d be (3 - 15/7)/((-4)/(-14)). Let c be -3*(-815)/(-15)*d. Let y = -302 - c. Is y prime?
False
Suppose 5*s + 4*y - 1072247 = 0, -4*s + 27*y = 25*y - 857782. Is s composite?
True
Suppose 364*y - 385430 = 354*y. Is y composite?
False
Let j be (108/28 - 3)/(4/140). Suppose -3*g + 5*w = 7 + 3, 0 = -g - 5*w + j. Is (-2)/5 - (-8827)/g a prime number?
False
Let d be (3040/(-24) - -7)/((-1)/81). Let n = 18238 - d. Is n composite?
True
Let c(o) = -6*o - 87. Let m be c(-20). Suppose -6537 = -m*f + 32*f. Is f prime?
False
Let g(i) = 48*i**3 + 55*i**2 - 75*i + 48. Is g(11) composite?
True
Suppose 0 = 26*u - 29*u - 4*a + 358427, 5*a = -8*u + 955811. Is u composite?
True
Let b = 14 - -9. Suppose -b*o = -27*o + 2256. Is (3 - 7) + o - 1 composite?
True
Let l(t) = t**3 + 2*t**2 - 5*t - 8. Let n be l(-2). Suppose q = n*q - 789. Let u = q + -458. Is u composite?
False
Suppose -8090 = 3*z - t - 36624, -3*t + 28530 = 3*z. Is z a composite number?
False
Let v be ((-4)/(-14))/((-2)/(-14)). Suppose 0 = 5*j - 15, v*s - j = -s + 258. Is (-14)/(3*(-2)/s) a composite number?
True
Let p = -4519 - -6382. Let v be 13/((-78)/(-12)) - -1813. Suppose 6*y - p = v. Is y a prime number?
True
Let l = 423650 - 242047. Is l a prime number?
True
Let a(c) = 9*c**2 + 21*c - 119. Is a(10) composite?
False
Let k be ((-75)/12)/(-3*(-3)/(-36)). Suppose k = -o + 6*o. Su