 Is q prime?
True
Suppose -4*a + 1 = -4*v - 23, 4*a = -5*v + 42. Suppose 0 = -b - a + 82. Is b a composite number?
True
Suppose 3243 = 5*p - 4*j + 470, 2 = -j. Is p prime?
False
Suppose 0*l = -l + m + 9, -m + 3 = 2*l. Suppose 2 - 10 = -l*a. Suppose t = -r + 79, -a*r + r = -3*t + 229. Is t a prime number?
False
Suppose -5*j = -2*j - 24. Suppose -7*r = -6*r - j. Is 383/7 + r/28 prime?
False
Let q(u) = -u**3 - 3*u**2 + u + 4. Let b be q(-3). Let y be b - (-3 - (737 - 3)). Is (-2)/(-7) - y/(-14) composite?
False
Let f be (-2 - -1)/(2/(-6)). Suppose f*m = -3*u + 102, m - 133 = -4*u - 4*m. Let v = u + -4. Is v composite?
True
Let y be -2 - -5 - 3 - 0. Suppose y = -2*h - 0*h + 5*z + 138, -h + 95 = 4*z. Is h a prime number?
True
Suppose v + 3*v - 20 = 0. Suppose 0 = 4*i - v*i + 2. Is 2/((-3)/((-111)/i)) prime?
True
Suppose -6*y + 331 = -1067. Is y a prime number?
True
Let s = 12 - 6. Let a(u) = s - 21*u + 1 + u**2 + 16*u. Is a(7) a composite number?
True
Let q(w) = -w + 4. Let x be q(4). Suppose -3*n = -x*n. Suppose a + 5*y - 20 = 8, -3*y - 15 = n. Is a a prime number?
True
Let k be (-206)/(-10) + 12/30. Suppose 0 = -o + u - 3*u + 9, 0 = 3*o + 4*u - k. Is (60 - o) + 3 - 3 a prime number?
False
Let m(y) = y**2 - 3*y - 2. Let t be m(4). Suppose -5*w = 5*p - 335, t*p = -0*p + 5*w + 141. Is p - ((-2 - -4) + 1) composite?
True
Let p = -981 - -1683. Suppose p = 3*w - 444. Suppose 10*l = 8*l + w. Is l a prime number?
True
Let q(n) = n**3 + 5*n**2 + 3*n - 5. Let w be q(6). Suppose 0 = -h + 2*p + 371, -3*h + 708 = -5*p - w. Is h a prime number?
True
Let f be -2*(-2 + 3) + 4. Is (-3)/(1 - f) - -550 composite?
True
Let f(x) = 95*x + 2. Is f(3) prime?
False
Let q be (-2)/(-5) + 78/5. Suppose i = 2, -2*s + 0*i + q = 3*i. Suppose l + l - 76 = -5*h, -s*l - h = -167. Is l prime?
False
Let n = 365 - 154. Is n prime?
True
Let s(m) = m**3 - 2*m**2 - 4*m - 3. Let f be s(6). Suppose 36 - f = -3*j. Suppose -j = -3*o + 3*v, -2*o - 2*v + 26 = -12. Is o composite?
True
Let i(g) = 2*g + 6. Let y be i(-5). Let o(u) = u**3 + 4*u**2 - 2*u - 5. Let l be o(y). Let r(t) = 9*t**3 - 4*t**2 + t + 1. Is r(l) composite?
False
Suppose 4*y + 327 = -i, -3*y + 2*y = -4*i + 103. Let c(q) = -3*q**2 + 8*q + 2. Let t be c(6). Let a = t - y. Is a a composite number?
True
Let r be (144 + -1)*1 - -1. Suppose -4*s + 4 = -r. Is s a composite number?
False
Let r = 83 + 51. Is r a composite number?
True
Let o = 33 + 58. Suppose 58 = d - o. Is d composite?
False
Let b = -48 + 73. Let f = 40 - b. Is f composite?
True
Let n = 11 + -11. Suppose 0*a = 2*a - 6. Suppose n*j + 4*j - 530 = -z, -a*z = -4*j + 538. Is j composite?
True
Let g be 0 + 30/2 + -2. Suppose q - 18 = g. Suppose h = 2*h - q. Is h a prime number?
True
Is (-1922)/(-3) + 6/18 composite?
False
Suppose 5*k = 4*k - 7. Let v(w) = 2*w**2 + 10*w + 6. Is v(k) prime?
False
Let o(x) be the first derivative of -x**4/2 + 2*x**3/3 - 4*x**2 - 3*x + 5. Is o(-5) a composite number?
False
Suppose 3*o + 2*o - 2815 = 0. Is o composite?
False
Is 3777/(-3)*(-10 - (-2 - 1)) a prime number?
False
Is (2/(-9) - 835/90)*-142 a composite number?
True
Suppose 0 = 2*b + 4*f - f - 1475, f = -b + 740. Is b composite?
True
Let d be (4/(-6))/((-2)/12). Suppose -4*f = d*c - 568, -f + 416 = 3*c + 4*f. Is (2/6)/(1/c) composite?
True
Let x be 1 - (0 + 2 + -356). Suppose 0 = b + 4*b - x. Suppose 117 = 2*d + 2*c - 9, -d - 3*c + b = 0. Is d composite?
False
Let t be (14/28)/((-2)/(-12)). Is (-388)/(-8) - t/2 composite?
False
Suppose -9 = -2*r - 1, 5*v - 5*r = 10225. Is v prime?
False
Suppose -7650 + 2734 = -4*j. Is j a prime number?
True
Suppose 0 = 3*i - 7 + 61. Let u = -13 - -6. Let t = u - i. Is t a prime number?
True
Let c(v) = -4*v**3 + 2*v**2 + 2*v - 17. Is c(-6) a composite number?
False
Suppose -q + 309 = -0*q. Is q prime?
False
Let b(x) = -3*x**3 + 2*x**2 + 4*x + 2. Let i be b(-3). Suppose -5*n + 6*o = 3*o - i, -4*n - 2*o + 80 = 0. Is n a prime number?
True
Let a(n) = n**2 + 4*n + 2. Let d be a(-2). Suppose -4*b = -630 + 14. Is b/8 - d/(-8) a prime number?
True
Let i(g) be the first derivative of 11*g**2/2 + 3*g - 1. Is i(6) prime?
False
Let z = -10 - -6. Let l be (-6)/z*12/9. Is -46*-1*1/l prime?
True
Let b be -1*3/12*-8. Suppose 0 = s - b*s + 223. Is s a composite number?
False
Let z(x) = 5*x. Let c be z(1). Suppose v = -q + 441, 4*q - c*v = 2*q + 868. Is q prime?
True
Let t be 1014/18 - 1/3. Let o be t + 2 + (0 - -1). Suppose -3*n - 2*x + o = 0, 99 = 5*n + 5*x - x. Is n composite?
False
Is 0 + 0 + (-3155)/(-5) prime?
True
Suppose 2*d = d + 67. Is d a prime number?
True
Let v(j) = 6*j**3 - 10*j**2 + 18*j - 1. Is v(6) a prime number?
False
Let q = -76 + 143. Is q a prime number?
True
Suppose n = 11*n - 91550. Is n prime?
False
Suppose 4*d = 2*d + 4. Suppose -3*c + 16 + d = 0. Suppose -4*m - c = -154. Is m a prime number?
True
Suppose 51*t - 53*t + 758 = 0. Is t composite?
False
Let t be (-1)/(((-15)/27)/(-5)). Is (t - -55)/(2 + 0) composite?
False
Let c be 78/36 + (-1)/6. Is -6*(-75)/c - -1 a composite number?
True
Is -1 - (0 - -3 - 69) a composite number?
True
Suppose 45 = 4*w - 199. Let s = w + 54. Is s prime?
False
Let y(j) = j**2 - j. Let g be y(-1). Suppose -3*b - g*b = -3*m - 21, -m = -2*b + 8. Is b prime?
True
Let r(w) = w**3 - 2*w**2 - 14*w + 13. Let t(g) = -g**3 + 3*g**2 + 13*g - 12. Let a(j) = 5*r(j) + 6*t(j). Is a(8) a prime number?
False
Let v be 2/(-9) + 3776/(-18). Let z be -5 + 6 + (v - -1). Let f = -63 - z. Is f composite?
True
Let r(a) = -a**2 + 16*a + 5. Let d be r(16). Suppose -4*l = -2*b - b - 47, -3*b - 61 = -d*l. Is l prime?
False
Let k be (1/2)/(3/(-18)). Let r = k + 6. Suppose -2*x - 2*n = -102, r*n + 40 - 5 = x. Is x composite?
False
Let r = 723 - -14. Is r composite?
True
Let p be 0 + 1 - (3 + 0). Is -6 + 7 - 104/p prime?
True
Let k = 1619 - 700. Is k composite?
False
Suppose 15 = -5*v + 5*z, 4*z - 1 = -v + z. Let f(a) = a**2 + a - 1. Let o be f(v). Suppose r = -3*y + y - 5, -y = r + o. Is r a prime number?
True
Suppose -2*j + l = 5*l + 10, 2*j - 5*l = 17. Is (j/(-2))/(2/(-1316)) composite?
True
Let b be (3/4)/(5/40). Suppose b = t + t, -2*a - t + 15 = 0. Suppose -5*i + 5*m - m = -783, -2*m + a = 0. Is i a composite number?
True
Suppose -5*x = 5*d - 115, -5*x + 49 = 4*d - 2*d. Is d a prime number?
False
Suppose -s + 13 = -2*s - 5*k, 2*s - k = 29. Let o = 7 + s. Is o a prime number?
True
Let z be -1*(0 - -1)/(-1). Is (-115)/(z/1 + -2) prime?
False
Let v = -7 + -61. Let i = -45 - v. Is i a composite number?
False
Let b(p) be the third derivative of -p**5/60 + 3*p**4/8 + p**3/6 - 5*p**2. Is b(7) a prime number?
False
Let g be (3/1)/(-3) + 3. Let d be -1 + (g - 62/1). Let w = -8 - d. Is w a composite number?
False
Let n(y) = 2*y**2 + 44*y + 6. Is n(-22) composite?
True
Let k = 2756 - -165. Is k a prime number?
False
Let t(g) = 3*g**2 - 4*g + 8. Let q = -17 + 24. Is t(q) a composite number?
False
Suppose -679 = 5*s - 6*s. Is s composite?
True
Suppose 2*y - 4*q = 450, -q - 928 = -3*y - y. Is y prime?
True
Is ((-5)/(-5) - -148)/1 a composite number?
False
Suppose -4*t = t - 1015. Is t a composite number?
True
Suppose 372 = 4*z - 268. Suppose -y + z = 2*l, 5*l + 0*l - 399 = -2*y. Is l a prime number?
True
Suppose 5*b - y = -3*y - 19, -2*y = 4*b + 16. Is (b + 98/4)*2 prime?
True
Let s = 14 - 12. Suppose -70 = -s*i + 192. Is i a composite number?
False
Let l(b) = -b**3 + 5*b**2 + 5*b + 8. Let u(j) = 7*j - 1. Let z be u(1). Let y be l(z). Suppose -2*c + 2*t - 3*t + 44 = 0, y*c + 4*t - 38 = 0. Is c prime?
True
Suppose 2*i + 705 = 3*q - 0*i, 4*q - 5*i - 940 = 0. Is q composite?
True
Suppose -3917 = -2*d + 1337. Is d prime?
False
Suppose -d + 421 = j, -7*d + 3*d + j + 1674 = 0. Is d a prime number?
True
Let s = 363 + 272. Is s composite?
True
Let p be -2 - (-2 - (136 - 3)). Suppose -2*c - 4*h + 40 = 0, 0 = c + 4*c - h - p. Is c prime?
False
Suppose 0 = v + v. Is 111*(v - (2 + -3)) prime?
False
Is -739*(4 - (1 + 4)) composite?
False
Suppose -2*n = -n + 5. Let v be n/25 - 64/5. Let x = v + 23. Is x prime?
False
Let i = 0 + 1. Let r be 0/(5 + -2 - i). Let x = r + 3. Is x a composite number?
False
Suppose -4*b + 2*a + 2625 = 335, 0 = -b - 4*a + 550. Let n = -365 + b. Is n a prime number?
False
Let r(n) = 55*n**2 + 75*n**2 + 101*n**2 - 67*n**2 + n. Is r(-1) a