s -1 >= x?
False
Suppose 11 = 4*j - 3*w, -3*w + 21 = 3*j - w. Let m(s) = 7*s**2 - s. Let a be m(1). Which is bigger: a or j?
a
Let b = 4 + -2. Is b <= -0.2?
False
Let j = 3175/29711 + 1/803. Is j bigger than 0?
True
Let d = 12 - 4. Let a = -1.7 + 10.7. Let i = d - a. Which is smaller: i or -0.3?
i
Suppose 0*y - 3*y = -2*f + 7, 3*y - 48 = -3*f. Suppose -c + 5*v - f = -35, -v = 5*c + 10. Which is smaller: -6/5 or c?
-6/5
Let o(b) = 2*b - 16. Let v be o(11). Suppose h = -h - v. Which is smaller: h or -2?
h
Suppose -3*m = 2*m + 5. Let i be -3*2/(-30)*1. Which is greater: m or i?
i
Suppose 0 = -5*f - 4*m + 21, -m - 25 = -5*f + 1. Suppose -4 - 1 = -f*o. Which is greater: o or 0?
o
Let l be 2/6 - 1/3. Let j = 14.9 + -15. Are j and l unequal?
True
Let g(u) = u**2 - 6*u + 4. Let d be -1 - -4 - 0/2. Let f be g(d). Is -5 greater than f?
False
Let a = 213 + -174. Is a bigger than 40?
False
Let v = 1.2 - 0.2. Let w = v - 1. Which is bigger: w or -7/2?
w
Let s = 136 + -1226/9. Is s at most -1?
False
Let q = 0.03 + 0.97. Which is smaller: q or 2/5?
2/5
Suppose -9*l + 28 = 5*l. Let i be (3/(-3))/((-6)/10). Is l not equal to i?
True
Let z = -32 + 17. Let i be (z/(-4))/((-6)/4). Let g be 9/2*(-4)/6. Is i less than or equal to g?
False
Let l = -2.34 + 2.3. Is -2 at least l?
False
Let b be 4/(-6)*(4 - 3). Which is smaller: 1/3 or b?
b
Let f = -21 - -21. Which is bigger: f or 1/2?
1/2
Let a(q) = -q + 5. Let x be a(5). Let n = -17/198 + -1/198. Which is smaller: x or n?
n
Suppose -4*z + 5*u - 14 = 0, -4*z - 7 + 5 = u. Which is smaller: 6/119 or z?
z
Suppose 0 = -5*t - 0*t - 5*w + 50, 4*w - 15 = t. Let x = -6 + t. Which is smaller: -2/3 or x?
x
Let n = 3 + -24. Let u = -16 - n. Which is bigger: u or 6?
6
Suppose 0 = k - 2*b + 4, -b - b + 4 = 3*k. Are k and 2 non-equal?
True
Suppose 3*b = -5*p + 16, -2*b + 7*b + p = 12. Let l be ((-42)/(-63))/(4/6). Let h(w) = 2*w**2 + 3*w - 3. Let k be h(l). Is b greater than k?
False
Suppose -21 = -2*j + 7. Suppose 0 = -s + 3*c - j, s = -3*s - c + 9. Is 1/9 greater than s?
False
Let t = -27 + 27.13. Which is smaller: 0 or t?
0
Let q(h) = h**2 - 4*h - 3. Let z be q(7). Let f be (z/(-10))/(2/(-10)). Which is bigger: 10 or f?
10
Let j be ((-21)/3 + 19)*(-2)/(-124). Which is bigger: j or -1?
j
Let h = -211 - -134. Are h and -77 unequal?
False
Let p = 5 + -8. Let v be p/(-7) - 119/49. Suppose y = -j + 3*j + 2, -27 = 5*j + 3*y. Is v > j?
True
Let h be 909/24 + (-3)/(-24). Which is greater: h or -0.1?
h
Suppose 40 = -28*c + 27*c. Which is smaller: c or -122/3?
-122/3
Let b = -11.23 + 0.23. Let m = 17 + b. Is -2 at least as big as m?
False
Let p = 12 + -18. Let d = p - -4. Is d > -2/5?
False
Let z be ((-95)/(-20) + -4)/(3/8). Let p be (11 + -2)*(-6)/9. Is z at most p?
False
Let l be (-1 + -3)*(-6)/(-8). Suppose v + 0*m = -2*m - 12, -2*m - 6 = -2*v. Which is greater: v or l?
v
Let i be (-5)/(-5*2/(-70)). Is i greater than or equal to -35?
True
Suppose -q - 6 = k + 2, 3*q + 6 = 3*k. Let m = 3 - 4. Let p be (m + 2)*(q - -2). Is p < 2/3?
True
Suppose -g - 2*g + 5*n - 99 = 0, 0 = 2*g - 5*n + 71. Let t be g/(-16) + (-1)/(-4). Suppose -r = r + t. Which is smaller: r or 2/13?
r
Suppose 2*y = 7*y. Let u be y + 5/(15/9). Let x be 0/u - (-2 - 0). Is 2 less than x?
False
Let p = -70 - -206/3. Suppose 3*q + q = 4*a + 12, 5*a + 19 = q. Which is greater: q or p?
q
Let t be (1 + (-1)/2)*0. Let d = -148 - -3698/25. Which is greater: t or d?
t
Let u(q) = -q + 12. Let n be u(8). Suppose -4*j + 3*m - 7 = -0*j, -j + 4 = 5*m. Let b = j - -4. Which is smaller: b or n?
b
Let o be ((-1 - -6)*1)/(-1). Let z = 1 - o. Let i be (8/(-130))/(z/(-15)). Which is greater: 0 or i?
i
Let d be ((-4)/(-8))/(2/4). Suppose 0 = 2*j - 3*j + m + d, -4*m = 2*j + 10. Is j at least 1/10?
False
Let t = 0 + 3. Suppose t*d - d = 0. Let z be 12/(-2)*(-2)/32. Is d at most z?
True
Let u be 4*(1/2)/(-1). Let s be u/(-8)*-3*-4. Is 3 at least s?
True
Let h = -8 - -12. Let r = h - 5. Are r and 0 non-equal?
True
Let d = 4 + -20. Let y = d - -9. Which is smaller: y or -8?
-8
Let n be 64/12 + (-2)/(-3). Let h be ((-4)/(n/3))/4. Are h and -3 equal?
False
Let q be (-5)/(-2) + 24/(-8). Let h = -0.9 - -2. Let k = h - 1. Which is smaller: q or k?
q
Let o(v) = v**2 - v - 5. Let l be o(5). Are 15 and l non-equal?
False
Let b(d) = -5*d**2 + 4*d - 1. Let t be b(4). Let w = -322/5 - t. Is 0 smaller than w?
True
Let x be (-22)/(-6) + -4 + (-363)/(-9). Which is greater: x or 41?
41
Let d = -0.094 + -24.906. Which is smaller: d or 2?
d
Let o = -0.021 - 4.179. Let r = o + 4. Let m = r - -0.2. Which is bigger: -1/6 or m?
m
Let x be 105/(-14) - (-3)/6. Are x and -7 equal?
True
Let n = -25.13 + 25. Let o = n + 12.13. Is 0 less than o?
True
Let n = 13 - 13. Are n and 0 equal?
True
Suppose 4*f - 2*f - 4*h - 10 = 0, 0 = 2*h + 10. Suppose 4*z - y = 4*y + 1, y = -3*z - 23. Is z bigger than f?
False
Let n be (-2)/5 + 60/25. Suppose 4*l = -4*w + 60, -6*l + 72 = -l + n*w. Is 13 greater than l?
False
Let r be 9/(-4) + 4/2. Let x(d) = 2*d**2 + 47*d - 25. Let o be x(-24). Which is bigger: r or o?
r
Let k = 2.83 + -2.7. Let w = k + -0.03. Is -1 at most as big as w?
True
Let u = 68 + -71.3. Let x = 0.7 - u. Is 2 greater than or equal to x?
False
Let t(f) = f**3 + 6*f**2 + 6*f + 2. Let r be t(-5). Let i be 3 - ((-117)/15)/r. Do -2/7 and i have the same value?
False
Suppose 0 = -3*i + 4*i - 4. Suppose i*t + 22 = -14. Are 0 and t non-equal?
True
Suppose -3*t + 3 = 9. Suppose 2*c = 3*c + 6. Let o be 22/c + 2/3. Is t greater than or equal to o?
True
Let s = -3 + 4. Is s smaller than -3/44?
False
Let h = -81263/3 + 18661. Let c = h + 8512. Let u = c + -86. Is -2 smaller than u?
True
Let w(c) = c - 5. Let q be w(4). Let i(s) = s + 2. Let k be i(-3). Is q less than or equal to k?
True
Let f be (-148)/(-12) + (-1)/3. Suppose 3*b - o - 2 - f = 0, -4*b + 5*o = -4. Let c = -5 + b. Is c at least as big as 1?
True
Suppose -3*r + 3*n + 9 = 0, r + 5 = -5*n + 2. Suppose -r*v = 7 - 1. Let t be 2 + v/(-42) + -2. Are t and 1 unequal?
True
Suppose 4*a - 242 = 2*p, 0 = -a - 2*p - 2*p + 56. Is a > 60?
False
Let q be 4/7*(-2)/(-4). Which is greater: 19 or q?
19
Let g = -141 + 140.6. Which is bigger: g or -2/63?
-2/63
Suppose 10*x = 5*x. Let k(n) = n**3 + n**2 + n - 1. Let l be k(x). Is l smaller than -2?
False
Suppose -5*u = -4*h - 13, -2*h + u = -2*u + 5. Let a = h - -14. Which is smaller: 8 or a?
a
Suppose 7 = 4*g + p - 6, -6 = -g - 3*p. Let i = -1 - -4. Do g and i have different values?
False
Let a be (40/(-2))/(-2)*1. Is a at most as big as 11?
True
Let f = 2 + -2. Suppose 6*w - 4*g + 30 = w, 0 = 5*w - g + 30. Let t be w/(-12)*(0 + -1). Is t at least as big as f?
False
Let m = 11 - 10.9. Let t = -0.1 - m. Is 1/3 < t?
False
Let v(o) = o**2 - 2*o - 2. Let a be v(4). Suppose 4 = -5*p - a. Which is bigger: p or -1?
-1
Let n(p) = p + 13. Let f be n(-15). Let l(k) = -3*k + 3. Let t(j) = -6*j + 7. Let o(i) = -5*l(i) + 2*t(i). Let a be o(-1). Is a smaller than f?
True
Let b = 139/180 - 1/45. Which is bigger: b or 2?
2
Suppose -5*k - 35 - 95 = 5*l, -4*l - 77 = -5*k. Which is smaller: -22 or l?
l
Suppose 2*x - 2 = 0, -6 = 2*l - 5*x - 1. Let q = -0.6 + 1. Let y = -0.6 - q. Does l = y?
False
Let d = 1 - 6. Which is smaller: -3 or d?
d
Suppose 5*o - 2*o + 6 = 0. Let b be 14/(-10) + (-72)/120. Does b = o?
True
Let f = -76 + 15. Let x be -1 + f/63 - -2. Is x != -1?
True
Let d be ((-3)/((-3)/17))/(-1). Is 3 less than or equal to d?
False
Let z be (-9)/((-50436)/(-16))*(-6)/(-4). Which is smaller: -1 or z?
-1
Let h be 1/(((-6)/(-3))/32). Is 17 at least h?
True
Suppose 4 = 4*h - 12. Suppose 0 = -4*k - h. Which is smaller: -1/8 or k?
k
Let z(a) = 3*a - 1. Let s be z(2). Suppose 0 = -0*t - t - l + 19, 0 = -3*t + 5*l + 81. Let y = -17 + t. Is s < y?
False
Let f = 3/197 - -567/1576. Let y = -1 + 1. Let s = 0 - y. Is s less than f?
True
Let a = -567484/9 + 63146. Let m(p) = -24*p - 4. Let b be m(-4). Let n = a - b. Are n and -1 nonequal?
True
Let t = 49.2 + -45. Let u = -4 + t. Let x = -0.3 + u. Is -1 != x?
True
Let k(j) = j - 13. Let f be k(13). Do 2/39 and f have different values?
True
Let r(p) = p**3 + 7*p**2 - 7*p + 7. Let i be r(-8). Which is smaller: i or -2?
-2
Let g = -0.03 + -0.1. Let b = 0.12 + -0.09. Let m = g + b. Which is smaller: m or -6?
-6
Let a be