se -5*w + 23*t - 21*t = -97257, -5*w + 97250 = 5*t. Is w composite?
True
Let h be 2/5 - 4640/(-25). Suppose -2*v + 5*o + h = -98, 5*v + 4*o - 710 = 0. Suppose -2*i = -f - 3*f - v, 5*i = 2*f + 339. Is i composite?
False
Suppose -456 = -5*x - 0*x - 4*u, 0 = -2*u - 2. Suppose x = -z + 2*z. Suppose -3*p + z = -121. Is p prime?
True
Let j = -37 - -196. Let y be j/(-1)*80/(-15). Let t = y + -483. Is t prime?
False
Is -4 + (6 - 10)*(-3822)/8 a prime number?
True
Suppose -22*l + 185926 = -33348. Is l a composite number?
False
Let j = 33 + -21. Let w = j - -7. Let a = w + -5. Is a a prime number?
False
Suppose -4*h = -5*q - 3*h + 73384, 5*q - 73386 = -h. Is q composite?
True
Let x = -8 + 8. Let b be x + -1 + -6 + 6. Is 1 + (b - -3) - -182 a prime number?
False
Let s(b) = 527*b + 281. Is s(18) a composite number?
False
Let o(f) = -f**3 - 10*f**2 + 9*f - 4. Let b be o(-11). Let g(h) = -b + 140 + 3*h - 2*h. Is g(0) a prime number?
False
Suppose -1 = -i, 39 + 283 = -c + 5*i. Let s = -172 - c. Is s a composite number?
True
Let c = 9063 - 5156. Is c a composite number?
False
Let d(n) = 568*n + 15. Is d(1) a composite number?
True
Let i be 2 + 0/(-7 + 3). Let n(z) = 1 - z**3 - i*z**2 + 7*z**2 + 8*z - 5. Is n(-5) composite?
True
Let p(g) = 150*g - 5. Let t be p(5). Let a = 59 + -57. Suppose -3*c - 2*c + 5*v = -t, -5*c + 745 = a*v. Is c composite?
False
Let g(a) = 9*a**3 + 4*a - 12. Let b be g(7). Let u = -1342 + b. Is u a composite number?
True
Suppose 0*z + 3*w = -z - 35, -69 = 3*z - 3*w. Let y = 27 - z. Is y a prime number?
True
Suppose 5*b + 5*o - 9165 = 0, 3*b - 5507 = 12*o - 17*o. Is b prime?
False
Let w(a) = a**2 - 26*a + 1839. Is w(0) prime?
False
Suppose -508*p = -516*p + 373640. Is p prime?
False
Suppose -157*v + 158*v = 5381. Is v a prime number?
True
Let v(t) = 221*t + 30. Let n(o) = 4*o**2 - 3*o - 3. Let i be n(-1). Is v(i) a prime number?
False
Let p(h) = -h**3 + 13*h**2 + 14*h + 5. Let i = 42 + -28. Let z be p(i). Suppose 0*n = -v + z*n + 9, 3*v = 4*n + 49. Is v composite?
False
Let m(i) = i**3 + 4*i**2 - 3. Let k be m(-4). Let x be ((-2)/6)/(k/5787). Suppose -h - x = -1560. Is h a composite number?
True
Suppose 2*b - 3*m - 21 = -0*m, 25 = 5*b - 2*m. Suppose -b*k = -6*k. Is -23*(-4 - (15 + k)) a composite number?
True
Suppose 28*t - 25*t - 2445 = 0. Suppose -k + 3147 - t = 0. Suppose 4*c + 0*c = k. Is c composite?
True
Let p(x) = 2*x + x + 11 - 6*x. Let m be p(6). Let g(d) = d**3 + 11*d**2 + 11*d + 14. Is g(m) prime?
False
Suppose 16*j - 42809 = 3*j. Is j prime?
False
Let j(v) = -3 - 13*v + 2 - 2 + 87*v. Is j(10) a composite number?
True
Suppose 4 - 2 = -h. Let x be 1 + (2 - 7) - h. Is (158/x)/(11/(-33)) a prime number?
False
Let o(s) = -2*s**2 - 13*s + 8. Let r(a) = -a**3 + a - 1. Let x(m) = -o(m) - 3*r(m). Is x(4) composite?
True
Let h(z) = -z - 4. Let w be h(4). Is (w/((-160)/(-725)))/(1/(-4)) a prime number?
False
Suppose -q + 12 = 2*q. Suppose q*b = 2*b + 514. Let u = -180 + b. Is u prime?
False
Let u = -2 + 0. Let h be u/(-1) + -3 + 4. Suppose -h*i = -2*x + 5*x - 60, 0 = 2*i + 3*x - 41. Is i prime?
True
Let r(a) = -144*a**3 + 2 + 39*a**3 - 22*a**3 + 3*a + a**2. Let j(z) = z**2 + 13*z - 115. Let m be j(-19). Is r(m) composite?
False
Suppose 9 + 1 = s. Suppose -3*l + s = 5*v - 11, 2*l + 4*v - 16 = 0. Suppose -l*h + 8 = -6. Is h a prime number?
True
Suppose 0 = -2*d - d + 93. Suppose d = 7*v - 2*v + 4*j, 3*v + 11 = 5*j. Let l(p) = 10*p**2 - 1. Is l(v) composite?
False
Is -1 + (-18)/(-14) + (-3969724)/(-308) prime?
True
Let m = -343 - -702. Is m prime?
True
Let o(l) = 1571 + 175*l + 167*l - 343*l. Is o(0) prime?
True
Let b(g) = -2353*g**3 + 2*g + 3. Let m be b(-1). Suppose 0 = 4*o - 3*y + 5*y - 1870, 0 = -5*o + 3*y + m. Is o a prime number?
False
Let j(d) = -350*d**3 + 2*d**2 - 2*d - 37. Is j(-5) prime?
False
Suppose 871349 = 63*d + 65516. Is d prime?
True
Let x = -12 + 4. Let o(p) be the second derivative of p**5/20 + 3*p**4/4 - p**3/3 + 3*p**2/2 + 12*p. Is o(x) composite?
False
Suppose 2*x + 1300 = 5*j - 1816, 5*j = -3*x + 3126. Suppose 0 = -0*i + 4*i - j. Suppose -i = -3*a + 3*v, a = 4*a - v - 150. Is a prime?
False
Suppose -7*y = 3*r - 3*y - 66901, 5*r - 5*y = 111560. Is r a composite number?
False
Let y = 119 - 134. Let c(f) = -472*f + 63. Is c(y) composite?
True
Let u(k) = -730*k - 85. Is u(-8) a prime number?
False
Let o = 16667 - 6370. Is o prime?
False
Is 822/5 + (-21)/15 a composite number?
False
Let u(c) = -2*c - 6. Let y be u(-4). Suppose -70 - 54 = -y*q. Is q a prime number?
False
Let j = 29 - 56. Let h = 18 + j. Is (-637)/(-9) + (-2)/h a composite number?
False
Suppose -17*w - 9484 = -21*w. Is w prime?
True
Let s(x) = -21*x - 5. Let i be s(4). Let l(f) = f**3 + 7*f**2 - 33*f - 11. Let m be l(-7). Let y = i + m. Is y a composite number?
False
Let g(x) = 5*x**3 - 10*x - 1 - 20*x**2 + 6*x - 6*x**3. Is g(-20) composite?
False
Let c = 98 - -5. Is c a prime number?
True
Suppose 2*d + 6 = 4*d. Let k = 3519 - 2092. Suppose p - 4*a - k = -420, 2*p - 1981 = -d*a. Is p prime?
False
Let h = -9 + 8. Let x be h + (3 - (-3 + 3)). Suppose 5*q + 56 = z + x*q, 2*q = 2. Is z prime?
True
Let u be -4 + 1 + (-7212)/(-3). Suppose -l = -u - 3400. Is l composite?
False
Let d be (-8 + 7)*(-4)/(-2). Is (-516)/8*d/3 composite?
False
Suppose w + 0*w = 111. Let i be 2/(-8) - w/(-12). Suppose v - 22 = -i. Is v prime?
True
Suppose -4*x = -17*x. Suppose x = -v + g + 380, -4 = -2*g - 6. Is v composite?
False
Suppose 11874 + 990 = -4*f + 2*n, -f - 3*n = 3223. Let h = 4940 + f. Is h a prime number?
True
Let h(b) = 314*b - 73. Let m = 112 + -106. Is h(m) a composite number?
False
Let c(h) = -3*h**3 - 6*h**2 - h + 3. Let i be c(-2). Suppose -n - 4*f + 0*f = -1627, i*f = -n + 1626. Is n a composite number?
True
Suppose 151*m = 146*m + 3625. Suppose -6*v + 12827 = m. Is v prime?
True
Let r be 4 - (7 + 1 + -4). Suppose r = -5*o + 882 + 113. Is o composite?
False
Suppose -44*b = 11*b - 58685. Is b a composite number?
True
Suppose -n - 2 = j - 6, -4*n + 28 = -2*j. Let c = n + -3. Is c/6*6 - -160 a composite number?
False
Suppose -2*s = 3*s + 20, -3*x - s = -59. Suppose 0 = x*q - 5213 - 5140. Is q composite?
True
Let t(r) = 69*r**2 + 12*r - 79. Is t(7) composite?
True
Let x be 5/15*9 - 6777/(-3). Suppose 2*u + x = -2*m + 7*m, 16 = 4*u. Is m a composite number?
True
Let b be 0/1 + (-8 - -2). Let c be (22/(-11))/((-2)/b). Is ((-26)/c)/(2/42) a composite number?
True
Let u(j) be the first derivative of -j**2/2 + 35*j - 12. Is u(12) prime?
True
Let v be 1 - -4953 - 2/2. Suppose 0 = 3*a - v - 0. Is a a composite number?
True
Suppose -4736 = 22*y - 30*y. Suppose 0 = a - 3*v - y, 0 = -2*a + v - 2*v + 1163. Is a composite?
True
Let r = -104 + 1491. Is r a prime number?
False
Let u(t) = -2*t**3 + 4*t - 1 + t**3 - t**3 - 4*t**2. Let z be 10 + -4 - (8 - -2). Is u(z) composite?
False
Let g(s) = 61*s**2 + 171*s + 89. Is g(-36) a composite number?
True
Let h(s) = 25*s**2 + 6*s - 9. Is h(-22) prime?
True
Let n(d) = -d**3 + d**2 + 3*d - 2. Let s be n(2). Is (4 + s - 2) + 797 a composite number?
True
Let n(s) = 4*s**2 + 19*s - 5. Let t be n(-5). Is 6/14 - t - 26440/(-14) prime?
True
Let t(i) = i**2 + 3366. Let v be t(0). Is v + (2/8 - (-105)/(-84)) prime?
False
Let i be (5 - -1)*(-21)/9. Let d = -10 - i. Is -89*d*8/(-32) a prime number?
True
Let b be 2 + -1 + 4 + 129. Let a = b + -236. Is a*104/(-12) + 3 a prime number?
True
Is (-7 + 3641)/(5/((-35)/(-14))) prime?
False
Suppose -48*n + 51034 = -14*n. Is n composite?
True
Suppose 0 = -5*o - 93 + 73. Is (0 - 2) + (159 - o) composite?
True
Let g(h) = -7 - 9 - 6*h + 23 + 8. Let k be g(-14). Let j = 248 - k. Is j prime?
True
Let a(b) = 2*b**3 + 6*b**2 + 20*b - 119. Is a(10) a composite number?
True
Let y(h) be the first derivative of h**3/3 + 3*h**2 + 6*h - 4. Let q be y(-9). Suppose -o + q = -20. Is o a prime number?
True
Let w(o) = 83*o - 10. Let z be w(-3). Let a = z + 672. Is a prime?
False
Let m = 3190 - -14593. Is m composite?
False
Let b(w) = 2*w**2 - 6*w + 7 + 2*w**3 - 7*w**2 + 0*w**2. Let t be 17/((-238)/(-4)) - 40/(-7). Is b(t) composite?
False
Is (-35088)/(-119) - 2/(-14) prime?
False
Let l = -3749 - -6256. Is l a composite number?
True
Suppose -r + 12980 = 10*r. Suppose f + 125 = r. Is f a prime number?
False
Let c = 4276 + 9121