- 2*o + 5*m = -v, 12593 = 3*o - 5*m. Is o a composite number?
False
Let g be (-61885)/20 + (-2)/(-8). Let i = 5526 + g. Let l = i + -1645. Is l a prime number?
True
Suppose 26*o + 25 = 31*o. Is 69146/22 - (1 + o) prime?
True
Suppose 0 = -w + 81 - 73. Suppose 0 = w*j - 8383 - 28329. Is j prime?
False
Suppose -161*q = -102020778 - 212243011. Is q a composite number?
False
Let y(d) = 25*d**3 - 42*d**2 - 8*d - 66. Is y(11) a prime number?
False
Let h = 125 + 224. Let k be (-51)/153 - (-2)/(6/h). Suppose 16*q - 13788 - k = 0. Is q prime?
False
Suppose 132*r = 357*r - 50480325. Is r prime?
False
Suppose 2*l - 11*l + 11*l = 3017414. Is l prime?
True
Suppose -m + 4*m - 720 = 0. Suppose -4*o + 3499 = a, 5*a - o - m - 17213 = 0. Is a composite?
False
Let d be 32/240 - ((-122)/15)/(-1). Let t(v) = 280*v + 6. Let h be t(d). Let k = h - -3445. Is k a composite number?
True
Let p(t) = -t**3 + 0*t**2 + 3*t**2 + 1 + 3*t - 5*t + t. Let g be p(2). Is (-3)/(-15) - (g - (-2698)/(-10)) composite?
True
Let l = -12592 - -57395. Is l prime?
False
Let y(p) = -p**2 - 18*p - 2. Let t be y(-18). Let n be t/2*20/(-4). Suppose -4*u + 3306 = u + 4*q, n*q + 3315 = 5*u. Is u composite?
True
Let d be 1/(6/(-20))*(-87)/58. Is d/20*25556*(2 + -1) a prime number?
True
Let x(v) = 240*v**3 - 15*v**2 - 12*v + 48. Is x(5) prime?
False
Let c be 12/16*(-7 + -1). Is 1363395/110*(1 + 2/c) a composite number?
False
Let i = 239 - 243. Is (4/4*1)/(i/(-1012)) a prime number?
False
Suppose 95*o - 89*o - 2874 = 0. Let s = o - 285. Is s a composite number?
True
Let o(g) = -8*g**3 - 7*g**2 - 10*g - 1. Suppose 42 = 11*r + 3*r. Suppose -11 = r*p + 1. Is o(p) composite?
False
Let s = 402 - 641. Let b = s + 1026. Is b a prime number?
True
Suppose 0 = 3*s + 2*k - 2028605, s + 4*k - 867520 + 191345 = 0. Is s a prime number?
False
Suppose 3*q + 4*q = 5691. Let m = -226 + q. Is m composite?
False
Let p(s) = 282*s**2 - 13*s - 20. Let q be p(-3). Suppose -g + q = 354. Is g a prime number?
True
Let u = -234 + 194. Is (13885/20)/(-2*5/u) a composite number?
False
Let s(d) = d + 31. Let a be s(-27). Suppose h - 5*c = 472, a*h + c - 1206 = 724. Is h composite?
True
Suppose -22452 - 182400 = -43*i. Suppose -4*a = 2*h - i, 4*a - 5*h + 150 = 4914. Is a prime?
False
Let s(k) = 46*k + 2. Let j be s(-5). Suppose 0 = 16*l - l - 3*l - 5028. Let b = j + l. Is b prime?
True
Let l(g) = -12*g - 1. Suppose 6 = -5*w + 1. Let y be l(w). Is (-2)/y + 5943/77 composite?
True
Let n(y) = 2*y**2 + 9*y - 14. Let k be n(-6). Suppose -k*q - 13536 = -4*g - 46932, q + 3*g = 8365. Is q prime?
True
Let h(f) = -5 + 4*f - 6*f - 14. Let c be h(-9). Is (0 - -127) + (1 + c)/3 composite?
False
Let c = -453294 + 801533. Is c prime?
True
Let o = 146 - 146. Suppose 48*z - 54*z + 2082 = o. Is z a composite number?
False
Let w(a) = -4*a**2 - 5*a + 8. Let k(s) = 2*s**2 + 2*s - 4. Let d(l) = -5*k(l) - 3*w(l). Let i be 6/24 + (319/44)/(-1). Is d(i) composite?
False
Let g(m) = 2*m**2 + 11*m + 19. Let j be g(-5). Suppose -4*i - j + 14 = 0. Suppose i = 5*r - 2*r - 1329. Is r prime?
True
Let n(j) = -45*j - 36. Let d(t) = 44*t + 35. Let k(r) = -7*d(r) - 6*n(r). Suppose -3*x = 3*x + 72. Is k(x) composite?
True
Let n = -131 + 140. Let o(w) = 410*w - 7. Is o(n) composite?
True
Let w(k) = k**3 - 29*k**2 + 7*k + 47. Let x be w(29). Let z = -87 + x. Is z prime?
True
Let z(x) = 12*x**3 + 50*x**2 + 188*x + 19. Is z(14) composite?
True
Let r(f) = -419866*f + 163. Is r(-1) a prime number?
True
Is (-1031698)/(-10) + -54*(-5)/225 a composite number?
False
Let r(d) = 5124*d**2 + 384*d + 5. Is r(2) composite?
False
Let t(o) = 64*o**2 - 113*o - 1250. Is t(-67) a composite number?
False
Let s(j) = 5*j**2 - 33*j - 22. Let d be s(-29). Let z = d - 2331. Is z a prime number?
False
Let m(v) = 79*v**3 + 3*v**2 - 4*v + 5. Let h(p) be the third derivative of p**5/30 + 17*p**4/24 + 5*p**3/3 + 8*p**2. Let c be h(-8). Is m(c) composite?
False
Let y be (-5)/(-2)*1664/520. Suppose 0 = -g + 3*b + 3415, -3*b + 13630 = y*g - 4*g. Is g composite?
True
Let y(r) = 279*r - 1. Let s be (-8)/(-16) - (2/4)/1. Suppose 2*f - 5*t = 29, f + s*t - 2*t - 12 = 0. Is y(f) a prime number?
True
Suppose -4*u + 1810425 = 5*f, 10*u = 5*f + 7*u - 1810390. Is f composite?
False
Let m be (-10*4/32)/(1/(-16)). Suppose -m*c - 105736 = -28*c. Is c composite?
False
Let z be ((-16)/(-24))/((-8)/(-262092)). Suppose -59869 - z = -10*d. Is d a composite number?
False
Suppose 3*j + 5 = 11. Suppose -c + j*c = -12. Is 6/3 + 3/(c/(-5020)) composite?
True
Let u be (1352/(-130))/(1/(-30)). Is (-469)/(-3) - (u/18)/13 a prime number?
False
Suppose -247*o - 15 = -250*o. Suppose -4*z - 5746 = -8*z - 2*j, -3*z - o*j = -4292. Is z a composite number?
False
Let g(d) = d**2 - 2*d - 5. Let x be g(4). Suppose -2*z + 9 = -x*f + z, 3*z - 7 = f. Is (11/2)/(f/(-34)) a prime number?
False
Let m = -799 + 2687. Let j = 633 + m. Is j a composite number?
False
Let o(z) = 88*z**2 - 89*z - 1213. Is o(-40) prime?
False
Suppose 11*q - 168473 - 17900 = 0. Is q a prime number?
True
Is (51 + -49)*273073/2 a prime number?
True
Let j(r) = 142*r**2 - 46*r - 7. Let o = -71 + 81. Is j(o) a composite number?
True
Suppose -2*f + 43 = -3*j, 4*f - 9*f + 45 = 5*j. Suppose 0 = f*s - 15*s + 1865. Is s a composite number?
True
Let h(g) = 9*g**3 - 43*g**2 + 270*g - 7. Is h(21) a prime number?
False
Let q(l) = -12*l + 122. Let h be q(10). Suppose -4*k - 5*g + 749 = -h*k, -g + 753 = 2*k. Is k composite?
True
Let f(b) = -604*b + 8459. Let n be f(14). Let m = -5 + 8. Suppose -3*q - 4*x + 3555 = -n*x, 0 = x + m. Is q a composite number?
True
Let c be 4 - (-1)/2*(-2 + -2). Suppose 5*j - c*j = 3603. Is j a prime number?
True
Let c = -525 + 32444. Is c a prime number?
False
Let g(z) = 3492*z**3 - 5*z**2 + 38*z - 88. Is g(5) a prime number?
True
Let s = -1162 + 2668. Let u = s - -5877. Let w = u - 5222. Is w composite?
False
Suppose 22*c = -5*c - 22*c + 3468367. Is c composite?
False
Let x(d) = 111*d - 25*d + 5 + 42*d + 4. Let z = 398 + -385. Is x(z) a composite number?
True
Let f = 7524 - -4646. Suppose 0*c = -4*o - c - 24355, 2*c - f = 2*o. Let r = -4187 - o. Is r composite?
False
Let k = 2688 - 1263. Let z = k + -343. Let c = 2253 - z. Is c a prime number?
True
Let m be 6 - 0 - (5 + -5). Let n(s) = 85*s**2 + 13*s + 9. Is n(m) prime?
False
Is (226/3)/(50/45*(-3)/(-5545)) prime?
False
Let i(q) = 18473*q - 4397. Is i(8) composite?
False
Suppose -2 = -i - 3*b + 16, 0 = 3*i + b - 86. Let l be (-224)/(-105) + (-4)/i. Suppose -p - l*o = -333, 7*o - 1324 = -4*p + 3*o. Is p a composite number?
True
Suppose 27*s + 820 - 118 = 0. Is 40022*(-1)/(-14) + s/(-91) a composite number?
True
Suppose w + 0*u + 5*u = 0, 4*w = 3*u + 23. Let d = 0 - -5. Suppose r = -w*j + 44 + 7, 0 = -d*j. Is r composite?
True
Let o(u) be the third derivative of -1/60*u**6 + 10/3*u**3 + 1/30*u**5 + 32*u**2 + 0*u - 1/8*u**4 + 0. Is o(-6) composite?
True
Suppose 1613 + 8215 = -4*t. Let a = t + 6654. Is a prime?
False
Let o = 36591 - -76922. Is o composite?
False
Is 9/(-6)*-117202*(10/(-2))/(-15) prime?
True
Suppose -3*o - 20 = -7*o. Suppose 40 = 5*m + 3*n, -o*n + n = -m - 15. Suppose m*q = 6*q - 1585. Is q prime?
False
Let g be (7/1)/(808/268 + -3). Let b = g - -3172. Is b a prime number?
False
Let o(n) = n**2 - 6*n + 26. Let b be o(15). Let u = b + -88. Suppose 5*s - 502 = u. Is s a composite number?
True
Let f = 138 - 28. Suppose 37 = 3*s - f. Suppose 4*z - 595 = s. Is z a prime number?
False
Let i = 2573 + 30978. Is i composite?
True
Let m(s) = -s**3 + 16*s**2 + 53*s - 93. Is m(13) a prime number?
True
Let q = 4049 + -2377. Suppose -4*f + 6374 = 5*y - 1899, q = y - 5*f. Is y a prime number?
True
Let w(x) = -x**2 + 8*x - 12. Let b be w(3). Is (1/9*b)/(1/471) a prime number?
True
Let o = -180 - -197. Is (-119)/o*(1 - 14656/14) a prime number?
True
Suppose 0 = -3*c - 36 + 45. Suppose 8*s - 10 = c*s. Suppose 210 = 5*y - 5*h, -s*h + 20 = 2*h. Is y a composite number?
False
Let m = 451 - 498. Is (6857/3)/(m/(-141)) composite?
False
Suppose 0 = -125*c + 122*c + w - 9, c - 1 = -w. Suppose -5*a + 8 = b + 78, 3*a - 3*b = -60. Is 58/c*(a + -4)*1 a prime number?
False
Let i(p) be the third derivative of -p**5/60 - p**4/8 - 1591*p**3/3 + 18*p**2. Let t be i(0). Let u = -1375 - t. Is u prime?
False
Suppose -4*t + 