t m = 101 + -55. Is m a prime number?
False
Let m = 2 - 8. Is (-4 + -2)/3 - m a composite number?
True
Let n be ((0 - 0) + 2)*-1. Is (-140)/(-25) + n/(-5) prime?
False
Suppose 4*a + 75 + 133 = 0. Let k = a + 90. Is k a prime number?
False
Suppose 2*p + 8 = 0, 2*p + 23 + 70 = 5*s. Suppose r = -4*r - 5*j - 10, -4*r + j = -s. Suppose 2*x - 2*f = 44, x + r*x - 67 = -3*f. Is x a composite number?
False
Let g(b) = -244*b + 1. Is g(-4) prime?
True
Suppose 3*l - 6 = -0. Suppose -183 = t - l*t. Is t a composite number?
True
Let u(p) = 2*p**2 - 4*p - 7. Let l = 27 + -18. Is u(l) a composite number?
True
Suppose -2*j = -3*j + 136. Let z = j - 81. Is z composite?
True
Let h(o) = -o + 1. Let n(j) = 4*j + 2. Let k(r) = 3*h(r) + n(r). Let z be k(-5). Suppose z = -b + 29 + 18. Is b prime?
True
Let o(r) = -3*r**3 - r**2 + r + 1. Let z(h) = -h - 10. Let f be z(-8). Is o(f) a composite number?
False
Is (2458/4)/((2 - 3)/(-2)) composite?
False
Let l = -8 - -12. Suppose -l*s + 5*w = 3*w - 74, -4 = -4*w. Suppose -a + s = -16. Is a a prime number?
False
Let x = -18 + 43. Is x composite?
True
Let f(j) = j**2 - 3*j - 3. Let z be f(4). Let i be 3*1*(z - 0). Suppose -2*y + 79 = -i*b, 3*y + 4*b = 15 + 95. Is y composite?
True
Let z = 81 - 46. Is z composite?
True
Suppose 0 = 4*u - 0*u - 992. Suppose -3*m + u = 4*v, 3*v - 3*m = -v + 224. Is v composite?
False
Let m = -7 + 11. Suppose -6*c + m*c + 6 = 0. Suppose b + c*v - 22 = -0, 3*b + v = 58. Is b a prime number?
True
Let x be ((-12)/20 + -1)*-15. Suppose -3*g = -o + x, -5*g + 0*g + 181 = 4*o. Is o prime?
False
Let s(q) = 2*q**3 - 4*q**2 - 5*q - 3. Let j be s(-3). Let n = j + 137. Is n prime?
True
Suppose -11 - 793 = -4*d. Let v = 369 - d. Suppose -5*j - x = -230, j + 4*x = -3*j + v. Is j prime?
True
Is (-10)/65 - ((-9531)/13 - 1) a composite number?
True
Let f(g) = -g**3 - 6*g**2 - 5*g + 1. Let s be f(-5). Is s - (1 + 3 + -194) prime?
True
Let r be 25/9 + 6/27. Suppose r*n = 4*n - 79. Is n composite?
False
Suppose -5*l + 4 = -11. Suppose 2*c - l = 25. Is c a prime number?
False
Let u = 3 - 0. Let k = 17 - 17. Suppose k = -2*d + 5*x + 139, -u*d + 2*x = 2*d - 295. Is d composite?
True
Suppose 4*k + 6 - 2 = -2*n, 0 = 5*n + 3*k - 4. Suppose -l + 5*l - g = 891, 0 = n*l - 5*g - 441. Is l prime?
True
Let d(l) = 3*l - 3. Let r be d(2). Is (-67)/2*(1 - r) a prime number?
True
Suppose -3*r - 943 = -4*j, 2*j + 4*r - 332 - 134 = 0. Is j composite?
True
Let z be 2*(3 + 0/2). Let y = 11 - z. Suppose 4*s = -g - 4*g + 168, y*g + 128 = 4*s. Is s a composite number?
False
Suppose 4*o - 363 = 2*y + 709, 5*o = y + 533. Let u = -251 - y. Is u composite?
True
Let y be ((-6)/(-4))/(3/(-212)). Let u = y + 183. Is u a prime number?
False
Let t = 118 + -21. Is t a prime number?
True
Suppose 0 = -4*p, -2*b + 15 = 3*b + 5*p. Suppose -b*z - 2*k + 14 = 0, -3*z = -3*k + 2*k - 2. Suppose -z*v - 3*v - c + 16 = 0, -3*c = -5*v + 12. Is v prime?
True
Suppose -4*s = -4*l + 5056, 3*l - 5*s = -0*s + 3798. Is l a composite number?
True
Let w be (-4)/3*(-5 - -2). Suppose -w*b + 0*b + 20 = 0. Suppose 4*v + b*a = 26, -1 = a + 1. Is v prime?
False
Let k(j) = j**2 + 3*j - 1. Let x be k(2). Let n = 9 - x. Suppose 0 = -4*s + 2*d - 4*d + 124, n = -5*s - d + 155. Is s composite?
False
Suppose -19*s + 22*s = 921. Is s a composite number?
False
Let i be 1/(45/(-21) + 2). Let j = i - -11. Suppose 4*t + j*o - 44 = 0, 2*t - 30 - 20 = 5*o. Is t a prime number?
False
Suppose 2*k + 2*k = -20, -3*y - 3*k = 3138. Is y*(-4 - 44/(-12)) prime?
True
Let p = 9 + -6. Let l(v) = -v**3 + 3*v**2 + 4*v - 2. Let t be l(p). Let r = t + -4. Is r prime?
False
Suppose 0*c + 2*h + 11 = c, -4*c - 2*h = 6. Is 1*(2 - c) - -252 a composite number?
True
Suppose 0 = 4*k + k - 10. Suppose -3*b + 636 = b - k*d, d = -2*b + 326. Suppose 0 = -3*o + b + 118. Is o composite?
True
Suppose t + 3*t = 8. Is t*(68/8 - -3) a prime number?
True
Suppose -4*x + 24 = -4*f, -2*x = -4*f - 2 - 18. Suppose -x*l + 2*d + 260 = 0, 2*d = -4*l + 282 + 244. Is l a composite number?
False
Suppose -3*b + 1297 + 398 = 0. Is b a composite number?
True
Let w be (-1)/2*-2 + 323. Suppose -7*p + 2557 - w = 0. Is p a composite number?
True
Suppose 0 = -3*i - 5*i + 11768. Is i a prime number?
True
Is (257 + 6)*(1 + 0) composite?
False
Let v = -44 - -8. Let k = 74 + v. Is k composite?
True
Let j = 369 - 146. Is j composite?
False
Let g(y) = y**2 + 8*y + 3. Suppose -z - 2 + 10 = 0. Is g(z) prime?
True
Let h(n) = 94*n**3 - 5*n**2 + 2*n + 1. Let l be h(3). Suppose r = -3*r - l. Is r/(-10) - (-2)/(-4) prime?
False
Suppose 12 = -w - 2*w. Is (4 - -6)*(-22)/w a composite number?
True
Suppose -x = q - 695, -2*q + 5*x = -5*q + 2081. Is q a composite number?
True
Suppose -1676 = -12*m + 8*m. Is m composite?
False
Let d = 377 + -60. Is d prime?
True
Suppose -33767 - 38233 = -5*q - 5*l, q + 3*l - 14398 = 0. Is q a composite number?
False
Let y(r) = 2*r**2 + 3. Suppose 2*f - 2*d = -5*d - 6, -d - 3 = f. Let i be f/(-2 + 3)*1. Is y(i) a prime number?
False
Suppose 4 = 3*z - 2. Suppose l = -z*l + 102. Let p = l + 33. Is p a composite number?
False
Let w(q) = 2*q**2 + 10*q - 1. Let o be w(-7). Let x = -8 + o. Is x prime?
True
Let p = 1 + -2. Let n be 35*(3 + -1 + p). Suppose 5*u = -0 + n. Is u prime?
True
Is (-1)/7*-6933 + 4/7 a composite number?
False
Suppose f - 16 = -f. Let l(m) = 7*m + 2. Is l(f) composite?
True
Suppose 2201 - 14819 = -6*y. Is y a prime number?
False
Suppose -y = -3*w + 14, w + 0*y - 28 = 5*y. Suppose -m - 112 = w*m. Let k = 51 + m. Is k prime?
True
Suppose 2*k - 2 = -5*p - 7, 1 = -2*k - p. Suppose h - 265 = -k*h. Is h a prime number?
False
Let b be (-2)/(-3)*9/2. Let o be (b/3)/(2/(-182)). Let g = -58 - o. Is g prime?
False
Let o(g) = g - 6. Let p be o(8). Suppose -6*t = -p*t - 236. Is t prime?
True
Suppose -4*b = -5*m - 2, m + b - 14 = -3*b. Suppose 0 = -5*q + m*q + 9. Suppose 0 = q*n + n - 88. Is n composite?
True
Let a(b) = b**3 + 6*b**2 - 5*b + 5. Let l be a(-7). Is -2*l/(-6) - -46 a composite number?
False
Let o = -985 - -1394. Is o composite?
False
Let z be (-3 - -484)*4/4. Is (z/(-52))/(2/(-24)) a prime number?
False
Suppose -4 = t, w + 5*t - 31 = 4*t. Is w composite?
True
Let z = -10 - -14. Let a be 8/(-6) - z/6. Is 894/(-3)*a/4 prime?
True
Let t(p) = -p**3 + 5*p**2 - 2*p - 3. Let o be t(4). Is ((-284)/o)/(10/(-25)) composite?
True
Suppose -3*g + 112 + 74 = 0. Suppose -g = -3*h + 4*a + 307, 0 = h - 5*a - 134. Is h composite?
True
Let n = -5124 + 10879. Is n composite?
True
Let c be 2 + 2 + 0/(-3). Suppose 8 = c*z, -19 - 21 = -2*i + z. Is i composite?
True
Let b(t) = 2*t**3 - 4*t**2 + 2*t + 2. Let p be b(3). Suppose 2*w + 64 = -2*w. Let f = w + p. Is f prime?
False
Let g = -8 + -3. Let i = -8 - g. Suppose 3*w + 6 + i = 0, -2*x + 62 = 4*w. Is x a composite number?
False
Suppose -34 = -5*n - 3*j + 2, -5*n - 4*j + 33 = 0. Is (7 - n)*(-127)/2 a composite number?
False
Suppose -3*z = -5*o + 50, -55 = 3*o - 8*o + 4*z. Let u(h) = 3*h**2 - 10*h + 5. Is u(o) a composite number?
True
Let g(z) = 7*z - 17. Let y(c) = -13*c + 33. Let m(u) = 7*g(u) + 4*y(u). Is m(-14) prime?
False
Suppose 15*j - 8*j - 371 = 0. Is j prime?
True
Is 0 - -10*(-5)/(-2) a prime number?
False
Suppose -g + 4 = -6. Is g prime?
False
Suppose -3*h - 16 = 4*g - 0*h, -7 = -5*g + 3*h. Let s = g + 1. Suppose s = -4*i + 268 + 8. Is i composite?
True
Let l(x) = 50*x - 2. Is l(6) prime?
False
Suppose -4*c - 3*w = 2*w - 5626, 5*c = -4*w + 7037. Is c a composite number?
False
Let n(h) = 32*h**2 - h. Let i = 4 - 1. Let w be n(i). Is w/(-10)*(-4)/6 a prime number?
True
Suppose 5*f - 195 = 5*r, 0*f + 2*f = -r - 30. Let b = r - -163. Is b composite?
False
Let s = 6 - 3. Let j = -9 + 11. Suppose -j*y + 0 = p - 59, 0 = 5*y + s*p - 146. Is y composite?
False
Is 3 + 0 + -3 + 303 composite?
True
Suppose 2*s + s = 1386. Suppose -2*o + 4*x = -0*x - s, -o = 4*x - 237. Is o composite?
False
Suppose 4*x - 20 = -x. Let i = -433 - -642. Suppose x*v + v - i = -4*l, v = l - 50. Is l a prime number?
False
Suppose -5*i = -4*i + 5*u - 220, -630 = -3*i - 5*u. Is i prime?
False
Suppose 1011 = -5*s + 8*s. Is s a composite number?
False
Suppose -5*b + i - 2599 = 0, 0 = 2*b + 5*i + 215 + 830. Is b/(-72) + (-4)/18 a composite number?
False
Is (4 - 13606 - 4)/(-2) composite?
False
Let b = 1783 - -