composite number?
False
Suppose 3*y = 2*b + 115049, -68*b - 191760 = -5*y - 67*b. Is y composite?
True
Suppose 0 = 50*b - 35*b - 48105. Is b a composite number?
True
Let c(q) = -q**2 + 10*q + 1. Let i(x) = x**2 - 8*x + 17. Let w be i(7). Let n be c(w). Let d(l) = 6*l**3 + 2*l**2 - 2*l + 1. Is d(n) a prime number?
True
Let t = 23 + -14. Let w(g) = 10 + 0*g - g + 4*g + 9*g. Is w(t) a prime number?
False
Suppose 1668 = 2*n - 0*j + 3*j, n - j = 824. Suppose 134 - n = -2*i. Is i composite?
False
Suppose -5*a - 5*r = -a + 3242, 0 = a + 3*r + 807. Suppose -2*w + 5596 = 2*w. Let f = w + a. Is f composite?
True
Suppose s - 5*o + 4*o + 94 = 0, 0 = -3*s + o - 286. Is ((-15144)/s)/((-2)/(-8)) a prime number?
True
Let a be (4564/21 + -7)/(2/84). Suppose -16*z + a = -2*z. Is z a prime number?
True
Let w be ((-44)/(-20) + -1)*5. Suppose w*a = 5*a + 6. Suppose b + 217 = -2*x + a*x, 2*x + 5*b = 81. Is x composite?
False
Suppose -11*l + 6018 = -10*l. Suppose 6*x = 12*x - l. Is x a prime number?
False
Let p(t) = t - 9. Let b be p(-4). Let v = -17 - b. Is (2104/20)/(v/(-10)) a composite number?
False
Let v = 491 + 1127. Let u = v + -951. Is u prime?
False
Let v(w) = 17*w**2 - w + 11. Let y(g) = -18*g**2 + 2*g - 10. Let b(k) = 5*v(k) + 6*y(k). Let h(d) be the first derivative of b(d). Is h(-4) prime?
True
Is (-6)/(-51) - 3381600/(-340) a composite number?
True
Suppose -3*d + 12874 + 36733 = 2*r, 5*d - 82679 = -3*r. Is d a composite number?
True
Let g(l) = -22*l**3 - 2*l**2 + 2*l - 1. Let r be g(1). Let v = r + 26. Suppose -3*k + 159 = -2*c - v*c, 3*k + 4*c = 186. Is k composite?
True
Suppose w + 4960 = 1490. Let g = w - -5029. Is g a prime number?
True
Suppose 14779 = 2*b - 4*k + k, 2*b - 5*k = 14781. Suppose b = -2*g + 6*g. Is g a composite number?
False
Suppose -4*m + 19 = -1. Suppose m*h - h = 8. Suppose 2*j - 596 = -h*j. Is j a prime number?
True
Let q = -3792 - -8198. Is q a composite number?
True
Let r(m) = m**3 + m**2 - m + 679. Let z be (-6)/(-18) + (-1)/3. Is r(z) prime?
False
Let h(y) = 142*y**2 - 23*y + 16. Is h(11) prime?
False
Is 186000/(-72)*(-1 - 2) - -3 a composite number?
False
Let a = 973 - 320. Is a a composite number?
False
Suppose 122*u - 113*u = 60849. Is u a composite number?
False
Suppose 3*l = 8*l - 60. Let v(g) = -7 - 10*g**3 - 7*g**2 - 2*g + l*g**3 - 2*g. Is v(6) prime?
True
Is ((4/3)/4)/(2/30102) a prime number?
False
Suppose -93492 - 42524 = -16*h. Is h composite?
False
Let c(i) = 18*i**3 + 5*i**2 + 11*i - 9. Let o be (-846)/(-126) - (-4)/14. Let k be c(o). Suppose -5*p + k = 1922. Is p a prime number?
False
Let t = -27961 - -49124. Is t composite?
False
Let c be -1 + (-2)/(-1) + (9 - 10). Suppose c = -3*i + k + 2041, -2*i = -3*i - k + 675. Is i prime?
False
Suppose 0 = i - 28 + 26. Suppose 4*s + 5*o = 3*o + 1252, i = -o. Is s composite?
True
Let z = -15738 + 22816. Is z a prime number?
False
Let n be (-114)/(-8) - ((-39)/(-12) - 3). Suppose -11*r - 4395 = -n*r. Is r a composite number?
True
Let b(u) = -8*u**3 + 2*u + 1. Suppose 3*m + 10 = 5*m. Suppose 4*z = -m*w - 27, -5*w - 16 = 3*z + 8. Is b(z) a composite number?
False
Suppose -5*f + 2*f - 4*a + 9679 = 0, 4*f - 5*a = 12864. Is f prime?
True
Suppose 96*j - 2671 = 95*j. Is j prime?
True
Suppose 2 + 5 = g. Suppose 35 = 2*d - g*d. Let l(h) = -12*h + 5. Is l(d) a composite number?
False
Is -2*(-2367 + 8) + (-4 - -3) a composite number?
True
Let p(k) = k**2 - 20*k + 11. Let j be p(18). Let v(i) = i**3 + 29*i**2 - i - 22. Is v(j) prime?
True
Let u = 6039 + -2996. Is u a composite number?
True
Let q be 1*159 + (2 - (-1 + 2)). Let m = q + -113. Is m a composite number?
False
Let y(u) = -4*u - 8. Let b be y(-2). Suppose -11*m + 7*m + 2932 = b. Is m composite?
False
Suppose 0 = -5*a - 0*a - 3*c - 10, 3*c - 10 = -a. Let z(h) = -26*h + 15. Is z(a) a composite number?
True
Let m(v) be the second derivative of -v**5/20 - v**4/3 + 4*v**3/3 - v**2/2 - 10*v. Let z = -8 + 2. Is m(z) a composite number?
False
Suppose -3*u = 2*f - 8899 - 2574, -4*u = 3*f - 15298. Is u prime?
True
Is 6/(-4) - (-13538)/4 composite?
True
Let l(b) = 204*b**2 - 122*b - 7. Is l(9) a composite number?
True
Let f be (0 - 2) + 197 - -1. Let b = f - 134. Is b a composite number?
True
Let o(g) be the first derivative of -25*g**4/4 + g**2/2 + g - 2. Let a be o(-1). Let t = a + -14. Is t prime?
True
Suppose -c + 5*y = 15, 2*y - 4 - 2 = -3*c. Suppose -9544 = -c*g - 8*g. Is g prime?
True
Let x be -6 + 6 + 1*4. Suppose 861 = x*d + 3861. Let u = d + 1196. Is u composite?
True
Is (-54)/(-351) - 30171/(-13) a composite number?
True
Let o(u) be the second derivative of -2*u**3 + 0 - 11/2*u**2 - 2*u. Is o(-13) composite?
True
Let j be (-1)/(-2) - (-26)/4. Suppose 2*u = 2*b + 626, 2*b + 1273 = 4*u + 5*b. Suppose j*t - u = 3*t. Is t prime?
True
Suppose 16*k - 2836869 = -5*k. Is k a prime number?
True
Suppose 0 = -5*y + 10, -2*u + 9*y - 10*y = -5684. Is u a prime number?
False
Is 47205/60 + 3/12 composite?
False
Let u(l) = l**2 + 5*l - 3. Suppose 5 = -4*n - 19. Let r be u(n). Suppose -v + 90 = w, r*v - 468 = -5*w + 4*v. Is w a prime number?
False
Let s be (-1 + -5)/((-12)/8). Suppose -5*x + 286 = s*v, -x = v + 3*x - 66. Is (-4)/((-8)/v) + 2 prime?
False
Suppose 94 = 5*z - 0*b + 3*b, -b + 98 = 5*z. Suppose -z = 3*u + 2*u. Let x = u + 19. Is x a composite number?
True
Suppose -2*x - 2*r = -2, -3*r = 5*x - 4*r + 19. Let z(s) = -18*s**2 + 3*s + 6. Let k(y) = -18*y**2 + 4*y + 7. Let u(v) = 4*k(v) - 5*z(v). Is u(x) prime?
True
Let t(n) = -6 + 6 + 7 + n. Let q be t(6). Suppose 3*v + 3*w - 72 = 0, 4*w + q = 5. Is v a prime number?
False
Suppose 14371 = 26*k - 19*k. Is k a prime number?
True
Is (-7 + 2)*(-229010)/50 a composite number?
False
Let i be 2*(-4)/(-24) + 4/6. Let c(f) = 252*f**2 - 3*f + 2. Is c(i) prime?
True
Let r(w) = 6*w**3 + 3*w**2 + 4*w - 1. Let d be r(5). Suppose -a + d = 215. Is a prime?
False
Let c = 37 + -33. Suppose h - 1097 = -2*i, -c*h + h = -i - 3256. Is h a prime number?
True
Suppose 5*r - 9787 = -1097. Let f = -967 + r. Is f composite?
True
Suppose 9*z = 11*z - 1450. Suppose 0 = -o + b + 145, o + z = 6*o + b. Is o prime?
False
Let g be (-10)/3*(16 - 13). Is 1418*5/g*-1 prime?
True
Is ((-13578)/(-9) + 7)*3 prime?
True
Suppose -4*a + 952 = -0*a + t, 709 = 3*a + 2*t. Suppose -l + 248 = -f - a, 2*f + 992 = -4*l. Let v = f - -1395. Is v a composite number?
True
Suppose -252 = 8*i - 12*i. Let u be (-1)/(-2) + i/6. Suppose -13*c + u*c = -670. Is c prime?
False
Let s = 26 + -6. Suppose 2*y - 48 = -4*a, 4*y - 6 + s = 3*a. Suppose 11*p - 251 = a*p. Is p composite?
False
Let m be ((-7)/(-21))/((-1)/(-12)). Suppose 3*z = -c - 1291, m*z = -0*c - c - 1720. Let q = -287 - z. Is q prime?
False
Let b(d) = -d + 27. Let v be b(17). Is (1146 - 1)/((v/(-5))/(-2)) prime?
False
Let d(z) = z**3 - z**2 - z + 1309. Let u be d(0). Suppose -u = 3*g - 10*g. Is g a prime number?
False
Suppose -2 + 3 = -i, 3*c - i - 16 = 0. Suppose -7218 = -5*n - 3*d, n - c*n - 2*d = -5774. Suppose 3*t + b - n = 0, 1637 = 4*t + 3*b - 287. Is t composite?
True
Let g(a) = -16*a + 38. Let v be g(-22). Let i = v - 233. Is i composite?
False
Let y(a) = 206*a**3 - 2*a**2 + a. Let x(o) be the second derivative of o**3/6 + 8*o**2 + 6*o. Let u be x(-15). Is y(u) a composite number?
True
Let n = 65 - 60. Let m = 7 - -29. Suppose 2*c - 2*k = 20, 3*c + n*k = 6*c - m. Is c composite?
False
Suppose -3*q = 4*n - 443, -5*n - 145 = -q - 9*n. Suppose w = -0*w + q. Is w prime?
True
Let f = -2487 + 1523. Let p = 2305 - f. Is p a prime number?
False
Let y(g) = g**3 + 3*g**2 - 8*g - 4. Let l be y(6). Let w be (-2)/(1 + l/(-268)). Suppose -3*r + w + 295 = 5*d, -5*d = -5*r - 445. Is d a composite number?
True
Let g(w) = 92*w - 13*w + 6 + 11*w. Let b be g(3). Suppose 3*s - q - b = 0, 3*s + q - 189 = s. Is s a composite number?
True
Let u be (-40)/(-15) - (-4)/(-6). Let b(q) = 94*q + 3. Is b(u) prime?
True
Suppose -6748 = -6*i + 78326. Is i a composite number?
True
Let u = 59 + -59. Suppose u = 2*m + 315 - 1209. Is m composite?
True
Suppose -4*k = z - 0*k + 32, -z + 5*k + 4 = 0. Let f(l) = -17*l**2 + l + 8. Let o be f(-2). Is 12/z - o/8 composite?
False
Suppose 5*p + a - 6807 = 0, -2*a = -2*p + 927 + 1791. Is p composite?
False
Suppose 0 = 19*i - 17*i - 12. Suppose s = i*s - 425. Is s a compos