: v or -2/5?
-2/5
Let v = -1325/7 + 189. Is v < -0.81?
False
Suppose 16 = -b - 7*b. Is -28/9 equal to b?
False
Let t = 1/70 + 31/2730. Let o = -4/13 - t. Let j(c) = c + 7. Let v be j(-7). Is v bigger than o?
True
Suppose 0*r - 7 = -2*r + 3*p, p = -3*r + 5. Suppose r*t + 4 = 6*t. Do -2/19 and t have the same value?
False
Let m = -1509/490 + 31/10. Does 1 = m?
False
Let n(o) = o**3 + 5*o**2 - o - 6. Let j be n(-5). Let b = 27 - 24. Let u = -5 + b. Which is smaller: u or j?
u
Let n = -2949 - -421705/143. Is 1 at most as big as n?
False
Let a(t) = -4*t + 2*t - 9 + 4*t - 3*t. Let b be a(-8). Which is smaller: b or 2/15?
b
Suppose -5*n - 5 = -0. Let i(r) = 3*r**2 + 7*r + 5. Let x be i(-2). Suppose 11 = -x*j + 17. Is n equal to j?
False
Let b = 0.79 - -0.01. Let z = -0.2 - b. Let n = -2 - -3. Which is smaller: n or z?
z
Let f be (2 - 2) + 0/(-1). Let d = 3294/11 - 300. Is f less than d?
False
Let z(o) = o**2 + 9*o - 11. Let g be z(7). Is 101 bigger than g?
False
Suppose 0*v + 9 = -5*f - 2*v, -f - 9 = -2*v. Let j = f - -2. Let u be (-2)/(-9)*3*1. Is u less than j?
False
Let q = -35 + 32. Is q != -3?
False
Let b(q) = -q. Let h be b(0). Which is bigger: 5/17 or h?
5/17
Let c be (-4)/2 + 4 - 1. Let j(o) be the third derivative of -o**6/24 + o**5/30 - o**4/12 + o**3/6 + o**2. Let z be j(c). Do z and -4 have the same value?
True
Let n = 1.7 - 2. Let d = 0.2 + n. Let m = -0.2 + 0.3. Is m at most as big as d?
False
Let m(s) = s**3 + 3*s**2 - 3*s + 3. Let k be m(-4). Let u(w) = w + 9. Let z be u(-7). Let h = k - z. Which is bigger: h or -1?
-1
Let h = 2 + -2.1. Let r = -11 - -16. Let k = 5 - r. Is k at most h?
False
Let o be 6 + -6 + 4/190. Let n = 289/190 - o. Is n at most as big as 1?
False
Suppose -s = -2*r - 92, r - 3*r = 3*s - 308. Let d be s/(-70) + 1 + 0. Which is greater: 0 or d?
0
Let p be 12/4*28/6. Let w = p - 40/3. Let y = 0.2 - -0.8. Which is greater: y or w?
y
Let q(d) = d**3 + 6*d**2 - 7*d - 1. Let z(f) be the second derivative of -f**4/6 - 5*f**3/6 - 2*f**2 - 2*f. Let y be z(-3). Let n be q(y). Is n <= -1?
True
Let n = 89 + -99.2. Let m = -0.025 + 10.025. Let i = m + n. Which is smaller: i or 2?
i
Let n(g) = 2*g - 8. Let x be n(6). Let d be (2/3)/(x/6). Suppose -d - 1 = -2*p. Is 1 < p?
False
Let k be (-2)/4 - (-3)/2. Suppose 5*u + 2*n = 19, 3*u + 4*n = 6*u - k. Are u and 0 equal?
False
Let v(g) = g**3 - 6*g**2 - 5*g - 5. Let b be v(7). Suppose -12 = -4*w + h, -4*w = w + 2*h - 2. Suppose -5*z = -w*z - b. Does 4 = z?
False
Let o be ((-12)/(-15))/((-3)/(-75)). Suppose -3*u - 2 = 2*v, 4*v - 7*v = -4*u + o. Suppose 3*s = -s + 16. Which is smaller: u or s?
u
Let b = 12 - 20. Let q be b/4 + (-39)/(-20). Is 0 >= q?
True
Suppose 0*t - 16 = 8*t. Is -5/2 < t?
True
Let x(q) = 9*q - 13. Let m be x(-10). Let p = -48 - m. Let i = p + -221/4. Is i greater than -1?
True
Suppose 4*a - 7*v = -2*v - 26, -22 = 3*a - 5*v. Let u = 249 - 577/2. Let s = u + 37. Is a equal to s?
False
Suppose 11*j - 3*j = -8. Is -5/6 greater than j?
True
Suppose -p + 0*p - 4 = 0. Let x = 1 + p. Let b(s) = -s**3 - s**2 - 3*s - 2. Let j be b(0). Is x < j?
True
Let o(h) = -h**3 - 8*h**2 - 8*h - 7. Let q be o(-7). Let m = -15 - -6. Let f = -10 - m. Which is smaller: f or q?
f
Suppose -5*d = 3*v + 2*v + 15, 0 = 5*d + 5. Is -4/7 smaller than v?
False
Suppose 5*y + 47 = 2*n + 2*n, -n - 3*y - 1 = 0. Let i be -2*((-12)/n - 0). Suppose -3 = -2*d + 1. Is i bigger than d?
True
Let m = -10/77 + -4/77. Let v(k) = 0*k**3 + 2*k - 2 - k**3 - 5*k**2 + 3*k**2. Let h be v(-3). Which is smaller: h or m?
m
Suppose 0 = -k - 1 + 3. Let y be (2 - 5)*k/3. Let l be ((-1)/y)/((-6)/8). Is -1 at most as big as l?
True
Let n = 11.8 - 1.8. Let q = n + 4. Which is smaller: q or -0.1?
-0.1
Let r = 0.5 - 1.5. Let w = -0.5 - r. Let j = w + -0.4. Which is greater: j or 6?
6
Let n be ((-32)/11)/((-6)/138). Let x = -67 + n. Is 0 at least x?
True
Let s(x) = -x**2 + 5*x + 3. Let d = -3 - -7. Let z be s(d). Let w = z - 9. Which is bigger: 0 or w?
0
Let u be 15/(-6)*8/(-30). Do u and 1/9 have the same value?
False
Let a = 517 - 16025/31. Let x = 0.1 + -0.1. Which is greater: x or a?
a
Let p = -58.4 - -58. Which is smaller: 1/5 or p?
p
Suppose 5*c = -7 + 47. Which is smaller: 9 or c?
c
Let x = 21 + -29. Let o = -8 - x. Let h = 1 - o. Is 1 at most h?
True
Let q = 167 + -168. Which is bigger: q or 4/69?
4/69
Let m(v) = -v**3 + 14*v**2 + 16*v - 15. Let w be m(15). Which is smaller: w or 4?
w
Let u be (-1)/(2*1/10). Let g = -10.8 - -11. Let o = -0.8 - g. Which is bigger: u or o?
o
Let g = -11 + 10.8. Let y = 26 - 26. Is g less than y?
True
Let t be (((-39)/5)/(-3))/((-3)/(-15)). Are t and 15 unequal?
True
Let r = -151/962 - -19/130. Is r smaller than -1?
False
Let q be 2/6 + 4/(-12). Suppose q = -4*t - 10 - 34. Which is greater: -12 or t?
t
Suppose 4*f + 21 + 23 = 0. Let r be 8/44 + 2/f. Which is smaller: 2/5 or r?
r
Let y = 2/45 + -599/315. Which is smaller: y or -3?
-3
Let x = -51 - -70. Is x equal to 15?
False
Let n be (3 + -1)*4/2. Suppose -15 = 3*u + n*k, -10 = 2*u - 2*k + 5*k. Which is smaller: -4 or u?
u
Let l = -14 + 14. Which is smaller: -1/9 or l?
-1/9
Let c = 26.5 - 2.5. Which is smaller: -1 or c?
-1
Let d(u) = u**2 + 9*u + 8. Let r be d(-8). Let i be (-9)/24*1/(-6). Are i and r nonequal?
True
Let s = 19.8 - 20. Is s less than 1?
True
Let y(c) = -3*c - 5. Let x be y(-4). Suppose -2*z - l + 27 = -x*z, -l = 4*z + 18. Let s be ((-2)/(-3))/(14/(-105)). Is s equal to z?
True
Let b = -1.3 + 0.3. Let f = -0.01 - -1.01. Let d = 1 + f. Which is smaller: b or d?
b
Let h = -39/7 + 43/7. Are h and -2 nonequal?
True
Let b(h) = h + 1. Let w = 3 - 2. Let g be (-39)/(-9) - w/3. Let q be b(g). Is -1 at least as big as q?
False
Suppose -w - 1 = -2*w - p, 2*w = -3*p - 1. Suppose -w*t = -15 - 17. Let g be (-2 - (-34)/t)/3. Is g <= 2?
True
Let h = -2 + 2. Let a be -1 + ((-124)/(-8) - -4). Let w = -19 + a. Which is smaller: h or w?
w
Let h(i) be the first derivative of i**4/4 - i**3 + 3*i**2/2 - 6. Let m be h(2). Is 2 < m?
False
Let k be 2/(-8) - 155/4. Let a be 3 + k/15 - 1. Suppose 2*u + u = 0. Which is smaller: u or a?
a
Suppose 20 = 3*x - 4*x. Let q be 32/x*(-10)/4. Suppose -5*w - 22 = i - w, 2*w = 3*i - q. Which is smaller: -3 or i?
-3
Suppose 0 = -3*k - d + 8, -2*k - 3*k = -d. Let g be 1/2*(-416)/140. Let b = 6/5 + g. Which is bigger: b or k?
k
Let t = -7 - -11. Let a = 83 - 78. Do a and t have the same value?
False
Suppose 7 + 3 = 5*c. Is c less than 5/13?
False
Let m = -17 - -19. Let p = m + -1.9. Which is greater: 11 or p?
11
Let d(v) = -v**2 - v. Let i be d(-3). Let a be (2/i)/(2/(-18)). Suppose 0 = -3*k - 0*k - a. Which is bigger: k or -2?
k
Suppose 4*y = 19 - 3. Suppose 0 = -y*p - 8 + 4. Is -1/12 greater than p?
True
Let j = -1.5 + 2.5. Is -2/3 > j?
False
Let t be -3*10/(-6)*(-4 - -3). Let w(b) = -b**2 + 7*b + 3. Let j be w(8). Is j less than or equal to t?
True
Let g be (-399)/209 - (2 - (-4)/(-1)). Do 1 and g have different values?
True
Let t = -1.98 + -0.02. Let d = 1.95 - -0.05. Let o = 3 - d. Which is smaller: t or o?
t
Let a = 8 + -18. Let y = a + 10. Which is bigger: -11 or y?
y
Let z(g) = g**2 + 5*g - 8. Let n be z(-6). Let m = -14.1 + 13.1. Is n less than or equal to m?
True
Let b = 23 - 33. Which is smaller: -8 or b?
b
Let m be (-32)/(-6) + (-4)/(-6). Let i be m/(-4)*(-2)/(-6). Which is smaller: i or -1/3?
i
Let k(r) = r**2 + 11*r - 18. Let s be k(-13). Suppose 0 = -6*i + 2*i + s. Is i >= 2?
True
Let q(l) = 6*l + 1. Let n be q(1). Let k(r) = -r**3 + 6*r**2 + 7*r + 2. Let b be k(n). Suppose 0*f + 2*i = 2*f + b, 3*i = f - 5. Is -4 greater than f?
False
Suppose 0 = -2*a + 5*z - 7, -a - 6*z = -9*z + 4. Let f be (-1 + 0)/((-7)/2). Which is smaller: a or f?
a
Let d(u) = -u**2 + 6*u + 3. Let k be d(6). Let w be (-12)/(-20) + k/(-5). Let p be 0/2 - (-4)/18. Is p < w?
False
Let r be (-3)/(5/(-10) + 2). Do -5/4 and r have the same value?
False
Let i(h) = -h + 4. Let j be i(3). Let c be ((-8)/4)/((-7)/j). Is c at most 0.06?
False
Let o(p) = 13*p**2 - 10 + 7*p**2 - 9*p - 21*p**2. Let j be o(-8). Is 0 <= j?
False
Suppose 0 = 3*x - 2*l - 2*l + 17, -5*l + 13 = -x. Let j = x + 3. Which is greater: j or 1/10?
1/10
Suppose -5*n - 2*q = -6*q + 3, -3*n + q + 1 = 0. Let y be n/((-18)/(-4) + -2). Let a(i) = i + 4. Let r be a(-3). Which is