. Is p a prime number?
False
Let m(b) = -4*b + 1. Let h be m(5). Is 0/h + (22 - 0) a prime number?
False
Suppose -3 = 2*j + 5. Let l be (j + 4)*1/2. Suppose -c = -l*c - 51. Is c composite?
True
Suppose -13*m + 7*m = -30. Let z(o) = 4*o - 17. Is z(m) prime?
True
Let a = 100 + -98. Suppose a*q = 665 + 51. Is q a composite number?
True
Let n(a) = -a**3 + 14*a**2 - 12*a - 11. Let s be n(13). Suppose -s*p - 8 = 0, -2*z - 3*p + 2*p - 10 = 0. Is 2108/10 + z/(-15) a prime number?
True
Suppose z = 5*m + 18064, 3*z + 0*z = -4*m + 54287. Is z prime?
True
Let m(i) = -i**3 - 5*i**2 - i - 4. Let d be m(-5). Let f be d*((9 - 1) + -3). Suppose 2819 = f*u - 0*u - 2*g, 5*g + 573 = u. Is u a composite number?
False
Let i = 353 - -23. Suppose 3*p - 7*p + i = 0. Is p composite?
True
Let x = 1041 - -670. Is x a composite number?
True
Let z be 4 + 5 + 2/(-1). Suppose -z*k = -4*k - 138. Is k composite?
True
Is (-5 + (-21)/(-6) + 1)*-6542 prime?
True
Let q(g) be the second derivative of 7*g**3 - 5*g**2/2 + 6*g. Is q(4) a composite number?
False
Let x = 64 - 16. Let d = x - -623. Is d a composite number?
True
Let v = 14 + -12. Suppose 2*t - 686 = -2*x, x - v*x = 3*t - 1037. Is t a prime number?
True
Let n(i) = 136*i**2 + 3*i + 112. Is n(-9) a prime number?
False
Suppose -31741 = -12*q + 38255. Is q a composite number?
True
Suppose -t - 4*a = -1089, -t - 4*a + 3283 = 2*t. Suppose -2*d = -4*d - 3*r + t, -3*r + 15 = 0. Is d a prime number?
True
Suppose 393981 = 30*c - 390609. Is c composite?
False
Suppose 15 = k - 6*k, 2*z - k - 13 = 0. Let i(p) = 2*p - 1. Let q be i(z). Is 499*(q/3 + -2) a composite number?
False
Let j(d) = 6*d**2 - 13*d + 2. Suppose -19*h + 126 = -5*h. Is j(h) prime?
False
Let g(s) = -20*s**3 - 2*s**2 - 12*s - 29. Is g(-12) composite?
True
Let n = 6925 - -6126. Is n prime?
False
Let m = -201 - -320. Is m composite?
True
Let x = -2 - -3. Let i(f) = 258*f**2 - 3*f. Let v(t) = -516*t**2 + 6*t + 1. Let c(o) = 5*i(o) + 2*v(o). Is c(x) composite?
False
Let l(z) = 23*z**3 + 3*z + 3. Let t be l(-1). Let d = t + 34. Is d a composite number?
False
Let o be (112/12)/(4/6). Let w(m) = 24*m - 3. Let j be w(o). Suppose 8*y + f = 3*y + j, -4*y + 260 = 4*f. Is y prime?
True
Suppose -5*r + 13 = 5*y - 7, 2*y = 0. Suppose -r*o + o = 2379. Let s = o + 1172. Is s a composite number?
False
Let q(o) = 0*o + 0*o + 2 - o. Let f be q(0). Suppose -2*t - 444 = -4*a, 2*a = 4*a - f*t - 218. Is a composite?
False
Let v = -14 + 19. Suppose 0 = -5*w - v*z + 4750, -3*w + 7*w = -z + 3794. Let k = w - 139. Is k a prime number?
True
Let d be 1/((-22)/(-20) - 1). Suppose -d*i + 7*i = -2613. Is i composite?
True
Is (-9268)/6*45/(-30) a prime number?
False
Suppose 4*v = 4*b - 6 - 2, -5*b = 4*v - 37. Suppose b*n - 1227 = -4*t + 1907, 5*t + 2*n = 3926. Let s = 1315 - t. Is s a prime number?
False
Let o = -2867 + 6936. Let u = -2120 + o. Is u composite?
False
Let a(x) be the second derivative of 29*x**4/12 + x**3/2 - 3*x**2/2 - 3*x. Suppose 0*g = -3*u - g + 9, 3*u - 5*g + 9 = 0. Is a(u) a prime number?
False
Let r = 54 - 21. Suppose d - b + 10 = r, -4*b = d + 2. Is ((-106)/(-3))/(12/d) a prime number?
True
Let g(o) = -o**2 + 5*o + 10. Let p be g(6). Suppose q = -2*q - p*i + 4063, -5*i = 25. Is q prime?
True
Let b(d) = -2 + 2*d**2 + 14*d - 32*d + 13*d + 2*d**3. Let q be b(-7). Let l = 1228 + q. Is l prime?
True
Let o be 1 + -3 + (-12)/(-2). Suppose 4*x + i - 2544 = 0, -x - o*i = 3*x - 2556. Is x a prime number?
False
Let z(t) = t**3 - 16*t**2 + 15*t + 5. Let r be z(15). Suppose n - 5*m = 92, 5*m = r*n - 481 + 81. Let f = n + 0. Is f prime?
False
Suppose -i + 726 = -5*y + 86, -2*i + 1235 = 5*y. Suppose 5*k = -c + 1092, -i = -5*k - 2*c + 464. Suppose k = 4*h - 49. Is h prime?
True
Let b(g) = g**3 - 7*g**2 + 5*g - 30. Let p be b(7). Let r(h) = 32*h - 11. Is r(p) a prime number?
True
Suppose 9 = 3*l - 0*l, -n + 18 = 5*l. Let r be 2/n*(-5655)/(-26). Suppose 3*j - r + 46 = 0. Is j a prime number?
False
Let w = -383 + 1074. Let f = w - -46. Is f composite?
True
Let m(v) = 31*v - 2. Let h(c) = -c - 2. Let g be h(-5). Is m(g) prime?
False
Is (1 - 23)*38051/(-26) a prime number?
False
Suppose -2*x - 53228 = -9*x. Suppose -9*g = -5*g - x. Is g prime?
True
Let h = -25638 + 44275. Is h a composite number?
False
Let h(c) = -c**2 - 5*c + 1. Let m(i) = -i - 1. Let x(b) = -h(b) + 2*m(b). Let u be x(-5). Suppose u*o - 6*o = 157. Is o a prime number?
True
Let d(j) = 8*j**2 + 2*j - 7. Let k be 0 + 0 - 188/4. Let g = k - -40. Is d(g) prime?
False
Suppose -45*x + 12141 = -42*x. Suppose -4*n + x = -2125. Is n a prime number?
True
Let z(o) = 110*o - 29. Is z(4) a composite number?
True
Is -120 + 18393 + 2*(0 + -2) prime?
True
Let x = -40148 + 57675. Is x prime?
False
Let b(l) = -38*l**3 + 32*l**2 + 2*l - 1. Is b(-5) a prime number?
False
Suppose 5*n = -0 + 20. Suppose n*p = -2*k - 0*p + 978, 0 = 4*k + 3*p - 1951. Is k a composite number?
False
Suppose 9 = -2*j + 111. Suppose -6*v = -17 - 19. Is 502/v + (-34)/j composite?
False
Suppose q - 1 - 4 = 0, -4*g + 33 = 5*q. Let y(p) = -1 - p - 2 + g. Is y(-4) prime?
True
Is (-1)/2 + (4565415/30)/19 prime?
True
Let i(k) = 267*k + 37. Is i(7) a composite number?
True
Let f(i) = -i - 1. Let d be f(-3). Suppose 0 = -c + d. Suppose 2*q = c*k + q - 257, -2*k + 4*q = -266. Is k composite?
False
Let s(i) = i + 8. Let u be s(-6). Let z(v) = 5*v**2 + 2*v - 1. Let o be z(-1). Suppose -o*y - 2*r + 258 = 0, u*y + 2*y - 3*r - 530 = 0. Is y composite?
False
Let p(u) = u**3 + 10*u**2 - 6*u - 10. Let f be p(-9). Let x = 98 + f. Is x a composite number?
False
Let w(x) = -7*x - 37. Suppose -2*d + d - 18 = 4*n, -n + 18 = -d. Is w(d) composite?
False
Let u be (256/(-20))/((-1)/(-5)). Let n = u - -90. Is n composite?
True
Suppose -6 = -2*a + 4. Suppose 3*l - 276 = -3*i, 0 = 5*i - a*l + 3*l - 425. Is i a prime number?
False
Let n be ((-6)/9)/(4/18). Let p(v) be the second derivative of -11*v**5/10 - v**4/12 - v**3/2 - v**2/2 - 20*v. Is p(n) a composite number?
False
Let i = 226 + -670. Let s = -193 - i. Is s prime?
True
Suppose 15*y + i = 10*y + 16887, 13500 = 4*y - 4*i. Is y prime?
False
Suppose h - 40885 = 43*a - 45*a, -5*h + 4*a + 204383 = 0. Is h composite?
False
Let z(i) be the second derivative of i**4/12 + 3*i**3/2 + 3*i**2 - 9*i. Let j be z(-11). Suppose 29*k = j*k + 83. Is k prime?
True
Let y(d) = 440*d - 119. Is y(3) prime?
True
Let i(k) = -k**2 + k + 2. Let x be i(-1). Suppose x*d = -2*f + d + 12898, 19347 = 3*f - 4*d. Is f a prime number?
True
Let i be (-6)/15 + (-4)/(-10). Suppose i = 2*p + 47 - 213. Is p prime?
True
Let l = -51 - -57. Is 2/(-2 + 10)*10056/l a composite number?
False
Let d(i) = 34*i**3 - 2*i**2 + 3*i - 2. Let m(z) = 68*z**3 - 5*z**2 + 7*z - 4. Suppose 4 = -3*t + 5*t. Let k(c) = t*m(c) - 5*d(c). Is k(-3) a prime number?
False
Is 8/16*-2*-17657 a prime number?
True
Suppose -g + 2*z + 1957 = 0, 24*z - 7784 = -4*g + 21*z. Is g prime?
True
Let b be (-3)/(0 + 3/96). Let u = -45 - b. Is u composite?
True
Suppose -d - 4*d = 4535. Let z = d + 1590. Is z prime?
True
Suppose -5*i + c = 299, 0*c + 301 = -5*i - c. Let m = 85 + i. Suppose -19 + 77 = r - 3*o, 0 = 5*o + m. Is r prime?
True
Let q(p) = 3*p**2 + 3*p + 17. Let o(l) = l - 1. Let r be o(-6). Is q(r) composite?
True
Suppose 6*w = -2*q + 3*w + 44, 3*w = 3*q - 51. Let n be -2 + q + (-5 - -2). Suppose -k - n = -36. Is k a composite number?
True
Let l be (2 + 10)/4*2*36. Is l/81*(-2274)/(-8) a composite number?
True
Suppose 4*u + 0*u - 2*s + 34356 = 0, 5*s = 0. Suppose -16 = 7*j - 3*j. Is (u/(-42))/((-2)/j) composite?
False
Let u be (-36)/(-16) + (0 - -2)/(-8). Let n = 21 - u. Is n a composite number?
False
Let j = 11450 - -5088. Is j prime?
False
Let y = 56722 - 31571. Is y a composite number?
True
Let y(o) = 161*o**3 - 3*o - 3. Let k(z) = -14*z + 946*z**3 + 25*z**3 - 167*z**3 - 14. Let x(h) = 3*k(h) - 14*y(h). Is x(1) prime?
False
Let k = 684 + -239. Suppose 0 = 10*a - 5*a - k. Is a composite?
False
Suppose -m + 4*i = -6*m + 141385, -28277 = -m + 2*i. Is m prime?
True
Let v(l) = -3*l - 11. Let j be v(-5). Let a(z) = 104*z**2 + 15*z + 3. Is a(j) composite?
True
Suppose 2*o + k = -o + 90709, 3*o - 90715 = 2*k. Is o prime?
False
Let u(s) = 893*s - 921. Is u(10) a prime number?
True
Suppose -7*l = -5*l - 10. Suppose -l*a = 2*h 