 composite number?
True
Suppose 2445 = -9*q + 14*q. Is q a prime number?
False
Let m = 4 + -1. Suppose 3 = 3*o - m. Suppose -o*p + p = -46. Is p prime?
False
Let l be -1*2/((-1)/(-1)). Let c be (2 + l)*-1 + 19. Is 3 + -3 + (c - 0) a composite number?
False
Suppose 4*c + 169 = 3645. Is c prime?
False
Suppose 2*g - 2 = 0, 3*g - 12 = -7*t + 4*t. Suppose 4*q - 6*p - 316 = -2*p, -314 = -4*q + t*p. Is q composite?
True
Let d(m) = -8*m - 1. Let t = -4 + 2. Let p = -2 + t. Is d(p) a prime number?
True
Let h = 1 + 8. Is 2 + 0 + h*13 a prime number?
False
Let n = -5 - -8. Let a = n + -3. Suppose a*k + 58 = 2*k + 4*t, 4*t - 21 = -k. Is k a prime number?
True
Suppose 6*t - 258 = 4*t. Is t prime?
False
Let d(w) be the first derivative of 13*w**3/3 - 5*w - 2. Is d(4) a composite number?
True
Let y(b) = -22*b**2 - 6*b + 9. Let n(d) = d**2 - d + 1. Let u(p) = -5*n(p) + y(p). Let z(c) be the first derivative of u(c). Is z(-1) a prime number?
True
Suppose 0 = -3*z + 517 - 28. Is z prime?
True
Suppose 2*j + 444 = 6*j. Suppose 2*n + 5*w = n - 5, -w = -4*n + 1. Suppose -j = -n*z - 3*z. Is z a prime number?
True
Let b(o) = -3*o**3 - 3*o**2 + 12*o + 1. Is b(-7) a prime number?
False
Suppose 0 = 12*c - 9*c - 1182. Let u = c - 263. Is u a composite number?
False
Suppose -4*r + 1753 = x, 0*r + 5*r + 2*x - 2195 = 0. Is r a composite number?
True
Suppose -3*x - a + 1 - 46 = 0, x + 15 = a. Is 722/6 + (-10)/x a composite number?
True
Let a(b) = -b**2 + 3*b + 3. Let l be a(6). Is 2/(12/(-58))*l a composite number?
True
Let w = 67 + -12. Is w a prime number?
False
Suppose 12 = 3*s, -4*z + 37 = -z + 4*s. Suppose j + f = 44, 3*j + 3*f - z*f - 125 = 0. Suppose -2*l - 5 = -j. Is l a prime number?
True
Let d = 0 - -2. Suppose -d*w = -6*w + 28. Is w a prime number?
True
Suppose 3*r = -5*w + 663, -5*w + 560 = -w - 5*r. Let d(l) = -l**3 + 16*l**2 - 2*l - 17. Let v be d(14). Suppose w - v = -4*n. Is n prime?
True
Suppose 4*r - 9*r + 370 = 0. Is ((-30)/6)/((-2)/r) prime?
False
Let n = 735 - 242. Is n a prime number?
False
Suppose 0*h = 2*h - 8. Is 3 + 43 + h + -1 composite?
True
Suppose 5*t = 2*s + 5, s - t - 3 = -4*t. Suppose 7*u - 5*u - 6 = s. Suppose -3*z - 11 = m - 103, 15 = u*z. Is m a prime number?
False
Let a be 5/30 + (-17)/(-6). Suppose -a*q - 2*q = 1055. Is 4/(-22) + q/(-11) prime?
True
Let t = 373 - 262. Let l = -66 - t. Let w = 266 + l. Is w a composite number?
False
Suppose -2*u = -0*u - 254. Is u a prime number?
True
Suppose 13*t - 12*t = 293. Is t prime?
True
Suppose -2*o = 2*o - 268. Is o a prime number?
True
Let x = 165 - 80. Is x composite?
True
Suppose 0*l = -2*l + 3*p + 2, 0 = -3*l + p + 3. Suppose -3*i = -2*f + 20, -3*f + 7*f - 68 = -i. Let w = f - l. Is w prime?
False
Suppose -4*l - n + 12166 = n, 4*n = -l + 3045. Is l a composite number?
False
Is (-4)/5 - (-1158)/10 prime?
False
Let f = -535 - -1442. Is f composite?
False
Suppose 2*z = -m + 2, 3*m = z - 2 + 1. Suppose -w - 2*w = m. Suppose 5*t + 2*y = 72, t - 4*y - 12 + 2 = w. Is t a composite number?
True
Let l be -1*(-1 + (-1142 - 3)). Suppose -4*m + l = 302. Is m composite?
False
Suppose -4*r = -4*g + 504, -3*r + g + 122 = -4*r. Let f = r - -215. Is f a prime number?
False
Let s(w) = -w**3 - 2*w**2 - w - 1. Let d = 16 + -23. Is s(d) prime?
True
Is -2 + 12/7 - (-3760)/28 a composite number?
True
Suppose -x + 2*t - 3*t + 75 = 0, 4*t = 16. Is x composite?
False
Let v(f) = -f**2 + 7*f + 10. Let c be v(8). Suppose 0*j + c*j = 514. Is j prime?
True
Let q(j) = 3*j**2 + 2*j - 3. Let k be q(2). Suppose -3*c + k = 3*n + 28, -3*c - 2*n - 13 = 0. Is 25 + -2 + c + 3 a composite number?
False
Let n = -5368 + 9723. Suppose -n + 487 = -4*o. Is o a prime number?
True
Suppose 4*m - 2*m - 2*x = 372, 3*m = -3*x + 588. Is m prime?
True
Let t = 1684 + -675. Is t a composite number?
False
Suppose g - 2*o = 233, 3*g - 3*o - 817 + 133 = 0. Is g prime?
True
Let y be (2 - (-3)/(-1))*-2. Suppose y*q = q - 2. Is q/6*-21*1 a prime number?
True
Is ((-87)/9)/((-2)/12) a composite number?
True
Let i(v) = v**2 + 10. Let x be i(0). Suppose 5*n + x = -k + 60, 4*k - 20 = 0. Let h(y) = 3*y - 6. Is h(n) a prime number?
False
Let x(t) be the third derivative of -t**4/8 + 11*t**3/6 - 3*t**2. Let k(u) = u - 4. Let q(r) = -17*k(r) - 6*x(r). Is q(8) a composite number?
True
Suppose 3*b + 167 = 2414. Is b a composite number?
True
Suppose -f - 4*f - 20 = 0, -5043 = -5*l - 3*f. Is l prime?
False
Suppose -5*x = -b - 1, 3*b + 0 = -4*x - 3. Suppose x = -4*r + 1200 + 740. Is r a prime number?
False
Suppose -19 = -5*c - t, -2*c - 2*c + 2*t + 4 = 0. Is c a prime number?
True
Suppose -3*t + 0*t = 12. Let g(d) = -4*d**3 + 5*d**2 + 2*d + 1. Is g(t) a prime number?
False
Let b = -1 - -6. Is (-821)/(-4) - b/20 a prime number?
False
Let m be 0 + -2 + -4 + 0. Let h = -3 - m. Suppose h*t = t + 4*u + 50, -5*t + 115 = -5*u. Is t a composite number?
True
Let n be (18/(-15))/(4/(-10)). Suppose w = -n*y + 6, 2*w - 3*w + 6 = -y. Suppose 4*q = 6 + w. Is q composite?
False
Let t(j) = 814*j + 1. Let i be t(1). Let h(u) = 2*u - 24. Let x be h(12). Suppose 5*g - i = -x*g. Is g a composite number?
False
Let i(o) be the third derivative of -21*o**4/4 + o**3/6 + 5*o**2. Suppose -r = -2*r - 1. Is i(r) composite?
False
Suppose 35 = 4*h + 5*y, 4*y = -h + 7 + 10. Suppose 0 = h*a - 29 - 136. Is a a composite number?
True
Let i = 120 + 53. Suppose -16 = -2*q - 3*w + 56, 4*w = -5*q + i. Is q prime?
False
Let l(s) = 11*s**3 - 3*s + 1. Is l(2) a composite number?
False
Suppose -j = 3*s - 530, -s + 48 = -5*j - 134. Suppose -4*l + 300 = 2*g, 4*l + 3*g - s = 119. Is l composite?
True
Suppose 0 = -6*m + 2366 + 3148. Is m a composite number?
False
Let v = -2921 - -4698. Is v prime?
True
Let a be ((-2)/6)/(1/(-12)). Suppose 0 = -0*r + 2*r - a. Suppose 0 = -5*u - r*q + 61, q = 3*u - 0*u - 30. Is u composite?
False
Is -3 + 9/(-3) + 173 prime?
True
Let v = 0 + 6. Suppose -4*x + 2 = -3*x. Suppose -v*p + x*p = -76. Is p a prime number?
True
Let r be ((-1)/(-2))/((-1)/(-4)). Let d(t) = -106*t + 17. Let v(a) = 35*a - 5. Let l(j) = 2*d(j) + 7*v(j). Is l(r) a composite number?
True
Let v = -42 - -76. Is v prime?
False
Let v(f) = -3*f**3 + 3*f**2 - f. Let k = -8 - -5. Let r be v(k). Suppose -x + r = 2*x. Is x a composite number?
False
Suppose k + 4*t - 129 - 358 = 0, 4*k + t = 1918. Is k prime?
True
Let g be (-1*6)/((-2)/145). Suppose 4*n + 0*p - g = -5*p, -2*n - 2*p + 218 = 0. Suppose -d - 5*l = -6*d + n, 5*l = 0. Is d a prime number?
False
Suppose -4*t + 2795 = -5*l, -3*t + 1396 = -t - 2*l. Is t composite?
True
Let b(j) = 16*j**2 + j + 2. Suppose 0 = -8*r + 3*r + 15. Is b(r) prime?
True
Let m(o) = 8*o**2 - 4*o + 2. Let s be m(2). Let n be (-47)/9 + (-20)/(-90). Let l = n + s. Is l composite?
True
Let j(y) = -y**3 + 5*y**2 + 6*y + 2. Let v be j(6). Suppose a - v*a + 5 = 0. Suppose -a*r - 2*n + 122 = -37, 2*r - 4*n - 54 = 0. Is r a prime number?
True
Suppose -4*v - 3*l = -5663, -6*v + 8*v - 2821 = -5*l. Is v composite?
True
Let m = -2 - -4. Let i be -6*(-1)/(-4)*m. Let p(n) = -n**2 - 7*n - 2. Is p(i) prime?
False
Let z be 4/(-2) + (1 - 17). Is 1480/14 + z/(-63) composite?
True
Let d = 163 + 690. Is d prime?
True
Let c(q) = 0 + 4 - 5 - 3*q - q. Is c(-8) prime?
True
Let l(u) = u - 7. Let n be l(6). Let x(y) = 22*y**2 + 2*y + 2 + 0*y - 2*y**2 - 1. Is x(n) prime?
True
Let n(p) = -p**2 - 3*p + 5. Let q be n(-4). Suppose -1 = -i + q. Suppose -131 - 131 = -i*g. Is g a prime number?
True
Suppose 0 = 5*s + 2*p + p - 55, 22 = 2*s + 3*p. Let y(g) = -g**2 + 15*g + 9. Is y(s) a composite number?
False
Let y = -3 - -2. Let m = y + -1. Is (1/3)/(m/(-186)) prime?
True
Let q(y) = 333*y - 4. Is q(2) prime?
False
Let d(n) = -6*n + 3. Suppose 59 = -5*k + 19. Let v = k - -3. Is d(v) composite?
True
Let q(j) = 3*j**2 - j. Suppose -2*s - 14 = -n - n, -n = -2*s - 9. Is q(s) composite?
True
Let d(x) = 6*x - 10. Let r(u) = -u. Let i(l) = -d(l) - 5*r(l). Let p be ((-1)/(-1))/(-1) + 1. Is i(p) a composite number?
True
Let c(n) = 3*n**2 - 4*n + 3. Let z be c(2). Suppose i + z = -164. Let a = i + 248. Is a a composite number?
True
Let g(i) be the first derivative of -i**5/24 + 5*i**4/24 + 2*i**3/3 + 1. Let n(t) be the third derivative of g(t). Is n(-6) a prime number?
False
Let t = 4166 - 2767. Is t prime?
True
Let p(m) = -m**3 - 5