t r = -626 + x. Is r composite?
True
Is 2/9 - 7387/(-9) a prime number?
True
Let c be (-6)/9 + (-2393)/(-3). Suppose 5*w - c = 1773. Is 12/(-18) - w/(-6) a prime number?
False
Let z be (-2)/(10/(-4) - -3). Let n = 4 + z. Suppose -m + 21 = -n*m. Is m composite?
True
Suppose 5*l + 5*q - 199 = 991, 1190 = 5*l - 3*q. Let g = l + 189. Suppose i - 4*h - 32 - 35 = 0, -5*i = 3*h - g. Is i a composite number?
False
Let z(r) = -156*r - 8. Let l be z(-15). Let t = -1625 + l. Is t a prime number?
False
Let s(r) be the first derivative of -r**4/4 + 5*r**3/3 - 3*r**2/2 + r + 2. Is s(3) prime?
False
Let o = 4 + -1. Suppose 4*s - o = 3*l - 2, -2*l = -2. Is 23 - (s - 1 - 2) composite?
True
Suppose -5504 = -b - 1233. Is b composite?
False
Suppose -2*w - 4*c + 8 = 2*w, -c = 1. Suppose -w*p = -0*p - 3, -s + 69 = 3*p. Suppose 5*d = z + s, z - 7 - 11 = -d. Is d a composite number?
True
Suppose 0 = -4*r - 5*a - 31, -4*r + 4*a - 3 - 1 = 0. Let c be r/12 - 38/3. Let l = 23 + c. Is l a composite number?
True
Let c = -34 + 9. Is (c/2)/(1/(-2)) a prime number?
False
Let h(i) be the third derivative of i**6/120 - i**5/12 + i**4/12 + 7*i**3/6 - 3*i**2. Let b be ((-11)/5 - -1)*-5. Is h(b) prime?
False
Let i(k) = 25*k**2 - 2*k - 13. Is i(-6) a prime number?
False
Let y(j) = 9*j**2 + 1. Let n be y(-1). Let f = 15 - n. Suppose i = 5*x + 37, 4*i - 2*x = -f*x + 240. Is i a prime number?
False
Let x(z) be the first derivative of -2*z**2 - 3. Let u be x(-2). Suppose 3*i = u*i - 65. Is i prime?
True
Let b = 19 + -11. Suppose -4*r = -t + 19, -5*r - 57 = -4*t + b. Is t prime?
False
Let c = 838 - 590. Let z = c - 151. Is z composite?
False
Let c = -5 - -4. Let v be (6/(-10))/(c/5). Suppose l - v*i - 43 = 0, 5*l - 40 = i + 147. Is l a composite number?
False
Suppose -4*h = 41 - 105. Let s = 55 - h. Is s prime?
False
Let u = -10 + 14. Let j(s) = -s**2 + 6*s - 5. Let d be j(u). Suppose x - 8 = d. Is x composite?
False
Let o(h) = h**3 + 10*h**2 + 5*h - 8. Let m be o(-8). Let z = 5 + m. Is z a composite number?
True
Suppose 0*v - v - 5*u = -1559, 0 = -3*u. Is v composite?
False
Let q = -18643 - -26258. Is q composite?
True
Suppose 0 = -8*f - 3*f + 3751. Is f a composite number?
True
Let y(k) = k**2 + 3*k - 1. Suppose -a - 4 = -0. Is y(a) composite?
False
Let o = -37 + 19. Let k(u) = -u**3 - 4*u**2 - 2*u - 6. Let d be k(-4). Is ((-3)/d)/(3/o) a prime number?
False
Is ((-92)/6)/((-1)/(132/8)) composite?
True
Let b be (-3)/6*4/(-1). Suppose -2*h - 10 + b = 0. Let l = h - -10. Is l composite?
True
Let b be (-5)/(-5) - 0/2. Is b/(1395/(-699) - -2) prime?
True
Let f be 3 - (2 + (-1)/1). Let i be 3/f + 1/2. Suppose -x - i*x + 237 = 0. Is x a composite number?
False
Suppose 6*w = 9*w - 1551. Is w prime?
False
Let l(k) = k**2 + 6*k + 6. Suppose -4*r - 1 = -j - 3, 4*j = 2*r - 22. Let x be l(j). Is (1 + 27/x)*2 a composite number?
False
Let q(z) = 5*z + 371. Is q(0) prime?
False
Suppose 4688 = 3*b - 5*n, -2*n - 2405 = -3*b + 2280. Is b a prime number?
False
Suppose w + 1040 = 4*w + 5*u, 5*w + 5*u - 1750 = 0. Is w prime?
False
Let l(h) = 2*h**3 + 7*h**2 - 18*h - 9. Is l(8) a prime number?
True
Let z = -4 - -1. Suppose 0 = -2*q - 2*n + 166, q - 5*n - 21 = 92. Is 1 + q - (z + 1) a composite number?
True
Let l be 45*(-3)/((-18)/34). Suppose 0 = 4*n + n - l. Is n composite?
True
Let r(u) = u**3 + 16*u**2 + 3*u - 3. Is r(-8) prime?
False
Let y(g) = 5312*g - 1. Let i be y(-1). Let l = -55 + 57. Is (l/(-3))/(22/i) a prime number?
False
Suppose 3*v + 0 = 3. Let s be (v + 2 + -1)*1. Is ((-1)/(2/(-212)))/s a composite number?
False
Let m be 3 - (0 + 4/(-2)). Suppose -110 = -0*r - m*r. Is r a composite number?
True
Let s = 1261 + -552. Is s a composite number?
False
Suppose -3*c - 8 = -7*c. Suppose c*a - 3*a = -77. Is a a composite number?
True
Suppose -5*b + 3 = -7. Let c(o) = b*o**2 - o + 0*o - 8*o + 0*o + 2. Is c(7) a composite number?
False
Let u(q) = 17*q**2 - 5*q + 1. Is u(4) a prime number?
False
Suppose s + 4 = 3*s. Suppose -4*b = 3*j + s*j - 196, -3*j - 98 = -2*b. Is b a composite number?
True
Suppose 4*m = 8, -5*m - 10 = -3*k + 160. Suppose 142 = 5*q - 4*o + 3*o, -o + 61 = 2*q. Let u = k - q. Is u composite?
False
Suppose -2*j = -4*l + 123 - 527, -4*l + j - 408 = 0. Let z = -16 - l. Is z prime?
False
Suppose 3*s - 17 = 19. Suppose 3*f - 2*f - s = 0. Suppose 5*k = 333 + f. Is k composite?
True
Suppose -4*o - 21 = -5*o. Suppose 2*a + a = o. Suppose 2*m = a*m, -117 = -3*h - 4*m. Is h prime?
False
Suppose -11*z + 23494 + 6283 = 0. Is z a prime number?
True
Suppose -4*r - 4 = -v + 10, 0 = -5*v - 3*r - 22. Let s(z) = -z - 4*z**2 + 3*z**2 - 8*z**3 - z**2. Is s(v) prime?
False
Suppose 23 = 4*b + 7. Let h(d) = 2*d**3 - 5*d**2 + d + 1. Is h(b) a composite number?
False
Is (1/3)/((-1)/(-483)) a prime number?
False
Is 63 - (0/(-4) + -2) prime?
False
Let k(p) = -2*p - 6. Let h be k(-4). Let v(y) = -y**3 + 2*y**h + 8*y + 5 - 5*y + y**2 - 7*y**2. Is v(-7) composite?
False
Let z(x) = 3*x + 4. Let n be 1*(-1)/(-2)*20. Let w be 33/7 + n/35. Is z(w) prime?
True
Suppose 5*b + 9 = -4*a, 17 = -2*a - b - 4*b. Suppose 0*w - a*w = -508. Is w composite?
False
Suppose 0 = -p - 3*v + 6, 3*v + 4 - 10 = 5*p. Suppose -3*d = -p*s + 5*s + 23, -5*d - 2*s = 13. Is (d + -1)/2 - -146 prime?
False
Let z = 3 + -12. Is (-159)/z*(3 - 0) a composite number?
False
Let z = -135 - -372. Suppose -f = 2*f - z. Is f composite?
False
Let v = -4243 - -6230. Is v prime?
True
Suppose -2*q + 133 + 469 = -4*j, -5*q + j = -1469. Is q a prime number?
True
Let y = 0 + 4. Suppose y*z = 2*i - 1194, i + 4*z + 25 - 592 = 0. Is i a composite number?
False
Let i(s) = 4*s**2 - 2*s - 3. Let y(c) = 3*c**2 - 3*c - 4. Let u(n) = 4*i(n) - 3*y(n). Is u(-2) prime?
False
Let a = -13 - -23. Let l be -1 - a/4*-2. Is ((-15)/(-2))/(3/l) composite?
True
Let x be (-2611)/49 + 4/14. Let g = -20 - x. Is g composite?
True
Let v(g) be the second derivative of 2*g**4/3 + g**3/2 + 4*g**2 - g. Is v(-6) a prime number?
False
Let i(u) be the third derivative of 67*u**4/12 - u**3/6 - 7*u**2. Let l be ((-2)/6)/(1/(-3)). Is i(l) composite?
True
Suppose -7*d + 6*d = -203. Is d composite?
True
Suppose -22 - 3 = -5*f, 3*f = -2*j + 181. Suppose 5*z = j + 287. Suppose 88 = 4*d - 5*w, -4*d + 14 = -2*w - z. Is d composite?
True
Is (3/((-24)/(-244)))/((-1)/(-14)) a prime number?
False
Let s be 3/(1/(0 - 1)). Let h be (4/6)/(s/135). Let f = h + 65. Is f composite?
True
Let h be 5 - 1 - 2/2. Suppose -2*a + 1 = h. Is (1/(-2) - a)*62 a prime number?
True
Suppose -3*q - 2*d - 5 = -3, 3*q + 5*d = -14. Suppose 4*c - 784 = -q*k + 638, 4*c - 20 = 0. Is k composite?
False
Suppose -10*w + 4507 + 4423 = 0. Is w composite?
True
Let a = 871 - 497. Suppose -a = -2*c + 648. Is c prime?
False
Let b = 66 - -1403. Is b prime?
False
Let u be (-2)/(((-10)/4)/5). Suppose 3*p = -2*i - 2*i - 2508, -3*p - 2508 = 5*i. Is 3/u - p/16 composite?
False
Suppose 81*k - 181 = 80*k. Is k a prime number?
True
Let i = -4 + 7. Suppose 4*o = -2*u - 8, o = -0*u + i*u + 12. Is -2*1*62/u prime?
True
Let v be 1*332 + (1 - 1). Suppose -v = -i - 3*i. Is i composite?
False
Let u = -10 - -12. Suppose 2*p + 5*o + 0*o = -142, -u*p - 3*o = 142. Let y = -34 - p. Is y a composite number?
False
Let n = -625 - -1136. Is n prime?
False
Suppose -8 = -2*p - 4*t + 3*t, 0 = 4*p - t - 10. Suppose 5 = -p*x + 5*y - 12, -3*x - 35 = 4*y. Let m(k) = -k**2 - 11*k - 12. Is m(x) composite?
True
Let h(a) be the second derivative of a**5/10 - a**4/6 + a**3/2 + a**2/2 + 3*a. Is h(4) prime?
True
Suppose -2*r + 17 = -3*s - 165, -4*r + 324 = 4*s. Is r a composite number?
True
Suppose t = 2*t - 4. Let m = 186 + -75. Suppose 0 = 3*n + 8 + t, m = 5*z - 4*n. Is z a prime number?
True
Let i(w) = -2*w**2 - w + 2*w + 0*w. Let l be i(-2). Is 106/10 - 4/l a prime number?
True
Suppose -2 = 2*y - 2*p, -2*p + 14 = y + 2*p. Suppose y*c = -5*z + c + 617, -c + 245 = 2*z. Is z/2 + (5 - 2) a prime number?
False
Let v(s) = 5 - 4 - 42*s - 3 + 3. Is v(-3) a composite number?
False
Let i(p) = 2*p - 1. Let c(f) = -f**3 + 4*f**2 + 3*f + 5. Let u be c(5). Let a = 12 + u. Is i(a) a composite number?
False
Suppose 1002 = 7*q + 197. Is q a prime number?
False
Suppose 4*q = -3*k - k + 852, 3*k - 428 = -2*q. Let z = -54 + q. Is z prime?
True
Let k be (0/2 - 0)/(-2). Suppose 0 = 3*v - 2*s - 151