1, 681 = -2*t + y + a. Is t prime?
False
Suppose 5*c + 20 = 0, -2*j + 2*c - 3692 = 5018. Suppose 0 = -3*p + 3*r - 7269, 9*r - 4*r = 15. Let i = p - j. Is i composite?
True
Let o = -115 - -115. Suppose 178*j - 172*j - 35142 = o. Is j a prime number?
True
Let k(v) = -1715*v + 67. Suppose 0 = -3*s - 14 - 4. Is k(s) a prime number?
True
Let i be 128/5 + 15/((-450)/(-12)). Let h(r) = 250 + 55*r - 45*r + 121 + i. Is h(0) a prime number?
True
Is (12 - 1638/130)*((-769349)/3 + -2) a prime number?
True
Suppose -6*o + 91 = -17. Let s = 23 - o. Suppose -34 = s*a - 449. Is a a composite number?
False
Let p = 30 - 38. Let f = p - 36. Is (-22)/f*641/1*2 a prime number?
True
Suppose -5*a - 127*f + 128*f + 227409 = 0, 3*f - 90967 = -2*a. Is a a prime number?
False
Is (18 - 25) + 635408 + -2 composite?
True
Let a(f) = -1153*f - 367. Let t be a(-6). Let u = t - 3898. Is u a composite number?
True
Suppose -115 = 2*v - 347. Suppose -v*q = -113*q - 237. Is q composite?
False
Suppose 0 = -939*w + 831*w + 7120548. Is w composite?
True
Let b(f) = f - 1. Let x(a) = 800*a - 37. Let u(p) = 4*b(p) + x(p). Is u(3) a prime number?
True
Let m be -3*(-2)/3 - 26. Is (-7124)/(-6) - (-8)/m composite?
False
Let y(f) = -2*f**3 - 5*f**2 - f + 9. Let h be y(-6). Suppose -2*v + 233 = 4*i + v, 0 = -4*i + 4*v + 212. Let m = h - i. Is m prime?
True
Let w(x) = 18*x**2 + 5*x + 6. Suppose 3*b - 104 = 11*b. Is w(b) a composite number?
True
Let g(u) = -10606*u - 1825. Is g(-11) a prime number?
False
Let l = 33 + -29. Is ((-4831)/(-2))/(1 - l/8) a composite number?
False
Let i = -17 - -29. Let g be 2*(-1 - -3 - i). Let n(b) = -b**3 - 19*b**2 - 51*b - 21. Is n(g) composite?
False
Let t = -38 + 40. Let d = t + -13. Let u = d + 42. Is u a composite number?
False
Let d(z) = z**2 + 5*z - 4. Let w be d(-7). Let o(f) be the third derivative of 11*f**5/60 + 7*f**4/24 - 19*f**3/6 + 227*f**2. Is o(w) a prime number?
True
Suppose 0 = 3*g + 6*j - 46059, -3*g + 2*j = 5*j - 46053. Is g a composite number?
False
Suppose 0 = 11*v + 6*v - 34. Suppose -4*k - 2*c = -748, 5*c = v*k - 120 - 254. Is k a composite number?
True
Let q(a) = 2556*a**2 + 11*a + 61. Is q(-10) prime?
True
Let z be (-2)/12 + 32186/84. Suppose 4*a - z = 529. Let d = a - -23. Is d prime?
True
Let t(q) = -686*q - 201. Let a be t(-5). Let y = 5996 - a. Is y a prime number?
True
Let z(r) = -11*r**3 + 4*r**2 + 2*r - 1. Let m be z(-1). Is 50652/8 - m/24 a composite number?
True
Let q be -3*(360/(-126))/((-6)/(-3241)). Suppose 8*d = 6114 + q. Is d a composite number?
True
Let d(h) = -h**3 + 56*h**2 - 173*h + 384. Is d(-65) a prime number?
False
Let h = 2622 + -1220. Suppose -3*n + h = -815. Suppose -n = -5*d + 376. Is d prime?
True
Let v be (11 + 5)*(-3)/(-6). Suppose -v*u = 13518 + 1962. Let z = u - -3194. Is z prime?
True
Let g be 260/(-30)*3/2. Let m(v) be the second derivative of -v**5/20 - v**4 - 7*v**3/3 - 6*v**2 + 36*v. Is m(g) composite?
True
Suppose -10*o + 11*o - 9*o = -664568. Is o composite?
False
Let p(t) = -6*t**2 - 130*t + 103. Is p(-18) a composite number?
False
Let k(z) be the third derivative of 17*z**5/15 + z**4/4 - 10*z**2. Let p be k(-2). Is p - 3 - (-4)/2 a prime number?
False
Suppose 4*i + 3*y - 76 = 5*y, 2*y = -4. Let n be (72 - 2)*i/(-4). Let h = n + 1122. Is h a composite number?
True
Let f(j) = -j**3 + 24*j**2 + 27*j - 35. Let x be f(25). Is (-1)/(-1 - 484*x/(-7270)) composite?
False
Let o = -66 - -35. Let x = 30 + o. Is (597/15)/(x/(-5)) prime?
True
Let m(h) = 10383*h**2 + 38*h + 28. Is m(5) composite?
True
Let a = -265883 - -532974. Is a a composite number?
True
Suppose 2*g + 5*j + 14 = 0, -3*j - 51 = 4*g - 9. Is 1735/1 - (g + 5 - -9) a composite number?
False
Let d(s) = -1061*s + 141. Let i(n) = -531*n + 70. Let w(a) = -2*d(a) + 5*i(a). Let m be w(-11). Let q = 8404 - m. Is q prime?
True
Let v = -30 + 32. Suppose v*h = 3*h - 1693. Is h a prime number?
True
Suppose 3*s = 3*z + 4115 + 32836, -s = 4*z - 12297. Is s prime?
False
Let r(m) = -2232*m - 1646. Is r(-21) a prime number?
False
Suppose -30 = -2*m - y, -5*m + 29 = -2*y - 55. Let o(w) = 2*w**3 - 24*w**2 - 18*w - 1. Is o(m) prime?
True
Let v be (0 - 28/(-16))*236. Suppose -4*y + 479 + v = 0. Is y composite?
False
Suppose 4*q + 5 = 3*j + 7, -j = -2*q + 2. Is (28/(-7) - -8186)/j a composite number?
False
Let q be 14/(-35)*-11348 + (-2)/10. Suppose q = 5*c - 4*d, 6*d = -2*c + 4*d + 1812. Is c composite?
False
Let m = -38 + 41. Suppose 0 = -m*i - 3*z + 5*z + 569, 0 = 4*i + 2*z - 754. Let h = -124 + i. Is h a prime number?
False
Suppose -17*t - 258 - 14 = 0. Is ((-63192)/t)/((-18)/(-12)) a composite number?
False
Let j(x) = -x**3 + 11*x**2 - 7*x - 10. Let i be j(10). Let g be 2/(-7) - i/(-70). Suppose -4*h + 16*h - 1332 = g. Is h a prime number?
False
Let w(q) = -132 - 68*q - 70*q - 11 + 393*q. Is w(28) composite?
False
Let m be (-30955)/(-1359) + (-4)/18*-1. Let w(n) = n**3 - 17*n**2 - 5*n - 32. Is w(m) composite?
True
Let y(j) be the first derivative of j + 25/2*j**2 + 7. Is y(13) a composite number?
True
Suppose -6*u + 279047 + 418927 = 0. Is u composite?
False
Let o = -51 - 5. Let s = o + 59. Suppose 0 = 4*c - s*c - 1631. Is c a composite number?
True
Let i = 28 - 30. Let d be i/(-3) - 30/(-9). Suppose -d*h - 2*t = -3186, 0 = -0*h + 3*h - 3*t - 2394. Is h a composite number?
False
Suppose 1982 = t - 2*f, 7*t - 4*f + 1958 = 8*t. Let q = t - -1225. Is q composite?
True
Let m(t) = 1489*t + 27. Suppose 20 = h + 3*c + 6, 0 = -5*c. Is m(h) a prime number?
True
Is (-2)/(-3) - -8842*58/12 prime?
True
Let v = 122 + -146. Let y = v + 26. Let q(u) = 280*u**2 - 3. Is q(y) prime?
True
Let m(p) = 20911*p**2 - 12*p + 11. Let s be m(1). Suppose -26*n = 4*n - s. Is n prime?
False
Let d = -55259 + 95742. Is d composite?
False
Suppose 5*j + 1516450 = 5*b, -899*b = -894*b - 2*j - 1516459. Is b composite?
False
Let v be (3 + 670)*(-49 + -3). Is -1*6/(24/v) a prime number?
False
Suppose -27*i + 20*i = -404159. Let r = i + -32044. Is r composite?
False
Suppose 0 = -2*n + f - 4*f + 10, -5*n + f = -59. Suppose -10*j = n*j - 23289. Is j composite?
False
Let o = 1235391 + -582334. Is o a prime number?
True
Let h(c) = c**3 - 3*c**2 + c + 5. Let z be h(0). Let a(p) = 274*p - 51. Is a(z) a prime number?
True
Suppose -37413029 = -50*v + 21685121. Is v prime?
True
Suppose 10 = 4*k + 2*a, 3*k + a - 14 + 5 = 0. Suppose -264 = -3*t + 5*u - 1959, -5*u - 2295 = k*t. Let w = 1537 + t. Is w prime?
True
Suppose -4*i = -2*f + 6013 - 29949, 5*i = 2*f + 29917. Is i a prime number?
True
Suppose m - 5*k - 80723 = 0, 278*m = 275*m - 4*k + 242169. Is m a prime number?
False
Let j be 1*-1*(16/(-1))/4. Suppose -j*y - 2*b + 4895 = y, -4*y = 3*b - 3923. Is y prime?
True
Suppose -3*t - 3*y = -3, 3 = -0*t - t + 3*y. Suppose 12 = 4*s - t*s. Is -2 + 2641 - s*(-4)/(-12) a composite number?
True
Let f = -3231 - -10226. Is f a composite number?
True
Let f = 2466 + -1206. Let g = f - -2449. Let s = g + -1916. Is s a composite number?
True
Suppose 4*s - 118 = -126. Let i = -12 - -10. Is (-7)/(-14)*(s + (-3400)/i) a composite number?
True
Suppose -45460595 = -164*q - 6444831. Is q a composite number?
False
Is (-271032550)/(-4510) - (-24)/22 composite?
True
Suppose 3226170 = 4*v + 2*v - 823404. Is v composite?
False
Suppose 0 = -4*z + 3*x + 5155, 0 = -4*z + 6*z - 3*x - 2579. Let m = z - 201. Is m composite?
False
Let m(r) = 9448*r**2 - 5*r. Let f be m(1). Suppose 20*d = 13*d + f. Is d a prime number?
False
Let t(c) be the second derivative of -29*c**3 - 100*c**2 + 155*c + 1. Is t(-13) prime?
False
Let x(u) = -6 + 29*u - 20*u - 2*u**2 - 10*u - 30*u. Let v be x(-15). Is (-103873)/(-99) - 2/v composite?
False
Let n = 87 - 83. Suppose 103 = 5*d - 4*d + 2*l, -2*l + 412 = n*d. Is d composite?
False
Let n = 112 - -35. Let m(g) = 10*g**2 + 3*g - 3. Let r be m(5). Let t = r - n. Is t a composite number?
True
Let a be 4*-1 + -28 + 8824. Let m = a - -27. Is m composite?
False
Suppose 15 = 60*n - 57*n. Suppose -2*o - j + 86 = 2*j, n*o - j - 181 = 0. Is o a prime number?
True
Suppose 2*w + 3*w - 1315 = q, w - 263 = -4*q. Suppose d = -0*n + n + w, n = -d + 273. Suppose -d = 25*a - 29*a. Is a prime?
True
Let k(c) = 50911*c**2 - 74*c + 293. Is k(4) prime?
False
Suppose 4*c = -4*b + 16 + 12, 0 = -5*b - 4*c + 40. Suppose -5*x + f + 3150 = 