s x a prime number?
True
Let l be 3 + 1 + 5*(-36)/(-30). Let g(u) = 78*u**2 - 14*u + 9. Is g(l) composite?
False
Suppose -2*l = -l + 5*r - 20, -2*r = -6. Suppose 6 = -l*q + 1. Is (q + (1347 - -2))/2 a composite number?
True
Let t be (4 + (3 - 165))/(4/62). Let b = t + 6236. Is b a prime number?
False
Let l = -69 - -71. Suppose z + 11 = -5*n, z + 0*n = -2*n - l. Suppose 2999 = z*i - 3629. Is i prime?
True
Suppose -19*o + 20*o = 5. Let q be (-7 + o)*3/6*8. Is (-36872)/(-14) + q/(-28) - 3 composite?
True
Let c = 1207057 + -543540. Is c composite?
False
Let q(k) = 5*k**2 - 33*k - 54. Let r be q(-28). Let u = r + -3331. Is u a composite number?
False
Let c(x) = 5*x + 86. Let f be c(-16). Suppose 23*r = f*r + 43843. Is r a composite number?
False
Let v = 30298 + -14619. Is v a composite number?
False
Suppose 0 = 109*q - 111*q - 5*w + 430043, 430064 = 2*q - 2*w. Is q composite?
True
Let p = -23433 - -34156. Is p prime?
True
Let p(d) = d - 4. Suppose 0 = -5*r - 9 + 44. Let c be p(r). Suppose -3*m + 4*h = -2403, -c*h + 264 = 5*m - 3712. Is m a composite number?
False
Let k(t) = 296*t**2 - 2*t + 5 - 83*t**2 - 12. Is k(-10) prime?
True
Is (-10 - -17)*197407/49*1 prime?
True
Let v be (2 + (-24)/9)*(205265 - -1). Let x = -380507 - v. Is x/(-231) - (-4)/22 prime?
False
Suppose 0 = -5*f + 34142 + 11133. Suppose 12*i - 7*i - f = 0. Is i a composite number?
False
Let k(w) = -12*w + 87. Let j be k(7). Suppose 2152 = j*t - 2. Is t prime?
False
Let t(o) = 1583*o - 50. Let u = 261 - 252. Is t(u) a composite number?
False
Let i(u) = 1182*u + 383. Is i(38) a prime number?
False
Let b = 242630 - 160743. Is b composite?
True
Let g = 888593 + -562654. Is g a composite number?
False
Let n(r) = -42*r + 272. Let t be n(7). Is 33/t*((-63344)/12 + -2) prime?
False
Suppose -23*g = -23 - 23. Suppose r - 2*b - 1933 = 0, -g*r = r - 4*b - 5807. Is r composite?
True
Let h = -489 - -491. Suppose 5*o = -h*n + 106, 2*n - 41 - 43 = -4*o. Is o a composite number?
True
Suppose -5*x + 6*a + 2712 = 4*a, 0 = x - 5*a - 524. Let n(i) = x*i - 169*i + 106*i. Is n(1) a composite number?
True
Suppose 10*p = 37 + 823. Let h = p + -69. Let k = h - 6. Is k prime?
True
Suppose -47190*a + 7379772 = -47178*a. Is a composite?
False
Let q(y) = -20*y**3 + 18*y**2 + 73*y + 16. Is q(-13) a composite number?
False
Suppose 26*j - 23*j - 12 = 0. Suppose 0*r - 15 = -5*r. Suppose r*z = -8*m + 11*m + 144, -j*z = -2*m - 202. Is z prime?
True
Let u be (-1)/((-1)/415) + (-37 - -39). Suppose -2*r = -2845 + u. Let a = 2281 - r. Is a a prime number?
False
Let j be 1*19/(19/(-6)). Is j/(-9) - (-6518)/6 a composite number?
False
Let p(h) = -h**2 - h + 88. Let q be p(9). Is (q/7)/((-12)/4124694) a prime number?
True
Suppose 3977907 + 2015016 = 80*h - 23*h. Is h prime?
False
Let k(v) = 7*v**3 - v**2 + 5*v - 15. Let f be k(4). Suppose -602 = c + f. Is (c/(-3) - -1)/((-2)/(-9)) a prime number?
False
Suppose -5*a + 2*f + 1365795 - 387856 = 0, 4*f + 977943 = 5*a. Is a composite?
True
Suppose 75 = 2*z + 81. Let a be z/2*20/(-3). Suppose 7*f + 237 = a*f. Is f a composite number?
False
Let c(m) = 4*m + 1329. Let n be c(0). Is n + (14 + -16)/((-2)/4) a prime number?
False
Let a(y) = 389*y + 2. Suppose 4*j - 4*o = 72, j = 3*j + 5*o - 29. Let g = -16 + j. Is a(g) a composite number?
True
Let h = 1023082 - 668061. Is h a composite number?
True
Suppose 76*a = 99*a - 21114. Suppose a*v + 70386 = 924*v. Is v prime?
True
Let d be 7 - (0 + 3) - (-5)/(-5). Let i be d + (-20)/5 + -2. Is (-2 - (-6256)/5) + i/15 composite?
False
Let i = 466548 + -304718. Suppose -10*t + i = -0*t. Is t a prime number?
True
Let a(r) = 49*r**2 + 4*r + 127. Let o be a(30). Let q = 77006 - o. Is q prime?
False
Let r(g) = -2*g**3 - 2*g**2 - 5*g + 4. Let u be r(0). Is ((-72)/(-48))/((-3)/u) + 909 composite?
False
Let w(o) = -o**2 + o + 2. Let a be w(-1). Suppose 0 = -c + 5*q - 25 + 151, 3*q + 15 = a. Let t = c + 206. Is t a prime number?
True
Let h(r) = -r**3 + 13*r**2 - 2*r + 13. Suppose -10*o + 108 + 262 = 0. Let l = -27 + o. Is h(l) prime?
True
Let v(i) = -200*i**3 + 3*i**2 - 14*i + 45. Is v(-8) composite?
True
Let z = 837162 + -556409. Is z a composite number?
True
Suppose -4*r = 3685 + 1911. Let s = 3915 + r. Suppose 3*z + 4*b = -0*b + 1494, s = 5*z - 2*b. Is z composite?
True
Let s(x) be the third derivative of 59*x**5/60 + 17*x**4/24 - x**3/2 - 113*x**2. Is s(-8) prime?
True
Suppose 6*z = 7*z. Suppose 6*f - 12606 = -z*f. Is f composite?
True
Let c be 1 - (-7 - (-7 + 3)). Suppose 0 = c*v - 4*y + 1392, 3*v + y + 875 = -169. Let n = -43 - v. Is n prime?
False
Let b(l) = 94356*l**2 - 17*l + 1. Is b(-2) composite?
False
Let c = -14 + 14. Suppose 48*n - 57*n + 18 = 0. Suppose -4*p - p + 976 = n*k, 2*p - 3*k - 379 = c. Is p a prime number?
False
Suppose -2*o = 5*c - 187787, 5*o + 0 = 5. Suppose 15*i - c = -2802. Is i composite?
True
Suppose -135*s + 137*s - 5*k = 1043062, -2*s + 3*k = -1043078. Is s prime?
True
Let m = 120 - 99. Let s = m - 21. Is 2 + s - (-2047 - -4) a composite number?
True
Is (31/(527/(-1385092)))/(-4) a composite number?
False
Suppose 5*s + 4*d + 20022 - 55907 = 0, 3*s + 2*d - 21531 = 0. Is s a prime number?
True
Let x(c) = -c**3 - 2*c**2 + 3*c + 3. Let l be x(-3). Let p(u) = 4*u - 67*u**l - 3 - u**2 + u**2 - 13*u - 8*u**2. Is p(-3) a prime number?
False
Let t be (-12)/63*-51 + (-2)/(-7). Suppose -4*u = w - 154, -6*w + w + t = 0. Is u prime?
False
Suppose 4*q - 93 = -5*x, -q + 4 = -3*x - 15. Suppose -29*f = -q*f - 5383. Is f a composite number?
False
Let q(l) be the second derivative of 19/12*l**4 + 1/2*l**2 - 6*l + 0 + 0*l**3. Is q(-2) a composite number?
True
Suppose 0 = 19*t - 14*t - 168145. Suppose 21*k = t + 4402. Is k a prime number?
True
Let y = 199000 - 109977. Is y prime?
False
Let l(r) = -4 + 3 + 0*r + r - 5. Let x be l(6). Suppose -h + 0*h - 4*c + 2337 = x, h = 3*c + 2309. Is h a composite number?
True
Let w = 5778435 + -2970778. Is w a prime number?
True
Suppose 0 = -4*g + 3*z - 63, 25 = -2*g + 3*z - 14. Let u(i) = i**3 + 22*i**2 - 11*i + 25. Is u(g) a prime number?
True
Let z(a) = -2416*a + 107. Let l(q) = 4833*q - 218. Let d(p) = -4*l(p) - 7*z(p). Is d(-4) composite?
False
Let p be (5/(-20)*183)/(6/(-16)). Let m = 113 - p. Is (-402)/(-4)*(-66)/m a composite number?
True
Suppose 11*q - 164902 = 1398055. Is q composite?
True
Let b(k) = -734*k + 6827. Is b(-48) a composite number?
True
Let y be (-15)/(-9)*(-15 - -8514). Is ((-8)/(-20))/(1/y) prime?
False
Suppose q - 3*g = 236588, 225336 + 484488 = 3*q + 3*g. Is q composite?
True
Suppose -2*c - 3*u + 16117 = 0, 11*u = 12*u + 3. Is c a composite number?
True
Let r = -133647 + 267178. Is r a prime number?
False
Let h(d) = -5*d**2 + 9*d + 3*d + 3*d**2 + 9*d - 3*d**3 + 7 - 16*d. Let c be 0/(-2) + 0 - 3. Is h(c) prime?
False
Suppose 0 = 116*c - 2578859 - 198297. Is c a composite number?
True
Suppose 3*a - 64 = -5*a. Let b be ((-14)/a)/(9/(-144)). Suppose -1062 = -5*t + b. Is t prime?
False
Let q(t) = 114*t**2 - 9*t + 23. Suppose 0 = -5*g + 2*p + 42, 3*g + p - 28 = -5. Is q(g) a prime number?
True
Let v be (-138820)/(-110) + (4 - 0/(-2)). Suppose 5*r = 3*i + 3458, -3*r + v = -i - 808. Is r a composite number?
False
Let v(s) = 45*s**2 + 145*s - 163. Is v(-70) a composite number?
False
Let x = 73993 - 46832. Is x prime?
False
Let d(r) = -150*r**3 + 7*r**2 - 79*r - 13. Is d(-17) prime?
True
Let k(q) = 10558*q - 1477. Is k(12) composite?
False
Let r(k) = 461*k + 41. Let i(l) = 230*l + 20. Let c(p) = 7*i(p) - 3*r(p). Suppose -51*q + 53*q - 24 = 0. Is c(q) a prime number?
True
Suppose -6*h + 2*c + 1761590 = 0, 0 = 16*h - 13*h - 4*c - 880789. Is h composite?
False
Let a(o) = -30*o**2 + 18*o + 19. Let m(r) = 3*r**2. Let i(u) = -a(u) - 3*m(u). Is i(16) a prime number?
False
Let g be (-5)/25 + -11*326312/(-10). Suppose g = 13*k - 0*k. Is k a composite number?
False
Let q = 5567 - -438. Is q prime?
False
Suppose 12*s + 70 = 19*s. Suppose -s*q = -12*q + 3886. Is q a composite number?
True
Let y = -2743768 - -4636005. Is y a composite number?
True
Suppose 173334 = 55*p - 41*p. Is p a prime number?
False
Let d = 84 - 92. Is 1955/4 + (-2)/d composite?
True
Suppose -2891 = -3*j + 6163. Let f = j + -1759. Is f prime?
True
Let v = 29884 + -9925. Let t = v + -9805. Is t a composite number?
True
Let l = 