 Is x prime?
True
Let x be (14/(-8))/(5/20). Is (-2)/(-7) + (-96)/x prime?
False
Let k = -25 + 181. Let m = 67 + k. Is m composite?
False
Suppose 13155 = 7*m - 4*m. Is m composite?
True
Let s(v) = 266*v**2 + 1. Is s(-1) composite?
True
Let h be (6/(-5))/(2/(-85)). Suppose 20 = 5*a + 4*y + h, 5*y + 32 = -4*a. Is 119/2*(a + 5) a composite number?
True
Suppose -10 = -9*o + 4*o. Let q be -1 + (1 - o) + 4. Suppose q*p - 342 = -2*p + 2*b, 4*b + 20 = 0. Is p composite?
False
Let a(m) = 57*m**2 - 13*m - 11. Let t(x) = -28*x**2 + 6*x + 5. Let l(w) = -6*a(w) - 13*t(w). Is l(-2) a composite number?
False
Let y = 1894 - 308. Let f be y/14 + 8/(-28). Let d = -54 + f. Is d a prime number?
True
Suppose 3*x + 2*q + 4 = 12, 5*x - 50 = 4*q. Let t(i) = 4*i**2 + 11*i + 18. Let n(o) = o**2 + 4*o + 6. Let m(y) = 7*n(y) - 2*t(y). Is m(x) a prime number?
False
Suppose 3*h - 21 = 6. Suppose -2*i = -5*i - h. Let y(a) = -a + 4. Is y(i) composite?
False
Is 40/(-180) + (-14026)/(-18) prime?
False
Suppose 5*v - 3*v - 1288 = 0. Suppose z = 5*z - v. Is z a composite number?
True
Let j(y) = 3*y**2 - 7*y + 4. Let o be j(2). Let f be ((-1)/(-2))/((-2)/4). Is (-2)/(o + f) - -49 prime?
True
Suppose 2*h + 2 = -w, -3*h + w - 14 + 1 = 0. Let t be h/12 + 1166/(-8). Is (1 + 0)*(-1 - t) composite?
True
Suppose 5*m - 13 = 7. Suppose 2*u + 16 = -5*y + 1847, m*y - 2*u - 1454 = 0. Is y prime?
False
Let r(n) = -n**3 + n**2. Let l(t) = 15*t**3 - 8*t**2 + t - 1. Let x(c) = l(c) + 5*r(c). Is x(2) prime?
False
Let b(h) = 50*h + 1. Is b(5) a composite number?
False
Let d(b) = b**2 - 8*b. Let q be d(8). Suppose 4*l + 2*r - 32 = -q*r, 5*l - 5*r - 10 = 0. Suppose 9 = l*z - 3*z. Is z composite?
False
Is 6441/21 + (-4)/(-14) prime?
True
Let o(z) = -2*z**3 - 6*z**2 - 7*z - 4. Let g be o(-8). Let a = -427 + g. Is a composite?
True
Suppose -z + 14 = 3*w + 2, 3*w - 12 = -3*z. Suppose -w*i + 5 = -3. Suppose -i*y + 2 + 0 = 0, 0 = -3*s + 5*y + 52. Is s a prime number?
True
Is (-4)/(-12)*-7*-291 a composite number?
True
Suppose 132 - 393 = -3*w. Is w prime?
False
Let u be ((-2)/3)/((-10)/165). Let y = u + -8. Suppose y*a - 170 = b, -5*a + 290 = -2*b - b. Is a a prime number?
False
Let z = 4 + -1. Suppose 4*q - 3*q - 165 = 2*f, -4*f - 491 = -z*q. Is q composite?
True
Let t(a) = -3*a**2 + 4*a**2 + 3*a - 4*a + 71. Let k be t(0). Let l = 184 - k. Is l prime?
True
Let z be (-6)/5*(-120)/18. Let c(g) = g**3 - 9*g**2 + 9*g + 7. Is c(z) a composite number?
True
Let t be (-1)/(3 - (-21)/(-6)). Let w(y) = t*y + 3*y + 0*y + 4 + 2*y. Is w(7) a prime number?
True
Let g be (-8)/(-6)*(-3)/(-2). Suppose -102 = -g*u - 4*d - 0, -2*d - 224 = -4*u. Is u a composite number?
True
Suppose 39 = -3*u + 102. Suppose 0 = r - 28 - u. Is r prime?
False
Suppose k - 2 = a, -5 = -5*a - 0*a. Suppose 1540 = -0*t + 4*t. Suppose 0 = -k*y + 8*y - t. Is y a prime number?
False
Let b = -6 + 8. Let o be b - 3 - (-2 + -2). Suppose -o = 4*a + 4*h - 79, -103 = -5*a - h. Is a prime?
False
Let s(h) be the third derivative of -85*h**4/24 - h**2. Let r = 13 - 14. Is s(r) composite?
True
Let j(m) = -m**2 + 6*m + 8. Let d be j(6). Suppose -5*y + d = -12. Suppose 0 = -2*q - 3*p + 60, -y*p - 136 = -4*q - 2*p. Is q prime?
False
Let s = 5 - 1. Suppose s*t = 5*t. Suppose t = q + q - 682. Is q prime?
False
Suppose -5*r - 172 = -v, -2*v + 0*r = -r - 317. Let a = 335 - v. Is a prime?
False
Suppose 0 = -0*r + 3*r - 3*l - 96, 5*r = -3*l + 152. Suppose 2*y - 159 = -5*t, 4*t - 50 = -y + r. Is y a prime number?
False
Suppose -4*w - 43 = -a, a - 2*w - 16 = -7*w. Is a a prime number?
True
Suppose -3*v - 697 = -3*y - 8*v, -733 = -3*y + 4*v. Is y a prime number?
True
Let c = -3 + 3. Suppose c = -3*z + 5*z. Suppose 2*w - 5*w + 237 = z. Is w a prime number?
True
Let s(m) = 20*m + 15. Suppose 2*f - 4*v = 6, -2*f = -6*f + 4*v + 28. Is s(f) prime?
False
Let l = -158 + -84. Let v = l - -535. Is v a prime number?
True
Let c(u) = -36*u - 29. Is c(-26) composite?
False
Let q(i) = 6*i**2 - 7*i + 6. Let t(p) = -p**2. Let v(a) = -q(a) - 5*t(a). Is v(5) a prime number?
False
Let b = 4 + -6. Is (154/(-4))/(b/4) prime?
False
Suppose 5*o = -803 + 263. Let x = o - -217. Is x prime?
True
Let f = 0 - 1. Let z be 0 + -3 - 3/(-3). Is 2 - (-12 - (z - f)) a composite number?
False
Let h(x) = x**3 + 7 + 5 - 3*x**2 - 4*x - 6. Let k = 10 - 6. Is h(k) prime?
False
Let d = 4 + -10. Is (d/(-4))/(2/148) a prime number?
False
Let y be ((-28)/3)/((-10)/75). Suppose -y = -5*q + 35. Suppose 0 = -2*n + q + 21. Is n a composite number?
True
Let m(w) = 84*w - 13. Is m(9) composite?
False
Suppose 4 - 20 = -4*g. Suppose -q = g*t - 34, -4*t - 322 + 80 = -5*q. Is q composite?
True
Let c(q) = 4*q**3 - 2*q**2 + q - 4. Is c(2) a composite number?
True
Let o(l) = l - 2. Let f be o(7). Suppose 0 = f*y + 5, -3*y = -5*r - 6*y + 52. Suppose 24 = g - r. Is g a composite number?
True
Let p be (-13)/(-5) + (-2)/(-5). Suppose -x + 3*x - 5*v = 69, 0 = p*x - v - 110. Is x a prime number?
True
Let l(f) = -f**2 - f + 1. Let m(g) = -2*g**2 - 5*g + 4. Let n(d) = -4*l(d) + m(d). Is n(3) prime?
False
Let m be (-6 + 1)/(-1 + 0). Suppose -h = -3*u - 79, 237 = 2*h + h + m*u. Is h a composite number?
False
Let k(a) = 308*a - 1. Is k(10) a composite number?
False
Suppose 0 = -5*d - 15, 5*v - d - 1880 = -6*d. Is v a prime number?
True
Is (-10)/30 + (5732/6 - 0) a prime number?
False
Suppose 0 = j - 2*j - 3*l - 673, -5*j = 5*l + 3325. Let k = 1014 + j. Is k composite?
False
Let c(j) = 4*j**3 - 3*j**2 + 7*j - 1. Is c(4) prime?
False
Let z(q) = 88*q - 2. Let r be z(5). Let x = -165 + r. Suppose -5*f + 2*p + 1165 = 0, 2*f - 5*p - x = 193. Is f a composite number?
False
Let r(m) = -m**2 + 0*m - 1 - 80*m**3 + 3 + 2*m. Is r(-1) composite?
False
Let a(m) = -m**2 - 10*m. Let l be a(-7). Suppose -2*n = -2, r = 3*n - 5*n + l. Is r a composite number?
False
Suppose 3*o + 3*w + 116 = 1376, 3*o - 1270 = 2*w. Suppose 0*q - 2*q = -o. Is q composite?
False
Let p = 1 - 7. Let u be 4/6 - 1928/p. Suppose t + t = u. Is t prime?
False
Let l(z) = 48*z - 5. Is l(8) a composite number?
False
Let o(f) = 7*f + 1. Let m = -4 + 4. Suppose 0 = -m*b + 4*b - 8. Is o(b) a prime number?
False
Let h(n) = -107*n**3 + n**2. Suppose 4*f - x = 3*x - 12, -4*x = -3*f - 11. Let p be h(f). Suppose 9 - p = -3*s. Is s a composite number?
True
Let x(k) = k + 1567. Is x(0) composite?
False
Let v(i) = 234*i**3 + 1. Is v(1) a composite number?
True
Let m(c) = -c**3 + 3*c**2 - 2*c. Let w be m(2). Suppose 6*o - 3*o = w. Suppose 3*u = 4*l + 201, o = 4*u - 2*l - 99 - 169. Is u composite?
False
Suppose -3*c - 5*w = -617, 3*w + w = 3*c - 581. Is c composite?
False
Let a be -72 - (0 + -1 + 3). Let o = a - -339. Is o prime?
False
Let w(n) = -220*n**3 - 2*n - 1. Let f(d) = -2*d - 21. Let s be f(-10). Is w(s) composite?
True
Let k(j) = 33*j + 47. Is k(10) prime?
False
Let k be (-6 - -5)/(-1 + 2). Let y = -1 - k. Suppose y = 4*p + 4*d - 3*d - 267, 4*d = -4. Is p a prime number?
True
Suppose -2*u - 271 = -3*u. Suppose -2*t + u = 5*q + t, 206 = 4*q - 3*t. Is q a prime number?
True
Let y(r) = 7*r + 2. Let x(g) = 3*g - 4. Let z = 6 - 3. Let m be x(z). Is y(m) composite?
False
Let w = -42 + 142. Suppose 7*r - 4*r - 12 = 0. Suppose 0*n + r*n - w = 0. Is n composite?
True
Let z(f) = -14*f - 5 + 2 + 4 + 2. Is z(-4) a composite number?
False
Let u(h) = 15*h**3 + 3*h**2 + 4*h + 1. Suppose 14 = 3*x - 4*t - t, -x = t - 2. Let q be u(x). Suppose p = -4*p + q. Is p prime?
True
Let j(i) = 3*i. Let s be j(4). Suppose c + 31 = -4*o, 4*o + 5*c = -31 - s. Is (o - -4)*(-7)/1 composite?
True
Let j(i) = 7*i**2 - 6*i - 6. Is j(5) composite?
False
Is ((-51)/4)/(48/(-128)) composite?
True
Let n be (-3)/3 + 9 - 0. Suppose 2*o = 18 + n. Is o composite?
False
Let u(k) = -125*k - 3. Let i be u(-2). Suppose -3*j + i = -38. Suppose 4*c = 3*r - j, -3*c = 3*r - 52 - 71. Is r prime?
True
Suppose 3*j + 448 = 2*j + 5*f, 3*f + 2100 = -5*j. Let h = j - -617. Is h prime?
False
Suppose 7*c - 175 = 1302. Is c composite?
False
Let p = 132 + -69. Suppose 7*x + p = 3*r + 4*x, 0 = -x + 5. Is r composite?
True
Let h = 24 + -30. Is -2*-1*(-897)/h prime?
False
Suppose -13*b + 1270 = -11*b. Is b a prime number?
False
Let a = 1 + -1. Suppose a = 5*o - 3*o - 46. Suppose 83 - o = 4*c. Is c composite?
True
Let q be 5*5/((-75)/(-12)). Suppose -1