)/18. Is 1 at least c?
True
Let m(h) = 2*h + 13. Let j be m(-11). Let l(r) = -r**3 - 9*r**2 - r - 10. Let x be l(j). Is -1 at least x?
True
Let a = -5511/5 - -1094. Is a at most -8?
True
Let q = 17 - 8. Let i(t) = 2*t**2 - 5*t - 3. Let o be i(4). Is q less than or equal to o?
True
Let q be ((-4)/(-8))/((-3)/12). Is q smaller than 26?
True
Let k = -240 - -6239/26. Which is smaller: 0 or k?
k
Let g = 15 + -18. Which is greater: 0.2 or g?
0.2
Let d be (-32)/20*20/(-8). Is 4 at least d?
True
Let u be 0/2 - (2 - 5). Suppose -u*l + 12 = 6. Is 2 != l?
False
Suppose -23 = -4*o + 1. Suppose 7 = -2*y - 3*y - 3*u, 2*y - o = u. Are y and 1/9 unequal?
True
Let w = 16 - 17.4. Let p = w + 1.1. Which is greater: 3 or p?
3
Let q = -0.5 + 1.5. Which is bigger: q or 0.02?
q
Let t = 15/17 - 139/119. Suppose 2*g = 6*g. Is t smaller than g?
True
Let r = -0.3 - 0.2. Let o = 7.1 - 7. Which is bigger: o or r?
o
Let d(k) = 0*k + 3*k - 4*k**3 + 2*k**2 - 4*k - k**2. Let j be d(1). Which is smaller: j or -3?
j
Suppose -d = 2*a - 7*a + 23, 26 = -4*d - 2*a. Is -7 >= d?
True
Let c be (-1 - -4)*132/36. Which is smaller: c or 12?
c
Let c(x) = -2*x - 6. Let a be c(-4). Let j = -124 + 127. Which is smaller: a or j?
a
Suppose -2*h + 6 = 4. Which is smaller: h or 4/3?
h
Let d(f) = -6*f + 1. Let u be d(-1). Suppose 12*t = 7*t + 25. Which is smaller: u or t?
t
Suppose -3*m + 24 = -v, -2*m + 4*v + 19 - 3 = 0. Suppose a = l - 9, -3*l + 3*a + 13 = 7*a. Which is greater: l or m?
m
Let o = -1.1 - -5.1. Let b = 3.93 - o. Let h = -1.07 - b. Is -0.1 less than h?
False
Let n(k) = k**3 + 4*k**2 - 4*k + 6. Let r be n(-5). Suppose 3 + 3 = 2*b. Which is greater: b or r?
b
Suppose 12 = 4*d + 4*h, 3*d - 3*h = -2*d + 15. Let u be d/(-6) + (-22)/(-20). Is 1 equal to u?
False
Suppose 0*z + 8 = 2*v - 4*z, -5*v - 5*z = -80. Let t(s) = -s + 12. Let b be t(v). Is b greater than -0.08?
True
Let w be (-1)/(-2) + 1/4. Suppose o + 4*v + 2 + 2 = 0, 0 = -2*v - 2. Which is greater: o or w?
w
Let n = 22 + -19. Is n greater than 1?
True
Let k(d) = -2*d - 7. Let n be k(-5). Suppose -n*v + 0*v - 9 = 0. Let s be (2/v)/2*-12. Is 5 not equal to s?
True
Suppose 5*r = -0*r - 30. Let d(p) = p**2 - p. Let v(f) = -f**3 - 9*f**2 + 10*f + 1. Let s(g) = 4*d(g) + v(g). Let b be s(r). Is b greater than 3?
False
Suppose -13 - 5 = -4*i - c, 5*i = 2*c + 16. Suppose i*h + 36 = 2*h. Let n be (-1)/(-4) + 3/h. Which is greater: n or -1?
n
Let u be -9*(-3)/(4 - 7). Which is greater: -2 or u?
-2
Let b be 2/(-1) + 12/4. Let a be (((-6)/8)/(-3))/b. Let u = -0.9 - -1. Do u and a have different values?
True
Let v = -39 - -37. Is v <= -22?
False
Let v = 8 - 6. Let r(h) = -v + h**3 + 2*h - 3*h + 3*h**2 - h - 5*h**2. Let z be r(3). Which is smaller: z or -1?
-1
Suppose -2*n = -n. Let a = 0.2 + -0.1. Let f = -0.2 + a. Which is smaller: f or n?
f
Let t be 2/(-9)*(64/20 - 3). Which is smaller: 1 or t?
t
Suppose 0 = 6*a + 4*a + 10. Which is bigger: 23 or a?
23
Let q = -3 + 5. Suppose -5*u = -5*s, s - 4*s + q*u = 0. Let w be 1 - 15/20*2. Which is greater: w or s?
s
Suppose -2*h = -2*s + 26, -2*h + 18 = -3*s + 53. Suppose 2*n + y = 0, 3*y = -n - 2*y + s. Let i = -4 + 2. Which is greater: n or i?
n
Suppose 9*s = -8 - 1. Is s smaller than -0.1?
True
Let r = -30/11 - -292/99. Which is smaller: r or 9?
r
Let l be 14/56 + 6/8. Which is bigger: -2/33 or l?
l
Let h = -120 - -1921/16. Which is bigger: h or 1/3?
1/3
Let o be ((-24)/(-14))/(-5*(-6)/105). Is o not equal to 34/5?
True
Let f = 464467/3 + -152999. Let x = f - 1796. Let l = x - 27. Which is bigger: l or 1?
1
Let x(a) = a. Let u be x(4). Suppose -7*c - u = -3*c. Let m be 1 + 1*(c + 0). Which is smaller: m or -2?
-2
Suppose 0*i = 2*g + 3*i - 17, -23 = 2*g - 5*i. Let h = -165 - -1152/7. Which is smaller: g or h?
h
Let h be 2/(-20) - (-4)/(-10). Suppose 9*z = z + 80. Which is greater: z or h?
z
Let w be (-7)/9 + (-2)/9. Suppose 0 = -2*o - 0*o - 12. Let k be o/15 + 8/(-5). Is w < k?
False
Let c = 197.9 + -201. Which is smaller: -3 or c?
c
Let j(i) = 31*i + 7. Let v be j(-2). Are v and -55 unequal?
False
Suppose 5*o = -3*p + 21, -5*p + p = -3*o + 1. Let x be -1*1 + 48/15. Is x at most as big as o?
True
Let i = 11.8 - 11. Let o = 4.8 - i. Let l = 4.1 - o. Which is greater: -0.2 or l?
l
Let b(k) = -k - 8. Let z be b(0). Let c = z - -6. Are c and 2 equal?
False
Suppose -5*n + 3*p - 5 = 0, -1 - 30 = -3*n - 5*p. Let r be n/10 + (-36)/80. Which is greater: r or 2?
2
Let r(b) = -2*b**3 + b**2 - 3*b + 2. Let f be r(1). Suppose -3*w + 6*j - 5*j = 8, 4*j - 6 = -w. Is w less than f?
False
Suppose -3*l + 4*l + 2*d = 9, 0 = l - 5*d - 9. Is 8 at least l?
False
Let k be (2 + 24/(-14))/((-84)/(-49)). Which is smaller: k or -1?
-1
Let o = 6 + -6.3. Let w = 0.2 + o. Let t = w + 0.2. Is t at least as big as 1/3?
False
Suppose -4*h + 3*h = -18. Suppose 4*y = 2*k + h, -5 = -k - 4*y + 4. Let p = 0 + -2/3. Which is smaller: k or p?
k
Suppose 5*q + 3*o = 3, -4*q + 2 = o + 1. Which is bigger: -1.1 or q?
q
Suppose 2*b - 5*h - 14 = 0, -14 = -7*b + 3*b + 3*h. Let r be b - 2/1 - -1. Let f(m) = m**2 - 2. Let t be f(-2). Are r and t nonequal?
True
Let x be (-570)/(-11) + 4/22. Suppose -x = -4*s - 4*t, -2*s - 2 = -4*t + 2. Suppose -3*y - 5 = -s*y. Is y less than -1/4?
False
Let w be 0/(1 + 0 - -1). Suppose w = -6*b + b - 5. Let q = 0.2 + -0.3. Is q at least b?
True
Let k = 50 + -36. Let h = 21 - k. Is h < 5?
False
Let q be 2 + 113/(-49) - 54/(-189). Is 0 < q?
False
Let c be (-8)/6*(-9)/(-114). Let p be (-2)/(1 + 1) + 0. Let f = 0 - p. Which is bigger: f or c?
f
Let h be 3 + 1/1*2. Suppose h*r + 7 = 2. Let y = -11 - -12. Which is smaller: y or r?
r
Suppose -2*p + 5 = 3*n, 5*p - 10 = 3*p + 2*n. Suppose -7 = p*m + 4*g + 5, 4*g + 24 = 2*m. Is -1 less than m?
True
Let x be ((-3)/12)/((-1)/(-4)). Let d = -3279/115 + 143/5. Let n = d - 27/46. Is n < x?
False
Let p = 770/667 - 36/29. Which is smaller: p or 1?
p
Let p be 206/4 + (-32)/64. Which is smaller: 1 or p?
1
Suppose 3*h = 7*h - 16. Suppose -c = -h*c - 15. Which is smaller: -14/3 or c?
c
Let m(u) = u + 4. Let x be m(-7). Let g = x + 2. Let s be 9/21*g/3. Which is smaller: 1 or s?
s
Let i be 183/105 - 3 - (-7)/(-49). Is -1 greater than i?
True
Let o = 172 - 166. Is 8 > o?
True
Let n = -49 + 32. Which is smaller: n or 0.1?
n
Let w = -35/2 + 18. Let k be 1/(-1 + 20/18). Let x be (-3)/k + 2/15. Do x and w have the same value?
False
Let i be (-8)/(-2) - 76*1/22. Let p(d) = d**2 + 3*d. Let g be p(-3). Which is greater: i or g?
i
Suppose 0 = 4*p - 9*p - q - 42, 5*p + 50 = -5*q. Which is bigger: -15/2 or p?
-15/2
Let f be (-2 - -1)/(3/(-3)). Let v = 0.1 - 0.3. Let c = -0.8 + v. Are f and c nonequal?
True
Let p = 2 - 2.2. Let b(q) = -q**2 - 5*q - 4. Let r be b(-5). Let a be r/7 + (-4)/(-14). Which is greater: a or p?
p
Suppose 0 = 4*p - 5*k + 20, -3*p - 2*k - 8 = -4*k. Suppose -2 = 2*a, -2*d + 6 = 3*a + 11. Which is bigger: p or d?
p
Suppose 2*j = 2*w - 0*w + 2, 3*j + 1 = 5*w. Let h = j - 2. Which is greater: h or 1/14?
h
Suppose -2*c = 3*b + 17, 5*c + 0*b - 4*b - 15 = 0. Let p(x) = x + 8. Let k be p(-8). Let v = c + k. Which is greater: v or -1/4?
-1/4
Let k be (-1)/(-1) + 4 + 25. Suppose 0 = -8*w + 3*w - k. Let f be w/7 - (-5 + 4). Which is smaller: 1 or f?
f
Suppose -4*f = 3*x - 178, -x - 2*x + 173 = -f. Are 56 and x equal?
False
Let k = 201 + -126. Is 73 bigger than k?
False
Suppose -3*v + 8*v - 215 = 0. Suppose -71 = 5*h + 4*n, 6*h + 2*n + v = 3*h. Let d = -11 - h. Which is smaller: 3 or d?
3
Let y be -11 - (-2 - 1)*-1. Let n be (-6)/y*(-14)/(-16). Which is greater: n or 1?
1
Let h = -2 - -3. Let c = -1 - h. Let z = c - 3. Which is smaller: z or -1?
z
Let y = -1.86 - -64.86. Which is smaller: y or 1?
1
Let h be 2/(-11) - 1764/(-22). Suppose 5*o = -5*q + h, 0 = -q - 2*q + 15. Which is bigger: -0.1 or o?
o
Let p = 19 - 56/3. Which is smaller: p or 2/3?
p
Let f(x) = x - 2. Let k be f(0). Let h be k/(-6) - (-14)/(-6). Let i be (1/(-5))/(2/8). Is i > h?
True
Let n = -10077935/124657 - 8/9589. Let g = n - -81. Which is bigger: g or 1?
1
Let i = -2/9 - 4/9. Let z = 3 + -4. Is i equal to z?
False
Let m(g) = -g**3 + 8*g**2 - 6*g - 5. Let z be m(7). Let r be z/(-4) - 15/(-6). Suppose 4*q + 2 = r*q. Is q < -1?
False
Let u be 2*(438/(-12) + -6). Which is bigger: -84 or u?
-84
Let r be -1*((-6)/3 +