ber?
True
Is (0 - 1)/((-13)/3136679) composite?
True
Suppose 0 = -m + u + 380232, 5*m + 3*u + 531066 - 2432186 = 0. Is m composite?
True
Let z = -211 - -309. Is 4/6*833343/z a composite number?
False
Suppose 0 = 2*q - 6, 4*w + 5*q - q - 20 = 0. Let a be (-2)/(0 + (w/4 - 1)). Is 3/12*a*263 prime?
True
Suppose 2*v - 294 = 2*q, -5*q = -4*q - 1. Let m = -128 + v. Is 41532/m + (-4)/(-10) + -4 a composite number?
True
Let g(s) be the first derivative of 1031*s**3/3 + 3*s**2/2 - 31*s + 114. Is g(4) prime?
True
Let y be 67*3 + 60/12. Suppose 0 = -2*o - 3*b + 113 + y, 0 = 3*o - 2*b - 485. Is o composite?
True
Let t = 3813 + 27329. Let y = -17019 + t. Is y a composite number?
True
Let a = -34 + 39. Suppose 0 = -x + 2*z + 709, a*x = -4*z + 3571 + 44. Is x a composite number?
False
Let a(q) = -q**3 + 22*q**2 - 246*q - 151. Is a(-44) a composite number?
False
Let p be ((-48)/(-18))/(5/(-15)). Let y(s) = 133*s**2 + 13*s + 59. Is y(p) prime?
True
Suppose -5*y + 4*s + 166 = 7*s, 4*y + 3*s = 131. Is 2110/2*-5*(-7)/y composite?
True
Let x(f) = -6359*f**2 + f - 2. Let l be x(1). Let w = l + 9971. Is w prime?
False
Suppose 26*k = -22*k - 381648. Let r = 28962 + k. Is r a prime number?
True
Let j(h) = -12*h + 29 - 2 + 17 + 57. Is j(-44) a composite number?
True
Let v = -37 - -41. Suppose -5*m = -5*o - 332 + 1297, 3*m = v*o - 575. Let k = m + 544. Is k a composite number?
False
Let t = 7938 + -5562. Let q(i) = i**3 + 7*i**2 - 12*i - 29. Let h be q(-8). Suppose -4*u = -3*r - u + 2400, -h*r - 5*u + t = 0. Is r a composite number?
False
Let r(i) = -20*i - 7. Let s be r(9). Is s/(-22)*(157 - -1) + 2 a prime number?
False
Let u(a) = -2*a**2 + 17*a - 18. Let r(d) = -d**2 + 9*d - 9. Let k = -26 - -28. Let x(n) = k*u(n) - 5*r(n). Is x(-14) a composite number?
False
Suppose 0 = 3*x - 35 - 13. Let h be (((-19455)/20)/3)/((-2)/x). Suppose 7*i - 1950 = 4*i - 3*f, 2*f - h = -4*i. Is i a prime number?
True
Let c(y) = -11*y**2 + 4*y + 15. Let d be c(12). Suppose 2*u - 802 = -s, 333 = s + 6*u - 473. Let o = s - d. Is o composite?
True
Suppose 0 = -53*l + 61*l - 16. Is -2 - -15*l*(-5460)/(-8) composite?
True
Suppose 75*q - 244563060 = 94*q. Is (q/48)/(-19) - 6/8 prime?
False
Let d = 1168 - 640. Let x = 10025 + d. Is x a composite number?
True
Suppose 5*k - 2*k + 6301 = 2*x, -2*k - 4197 = -5*x. Let l = 16 + -28. Is (-56)/l + -4 - k/3 prime?
True
Suppose 2 = 5*n - 3, -2*y + 29181 = -n. Is y prime?
True
Let i = -23151 - -87298. Is i prime?
False
Let b(x) = -x**2 - 17*x + 29. Let d be b(-19). Let f be (-1)/3 - 13197/d. Suppose -2286 - f = -8*t. Is t a composite number?
True
Let d(y) = 3228*y**2 + 2*y - 1. Let r = 93 - 81. Suppose r = -2*w + 14. Is d(w) composite?
False
Let r be (-73425)/(-1) - (8 - 6). Suppose 18*h - r = h. Is h composite?
True
Suppose 0 = -10*f - 4*f + 84. Suppose 8 = 4*a + r, 6*r - r = 3*a - f. Suppose -w = -5*x - 724, -a*w + 2*x - 5*x = -1487. Is w composite?
False
Suppose 0 = -v + 5*q + 7, 3*v + 0*v - 2*q = 8. Suppose -a + 27 = -4*l, 3*a = 3*l + v*l + 39. Is (-4)/6 - 286/l a prime number?
True
Let o = 61 - 46. Suppose 13*l = o*l + 2198. Let f = l - -2006. Is f a prime number?
True
Suppose 0 = -4*s - 3*w - 90, 0 = 3*s + 5*w - 0*w + 62. Let t(x) = -164*x + 113. Is t(s) a composite number?
False
Let h be (-642)/(-38) + ((-4)/19)/(-2). Suppose -h*o = -13*o - 2524. Is o a prime number?
True
Let i = -49 + 73. Let b be 40/i*18/10. Suppose -4*q + 4*l = -2*q - 5570, b*l = -12. Is q composite?
False
Suppose -1686689 = -3*p + v, 3*p - 1686685 = -128*v + 130*v. Is p a prime number?
True
Suppose 2*f - 6*f = o - 24, 0 = -3*f + 4*o - 1. Suppose 3*y = -5*j + 1982, 2*y - 249 = -f*j + 1734. Is j a prime number?
True
Suppose 136*c - 5917176 = 64*c. Is c composite?
False
Suppose 0 = -3*v - 3*y + 45036, 60036 = 9*v - 5*v - 2*y. Let n = v + -10584. Is n composite?
True
Is 66/88*12113058/9 - (-3)/(-6) prime?
False
Let w(h) = -64*h + 13. Let c(j) = 64*j - 13. Let l(x) = -5*c(x) - 4*w(x). Is l(-4) a composite number?
False
Let p(x) = -2*x**2 + 19*x + 17. Let y be p(10). Suppose -2744 = -y*n - 427. Is n prime?
True
Suppose 4*h - 402682 = -2*i, 5*i - 32*h = -36*h + 1006741. Is i a composite number?
True
Suppose 0 = -3*f - 0*f - 5*y + 76, 0 = -2*f - 3*y + 51. Let l = f - 17. Suppose -l*p + 18342 = -4*p. Is p prime?
False
Suppose 4*q + 34*m = 41*m + 1023765, q = -4*m + 255947. Is q composite?
True
Let w = -493 + 700. Suppose -209*z + w*z + 6206 = 0. Is z prime?
False
Let d(g) = 190*g**3 + 6*g**2 - 4*g + 109. Is d(7) a composite number?
True
Suppose -5*r - 75 = -y, -4*r = 4*y + 57 + 27. Let c(m) = -162*m + 41. Is c(r) a composite number?
False
Suppose 0*s - 7 = s + 4*l, 0 = 2*s - 3*l - 8. Let h be (-10 + 8)*((-5)/2 + s). Suppose -2*o - 702 = -5*r, 693 = h*r - 2*o + 275. Is r a composite number?
True
Let h = 82373 - -109212. Is h prime?
False
Suppose 3*o + 3210 = -849. Let k = o - -3290. Is k composite?
True
Let f = 77 + -74. Suppose 22 - 7 = f*n. Suppose n*c = 1738 + 2572. Is c a composite number?
True
Let r be -2 - 3597/5 - (-9)/(-15). Let o = -93 - r. Suppose 4*m = 5*m - o. Is m a composite number?
True
Let a be (-7 - -3)/40 - (-255)/50. Suppose -3*y + 11233 = -a*g - 2413, 1 = -g. Is y prime?
True
Let r = 9419 + -6600. Is r a prime number?
True
Let k(n) = 81*n + 45. Let j be k(-5). Suppose -2*w + 906 + 260 = 0. Let h = w + j. Is h a prime number?
True
Let t be (2 - 0)*(3 - 2). Suppose 0 = t*n - 56 + 50. Suppose 2*x - 2018 = -n*b, -7*x + 5045 = -2*x - 2*b. Is x composite?
False
Let z be 162001/49 + 18/21. Suppose z + 124361 = 12*j. Is j a prime number?
True
Let j = -5 + 1. Let m = 468 - -1967. Is (m/10 + j)*2 a composite number?
False
Let v(g) = -1497*g - 1430. Is v(-37) prime?
True
Let w = -550 + -781. Let f = w - -3664. Is f a composite number?
False
Let a(t) = -t**2 - 32*t + 27. Let j be a(-33). Is (-3 + 2)/(((-6)/(-1687))/j) composite?
True
Let o be 59700/26 - (-16)/(-104). Suppose -i + o = -111. Let l = i - 1436. Is l a prime number?
True
Suppose 0 = -4*x + 1 + 11. Suppose 2*u = x + 5. Is u - 1 - -1 - -2155 a prime number?
False
Let y(k) = 3*k**3 - 108*k**2 + 8*k - 163. Is y(44) prime?
False
Let z = 20316 + -3025. Is z a composite number?
False
Let n(d) = 2*d**2 - 67. Let o = -234 + 249. Is n(o) a prime number?
True
Let u(a) = -58683*a - 90. Is u(-1) a composite number?
True
Suppose 0 = -8*r + 16 - 0. Let u(n) = n + 4. Let k be u(-4). Suppose -r*c + s + 131 + 184 = k, c = -5*s + 163. Is c prime?
False
Let m(g) = 37*g + 28 - 19*g - 17*g. Let a be m(-22). Let s(v) = v**3 - v**2 + 6*v + 2. Is s(a) prime?
False
Suppose -2*s + 545 = 143. Let o be (8/20)/(3/(-240)). Let m = s - o. Is m a composite number?
False
Let u = 2312693 + -1349476. Is u prime?
False
Suppose 169*w + 1992397 = 180*w. Is w prime?
False
Let t = -13 + 17. Let i be t + 317/1*2. Let j = i - 193. Is j a composite number?
True
Let z be (0 + (-3)/(-2))*2. Is ((-1394)/(-6))/(((-2)/(-2))/z) prime?
False
Suppose q + 5*n - 297264 = 184110, 481276 = q + 19*n. Is q a composite number?
False
Suppose 0 = -63*g + 51*g + 168. Suppose a = -4*s + 17073, 10*s - 3*a = g*s - 17083. Is s composite?
True
Suppose -1946 = -22*m - 230. Suppose -26*h = -m*h + 290108. Is h prime?
False
Let z(d) = d**3 + 4*d**2 - 8*d - 12. Let j be z(-5). Let p be (5 - 6)*204/(j*-1). Suppose -3*i = 3*t - 93, -p = -3*t + t + i. Is t prime?
False
Let j(u) = -u**3 + 71*u**2 + 85*u - 312. Is j(-29) prime?
False
Let s(z) = 10*z**2 - 18*z + 79. Let w(m) = -m**2 - 38*m - 255. Let v be w(-29). Is s(v) a prime number?
True
Let g(k) = 2*k**2 - 5 + 8*k + 8*k**2 - 3*k**2 - 16*k**3 - 6*k. Let n be g(-3). Suppose 5*l - n = -4*u + 372, 0 = 5*l. Is u composite?
True
Let o(f) = -4*f**2 - 17*f - 27. Let n be o(-6). Is ((-4169)/(-4))/1 + n/(-92) a prime number?
False
Let m = 29252 + -2493. Is m a composite number?
False
Suppose 20*i + 9679964 = 79*i - 17536382. Is i composite?
True
Suppose 0 = -5*o - 8*x + 11*x + 1023520, -o + 2*x = -204697. Is o a prime number?
True
Suppose -o - o = -46. Let c be o/((-92)/(-120)) - 2*1. Is (25764/c)/3 + (-4)/(-14) a prime number?
True
Let j = -597 + 596. Is (-2 + j)*(4 + (-42284)/12) composite?
False
Let m(o) = -86*o**3 + o**2 + 31*o + 95. Is m(-3) prime?
True
Let m(v) = -9*v**2 - 4*v - 79 - 26*v**2 + 38*v**2. Is m(24) a prime number?
True
Let k(f) 