rime number?
False
Let x(f) = 1418*f + 66. Let o be x(5). Let q = o - 2535. Is q prime?
True
Let p be (-3 + 75/9)*3. Suppose -10*z - 504 = -p*z. Is 171300/z - (-2)/(-21)*3 composite?
False
Let u = -38972 - -181269. Is u a composite number?
False
Let v(y) = -y**3 + 5*y**2 + 2*y. Let r be v(5). Let m = r - 6. Suppose 3*q - m*j - 81 = 0, -j + 3 = -3*q + 93. Is q a prime number?
True
Let q = 64798 + -10721. Is q prime?
False
Let t be (-573)/(-2) - 48/32. Let z = t + 791. Let a = -489 + z. Is a composite?
False
Let o = -27 - -30. Let h be o/(-3)*(-4 - -4). Suppose -3*d + 2776 - 109 = h. Is d composite?
True
Let h be (9/(-6))/3*(-28 - 10). Suppose 4*o - 5*r = 26158, 16*r - h*r + 32679 = 5*o. Is o a composite number?
True
Suppose 0 = 2*q - 5*p - 1441832, 46*p - 48*p + 3604667 = 5*q. Is q composite?
False
Let z = -194 + 198. Suppose -z*t + 9323 = -3*p, 0 = 3*t - p + 5*p - 7011. Is t prime?
True
Suppose -2*a + h - 1 = 0, -2*a - 12 = 5*h - 41. Let p(k) = 153*k**a + 13 + 3*k**3 - 4*k**3 + 9*k - 140*k**2. Is p(10) a prime number?
False
Let g(x) = 21*x**2 - 4*x - 22. Let w be ((-3)/6)/(-4*(-4)/32). Let z be (-2)/(-14) - (15/7 - w). Is g(z) composite?
False
Let t(o) = o**2 + o + 3. Suppose 4*m - 3*m = -4*m. Let w be t(m). Suppose -4*u + d = -1788, -w*d = -2*u + 479 + 425. Is u a composite number?
True
Let p(o) = -1396*o + 47. Let z(y) = 465*y - 16. Let l(x) = 4*p(x) + 11*z(x). Let g be l(-6). Is (-33)/2*g/(-27) a prime number?
False
Suppose 2*z - 1619 = -5*r, -2*z = -3*z - r + 805. Let h be 6/8*764 - 2. Let i = z + h. Is i composite?
False
Let d be ((-3)/1)/(-3) + 8979. Suppose 5*x - s + 2*s = d, 0 = -x + s + 1802. Is (x/4)/((-9)/(-36)) composite?
True
Let n = 346 + -350. Is 306 - (4 + -1)*1 - n a composite number?
False
Suppose 4*i - 5*h = 45, 2*i + 4*h - 72 = -2*i. Suppose -i*w = -21*w + 16866. Is w prime?
False
Is (-14031082)/(-143) + -3 - 6/(-11) a prime number?
False
Suppose 0 = -5*x + 22777 - 5557. Suppose -9428 = -8*m + x. Let p = m - 820. Is p a composite number?
True
Let d(p) = 1427*p - 175. Suppose -21*q - 220 = -43*q. Is d(q) a composite number?
True
Let n(g) = 228*g - 54. Let s be n(16). Let z be 529/1 - 2/6*0. Let f = s - z. Is f a prime number?
False
Let o(s) = -70*s + 34*s + 35*s + 16. Let g be o(8). Suppose 0 = -10*c + g*c + 710. Is c prime?
False
Suppose 0 = -7*x + 8*x - 5*l - 2714, -2*l - 5452 = -2*x. Let a = 5210 - x. Is a a prime number?
False
Let v = 32 + 1. Suppose 2722 = -v*f + 35*f. Is f composite?
False
Suppose 130*b = 132*b - 35810. Let y = b - 10754. Is y a composite number?
False
Let h(d) = -657*d**3 + 21*d - 37. Is h(-9) a composite number?
False
Let g = 1261 - 746. Suppose -c = -g - 884. Is c composite?
False
Let s be 84/5 + (-9)/(-45). Suppose 11*d + s = 61. Is (-8)/(-12)*(-6)/d + 80 prime?
True
Let r be (-3050632)/(-182) + (-4)/(-14). Let w = r + -10425. Is w prime?
True
Let t be -16*(1 - (-10)/(-8)). Let p be (((-256)/(-10))/t)/(6/5385). Is p/6 + 40/60 composite?
True
Suppose 17*j - 20 = 12*j. Let p(w) = -w**2 - w. Let s(q) = -19*q**2 + 9*q + 13. Let x(u) = j*p(u) - s(u). Is x(7) composite?
False
Let a(b) = -2*b**2 - 6*b - 7. Let w be a(-4). Let q = 26 - 6. Is 5296/q*w/(-6) composite?
True
Let t(d) = 12*d**3 + 25*d**2 - 33*d + 391. Is t(25) prime?
False
Is 135016414/338 - (-7)/((-546)/(-12)) composite?
True
Let g(p) = -p - 4. Let c(u) = -1. Let l(f) = -c(f) - g(f). Let i be l(-9). Let z(v) = 13*v**2 + 3*v - 11. Is z(i) prime?
False
Suppose -9*d = -5*d - 8. Is d + (548 - 5 - -6) a composite number?
True
Suppose 0*d = 11*d + 374. Is (-4)/d - 352/(-187) - -2717 a composite number?
False
Is ((-16)/(-6))/(-4)*(-19 + 74209/(-2)) composite?
False
Suppose 100*k - 20155 = 95*k. Suppose 3*i = 5*q + 4981, -4*i = 5*q - k - 2587. Is i prime?
True
Suppose 5*p = -2*r + 8162, -8*r + 4*p + 4107 = -7*r. Is r a composite number?
False
Let c be (-84)/(-21)*(0 + (-1)/(-1)). Suppose -c*k + 10538 = 2*i, 14603 = 5*i - 5*k - 11682. Is i prime?
True
Let l(r) = -602*r + 2. Let f be l(-1). Suppose -4*n + 35 = -g + f, -2*n = 2*g - 1108. Is g prime?
True
Suppose -28*q + 41970 + 105024 + 56930 = 0. Is q composite?
False
Let n(k) = 61*k**3 + 3*k**2 + 5*k + 4. Suppose 2 + 8 = 5*g + 4*f, 4*g = -3*f + 7. Let s be n(g). Let i = s + 717. Is i a composite number?
True
Let o = 23761 - 4694. Is o composite?
True
Suppose -9*o + 23409 = -0*o. Suppose -307 + o = 2*l. Is l a prime number?
False
Suppose -4*d = -180 + 60. Suppose -4*y - 2*y + d = 0. Suppose m - 158 = 3*j, -3*m + j = y*j - 435. Is m composite?
False
Let l be (-2)/(18/12 + -1). Is -2*3181/4*(2 + l) composite?
False
Is 3600095*-2*62/(-620) a composite number?
False
Suppose 3*s + 18 = 0, -x + 143*s = 147*s - 93023. Is x composite?
False
Let i = -13208 - -18930. Suppose 0 = -2*y - 4*u + 5722, y + 2*u = -y + i. Is y prime?
True
Suppose 4*o - 4*p - 2431208 = 0, -10*p + 7*p + 1215569 = 2*o. Is o prime?
False
Suppose 100 = -5*q - 0*q. Let s be 8/5 + 12/q. Is ((-3452)/(-12))/(s/3) a composite number?
False
Suppose 0 = -3*i - 1622 - 4804. Let h = i - -6077. Is h composite?
True
Suppose u + 1 - 16 = -5*r, -3*u = 3*r - 21. Suppose r*j - 3560 = 3*q, 0 = -2*j + 6*q - 7*q + 3552. Is j prime?
True
Let g be (6*(-4)/(-30))/((-64)/(-154720)). Suppose 35*z + g = 37*z. Is z a composite number?
False
Let u(p) = 6977*p**2 + 3*p - 3. Let k be u(1). Suppose 2*j + 5*l = k, l + 3466 = j - 4*l. Is j a prime number?
False
Let k(f) = -1080*f**3 + 3*f**2 - f + 11. Let j(p) = 2159*p**3 - 6*p**2 + p - 23. Let n(w) = -4*j(w) - 9*k(w). Is n(2) prime?
True
Let f = 84 - 25. Let n = f + -74. Is 3*4/90 + (-14293)/n a composite number?
False
Let x = -10783 + 15559. Let i = -1266 + x. Suppose 0 = 5*s - l - i, 1397 = 3*s + 5*l - 681. Is s prime?
True
Let u(r) = -2*r**2 + 27*r - 53. Let w be u(6). Let d(x) = 2*x**3 - 71*x**2 - 18*x + 14. Is d(w) composite?
True
Is (-221809)/(-28)*(13 + -9) composite?
False
Suppose 2 = q, 12 = 3*z - 4*q + 2. Suppose -6*d + 11649 = -5475. Suppose d = z*y - 2948. Is y composite?
False
Let c = 328932 - 189545. Is c a composite number?
False
Let y = 354099 + -29114. Is y a prime number?
False
Let f = 49 - 49. Suppose f = -15*n + 9*n + 1626. Is n a prime number?
True
Let j(x) = 115*x**2 - 2*x - 2. Let p(o) = 42*o**2 + o + 1. Let d be p(1). Let f = d - 47. Is j(f) prime?
True
Let l = -43306 - -65655. Suppose 16*o = l + 3. Is o prime?
False
Let v(g) = -30*g**3 + g**2 - 3*g + 15. Let h be v(3). Let k = 2168 + h. Is k a prime number?
True
Let l = -178852 - -340161. Is l a composite number?
False
Is 359 + -346 - -18*1895 a prime number?
True
Let u(h) = -86*h + 1 + 3 + 89*h. Let o be u(2). Is (-2)/(-3)*(-414)/(4 - o) prime?
False
Let p(d) = 856*d - 755. Is p(61) composite?
False
Suppose 3*t + f = 6*f + 3145, 2*t + 5*f = 2055. Let o = t + -587. Is o - (12/14)/((-3)/(-14)) composite?
False
Let t be 0*(65/10)/(-13). Suppose -5*o = -10*o + 3*r + 43170, -4*o - 2*r + 34558 = t. Is o prime?
False
Is (-163919)/3*(-13)/(39/9) a prime number?
False
Suppose -7*o + 2*o = -35. Suppose 2*k - o*k = t - 12515, -k = -3*t - 2503. Is k prime?
True
Let g = -27 + 27. Let c be (g + (-4)/(-5))/(4/(-30)). Is ((-338)/3)/(4/c) + -2 composite?
False
Let o(n) = 12*n - 34. Let a be o(15). Let t = a + 152. Is t prime?
False
Let l be (48/(-40))/(1/2005). Let i = l + 3809. Is i composite?
True
Let d(l) = l**2 - 3*l - 2. Let o be d(-3). Let y = o - 19. Is 1 + ((-2751)/y*1 - -1) prime?
True
Let d(o) = 5*o**2 + 12*o + 53. Let p be d(19). Suppose 0*m - m + p = 5*j, 4*m - 8454 = 2*j. Is m prime?
True
Let o be (-6)/6*1*(-25105)/5. Let h = o - 2874. Is h prime?
False
Let v = -143 - -154. Suppose -9*c = v*c - 79780. Is c a composite number?
False
Let k(b) = b**3 + 13*b**2 - 16*b - 25. Let l be k(-14). Suppose -l*n = -7085 + 1559. Suppose 0 = 4*g - 6050 - n. Is g a prime number?
True
Let u = 11580 - 4655. Let b = 11768 - u. Is b prime?
False
Suppose 147*j - 135*j - 324 = 0. Suppose 10997 = -j*b + 39644. Is b a composite number?
False
Let r = -88 + 94. Suppose -r*a - 2207 = -9113. Is a prime?
True
Let y = -22 - -14. Let q = y + 13. Suppose -u = -q*d - 6*u + 3555, 3*u = 3*d - 2109. Is d a composite number?
True
Let t = 786 - 1753. Suppose 4*z - s = 3*z - 447, 3*z - 2*s + 1340 = 0. Let r = z - t. Is r composite?
False
Let w = -2882 + 6593. Suppose 8*r = 281 + w. 