ppose 3*c = 4*c - 14. Let q be (-7)/c*(-2)/(-4). Let n = -35/2 - -17. Is n <= q?
True
Let o be ((-8)/(-12))/((-8)/36). Let l = o + -2. Is l <= -2?
True
Let z be (9/(-540))/(1/(-2)). Is 1 bigger than z?
True
Let y = -6 + 4. Let n be -2 + 2 - -2 - y. Suppose v + n = 6*o - o, -3*v = -3*o. Is o at least as big as 1/2?
True
Suppose -k - 5 = -2. Let b(o) = -o - 6. Let d be b(k). Do -3 and d have the same value?
True
Let k = 18 + -25. Which is bigger: k or -5?
-5
Suppose 3*j + 24 = 7*j. Let o be (-16)/(-30) + (-2)/j. Is o less than or equal to -2?
False
Let p be (-4 - -1) + 2 - -9. Suppose 0 = -j + 5*b + 10, 4*b + 0 = -p. Let y be 10/(-5) + (j - -1). Which is smaller: y or 1?
y
Suppose 4*o = -4*t - 0*t + 56, -t = 3*o - 32. Which is smaller: 4 or o?
4
Let q be (-4 - 3)/(2/4). Suppose -20 = 4*o, -2*c + 7*o = 10*o + 43. Is c less than q?
False
Let h be (2 - (-842)/18) + (-6)/(-27). Do h and 49 have different values?
False
Let m be (1/3*3)/1. Does -3/11 = m?
False
Let w(m) = -m - 7. Let x be w(-9). Suppose k - 17 = x*j - 2*k, -3*k = -j - 16. Let p = 5 + -14/3. Is j greater than p?
False
Suppose 2*t - 8*t = -12. Let p be -3 + t*3/2. Which is smaller: 4/7 or p?
p
Let y = -2.12 + 0.22. Which is smaller: -0.1 or y?
y
Let k be 4 + (-3 - 7/13). Is k smaller than 1?
True
Suppose x = -4 + 5. Let a = -182/2407 - -12/83. Which is greater: x or a?
x
Let g = -10 + 13. Let i be ((-201)/60 + g)*-4. Is 1 bigger than i?
False
Let j = 29 + -35. Let i(h) = -2*h**2 + h - 2. Let x be i(2). Is j less than x?
False
Let l(p) = 18*p**2 - 2*p - 1. Let c be l(-1). Suppose c = 3*f + 2*t - t, -4*t - 44 = -3*f. Which is greater: f or 7?
f
Let d = 3 + -3.3. Suppose 9*x - 4*x - 30 = 0. Let j be 2/3*x/(-14). Are j and d equal?
False
Let c = 7 - 12. Let s = -3 - c. Let m = 10 - 9. Is m equal to s?
False
Let u(i) = -i + 6. Let q be u(7). Let t = -13 + 13. Are t and q nonequal?
True
Let l be (-8)/(-160) + (-2)/8. Is 0.1 less than or equal to l?
False
Let k be 4/(-56)*4 + 0. Let f = k - 8/21. Are -0.5 and f equal?
False
Let k = 8 - 1. Let g = k + -1. Suppose g*j = 4*j. Which is smaller: j or -2/11?
-2/11
Let f = 25 + -123/5. Let c = 2 - 5. Is f greater than c?
True
Let a = 0 - 0. Let f = -6.8 + 0.8. Let w = f - -6.4. Is a equal to w?
False
Let o(l) = -2*l - 4. Let s be o(-6). Suppose -s = -4*t + 8. Suppose v = -v + 6. Which is smaller: v or t?
v
Let z be 8/4 - (-1)/2. Which is greater: z or 3?
3
Let o = 1.2 + -0.2. Which is smaller: o or 3?
o
Let p = -7 + -36. Which is smaller: p or -1/4?
p
Suppose 64 = -4*z - 4*s, 3*s + 3 = 6*s. Which is greater: z or -16?
-16
Let m be 1*(-2)/3 - 2. Let d(l) = -4*l**3 + l - 1. Suppose v = -3*v + 4. Let a be d(v). Which is greater: a or m?
m
Let u be (-27)/(-420)*2 - 18/42. Which is smaller: u or 1?
u
Let o = 1 - 1.1. Let m = -152/7 - -739/35. Are o and m nonequal?
True
Let z = -32740/9 + 3632. Which is greater: z or -5?
-5
Let s = 4.85 - 5. Let v = -0.05 - s. Is 4 bigger than v?
True
Let j(y) = -y**3 - 2*y**2 + 3*y + 5. Let w be j(-2). Let s = -1447/20 + 145/2. Which is smaller: w or s?
w
Let a be ((-5)/3)/((-7)/(-3)). Is a equal to 0?
False
Suppose 4*x + 6*k - 2*k = 24, -3*x + 21 = 4*k. Suppose -x*b = 4 + 2. Let y be ((-1)/2)/((-1)/b). Which is smaller: y or 1/3?
y
Let x = -1.8 + -0.2. Let w = -1 - x. Let c = -0.2 + 0.3. Is w greater than or equal to c?
True
Let c = -15 - -7. Which is greater: c or -1/4?
-1/4
Let q be 8/(-44) - (15/5 - 3). Let w(m) = m**2 - 4*m + 2. Let v be w(3). Which is smaller: v or q?
v
Let j = -0.07 - -0.07. Is j greater than or equal to 0?
True
Let p(g) = -g**3 + 5*g**2 - 3*g - 2. Let l be p(4). Is l <= 0?
False
Let c = 6 - 3. Let z = 18 + -17. Which is greater: z or c?
c
Let f = -0.29 + -14.71. Let n = 9 + f. Let z = n + 5.9. Which is smaller: 0.1 or z?
z
Let r(z) = z**2 + z - 1. Let m be r(4). Let t = 29 - m. Suppose 2*c + t = 4. Do c and -1 have the same value?
False
Suppose -3*r = -0*r. Suppose 4*u + u = -15. Let g = u - -3. Is r not equal to g?
False
Let y(x) = -x - 7. Let m be y(-7). Suppose -4*k - z = 2*z + 18, 2*z = -4*k - 20. Which is smaller: k or m?
k
Let n be (-3)/(9/12) - -3. Is -3/4 < n?
False
Suppose -c = -2*c - 1. Let u(l) = -l - 1. Let b be u(c). Which is bigger: -2/5 or b?
b
Let l = -1.5 - 1.5. Is 0.5 less than or equal to l?
False
Let t(a) = a**2 - 19*a + 27. Let w be t(18). Is w at most as big as 8?
False
Suppose 0 = q - 1 - 1. Is 1 < q?
True
Suppose 4*m = -2*a + a - 16, -3*a + 2*m = -8. Suppose a = -5*z + z - 4. Let y = z + -1. Which is smaller: -3 or y?
-3
Suppose 0 = -5*v - 4*c + 5, 10*v - 5*v = -c + 20. Suppose -v*s + 3 = o - 2*o, 4*s - 4 = 0. Let l(r) = r**2 + 2*r - 2. Let b be l(-3). Does b = o?
False
Let s be (6/(-26))/(1/(-2)). Suppose -5*z = 3*h + 2, 1 = -0*h + h. Is s > z?
True
Suppose -4*v - 3 = -7. Is v greater than -5?
True
Let v be ((-2)/3)/((-2)/9). Let l be (v/4)/(3/(-12)). Let c be ((-2)/l)/((-2)/(-9)). Is c smaller than 2?
False
Let q = 13 + -13. Which is smaller: 2/43 or q?
q
Suppose y + y = 0. Let s = 1 - y. Let x = 2 - 4/3. Is s smaller than x?
False
Let d = -0.6 - -1. Let o = 8 + -7.3. Let v = d - o. Which is greater: v or 0.2?
0.2
Let l = -4 - -4.1. Which is greater: l or -8?
l
Let p be 0 - 4/(8/(-10)). Suppose 0 = k + 4*j + 7 + 8, -p*k = 2*j + 3. Suppose 4*c = -3*g - 2, 4*c + 14 = 2*g + g. Which is bigger: g or k?
g
Let p = 216252/6355 + -1044/31. Let x = p - -2/41. Let m(t) = 8*t - 41. Let g be m(5). Which is greater: x or g?
x
Let j(b) = -1. Let a(g) = 2*g - 4. Let c(x) = a(x) - 3*j(x). Let q be c(-1). Is q > -3?
False
Let a(u) = -u**3 + u + 1. Let r be a(0). Is r at most -27?
False
Suppose -3 - 2 = -l. Suppose -2 = -7*g + l*g. Which is greater: -1/6 or g?
g
Let a be ((-198)/(-24))/(2/(-16)). Which is smaller: a or -1/2?
a
Suppose -5*o + 109 = -56. Let b be o/27 - (-6)/(-27). Let k = 2 + 0. Is b >= k?
False
Let h be (-96)/192 - (7/2)/(-1). Suppose -8 = -4*d - 4*s, 2*s = d - 0*s - 8. Which is smaller: d or h?
h
Let s = -87 + 74.6. Let l = s + 11. Let y = l + -0.6. Is y at least -2?
True
Suppose -4*n - 4*q - 8 = 0, 0 = -4*n + q - 2*q - 5. Let c be (1/(-42))/(9/(-18)). Which is smaller: n or c?
n
Let c = -9/7 - -34/21. Is c at most -12/35?
False
Let h be -4 + 4 + 1 + 0. Are -3 and h unequal?
True
Let o(m) = -m**3 - 9*m**2 - 7*m + 6. Let r be o(-8). Let y be ((-16)/(-6) - 3)*0. Suppose 7*k - 2*k = y. Is k less than or equal to r?
False
Let f(l) = -l**3 - 6*l**2 - 3*l + 2. Let j be f(-3). Which is bigger: j or -15?
-15
Let m be (-2 + -1 + -3)/((-20)/(-16)). Do m and 2/7 have the same value?
False
Suppose -5 = r + 3*n, r + 5*n - 5 = -16. Suppose -5*z - k + 1 = -0*z, -r*z = k. Do z and 2 have the same value?
False
Let z be (-2)/(-6) - (-18)/27. Is z at least as big as 2?
False
Suppose -3*b - 1 - 2 = 0. Let h = 3 - b. Suppose h - 1 = 3*g. Is g != -9?
True
Let g(i) = i**2 + 5*i + 2. Let f be g(-3). Which is smaller: f or 1?
f
Let y = 12 - 12. Let u = 2 - 4. Let v be u*(14/(-16) + 1). Are v and y equal?
False
Let o = 10 - 13. Let w = o + 5. Is 2/3 at least w?
False
Let b be (0 + 0)/(10/(-5)). Suppose b = -s, 2*d - 2 = d + 4*s. Suppose 2*k = -4, -4*o - 5*k + 3*k = -8. Which is smaller: o or d?
d
Let a = 4.7 + -5. Let b = a - -0.4. Let y = b + -0.2. Which is smaller: y or -0.2?
-0.2
Let t = -48402/17 + 2848. Do 0 and t have the same value?
False
Suppose -4*g - 3*a = -0*a + 11, -5*g = a. Is g less than or equal to 4?
True
Suppose -40 + 490 = -18*b. Which is smaller: b or -5?
b
Let f(d) = -d**3 - 8*d**2 + 3*d + 12. Let q be f(-8). Is -12 less than q?
False
Suppose -4*k + 42 = -k. Let z be k/6 - 6/18. Is 2 greater than or equal to z?
True
Let p(v) = v**2 + 6*v - 27. Let j be p(-9). Which is greater: 1/44 or j?
1/44
Suppose 14*c - 3 = 17*c. Let h be (1/c)/((-3)/12). Is h <= 2?
False
Suppose -3*c = -c + 12. Suppose 3*w + 28 = -32. Let u = w + 14. Is u at most as big as c?
True
Let v(k) = k - 1. Let o be v(0). Suppose -a - 4*p - 7 = 0, -3*p = 5*a - 8*p - 15. Let j be a/8 + 28/(-96). Which is bigger: j or o?
j
Let r(i) = i**3 - 5*i**2 + 2*i - 5. Let c be r(5). Suppose 0*p - 8 = -4*p, -c*y + 15 = 5*p. Let g be 29/35 - (-2)/(-5). Is y at most as big as g?
False
Suppose -3*i - 17 = 2*s, s - 4*i - 17 = -2*s. Let m = -1.8 - -8.8. Let u = -8 + m. Is u greater than s?
False
Let o = 28 + -27. Is 2/37 greate