se
Suppose 0 = a - 5*t - 4766, -2*t + 9592 = 2*a - 0*t. Is a a composite number?
True
Suppose 3*y - 5*g = y + 4784, 11981 = 5*y - 2*g. Let f = y + -1612. Is f composite?
True
Let k(u) = -2*u**2 - 19*u - 17. Let t be k(-19). Let z = t + 677. Is z a prime number?
False
Let t(u) = -80*u + 3*u + 4 - 19 - 74*u. Is t(-8) prime?
True
Let i(o) = -o**2 + 20*o + 7. Let c(j) = 8*j + 1. Let f be c(2). Is i(f) composite?
True
Let u be ((-3)/2)/((-6)/12). Suppose -f = -u*f + 1808. Is 6/(-4)*f/(-12) composite?
False
Let h = 49 + -47. Is 414*1 - (h + -1) prime?
False
Let a = 361 - 299. Is a prime?
False
Let p(x) = x**3 - 13*x**2 + 3. Let u be p(13). Suppose u*k - 5*v = -k + 84, -2*k + 42 = -v. Is k prime?
False
Is 695871/135 - 40/25 composite?
False
Suppose 4*b - 11462 = -x, 3*x - 1 + 7 = 0. Suppose 9*g - b - 20831 = 0. Is g a composite number?
False
Suppose 6869 = 5*f + a, 3*f - 4*f - 2*a = -1381. Is f a composite number?
False
Suppose -3*w - 1 = -2*w, -4*w - 2306 = -n. Is n a prime number?
False
Let j(m) be the first derivative of 85*m**2/2 + 24*m + 5. Is j(7) a composite number?
False
Let a(h) = -6*h + 53. Let o be a(-7). Suppose -917 = -3*d - o. Is d a prime number?
False
Suppose 2*i - a = i, 0 = i + 2*a - 12. Let c(f) = 10*f**3 - 4*f**2 - 2*f - 5. Is c(i) a prime number?
True
Let j(y) be the second derivative of -1/12*y**4 + 0 + 3*y**3 + 5*y - 7/2*y**2. Is j(12) a prime number?
False
Suppose -z - 2*w = -525, -3*z - 554 = -3*w - 2102. Is z a composite number?
True
Suppose -45*m + 824049 = 237024. Is m composite?
True
Let t(d) = 10*d + 3*d + 6*d**2 - 8 - 4*d**2. Let o be t(9). Suppose 4*a - 5*h = 521, h - o = 2*a - 4*a. Is a composite?
True
Let x(p) be the second derivative of 3*p**3/2 - p**2 - 6*p. Let s be x(3). Is 282/15 + 5/s a composite number?
False
Let c(v) be the third derivative of v**5/12 + v**4/8 + 67*v**3/6 + v**2 + 16*v. Is c(27) a prime number?
True
Let i(g) = g - 10. Let x be i(8). Let o(p) = -210*p + 3. Let q(y) = -629*y + 9. Let v(f) = 7*o(f) - 2*q(f). Is v(x) prime?
False
Let i = 23 + 92. Is i a prime number?
False
Let a(z) = -z**2 + 8*z - 9. Let k be a(6). Suppose -3*y = 2*u, -k*u + 4*y = -6*u + 1. Suppose -3*p + t = -t - 203, -u*p + 3*t = -207. Is p a composite number?
True
Let h be 1*4 - 0/5. Is (-1 + h)*(70 - 3) composite?
True
Is (-14)/630*10 - 115870/(-18) prime?
False
Let u = 13227 + -8936. Is u prime?
False
Let q be (2/6)/((-5)/(-195)). Suppose 9 = 5*f - 3*b - 3, 3*f = -4*b + q. Suppose 4*v - 8*v - 2*s = -484, f*v - 363 = -5*s. Is v a prime number?
False
Let u(a) = 203*a + 152. Is u(25) prime?
True
Suppose 0 = q + 2 - 5. Suppose -b + 413 = -4*x, 0 = -3*b + q*x + 704 + 535. Suppose b = 5*f - 2*k, 2*k - 3*k = -3*f + 248. Is f composite?
False
Let z = 986 - 669. Is z prime?
True
Suppose z - 4*r = 646, 0 = -z + 2*r + 92 + 546. Suppose 5*w = 2*m - 427, -w = 3*m + 2*w - z. Is m prime?
True
Let h = -472 + 835. Suppose 2*k - 4*k + 2*y + 30 = 0, 3*y - 39 = -3*k. Let z = k + h. Is z a prime number?
False
Let n = 218 + -373. Let s be (-230)/3 - (-2)/3. Let h = s - n. Is h composite?
False
Let s = -34005 - -50717. Suppose -4*r + s + 4332 = 0. Is r prime?
True
Suppose 85630 = -16*s + 26*s. Is s composite?
False
Suppose 4*q = -3*y - 1970, -y - 2*y = q + 497. Let v = q + 1330. Is v composite?
False
Let s = 351 - 93. Suppose -5*o = -10, -2*r + s = 2*o - 1556. Is r prime?
False
Suppose 4*c + 39 = p - 12, 4*c - 3*p = -49. Is (9 + c)*347/(-4) composite?
False
Let m = 108 + 31. Is m prime?
True
Suppose -10*s = -104334 + 19034. Suppose s = -7*r + 17*r. Is r composite?
False
Let a be (-30)/(-9) + -4 + 44/12. Suppose -4*r - 1477 = -a*c, -r + 8 = -3*r. Is c prime?
True
Suppose 0 - 8 = -2*u. Suppose 558 = -3*v - 0*r + 3*r, 593 = -3*v - u*r. Is (-4)/(0 - -4)*v prime?
True
Let b(p) = 1792*p - 17. Is b(10) prime?
True
Suppose 7*d - 20868 = 32479. Is d composite?
False
Let u(t) be the third derivative of t**5/60 - 7*t**4/12 + 17*t**3/6 - 7*t**2. Let k be u(13). Suppose -k*z - 145 = -773. Is z a composite number?
False
Let k be 2/5 + 54/(-10). Let i(w) be the first derivative of -25*w**2/2 + 2*w - 2. Is i(k) prime?
True
Let o be -2 - -3 - (-1 - 2). Let g be (-8 - 4)/(-4) + o. Suppose g*n - 3*n + 3*a - 341 = 0, 20 = -4*a. Is n prime?
True
Let d(v) = 347*v**2 + 8*v + 21. Is d(-2) a composite number?
True
Suppose 5*j = 15, 6*f - j - 21 = 2*f. Is f/((-48)/(-21782)) + 3/12 a composite number?
True
Let q = -6136 + 12167. Is q a composite number?
True
Let h(f) = 54*f - 5. Let u be (32/12)/((-1)/(-6)). Suppose 0*p - 2*p = 2*j - 8, 0 = -4*j - 2*p + u. Is h(j) a prime number?
True
Let b = 36 - 33. Suppose 0 = -4*a - 0*z - z + 2039, b*z = -3*a + 1536. Is a a prime number?
True
Let l(b) = 1035*b + 2. Let n be l(1). Suppose -3*z = 167 - n. Suppose f + z = 6*f. Is f a composite number?
True
Let t(g) be the second derivative of -5*g**3/2 - 7*g**2/2 + 3*g. Suppose -2*k - 28 = 3*s + 3*k, -28 = 4*s + 2*k. Is t(s) prime?
True
Suppose -8674 = -11*t + 9*t. Is t a composite number?
False
Suppose 4*n + 74 = 10. Let s = n - -135. Is s a prime number?
False
Let k be ((-1)/2)/((-5)/(-10070)). Let y = 1522 + k. Is y prime?
False
Let p = -2089 + 24498. Is p a prime number?
True
Suppose -3*g - 2 = -4*g. Suppose g*z - 562 = z. Is z composite?
True
Let y be (-2)/(-2) - 696/(-3). Let h = -65 + 35. Let o = y + h. Is o composite?
True
Is (-21 - -2)/(1/(-53)) a composite number?
True
Suppose 0 = -s, 2*j = -3*j - 2*s + 4765. Is j a composite number?
False
Let q(y) = -1274*y**3 + y**2 + 2*y. Is q(-1) a prime number?
False
Let p be 10/(-5*2/(-5)). Let q = -588 + 1313. Suppose p*k = 2520 + q. Is k prime?
False
Let y be 0/(12/7 - 6/(-21)). Suppose 4*l - 92 - 112 = y. Is l composite?
True
Suppose -5*m - 6 = -8*m. Suppose 3*j = m*r - 1417, 0 = 5*r + 5*j - 543 - 3037. Is r composite?
True
Let q be (-71722)/91 - 2/(-13). Let z = 119 - q. Is z prime?
True
Let x = -23 - -44. Let s = -34 + 28. Is (-3042)/(-14) + s/x composite?
True
Is (1/(-3))/((-38)/798) - -22131 composite?
True
Let t = 88333 - 25874. Is t a composite number?
False
Suppose 687 = -2*d - 4*a + 2737, -2*d + a + 2065 = 0. Is d a prime number?
True
Let k = -102108 + 146849. Is k a prime number?
True
Let c(s) = -187*s + 2. Let x(h) = 188*h - 2. Let m(z) = 3*c(z) + 2*x(z). Suppose -4 - 2 = 2*v. Is m(v) a composite number?
False
Suppose -a + 5*a = 3*z + 3, 12 = 2*a + 2*z. Suppose -a*v + x + 432 = -0*x, -4*v - 5*x + 576 = 0. Let d = v - 57. Is d prime?
False
Suppose p - 27703 - 6263 = -4*b, -3*p = 3*b - 25479. Is b composite?
True
Let k be ((-4)/5)/((-2)/(-20)). Let f(z) = -25*z - 15. Is f(k) composite?
True
Let c(g) be the second derivative of -g**4/12 + 13*g**3/6 - 7*g**2 + 5*g. Let p be c(13). Is ((-68)/p)/((-12)/(-84)) prime?
False
Suppose -9 = h - 4*r, 2*r - r = -5*h + 18. Suppose -h*x + 5*q + 450 = 0, -5*x + 574 = -x + 2*q. Is x prime?
False
Suppose 3*v = 4*v - 3*s - 2, 0 = 4*v + s - 21. Suppose v*b - 6*b + 563 = 0. Is b a prime number?
True
Let d(z) = -z**2 - 2*z + 31. Suppose 3*a = -5*s - 0 + 1, -3*s - 3 = 0. Let f(x) = 3*x**2 + 4*x - 62. Let i(y) = a*f(y) + 5*d(y). Is i(0) a composite number?
False
Let t(d) = 70*d**2 - 18*d - 335. Is t(-16) composite?
True
Is (69779 - 6) + -1 + -5 a prime number?
True
Let p be -8*(-4)/(-8) - -16. Suppose t - p = -t. Suppose 4*q - t*q + 422 = 0. Is q prime?
True
Let o = 58 + 2391. Is o a prime number?
False
Suppose -5*y + 13553 = -y + h, 4*y - 3*h - 13565 = 0. Is y a prime number?
True
Suppose -2*b + 3 = 7, -2*b - 11164 = -5*o. Suppose 3*y + 4*x = 1663, 2*x + 0*x + o = 4*y. Is y a composite number?
False
Is 5*((27024/(-15))/(-2) - 3) composite?
True
Let b(m) = 25*m**3 + m**2 + 3*m + 3. Let x be b(3). Suppose -x = -9*t + t. Is t a prime number?
False
Suppose -2*m = -10, -2*w - 3*m = -0*m - 517. Let g(p) = 3*p**3 - 7*p**2 - 4*p + 2. Let u be g(6). Let t = u - w. Is t composite?
True
Let f(c) be the third derivative of 0 + 0*c + 12*c**2 + 7/3*c**3 + 1/3*c**4 + 1/60*c**5. Is f(-9) a composite number?
False
Is 1995/14 + (18/(-4) - -4) a prime number?
False
Let k = -268 - -92. Let j = k + 727. Is j composite?
True
Let l = -111 + 87. Is (-4409)/(-2) + 4/(l/9) composite?
False
Let v(l) = 57*l + 20. Let c(o) be the second derivative of -85*o**3/3 - 61*o**2/2 + 5*o. Let n(f) = 2*c(f) + 7*v(f). Is n(13) prime?
F