))/y*1. Are c and v non-equal?
True
Suppose -3*p = -6*p. Suppose p = -v + 3. Suppose -v*s = -1 - 2. Is s greater than or equal to 1?
True
Suppose 5*g - 21 = 9. Suppose 0 = 4*a - g*a - 2, -3*m - 5*a + 265 = 0. Let c = m + -988/11. Is -2/3 bigger than c?
False
Let t(y) = -y - 29. Let b be t(-12). Which is smaller: b or -16?
b
Let j be (-1)/(-3)*0/(-5). Let v = j + 2. Which is bigger: v or 0?
v
Let k be ((-12)/9)/(10/(-3)). Let r be 2/(-6) - 3616/(-84). Let h = r + -43. Which is greater: h or k?
k
Let n = -9 + 4. Let u = 5 + n. Suppose 7 + u = v. Is v != 7?
False
Let q = 1 + -1. Suppose -5*j + 5 = -t, -109 = -t + 6*t - 4*j. Let l = t - -76/3. Which is smaller: q or l?
q
Let z be (-8)/(-36) + (-14)/(-18). Suppose 5*x - 14 - 1 = 0. Let m be 33/(-36) - (-2)/x. Is z less than or equal to m?
False
Let s = 130 + -130. Which is smaller: s or -2/23?
-2/23
Let q = -9 - 11. Which is smaller: q or 2/3?
q
Let p = 153 + -19. Let j = p - 1208/9. Let h = 2 - 2. Is j equal to h?
False
Let y = 5.091 - 0.091. Which is bigger: y or 0.03?
y
Let i = 0.06 - -0.74. Let z = -0.2 + 1.2. Let g = z - i. Is g at most as big as 1?
True
Let f be 30/36*4/(-15). Let q be 3 - 1 - 146/72. Let u = f + q. Does 1 = u?
False
Let r = 8256 - 693689/84. Let j = 9220/21 + -440. Let f = r - j. Are f and -2 non-equal?
True
Let y be ((-6)/3)/(1 + -3). Let n be 0 - 548/198 - -2. Let m = 6/11 + n. Is m greater than or equal to y?
False
Suppose 10 = g + 4*g. Suppose -3*k - g = q - 7, 5*q + 3*k = 25. Suppose -7 = -q*d - 22. Is -3 at least d?
True
Suppose j - 1 = 7. Suppose -j - 1 = -a. Let l = a + -5. Which is smaller: l or 5?
l
Suppose 3*a + 2*a + 20 = 0. Let b = a + 4. Let c = -0.3 + 0.5. Is b not equal to c?
True
Suppose -3*z - 3 = 3. Is z equal to 1/3?
False
Let c be 788/(-564) - 36/(-27). Which is bigger: c or -1?
c
Let o = 0 + 1. Suppose 3*h - o - 5 = 0. Suppose 2 + 2 = 4*j. Is h less than or equal to j?
False
Suppose 2*q = 15 - 7, -5*q - 2400 = -5*s. Suppose 3*z - z + s = -2*t, -4*t = -5*z - 1183. Let j = z - -4543/19. Is j smaller than -0.1?
False
Let a = 3.4 + -4. Let s = 0.4 - a. Is s at most 2?
True
Let f = 192 - 193.99. Let y = -0.01 + f. Are -0.03 and y nonequal?
True
Suppose -z = 2*z. Suppose z = -s - 5 + 3. Is s equal to -4/3?
False
Let h(f) = -f**2 + 6*f - 2. Let b be h(5). Suppose -b*q + 0 = 3, 4*q - 2 = -3*a. Let k = 246 + -245. Is a at most k?
False
Let u = 163/2 - 78. Let m be (6/(-24))/(10/148). Let b = m + u. Which is smaller: b or 0?
b
Suppose -5*i = 2*u + 20, 2*u - 6*u + 20 = -5*i. Suppose x + 3*v - 5 = 2*v, u = -4*x - 3*v + 15. Let q = 9/31 + -130/341. Is x not equal to q?
True
Suppose 5*v = 81 + 334. Let d = v - 247/3. Let j = -5 - -6. Is j bigger than d?
True
Let y be (-12)/(-30) - 4/10. Let g be (-100)/(-195) + 4/26. Which is bigger: y or g?
g
Suppose -66 = -3*x - 3*x. Is 10 <= x?
True
Suppose r = 2*k - 1, 0 = -5*k - 5*r + 10. Let v = 1/951 + 9503/6657. Is k at most as big as v?
True
Let r = -3 - -2. Let j be 24/117*9/6. Which is bigger: j or r?
j
Let s be ((-1148)/(-12))/7*3. Is 43 smaller than s?
False
Suppose -4*o = 3*b - 48, -2*b - 4*o + 6*o + 46 = 0. Which is greater: 21 or b?
21
Suppose n + 18 = 3*g, 0 = 3*g + 2*g + 3*n - 44. Let w(r) = r**2 - 7*r. Let j be w(g). Suppose j*h = -3*h - 3. Is 0 at least h?
True
Let y(r) = 6*r**2 + r. Let b be y(-1). Is b less than 7?
True
Let s = 13 - 40. Let b be (s/6)/(15/(-20)). Suppose -2*m + 3 = 5*d, m - 4*d - 10 = -2. Which is greater: b or m?
b
Let w(l) = 6*l**3. Let v be w(1). Which is smaller: v or 5?
5
Let i = 143 - 143. Let s be (-22)/20 - (-1)/2. Which is smaller: s or i?
s
Let j = -13 - -17. Suppose 5 = 5*b - 10. Let g be 2/(-8) - b/j. Is g bigger than -1?
False
Let p = -6 + 6. Let f = p + 0. Let b = -697/3773 - -1/343. Is b less than f?
True
Let t be ((-6)/8)/((-10)/8). Let z(d) = -d - 4. Suppose -4*u = 4*j + 4 - 0, -3*u = -4*j + 24. Let p be z(u). Which is bigger: t or p?
t
Let n(j) = -j**2 + 5*j. Let b be n(5). Let o = b + 0. Is -1/13 <= o?
True
Let o be 2/(-5) + -7 + 8. Let w = 5/7 + -1/21. Which is bigger: o or w?
w
Let m = 520.35 - 5.35. Let x = m + -518.01. Let f = x - -3. Which is smaller: 1/2 or f?
f
Suppose -x + 3 = -2*y, -3*y + 2*x + 3 = -2*x. Suppose -r + 1 = -h - h, 4*r - 4 = 3*h. Let c(m) = m**2 + m - 2. Let t be c(h). Which is smaller: t or y?
y
Let t(a) = -a**2 + 10*a + 2. Let o be t(9). Suppose -c = -o + 27. Let b be 1 - (3 + c/7). Is -1 at least b?
False
Let s = -2 - 0. Let t be 3 + -2*s/(-4). Suppose t*h + i = 3*i - 16, -8 = -2*i. Are -3 and h nonequal?
True
Let b = -0.071 - -39.071. Let p = 35.7 - b. Let g = p + -0.7. Which is smaller: g or 2?
g
Suppose -m + 7 = -3*m - 5*j, 2*m - 4*j - 20 = 0. Suppose -3*b = -m*n - n - 2, -4*n + 16 = 2*b. Is 1 less than or equal to n?
True
Suppose 2*o + 2*o - 28 = j, 9 = 2*j + 5*o. Let n(v) = v**2 + 7*v - 8. Let z be n(j). Is z < 1?
True
Let g = 0.1 + -0.1. Let p = 4 + -3.55. Let x = -0.25 - p. Which is smaller: x or g?
x
Suppose 4*s = 3*s. Let g = 1 - s. Which is smaller: g or 1/7?
1/7
Let w = 20 + -40. Which is bigger: 0 or w?
0
Let f = 20 - 20. Suppose -5*t + 5 = -2*y, t + 4*y + 21 = -0*y. Let m be ((-2)/(-18))/(t/2). Is f > m?
True
Let p = 50 - 30. Suppose -4*w - p = u, 4*w - 3*w + 5 = 4*u. Suppose -3 = -5*y + 2. Which is greater: u or y?
y
Suppose -10 + 4 = -3*k. Suppose 0 = -v + 2*z + 10, -k*z - 2*z - 20 = -4*v. Do v and -2/9 have the same value?
False
Let v be -1 + 0 + 4 + 2. Suppose 7 = 4*h - v. Suppose -4*d = -d + h. Which is greater: d or 0?
0
Let n = -2 + 2. Let u = -65 - -59. Is n at least u?
True
Let c be 6/4 - (-6 + 186/24). Which is smaller: 1/9 or c?
c
Let q = 1.4 - 11.4. Which is greater: q or -1?
-1
Let h be -1 - (-3)/3*-1. Do h and -2/55 have different values?
True
Let l(t) = -t + 2. Let x be l(0). Let o be (4/x)/(0 - 2). Are o and -3/4 equal?
False
Suppose -3*r + r + 10 = 0. Suppose 3*o - r*w - 6 - 3 = 0, 3*w + 9 = 3*o. Suppose -6 = -2*m - i, 0*i + 2 = o*m + 5*i. Are m and 4 unequal?
False
Suppose 5*v - 45 = 5*t, -2*t = 4*v - 5*t - 33. Let d = -4 + v. Suppose d = 3*p - 1. Which is greater: p or -1?
p
Let l = 0.29 - -2.71. Is -2/7 less than l?
True
Let v be (-4)/22 + 15/22. Let j = -6 + 5.6. Which is greater: v or j?
v
Let a(q) = 9*q - 4. Let g be a(0). Is 6/11 less than or equal to g?
False
Suppose 4*o - 1 = -5*i - 0, 5*o = 3*i + 29. Suppose -o*c + 3 = -h + 5, 0 = 2*c. Which is smaller: -1 or h?
-1
Let c be (0 + -1)*(-1 + -1). Let q be 0*2*c/8. Let f = -5 + 4. Are q and f equal?
False
Let d be 9*(-2 - 8/(-6)). Suppose 4*u - 12 = 4*n, -4*n = -u - 0*u + 21. Is d > n?
False
Suppose 5*p - 2*p + 9 = 0. Let h = 5 + p. Which is greater: h or 0?
h
Suppose -5*p = 3 + 2. Let q be 4/16 - p/(-2). Which is smaller: q or -2?
-2
Let g = 102 - 517/5. Is g >= -2?
True
Let p(h) = h + 5. Let n be p(-4). Let g = 3 - n. Is g <= 1?
False
Suppose 2*m + 4*x + 2 = 2*x, 3*m - 5*x + 3 = 0. Let z be 0 - m/(1/2). Is z equal to 4/3?
False
Let f = 17 + -16. Let n(c) = 11 + c - 2 + 0. Let s be n(-7). Are f and s unequal?
True
Let d(q) = -q**2 - 8*q + 1. Let h be d(-8). Is h equal to 0?
False
Let v = -8696381/693360 + 15489/1712. Let h = v + -2/405. Is -4 bigger than h?
False
Let s(o) = o**3 - 14*o**2 + 13*o - 1. Let v be s(13). Let g be 3/2*4/6. Let z be (-6)/(-20) + g/(-2). Is z >= v?
True
Let d be (-1)/(-1) - 130/122. Let a = d - -83/2196. Which is greater: 1 or a?
1
Let c(b) = -3*b + 1. Let s be c(1). Let d be 0/((-3 - s)*-1). Is -2/11 >= d?
False
Let r be 23/(-7) + 1 + 2. Is r at least as big as -0.047?
False
Let y be (-2)/(-3)*(-12)/2. Let o = 59 + -62. Does o = y?
False
Let n = 8 - 24. Let f = n + 10. Is -1 greater than f?
True
Let s be (0 - 0)/((-22)/(-11)). Which is bigger: -4/11 or s?
s
Let w = -8 - -6. Does w = -39?
False
Suppose -c = -3*y - 0*y + 11, -3*c - 8 = -4*y. Suppose -4 = -4*v, -2*o + 0*o + y*v = 3. Is 1/18 smaller than o?
True
Let x = 2 - -5. Let j = x + -6.9. Which is smaller: -2 or j?
-2
Let b be -1 + 5 + -2 + 35438. Let i = b - 2338909/66. Let d = i + -20/11. Which is smaller: 1 or d?
d
Let m = -2.9 - -4.8. Let n = -2 + m. Let j = 0 + n. Are j and -3 unequal?
True
Let k = 2 + -4. Let s = -0.01 + 2.21. Let r = s + -2. Which is greater: k or r?
r
Let g = 5 - 5.04. Let h = g + 0.04. Which is greater: 1 or h?
1
Let g = -1.5 + 0.5. Which is bigger: g or 