posite number?
False
Let b = -1773 - -2650. Is b prime?
True
Let r(t) = -t**3 + 2*t**2 - 1. Let n be r(1). Suppose 2*d = 2*q - 14, -5*q + 2*d + 12 + 11 = n. Suppose -q*k + 67 + 80 = 0. Is k composite?
True
Suppose 0 = -3*g + 2*q + 103, 3*g - 108 = 2*q + q. Let h = g - 22. Let i(k) = 10*k - 13. Is i(h) a prime number?
False
Suppose -k - 5*f = 2 + 23, 0 = -f - 1. Let y be (-1 + -1)*k/8. Suppose -2*l = y - 57. Is l a prime number?
False
Let p = 3 - 1. Suppose -6*f + p*f = 0. Suppose f = -b + 2*b - 21. Is b composite?
True
Suppose -2*p + 5*q = -26, -3*p + 4 = -7*p - 4*q. Let b(g) = 4*g + 3. Is b(p) composite?
True
Suppose -5618 + 593 = -4*h + v, -4*v - 5016 = -4*h. Suppose h = 2*q + q. Is q a composite number?
False
Let b be 3/(((-30)/4)/(-5)). Suppose 1 = -b*k + 4*w - 93, 3*w + 47 = -k. Let u = k + 82. Is u a composite number?
True
Let c(p) = 75*p + 4. Is c(1) prime?
True
Let i(v) = 2*v**3 - v**2 + 1. Let q be i(-1). Is (-2)/((-3)/((-111)/q)) prime?
True
Let v be (14/(-4) - -2)*-2. Suppose -l + p = v*l - 25, -3*p + 9 = 0. Is l composite?
False
Let d be 2/(-1 + (-45)/(-42)). Let u = d + 6. Let s = 35 + u. Is s a composite number?
True
Suppose k + 4*o = 337, -o + 6*o = -20. Is k prime?
True
Suppose 13*i - 15*i + 5210 = 0. Is i composite?
True
Suppose 2*z - n = z - 3, -11 = 4*z - 5*n. Let u(p) = -6*p + 3 + 4 - 6. Is u(z) a composite number?
True
Is 2 - (1 + -1 - 717) a prime number?
True
Is ((-25)/5)/5*-53 a composite number?
False
Let v be (-1 - (-5 + 0)) + -2. Suppose -3*w + 3*i = -1734, -v*w - 4*i = -1035 - 115. Is w a composite number?
False
Let m(o) = -5*o**2 + 2*o + 6. Let i(q) = 5*q**2 - 2*q - 5. Let f(y) = 4*i(y) + 3*m(y). Is f(3) a prime number?
True
Let z(k) = 4*k - 1. Let s be z(-2). Let g be (-2)/9 + 988/s. Let i = -76 - g. Is i prime?
False
Let c(z) = z**3 + 9*z**2 + 2. Let v be c(-9). Suppose -u + 2*g + 64 = 0, -359 = -5*u + v*g - 5*g. Suppose t + u = 3*t. Is t a prime number?
False
Let n(r) = -2*r - 4. Let v be n(-3). Suppose 0 = v*h + 2*h. Suppose h = c - 2 - 12. Is c a prime number?
False
Let r be -8*(21/(-12) - 3). Suppose -h + r + 23 = d, 5*d - 2*h - 291 = 0. Is d a composite number?
False
Let s(n) = 2*n - 2*n + 0*n - n + 32. Let d be s(0). Let v = -17 + d. Is v composite?
True
Suppose z + s - 16 = 0, -4*s = -3*z - 2*z + 116. Suppose 4*o - 4 = 0, 2*x - 3*o - 15 = z. Is x a composite number?
False
Let x(i) = 4*i + 1. Let g be x(4). Suppose 2*k + g = a - 38, 4*a + k = 211. Is a prime?
True
Let a be 18/99 + (-70)/22. Is 7/(7/22) + a a composite number?
False
Suppose -4*m = -362 - 26. Is m a prime number?
True
Let h be 1/((-15)/9 + 2). Let s(f) = -f**2 + 3*f + 4. Let d be s(h). Suppose -k = 4*y - 89, 20 + 0 = d*k. Is y a prime number?
False
Suppose -4*b = -615 - 445. Is b composite?
True
Let j = 3200 + -2188. Suppose -j = i - 5*i. Is i a composite number?
True
Let k be 1*2 + (-4 - -1). Let n(w) = -259*w - 1. Let i be n(k). Suppose 2*z = 3*t + 251, -2*z + 0*z + i = 4*t. Is z prime?
True
Suppose 4*d - 486 - 278 = 0. Is d prime?
True
Let v(c) = -3 - 4*c + 4 + 6*c**2 - 2. Is v(4) a prime number?
True
Let b = -83 + 46. Let s = b + 72. Is s composite?
True
Let s = -143 - -588. Suppose -6*b + s = -b. Is b a composite number?
False
Suppose 4*r = -w + 3117, 0*w = -r + 4*w + 775. Is r a composite number?
True
Let m(y) = 2*y + 38. Let f(p) be the third derivative of -p**4/8 - 19*p**3/2 - 3*p**2. Let a(x) = 5*f(x) + 8*m(x). Is a(0) composite?
False
Suppose -5*f = -0*f. Let k(j) = j + 170. Let m be k(f). Suppose -3*b = 2*b - m. Is b composite?
True
Suppose 4*r + 22 = -x, -r - 2*x = r + 8. Is (-1064)/r + 2/3 composite?
True
Let k(w) = 34*w**2 - 3*w - 2. Is k(3) a composite number?
True
Suppose 5*p - 4437 = -2*c, -9*p - 3*c = -13*p + 3568. Is p a composite number?
True
Suppose 4*n = -3*g - 15, n + n - 4*g - 20 = 0. Suppose 4*q - 2*o = 234, n = -5*o + 2*o + 3. Suppose 5*p = 3*y + 410, 6*y - q = -p + 2*y. Is p prime?
True
Let t(h) = -5*h - h - 16 + h. Is t(-7) a composite number?
False
Let m(c) = -c**3 - 7*c**2 - 6*c - 2. Let h be m(-6). Let j be -1*(-5 - h) + -1. Let x(y) = 19*y - 1. Is x(j) a prime number?
True
Suppose -5*t = -5*q - 35, 0*q - 4*t - 4 = 4*q. Let a(z) = -33*z + 3. Let y be a(q). Suppose -p - o - 2*o = -34, -3*p + y = -2*o. Is p a composite number?
False
Let i = 843 - -1946. Is i prime?
True
Let l(n) = -40*n**3 + n**2 + 3*n - 3. Is l(-3) composite?
True
Is (1 - (-248 - 2))*1 a composite number?
False
Let l(v) = -168*v - 53. Let u(j) = 42*j + 13. Let z(d) = 2*l(d) + 9*u(d). Is z(13) a prime number?
True
Let h = 6 + -15. Let t = 10 - h. Is t prime?
True
Let y = 5 - 5. Suppose -119 = -g - y*g. Let w = -82 + g. Is w a prime number?
True
Let j = 843 - 128. Suppose 0 = 5*w - 2*u - j, 0 = 4*w + 2*u + 3*u - 572. Is w a composite number?
True
Suppose -5*u - 306 = -4*p, -2*p + 3*u + 0*u + 154 = 0. Let i(q) = q**2 - 6*q - 7. Let h be i(7). Suppose 2*l - p = -h*l. Is l a prime number?
True
Suppose 0 = 3*x - 1570 - 5603. Is x composite?
True
Let r(n) = 111*n + 1. Is r(6) composite?
True
Let y be (-2)/(-6) + (-137)/(-3). Suppose 4*v - 68 = -4*z, 2*z = -v + 5*v + y. Is z composite?
False
Suppose 2*m - 3*m + 422 = 0. Is m a composite number?
True
Let r = -28 + 45. Let v be (28/3)/(4/42). Suppose v = q - r. Is q composite?
True
Let q = 9 + -14. Let v be 0*4/(-16) + 2. Is 354/10 + v/q composite?
True
Let j = 1 + 2. Is 37 + (-2 - -1) + j a prime number?
False
Let n be (4/(-10))/(2/(-10)). Let f be -2*(38/(-4) + n). Suppose 4*t = 91 - f. Is t a prime number?
True
Suppose 4 = 3*c - 5. Is (0 + 3)/c - -220 a prime number?
False
Suppose 3*h - 139 = v + 18, 2*v = -4*h + 216. Is h a composite number?
False
Let h = -14 - -15. Let k(y) = 288*y + 1. Is k(h) a composite number?
True
Suppose -3*l + 314 = -268. Is l prime?
False
Let s be (-2)/4*(3 - 1). Is (s - -7 - 0) + 1 composite?
False
Let t = 8 - 8. Let r(k) = -k**3 - k**2 + k + 21. Is r(t) composite?
True
Let s = 4 + 438. Suppose -5*p - 5*k = -740, 2*p = 5*p + 5*k - s. Is p a prime number?
True
Suppose -68 + 9 = -j. Is j prime?
True
Let k(t) = 4*t**2 - t + 1. Let o be k(-3). Suppose -5 + o = 5*q. Is q prime?
True
Let d(h) = -12*h - 7. Let x be d(-5). Let i(w) = w**3 + 4*w**2 + w - 3. Let l be i(-3). Suppose -x = -l*c + 2*c. Is c a composite number?
False
Is (-9063)/(-45) + 6/10 a prime number?
False
Let p = -1 + 5. Suppose p*j - 307 = 3*o, -3*j + o + 135 = -99. Is j a composite number?
False
Let m(v) = 4 - 1 + 3*v**2 - 2*v - 8. Is m(4) a composite number?
True
Let l = 1 + 1. Suppose h = -l*m + 3, -m - 21 = -4*m + 4*h. Suppose 6 = -i + 5*w, -m*i + 4*w = -22 - 15. Is i composite?
False
Let s(q) = -82*q**3 - 3*q**2 - 2*q + 1. Is s(-2) a prime number?
False
Let k(n) = n**2 + 13*n - 11. Suppose 3 = -3*i + 27. Is k(i) a composite number?
False
Let j(x) = -x**3 - 6*x**2 - 4. Let s = -20 + 13. Let m be j(s). Is (m/6)/((-2)/(-4)) a prime number?
False
Let a(p) = 5*p - 17. Is a(11) composite?
True
Let y(v) = v**3 + 8*v**2 + 2*v + 6. Let r be y(-8). Let d be (6/5)/(3/r). Is (7/d)/(4/(-208)) a composite number?
True
Is (113/(-2))/(10/(-20)) a composite number?
False
Let l = 2188 + -722. Is l a composite number?
True
Let t(d) = -d**3 - 5*d**2 - 2*d + 2. Let h be t(-5). Suppose -5*c = -c + 3*k - 101, 4*k = h. Is c a composite number?
False
Let x = 3 + -2. Let d(n) = 2 - 2 + 1 + 25*n**2 + 24*n**2 - n. Is d(x) a prime number?
False
Suppose -4*p - x - 92 = 0, 2*p - 5*x - 64 = 4*p. Is (-1)/(((-4)/p)/(-2)) composite?
False
Let x(y) = -33*y + 1. Let a be (-17)/7 - 15/(-35). Is x(a) a prime number?
True
Is (-4)/20 - (-152)/10 a prime number?
False
Let a be 5/20 + (-89)/4. Let c(j) = j**3 + 6*j**2 - 3*j - 5. Let h be c(-5). Let y = a + h. Is y prime?
True
Suppose -5*b = -0*q - 3*q - 1627, 0 = 4*q + 16. Is b a prime number?
False
Suppose 61*z - 13964 = 57*z. Is z a composite number?
False
Suppose 0 = -4*r - 0*r - 20, -4*y + 1373 = -5*r. Is y a prime number?
True
Let z(g) = -g - 6. Let t be z(-7). Suppose 2 = -r - 0*r + i, 0 = -i + t. Is 33 + 6/(-3)*r prime?
False
Suppose 12 = 4*n - 4, 15 = -l + 5*n. Let z(d) = 14*d + 7. Is z(l) a prime number?
False
Suppose 0*l = -5*l + 2470. Is l/4 - 4/8 composite?
True
Suppose -8 = -2*l + 6*l. Let z be l/(-4) + (-3)/(-2). Suppose -z*d - 4 = -4*g, -5*d - 4 + 20 = 3*g. Is g composite?
False
Let 