*o - h = 12. Let p = 33 - o. Is p a prime number?
True
Let s = 15444 - 7625. Is s a prime number?
False
Let i = -4 + 6. Suppose -4*o = -i*o - 18. Suppose -3*q = o - 51. Is q composite?
True
Suppose -b = -3*b + 2. Is (164 - 1 - 1) + b composite?
False
Let b(i) = 46*i + 12. Let l be b(8). Suppose -75 - l = -5*o. Is o composite?
True
Suppose -2*t + 5*t + 3991 = 5*o, 2397 = 3*o - 3*t. Is o a prime number?
True
Is ((-389)/(-4))/(8/32) a composite number?
False
Suppose 2*t - 3*y = 3986, -3*t + 2*y + y = -5979. Is t a prime number?
True
Let k = -120 + 275. Let a = 5 + k. Let u = 251 - a. Is u a composite number?
True
Let v(q) be the second derivative of -q**3/6 + 13*q**2/2 - q. Let a be v(11). Suppose l = -a*z + 5*z + 45, z = -3*l + 115. Is l prime?
False
Let q(n) = -23*n - 6. Let p(s) = 45*s + 11. Let t(o) = -3*p(o) - 5*q(o). Let w(z) = -4*z**3. Let i be w(1). Is t(i) a prime number?
False
Let i(x) = 34*x**2 + 6*x + 5. Let n be i(-4). Suppose 4*y - n - 823 = 0. Is y composite?
False
Suppose -w + 8*c - 3*c = 27, 3*c - 12 = 0. Is (-2)/w + 8310/70 a prime number?
False
Suppose -10*q + 255 = -5*q. Is q composite?
True
Let n(l) = l + 1 + 0 - l + 3*l**2 + l. Is n(2) prime?
False
Suppose 5510 + 5360 = 10*d. Is d a composite number?
False
Let n(x) = 88*x - 1. Let c(p) = p - 1. Let o(r) = -2*c(r) + n(r). Is o(1) a prime number?
False
Let l be (-2)/3 - 530/15. Is (-4780)/l - 4/(-18) prime?
False
Suppose -3*j + 4*j + 1801 = 4*u, -u = 4*j - 463. Is u a prime number?
False
Suppose o + 2*j - 49 = j, -104 = -2*o + j. Suppose 3*h + 0*h = -o. Let i = -10 - h. Is i a composite number?
False
Let y(b) = 2*b**3 - 7*b**2 + 8*b. Let a be y(8). Suppose -5*q - 25 = 0, 5*l - 4*q - a = -9*q. Is l prime?
False
Let g(l) be the second derivative of -1/3*l**3 + l + 5/12*l**4 + 2*l**2 + 0. Is g(5) prime?
False
Let r(x) = -x + 21. Suppose -o + 6*o - 15 = 0. Suppose 2*g = 2*w + 6, -o*w = -5*g + g + 9. Is r(g) composite?
True
Let w = 78 + -47. Is w a composite number?
False
Let j(g) = -g**3 - 5*g**2 - 6*g - 5. Suppose 12 = p - 4*p. Is j(p) composite?
False
Let l be 2*(9/6 - 1). Let v(y) = 5*y. Let r be v(l). Suppose -2*h = -3*q + 96 + 91, q - 84 = r*h. Is q composite?
False
Let d = 6 + -6. Is (3 + d)*31/3 composite?
False
Suppose -2*v - 4*t + 139 = -t, 5*v = 5*t + 310. Is v a prime number?
False
Suppose -2*t = i - 2*i - 3383, 5*i - 8420 = -5*t. Is t a prime number?
False
Suppose -313 + 1157 = 4*q. Is q composite?
False
Let d = -66 - -119. Is d prime?
True
Suppose -3*r = -2*f - 0 + 1, 0 = -5*r - 2*f - 7. Is -1*(2 + r + -11) a prime number?
False
Let n(z) = -18*z - 13. Is n(-13) a composite number?
True
Let v = -8 + 67. Is v composite?
False
Suppose -4*i + j = -0*i - 1247, 930 = 3*i + j. Suppose -4*s = -5*q + 36 + i, -152 = -2*q - 5*s. Is q a prime number?
True
Suppose 6*h = 5*t + 5*h - 1316, 2*t = 5*h + 531. Is t composite?
False
Let k(l) = -l + 9. Let w(x) = -x**2 + x + 7. Let r be w(0). Let s be k(r). Suppose -b + 2*b + 3*n = 41, -s*n = b - 39. Is b prime?
False
Let h(b) = -b**3 + 9*b**2 + 3*b - 11. Let u be (-24)/10*(-70)/21. Is h(u) a prime number?
False
Let a(m) = 236*m**2 + 5*m - 2. Let y(l) = -472*l**2 - 11*l + 5. Let q(r) = 7*a(r) + 3*y(r). Is q(-1) a prime number?
False
Let o = 0 - -2. Suppose -o*h = h - 393. Is h a prime number?
True
Suppose -3*y + 4*a - 3139 = 2881, a + 6025 = -3*y. Is ((-3)/(-6))/((-4)/y) prime?
True
Let y = -9 + 14. Suppose j + y = -0. Let x(z) = -4*z + 1. Is x(j) composite?
True
Let c(h) = -h**3 - 10*h**2 - 11*h - 12. Let d(y) = -y**3 - 5*y**2 + 8*y + 3. Let l be d(-6). Is c(l) composite?
True
Suppose 5*g = 3*g. Let p = 2 - g. Suppose 93 = 5*r - h, -p*r - h = 2*h - 44. Is r a composite number?
False
Let y = -64 + 115. Suppose x - 1 = 3. Suppose -a + y = -x. Is a composite?
True
Let w = 9 + -3. Let k be (-909)/w*4/(-6). Suppose -h - m = -4*h + 278, 0 = -h + 2*m + k. Is h prime?
False
Suppose 0*f = -2*f + 242. Suppose 7*p - 2*a = 3*p + 158, -3*p = -2*a - f. Suppose 3*h - z = 45, -2*h + 7*z + p = 4*z. Is h prime?
False
Let b(c) = 3*c**2 - 15*c + 3. Is b(6) prime?
False
Let a be (-4)/18 - (-130)/18. Let v(y) = y**3 - 5*y**2 - 4*y - 3. Is v(a) a composite number?
False
Suppose 0 = n + o - 535, -5*n - 3*o = -0*n - 2673. Suppose -2*p + 0*g = g - n, -2*g = -8. Is p prime?
False
Is 1918 - (-1)/(0 - (1 + -2)) a prime number?
False
Let z = 7727 - -1332. Is z a composite number?
False
Let o = -443 + 1090. Is o prime?
True
Let n = -23 - -12. Let v = n - -15. Is (-1)/v*143*-4 composite?
True
Let f(z) = z - 8. Let u be f(10). Suppose 0*j = -4*j + s + 144, 0 = -u*s + 8. Is j a composite number?
False
Let c(i) be the third derivative of 0*i + 0 + i**2 + 59/24*i**4 + 0*i**3. Is c(1) composite?
False
Let o = 129 - 67. Suppose u - 2*u - 5*y = -o, 2*y - 225 = -3*u. Is u composite?
True
Suppose -3*p = 4*m - 275, -5*m - 2*p + 4*p + 315 = 0. Is m composite?
True
Suppose -162*q = -158*q - 3140. Is q prime?
False
Let z(u) = 5*u - 8. Let b = -4 + 13. Is z(b) composite?
False
Let n(k) = k**3 - 5*k**2 - 7*k + 4. Let c be n(6). Let r(d) be the third derivative of -19*d**4/12 + d**3/6 + 3*d**2. Is r(c) a composite number?
True
Let t(a) = -1 + 98*a**2 - 5 + 2 + 3. Is t(-1) composite?
False
Is (2 - 0) + 647 + 6 + -6 composite?
True
Suppose 3*j = -j + 2788. Is j a composite number?
True
Let l(x) = 14*x - 1. Suppose 0 = -7*y + 2*y + 5*u + 25, -2*u - 2 = 0. Let d be l(y). Suppose 0 = -3*f + 3, -3*z + 2*f = -0*z - d. Is z a prime number?
True
Let g be 742/10 - (-4)/(-20). Let t be 1/(-2) - g/(-4). Suppose 4*x = 2*l - t, 0 = 5*l + 5*x - 45 - 45. Is l a prime number?
False
Let m(b) = 16*b**2 - 7*b + 4. Suppose -k + 6*k = -g + 18, g = 3. Is m(k) composite?
False
Is (1/((-4)/5384))/(-2) composite?
False
Let n(c) = -5*c**2 - c + 955. Is n(0) a prime number?
False
Let u(k) = 72*k - 1. Let y be u(1). Suppose 4*w - 261 - y = 0. Is w a composite number?
False
Suppose -5*c = 20, -5*l + l + 344 = 3*c. Is l prime?
True
Let t be 3/9*3*-471. Let w = t - -662. Is w a prime number?
True
Let b = -77 - -188. Is b a composite number?
True
Suppose -3*t + 395 = 2*t. Is t prime?
True
Let u = -1 + 211. Let h = -121 + u. Is h a prime number?
True
Suppose -a + 2*a = 2*c + 49, 2*c = -4. Suppose 0 = 2*p - 5*b - a, 2*p + 4*b - 17 = 37. Is p a prime number?
False
Suppose 3*b = -5*z + 885, 4*z - b = 2*b + 708. Is z a prime number?
False
Let b(g) = -2*g**3 - 9*g**2 + 19*g - 3. Is b(-11) a prime number?
True
Let a = -2 + 2. Suppose -d + 4*d - 1167 = a. Is d a composite number?
False
Suppose 0 = 4*d + d - 825. Suppose y + y + 4*h = 50, -5*h - d = -4*y. Is y a prime number?
False
Let m(v) = v**3 + 4*v**2 + 2. Let i be m(-4). Is 14*(i - (-3)/6) a composite number?
True
Let w(z) = 992*z**3 - z**2 - z + 1. Let r be w(1). Let b = r + -450. Is b composite?
False
Let s(d) = 74*d**2 + 2*d - 1. Is s(-2) a composite number?
True
Let o(p) = -p + 52*p**2 + 7*p - 2*p - 3 - 17*p**2. Is o(2) a composite number?
True
Suppose -5*z - 5*a = -745, -a + 0*a = -4. Is z prime?
False
Let r = -104 - -200. Let m = r - 18. Let a = 155 - m. Is a composite?
True
Suppose -34 = -x + 3*a, 5*a = 4*x - 111 - 25. Is x a prime number?
False
Let w(i) = -6*i**2 - 3 + 5*i**2 + 0*i**2 - 2*i**3 - 2*i. Is w(-2) prime?
True
Let g = -78 + 122. Suppose -2*j - 2*s + g = 0, -34 = -2*j - 4*s + 8. Is j prime?
True
Let t(f) = -17*f**3 + f**2 + 7*f - 3. Let h(a) = 17*a**3 - 6*a + 2. Let v(b) = 5*h(b) + 4*t(b). Let l be v(2). Let j = -57 + l. Is j a prime number?
True
Let x be 234 - (12/(-3) - -6). Suppose -5*f - 3 - 2 = 0, 0 = -5*z + 2*f + x. Is z prime?
False
Suppose -514 = -2*q + 3*i, 4*q - 2*i = 7*q - 797. Is q a prime number?
True
Is (-4086)/(-26) - (-7)/((-273)/6) composite?
False
Let o(d) = 4*d + 141. Is o(0) prime?
False
Is 834/(-4)*(-22)/33 a prime number?
True
Suppose z + 18 = -2*z. Let s = -3 - z. Suppose s*w - 30 = -0*w. Is w a prime number?
False
Let c(l) = -l - 4. Let k be c(0). Let d(q) = -13*q + 1. Is d(k) a prime number?
True
Suppose 0 = 4*a - w - 4, -5*a + 2 + 0 = -2*w. Suppose o = -a*s + 38, -3*o = s - 5*s + 96. Is s a composite number?
True
Suppose 0 = 2*w - 5*w + 4*g + 200, -5*w = -5*g - 325. Let z = w + 31. Is z a composite number?
True
Let j = 21 - 13. Is j*(-2 - 117/(-12)) a composite number?
True
Let o(i) = -105*i + 4. Is o(-3) a composite numb