onequal?
True
Let t = 0.3 + 0.2. Suppose 0 = -3*d - d + 4. Is t greater than or equal to d?
False
Let s = 8 + -8. Let d = s - -8. Are 8 and d equal?
True
Let a = 6 + -8. Let w be (a + 9/3)/1. Is -1/4 at least w?
False
Suppose z = 2*z - 20. Suppose 5*n - x - z = 0, -4*n + 44 = 4*x + 4. Which is smaller: 6 or n?
n
Let g = 11 + -11. Let t(m) = -m + 8. Let k be t(8). Is k greater than g?
False
Let p = -18 + 11. Which is smaller: p or -8?
-8
Let z be (4 + (-68)/16)*-8. Suppose 4 = 4*i - 3*i - 3*h, -5*i - 5*h = 20. Which is greater: i or z?
z
Let a(s) = s - 7. Let g be a(3). Let t be 3/12 + (-95)/(-20). Let i = -9 + t. Does g = i?
True
Suppose 0*u - 3*i = -2*u - 12, -4*u + 4 = i. Suppose -4*y - 4 = -u*y. Is y smaller than -3/2?
False
Suppose -a + 1 = 34. Which is smaller: -32 or a?
a
Let a be -2 - (-3)/(-12)*12. Suppose -x = -0*x + 4. Which is smaller: a or x?
a
Let i be 20*6/(6 + 6). Is i > 13?
False
Let f = 10 - 9.9. Which is bigger: f or 14?
14
Let w = 18 + -73/4. Suppose 4*u + 22 = -3*n, 4*n - 4*u = -u + 4. Let j be -1*(-2 + (-6)/n). Which is smaller: j or w?
j
Suppose -3*i - 3*o = 0, 2*o = -0*i + i + 12. Suppose -n = 2*n - 15. Suppose 0*s - 4*s = -3*c - 31, 5*c = -5*s - n. Which is greater: c or i?
i
Let n = -13/6 + 3/2. Let v = 0.26 - 1.56. Let f = v - -1. Which is smaller: f or n?
n
Suppose 0 = -5*r - 32 + 12. Let n be (4 - 1) + r/2. Is 2 less than or equal to n?
False
Suppose 0 = -4*w - w + 10. Suppose 4 + 0 = w*b. Is 3 equal to b?
False
Let q be 90*(-2)/(-260)*8. Let u = 1198/221 - q. Is 1 greater than or equal to u?
True
Let t be 27/(-5) - 2/(-5). Let o = 2 + -8. Let d = o - t. Which is greater: d or -2?
d
Let f be 4/156*193 - 5. Which is smaller: f or -1?
-1
Suppose -5*x = -0*x + 3*i - 6, -4 = -2*i. Let y = -1 + x. Are 2 and y nonequal?
True
Let n = -9 - -9. Suppose 0 = -n*v - 4*v - 8. Is v bigger than -3?
True
Let a = -0.084 + -1.916. Are a and -41 unequal?
True
Let w be (-68)/44 + 0 + 1. Suppose 0 = -f - 0*f + 4. Suppose 3*v = 5*s - 12, -8*v = -4*s - f*v + 16. Which is smaller: w or s?
w
Let k = -0.4 - 1.6. Which is greater: k or -5?
k
Let p be -2 - (9/8 - 3). Is p > -1?
True
Suppose -7 = 5*r - l, 3*r = 2*l - 4 - 3. Suppose -5*f = -2*f - 2*m + 28, 2*f - 2*m + 20 = 0. Let b = f + 7. Is r >= b?
True
Suppose -5*s - 3*i + 8 = 0, -s = i - 6 + 4. Let x be 0 - (1 - 5/3). Is x > s?
False
Suppose -3*z = z + 4. Let w be (2 + -2 + 0)/z. Let x be (-4)/6 - 1/(-3). Which is greater: w or x?
w
Let p = 2 + -7. Let f be 10/4*(-1)/p. Suppose -3*x + x = -2. Does x = f?
False
Let k = -1.16 - -0.06. Let f = -1.9 + k. Is 0 not equal to f?
True
Let q(k) = 4*k + 41 - 6 - 16 - 14 - k**2. Suppose g - 5*c = -10, 0 = -3*g - 2*c - 0*c + 21. Let m be q(g). Which is bigger: 1/4 or m?
1/4
Suppose 2*n - 36 = -2*i, -4*i = -4*n - 3*i + 97. Suppose u - 3*g = 7, 2*u + 2*u + n = -5*g. Is u bigger than -5?
True
Let s = 433/55 + -47/11. Which is smaller: s or 3?
3
Suppose q + 3*q = 0, y = 3*q + 3. Let n = 6 + y. Which is smaller: n or 8?
8
Let a be 9/(18/52) + -1. Is a < 25?
False
Let d be 6/33 + 3 + -3. Suppose -7 = 5*i - 17, -2*i + 6 = -2*b. Which is bigger: d or b?
d
Let r be (-1936)/18 + 1/3. Let x = r + 107. Which is smaller: x or 1?
x
Let r be (1 - (-1 - -3))*1. Suppose -4*q = 2 + 2. Is q equal to r?
True
Let c(u) = -u - 12. Let r be c(12). Let i = 22 + r. Which is bigger: 2 or i?
2
Let g(v) = -v**2 - 10*v - 1. Let h be g(-8). Suppose 5*x = 4*k - h, -3*x + x - 2*k + 12 = 0. Which is bigger: x or 5/4?
5/4
Let s = -2.7 - 0.3. Let q = -3.34 + 0.24. Let o = q - s. Is o < -3?
False
Let q(x) = -x**3 + 5*x**2 - 4*x + 4. Let i be q(4). Let n be (1/i)/(1/2). Suppose -4*d + 5*m + 18 = 0, 5*d - m - 16 = 2*m. Which is smaller: n or d?
n
Let q be (15 + 1)/(-2 + 1). Let v = q + 16. Which is smaller: 2/5 or v?
v
Let x be 1/2*((-150)/(-395))/5. Is x less than 0?
False
Suppose b = -4*b - 5*j + 55, 5*j - 47 = -4*b. Let g = b - 7. Let h be ((-4)/(-10))/((-14)/(-10)). Which is bigger: g or h?
g
Let m be (-3 - -4)/(-1)*-1. Which is bigger: m or 3?
3
Let z(l) = 1. Let p(r) = r - 5. Let b(u) = p(u) - 3*z(u). Let x be b(7). Let h = 2 + x. Is -1/3 at least as big as h?
False
Let f be ((-22)/(-4))/(14/8). Let g = -95/28 + f. Are g and 0 nonequal?
True
Let w = 19 - 19.13. Let y = 0.17 - w. Which is smaller: 2 or y?
y
Suppose -b = -4*b. Suppose b = 5*o - 4 + 14. Let s = 5 + -8. Which is greater: o or s?
o
Let v = -0.006 + -0.094. Which is bigger: v or 25?
25
Let r be 2/((-8)/5)*-4. Suppose 3*t - 3*v + 3 = 2*v, 0 = 5*t + 2*v + r. Which is greater: 3 or t?
3
Let a be (22 - 2)*22/(-4). Let v be (8/a)/(2/5). Is 0 smaller than v?
False
Suppose 6 = 4*w + 3*r - 8*r, 0 = 5*w + 4*r - 28. Which is bigger: w or 14/3?
14/3
Suppose 0*p - 2*p + 10 = 0. Suppose 3*f = f - 12. Let a = f + p. Is a smaller than 2/7?
True
Let o = -380 - -7217/19. Is o >= 1?
False
Let p = 2/15 - -1/5. Are p and 0 nonequal?
True
Suppose 3*g = -0*g. Let r be (2/6)/(3/12). Is r not equal to g?
True
Suppose -41 = -3*g - 0*g + 5*w, 3*w + 39 = 3*g. Suppose -i = 2*i - g. Let q = 3 - -2. Is i equal to q?
False
Let q = -19 + 58/3. Which is bigger: q or -0.2?
q
Let s = 0.2 - -0.1. Let i = s - 3.3. Let w = i - -2.8. Which is greater: -2 or w?
w
Suppose 5*v - v - 4 = 0. Suppose -20 = -r + 4*n, 0 = -3*n - 13 - 2. Let i = v - r. Is -0.1 greater than i?
False
Let x = 6 - 15. Let u = -53/6 - x. Suppose -h + 0 = 4*d + 4, -4*h + 3 = -3*d. Which is greater: u or d?
u
Let j be ((-5)/(-2))/((-2)/(-4)). Suppose -7*i + 4*i + 4*o + 32 = 0, -i + 29 = -j*o. Let r be ((-6)/9)/(i/(-30)). Is r at most as big as 3?
False
Suppose -2 = -2*f - m, -4*f + 2 + 10 = -2*m. Let b(d) = 3*d**f - 6 - d**2 + 7*d - d**2 - 2*d**2. Let s be b(5). Is s equal to 5?
False
Let u = 0.3 + -0.2. Let b = u - -2.9. Let k = -1.8 + 1.8. Which is greater: k or b?
b
Let t = 1838229/728 + -33206/13. Let v = 225/8 + t. Is v less than or equal to 1?
True
Let a = 19/60 + 1/12. Which is smaller: a or -2/5?
-2/5
Let p = -3288 + 9422/3. Let y = p - -152. Let b = -4 + y. Which is bigger: 2 or b?
2
Let a = 22168 - 1440858/65. Let q = a + -15/13. Suppose j = -j. Do j and q have different values?
True
Let i be (-117)/(-18) - (2 + 5/(-2)). Which is smaller: 5 or i?
5
Let y = 2.212 + -0.012. Which is smaller: y or 2?
2
Let k(x) = x + 2. Let z be k(4). Suppose y + 3 = u - 3*u, u + 4*y = -5. Let j be (-10)/(-4)*(u - -3). Which is bigger: z or j?
z
Suppose -c + 0 - 2 = 0. Let b = 3 - -3. Let f be c/(-6) + (-2)/b. Which is smaller: -2 or f?
-2
Let m = -1 - -1.1. Suppose -4*g + 0*y + 36 = 2*y, -y - 22 = -2*g. Suppose -6*z + z = -g. Is z < m?
False
Let v = -1 - -2. Suppose -i - 3*i + 8 = 0. Is i at least as big as v?
True
Let r = 0.1 - -0.9. Let j be (-117)/60 - (-3)/4. Which is greater: r or j?
r
Let r = -18 - -17.8. Which is greater: r or 7?
7
Let i = -1.2 - -0.2. Which is smaller: i or -1/3?
i
Suppose -2*b + 6*b = 4. Let v = b + -2. Let i be 1/3*(-6)/4. Is v >= i?
False
Let c = 9 + -2. Suppose u - 5*k - 20 = 7, 3*k + c = -4*u. Is 0 greater than u?
False
Let a = 1.04 - 0.04. Let m = -4 + 3. Let n = a + m. Which is smaller: -0.3 or n?
-0.3
Let d(l) = l**2 - 11*l + 2. Let r be d(11). Let q(k) = 3*k - 5. Let h be q(r). Is h smaller than -2/25?
False
Let c be (2/(-3))/((-2)/6). Let d be (18/(-33))/(c/(-2)). Which is greater: d or 0?
d
Suppose 4*w - 16 = 0, 0*w = -2*z + 3*w - 32. Let n be 2/(3/(198/z)). Let d = -1904/145 - n. Is d greater than 1?
False
Let b = 3 + -3. Let k = 121 - 1088/9. Is k at least as big as b?
True
Let y = 13.9 - -0.1. Which is greater: 0.1 or y?
y
Let q(t) = -t - 3. Let f be q(-9). Which is smaller: f or 7?
f
Let h = 1 + -13. Let s = h + 0. Let q be 48/9*1/s. Which is smaller: q or 0?
q
Let a be (-30 - -11 - (0 + 1)) + 2. Is a less than or equal to -18?
True
Let b = -0.06 + -0.24. Let y = 0.7 - b. Let s = y - 1.2. Which is greater: -1 or s?
s
Let z = -3 + 2. Let j be 2/(-18)*3*6. Is j >= z?
False
Let j = -2 - -2. Suppose 5*g + 5 = -j*g. Is g != -2/11?
True
Let w be 6/21 + (-435)/(-21). Which is greater: -1 or w?
w
Let r = -265 - -409. Let c = r - 1005/7. Let a(x) = -x**3 + x**2 - x. Let w be a(1). Which is smaller: c or w?
w
Let p = 23/5 + -5. Is p less than or equal to 73?
True
Let i be (9 - 10) + -1 + 1. Which is greater: -1/14 or i?
-1/14
Let u = -155 + 95. Which is greater: 0.1 or 