-1/3
Let d = -2 - 1. Are -18/7 and d equal?
False
Let m(j) = j**3 + 5*j**2 - j + 5. Let v be m(-5). Let g be 3/(3*6/60). Is v at most as big as g?
True
Suppose i + 1 - 4 = 0. Suppose -i*x - 8 = -2*k, -3*k - 5*x - 8 = 18. Let m be k/10 + 5/25. Is 1/4 != m?
True
Let i be 45/2 + -3 + (-3)/6. Which is smaller: 35/2 or i?
35/2
Suppose -4*q + 11 = -5. Suppose r + q*r - 15 = -5*z, 0 = -r + 3. Is 0 bigger than z?
False
Let h = -73.5 - -74. Is h not equal to -2/9?
True
Let j(b) = b - 8. Suppose 4 = -x - 5*r, 5*x = -r - 3*r + 22. Let o be j(x). Are o and -5/2 equal?
False
Let i be (-9)/(-7) + (-4)/14. Suppose -4 = m + i. Is m smaller than -6?
False
Let x = -65 + 197/3. Suppose 3*n + n - 5 = -j, 5*n = 4*j + 1. Does n = x?
False
Let q be (-56)/22*1880/24. Let l = -976/11 - q. Let x = l - 112. Which is smaller: -2 or x?
-2
Let n = 1/62 - -115/558. Let v be 1/(-4) + 7/28. Which is bigger: v or n?
n
Let z = -1.15 - -0.15. Are 1 and z unequal?
True
Let r = -8 + 11. Is 4 at least r?
True
Let u be 6*-3*4/(-18). Let i(b) = b**2 - 3*b - 4. Let c be i(u). Is c bigger than -3/5?
True
Suppose 12*r = 16*r. Does 0 = r?
True
Let c = -16 - -33. Is 2 > c?
False
Let c = 1.2 - 1.3. Is 0.08 != c?
True
Let c be 2/6 + (-2)/(-3). Let a = 1/135 - 11/27. Which is smaller: a or c?
a
Let i be (-3 + 280/95)/((-2)/10). Is i greater than or equal to 1?
False
Let i = -66/35 - -8/5. Is -33 != i?
True
Let q be (73 - -10)*1/(-3). Let v(k) = 26*k**3 + 1. Let n be v(1). Let l = q + n. Which is bigger: 0.1 or l?
0.1
Let b be ((-2)/(-4))/(4/8). Which is smaller: 5/3 or b?
b
Let y = 16 + -20. Let p = -5/14 + -209/42. Which is greater: p or y?
y
Suppose -2*p + 1 = -1. Let a(j) = -j**2 + 6*j + 1. Let d be a(5). Let z be 1/(-1)*1/d. Is z at most as big as p?
True
Let k = 1.5 + -1.4. Is -7 smaller than k?
True
Let k = 0.72 + -0.7. Let g = k - 0.22. Which is smaller: g or 0.1?
g
Let z(m) be the first derivative of -2*m - 1/2*m**2 + 3. Let t be z(-3). Which is bigger: -2/7 or t?
t
Let l be 15/6*(-48)/110. Is l >= -1?
False
Let f(r) = r + 3. Let h be f(0). Suppose -h = 5*v - 58. Which is greater: 12 or v?
12
Let d(b) = b - 5. Let w be d(7). Suppose -3*q - 3*s + 3 = 0, 3 = 5*q + w*s - 2. Let l = -1/369 - 241/1845. Is q >= l?
True
Suppose 0 = -3*v + 17 + 28. Which is greater: v or 14?
v
Let g = -4 + 10. Which is greater: g or 5?
g
Suppose -8 = -2*w - 2. Let s be ((-8)/40)/(w/(-5)). Which is greater: s or -1?
s
Let g be -2*(6/(-3) + -2). Let k = g + -7. Which is bigger: k or 2/11?
k
Suppose -10 = z - 3*b + b, 4*z + 84 = -3*b. Let j = -17 - z. Do 3 and j have the same value?
False
Suppose 0 = -4*h + v + 406 + 5, 2*v - 10 = 0. Let c = h - 730/7. Let n be (3 - 4)*(-4 - -5). Which is smaller: c or n?
n
Suppose -60 = 5*r - 2*h, r = 2*h - 7*h + 15. Which is bigger: r or -12?
r
Let n be (-6)/9 - 36/4. Let l = 25 - 35. Let i = l - n. Which is greater: -1 or i?
i
Let p = -61 + 51. Which is bigger: 2 or p?
2
Let b(d) = d**3 + 2. Let s be b(0). Suppose 533 = 3*f - 0*t + 2*t, 2*f + 3*t - 362 = 0. Let j = 705/4 - f. Which is bigger: j or s?
s
Let m = -9 + 10. Let t = 2 - m. Is t greater than or equal to 5/4?
False
Suppose 3*g + 3*n = 0, -4*n + 5 = -5*n. Suppose -42 = -2*y - 5*y. Is y bigger than g?
True
Let n(x) = -3 + 6 - 2*x + 1. Let u be n(3). Let j be (8/(-10))/(u/(-5)). Which is bigger: j or -0.2?
-0.2
Suppose j - 3*j - 4*n - 12 = 0, -4*j - 5*n = 9. Suppose j*s + 10 = -s + c, 4*s + 4*c = 16. Which is smaller: s or -0.05?
s
Let t = 5 - 7. Let q = -27/10 - -11/5. Are t and q non-equal?
True
Let j = -14 - -20. Let h be (-12)/(-16)*10/j. Which is smaller: 1 or h?
1
Let n be (-6)/(-4)*(-2)/6. Are n and -1 equal?
False
Let b = -11 + 10.6. Let w = -2.4 - b. Is w >= -5?
True
Let y(k) = k**2 - 4*k - 4. Let a(x) = -3*x**3 - x**2 + x + 1. Let m be a(-1). Let b = 3 + m. Let s be y(b). Is 1/3 at least s?
False
Let s be (-34*1)/(4/6). Which is greater: -50 or s?
-50
Suppose x + 12 = 5*x. Let u = x + -2. Which is greater: u or 1/8?
u
Let f = -2 + 1. Let t(z) = -z**2 - 10*z - 7. Let l be t(-9). Let a(y) = y - 2. Let q be a(l). Which is bigger: f or q?
q
Let b = -0.07 + 2.07. Let h = b + -2. Let d = -0.01 + 2.01. Are d and h non-equal?
True
Suppose -5*j - 9 = -2*r, 9*r = 4*r - 5*j + 110. Which is smaller: 16 or r?
16
Suppose 0 = 2*a + 8 - 2. Let s be 3*((-20)/a)/(-5). Which is greater: -6 or s?
s
Let k(o) = o**3 - 4*o**2 + 2*o. Suppose w + 19 = 5*s, -4*w - 7 = s + 6. Let q be k(s). Let c(d) = d**2 + 2*d - 2. Let y be c(q). Is y greater than 1/4?
True
Let y = 17 + -15. Which is smaller: 20/9 or y?
y
Suppose 6*q - 33 = -165. Is 0.1 != q?
True
Suppose -2*i + g - 3 = 3*i, 0 = -4*g + 12. Suppose i = -0*j - 5*j - 20. Do j and -4 have different values?
False
Let s = -7.5 - 1.5. Is -1/4 less than s?
False
Suppose y = -1 + 6. Let q(f) = -8*f - 2. Let z be q(-1). Which is greater: z or y?
z
Let j = 48 + -42. Is 1 at least j?
False
Let a(q) = q - 5. Let g be (5 - -3) + 1 - 3. Let k be a(g). Let r(x) = x + 2. Let m be r(0). Which is smaller: m or k?
k
Suppose -5*o = -97 + 22. Is 15 less than o?
False
Let k = -1.1 - -8.1. Let q = k + -6.4. Let u = q - 0.7. Is 1 > u?
True
Let d be (-8)/(-30)*(-15)/(-10). Which is greater: d or 5?
5
Let y = -25 + 30. Is 0 <= y?
True
Let n = 0.1 + 0.06. Let l = n + -0.06. Is l bigger than -1/3?
True
Let i be 17 + (0/(-1) - -2). Suppose 0 = -i*a + 18*a - 2. Which is greater: -1 or a?
-1
Let c be (10 + -2)*(-2)/12. Let x = -4 + -3. Let k = x + 7. Are c and k non-equal?
True
Let y(s) = s**3 + 5*s**2 - 7*s - 5. Let a = 1 - 7. Let i be y(a). Let k be (i + 9/6)*2. Which is smaller: 4 or k?
4
Suppose 2*b - 7 = -1. Suppose 6 = c - b*m, -3*m = 4*c - 22 - 2. Which is bigger: c or 4?
c
Let u = 1 - 1. Suppose b + 5*d - 5 = u, 0*d = -4*b - d + 39. Let a be b/(-35) + (-32)/(-63). Is a at least 1?
False
Let n = -1 - -3. Let r = -0.13 + 2.23. Let c = -0.1 + r. Is c at most n?
True
Suppose 3*j + 2 = 4*n - 0, 4*j - n + 7 = 0. Let d be 0 - 5/(75/j). Is d at most as big as 0?
False
Let y = -2/189 - 52/189. Which is bigger: 7 or y?
7
Suppose 4*f - 24 = 6*f. Let h = 10 + f. Let o be (-3)/4 + (h - -3). Does -3 = o?
False
Let y(a) = -23*a - 9. Let z be y(-6). Let c = z + -647/5. Is -1 less than or equal to c?
True
Suppose 5*v - 20 = -4*u + 2*u, -2*u - 20 = -5*v. Let x be (u - 0 - 1) + 28. Suppose 2 - x = 5*w. Are w and -6 equal?
False
Let o be (3 - 1)*14/(-4). Let s be 6/15 - (-111)/(-15). Is o less than s?
False
Suppose u + 3*u = 0. Which is bigger: u or 1/4?
1/4
Let o = 125 + 55. Let i be (o/8)/((-3)/6). Let n = 177/4 + i. Which is smaller: n or 0?
n
Let d = -9 - -8. Which is greater: d or -2/35?
-2/35
Let o be -3 + 1*(-1 + 2). Let u = 7 + -8. Let m = 1 + u. Is o at most m?
True
Let o = -19.53 + -0.47. Which is greater: 2 or o?
2
Let d(j) = 2*j + 8. Let l be d(-6). Let w be (-1 + -3)*5/l. Suppose -2*t - 3*s - w = 2*t, -t - 2*s - 5 = 0. Which is greater: t or 2/3?
t
Let h = 406 + -6898/17. Do 1 and h have different values?
True
Let v(l) = l**3 - l**2 - l. Let y(a) = 4*a**2 + 4*a + 8. Let q(n) = -v(n) + y(n). Let f be q(6). Let i be (-1 + 2)/(2 - 1). Which is smaller: i or f?
i
Let x(r) = -r**2 + 13*r + 3. Let i be x(13). Which is greater: i or 0.2?
i
Let y be 1*(-3 - 24/(-3)). Suppose 5*q + 0*q - y = 0. Let k = 79/5 - 16. Is q >= k?
True
Let r = 14 + -9. Let j be (-2)/r*(0 + 5). Suppose 5*d + 5 = -0. Is j at most d?
True
Let c(b) be the first derivative of b**4/4 - 11*b**3/3 + 9*b**2/2 + 5*b + 3. Let p be c(10). Which is bigger: p or -4?
-4
Let l be ((-6)/4)/((-2628)/48). Which is smaller: -1 or l?
-1
Suppose -5*r + 3*n = 15 + 14, 0 = r - n + 7. Let m(h) = h**2 + 4*h + 5. Let z be m(r). Let f = z + -2. Do f and 2 have different values?
True
Let r = -132 + 388/3. Let n = r + 2. Let x = 0.4 + 0.6. Is x smaller than n?
False
Let g be (-41)/8 - 6/(-48). Is g equal to -1/4?
False
Let z = 8.82 - -0.18. Let r = -7 + z. Which is smaller: -0.1 or r?
-0.1
Let r be 3 - ((-4 - -1) + 1). Suppose -r*j - n = n + 9, 0 = -3*j - 4*n - 11. Which is bigger: -3 or j?
j
Let s = 1.2 - 2.1. Let x = -3.1 + s. Let b = x - -2. Is -0.2 equal to b?
False
Let i = 309.6 + -282. Let z = i + -28. Let b = 0.2 + -0.3. Which is bigger: b or z?
b
Let i(l) = l**2 - 12*l + 3. Let n be i(11). Let a be (2/(-8))/(2/n). Suppose 2*w - 4 = 6. Which is smaller: a or w?
a
