 a composite number?
True
Suppose 5*c = -2*s + 605811, 3*s = -36*c + 37*c + 908708. Is s a composite number?
False
Let h(f) = -91*f**2 - 4*f - 41. Let b be h(13). Let t = 25243 + b. Is t a composite number?
True
Is -15*(-42)/(-90) + 88572/(0 - -1) composite?
True
Suppose -14*w + 152 = -6*w. Suppose -5*b - 1035 = -2*n, -23*n + 2*b = -w*n - 2062. Is n a composite number?
True
Let s = -597 - -26566. Is s a composite number?
False
Suppose -2*l = 4*j - 7*l + 85, -j - 5*l + 10 = 0. Let v be 1345*((-4)/30)/(5/j). Suppose 2*w = v + 400. Is w a composite number?
True
Let g(c) = -2*c**2 - 9*c - 18. Let l be g(-3). Is (12/l - -2)/((-24)/(-45324)) composite?
False
Let r be (4 + 8/(-12)*6)*-1. Suppose r = 3*z + 4*d - 10229, -3*z + 0*d + 10199 = -2*d. Is z prime?
False
Suppose 5*v - 180 = 5*h, 154 = -12*v + 16*v - 2*h. Suppose -151438 = -55*z + v*z. Is z prime?
False
Suppose 5*u - 1155995 = -2*s, s - 742488 = -7*u + 875896. Is u a prime number?
True
Let s = -5657 - -12465. Suppose 24*v - 3*m = 29*v - s, v - 1365 = -4*m. Is v a prime number?
True
Let z = -394 - -2372. Suppose -6*t + z = -5702. Suppose -3*s - 4*k + 3419 = -t, s = -5*k + 1581. Is s a composite number?
True
Suppose -74 = -12*i - 266. Is -3 + ((-323037)/156)/(6/i) a composite number?
False
Let n(d) = -22767*d**3 - 18*d**2 - 46*d - 3. Is n(-2) composite?
True
Is ((-231)/2310)/(1/(-340570)) composite?
False
Suppose 15*q = -4*q + 190. Suppose q*y - 2100 - 2750 = 0. Is y a prime number?
False
Let r = 5725 + 198922. Is r prime?
False
Suppose -46188 = 2*l - 5*l. Suppose -4*i - 2284 - l = 0. Let h = i + 7227. Is h composite?
True
Let f(q) = -q**2 - 3*q + 4. Let i be f(0). Let u(a) = -a**2 + 8*a - 14. Let m be u(i). Is ((-18479)/(-17))/(2/m) composite?
False
Let c(s) = 12*s**3 + 8*s**2 + 25*s + 4. Let a be c(12). Suppose -a - 1500 = -4*x. Is x composite?
False
Suppose -5*a + 23 = 3, 3*k - 6347 = -5*a. Suppose -22196 = -5*m + k. Is m a prime number?
True
Let a(o) = -o**3 - 17*o**2 - 18*o + 17. Suppose 3*v + 55 = -4*r, -3*v + 3*r = -0*v + 69. Is a(v) prime?
False
Is 195348/1314*(-534)/(-4) prime?
False
Suppose -521*p = -511*p - 3062090. Is p a prime number?
True
Is 164887643/152 + 30/16 prime?
False
Let r be (-24)/(-4) - (1 + 4). Let m(i) = 3603*i**2 + 4*i - 5. Is m(r) composite?
True
Suppose -6 = 2*q, 0*q + 3*q + 13 = 2*w. Suppose w*r - 5*j + j = 14570, -7278 = -r - 5*j. Is r prime?
True
Let l = 2 + 1. Let z(c) = 2*c**3 - 3*c**3 + 19*c + 3*c**3 - l*c**3 + 11*c**2 - 15. Is z(12) prime?
False
Suppose 4*i - 34 + 54 = 4*r, -4*i + 5*r - 25 = 0. Suppose -b + 5 = i, -j + 2*b + 3741 = -2*b. Is j a prime number?
True
Suppose 4*l - 7*b + 6 = -5*b, 0 = 2*b - 6. Suppose -k - o + 7591 + 5504 = l, 13091 = k - o. Is k prime?
True
Let n(q) = 47089*q**2 + 10*q + 8. Is n(-1) composite?
False
Suppose -15*q - 167 = 58. Is (-5)/((-10)/q - (-2948)/(-4404)) prime?
False
Let i = -319555 + 453868. Is i composite?
True
Suppose -573*g + 574*g - 3*l - 416564 = 0, -5*l - 15 = 0. Is g composite?
True
Let v be 11/55 + 188/10. Suppose 25497 + 42352 = v*d. Is d composite?
False
Let a = 1537 - -426. Suppose s - 12036 - a = -3*j, 4*s - 14011 = -3*j. Let i = j - 2734. Is i prime?
True
Let t = -31150 + 16539. Let v = -2132 - t. Is v a composite number?
False
Suppose 23 = 6*t + 5. Let q be ((-242)/(-4))/(t/(-36)). Is (12/(-8))/(9/q) a prime number?
False
Let a be ((-22)/(-14) - 1)/((-10)/(-35)). Suppose -3*s + 1698 = 2*w - 2059, 4*s - 5014 = a*w. Is s composite?
True
Let h = -8 - -44. Let p = -36 + h. Suppose -4*r + 2*g + 3*g = -3407, p = -g + 1. Is r a prime number?
True
Let f(i) = 109*i**2 - 34*i - 663. Is f(-22) composite?
True
Suppose -2*o + 2*j = 72760 - 1447354, 5*j = -o + 687297. Suppose -26*f + o = 2483. Is f a composite number?
False
Let g be (5 - -1)/((-2)/(-814)). Suppose -5*t - 472 = -g. Let p = 956 - t. Is p a composite number?
True
Suppose k = -2*b + 3591, 183*k + 7180 = 185*k + 3*b. Is k a composite number?
True
Let u be 1/(-3)*(-16 + 0 - -7). Let j(g) = 779*g**3 - 6*g**2 + 15*g - 23. Is j(u) composite?
False
Suppose -5*h = 5*n + 2000, -4*n = -0*n - h + 1600. Let v = 673 - n. Is v a prime number?
False
Suppose 0 = -169*o + 175*o - 27798. Suppose -4*k + 3*u + 7320 + 11212 = 0, -o = -k + 3*u. Is k a prime number?
False
Let u be 186/4*592/24. Let g = u + 1990. Is g prime?
True
Let v(d) = -620*d + 13. Let a be v(-17). Let l = 4146 + a. Is l composite?
False
Let z be (-1)/(3 - 1/((-21)/(-60))). Let y(b) = -3*b**3 + 7*b**2 + 7*b - 8. Let s be y(z). Is (-3)/((-15)/s)*1 composite?
False
Suppose -4*z + 0*r = -3*r - 23761, 0 = z + 3*r - 5944. Is z prime?
False
Let j = 68696 + -12685. Is j prime?
False
Let a = 265025 - 143440. Is a composite?
True
Suppose -141 - 23 = -4*j - 2*t, -t + 208 = 5*j. Let i be (-8)/(-3)*(-1 + 13). Let h = j - i. Is h a prime number?
False
Suppose -29*k + 21*k = -97976. Is k a composite number?
True
Let l(g) = 6770*g + 761. Is l(7) prime?
False
Let j be 2480/(-75)*-3 + (-1)/5. Is (7218/j)/(1/11) prime?
False
Suppose -19*m + 15*m = 49328. Let g = 21361 + m. Is g prime?
True
Is -5 + (-1419186)/(-18) - (-10)/30 prime?
True
Is (-1 - 4) + (3*267539/3 - -7) composite?
False
Let i = 103334 + -2427. Is i a composite number?
False
Suppose -4*t - 2*o + 20 - 6 = 0, -2*o + 10 = 3*t. Suppose t*s - 325 = 91. Suppose n = s + 45. Is n a prime number?
True
Let y be (36/14)/(2364/392 + -6). Let t(d) = -11 - 102*d + 8*d + 36*d - y*d. Is t(-4) prime?
True
Let m = 4366 + 14985. Is m prime?
False
Suppose -5*r = 2*m - 382, -148*r = -m - 149*r + 200. Suppose -2*u = 2*u - 2028. Let g = u - m. Is g composite?
True
Suppose 4*i - 3*r = 581, 2*i - 196 - 105 = 5*r. Is i composite?
True
Let v(u) = 234*u**2 - 9*u + 22. Let i be v(3). Suppose 3*z = -2*d + 1263, 5*z + 2*d = -0*z + i. Is z prime?
True
Is ((-33)/4)/((-39)/979628) composite?
True
Let r(h) = 27*h**2 + 2*h + 2. Let z(x) = x**2. Let p(j) = r(j) - 4*z(j). Let l(a) = 5*a - 32. Let b be l(7). Is p(b) a prime number?
False
Is 2/((-24)/(-10012))*(-51 + 162) composite?
True
Suppose 28*r = 2*w + 30*r - 121666, -182499 = -3*w - r. Is w prime?
False
Suppose -2*m - 2*m + 68 = -4*b, 4*m + 86 = -3*b. Is 14354/6 + b/(-33) prime?
True
Is 212540178/711*(30/24 + 2/8) a prime number?
True
Let k(z) = -6078*z + 3902. Is k(-4) prime?
False
Suppose -51 = -3*t - 3*p, 0 = 3*t + 2*p - 27 - 24. Let v = -23 + t. Is v*(-280)/12 - -1 composite?
True
Is 27/((-297)/176) + 165899 a prime number?
True
Let s(n) = 557*n - 69. Let m be s(-2). Let j = 8584 - m. Is j a composite number?
False
Let y(o) = -o**3 + 56*o**2 + 26*o - 2. Is y(-17) prime?
False
Let z(q) = q**3 - 12*q**2 + 31*q + 10. Let p be z(8). Is (24962/(-70))/(p/(-50)) prime?
False
Suppose 63*g - 65*g + 35680 = 0. Suppose -g = 23*f - 15*f. Is 3/((-2)/f*5) a composite number?
True
Let g = 340 - 336. Suppose -3*k = -4*x - 71271, 5*x - g*x + 95015 = 4*k. Is k a prime number?
True
Let c = 37400 + -35439. Is c a prime number?
False
Let n be (-256)/(-192)*52518/(-4). Let b = -6839 - n. Is b prime?
True
Let q = 436 - 432. Suppose 0*v - 4*v + 2*a = -10, 3*v - 9 = a. Suppose -c + q*k + 265 = 82, 0 = -5*c + v*k + 931. Is c composite?
True
Suppose -5*n - 109 = -3*m, -45 = -4*m + 4*n + 95. Is (-226800)/(-156) + 1 + m/(-39) a prime number?
False
Let q = 126638 - 90039. Is q prime?
True
Let u(c) = -65*c + 6317. Let z(g) = 13*g - 1263. Let a(o) = -2*u(o) - 11*z(o). Is a(0) a composite number?
False
Suppose -5*w = 3*a - 0*w - 129, 2*w + 129 = 3*a. Suppose 4*k = 4455 - a. Is k composite?
False
Let v = -22010 - -25663. Is v a prime number?
False
Suppose -1134 = -2*u + 4*x, x = 2*u + 802 - 1930. Suppose p = -2*p + 2*t + u, -3*p - 5*t = -535. Is ((-16)/(-4) - p)*-1 composite?
False
Suppose 35*j - 6928453 = 32*j - 46*j. Is j a composite number?
False
Let n = 13915 - -8104. Is n a prime number?
False
Let c = -10138 + 14337. Suppose 3*b + 1052 - c = 0. Is b a composite number?
False
Let h be 1/2 + (-38967)/(-6). Suppose -82*y = 24 - 24. Suppose y = 2*o - h + 349. Is o prime?
False
Let r(u) = 1000*u + 14557. Is r(145) a composite number?
True
Let c = -182795 - -302836. Is c prime?
True
Let x(k) = -7785*k - 76. Is x(-11) prime?
False
Let f(d) = -d**3 + 16*d**2 + 2*d - 11. Let k be f(16). Suppose 5*y - k + 6 = 0. Suppose 3*p - 3942 = 5*r, -2*r = y*p + r - 3966. Is p composite?
