 5*s - 4*v = 5839. Is s composite?
True
Let v(o) be the first derivative of 137*o**3 + 23 + 1/2*o**2 - o. Is v(1) a prime number?
False
Let s(u) = 2 - 2*u + u**3 + 5 - 4 + 10*u**2 - 9*u. Let y be s(-11). Suppose -y*k - 121 = -4*k. Is k prime?
False
Suppose -83 = -h - 7. Suppose f - 32 = -4*p, 0*f + p + h = 5*f. Suppose r - 3*v + 0*v = 517, 0 = 4*v - f. Is r composite?
True
Let p(t) = -96*t**3 - 4*t**2 - 10*t - 13. Let n = -404 - -398. Is p(n) a prime number?
True
Let w = -72701 + 140994. Is w a composite number?
True
Let w = 63 + -13. Let a = -51 + w. Is (0 - a)*-1 + 36 a prime number?
False
Let y(j) = 408*j**2 - 12*j - 5. Let n be y(-5). Let i = n + -2774. Is i a prime number?
True
Is 18749 - (4 - -3 - 132/11) a composite number?
True
Let d(a) = -55464*a + 65. Is d(-3) a prime number?
True
Let b be 0/((5/5)/(-1)). Suppose -4*z - z - 3*r + 11 = 0, 0 = -2*z - r + 5. Suppose -7*l + z*l + 1557 = b. Is l prime?
False
Let v = 209 + -207. Suppose -v*w - 327 + 3127 = 2*x, -3*w - x = -4198. Is w composite?
False
Let j(f) = -2*f**3 + 17*f**2 + 12*f - 12. Let x be j(9). Suppose v = 2*r + 3*r - 10882, 0 = 5*v - x. Is r a composite number?
True
Suppose 5*r = 3*s + 8248291, -4*s = -5*r + 6*r - 1649695. Is r composite?
True
Suppose 0 = 96*p - 2301 + 32522 - 3377837. Is p composite?
False
Let j(h) = 1347*h - 4793. Is j(65) a composite number?
True
Suppose 0 = -5*x + o + 67181, 2*x - 5205 - 21657 = 3*o. Let u = -4858 + x. Is u composite?
True
Let j be ((-6)/6)/(2/(-1906)). Let g be -330 + 11 + -2 + 3. Let p = g + j. Is p a composite number?
True
Suppose 16776821 - 7006793 + 20489199 = 249*q. Is q a prime number?
True
Let f be (11 + -12)*(-1)/3*-9. Let d be ((-2)/f)/(-5 + 7)*15. Suppose d*w = 6410 + 6435. Is w composite?
True
Let m be 1 + (-4 + 2 - -6). Suppose -m*g = 4*p - 3201, 5*g + 819 = p + 10*g. Is p a composite number?
True
Let s(v) = 47 + 255*v + 34 - 73. Is s(7) prime?
False
Let n(x) = 29*x**2 + 3*x + 35. Let j be n(-4). Suppose -2*p = -u + 750 + j, -2*u + 2462 = -p. Is u prime?
True
Is (-10)/(-4)*(-40)/50 - (-2 + -2603573) a prime number?
False
Suppose 2*k + k = -w + 819, 835 = w - k. Let z(h) = -h**2 - 40*h + 693. Let f be z(13). Suppose f*x - 3325 = w. Is x a prime number?
True
Let j = -58001 + 113304. Is j composite?
True
Let f be 2 - -4 - 3 - 1. Is -1*(-907)/((2/1)/f) composite?
False
Suppose -5*d + 7*w = 2*w - 105, 17 = d - 5*w. Is 1165/3 + d/33 composite?
False
Suppose 0 = -4*c + 3*n, 2*c + 6*n + 10 = 10*n. Suppose -2*z = -3*a + 12953, c*a - 4*z = -5*z + 12950. Is a a composite number?
True
Let y(g) be the third derivative of -11*g**4/24 + 157*g**3/6 - 77*g**2. Is y(0) prime?
True
Suppose -3791900 = -5*y + 187*a - 190*a, -2*y + 1516741 = 5*a. Is y prime?
True
Let i = -933 - -1171. Suppose 366*w - 359*w - i = 0. Is w prime?
False
Let f = 52 + -50. Let a(w) = -3*w - 2 + 5 + 2*w + f*w. Is a(18) a prime number?
False
Let z = -66544 - -45184. Let q = z - -31949. Is q composite?
False
Let r(w) be the first derivative of w**4/2 - 50*w**3/3 - 15*w**2/2 - 71*w + 28. Is r(28) a composite number?
True
Suppose 0 = 14*i - 12*i - 6. Suppose 8*k - 2*p = 11*k - 7, 5*k - 29 = p. Suppose 0 = 5*f + 5*g - 10*g - 27525, i*f - 16523 = k*g. Is f composite?
False
Let p(s) = -4*s**3 - 51*s**2 + 90*s - 672. Is p(-53) a composite number?
True
Let u = 833779 + -157620. Is u composite?
True
Suppose -c - 4*x + 152 = 0, 0 = x - 6 + 4. Let w be 16/c + (-6604)/(-18). Let s = w - 164. Is s a prime number?
False
Let m = 380 - 380. Suppose m = -13*s + 17*s - 9172. Is s a prime number?
True
Let u(y) be the third derivative of 59*y**5/5 - 13*y**4/8 + 145*y**3/6 + 36*y**2. Is u(6) composite?
True
Let g be -3 - (9/(-3) + (5 - 8)). Is (1392 + 17)*(g/1)/1 prime?
False
Suppose -4*x - 1494 = -11114. Let o be x/221 - 2/(-17). Suppose -c = -o*c + 11630. Is c composite?
False
Suppose 1008 = 2*p + 1002. Is 35534/8 - ((-45)/20 + p) prime?
True
Suppose -460 = -14*b + 9*b. Suppose 0 = 10*q - 328 - b. Let a = q - -29. Is a a prime number?
True
Let j = 815780 - 422171. Is j a prime number?
False
Suppose -2*t = g - 40901, 122675 = 17*g - 14*g - t. Let x = -27082 + g. Is x a prime number?
False
Let p(r) = -3445*r**2 + 4*r + 3. Let j be p(-1). Let a = -1113 - j. Is a a composite number?
False
Let n(q) be the third derivative of -2/3*q**3 - 1/12*q**4 + 0*q + 0 - 8*q**2 + 1/60*q**5. Is n(9) a prime number?
True
Let v(c) = 5*c**3 + 8*c**2 - 2*c + 4. Let j be v(-7). Let s = j + 2518. Is s prime?
True
Let m be ((-3)/(-1))/(-2*(-6)/(-41336)). Suppose 5*s + 3*o = -77531, s = 4*o - 9085 - 6412. Let c = m - s. Is c prime?
True
Let q(j) = 15*j + 42 - 17*j - 27. Let n be 62/(-4) - 3/6. Is q(n) a prime number?
True
Let u be 0 + (-2)/1 + -13. Let r(x) = -2*x**2 - 15*x + 12. Let v be r(u). Is -7 + 7 - (v + 1/(-1)) composite?
True
Let c(a) = -690*a + 52*a + 2 - 4 + 83*a. Let p be c(-1). Let v = p - -216. Is v prime?
True
Suppose 0 = -2*v - k + 17003, k + 6083 = -3*v + 31587. Is v a prime number?
True
Suppose l - 5*b + 10 = -2*b, 5*b - 25 = 0. Suppose -5*t - 22 = -a + l, 4*t + 16 = 0. Suppose -6*v + a*v = 3. Is v a composite number?
False
Suppose 0 = -4*i - 22*w + 26*w + 32, 0 = 4*i + 5*w - 59. Is ((2/2)/(-1))/(i/(-62953)) composite?
True
Let x be -1 + 0/2 + 231. Let f = -161 + x. Is f a prime number?
False
Suppose -1043845 = -20*j + 3455215. Is j a composite number?
True
Let t(f) = 56*f**2 - f + 9. Suppose -81 = -2*l + 11*l. Let k be t(l). Suppose 8*b - 1598 = k. Is b composite?
False
Let l = 12 + -3. Let c be (6 - l) + (0/1 - 15). Is ((-37)/(-2))/(c/(-396)) prime?
False
Suppose -21*o = -20*o - 4. Suppose 5*y - 27 = -4*c, -o*y = 2*c + 2*c - 24. Suppose 0*x + c*x = 249. Is x composite?
False
Suppose -148*t - 4*l - 463568 = -152*t, -5*t - 5*l = -579510. Is t prime?
False
Let q(i) = 5804*i**3 - i**2 + 6*i + 3. Let a be q(3). Suppose 0 = -35*m - a + 462655. Is m a composite number?
False
Let l = 78020 + 191265. Is l prime?
False
Let v(o) = -o**3 - 5*o**2 - 6*o - 18. Let n be v(-5). Is 5734 + n/(-28)*-7 composite?
False
Is (-9 - -59)/(-5) + 808199/7 prime?
False
Let y(n) = n**3 + 138*n**2 + 170*n + 4310. Is y(-107) a composite number?
True
Let n = -9 + 22. Let z = n + -11. Suppose 83 = 3*i - z*i + 4*b, 0 = -2*i - 3*b + 166. Is i a composite number?
False
Let l = 320991 - 34040. Is l a prime number?
False
Let y(i) = 377*i + 29. Let w(x) = 376*x + 31. Let f(s) = -3*w(s) + 4*y(s). Is f(4) composite?
False
Let s(h) = 2*h**2 - 17*h + 4. Let q be s(8). Let b be ((-2)/(q/(-46)))/(15 - 16). Suppose b*r - 565 = 18*r. Is r a prime number?
True
Let h = 58 - -50. Is 9/(h/(-81264))*(-3)/4 composite?
True
Let y = 918107 - 100218. Is y a composite number?
False
Suppose -106*m + 116*m - 318950 = 0. Is m prime?
False
Let i(u) = 7*u + 17. Let k be i(-2). Suppose 3699 = k*d + 300. Suppose -x - 154 = -d. Is x composite?
True
Let a(p) = -5*p**2 + 12*p - 17. Let n be a(7). Let v = 1293 - n. Suppose -5*s - 186 + v = 0. Is s a prime number?
True
Suppose -2*g = 13*g - 206085. Is g prime?
False
Let d = 1064840 + -752083. Is d prime?
True
Let m(t) be the second derivative of 438*t**3 - 23*t**2/2 - 77*t. Is m(5) prime?
False
Let z be (-168)/(-105) - 4/(-10). Let j be 24/4 + -3 + 1 + z. Is -1 - -5474 - 24/j composite?
True
Let t be -5 + -1 + 5 + 333. Suppose -o + t = 2*z, -2*o + 448 = 5*z - 213. Suppose 2*j = -b + o, j - 3*j = -4. Is b prime?
False
Let w = -313064 - -1026999. Is w composite?
True
Suppose 6*w - 2*w + 207334 = 3*g, 5*g + w = 345572. Suppose g = 16*l - 10*l. Is l composite?
False
Let h(c) = 9*c**2 - 90*c - 136. Let w(p) = -16*p**2 + 179*p + 271. Let v(g) = -5*h(g) - 3*w(g). Is v(50) a composite number?
True
Let j(d) = -27204*d - 61. Is j(-2) a prime number?
True
Suppose 47968*d + 594261 = 47971*d. Is d a prime number?
False
Suppose -n - 5*n = -4*n - 62486. Is n a prime number?
False
Let k = -7 + -1. Let i(o) be the third derivative of -o**6/15 - 2*o**5/15 + 5*o**4/12 + 23*o**3/6 - o**2 - 281. Is i(k) prime?
True
Let z(d) = -34053*d + 3. Let m be z(1). Let c be m/(-20)*(-6)/(-5). Let o = c + -1166. Is o prime?
True
Let v(f) be the third derivative of -f**6/360 + f**5/8 + 3*f**4/8 - 11*f**3/6 - 13*f**2. Let r(k) be the first derivative of v(k). Is r(7) a composite number?
True
Suppose 0 = -4*d + 30 - 246. Is (-90)/d - (-2264)/6 co