4))/((-2)/q) composite?
False
Suppose -2*u - 2*u = -8. Is (1/(-1))/(u/(-314)) composite?
False
Let i be -2 - (1 - (1 + 5)). Suppose 0 = i*f + f - 16. Suppose -4*c = -20, f*p + 2*c - 346 = 4*c. Is p a prime number?
True
Let v(y) = -y**3 + 11*y**2 + y - 2. Let r be v(11). Suppose -r*t = -10*t + 7. Suppose -3*l - 5*a = -5267, 4*l + a = t*l - 5279. Is l composite?
False
Let p(l) = 12 - 11*l - 20 + 7. Let q be p(-13). Let g = q + -53. Is g composite?
False
Suppose 5*f - 20 = 0, -2*w - f + 960 = -2*f. Suppose 2*x + 0*x + w = 0. Let y = x - -400. Is y a composite number?
True
Suppose 2*l - 2 = -8, 3669 = 3*k - 4*l. Is k a prime number?
False
Let k(h) = 26194*h + 329. Is k(3) prime?
False
Suppose 30388 = -5*k + 5*t + 102918, 0 = t + 3. Is k composite?
False
Let k(h) = h**3 + 15*h**2 + 14*h + 20. Let x be k(-14). Is x/(-170) - 650/(-34) composite?
False
Suppose c + 3162 = 7*c. Is c prime?
False
Suppose 16*j + j - 14773 = 0. Is j a composite number?
True
Let a = 197 + 61. Let w(b) = 7*b**2 + 263 + 0*b**2 + a - 6*b**2 - b**3. Is w(0) prime?
True
Is (-4)/(-16)*511824/12 prime?
True
Let b(f) = 3*f**2 - 2*f + 787. Is b(0) prime?
True
Let s = -9 + 15. Is ((-5161)/(-39))/(2/s) composite?
False
Is (1/(-2) - 0)*-3086 prime?
True
Is (-1)/((-4)/((-71764)/(-7))) composite?
True
Let s be (-6)/3 + 3 - -4. Suppose -s*q - 131 = -6*q. Is q a prime number?
True
Is (-2*(-3)/12)/((-33)/(-765534)) composite?
True
Suppose -3*c - 3*g + 103662 = -0*c, 0 = -c + 4*g + 34579. Is c composite?
True
Let j(f) = f**3 + 8*f**2 - f + 5. Let d be j(-8). Let u = d + -8. Suppose -4*n = 4*o - 2508, -u*o + 2868 = -3*n - 235. Is o composite?
True
Suppose 0*w - 10 = -5*w, 3*r + 4*w - 2309 = 0. Is r composite?
True
Suppose a = -3*g - 1692, -4*a + 564 = -2*g + g. Let l = g + 4673. Is l a prime number?
False
Let f be 46/(-14)*-829 + (-2)/(-14). Let q = 4105 - f. Is q a prime number?
True
Let j(h) = -h**2 - 8*h + 6. Let q be j(-7). Let i = -5 + q. Suppose -i*v + 6*v + 1106 = 0. Is v a composite number?
True
Let k = 46 - 40. Suppose -k*x + 2*x - 2004 = -4*l, 2469 = 5*l + 4*x. Is l composite?
True
Suppose 0 = 5*o - d + 105190, 2*o + 6*d - 4*d = -42076. Is o/(-18) - (-4)/18 a prime number?
False
Let n be 2/4*(-36)/2. Let x(a) = 20 - 42 + 8 + a - 5*a. Is x(n) a prime number?
False
Let z = -47 + 49. Suppose -z*r - 2*t + 652 = 0, -4*r + 6*t + 1344 = 2*t. Is r a prime number?
True
Let z be ((-240)/(-25))/((-2)/(-645)). Suppose -2*i + 5*i = -z. Let g = 1483 + i. Is g prime?
False
Suppose -14*q + 9711 = -5*q. Let n = 1555 - q. Suppose 2*r + b = n, -r = -4*r + 5*b + 727. Is r a prime number?
True
Let j = 1552 + -1458. Is j a composite number?
True
Let d = 1 + 1. Let o = 1 + d. Suppose -97 = -o*a - 4. Is a a prime number?
True
Let x(n) = 188*n - 71. Let q be x(-11). Let d = q + 4070. Is d prime?
True
Let z(m) = m**3 + 15*m**2 - 17*m + 11. Let a(h) = -h**2 + 6*h - 5. Let t be a(7). Is z(t) composite?
False
Suppose -275 = 2*y - 3*y - 4*r, 5*r = -3*y + 825. Let w = 408 - y. Is w a prime number?
False
Let q = 1926 + 17. Is q a prime number?
False
Suppose 0 = v - 0*v - 2, -3*l = -2*v - 737. Suppose -6*c = 721 - l. Let k = c + 132. Is k prime?
True
Let u(q) = 3 + 9*q**3 - 8*q**3 + 11*q**2 + 0*q**2 + q**2 - 7*q. Is u(-12) composite?
True
Let n(m) = 374*m + 7. Is n(8) a prime number?
True
Let z = 5984 - -15557. Is z composite?
True
Suppose 9*m - 7*m = -112. Is 2250/14 - 16/m composite?
True
Let i(o) = 3*o**2 - 6*o + 4. Let g(v) = -7*v**2 + 13*v - 7. Let n(j) = -6*g(j) - 13*i(j). Let u be n(-7). Suppose 0 = r - 8 - u. Is r composite?
True
Let m(w) = -1434*w**3 - 2*w**2 + 13*w + 23. Is m(-2) prime?
False
Suppose -3*i + 39 = 5*d - 7*i, 26 = 2*d + i. Suppose d*t + 38345 = 16*t. Is t prime?
True
Suppose 0 = 5*f + f + 19788. Is (-2)/(-5)*(f/(-4) + 3) a composite number?
False
Let v be (2*(-172)/(-10))/((-2)/(-15)). Let k = v + 419. Is k a prime number?
True
Suppose 0 = -3*f - 2*f + 60. Suppose -2*a = 2*h + a - 317, f = 4*a. Let y = -77 + h. Is y composite?
True
Suppose -o = 631 - 27. Suppose 5332 = 4*h + 1128. Let t = o + h. Is t a prime number?
False
Suppose a - 2979 = 2*o, -5518 + 14431 = 3*a + 2*o. Is a a composite number?
True
Let l(p) = -p**3 - 16*p**2 + 20*p + 42. Let w = -30 + 11. Is l(w) composite?
True
Is (-74994)/(-7) - 51/119 composite?
True
Let m = -24 - -12. Let h be (-148)/3*m/8. Let t = 111 - h. Is t prime?
True
Let h(w) = w**2 - 5*w. Let l be h(5). Is 311*(3 + -5 - -3 - l) composite?
False
Let q be 4 + 0 + 52/(-13). Suppose q = 8*a - 11*a + 4497. Is a a composite number?
False
Let u = -1 + 0. Let a = -50 - u. Let g = a + 80. Is g a prime number?
True
Suppose -11341 = -3*n - 2*x, -6*n - 4*x = -8*n + 7550. Is n composite?
False
Let m(d) = -d**2 + 12*d + 8. Let l(a) = -2*a - 11. Let b be l(-10). Let v be m(b). Is 12135/v - 6/(-21) a composite number?
False
Let d be (-6)/2 - (10 - 16). Suppose -4*o - 903 = 4*m - 2915, -1510 = -d*m - 4*o. Is m composite?
True
Let p(d) = -d + 5*d**2 - d**2 + 2*d**2 - 10*d + 7. Is p(10) a prime number?
False
Let v(c) = -3*c. Let y be v(-9). Suppose 0*z + 3*u = 4*z + 101, -z - u = y. Is (z/(-5))/((-5)/(-25)) a composite number?
True
Is ((-2)/(-2) + 6994)/1 a composite number?
True
Let d = 7 + 2. Let z = -11 + d. Let f = 60 + z. Is f a prime number?
False
Let g(p) = -13*p + 20. Let t be g(-9). Is (-10 - -3)*(0 - t) prime?
False
Let j = -16 + 18. Suppose 4 = 4*i, j*i = 3*u + 7*i - 1067. Suppose -2*l + 4*l - u = 0. Is l composite?
True
Let d(m) = -m**3 - 2*m**2 + 1. Let q be d(-1). Suppose q = -3*n - 3, -3*k - 2 = -2*n + 17. Let h(c) = -c**3 - 3*c**2 - 5*c - 8. Is h(k) prime?
True
Suppose 20*b = 16*b + 20. Suppose i - 482 = 4*c + 575, i + b*c - 1084 = 0. Is i a prime number?
True
Suppose 3*t - 3*a = 14154, -6*a + 28301 = 6*t - 5*a. Is t composite?
True
Is (-1)/4*-4 - 2176/(-4) a composite number?
True
Let a(k) = k**2 + 7*k - 8. Let o be a(-8). Let y = -4 - o. Is (-204)/(-9)*(-6)/y a composite number?
True
Let c = -149 - -11. Let s = c - -469. Is s prime?
True
Suppose -2*f - 2*t + 16 = 0, -f + 4*t + 17 = -1. Let n(b) = 5*b**2 - 12*b - 7. Is n(f) composite?
False
Is (-2)/(-5) - 4/(60/(-46629)) prime?
True
Suppose -5*v + 8*v - 66 = 3*q, 8 = -2*v. Suppose -r - 63 = -p, -2*p + 3*r = -2*r - 126. Let j = q + p. Is j prime?
True
Suppose -834 = 2*w - 150. Let i = w - -545. Is i a prime number?
False
Suppose -8*k + 5*k + 1923 = -5*w, 5*k - 4*w = 3192. Suppose -150 = -3*j + k. Is j prime?
False
Let r be (1/(2/34))/1. Suppose 0*q - 10 = -5*q, -3*z + r = q. Suppose -3*l + 1745 = z*j + 538, j + 413 = l. Is l composite?
False
Suppose -4*u + 11 = -5*j, -5*u - j - 2 = 6. Let b be u/(0 + 2/(-8)). Suppose -b*v + 3*x = -2*x - 1555, -5*x = -v + 370. Is v composite?
True
Suppose 15*n - 303851 = -26*n. Is n a prime number?
True
Let y(b) = 0 + 2*b - 57*b**3 - 2*b**2 + 3 + 41*b**3. Is y(-2) prime?
False
Is (8 + ((-14)/(-7) - 53491))*-1 composite?
True
Suppose 0 = 6*k - 15 + 3. Suppose -k*f + 0*f = 312. Let m = f - -245. Is m a composite number?
False
Suppose 68*r - 67*r = 4109. Is r prime?
False
Let o(s) = 2*s**2 - 4*s + 2. Let j be o(3). Let c(y) = 68*y + 5. Let h be c(j). Suppose k - h = -2*u - 177, 0 = 5*k - 10. Is u composite?
True
Let y(i) = 69*i + 20. Let r(d) = -d + 27. Let w be r(14). Is y(w) a prime number?
False
Let p = 5 - 1. Suppose -12651 = p*d - 50695. Is d composite?
False
Let s = -1550 + 3341. Suppose 5*w - 5*m - s = 1564, 0 = 5*w - 2*m - 3361. Is w prime?
True
Let b(f) = -f**3 + 21*f**2 - 11*f - 26. Let h be b(19). Suppose 6*r - 5*r = h. Is r composite?
False
Let q = 7 + -4. Suppose 5*g + 0*g = 10. Suppose 188 = 3*w - q*s - 91, -2*w - g*s = -170. Is w prime?
True
Let v(i) = 90*i**2 - 78*i - 23. Is v(19) composite?
True
Suppose -4*o - 1300 = -2*w - o, 0 = 2*o + 8. Suppose -3*j + i - 5*i = w, -5*j + 3*i = 1112. Let h = -87 - j. Is h prime?
False
Suppose 5*n = 3*l + n + 10, -4*n = 2*l. Is 527 + -8 + (-2 - l) + 2 a prime number?
True
Is (-2)/(-11) - (118845/(-55) + 2) composite?
True
Let s(r) = -4*r**2 - 8*r - 9. Let u be s(-7). Let d = 290 + u. Is d prime?
False
Let w(d) = d + 1. Let b be w(1). Suppose -b*j + j + 113 = 5*o, -j + 129 = o. Is j prime?
False
Suppose 6*q + 15 = 3*q, q - 1050 = -5*y. Is y a composite number?
False
Suppose -r + 4*i + 1931 = 0, 2*r + 4*i = -r + 5841. Is r compos