= o + 1, -20 = 5*g + 2*o. Is (-1533)/(-14) + g/4 prime?
True
Let d(m) = -m**3 - m**2 + 1073. Is d(0) a composite number?
True
Let m(s) = s**2 + 3*s + 3. Let r be m(-2). Suppose -r = -x + 3*f - 2, 46 = 4*x - 2*f. Is x a composite number?
True
Is 1772/10*(-1 + 6) prime?
False
Let a = -142 - -23. Let k = -49 - a. Suppose 4*d - k = -d. Is d prime?
False
Let p be 3 + ((-634)/(-2) - -3). Let k(g) = -g**3 + 5*g**2 - 2. Let l be k(7). Let t = p + l. Is t composite?
False
Suppose 0 = 5*x - 9 - 11. Suppose -3*o + 174 = -0*j - x*j, 0 = j. Suppose 3*z = 5*n + 13 + o, -5*n - 115 = -5*z. Is z prime?
False
Suppose 0 = 2*d - 717 - 69. Suppose z - h - 3*h = 12, 5*z + 5*h = -15. Suppose -3*n + 4*t + d = z, 6*n - 4*n + t = 251. Is n prime?
True
Let y(l) = l**3 + 2*l**2 - 2*l - 2. Let v be y(-2). Suppose -40 = -v*x + 26. Suppose -122 - x = -5*n. Is n a prime number?
True
Suppose 0 = -3*u - 3*r + 6, r - 2 = u - 12. Is 25 - (-4)/(u + -2) a prime number?
False
Let x = -7 - -2. Let s be 1/(-5) - 956/x. Is (0 - -1)/(1/s) a composite number?
False
Let q be (-4)/(-2) + 4 + 1. Suppose 0 = 5*w + 4*b + 3 + 5, -4*w + 2*b = -4. Let z = q - w. Is z prime?
True
Let j be (3/(-6))/(2/(-20)). Suppose -1 = -j*a - 91. Let t = a - -33. Is t a composite number?
True
Suppose 5*k - 3*u = 11650, u - 1154 - 3517 = -2*k. Is k composite?
False
Suppose 0 = 5*r + 3*s - 21, 4*r - s = s + 8. Let p(t) = t**2 - 5*t - 6. Let q be p(6). Suppose -r*x + 57 = -q*x. Is x composite?
False
Is ((-30)/90)/(1/(-363)) a composite number?
True
Is 4487 + -1*(-3 + 6 + -3) a prime number?
False
Suppose -4*f = -4 - 8. Suppose -o = f*o + 48. Let g = -3 - o. Is g composite?
True
Let k(j) = 43*j**2 + 4*j + 3. Let u be k(-3). Let l = 254 - u. Let s = 25 - l. Is s composite?
False
Let j be (-94)/14 - 4/14. Let y(w) = -w - 4. Is y(j) composite?
False
Let z(m) = -83*m + 2. Is z(-3) prime?
True
Let c(h) = -h**2 + 16*h - 6. Let l(m) = -1. Let n(x) = x - 2. Let r be n(3). Let w(f) = r*l(f) + c(f). Is w(6) a composite number?
False
Let l = 322 - 165. Is l a composite number?
False
Suppose 76 = -y + 405. Is y a prime number?
False
Let w be 2286 - 0/(-2 - 0). Suppose -6*f + f = x - 3818, 3*f + 3*x - w = 0. Suppose -5*u + f + 161 = 0. Is u a prime number?
False
Suppose i + 170 = -187. Is 1/(-2) + i/(-6) a prime number?
True
Is (-2)/8 - (-2151)/12 a composite number?
False
Suppose 4*o - 2*d = 16, 5*d = -2*o - 22 + 6. Suppose 4*f - o*f = 0. Suppose w + 5*h = 34, -2*h + 22 = w - f*h. Is w prime?
False
Let t = 4 - 0. Suppose t*q + 0*q - 360 = 0. Let o = 129 - q. Is o a prime number?
False
Let x(p) = -20 - 3*p**3 - 14*p**2 + 2*p**3 - 24*p + 5 + 4*p. Is x(-14) prime?
False
Let n be (-3)/6*-4 - 0. Suppose 0 = k - 2*k + n. Is (k + 20)*7/2 composite?
True
Is (164*-2)/(-4) - (3 + 0) a composite number?
False
Is (1355 - (3 + -1)) + 40/10 prime?
False
Let f(z) be the first derivative of -z**2/2 + 7*z + 1. Let u be f(7). Is (0 - 0) + (37 - u) a composite number?
False
Suppose -4*a + 656 = 3*o - 44, 175 = a + 5*o. Let j = a - 98. Is j a composite number?
True
Let b(l) = -2*l**3 + 2*l**2 - l. Let k(j) = -j**2 - 2*j + 4. Let q be k(-3). Let s be b(q). Is s/2*4*-3 prime?
False
Is ((-7313)/(-5) - -2) + 2/5 prime?
False
Is 4/16 - 4166/(-8) composite?
False
Let k(m) = m + 4. Let x be k(-5). Let g be (x - -2)/((-3)/(-6)). Suppose 205 = -v + g*v. Is v a prime number?
False
Suppose 3*w - 2*w = x - 8, -3*w - 3*x = -6. Let c be (-17)/17 + 2*12. Is c - 3*(-4 - w) prime?
False
Let k(q) = q - 3. Let j be k(-5). Let w(v) = -4 - 2*v - 1 - 2. Is w(j) composite?
True
Suppose -130 - 24 = -2*l. Is l prime?
False
Let o be (8/(-2))/(0 + -1). Suppose 0 = -o*g + 395 + 541. Is ((-4)/6)/((-12)/g) prime?
True
Let j(z) = -35*z + 18. Is j(-8) prime?
False
Is (1 + 2)/((-5)/(-905)) a prime number?
False
Let h = 50 - -33. Is h prime?
True
Let u = -14 - -38. Suppose 12 = 3*p + v - 0*v, 4*p + 4*v - u = 0. Suppose 3*m = p*b + 69, 2*b + 20 = m - 3. Is m a prime number?
True
Let m(p) = -p**3 - 3*p**2 + 5*p + 5. Let b be m(-5). Suppose 0 = -5*g + 130 + 110. Suppose 2*h = -9*j + 4*j + b, -4*h - 4*j = -g. Is h a prime number?
False
Suppose 2*j + 5*i + 25 = 0, 6*i + 20 = 2*i. Suppose j = -6*p + 412 + 62. Is p a prime number?
True
Suppose -896 = 5*p - 3*y, 5*y + 188 + 336 = -3*p. Let q = p - -369. Is q composite?
False
Let y(t) = 14*t**2 - 8*t + 1. Let l(z) = z**2 + z. Let c(p) = 5*l(p) + y(p). Is c(4) a composite number?
False
Let w(h) = h**2 + 8*h - 7. Let b be w(-9). Suppose -4*o + 3860 = 2*m, -b*o - 3*m - m + 1918 = 0. Is o a prime number?
True
Let q be (-52)/(-10) - 1/5. Suppose 81 - 596 = -q*x. Is x prime?
True
Suppose -9*q = -3*q - 1110. Is q a composite number?
True
Let b = 4 + -2. Suppose b*u + 399 = 3*q + 2*q, 3*q = -2*u + 233. Is q composite?
False
Suppose q = 2*q - 6. Let w = q - 3. Suppose -5*p = 2*b - w*b - 217, 3*b + 6 = 0. Is p a prime number?
True
Let o(d) = 44*d - 13. Is o(6) prime?
True
Suppose -3*h + 20 = h, 0 = 5*b + 4*h - 5100. Suppose 5*u + s = b, 401 = 2*u + s - 6*s. Is u a prime number?
False
Let k(j) = 20*j**2 - 3*j. Is k(5) composite?
True
Let u = 128 - -81. Is u a composite number?
True
Let a(o) = -o - 5. Let q be a(-3). Let f = -2 - q. Suppose f = -3*r + r + 230. Is r prime?
False
Suppose 0 = 2*g + 5*d + 17, -4*d + 45 = 5*g - 9*d. Let x be 100/45 + g/(-18). Suppose -x*p - 89 = -3*p. Is p prime?
True
Is (-2 - (-5)/2)*498 a composite number?
True
Suppose 75 = -8*u + 4*u + 3*k, 5*k = 3*u + 70. Is (-1153)/u - 2/(-15) a composite number?
True
Let v = 505 - 346. Is v a prime number?
False
Let z(u) = -u - 2. Let q be z(-3). Is (0 - -1)/(q/21) a prime number?
False
Suppose -5*j = -231 - 1339. Is j a prime number?
False
Let a = 8 + -6. Let d be 17/(-3) - a/6. Is 10 + d - (-2 - 1) a composite number?
False
Let i(g) = 47*g + 48. Is i(19) a composite number?
False
Let i be 0 + 100 + (-1)/(-1). Suppose -5*p + i = -269. Is p prime?
False
Let h be (-8)/(-6)*3 + 0. Suppose -q + 5*c = -76, -4*c + 540 - 164 = h*q. Is q composite?
True
Let g be (5 - 6)/(3/(-39)). Suppose -5*d + 243 = -67. Let w = d - g. Is w prime?
False
Let g = 178 - 302. Let o be (0 - 1 - -3) + g. Let j = o - -241. Is j composite?
True
Is (-74)/(600/(-1485) + (-2)/(-9)) a composite number?
True
Is 1/(-1)*(-1412 - -3) a composite number?
False
Suppose 7*b - 2*b = 0. Suppose -i + 105 = 2*q - b*i, 158 = 3*q + i. Is q composite?
False
Suppose -2*f + 0 + 6 = 0. Suppose -a = 4*r - 24, 3*a = -0*r + 3*r - f. Suppose n = r + 48. Is n a prime number?
True
Suppose 3*q + m + 2 = 2*q, -5*m - 37 = -4*q. Suppose -d + 2*b + 7 = -2*b, -q*d + 2*b + 41 = 0. Is d a composite number?
True
Let m(h) = -16*h**3 - h**2 + 2*h + 1. Let i be m(2). Let a = -45 - i. Let s = a + 7. Is s a prime number?
True
Suppose -11665 = 24*u - 29*u. Is u a composite number?
False
Let f(x) = x**2 - 4*x + 41. Is f(-20) a composite number?
False
Let s = 6 - 1. Suppose -g - 456 = -5*d, -s*d + 272 = -2*d + g. Is d composite?
True
Let n(c) = 5*c**2 + 20*c - 11. Is n(-10) a composite number?
True
Let p = 64 - -67. Is p a composite number?
False
Let w(v) = 10*v - 2. Let g be w(-2). Let x = g - -16. Is -93*((-8)/x)/(-4) a prime number?
True
Suppose 0 = 3*j - 1704 - 4266. Suppose 7*o - j = 2*o. Suppose 0 = 5*c + 2*q + q - o, c - 2*q - 77 = 0. Is c a prime number?
True
Let g(k) = 4*k**2 + 5*k + 7. Is g(-4) composite?
True
Let w = 180 + -167. Is w prime?
True
Let t(c) = c**3 + 5 - c**2 - 7*c**2 + 2*c + c**2. Let r be t(8). Is (r - 0) + 4/(-2) composite?
False
Let g = -3815 - -5868. Is g a composite number?
False
Let g = 129 - 72. Suppose 0 = -5*x - 3*s + 170, g = 4*x - 2*s - 101. Is x a prime number?
True
Let a be 1/(-1) + 3 + 0. Suppose 5*c - 441 = -2*m - 118, 125 = a*c + 5*m. Is c a composite number?
True
Let k(x) = -105*x + 26. Is k(-9) composite?
False
Let w(r) = -r**3 - 4*r**2 - 4*r - 9. Is w(-4) a composite number?
False
Suppose -43 = 3*w + 4*t, w + t = -0*w - 13. Let y(l) = l**2 + 8*l + 5. Is y(w) prime?
False
Let n = 10 - 4. Let f be 18/(-5)*(-12 + 2). Suppose -3*i = -n - f. Is i a prime number?
False
Let k = -155 - -1044. Is k a composite number?
True
Suppose 2*s = 526 + 656. Is s a composite number?
True
Let q(y) = 34*y**2 - y - 1. Let b be q(-1). Let a = 53 - b. Is a prime?
True
Let h(s) be the first derivative of 13*s**3/3 - s**2/2 + s - 1.