1/21?
1/21
Let s = -2389.076 - -2413. Let f = s + 0.076. Is f != 2/7?
True
Let n = -1710 + 1655. Is -3/2 smaller than n?
False
Let i(v) = -4*v + 25. Let f be i(6). Is -1 greater than or equal to f?
False
Let a = -19.976 - 0.024. Let z = a + 21. Is z >= -24?
True
Let p be (10/(-6))/(4/3). Let a be (50/10 + -7)*1. Are a and p non-equal?
True
Let k(v) = 19*v + 536. Let y be k(58). Is y less than 1639?
True
Suppose 0 = 18*m - 11*m - 7. Let f(q) = -q - 5. Let y be f(-4). Let v be (y/(-4))/((-15)/12). Is v less than m?
True
Suppose 48 + 63 = 3*m. Let z(g) = 5*g**2 - 6*g + 9. Let u be z(3). Which is smaller: u or m?
u
Let z = 54.066 - 0.066. Let x = -56 + z. Is x > 11?
False
Let w(u) = u**3 - 18*u**2 - 16*u - 25. Let p be w(19). Let f = -30 + p. Which is smaller: f or 1?
1
Let i be -21*(102/(-18) + 5). Is i less than 16?
True
Suppose 9 = -3*g, -8 = 5*o - 28*g + 29*g. Let j be (-550)/183 - -2 - -1. Which is smaller: j or o?
o
Let r = -15.3 - -0.3. Let y = 14.9 + r. Which is smaller: 36 or y?
y
Let g = -63/310 + 52577/310. Which is smaller: g or 170?
g
Let p(t) = 7*t + 93. Let m be p(-17). Is -26 at most m?
True
Let y be 250/(-180)*(-5 - -1) + -5. Let t be (2/3)/((-2)/(-3)). Let b be (2 + -3 + 1)/t. Which is smaller: b or y?
b
Let b(i) = -i**3 + 15*i**2 + 4*i + 192. Let g be b(16). Which is greater: g or -4/551?
g
Suppose k = 0, -2*k + 166 = 3*u - 107. Let i be (-15)/(-13) + -1 - 14/u. Which is smaller: -0.018 or i?
-0.018
Let p(q) = 8*q**3 - 9*q**2 - 12*q + 5. Let v be p(-3). Which is smaller: v or 2?
v
Let j(o) = -o**2 - 16*o + 37. Let w be j(-15). Let m be (w/12 - 1)*(-24)/(-10). Which is smaller: m or 7?
7
Let i be 77/5 - (-16)/(-40). Let k(q) = -q**3 - 2*q**2 - 7*q. Let r be k(-2). Is r <= i?
True
Suppose 2*u + 140 = 5*s, -s - 140 = 2*u + 2*s. Let c = u - -84. Which is smaller: 1 or c?
1
Let k = -43 - 47. Which is smaller: 0.04 or k?
k
Let j = -3.89 + -0.11. Let h be (-71)/142 - 237/(-498). Is j < h?
True
Let r = 14 + -21. Let z = 20 + -22. Is z not equal to r?
True
Let n(b) = b**3 + 7*b**2 - 6*b - 19. Let u be n(-7). Does 14 = u?
False
Let u(c) = 53*c**2 - 2*c + 4. Let n be u(3). Let b = n - 9973/21. Let q(z) = z**3 + 6*z**2 - 8*z - 6. Let o be q(-7). Which is smaller: b or o?
b
Let y = -389.9 - -390. Let a = -1663/16 + 104. Which is smaller: a or y?
a
Suppose -12*u + 384 = -4*u. Let q be 2/(-8) + 108/u. Which is smaller: q or -3?
-3
Let l be 24/14*21/(-33). Let i = 88707/2387 - 1177/31. Let h = i - l. Which is greater: h or 0?
h
Let b = -7/15 - -41/75. Let w be 654/(-531) + -4 + 5. Let s = 6/59 - w. Is b at most s?
True
Let i(u) = u**3 - u**2 - u - 2. Let j be i(2). Suppose -3*p + j*p + 36 = 0. Let f be 3/(-154)*p/(-9). Which is bigger: f or 0?
f
Let p = -3/107 + 241/963. Let o = 0.11 - 0.61. Let u = o - 0. Is u at least as big as p?
False
Let w be (-3)/18*-27*(-1)/141. Do -1 and w have the same value?
False
Let k = -103 - -67. Let n = -42 - k. Which is greater: -1/3 or n?
-1/3
Let v be (2 - 3) + -11 + 3. Let n = 9 - v. Is n greater than 19?
False
Let w be (31 - 4)*-1 + (-4)/(-1). Let f be 20*(-2)/(-4)*-2. Do w and f have different values?
True
Let k(j) = -j**3 + 3*j**2 + 8*j - 4. Let f be k(5). Let l = 496 - 512. Which is greater: f or l?
f
Let p(u) = -u**2 + 7*u + 43. Let m be p(14). Is m greater than or equal to -111/2?
True
Let n = -54 - -120. Let o = n + -69. Is -5 > o?
False
Let i(d) = -d**2 - 2*d + 2. Let v be i(-4). Suppose 3*a + m + 4*m - 19 = 0, 17 = -a + 3*m. Let j be 0 - (2*-7)/a. Is v equal to j?
False
Let n be (-3171)/(-633) + 4/(24/(-30)). Which is greater: -1 or n?
n
Let x be 4 - 0 - 19/19. Suppose 4*l - 5*s + 17 = 0, -2*s + 5 - x = 0. Is l bigger than -42/11?
True
Let a(o) = o**3 - 2*o**2 + 2*o - 1. Let u be a(1). Suppose u = -4*r - 22 + 18. Are -1 and r equal?
True
Suppose 2*j + 66 = -118. Which is smaller: 1 or j?
j
Let i be (-3 + 0 - -1)*-1. Suppose 3*q - 4*q = i. Let z be (-4)/q*1 + -2. Which is smaller: -2 or z?
-2
Let g = 11 + -9. Let w(y) = 1 - 2*y**g + 3*y**2 + 4*y - 2. Let i be w(-2). Are -5 and i nonequal?
False
Suppose 3*c = -c + 20. Let u(l) = -46 + l**2 - 42 + 125 - 6*l - 42. Let z be u(c). Is z <= -11?
False
Let n = 4 + -6. Let x = -2 - n. Let u = 913/2061 - -1/687. Is u at most as big as x?
False
Suppose 6 = -s - 2*s, 116 = -3*b - 4*s. Let n be (-4)/(-10) + b/(-60). Let l be -2 + 3 + n*-2. Is l equal to 1/3?
False
Let b = -13/6 + 5/2. Let f = -20.16 - -22. Let n = f + 0.36. Is b bigger than n?
False
Let o(x) = x - 19. Let f = -7 - -12. Let m be o(f). Which is smaller: -13 or m?
m
Let y be (-30)/84 - (-3)/6. Let o(d) = d**3 + 8*d**2 + 8*d + 6. Let p be o(-7). Is p < y?
True
Let y(q) = 4*q**3 + 6*q**2 + 41*q + 243. Let j be y(-8). Is -1749 at most j?
True
Let d = -0.0908 + -0.0192. Is 2/13 equal to d?
False
Let x(z) = -z**3 - 14*z**2 - z - 8. Let a be x(-14). Let g(b) = b**2 - 5*b - 3. Let m be g(a). Suppose 0 = y - m*y - 4. Which is bigger: -9 or y?
y
Let i be 12/(-60)*0 + (-4)/(-7). Which is smaller: i or -1?
-1
Let l = 566 + -565. Is l <= 23/27?
False
Let a = 585 - 590. Does a = 0.1?
False
Let y(r) be the third derivative of r**5/30 + r**4/8 + r**3/2 + 11*r**2. Let i be y(-2). Is 5 <= i?
True
Let b(t) = -4*t - 23. Let h be b(-6). Do h and -8/23 have different values?
True
Let h(f) = f**2 + 8*f + 11. Let b be h(-7). Let y be (-3 - -7)*(-19)/b. Which is smaller: -37/2 or y?
y
Let o be ((-4)/(-12))/(4/48). Suppose 5*s + 5*f + 6 = -14, s + o*f + 16 = 0. Is 3 > s?
True
Let z be (-66)/(-8) - 3/(-4). Suppose -5*s + z*s = 140. Let i be 20/s*7/3. Which is bigger: i or 2?
2
Suppose -53*s + 55*s - 2 = 0. Is 2/5 at least s?
False
Let u = -1520570 - -506350178/333. Let y = u - -29/37. Does y = -1?
False
Suppose 0 = -4*l + 4*u - 60, 4*l - 4*u = -3*u - 45. Which is smaller: l or -1?
l
Let g be (-2)/(-4) + (-9)/(-18). Suppose -4*a = 3 + g. Let y = a - 0. Which is greater: y or 2/7?
2/7
Let z = 604 - 137. Does z = 467?
True
Let a(f) = 2*f**2 - 3*f + 3. Let p(m) = 7*m - 26. Let l be p(4). Let d be a(l). Which is smaller: d or 3?
3
Suppose -8*g = 26 + 54. Is -69/8 != g?
True
Let h be (-4606)/40 - (-13)/(-52). Let o = h - -115. Let s = 0.76 + -0.7. Which is smaller: s or o?
o
Suppose 169 - 718 = 2*m - 5*q, 0 = m - 4*q + 267. Which is bigger: -288 or m?
m
Let t(a) = -3*a**3 + 2*a**2 + 2*a - 8. Let d be t(6). Let v = d - -68641/120. Is -1 greater than or equal to v?
False
Let x(q) = 3*q**2 - 4*q + 2. Let i = -138 - -139. Let t be x(i). Is 1/2 at least t?
False
Let z(a) = -129*a - 130. Let w be z(0). Which is smaller: w or -132?
-132
Suppose -135 = -34*w + 29*w. Suppose -79 = -7*j + 117. Is j less than or equal to w?
False
Let z = -1 - 0. Let n be (-54)/(-13) + (-348)/2262. Which is bigger: z or n?
n
Let d = -210 - -172. Which is smaller: d or 0?
d
Let o be 36 - 30 - (1 + 3). Which is bigger: o or 11/4?
11/4
Let b = -21665/2 - -239347/22. Is 48 less than b?
False
Let q = 13.866 + 0.134. Do 0 and q have the same value?
False
Let t be 1 + ((-57)/95 - 2/5). Let b(w) = -w**2 + w. Let d be b(0). Is t smaller than d?
False
Let d be 7/21 + (-8)/6. Which is smaller: -1/63 or d?
d
Let o(v) = v. Let q be o(2). Let s(x) = 3*x. Let w be s(q). Let f(h) = -h**3 + 37*h**2 + 79*h - 37. Let r be f(39). Is r > w?
False
Let g = 13.25 - 14.25. Which is smaller: 44 or g?
g
Let a = 31 + -21. Suppose -a - 5 = -q. Suppose -7*x + q = -12*x. Is x at most 4?
True
Let p be (-3)/(2 + -2 + -3). Suppose -h + 0 = p. Let j be 4/(1*(h + -1)). Do j and -14/9 have the same value?
False
Let c = -7 + 14. Let b be 14/42 - (4/(-6))/(-2). Suppose r - 9 = 2*p - 3*p, b = r - p + 1. Is r equal to c?
False
Let w = -1005 - -1628. Does w = 625?
False
Let k(x) = 4*x + 10 + 10 - x - 10. Let u be k(5). Which is smaller: 24 or u?
24
Let c(a) = -a**3 + 3*a**2 + 8*a - 1. Let v be c(4). Which is smaller: v or 7?
7
Let i = -103 + -9. Let r = -111.52 - i. Which is greater: r or 0.1?
r
Let c(y) = -y**2 + 8. Let i be c(3). Let x be (i/5)/(437/46). Is x greater than -1/4?
True
Let k be ((-7)/(35/(-6)))/(72/1920). Which is smaller: k or 30?
30
Let j(c) = 39*c + 383. Let s be j(-13). Is s at most -124?
True
Let y(s) be the third derivative of s**4/24 - s**3/2 + 21*s**2. Let l be y(4). Which is greater: l or 2/159?
l
Let h = 739/260 - 3/20. Which is smaller: 2 or h?
2
Let k = 345.93 - 347. A