488*y**2 - 310*y - 9. Is i(-8) a prime number?
True
Suppose -41 = -5*h - 21. Suppose -r - 795 = -l + 3*r, h*l = r + 3165. Suppose -4*y + v + l = 6*v, y - 4*v = 203. Is y a composite number?
False
Suppose -8*m = -3*m - 5. Let f(x) = 2*x**3 - 3*x**2 + 3*x + 1. Let a be f(m). Suppose 2*h + 4*z - 2608 = 0, -h = -a*z - 652 - 657. Is h prime?
False
Let o = -20 - -31. Suppose o*s - 9*s = 366. Let n = 1252 - s. Is n a composite number?
False
Let r(g) be the second derivative of -1/6*g**3 + 7*g - 3*g**2 + 0 + 1/4*g**4. Is r(-5) composite?
True
Suppose -38*b - 743760 + 3059366 = 0. Is b prime?
True
Let r(o) = -727*o - 2*o**3 + 5*o**3 + 2 + 1395*o - 6*o**2 - 692*o. Is r(11) a prime number?
False
Is (((-441)/(-33))/(-3) - 126/231) + 106558 a prime number?
False
Let q(u) = -26*u - 6. Let w be q(-5). Suppose -188 = -3*a - y, -3*y + 8 + 231 = 4*a. Let t = w - a. Is t composite?
False
Let x(t) be the second derivative of t**5/10 - 7*t**4/6 - 2*t**3 + 29*t**2/2 + 5*t + 11. Let r = 1 + 9. Is x(r) a composite number?
False
Let n = -118 - -121. Suppose 4*j - 2227 = -v, -n*v - 5*j - 2263 = -4*v. Is v a prime number?
True
Let r(z) = -13*z**2 - 18*z + 5. Let u(x) = -7*x**2 - 9*x + 3. Let b(s) = 6*r(s) - 11*u(s). Let w be b(-8). Suppose 7059 = w*o - 2956. Is o prime?
True
Let z(y) = 359*y**3 + 6*y + 2. Is z(5) a prime number?
False
Suppose 5*c - 24 = x + 26, 15 = 3*x. Suppose 3*z - 1 = c. Suppose -u + d + 1465 = 0, 2*u - z*d - 1400 - 1530 = 0. Is u a composite number?
True
Is (-44)/(-110) - 754551/(-35) composite?
False
Let t = 112 + -90. Let p be 3/12 - (1 + t/(-8)). Suppose -3*a - 462 = -4*v + 77, -p*v + 3*a + 271 = 0. Is v composite?
True
Let j(a) = 2*a**3 + 28*a**2 + 204*a - 49. Is j(40) composite?
True
Suppose q + 4*m = -16 + 5, 0 = -3*q - 2*m - 3. Is 5*1322 + (-3)/q + 2 composite?
True
Suppose 0 = 5*o + 3*d - 257580 - 19325, -o + 4*d + 55381 = 0. Is o a prime number?
True
Let z = 1009427 + -668704. Is z a prime number?
True
Suppose k + 4*b = 3*b + 328, -k - 5*b = -336. Let y be (-15624)/(-88) - (24/(-22))/(-2). Let x = k - y. Is x prime?
True
Suppose 0 = 12*d - 17*d. Suppose -4*w + 3*k + 5 = -d, -w + 3 = k. Suppose 0 = 5*q + 2*n + w*n - 490, 0 = -4*q + 3*n + 361. Is q a composite number?
True
Let t be (-42)/273 + 28/13. Suppose 59747 = 3*s + 4*j, -39826 = -2*s - t*j - 2*j. Is s prime?
False
Suppose p - 83*b + 87*b = 35887, -b + 71732 = 2*p. Is p a composite number?
False
Suppose 13*m = 12*m + 5*t + 2025776, 4*m + 4*t = 8103272. Is m prime?
False
Suppose -4*j + 14 = -74. Suppose -70946 = -j*h + 108288. Is h prime?
True
Let w = 27 + -27. Suppose 6*y - y - 1245 = w. Let u = -92 + y. Is u prime?
True
Suppose 69 = 3*s + 3*i, 5*s = i + 2*i + 139. Suppose 7426 = s*a - 24*a. Is a prime?
False
Suppose 8*h - 2915 = 3*h. Let z = h + -342. Let a = z - -556. Is a a prime number?
True
Let s(o) = 65*o + 17. Let u(c) = -65*c - 17. Let i(t) = 5*s(t) + 6*u(t). Let a be i(-7). Is (2 + 19)*a/18 composite?
True
Let r(b) = -b**2 + 1. Let m(x) = 167*x**3 + x**2 + x. Let o(k) = -m(k) - 2*r(k). Let n be o(-1). Suppose -159 - n = -2*l. Is l a prime number?
True
Is (-7612774)/(-572) - (-2)/(-44) composite?
False
Suppose 15*b - 1879845 = x, 6*b - 125323 = 5*b + 2*x. Is b composite?
True
Let r = -19 - -23. Let m be -1 - (r - 0 - 3). Is (966/(-12))/(1/m) a composite number?
True
Is (2/((-16)/69442))/(3*12/(-144)) composite?
False
Let y be 0 + 4 + 2 + -1. Suppose 6*n = 5*n + y*z - 7, -5*n + 81 = 4*z. Is (-430 + n)*2/(-6) a composite number?
False
Suppose f + a = 2*f - 1, -a = -2*f + 1. Suppose f = r + 2*r, 26360 = 4*m + r. Let u = m + -3712. Is u composite?
True
Suppose -30*c + 3002209 = 2809328 - 6357829. Is c prime?
True
Is (-390851)/(-9) + (-240)/270 composite?
False
Suppose -4*u - 48304 = -4*d, 2*d + 24146 = 4*d - 4*u. Is d a composite number?
True
Suppose -3*b + 872 = -5*b - 2*r, -4*b - 1772 = -3*r. Let w = 693 + b. Is w prime?
False
Let c(h) = -10632*h - 373. Is c(-2) a composite number?
True
Suppose -689 + 339 = -7*y. Suppose y*r = -15*r + 303290. Is r a prime number?
False
Let p(b) = 769*b - 493. Is p(66) a prime number?
True
Let y(h) = 40*h**2 + 45*h - 79. Let i be y(-20). Suppose 13*o + i = 45142. Is o a composite number?
True
Let j be (-75)/(-3) + 2/4*-2. Suppose 23*o = j*o + 17463. Is 8/(-76) - o/19 a prime number?
True
Let m = 20158 + -10090. Let r = m + -5276. Suppose 5*k - 2143 = 4*z + r, 1373 = k + 2*z. Is k prime?
False
Let s(j) = 1412*j - 83. Is s(17) a composite number?
True
Let i(o) = 1. Let t(r) = r - 16. Let c(p) = 4*i(p) - t(p). Let u be c(17). Suppose u*d - 7555 = -5*a + 5*d, 3*d = a - 1511. Is a composite?
False
Let n(c) = 13639*c - 2922. Is n(11) prime?
True
Suppose 0 = -5*g + 8 + 2. Is (4/8 + 3)/(g/5444) prime?
False
Let a(v) = 116*v**2 - 90*v + 459. Is a(-92) a composite number?
True
Let z = 705 + -704. Is (z*(-3260)/(-50))/((-4)/(-610)) a composite number?
True
Let n be (-3 + 4)/(2/6). Suppose 11943 = 3*m - n*s, 0*m - 11943 = -3*m - s. Is m prime?
False
Let a(h) = -h**3 - 6*h**2 - 5*h - 7. Let j(t) = t**3 - 6*t**2 + 8*t - 2. Let s be j(3). Let f be a(s). Is (-2)/f - 17906/(-98) a prime number?
False
Let t(r) = 927*r - 879. Is t(8) a prime number?
False
Let z(m) = -3880*m - 18. Let s be z(-2). Suppose 0 = 2*c - 4616 - s. Is c a composite number?
True
Let u = 435 - 160. Let o be 1 + 3 - u - (2 - -1). Let j = 699 - o. Is j a composite number?
True
Suppose -4 = -y - 5. Suppose -30*j + 21*j = -36. Is j + -2 - -674 - (-3)/y a composite number?
False
Let d = 157 - -453. Let v = d + -1478. Let l = v + 1287. Is l composite?
False
Suppose -4*f + 18 = -2*g, -2*f + 0*f = 3*g + 3. Let q(u) = -6 + f*u**2 - 5*u + 0*u - 2*u**2 + 15. Is q(16) prime?
False
Let m = 251147 - -1118576. Is m composite?
False
Suppose 30*w - 9*w = 0. Suppose 2*x - 5820 + 1154 = w. Is x prime?
True
Let w(d) = 7*d**3 + 70*d**2 + 115*d - 42. Let a(y) = 4*y**3 + 34*y**2 + 57*y - 22. Let v(l) = -5*a(l) + 3*w(l). Is v(-37) a composite number?
False
Let d(g) = 2*g**3 + 5*g**2 - 7*g + 7. Let w = -25 - -23. Let v(z) = 2*z**2 - 4. Let j be v(w). Is d(j) prime?
False
Let x = -39 - -37. Let f be x*3*(-18)/27. Suppose l - v - 38 = 26, 5*l - f*v = 321. Is l a prime number?
False
Let f = -62548 - -129795. Is f prime?
True
Let p(u) = -450*u + 2. Let a be p(-6). Suppose -5*y = -5*d + 9575, -5*y - 10*d = -12*d + 9575. Let b = y + a. Is b a prime number?
True
Let g(j) = -6*j**3 + 6*j**2 + 31*j - 16. Let a be g(-13). Let c = a + -7938. Is c a composite number?
False
Let h(x) = 2*x + 6. Let b be h(-2). Suppose 0 = -b*y + 4*z + 3 - 7, 4 = 2*y - 2*z. Suppose -1012 - 746 = -y*s. Is s a prime number?
True
Suppose -3*o = 6 - 45. Let l = o - 11. Suppose -l*s + 6*w - 3*w + 1937 = 0, -4*w = 4*s - 3864. Is s composite?
False
Suppose 78*j = 76*j. Suppose -2*t + 2 - 8 = j, 0 = -3*h + 4*t + 65313. Is h a composite number?
False
Suppose -i = -4*b + 4*i - 93, 0 = 4*b + 4*i + 48. Let v = 39 + b. Is ((-2)/3)/(v/(-64911)) composite?
True
Suppose -5*j + 396 = -3*j. Suppose -9*p = -198 - j. Let c = p + 141. Is c a composite number?
True
Suppose 7*c = c + 990. Suppose q = -h + c, 4*q + 11 = -5. Is h prime?
False
Let u = 97 + -78. Let g be (1 - 1)/(20 - u). Suppose g = -7*s - 3*s + 790. Is s prime?
True
Suppose 3*q + 1011398 = 2*z + 3*z, 4*q + 1011394 = 5*z. Is z a prime number?
False
Let w = 201211 + 154732. Is w prime?
False
Suppose -6048429 = -71*v - 1228283 + 3530661. Is v a prime number?
True
Is 334/5511 - (-7028569)/33 composite?
False
Suppose -65395 = -2*v - 4*f - 23037, v = 5*f + 21214. Suppose -5*g + v = 16*g. Is g prime?
True
Let v(l) = -277*l**3 + 10*l**2 + 19*l + 15. Is v(-11) a composite number?
False
Suppose 5*k - 114567 = -v, 232*v - 4*k = 235*v - 343657. Is v a prime number?
True
Suppose -4*t = b - 8495, -t = 4*b - 36100 + 2135. Is b composite?
True
Suppose -120*v + 12341349 = -93*v. Is v prime?
True
Let z = 48 + -44. Suppose -2*p + 4*p = z*v + 30, 0 = -p + 4*v + 25. Suppose -a = -3*h - 1191, -h + 3*h - 5955 = -p*a. Is a a composite number?
True
Let i(v) = v**3 - 9*v**2 + 42*v - 135. Is i(47) a prime number?
True
Let o(u) = u + 3. Let i be o(19). Suppose i*x = 52*x - 57030. Is x a prime number?
True
Let d = 269 + -266. Suppose -9*c + j - 57312 = -14*c, -d*j = 4*c - 45843. Is c a prime number?
False
Let h(y) = y**3 - 6*y**2 