4 + 378/c). Is u greater than or equal to 0?
False
Let d = -86.7 + 85.778. Let k = 0.148 - d. Let f = 0.07 - k. Is -1/5 < f?
False
Let d = 9 + -15. Let y = d - -4. Which is smaller: -1 or y?
y
Let l(n) = -59*n - 5. Let h be l(3). Let u = 1636/9 + h. Suppose -2*i + 4*z = -4, 3*i + z = 2 - 3. Which is smaller: i or u?
u
Let x = -5497/315 - -122/7. Are x and -1 non-equal?
True
Let k = -5 + 4. Let b be ((-5)/14)/((-1)/(-2)). Is b < k?
False
Suppose 4*z - 180 = -2*s, -z - s + 48 = -2*s. Let k be 6/33 + z/(-11). Let q be (k/(-6))/(30/(-18)). Is q > 0?
False
Let w = 0.07 - -0.03. Which is greater: w or -3/41?
w
Suppose b = -3*o + 20, 2*b + 0*b - 5*o + 15 = 0. Suppose -3*r = -b*r - 8. Does -4 = r?
True
Suppose -5*a = -0*s + 3*s - 155, 0 = 3*s. Let z = -45 + a. Are 0 and z equal?
False
Let g be (-878)/7 + 3 + -5. Let k = g - -127. Which is smaller: 1 or k?
k
Let p = -1.06 + -10.14. Let x = p - -11. Let k = -25/4 - -6. Is k less than x?
True
Suppose 5*n - 1 = -2*c + 11, 3*c + 5*n = 13. Which is greater: 0.1 or c?
c
Let o(q) = -4*q**2 - q + 2. Let p be o(-1). Suppose y - 64 = -y. Let m = y + -354/11. Which is smaller: p or m?
p
Let c(z) = 13*z - 1. Let a(t) = -6*t + 1. Let k(x) = -5*a(x) - 3*c(x). Let u be k(-2). Let d be -4*-2*1/u. Is 1 at most as big as d?
False
Let t = -613/45 - -14. Let x = -3/70 - -11/126. Let c = t - x. Is 1 >= c?
True
Let v be (-11957)/80 - 6/(-15). Let x = v - -149. Is x != 1?
True
Let x(d) = -152*d**3 + d - 1. Let j be x(1). Let n be (j/78 + 2)*6. Which is smaller: n or -1?
-1
Suppose -2*g = 2*y - 8, -2*g + y = 2*g - 1. Let w be 1*g*(-1)/(-4). Let n(x) = x**3 + 14*x**2 - 2*x - 27. Let h be n(-14). Which is greater: h or w?
h
Let n = 2 + -3. Let d be -4*1*(7/2 + -3). Is d at least n?
False
Let c(b) = b**2 + 7*b + 17. Let l be c(-7). Do l and 17 have the same value?
True
Let u = -18 - -18.04. Is u <= 0.06?
True
Suppose i + 51 = 3*r, 2*r - 78 = -3*r + 4*i. Let u = r + -55/3. Is -1 equal to u?
False
Suppose 5*m + 5 = -0*m. Let l be m/3 + 2/(-6). Let o be 1 - (-3)/4*-4. Is l at most o?
False
Let u(n) = -n**2 - 4*n - 3. Let m be u(-2). Let b be (0 - (m + 0))*1. Let f be -6*26/27 + 6. Is f > b?
True
Let d = -56 + 57. Which is greater: -0.46 or d?
d
Let t = 1/35725 - 1215561/32545475. Let u = t + 56387/21864. Let n = 15/8 - u. Are 0 and n equal?
False
Suppose 0 = -4*c - 127 + 31. Is c less than or equal to -26?
False
Suppose -6*b + 11*b - 105 = 0. Which is smaller: 20 or b?
20
Let p be -2*(-4)/16*4. Which is smaller: 13 or p?
p
Let c(b) = -b + 12. Let u be c(0). Which is smaller: u or -1?
-1
Suppose -2*d + 5 + 9 = 0. Is 9 at most d?
False
Let i be (0 - 104/(-2)) + -1. Which is greater: i or 50?
i
Suppose 2*o + 8 = -0, -3*o - 8 = q. Which is greater: 0.6 or q?
q
Let v = -54 + 89. Let f be (-130)/v - 4/14. Is -4 < f?
False
Let a(m) = m**2 + 6*m. Let h be a(-6). Is -2/11 bigger than h?
False
Suppose 4*k = 3*l, 0 = l - 0*l - 4. Which is smaller: k or 2?
2
Suppose 2*i + 2 = 3*i. Suppose 26 = -4*g - i. Which is bigger: g or -6?
-6
Let i(k) = -k**2 - 10*k - 1. Let j be i(-10). Let d be (-4)/((-8)/6) + j. Is d at most 3?
True
Let a = -0.42 - -0.5. Let g = 0.02 + a. Is -0.2 <= g?
True
Suppose 593077 = 4*i - 3*a, -5*i + 4*i + 148258 = -3*a. Let f = -5190391/35 + i. Let y = f + 118/5. Is y at least -1?
True
Let w be ((-2)/12*2)/(-1). Is -1 less than or equal to w?
True
Suppose 2*t + 8 + 0 = 0. Let q be (2/(-3))/(t/18). Which is greater: 4 or q?
4
Let t = 1.7 - 3. Let y = -0.3 - t. Let i = -0.2 - -0.3. Which is greater: y or i?
y
Let r = 3 - 3. Suppose 5*p - 18 = 2. Suppose -p*j = j + 10. Which is bigger: r or j?
r
Let j be 1 - 2 - (-4 + 3). Suppose -5*g = -q - 22 + 7, -g + 3*q - 11 = j. Let y be (-1 - 0)/(g/12). Is y smaller than -4?
False
Suppose 0 = -q + 6*q + 5. Let n be q*1*14/35. Which is smaller: 0.1 or n?
n
Let j(d) = d**3 + 7*d**2 - d - 7. Let u be j(-7). Suppose -9 = -4*f + o, 4*f - 3*o - 1 - 18 = u. Which is smaller: f or 1/3?
1/3
Let g(n) = n**3 - 6*n**2 + 4*n + 4. Let t be g(5). Let c be ((-7)/(-70))/((-1)/6) - -1. Is t at least c?
False
Let s = 0.8 - 0.8. Which is bigger: s or 7?
7
Let d = 1355 - 17603/13. Is 0 greater than d?
False
Suppose 0 = 3*i + 4 + 8. Let l = i + 2. Is -6/7 bigger than l?
True
Let u = 0.2 - 0.1. Which is smaller: 2.2 or u?
u
Let k = 634.91 + -632. Let q = k - -0.09. Let t = -1 - q. Is 2 less than or equal to t?
False
Suppose -20 = -4*m, 0 = 2*f - 7*f - 4*m + 155. Let z = -12 + f. Suppose 6*u = u + z. Are 2 and u unequal?
True
Suppose 0 = 4*o - 3*o - 18. Suppose 4*x + q + o = 0, 5 + 11 = -2*x + 3*q. Let k be 4/(-30)*x/(-1). Which is smaller: k or -1?
-1
Suppose 0 = -3*y + h + 392, -y + 501 = 3*y + 3*h. Let t = 85 - y. Let j = t + 175/4. Which is smaller: j or 0?
j
Let n = -1 - 0. Suppose 8 = -4*z, 2*w - 5*z = w + 12. Which is smaller: w or n?
n
Let d(v) = -5*v**3 + v + 1. Let u be d(-1). Suppose -4*w + u*s + 0 = 7, -w - 1 = -2*s. Which is bigger: w or -2?
-2
Let l be (-2)/(-12)*8/18. Are l and 1 non-equal?
True
Let b be 20/(-8) - 2/4. Let h be 12/(-10)*30/(-9). Suppose -16 = -4*k, v + h*v - 5*k = -30. Which is bigger: b or v?
v
Suppose -2*a - 38 = 4*y, -2*y - y = 3*a + 24. Let s = 22 - 32. Is s greater than y?
True
Let m(y) = -y**3 + 7*y**2 - 6*y. Let s be m(6). Suppose -r + 2*n - 2 = s, -2*n + 6*n = -2*r + 4. Which is greater: -1/2 or r?
r
Let x be ((-3)/(-9))/(2/(-18)). Which is bigger: x or -15/4?
x
Suppose -w = 3*w - 120. Let j = w - 18. Suppose -3*g = g + j. Which is greater: -4 or g?
g
Let b be (-1)/(-4) - (-455)/(-28). Do -2 and b have the same value?
False
Let a = 0.7 - 0.7. Which is smaller: -5 or a?
-5
Suppose -5*f = -4*f - 3*d - 11, -3 = -3*f - d. Let a be (-1 - 1)/(2 - 3). Is a greater than f?
False
Suppose 3*x = 2*x. Suppose -2*t = -t. Let q be (-1)/(-4) + t/2. Which is greater: q or x?
q
Let k = -17 - -50/3. Let h(n) = -n**2 - 14*n + 15. Suppose 4*g + 28 = -32. Let j be h(g). Which is smaller: j or k?
k
Let t = -2.06 + 0.06. Let g = -1.8 + 2. Let k = -0.1 + g. Which is bigger: t or k?
k
Let l be 1/(-8)*1/3. Do 0 and l have the same value?
False
Let r be 34/(-3) + (-5 - -6). Do -9 and r have different values?
True
Suppose 5*a = -0*a. Suppose a = -6*c + c - 160. Let o be 2 + (-3)/((-42)/c). Is -2/7 != o?
False
Let h = -15 + 18. Suppose 5*y = 4*z + z, y = -2*z - h. Which is smaller: z or 3/7?
z
Suppose -7 = 4*o + 53. Let z = -14 - o. Let w be 1 + 0 - 22/18. Is w != z?
True
Let i be (-1)/2 - 14/28. Which is bigger: i or -0.37?
-0.37
Let n be 1*60/(8 - 4). Suppose 2*s - 62 = -5*z + 4*s, 38 = 3*z - s. Is z > n?
False
Suppose -2*l = -2 - 16. Suppose l = 3*t + 3. Suppose -20 - 27 = -4*m - 3*k, -t*k - 14 = -3*m. Which is greater: 7 or m?
m
Let y = 109674/205 - 535. Which is bigger: 0 or y?
0
Suppose 2*j = p - 20, -8 = p + 5*j - 0. Let o = 11 - p. Which is smaller: 1/3 or o?
o
Let l = 0.07 - 0.87. Let h = -8 - -9. Let c = l + h. Which is smaller: 0 or c?
0
Let w(f) = 3*f + 3. Let o be w(6). Let i be (-2)/4 + 14/o. Is i less than 1?
True
Let n = 72 + -67.1. Let j = -5 + n. Let u = j + -0.1. Are -2 and u non-equal?
True
Let r(x) = x**3 + x**2 - x - 37. Let s be r(0). Do s and -1 have the same value?
False
Suppose 5*m - 115 = -2*f, 0 = -f - 0*f - 4*m + 59. Suppose -3*o = 0, -5*i - 3*o = o + f. Let q = -7 - i. Is q greater than or equal to 5?
False
Let m(b) = -b - 1. Let i be m(-5). Suppose 5*x = -25, i*x + 10 = -q - 8. Which is bigger: q or 3?
3
Let s = 7933/23 - 345. Let k = 75 - 74. Are s and k unequal?
True
Let q = 18 + -8. Let y be (-4)/q - 96/(-40). Which is greater: y or 0?
y
Let j = 11 + -3. Let u = -11 + j. Is -4 smaller than u?
True
Let w = 120 - 1319/11. Which is bigger: -1 or w?
w
Let f = 0.1 + -6.1. Let g = -4 - f. Let d be 4/(-10) - (-16)/(-60). Which is bigger: g or d?
g
Let l = -0.4 + -2.3. Let s = l - -0.7. Which is greater: s or 2?
2
Suppose -7*q - 7 = -6*q. Which is greater: q or -5?
-5
Let z(h) = 4*h**2. Let a be z(1). Suppose i = -2*d + 6, 4*d + i = -d + 15. Are a and d nonequal?
True
Suppose 7*k = 10*k - 687. Let p be k/68 + 20/(-170). Which is smaller: 3 or p?
3
Let k be 4/(-16)*2/2. Suppose 2*y - 2 + 0 = 0. Suppose -t + y = -a, 4*a + 7 = -3*t + 3. Which is greater: a or k?
k
Let t be 100/40*6/(-50). Which is smaller: t or 1?
t
Let d = 1 + -2. Let m = d + 2. Suppose 5*j - 15 = -3*y, -1