, -2*v + 5*v + n - 10 = 0. Let l be a(v). Are l and -1/10 non-equal?
True
Let r = 23/3 + -1285/168. Suppose -3*b = 2*b - 4*i + 16, 4 = -b + i. Is b >= r?
False
Let x = -0.07 + 0.039. Let o = x - -8.931. Let c = 9 - o. Is -1 at most c?
True
Let j be (-6)/14 + ((-2)/(-4) - (-946)/231). Do j and -4 have the same value?
False
Let b = -22.55 - -22.35. Which is bigger: b or -1080?
b
Let q = 6673169/27 + -247111. Is 44 at most q?
False
Suppose -4*m = 4*l, -8 = -3*m + 4*l + 6. Suppose 7*v - 5*v = r + 252, m*r = v - 510. Is -255 at most r?
False
Suppose 9*b + 96 = 7*b. Let z be (-45)/b*1/(-5). Let d(f) = -f**2 + 7*f - 5. Let h be d(6). Is h less than or equal to z?
False
Let d = -362 - -383. Let c be (-52)/(-130) - d/15. Which is greater: 2/179 or c?
2/179
Let l = -152.916 + 153. Let x = l - -0.116. Is 11.6 smaller than x?
False
Let i = -3067462/8835 - 3752/465. Are i and -356 equal?
False
Suppose 4*u - 5*u + 17 = 5*f, 11 = u + 2*f. Let h be 7/u + 26/(-14). Let x = h - -5/7. Which is smaller: x or 0?
x
Let l = -82.991 - -0.891. Let x = -5.1 - l. Let j = 86 - x. Which is smaller: -1/2 or j?
-1/2
Suppose -q - 2*q - 17 = -2*b, 4*q + 4*b = -16. Let w(v) = 6*v**2 + 17*v + 2. Let r be w(q). Let d = 33 - r. Is -33 at least as big as d?
True
Suppose 0 = -15*y + 659 - 119. Suppose -126 = -9*a - y. Let b be a*(234/12)/(-3). Are b and -66 unequal?
True
Suppose -5*d - 103 = -3*b, b - 2*b + 36 = -2*d. Suppose -c + 1 = 5*z, z - 3*z = -2*c + b. Which is greater: -1.2 or c?
c
Let i be (-2)/((-24)/(-6)) - 24050/60. Is i at least -2/3?
False
Suppose 4*a - 25 = -t, 3*a + t = 2*t + 24. Suppose 5*p + 129 = -4*h, p - a - 54 = 2*h. Which is smaller: h or -32?
-32
Let y = -630 - -703. Suppose x - 4 = 0, 15*x + y = 5*g + 17*x. Does 14 = g?
False
Suppose -18 = -g + 50. Let r = 0.89318 + -2.89318. Is g not equal to r?
True
Let w = -77439 - -77437. Let h be (-2)/(-2*(-2)/8). Which is bigger: w or h?
w
Let c = 3.6433 + -0.3433. Is 2/33 smaller than c?
True
Suppose 0*j + 3*o - 11 = 2*j, 2*j - 4*o + 14 = 0. Let a = -3 - j. Let l be (15*(-8)/160)/(6/128*4). Is l less than a?
True
Suppose 4*f + 332 = -3*v, -2*f - 109 = 2*v + 109. Let r be 0 + v/40 + (-9)/(-3). Is r < -306?
False
Let u be ((-619)/6)/((-197)/(-1182)). Is -618 bigger than u?
True
Let y = 6705 - 6671. Is 459/14 smaller than y?
True
Let s(y) = -y**2 + y + 757. Let h be s(-27). Is h greater than 58/65?
True
Let h = -1 - -1. Let d be -11 + (-4 - (259056/1236)/(-14)). Which is bigger: d or h?
h
Suppose 23*w = 2*z + 21*w - 474, -w = 3*z - 739. Which is greater: 2204/9 or z?
2204/9
Suppose -3*f = -6*f - h + 27916, -4*h = 2*f - 18594. Let a = -846917/91 + f. Let z = 1038/5551 - a. Is z equal to 1?
False
Let q = -8.156 + 8. Let n = q + 0.016. Let w = 0.34 + n. Which is smaller: 5 or w?
w
Let k = 948.5 - 948.5532. Is 1/3 < k?
False
Let u = 35 + -31. Suppose 5*q = -2*r - 50, -q - u*q - r = 50. Let w be (-2)/(-8) - (-37)/(-4). Which is bigger: w or q?
w
Let y(z) = -4*z**2 + 3*z - 8. Let j be y(2). Let m be -1 + (-24)/j + 12/(-9). Which is greater: 4/89 or m?
4/89
Let z(m) = -m**3 + 7*m**2 + m + 4. Let g be z(8). Suppose 0 = 53*y - 40*y - 624. Let v = g + y. Is -1/6 <= v?
False
Let s be (1 - -1 - (-346 - -318))*878/(-5). Which is smaller: -5267 or s?
s
Let o be ((-22)/(-110))/(6/5) + (-144998)/870996. Is o >= 0?
True
Let y(l) = 4*l**2 - 245*l + 104. Let r be y(59). Which is greater: -418 or r?
-418
Suppose -148*i + 151*i + 3 = 0. Let f = 7862 + -1619569/206. Does f = i?
False
Let o(z) = 2*z**3 + 2*z**2 - z. Let b be o(1). Suppose -b*d = 2*d + 10. Suppose 4*k = 3*n - 6, -2*k - 30*n + 4 = -35*n. Is k less than or equal to d?
True
Let w(h) = 25*h - 17. Let z be w(5). Suppose 4*r = -3*f + z, -172 = -4*f - 3*r - 35. Suppose 11*c = 7*c + f. Which is smaller: 39/5 or c?
39/5
Let q(r) = -9*r + 76. Let w be q(8). Let y be (-29)/135 + w/20. Is 1 greater than y?
True
Let l = 347 + -323. Suppose z + 4*d + l = 0, -9*z - 4*d - 120 = -5*z. Which is greater: z or 9?
9
Let k be (-9)/(-30) - (-4)/(-8). Let b be ((-4)/(-3))/(-2 - 16/(-12)). Let a be 34/6 + -3 + b. Are a and k non-equal?
True
Suppose -4*u - 77 = -15*u. Suppose -u*i + 3*i = -4. Does i = 2/69?
False
Suppose 3*b + 3*t = 9, -5*b - 11 = t - 6. Let o be 2 - ((-16)/(-2080))/(b/(-504)). Is 1 > o?
True
Suppose -913*p = -893*p - 26440. Which is smaller: 3968/3 or p?
p
Let y = 2188 + -1384. Let b = y - 803.8. Are b and 116 non-equal?
True
Let d = 295 + -293. Is 1.1 less than or equal to d?
True
Let t = 1957 + -1594. Which is bigger: 357 or t?
t
Let s be 11379/(-1)*(-11415)/45. Let n = -83718356/29 + s. Let f = 367 + n. Which is greater: 1 or f?
1
Let r(y) = -328*y + 1286. Let p be r(4). Let u = 5.01 + -0.01. Is p < u?
True
Let p(r) = -7*r**2 + 3*r - 1. Let a be p(-1). Let q be a - (0 - (-1 + 2)*0). Which is bigger: q or -9?
-9
Suppose o - 3*o = 0. Let l be (-124770)/(-14676) - (-1 + 2/4) - 9. Are o and l equal?
False
Let j(i) = -135*i + 810. Let f be j(6). Which is smaller: f or -5/5883?
-5/5883
Suppose 0*b = 14*b + 8400. Let n be (-15)/19*96/b. Is n at most as big as 1?
True
Let y = 1511 + -1528. Which is bigger: y or -103/6?
y
Let n = 5985.4 - 5986. Is n equal to 258?
False
Suppose 69*m + 2205 = 314*m. Which is bigger: -43 or m?
m
Suppose 8*o - 360 = 24. Suppose -5*n - f = -o, 4*n - 3*f = 3*n. Which is smaller: n or 14?
n
Let b(r) = -253*r - 968. Let s be b(0). Which is greater: s or -4837/5?
-4837/5
Let g be 8/1 - (0 - (-5645528)/705684). Which is greater: 0 or g?
0
Let d = -172002/17 + 10122. Suppose -22 = v + 5*l, -3*v + 0*l = l - 4. Which is greater: d or v?
d
Let f be 78/(-15)*70/(-56). Which is greater: f or -31?
f
Let d = -11347 + 11346.1. Does -1496 = d?
False
Let k = -149 - -152. Suppose k*t + 38 = -16. Which is bigger: t or -20?
t
Suppose -4 = 4*s, -26 = -2*d - s - 7. Suppose d*w - 6*w - 11 = 3*r, -4*w + 4*r + 16 = 0. Do 1/1026 and w have the same value?
False
Let r = 51.76 + 1.24. Let v = r - 52.79. Let y = 1.21 - v. Is y != -0.14?
True
Let g(w) = w**3 - 5*w**2 - 3*w + 17. Let j be g(5). Suppose -j*b = -n - 212, 4*b + b + 5*n = 515. Suppose -8*o + 23 + b = 0. Which is smaller: 15 or o?
15
Suppose 13*b - 176 = 9*b. Let r(s) be the second derivative of -s**3/6 + 43*s**2/2 - 11*s. Let u be r(0). Is u smaller than b?
True
Let i = -87 + 43. Let u = -27 - i. Suppose -3*q = -4*q - 4*c + 11, 5*c - u = 2*q. Which is greater: -18/19 or q?
-18/19
Let c(a) be the second derivative of a**3/2 + 7*a**2/2 + 2*a - 8. Let m be c(-2). Let r be (-2)/4 + ((-2154)/(-1420))/3. Is r at least as big as m?
False
Suppose s - 5*g - 25 = 0, 0*g - 13 = -s + 2*g. Let p be 34/(-22) + (s - 4). Let k = 17 - 18. Is p bigger than k?
True
Suppose -3*t = 4*g + 6, 3*t - 2*g - 16 = -2*t. Let q(j) = 55*j**t + 0*j + 4*j + 9*j**2 - 5*j. Let m be q(1). Is m smaller than 61?
False
Let v = 3/262 + -593/6026. Let m = 23 + -19. Suppose -2*b + 2 = m. Which is smaller: b or v?
b
Suppose 0 = 5*x + 11 - 11. Let d be (x - 556/(-496))*-4 - -5. Does 0 = d?
False
Let v = 3182 - 3175. Let w(u) = u**3 - 4*u**2 + 5*u - 3. Let q be w(3). Suppose -q*d - 7 = -v. Which is greater: d or -14/13?
d
Let t = -0.225 - -92.225. Let l = 60 - t. Do 0.1 and l have the same value?
False
Let o(h) = -h**2 + h + 3. Let w be o(-1). Let f(g) = 48*g**2. Let x be f(w). Suppose -x = 5*b - 11*b. Is b <= 7?
False
Let o be (3 - (-148164)/(-47103)) + (9 - 248/28). Which is greater: o or -1?
o
Let z = 5827 - 5737. Is 47 at least as big as z?
False
Let z = -1518 - -1866. Suppose 6*h - 5*h - 350 = 0. Is h < z?
False
Let p = -16662 - -16666. Which is smaller: p or -1306?
-1306
Suppose -12 - 76 = -2*u. Suppose -19 = 9*b + u. Let r = 6 + b. Do 2/51 and r have different values?
True
Let j be (5 + 25/(-5))/6. Let q be ((-7)/3 - -2)/((-176)/(-96)). Which is bigger: q or j?
j
Suppose 0 = -j - 1, -5*b - 12 + 1 = j. Let c be b + (18/(-2) - -4). Let i = -475/62 - -36/31. Which is smaller: i or c?
c
Let s = -2119 - -1064. Let a = -1054.944 - s. Let m = 0.9 + 0.1. Is a equal to m?
False
Let b = 217 - -46. Suppose -68*q + 34*q = -40*q + 1584. Which is greater: b or q?
q
Let b = -1825/51 - -597/17. Are 4/2289 and b non-equal?
True
Let b = -451922/21 + 21524. Let v be ((-39)/6 - -4)*-2. Is v at most b?
False
Let y(n) = -n**2 + n + 28. Let c be y(0). Let m(u) be the second derivativ