5)/((-6)/(-15)). Is a bigger than v?
True
Let t be 2/(-5)*170/138. Let y = t + -4/23. Is y bigger than 2/3?
False
Let o be (-45)/84 + (-7)/(-28). Which is greater: 1 or o?
1
Suppose v + 4*v = 15. Suppose -r = -2*p + 7, -5*r - p - 3 = -v*p. Do -9 and r have the same value?
False
Let s be 40/(-6)*(-18)/15. Suppose 0 = 3*y + 5 - s. Let a = 2 + -1. Is a less than y?
False
Suppose 4*o - 206 = -o - 3*x, 2*x + 156 = 4*o. Suppose -3*c = c + o. Let n be c/(-8) + -5 + 4. Which is smaller: n or -5?
-5
Let l be (-2*3/(-6))/(-2). Do l and -10 have different values?
True
Let n = -34 - -33.2. Let h = -12 - -13.8. Let z = h + n. Do -5 and z have different values?
True
Let p = -6947/11 - -631. Suppose v + v = 10. Suppose 2 = -5*h + v*w - 3, -3*w - 9 = 3*h. Which is smaller: h or p?
h
Suppose 0*n + n = -1. Let v be n/(-1*1/2). Let b(w) = w**2 + 4*w - 4. Let s be b(-5). Which is smaller: v or s?
s
Suppose -2*d - 3 - 25 = 0. Let k be (6/(-9))/(d/(-3)). Let o = 1 - 2. Do k and o have the same value?
False
Let s = -48 + 49. Let b = 385957 + -199925645/518. Let r = -1/74 + b. Which is greater: r or s?
s
Suppose 3*b + v = b + 13, 4*b - 5*v = 61. Is 0 at least b?
False
Let p be ((-8)/(-3))/(4/6). Suppose -4 - 4 = -p*x. Suppose 0*q = -x*q. Which is bigger: 1 or q?
1
Let z = -12 + 18. Is 0 less than or equal to z?
True
Let x = 3.04 - 0.04. Let o = -133 + 136. Is x >= o?
True
Let z = -82 - -78.08. Let y = -0.08 + z. Let x = -6 - y. Which is smaller: x or 0.1?
x
Let y = -13.03 + -0.97. Which is greater: y or -2?
-2
Let y = -4 + 6. Suppose -2*l + 1 = -o, 3*l + 0 - 9 = -o. Which is bigger: y or o?
o
Let g be -1 + (-2)/(-1) + -2. Let y(x) = -x**2 + 6*x + 12. Let h be y(7). Let z be 0/2 + (-3)/h. Is z smaller than g?
False
Let c = -32/221 - 2/221. Let k(r) = -2*r - 9. Let v be k(-6). Suppose -v*o = -0*o - 3. Which is smaller: c or o?
c
Suppose 12 = 4*u + t - 2*t, -4*u - 5*t - 12 = 0. Let f(j) = j - 3. Let b be f(u). Let n = b - 1. Do n and -1 have different values?
True
Let k(i) = 2*i**2 + i. Let l be k(-1). Which is bigger: 7 or l?
7
Suppose -3*y - y + 2*t - 2 = 0, -2*t - 16 = 2*y. Let k be 11/(-6) + (-6)/y. Let x = -23 - -20. Which is bigger: k or x?
k
Let t be 80/(-198) - (-16)/88. Let b = 0.025 + 5.175. Let z = -5 + b. Which is greater: z or t?
z
Let c = -31 + 67. Suppose 0 = -p - 3*p + c. Is 7 bigger than p?
False
Let z(o) = o**3 - 4*o - 1. Let h = 26 - 24. Let v be z(h). Let w = -3/37 - -119/555. Which is smaller: v or w?
v
Suppose -5 = -3*f + c, 0 = -5*f - 2*c - 3*c + 15. Suppose 5*u = 2*u + f*d - 10, -4*u - 4*d = -20. Which is smaller: 1 or u?
u
Let z(q) = -2*q**3 - 3*q + 2. Let o be z(2). Let k = -12 - o. Suppose -5*p = -25, 5*b - 3*p = -k*p. Are b and -6 equal?
False
Let r be (-1)/(-2*3/12). Suppose -w = 4*b + 16 - 56, 2*b + r*w - 20 = 0. Is 10 > b?
False
Let z = -23/5 + 59/15. Suppose 3*k = -2*k. Is k < z?
False
Let q(b) = -b**3 + 9*b**2 - 3*b - 15. Let s be q(8). Which is bigger: 26 or s?
26
Let n = -0.11 + 0.11. Let t = 0.2 - 0.1. Let c = n - t. Is c bigger than 3?
False
Let z = 7 - -0.4. Let j = z + -1.4. Let h be (1/12)/((-16)/(-64)). Which is smaller: h or j?
h
Suppose 2 - 2 = -18*p. Let a = -82 - -248/3. Is a <= p?
False
Let u = 1841/4 + -149129/324. Is 2/7 at most u?
False
Suppose -5*o + 10 = -4*m, 3*o - o = 3*m + 4. Which is smaller: m or -2/5?
-2/5
Let c = 366/445 - 2/89. Which is bigger: 1 or c?
1
Let f = -10262/14421 - -10/627. Is -2 smaller than f?
True
Let l be (-3 - -16) + (-1)/(-1). Let g be l/6 - (-3)/(-9). Let d be -1 - (g - 3)/(-1). Is 1 less than or equal to d?
False
Suppose 5*h + 14 = -11. Is h bigger than -9?
True
Let f be 5 + (-4 - 1*-2). Let o = f - 6. Let a be (-1)/3 + (-10)/6. Which is smaller: o or a?
o
Let g = 20590/59 - 349. Which is smaller: g or 1?
g
Let y = -0.02 + 0. Let c = -0.3 + 0.4. Do y and c have the same value?
False
Suppose -5*s + 51278 = 18778. Let d = s - 38843/6. Let p = d + -26. Are 1 and p unequal?
True
Suppose 2*w = w. Which is greater: 1 or w?
1
Let g be 6/(-2) - (-3 - -1). Suppose -5*q + 5*l = -0*l - 115, -5*q - l = -139. Let b = 53/2 - q. Which is bigger: b or g?
b
Let s = 315 + -7247/23. Which is smaller: 1 or s?
s
Let f = 1.3 + -0.3. Let b = -0.7 + f. Let z = -0.1 + b. Is z less than -2/3?
False
Suppose 88*s = 91*s + 24. Let d = 8 - 14. Which is bigger: s or d?
d
Let r be -3 + (3 - 1) - -11. Let p be ((-5)/(-2))/((-5)/r). Is p smaller than -7?
False
Let z(x) = -x**2 + 6*x - 1. Let t be z(3). Let j = -5 + t. Is j > 4?
False
Let r = 1.2 - 6.2. Let v = r + 7. Are -2 and v nonequal?
True
Let n be (6 + -4)*(-1)/326. Let t = -475/2282 + n. Is 0 bigger than t?
True
Suppose 41 = 5*q - 3*k, 3*q + 2*q - 45 = 5*k. Suppose j + 16 = 5*j. Suppose j*c + 3 = q. Is -1 != c?
True
Let k = 410/7 - 59. Let n(q) = -4 - 2 - q - 4. Let u be n(-9). Does k = u?
False
Let a = -0.4 - -0.1. Let y(t) = 2*t**2 + 2*t + 1. Let c be y(-2). Suppose 0 = -4*h - 3*i + 11, -2*h + c*i = i + 22. Is h less than or equal to a?
True
Let t = 1.91 - -0.09. Let v = 0.01 + 2.99. Let b = v - t. Do 0 and b have different values?
True
Let x = 13 - 12. Are x and -1 non-equal?
True
Suppose 8*w + 3*j = 3*w - 9, -4*w - 2*j = 6. Suppose w*p = -p. Which is greater: p or 1?
1
Suppose -2*f - 22 = 5*x - 0*f, -3*x = -3*f + 9. Let v = 3 - 2. Let m(y) = -3*y**3 + y**2 - 2*y + 1. Let s be m(v). Is x less than s?
True
Suppose 2*s = 4*p + 12, -6*p + 3*p + 4 = 5*s. Is s at least -1?
True
Suppose 3*d - 4*h = -h + 48, -82 = -5*d + 4*h. Is d equal to 18?
True
Suppose -3*c = -0*c - 3*y + 267, -4*c - y = 331. Which is greater: c or -83?
-83
Let d be (7 - 0)*12/(-14). Is 2/7 <= d?
False
Let c(b) = b + 11. Let a be c(5). Let y be (1/6)/1*a. Let x(p) = -p**3 - 4*p**2 + 3*p - 6. Let i be x(-5). Is i not equal to y?
True
Let a = 45 - 36. Let r(k) = -k**3 + k**2 + k + 9. Let o be r(0). Is a at most o?
True
Suppose 4*r - 3 = -7. Let b be 6/(-15) + (-37)/(-5). Let s be 24/35 - 2/b. Which is greater: s or r?
s
Suppose -m + 5*m = 4*p - 24, -3*m - 23 = -4*p. Suppose -2*c - 3 = -2*y + 3, 4*c = -2*y + 6. Suppose 0 = -0*u + y*u. Is m at least as big as u?
False
Let f = 93.1 + -98. Let y = 0.1 - f. Let d = y - 7. Which is greater: d or 2?
2
Let u be 1 + 1 + -1*12. Let x = -5 - u. Let o = -6 + x. Is o less than or equal to -2/7?
True
Suppose 3*y - 4 = -y. Let x = 0.38 - 0.08. Let b = -0.1 + x. Which is smaller: y or b?
b
Let b = -548/1869 + 2/267. Let g(t) = -t**3 + 7*t**2 - 6*t + 2. Let a be g(6). Let v be 2/1 + 0 - a. Is v smaller than b?
False
Let t = -208.7 - -218. Let r = 9 - t. Which is smaller: r or 0.1?
r
Let s be 2/3 - (-8 + (-56)/(-6)). Let z = -1.2 + 1. Is z at most s?
False
Let q = -200 + 23001/115. Which is bigger: 1 or q?
1
Suppose 2*v - 2 + 0 = 0. Which is smaller: 1/2 or v?
1/2
Let n(r) = -2*r**2 + r - 2. Let w be n(-2). Let x be (-1)/((9/w)/(-3)). Let q be 5 + -5 - (-4)/(-10). Is x less than q?
True
Let u = -74 + 520/7. Let r = 6.09 + -0.09. Are r and u unequal?
True
Let f(v) = 2*v - 4. Let s be f(5). Suppose 2*d - 4*n - n = -10, 0 = 4*d - 3*n + s. Let g be (d - -1)*2/(-10). Which is smaller: 1 or g?
g
Suppose -201 = -22*q + 151. Which is greater: q or 18?
18
Let h = -181 + 120. Which is bigger: h or 1?
1
Let i be 1/(-2*2/4). Is i greater than 3/20?
False
Let h(i) = 10*i**2 - 1. Let f be h(1). Suppose 2*a - f = m, -a + 6 + 3 = -m. Is -9 less than or equal to m?
True
Let f = -14 - -11. Let t be f/(-2)*(-12)/(-9). Is 1/3 <= t?
True
Suppose -5*z + 3*t - 1 = 0, 8 + 1 = z + 4*t. Is z not equal to 3/14?
True
Suppose -4*t = -h + 5, -6*t = h - 3*t + 16. Let i = 15 - 23. Is i equal to h?
False
Let u = 121 - 121. Which is smaller: u or 0.11?
u
Let a be (7/(-2751))/((-2)/(-12)). Is a at most 0?
True
Let u(k) = -k**2 - 6*k + 1. Let n be u(-6). Let t = 3 - n. Suppose -2*d + 2*i - 6 = 0, 6*i - i - 24 = -4*d. Which is smaller: d or t?
d
Let c = 1.95 + -2. Let p = -0.35 - c. Are 1 and p equal?
False
Suppose 2*g - 4*g - 10 = -2*c, -3*c - 5*g + 15 = 0. Suppose c*m = 5 - 30. Is -4 > m?
True
Suppose -2*b = -3*r - 17, -4*r + 5*b = 21 + 11. Let y be (-46)/57 + r + 3. Let h = y - -66/19. Which is smaller: 3 or h?
h
Let v = -16 - -10. Let k = -12 - v. Is -6 > k?
False
Let b(z) = z**2 - 3*z - 1. Let q be b(0). Which is greater: q or -0.07?
-0.07
Let o = 1 - 3. Let g(h) be the second derivative of -h**3/2