-103 + 262. Is r composite?
True
Let y(k) = 6*k**2 - 10*k - 10. Let t be y(-7). Let n = t - 91. Is n prime?
True
Let j(u) = 113*u**2 + u - 1. Is j(1) a prime number?
True
Suppose 17 + 1 = 2*u. Suppose 6*a - u = 3*a. Suppose 0 = -4*d - 5*s + 107, -a*d + 3*s + 126 = 12. Is d a composite number?
True
Let q(n) = 8*n**2 - 1. Let z be q(-6). Suppose 3*o = -4*k + z, 0*k + 295 = 3*o - 4*k. Is o composite?
False
Let y(x) = x**3 - 5*x**2 - 2. Let g be y(5). Is (-1 - -2)*(g + 27) prime?
False
Suppose 0 = 4*a - 3*u - 9, -2*u = -4*a + 3 + 7. Let r be a*(-10)/(-6)*1. Suppose 0*l = r*l - 2065. Is l a prime number?
False
Let d(v) = 14*v + 10. Is d(6) a composite number?
True
Suppose -5*r = -5*a + 106 + 949, 3*a + 2*r - 608 = 0. Is a composite?
True
Let d = -339 - -640. Suppose 0 = 5*y + 2*c - d, -2*y + c = y - 174. Is y a prime number?
True
Let c = 5 - 3. Is (-3375)/(-11) - c/(-11) composite?
False
Let h = 21 - -9. Suppose -4*l = 38 + h. Let k = 28 + l. Is k prime?
True
Suppose -2*x = -5*x + 129. Is x prime?
True
Suppose 0 = -4*z - 4*t + 1552, z + 3*t - 419 = -37. Is z a composite number?
True
Let h(t) = t**3 + 3*t**2 - 5*t - 5. Let y be h(-4). Is y + 3 + -2 + 15 a composite number?
True
Let x(q) be the first derivative of 7*q**2 - q + 2. Is x(1) prime?
True
Let z be 1023/9 - (-2)/(-3). Suppose 3*q - z + 11 = 0. Is q prime?
False
Is (-3 - -461)/(6*(-2)/(-18)) composite?
True
Is 2*3/(-6) - (-521 + -1) prime?
True
Let v(y) = y**2 + 10*y - 10. Is v(9) composite?
True
Let a(k) = -k**2 - k. Let f(r) = -r**2 - 7*r - 5. Let c(y) = -6*a(y) + f(y). Is c(8) prime?
True
Let h(k) = 1 + 0*k + 1 + 2*k. Let q be h(-2). Is 282/15 + q/(-10) a composite number?
False
Let i be -8 + -2 + 4 + -2. Let g(h) = 8 + 5 - h**2 - 9*h - 2. Is g(i) a prime number?
True
Let b(d) = d**2 + 95. Suppose -3*a - a - 32 = 0. Let h = 8 + a. Is b(h) a prime number?
False
Let t(z) = -z**3 - 3*z**2 + 0*z**2 - 2 + 2*z**2. Let a(p) = -2*p + 6. Let y be a(5). Is t(y) composite?
True
Suppose -g + 4*c + 207 = 0, 3*c = -4 + 1. Suppose -3*f + g = -178. Is f prime?
True
Let k(h) = 69*h + 7. Let y(b) = 69*b + 6. Let v(f) = 7*k(f) - 6*y(f). Is v(6) composite?
True
Let o = -69 + 130. Let v = o + 232. Is v a composite number?
False
Suppose 0*g + 3*g = 0. Let f(s) = -s**3 + 19*s**2 - 17*s - 16. Let y be f(18). Is g - y/((-4)/158) a composite number?
False
Suppose 6*o - 5*l - 1574 = 5*o, 3*o - 4674 = -l. Is o prime?
True
Let b(y) = y**3 + 4*y**2 + 4*y + 2. Let s = -9 - -6. Let c be b(s). Is (110 + 1)/(-3)*c a composite number?
False
Let c be (8/(-6))/(2/(-6)). Suppose 5*b = 3*s + 56, b + 0*s = 3*s + c. Is b prime?
True
Suppose -2*y - 3*y = -380. Suppose 0 = -5*p - y + 401. Is p prime?
False
Is (-2)/5 - 19348/(-20) a composite number?
False
Suppose 2*q - 5 - 5 = 0. Suppose 0 = q*c + 2*t + 331 - 916, 3*t = 3*c - 330. Is c prime?
False
Let t be (-4)/(-2) + -4 + -13. Is ((-489)/(-9))/((-5)/t) a composite number?
False
Suppose -2*o = -7*o + 105. Is o a prime number?
False
Suppose -2*s + 4*j = -0*j - 282, -j = 3*s - 388. Is s a prime number?
True
Let q = -225 + -117. Is ((-3 + q)/(-3))/1 prime?
False
Suppose 4*j + 5*m - 2 = 2*j, 4*m = 0. Let w = 1 + j. Suppose -2*v + 8 = w*n, 5*n - 28 = 4*v - 5*v. Is n prime?
False
Let q(y) = 2*y. Let d be q(1). Suppose 465 = b + d*b. Suppose -5*o + b = -0*o. Is o a composite number?
False
Let d(k) = 14*k**3 - 2*k**2 + k + 1. Suppose 1 = -2*h + 5. Let l be d(h). Let i = l + -48. Is i prime?
True
Let j = -7 + 4. Let o(x) = 3*x**2 - 4*x + 19 - 4*x - 18 + 6*x. Is o(j) a composite number?
True
Let f(w) = w**3 + 10*w**2 - w + 1. Is f(-9) a prime number?
False
Let j(r) = -r**3 + 4*r**2 - r + 1. Let t(x) = -1 - 2*x**3 + 2 + 7*x**2 - 3*x + x + x. Let f(y) = -7*j(y) + 4*t(y). Is f(-3) prime?
False
Let o = 5 + -2. Suppose -2*k = -o*k + x + 259, -k - x + 267 = 0. Is k composite?
False
Let l be (102/(-9))/(2/(-60)). Suppose b + l = 5*b. Is b a prime number?
False
Suppose -6*m + 24 = 4*a - 2*m, -4*m = -5*a + 3. Let h be (-4)/(-2 - -6 - a). Let r(q) = 2*q**2 + 1. Is r(h) a composite number?
True
Let x = 1 - 2. Let h(n) = 5*n**2 - 2*n - 12*n**2 + 41*n**2 - 1. Is h(x) composite?
True
Let x = -255 - -668. Is x composite?
True
Let r(a) = -a**3 - 5*a**2 + 3*a - 6. Let k be r(-5). Is 109/3 + (-14)/k a prime number?
True
Suppose 2*v + 4*v - 714 = 0. Is v a composite number?
True
Let g = -3653 - -5284. Is g a prime number?
False
Let p(j) = -j**2 - j - 2. Let y(h) = 4*h**2 + 4*h + 6. Let n(c) = -7*p(c) - 2*y(c). Let q be n(-2). Suppose 0*i - 6 = -2*i, q = -2*m + 2*i + 304. Is m prime?
False
Suppose -12*t + 11*t + 2153 = 0. Is t a prime number?
True
Let h be 1/4 - (-55)/20. Suppose 0 = -5*n + 5*d + 2115, h*d - 357 = -4*n + 1307. Is n a prime number?
True
Let q(n) = n - n**3 + 2 + 2 - 2. Let u be q(0). Suppose -5 = 5*w, -4*k + u*w + 311 = -23. Is k prime?
True
Suppose -41 = -2*v - 5*x, -5*x + 10*x = -5. Let u = v + 122. Is u prime?
False
Let l = 5482 + -2877. Is l a composite number?
True
Let k be (-8)/(-44) + 48/(-22). Is 29 - 3/(3/k) prime?
True
Suppose 2*l + 0*l = 56. Let g = l - -7. Is g prime?
False
Suppose -5*w + 0*w = 4*n - 36, -2*n = -2*w. Suppose -n*o + 0*o = -764. Is o a prime number?
True
Suppose -12 = -2*q - 0*q. Suppose f + 16 = -3*f. Is (2 - q)*6/f a composite number?
True
Let g(i) be the third derivative of 3*i**5/40 + i**4/24 + i**3/6 - 2*i**2. Let k(d) be the first derivative of g(d). Is k(2) a prime number?
True
Suppose o - 4 = -10. Let h(c) = -6*c + 0*c**2 + 7 - c**2 + 0*c**2. Is h(o) composite?
False
Suppose -39 - 36 = -5*d. Is 0 + 80 - d/5 composite?
True
Let c(z) = -z**3 + 19*z**2 + 6*z + 41. Let w be c(20). Suppose 2*h + 3*h = 4*o - 23, 4*o - 68 = -4*h. Let u = o - w. Is u prime?
True
Suppose y - 5 = 2*y, -2*p - 3*y = -653. Is p a prime number?
False
Let o(j) = -j**2 - 14*j - 12. Let v be o(-13). Is (v*-3)/((-18)/1266) a prime number?
True
Let k = 293 - -1206. Is k a composite number?
False
Let l(w) = 3*w + 1. Let i be l(1). Suppose i*b + 158 = 2*h, 0 = -2*h - 4*b - 0*b + 198. Is h a composite number?
False
Let x(w) = 293*w - 15. Is x(8) composite?
True
Let o be (1 - 127) + (-2 - -1). Let i = 22 - o. Suppose -159 = -4*l + i. Is l a prime number?
False
Let b(g) = g**2 + 5*g + 1. Let k(l) = -l**2 + 4. Let d be k(0). Is b(d) prime?
True
Let d = 2704 + -1603. Is d a composite number?
True
Let d(c) = 4*c**2 + 3*c + 2. Let a be d(-5). Let r = -56 + a. Is r a composite number?
False
Let j(h) = 9*h - 7. Let g be j(8). Let a = g - 10. Is a a prime number?
False
Let b = 109 - -40. Is b prime?
True
Suppose h - 214 - 53 = -2*n, 0 = -4*h + n + 1059. Is 0 + 2 + -16 + h a prime number?
True
Suppose 0*j = 2*j - 190. Is j a composite number?
True
Suppose 0 = -0*m - 4*m + 252. Suppose 0 = -4*f - u + m + 80, -3*u - 126 = -3*f. Is f a composite number?
False
Suppose 0 = 4*t - 12. Let n(d) = -11*d**3 + 6*d**2 + 4*d - 5. Let f be n(-4). Suppose -6*l - b = -3*l - f, -512 = -2*l + t*b. Is l a prime number?
False
Let j(x) = 22*x - 7. Suppose 0 = 4*o - o - 18. Let z be j(o). Let l = z + -60. Is l composite?
True
Let d = 48 + 27. Let s = d + -29. Is s prime?
False
Suppose 11379 = 3*h + 2*a, 3*a = 6*a. Is h a prime number?
True
Let z = 4786 + -3417. Is z composite?
True
Suppose -3*g + v = 3*v - 949, 0 = 5*g - 5*v - 1565. Suppose -2*x = 3*x - g. Is 2/(-9) + 959/x prime?
False
Let x be 8/(-4) - (-11 + -2). Let k = x + 11. Let b = k + 69. Is b a composite number?
True
Suppose 4*r - 2*p + 4*p = 2, -3*r = -p - 14. Suppose -3*t + 8*t - r*f + 13 = 0, 1 = -3*t - 5*f. Is (t/(-4))/(1/134) a prime number?
True
Let k = -5 + 162. Is 10/(-25) - k/(-5) composite?
False
Suppose 0 = x + a - 3, -4*x + 4*a + 42 = -10. Let q = 10 - x. Is q/6*(-339)/(-1) prime?
True
Let i be (-30447)/(-187) + 4/22. Suppose 0*j + 316 = 2*j + o, 0 = j - 2*o - i. Is j a prime number?
False
Let b = 6 + -11. Let w(m) = -4*m + 6. Is w(b) a composite number?
True
Suppose -b - 215 = -2*b + 2*i, 4*b - 2*i = 866. Let z(y) = 4*y**3 + y**2 + y - 1. Let q be z(1). Suppose 4*k - b = -q. Is k composite?
False
Let b be (3684/30)/((-2)/(-10)). Suppose b = 5*t - 231. Is t composite?
True
Suppose -2*h - 18 = 5*b + 1, -b - 105 = 5*h. Let c = 11 - h. Is c a prime number?
False
Let g = 13 - 8. Suppose -p + 2*l + 30 + 14 = 0, g*l = -p + 51. Is p a composite number?
True
S