 f be j(-6). Suppose -5 = 2*n + f*n. Which is greater: n or 1/4?
1/4
Let r = 12 - 7. Suppose 9*n - 72 = r*n. Is n less than 18?
False
Let x = 10 - 5. Suppose 0*k + x*k = 0. Which is smaller: k or 2/25?
k
Let n be 3 + 0 + 3/(-3). Suppose -n*b = -5*b. Are b and 0 non-equal?
False
Suppose 9 = -6*o + 7*o. Suppose 0 = -3*w + 6*w - o. Is w less than 3?
False
Let l = 2 + -2.1. Let w = -5 - -7. Which is smaller: w or l?
l
Let k(h) = -2*h - 12. Let p be k(-9). Suppose 2*c - 27 = 3*l - p, -2*c = -4*l - 26. Suppose -r - 4*w + 1 = -8, c*r + 5*w = 6. Is r at least as big as -2?
False
Let i be (-6)/(-21) - 464/1575. Let a be (-1)/100*712/(-9). Let x = i - a. Is -2 bigger than x?
False
Suppose -3*p + 4*o + 12 = -7*p, -3 = 2*p - o. Let x = p - -5. Let l = 6 - 5. Which is bigger: x or l?
x
Suppose 0 = 5*c + 4*p + 7, 2*c - p + 1 = 6*c. Which is smaller: 8 or c?
c
Let a = -39 + 41. Is a at most 8/11?
False
Let p = -0.063 + 0.133. Which is bigger: -2/7 or p?
p
Suppose -2*s - 2 = -4*s. Suppose 4 + s = 5*q. Which is bigger: 3/4 or q?
q
Let g be 15/10 + (-23)/2. Let i = g + 8. Which is greater: i or 1?
1
Let l = 23 + -45/2. Which is smaller: 0 or l?
0
Suppose 0 = 13*o - 19*o + 306. Is 51 smaller than o?
False
Let a = 18902/9 + -2098. Which is bigger: 3 or a?
3
Let h = 93.8 + -94. Which is smaller: -20 or h?
-20
Let b be 2/((3 - 1)/(-4)). Let s be b/(-20)*(-5)/4. Let c be 4/(-6) + (-1)/(-6). Which is smaller: s or c?
c
Let s be (3 - (1 + 0)) + 2. Suppose 0 = -0*n + s*n, 0 = 4*g + 2*n + 40. Let p be (4/70)/(2/g). Which is bigger: 1 or p?
1
Let c = 96.3 - 97. Is 2 > c?
True
Suppose 0 = o + 5*t - 25, -t - 18 = -2*o + 32. Which is greater: 26 or o?
26
Let x = -45 + 44. Which is smaller: 1.5 or x?
x
Let x(k) = -k**2 + 8*k + 4. Let z be x(8). Suppose -7*j + z*j = 3*l + 15, -j = -3*l - 3. Which is bigger: -4 or l?
l
Let h = -204 + 673/4. Let j = h - -35. Let b be ((-4)/(-6))/((-10)/6). Which is smaller: b or j?
j
Let p be ((-18)/(-4))/((-2)/(-4)). Suppose -26 - 74 = -10*i. Let x = i - p. Is x != 1?
False
Let d(k) = k**2 + 9*k - 3. Let a be d(-9). Suppose -6*o = -2*o + 4. Is a less than o?
True
Let i = 2.16 + -0.16. Which is bigger: -3/8 or i?
i
Suppose -5*m = -6*m. Which is smaller: m or 3/7?
m
Let d = 27 - 17. Suppose 3*j = -5*u - d, -5*j - 5*u - 6 = 4. Which is greater: j or 2?
2
Let k be 14/63 - ((-218)/(-9) - -2). Do k and -27 have different values?
True
Let r = 3 - 3.5. Let b = r - -0.5. Which is smaller: b or 10?
b
Let d(z) = -3*z**3 - z**2 - 7. Let c(r) = -r**3 + r**2 - r + 1. Let x(k) = -2*c(k) + d(k). Let j be x(-4). Is -2/11 >= j?
True
Let s be (2/3)/(3/(-18)). Let b(u) = -4*u**2 - 5*u + 6. Let f(k) = 7*k**2 + 10*k - 11. Let a(g) = 5*b(g) + 3*f(g). Let v be a(-5). Which is greater: s or v?
v
Let x = 0.9 - -0.1. Let k = -4 + 3.8. Let f = -1.2 - k. Does f = x?
False
Let h = -13.1 - -8. Let q = h - -5. Let y be -2*((-3)/12)/(-1). Which is bigger: q or y?
q
Suppose 2*j - 18 = -3*y, -y - j - 2 = -3*j. Suppose -y*p + 5 = -3. Suppose -3*n + 0*n + 9 = 0. Is p bigger than n?
False
Let o be (-546)/(-9) - -1 - 2. Let v = -59 + o. Let g(i) = i**2 - 6*i + 6. Let h be g(5). Is h less than v?
False
Let f = -0.2 - -0.4. Let b = 8.2 - f. Let p = 8.1 - b. Is p != -1?
True
Suppose k + 11 = -2*f + 4*k, -52 = 4*f + 4*k. Let o be 4/f + 27/5. Suppose 2*i + o + 9 = 0. Is i at least -8?
True
Suppose 18 = 2*w + 4*h, 2*w + 5*h = 6*h - 7. Which is bigger: 0.06 or w?
0.06
Let l = -1 + 0. Let i = -794 + 4267/6. Let f = i - -83. Do f and l have the same value?
False
Suppose -4*d + 1 = 41. Which is smaller: -2/7 or d?
d
Let s = 10 + -16. Let n = s + 6.2. Is n greater than or equal to -2?
True
Let m be 2/(-6) + 187/363. Let z = 2 + -1. Does z = m?
False
Let m be -3 + (-3)/(9/(-21)). Let t be 7/(-6) + 2/m. Which is smaller: 8 or t?
t
Let o be 246/(-164) + 2/4 + 0. Let y be ((-4)/10)/((-2)/(-10)). Is o bigger than y?
True
Suppose 0 = 6*l + 57 - 201. Is l != 23?
True
Let r be (-2*2)/(-2)*1. Let h = -1 - r. Suppose 0*z = -2*z - 6. Are h and z non-equal?
False
Let x be (-3 - -4)/2*0. Let n(d) = d**2 + d - 1. Let u be n(x). Is u less than 2/15?
True
Suppose 0 = -y + 3*v - 14, -6*y + 5*v = -3*y + 26. Suppose 2 = -2*l - 0. Which is greater: l or y?
l
Let t = 1328/9 - 8900/63. Are t and 7 unequal?
True
Let y = 2 + -5. Let t = y - -2.9. Let b = 0.1 - -0.1. Which is smaller: b or t?
t
Let t = -36 - -21. Is t at least -16?
True
Let q = -0.2 + 1.2. Let w = 4 + -1. Let f = w + -5. Is q >= f?
True
Suppose -4*r + 5*j - 35 = 0, -3*r - 6*j + 2*j = 3. Is r > 4?
False
Let m be (-1 - -2)/(-1) + -1. Let r be (54/(-1 + 4))/2. Suppose 0 = 2*k + v - 4*v, 0 = 5*k - 3*v + r. Is k at most as big as m?
True
Let q(t) = 3*t + 13. Let r be q(-6). Let l = -3 + -2. Is l less than r?
False
Let x(k) = -k**3 + 4*k**2 - 3*k + 1. Let c be x(3). Let s be (-2895)/(-11) + (3 - 1). Let w = -265 + s. Is w <= c?
True
Let k be (-2)/((56/(-36))/(-7)). Do -6 and k have the same value?
False
Let v(r) = -r**3 - 5*r**2 + 6*r - 1. Let o be v(-6). Is 2 at most o?
False
Suppose z + 3*m = 1 - 4, -5 = -5*z + 5*m. Let r(v) = v - 1. Let o be r(3). Are z and o non-equal?
True
Suppose 0 = 2*d + 10 - 0. Let z be (d/45)/(-1 + 0). Which is bigger: z or -1?
z
Let x = 0 + 2. Let c be x*(9/6 + 1). Suppose 0*z + 10 = c*z. Which is bigger: z or 0?
z
Let t(o) = -12*o - 3. Let s be t(-4). Let p be 55/s - 2/9. Is p less than -2/35?
False
Let c be 2/5*(-5)/3. Suppose 0 = 2*n - 5*t - 19, -2*n + 0*n + 2*t = -10. Which is greater: c or n?
n
Let k = 19097/67 + -285. Is k > -1?
True
Suppose 0 = x - 4*x + 3. Let m be x - 1 - (5 - 4). Which is bigger: m or -1/17?
-1/17
Let o be (-1)/(-9)*-3*6. Which is bigger: o or -12/7?
-12/7
Let r = 167/102 + 1/34. Which is smaller: 1 or r?
1
Let f be ((-28)/21)/(2/(-6)). Let p = -3 + f. Which is bigger: 2/13 or p?
p
Let f = -1.1 + 0.1. Which is smaller: f or 0.2?
f
Let o = -22/17 + 188/119. Suppose 1 - 11 = l + 4*g, 3*g + 12 = -3*l. Let f = l + 3. Is f greater than o?
True
Let p = -0.54 + 0.58. Which is greater: 1 or p?
1
Suppose -2*f + 20 = 2*y - 6*f, 0 = f + 3. Suppose -x - y = -3*x. Let z be (2/4)/1*4. Is z <= x?
True
Let y = 0 - 0.04. Let d = 0.07 + y. Which is smaller: d or 0?
0
Suppose 5*z - 4*p = 2*z + 10, 0 = -5*p - 5. Suppose -l = -3, -15 + z = 2*d - 3*l. Which is smaller: -0.1 or d?
d
Let o be 4/20 + (-4912)/13110. Let y = o - -5/57. Are 0 and y nonequal?
True
Let h = -2/41 + 137/287. Is 1 smaller than h?
False
Let l be 96/18 - 2/6. Let c be (-7)/35 - (-1)/l. Which is greater: c or 1?
1
Let x = 1.51 + -1.6. Let n = x - -0.05. Is 2/3 < n?
False
Let t = 46 + -69. Let z = -16 - t. Is 7 at least as big as z?
True
Let x(p) = -p**3 - p**2 - p + 18. Let w be x(0). Let k be 3/1*(-24)/w. Is -4 at least as big as k?
True
Let a be -8*3/(-126)*(-7)/35. Which is smaller: 0 or a?
a
Let k = 481 + -17795/37. Let n(p) = -p**3 + p**2 - 2*p + 2. Let r be n(1). Which is smaller: k or r?
r
Let v = 31/140 - -1/35. Is 1 smaller than v?
False
Let y be 6 - 1/(2/4). Let s be 15/6*y/5. Suppose -6*t = -s*t. Which is smaller: 3/5 or t?
t
Let w = -18 - -28. Suppose -4*k + w - 2 = 0. Suppose 0 = c + k*c. Is c smaller than -2?
False
Suppose -174*o + 171*o - 42 = 0. Which is smaller: 0.3 or o?
o
Let y(n) = -10*n**3 + n**2 + n. Let p be y(-1). Suppose -b + 25 = -5*w, 0*b + 2*w = -5*b - p. Which is smaller: b or -4/9?
-4/9
Let p = -8.15 + 0.15. Let u = 8.1 + p. Does u = -0.2?
False
Suppose -5*k + 67 + 18 = 0. Is k bigger than 13?
True
Let g = -6 + 4. Let d = -9 + 8.2. Let i = d + 1. Which is greater: g or i?
i
Suppose 0 = -81*u + 86*u - 240. Are u and 47 nonequal?
True
Let r(f) = -f**2 - 3*f - 1. Let i be r(-2). Is i greater than -2/7?
True
Let n be 2/(-2) + 754/65. Which is smaller: n or 12?
n
Let v(q) = q**2 + 3*q - 4. Let f be v(-4). Let c = -22 + 35. Let a = 8 - c. Is f >= a?
True
Suppose 0 = -4*q - 1 + 9. Let n(j) = j**3 - 11*j**2 - 2. Let l be n(11). Is l < q?
True
Let y = -228787/74808 - 127/1039. Let z = y + 29/8. Is z greater than -1?
True
Let s(y) = y**3 - 3*y**2 - 3*y + 3. Let b be s(3). Suppose -5*j + p + 0*p = 25, -j + 14 = -4*p. Is j >= b?
True
Let o = 10 - 18. Let k = o + 5. Is k at least 1/3?
False
Let b(c) = c**2 - c - 3. Let p be b(3). Let r be (p/(-6))/(-1)*-2. Let o(f) = -f**3 - 8*f**2 - 6*f + 7. Let w be o(-7). Which is greater: w or r