rime number?
True
Let x = 48603 + 2946. Is x a prime number?
False
Let v = -140117 + 510576. Is v composite?
True
Is (3 - (-194474)/21)/(4/12) prime?
True
Suppose 3*x - 9 = -k, -k - 3*x + 21 = -2*k. Is (-20)/8 + (-56361)/k a prime number?
True
Let d(n) = -36*n - 13. Suppose 3*v + 5 + 16 = 0. Let x be (2 - 5) + (v - 0). Is d(x) a prime number?
True
Suppose 0 = -5*c + 5*u + 4882845, -c - 106096 = 3*u - 1082697. Is c composite?
True
Let v(i) = -i**3 - 8*i**2 - 8*i - 2. Let p be v(-7). Suppose 0 = s + p*n - 643, -16*s + 13*s + 1893 = -3*n. Is s a composite number?
True
Suppose -4*m + 8 = -36. Suppose 0 = -m*v + 7*v, 4*h + 5*v - 596 = 0. Is h prime?
True
Is 254814 - (6 + -8 - -13) composite?
False
Suppose 23 + 1 = 12*k. Suppose -5 = x + k*g, -5*x + 0*x + g = -19. Is 3790 + 18/4*2/x composite?
False
Let u(p) = p**3 - 11*p**2 - 2*p. Let t be u(11). Let g(v) = 8*v + 195. Is g(t) a composite number?
False
Suppose -2*b = 3*c - 10, -3*b - 5*c - 7 = -24. Let y be b + -2 + 1 + 21/3. Suppose y*l = 4*a - 5811, -10*a + 4*l - 5820 = -14*a. Is a a composite number?
True
Let k = -35 + 38. Let i be k/(-7) + 66872/182. Suppose 1406 = b + i. Is b a prime number?
True
Let t be (57 - -1)/((-2)/(-80)). Suppose -1371 - 9205 = -16*h. Suppose -11*j + h = -t. Is j a composite number?
False
Let k(w) = -84*w**3 - 8*w**2 - 2*w + 3. Let m be (-11 - 5/(-1))*2/(-4). Let q be (2/m*-1)/((-60)/(-450)). Is k(q) prime?
True
Suppose 0*x = 5*x. Let u(h) = 146*h + 19. Let c be u(16). Suppose 12*i - 7*i - c = x. Is i a composite number?
True
Let g = 27 - 34. Let d(c) = -1270*c - 3. Is d(g) a prime number?
True
Suppose 2*u - 12*i + 13*i - 109550 = 0, -3*i + 164331 = 3*u. Is u a prime number?
True
Is (435/(-60))/29*-386332 composite?
True
Let z(c) = 71*c**2 - 10*c - 14. Let t be (-9)/2*14*(-3)/(-63). Is z(t) a composite number?
True
Let j(x) = -2*x + 19. Let i be j(7). Let m be 0 - (15/i + -8). Suppose -m*v = 3*b - 59 - 573, v - 5*b = 132. Is v a composite number?
False
Suppose -13388077 + 2470112 = -5*y. Is y composite?
False
Let k(g) = -37 - 660*g**2 + 0*g + 236*g**2 - 5*g. Let p be k(-4). Let x = 868 - p. Is x prime?
True
Let y = -20 - -23. Suppose -11 - 83 = y*k + z, -k = 5*z + 50. Is (-4726)/51*k/4 a prime number?
False
Suppose -3*s = 3*t - 2922930, -475*t + 480*t = 5*s - 4871540. Is s composite?
True
Let v(g) be the second derivative of -579*g**3/2 - 26*g**2 + 72*g - 2. Is v(-5) a prime number?
False
Let n be -6*-2*3/12. Let g = 34 + n. Let q = -2 + g. Is q a prime number?
False
Suppose -5*k - 21399 = -2*d, 5*d + 968*k - 53440 = 969*k. Is d a composite number?
False
Is 61005555/117 + (-14)/(-1) a prime number?
True
Let r(z) = -z**3 + 5*z**2 + 15*z + 2. Let g be r(7). Suppose -8*v = -g*v + 505. Is v a composite number?
True
Suppose 3*s + b = s - 30, 2*s - 3*b = -22. Let w be 1/7 + (-824)/s. Suppose 8*v - w = 629. Is v composite?
True
Suppose -5*k - 561 = -1276. Let z = -231 + 831. Let s = z - k. Is s composite?
False
Let z = -7812 - -12206. Suppose 5*q - z = 3*j, 0 = 2*q - j - 627 - 1130. Is q composite?
False
Let s(a) = -13093*a + 153. Is s(-8) a composite number?
True
Let w = -20655 - -50738. Is w prime?
False
Let x(a) = 31 - 141*a + 16*a - 12*a. Suppose 0 = -8*z + 16 - 64. Is x(z) a composite number?
False
Suppose h - 3*u + 96 = 111, 5*h + 2*u - 7 = 0. Suppose -5*w = 5*l - 20, 4*l + 2*w - 4*w - 16 = 0. Is 5 + 3324/h + l a composite number?
False
Let t be ((-30)/(-8))/(((-81)/96)/(-9)). Let l(o) = -o**2 + 67*o + 17. Is l(t) a composite number?
False
Let p(s) = 451*s**2 + 66*s - 893. Is p(10) a prime number?
True
Suppose 4*r - 4*b + 900 = 0, -8*r - 5*b = -6*r + 422. Let o = 176 - r. Is o a composite number?
False
Let t(b) be the third derivative of -b**6/12 - 17*b**5/30 + 2*b**4/3 + 5*b**3/6 + 2*b**2 - 100*b. Is t(-7) a prime number?
True
Suppose -370669 = -61*v + 48*v. Is v a prime number?
True
Let d = -16497 - -39728. Is d a prime number?
False
Suppose 8 = -12*x - 1024. Let h = -87 - x. Is ((-422)/4)/(h*7/182) prime?
False
Suppose -5*k + 15 = 0, -z = 2*k - 0*k - 38. Let u = z + -28. Is 2/u*1 + 50085/42 composite?
False
Let s = 356 + -353. Suppose 2*r - s*b = 630 + 16487, 8572 = r + 3*b. Is r prime?
True
Let w = 295 + -91. Is w - (17 - 8 - 18) prime?
False
Let c(l) = 23 + 459*l - 260*l - 251*l. Is c(-6) a prime number?
False
Let g be (0/(-2 + 4))/2*-1. Suppose -2*r + r + 624 = g. Suppose -r + 53 = -c. Is c a composite number?
False
Let k(s) = 76213*s - 5782. Is k(15) composite?
True
Let i(w) = w**2 + 8*w - 123. Let p be i(8). Suppose -1633 = z + p*k - 7991, -2*k = -2*z + 12704. Is z prime?
True
Suppose 2*z - 10274 = -0*z. Let m(x) = -3*x + 144. Let y be m(48). Suppose -2*q - 1623 + z = y. Is q a prime number?
False
Let w(o) be the second derivative of -79*o**5/20 + o**4/6 + o**3/6 - o**2 - 14*o. Let b be w(-2). Is (b/18)/(2/21) a composite number?
True
Suppose -107*a - 9635340 = -134*a - 3190953. Is a a prime number?
True
Let h(s) = -4*s + 6. Let p be h(2). Let x(a) be the third derivative of 13*a**5/60 + a**4/12 + a**3/2 - 34*a**2. Is x(p) composite?
True
Suppose -g + i + 2 = 0, -4*g - 3*i - 214 = -215. Is 3*(0 - ((-1526)/3 + g)) prime?
True
Is ((-13924)/12 - -13)/(((-4)/6)/1) composite?
False
Let i(o) = 373*o**2 + 27*o - 3. Suppose 2*w = -4*s + 4, 4*w - 4 = 2*w - 5*s. Is i(w) prime?
True
Let t(x) = -24*x - 11. Let z be t(-5). Suppose 0 = -0*c + 8*c - 240. Let f = z - c. Is f a composite number?
False
Let x = 117 - 112. Let o be (4 - (x - 1)) + (1750 - -2). Let p = 5389 - o. Is p prime?
True
Suppose -905863 + 14940728 = 65*f. Is f prime?
True
Suppose 2*n + 14677 + 8587 = 4*w, -5*n = 3*w - 17422. Suppose -3*v - 3*i + w = 0, -1935 = -4*v + 3*v - 4*i. Suppose -4*g - v = -5*g. Is g a prime number?
False
Let k = -27 + 31. Suppose -5*c + 335 = -k*d, 3*c + 4*d - 81 - 88 = 0. Let b = c - -426. Is b prime?
False
Let s be -5*(6 - (-97 - 0)). Let o = 1898 + s. Is o composite?
True
Suppose 4*t = -6*t - 10870. Let y = 710 - t. Is y a prime number?
False
Let k = -221 + 161. Is 2/((-1513)/7615 + (-12)/k) a prime number?
True
Let z = -33 + 35. Suppose y + 4 = z*y. Suppose 4*n = -2*g + 2*n + 760, -3*g - y*n = -1139. Is g a prime number?
False
Let s(l) be the second derivative of 2/3*l**3 + 0 + 33/2*l**2 - 30*l. Is s(14) a prime number?
True
Let h(l) = 83*l**2 + 89*l - 143. Is h(-34) a composite number?
False
Suppose -3*f = 5*v - 60, 0 = f + 3*v - v - 20. Suppose 0 = -p - f + 40. Let o = -11 + p. Is o prime?
False
Let m be ((-2)/(-4))/((-1)/(-42)). Let z = m + -23. Is 10/6*(53 + z) composite?
True
Let k(m) be the first derivative of 25*m**4/12 - 7*m**3/6 - 25*m**2/2 - 28*m - 2. Let y(a) be the first derivative of k(a). Is y(-7) composite?
False
Suppose 3*o - 5*p - 8402 = 0, p = 3*o - 3*p - 8404. Suppose -134*x = -130*x - o. Is x composite?
False
Let m(h) = -h**3 - 4*h**2 - 5*h - 2. Let z be m(-4). Let v = z - 16. Is ((-4983)/6 + 2)*(-4)/v prime?
True
Let t = 182 + -170. Suppose 3*j - t*j + 56439 = 0. Is j a composite number?
False
Suppose -3*k + m + 94 = -208, k - 114 = -3*m. Suppose -4*v + 23 - 7 = 0, -k = 2*z - 4*v. Let i = z + 80. Is i a prime number?
True
Let o be (-8)/(-1 - 3) - (-1 + 1). Suppose 2*m = 6*b - 2*b - o, -3*b - 4*m - 4 = 0. Suppose b = 4*r + 4*s - 5427 - 1185, -5*r = -s - 8277. Is r composite?
True
Let s(l) = 1503*l**2 + 105*l + 749. Is s(-17) a composite number?
True
Let k(p) = -p**3 - 18*p**2 + 14*p - 95. Let w be k(-19). Is (-4)/(-8) - (5409/(-2) - w) a prime number?
False
Let z = 59 - 55. Suppose 0 = -4*c - 4*b + 6*b + 5112, -z*c - 2*b = -5104. Is c composite?
False
Let m(u) = -9*u - 6. Let a be m(-4). Let g = -988 + a. Is (g/(-6))/(11/231) a composite number?
True
Suppose -3*x + 1476431 = 4*m, 4*m + 44*x - 48*x - 1476424 = 0. Is m a composite number?
True
Suppose 3*q = 3*r - 3827 + 13871, 0 = -4*q + 3*r + 13387. Is q a prime number?
True
Let r be (-13)/(13/(-10)) - 4. Suppose -r*a = 10*a - 11936. Is a a prime number?
False
Let t(o) be the second derivative of 322*o**3/3 - 37*o**2/2 - 124*o. Is t(10) a composite number?
True
Suppose 4*u - 44 = -2*d, 8*d - 3*u - 162 = 3*d. Let v(f) = 20*f + d*f - 3*f**2 - 46*f + 4*f**2. Is v(-7) a prime number?
False
Let h be (-10)/50*(-96 - -1). Suppose -76719 = -h*y - 4652. Is y a composite number?
False
Suppose 4*g = 14*g - 50. Suppose 