se
Let t be ((-35)/(-14) + -2)/((-2)/(-204)). Let j = -18 - 14. Let a = j + t. Is a prime?
True
Suppose -d + 719 = 2*g - 7*g, 4*d = -5*g + 2826. Is d a prime number?
True
Let m(a) = a. Let p be m(3). Is 1346/3 - (-1)/p a composite number?
False
Let u(t) = -12*t + 2. Let a be u(1). Is 1 - 12118/a - 3/(-15) composite?
False
Let b be -2 + 8/(-4) + 2. Let i be 68/40*b*-5. Suppose -i*v = -20*v + 1209. Is v prime?
False
Let f be (-64)/112 + 25/7. Suppose 2*p = -6*r + f*r + 765, -4*r = 5*p - 1909. Is p a composite number?
True
Suppose -460*f = -461*f + 3. Let y(k) be the second derivative of 25*k**4/12 + k**3/2 + 3*k**2/2 - k. Is y(f) prime?
False
Suppose -20 = 5*l, -3*n - n + 5*l + 16216 = 0. Is n a prime number?
True
Let i(m) = 3*m - 10. Let f be i(6). Let r(s) = 39*s**2 + 2 - f + 3*s + s + 1. Is r(4) prime?
False
Suppose 151 - 76 = -l. Let o = 164 + l. Is o a prime number?
True
Suppose -4 = -3*b + 11. Suppose 0 = b*s - 0*s. Suppose 0 = -s*g - g + 259. Is g a composite number?
True
Suppose -6*g - 19601 = -78419. Is g a prime number?
True
Let s be -2 - (2 - (1 + 8)). Suppose -s*u = -3 - 17. Suppose 2*d = -u*x + 1536, 0*x + d = -x + 385. Is x a composite number?
False
Let c(q) = 15*q**3 - 4*q**2 - q + 3. Let u be c(-4). Let h = u + 1768. Is h a prime number?
True
Let x be 1*(-1 - -7) + -1. Let c(n) be the second derivative of n**3 + 3*n**2/2 - 54*n + 1. Is c(x) prime?
False
Let g(z) = 70*z**2 + 20*z - 9. Is g(5) prime?
False
Is (6/4)/((-30)/(-146140)) prime?
True
Suppose 5*x + 0*x = 0. Suppose -4*t - 2039 + 5395 = x. Is t a prime number?
True
Let h(c) = 3*c - 11. Let i be h(4). Is (-992)/(-3) + i/3 a prime number?
True
Suppose 2*d + 4*v = 9150, -d + 3279 + 1292 = v. Suppose -5*w + d = -j + 3*j, -2*w + 1828 = 2*j. Is w a prime number?
False
Let x(i) be the second derivative of -i**5/20 + 2*i**4/3 + 4*i**3/3 + 11*i**2 + i. Is x(9) a composite number?
False
Let y(j) be the second derivative of j**4/12 - j**3/6 + 185*j**2/2 + 2*j. Suppose q - 4*t - 5 = 7, 4*q - 12 = 4*t. Is y(q) composite?
True
Suppose 2*z + 3*z = -30. Let u(h) be the second derivative of h**4/6 - h**3/2 - 7*h**2/2 + 17*h. Is u(z) prime?
True
Let i be 0 - 2 - (1528 - (-56)/(-8)). Let v = i - -3180. Is v a prime number?
True
Let i(j) = 40*j - 3. Let f be i(-3). Let s(z) = 63*z**2 + 2*z - 6. Let h be s(2). Let t = f + h. Is t prime?
True
Let p = 54 + -50. Suppose p*y + 4*a - 4555 = -643, -4*a - 973 = -y. Is y a prime number?
True
Let w(b) be the first derivative of 9*b**2/2 + 70*b - 43. Is w(17) composite?
False
Let g(a) = -5*a + 8. Let c be g(1). Let k(n) = 61*n + 8. Is k(c) prime?
True
Let m(y) = -12*y**2 - 4*y + 7. Let h(s) = -35*s**2 - 12*s + 21. Let o(v) = -6*h(v) + 17*m(v). Is o(3) composite?
False
Let k = 31 + -55. Let h be ((-8)/k)/((-2)/(-1554)). Suppose 4*o + 27 = h. Is o composite?
True
Suppose -5*i = -c + 17114, 0 = -3*c - 23*i + 20*i + 51396. Is c prime?
False
Suppose -3*d - 2*f = -10273, 5*d + f - 16127 = 1004. Is d a composite number?
True
Let m(r) = -r**3 + 21*r**2 - 2*r + 41. Let i be m(21). Let t = -14 - -7. Is (338 + t)*(2 + i) prime?
True
Let a = 13 - 12. Let i(q) = 6 - q + a - 6 + 314*q**2. Is i(-2) prime?
True
Suppose -9 = -4*a + a. Suppose -1152 = -a*w + u + 857, -3*u + 663 = w. Is w/(-9)*(-4 - -1) a prime number?
True
Let u(p) = -2*p**2 - 7*p + 2. Let a be u(-5). Let x be 12/(-2)*(9 + a). Let t = -22 + x. Is t prime?
True
Let o(y) = -y**3 + 2*y**2 - 8*y + 53. Is o(-8) a composite number?
False
Let c(g) = g**3 + 23*g**2 - 11*g + 19. Is c(-14) a prime number?
False
Let j(x) = -6*x - 38. Let l be j(-10). Let r = 109 + l. Is r composite?
False
Let l be ((-168)/48)/(2/(-4)). Let v = 19 + l. Is v a prime number?
False
Let x(u) = 90*u**2 - u + 1. Let d(q) = q**2 + 7*q - 2. Let c be d(-7). Let z be x(c). Suppose 0 = -5*a + z + 52. Is a composite?
False
Suppose -5*q + b = 116, -2*q + 2*b = -0*b + 48. Let k = q + 25. Is (-1)/k*(-161 + 3) composite?
False
Let p(r) = -r**3 + 17*r**2 - 17*r + 10. Let g be p(16). Is (-70)/(-21) + -3 + (-3004)/g a composite number?
True
Let c be (162/3)/((-3)/39). Let u = -1 - c. Is u a composite number?
False
Let n(t) = t**2 - 9*t - 6. Let h be n(10). Let p(o) = 9*o**2 - 8*o**2 - 7 + h - 9. Is p(9) prime?
False
Suppose 2*d - 3*d = -3*w - 5, -4*w + 12 = d. Suppose -4*l - 2*i = -1682, d*l - 3*l = -4*i + 2107. Is l a composite number?
False
Let q(x) = -x**2 + 26*x - 20. Let n(p) = 6*p**2 - 129*p + 100. Let j(a) = -2*n(a) - 11*q(a). Is j(-9) composite?
False
Let a = 681 + -414. Suppose -n + a - 9 = 0. Suppose -p - 5*j - 27 = -n, 4*p - 996 = -2*j. Is p composite?
False
Let c(j) be the first derivative of 6*j**3 + 2*j**2 + j + 3. Is c(6) composite?
False
Let n be (-81)/6 + 3/2. Let o = 14 + n. Suppose -3*j = -2*m - j + 100, 5*m - 229 = -o*j. Is m a prime number?
True
Let w(p) = p**3 - 9*p**2 + 6*p. Let f be w(6). Let t be (-16)/f - 158/(-18). Suppose 5*d = 5*q + 415, -4*d + 336 = 4*q - t*q. Is d prime?
True
Let v(f) = -f**2 + 4*f - 4. Let m be v(4). Let s be 6/m - (-44)/8. Suppose 0 = -s*d + 5*d - 163. Is d composite?
False
Let m be 5*((-68)/(-10))/(-1). Suppose -4*p - 6 - 2 = 0. Is (1*m)/(p/11) composite?
True
Let x be (-5212)/4*(5 + -6). Suppose -2*v + 0*v - 5*n + x = 0, 15 = -5*n. Is v a prime number?
True
Suppose 4*t - 42 = t. Let y be 78/(-5) + t/(-35). Is (-2)/y + 5076/96 composite?
False
Suppose -10*r = -18*r + 65960. Suppose 4*k - 4*c = k + r, c = -4. Is k a composite number?
True
Is 7/(-56)*-161526 + 5/20 composite?
True
Suppose -d = -p + 8, 5*p - 3*d - 39 = 1. Is (2/p)/(-2 - 3449/(-1724)) a prime number?
True
Suppose 25*a + 6708 = 29*a. Suppose 31*t - 28*t - a = 0. Is t prime?
False
Let l = 104 + 393. Is l composite?
True
Suppose -512 = -w - 4*o, -o - o = -2*w + 1064. Suppose 0 = n + 4*q - 825 - w, 4*q - 5436 = -4*n. Is n a prime number?
True
Let o(s) be the first derivative of s**3/3 + 11*s**2/2 - 23*s - 3. Let l be o(-14). Suppose -l*d + 14*d + 515 = 0. Is d composite?
False
Let t be (-7 - -6)*(1 - -3). Is 0 - (t/(-1) + -3695) a composite number?
False
Suppose -2821 = 4*h + 5*a + 2798, 3*h = 2*a - 4220. Let w = 2193 + h. Is w a composite number?
False
Is -6 - -9 - (-1)/((-3)/(-19308)) prime?
False
Let n = -6844 - -16355. Is n composite?
False
Suppose -2*d - d + 1345 = -2*p, -p = -4. Is d a composite number?
True
Suppose 3*z = 2*n + 3*n, -3*z = -3*n - 6. Suppose -n*r + 7 = -260. Is r prime?
True
Is (-43240)/(-6) + (-4 - (-130)/30) a prime number?
True
Suppose -2*w - 2*l + 770 = 0, -4*l + 3 = -1. Let j = w - 243. Is j prime?
False
Suppose -34*l = -90*l + 158648. Is l prime?
True
Let z(g) = 4*g**2 + 9*g + 7. Suppose 3*b = -2*c + c, -7 = -b + 2*c. Let s be (b/(-2))/(1/16). Is z(s) prime?
True
Let j = 3466 + -1904. Suppose 3*a + 6192 = 3*m, -5*a - 506 = -m + j. Is m prime?
True
Let l(f) = 182*f - 115. Is l(24) composite?
False
Let m = 245588 + -151621. Is m composite?
False
Suppose 3*t - 14241 = -3*i, 11737 = 2*i - 5*t + 2215. Is i composite?
False
Let l(c) = -67*c - 13. Suppose 2*z - 5*t = -35 + 12, -16 = 4*z - 4*t. Suppose -5*v - 4*g = 42, g = v + 2 + z. Is l(v) a prime number?
True
Is 0/(16 + -8) - (-11451)/3 a prime number?
False
Suppose d = 11 - 7. Suppose 5*x - 5596 = -d*a, 2*a - 2*x = -4*x + 2798. Is a a composite number?
False
Suppose -14*x - 7 = -21*x. Let i(v) = 72*v**2 - 10*v - 7. Let z(t) = -24*t**2 + 3*t + 2. Let o(d) = -2*i(d) - 7*z(d). Is o(x) a prime number?
True
Suppose 91959 = -37*t + 58*t. Is t prime?
False
Suppose 196 = 2*c - 4*t, -c + t + 34 = -62. Suppose c = -4*x + 2*x. Let w = 84 + x. Is w a composite number?
False
Let i be (7 + -10)*4/(-6). Suppose 5*g - 50822 = 4*p, -4*g + 3*g - i = 0. Is p/(-20) + 6/(-15) composite?
True
Let m(v) = -v - 7. Let w be m(-5). Let d be (-5)/(w/2) - 4. Is 4 + (724/4)/d prime?
False
Is 31/6 + (-6)/36 - -19830 prime?
False
Let h be (0 - (-2)/(-2)) + -5946. Let o = 9218 + h. Is o a prime number?
True
Let a(i) = 200*i - 12. Let b be a(4). Let v = b + -531. Is v a prime number?
True
Suppose 4 = o + 37. Let w = o + 52. Suppose w - 4 = 5*s. Is s composite?
False
Suppose -2*w - r = -0*w - 10689, 3*w - 16034 = -r. Is w a composite number?
True
Is -3*(-5)/(-15)*-3943 a composite number?
False
Let w(q) = q**3 - 4*q**2 + 8*q - 8. Let k be w(6). Suppose -5*x + k = -58. Let z = x + -11. Is z a prime 