2. Let b(o) = -o**2 + o + 1. Let f(k) = 5*b(k) - v(k). Is f(0) composite?
True
Suppose 0 = 3*o + 88 + 1199. Let k = 4888 - o. Is k prime?
False
Suppose -2*o + 3*c = -3122 - 6950, -2*o - 5*c = -10104. Is (-4)/6 - o*(-35)/42 a prime number?
True
Suppose -18*v + 139 + 5 = 0. Suppose v*d - 9845 - 2979 = 0. Is d a composite number?
True
Let l be ((-375)/21)/(-5) + 15/35. Suppose 0 = -l*b + 91215 - 6635. Is b a prime number?
False
Let h(p) = -105*p + 1882. Is h(-61) prime?
True
Let r(f) = 3*f**2 - 23*f + 14. Let b be r(16). Suppose i - 4*i = 4*q - b, 2*i = 5*q + 253. Suppose -i - 88 = -6*w. Is w composite?
False
Suppose -145 = q - 3*a + 154, -2*a + 1236 = -4*q. Suppose -5*i = -0*i - 3*x + 2588, 2*x + 528 = -i. Let m = q - i. Is m a composite number?
True
Let m(h) be the first derivative of -h**3/3 + 31*h**2/2 + 30*h - 28. Let o be m(25). Is ((-144)/o)/((6/745)/(-3)) a composite number?
True
Let r(b) be the second derivative of 14*b**2 - 7*b + 0 - 1/12*b**4 + 23/3*b**3. Is r(19) a prime number?
True
Is 64705*1173/170 - (-3)/6 prime?
False
Let k be (1316 + (-1 - -4))/(3 - 2). Let d = 630 + k. Is d composite?
False
Let o(b) = 21*b**3 - 9*b**2 + 11. Let w be o(7). Suppose 13*j = -0*j + w. Is j composite?
False
Let n be (-56)/(-84)*(-1 - -40). Suppose n*h = 71074 + 66648. Is h prime?
True
Let w(t) = 87*t - 631. Is w(34) prime?
False
Let v(q) be the first derivative of -q**4/4 + 2*q**3/3 + 5*q**2/2 + 21*q + 3. Suppose -2*d = 11*j - 7*j + 8, -2*d + 5*j - 8 = 0. Is v(d) prime?
True
Let f(s) be the second derivative of 4*s**3/3 - 21*s**2 - 23*s. Let y be f(6). Suppose y*k - k = -u + 664, 4*k = -3*u + 2047. Is u prime?
False
Let n(b) = b**2 - b. Let m(p) = -43*p**2 - 3*p - 4. Let h(q) = -3*m(q) + 6*n(q). Let s(t) be the first derivative of h(t). Is s(7) prime?
False
Let c = -182 + 184. Suppose c*z - 13088 = -2*s, -15*z + 3*s - 26179 = -19*z. Is z prime?
True
Suppose 0 = -52*i - 6472455 + 48183683. Is i composite?
True
Is (-3139100)/(-140) - (-6)/7 composite?
True
Suppose -4*z + 66228 = u - 7242, 0 = 5*u + 6*z - 367448. Is u prime?
False
Let t be ((-6)/(-4))/((-6)/(-252)). Let l = t - 55. Let h(r) = 2*r**3 + 13*r**2 - 15*r + 18. Is h(l) composite?
True
Let p(g) = -g**2 + g + 2357. Let l be (0/(-1 + -4))/3. Is p(l) a composite number?
False
Let y(h) = 177*h**3 + 7*h**2 + 4*h + 3. Let k be 24/36 - 1/(-3) - -3. Is y(k) prime?
False
Let r be -4 + 7 - (-2)/4*-2. Let d be (-3*r*-1)/(-2) + -2. Is ((-3)/d)/(-1) + 8776/10 prime?
True
Suppose 12*s + 44 = 16*s. Suppose 0 = s*k - 8*k - 12252. Let z = -2673 + k. Is z prime?
False
Suppose -182617 = -5*l - 2*o, -236366 = -5*l - 5*o - 53746. Is l a prime number?
True
Suppose 3*x = 3*l + 73992, -5*l - 69301 - 4701 = -3*x. Is x composite?
False
Let o(x) = -14394*x + 377. Is o(-10) composite?
True
Let z(n) = -2*n - 7. Let b be 4*(-10)/4 - 2. Let r = -17 - b. Is z(r) a composite number?
False
Let n(l) = -374*l + 11. Let g be ((-18)/10)/((-11)/55*-1). Is n(g) composite?
True
Let z(w) = -10 + 51*w + 275*w + 8 - 10. Let g be z(11). Suppose -g = -3*t - 265. Is t a composite number?
False
Let d = -42270 + 93853. Is d a composite number?
True
Let v be 3/(-15) + (-19)/5. Let f be 5/(45/6) + v/(-3). Suppose -f*t - 4 = -42. Is t a composite number?
False
Let w(s) = 25*s**3 - 2*s - 1. Let m be w(-1). Let k be 2000/75*m/5. Let b = -70 - k. Is b composite?
True
Suppose 142 = 5*z + 3*u, u + 67 = 5*z - 79. Suppose -z*i = -112378 - 174751. Is i a prime number?
True
Let o(h) = h - 4. Let c be o(4). Let k = 629 - -1492. Suppose -k = -3*m + g - c*g, -3*g + 707 = m. Is m prime?
False
Let b = 104930 - 42303. Is b a composite number?
False
Let x(y) be the first derivative of -1117*y**2/2 - 18*y - 19. Is x(-7) a prime number?
False
Let w(b) = 2111*b**3 - 2*b**2 + 17*b - 53. Is w(3) a prime number?
False
Suppose -6*d = 265 - 301. Let q(c) = 12*c**3 - c**2 + 21*c - 13. Is q(d) prime?
False
Suppose 9*k = -34 + 52. Suppose k*q + 3*o - 2161 = 2105, 3*q = -4*o + 6397. Is q composite?
True
Suppose -4*p + p - 87 = 3*u, 3*p - 2*u + 92 = 0. Let o = 39 + p. Let a(j) = 16*j**2 + 6*j + 11. Is a(o) a prime number?
True
Suppose 78*o - 159013 = 74*o + 5*i, -5*i - 39742 = -o. Is o composite?
True
Let g = -51 - -97. Suppose -49*n + 6 = -g*n. Suppose -n*z - v + 309 = -127, 5*z = -2*v + 1089. Is z a composite number?
True
Suppose x + 4 = 2*x. Suppose -x*c - 5*h + 28 = 0, -5*c - 2*h + 4*h = -2. Suppose c*i = 9*i - 2051. Is i prime?
True
Let h(v) = -1. Let u(m) = -m + 6. Let g(q) = -4*h(q) - 2*u(q). Let x be g(4). Suppose 0*z - 1274 = -5*z + 3*t, 2*z + 4*t - 494 = x. Is z a prime number?
False
Suppose -34*o - 1387210 = -38*o + 2*m, 3*o - 4*m - 1040405 = 0. Is o a prime number?
False
Let l = 73139 + 21608. Is l prime?
True
Suppose 120*u = 13976108 + 4194563 + 16495769. Is u prime?
False
Let q(g) = 18*g - 19. Let i be (-14)/(-21)*369/2. Suppose -12*j + 105 + i = 0. Is q(j) a composite number?
True
Let t(g) = 209*g - 3. Let z(v) = 104*v. Let u(k) = 3*t(k) - 7*z(k). Is u(-4) a composite number?
True
Is ((-1)/(-2))/((-1)/14) - -3460 a prime number?
False
Suppose -2*l - 1018 = -372. Let b = 592 + l. Is b a composite number?
False
Let y(o) = -31*o - 69. Suppose -x - 42 = 85*t - 87*t, -3*x - 5*t - 93 = 0. Is y(x) composite?
True
Let h(p) = -4*p**2 + 35*p - 18. Let f be h(8). Is (f/(-8) - (-1)/1)*476 a composite number?
True
Suppose p - 47 = 2*w, -2*p + w = -3*p + 44. Suppose 2*x = 59 - p. Suppose 8*f = x*f + 359. Is f a prime number?
True
Let h be (14 - 2)*(-1)/(0 + -3). Suppose 2*i - 2*f = 976, i + 161 - 634 = -h*f. Is i a composite number?
True
Suppose 0 = -5*k + 5*y, -k + 3 = -5*y + 11. Let v be 67704/180 + k/(-15). Suppose s - 698 - v = -c, s - 1079 = -2*c. Is s composite?
False
Let p(l) = l + 7. Let m be p(-5). Suppose -m*t + 4*d + 5096 + 1642 = 0, 5*d - 5 = 0. Is t a prime number?
True
Suppose -o = -3*h + 72442, 4*h - 5*o - 143717 = -47146. Suppose 5*r - h = -2*l, -3*r + 4*l + 3410 = -11069. Is r composite?
True
Let f(m) = -291*m + 468. Is f(-43) a prime number?
False
Suppose 0 = 241*x - 146*x - 5963435. Is x composite?
False
Let x be (-3)/(-6)*(-42 + 38). Is (x - 12/(-8))*-21034 composite?
True
Let b be 1*((3 - 2) + -1)/(-1). Is b/(-3 - -2) - 2692/(-4) prime?
True
Let i(x) = 70556*x**2 - 50*x - 1. Is i(3) a composite number?
False
Suppose -3*y + n = 11, -n - 2 = 3*y + 5. Let x be (33/(-9) + 3)*(y - 348). Let u = x - 11. Is u a composite number?
False
Is (4/(-5))/((-1460)/398928575) a prime number?
True
Let l = -137 + 146. Suppose l*b - 9408 + 3585 = 0. Is b composite?
False
Suppose 5*q + 23 = -4*z, 2*z + 3*z + 4*q = -31. Let f be -1 - z - 2 - -498. Let w = 3347 - f. Is w composite?
True
Suppose 22 + 34 = 14*n, -3*a - 2*n = -798611. Is a a prime number?
False
Let h be (-1017)/(-6)*(4 + -174). Let o = h - -46966. Is o a composite number?
True
Let x be 3 - (-80)/14 - (-4)/14. Let p be ((-4)/(-3))/(x/(-54)). Is (-442)/p - 5/20 a prime number?
False
Is (-6)/((312/(-1063846))/26) prime?
False
Suppose 2*f = -2*f + 32. Suppose f*a - 2*a = 114. Let n = 228 - a. Is n a composite number?
True
Let g be 3/4 + 1 + 95930/8. Suppose 20*n - 18587 = g. Is n prime?
False
Let k be (-27)/4*((-28)/6 + 2). Let z be k/(-15)*(-2955)/6. Suppose 6*i - 7*i = -z. Is i a composite number?
True
Suppose 3 = 3*h - 3. Suppose 2*z + h*q = 188, -q = 5*z - 588 + 102. Is 28/z - (-458)/14 a composite number?
True
Suppose -2*p + 4 = 3*z, -z = -2*z - 2*p. Suppose z*d - 2560 = -2*t, -3*d + t + 2744 = -1084. Is d a composite number?
False
Let d = 508 - 498. Suppose -d*z - 7*z = -40783. Is z a prime number?
True
Suppose 5*y + 15 = 0, 2*p - 5*y + 18747 - 7248 = 0. Let i = p + 10856. Is i a prime number?
True
Let u(l) be the first derivative of -5*l**4/4 + 3*l**3 - 14*l**2 - 13*l + 133. Is u(-11) composite?
False
Suppose 0 = 4*x - 5*a, 4 - 2 = 2*x - 3*a. Let l be 2/10 - (-21)/x. Is l*(-1 + 1349/(-4) + -2) composite?
False
Let h(y) = -y + 68. Let z be h(26). Let b be 4/(-7) + 2544/z. Is (-6340)/b*7*-3 composite?
True
Let b = -2613 - -2648. Let u = 50 - -261. Suppose -4*o - b = -u. Is o a prime number?
False
Let s be (-91176)/2*((-32)/(-24) + -2). Suppose s = 3*d + 5*r, 4*d - 13325 - 27189 = 2*r. Is d prime?
False
Is ((-8)/28)/(909994/(-8189622) - 154/(-1386)) prime?
True
Let g(m) = 181*m**2 + 458*m - 10. Let p(s) =