 = -565, x - 331 = -2*x + a. Is x a composite number?
False
Is 1/3*39957 - 6/1 prime?
True
Suppose -552 = -2*x + 2086. Is x a prime number?
True
Suppose 41*f - 35*f - 2454 = 0. Is f prime?
True
Let j(x) = 14 + 0*x + 6*x + 6*x. Let o be j(-7). Is (8/(-20))/(2/o) composite?
True
Let m(c) = -13 - 2*c - 12*c**3 - 6*c - 2*c**3. Is m(-8) prime?
True
Suppose 5*b = -3*d + 19064, -9*d - 3*b = -6*d - 19062. Is d prime?
True
Suppose 0 = d + 4*s + 23, 5*d - 2*d - 2*s = 1. Let q be (188/d)/(12/(-18)). Let o = q + -61. Is o prime?
False
Let q = -8 - -9. Let g be q + 12 + -3 - 2. Suppose g*a - 166 = 6*a. Is a composite?
False
Let f be ((-2)/8 + (-5)/60)*-3. Is (f + 0)/(9/5283) a composite number?
False
Let j be 3*(-4)/(-9)*3. Let i = 969 - -280. Suppose 2*g = -3*p + i, -j*g + 8 = -6*g. Is p prime?
True
Let k(p) = -1102*p + 19. Let s(h) = 551*h - 10. Let x(l) = 6*k(l) + 11*s(l). Is x(-3) a composite number?
False
Is 16/28 + (-151083)/(-21) composite?
True
Let d be ((-20)/6)/((-4)/6). Suppose 2*s = -3*j + 1706, d*s - 3*j - 4246 = -j. Is (1/(-2))/((-5)/s) composite?
True
Let m(j) = j**2 - 678*j**3 - 908*j**3 - 2*j + 0 + 1. Let o be m(1). Is (-6)/(-10) - o/65 a composite number?
True
Suppose -3 = -h + 2, 5*d + 2*h - 20 = 0. Suppose -4*r = -0*r - 3*s - 731, -d*r - 3*s = -379. Suppose 0*m - r = -5*m. Is m prime?
True
Let r = 89887 - 63272. Is r composite?
True
Suppose -8*c + 12452 = -9828. Is c a composite number?
True
Suppose -4*f - 15911 + 213487 = 0. Is f a composite number?
True
Let v be (-1 + 0)/(5/(-135)). Suppose -4*k - 3*q = -v, 19 = 3*k + 4*q - 2*q. Suppose -j + k*j + 2*x = 232, j = x + 126. Is j a prime number?
False
Suppose 2*a + q = -a + 756, q - 3 = 0. Is a a prime number?
True
Suppose 3*j = -5 + 14. Suppose z - j = -1. Suppose -3*t + 606 = 5*c - 2*c, 0 = -5*c - z*t + 1001. Is c a composite number?
False
Let y be (-2)/(-10) - (-93)/(-15). Let f be 7/21 + (-10)/y. Is (-44 + 1)/(f/(-10)) a composite number?
True
Suppose 531 = s + 3*q - 3168, -s = 4*q - 3703. Is s composite?
True
Is 8/(-6) - (-152015)/15 prime?
True
Let h be 7 + 1 - (1 + 2). Is ((-1779)/h)/(-3) + 6/15 composite?
True
Let o(a) = -a**3 + 10*a**2 - 9*a. Let h be o(9). Suppose h*s + 4 = 2*s. Is 3/s + 435/6 composite?
True
Let n(m) be the third derivative of -197*m**4/6 - 7*m**3/6 + 2*m**2. Is n(-6) prime?
True
Let g = 55 - 46. Suppose 0 = -g*u + 5047 + 7202. Is u a prime number?
True
Let g(l) = -6082*l + 93. Is g(-7) prime?
True
Suppose 0 = 2*i + 3*x - 4357, -34*i = -36*i + 4*x + 4322. Is i prime?
False
Let w(v) = v**3 - 4*v**2 + 7*v - 6. Let o be w(3). Suppose o*f + 4*f = 13610. Is f prime?
True
Let k be 1/(3 + (-33)/12). Is (-6660)/(-54)*6/k a prime number?
False
Let n be (-8)/6 - (-13)/3. Suppose -x = -6*x - n*y + 1667, 650 = 2*x - 3*y. Is x composite?
False
Let p be 445 + 0 + (-1 - -2). Let f = -304 + p. Is f a composite number?
True
Let k be -12 + 9 + -1 + 1. Let n be ((-8)/k)/(14/651). Suppose 0 = 5*a - n - 1. Is a a composite number?
True
Suppose j - 5*s - 14 = 0, 0*j - 3*j = -4*s - 86. Let t = j - 32. Suppose -2*h - t*f = -129 - 31, f + 394 = 5*h. Is h composite?
False
Suppose 7084 = 6*w + w. Suppose 2*a - w = -2*a. Is a a composite number?
True
Let l be (1 - 0)/((-1)/(-24)). Is (1082/(-6))/((-8)/l) prime?
True
Let d(y) = y - 8. Let i be d(6). Let o be 148/(-10) - i/(-10). Is (39 + 0)*o/(-9) composite?
True
Let k(l) = 851*l**3 - l - 16. Let x be k(-3). Is x/(-4) + (-4)/8 a composite number?
True
Let n(w) = -w**3 - 51*w**2 - 81*w - 48. Is n(-51) a composite number?
True
Is ((-29864)/(-20))/(2/15) prime?
False
Suppose -3 + 1 = -2*a, -4*c + 33 = -3*a. Suppose -1218 = -c*i + 3*i. Is i a composite number?
True
Suppose -14*n - 256 = -18*n. Suppose -n*i + 284 = -60*i. Is i a composite number?
False
Suppose 4*l - 5818 = -g, -378 - 1083 = -l + 3*g. Let n = 2224 - l. Is n prime?
True
Let b(x) = -15*x**3 - 3*x**2 - 2*x - 2. Let i = 8 - 11. Let r be b(i). Suppose 0 = -4*q - 2*w + r, -352 - 12 = -4*q + 4*w. Is q prime?
False
Suppose 100032 = 24*z - 342360. Is z a prime number?
True
Suppose 69813 = 5*f + b, b = 3*b + 4. Is f a prime number?
True
Let u(z) = 378*z**3 - 13*z**2 + 14*z - 10. Is u(5) a composite number?
True
Let l(r) = 25*r**2 - 3*r + 3. Let h(j) = 24*j**2 - 2*j + 3. Let m(o) = 5*h(o) - 4*l(o). Is m(4) a composite number?
False
Let h be 165/(-5)*(16/(-12))/4. Suppose h*t = 16*t - 8255. Is t prime?
False
Let k(u) be the second derivative of -3*u**5/5 - u**4/4 - u**2 + 6*u. Is k(-3) prime?
False
Let m = -7 + 15. Suppose -m*v + 4766 = -7050. Is v composite?
True
Suppose 2*x = -1387 + 5223. Let b = x + -767. Is b composite?
False
Suppose -39259 = -110*d + 27*d. Is d composite?
True
Suppose 0 = 4*v + 1 - 9. Is v/(-4) + 3588/24 prime?
True
Let i = 15482 - 6183. Is i a prime number?
False
Let s(m) = -m**2 - 5*m + 1. Let q be s(-6). Let h(o) = -o**3 - 9*o**2 - 4*o - 2. Let b(g) = g**3 + 5*g**2 + 2*g + 1. Let l(y) = q*b(y) - 3*h(y). Is l(-3) prime?
True
Let w be 5*-3*(-8)/20. Let u(z) = z. Let l be u(w). Let i = l - 0. Is i prime?
False
Let f(h) be the third derivative of h**6/120 - h**5/5 - 2*h**4/3 + 5*h**3/2 - 4*h**2. Let c be f(13). Is (10 - c)*3/2 prime?
False
Let i = 2048 - -1258. Suppose -60*d + 66*d = i. Is d composite?
True
Suppose 0 = 5*a + 27 - 97. Suppose -f = -4*t + 2, -4*f + a = 5*t + 85. Is (-3855)/(-3)*f/(-35) composite?
True
Let h = 1 + 19. Suppose -a = -3*p - 5, 5*a - h = -p + a. Suppose p*b + 3*b - 1473 = 0. Is b a composite number?
False
Suppose 0 = -807*l + 799*l + 584072. Is l composite?
False
Let i = 12 - 11. Suppose p = i + 5. Suppose -640 = -p*j + 98. Is j a prime number?
False
Let v be 64/(-16) + 2 + 5. Suppose 0 = v*u - 19*u + 2608. Is u a prime number?
True
Suppose v + 0*v - 2*s = 4492, -2*v + 8975 = 5*s. Suppose 832 + v = 6*a. Is a prime?
True
Let c = 10 - 10. Suppose -104 = -4*f - d, c = 6*f - 8*f + d + 52. Is f prime?
False
Let q(f) = -f**2 + 10*f - 1. Let g be q(8). Let d(t) = -g + 4*t + 5*t**2 + t + 4*t - 4*t**2. Is d(-11) a prime number?
True
Let n be (15/(-4))/(1/(-4)). Let r = 1 + n. Suppose -u + r = -5. Is u a composite number?
True
Let q(j) = 16*j**3 - 9*j**2 - 22*j - 20. Is q(11) prime?
False
Let a = 1230 + -579. Let n(g) = 388*g**2. Let u be n(1). Let h = a - u. Is h a prime number?
True
Suppose 0 = 32*l - 33*l + 2819. Suppose 9*b - 10*b + l = 0. Is b a composite number?
False
Let f(a) = 43*a**2 - 55*a - 73. Is f(-19) composite?
True
Let o be (4 + 0 + -4)/1. Suppose o = s + 4*h - 173, 0*s - 5*h = -5*s + 865. Suppose s + 572 = 5*b. Is b composite?
False
Let g = 53020 - -13207. Is g a composite number?
True
Suppose i - 5*i = -26148. Is i prime?
False
Let t(b) = 84*b + 31. Suppose 3*v - 19 - 15 = -a, 3 = 3*a. Is t(v) a prime number?
False
Let k(o) = o**3 + 16*o**2 - 4*o + 15. Let h(g) = -g - 20. Let a be h(-7). Let d be a - 0 - (3 + 0). Is k(d) composite?
False
Let b(n) = -n + 1. Let c be b(-7). Let x(r) = c*r + 6 - r**3 + 2 - 3*r - 2*r**2 + r. Is x(-7) prime?
True
Let n = -2653 + 4602. Is n composite?
False
Let k be (0 - 1) + 114*1. Suppose 4*t = -t. Suppose s - k + 44 = p, t = -p. Is s a composite number?
True
Let d(w) = -w**3 + 14*w**2 - 13*w - 2. Let s be d(13). Let x be (s/(-3))/((-18)/(-1215)). Let q = x - -104. Is q prime?
True
Suppose 2 = t - 2*p + 3*p, p - 4 = -2*t. Suppose -13 = u - 0*u - 4*b, 3*u - t*b - 1 = 0. Suppose 3*r = -2*w + 981, -w - u*w + 1951 = -5*r. Is w composite?
True
Let n be (-12)/(-24) + (-491)/2. Let s = n + 394. Is s a prime number?
True
Let k = 17 - 14. Is (-38382)/4*(k - (-88)/(-24)) composite?
False
Let v be -3 - (1 - (0 - 2)). Let d(h) = -11 - 1 - 64*h - 7*h - 1. Is d(v) a prime number?
False
Let m(u) = -2*u + 1 + 4*u + 14*u**2 + 19*u**2 - 4. Let r be m(2). Suppose -4*o + r = -3*z, 3*o = 5*o - 4*z - 74. Is o a prime number?
True
Suppose 34*x = 18331 + 13051. Is x prime?
False
Let q(b) be the third derivative of -44*b**5 - b**4/24 + 5*b**2. Let n be q(2). Is 6/27 + n/(-18) composite?
False
Let w = -36 - -4945. Is w composite?
False
Let w be 2/(4/18*3). Let i(l) = l**2 - l - 3. Let a be i(w). Suppose a*o + o = 1172. Is o prime?
True
Suppose 4*d = 3*d + 16. Suppose -v = 5*a + 20, 0 = -2*v - v - 4*a - d. Suppose -5*y - 67 + 597 = v. Is y composite?
True
Is 3 - (-47188 + (-4)/(6 - 8)) prime?
True
Let q be (0 + 0)/(7 + -4). Su