a = 614 + 2223. Is a prime?
True
Suppose -88*u + 82*u + 514758 = 0. Is u composite?
False
Let x(c) = -4116*c - 5. Let w be x(-2). Suppose -11657 - w = -12*t. Is t a prime number?
True
Suppose -4*o - 1 - 15 = 0. Let h(c) = -c**3 - 3*c**2 + 2*c - 4. Let d be h(o). Suppose -3*t + 38 = 4*l, -t - d*l - 18 = -2*t. Is t prime?
False
Let y(q) = q**2 - 2*q - 10. Let i be y(-3). Let d(u) = 4*u**3 - 12*u**2 + 5*u - 7. Is d(i) a prime number?
False
Let v(z) = -56*z + 30. Let p be v(7). Let u = 655 + p. Is u a prime number?
True
Let k be (5 + (-2 - 3))/3. Suppose -4*s + 1102 + 94 = k. Is s a composite number?
True
Let y = 112 - 118. Let b(o) = -77*o - 15. Is b(y) a composite number?
True
Let s(n) = -3*n + 23. Let t be s(6). Is 2716/t + -2 - 8/40 a prime number?
True
Let d(z) = 2*z**2 - 18*z + 6. Let k be d(9). Is (-11280)/(-9) - 2/k composite?
True
Let w(i) = i + 1. Let z(m) = m**2 - 4*m - 4. Let t be z(5). Let l be w(t). Suppose -l*s - 2*s + 260 = 0. Is s a composite number?
True
Is (1/(-1))/((-195696)/27954 - -7) prime?
True
Suppose -10 = 14*o - 19*o. Suppose -x = 3*m + o*m - 483, -3*m + 1898 = 4*x. Is x composite?
True
Let z(l) = -114*l - 13. Suppose 3*d + 6 = a - 4, -6 = 2*d - a. Is z(d) composite?
False
Let s be (-2)/7 - (-30)/7. Suppose n = -f - 1, -4*f - 5*n = s + 4. Suppose -f*z + 403 + 392 = 0. Is z a prime number?
False
Suppose -2*j - j = z - 4941, 4*z = 0. Let o = 748 + j. Is o prime?
False
Let m(r) = -40*r**3 - 13*r**2 - 15*r + 1. Is m(-8) prime?
False
Let b = -5 + 9. Suppose 0 = -b*t - 8*d + 9*d + 1616, 0 = 2*t + d - 802. Is t a composite number?
True
Is -1 - 15/(-6) - (-4440)/48 a prime number?
False
Let q = -14377 - -24024. Is q a prime number?
False
Let s = -1 - -1. Suppose -3*l - 37 = -p, -2*p + l + 3*l = -66. Suppose s = -q + 2*q - p. Is q a composite number?
True
Let c = -5521 - -8474. Is c composite?
False
Is ((486894/(-24))/(-19))/(1/4) prime?
True
Suppose -3*t - 21 = -6*t. Let v = t - 4. Suppose 76 = -r + v*r. Is r composite?
True
Let j = 14948 + -7912. Is (24/16)/(6/j) a composite number?
False
Let s(t) = -t**3 + 6*t**2 + 11*t - 13. Suppose 2 = 3*j + 32. Is s(j) a prime number?
False
Let d(s) = -2 + 1 - 65*s - 52*s. Let v(n) = 16*n + 126. Let i be v(-8). Is d(i) composite?
False
Is (447/15)/(5/175) composite?
True
Let n = 48 + -45. Suppose -r - 5*m = -62, 0 = n*r + m - 0*m - 172. Is r a prime number?
False
Let j = -15428 - -52017. Is j composite?
True
Let w(q) = 865*q - 6. Let k be ((-2)/1)/((-54)/189). Is w(k) prime?
False
Is -1*((-5234 - 1) + 1) prime?
False
Let q(y) = y**3 - 5*y**2 - 2*y + 7. Let u be q(6). Let t = -28 + u. Suppose -6*g + t*c + 800 = -g, 3*c = 2*g - 311. Is g prime?
True
Let d = -446 - -317. Let r = d + 198. Is r a prime number?
False
Suppose -5*b = -108187 - 157138. Is b a composite number?
True
Suppose 5*c + 3*u + 211 = -u, -3*c - 129 = 3*u. Let w(m) = m**2 + 3. Let j be w(-4). Let v = j - c. Is v prime?
False
Is (22/33)/(10/84405) a composite number?
True
Let r(w) = w**2 + 7*w + 8. Let t be r(17). Suppose -m + 857 = 3*h, 5*h - 3*m - t - 1003 = 0. Suppose -v = -h - 32. Is v prime?
True
Let b be (-6)/10 + (-26)/(-10). Is 715 - (b + 0)*-2 prime?
True
Is (-3673220)/(-140) + (-18)/14 + 1 composite?
False
Suppose -8*o = -4*o - 6736. Suppose 0 = -2*w - 2*x + 672, 5*w + 0*w + x - o = 0. Is w a composite number?
False
Suppose -2*w = -3*h - 7, 0*w + 11 = h - 4*w. Is (-58 + 0/h)*(-10)/4 a composite number?
True
Suppose -21 = 2*r + s, -5*r - 35 = -2*r + 5*s. Let y = r - -14. Suppose -255 = -y*m + 601. Is m a composite number?
True
Suppose 9*t = 12*t + 273. Let l = t - -185. Is l a prime number?
False
Let i(r) = 6100*r**3 + 3*r - 2. Is i(1) prime?
True
Let q be 2/3 - ((-7)/21 - -2). Let b(x) = -682*x**3 - 2*x**2 - 2*x - 1. Is b(q) a composite number?
True
Suppose 0 = -4*w + 7 - 11. Let t be (w + 1)*(-4)/(-8). Suppose 3*y - 2*l - 362 = 0, 3*l = 5*y - t*l - 602. Is y composite?
True
Let n(k) = k + 7. Let o be n(-5). Let p be o - -3 - (4 + -1). Suppose 339 = p*h - 247. Is h a composite number?
False
Let a(t) = t**3 + 16*t**2 - 14*t + 14. Let w be a(-17). Let z = 696 + w. Is z a composite number?
False
Suppose 0 = -5*z - 8 - 17, -z = -2*w + 11203. Is w composite?
True
Let i = -84 + 79. Is (-1)/(-2)*i/((-10)/2348) a composite number?
False
Suppose -26*t - 6140 = -30*t. Is t a prime number?
False
Suppose -1475 = -j + m, 3*j + 5*m = m + 4439. Is j a prime number?
False
Let x(i) = 87*i - 1. Let g be x(1). Let j = g + -48. Suppose 4*n + 2*h - 16 = 0, 0*n - 5*h - j = -3*n. Is n a prime number?
False
Let v = -2480 + 11025. Is v a prime number?
False
Suppose -2*s - 9 = -19. Suppose 0 = -m + s*o + 79, 0 = -2*m + 11*o - 7*o + 170. Is m prime?
True
Is (-34997)/(-5) + 24/(-60) prime?
False
Let i(u) = -194*u + 31. Let j be i(-16). Suppose 0 = -3*l - v + 3132, 4*v - j = -3*l + 2*v. Is l prime?
False
Let x be (-4 + 2)/(2/(-5)). Suppose 3*u - 2*u = l - x, -2*l - 5*u = -24. Suppose -y = -4*i + 1326, -2*y + 341 = i - l*y. Is i prime?
True
Let u = 6415 - 4352. Is u composite?
False
Let a(d) = 61*d**2 - 5*d + 4. Suppose 3*p - 5*y + 13 = 0, -5*y - 3 = -2*p - 20. Let z be a(p). Suppose -2*w + 2851 = 5*u + z, 0 = 3*u + 5*w - 1127. Is u prime?
True
Let c be (2/(-4))/(-1)*(32 + -32). Suppose -499 = -l - c*l. Is l composite?
False
Suppose 16 - 4 = -3*g, 3*p - 59485 = -5*g. Is p a prime number?
False
Let m(x) be the second derivative of -1/2*x**2 + 479/12*x**4 + 1/6*x**3 - 4*x + 0. Is m(1) composite?
False
Suppose 0 = -b - 4*v + 521, -2*b + 196 = -5*v - 859. Let q = b - -110. Suppose q = 7*a - 2*a. Is a prime?
True
Suppose -v + 1243 = q, -2*q - 1302 = -v - 65. Suppose -5*g + 1344 = -v. Is g a prime number?
False
Let w(r) = 19*r**2 + 29*r + 25. Let j be w(-21). Suppose 7*b = j + 7108. Is b a prime number?
True
Suppose 44471 = 43*i - 112092. Is i composite?
True
Suppose -6*f + 15 = -f. Suppose -4*q + 1752 = -4*m, -f*m + m = 3*q - 1319. Is q prime?
True
Let l(v) = -2*v - v + 1 + 6 + 5*v**2 - 3*v**2. Let o be l(-4). Is (3/(-1))/(o/(-3587)) prime?
True
Let s be (-10)/25 - 6/(-15). Let f = 1 + s. Let j(k) = 248*k**2 - k. Is j(f) a composite number?
True
Let c = 562 - 168. Is c a composite number?
True
Let l(p) = -23*p**3 - 16*p**2 + 9*p + 65. Is l(-12) a prime number?
True
Let g be (-4 - (-10816)/(-20))*(1 + -6). Suppose -g = -3*f - 201. Is f composite?
True
Suppose 14*h + 11719 = -2155. Let l = -404 - h. Is l prime?
True
Suppose -3*z + 5*o = -0*z - 37, -45 = -5*z + 5*o. Let s = z + -8. Is ((-14)/8)/(s/80) a prime number?
False
Let b = -1097 + 2616. Let g = 1074 - b. Let s = g - -654. Is s prime?
False
Let y = 18 + -22. Is (2/y)/(-3 + (-82)/(-28)) a composite number?
False
Let k(v) = -v**3 + 15*v**2 - 27*v - 11. Let y be k(19). Let s = 699 - y. Suppose -s = -6*j + 3*j. Is j a composite number?
True
Let c(j) = -83*j**3 + j**2 - 2. Let d be c(-2). Let g = d - 409. Is g a prime number?
True
Let k(b) = 21*b - 2*b**3 - 1 - 37*b + 3*b**2 + 17*b - 3. Is k(-2) composite?
True
Let a = 1261 + 7758. Is a prime?
False
Let p = 60006 - 26629. Is p a composite number?
False
Let a = 8 + -12. Let d be ((-16)/a)/((-2)/131). Is (2 - 15/6)*d prime?
True
Let t be 8561/14 - (-3)/(-2). Let x = t - 323. Is x prime?
False
Suppose -2480 = -4*q + 8*q. Let z = -177 - q. Is z a prime number?
True
Suppose 5*t = -0*n - n + 12, 2*t + 3*n = -3. Suppose t*w = -0*w + 1026. Suppose -29 = -v + w. Is v composite?
True
Let a(l) = 149*l**2 + l - 148*l**2 - 1 + 19*l - 7. Is a(9) composite?
True
Suppose -44*u = 12*u - 840784. Is u a prime number?
False
Suppose 19*a + 1768 = 6*a. Let t = 855 + a. Is t prime?
True
Let r = 133 + -131. Suppose 8 + 6 = s + 2*i, 3*s + 3*i - 30 = 0. Suppose -4*l - s*q + 1168 = -2*q, 4*l - 1174 = r*q. Is l a composite number?
False
Let k be 3*3/(3/(-17)). Suppose -2*v = 4*j + 126 - 434, 0 = 4*j + 12. Let l = v - k. Is l a prime number?
True
Suppose 8*y = y + 14. Suppose 7 = y*n - 9. Is 311 - (-1)/(-2)*n composite?
False
Let d(a) be the third derivative of a**5/20 + 5*a**4/12 + a**3/3 + 14*a**2. Is d(-13) a composite number?
False
Is (-1)/((-227)/892 + (-4)/(-16)) prime?
True
Let u(x) = -3*x**3 + 3*x**2 - 7*x - 14. Suppose 9*k - 30 = -93. Is u(k) a composite number?
True
Let g(m) = 64*m - 1 - 18 - 6 + 94*m. Is g(10) prime?
False
Suppose u + 5*m - 870 = 1729, -4*u + 3*m = 