umber?
False
Is 90/(-60) + ((-4610)/(-4))/1 composite?
False
Let x be (-28)/(-14) + 0*(3 + -2). Suppose -x*z + 5*f + 925 = 3*z, -z - 4*f = -195. Is z a prime number?
False
Let r(m) = -44*m - 93. Is r(-20) a prime number?
True
Suppose -2*x + 5*y - 4 = 0, -2*y + 2 = -x + 3*y. Let k(d) = d**2 - 5*d - 2. Let o be k(6). Is 155/x*o/(-5) a composite number?
True
Let o(z) = 5*z**3 - 3*z**2 - 15*z + 15. Let c(p) = 9*p**3 - 7*p**2 - 29*p + 31. Let u(k) = 6*c(k) - 11*o(k). Is u(-10) prime?
True
Let g = -22 - -2. Let w = 22 + g. Suppose 1235 = 5*s - 3*z - w*z, 3*z + 490 = 2*s. Is s prime?
True
Let r be ((-4)/6)/((-2)/(-4734)). Let l = 815 + r. Is (-1)/(-4) + l/(-4) a prime number?
True
Let k be -16 + -5 + 9 + (-4 - 0). Is k/(-8) + 1648 + (-1 - 0) a prime number?
False
Let k(d) = -2*d**2 - 5*d + 10. Let y be k(-5). Let n be ((-20)/y)/((-2)/3). Is -3 + 7 + n - -137 composite?
False
Let p = -385 - -51206. Is p prime?
True
Suppose 111 - 26 = -5*z. Let l = z - -53. Is (-8)/l + 2074/18 prime?
False
Let j(f) = -442*f**3 - f**2 + f - 3. Let s(y) = -885*y**3 - 2*y**2 + 3*y - 7. Let x(l) = 5*j(l) - 2*s(l). Is x(-1) a prime number?
True
Suppose 112*b + 8046 = 272254. Is b a prime number?
False
Suppose 9*z - 7*z - 832 = 0. Suppose -5*f + z + 144 = 0. Is f/(-32)*(-20)/7 composite?
True
Let p = -20 + 14. Let u(t) = -462*t + 5. Is u(p) a composite number?
False
Is -4 - -10 - (-5431 - 0) composite?
False
Let q(x) be the second derivative of x**4/6 + x**3/2 - 2*x**2 + x. Let k be q(-3). Suppose -2*z + 2*o + 18 + 16 = 0, k*z = -3*o + 125. Is z composite?
True
Let y(f) be the second derivative of -15/2*f**2 + 0 + 11/12*f**4 - 5/2*f**3 - 12*f. Is y(-11) prime?
True
Let r = -50 - -50. Is r + 1006 + (-15)/(-5) prime?
True
Let m(y) = -y**2 + 111. Let b(h) be the third derivative of -h**4/24 - 3*h**2. Let g be b(0). Is m(g) composite?
True
Let s(k) be the third derivative of k**5/30 + k**4/24 + k**3/2 - 29*k**2. Suppose 0 = v + 4 - 0. Is s(v) a prime number?
True
Is (-611583)/(-21) + 12/1 a prime number?
False
Let v(c) = c**3 + 15*c**2 + 9*c - 9. Let t be v(-14). Suppose 0 = -2*m - 2, -2*q + m = -43 - 104. Let d = q + t. Is d a prime number?
False
Suppose -5*m + 14 = -1. Suppose n = 4*s + 61, 50 - 21 = -s + m*n. Is (-5530)/(-18) + s/63 a prime number?
True
Let t(b) = -b**2 + b + 2. Let r be t(2). Suppose 5*a + 4*g + 17 = 2, r = 5*g + 25. Let y(i) = 95*i + 2. Is y(a) prime?
True
Let j be 1 + ((-4)/4 - 0). Suppose -3*r + c + 19 = j, 3*r = c - 5*c - 1. Suppose -r*d = 227 - 1152. Is d a composite number?
True
Suppose r - 2*r - 4*y = -3, -2*r = 4*y - 6. Let p(k) = 47*k - 10. Let m(f) = 48*f - 7. Let n(l) = 3*m(l) - 2*p(l). Is n(r) prime?
True
Suppose 0 = -4*d - 3*x - 0*x, -4*x = -5*d + 31. Suppose c = -i + 314, d*i - 4*i = 4*c - 305. Is i prime?
True
Let a = -3918 + 7045. Is a a composite number?
True
Is ((2 + -6)/20)/(3/(-1097715)) composite?
False
Let w(q) = 4*q - 12. Let l be w(4). Suppose -y + 2455 = l*y. Is y prime?
True
Suppose -2*u + 11 = -b, -3*u + 7*u = -4*b + 4. Let k(i) = 689*i + 1. Let h be k(3). Suppose -4*y - 4*t + h = 0, t - u*t + 509 = y. Is y prime?
True
Suppose -19 = -9*k + 8. Suppose 0 = -k*c + 6*c + 3*m - 1140, -3*c = -5*m - 1132. Is c prime?
True
Suppose 0 = -4*a + 20, 11*a - 14*a + 86539 = 4*g. Is g a composite number?
True
Suppose 9*c + 12804 = 5*c. Let o = c - -4586. Is o a composite number?
True
Let q(s) = -s**3 + 20*s**2 + 5*s + 17. Let h be q(19). Let f be ((1 - 0)*-4)/(-2). Suppose -5*g - 195 = -2*x, 5*x + 0*x - h = -f*g. Is x a prime number?
False
Suppose 2*q + 3*q + 3*a - 12880 = 0, -a = 3*q - 7732. Is q prime?
True
Let s be (2/4)/((-2)/(-6100)). Let w(u) = u**2 - 6*u + 4. Let b be w(6). Suppose b*m + m - s = 0. Is m a prime number?
False
Let y(w) = w**2 + w - 8. Let g = 10 + -14. Let q be y(g). Is (-550)/(-6) - q/6 prime?
False
Suppose -5*b = 3*y - 91129, -4*b - 4*y + 0*y + 72900 = 0. Is b a prime number?
False
Suppose -15*s = -17*s - 4*i + 13530, 4*s - 27064 = -4*i. Is s a prime number?
False
Let c = 3 - 1. Let d(k) = -2*k**2 + 3*k - 4. Let l be d(c). Let a(n) = 26*n**2 + 5*n + 1. Is a(l) a composite number?
False
Suppose 0 = -8*p - 18*p + 58162. Is p a composite number?
False
Let v(k) = -169*k - 7. Let r be v(-6). Let x = 1540 - r. Is x composite?
True
Let b(u) = -u**3 - 4*u**2 + 7*u + 8. Let z be b(-5). Is 953/(z*(-5)/10) a prime number?
True
Let l(v) = -v**3 + 5*v**2 - 3*v - 3. Let k be l(6). Let n = 166 - k. Is n composite?
False
Let u = -152884 - -218751. Is u composite?
False
Let h(u) = -19*u - 87. Is h(-20) composite?
False
Let a(g) = g**3 - 5*g - 7*g**2 + 11 + 12*g + 2*g**2. Is a(8) composite?
True
Let l(i) = -167*i**3 - i**2 - 2*i - 1. Suppose 5*r + 9 = 5*n - 11, r = 3*n - 10. Is l(r) composite?
False
Suppose 180 = -7*b + 5*b. Let j(q) = -3*q**2 - 3*q + 5. Let f be j(-5). Let r = f - b. Is r a composite number?
True
Let z be 6/(-3) - (-7 + -7). Suppose 0 = -a - 3*a - z, -g = -4*a - 1093. Is g a prime number?
False
Let l = -6 - -11. Suppose -3*i + 1175 = 2*p + 3*p, 4*i = l*p + 1590. Is i a composite number?
True
Let h(v) = 20*v**2 - 22*v - 84. Is h(-11) prime?
False
Suppose -4*q = -93 - 23. Suppose 5*d - 1 = q. Is 3/(d/488) - -3 prime?
False
Let n = -15 - -17. Suppose 0 = -n*g - 60 + 194. Is g composite?
False
Let w be (12/(-15))/((-7724)/(-2575) - 3). Let k = w + -213. Is k prime?
True
Let t = 9 + 0. Suppose -8 = -t*a + 5*a. Suppose -a*b - b + 33 = 0. Is b prime?
True
Let b = 6 + 0. Suppose 0 = b*y + 3032 - 10310. Is y prime?
True
Let b(g) be the second derivative of g**5/20 + 7*g**4/12 + 5*g**3/6 - 3*g**2 + g. Suppose -2*c + 0 = 2*q + 4, -4*q = 3*c + 3. Is b(c) a composite number?
False
Let a(u) = 392*u - 33. Is a(5) a prime number?
False
Let q(d) = 1373*d - 39. Is q(16) a composite number?
False
Suppose 0 = -4*z + 18 + 30. Suppose 16*b - z*b - 1796 = 0. Is b prime?
True
Let j be 3/(-18)*-3*0. Suppose -c + 2*c + 4*z - 317 = j, 2*c - 634 = -4*z. Is c composite?
False
Let t = 10459 + -4562. Is t prime?
True
Let v(d) = -d + 4. Let z be v(2). Suppose -2*t + 0*t = z. Is (446/10)/(t/(-5)) a composite number?
False
Let k = 91715 - 63476. Is k composite?
True
Let k(m) = -3*m - 3. Let t be k(-2). Let v be t/3 - (-781 - 3). Suppose 5*n + 2*g - 4*g = v, 314 = 2*n - 5*g. Is n composite?
False
Suppose 7*q - 32 = -9*q. Suppose -2*l + 6082 = q*x, -4*x + x + 12160 = 4*l. Is l prime?
True
Suppose 32215 = 18*f - 236039. Is f composite?
True
Let a(i) = 20*i - 1. Let v(c) = c**2 - 6*c - 5. Let n be v(7). Let l be n/1 - (-2 + 1). Is a(l) a prime number?
True
Let y = 17 + -15. Suppose -5*f - 4802 = -2*i, i + 4*f - 7157 = -y*i. Suppose 4*p - i = p. Is p prime?
True
Let n(g) = -1775*g - 89. Is n(-12) a composite number?
False
Is ((-4)/((-32)/60))/(3/134) a prime number?
False
Let o(n) = n + 1 - 2*n + 28*n. Let t(d) = -d**3 + 4*d**2 - d - 2. Let p be t(3). Is o(p) a composite number?
False
Let k = -25 + 53. Let d be (k/(-6))/(9/10314). Is (2/4)/((-14)/d) a composite number?
False
Let i(t) = 200*t - 3. Is i(4) a prime number?
True
Let n be 42/(1 - 27/25). Let b = 272 - n. Is b a prime number?
True
Is (0 - 12146/14)/((-48)/336) composite?
False
Suppose 0 = 6*f - 2*f + 36. Let n(x) be the third derivative of x**6/120 + x**5/6 - 5*x**4/24 - 7*x**3/6 + 31*x**2. Is n(f) prime?
False
Suppose 3*n - 8*n + 45925 = 4*p, -p - n + 11482 = 0. Is p prime?
False
Let w = 535 - 180. Let r = 182 + w. Is r a composite number?
True
Let z(c) = 5*c**2 + 5. Let g be (-12)/21*(-4 + -3). Let i be z(g). Let k = 26 + i. Is k a prime number?
False
Let w(n) = 226*n**3 - 3*n**2 - 6*n + 6. Let j be w(3). Suppose -3*z + j = 2*z - 2*m, 0 = -z - 2*m + 1203. Is z a composite number?
True
Suppose -2*j - j - 12 = 0, 0 = -3*i - 3*j + 1245. Is i composite?
False
Let d = -447 - -255. Let u = d - -509. Is u a prime number?
True
Let t(f) = 2*f**2 + 2*f - 283. Is t(-21) a prime number?
True
Suppose -2*a - 7190 = -2*g, -4*g - a - a = -14368. Is g a composite number?
False
Let x(z) = 229*z**2 + 6*z - 4. Is x(-3) composite?
False
Suppose -12 = -2*b + 32. Let d = 41 - b. Is d prime?
True
Let o(z) = z**2 + 10*z - 19. Let n be o(-12). Let i(b) = 66*b**2 + 17*b - 2. Is i(n) prime?
True
Suppose -19*o + 4*o = -171795. Is o a prime number?
False
Let r = 26223 + -6292. Is r a composite number?
True
Suppose 0 = -5*f 