y a prime number?
True
Let t be (-6324)/16 - (-3)/12. Is (0 - -2)*t/(-10) a composite number?
False
Suppose 5*z - 66 = -z. Let y = -22 + 12. Let r = z - y. Is r prime?
False
Suppose 0 = 3*z, 2*b + 0*z + 348 = 2*z. Let t = b - -391. Is t a prime number?
False
Suppose 5*b - 12 = 3*b. Suppose 1151 = b*h - 5*h. Is h composite?
False
Let m = 30 + -43. Let y = -9 - m. Suppose -3*d = 4*v - 104, d + d + 104 = y*v. Is v a composite number?
True
Is -356*((-44)/16 + 1) a composite number?
True
Suppose 11*b - 4239 = 2*b. Is b composite?
True
Let w(f) = f**3 - 4*f + 7. Suppose -o + 15 = 4*z, -z + 4*o = -4 - 4. Is w(z) a composite number?
True
Suppose 5*l - 570 = 5*t + 895, -2*l = 2*t - 570. Is l a composite number?
True
Suppose 3*s - 14506 - 1076 = 3*f, 25972 = 5*s - 3*f. Is s prime?
False
Let o be 184/2 + 2/(-2). Let s = o + -130. Is 6/39 - 150/s prime?
False
Is (-7 - -2)*(-12)/20 prime?
True
Suppose -2*p = 4*p - 18. Suppose 0 = -p*k - 2*o + 1609, -2*k + 1076 = -0*k + 3*o. Is k a composite number?
True
Let a(s) = 2*s**2 - 8*s + 8. Let u(r) = -r**2 + r + 1. Let j(g) = a(g) + u(g). Is j(11) a prime number?
True
Let v(d) = d**3 + d**2 - 257. Let i be v(0). Let m = -170 - i. Is m composite?
True
Let t(h) = -h**3 - h**2 - h + 347. Is t(0) a prime number?
True
Let r(q) = -14*q - 5. Is r(-3) prime?
True
Suppose 2*s + 1 = -1. Is s/(-2) - 172/(-8) a composite number?
True
Is (4 - 63/14)/((-2)/9908) prime?
True
Let m be (-1 + -1)*(-2 + 3). Is -35*m/2 - 2 prime?
False
Suppose b + 116 = -2*b + 2*d, 5*d + 10 = 0. Suppose -x - 4*x = 145. Let j = x - b. Is j a composite number?
False
Suppose -184 = -5*h - 0*m - m, 4*h = -5*m + 164. Let s = 41 + h. Is s composite?
True
Let r(f) = 51*f**3 + 4*f**2 + 2*f - 2. Let n be r(-2). Let q = -207 - n. Is q composite?
False
Let k be (-5 + -3)*-7*1. Suppose -f = -c - c - k, 0 = 3*f + 3*c - 141. Suppose 2*g - 79 = -5*u, 5*g - 131 - f = 4*u. Is g composite?
False
Suppose -2*w + 1323 = 5*q - 0*w, 4*w = 3*q - 799. Is q composite?
True
Let a be -2 - (0 - (-1 + 2)). Let f be 2 - a*1/1. Suppose -f*p - 2*p + 35 = 0. Is p prime?
True
Is (3/12)/(4/848) a composite number?
False
Let f = 184 - -27. Is f a composite number?
False
Let t(h) = 6 - 5 + 77*h + h. Is t(1) prime?
True
Let b = -329 + 910. Is b a composite number?
True
Suppose 0*f + 2*f + 5*v - 234 = 0, 0 = -3*f - v + 377. Is f a prime number?
True
Suppose 0 = 4*j - 0*j + 500. Let t be j/(-15) - 1/3. Let l = t + 2. Is l a composite number?
True
Let g be (-3 + 6)*-1 - 175. Is (g/1)/(-6 - -4) a composite number?
False
Let l = 33 + -17. Let h = l - -30. Is h a prime number?
False
Let o(h) = 553*h**3 - h**2 + h. Let u be o(1). Suppose -u = -2*r + r. Is r composite?
True
Suppose 362 = 3*q - 271. Is q composite?
False
Let l(o) = -2*o**3 - 3*o**2 - 4*o - 8. Let d(x) = x**3 + x + 1. Let w(g) = 3*d(g) + l(g). Is w(4) prime?
True
Suppose 3*z + 4*r = 6*z - 77, 4*r + 108 = 4*z. Is z prime?
True
Suppose -3*c - 5*f + 6989 = 0, -5*c + 3*f + 11669 = f. Is c a prime number?
True
Let o = 51 - 9. Let w = 4 - 0. Suppose -w*t + 10 = -o. Is t a prime number?
True
Suppose -4*m + 703 = -3*m. Is m prime?
False
Let c = -98 - -218. Let f = 202 - c. Is f a composite number?
True
Let z(h) = -h**3 + 7*h**2 - 6*h - 21. Is z(-7) composite?
True
Suppose -9 = 3*w + 12. Let k be 6/4 - w/14. Suppose 3*i + 80 = 7*i - 2*g, 0 = k*i + 4*g - 30. Is i prime?
True
Suppose 2*c - 3*n - 1405 + 522 = 0, n = 2*c - 877. Is c a prime number?
False
Is (-13825)/(-45) + (-4)/18 a prime number?
True
Let z(t) = t - 2. Let u be z(-12). Is 8/28 + (-94)/u prime?
True
Let b = 131 + 63. Let d = 531 - b. Is d a prime number?
True
Let y(t) = t**2 + 8*t + 12. Let r be y(-7). Suppose 0 = -4*h - r*i + 736, -378 = -2*h - 0*h - 5*i. Is h composite?
False
Let s(d) = 11*d**2 - d**2 + 5 - 4*d**3 - 9*d + 2*d**3 + d**3. Is s(6) composite?
True
Is (1 + -2)/((-5)/295) composite?
False
Let d(o) = -o**2 + 5*o - 6. Let r be d(5). Let i = 7 + r. Is 1266/24 - i/(-4) a composite number?
False
Suppose 3*g - 5 = 1. Suppose g*x = 4*x - 8. Let n = 19 - x. Is n composite?
True
Is (-2)/10 + 39528/90 prime?
True
Suppose 3*f = 55 + 47. Is f composite?
True
Let t = -196 - -307. Is t a prime number?
False
Let v(b) = -b**2 + b + 2. Let w be v(0). Suppose -4*j + 2*j + 58 = 4*q, q + w*j - 19 = 0. Is q prime?
True
Suppose -3*c - 2*c = -2*g - 1647, 3*g - 984 = -3*c. Is c a composite number?
True
Is 3 + 546 - (0 - 0 - 4) a prime number?
False
Let v(g) be the third derivative of 65*g**4/8 + g**3/3 - 3*g**2. Is v(3) prime?
True
Let x(k) = 12*k + 19. Is x(18) composite?
True
Let z(u) = -46*u + 1. Suppose 2 - 6 = 4*t. Is z(t) a composite number?
False
Suppose -2*a + 872 = -5*f, -6*a + 2226 = -a - f. Suppose -5*q = -3*q - a. Is q a composite number?
False
Let u(o) = -o**3 + 4*o**2 + 2*o + 22. Is u(-9) a prime number?
False
Let w(b) = 8*b + 10. Let d be w(6). Let n = 16 + d. Is n a composite number?
True
Is (25/2 + -3)*10 a prime number?
False
Let u(z) = z**2 - 1. Let j be u(-2). Suppose 8*l = 3*l + 5*m + 140, -2*l - j*m = -66. Suppose q = -0*q + 5*k + 80, l = q + 5*k. Is q a composite number?
True
Let g(n) = n**2 - 8*n - 7. Let z be g(9). Suppose 96 = 3*k + q, z*k - k - 21 = -4*q. Is k composite?
True
Suppose -2*u = -0*u + 4. Let j be u/(-4) + (-18)/(-4). Suppose 39 = j*x + 4. Is x prime?
True
Let b(d) = d**3 + 5*d**2 + 4*d + 2. Let w be b(-3). Suppose -w*p + 572 = -4*p. Is p prime?
False
Let h(k) = k + 12. Let y be h(0). Let j = y - -9. Is j prime?
False
Let o be 3/(-6) - 1/(-2). Suppose o = 4*r + 121 - 573. Is r composite?
False
Let i(p) = -p**3 + 27*p**2 - 8*p - 1. Is i(25) a prime number?
True
Is 1/3 + (-5574)/(-18) - 3 a prime number?
True
Let j be (-10)/(-2) - 0/(-1). Suppose -m - 1 = -j. Let h(v) = -v + 8. Is h(m) a composite number?
True
Suppose 19*n + 5755 = 24*n. Is n a composite number?
False
Let b be (5 - 3)/(4/478). Let v = -124 + b. Is v a prime number?
False
Let o = -361 + 519. Is o composite?
True
Let t = 13 - 9. Suppose -j = -t*d, 3*d = -2*j + 4*d - 21. Let b = 50 + j. Is b composite?
True
Let u(r) = -r**2 - r + 611. Is u(0) a composite number?
True
Let u = -5 - -5. Is u - 222/(-4 - -2) a composite number?
True
Let x(h) = 5*h**2 - 1. Let b(k) = k**2 - 9*k + 9. Let y be b(8). Let t be x(y). Suppose t*g + d = 206 + 306, -g - d = -131. Is g prime?
True
Let p = -2 + 1. Is p/3 + 574/3 a prime number?
True
Suppose -7 + 4 = 3*q. Let b(n) = -18*n**3 + n**2 + n. Let c be b(q). Let z = 35 + c. Is z prime?
True
Suppose -4*n = 3*o - 18, o + n = 3*o - 1. Let q be -1 + 3 - o - 0. Suppose -4*c + z + 273 = q, 2*c + 4*z + 87 = 3*c. Is c prime?
True
Let u be -9 + 1 + (0 - -2). Let f be 54 - 4*(-3)/u. Let j = f - 15. Is j a composite number?
False
Suppose -3*t - 80 = -4*t. Let y = t + -47. Suppose -2*z + 4*n + n + 22 = 0, -3*z + y = n. Is z a prime number?
True
Let d = -19 + 19. Let x = 5 - 3. Suppose x*q - 75 = -y - 4*y, d = -q. Is y composite?
True
Let y(k) = 2 - 30*k - 3 + 0 + 12*k. Suppose 3*u + 5*b + 29 = 0, -2*u = 2*u - 3*b. Is y(u) a composite number?
False
Let f(b) = -7*b + 2*b + 2*b - 3 + 7*b**2. Is f(-3) a prime number?
False
Let r = -4767 - -7196. Is r a prime number?
False
Let o = 8 + -6. Suppose -n = -o*z + 4, 2*z + z + 1 = 5*n. Suppose -n*p - 4*l = 8, 2*p + 3*p = 4*l + 22. Is p a composite number?
False
Suppose 0 = -2*h + 312 + 214. Is h a composite number?
False
Let s(z) = -3*z**2 + 0*z**2 + 5*z - 5 + z**3 - 3*z. Is s(7) prime?
False
Is (-5 - -27) + 1 + 0 composite?
False
Let v(z) = 10*z**2 - 8*z + 9. Is v(7) a composite number?
False
Suppose 3*o + 1 - 7 = 0. Let y = o + 41. Suppose 4*z - 441 = y. Is z a composite number?
True
Suppose 0 = 3*n - c - 1064, 0*c + 1068 = 3*n + 3*c. Is n a composite number?
True
Suppose -9*s + 11*s = 2722. Is s composite?
False
Suppose u - 73 = -14. Let i be u/4 + (-3)/(-12). Let q = i - 2. Is q composite?
False
Let t be (0 - -2)*(-4 - -2). Let q = 2 + t. Is q - -2*15/2 a composite number?
False
Let t(j) = j + 2. Let y be (-9)/1 - 1/(-1). Let v be t(y). Is 65/7 - v/(-21) prime?
False
Let t(b) = 7*b**2 + 5*b + 11. Let p be t(-8). Suppose -2*a + 0*v + 858 = -2*v, -4*v + p = a. Suppose 0 = 5*u - a - 138. Is u a prime number?
True
Let u = 282 - -37. Is u a prime number?
False
Suppose 4*b - 301 = 3*i, -3*b + 0*i = -4*i - 217. Is b composite?
Fals