composite number?
False
Suppose 422543 = 6*z - 5*x, -4*z + 5*x - 8*x + 281689 = 0. Is z prime?
True
Let g be -18*21/(-18)*4. Let n be ((-224)/g)/((-2)/(-9)). Is (10 + n)/(-1 - (-1635)/1637) a prime number?
True
Suppose 227633 = 3*l + 2*m, 5*l - 7*m + 8*m = 379386. Is l composite?
True
Is -199119*(-4)/(28/7) composite?
True
Let a(v) = 9*v**2 - 299*v + 7. Is a(-69) a prime number?
True
Suppose x = -13*x - 336. Let c be (302/8)/(x/(-96)). Suppose s = 62 + c. Is s a composite number?
True
Suppose -13*y - 3 = -14*y, 0 = 2*z + 3*y - 75. Suppose 5749 - 134383 = -z*m. Is m composite?
True
Suppose -h + 3*l = -192469, -5*l - 577431 = -9*h + 6*h. Is h composite?
True
Suppose 0 = 2*h, -3*t - 4*h + 4 = -2. Let v(b) = b**2 + 3*b - 3. Let w be v(t). Let y = w + -5. Is y prime?
True
Suppose 5041 = 2*v - 2*z - 76489, -5*v + 203879 = 4*z. Is v a composite number?
False
Let s = -68 + 81. Suppose 0 = -4*z - 3*i + 864, -18*z + 2*i = -s*z - 1103. Is z composite?
True
Is 20123 + (37 - 68/4) composite?
False
Let n(h) = 6*h**2 - h - 4. Let w be n(2). Suppose 2*t + w = 3*t - 2*a, 40 = 3*t + a. Let y(z) = z**3 - 6*z**2 - 18*z + 3. Is y(t) a composite number?
False
Suppose 29 = 4*s + 2*c - 5*c, 0 = -5*s + c + 28. Let v be ((-9)/(-15))/(7/44905). Suppose s*q - 74 - v = -j, j + 787 = q. Is q a composite number?
True
Let w(i) = 412985*i - 9607. Is w(6) prime?
True
Suppose 0 = 20*a - 17*a - 1038. Suppose 4*k - 3*j + 4350 = -a, 0 = -5*k - 3*j - 5870. Let g = 2127 + k. Is g composite?
False
Suppose 11*w - 11*w = 21*w. Suppose w = 12*k - 3*k - 312507. Is k a composite number?
True
Is 42/(-12)*(3 + (-2 - 27659)) prime?
False
Let t = -6706 - -13413. Is t a prime number?
False
Let c be (-4)/6 + (-38)/(-3). Suppose 25*q + c = 23*q. Let v(l) = -l**3 + l**2 - 10*l - 19. Is v(q) prime?
True
Let l(r) = 575*r**3 - 9*r**2 - 73*r + 51. Is l(8) a prime number?
False
Suppose -14*o = o - 840. Suppose -978 = o*g - 62*g. Is g a composite number?
False
Let a(n) = 74814*n + 2081. Is a(19) prime?
True
Is (-3247909)/770*-11 - 3/(-10) prime?
True
Let z be (905/8 + (-23)/184)*2. Suppose z*g - 90115 = 221*g. Is g prime?
False
Let h(m) = 3126*m**3 - 3*m**2 - 5*m + 15. Is h(2) a composite number?
True
Let z(x) = -3*x**3 + 2*x**2 + 2*x - 26. Let h = 545 + -552. Is z(h) a composite number?
False
Suppose 12*a - 13*a = -5*o + 34736, 7*o = -2*a + 48627. Is o a composite number?
False
Suppose l - 4*a = -3, a + 8 = 4*l - 2*l. Suppose -l*f - 1517 = -3*g, 3*g - f = 4*g - 495. Is g a composite number?
False
Suppose 5*a = 4*z + 99, a + 0*a = -4*z + 15. Let t(o) = 0*o**3 + a*o**2 + 5*o + o**3 - 13 - o. Is t(-18) composite?
False
Suppose 0 = 2*h + 4*j - 1312538, -102 = 2*j - 110. Is h a composite number?
True
Let u(k) = k**3 + 15*k**2 + k. Let d be u(-15). Let t be 877 - (-5)/(d/6). Suppose 2*p - 1162 = 4*x, -2*p - 4*x + t = -311. Is p a prime number?
True
Is (-180)/(-315) - 35619/(-7) prime?
False
Let m = -8856 - -3550. Let p = m - -8702. Suppose 6*l - l = 4*t - 3396, 4*t + 5*l = p. Is t a composite number?
True
Let k be 143112/84 - (-2)/7. Is (k/(-1) - (-3 - -8))*-1 prime?
True
Suppose 2*a - 4608 = 2*y, 0*a - 5*y = -3*a + 6916. Is (-3)/6*(0 - a) prime?
True
Suppose -20 = -2*x - 2*b - 22, 2*x - 2*b - 10 = 0. Suppose x*y + 8*y = 10690. Is y a prime number?
True
Suppose 12108 = 5*y + 7*y. Suppose -4719 = -5*w - 2*l, -l + 879 + y = 2*w. Is w prime?
False
Let a(d) = 2*d + 7*d - 14*d**2 - 14*d - 10*d + 56. Let o be a(17). Let k = o - -11360. Is k a prime number?
False
Let i(k) = -10*k**2 + 18*k - 49. Let g be i(22). Let q = -2870 - g. Is q composite?
True
Let y be (-19926)/4 + (-3 - 9/(-2)). Let i = y + 8263. Suppose i = -3*o + 10*o. Is o prime?
False
Let y be (1/(-2)*-1)/(184/736). Suppose -y*o = -9*h + 11*h - 35334, -5*h = -3*o - 88367. Is h prime?
False
Let m be 2905/(-49) + 4/14. Let y = 59 + m. Suppose -3*n + 2*x + 5517 = 0, y = -5*n - x - 0*x + 9208. Is n a composite number?
True
Suppose 290 = 2*w - 7*w. Let v = 55 + w. Let y(q) = -q**2 - 4*q + 1. Is y(v) prime?
False
Let h(x) = 11*x + 160. Let g be h(-14). Suppose 5611 - 25201 = -g*v. Is v prime?
False
Let i = 103 + -98. Is (5/(-15))/(i/(-556305)) a composite number?
False
Let j(v) = 21*v - 25. Let q be j(-2). Let o = 69 + q. Suppose 1109 = o*z - 1025. Is z a prime number?
False
Suppose -2*a = 0, -5*t - a - 16 = -41. Let g be -3*t/10*-2. Suppose 4*w - g*m - 4403 = 0, 2*w - 3*m - 3306 = -w. Is w a composite number?
False
Let f be (-3)/(-2) + -2 + (-10666)/(-4). Suppose -3*r + 4*x + 1432 = -f, -5464 = -4*r - 5*x. Suppose 18*t - r = 16*t. Is t a composite number?
False
Is (-17012422)/(-84) - ((2/6)/(-1))/2 composite?
False
Let u(k) = k**2 - 3*k - 7. Let d be u(3). Let s(b) = 43*b + 27. Let x be s(d). Is (5 + -6)*1*x*1 a composite number?
True
Suppose -142 = -4*m - f + 21, f = 2*m - 77. Let a = m + -37. Suppose 4*k + 2*p - 5632 = 0, -5*p + 4217 = -0*k + a*k. Is k prime?
True
Suppose 17*r + 8012526 = 3*r + 188*r. Is r a prime number?
True
Is 259007/(0 + 1) - (-83 - -71) composite?
False
Let x(u) = u**3 - 8*u**2 + 12*u + 6. Let p be x(13). Let k(r) = 51*r. Let j be k(-12). Let d = j + p. Is d a composite number?
True
Let b(n) be the third derivative of n**5/10 + n**4/8 + n**3/6 + 22*n**2. Let i be b(1). Suppose -g = i*g - 4873. Is g a prime number?
True
Is (((-12792096)/24)/3)/(-2) composite?
True
Let u = -49069 - -79838. Is u a prime number?
False
Let m be 0*(-6)/(14 - 2). Is 3 + (m - 4) + 480 a prime number?
True
Suppose 0 = 5*d - 119 + 19. Suppose 0 = d*u - 16637 - 10103. Is u composite?
True
Let v = -29 + 37. Let k(t) be the third derivative of t**5/15 - 17*t**4/24 - 7*t**3/3 - 3*t**2. Is k(v) a composite number?
True
Let c be (-36)/(-8)*(-7 + 23/3). Let g(z) = -z**2 - 8*z + 4. Let p be g(-8). Suppose -5*n = c*x - 1186, -9*x = -4*n - p*x + 971. Is n prime?
True
Let q(g) = 2672*g + 200 + 194 - 407. Is q(3) a composite number?
True
Let g = 2021 - -683. Suppose 5*n - a = 3361, -3*n - 3*a = n - g. Is n a composite number?
False
Let d(b) = 2*b**3 - 11*b**2 + 28*b - 72. Is d(17) a prime number?
False
Suppose -3*l = 5*a - 3580, 4*l + 359 + 1047 = 2*a. Suppose 3*f - 2089 = 4*v, 0*v = f + 2*v - a. Is f a composite number?
True
Let w = -3919 + 5954. Let q(b) = -b - 4. Let i be q(-9). Suppose -i*h = -4*p + 4460, 4*p - 4*h - 2425 = w. Is p prime?
False
Let l = -6117 + 10225. Let c = l - 1331. Is c composite?
False
Suppose 51*w - 56*w + 717815 = 5*m, 2*m = -w + 143559. Is w composite?
False
Let f = -30 + 49. Let o(v) = v**3 - 17*v**2 + 27*v - 8. Let q be o(f). Suppose 0*n - q = -n. Is n prime?
False
Suppose -88898*a = -88912*a + 3255518. Is a a prime number?
False
Suppose -2*j - j + 24 = 0. Suppose j*q - 5*q = 2067. Is q composite?
True
Let s(n) = 3*n**3 + 3*n**2 - 1. Let c be s(1). Suppose 2692 = -0*o + 3*o - c*x, -4*o + 4*x + 3576 = 0. Is o prime?
False
Is 18 + -7 + -21 - -10 - -59399 a composite number?
False
Let w(q) = -7*q + 158 + 99*q + 162 + 23*q - 316. Suppose 0 = 4*h - 28 - 0. Is w(h) prime?
True
Let k(f) = f**3 - 15*f + 5*f**2 - 2*f**2 - 35 + 13*f**2 + 7*f**2. Is k(-20) prime?
False
Let n(g) = -8*g**3 + g**2 + 7*g. Let b be n(5). Let a = b + 560. Let u = a - -789. Is u a composite number?
False
Suppose 4*y - 10941 = 12531. Let n = y - 4159. Is n a composite number?
False
Is 3037335/14*10/33 - 128/704 composite?
True
Let p(c) be the second derivative of c**4/12 + 2*c**3 + 7*c**2/2 - c. Let l be p(-9). Is (-8)/l + 186/10 a prime number?
True
Let v = -4314 + 7749. Let k = 9814 - v. Is k prime?
True
Let m be (6/(-4))/(45/(-60)). Let i be m/(-8) + (4 - 30/8). Suppose i = j - 14 - 117. Is j a prime number?
True
Let l(t) = -t**3 - 2*t**2 + 19*t + 149. Let g be 5 - (1/(-1))/(3/(-51)). Is l(g) composite?
False
Let m be (0/1)/(4 + -2 + 0). Suppose 2*z + 2*x = -m*z + 26, -3*z + 36 = 2*x. Is (z + -12)/(4/(-166)) a prime number?
True
Let o be (14148/9)/((-6)/(-4)). Suppose 7*y + 1822 = -o. Let x = 613 + y. Is x composite?
True
Let b = -21 + 17. Let w be (8258/b)/(-1) + 31/(-62). Suppose i = w + 223. Is i prime?
True
Suppose 8*x = 607 - 575. Suppose x*u + 2*w - 35762 = 0, 5*w = 56*u - 52*u - 35769. Is u composite?
False
Is (-12)/(-18) + (1433112/9 - (-2)/(-6)) a composite number?
True
Let h = 24772 + -20129. Is h composite?
False
Is ((-915)/24)/5*-41816 a composite number?
Tr