4) composite?
True
Suppose -4*x - 1117 = -5*x. Is x prime?
True
Suppose -14733 = q - 10*q. Is q composite?
False
Let z be (-5)/((-10)/8) - 0. Suppose -z*r + 6*r = 58. Suppose 0 = 4*u + 5*t - 309, -3*u - 2*t = r - 252. Is u a composite number?
False
Suppose -2*t = -a + t + 806, -3*a = 4*t - 2353. Is a composite?
True
Let r = 7 + -1. Let j be 2*(-3)/r + 7. Suppose -j*p = -p, -174 = -3*w + 4*p. Is w a composite number?
True
Let a be (-3)/(-6) + 6/4. Let p(q) = 20*q**3 - q**2 - 3*q - 1. Let y(g) = 60*g**3 - 4*g**2 - 10*g - 3. Let z(f) = a*y(f) - 7*p(f). Is z(-1) composite?
False
Let f = -344 + 2445. Is f composite?
True
Let p = -906 + 515. Let c = 16 - p. Is c a composite number?
True
Suppose 0 = 3*c + 2*v + v - 678, 2*v + 683 = 3*c. Suppose -5*r = -f + 28, 0*r - c = -5*f - 4*r. Is f prime?
True
Let s(d) be the third derivative of -83*d**4/24 - d**3 - 5*d**2. Is s(-4) prime?
False
Let f be ((-4)/(-3))/((-2)/12). Let b(y) = y + 10. Let g be b(f). Suppose 5*x - 114 - 33 = g*s, 5*s - 82 = -2*x. Is x composite?
False
Let m(o) = -5*o + 11. Let a be m(-11). Suppose 5*p - a = 3*w, -p + 63 = 4*p - 4*w. Is p prime?
False
Let x(k) = k**2 + 4*k - 16. Is x(11) a prime number?
True
Is -1*5/((-15)/771) a composite number?
False
Let o be 28494/22 - (-10)/(-55). Suppose 0 = -2*u - 3*u + o. Is u prime?
False
Let y be (2/3)/((-11)/(-33)). Suppose 0 = -y*b - 33 + 135. Is b prime?
False
Is (-2070)/(-35) + (-1)/7 a prime number?
True
Let o(i) = i**2 - 7*i - 11. Let y be 0 + 6 + -3 + 7. Is o(y) composite?
False
Let w(j) = 418*j**2 + 9*j - 8. Is w(1) prime?
True
Suppose 0*s = -m - 4*s, 2*m + 5*s = 3. Let t be 21/m + (-3)/12. Is t + 170 - (-3)/1 a composite number?
True
Let a be 5*3*69/9. Suppose 66 = 4*f - 2*p, 5*f + 5*p - p = a. Suppose -21 = -v - 5*r + f, -3*v = -r - 104. Is v a prime number?
False
Let q = -15 - -9. Let k(b) = -16*b**2 - 49*b - 6. Let o(m) = 3*m**2 + 10*m + 1. Let a(c) = -2*k(c) - 11*o(c). Is a(q) a composite number?
False
Let k(m) = m**2 - 3*m. Let n be k(4). Suppose -n*b + 7*b - 78 = 0. Suppose -2*l + y - 3*y + 6 = 0, -2*l + 3*y = -b. Is l prime?
True
Suppose 5*v = 59 - 9. Let x = -2 - v. Let r = -9 - x. Is r prime?
True
Suppose -3*b - 1071 = -2*h + 2*b, 4*h + 4*b - 2156 = 0. Is h a composite number?
True
Suppose 4*g + 2*k = -6 + 20, -3*g + 2*k + 14 = 0. Suppose -2*q - 242 = -g*q. Is q a prime number?
False
Suppose 0 = l - t + 15, 2*l - 5*t = -42 - 3. Is (54/(-15))/(4/l) prime?
False
Let v = 5012 - 3333. Is v prime?
False
Let t(m) be the first derivative of 2*m**3/3 + 3*m**2 - 3*m - 1. Let r = 32 - 28. Is t(r) a prime number?
True
Let o(i) = 6*i**2 + 6*i - 1. Is o(3) composite?
False
Let p(u) be the first derivative of -7*u**2/2 + 11*u + 5. Is p(-8) a composite number?
False
Let n = -43 - -28. Is ((-186)/(-15))/((-3)/n) prime?
False
Let r be (6/(-4))/((-18)/744). Is (r/2)/((-2)/(-2)) composite?
False
Let j(b) be the first derivative of -2 - 9*b + 7/2*b**2 + 1/3*b**3. Is j(7) prime?
True
Let b be 2*-3*(-1)/6. Let r be b*1*6 + -1. Suppose -2*w - 298 = -3*t - 41, -3*w = r*t - 460. Is t composite?
False
Suppose -2*m = -523 - 723. Let y = m - 334. Is y prime?
False
Suppose 2*k = -n + 5*n - 7084, -5*n = 5*k - 8825. Is n prime?
False
Let r(j) = 7*j**2 - j + 3. Is r(-3) a composite number?
True
Let k(l) = 4*l - 2*l - 5*l + 5. Let n be k(9). Is (n/5)/((-2)/10) a prime number?
False
Suppose c + 16 = -3*c. Is 1/c - (-1626)/8 a prime number?
False
Is (-2)/(-9) + (-35135)/(-45) composite?
True
Suppose m - 32 = 47. Is m a prime number?
True
Let p = -6 + 5. Let t(x) = -6*x**3 - x**2 - x - 1. Let w be t(p). Suppose -w*k + 86 + 89 = 0. Is k composite?
True
Let r = 160 + 51. Is r a composite number?
False
Let b = -4 + 8. Suppose 3*j - 3*o - 36 = 0, -3*o + o + b = 2*j. Is j a prime number?
True
Suppose -2*a = -a - 4. Suppose -j + a = 3*j. Is (j - -1) + 1*2 composite?
True
Let t(o) = -75*o**3 - o**2 - o - 1. Let k be t(-1). Let p be (-4)/(-6)*(-111)/(-2). Let n = k - p. Is n a composite number?
False
Let o = 4067 - 1952. Is (-2)/(-3)*o/6 a prime number?
False
Let n(i) = -4*i**3 + 6*i**2 + i - 2. Is n(-7) composite?
False
Suppose -u + 3*x = 4 + 4, -2*u + 5*x = 18. Let p(s) = 2*s**3 + 3*s**2 + 4*s - 2. Let i be p(3). Let a = u + i. Is a composite?
True
Let w = 30 + 311. Is w prime?
False
Suppose 3*u - 182 - 73 = 0. Suppose 3*w = -10 + u. Is w prime?
False
Let a = -121 - 31. Let m = 282 + a. Suppose -5*x = -0*x - m. Is x composite?
True
Suppose -721 = -4*w + 171. Is w composite?
False
Suppose p - 117 = 466. Is p prime?
False
Let q = 801 - 190. Suppose -115 = -a - 2*n, 5*a + 3*n - 2*n = q. Is a a prime number?
False
Let b be (-1 + (-1)/3)*-3. Suppose 6*i + 140 = 2*i. Let s = b - i. Is s a composite number?
True
Suppose j + j - 2 = 3*s, 3*j = 4*s + 2. Let t(x) = 4*x**3 - 2*x**2 - 4*x - 2. Let f be t(j). Is (f/(-3))/(4/18) a composite number?
True
Let f(x) = -x**3 + 14*x**2 + 24*x + 14. Is f(15) a prime number?
True
Let g = -1383 + 2182. Is g prime?
False
Suppose 4*t = -0 - 4. Let s be ((-4)/(-12))/(2/12). Is (s - (t - -2)) + 18 prime?
True
Let d(y) = 2*y**2 - 16*y - 25. Is d(-10) composite?
True
Let y(h) = -h**3 + 8*h**2 - 2*h - 4. Let m = -1 - -4. Suppose -p + m = -4. Is y(p) prime?
True
Suppose -3*i + 32 = -9*w + 4*w, 4*w = 2*i - 26. Let s(l) = l**3 + 8*l**2 + 6*l - 2. Let g be s(w). Is (-4)/10 + 107/g prime?
False
Let u(v) = 4*v + 18. Is u(7) a prime number?
False
Suppose -5*p - 5*y + 50 = 0, -2*y = 4*p + 2 - 32. Suppose -i - p + 154 = 0. Is i composite?
False
Let p = 15 - 23. Let a(h) = 3 - 6*h + 0 + 4*h. Is a(p) composite?
False
Suppose 2*o = g - 0*o + 88, 191 = -2*g - o. Suppose 2*t + 102 = 544. Let u = t + g. Is u a prime number?
True
Suppose -25 = 5*u + 5*w, u - 9 = 4*u + w. Let z(q) = 16*q**2 + q - 1. Let i be z(u). Let a = -36 + i. Is a composite?
True
Suppose -535 = x - 1796. Is x prime?
False
Let x = 96 + 509. Let z = -118 + x. Is z a prime number?
True
Let v = -4 + 3. Let l be v + (2 - 195 - 0). Is 1*-2 - l/2 a prime number?
False
Suppose 0 = 2*r - 2, 3*k + 5*r - 40 - 1 = 0. Let d = k + -50. Is (-1)/((-2)/d*-1) a composite number?
False
Suppose 4*k = 2*k + 80. Suppose 0 = 3*o - 77 - k. Is o a prime number?
False
Suppose 4*c - 9103 = 4381. Is c a prime number?
True
Let q = 454 + 557. Is q a prime number?
False
Let t(m) = -2*m + 22. Let l be t(11). Suppose l = 5*j + 381 - 2236. Is j prime?
False
Let f = 678 + -281. Is f a composite number?
False
Let z(h) = -h - 9 + 0*h + 20*h**2 - 2*h. Let j be z(7). Is j/6 + (-2)/(-3) composite?
True
Suppose 0 = 9*c - 1698 - 3495. Is c composite?
False
Let h = 250 - 65. Is h composite?
True
Let d = 295 + 204. Is d a prime number?
True
Let m be -6*((-1)/(-2) + -1). Let c be (2/m)/(4/534). Let f = 168 - c. Is f a composite number?
False
Is (-13980)/(-14) + 32/(-56) a prime number?
False
Let u(v) = -v**2 - 15*v - 5. Is u(-11) a prime number?
False
Is (-989 - 2)/(1/(-1)) composite?
False
Suppose 0 = 3*b - r - 1183, 0 = 4*b + 3*r - 1431 - 129. Is b a prime number?
False
Let l(f) = f**3 - 4*f**2 - 3*f + 1. Let i = 1 + -2. Let u = 5 - i. Is l(u) a prime number?
False
Let h = 1601 - 1038. Is h composite?
False
Let h = 6 - 4. Suppose -5*q + 5*s = -h*q - 68, 3*s - 81 = -4*q. Is q composite?
True
Let v(z) = -z**3 + 9*z**2 - 6*z - 7. Let w be v(8). Is 4 + (w/3 - 4) a prime number?
True
Suppose -25 = 5*y, -2*a - y + 455 + 2462 = 0. Is a a prime number?
False
Let t(u) = 286*u**2 - u. Is t(-1) a composite number?
True
Suppose -3*q + 3531 = -0*q. Is q prime?
False
Suppose -4*y - f - 17 = -2*y, -3*y + 5*f = 19. Let j = 85 + y. Is j prime?
False
Let r be (-1 + -6)/((-2)/14). Suppose 5*x + 60 = 4*t - r, 0 = -t - 3*x + 6. Is t a composite number?
True
Suppose 0 = -4*t - 5 + 1. Is (-2)/(-2) - 376/t a prime number?
False
Suppose 6225 = 3*x + y, 4150 = 4*x - 2*x + 5*y. Suppose -5*q - 5*z = -x, 4*z = -2*q - 0*z + 830. Is q prime?
False
Let h = 3062 + -1305. Is h prime?
False
Let q = 110 - 73. Is q prime?
True
Let x be (1/3)/(2/18). Suppose -x*w = -90 + 24. Is w a prime number?
False
Suppose 2*h + o + 4 = 3*o, o = 5. Suppose 87 = h*b - 2*b. Is b composite?
True
Let a be 6/((-72)/(-100))*15. Let m = a - 70. Is m prime?
False
Let n be ((-3925)/(-10))/((-1)/(-6)). Suppose 5*y + 0*y - n = 0. Is y prime?
False
Suppose -3*v + 2 = 2*g - 9, g + v - 5 = 0. 