155/2. Are o and d non-equal?
True
Suppose 3*a + 46 + 32 = 0. Which is greater: a or -25?
-25
Let h = -144/7 + 1282/63. Let m be 2/(-4) + (-2)/4. Is m > h?
False
Let t = 0.53 + -4.43. Let z = t + 4. Let o = 0.1 - z. Is -2/3 bigger than o?
False
Let t(y) = y - 8. Let u be t(7). Let f be 1/(-23)*2/19. Let v = f + 888/3059. Is v greater than or equal to u?
True
Let t = -0.014 + 0.814. Is 1/4 not equal to t?
True
Suppose b - 5*f = 26, -b + 4*f + 14 = -7. Is b equal to 2/163?
False
Let j = 29 - -74. Is 103 >= j?
True
Let i = -0.525 + 0.6. Let c = i - 2.115. Let s = c - -0.04. Which is bigger: s or 1?
1
Let p = 0.032 - -7.468. Which is greater: p or -0.1?
p
Let z = 2.5 - 2.6. Which is greater: z or -1/15?
-1/15
Let u be (-105)/36*(-4)/36. Let p = -2/27 + u. Which is smaller: 0.01 or p?
0.01
Let g be (2/(-12))/(12/(-27)). Are 0.1 and g non-equal?
True
Let h be 1/(-5) - 25256/(-200). Let z = 126 - h. Are 1 and z nonequal?
True
Suppose 34 - 6 = 4*n. Suppose -3*t - 5 = -y, -3*t - y = -0*y + n. Let j be 1 - (2 + t - 0). Is 2/19 bigger than j?
False
Let l = 518/13 - 40. Let x = -2 + 3. Which is bigger: x or l?
x
Let o = 3.18 - 0.18. Let i = 3.3 - o. Which is smaller: i or -2/3?
-2/3
Let h = -322 - -324.03. Let w = h - 0.03. Is w >= 0.2?
True
Suppose 5 = 4*j + 1. Let i be ((-42)/(-4))/(-7) + j. Is i smaller than -2?
False
Let v(k) = k**2 - 3*k - 5. Let u be v(4). Let o = -2/79 + 172/553. Which is bigger: o or u?
o
Let g be (-97)/(-4) + (-2)/(-8)*-1. Do 24 and g have the same value?
True
Let c(o) = o**2 + 10*o + 11. Let t be c(-8). Let v = t + 4. Is v greater than -1?
False
Let u = 33 - -1. Is 34 equal to u?
True
Let v(p) = 6*p**3 + p**2 - 4*p + 2. Let d be v(1). Which is smaller: 4 or d?
4
Let j be 2/(-5) - 24/(-10). Let p be 0 + 4/((-4)/(-5)). Let i be 1/(-5) - (-16)/p. Is j equal to i?
False
Let q be 2/(-57)*6*3/6. Which is smaller: -4/5 or q?
-4/5
Let n = 1 + -4. Let t = 4 + n. Let g = -1/3 + t. Which is bigger: 0.2 or g?
g
Suppose -3*t - 2 = v, -2*t + 2*v = 3 - 7. Let d = -1 - 4. Let b = d - -14/3. Which is smaller: b or t?
b
Let d be 26/4 + (-3)/2. Let m = d + -7. Which is smaller: -3 or m?
-3
Let a be (-1)/4 + (-5)/(-20). Which is smaller: 3 or a?
a
Let y(a) = 0 + 2 - 2*a + 1. Let f be y(-2). Is 2 != f?
True
Let f be -2*-1*2/4. Suppose 3*l + f = -2. Is l greater than 0.2?
False
Let x be 3 - 2 - (5 + -2). Are x and -3 equal?
False
Let f(y) = -y**2 - 5*y + 8. Let r be f(-6). Let c = -459/4 + 229/2. Which is smaller: r or c?
c
Let t = -0.3 + 0.1. Let j = t + 0.4. Let n = 45 - 43. Which is smaller: j or n?
j
Let d be (10/(-4))/(1/(-2)). Let b = d + -6. Suppose 0*i - 4*k - 20 = 3*i, 0 = -i + 5*k + 25. Which is bigger: b or i?
i
Let l(y) = y**3 + 5*y**2 - 7*y - 8. Let q be l(-6). Let t be 6/((-4)/(2 - q)). Is t <= -5?
True
Let f = -0.6 - 0.1. Let m = f + -2.3. Which is smaller: 1/2 or m?
m
Suppose 4*o + i - 4 = 2*o, 5*o + 4*i = 10. Let h = -0.09 - 0.01. Which is greater: h or o?
o
Let s = 0.63 - 0.73. Which is smaller: 4.1 or s?
s
Let f be (-4)/(-10)*(-35)/(-854). Is f not equal to 0?
True
Let h = -0.29 + 1.99. Let k = 1.6 - h. Which is smaller: k or -3/11?
-3/11
Suppose y - 15 + 37 = 0. Let x be ((-6)/40)/((-18)/y). Let m = x - 3/20. Which is greater: 2 or m?
2
Let v = -1 + 0. Let j = 2 + v. Is 3 equal to j?
False
Let q = 27 + -24. Which is smaller: q or -0.05?
-0.05
Let t be (2/(-2) - -1)*-1. Suppose 6*j - 5*j = t. Which is greater: j or -5/4?
j
Let k be (2*-1)/((-1)/2). Suppose -q = -2*b + 11, -3 = k*b - q + 4*q. Suppose 16 = 4*o, 20 = b*z + 4*o - 2. Which is smaller: z or 1/2?
1/2
Let b be (1/17)/(2/(-4)). Let m = 0 + 13. Suppose 3 = m*p - 10*p. Is p greater than b?
True
Let b(z) = -z**3 - 5*z**2 - 3*z + 3. Let m be b(-4). Let n = 26 - 22. Are n and m equal?
False
Let f be ((-7)/14)/((-1)/(-9)). Which is bigger: -4 or f?
-4
Suppose c - v = -10, -c - c + v = 15. Are c and -7/2 nonequal?
True
Let g be -7*(2 - 48/21). Let y(z) = g*z**2 + 0*z**2 - z**2 + 0*z**2. Let f be y(-2). Is f < 3?
False
Let c(s) = -2*s**2 - 3*s + 5. Let b be c(-4). Is b greater than or equal to -15?
True
Let q be 4/(-18)*1*-3. Let c = -7.3 + 7. Are q and c non-equal?
True
Let k(x) = x**2 + 3*x - 7. Let f be k(-5). Suppose -2*g = f*g. Let v = 1 + -2. Is v less than or equal to g?
True
Let b = 0.05 - 0.55. Let c = b - -0.6. Is 1 less than c?
False
Let g = 51521/80 - 644. Which is bigger: 0 or g?
g
Let c = -116 - -116.94. Let g = c + 0.06. Does g = 3?
False
Suppose -o = -2*o - 3*m + 4, 0 = -4*o - 4*m + 8. Suppose 4*t = 3*t + o, 3*x - 4*t - 5 = 0. Let r be (-1 + 2)/(x/6). Is 4 >= r?
True
Let i = 345.97 + -344. Let l = i - -0.03. Let x = 5 - l. Is 0 > x?
False
Let n(k) = 4*k**2 + k + 2. Let i(q) = -5*q**2 - q - 3. Let f(s) = 3*i(s) + 4*n(s). Let b be f(-2). Is b equal to 1?
True
Let a = 35 + -25. Let g be 1/a*-38 + 4. Which is smaller: 0 or g?
0
Let k be ((-22)/2)/((-15)/(-30)). Which is bigger: 2/3 or k?
2/3
Let w be (-1 + 0)*(2 + 7). Let x = w + 10. Is x less than or equal to 0?
False
Let m be 28/6*9*50/(-30). Which is smaller: -71 or m?
-71
Let u = 0.2 + 3.8. Let o = -30.2 - -34. Let n = u - o. Which is greater: n or -0.3?
n
Suppose -4*o + 0*o = -72. Let f be 3/((o/(-15))/(-2)). Let n be 5/(f/(-2)) - -1. Which is smaller: -3/4 or n?
n
Let c = -2/3417 + -10099/259692. Which is smaller: c or 1?
c
Suppose 4*r = 3*r - 3. Let n be (2 - (-2 + 3))*-3. Let z = n - r. Do -1/4 and z have different values?
True
Let o = -10 + -7. Let a = o + 17.1. Is -1.7 > a?
False
Let r be (-9)/(-15) + (-47)/(-5). Suppose -r = 4*c + 2. Let v = 5 + c. Which is smaller: 1 or v?
1
Let o = 11/5 + -17/10. Let d be ((-14)/42)/((20/(-24))/5). Is d smaller than o?
False
Suppose 0 = 3*u - 4*p + 12, -3*u = -3*p - 5 + 14. Which is bigger: u or 1/7?
1/7
Let c = 2260194587308974 + -88588326859846171642/39195. Let v = c + 3930704/15. Let t = v - -2/603. Is t > -1?
True
Let m = -43/14 + 18/7. Let h(s) = -s + 5. Let l be h(5). Is m < l?
True
Suppose -3*a = 5*h + 68, -3*a - 100 = 2*a + 5*h. Let k be 6/(-9) + a/(-6). Suppose q - 24 = -5*u, 3*u = k*q + 7 - 3. Which is greater: q or 2?
q
Suppose 6 = 3*g - 2*g. Let a be (8/34)/((-12)/g). Which is bigger: 3 or a?
3
Let m = -27 - -25. Which is smaller: m or -6?
-6
Let w = 136 + -135.8. Let o = 11 - 8. Is w < o?
True
Suppose -10*j - 5 + 15 = 0. Let q(o) = -o**3 - o**2 + 4*o + 3. Let t be q(-2). Is j at most t?
False
Suppose 7*c + 5 = 2*c. Is -8/15 not equal to c?
True
Suppose -2*v - 4*l = 2*v + 16, 0 = -4*l - 20. Suppose w = -2 + 3. Let r be (-6)/w*2/(-6). Which is greater: v or r?
r
Let f = 4 - 3. Let j = f - 0. Let o = 3 + -4. Is o equal to j?
False
Suppose 3*m + 93 = 3. Let b be ((-3)/5)/((-6)/m). Let k be (3/4)/((-2)/8). Is b greater than k?
False
Suppose -a = -6*a. Let c = 17 - 12. Suppose a*r = -r - c. Are r and -5 non-equal?
False
Let d = 10076/1197 - 307/57. Let z = d - 17/9. Let a = -9/14 + z. Do 0 and a have the same value?
False
Let q = 18 - 16.6. Let w = q - 1.2. Is 2/5 bigger than w?
True
Let x = 2704/7 + -8065/21. Let j = -11/7 + x. Which is bigger: j or 0.3?
j
Let g = 1/4 - 0. Is 5 greater than g?
True
Suppose 5*w = -0 + 10. Let f be 5/(5/w) + -3. Let n be (-6)/(-4) - f/2. Which is bigger: n or 3?
3
Suppose 3*p = -0*p. Let c be 745/21*6/45. Let n = 40/9 - c. Which is smaller: n or p?
n
Let i = 0.04 + -0.44. Let v = -0.3 - i. Let n = v - 1.1. Is -0.1 greater than n?
True
Let f = 0.31 + -0.41. Which is smaller: f or 2.6?
f
Let i be (0 + -2)/(-2 - 6). Let z(f) = f**3 - 8*f**2 + 6*f + 8. Let u be z(7). Is u != i?
True
Suppose -5*u + 4*s - 13 = 0, -3*u - 15 - 12 = 4*s. Is u less than or equal to -9?
False
Let z(t) = t**2 + t - 1. Let j be z(-3). Let c = j - 4. Is 0 at most as big as c?
True
Suppose m = -3*a + 4 - 3, -2*a = 2*m + 2. Let k be (-4 - m) + (-7)/(-3). Which is greater: k or -1?
k
Let m = 5 - 5. Which is smaller: m or 2/23?
m
Let l = 11 - 7. Suppose -l*k = 3*v - 13 - 3, -15 = k - 4*v. Let p = k + -1. Is 2/15 >= p?
True
Suppose -n + 6 = -4*n. Let b(p) = -p**2 + 8*p - 2. Let y be b(7). Suppose 9*g - 4*g = -y. Is n at most g?
True
Let v = 0.048 - 0.048. Which is bigger: -0.02 or v?
v
Suppose 13*z + 6 = 15*z. Suppose -2*q + 5*k = 9, -3*k + 9 = 4*q - 4*k. Suppose q*t - 6*t - z = 0. Which is smaller: t or -2?
-2
Suppose 0 = -5*j + 3*t - 5 + 17, 19 = 5*j + 4*t. Which