 = 2*j + 347 + 3783. Is k/(-8) + -1 + 4 composite?
True
Suppose -4 = -4*f + 2*f. Suppose 0 = -f*r + 4*o + 54, -5*o + 99 = -0*r + 2*r. Is r a prime number?
True
Let t(u) = -8*u**3 + 7*u**2 - u - 1. Let y(s) = -24*s**3 + 20*s**2 - 2*s - 2. Let v(p) = 11*t(p) - 4*y(p). Is v(3) a prime number?
False
Let s = 0 + 0. Suppose 4*u = -u - g + 15, -5*g = 4*u - 12. Suppose s*h - 161 = -u*r - 4*h, 5*h = -20. Is r a prime number?
True
Let m = -65 - -272. Suppose t = -2*t + m. Is t prime?
False
Suppose 4*c - 10912 = 5*t, 7*c = 2*c + 2*t + 13623. Is c composite?
True
Suppose -3*d + 15 = 2*d. Let v be ((-2)/4)/(2/(-12)). Suppose -q - 2*j = d, -q + 2*j + 20 = v. Is q composite?
False
Suppose -2*m + 0*m + 628 = 0. Let s = -169 + m. Is s composite?
True
Is (24/(-33))/4 - (-48276)/44 a prime number?
True
Let i(f) = -4 + 6*f - 7*f - 1. Let j be i(-7). Suppose y - 39 = -j*y. Is y composite?
False
Let v(t) = 3*t**3 + 2*t**2 + 5*t + 2. Let i(q) = q**3 - q**2 - 1. Let d(y) = 2*i(y) - v(y). Let f be d(-3). Is 2 + f + 2/(-1) prime?
True
Let o = -104 + 183. Is o prime?
True
Let d = -22 - -72. Suppose 0 = 5*a - 0*a - d. Is a composite?
True
Suppose -w + 366 = 2*w. Is w composite?
True
Let h(g) = 2*g - 9. Let j be h(6). Let l(m) = 2*m**3 - 4*m**2 - m - 1. Is l(j) a prime number?
False
Let i = 191 - 94. Let v = i - -34. Is v a composite number?
False
Suppose -4*f + 63 = -21. Is f composite?
True
Suppose -2*k = -h - 5*k + 2182, 0 = 2*k - 2. Is h a prime number?
True
Let n be 45/(-21) - (-3)/21. Let m = n - -16. Is m prime?
False
Suppose 0 = -2*y + 3*y. Suppose 2*c - 654 + 212 = y. Is c a prime number?
False
Suppose -2*j = -492 - 512. Is j a composite number?
True
Let s be (-2)/((-5)/(30/4)). Let a(f) = 6*f - 4. Is a(s) a composite number?
True
Suppose 5*t + 15 = 0, -5*b - 42 = -0*t - t. Suppose 5*f - 29 = -l, l + 3*l = 2*f - 16. Is 92/f + 3/b a composite number?
True
Suppose -2*j = 2*j. Suppose -3*z = j, 3*h = -z - z + 39. Is h a composite number?
False
Let m = -59 - -119. Suppose k - m = -4*k. Suppose -5*w = -8*w + k. Is w composite?
True
Let f = 8 + -5. Suppose -4*k = -s + 109, -k + f*k = 2. Is s a composite number?
False
Suppose 2*u = -4*n + 86, -u + 26 = n + 7. Let s = n + 2. Is s a composite number?
True
Is (-3)/((-9)/3) - -448 a composite number?
False
Let w(i) = 266*i + 31. Is w(5) a composite number?
False
Suppose -h = -2*j - 108, -h + 5*h = 2*j + 456. Suppose h - 2 = 5*w - 2*v, -5*w + 4*v = -118. Is w composite?
True
Suppose 0 = -2*z + 4*z - 806. Is z a composite number?
True
Let k = 66 + 583. Is k composite?
True
Let a(d) = -21*d**3 - 2*d**2 + 1. Let b be a(-1). Is (b/6)/(4/222) a prime number?
False
Suppose -5*z - 5*a = -170, -3*z - 4*a = -0*a - 104. Let m be z/14 + (-2)/7. Is m - 3 - 34*-1 a composite number?
True
Let r(a) = -15*a - 23. Is r(-10) prime?
True
Suppose 0 = 4*f - 37 - 3. Is f a composite number?
True
Let g(s) = 6*s**2 - s. Let y be g(1). Suppose -y*x = -0*i - i + 38, 0 = x + 3. Is i prime?
True
Suppose 3*a - 5*a + 8 = 0. Let z = 105 + a. Is z prime?
True
Let z be 9/18*(-10)/(-1). Suppose -2*x = -z*q + 701, 0 = x - 3*x - 6. Is q composite?
False
Suppose -2*p = 4*u + 6, -4*p + 1 + 3 = 0. Let i be 5 - (4/(-2) - u). Suppose -3*j + 3*m + 119 = -166, -i*m - 202 = -2*j. Is j composite?
True
Let a(q) = 248*q + 13. Is a(5) a prime number?
False
Let w(a) = 2*a**2 - 2*a - 2. Suppose o + 6*z - 2*z = -18, -5 = z. Let q be w(o). Suppose q*m - 147 = 167. Is m a composite number?
False
Let v = 2 + 1. Suppose v*l = -14 + 53. Is l composite?
False
Suppose 28 = l - 3*s, -4 = 4*s - 0. Let u be 6/27 - l/(-9). Suppose -4*w = -u - 57. Is w a composite number?
True
Let f be (-64)/11 + 2/(-11). Is 8/(-24) - 224/f prime?
True
Suppose -2085 = -5*s - 4*z, -z + 6*z = 25. Is s a prime number?
False
Suppose 0 = -a - 3 + 4. Let i be 3/2*4/3. Suppose -v + 12 - a = c, v = -i. Is c a prime number?
True
Suppose -10*n + 4*n = -14478. Is n prime?
False
Suppose 0*k = -k + 517. Is k a prime number?
False
Let p = -116 - -495. Is p composite?
False
Suppose -c = 1 - 9. Let h = 102 - c. Is h composite?
True
Suppose -3*g = 4*s - 1 - 12, -g - 3*s + 1 = 0. Let q = -4 + g. Suppose -2*x + o + 47 = 0, x + 2*o - 18 = -q*o. Is x a composite number?
False
Let u(i) = i**3 - 2*i**2 + i + 1. Let j be u(2). Suppose j*b - 694 = b. Is b composite?
False
Suppose -z = -56 - 299. Is z composite?
True
Suppose 3*h + 3*m - 1659 = 0, 4*h = -h - 2*m + 2765. Is h a prime number?
False
Suppose 0*m + 387 = 2*f + 5*m, 4*f = 3*m + 761. Is f a composite number?
False
Suppose 5*b + 2*y - 18 = 0, -5*y + 31 = 5*b + 1. Suppose -x = -2*x + b. Suppose 7*w = 2*w + x*d + 175, -91 = -3*w + 4*d. Is w composite?
False
Let z(r) = -r**2 + 10*r - 6. Let x(g) = g - 1. Let p(a) = -4*x(a) + z(a). Let o be 4/6*15/2. Is p(o) a prime number?
True
Let r be 4 - (3 + (-2 - 1)). Let a be -1 - (-4)/2 - -424. Suppose 2*v + 0*v + r*c = 158, 0 = -5*v + 5*c + a. Is v prime?
True
Suppose -12*p = -7*p - 435. Let b = 158 - p. Is b a prime number?
True
Suppose -3*c - 9 - 9 = 0. Let w(u) = 2*u**2 + 7. Is w(c) prime?
True
Let m(c) = 5*c**2 + 2*c - 1. Let p be m(1). Suppose 5*i + l + p = 0, l + l = -5*i - 2. Is (-2)/(i - (-120)/62) composite?
False
Let l = -20 - -23. Suppose 0 = w - 64 - l. Is w composite?
False
Suppose 1 = -2*m - 1. Suppose -a + 3 = 2. Is 53*a + 1 + m a composite number?
False
Let x be 0 - 3/((-6)/(-34)). Let r = 59 + -32. Let p = r + x. Is p a composite number?
True
Let c = -336 + 507. Suppose -c = -3*r + 147. Suppose r = i + i. Is i a composite number?
False
Let c be (-18)/4 + 4/8. Let k be (-6)/4*(-6 - c). Suppose 0*y = k*y - 138. Is y composite?
True
Let g(h) = 2*h**2 + 27*h - 51. Is g(22) a composite number?
False
Let b(w) = 11 - 11 - 2 - 13*w. Is b(-3) prime?
True
Let p(f) = -3*f - 15. Let q be p(-6). Suppose 3*d - 5*j - 120 = 0, -2*d + 120 = d - j. Let s = d - q. Is s prime?
True
Let m(a) = 212*a + 1. Let v = 5 + -4. Is m(v) prime?
False
Suppose 196 = 4*h + 4*b - 24, -3*b - 255 = -4*h. Is 556*(h/16 - 3) composite?
True
Suppose -4*d = d - 25. Suppose 2*k - 1743 = -k. Suppose -d*r + 0*y + 4*y = -k, 5*r - 2*y - 573 = 0. Is r a composite number?
False
Let r(j) be the first derivative of 2*j**3/3 - 3*j**2 - 3*j - 4. Let q be 8/(-3)*(-18)/8. Is r(q) composite?
True
Suppose 3*g = -2*g - 5. Is 32 + 2/1 + g composite?
True
Let b be 2*(1/(-2) - -1). Let r be (-2)/(4/(-222)) + b. Suppose 3*k + 0*y = -y + r, y = 1. Is k a composite number?
False
Suppose 9*k - 37760 = -10445. Is k a composite number?
True
Is (278/(-4))/1*-2 a composite number?
False
Let i(l) = 90*l**2 + 9*l + 6. Is i(-3) composite?
True
Suppose -b + 3 = 0, a - 3*b = 2*a - 21. Let j = a - -21. Is j*(2 + (-1)/3) a prime number?
False
Suppose -4*a + 9*a - 10 = 0. Suppose a*y - 902 = -0*y. Is y a prime number?
False
Suppose 2*i - 3*n - 19 = 0, n + 1 = i - 3*i. Suppose 4*q + 3*l - i*l = 77, q + 5*l - 24 = 0. Suppose w + 3*j - 48 = q, 2*w - 174 = 4*j. Is w a composite number?
False
Let n = -36 - -41. Suppose -x = c - 3 + 1, -6 = -5*c - 3*x. Suppose -63 = -v + 4*g, -n*v - 3*g + 269 = -c*v. Is v a prime number?
False
Let m = -64 + 263. Is m a prime number?
True
Let i be (2 - 6/3) + -2. Is (-2)/(-3)*(23 + i) a composite number?
True
Let i = -7 - -8. Suppose a - i = 6. Suppose -593 = -2*j - a. Is j a composite number?
False
Let f = -10 - -13. Is -2 + f/1 + 18 prime?
True
Suppose -2*b = -b + 23. Suppose -16 - 48 = -2*o. Let n = o - b. Is n a prime number?
False
Suppose 3*h = -0*h - 804. Let y = h - -573. Is y a composite number?
True
Let o = 7 + 0. Suppose -4*w - 5*h = -254, o*w - 2*w - 2*h - 301 = 0. Suppose -b + w = 3*m, 5*b - 1 - 19 = 0. Is m prime?
True
Let l(t) = -2*t**3 - 5*t**2 - 5*t - 3. Let a(y) = -y**2 + 4*y - 1. Let f be a(3). Suppose -w + 3*h = -f, 2*w - 3*h - 2 + 4 = 0. Is l(w) a prime number?
False
Let x(f) = 27*f**3 + 4*f - 1. Is x(2) a prime number?
True
Let z(h) = 415*h - 17. Is z(4) composite?
True
Let a be ((-4)/(-10))/(1/(-15)). Let k(w) = -w**3 - 5*w**2 + w + 4. Is k(a) prime?
False
Let c(x) = 11*x**2 - 3*x + 3*x**2 + 12*x**2 - 1. Is c(-2) a prime number?
True
Let c(k) = -26*k. Let r = -7 + 6. Let v be c(r). Is v - (2 - (3 - 2)) a composite number?
True
Suppose 0 = 4*p - 2*p + 362. Let l = 10 - p. Is l composite?
False
Let n(w) = 2*w + 3. Is n(5) a composite number