number?
True
Let y = -1264 - -1259. Let a = 15 + -21. Is ((75/a)/y)/((-2)/(-236)) prime?
False
Is -1*((-109438)/35)/(14/455) a prime number?
False
Suppose 10406 + 3640 = 3*m. Let r = 2710 - m. Is (-1)/(((-16)/(-4))/r) a composite number?
True
Let a(q) = -5*q - 38. Let p be a(-10). Let w(s) = 7*s**2 + 15*s - 7. Is w(p) a composite number?
False
Let g = 71 - 66. Suppose -4*u - 7 - g = 0, -4*m = -u - 23. Suppose 4*z = j + 2680, -3*z - m*j = -5*z + 1358. Is z prime?
False
Let x = 144311 + -3712. Suppose 7*g - x = -16*g. Is g a prime number?
True
Let w be 10/(-20) - (-94986)/(-4). Let n = w + 46648. Is n a composite number?
False
Suppose -355*s + 11*s = -75534488. Is s composite?
False
Suppose 3*q - 330180 = 3*w, -31 = 4*w - 27. Is q composite?
False
Let p(z) = 2*z**2 + 0 + 4*z + 2*z**2 + 0*z**2 + 2 - 1411*z**3. Let q(n) = 706*n**3 - 2*n**2 - 2*n - 1. Let a(c) = 6*p(c) + 11*q(c). Is a(-1) composite?
False
Let q(a) = 13730*a + 3439. Is q(18) composite?
True
Let g = -44 + 24. Let l = -795 + 1220. Let z = l - g. Is z prime?
False
Is 1/8*6*2*1935256/12 prime?
True
Let l be ((-6)/9 - 0) + (-78160)/(-15). Let i = -3 + l. Is i prime?
False
Let z(a) = 6630*a + 77. Let b be z(-14). Is (b/14)/1*-2 composite?
False
Let z = -14908 + 30029. Is z a composite number?
False
Let l be (-4 - -3)/(2/(-6)). Let k be (2/(-3))/(((-50)/5)/30). Suppose -k*u = -l*u + 7. Is u a prime number?
True
Suppose 3*g - 13*g + 23*g = 1174589. Is g prime?
True
Suppose 2*m + 12 = 3*m - 5*j, 0 = 3*j. Suppose 3*x - 8*g - 217 = -m*g, 4*x - 280 = 4*g. Is x a prime number?
True
Suppose 0 = 3*w + 11 + 1. Let d(m) = 5*m + 15. Let s be d(w). Is 194*(s/10 + 1) a composite number?
False
Suppose -p - 2*p + 20 = 5*q, 2*q - 8 = 5*p. Suppose 2*r - 18 = -4*f, r - 4 = -f - p*f. Suppose -s - f*u - 1787 = -5*s, 3*s = 2*u + 1335. Is s prime?
True
Let a(u) = 7*u**3 - 16*u**2 - 8*u + 853. Is a(32) a composite number?
False
Let u(w) = -9635*w - 262. Is u(-3) prime?
True
Suppose -347795 = -21*c + 1358497. Suppose -c = -10*o + 46298. Is o prime?
False
Suppose 3*x - 10 = 8*x. Let d be x/6 + (-8792)/(-6). Suppose 2914 = 2*z - 4*s, 0*z + z + 2*s = d. Is z a composite number?
True
Let k be (-1)/3*(1 - -20). Let o(s) be the third derivative of -47*s**4/24 - 5*s**3/3 - 42*s**2. Is o(k) composite?
True
Is (-35)/(350/615)*3386*(-3)/9 prime?
False
Let n(h) = 6 + 5*h**2 - 19*h - 5 - 4*h**2. Let f be n(21). Let x = f - -6. Is x a composite number?
True
Suppose -2*r + 80066 + 14880 = -4*f, 0 = -2*r - 5*f + 94919. Is r a prime number?
False
Let u(j) = -264 + 698*j + 136 + 131. Is u(2) a composite number?
False
Suppose -11*b + 1840527 + 915239 = 15*b. Is b a composite number?
True
Let i(d) = -42944*d + 253. Is i(-9) a composite number?
True
Let p(m) = 239*m**2 + 10*m - 4. Let b = -29 + 32. Suppose b*z + 8 + 7 = 2*y, -4*z - 2*y = 6. Is p(z) prime?
False
Suppose -119885 = -8*l + 21*l - 18*l. Is l composite?
False
Suppose 156*m - 183*m = -1451871. Is m prime?
True
Let i(f) = -320*f + 3397. Is i(-114) a prime number?
True
Suppose 34*a + 36*a - 6631478 = 4365452. Is a a prime number?
False
Let q be (2133/(-18) - -3)*-6. Let c = -6 + 11. Suppose -q = -c*u - 4*u. Is u a prime number?
False
Let y = -15 + 11. Let s(l) = -33*l**2 + 24*l + 99. Let q(p) = -11*p**2 + 8*p + 33. Let x(a) = y*s(a) + 11*q(a). Is x(-6) composite?
True
Suppose 3*j = -j + 5*t + 172, -2*j + 100 = t. Let w = -54 + j. Is ((-2)/w)/(2*5/6690) a prime number?
True
Suppose 5*l = 4*k + 332879, -4*k - 66595 = 919*l - 920*l. Is l composite?
False
Suppose 5*h = -p - 53, 2*h - 2 = -3*p - 18. Let i(o) = 23*o**2 + 18*o - 54. Is i(h) a prime number?
True
Let c be (1 + -5)*(1 - 2). Let f be -4*(0 - (c + -3))*409. Suppose 8*l + f = 12*l. Is l composite?
False
Let h = -6052 - -11498. Suppose 53*w = -2*o + 48*w + 14, -2*o = 8*w - 20. Suppose -o*f + 2664 = -h. Is f prime?
False
Suppose 2*l = 2*t + 38, 7 = 3*l - 2. Is (10090/(-4))/(1*8/t) prime?
False
Suppose -3*i - 9*i = -269772. Suppose -6*s + 10183 = -i. Suppose 0 = -40*q + 36*q + s. Is q a composite number?
False
Suppose 0 = -564*k + 573*k - 131319. Is k composite?
False
Let v(w) = -5*w**3 + 6*w**2 - 13*w - 7. Let g = 204 + -214. Is v(g) a composite number?
True
Suppose 0 = 5*f - 9 - 21. Suppose 6*y + f = 9*y. Suppose w - 132 = -4*k + 577, 0 = 2*w - y. Is k a prime number?
False
Let q(p) be the third derivative of -131*p**4/8 - p**3/6 - 4*p**2. Let u(y) = 5*y - 1. Let r be u(-1). Is q(r) prime?
True
Suppose -2*x + 34 - 40 = 0. Let n be (6 - 4) + (-18)/x. Suppose n*a + 2476 = 12*a. Is a composite?
False
Let v(m) = 825*m - 39. Let c be v(3). Let i be (0/(-2))/2 - -835. Let n = c - i. Is n composite?
False
Let o be (4/3)/(106/175695). Is o + 35/(-5)*-1 a composite number?
True
Let j = -90 + 95. Suppose j*n - 25 = -0*n. Suppose 1474 = n*q - 1591. Is q a composite number?
False
Suppose 5*z - 7 = 8. Suppose -18213 = -z*s - 2*y - 1048, 0 = 4*s + 5*y - 22882. Is s prime?
False
Let s = 21 - 18. Suppose -s*q - 621 = 951. Is q/(-8) - (-9)/6 prime?
True
Let g(k) = 44539*k**2 + 107*k + 413. Is g(-4) a prime number?
False
Let f(p) = 10723*p + 142. Is f(3) composite?
True
Is (-192)/112*7/2 + (66217 - 0) a composite number?
True
Suppose -3*b = 6, 2*x + 4*b - 21108 = -262. Is x composite?
False
Suppose 0 = 3*b - 5*f - 59533, 5*b - 4*f - 59531 = 2*b. Is b a composite number?
False
Is 3162482780/10065 - (-2)/33 a composite number?
True
Let z = 325227 + 20992. Is z composite?
True
Is ((8 + (-195)/26)/1)/((-2)/(-393116)) a prime number?
False
Let u = 47 - 45. Suppose -n + 2*n = u*v - 21736, n = -v + 10874. Suppose 0 = -4*a, 4*g - 3*a - v = 406. Is g a prime number?
True
Let x(r) be the second derivative of 77*r**3/2 - 64*r**2 - r - 23. Is x(11) prime?
False
Let v(q) = -127*q + 25. Let d be v(-15). Let t = d + -783. Is t composite?
True
Let i be 78/(-6)*(-24)/78. Suppose 3*k - y = 1390, -2*y - 1541 = -3*k - 156. Suppose -k = -a - i*a. Is a a prime number?
False
Suppose -2*y + 3 = -1, -y = -v - 3610. Suppose -33*c + 14052 = 20*c - 49*c. Let n = c - v. Is n composite?
False
Let k be (-136296)/(-26) - 10/65 - -2. Let z be (k/(-10))/2 + (-12)/(-60). Let y = 1797 + z. Is y composite?
True
Let o(m) = -m**2. Let q(x) = 117*x**2 - 2*x + 3. Let c(p) = 4*o(p) + q(p). Is c(2) a prime number?
False
Suppose 3*p = 5*g - 38, 5*p - 4*g - 12 = -71. Let w(a) = -a**3 - 3*a**2 - 24*a - 19. Is w(p) a composite number?
False
Suppose -84*l + 29*l = -2349435. Suppose 0 = -4*d + l + 17567. Is d a composite number?
True
Let d(w) = 28*w**3 + 15*w**2 + 11*w + 37. Is d(7) a prime number?
True
Suppose 4*c + r - 254752 = 0, -c + 39*r = 34*r - 63709. Is c a prime number?
True
Suppose -f = -4*b + 68468, -7*b = -4*b + f - 51351. Suppose -7*d + 68780 = -b. Is d composite?
True
Let r = 768 - -1033. Let u = -440 + r. Is u composite?
False
Suppose b - 1709 = -3*z, -2121 - 3006 = -3*b - 2*z. Is b prime?
True
Let d(m) = -m**3 - 15*m**2 + 18*m + 16. Let w be d(-16). Let y = w + 73. Let t = 80 - y. Is t prime?
True
Suppose -g = -3*v - 688, 3*g + 4 = v + 236. Let z = 631 + v. Suppose -z = -5*o - 137. Is o a composite number?
False
Suppose 0 = 35403*u - 35415*u + 2183772. Is u a composite number?
False
Suppose 88088 = n + 5*d + 31826, -4*d = -20. Is n a composite number?
False
Let r = 16325 + -11529. Let c = r + -1419. Is c composite?
True
Let n(m) = -549*m - 11. Let g(i) = -274*i - 5. Let q(c) = c**3 - 5*c**2 + 2*c + 1. Let x be q(4). Let w(o) = x*g(o) + 3*n(o). Is w(3) a prime number?
False
Let s(w) = w**3 + 4*w**2 + 2*w - 12. Let b be s(4). Let f = 120 - b. Is f + (-41433)/(-12) + 1/4 a prime number?
True
Let o be ((-5)/10)/((4 - 5)/14010). Suppose 39*n - 34*n = o. Is n composite?
True
Suppose 12*k - 93214 = 9*k + 156755. Is k a prime number?
False
Suppose -2*h + 965 = -2201. Let a = h + 1454. Is a prime?
True
Let t = -166 - -171. Suppose 0 = 5*v + t*o - 7875, -2*o + 7 + 1 = 0. Is v composite?
False
Suppose o - 789 = -2*d, o - 1573 = -o - 5*d. Let n = o + 3822. Is n a prime number?
True
Suppose -2*b = -4*z - 5*b + 17, 0 = b - 3. Let y(u) = -u**2 + 4*u. Let o be y(4). Suppose -w + 3*w = o, -z*r + 106 = -5*w. Is r a prime number?
True
Let h(r) = 4*r**3 - 71*r**2 - 40*r - 112. Let y(l) = -l**3 + 24*l**2 + 13*l + 37. Let m(t) = 2*h(t) + 7*y(t). Is m(-12) composite?
True
Let d(v) = 158*v*