9*g + 34. Suppose -3*u + 4*r = -23, 10 + 9 = 2*u + r. Suppose -5*i - 45 = s, 4*i + u*s = 4*s - 36. Is v(i) a prime number?
False
Let q(o) = 9*o**2 - 2*o - 3. Let g be q(-1). Suppose g*p = -7 - 1. Let m(u) = 734*u**2 + 3*u + 2. Is m(p) a composite number?
False
Is ((-46)/(-2))/((-3)/(-8592)*16) a prime number?
False
Let h = 503 + -509. Let u(y) = -16 - 12 + 3 + 19*y**2. Is u(h) prime?
True
Let l(j) = -3*j + 4*j + j**2 + 2*j**3 - 5*j**2 - j**3 + 4. Let g be l(3). Is ((-143)/g)/(9/18) composite?
True
Suppose 3*d = -j - 25, d - 15 = j - 22. Is 96/36 - d/6 - -36025 a prime number?
False
Is 765/(-51)*(-3 + 265148/(-10)) a composite number?
True
Let w(p) = -330*p + 7. Let y be 4/(-6) + (-68)/(-12). Suppose -10 = z - y. Is w(z) a composite number?
False
Let d(c) = 46*c**2 - 5*c - 15. Let n be d(6). Suppose 0 = -b - n - 105. Let h = -1085 - b. Is h composite?
False
Let s(l) = 783*l + 27. Let g(p) = -p. Let y(i) = -5*g(i) - s(i). Is y(-8) composite?
False
Let a(u) = -13*u**3 - 31*u**2 + 10*u + 3. Let x be 3 - ((-66)/110 - (-68)/5). Is a(x) prime?
True
Let p = -16 + 26. Let k(u) = 3*u - 6 + p + 9 + 8*u. Is k(6) prime?
True
Suppose 5897 = f + 2*h - 406, 2*h = -4. Suppose -4*j + 2505 = -f. Is j composite?
False
Let q be (-15)/(-10)*(-4)/18*-69. Let x(u) = -u**3 + 22*u**2 + 23*u - 7. Let v be x(q). Let r = 1150 - v. Is r a composite number?
True
Suppose 4*w - 7 = 3*r - 14, -4*w = -2*r + 2. Suppose 3596 = r*p - 10079. Suppose h - 32 = p. Is h composite?
False
Let b = 19704 - 7511. Is b a prime number?
False
Let a(m) = -34404*m - 3497. Is a(-19) a composite number?
False
Let f(p) = -2*p. Let y be f(-2). Suppose 2*n + i + 2*i - 1518 = 0, -n + 754 = y*i. Let c = 2359 - n. Is c prime?
True
Suppose 4*s - 23 = 33. Suppose 2*j + 2 = 0, s = p + 2*p + 4*j. Is 861 - (6 + -4 - p) composite?
True
Suppose -4*u - 105*k = -106*k - 921801, 4*u - 2*k - 921806 = 0. Is u a composite number?
False
Let v = -985 - -987. Is 5150 + (-30)/20*v prime?
True
Let p be (-1874)/(-22) - (-18)/(-99). Let r = -169 + p. Is r/28 + (1478 - (2 - 4)) a prime number?
False
Let c = 25713 + -6264. Suppose -6 = -155*y + 153*y. Suppose -6*g = y*g - c. Is g prime?
True
Suppose -3*d + 10 = -2*j, -5*d - 4*j + 1 = -1. Suppose d*h - 3*h + 3521 = 0. Is h a composite number?
True
Let v(d) = d**2 - 4*d - 15. Let p be v(-3). Suppose -p*o - 4*x = -o + 196, -x = -o - 32. Is (-16008)/o - (-1)/3 a prime number?
False
Suppose 6*a - 1969 = 4451. Suppose 5*v = 4*r - 2676 + 554, -2*r - 2*v = -a. Is r a prime number?
False
Suppose -211*b + 431015950 = 231*b - 100683088. Is b a composite number?
False
Let c = 300 - 293. Suppose c*w + 20776 - 90083 = 0. Is w prime?
True
Let r(s) = -s + 4*s - 20 - 4*s. Let z be r(-22). Is (2 - 0)*(z - 4) - -483 a composite number?
False
Let i = 199 + -188. Suppose i*k = 3*k + 21064. Is k a prime number?
True
Suppose -4*j - 15 = -2*q + j, -5*j + 15 = 4*q. Is 1504 + 0 - (q - 0) prime?
True
Let t be (-6)/(-15) - 15822/30. Let p = 228 + t. Let i = p + 664. Is i a prime number?
False
Let i(q) be the third derivative of 29*q**5/120 + q**4 - 17*q**3/6 + 11*q**2. Let s(y) be the first derivative of i(y). Is s(17) prime?
False
Let m(s) = 1741*s**2 - 62*s + 723. Is m(10) a prime number?
False
Let n be (-1 - (-1 + -1))*0. Suppose 0 = -2*v + 8*v + 2*i - 16000, 0 = 2*v + 3*i - 5331. Suppose 6*a - v - 759 = n. Is a a composite number?
False
Let x be ((-243)/(-2) - 0)/((-6)/(-8)). Let w = x + 25. Is w composite?
True
Let x(h) = 2603*h + 23. Let m be x(7). Is (m/(-10))/(6/(-15)) a composite number?
False
Suppose 2*f = 6*f + 416. Let d = f - -179. Suppose d = 8*j - 37. Is j a composite number?
True
Let n(q) = 2496*q**3 + 8*q**2 - 51*q - 4. Is n(3) composite?
False
Suppose 49*c = 47*c - 24. Let a be (-268)/(-6)*c/(-8). Suppose -3*d + a = r, -3*r + 241 = -5*d + 4*d. Is r a prime number?
True
Suppose m = -3*f + 4547, -5*f + 7581 = -2*m + m. Let x be (-3 - 28/(-8))*f. Is x/8 - (3 + 26/(-8)) a prime number?
False
Let g(k) = -7*k**3 - 16*k**2 - 21*k - 9. Suppose 0 = 2*c - o + 19, -3*c + o = -6*c - 21. Is g(c) composite?
False
Let z(k) = -k**3 + 11*k**2 + 2*k + 21. Let b(y) = 9*y - 3. Let g be b(1). Suppose g*n - 83 = -17. Is z(n) a prime number?
True
Suppose -4*v + 2*d = -1673074, -7*d + 6*d - 7 = 0. Is v composite?
True
Suppose -82*n - 63*n = -131*n - 222698. Is n prime?
True
Let w(r) = 4386*r**3 - r**2 + 2*r - 2. Let d be 9/(-81) + 30/27. Is w(d) a composite number?
True
Suppose -209689 - 417081 = -39*o + 574079. Is o a composite number?
True
Let t(y) = 69*y**2 + 66*y + 47. Is t(-28) prime?
False
Let v(y) = 27*y - 16. Let s be v(1). Suppose -61099 = -s*r + 84486. Is r a prime number?
False
Suppose -2*z + 3*f = 4*f + 58, 0 = 3*z - f + 77. Let d = 28 + z. Is d/(-2) + 4404/24 prime?
False
Suppose -5*a + 5*y = -39205, -3*a = 5*y - 11303 - 12220. Is a a prime number?
True
Let x(r) = 371*r - 29. Let d = 186 + -178. Is x(d) prime?
True
Let k(h) be the third derivative of 71*h**4/24 - 4*h**3 - 3*h**2. Let i be k(9). Suppose 0 = -13*u + 16*u - i. Is u composite?
True
Suppose 0 = -22*l + 19*l + 33. Suppose 22*y - 4103 = l*y. Is y a prime number?
True
Let i(l) = 2*l**3 - 4*l**2 - 6*l - 5. Let t be i(4). Suppose 9*x = 73 + t. Let f(j) = j**3 - 11*j**2 - 13*j + 27. Is f(x) prime?
False
Suppose -4*r - 5*u = -458, r - 6*r = -2*u - 556. Let a = 115 - r. Suppose s - 41 = 2*z, 0 = -s - a*z + z + 33. Is s a prime number?
True
Let b(t) be the second derivative of 1/12*t**4 + 0 + 1/2*t**2 - 1/3*t**3 + 721/20*t**5 - 4*t. Is b(1) a prime number?
False
Suppose 0 = -75*c + 71*c + 415264. Suppose -c = -7*l - 17415. Is l prime?
True
Let y(m) = -2*m + 14. Let b be y(-1). Suppose -b*s + 3856 = -38240. Is s prime?
False
Let k(x) = 2810*x - 527. Is k(26) a prime number?
True
Let s be 409*16/28 - 2/(-7). Is 6/(((-3)/s)/(-1)) + 1 prime?
False
Suppose 0 = -b - 0*b + 2. Suppose -1753 - 4167 = -2*t. Suppose b*p = 2*f - f + t, 5*f = -3*p + 4453. Is p a composite number?
False
Suppose p = 4 + 1. Suppose -3*f + g + 15759 = p*g, 0 = f - 3*g - 5266. Is f composite?
True
Let z = 2001 + -612. Suppose -z = 10*q - 13*q. Suppose -y - 3*y + q = -m, y - 2*m = 121. Is y composite?
True
Suppose 8 = 4*c, 3825*c + 2836792 = 2*f + 3822*c. Is f a prime number?
True
Is (0 + 1)/(17/196843) prime?
True
Suppose -g = -2*i - 18, -3*i = -i. Suppose 4*p = g*p - 16618. Is p prime?
True
Suppose -2*m + 155412 = -g, -297*m + g = -302*m + 388502. Is m a prime number?
False
Let t = 51 - 42. Let o(j) = -t*j + 22 - 10*j + j**2 + 5*j + 16*j**2. Is o(9) a prime number?
False
Let z be 9/((-45)/(-10))*-1 - 1483. Let k(v) = -213*v + 2. Let g be k(4). Let p = g - z. Is p a prime number?
False
Suppose -124*g - 23309 = -10269675 - 5936998. Is g a composite number?
True
Let l(x) = -x**2 - 4*x - 3. Let m = -105 - -102. Let i be l(m). Suppose 5*r = o - 212, 4*o - 763 = -i*r + 3*r. Is o prime?
False
Let q(f) be the third derivative of 83*f**5/30 + f**4/24 + 19*f**3/6 + 20*f**2 + 2*f. Is q(-4) composite?
False
Let b = 37 + -35. Is 209314/21 + b/(-6) composite?
False
Let x be ((-4 - -1) + 56/24)*-16719. Suppose -x = -2*y + 5*c + 2756, 0 = -5*c. Suppose y = -n + 8*n. Is n a composite number?
True
Let q be -102*((-2)/(-2) - 3). Suppose f - q - 667 = 0. Let p = -462 + f. Is p a prime number?
True
Suppose -2*r = 5*k - 10247, -3*r = -5*k + 11465 - 1198. Is k prime?
False
Suppose 0 = -y - 4*p + 116, 5*y + 174 - 823 = 3*p. Suppose -5*f = -2*v + 828, -5*f - y + 527 = v. Is v prime?
True
Let k be (4/(-3))/((-6)/(-27)). Suppose 30*q - 26*q = 12. Is (82/q)/(k/(-63)) a prime number?
False
Let l(a) = -210*a**2 + 9*a + 24. Let j be l(8). Is -1*3 + j/(-12) a prime number?
True
Let i = 343 - 203. Suppose 0 = 2*j - i + 54. Is j prime?
True
Let g(f) = 689*f + 2. Let u(o) = 692*o + 1. Let m(b) = 4*g(b) - 5*u(b). Suppose 5*r = -4*x - 2, 12 = -r - 0*r + 5*x. Is m(r) prime?
False
Let o(l) = 11*l**2 + 3*l + 10. Let t be o(-2). Is 83268/t - 2*3/(-24) composite?
True
Let l(q) = 1087*q**2 + 7*q + 8. Let p be l(-3). Suppose -5*z + p = -3*z. Is z a composite number?
True
Let n = 143451 - 69464. Is n a composite number?
True
Suppose 3*h - 35460 = -5*y - 178385, 2*h = -y - 95274. Is (2/10)/((-7)/h) a prime number?
True
Suppose 31*v = 22*v - 243. Is -3 + v/(-6) - 1931/(-2) a composite number?
False
Let s(g) = -21*g**