n a prime number?
True
Let o(m) = 94*m**2 + 8. Let q be o(-5). Let f be 1/(2*1/q). Let g = f + 464. Is g prime?
False
Suppose -552604 = -11*n + 95659. Is n composite?
True
Let m(p) = -1369*p - 701. Is m(-126) composite?
False
Suppose -9*h + 344289 = -1054757 - 88537. Is h a prime number?
True
Let z(a) = 344*a**3 + 8*a**2 - 17*a + 71. Is z(4) a composite number?
False
Let r = -1243 - -2137. Let w = r - -50. Suppose 4*l - w = 2684. Is l a prime number?
True
Suppose -194*f + 227*f - 2099427 = 0. Is f prime?
False
Let o(y) = 38*y**2 + 40*y - 14. Let m be o(16). Suppose w - 4 = 0, 3*w + 16689 = 5*u - m. Is u composite?
True
Suppose -3*z + 27 = -3*g, 0 = -z - z + 3*g + 20. Suppose -3 = -z*w + 6*w. Suppose 5*p - 8416 = -4*m, -w*m + 2*p + 6183 = -106. Is m prime?
True
Let v(x) = 24*x - 1. Let s be v(0). Let o(k) = 4107*k**2 + 3*k + 1. Is o(s) composite?
True
Let l(o) = 3*o**3 - 13*o**2 + 6*o - 8. Let w be l(4). Suppose q = -j + 7901, 7901 = -w*q + q + 5*j. Is q a composite number?
False
Let i(l) = 15*l**2 + 76*l + 119. Let f = -57 + 49. Let h(o) = 5*o**2 + 25*o + 40. Let r(t) = f*h(t) + 3*i(t). Is r(-22) prime?
False
Let v be (-4429)/(-6) - (-1)/(-6). Let h = v + 1871. Is h a composite number?
False
Suppose -617656 = l - 7*l - 2*l. Is l prime?
False
Let v be (-56)/98 - (-10)/(-7). Let b be ((-1)/v)/((-1)/2676). Let y = b - -2236. Is y a prime number?
False
Let y = -67344 + 182285. Is y a prime number?
True
Suppose 30190 = -3*c - 23375. Let y = c + 26976. Is y a composite number?
True
Let a(u) = u**2 - 5*u + 3. Let z(m) = -m + 6. Let s be z(6). Let v be a(s). Suppose -4*g = 2*t + 440 - 3140, -v*t - 12 = 0. Is g composite?
False
Let i = -44 + 41. Let z(l) = -4*l - 6. Let k be z(i). Is (-1 + 2)/(k - 41965/6995) a composite number?
False
Suppose -5*i = -4*m + m + 420, -3*m + 2*i = -420. Is (-30)/14 + 20/m + 4783 prime?
False
Let u(c) = 12*c**2 - 3*c + 4. Let l be u(3). Suppose -l*t + 3908 = -101*t. Suppose -5358 = -4*d - t. Is d composite?
True
Is (12 - 26421)*((-39)/(-117))/((-2)/46) a composite number?
True
Let j be 12/(-3)*5920/128. Let q = j + 10516. Is q composite?
False
Suppose -12*m + 373414 = 12262. Suppose -m - 64794 = -30*o. Is o a prime number?
True
Suppose 14*w = 42*w - 805868. Is w a prime number?
False
Suppose -6*p + p = -25. Suppose 4 = 3*k + 5*v, 0 = -3*k + p*v - 2*v + 12. Is (k/(-9))/(1/(-39)) a composite number?
False
Let j = -354 - -356. Suppose -4*y = j*f - 21396, -4*f = -4*y + 14569 + 6851. Is y prime?
True
Let z(n) = 4*n**2 - 2*n - 5. Let h(j) = j**3 + j + 1. Let w be h(-2). Let t be z(w). Let i = t - -250. Is i prime?
True
Let k(p) = 32*p**2 + 10*p - 631. Is k(-65) prime?
True
Suppose 469 = 29*p - 82. Suppose 2*i - 32403 = -p*i. Is i a prime number?
True
Is (215756/(-3))/(152/(-114)) a composite number?
False
Suppose 0 = -3*o + 415 + 1154. Suppose 2*w - 4*x - o = 2347, 3*w - 5*x = 4307. Is w a prime number?
True
Suppose -9*i - 9*i = -415818. Let u = i - 6864. Is u prime?
False
Suppose 168*j = 167*j - 531. Let w = j - -3990. Is w a prime number?
False
Suppose 29 - 90 = -4*a - 3*j, -5 = 5*j. Is (-2)/a - 512964/(-288) prime?
False
Is (-10*(-4)/(-80)*20)/((-2)/187273) prime?
False
Let w(m) = m**3 + 17*m**2 - 41*m - 52. Let y be w(-19). Is y/3*(-305964)/(-90) a composite number?
True
Let s be 6 + -3 - 8 - 29/29. Is s + 9058 + 18/6 composite?
True
Let w(i) = -324*i**3 - 15*i**2 + 22*i - 22. Is w(-7) a prime number?
True
Suppose -3*x + 5*q - 67244 = -0*x, 4*x - 4*q = -89648. Let p = x + 36701. Is p prime?
True
Suppose y - 5 = 0, -5*y + 10 = 60*g - 63*g. Suppose -3*v - 12 = -3*c, -2*v = 2*c - 5*v - 6. Suppose c*l = g*l + 331. Is l composite?
False
Let y = 29519 - 12288. Is y prime?
True
Let c(f) = 3*f**2 - 9*f - 27. Let z be c(-3). Suppose -z*u - 28760 = -35*u. Is u composite?
True
Is (2/2)/((-2 + -3)/(-676945)) a prime number?
True
Suppose -3*b + 2764 = -l, -31*l + 26*l - 1821 = -2*b. Is b composite?
True
Let g(t) = -t**2 - 5*t + 4. Let w be g(-5). Suppose -33*s = -8*s - 26350. Suppose -s = -i + x, 4*x = i + w*i - 5265. Is i prime?
True
Let o(a) = a**3 + 3*a**2 - 5*a - 14. Let z be o(-2). Let r be 13/(-11) - (-4)/22. Is (-257)/(r/2*2 + z) a prime number?
True
Let g(w) = -202*w + 2 + 1 + 0. Let d be 4 + 4/1*(-69)/46. Is g(d) a prime number?
False
Suppose -2*o + 4815 = o + 3*p, 5*p = 5*o - 7985. Is o prime?
True
Let u(j) = 127*j**3 - 2*j**2 - 2*j - 2. Let q be u(-2). Let y = 2137 + q. Let l = 78 + y. Is l a prime number?
True
Let x = 61 - 64. Let v(q) = 29*q**3 + 5*q + 2. Let i be v(x). Let k = 1205 + i. Is k prime?
True
Let i be 64/(-6) + (-4)/(-6). Let w(b) be the third derivative of 9*b**5/20 + 5*b**4/6 - 23*b**3/6 + 620*b**2. Is w(i) a composite number?
False
Let g(t) = 15*t**3 + t**2 - 5*t + 2. Let b be g(3). Suppose -719 - b = 5*x. Let w = x - -373. Is w prime?
True
Let j be 2/12 - 22/(-12). Suppose 5*c + k + 35 = -178, -5*c = j*k + 216. Let d = c + 48. Is d composite?
True
Suppose 12*h = 7*h - 54010. Is (-2)/(-3) - h/6 a prime number?
True
Suppose -y = 5*p - 3*p - 240932, 240948 = 2*p - 3*y. Suppose -p = -9*f - 3*f. Is f a prime number?
True
Let p(t) = 6369*t**3 - 25*t**2 + 24*t - 17. Is p(3) prime?
True
Let s(p) = 764*p - 33. Suppose -m = -2*a - 28, 3*m - 92 = -5*a - 8. Let l be s(m). Suppose -2*n + 4266 = u - 7*n, 4*n = -5*u + l. Is u a composite number?
False
Suppose -69 = -4*f - 3*d, 2*d + 9 = f - 0*d. Let h = f + 4. Let m(x) = x**3 - 17*x**2 + 19*x - 6. Is m(h) prime?
False
Let i(p) = 8*p**2 - 3*p - 9. Let a be i(-6). Let n be a/(-135) - (-2)/10. Is (1942/4)/((-1)/n) prime?
True
Is (177/(-118))/((-54)/8) - 1271527/(-9) prime?
False
Let c(v) = -v**3 + v**2 + 9*v + 2. Let r = 28 - 24. Let y be c(r). Is (-44174)/(-10) - (-4)/y a composite number?
True
Let z(f) be the second derivative of 2 + 21*f - 251/2*f**3 + 10*f**2. Is z(-9) a composite number?
True
Suppose 0 = v + 3, -98*w - 5*v = -94*w - 487133. Is w a prime number?
True
Let z = 51 - 33. Suppose 0 = 8*i - 5*i + z. Let h(r) = -4*r**3 - 4*r**2 - 4*r - 1. Is h(i) prime?
True
Let a be 2 + 1 + (9 - 6). Let x be 4/(32/a)*(66 - -2). Is 131 - (x/17 + (-10)/2) composite?
True
Let f = 603988 + -356537. Is f prime?
True
Suppose h + w - 48238 - 27015 = 0, 7*h + 5*w - 526759 = 0. Is h prime?
False
Is (-1)/(64/(-928) - (-5615108)/81420748) composite?
False
Suppose 214*s - 2377903 = 203*s. Is s prime?
True
Let k = 80175 + 48416. Is k composite?
False
Let k be (5/(-7))/((-34)/238). Suppose 9 = -3*h + 3, 4*j - k*h = 2094. Is j a composite number?
False
Let h(a) = a**3 + 16*a**2 + 19*a + 16. Let r be h(-15). Let f = 45 - r. Is f a prime number?
True
Let w(a) = -8*a - 17. Let d be w(-4). Suppose d = 8*p - 9. Suppose 2*u + 3925 = 6*u + p*v, 5*u - 4892 = v. Is u prime?
False
Suppose 27*s - 2 = 160. Suppose -56241 = -s*l - 3*l. Is l a composite number?
True
Let g(d) be the first derivative of 7*d**3/3 + 3*d**2 + 2*d - 2. Suppose 0 = 255*t - 278*t - 161. Is g(t) prime?
False
Let m(i) be the third derivative of 1/12*i**4 + 2*i**3 + 0*i + 0 + 1/4*i**5 - 8*i**2. Is m(-7) composite?
False
Suppose -5*k - 5*w = -85, k + 2*w - 2 = 16. Let r be -3 - -3*k/12. Is (1438/4)/(r/2) a composite number?
False
Let w = 631 + -629. Suppose -w*j - q + 14210 = 0, 0*j - 2*q = -4*j + 28404. Is j a prime number?
True
Suppose -3*w = -3*s - 87, -6*w + 71 = -2*w + 5*s. Suppose 26 = h + w. Is 1370 + h*(-6)/4 prime?
True
Let z(m) = -350*m**3 - 4*m + 9. Let y(l) = 349*l**3 + 3*l - 8. Let r(x) = -6*y(x) - 5*z(x). Let p be r(-1). Suppose 0 = -6*k + k + p. Is k prime?
False
Suppose m - b = 282703, 135310 + 147417 = m + 3*b. Is m a composite number?
True
Suppose 1 = 5*q + 4*y - 0*y, -3*q = -4*y - 7. Is -3*10/15 + 8522 + q a composite number?
False
Let k be -1 + 10/(-30) + 518/6. Suppose p - k = 6*p. Is p/1*(5 - (-144)/(-3)) composite?
True
Let g(b) = 529*b + 705. Is g(40) a prime number?
False
Let f(m) = m**2 + 6*m + 8. Let a be f(-5). Suppose a*c - 18716 = c. Is c prime?
False
Let o(j) be the second derivative of -385*j**3/3 - 3*j**2 - 3*j. Let q be o(-6). Suppose 5*d - 3*s = q, 2*d - 3*d + 2*s + 927 = 0. Is d a composite number?
True
Let p = -117379 + 209288. Is p a prime number?
True
Let a be (-9)/(-24) - 108/32. Let p(v) = -2*v - 10. Let n be p(a). Is ((-2)/n + -1)/(3/(-858)) a composite number?
True
Let n(r) = -r**3 - 29*r