332. Is y prime?
True
Let f be 1/(7/3 - 2). Let l be 1 + -3 - -2 - f. Is 3/(-3) - 1404/l prime?
True
Let t = 31 - -39. Let j = 190 - t. Suppose -2*l = 5*o - 61, 0 = 2*l + 2*o - j + 44. Is l prime?
True
Let j be (-1)/(45/6) + 51160/75. Let m = j - 320. Is m composite?
True
Suppose -12*u = -17*u + 5220. Suppose -f + 3*m + 31 = -484, -2*f = m - u. Is f prime?
True
Let h(l) = -9*l. Let i be h(-2). Suppose -w = -3*m + i, 2*w = -m + 4*m - 18. Suppose j = m*j - 1355. Is j prime?
True
Let w = -5639 + 9298. Is w a prime number?
True
Let f = 7792 - 3447. Suppose -3*o + f = 2*o. Is o a prime number?
False
Suppose r + 2*w = 1837, r - 4*w = 2229 - 362. Is r a prime number?
True
Is (-9)/18*(-1 + 2)*-74194 prime?
True
Let m be -1 - (1 - 1) - -670. Suppose 159*x = 183*x - 5760. Suppose -m = -3*u - x. Is u prime?
False
Let y(s) = -s**3 - 2*s**2 - 3. Let u be y(-4). Let b = u + -90. Let m = b + 174. Is m prime?
True
Suppose 2*w - 2036 = -2*b, w + 1 = 4. Suppose -1021 + 250 = -3*q + 4*r, b = 4*q - r. Is q composite?
True
Suppose 3*a - 8 = -2. Let z be (4/(-3))/(a/(-3)). Suppose 2*j + z*x - 42 = 0, 4*j + 5 - 104 = -x. Is j composite?
True
Suppose 96*b = 102*b - 71922. Is b composite?
False
Suppose o - 1647 = 4*f, 2*f + 965 - 139 = -2*o. Let n = 841 - f. Is n a prime number?
False
Is (11162/(-6))/((-13)/39) a composite number?
False
Let i = 1445 + 506. Is i a prime number?
True
Let k(p) = -p**2 - 17*p + 25. Let s(d) = 5*d**2 + 86*d - 126. Let n(w) = 11*k(w) + 2*s(w). Is n(-15) prime?
True
Let j be 7/((-726)/(-362) - 2). Suppose -3*r = 6, 2*r - 893 = -4*c + j. Is c a composite number?
False
Suppose -d - 3 = -p + 4*d, 0 = 2*p - 3*d - 6. Let q(k) = k**3 + k**2 - k - 9. Let g(y) = y + 4. Let s(o) = p*q(o) + 7*g(o). Is s(4) a composite number?
False
Let a = 1142 + 565. Is a prime?
False
Let l(g) = 273*g**2 + 16*g + 177. Is l(-8) prime?
False
Suppose 0 = 25*l - 17*l - 50072. Is l prime?
False
Let u(h) = h + 79. Let b(q) = -q**2 - 13*q - 3. Let f be b(-12). Suppose f = 5*y - 3*l, 5*l = -5 - 10. Is u(y) a composite number?
False
Let y(x) = -x**3 + 10*x**2 + 15*x - 11. Let r(d) = d + 7. Let v be r(-7). Suppose v = 5*n - 15 - 35. Is y(n) a composite number?
False
Let r be -4 - (-2 - -177 - -2). Let h = r + 618. Is h a prime number?
False
Suppose -l = l. Suppose -3*t = 4*z - 909, 3*t - 4*z - z - 882 = l. Is t a composite number?
True
Let y = 2881 - -1018. Is y composite?
True
Let a = 1250 - -96. Suppose -4*d + 2*d = -a. Is d prime?
True
Suppose 4*o - 43286 = 5*b, 3*b = -o - 2*b + 10809. Is o a composite number?
True
Suppose -1 = 5*y - 16. Suppose 2*h + y = 3*u, 4*u + 0*u + 2*h - 18 = 0. Is (-2)/(-5)*(202 + u) a prime number?
False
Suppose -3*g + a + 39 = -10, -5*g - a + 71 = 0. Suppose -5 + 42 = -4*h - o, 3*o + g = 0. Is (1/3)/(h/(-1392)) prime?
False
Suppose -9*c + 20596 + 2390 = 0. Is c a composite number?
True
Let v(h) = -32*h - 37. Let r(d) = -8*d - 9. Let c(f) = -9*r(f) + 2*v(f). Is c(15) prime?
True
Suppose 245 = 3*w - 70. Suppose 0 = -2*y - w + 3491. Is y prime?
True
Let w(b) be the second derivative of b**3/2 - 5*b**2 + 3*b. Let f be w(-8). Let k = 85 + f. Is k prime?
False
Suppose -3*b + 90503 = s, -4*b + 120670 = 145*s - 144*s. Is b composite?
True
Let j = -112 + 189. Is j a composite number?
True
Let h(o) = 96*o**2 - 6*o - 13. Is h(-3) composite?
True
Suppose -x - 12 = 3*t, 6*t - 3*t + 18 = x. Suppose -x*g + 0*g + 276 = 0. Let o = -3 + g. Is o composite?
False
Suppose -31*y + 9237 = -28*y. Is y prime?
True
Let r(x) = 158*x - 15. Let m be r(9). Suppose -4*v - 2210 = -2*z, 3*z = -v + m + 1915. Let k = -736 + z. Is k prime?
False
Let a(y) = 3*y + 6. Let i be a(-2). Suppose i = 5*b + b - 708. Is b composite?
True
Suppose 0 = 5*x - 9*x. Suppose 2*c + z - 504 = x, -2*c + 447 + 73 = -3*z. Is c a prime number?
False
Let a = 6760 + -3857. Is a prime?
True
Let o(k) be the second derivative of 49*k**4/12 - 3*k**3/2 + k**2/2 + 6*k. Is o(5) prime?
True
Suppose -5*a = 0, -k + 100 = -a - 377. Suppose -3*d = -5*n + k + 1043, -n = -3*d - 316. Is n prime?
False
Suppose 5*g + 12418 = i, -3*g = -4*i + 36132 + 13625. Is i a composite number?
True
Let i be 24/(-14)*(55 - -1). Let m = i - -229. Is m a prime number?
False
Let p = 12 + -7. Let a be (186/(-15))/((-2)/p). Suppose 2*g + 0*g + 3*v = a, 2*v = -3*g + 44. Is g prime?
False
Let s(h) = -166*h. Let x be s(2). Let k = x + 1453. Is k a composite number?
True
Let c(b) = -490*b**2 - 13. Let n be c(-5). Is 10/55 - n/11 composite?
True
Suppose -z = 5*g + 2*z - 138442, 0 = -z - 1. Is g prime?
True
Let h(a) = a**2 - 13*a - 36. Let x be h(-16). Suppose 1146 = 2*f - x. Is f composite?
False
Suppose 10241 + 15097 = 2*b - 4*z, 3*b = 5*z + 38011. Let m = -8300 + b. Is m composite?
True
Suppose 27*x - 22*x - 35345 = 0. Is x composite?
False
Suppose -7*r - 2*k = -3*r + 8, -6 = 3*k. Is 674*(r - 6/(-4)) prime?
True
Suppose -q + 2*l + 22651 = -5958, 3*q - 85823 = 5*l. Is q a prime number?
False
Suppose 2*r + 3*s - 602 = 661, 2*r - 1262 = -4*s. Is r composite?
True
Suppose v - 21296 = -v - 3*h, -42570 = -4*v + 5*h. Is v a composite number?
True
Let a = -1055 - -2896. Is a prime?
False
Suppose -3*t - 2*t + 10 = 0. Is (-29205)/(-54) + t/12 prime?
True
Let x = 340 - -921. Is x a composite number?
True
Let b be 40679/3 + (-5 - 26/(-6)). Suppose d + b = 4*t, t - 16957 = -4*t + 4*d. Is t prime?
True
Let j(m) = 231*m - 15. Let k(x) = -77*x + 5. Let l(b) = 4*j(b) + 11*k(b). Is l(3) a composite number?
True
Let q be 612/63 - (-2)/7. Let k be (-56)/(-10)*q/(-2). Is (-2)/(-7) - 7776/k a prime number?
False
Let l be (-2835)/(-18) - (-2)/4. Suppose -3*r + 2 = l. Is 39/r - 375/(-4) prime?
False
Let r be 2 - (-3 + (-3)/(-3)). Suppose 2*j + 8 = 0, -r*j - 61 = -2*z + 161. Is z composite?
False
Suppose 10*c - 77108 - 105902 = 0. Is c a composite number?
False
Let s = 12263 + -6672. Is s composite?
False
Let m = 3047 - 1542. Let z = 3 + -9. Let p = m - z. Is p prime?
True
Suppose 0*s + 6*s = 18258. Let g = -606 + s. Is g composite?
False
Let p = -49953 + 77462. Is p a prime number?
True
Suppose 128*w + 104421 = 1421669. Is w composite?
True
Let r = 23205 + -5738. Is r prime?
True
Let c = 73 + -156. Suppose -4*j - 160 = 2*z, 4*z + 220 = -5*j + 20. Let i = j - c. Is i a prime number?
True
Suppose -5*g = -67 - 288. Suppose 3*n = b - g - 54, 5*n - 272 = -2*b. Is b composite?
False
Let r(z) = -3*z + 13. Let l be r(6). Let i(t) = t + 5. Let o be i(l). Let j(b) = -b**3 + b**2 + b + 287. Is j(o) prime?
False
Suppose -4*h = 0, 15 = -g + 6*g - 4*h. Suppose g*z - 5*z = -338. Let x = z + -120. Is x prime?
False
Let n = -78 - -220. Let p = n - -45. Is p composite?
True
Is -5*8/50 - (-144858)/10 composite?
True
Suppose 5*k - 113 = 2*o + 358, -k = 2*o - 99. Is k - 0/(1 + 0) a prime number?
False
Let d(r) = -104*r - 9. Let w be d(-10). Let z = 1614 - w. Is z a prime number?
False
Let w(t) be the second derivative of -1/3*t**3 - 5/12*t**4 - 1/2*t**2 + 0 - 7*t - 1/10*t**5. Is w(-4) composite?
True
Let b(i) = 684*i**2 + i - 17. Let x be b(3). Let t = 8975 - x. Is t a composite number?
False
Let g(h) = -h**3 - 2*h**2 + 2*h + 1. Let p be g(-3). Suppose a + p*m = 65, 2*a - 2*m = m + 97. Let f = a + 6. Is f prime?
True
Suppose 0*i = -4*s - 2*i - 22, 2*s + 13 = -3*i. Let o = s + 7. Suppose -5*k + 1855 = -o*r + 7*r, k = 2*r + 377. Is k a prime number?
True
Let h(t) be the third derivative of -4*t**2 + 0*t + 0 - 143/12*t**4 + 1/6*t**3. Is h(-1) composite?
True
Suppose 4*x - 46 = -26. Suppose -1192 = -4*r - x*z, 6*r + z = 2*r + 1176. Is r prime?
True
Let g = 28 + -30. Is g/(5/2*(-24)/58830) a prime number?
False
Suppose 0 = x - g, -5*g = -7 + 2. Suppose m = l + 1, m = -4*l + 20 + x. Suppose -m*k + 376 = 3*v, -2*k = -4*v - 190 + 24. Is k a composite number?
True
Suppose -5*d - 2 = 18, -3*i = -4*d - 81733. Is i composite?
False
Suppose 1 + 9 = 2*y. Suppose -838 = -2*z - y*l, l - 1490 + 233 = -3*z. Is z prime?
True
Let c(g) = -4*g - 8. Let q(p) = -p - 1. Let v(o) = -c(o) + 6*q(o). Let k be v(-2). Is 2046/9*9/k composite?
True
Suppose -14*o + 24*o - 14090 = 0. Is o a prime number?
True
Suppose -2*o = -6*o - 244. Let f = 260 + o. Is f composite?
False
Let d = 16 + -11. Suppose -4 - 1 = d*r. Is 641/(r + 4 - 2) a composite number?
False
Suppose -141*d = -161*d + 17060. Is d composite?
False
Suppos