 y a composite number?
True
Let b = -6820 + 6969. Is b prime?
True
Suppose 9*h + 690378 = 12*h - 5*f, -5*f = 3*h - 690408. Is h composite?
True
Suppose -9*q - 56 = -11*q. Suppose 26*h + 4714 = q*h. Is h composite?
False
Let g = 150696 - 101359. Is g a prime number?
False
Suppose -11846*t + 11840*t + 225906 = 0. Is t prime?
False
Let z be (-407)/(-55) + 4/(-10). Is -7634*(3 - z/2) prime?
False
Suppose 27*y = 228882 + 307365. Suppose -y = -5*h - f, -3*h + 11939 = 11*f - 16*f. Is h prime?
False
Let y(n) = -n**2 - 8*n + 2. Suppose -2*f + 25 = -3*i, 2*i + f = -0*f - 12. Let h be y(i). Is -3*((-876)/h + (-4)/12) prime?
True
Let g = 852254 - 302917. Is g composite?
True
Is ((-45)/180)/(2/(-2147512)) a prime number?
True
Is (7 - (12 - -2))*-1951 a composite number?
True
Let g(a) be the first derivative of -a**4/4 - 25*a**3/3 + 11*a**2/2 - 51*a - 13. Is g(-28) composite?
False
Suppose 54*h + 38*h - 16539938 = -86*h. Is h composite?
False
Suppose 6*x - 11*x + z + 6800 = 0, 2720 = 2*x + 5*z. Suppose -9*s + 7201 = x. Is s prime?
False
Let c(f) = -50835*f - 150. Let z be c(20). Is 6/9 + z/(-90) a prime number?
True
Let r(o) = 206*o**2 + o - 1. Let x(b) = -b**2 + 8*b + 12. Let f be x(9). Let u(d) = d - 5. Let y be u(f). Is r(y) a prime number?
True
Suppose 5*x + 2338 = -170*i + 171*i, 2*i - 4736 = -2*x. Is i a prime number?
False
Suppose -18 = -5*l - 4*c, 2*c = 3*l - 6*l + 10. Suppose 24 = 3*m - 4*i, 0 = l*m - 4*i + 2*i - 18. Is (3 - 40/m)*-3*929 prime?
True
Suppose -209030 = -5*z + 58*t - 53*t, 83622 = 2*z - 4*t. Is z a prime number?
True
Suppose -27 = -3*z + 5*p, -2*z - 5*p - 1 - 6 = 0. Suppose z*l + 406 = -46. Let y = -46 - l. Is y composite?
False
Let h = 26 + -16. Let i be (4/8)/((h/1964)/5). Suppose -5*m + i + 2964 = 0. Is m prime?
True
Let m = 525593 - 352646. Is m prime?
False
Suppose 0 = -124*c + 129*c - 20510. Is -5*8/(-80)*c composite?
True
Suppose 5*v = u + 147, 2*u = -0*v - 5*v + 141. Let p = v + 11. Suppose c - p = 209. Is c prime?
False
Suppose -5*r - g + 0*g = -3, 0 = -5*r + g - 3. Let l(u) = 4*u + 2 + r*u - 253*u**2 + 1132*u**2. Is l(-1) a prime number?
True
Let n(m) = -797*m + 343727. Is n(0) composite?
False
Suppose -5920 = -5*p + 2775. Suppose 0 = -227*y + 228*y - p. Is y composite?
True
Let f be (((-1352)/(-16))/(-13))/((-2)/92). Let o = f - -194. Is o composite?
True
Let w = -275426 - -433933. Is w composite?
False
Suppose -m - 5*y - 6970 = 23181, 6 = -2*y. Is m/(-8)*(11 + -4) prime?
False
Suppose 2*c - m = 247300, 6*m = c + 2*m - 123657. Is c composite?
True
Suppose 2589*l - 2670*l + 10437579 = 0. Is l a composite number?
True
Let z(m) be the second derivative of -121*m**5/20 + 5*m**4/12 + 5*m**3/6 - m**2 + 22*m + 1. Is z(-3) composite?
True
Let q = 7554 + -16687. Let m = q - -15681. Suppose -5*i = -4*h + m, 2*i - 4911 = -3*h + 6*i. Is h a composite number?
False
Let r = 35026 + 2131. Is r a composite number?
True
Let v(z) = -14*z - 116. Let f be v(-12). Suppose -55*u + f*u + 36753 = 0. Is u composite?
False
Suppose 28*h - 38*h = 58080. Let z = 12931 + h. Is z a composite number?
True
Let a(j) be the first derivative of 37*j**3/3 + 3*j**2/2 - 111*j + 122. Is a(8) a composite number?
False
Let i(w) = w**2 - w - 3. Let n be i(-2). Is (-83022)/(-9) + 1/n + -2 a composite number?
True
Let r = -3000 + 1643. Let f = r + 2796. Is f composite?
False
Let q = -634 - -52383. Is q a prime number?
True
Let q be (-137851802)/(-133) - (-4)/14. Suppose 0 = 52*h - 362476 - q. Is h prime?
True
Suppose 234*t = 4*v + 233*t - 70834, 0 = 2*v - 3*t - 35432. Is v a prime number?
True
Suppose -5*l - 10 = -4*k, k + 10 = -5*l - 0*l. Suppose 4*z = 5*g - 255, -2*g - z + 3*z + 102 = k. Suppose -46*d - 8675 = -g*d. Is d prime?
False
Let t(o) = -2 - 6*o - 7 + 5 - o**2 + 1. Let m be t(3). Is (-6)/4*22220/m a composite number?
True
Suppose 18*h = 158007 + 148191. Is h prime?
True
Suppose -o + 1103948 + 3107090 = 25*o. Is o prime?
False
Let k = -21 + 24. Suppose 2*v = -2*q - k + 7, -v = -3*q - 2. Suppose -2*d + 0*d + 3262 = q. Is d prime?
False
Suppose 105*b - 43*b - 1059766 = 0. Is b composite?
False
Let l(c) = c**2 - 2*c - 26. Let g be (-4)/22 - -14*10/44. Suppose 86 = -g*i + 29. Is l(i) composite?
False
Suppose 17 = m + 4*t, -6*m + 5*t + 135 = -m. Suppose 0 = -m*c + 21*c + 5*u + 10619, -2*u = -3*c + 7973. Is c a prime number?
False
Let u(s) = 85 - 84 - 24*s - 10*s. Let j be u(-2). Suppose 5*h - 3584 = -j. Is h a prime number?
False
Suppose 0 = 3*k + 24823 - 79042. Suppose k = 6*c + 4075. Is c a composite number?
False
Let d = -23628 - -45658. Let h = d + -13509. Is h composite?
False
Let s = 60586 - 34681. Let m = s - 12644. Is m a prime number?
False
Let d(z) = 41*z + 28*z**3 - 3 - 85*z + 24*z. Is d(7) a prime number?
True
Let o = -579 - -586. Suppose -o*y = -1507 - 1272. Is y a composite number?
False
Let z be -5 + -5 + 16 + -6. Suppose z = -12*r + 10*r + 1814. Is r composite?
False
Let r(v) = v**2 - 15*v - 13. Let j(c) = -6*c - 14. Let k be j(-5). Let f be r(k). Suppose f*a - 5*a = -642. Is a a composite number?
True
Let y = 5 - 5. Let m be (-13 + 12)*(3 + y). Is -2*22*-6 - m a composite number?
True
Let u = 1797565 - 464742. Is u composite?
False
Let h = -64210 + 550373. Is h a composite number?
False
Let i(b) = 6*b + 38. Let o be i(-5). Suppose -20*c - o*c = -196028. Is c composite?
False
Suppose -2*w - 2 = -16. Is 8/24*2253*w a composite number?
True
Let b(d) = -d**3 - d**2 + 3*d. Let x(m) = -21*m**2 + 2*m + 2. Let o(c) = -2*b(c) + x(c). Is o(15) a composite number?
False
Suppose 9461 + 37092 = 4*n - 5*f, 2*n - 23299 = -5*f. Let w = n + -5121. Is w prime?
True
Let r(u) = -1728*u + 110. Let m be r(-14). Suppose m = -14*s + 16*s. Is s prime?
False
Is ((-168)/294 + 297991/14)*2 a prime number?
True
Suppose 3*c + 46 = -4*a + 3, -5*c - 53 = 4*a. Let p be (0 - 1087/2) + a/(-14). Let f = p - -880. Is f a prime number?
True
Suppose 2*x - 7*x - 13*u = -430046, 2*x - 172010 = -4*u. Is x composite?
False
Suppose 320*b - 296*b = 48. Let k(q) = -3 + 84*q + 130*q + 94*q. Is k(b) composite?
False
Suppose -4696826 + 5623434 + 7410457 = 55*v. Is v a composite number?
True
Let a be -1301*(-1 + 2)*(2 - -66). Is a/(-5) - (-81)/(-135) prime?
False
Let c be 136*(3/4 + 2). Suppose 0 = 2*j - 96 - c. Suppose i = 252 + j. Is i a prime number?
True
Let w = 27728 + -981. Is w a composite number?
True
Let l(f) = -f**3 - 41*f**2 + 87*f + 39. Let k be l(-43). Is (-118167)/(-14) - (k + 28/8) a composite number?
True
Suppose -9*h + 3*h + 14292 = 0. Let t = 238 + -233. Suppose -t*y + h = -2*y. Is y composite?
True
Suppose -13*v - 39589957 = -200*v. Is v prime?
True
Let k(j) = -1365*j - 1147*j + 31 + 1019*j - 1. Is k(-5) prime?
False
Let r(j) = -j**3 - 5*j + 1 + j - 20*j**2 + 30*j**2. Let s be r(9). Let q = 95 + s. Is q prime?
False
Suppose -170*o + 27*o + 310915981 - 17003076 = 0. Is o a prime number?
False
Suppose -3*b = 4*w - 63645, 4*w = 2*b - 6*b + 63640. Suppose 11*s - 6646 - w = 0. Is s a prime number?
False
Let i = 21 - 15. Suppose i*a + 1324 = 4252. Suppose -4*j - 365 = -3*t, t + 3*t = 5*j + a. Is t a composite number?
False
Is -1*(0 + -100099) + 121 + -117 a composite number?
False
Let k(h) = 1304246*h + 381. Is k(1) prime?
True
Let p = 9259 + -4725. Let c = 6785 + -3792. Let q = p - c. Is q a composite number?
True
Let v(i) = -i**2. Let u(l) = -4*l**2 + 9*l - 11. Let a(c) = -u(c) + 3*v(c). Let g be a(9). Suppose g*t = 9*t + 1724. Is t composite?
True
Let t(u) = 8 + 219*u - 476*u - 51. Is t(-12) prime?
True
Let x = 130 + -98. Let j(l) = 169*l + 401. Is j(x) composite?
True
Let x(z) be the third derivative of 301*z**5/10 - 7*z**4/24 - 4*z**3/3 + 50*z**2. Is x(-3) prime?
True
Suppose 44*u + 3222900 = 44*u + 180*u. Is u a prime number?
False
Suppose 19*c = 2*g + 14*c - 24463, 0 = -2*g - 5*c + 24473. Let a = g - 6253. Is a prime?
True
Let j(y) = 1145*y**2 - 21*y + 15. Is j(8) a prime number?
True
Suppose -2*q + 8 = -8. Let o be 6/q - (-17)/4. Suppose 0 = -o*i + 2460 + 685. Is i prime?
False
Let c(b) = 301*b**2 - 16*b + 51. Is c(8) prime?
False
Suppose -174448 = -9*w + 22*w - 29*w. Is w a prime number?
True
Let i(t) = 37*t + 3. Let o(u) be the second derivative of -u**4/12 + 3*u**3/2 - 3*u**2 - 13*u. Let p be o(3). Is i(p) a prime number?
False
Let u(s) = 16*s**2 + 123*s + 119. Is u(-