 6822 = 12*g - 3246. Is g a prime number?
True
Let z(h) = h + 8. Let k be z(10). Let u = 55 - k. Is u prime?
True
Suppose 0 = 6*n + 6*n - 276636. Is n composite?
False
Suppose -4*n - 7*t + 62101 = -2*t, -t + 46584 = 3*n. Is n a composite number?
True
Let j = -378 - -170. Let i = j - -2121. Is i prime?
True
Let o(k) = 6*k**3 - k**2 + 2*k - 1. Let h be o(1). Suppose -h*w + 8886 = -0*w. Is w a prime number?
True
Let a(f) = 389*f + 166. Is a(3) a composite number?
True
Let h be (-220)/16 + (-2)/8. Let m(f) = -2*f**3 + 4*f**2 - 7*f + 3. Let v be m(-6). Is (-4)/h + v/7 composite?
False
Suppose -7*q + 11*q - 20 = 0. Suppose 0 = -q*w + 570 - 85. Is w prime?
True
Let w be (-57030)/21 + (-2)/7. Let l be (-1)/(1 - w/(-2714)). Suppose 5*p = 2*o - 567, -5*p + l = 4*o + 178. Is o composite?
True
Suppose -1354 = 5*w - 5*v - 5109, -w + 756 = -2*v. Let p = w - 351. Is p prime?
False
Let y(f) be the first derivative of -193*f**2/2 - 2*f + 6. Suppose 0 = r + 4*z - 3, 4*r - 3*z = -6*z - 1. Is y(r) prime?
True
Is ((-3)/(-5))/(1/5245) a prime number?
False
Let c = -418 - -242. Let q = c - -259. Is q composite?
False
Let z be (-1220)/(-15) + 2/(-6). Let q = z - 35. Let r = 97 - q. Is r composite?
True
Suppose 2*i = 498 + 18252. Suppose r = -2*c + 2*r + i, -c + 3*r = -4700. Is c prime?
False
Suppose -3*s + 285887 = 4*s. Is s a composite number?
False
Let t be -98 - (-2 - 2 - -3). Let m = t + 878. Is m prime?
False
Suppose 0 = 6*s - 78027 - 110355. Is s a prime number?
True
Let a(d) = -5*d - 2. Let u be a(-1). Suppose 4*g - 447 = -u*y, -447 = y - 4*y + 3*g. Is y a composite number?
False
Let s = -2837 - -5068. Is s a prime number?
False
Let k(w) = 179*w + 411. Is k(44) composite?
False
Let i(f) = 3*f**3 + 10*f**2 - 9*f - 5. Let k be i(6). Suppose p = -4*a + 551, 3*a = 3*p - k - 749. Is p a composite number?
False
Let l(f) be the second derivative of 1/2*f**2 - 8*f - 19*f**3 + 0. Is l(-1) composite?
True
Suppose -5*x = 3*u - 11556, 2*x = -76*u + 73*u + 11547. Is u a composite number?
False
Suppose 4136 + 207 = v. Is v a prime number?
False
Let f(m) = -5067*m - 13. Is f(-6) a prime number?
True
Let o(z) = 9*z**3 - z - 1. Let a be o(-1). Let g = a + 11. Suppose -g*t + 76 = -82. Is t prime?
True
Let x(i) = 146*i**2 - 50*i + 1. Is x(-6) a composite number?
False
Suppose -11*f = -152213 - 133182. Is f composite?
True
Let o(a) be the first derivative of -277*a**2/2 + 17*a - 15. Is o(-6) a composite number?
True
Let r = -104 - -106. Suppose 5*x - 1275 = 5*h, 34 = x + r*h - 227. Is x a composite number?
False
Let o(i) = -i**2 + 33*i + 9277. Is o(0) prime?
True
Suppose -4634 - 586 = -6*t. Let i = 1913 - t. Is i prime?
False
Suppose 0 = u - 3*u + 8. Suppose 3*b - 3*a - 13 = -u*a, a = 5*b - 11. Suppose b*l - 2*r - 248 = 233, -l = -4*r - 147. Is l a composite number?
False
Let p = -353 + 531. Is p composite?
True
Suppose 0 = -4*t + 4*i + 4, -i + 11 = 5*t - 3*i. Suppose 4*a = 4*g + 1050 + 1238, -t*a = 3*g - 1710. Is a a composite number?
False
Let v = -525 - -3296. Is v a prime number?
False
Let z(i) = i**3 + i + 2. Suppose -5*q - 7 - 3 = 0. Let c be z(q). Is c/20 - 3714/(-10) a prime number?
False
Suppose 4*s = -2*x - 6, -3*x + x + 3 = s. Is s + (-3784)/(-3) - 4/(-6) a prime number?
True
Suppose -5*g + z + 118856 = 0, -6*g - 4*z = -4*g - 47538. Is g prime?
False
Let x = 5 - 11. Let d be (-2)/(1*x/327). Suppose 0 = 4*f - d - 39. Is f a prime number?
True
Let u be 5274 - ((-3)/9 - 14/21). Suppose -28*t - u = -33*t. Is t a prime number?
False
Suppose -m + 222 = -3*m. Let c = 215 - m. Is c prime?
False
Let f(g) = 4*g**2 - 19*g - 191. Is f(26) composite?
True
Suppose -c - 86 = -3*f, -2 = 4*f - 5*f. Let p be 527/5 - 48/c. Let w = 161 - p. Is w composite?
True
Let q(x) = -x**2 - 6*x - 1. Let r be q(-5). Let k = -271 - -427. Suppose 0*t = -r*t + k. Is t a composite number?
True
Let q(k) be the second derivative of -7*k**3/6 + 5*k**2 + 13*k. Is q(-3) a composite number?
False
Let a be 3 - (2 + (-9)/3). Let i = a + -4. Is -3 - i - (-9 + -1) a prime number?
True
Suppose 2*m - 4*m = -8. Let u be (-2 + m)/(16/2008). Suppose u = 8*r - 7*r. Is r composite?
False
Suppose -14*l + 108337 = -18825. Is l composite?
True
Let t = -6007 - -16218. Is t a prime number?
True
Let n(k) = 3*k**3 - 73*k**2 + 125*k - 155. Let j(a) = -a**3 + 24*a**2 - 42*a + 52. Let o(b) = -11*j(b) - 4*n(b). Is o(25) a prime number?
False
Let z = -612 + 1487. Let v = 2358 - z. Is v a prime number?
True
Let r(t) = -16*t + 2. Let h be r(-1). Is (h/(-4))/(-3)*1308/18 a composite number?
False
Suppose 4*m + 2 + 2 = 0. Let c be m/(-2) - 5/10. Is (2*37)/(2 - c) a composite number?
False
Let x(y) = 182*y**3 + y**2 + y - 1. Let m be x(-1). Is (m/(-12) - 2)/(4/16) a composite number?
False
Let p = 62 - 60. Suppose -p*o - 400 = -5798. Is o a prime number?
True
Let r(i) = i - 38. Let m be r(7). Let y = 117 + m. Is y composite?
True
Suppose 18*x = 11284 - 3958. Is x a prime number?
False
Suppose 8*h - 4*h = 8. Let y be -1*-142*h/(-4). Is -2 + y*(-3 + 0) composite?
False
Let y = -24 - -29. Suppose -4*b = 4*m - 380, -472 - 13 = -5*m + y*b. Suppose j - 3*z - 158 = 0, 2*j - 2*z - 200 - m = 0. Is j prime?
False
Suppose z - 5 = 1. Let q = z + 13. Suppose 2*x - 135 = -q. Is x a prime number?
False
Let r(q) = 209*q**2 + 17*q - 99. Is r(7) prime?
False
Suppose -21*t + 57370 = -11*t. Is t a prime number?
True
Let v be -4 + -6*(-291)/9. Let q be 2 + 347 + 2/(-2). Let p = q - v. Is p prime?
False
Let m = 44106 + -10211. Is m a prime number?
False
Is (6 - 14) + 18109/7 a composite number?
False
Suppose 4*o - 2*o + 628134 = 4*b, -5*b + 785135 = 4*o. Is b prime?
False
Let d be 1 + (1/(-1) - 1). Is (1 + d - 3/6)*-1630 a composite number?
True
Suppose 12 = -0*c + 2*c. Suppose -c = -2*p, 0*z - 15 = -3*z - 4*p. Is (93/(-6))/z*-2 prime?
True
Suppose 18546 = 22*j - 6468. Is j prime?
False
Is (0 + 1)*(-2540)/20*-47 prime?
False
Let z be 20/(-4)*(-3 + -22). Suppose 259 = i - z. Suppose -4*d + 307 = r, -r - 77 = 3*d - i. Is r composite?
False
Let z = -30 + 129. Suppose l + z = 4*l. Is l composite?
True
Let k(n) = -36*n - 1. Let u be k(5). Let h = u - -446. Is h prime?
False
Suppose 2*i - 3*v + 8*v - 10737 = 0, v + 16148 = 3*i. Is i a prime number?
True
Let f = -15 + 19. Suppose -2*x = -4*y - 246, -3*x + 181 = -f*y - 196. Let a = x + -94. Is a prime?
True
Suppose 0 = 2*d + 4 - 8, -4*t - 3*d = -41050. Is t a composite number?
True
Suppose 0 = -8*z + 23*z - 122205. Is z composite?
False
Suppose z + 22 + 23 = 0. Suppose 5*k = 7*k - 254. Let g = z + k. Is g prime?
False
Let p(g) = 702*g + 31. Is p(40) a composite number?
False
Let f be -22*(30/(-4) - -5). Suppose 3*w = 4*w - 246. Suppose u - w = f. Is u prime?
False
Suppose -10*r - 24 = 6. Is 4 - (-1 - (147 + 2)) - r a prime number?
True
Let s(v) = 2*v**2 - 9*v - 9. Suppose 20 = -5*p + 4*t - 31, 5*p - t = -39. Let y = -1 + p. Is s(y) a composite number?
False
Is ((-84)/78)/7 + (-127107)/(-39) a prime number?
True
Suppose 4*s - 12 = s. Suppose 0 = -4*t + 8, 6*b - 912 = 2*b - s*t. Is b a composite number?
True
Suppose 24*d - 29*d + 20 = 0. Suppose -z - d*z = -2285. Is z composite?
False
Suppose 3*v - 31371 = 3*r, 4*r + 52273 = 5*v + 2*r. Is v a prime number?
True
Let f(v) = -3*v**3 - 17*v**2 - 19*v - 4. Is f(-13) prime?
False
Suppose f = -1, 4*s + 4*f = f + 13. Suppose s*l + m = -572, l - 5*m + 572 = -3*l. Let h = 0 - l. Is h prime?
False
Let d(u) = 17*u**2 + 3 + 7*u**3 - 10*u**3 + 2*u**3. Let a be d(17). Suppose -191 = 2*w - a*w - 4*m, -2*w + 5*m = -369. Is w composite?
True
Is -4 + (-25015)/(-15) - 6/9 prime?
True
Let d(s) = s**3 - 7*s**2 + 6*s. Let o be d(6). Let k be (-2)/(-4)*o + 34. Let r = 140 - k. Is r a composite number?
True
Suppose -2*t - 2 = 130. Let w = 71 - 118. Let s = w - t. Is s prime?
True
Let p = 1446 + -793. Suppose 3*q - 486 = -l, 5*q = -3*l + 161 + p. Is q a composite number?
True
Let c(h) be the first derivative of 6*h**4 - h**3/3 + h**2/2 + h - 3. Let r be (3/6)/(3/12). Is c(r) a composite number?
False
Let l(b) = 17*b**2 + 4*b + 1. Suppose 0 = -5*g + 4*v + 30, -3*g + v = -10 - 1. Suppose -g*s + 3 = 11. Is l(s) a prime number?
True
Suppose 9*x - 3*x = -30. Let d be (-8)/x*20/8. Suppose 5*a - d*y = 1251, -3*a = 5*y - 684 - 74. Is a composite?
False
Is (-70)/49 + 1 - 495546/(-21) a composite nu