 Suppose -2*o + 0 = 2. Are o and r equal?
False
Let u(m) = m**3 - 7*m**2 + 4*m + 8. Let l be u(6). Is -1 greater than l?
True
Suppose y + 4*d = 22, 3*y + 2*d = 32 + 4. Suppose -y*v = -7*v + 33. Is v at least as big as -10?
False
Let q = -10 + 16. Suppose 0 = 4*h - q*h + 12. Which is bigger: h or 7?
7
Let t be 35/(-20) + 3/6. Is -1 less than or equal to t?
False
Suppose -23*n + 25*n = -24. Is -12 bigger than n?
False
Let a = -9 + 14. Let g = a - 5.3. Let l = -4.3 - g. Which is smaller: 2/5 or l?
l
Let a = 7 - 4. Let y be (a/(-6))/(2/(-8)). Suppose -6*l + 20 = 2. Is y >= l?
False
Let n = 5 - 5. Let w = -1.4 - 0.6. Let b = w + 1.8. Do n and b have different values?
True
Let v = -0.06 + 0.06. Is -0.6 less than or equal to v?
True
Let o = -10 - -9. Let i(q) = 3*q + 2. Let t be i(o). Let c = 817/9 + -91. Which is smaller: c or t?
t
Suppose 0 = 4*g - g - 15. Suppose -5 = 5*r - 0, 0 = -3*i + g*r + 8. Let o = i - 3. Are -1/2 and o non-equal?
True
Suppose -m - 4 = -5*m. Are -0.04 and m unequal?
True
Suppose -2*m + 11 = 5*n - 23, 2*m - 2 = -n. Suppose 3*t + 1 = -4*i, -2*i - 5*t = -t + n. Suppose -u - i*u = 0. Which is bigger: u or 3/4?
3/4
Suppose c + 3*u + 22 = 7*u, -4*c - 13 = -u. Let p be c/(-5) + (-16)/140. Suppose 2 - 7 = -5*a. Is p not equal to a?
True
Let t(u) = 3*u - 4 + 0*u - 2*u. Let s be (2/(-3))/((-2)/15). Let v be t(s). Is -1/6 < v?
True
Let j be ((-12)/(-10))/(2/5). Let d be -3 - ((-6)/(-9) - j). Is d <= -0.1?
True
Let m = 4/11 - 97/55. Which is smaller: -1 or m?
m
Let k(i) = i**3 + 9*i**2 + 9*i + 7. Let f be (-45)/6 + 1/(-2). Let c be k(f). Is c less than -1/13?
True
Let a(d) = d**2 - d - 1. Let k be a(0). Let t(s) = -2*s + 1. Let f(v) = v. Let u(j) = -4*f(j) - t(j). Let r be u(k). Are 2/11 and r equal?
False
Let l(j) = -j**2 + 9*j + 1. Let t be l(9). Let i be 0 + t + (0 - 0). Is 5 bigger than i?
True
Let u be (-1 - -1 - -1)*5. Let q = -7 + 0. Let f = q + u. Is 0.2 smaller than f?
False
Let r be 2/(-7) - (-4)/14. Is r less than 4/3?
True
Let b = 0.041 - 0.041. Which is smaller: b or -31?
-31
Let l = -402/5 + 80. Which is greater: l or 0.05?
0.05
Let r(w) = -w**2 + 4*w + 1. Let a(k) = -k**2 + 10*k + 16. Let c be a(11). Let t be r(c). Is -5 smaller than t?
True
Let r = -10 + 6. Let s = 45 - 48. Which is bigger: s or r?
s
Let i = 3 + -8. Let p = i - -4.84. Let c = 0.06 + p. Are 0 and c non-equal?
True
Suppose -3*d = 5*o + 43, 0*d = o - 2*d + 6. Let f be o - -9 - (-3)/(-7). Which is greater: f or 1?
1
Let w(s) = -s**2 + 10*s - 3. Let q be w(6). Let a = q - 30. Are -10 and a unequal?
True
Let x = 5.7 - 6. Let y = 0.5 + x. Let a = -0.3 + y. Are -0.1 and a equal?
True
Suppose i + i - 18 = 0. Which is smaller: i or 10?
i
Let c = 447 - 197. Let p be (10/c)/((-4)/10). Are 0 and p non-equal?
True
Let q = -28 - -25. Is q equal to -15/8?
False
Let w = 0.18 - -4.82. Suppose 0 = -4*k - 2*q + 4, 4*q - 14 = -k - 6. Suppose -2*r - 2*r - 4 = k. Is r at most as big as w?
True
Let z = 259150/7 + -37149. Suppose 7*c = 9*c - 256. Let y = z + c. Which is smaller: -1 or y?
-1
Let x be -1 + (-1)/(8/(-10) - -1). Suppose 3*i - 10 = i - 2*z, 5*z - 15 = 0. Let p = x + i. Which is smaller: -2 or p?
p
Suppose 2*s - 4 = 4*f - 2*s, 0 = -4*f + 2*s. Suppose n = 2*n - f. Which is smaller: n or -3/8?
-3/8
Let p = 0 + -3. Let y = 13 + -23. Let a = y - -6. Which is smaller: a or p?
a
Suppose -3*b = -b - 4. Let p be ((-2)/(-26))/((-1)/b). Suppose 0 = -6*r + r - 5. Are p and r non-equal?
True
Suppose 0 = 2*j + c - 2, 3*j - 3*c - 26 = -5. Let h(q) = q**3 + 6*q**2 + 3*q - 6. Let m be h(-5). Is m < j?
False
Let s(t) = -t**3 + 5*t**2 - t + 4. Let a be s(5). Which is bigger: -5/11 or a?
-5/11
Let s be 35/(-14)*4/(-205). Which is greater: s or -1?
s
Let i = -8 - -2. Let c = 0.6 + 0.1. Let t = c + -1.7. Which is smaller: t or i?
i
Suppose -2*m - 7*m + 9 = 0. Do m and 9/10 have the same value?
False
Let f = -88.1 + 107. Let m = 19 - f. Suppose 4 = 4*w - 0*w. Is m at least w?
False
Let a be (-29)/2 + (2 - 3). Let m = -15 - a. Let z be 0*(3 - 21/6). Is z bigger than m?
False
Let n = 167 + -166. Which is bigger: -73 or n?
n
Let i(n) = -n + 5. Let f = 8 + -3. Let z be i(f). Let h(s) = s**2 + s - 1. Let d be h(z). Which is smaller: d or -2?
-2
Let r be 1 + 0 + -3 + 2. Let o(p) = -9*p**3 - p + 10*p**3 + 0*p**3. Let l be o(r). Which is bigger: 2 or l?
2
Let c be -2 + (3 - 28/24). Which is smaller: -0.2 or c?
-0.2
Let y be (-4)/16 + (-14)/8. Let d = y - -5. Suppose 0 = -d*w - 1 + 7. Is 1/2 smaller than w?
True
Let l(t) = t - 23. Let o be l(4). Is o > -20?
True
Let o(n) = 2*n**2 + 2*n + 2. Let x be o(-2). Suppose 3*v - x*v = 0. Suppose 0 = -5*w - v + 5. Which is greater: w or -1?
w
Let o be 10/(-14) - 10/35. Let p be (1 - -2)/(0 - o). Suppose -c = 1 - p. Is 3 less than or equal to c?
False
Let s(z) = -z**2 + 6*z + 1. Let q(k) = 1. Let x(n) = 3*q(n) - s(n). Let r be x(6). Let d be 1*2*r/4. Which is greater: d or 0?
d
Let s = 8 + -8.8. Which is bigger: -1/4 or s?
-1/4
Let q(t) = -t**2 - 13*t - 3. Let k be q(-13). Is -1 < k?
False
Let o be (16/312)/((-1)/(-6)). Do 1 and o have the same value?
False
Let k be (-3)/(-4) - ((-354)/8)/(-3). Which is bigger: k or -11?
-11
Let h = 16/21 + -10/21. Which is smaller: 2/19 or h?
2/19
Suppose -5*r + 114 = 14. Let d be ((-14)/(-5))/(24/r). Is d greater than 1?
True
Let z(w) = w - 4. Let i be z(9). Let r be 1 + 8/i + -3. Which is greater: 0 or r?
0
Suppose -14 = 3*g - 11. Is 22 equal to g?
False
Let v(w) = -w**2 + 13*w + 1. Let r be v(10). Which is greater: r or 32?
32
Let a = -119 + 117. Which is smaller: a or -11/6?
a
Let j be (16/(-28))/((-12)/210). Is j less than 11?
True
Suppose 0 = d - 5*d. Is 15/19 < d?
False
Let d = 0.01 - 1.71. Let x = -0.3 + d. Let j = -288 + 289. Which is smaller: x or j?
x
Suppose 3 = 5*l - 2. Are l and 2/3 non-equal?
True
Let o(g) = 2*g**2 + g - 10. Let q be o(3). Is -0.1 < q?
True
Suppose 5*r + 21 = 2*r. Let h(s) = -s**2 - 8*s - 7. Let i be h(r). Which is greater: -2/7 or i?
i
Let m be 2/4 - (2 + -2). Let y = 28 + -28.07. Is y bigger than m?
False
Suppose y - 10 = m - y, -4*m = -2*y + 10. Suppose -k = -4*n - 4, m = n + 3*k - k + 1. Is n < -1?
False
Let y be -2 + 1 - (-15)/3. Suppose 0 = -y*p + 8*p. Are 6/7 and p unequal?
True
Suppose 2*o + o = -3. Is o at most as big as -2/47?
True
Let p = -397/5 + 79. Let n = -31 - -31. Is n < p?
False
Let p(c) = -c**2 - 6*c - 5. Let i be p(-4). Let v = 2 + i. Suppose 0 = -4*m + v*m - 4. Which is smaller: m or 3?
3
Let f be 5*2 + (3 - 5). Let b be ((-4)/(-24))/(2/f). Are 1 and b equal?
False
Let o be ((-3)/2 + 2)*2. Suppose -4*d - 2 = 2*f, 4*d + 2*f - 1 = 3*f. Suppose d = s - 0*s. Which is greater: o or s?
o
Let z be 6/12 + 27/(-24). Is 1 != z?
True
Let f = 94 + 41. Suppose -6*y + y = f. Let i be 4*(y/(-12) - 3). Which is smaller: -3/2 or i?
i
Let s be 2/(-418)*416 - -2. Let m = s - -1666/627. Are m and 3 equal?
False
Let q = -2248 - -24710/11. Which is bigger: q or -1?
-1
Let x be (5 - 4)/(1/(-2)). Let j be (x/(-5))/(6/(-3)). Which is bigger: j or 0?
0
Let f = -19 + 11. Let s(q) = 3*q**2 + q - q**2 - 3*q**2. Let w be s(0). Which is smaller: w or f?
f
Suppose -5*z + 3*m + 87 = -8, -4*m + 44 = 4*z. Suppose -20 = 3*i - 5*i. Let q be (-1)/2 + i/z. Is q <= 0?
False
Suppose 3*u = 10 - 1. Which is greater: 1 or u?
u
Let k(u) = -u + 1. Let y be k(3). Let l(h) = -3*h - 3. Let s be l(y). Suppose 2 = -s*r + 5*r. Which is smaller: r or -1/4?
-1/4
Suppose -5*i - 3*t = -39, i - 4*t = -i + 26. Is 8 equal to i?
False
Let c = 4.09 + -0.09. Let z = c - 4. Which is greater: z or 2/7?
2/7
Let z = -368 + 367. Let p be (2/10*-7)/1. Is z <= p?
False
Let i be 2 + 2/36*3142. Let w = -177 + i. Let d be ((1 - 3) + 1)*-1. Which is bigger: d or w?
d
Let p be 9/(-6)*6/(-9). Let b be 1/40 - 2/5. Which is smaller: p or b?
b
Let v = 1.1 - 0.1. Let c be ((-10)/4)/(1/(-6)). Let j be ((-6)/(-75))/((-3)/c). Which is smaller: j or v?
j
Let j be (212/42)/((-12)/(-9)). Let y = 7/2 - j. Is 3/7 < y?
False
Let m(k) = 2*k + 6. Let z be m(-4). Let r be 87/(-513) - z/9. Is 1 less than or equal to r?
False
Let t = 448786703/819 - 547969. Let z = 2/117 - t. Let p(i) = i**3 + 3*i**2 - 3*i + 5. Let w be p(-4). Which is greater: z or w?
w
Suppose -10 = -t - 28. Let j = -37/2 - t. Are j and 0.2 unequal?
True
Let l = 5.3 + -26.3. Are l and 2 non