True
Suppose t - 12 = 51. Suppose 0 = 3*a - 30 - t. Is a a prime number?
True
Let m(z) = z - 15. Let k be m(9). Let u(q) = q**2 - q - 8. Let r be u(0). Is (-1922)/k - r/12 a composite number?
True
Let f(i) = 12316*i - 3. Is f(20) composite?
False
Suppose 0 = 12*u - 16*u, 0 = c + u - 13141. Is c a composite number?
True
Let f(a) be the third derivative of 23*a**5/10 + a**4/6 - a**3/2 + 3*a**2. Let r be f(2). Let i = r - 322. Is i a composite number?
True
Let h be (64/(-80))/((-4)/230). Let f = h + 5. Is f a prime number?
False
Let c(w) = -2*w - 21. Let o be c(-13). Suppose -622 = -o*s + 1188. Is s a prime number?
False
Suppose 726 = 3*c - 2*c. Suppose 3*s - s = c. Suppose 0 = 8*w - 11*w + s. Is w composite?
True
Let c(l) = 44*l**3 - 3*l + 1. Let j be c(3). Suppose -2*i + j = -s - s, 0 = s + 3. Is i prime?
True
Suppose -10*z + 1276 = 5*o - 13*z, 0 = -3*o - 2*z + 758. Is o prime?
False
Suppose -23*f + 19*f + 306144 = 2*j, 76545 = f + 5*j. Is f composite?
True
Suppose -5 = -2*i + 7. Let m = 9 - i. Suppose -2*j - 53 = -m*j. Is j prime?
True
Suppose -506*f + 43955 = -501*f. Is f a prime number?
False
Let w = -224 - -61. Let k = -36 - w. Is k prime?
True
Suppose 0*b = 2*w - b - 11, -2*w = b - 9. Suppose w*c - 7343 = 3*h, 0*c - h = 3*c - 4417. Is c a composite number?
False
Let j = 94 - -21. Let p = j + -61. Suppose 5*y + p - 289 = 0. Is y composite?
False
Let y(f) = 123*f + 13. Let c = -39 - -45. Is y(c) composite?
False
Let s = 472 + 201. Is s prime?
True
Is (-1)/(-12 - (-99415)/8285) prime?
True
Let s(x) be the third derivative of x**5/60 + x**4/24 + 11*x**3/6 - 16*x**2. Is s(6) prime?
True
Let p be (-27)/12*(2 + -6). Let t = p - 9. Suppose t*c - 2*c = -5*h + 951, 0 = 5*h - c - 953. Is h prime?
True
Let o(s) = -418*s + 1. Let l be o(-1). Let b = 165 + l. Suppose -b + 174 = -2*a. Is a composite?
True
Let r(f) = -3*f**2 - 4 - f + 5*f**2 - 14*f**3 - 15*f**3. Let x be r(-4). Suppose 5*b - 3*b = -3*d + 948, -x = -4*b - 2*d. Is b prime?
False
Suppose 13 = 4*t - 31. Suppose -2*x = -2*q - 4*x + 8, -2*q + x = -t. Suppose -177 = 2*g - q*g. Is g a composite number?
False
Suppose 21*d - 6 = 23*d. Is (-8252 - 2)*d/6 a composite number?
False
Let u(a) = -a**3 + 33*a**2 + 2*a + 93. Is u(32) composite?
False
Let c(b) = 16*b**2 - 30*b + 145. Is c(-28) a composite number?
True
Let u(f) = -125*f + 3. Let n(q) = 375*q - 9. Let j(o) = -6*n(o) - 17*u(o). Is j(-2) a prime number?
False
Suppose -3*s + 24 = 3*s. Suppose -5*l = -3*q - 30, -2*l - 4 - 10 = s*q. Is 3/(l/134*2) a prime number?
True
Let s(w) = 3*w**3 + 4*w**2 - 6. Let u be s(-6). Let i = u - -817. Is i prime?
True
Let y = 4695 - -11240. Is y a prime number?
False
Suppose 0 = -2*t - 3*n + 13, -3*n = -5*n - 2. Let m(j) = -140*j + 55*j + 226*j + 13. Is m(t) prime?
False
Let p = -158 - -160. Let d(x) = x**2 - x - 35. Let h be d(0). Let f = p - h. Is f composite?
False
Suppose 7*w - 48 = 50. Let s(r) = -r**3 + 15*r**2 - 12*r + 3. Is s(w) a composite number?
False
Suppose i + 1647 = 4*i. Suppose 3*l - 3*n - i = 0, -3*l + 5*n = -574 + 35. Let t = l - -231. Is t prime?
True
Let l be ((-6)/(-1))/(-3) + 0. Let v(q) = -15*q**3 - 3*q**2 - 3*q. Let t be v(l). Suppose -5*j = 3*x - 368 + t, -j = -5*x - 34. Is j a composite number?
True
Let n be ((-1992)/144)/(2/(-12)). Suppose 5*k - 5*s = -s - 12, 2*k = 2*s - 6. Suppose f - n = -k*f. Is f a composite number?
False
Let t be 25/(-10)*(-28)/5. Suppose -g + t = 3*u, -3*g + 24 = 7*u - 4*u. Is -2 - (3 - u) - -293 prime?
False
Is 4/18 + (-3648380)/(-180) composite?
False
Suppose -3 = v + 3*h, 2*v + 4*h - h = 0. Let p be v + (-5)/((-5)/(-2)). Is 2/p*86/4 a prime number?
True
Suppose -20 = w - 5*i, 0*w = -2*w - 3*i + 12. Let f(o) = -2*o**3 - o**2 + 145. Is f(w) a prime number?
False
Suppose -5*w - 2*z - 107 = 0, w = -w + 4*z - 62. Let y = w - -9. Is ((-19)/2*y)/1 a prime number?
False
Let d(f) = 107*f**3 + 17*f**2 - 62*f - 7. Is d(5) a composite number?
True
Let x be 2/10 + 57/15. Suppose 3*l + 5 = -2*w, -2*l = -5*l - 15. Suppose -x*o + 20 = 0, 0*m - 5*m = w*o - 320. Is m a composite number?
False
Suppose -13*d - 6*d + 134159 = 0. Is d a prime number?
False
Suppose -i + u - 3 - 12 = 0, 37 = -3*i - 5*u. Suppose -177*h + 171*h = -18. Is -1 - (i - (-7 + h)) a composite number?
True
Let l(g) = -g**3 + 35*g**2 - 43*g - 45. Is l(32) a prime number?
False
Suppose -5*r - 18 = 107. Let h be r/(-2)*96/(-40). Let m = -11 - h. Is m a composite number?
False
Let v(u) = 2*u**3 + u**2 - 1. Let p be v(1). Suppose 3*s = -p*y + 1175, -465 = 4*s - 5*y - 2070. Is s a prime number?
False
Let z = -5372 - -15949. Is z composite?
True
Let p(h) = -h**2 + 10*h + 761. Is p(0) prime?
True
Let u = -26 + 22. Let s be u - (-3)/((-3)/(-1358)). Suppose -3*h + s = -h. Is h a prime number?
True
Let z be -180 + (-3)/(-5 - -2). Suppose -g - 1620 = -6*g. Let m = z + g. Is m composite?
True
Let t = 25 + -45. Let z = t + 24. Suppose -z*d - 851 = -5*d. Is d composite?
True
Let v(z) = -4*z - 1. Let a(i) = -17*i**2 - 13*i - 6. Let r(w) = -a(w) + 3*v(w). Let d be 0 + (-1 - -2)*-4. Is r(d) composite?
False
Let v be (-1)/4 - (-8610)/8. Is v - 2/(8/12) a composite number?
True
Let z(l) = -8*l - 3. Let w be z(-1). Suppose w*d = -0*d - 25. Is (d - 702)*(-1 + 0) prime?
False
Suppose -11663 = -5*f + 3*f - 5*z, z = -3. Is f composite?
False
Let z be 3 + ((-44)/4)/(-1). Is 7 + (-79056)/(-42) + (-4)/z a prime number?
True
Let v = 8943 + 2306. Is v composite?
True
Suppose -388*l + 354*l + 1433746 = 0. Is l prime?
True
Let z(d) = -d**3 - 9*d**2 + 10*d + 2. Let j be z(-10). Let a(i) = -8*i - 1 + j + 71*i. Is a(6) composite?
False
Let a(q) = -35*q**2 - 12*q + 29. Let x be a(28). Is 2 + x/(-18) + (-2)/4 a composite number?
False
Let o = 291 + -179. Let a = 829 + o. Is a prime?
True
Suppose 3 - 30 = 3*y. Let k be (3 + 5)/((-6)/y). Suppose 1 = -2*f - 3*s, 2*f = f + s + k. Is f a composite number?
False
Let z(q) = 3*q**2 - 8 + q**2 + 14*q**2 - 4*q**2 - 11*q. Is z(-5) a composite number?
False
Let j be 709/(-4) + (-1)/(-4). Let r be (-11 - -9)*(-1)/2. Is 20/(-60)*j/r composite?
False
Suppose 27*a + 9*a = 464004. Is a a prime number?
True
Suppose 39 = 3*w - 3*m, 0 = 5*w - m - 0*m - 77. Suppose 0*i = -4*i + w. Is ((-2)/3)/(i/(-390)) a prime number?
False
Suppose 55*r - 50*r - 750 = 0. Suppose -s = -265 - r. Is s a prime number?
False
Let i = 263 + -40. Suppose 4*a + 3*u = i, -5*a = u - 105 - 171. Suppose -a = -r - 2*j, 207 = 2*r + 2*r - 5*j. Is r prime?
True
Suppose 3*j + 1688 = 5*j. Let w(s) = s**3 + 20*s**2 - 19*s + 53. Let z be w(-21). Suppose z*l = 7*l + j. Is l a composite number?
False
Suppose -4*o + 5788 = 3*f - 1730, 4*f + o = 10037. Suppose 2*u = -3*u + f. Is u a prime number?
False
Let f = 103255 + -3786. Is f a prime number?
True
Suppose 3*h - 7761 + 60 = -3*l, -3*l + 5138 = 2*h. Is h a composite number?
True
Suppose 2*t = 10*u - 13*u + 4081, -2*t + 5*u = -4105. Is t a composite number?
True
Is (-8818*(-35)/20)/(1/2) prime?
False
Let c = -22 + 26. Suppose k + k - c = 0. Is (k/6)/(1/1167) prime?
True
Let z(q) = 3*q**2 + 4*q - 2. Let l be z(-2). Suppose -12 = -l*a - 2*a. Suppose 0 = 2*h - 2*w - 30, -a*w + 73 = 3*h + w. Is h prime?
True
Is -1 + 1 + (-6 - (-2 + -11681)) a composite number?
False
Suppose 4*n = -4*x + 27 - 95, 3*x + 39 = -2*n. Let k = 69 + -36. Let d = n + k. Is d a composite number?
True
Let p = -59555 + 102946. Is p prime?
True
Let r be ((-3)/3)/(1/7). Let x be (-3845)/r + 4/(-14). Suppose -f - 2*f + x = 0. Is f prime?
False
Suppose -2*o - 41*o + 278167 = 0. Is o prime?
True
Let o be (9738/45)/(3/5)*3. Let s = o - 745. Is s a prime number?
True
Let v(f) be the first derivative of 13*f**3/3 + 13*f**2/2 + 35*f + 28. Is v(27) composite?
True
Let n(s) = -s**3 - 16*s**2 - 19*s + 27. Let x be n(-16). Suppose -1009 = -10*t + x. Is t a prime number?
False
Suppose 0 = -3*v + 2336 + 3061. Is v a composite number?
True
Is (-296 + 2*-1)/((-344)/9116) a prime number?
False
Is (-3140)/(-2) - (3 - -4 - 4) prime?
True
Let m(g) = -g**3 - 4*g**2 + 4*g - 2. Let a be m(-5). Suppose -a*x + 136 = 2*w + x, 4*w = 3*x + 239. Suppose 5*z = 3*z + w. Is z composite?
False
Is 444665/(-5 - -18) - -6 composite?
False
Let w(d) = -4008*d + 185. Is w(-4) composite?
False
Let h(v) = 5*v + 1. Let m be h(-2). Let w = 12 + m. Suppose 5*c + 145 + w = 3*l, -l 