 107 = 2*o + 114. Is q a prime number?
True
Let o(m) = 504*m + 15. Let a be o(-2). Is -1*(a - 8/(-4)) prime?
True
Suppose -1098*k + 1105*k = 259. Is k composite?
False
Let g be -4 - (-9)/3 - -1. Let k(x) = -x**2 + 73*x**3 - 5*x + 6*x - 1 + 2 + g*x**2. Is k(1) composite?
True
Suppose 9*c - 63640 - 175679 = 0. Is c a prime number?
True
Let y = 18798 + -12409. Is y prime?
True
Suppose 5*f + 129455 = 5*l, 9*l + 3*f - 305705 = -72638. Is l composite?
True
Suppose 5*g - 7 = 4*g. Suppose g*i - 252 = 5*i. Suppose q = 2*u - 2*q - 106, 2*u = -2*q + i. Is u a composite number?
False
Suppose 4*o = 2*y - 5*y + 60, 3*o - 15 = -y. Let l = y - 9. Let r = l - -4. Is r a composite number?
False
Let n(u) = -117*u - 4. Is n(-25) prime?
False
Suppose -6375 = -5*v + 5*h, -26*h + 30*h - 3797 = -3*v. Is v prime?
False
Suppose -5*l = -2 + 7. Let s be l*12 + 7 + -4. Let h(w) = w**3 + 14*w**2 + 15*w - 7. Is h(s) prime?
True
Let n(t) = 4*t**2 + 1. Let r be n(1). Suppose -5*j + 3*i + 857 = 0, -2*j - 3*j + 825 = r*i. Is j a composite number?
True
Let v(s) be the third derivative of s**5/30 + 3*s**4/4 - 17*s**3/6 - 2*s**2. Let r be 174/(-12) + (-2)/(-4). Is v(r) composite?
True
Suppose -r = 4*f + 467 - 19, -224 = 2*f + r. Is 28/f - 5597/(-4) composite?
False
Let s(k) = 5882*k**2 - 4*k - 5. Is s(-2) a composite number?
False
Let s be -3 - ((-7176)/3 - -4). Let g = s + -1688. Suppose -5*w + 1163 = -3*b, -2*w = -5*w + 2*b + g. Is w prime?
False
Suppose -3*c = -4*c - 5. Let h = 10 + c. Suppose h*j - 13 + 3 = 0, u - j - 41 = 0. Is u composite?
False
Let z(v) = -294*v + 0 - 2 + 1. Is z(-1) composite?
False
Let p be (1/(-2))/(2/(-24)). Suppose g = 4*q + 7, -5*g - 3*q + 10 = -2. Suppose b + n - 94 = p*n, -g*b + n + 268 = 0. Is b a composite number?
False
Suppose s + 6 = 5*g, 5*s + 6 = 2*g + s. Is (-2 - (-255 - -2))/g a prime number?
True
Let y be 8/12*(-45)/(-6). Suppose 145 - 45 = y*b. Is (-4)/(-10) - (-8252)/b a composite number?
True
Suppose 4*d + 23*u - 19*u = 103896, 51923 = 2*d - 3*u. Is d a composite number?
False
Suppose 0 = 11*i - 9*i - 16. Let o = -4 + i. Suppose -1 = -v + o, 4*u = 2*v + 306. Is u a composite number?
False
Suppose -3*f = -0 - 6. Suppose -f*w - 2*k = 0, 4*w + 4*k + 1 = -k. Is 6*w/2 - -188 a prime number?
True
Let o(p) = 2*p**2 - 4*p - 13. Let l be (-3 + 27)*(-4)/(-12). Suppose -22 = 2*n - l. Is o(n) prime?
True
Let y be (-2)/(-6)*(30 - (2 - -1)). Is (0 + 222/y)*3 a composite number?
True
Let l(f) = 2*f**3 + 4*f**2 + 5*f + 6. Let k be l(-2). Is ((-784)/(-24))/(k/(-6)) a prime number?
False
Let z(f) = -78*f**3 + f**2 - 5*f + 3. Let c(b) = 234*b**3 - 3*b**2 + 14*b - 8. Let g(d) = -4*c(d) - 11*z(d). Suppose -2*r + 3 = -5*r. Is g(r) prime?
True
Let x(z) = -105*z - 86. Is x(-25) composite?
False
Let t = 32328 + -15175. Is t a prime number?
False
Let z(b) = -6 + 4 + 5 + b. Let o be z(-5). Is (5 + o)/((-3)/(-201)) a prime number?
False
Suppose -6*c + 44 = -2*c. Let b(j) = c*j**3 + 2*j**2 + 112*j**3 - 1 + 2 - 5*j**2. Is b(2) a prime number?
False
Let g(p) = 308*p**3 + 4*p**2 + 2*p - 2. Let d be g(-2). Is (-1)/(-4 + d/(-614)) a composite number?
False
Suppose x + 3*x - 5*j - 2 = 0, x - 2*j + 1 = 0. Suppose -3*f = 4*c - 1582, x*c - 3*f + 0*f - 1197 = 0. Is c a prime number?
True
Let f(b) = 473*b + 5. Let g be f(4). Suppose g = 6*v + 463. Is v a composite number?
False
Let a be (-10)/4*30/(-25). Let w be 68 - 3/(-9)*a. Suppose -w = -0*c - c + 5*d, -2*d + 138 = 2*c. Is c prime?
False
Let z(p) = -3*p**3 - 4*p**2 - 6*p - 6. Let l be z(-5). Suppose -227 = -2*c + l. Is c composite?
False
Is ((-967196)/69)/((-6)/9) a composite number?
True
Suppose 3*f - 4*o = 10098 + 1437, 5*o + 11538 = 3*f. Is f composite?
True
Suppose 54 = -j + 59. Suppose -1700 = -j*t + 5*p, -2*p + 1589 = 4*t + 247. Is t composite?
False
Let d(b) = -b**3 + 19*b**2 - 3*b - 13. Is d(18) a prime number?
True
Suppose -5*g - 4*y + 233431 = 0, -3*g - 17*y + 19*y = -140063. Is g composite?
False
Suppose 24 - 3 = 7*g. Suppose 0 = -g*z - 2*z - 5*f + 3075, 0 = -z - 4*f + 621. Is z a prime number?
True
Suppose -u + 6 = q, -q + 2*q - 5*u + 6 = 0. Suppose q*v + 2*t - 3760 = 0, 5*v - 4701 = -0*v - 2*t. Is v prime?
True
Is (-2)/(-13) + (-5628469)/(-1001) a composite number?
False
Let z = 7 - -1630. Is z composite?
False
Suppose -3*i + 3669 = -3*b, 4*b - 2*b - 6115 = -5*i. Is i prime?
True
Suppose 2*m - 67 = 107. Suppose 0 = 14*t - 13*t - m. Is t prime?
False
Is (8/(-6))/(13/(39351/(-2))) prime?
False
Let f be (-2)/(-6) - (-35034)/9. Suppose -921 = -m - o + 1029, -2*m + 5*o = -f. Is m composite?
False
Let t(o) be the third derivative of 13*o**4/24 + o**3/3 + o**2. Suppose 4*w + d - 48 = 0, 2*d + 3*d = -5*w + 75. Is t(w) composite?
True
Let v = 2170 + -69. Is v composite?
True
Suppose 0 = 28*o + 29134 - 124922. Is o prime?
False
Suppose -l - 44686 = -2*r, 2*l = -5*r + 51285 + 60430. Is r a prime number?
True
Is (-36)/(-126) - 16306/(-14) a prime number?
False
Let n be (-520)/(-16)*(99 - (-2 + 1)). Suppose n = 3*o - 2021. Is o a composite number?
True
Let d = 1 - -10. Suppose -15 = m - 4*h, 6 - d = m - 2*h. Suppose -2*r - 2*r - 729 = -m*v, 302 = 2*v + r. Is v prime?
True
Let c = 111 - 39. Suppose 0 = -2*k + 2482 + 1150. Is k/c + (-4)/18 a prime number?
False
Suppose -4*b = o + 3*o - 140, -2*b + 65 = o. Is 10782/5 + (-12)/b + 3 a prime number?
False
Suppose -196631 = -105*i + 26*i. Is i prime?
False
Suppose 2 = a - 0. Let x be (1/1)/(a/8). Is 102/x - (-2)/4 composite?
True
Let r(c) = -2*c - 23. Let i be r(-10). Let y be i/((-2)/(8/6)). Suppose 181 - y = h. Is h prime?
True
Suppose 4*w - 5*f = -12, -f + 7 = 2*w - 1. Is 1085/w + (-12)/8 a prime number?
True
Let h = 53814 - 38285. Is h composite?
True
Is ((-19)/152)/((-1)/5752) a prime number?
True
Suppose -3*y + 5*y = 14. Let t be y + -5 + 602/2. Suppose -f = -3*z - 193, 3*f - 2*z - t = 290. Is f prime?
True
Let p = -194 - -299. Suppose -5*b + 70 = -p. Is b a prime number?
False
Let g be 6 + (-1 + 2)/(-1). Suppose g*a - 361 + 116 = 0. Suppose a = -3*z + 127. Is z prime?
False
Let d(i) = -i**3 - 2*i**2 - 6. Let p be d(-3). Suppose -4*q = p*s - 661, q - 4*q + 4*s = -477. Is q a composite number?
False
Suppose -420 = -p + 6*p. Let w = 425 + p. Let f = 760 - w. Is f prime?
True
Suppose y = 3 + 1, -4*y - 8 = -3*h. Let v be 480/h - (1 - -1). Suppose 4 = 2*o, v + 945 = 3*q - 4*o. Is q composite?
False
Suppose -25*s + 1934 = -23*s + 2*n, 4*n + 16 = 0. Is s a composite number?
False
Suppose -4 = -0*q + 4*q. Let l = 11 + q. Is 238/(-3 - l/(-2)) composite?
True
Let d(w) = w**3 - w**2 - 10*w + 9. Let r be d(6). Let a be (-2)/9*-3*r. Suppose a = g - 53. Is g a prime number?
True
Let k(z) = -z**3 + z**2 - z + 442. Let r be k(0). Suppose 6*y + r = 8*y. Is y composite?
True
Suppose -24 = -c + 5*j, -3*c = -2*c - 4*j - 20. Let m be 3 + (-12460)/(c/1). Is m/12*(-15)/2 composite?
True
Is 32/64 + (-37917)/(-2) composite?
False
Suppose -5*p + 4*w + 0*w + 399 = 0, -238 = -3*p + w. Is p prime?
True
Let n = -5067 - -7319. Suppose -4*u = -3384 - n. Is u prime?
True
Suppose 5*b - 4*u - 7 = 0, -5*b - 2*u = -22 + 3. Suppose b = -2*r + 5, -2*o + 1677 = -r. Is o composite?
False
Let r(d) = 13*d**2 - 7*d + 2 - 14*d**2 - 6*d + 5*d. Let c be r(-8). Suppose c*j = 785 - 147. Is j composite?
True
Let m(u) = 5*u**2 - 4 - 5 + 6 + 2*u. Let c be m(2). Is 332/7 + c/(-49) composite?
False
Let m(p) be the first derivative of 5*p**2/2 - 18*p + 3. Is m(11) a composite number?
False
Suppose 8*l - 10*l + 4 = 0. Suppose -2 = l*o, -5*v + o + 825 = -441. Is v prime?
False
Let a(h) = 5 + 22 - 11 + 13 + h**2 + h. Is a(13) prime?
True
Suppose -5*b - 4*k + 1333 = 0, 2*b + 4*k - 257 = b. Is b prime?
True
Suppose -2*g - 5*x = 564, -10*x + 5*x = 0. Let j = -155 - g. Is j prime?
True
Let p(m) = 1539*m**2 + 33*m + 191. Is p(-5) prime?
True
Let r be 0*(0 + 1) - -1. Let z(j) = 54*j**2 + 2*j - 1. Is z(r) prime?
False
Let m(v) = -v**2 + 13*v + 1. Let a be m(9). Is a*-6*(-1)/3 composite?
True
Is 32/(-72) - 14107/(-9) a prime number?
True
Suppose 0 = 7*j - 5*j. Let y(z) = -z**2 + 2164. Let w be y(j). Suppose 8*l - w = 4*l. Is l composite?
False
Let p = -10 + 10. Is 143 + (p - (3 - -1)) a prime number?
True
Let t be 60/(42/72*(-2)/(-56)). Suppose 3*g - 2*f = 1703, 3*g + 2*g - t = -5*f. Is g composite?
False
Let k be 63*(-1 - (-2 - 0)).