rime number?
True
Let m = 18 - 23. Let q = 79 - -184. Is (-4)/(-10) - q/m a composite number?
False
Suppose -16 = -4*p - 0. Suppose -3*m - 479 = -5*s, p*s - 3*m - 14 - 371 = 0. Suppose 5*o = 5*q + 305, o + s = 3*o + 5*q. Is o a prime number?
False
Let j be -3 + 24*(-3 - -16). Suppose -117 = -2*q + j. Is q a composite number?
True
Let i be (-3)/((6/(-28))/1). Let j = 79 - i. Is j composite?
True
Let t be (-3)/6 - 62/(-4). Let m(d) = d**2 - 5*d - 18. Let v be m(9). Suppose -3*h + v = -t. Is h a composite number?
False
Let b(m) = 18 - 3 + 2*m**2 - 3*m**2. Is b(0) a prime number?
False
Let n(l) = l + 0*l + 2*l**2 - 2 + 0*l. Suppose d + 5 = -5*f, 0*d - 5*d + 5*f = -35. Is n(d) prime?
True
Suppose 52*j - 57*j = -3475. Is j a prime number?
False
Let c(i) = -37*i - 8. Let v be c(-7). Suppose -3*f + 40 + v = 0. Suppose 0*y + f = y. Is y a composite number?
False
Let z(m) = -2*m**2 + 4*m - 3. Let a be z(3). Suppose f - 2*s + s + 434 = 0, -3*s = 15. Is f/a - (-2)/9 composite?
True
Suppose o - 123 = -t, t + t = 3*o - 344. Let s(x) = x**2 - 16*x - 5. Let j be s(8). Let r = o + j. Is r composite?
True
Let i(m) be the third derivative of -13*m**6/20 - m**5/30 - m**4/12 - m**3/6 - 3*m**2. Is i(-1) a composite number?
True
Suppose -4*z = -5*d + 7651, 5*d + 3*z - 6125 = 1498. Is d a prime number?
False
Suppose -j = 3*j, -j - 466 = -s. Is s a prime number?
False
Is (-35232)/(-60) + 2/(-10) composite?
False
Suppose 3*l - 781 = -2*z, 4*l + 15 = 2*z - 801. Is z a prime number?
False
Let z = 13970 + -9579. Is z a composite number?
False
Let d = -1 - -4. Suppose -8 = -d*o + 1. Is o composite?
False
Suppose 0 = -2*l - 0*l + 466. Is l composite?
False
Suppose 1 + 19 = 5*d. Suppose d*q = q - 6. Is 22*(3 + q/(-4)) prime?
False
Let l = 4 - 0. Suppose 2*u - 2*y = -l, -u + 34 = 2*u + 5*y. Suppose -u = -3*w + 15. Is w prime?
False
Suppose 0 = 2*x - x - 6. Is 60/x*(0 - -1) a composite number?
True
Is (14/21)/(2/2667) a composite number?
True
Suppose u + 6 = -0*u. Is (-124)/u - 4/(-12) a prime number?
False
Let h = -3 + 3. Suppose -2*u = -3*z - h*z - 1350, -2*z = 5*u - 3394. Suppose u = 5*i + 113. Is i composite?
False
Let b = 8 - 13. Let q(v) = -v**3 - v**2 + 3*v - 2. Let m(r) = r**3 - r. Let h(o) = b*m(o) - q(o). Is h(-2) prime?
False
Let u be 8 + -1*(1 - -1). Let k(b) = -b + 6. Let n be k(u). Suppose -470 = -5*w + 2*d - 5*d, n = -2*d - 10. Is w composite?
False
Is -2*14/16*-1*268 a composite number?
True
Let k(m) = -64*m + 1. Is k(-5) prime?
False
Let o be (-18)/(-24) + 18/8. Suppose 0 = -4*y + 47 - o. Is 211/y - (-4)/(-22) a composite number?
False
Let s be (-14)/(-6) + (-2)/6. Suppose t + 86 = s*t. Is t prime?
False
Suppose -695 = -5*l - 2*y, -1 = -5*y - 26. Is l a composite number?
True
Let g(r) = 4*r. Let v be g(3). Let x = v - -75. Is x a composite number?
True
Let f be 326/8 + (-2)/(-8). Suppose 3*h - 4*t = f, -11 - 1 = -h + t. Is h prime?
True
Let l(q) = -6*q - 7*q - 37 + 36 - 3*q. Is l(-5) composite?
False
Suppose k - 255 = -3*i, 113 = i - 3*k + 28. Is i composite?
True
Let d(x) = -x - 4. Let z(h) = 2*h + 5. Let n(v) = -6*d(v) - 5*z(v). Is n(-2) a prime number?
True
Let r(l) = 3*l**2 + 14*l - 4. Is r(-11) a composite number?
True
Let n = 31 + -77. Let z be 0 - -16*(-1 - -6). Let x = n + z. Is x composite?
True
Suppose -w - 4*w = 0. Suppose 5*x + 14 + 142 = 3*q, w = -5*q - 4*x + 223. Is q composite?
False
Suppose -25683 = 20*d - 27*d. Is d prime?
False
Let h be 2/(-5) - (-6261)/15. Suppose 0 = 3*u + 4*o - 84 - h, -3*u - 5*o = -504. Is u a composite number?
False
Let m(q) = 12*q**2 + 4*q - 3. Suppose -2*g = -6*g + 8. Is m(g) composite?
False
Suppose -4720 = -5*a - 5*i + 6435, 0 = -3*a - i + 6685. Is a a prime number?
False
Let h(a) = 18*a**2 + 3. Let t be h(3). Let x = t + -89. Suppose 0 = 3*p - 7*p + x. Is p a prime number?
True
Is 21*10/6 + 0 prime?
False
Let q be ((-28)/(-12))/((-3)/9). Let a(n) be the second derivative of -n**5/20 - 7*n**4/12 - n**3/2 + n**2 + 2*n. Is a(q) composite?
False
Let v = -4 + 9. Suppose 2*g = 8, 2*c = 3*c + v*g - 75. Is c composite?
True
Let i = 83 - 2. Suppose -6 = -x + i. Is x prime?
False
Let a(n) = 2*n**3 - 7*n**2 - 6*n + 5. Let x(s) = -3*s**3 + 7*s**2 + 7*s - 5. Let h(r) = -4*a(r) - 3*x(r). Is h(-4) a composite number?
False
Let c = 10 - 6. Suppose -22 = -x - c*j, 3*x - 41 - 25 = -2*j. Is x a composite number?
True
Let x(z) = 131*z**2 - 9*z + 5. Is x(3) prime?
False
Let m(a) = 4*a**2 + 5*a + 11. Suppose 0 = -n - o + 13, 4*o - 2*o - 2 = n. Is m(n) composite?
False
Let g(q) = q**2 - 4*q - 13. Let p(h) = -h**2 - 3*h - 6. Let j = -6 + 2. Let m be p(j). Is g(m) prime?
True
Let r(o) = 80*o**2 - 5. Let f(v) = 80*v**2 - 4. Let h(t) = 4*f(t) - 3*r(t). Is h(-1) a prime number?
True
Let j be 3/(-2)*10/(-15). Is (j/3)/((-1)/(-93)) prime?
True
Let y be (2552/16)/(1/4). Is (-4)/12 + y/6 a composite number?
True
Suppose 2*t = -2*t + 356. Is t prime?
True
Suppose -4*r + 2723 = -2105. Is r composite?
True
Let x = 1564 + -638. Let t = x - 82. Suppose -t = -6*k + 2*k. Is k prime?
True
Let r(g) = -24*g + 2. Let d be r(-2). Is (-2)/(1/d*-4) prime?
False
Suppose 4*u = -5*r + 873, 4*u = 2*u + 4*r + 430. Is u a prime number?
False
Let h = 13 + -8. Suppose -h*v + v + 148 = 0. Is v prime?
True
Let b be (-4)/(-6) + (-8)/12. Suppose -3*l + b = -93. Is l prime?
True
Let a(t) = -3*t - 9. Let o(p) = -2*p - 4. Let r(f) = 3*a(f) - 5*o(f). Let v be r(9). Suppose v*g - 150 = -40. Is g a prime number?
False
Let f(j) = 18*j - 7. Let p(h) = -h - 1. Let d be -2 + 0/2 + -4. Let k be p(d). Is f(k) composite?
False
Let c(i) = 5*i**3 - 11*i**2 + 13*i + 7. Is c(6) composite?
False
Let i(l) = l - 1. Let q = 4 + 1. Let r(s) = 5*s**2 - 11*s. Let a(u) = q*i(u) + r(u). Is a(6) a prime number?
True
Let a = 55 - 29. Is a prime?
False
Suppose 5 - 1 = h. Is (-1074)/((-6)/3) - h prime?
False
Let k(n) = n**3 - 6*n**2 + 5. Let r be k(6). Suppose 0 = r*y - 45 - 120. Is y prime?
False
Let w be 2 + (0 - 0) - -2. Suppose 0 = -w*g + 2*g + 24. Let r = 31 - g. Is r prime?
True
Is 4/(-4)*(-267)/3 composite?
False
Let f = -11 - -13. Is f/(-4)*(-118 + 0) a composite number?
False
Is 83 - (2 - 3) - 1 prime?
True
Let j(y) = 3*y**2 - 5*y - 3. Let n(g) be the first derivative of -2*g**3/3 - g**2/2 + 2. Let q be n(1). Is j(q) a prime number?
False
Let m(l) = l**3 + 20*l**2 - 27*l - 23. Is m(-19) composite?
True
Let b = 171 - 84. Is b prime?
False
Let k = 1585 - 842. Is k a composite number?
False
Suppose -4 = -2*v - 2. Is 1/(v*1/26) a composite number?
True
Let l(t) = -17*t + 1. Let i be l(5). Let m = -58 - i. Is ((-1)/(-1))/(2/m) a composite number?
False
Is 11654/10 + (-4)/10 composite?
True
Let h(y) = 167*y**2 + 4*y + 9. Is h(-2) composite?
True
Suppose -2*w + 288 + 974 = 0. Is w prime?
True
Let o be (2 - (0 + 2))/1. Let f = o + 0. Suppose m - 5 = f, 4*k - 311 = m - 0*m. Is k a prime number?
True
Suppose q + 5181 = 5*s, s - 3*q = -4*q + 1041. Is s a composite number?
True
Let a(x) be the third derivative of -x**4/24 + x**3/6 + 3*x**2. Let d be a(7). Is 2 + -5 - d - -31 prime?
False
Suppose -5*n = 3*b - 30, -3*n - 2 = 5*b - 36. Suppose -n*u - 1470 = -6*u. Let s = 707 - u. Is s a prime number?
False
Suppose 3*y + 3*y - 1074 = 0. Is y composite?
False
Suppose -5*d + 4*b = -3909, -3*d + 2096 = -5*b - 239. Is d composite?
True
Suppose -2*o - 9 = o. Let u(r) = 3 + 1 + 6*r**2 - 3*r**3 + 4*r**3 + 0. Is u(o) composite?
False
Suppose -4*g + 0*g + 53 = -5*f, 4*f = 5*g - 37. Let v = f - -174. Is v a prime number?
False
Suppose b = -4*r + 7*r + 2, 0 = 4*r - b + 2. Let k be -275*1/(-1) + r. Suppose -4*x - 5*t + k = 0, 0*x - 4*t = x - 77. Is x a prime number?
False
Let h = -938 - -1605. Is h composite?
True
Suppose -5*t - 5*i + 6305 = 0, 5*t + 0*i = 4*i + 6287. Is t prime?
True
Let j(p) = -p**2 - 12*p - 1. Let c be j(-8). Suppose 3*h + 2*k = 2*h + c, 0 = 4*h + 4*k - 136. Is h prime?
True
Let z = -310 + 989. Is z prime?
False
Let f = 154 + -78. Let c = f - 45. Is c prime?
True
Suppose 0*x = -2*x + 8. Suppose f - 5*y + 6 = -4, x*f - 55 = y. Is f composite?
True
Let t(c) = 2*c**2 + 2*c + 9. Let a be t(-7). Suppose 308 = 5*i + a. Is i a composite number?
False
Let h = -24 - -35. Let i be (-1*h)/(2/(-10)). Is i/3 + 2/3 prime?
True
Let j(z) = 169*z - 6. Let o(i) = i - 1. Let g(h) = j(h) - 3*o(h). Is g(2) prime?
Fal