 Let s = o + n. Is s prime?
True
Suppose 0 = 2*z - 3*z - 915. Suppose 5*g = -g - 2676. Let m = g - z. Is m composite?
True
Let t(k) = 12*k + 207. Let b be t(-17). Suppose g = -4*g + 6050. Suppose -1805 = -2*i + b*y, i = 2*y + g - 309. Is i a prime number?
True
Suppose 2148896 + 4105814 = 148*v - 103518. Is v composite?
False
Suppose -3*o - 10*o = 0. Suppose 3*h = -o*h + 3*u - 14364, 2*u - 4788 = h. Is h/(-10) + (-14)/(-70) a prime number?
True
Let o(p) = 4*p + 51. Let l be o(-12). Let b = 6128 - 3786. Suppose l*h - 4*r - 3513 = 0, 0 = -2*h - 0*h - r + b. Is h composite?
False
Suppose -7*i + 25 = -2*i. Let h be i/2 - (-2 + 20/8). Suppose g + 0*g = 5*l - 5840, -h*l + 2*g = -2344. Is l composite?
True
Suppose 6*h - 7*h - 20 = 0. Let f be (3 + h/8)/((-2)/696). Let p = f + 379. Is p composite?
True
Suppose 17*f - 698507 - 5316062 - 5239414 = 0. Is f a prime number?
False
Suppose 40*j - 12*j = 2294996 + 943232. Is j a prime number?
False
Let z be (-744)/(-403) - (-2)/13. Suppose k + z*k - 8152 = -a, 0 = -3*a + 2*k + 24445. Is a a prime number?
False
Is (26/(-52))/(1/((-355812)/6)) a composite number?
True
Let w = 3131036 - 1676353. Is w composite?
False
Suppose 9*r = -31077 + 468. Let p = 6696 + r. Let a = p - 1912. Is a a composite number?
True
Let k be (72/(-234))/((-2)/13). Suppose -k*h + 1450 = -3*z, 828 = 3*h + 2*z - 1373. Is h a composite number?
True
Let z be ((-200)/(-80))/(2/4). Let c(u) = 147*u**2 + 3*u + 3. Let y(k) = 442*k**2 + 9*k + 9. Let w(g) = -11*c(g) + 4*y(g). Is w(z) a prime number?
True
Suppose -5*g - 5 = 0, 6*q - 2*q = -3*g + 47273. Is q prime?
False
Let g = -2228 + 5391. Suppose -g = -9*n + 5*n - m, -3*m - 3 = 0. Is n prime?
False
Let g = -120 - -123. Is (-1)/(g/(-15)) + -4 - -700 prime?
True
Suppose -11*h = -15*h - 20, 4*o - 2*h = 30. Suppose -p - 6*z + 11*z + 14762 = 0, 0 = -o*p - 4*z + 73665. Is p composite?
False
Suppose -3*m = -2*f - 766 - 626, -2*m = -5*f - 3469. Let q = f - -1102. Is q composite?
False
Let a(h) = h**3 - h**2 - 9*h - 11. Let d be a(10). Suppose c - 3900 = d. Is c prime?
False
Let c be (-40)/12*(-7605)/6. Suppose -2*j - c = -1275. Is 0/(-1) + (2 - j) a prime number?
False
Let q = -7 + 18. Suppose 3*w - q*w + 24 = 0. Suppose 0*n = n - b - 119, -5*n + w*b + 587 = 0. Is n a prime number?
False
Let x(o) = -11*o**3 - 121*o**2 - 9*o + 19. Is x(-52) a composite number?
False
Let p = -62 - -61. Let w be (p - -3)/((-2)/344*-2). Let t = w + -75. Is t prime?
True
Suppose 0 = -3*c + 24, 0 = 5*g + 4*c - 656024 - 1579013. Is g prime?
True
Suppose -5*l = 21 - 31. Let i(m) = 3308*m - 23. Is i(l) a prime number?
False
Let m = -7553 - -29476. Suppose 14*f - m = 3*f. Is f composite?
False
Suppose -1839*p - 244911783 = -1980*p. Is p prime?
True
Let i = 147 - 142. Is (11665/i)/((-6)/(-5) + -1) a composite number?
True
Suppose -28*d + 96 = -22*d. Is 2/(-8) - -46677*4/d composite?
True
Let k(y) = 82*y**2 - 65*y + 85. Is k(8) a prime number?
True
Suppose 286969 = 4*h + 5*y, 16*y - 12*y - 143486 = -2*h. Is h prime?
True
Let r(h) = -217*h - 67. Let c(g) = 869*g + 269. Let l(t) = 2*c(t) + 9*r(t). Is l(-8) prime?
False
Suppose 2*p - 144 - 37 = 5*y, 2*y = 2*p - 76. Is y/28 - (-2509)/4 a composite number?
True
Suppose 5*i + 8960 = 10*i - 4*u, -3*u = 5*i - 8960. Suppose -7*n = d - 10*n - 1810, 3*n = -d + i. Is d prime?
True
Let i = -169220 + 303139. Is i a composite number?
False
Let b = -47 + 7. Let c = b + 43. Suppose -4*u = -2*o - 1166, c*u = 2*o + 39 + 834. Is u a prime number?
True
Let h be (34/8)/((-1)/(-4)) - 0. Suppose 8*f = -h - 47. Let d(q) = 8*q**2 - 4*q - 3. Is d(f) composite?
False
Let z(m) be the second derivative of -m**4/6 + 29*m**3/6 + 7*m**2/2 - 35*m - 3. Is z(14) a composite number?
True
Suppose 5*l - 1392240 = -p, 4*p + 266 - 246 = 0. Is l a composite number?
True
Let k(h) = -38*h**2 + 425*h - 16. Is k(9) composite?
True
Suppose 5*b + 4*c = 86, 4*c + 4 = -2*b + 36. Let a be 186/(-4) + b/12. Is (3582/a)/(2/(-5)) prime?
True
Let n(a) = 1053*a**2 - 89*a - 601. Is n(-6) a prime number?
False
Suppose -9*n - 520 = -19*n. Let k = n + 3057. Is k prime?
True
Let r = -17 - -22. Suppose -r*l + 2*b + 10346 = -0*b, -8260 = -4*l - 4*b. Suppose 6*f = 2*f + l. Is f prime?
False
Suppose 286*i = 279*i + 203. Suppose -15164 = -i*j + 457565. Is j a prime number?
True
Is 1 + 16 + -7 + 3 + 607466 composite?
True
Let f be 11673/9 - (-4)/1. Let w = 392 - f. Let b = w - -1950. Is b a composite number?
True
Let f(u) = 16587*u**2 + 227*u + 695. Is f(-3) prime?
True
Suppose -126286 = -i - w, -3*i - w + 176783 + 202069 = 0. Is i composite?
True
Let g = 490305 - 194467. Is g composite?
True
Suppose -3*m + 3262966 + 2051745 = 7*u, 0 = -5*u + 4*m + 3796259. Is u composite?
True
Let f = -99918 + 176339. Is f prime?
True
Suppose 4*b - 387424 = -24*f + 26*f, 193712 = 2*b + 5*f. Let c = b - 67037. Is c composite?
False
Suppose 13*r = 12*r. Suppose -936 + r = 6*x. Let a = -15 - x. Is a composite?
True
Let i = 340110 - 187129. Is i a composite number?
False
Let p(h) = -4*h + 68. Let l be p(17). Suppose l = -4*r + 1111 + 1049. Suppose -5*t = w - 1167, 2*t + r = -2*w + 2842. Is w a prime number?
False
Let r = 159 + -157. Suppose 0 = -f + 3*f. Suppose -r*t + 0 + 508 = f. Is t prime?
False
Suppose 3*s - 5*u - 123884 - 74029 = 0, -5*s - u + 329911 = 0. Is s a composite number?
False
Let p(m) = -1. Let v(s) = s**2 + 7*s - 6. Let o(g) = 2*p(g) - v(g). Let w be o(-7). Suppose 800 = i + 4*i - 5*a, -163 = -i + w*a. Is i prime?
False
Suppose -2180*x + 2217*x = 36914419. Is x prime?
False
Let w = 6382 + -4432. Is w - -4 - 2/((-4)/(-10)) a composite number?
False
Let b(q) = -q**3 + 21*q**2 - 14*q + 20. Suppose 84 = 5*d - d. Let y be b(d). Let f = 753 + y. Is f prime?
True
Suppose 233445 = 12*s + 18741. Let y = s - 12535. Is y a prime number?
False
Let q(m) be the third derivative of m**4/24 - m**3/6 + 7*m**2. Let n(v) = 1287*v + 2. Let u(w) = -n(w) + 4*q(w). Is u(-1) composite?
False
Let q = -1414 + 2417. Let b = 84 + q. Is b a composite number?
False
Suppose -8*n = -13*n + 8*n + 6. Let k(t) = -t + 107. Let s be k(0). Is s + (n - -4) + 2 + 0 composite?
True
Let w(m) = 92*m**2 + 7*m - 188. Is w(31) prime?
False
Let h = 27008 - 15115. Is h a composite number?
True
Let g(a) = -a**3 + 8*a**2 - 7*a. Let f be g(7). Suppose 5*u = 4*p - f*u - 28, -u = 4. Suppose 2*h = -4*o + o + 301, h + p*o = 151. Is h prime?
True
Suppose -316*g + 293474448 = 116*g. Is g composite?
True
Suppose -4*x = 4*b - 1639512, -81*b + 5*x + 409848 = -80*b. Is b prime?
False
Let j(i) = -111*i**3 - 16*i**2 + 20*i + 137. Is j(-10) a composite number?
True
Suppose 6798725 = 21*x - 1790183 + 514177. Is x a composite number?
True
Suppose 185 = -4*d + 169. Is (-169662)/d*((-126)/(-27) + -4) prime?
True
Let i = 269882 - -51339. Is i a prime number?
True
Suppose 4*p - 2*r = -250, p + 45 = 2*r - 22. Is (-427)/p - (0 + -11744) composite?
True
Suppose -w - 4537 = -2*z, 5*z - w = 4*w + 11335. Suppose -h + 0*g - z = -3*g, -h - 5*g = 2230. Is 0 - h/33*3*1 a composite number?
True
Suppose 36714 = 5*p - 3*w - 117796, -4*w = 0. Is p a composite number?
True
Suppose -4*d - 3*c = -745468 - 253068, -2*d - 5*c = -499282. Is d a composite number?
True
Let a = 466 - -198. Suppose -431 = -q + 2*s, -3*q + 5*s - 291 + 1581 = 0. Let l = a - q. Is l a prime number?
True
Let x(c) = 47*c - 42. Suppose 16 = -3*t + 5*t. Is x(t) a composite number?
True
Suppose 388401 = 5*l - 2*q, -2*l + 100913 = 2*q - 54453. Is l prime?
True
Suppose -8*t - 6726 = -1342. Let b = 1746 + t. Is b a composite number?
True
Suppose -2*k + 124863 = 125*a - 124*a, -11*a - 3*k = -1373341. Is a prime?
True
Let f = 1374695 - 925032. Is f composite?
False
Let g(p) = 2*p**2 - 14*p + 11. Let i be g(5). Let y be (-8 - i)*160*(0 - -94). Is y/16 - (1 - 4) prime?
False
Suppose -a + 105 = -7. Let w be (5 - (-1 - 0))/2 + 296. Let u = w - a. Is u a composite number?
True
Suppose 4 = 2*i + 2*i, -x = 4*i - 33. Let s be (-14 - (-12)/(-3))*x/2. Let c = s - -584. Is c prime?
False
Let u = -36979 - -51948. Is u a composite number?
False
Suppose -6*q = 6*q - 24. Suppose q*f - 2*j - 3*j + 2151 = 0, f + j + 1079 = 0. Let m = f + 2549. Is m a composite number?
False
Let h be (-10)/(-4)*(5 - (-57)/(-15)). Suppose -h*t + 0*t - 67 = 5*x, -5*t + 5 = 0. Is (1/(-3) - 2)/(x/2982) pri