. Is x a prime number?
True
Suppose -49 = -4*y - 33. Suppose -3289 = y*s - 15*s. Is s a prime number?
False
Let r(a) = 10876*a**2 + 4*a - 3. Is r(1) prime?
False
Suppose 2*s + 1522 = -5*u, 0*u - 5*s = -u - 326. Let w = -179 - u. Is w composite?
False
Suppose -20*n - 15 = -25*n. Suppose 0 = -u - b - 2*b + n, -9 = -3*u + b. Suppose -u*j + 220 = j. Is j a composite number?
True
Suppose -458 = -h - 2*y, 2207 = 5*h + 3*y - 62. Is -2 + 3 + h*1 composite?
True
Let q(v) = 1152*v. Let s be q(1). Let f = s + -595. Is f composite?
False
Suppose -5*r + 0*r = -2*m + 67187, 4*r = -4*m + 134360. Is m a composite number?
True
Let r be (-3 + 1)/((-6)/3906). Let h = r + 383. Is h a prime number?
False
Let i = 3 - -1. Let p(q) = 29*q**2 + q + 3. Let x be p(i). Is (-12)/8 + x/6 a composite number?
True
Suppose o + 602 = 4*l + l, l = 2*o + 115. Suppose -3*v - 111 = -5*s + 13, v + s = -36. Let j = l + v. Is j a prime number?
True
Suppose 8*k - 18358 = -5214. Is k a composite number?
True
Suppose 0 = 38*b - 63536 - 18582. Is b a prime number?
True
Suppose -3*r - s + 3083 = -3863, 3*r - 6971 = 4*s. Is r a prime number?
False
Suppose -4*d = f - 16, 2*f + 12 = 7*f + 3*d. Suppose -3*g + 6 = -5*g, f = 3*i + 2*g - 7539. Is i prime?
False
Suppose 48*i - 31634 = 46*i. Is i a composite number?
False
Let u be (30/(-40))/(2/88). Let k = u + 295. Is k a prime number?
False
Let x = 1237 + 1064. Suppose 7*i - 10*i = -x. Is i a composite number?
True
Suppose 0*r = 2*r - 4. Suppose -5*c + 10*c - 873 = 4*i, 0 = -r*c - 5*i + 369. Is c prime?
False
Suppose 3*q - 36 = -q. Suppose -3*j + q = -12. Is 1 + (-36)/(-2)*j composite?
False
Let z = -24 - -28. Suppose -9 = -2*i + 2*f + 601, -5*i = -z*f - 1527. Is i a prime number?
True
Suppose -z + 3*n = -186, 2*z - 4*z - n = -379. Let a = -4 + z. Is a a prime number?
False
Suppose 542*z + 59326 = 544*z. Is z prime?
True
Let c = -7 - -9. Suppose -4*k = -c*k. Suppose 0 = -k*p - 4*p + 188. Is p a prime number?
True
Let p(i) = -21 + i**2 + 0*i**2 - 4*i + 28. Let m be p(7). Is m/21 - 130/(-6) a composite number?
False
Suppose -w + 60724 = -3*r, 3*r + 2 = -4. Let k be 2/(-12) - w/12. Is (-1)/(k/(-1688) + -3) composite?
True
Let j = 8 + 3. Suppose j*z - 20*z = -2115. Is z a composite number?
True
Is 2/(-17) - ((-614664)/102 - 3) a prime number?
True
Is 3/12 + (-703101)/(-28) a composite number?
False
Suppose 5*y - 30 = -5*b, 3*y - 2*b = y + 4. Let j be 1*(2 - (-1 - -19)). Is y/(j/(-14))*46 prime?
False
Let z be 54/(-4)*(-2)/3. Let q(r) = -r**3 + 10*r**2 - 8*r - 7. Let c be q(z). Is 1 - (-159 + (1 - c)) a prime number?
False
Suppose -66486 = -50*n + 44*n. Is n a composite number?
True
Suppose 2*y = 4*u - 2820, 5*y - 7*u = -2*u - 7055. Is y/6*9/(-6) a prime number?
True
Suppose 2*f = -25*s + 29*s + 20402, 3*f = s + 30588. Is f composite?
True
Let h = -9 - -31. Suppose -24*c + 4918 = -h*c. Is c a composite number?
False
Suppose 29*y + 10874 = 2*o + 31*y, -4*o - 3*y + 21746 = 0. Is o prime?
False
Suppose 0 = 3*d - 3*q - 11946, -2*d - 6*q + 2*q = -7934. Is d a composite number?
True
Let c = -560 - -11587. Is c prime?
True
Suppose 3*l + 272 = 11*l. Let m = -399 - -682. Let h = m + l. Is h composite?
False
Let r be -2 + 1 - (-142 - -8). Suppose -3*i + r + 251 = 0. Let l = i + -69. Is l a composite number?
False
Let i(o) = -o**2 - 5*o - 9. Let g be i(-4). Let z = -17 + 55. Let l = z - g. Is l a prime number?
True
Let k be 11/(-55)*(-27 - -2). Let p(x) = x**3 + x**2 + 4*x + 17. Is p(k) a composite number?
True
Let n(m) = 5*m**2 - 8*m + 7*m - 3 + 4*m**3 + 4*m. Let j be n(-3). Let t = j - -140. Is t a composite number?
True
Let h(b) = -114*b**3 - b**2 + 6*b + 4. Let w(g) = 115*g**3 + g**2 - 7*g - 5. Let i(j) = -5*h(j) - 4*w(j). Is i(1) composite?
False
Let j(k) = -54*k**2 + 4*k + 8. Let w be j(7). Let r = w - -1512. Let q = 1753 + r. Is q composite?
True
Let c be 1/2 - 38/4. Let h be (-1)/(3/c) - -2. Suppose 3*k = 4*v - 430, v - 113 + 17 = -h*k. Is v prime?
False
Suppose -10616 = -5*o + 9929. Suppose 4*z + 4136 = 4*l - 0*z, 5*z - o = -4*l. Is l a prime number?
True
Let i(g) = 18*g**2 - 13*g - 34. Let l be i(-10). Let v = 3655 - l. Is v a prime number?
True
Let v be (11/(-5) - -4)*5. Let s = v + -5. Suppose 3*t + 755 = 2*y, s*y - 324 = t + 1171. Is y a composite number?
False
Let u(w) = -3*w. Let b(k) = -2*k + 1. Let t(r) = -4*b(r) + 3*u(r). Let x be t(-8). Suppose 154 - 421 = -3*j + 4*c, 356 = x*j + 4*c. Is j a prime number?
True
Let n(l) = -1061*l - 23. Let x be n(-9). Is 1 + 0/((-6)/3) + x a composite number?
True
Suppose -5*k = 4*n - 41, -5*n + 2*k - 3*k = -25. Let r be (1/2)/(2/4). Suppose -z - r = 0, -q = -n*z - 172 - 95. Is q a composite number?
False
Let k(b) = -b + 5. Let v be k(0). Suppose -2*s = v*c - 25, 5*s + 4*c = -14 + 51. Suppose 0*w - 4*w - 45 = -d, -s*d = 2*w - 181. Is d a prime number?
True
Let m(c) = c + 1. Let s(f) = -5*f - 11. Let g(z) = -4*m(z) - s(z). Let q be g(-4). Is (4/(-10))/(q/(-615)) composite?
True
Let o(q) = 15*q**2 - 3*q + 3. Let f be o(5). Suppose 194*a = 190*a - 816. Let m = a + f. Is m prime?
False
Let u be (-120)/(-24) - (-3 + 1). Suppose u*a - 2725 = 31022. Is a a composite number?
True
Suppose 22563 = 13*c - 24718. Is c a prime number?
True
Suppose 3*p - 971 = -p + 5*r, 4*p - 953 = -r. Suppose -a + p = -90. Is a a prime number?
False
Suppose 4*u - 2*u - 6326 = 0. Is u a prime number?
True
Let r(z) = -8*z**2 - 14*z + 19. Let x be r(-14). Let y = -490 - x. Is y a composite number?
False
Let p be 2*(-6)/((-8)/4). Suppose 0 = p*s + 4*s - 910. Is s a prime number?
False
Let a = 57 + 137. Let p = a - 107. Is p a composite number?
True
Let n(g) = g**3 - g**2 - 2*g - 2. Let h be n(3). Let j(i) = i + 1. Let q(p) = -11*p + 5. Let l(z) = 2*j(z) - q(z). Is l(h) a composite number?
False
Let i = 15847 + 22640. Is i composite?
True
Suppose 0 = -2*u - 10, -5*x - 3*u + 10044 = -2*x. Is x composite?
True
Let w = 33139 - 10406. Is w a prime number?
False
Suppose 13*i + 3913 - 28340 = 0. Is i a composite number?
False
Suppose 4*d - 20 - 28 = 4*a, a + 4 = 0. Suppose 5*l = h - d, 4*h + h + 3*l = 12. Suppose h*o = y + 173, 3*y + y - 220 = -4*o. Is o a composite number?
True
Suppose 5*z = -3 + 923. Suppose -1285 + 165 = -4*m - 2*f, -f - 564 = -2*m. Let u = m - z. Is u a prime number?
True
Is 0 - (-16 + 9 - (665 + 1)) prime?
True
Suppose -11*b = 458 - 3945. Is b composite?
False
Suppose -22*a = -690962 - 106692. Is a composite?
True
Suppose -5*h + 14647 = 2*y, 4*y + 7*h = 12*h + 29279. Is y composite?
False
Let v be -2*((-35)/(-2))/(-5). Let q = 28 + v. Suppose q = 4*n - 121. Is n a composite number?
True
Suppose 0 = p + 3*s - 1475, 15 = -4*s + 7. Is p a prime number?
True
Let c(y) = 5 - 4 - 5*y + y + 3*y. Let o be c(4). Is (-6)/o*(-267)/(-6) a composite number?
False
Suppose 11457 + 39 = -4*i + 4*j, i + 5*j = -2904. Let k(h) = 531*h + 10. Let y be k(8). Let o = i + y. Is o a composite number?
True
Let t = -217 + 552. Let n = t - -144. Is n prime?
True
Suppose 29*k - 249897 = 114604. Is k prime?
True
Is 56/42 - (-10887)/9 composite?
True
Suppose 0 = 75*s - 69*s - 3486. Is s composite?
True
Let o(f) = -f. Let h(g) = 630*g + 3. Let t(m) = h(m) - 2*o(m). Let b be t(1). Is (-12)/(-15)*b/2 prime?
False
Let d(g) be the first derivative of 4*g**3/3 + 4*g**2 + 11*g + 9. Let x = -12 + 2. Is d(x) a prime number?
True
Let i = 14 + -5. Suppose 0*v - i = 3*v. Let r = v - -40. Is r prime?
True
Suppose a = -1 - 7. Let h(p) = -p**2 - 12*p - 11. Let x be h(-9). Is ((-1011)/6)/(a/x) prime?
True
Suppose -6*u - 4*n - 39431 = -11*u, -7871 = -u - 3*n. Is u a prime number?
True
Suppose -4*q + 14 - 46 = 0. Let h be (-105)/(-12) + (-2)/q. Is 6/h + (-2739)/(-9) a prime number?
False
Let z(c) = 2*c**3 + 2*c**2 + 4. Suppose -12 = 7*l - l. Let m be z(l). Is 6297/33 - m/22 composite?
False
Let k(s) be the first derivative of 3*s**3 - s**2/2 - s - 3. Is k(-6) a prime number?
False
Suppose -3*g - 152333 = -4*y - 496426, -10 = 2*y. Is g prime?
True
Suppose 4*v = -5*r + 10, 4*v - 3*r = -0*r + 26. Suppose 2*t - 3*f - 79 - 21 = 0, 0 = -5*t + v*f + 255. Is t composite?
False
Suppose -22 = -3*l - 2*d, -2*l + 2*d = -2*d + 12. Suppose -9*c + 4*c = -l*h - 95, 5*c = 5*h + 100. Is (-6)/c - 6171/(-15) composite?
True
Let i be (-2 - (-2)/3)/((-26)/39). Suppose i*g - 1061 = g. Is g a com