= 3*u - 2069. Is u prime?
False
Suppose 0 = -7*s + 19768 + 1477. Is s a prime number?
False
Is (-1 + -5 + 8)/(4/7870) a prime number?
False
Let o = -195 - -197. Let k(q) be the first derivative of 18*q**3 + 3*q**2/2 - q + 2. Is k(o) composite?
True
Suppose 62 = 2*l + 3*g, -5*l + 27 = 2*g - 139. Suppose 0 = 37*h - l*h - 633. Is h composite?
False
Suppose -4428862 = -39*k + k. Is k a prime number?
True
Let m(v) = 10*v - 57. Let b be m(6). Let j(l) be the first derivative of 7*l**4/4 - 2*l**2 + 2*l + 1. Is j(b) composite?
False
Let a = 21 + -20. Is (a - 2)/((-1)/649) prime?
False
Suppose -23 = -3*i + 28. Let x be (32/(-10))/(14/(-910)). Suppose i = -f + x. Is f a composite number?
False
Let l = -2186 + 3843. Is l prime?
True
Let d be (75/(-6))/(-5)*14. Let q = d - 110. Let v = q - -133. Is v composite?
True
Let f(v) = 7827*v**2 - 3*v + 5. Is f(2) composite?
False
Is (1 - (10 - 6)) + 1442 composite?
False
Suppose -4*i = -n - 19 - 2, 5*i = -2*n + 10. Suppose 238 = 5*y + 3*h, -4*y + 130 + 54 = -i*h. Is y prime?
True
Let r = -9 + 9. Suppose r = 3*q - q - 982. Is q a prime number?
True
Let g = 44 + -32. Let t = g - 8. Suppose 0 = -3*y - 0*y + t*j + 751, 512 = 2*y + 3*j. Is y composite?
True
Is (85704/(-32))/((-33)/44) composite?
False
Suppose 0*n + 30 = 6*n. Suppose -4*o = n*x - 21712 + 2747, 0 = -o. Is x a prime number?
True
Suppose -4*i = -5*f - 73195, 0 = 2*i - 5*f + 7*f - 36584. Is i composite?
True
Let g(d) = -d**2 - 11*d - 2. Let n be g(-10). Let o(b) = -b**3 + 4*b**2 - 4*b - 1. Let l be o(n). Is (-6 + 5)*(l - -2) a composite number?
True
Let i(h) be the second derivative of -9*h**5/40 - h**4/24 + 5*h**3/6 - 7*h. Let k(b) be the second derivative of i(b). Is k(-2) a prime number?
True
Let i(n) = -8*n**3 + 13*n**2 + 14. Is i(-9) composite?
False
Suppose -343*t - 157444 = -347*t. Is t prime?
False
Let s(p) = -13*p + 7. Let n be s(5). Suppose 2*m = k + 177, -3*k + 3*m - 656 = -125. Let x = n - k. Is x a prime number?
False
Let t = -81 - -137. Suppose 2*n - 23 = -0*c - c, 2*n = 0. Let x = t - c. Is x composite?
True
Let x(t) = -65*t - 8. Let j be (-4 + 14/6)*3. Is x(j) prime?
True
Let h = 1087 - 246. Is h composite?
True
Let u be (-3)/12 + (-18)/(-8). Let l = 21 + -21. Suppose l = 3*g + 4*c - 3*c - 361, -2*g + 230 = -u*c. Is g a composite number?
True
Let h be -4*(-5)/(40/(-6)). Let y = -10 - h. Let n = y + 18. Is n composite?
False
Suppose 0 = 518*k - 524*k + 55086. Is k a composite number?
False
Let y be 19 - (-1 - 2) - -2. Let a = 24 - y. Suppose 2*v + 591 - 1489 = a. Is v a prime number?
True
Let c(j) = 17*j - 6. Let p be c(2). Is p - (4/2 + 0/1) composite?
True
Let s = -10 + 12. Is 4 - 119/s*-2 a composite number?
True
Let r(k) = -348*k + 3. Let c be r(2). Let f = 1334 + c. Is f composite?
False
Let z(s) = -16022*s + 245. Is z(-3) prime?
True
Suppose 1334202 + 847838 = 56*m. Is m prime?
False
Suppose -2*d + 162 = -2*t - 180, -3*d = -t - 513. Let m(x) = 44*x + 2. Let z be m(-2). Let s = d + z. Is s prime?
False
Let t(c) = 8*c**3 + c - 1. Let p be t(1). Let a(o) = -4*o - 3 + 2*o**2 - o**2 + 0 + p*o. Is a(-6) a prime number?
False
Suppose 5*h - 6 + 1 = 0. Let j be ((-10)/4 + h)*-2. Suppose j*t - 1310 = -359. Is t a prime number?
True
Let n be 18/(-24) + 22/8. Suppose 2*d - 4*v - 26 = 0, -d + 7*v = n*v - 4. Is d a composite number?
False
Suppose 10*z + 57508 = 14*z. Is z a prime number?
False
Suppose 5*t + 61 = 2*b, -2*b + 11 = t + 4*t. Let i be ((-7318)/5)/((-10)/100). Suppose 14*p + i = b*p. Is p a composite number?
False
Suppose -6*r + 10*r + 2*k = 43618, 2*r + 5*k - 21821 = 0. Is r prime?
True
Suppose -4*w = -8*w + 1532. Let g = 28 - 25. Suppose 0*l + 3*a = g*l - 246, 5*l + 4*a - w = 0. Is l a prime number?
True
Suppose 0 = -16*l + 263690 + 182374. Is l prime?
False
Is (-94935)/(-10) - -4*(-2)/16 prime?
False
Suppose -w + 2*w + 4*n - 9 = 0, 2*w - 3*n + 26 = 0. Is (629 - 0) + w + 9 composite?
False
Suppose 3*x + 5*z - 11268 = 0, z - 7512 = -2*x - 4*z. Suppose x = 74*q - 70*q. Is q prime?
False
Let n(a) = 5*a**3 - 5*a**2 + 5*a - 5. Let h be n(4). Let s be 2 + (-4)/(-6)*(-12)/(-8). Suppose 0 = -2*q + s*q + 2*w - h, 3*q = -w + 775. Is q composite?
True
Let z(i) = -5*i + 10 + 7*i + 10. Let f be z(-9). Suppose -21 = -t + 4*a, -3*a + 108 = t + f*t. Is t prime?
False
Suppose 2238 + 14842 = -5*g. Is 2/(-5) - g/40 a composite number?
True
Let x be 4/(-10) - (-288)/(-30). Is (5/x)/((-1)/642) composite?
True
Suppose 211 + 37 = 4*x. Suppose -5*d - 4*l = -x, 0 = -6*d + 2*d - 5*l + 55. Is (12/10)/(d/275) a composite number?
True
Suppose 3*j - 9*j + 90 = 0. Let d(n) = n**3 - 13*n**2 + 12*n + 11. Is d(j) a composite number?
False
Suppose -a - 3*a - 104 = 0. Let f = -23 - a. Suppose -f*z + 7*z - 2532 = 0. Is z composite?
True
Let j be (-67)/3 + (-4)/6. Let p be (-2)/8*-4 + 57. Let v = j + p. Is v prime?
False
Let i(y) = y**2 + 3*y + 8. Let s be i(-2). Let k(l) = 5*l**3 - 2*l**2 - l - 31. Is k(s) composite?
False
Let k = 2 - 0. Suppose -k*s + 6 = s. Let t(i) = 299*i**2 + 5*i - 5. Is t(s) prime?
True
Let x = -1947 - -4000. Is x prime?
True
Suppose -4*m + 25 = 9. Suppose u - 5*k + 67 = m*u, 2*u - 3*k - 70 = 0. Let l = 82 - u. Is l a composite number?
False
Let y be ((-1)/4*0 - -1) + 7. Suppose 11*r = y*r + 7311. Is r composite?
False
Suppose 633148 = 123*i - 1807295. Is i prime?
True
Suppose -4*d = -20 - 20. Let s be -3 - 3*d/(-15). Let y(f) = 199*f**2 + f + 1. Is y(s) composite?
False
Let o(l) be the second derivative of 299*l**3/6 - 9*l**2 + 23*l. Is o(3) composite?
True
Let t be (-12)/(-15) - (-80)/25. Suppose v = -t*o - 4, -5*o - 10 = -0. Suppose -1471 = -v*z + 861. Is z a prime number?
False
Suppose 5*n - 2*j = 2514 - 524, 0 = -2*n - 2*j + 810. Suppose 3*m + n = 8983. Is m composite?
False
Let t be ((2 - 6)/(-8))/(2/(-8)). Is t/(1/((-6866)/4)) composite?
False
Suppose 16*z + 2*z = 1710. Is z a composite number?
True
Is ((-45)/5)/(-3) + (-57888)/(-6) prime?
False
Suppose -3*h - 17348 = -p + 11043, p = -2*h + 28411. Is p a composite number?
False
Suppose 9*c + 1063 = n + 5*c, 3*n + 5*c - 3155 = 0. Is n prime?
False
Suppose 3*k + 2*c - 51245 = 33356, 5*k = 3*c + 141008. Is k a composite number?
False
Let m(d) = d**3 - 3*d**2 - 24*d. Let i be m(10). Let b be (4 - (3 - i)) + 0. Suppose -5*w = -3*r + 1576 - 192, -r + 2*w + b = 0. Is r composite?
False
Suppose -14*o + 22879 + 12163 = 0. Is o composite?
False
Let h(b) = 3*b - 3. Let w be h(2). Suppose -w*x + 2*x + 30 = 0. Is (1 - (x + -3))*-1 prime?
False
Let k = 9367 + -5460. Is k a prime number?
True
Is (20326 - 3)*25*(-8)/(-40) a composite number?
True
Let u be 1 + 3 + 2 - 3. Suppose -293 = -u*w - a - 4*a, -a + 4 = 0. Is w a composite number?
True
Suppose -23886 = -4*y + 8950. Is y a prime number?
True
Suppose -3*a + 5331 + 29476 = 5*w, 4*w - 27856 = -5*a. Is w a prime number?
True
Let l(m) be the third derivative of -47*m**5/60 - m**4/8 + m**3/3 + 3*m**2. Let d(x) be the first derivative of l(x). Is d(-2) composite?
True
Is (-105054)/(-54) - (-8)/(-18) composite?
True
Let v(u) = -u**2 - 12*u - 15. Let d be v(-12). Is 333/d*(-1 + -4) composite?
True
Let t(o) = -o**2 + 76*o - 25. Is t(22) prime?
True
Let u = 213 + -39. Suppose 373 + 772 = 5*r. Let w = u + r. Is w a composite number?
True
Let f = 4 - -1. Let y be (f/(-1)*1)/(-1). Suppose 4*p - 1422 = y*t, 4*t = -p - 0*t + 345. Is p prime?
True
Let u(p) = -356*p + 4. Let j be u(-2). Let l = j + -1226. Let c = -299 - l. Is c a prime number?
True
Let o(h) = -h**3 - 10*h**2 - 9*h - 1. Let f = 116 - 56. Suppose 6*q + 5*j + 40 = 3*q, f = -5*q - 5*j. Is o(q) prime?
True
Suppose 2*o + 3*s = -824, -2*s = 6*o - o + 2038. Let p be (-10)/25 - o/(-10). Let d = -8 - p. Is d a prime number?
False
Let g be 8/(4 - 8/4). Let k(n) = 13*n**3 - 3*n**2 + n - 1. Is k(g) composite?
False
Is (3 + -5 - 4) + 3665 a prime number?
True
Let r be -155 - (-2 + 8/2). Let x = 222 + r. Is x prime?
False
Let w be (((-9)/(-2))/(-1))/(75/20300). Let h = w + 2031. Is h prime?
False
Let i = 28 - 22. Let l(s) = 2*s**2 - 11 + i*s**2 + 4*s + 4*s + 0*s. Is l(-8) a prime number?
False
Is (-35)/(-7) + -6 - -4748 composite?
True
Is 85757/63 - 8/36 prime?
True
Suppose 0 = o + 2*o - 9. Let u(y) = -o*y + 9*y**2 + 8*y - 7*y + 4. Is u(3) prime?
True
Is (2 - 3) + -108*98/(-7) prime?
True
Let x = 120 - 42. Let y be