n*d - 654, -3*d + 3802 = 5*y. Is y a prime number?
True
Suppose 7*v - 3*v - 24 = 0. Is 12094/v - 36/(-27) a prime number?
True
Suppose 5*p - 2 = -f, -3*f - p + 8 = f. Suppose -f*k + 544 = -346. Suppose -5*i = -20 - k. Is i a prime number?
False
Suppose 11*s - 566 = 622. Suppose i = -3*i + o + 202, -2*i = 3*o - s. Is i a prime number?
False
Let x = 1 - -2. Let r = -159 + 164. Suppose -4*j - r*v + 456 = -216, x*j - 493 = -v. Is j a prime number?
True
Let f(c) = 2*c**3 + 19*c**2 - 22*c - 21. Let v be f(-14). Let m = 1014 - v. Is m a prime number?
False
Suppose 28*k - 13816 = 20*k. Is k composite?
True
Let w(g) = g**3 - 2*g. Suppose -8 = 2*s - 4*s. Let d = 7 - s. Is w(d) prime?
False
Suppose -4*x + 1377 = 3*w - 571, -4*x + 1948 = -2*w. Suppose -8*c + 266 = z - 3*c, 5*c + x = 2*z. Is z prime?
True
Suppose 0 = 5*c + c - 3*c. Suppose c = -3*j + l + 81 + 394, 2*j + 5*l - 294 = 0. Is j composite?
False
Let u(n) = 3*n - 6. Let r be u(6). Let t = -9 + r. Suppose t*s - 13 = 62. Is s prime?
False
Suppose -1 = -4*g - 5. Is 1 + g - -4 - 3*-585 prime?
True
Let l(v) = -9*v**3 - 4*v**2 - 2*v - 5. Let d(h) = h - 4. Let j be d(0). Is l(j) a composite number?
True
Suppose 62*h - 78*h + 125264 = 0. Is h a composite number?
False
Suppose 215*b - 204*b - 35255 = 0. Is b prime?
False
Let d(f) = 5*f**2 + 5*f + 17. Let h be d(7). Let g = h + 232. Is g a prime number?
False
Let r be (3/(-4))/((-282)/(-72) - 4). Let b(u) = 44*u - 34. Is b(r) a prime number?
False
Let z be (36/8)/(3/(-24)). Let c = 51 + z. Suppose 0 = -4*y + 4*x + 480, 3*x = -2*x + c. Is y a prime number?
False
Let i be 2/(9 - -3) - 155/30. Let p(y) = -170*y - 11. Is p(i) a prime number?
True
Let v(u) = -u - 11. Let l be v(-15). Suppose q - 6 = 4*q, -686 = -2*x - l*q. Is x a composite number?
False
Suppose 6 = 2*q - 34. Is (-8826)/(-7) + q/140 a prime number?
False
Suppose 6 = 4*k + v, -4*v + 6 = k - 3. Is (-37755)/(-36) - k/(-4) a prime number?
True
Let z(s) = 51*s - 32. Let m(c) = -c**2 - 8*c - 4. Let t be m(-5). Is z(t) a prime number?
False
Suppose -15*v + 102701 = 30866. Is v a prime number?
True
Let t = 7 - 0. Let w be -2 - -1 - (-2 - -2). Is (t/w)/(1/(-11)) a prime number?
False
Let c = -61 + 91. Is (-1187)/(-5) + (-12)/c a composite number?
True
Suppose 3*r - 4*t + 0*t + 11 = 0, -r - 12 = -3*t. Is (9 - r)/(2/83) a composite number?
True
Suppose -w + 3713 = -4*h, 5*w - 6*h - 18660 = -5*h. Is w composite?
False
Let j(z) = z**3 - 11*z**2 + 10*z + 11. Let x(m) = 6*m**3 - 54*m**2 + 50*m + 55. Let p(n) = -11*j(n) + 2*x(n). Is p(-9) a prime number?
False
Let u(l) = l**3 + 8*l**2 + 2*l + 6. Let f be u(-8). Let v(k) = -2*k - 16. Let j be v(f). Suppose j*g + 185 = 3*r - 89, 0 = -5*r - g + 472. Is r prime?
False
Suppose 31*s + 65811 = 1314677. Is s a composite number?
True
Suppose 8150 = 34*n - 5892. Is n a prime number?
False
Suppose -5*u - 1197 - 133 = 0. Is 0 - 1 - (u + 8) a prime number?
True
Let h be (3/(-9) - (-2)/(-3))*-5. Suppose -2*b + 9 = -h*b, -4*b - 1024 = -4*f. Is f a prime number?
False
Suppose -3*p + 2 = 2*u - 19, 0 = -3*u - p + 14. Let o(n) be the first derivative of n**4/4 - n**3 + n**2 + 3*n - 1. Is o(u) prime?
False
Suppose 2*p - 26634 = -4*t, 6*t + 5*p = 4*t + 13313. Is t prime?
True
Is (3 - 6 - (-28)/8)*1622 prime?
True
Suppose 3*r - 14*r = -14971. Is r composite?
False
Let v be ((-7)/4)/(6 - (-125)/(-20)). Suppose v*i - 4400 = 283. Is i composite?
True
Let f = 131355 + -56914. Is f prime?
True
Let v be 7/4 + 1/4. Suppose -d + v*g = -7 + 1, -3 = -d + g. Is (-371)/(-1) - (d + 0) prime?
False
Suppose -3*w - 2*w = 0. Is (w - -3)*28/12 composite?
False
Let b(o) = -2*o**3 + o**2 - o + 6197. Is b(0) a composite number?
False
Is 125 + 14/((-84)/18) a composite number?
True
Is (26 - 11223)*(0 - 1) a composite number?
False
Let y = 2 + 0. Suppose -v - 5 = 2*p - 4*p, -5*v - 4*p + 31 = 0. Suppose y*r + 359 = v*r. Is r prime?
True
Suppose -64891 = 8*c - 22931. Let p = -2658 - c. Is p composite?
True
Let s(r) = 10061*r**2 + 5*r - 3. Is s(1) composite?
True
Suppose -2*q + 4*q = -28. Let i(n) = -n**2 + n - 1. Let l(k) = -3*k**2 - 14*k - 5. Let g(j) = -2*i(j) + l(j). Is g(q) composite?
True
Suppose 2 + 4 = 2*u. Suppose u*y + 9 = 12. Suppose -n - y = -4, -g + 208 = -n. Is g a prime number?
True
Let c = 21 - 27. Let y be 150/(-20)*(-28)/c. Let w = 102 + y. Is w a prime number?
True
Let q(b) = 2*b**3 - 5*b**3 - 9*b**2 + 2*b**3 + 17 - 13*b + 23*b. Is q(-11) composite?
False
Let y(c) = -388*c - 26. Let n(m) = -m**2 - 16*m + 14. Let o be n(-17). Is y(o) prime?
False
Let u = 1643 - 807. Suppose -2*z + 528 = -4*b, b + 18 = z - 241. Suppose 0 = 3*i + z - u. Is i a prime number?
False
Suppose -46*g + 159966 = -28*g. Is g composite?
False
Let p(q) = 4*q - 28. Let s be p(7). Let l(f) = -2*f**2 + 2*f + 1198. Is l(s) a prime number?
False
Let s(q) = 52*q**2 + 3*q + 8. Let n be (-22)/(-55) - ((-14)/(-10) + 2). Is s(n) prime?
True
Suppose -14*u = -15*u + 5*n + 17517, 2*u - n = 35043. Is u a prime number?
False
Let w(r) = r**3 + 14*r**2 + 16*r - 4. Let k be w(-12). Suppose 3*u + 3*l - 153 - 105 = 0, -u = 3*l - k. Is u composite?
False
Let i(v) = 10 - 1 + v + 0*v. Let w be i(-7). Suppose 3*b - w*t = -t + 212, 4*b - 279 = 5*t. Is b composite?
False
Let o(s) be the first derivative of 3*s**3 - 4*s**2 + 2*s - 8. Is o(3) a composite number?
False
Let h(w) = 3*w - 3 + 6*w + 18*w. Suppose 17*g - 19*g = -16. Is h(g) a prime number?
False
Let s(r) = -4*r**3 - 10 - 3*r**3 - 4*r**2 + 5*r**3 + 4*r. Is s(-6) prime?
False
Let x(z) = -z**2 - 7*z - 7. Let o be x(-6). Let j be (10/(-4))/(o/(-94)). Let a = -122 - j. Is a prime?
True
Suppose 0 = 3*h - 2*b - 2654, 7*b - 3*b = -h + 894. Suppose -h - 831 = -l + 3*o, l - 2*o - 1720 = 0. Is l composite?
True
Let t = 48 + 1. Let s(y) = y**3 + 0*y**3 + 73 + t + y**2 - y - 4. Is s(0) composite?
True
Suppose 5*i - 129290 = 5*x, 7*i - 129299 = 2*i - 4*x. Is i prime?
False
Let r = 2 - 2. Suppose -m + 0*m + 2 = r. Suppose -m*y = -5*p - 136 - 2, 2*y = p + 122. Is y a composite number?
False
Suppose 6*a - 10*a = -4. Let x be 2 - a/(3 + -2). Is -1*(-505 - 3) + x a prime number?
True
Suppose -5*v + 9424 = -20611. Is v composite?
False
Suppose -2*v = b + 3*b - 22322, 0 = 5*b - 3*v - 27930. Is b composite?
True
Let s = 53 - 32. Let c be ((-272)/24)/(2/s). Is 34/c - (-3901)/7 composite?
False
Let v(l) = -6*l + 22*l + 17 - 14*l. Let d be v(-7). Suppose 0*x + 1419 = d*w + 3*x, 3*x - 12 = 0. Is w a prime number?
False
Suppose 65130 = 3*c - 3*t, 8*t - 21701 = -c + 12*t. Is c composite?
False
Let x = 49 - 38. Suppose -3*i + x*i - 3592 = 0. Is i a prime number?
True
Let o = 3509 - 910. Is o prime?
False
Let z = 25569 + -13716. Is z/7 + -3*(-4)/(-42) prime?
True
Suppose -2*g - 320663 = -21*g. Is g a prime number?
False
Let y(f) = f**3 + 7*f**2 - 9*f - 4. Let m = -2 + -6. Let p be y(m). Suppose p*h + 5*r = 3246, 4*r = -3*h + 1700 + 735. Is h prime?
True
Let y be 1 - -3 - (-312)/(-13). Let q = y + 23. Suppose q*w = 6*w + 5*o - 901, w - 291 = -4*o. Is w a composite number?
False
Suppose -135 - 17 = -38*i. Let l(r) = 4*r + 2. Let g be l(6). Suppose i*z + g = 150. Is z a composite number?
False
Let v(c) = -200*c + 37. Is v(-12) composite?
False
Suppose 30*x + 5*x = 4072285. Is x prime?
True
Let y(w) = w**2 + 2*w - 21. Let i = 59 - 84. Is y(i) a composite number?
True
Suppose 4*w + 3*i = 27797, -3 = -3*i + 6. Is w prime?
True
Suppose -4*y + 1 = -5*y. Let j be 1/y + (3 - -430). Let r = j + -305. Is r a prime number?
True
Let y(m) = 3*m**2 - 33*m - 55. Suppose -5*r = -4*q + 85 + 17, 4*r + q = -90. Is y(r) composite?
True
Let f(t) = -4*t**2 - 7*t + 4. Let o(k) = 4*k**2 + 6*k - 3. Let n(m) = 2*f(m) + 3*o(m). Is n(-8) prime?
True
Suppose -5 = -j + 3*b, 5*j + b = 3*j - 11. Let v = j - -3. Is v*(-267 - (1 - 3)) a composite number?
True
Let c(j) = 2081*j - 18. Is c(11) prime?
False
Let b(l) = -8*l**3 - 12*l**2 + 12*l + 1. Let g(j) = 4*j**3 + 7*j**2 - 6*j - 1. Let w(m) = 3*b(m) + 5*g(m). Let i = -5 - 0. Is w(i) a composite number?
False
Suppose -16442 - 6411 = -m. Is m a composite number?
False
Let y(q) = q**3 + 16*q**2 - 6*q + 11. Let z(j) = -j**2 - 3*j - 6. Let w be z(-4). Is y(w) a composite number?
True
Let a = -1687 - -3302. Suppose -2160 = -4*z + 4*u, 7*u + a = 3*z + 5*u. Is z a composite number?
True
Suppose 39*q - 15