nequal?
True
Let x = -2258 + 2256. Is -0.282 greater than or equal to x?
True
Let p be (3/18*-14)/((-6)/18). Suppose 4*m - 12 = -y, -y + p*m - 3 = 6*m. Are y and 1/3 non-equal?
True
Let q = 6335/2 - 3168. Which is smaller: -1/2061 or q?
q
Let f = -28942.757 + 28959. Let z = f - 0.243. Which is greater: 1/9 or z?
z
Suppose 2*y + 360 = -0*g + 2*g, -372 = -2*g - y. Is g less than or equal to 181?
False
Let t = 9884.2 - 9883. Is 4.2 greater than or equal to t?
True
Suppose -4*n + 4735 = 4*n - 3*n. Is 948 less than n?
False
Let k be -3 - (-76 + (1 - -1) + -1). Let t be (96/k)/((-10)/3). Which is smaller: 6/7 or t?
t
Let i(x) = 51*x**2 - x - 3. Let l be i(2). Is 198 equal to l?
False
Let o = 3 - 12. Let w = 19 + o. Suppose 0 = 4*a, -5*k - 13 = -2*a - 53. Which is greater: k or w?
w
Suppose 15*z - 224 = 661. Suppose -2*o + 40 = 3*y, -32 - z = -5*o - 3*y. Suppose -40 = o*x - 16*x. Which is bigger: x or -41?
x
Let s be 6 - (1 + -2 + -1). Suppose 74*p - 4 = 4*t + 72*p, 0 = 4*p - s. Is -8/23 at least t?
False
Let n be ((-9)/(-5))/(22/((-629090)/(-57))). Is -6 equal to n?
False
Let z = 12561 - 12466.07. Let i = z + -95. Suppose 0*k + k + 4 = 0. Is k at most i?
True
Suppose -53 = 20*f + 57 - 130. Is f at most as big as 1/6457?
False
Let j(k) = -2*k**2 - 53*k + 125. Let z be j(44). Is -6078 bigger than z?
True
Let k(m) = 8*m**3 + 23*m**2 + 2*m - 49. Let l(b) = b**3 + b**2 - 1. Let q(v) = -k(v) + 6*l(v). Let j be q(-8). Which is smaller: -15 or j?
-15
Let h(r) = -2*r - 68. Let z = -171 + 149. Let s be h(z). Is s >= -25?
True
Suppose -5*y - 70 = -5*q, -2*q = -y - 1 - 12. Let s = -52 + y. Which is smaller: s or 0?
s
Let f(q) = 47*q**3 - q**2 + 3*q - 1. Let k be f(1). Let v be k/408 - (-403)/187. Are 2 and v unequal?
True
Let y(c) = -3*c**3 - 26*c**2 + 24*c + 88. Let o be y(-9). Which is greater: o or -43?
-43
Suppose -4*b = 5*h - 5*b + 774, -3*h + 2*b - 470 = 0. Do -159 and h have the same value?
False
Let d(f) = -390*f + 391. Let n be d(1). Which is greater: n or 291/23?
291/23
Let o(f) = -20*f**3 + 6*f**2 - 7*f - 3. Let s be o(2). Let n = 336 + s. Which is smaller: n or 184?
n
Let o be ((-36)/75)/(1/70). Let p = -1297961/43160 + -2495/664. Let w = p - o. Which is smaller: w or -3?
-3
Let z = 2 - 1. Suppose 3*x - 12*y + 7*y = 13, -3*y = -x + 7. Let c be 954/186 - x - 1*4. Is c equal to z?
False
Suppose -7*v = -12*v - 25, -i + 3*v - 114 = 0. Let j = i - -125. Which is smaller: j or -5?
-5
Let s = -4480.218 + 34.218. Which is smaller: s or -3?
s
Suppose 3*p - 4*n + 27 = 0, 3*p + 4*n = -0 - 3. Let r be -5 + (126455/(-5061))/p. Which is bigger: r or -1?
r
Let o(a) = 2*a**2 - 57*a - 224. Let s be o(32). Is 1/466 at most s?
False
Suppose h = -q + 4, 5*q + h - 2 = 2. Let i = 94/725 - -3329/24650. Is q > i?
False
Let t = 58759/113 - 520. Suppose 0 = -142*y + 143*y + 1. Does t = y?
False
Suppose 0 = -5*s - 12*a + 7*a - 30, -3*s = -a - 2. Suppose -5*g - 25 = 4*h, g + g + 10 = 2*h. Let w be (g/(-22))/(2/4). Are w and s unequal?
True
Let o(c) = -14*c - 13. Let s be o(-3). Let u(i) = -3*i + 86. Let r be u(s). Is -8/23 smaller than r?
False
Let n be 24/(-108) - (-292)/18. Suppose 14*x - n*x = 390. Let o = 4874/25 + x. Do o and 1 have different values?
True
Suppose 0 = 15*h + 89*h + 23*h + 20574. Which is smaller: h or -156?
h
Let z = 239 + -138. Let l = 295/3 - z. Let p be (-4)/(2 + -6) - 4. Is l at least p?
True
Let f = -160 + 141. Let y = f + -4. Is -1 <= y?
False
Let x be (-53048)/17727 - (-3 + (2 - 2)). Which is greater: 0 or x?
x
Let c be (9/(-15))/(2/10). Let p be 4 + -5 + c - -4. Let f be 16/(-12) + (-3025)/(-2280). Is f at most as big as p?
True
Let o = -0.158 + 64.158. Let j = o - 59.5. Let u = -4.7 + j. Which is smaller: 1 or u?
u
Suppose 0 = 5*o - b - 41, -31 = 3*o - 6*o - b. Suppose 445584*g = 445598*g + 140. Which is greater: g or o?
o
Let h = 1213/3654 + -22/63. Which is smaller: 17 or h?
h
Let q = 3435 - 3444. Is q equal to 14?
False
Let a = 0.05171 + -17.25171. Which is bigger: a or 0?
0
Suppose 6*f - 28 + 16 = 0. Suppose -f*k - 4*t = 4, 4*k - t = -6*t - 2. Let c be 9/(6/k)*-1. Is -30/13 >= c?
True
Let i = -582118/3 - -199895. Which is bigger: 5855 or i?
i
Suppose 0 = -8*j - 5*j - 3244 + 358. Is -223 greater than j?
False
Suppose -4*n = -3*p + 9, -13*n + 10*n + p = 8. Suppose 3*v + 4*k = 4*v + 8, -5*v - 3*k = 40. Which is smaller: n or v?
v
Let t(s) = -11. Let p(k) = k. Let q(c) = -5*p(c) - t(c). Let f be q(2). Are f and -8/31 nonequal?
True
Let b = 5054 + -5085.5. Are b and 4 equal?
False
Let a = -70973 - -11994517/169. Which is greater: a or 1?
1
Let b be (-52 + -2)*(3 - 5). Let d be (4/2)/((-658)/b - -6). Which is greater: -22 or d?
d
Let y(v) = -v**3 + 7*v**2 + 18*v - 4. Let p be y(9). Let h(c) = 6*c**2 + 7*c + 7. Let q be h(p). Let n = q - 221/3. Which is greater: n or -4?
n
Let w = -190 - -225. Let r = w + 82. Which is bigger: 118 or r?
118
Let p = -4.7 - -11. Let q = p + 82.7. Let x = 90 - q. Which is smaller: 0.14 or x?
0.14
Let u = 3308/5 - 110089/165. Is u greater than or equal to -5?
False
Let p = -1/8076 - 111857/9747732. Is p at most 0?
True
Let h be (17/1)/(-19 - -20). Suppose 0 = -2*o - 2*i + 34, 0 = -15*o + 12*o - 5*i + 61. Is h at least as big as o?
True
Let q = 10.34 + -44.6. Let x = -0.74 + q. Let b = 35 + x. Is b smaller than -0.01?
False
Let l be (2 - (-66)/15)*(-10)/(-4). Let m be l/(-12) - (-22)/3. Suppose w = -3*t - 9, m = 5*w - 4*t - 6. Do w and -12/13 have different values?
True
Let z = 2/172687 - 323097383/518061. Which is smaller: -625 or z?
-625
Let y be (-230)/(-115)*2/(-4)*1 + 0. Which is greater: y or -116/153?
-116/153
Let v be 15 + -9 - -1*(-7)/2. Let o be (-4 + 0)*(-2 + 1). Let m be 0 + 1/(2/o). Which is bigger: v or m?
v
Suppose -4*b - 4*i - 204 = 0, -3*b - i - 163 = -0*i. Let c be (-28)/b - 10/4. Let s be 26/7 - ((3 - 2) + c). Does s = 5?
False
Let j = 7643 + -7645. Does j = -12.91?
False
Let u = -7184032/39 - -184246. Is 41 != u?
True
Let b be -3 - (17605/(-5550) + 4/24). Let q = -4397 + 4397. Is q not equal to b?
True
Let p = 2.61 - -0.1. Let d = 2.6 - p. Which is bigger: -9 or d?
d
Let c = 28845/114437 + -72/317. Does -4 = c?
False
Let n be (6/7)/(35236/322). Which is smaller: n or 1?
n
Let w = -168417.6 - -168418. Let o = -5.05 + 0.05. Let g = 5.6 + o. Is w bigger than g?
False
Let d(b) = 2*b + 5. Let w be d(-6). Let j be (-2)/w - 3940/70. Suppose -135 = -32*r - 1895. Which is smaller: j or r?
j
Let f be ((-33)/(-6) - 1)/((-6)/16). Let a = f - 1. Suppose -1 = -n - 16. Is a greater than n?
True
Let d = -429.01351 - -0.01351. Is d greater than -0.1?
False
Let c be (2 - ((0 - 3) + -1)) + -2. Suppose -4*m = 3*o + 10, -m + 3*m - c*o = 6. Let w be (-4)/14 - ((-276)/(-819))/m. Is 0 > w?
False
Let q be ((-16)/(-5))/((-230)/(-1500)) + 4*-1. Which is smaller: q or 16?
16
Let s = -0.06 - 0.14. Let v = 2377/2 - 1136. Let z = v - 54. Which is smaller: z or s?
z
Let n = 6 + 45. Let r = -55.9757 - 0.0243. Let a = n + r. Which is smaller: a or 2?
a
Suppose 5*f + 8 = -4*p, -f - 11 = 5*p - 1. Let w(j) = j**3 + 5*j**2 - 5*j - 6. Let o be w(-6). Let a = -13 - o. Which is bigger: f or a?
f
Let u be 0 - -1 - (-744)/(-224). Let p = u + 18/7. Suppose -2*j + 5*t + 9 = -14, -5*j - 10 = t. Which is greater: p or j?
p
Suppose -16*q + 251 = 267. Which is smaller: q or -10/781?
q
Suppose 15*d - 21*d = 60. Let i be (-2)/d*(-91 - -2). Is i greater than or equal to -19?
True
Suppose 0 = 4*c + 2*c - 84. Let s be (30/8)/(c/56). Let w = -15 + s. Which is smaller: -3/5 or w?
-3/5
Suppose -j + 21 = 46. Let f = j + 15. Let g = 7 + -15. Which is bigger: g or f?
g
Let g = -92 - -92. Suppose w - 5*w = 3*o, -o + w = g. Which is smaller: o or -2/39?
-2/39
Let j = -26512 + 25937. Which is bigger: j or -13?
-13
Suppose -5*a - 86 + 32 = t, -90 = 5*a + 5*t. Let d be (-5)/25 + (-11)/(-5). Which is greater: d or a?
d
Suppose 16*m - 4 = 12. Let b be (1096/72 - m)/(0 + -2). Is b at most -7?
True
Let d be -1 + (-2 + 5)/(-1). Let g be ((51/(-9) - -3) + 0)*18. Let z = -47 - g. Which is bigger: z or d?
z
Suppose -83 = 2*n - i, n - 5*i = -2*n - 142. Is n less than -506/13?
True
Let i = 8.97 - -8.53. Which is smaller: 0.1 or i?
0.1
Suppose 4*j + 4*p - 4964 = 0, 4929 = -78*j + 82*j - p. Which is bigger: j or 8642/7?
8642/7
Let b be 1*2 - (-28 + 12). Suppose -3*r = -3*s 