 Suppose l - 4 = f. Is l prime?
False
Suppose 5*a - 6 = 3*a. Is 35 + (a + 0 - 1) a prime number?
True
Let g(j) = -348*j + 7. Is g(-4) a prime number?
True
Let w be -3 + 3/(-3) + 744. Is 1*w/4 + 2 a prime number?
False
Suppose -4*y = 205 + 239. Suppose 5*m = -q + 2, 3*q - 3*m = 2*m + 6. Is 2/(216/y + q) composite?
False
Is 2/(-11) - 1170/(-22) a prime number?
True
Suppose -5*z - 104 = -3*z. Let w(m) = m**3 - 4*m**2 + m - 4. Let y be w(3). Is (1 - -4)*z/y composite?
True
Let i(t) = -2*t - 1. Let a be i(-2). Suppose -471 = -5*z + g, -z - 2*g = 4*z - 468. Suppose -161 - z = -a*b. Is b a composite number?
True
Let j(u) be the third derivative of 11*u**4/24 - u**3/3 + u**2. Let s be j(2). Let b = 31 - s. Is b composite?
False
Suppose -w + 2*d - 2 + 11 = 0, 4*w = 4*d + 40. Suppose -2*g + 2*r + 3*r + 22 = 0, -g - 3*r + w = 0. Let t = g - -36. Is t composite?
False
Suppose 2*o - 21 = -5*l, l = -o + 2*o. Is 327/6 + o/6 composite?
True
Suppose -3*x = -4*n - 377, 5*x - x = -3*n + 511. Is x prime?
True
Let c be 2/(-6) - 3/(-9). Suppose c*s = -s + 47. Is s composite?
False
Suppose r + 4 = 5*r. Suppose 3*u + 6*m + r = m, 4*u = 2*m + 16. Is 98/u + 1/3 prime?
False
Let z(q) be the first derivative of -30*q**2 - 4*q + 1. Let j be z(-2). Suppose 0 = -d + j + 93. Is d composite?
True
Let p(y) be the first derivative of -5*y**4/4 + 2*y**3/3 + y**2 - y - 1. Is p(-2) prime?
True
Let w(n) = -28*n + 3. Is w(-2) a composite number?
False
Let i = 154 - 69. Suppose -4*u + i = -199. Is u a composite number?
False
Let a(j) = -2*j**2 - 1. Let u be a(-1). Let k(o) = -35*o + 4. Is k(u) a composite number?
False
Let n(k) = -k**3 + 2*k**2 - 2*k - 5. Let c be n(-5). Let h = 365 - c. Suppose 0*x - h = -5*x. Is x composite?
False
Suppose 0 = 3*l - 4 - 5. Is (-156)/(-10) + l/(-5) a prime number?
False
Suppose 3*d - 44 = 6343. Is d a prime number?
True
Let s be (2/(-10))/(3/(-15)). Let h be (3 - s)*(-3 + 4). Suppose 2*b = 3*j + 61, -h*j = -0*b - 3*b + 99. Is b composite?
True
Let s = -96 - -145. Suppose 3*w - 152 = s. Suppose 0 = 4*z - w - 457. Is z composite?
False
Let k(o) = 4*o**3 + o**2 + o - 7. Is k(3) a composite number?
False
Is (9/(-6))/((-12)/3032) composite?
False
Let q = -2 - -5. Let s = q - 0. Suppose d - 85 = 3*h - 0*h, -s*h - 243 = -3*d. Is d a composite number?
False
Let j(i) = -i - 2. Let r be j(-6). Suppose -r*y = -4*u + 96, 2*y + 0*y = -5*u + 134. Is u prime?
False
Let f(u) be the third derivative of 11*u**4/24 - 13*u**3/6 - 5*u**2. Is f(10) composite?
False
Let t = 9 + -9. Suppose t = 6*u - u - 235. Is u a prime number?
True
Let x = -4032 - -5681. Is x composite?
True
Let q = -126 - -212. Suppose -3*i + 2*d + 367 = 0, 2*i - 141 = 5*d + 111. Let y = i - q. Is y composite?
True
Let y(w) = w + 4*w**3 + 1 + 7*w**2 + 0*w - 3*w**3. Suppose -2*m + 3*m + 2*x + 8 = 0, 3*m + 21 = -3*x. Is y(m) a composite number?
False
Let u(h) = 2*h**2 - 12*h + 12. Let m be u(8). Let d = m - 10. Is d a composite number?
True
Suppose 4*h + 32010 = 5*g, 7*g + 12837 = 9*g + 5*h. Is g a prime number?
False
Let d(m) = 5*m**2 - 4*m - 8. Let i(x) = x**2 + 1. Let p(u) = d(u) + 4*i(u). Let f be 1/(-5) + ((-24)/5 - -2). Is p(f) composite?
False
Let d = 9 + -6. Suppose d*s - 5*s = -158. Is s a prime number?
True
Is ((-2)/(-2))/(3/11631) prime?
True
Let l(j) = 11*j**3 + j**2 + 3*j - 3. Let k be l(3). Let r = k - 199. Is r prime?
True
Let x(z) = -129*z - 2. Is x(-1) composite?
False
Let i(t) = -t**3 - 12*t**2 + 12*t - 8. Let q be i(-13). Let z(w) = 39*w**2 + 3*w - 5. Is z(q) composite?
True
Let g be 3 + 3/((-6)/2). Suppose g*q - 519 - 11 = 0. Let y = q + -154. Is y a composite number?
True
Let d(r) = 2*r**2 - 4*r - 11. Is d(-8) a composite number?
False
Let i(p) = p + 1. Let w be i(8). Let d be 8/6*w/(-6). Is (8/d)/(-2) - -45 a composite number?
False
Suppose -27 = -4*k - 11. Suppose -n = k*n - 745. Is n prime?
True
Let n = 174 + -47. Is n a prime number?
True
Let r be (-1)/(-1*2/(-66)). Let k = -23 - r. Is k a prime number?
False
Let g = -16 + 9. Let v = 9 + g. Suppose -105 = -v*q + 29. Is q composite?
False
Let x(o) = -1481*o + 15. Is x(-4) a prime number?
True
Let z(x) = -304*x - 1. Is z(-1) a composite number?
True
Let p = 26 + -1. Suppose 3*s - 35 = -j, p = j + 5*s - 2. Is j prime?
True
Let u(z) = -z**3 - z**2. Let r = 1 - 2. Let b be u(r). Suppose b = i - a - 21, 70 = 4*i - 0*a + 3*a. Is i a prime number?
True
Suppose -3*v - 124 = -4*y - 504, 3*v = 0. Let i = 222 + y. Is i prime?
True
Let m be (-1 + 1)*(-1)/(-2). Suppose 3*s = 2*p + 2 + 32, 2*s - 31 = 3*p. Suppose 0 = 2*x - m*x - s, 2*x + 27 = 5*a. Is a a composite number?
False
Let i be (-2)/(4 - 2) - -1. Let h(z) be the third derivative of z**5/60 + 25*z**3/6 + 2*z**2. Is h(i) a prime number?
False
Let s(a) = -169*a - 4. Let y be s(-2). Suppose y = 5*d - 111. Is d composite?
False
Is (0 - 2)*4/((-8)/67) a composite number?
False
Suppose -45 = -k + 2*q, 4*k + 3*q - 152 = 4*q. Is k a composite number?
False
Is ((-1)/2)/((-12)/11928) composite?
True
Let b = 11 - -37. Let u(d) = -3*d**2 + 7*d - 9. Let c be u(4). Let g = c + b. Is g a prime number?
True
Suppose -4*z - 5*x + 89 = 0, x + 55 = -z + 3*z. Is z a composite number?
True
Suppose 0 = 4*d + 186 - 38. Let r = 75 + d. Let q = -3 + r. Is q composite?
True
Is -3 - ((-9)/((-9)/(-422)) - 0) composite?
False
Let w be (1/2)/((-2)/8). Is (-19)/w*(2 - -2) a prime number?
False
Suppose 132 = 3*s + s. Let v = 58 - s. Is v composite?
True
Suppose 4*v = 4*u - 8, -4*u + 27 = 7. Suppose -2*s = -3*s + 93. Suppose -v*l = -6*l + s. Is l prime?
True
Is (3/(-6))/(2/(-2588)) prime?
True
Let u(q) = q**3 - 7*q**2 + 2*q - 3. Is u(8) composite?
True
Let x be (-3)/(-4) - (-13)/4. Suppose -w + x*r - 24 + 71 = 0, 4*w - 5*r - 188 = 0. Is w a composite number?
False
Let p(a) = -3*a**2 + 3*a - 3. Let s be p(-5). Is s/(-2)*(-4)/(-6) a prime number?
True
Suppose -11*f + 12*f - 217 = 0. Suppose -5*t + f + 18 = 0. Is t a composite number?
False
Let z(d) = -26*d - 1. Let q be z(-7). Let m = q - 84. Is m prime?
True
Let b(g) = 37*g. Suppose 0 = -3*y + 6*y - 9. Let n be 2/y*6/4. Is b(n) a composite number?
False
Let h(f) = -3*f + 237. Is h(0) composite?
True
Let n(x) = -2*x + 9. Is n(-13) a composite number?
True
Let b(k) = 66*k**2 + 6*k - 7. Is b(2) prime?
True
Let q(x) = -x**3 + 7*x**2 + 5*x - 5. Let k be 1 + 0 - 3/1. Let y(j) = j**3 - 6*j**2 - 4*j + 5. Let h(f) = k*y(f) - 3*q(f). Is h(10) prime?
False
Suppose 2*r - 3*r = -2. Let j be ((-9)/(-6))/((-1)/r). Is 50 - j/(1 - -2) prime?
False
Suppose 3*c + 86 = -b, -3*c + 8 + 128 = -2*b. Let f = 38 + b. Is (-2)/2*1 - f composite?
True
Let t(l) = -4*l**3 - 5*l**2 + 5*l + 5. Let a be t(-4). Let w = a - 34. Is w composite?
False
Suppose -3*j - 3*l = -234, 0 = 4*j - 4*l - 280 - 40. Let v = 58 + j. Suppose 3*z - 2*u - 69 = 0, 5*z + 0*z - v = -4*u. Is z composite?
True
Suppose -4*q = 4*r + 4, -5*r - 4 = 1. Suppose q = -a + 3*a + 18. Is ((-6)/a)/(8/1524) composite?
False
Suppose 0 = -7*d + 2*d - 15. Let m be d + 5 + -1*1. Let y(f) = 32*f**2 - f. Is y(m) a composite number?
False
Suppose -4*j + 34 = 10. Is j/(-15) - 312/(-5) composite?
True
Let d be (-1)/(-3) + 30/(-9). Let n = 0 - d. Suppose 0 = 2*w - n*p - 65, -4*w + 99 + 16 = -3*p. Is w a prime number?
False
Suppose c = -3*d - 11 - 4, -3*c + 3*d - 9 = 0. Is 3/c*4 + 81 a prime number?
True
Suppose -o + 1 = -3*v, -4*o + 3 = 3*v - 1. Suppose v = -y - 4*y + 10. Suppose 19 = -5*f - 2*r + 248, y*f + r - 91 = 0. Is f a composite number?
False
Is (-32)/208 - (-6073)/13 a composite number?
False
Let k = -7 - -10. Suppose -k*b = b - 28. Is b a composite number?
False
Let w = 74 + 18. Suppose -2*a + w = 4*b, b = -3*a + 2*a + 46. Is a composite?
True
Suppose -4*m = 4*p - 28, -5*m + 23 + 7 = 4*p. Let f be 3/18 + 3/(-18). Let o = f + m. Is o a prime number?
True
Let p(a) = 4*a**3 - a**2 + a. Let z be p(-2). Let g = -15 - z. Suppose 0 = 2*t - g - 51. Is t a composite number?
False
Let y = 3954 + -461. Is y a composite number?
True
Let h(i) = 11*i**2 + 7*i + 5. Is h(6) a prime number?
True
Suppose -15*z = -17*z + 6458. Is z prime?
True
Suppose 3*y - 2043 = -0*w + 4*w, 1019 = -2*w + y. Let s = 715 + w. Suppose -2*l + 30 + 60 = 4*k, k = -4*l + s. Is l a composite number?
False
Let m = -755 - -128. Let l = m + 966. Is l prime?
False
Suppose -4 - 2 = 3*