
False
Let x = -1418 - -2316. Let b(o) = -2*o. Let j be b(-8). Suppose -18*v + x = -j*v. Is v a composite number?
False
Suppose y + 5*p - 28771 = -0*y, -2*p = 4*y - 115084. Is y prime?
True
Suppose 14*x - 1674932 - 173334 = 0. Is x a composite number?
False
Let n(s) = -s**3 - 19*s**2 - 31*s + 34. Suppose -2*v - 2 = 4*x + 100, -4*x - 107 = 3*v. Is n(x) a composite number?
True
Let u(o) = 8*o**3 + o**2 - 6*o + 215. Is u(8) a prime number?
True
Let u(t) = -91*t**3 - 5*t**2 + 11*t - 6. Let k(p) = p. Let x(r) = 3*k(r) - u(r). Let a be x(4). Suppose 0 = 7*v - 5*v - a. Is v a prime number?
True
Let h(w) = 21397*w**2 - 56*w - 8. Is h(-1) composite?
True
Let t = 37349 - 35964. Is t composite?
True
Suppose 8*l = 9*l - 53541. Suppose 3*b = -2*j + l, -7*b = -3*j - 2*b + 80302. Is j a composite number?
True
Let u(a) = -969*a - 8. Let j be u(-3). Let z(m) = -3*m**3 + 2*m**2 - m. Let g be z(1). Is (g/(-1))/(26/j) a prime number?
True
Let y be (5/4)/((-2)/(-8)). Let o = 5 - y. Suppose o = 5*r - 40726 + 7911. Is r prime?
True
Is (-87)/2*(22 + (-913976)/42) a composite number?
True
Let z = 58602 - 11695. Is z prime?
False
Is (-72)/(-36) - (-127589)/7 a prime number?
True
Let q = 26 - 2. Let b = q + -23. Is (3 + 34)/(b*(-1)/(-3)) prime?
False
Let g be (6 - 3)/(-3) + (44 - 1). Let l = g - 42. Suppose l = -6*r + 1412 + 490. Is r prime?
True
Suppose 0 = -4*s + 13031 + 38509. Let d be (2/10)/(3/s). Suppose 3*z + 5*x - d = 0, 0*z + 1461 = 5*z + x. Is z a composite number?
False
Suppose -18*t + 120595 = -32549. Is (-3*(-1)/9)/(4/t) prime?
True
Let d(u) = 7*u + 254. Let v be d(-36). Is (-2540)/(-30)*3/v composite?
False
Let o = -179 - -288. Suppose 2328 = 7*y + o. Is y a prime number?
True
Suppose -28*l = -16*l. Suppose -6*k + 12938 + 14488 = l. Is k a prime number?
False
Suppose -92*m + 80537446 = 30*m. Is m a composite number?
True
Let g(p) = -71*p**2 + 19*p - 18*p**2 + 35*p**2 - 81*p**2. Let t be g(-2). Let w = t + 2157. Is w prime?
True
Let g(o) = 4*o**2 - o - 1. Let v = 116 - 117. Let b be g(v). Suppose 0*n = -4*c - 2*n + 2800, -b*n - 1410 = -2*c. Is c a prime number?
True
Let o(a) = 442*a**3 - a**2 + 9*a + 21. Let l(q) = -147*q**3 - 3*q - 7. Let y(g) = 7*l(g) + 2*o(g). Is y(-2) a composite number?
False
Let z(s) be the first derivative of s**4/3 + s**3 - 7*s**2/2 + 4*s - 7. Let l(q) be the first derivative of z(q). Is l(12) a prime number?
True
Let t be -2*(1 + 1) - (-8)/2. Suppose b + 16508 = 4*r, -2*r - 2*b + 5262 + 2992 = t. Is r a composite number?
False
Suppose 4777901 = 16*s + 603741. Is s a composite number?
True
Let m be ((-28)/70)/((-8)/(-10))*-8. Is 8924 + (m - (-4 - -9)) prime?
True
Let w = -318117 + 836108. Is w a composite number?
False
Suppose 22*p + 578592 + 609650 = 0. Let d = -29706 - p. Is d composite?
True
Let b = -40 - -42. Suppose 5 = -r + b*o, r - 4*o + 20 = o. Let a(f) = 29*f - 18. Is a(r) a prime number?
True
Let i(z) = 5449*z + 1878. Is i(7) prime?
False
Let p be 3 - ((-6)/(-3))/((-2)/4). Suppose 4*f - p*f = -4542. Suppose 5*o + f = 4*x + 2*o, 5*o = 4*x - 1518. Is x a composite number?
True
Suppose 76*u - 13020730 - 7541754 = 0. Is u a prime number?
False
Let o(x) = 1913*x**2 + 249*x - 3655. Is o(16) a composite number?
False
Suppose -3*c = -f - 877876, 18*c = 13*c + 2*f + 1463125. Is c composite?
False
Let r = -8 - -15. Let m(x) = 869*x**2 - 2*x - 432*x**2 - 14 - 436*x**2. Is m(r) composite?
True
Suppose 107496 = -8*y + 32*y. Suppose 12*f = 3741 + y. Is f a prime number?
False
Suppose 5*k = 2*c + k - 4, 0 = -c - 4*k + 2. Is 6 - 47/c*-14 composite?
True
Let y(i) = -12*i + 20. Let k(r) = -145*r + 240. Let z(q) = 3*k(q) - 35*y(q). Let u be z(6). Is (-11018)/u - (-2)/(-5) a prime number?
True
Let s = -42466 - -68853. Is s composite?
False
Suppose 10*y = 5 + 85. Let g = 6818 - 2314. Suppose -g = y*u - 17095. Is u composite?
False
Is ((-27)/(-6)*19804/9)/((-4)/(-94)) composite?
True
Let i(j) = -5047*j + 849. Let v(t) = -3364*t + 566. Let g(s) = 5*i(s) - 7*v(s). Is g(-6) a composite number?
True
Let v(n) = -6935*n + 15598. Is v(-45) composite?
False
Suppose 0 = 2*h + h - 3, 5*i = -3*h + 2188. Let a = i - 247. Suppose 2*r - a - 212 = 0. Is r a prime number?
False
Is (-2)/((12/(-612207))/(8 + 198/(-27))) composite?
False
Let j = -10 + 11. Is (0 - 0 - (j + -2))*1733 a prime number?
True
Is (2 - 5426310/9)/((-2128)/1596) a composite number?
False
Let t(z) = -5*z - 17. Let p be t(-4). Suppose -p*s = 5*h - 169, -h = 2*s - 4*s + 117. Is s a prime number?
False
Suppose 4*d = 3*u + 1 + 5, -2*d = 5*u - 16. Let s be u*114*3/4. Let k = 508 - s. Is k composite?
False
Let s = -5597 + 52846. Is s a prime number?
False
Is (-1 - (-266)/294) + (-2566895)/(-21) a composite number?
True
Let r = -887 - -891. Suppose -v = -5*k + 216172, -4*k + r*v = -7*k + 129717. Is k prime?
False
Let x(n) = n**2 + 8*n - 5. Let t be x(-8). Let g(c) = c**2 + 5*c. Let z be g(t). Suppose -4*i + p + 7896 = 0, 4*i + 2*p = -z*p + 7884. Is i a composite number?
False
Let i(h) = 652667*h**2 + 324*h + 324. Is i(-1) composite?
False
Let o(l) = 314*l**2 + 7*l - 11. Let g(q) = 2*q**2 + 5*q + 5. Let w be g(-1). Is o(w) prime?
True
Let u(h) = -4*h - 67. Let a be u(-18). Suppose -5*z = -3*d - 0*z + 30327, -z = -a*d + 50545. Is d prime?
False
Is ((-1542984)/(-108) + 15)*9 a composite number?
False
Is -141863*(-6 + (-55)/(-11)) a composite number?
False
Suppose -a + 0 = -1, 0 = 2*h + 2*a + 18842. Let v = 13389 + h. Is v prime?
True
Suppose -36*y + 2691018 = -18*y. Is y a prime number?
False
Let p(g) = 1258*g**3 - 7*g**2 + 88*g + 1. Is p(6) prime?
False
Let t be (3 - (-120)/(-35))*-7. Suppose -3*f + f = t*s - 14914, -2*f + s = -14930. Is f composite?
True
Let v(o) = -2695*o + 4553. Is v(-102) prime?
True
Let k be (-9)/18 + (-21665)/14. Let w = 21827 + k. Is w a prime number?
False
Suppose -33*u = 51*u - 28*u - 6792632. Is u composite?
True
Suppose 3*w - 5 - 7 = 0. Suppose 5*v + 2620 = w*j, -4*v + 2*j - 326 = 1776. Let h = v + 795. Is h prime?
False
Let n = -158 - -160. Suppose 2*y + 7725 = 5*m, -n*m + 4*y = 1419 - 4525. Is m prime?
True
Let s(a) = 13*a - 1077. Let j be s(0). Let x = -700 - j. Is x a prime number?
False
Let o(c) = -c**3 - 4*c**2 + c + 6. Let m(d) = 3*d**3 + 11*d**2 - 4*d - 18. Let g(p) = 3*m(p) + 8*o(p). Let f be g(-2). Is (-1 - 1533/9)*3/f prime?
True
Suppose -292978 = 10*m - 17*m. Suppose -m = -11*l + 44155. Is l composite?
True
Let v(z) = -z**3 - 24*z**2 + 24*z + 9. Let s be v(-25). Suppose s*u - 16739 = 6755. Is u a composite number?
False
Suppose 10*k = 7*k. Suppose -4*l = -4, 0*p + 2*p - 2*l - 8208 = k. Suppose -3*s + p = 2*s. Is s a composite number?
False
Suppose r = -19 + 7. Let n be 2 - 58/r - (-6)/36. Suppose -n*z + 2*z = -7185. Is z a composite number?
True
Suppose 0 = 7*b - 4688 - 471. Is (b + -18)/(1/7) composite?
True
Let k(v) = -997*v**2 + 6*v. Suppose -3*g + 5*o + 9 = 0, -4 - 2 = -2*g - 2*o. Let w(a) = 2991*a**2 - 17*a + 1. Let j(s) = g*w(s) + 8*k(s). Is j(2) prime?
False
Suppose 4*h - 9 = -1. Let u(m) = -378*m - 1. Let k be u(h). Let r = k - -1314. Is r composite?
False
Let x(t) = 1020*t**2 - 6*t - 10. Suppose 0 = -8*l - 6 - 10. Let d be x(l). Suppose -d = -7*c + 2211. Is c a prime number?
False
Let t be (-14)/(-91) - 10134/(-39). Suppose 2*p - 7*p = 4*z + 439, -3*p + z - t = 0. Let x = p - -166. Is x composite?
False
Let h = 43 + -38. Suppose 2*w + 2*g = -w - 3361, h*g = 4*w + 4466. Let c = 2008 + w. Is c prime?
False
Let s = 25 + -30. Let x(c) = 30*c**2 - 2*c - 10. Let i be x(s). Let m = -77 + i. Is m prime?
True
Let f be (-57)/(-15) + -2 + (-12)/(-10). Suppose -f*y + 10*y - 17521 = 0. Suppose 3455 = 9*i - y. Is i a composite number?
True
Let n(q) = -126330*q - 131. Is n(-1) prime?
True
Suppose 0 = -10*m + 5*m - 4*i + 25, -i = 0. Let n(x) = 22*x + 7. Let c be n(m). Let k = c + 214. Is k a composite number?
False
Let p = -9608 - -22199. Let x = -1042 + p. Is x a composite number?
False
Suppose b - 59212 = 5*i, -2*i + 15 = 3*i. Suppose 60*w = 67*w - b. Is w prime?
True
Is 24/(-22) - (-1707246)/22 a prime number?
False
Suppose 0 = 4*o - 2*v + 2290, 0 = o - 4*v + 117 + 473. Let t = o - -1273. Is t composite?
True
Let v(k) = 68*k**2 - 32*k + 30. Suppose 4*a + 14 = -54. Let h be v(a). Suppose 8*g - 2*g - h = 0. Is g prime?
True
Is (92/(-44) + 2)*-621709 composite?
