3818/(-5))/3 prime?
False
Let l(m) = 92*m + 16. Let o = -10 - -19. Let z be l(o). Suppose 3*x - z = -x. Is x composite?
False
Let i(v) = 26*v + 4. Let u be i(-5). Suppose -8*x + 13*x - 895 = 0. Let p = x + u. Is p prime?
True
Is (127/(-3))/(-7 + 51210/7317) a prime number?
False
Let g(c) be the second derivative of 17*c**4/2 + 3*c**2/2 + 2*c - 3. Let s = 0 + 2. Is g(s) a composite number?
True
Suppose -10 + 2 = 2*k. Let u be 0*(-3 + k/(-2)). Is (-62 + -3)/(-1) + u composite?
True
Let c = -496 + 245. Is c/(2*4/(-8)) prime?
True
Let r be (-4)/(-1) - (-555 + 1). Let j = -347 + r. Is j composite?
False
Suppose 2*z + p - 2*p + 3 = 0, 0 = -4*z + 4*p. Is (-1)/(-6)*706 + (-1)/z prime?
False
Let g(x) = 2747*x**2 - 13*x + 7. Is g(3) a prime number?
True
Let h(l) = 17*l**2 - 16. Is h(-9) a prime number?
True
Suppose -2*l + 12 = -278. Let c = l + 124. Is c composite?
False
Suppose -12 = -t - 3*t. Suppose -4*h + 4*o + 17936 = 0, t*o = 4*h - 12419 - 5520. Is h prime?
False
Let m = 55 + -55. Is (1 - m)/(((-2)/(-422))/1) composite?
False
Let m(u) = -u**3 + 9*u**2 + 2*u - 16. Let s be m(9). Suppose -3*q - 3*x + 243 = 0, -2*q - 6*x + 158 = -s*x. Is q composite?
False
Let q(c) = 725*c + 17. Is q(9) a composite number?
True
Suppose 21*t - 3060 = 11*t. Suppose -5 + 1 = x, -2*x = 2*z - t. Is z prime?
True
Suppose 4*h + 5*w - 18053 = 6*w, -3*w = -5*h + 22568. Is h composite?
False
Suppose -14*c = 14*c - 9884. Is c composite?
False
Suppose 334*b = 322*b + 512868. Is b a prime number?
False
Suppose -9*i + 13*i = -a + 15141, -i = -a + 15161. Is a composite?
True
Is 2*108/8 + 36/(-18) a composite number?
True
Let u = 33 + -42. Is u*(-2 - 16/(-12)) a composite number?
True
Suppose -i - 9 = -4*i. Suppose i*z - 1011 = -0*z. Is z a composite number?
False
Let b(k) = 1146*k + 6. Let s be b(2). Let x = 3355 - s. Is x prime?
False
Let m(c) = 1704*c - 127. Is m(11) a prime number?
True
Suppose 295*p = 290*p + 23495. Is p a composite number?
True
Let q(k) = k**3 - 7*k**2 + 10*k + 4. Let p be q(5). Suppose -o - o - 117 = -5*h, -4*o - p = 0. Is h composite?
False
Let i = 495 - 319. Suppose 0 = s - 463 - i. Let c = 1018 - s. Is c a prime number?
True
Let g be 570 - 2*2/(-4). Suppose -g = -3*a + 827. Let l = a - 75. Is l a prime number?
False
Let w be 0/13 + -1 + -8. Is ((-1731)/(-4))/(w/(-24)) prime?
False
Let o = -88 + 84. Is (4053 - 0 - o)*1 a composite number?
False
Let p = -8275 + 18042. Is p a composite number?
False
Let k(a) = -1155*a**3 - 4*a**2 - 10*a - 5. Is k(-2) a composite number?
False
Let l be ((-4)/12 - 0)/((-3)/27). Suppose -4*c = 20, -c + 6628 = l*g - 3*c. Is g composite?
True
Let j be (-34)/(-8) - (-2)/(-8). Suppose -3*g + 4 = -4*y - 4, j*y = -g - 8. Suppose -4*c = -4*l + 312, g*c = 4*l - c - 315. Is l composite?
False
Let s = -9524 - -15477. Is s a composite number?
False
Let n = 215 - 371. Let x be ((-1)/(-2))/((-2)/16). Is (n/x)/(-3)*-7 prime?
False
Let l be ((-10)/(-6))/((-1)/(-3)). Suppose 2*b + 2*z - 166 = 0, l*b - 2*b + 5*z - 243 = 0. Let y = b + -28. Is y a composite number?
True
Suppose 23*m - 2*m - 6552 = 0. Suppose 4*p - m = 1484. Is p a prime number?
True
Let r = 11873 + -6886. Is r a composite number?
False
Let t(w) = -35*w + 73. Is t(-12) composite?
True
Let w(o) = -o**2 - 13*o + 11. Suppose -4*b = -3*a - 32, 3*b - 6*b - 26 = 4*a. Let k = -5 + a. Is w(k) composite?
False
Suppose 2*j = -m + 11, -2*m = 3*m - 5*j - 25. Let g(t) = -195*t - 7. Let w be g(m). Let i = w + 2565. Is i composite?
False
Suppose 0 = 2*o - 2*t - 48, 2*o = -t - 7 + 52. Suppose -5*z + 451 = 4*a, -z - 147 = -a - o. Is a prime?
False
Let j = 62 - -458. Suppose 4*b - 1744 - j = -4*f, -5*b + 5*f = -2860. Suppose 626 = 5*u - 4*c, -4*u + 3*c + b - 69 = 0. Is u prime?
False
Suppose 0 = -2*x + 4*d + 4, -x + 2*x + d - 5 = 0. Suppose i - 5*z = 5*i - 16, 40 = x*i - z. Suppose -j = i - 47. Is j prime?
False
Let t be 30/9*30/2. Let v = t - -40. Suppose 0 = -5*s - 5*b + v, -s - 4*b + b = -8. Is s composite?
False
Let o(a) = -5*a - 11. Let v be o(-5). Is ((-7)/v*3)/((-3)/1636) composite?
True
Let r(x) = -x**3 + 3*x**2 - 3*x + 2. Let a be r(3). Let s = 11 + a. Suppose -s*t = t - 345. Is t composite?
True
Let i = 12 - 10. Suppose 0 = -5*l - 5, 3*j - 3*l = -i*l + 2383. Is j prime?
False
Suppose 4*z = 15*z - 60038. Is z composite?
True
Let f = -19 + 30. Let v = 6 - f. Let r(p) = -p**3 + 2*p**2 - 2*p. Is r(v) composite?
True
Let f be -5 + -7051 + (-1)/(1/3). Let d = f + 13070. Is d prime?
True
Let f = -2 + 4. Let k be (-190)/(-5)*f/(-4). Let s = k - -38. Is s prime?
True
Suppose x - 104 = -0*x. Let c = x + 83. Is c a prime number?
False
Let s = 415 - 193. Is 32/12*s/8 prime?
False
Suppose -8 = -2*y - 0*y. Let i be 0/(-2*2/y). Suppose -3*n + 2*n - 5*h + 72 = i, 3*h = -5*n + 426. Is n a composite number?
True
Suppose 17*v = 13*v + 40. Let j be ((-14)/v)/((-11)/55). Suppose j*t - 350 = 119. Is t a composite number?
False
Suppose r - 18*r + 42007 = 0. Is r composite?
True
Suppose -358 - 352 = 5*v. Suppose 3*r - 1720 = -448. Is 1/(r/v - -3) composite?
False
Let g be (34/6 - 1)/((-18)/(-27)). Is 2460 + (g/(-5) - 2/(-5)) composite?
False
Suppose -2*p + 8 = -2*o, 4 = -o + 4*p - 15. Suppose o + 5 = 2*u. Suppose 2*v + 0*b - 44 = 4*b, 2*v - 16 = -u*b. Is v composite?
True
Let x(w) = 6176*w + 21. Is x(1) a prime number?
True
Let m(u) be the first derivative of 4*u**3/3 + 15*u**2/2 - 9*u - 2. Let w = -43 - -53. Is m(w) prime?
True
Let m be -1 - (0 - (-9)/(-3)). Suppose -3 = -m*r + r. Suppose 4*n - 880 = -a, -r - 1 = a. Is n prime?
False
Let y be (-25)/(-9) - 2/(-9). Suppose y*b + 1 = 2*b. Is 2*b/2*-93 a composite number?
True
Let w(d) = -d**2 - 14*d - 24. Let g be w(-12). Suppose 4*z - 631 - 165 = g. Is z a composite number?
False
Suppose -3*z - 4 = -5*z. Let a = 5 - z. Suppose -4*c - 3*i - 593 = -1947, a*i = 6. Is c a composite number?
False
Let j be 7*(-3 - -4) + 0. Suppose -2*w + j*w = 3175. Is w composite?
True
Let n(i) = 1. Let u(r) = r**2 - 16*r + 18. Let g(t) = 4*n(t) - u(t). Is g(14) prime?
False
Let r(v) = -11*v**2 + 2*v + 3. Let a be r(8). Let u = 1511 + a. Suppose -4*c = -2*c - u. Is c a composite number?
True
Suppose f + 4*d = 14, -2*f + 4*f - 3 = -3*d. Let h(l) = 2*l**2 + 13*l - 6. Let t be h(f). Is (-174)/(-9) + 4/t a prime number?
True
Let k(g) = 2*g - 5. Let c be k(5). Suppose -4*f + 2*f = -c*t - 119, 131 = 3*f + 2*t. Is f a composite number?
False
Let h(m) = -m**3 + m**2 + 13*m - 3. Let w be h(4). Let u(s) = 88*s + 3. Let r(t) = 264*t + 10. Let d(n) = -2*r(n) + 7*u(n). Is d(w) a composite number?
False
Let u(v) = 3716*v + 5. Is u(3) a prime number?
False
Suppose -2*x - 218 = -3*a, -a + 5*x = 3*a - 286. Is a a composite number?
True
Let z(m) = m**3 - 3*m**2 + m - 3. Let p be z(3). Suppose p = 5*r - 9*r + 2164. Is r prime?
True
Suppose 8*o + 1099 = 55331. Is o prime?
True
Suppose -34*q + 492865 = -714849. Is q composite?
False
Suppose -2684 = -7*a + 7151. Is a prime?
False
Suppose 7185 = -0*n + 5*n. Suppose 0 = -6*a + 3*a + n. Is a a prime number?
True
Let h(o) = -o**3 + 23*o**2 - 21*o - 13. Let d be h(22). Let f(y) = 144*y + 19. Is f(d) a composite number?
True
Let f be 1 + 1 + (2 - -2226). Is 0 - -3 - f/(-5) a prime number?
True
Let j = -47 + 18. Let b = j - -44. Is b prime?
False
Suppose -2*g + 87221 = -3*d, 0*d - 3*d = 4*g - 174397. Is g a composite number?
True
Let m be (1 - 2) + 2 + 2. Suppose -r = -4*x - 5828, -m*x + 0*x - 2*r - 4382 = 0. Is x/(-10) - (-1)/5 composite?
True
Is (-4 - -7)*(430062/9 + 1) a prime number?
True
Let g be 6/12*(1 - 1). Suppose -2*p + p - 5*x = -607, 3*p + 5*x - 1781 = g. Is p prime?
True
Suppose 4699 = -2*h + 11681. Is h a composite number?
False
Suppose 917*q = 920*q - 7359. Is q a composite number?
True
Let w = 76624 + -23187. Is w composite?
False
Let f(y) = -105*y - 1. Let x be f(-1). Let p(u) = -27*u + 5. Let t be p(2). Let n = t + x. Is n composite?
True
Let z(j) = 6*j + j**2 + 6 - 4 - 10. Let h(d) = d**3 + 7*d**2 + 5*d + 3. Let b be h(-6). Is z(b) a composite number?
False
Let q be (-3)/12 + (-34)/(-8). Suppose 0 = -q*n + 173 + 863. Is n a composite number?
True
Suppose 78*g + 4279 = 79*g. Is g a prime number?
False
Let j(t) = -6*t**2 + 4*t - 4. Let m be j(3). Let z = m + 23. Let x = 85 + z. Is x a composite number?
True
Let u(y) be the first derivative o