!= v?
True
Let p be (-53)/2 + 2/(-4). Suppose 17*u - 29 + 368 = -137. Which is bigger: p or u?
p
Let f be -4*6/(-144) - 0. Suppose 2 = -2*l - 0. Which is greater: l or f?
f
Let x = -19448/5 - -3860. Which is smaller: -31 or x?
-31
Let l(p) = 2*p**2 + 8*p - 21. Let d be l(-7). Does 546/25 = d?
False
Let m = 0.1461 + 1.8539. Is m < -50?
False
Suppose 0 = -5*k + y - 297, 0 = -5*k - 5*y - 276 - 39. Is -61 at least as big as k?
False
Let n = 3229 + -3196. Suppose -v - 4*v = -165. Is v < n?
False
Suppose 0 = -5*h - 5. Let f = 480 - 17762/37. Which is bigger: f or h?
f
Let k(h) = -5*h + 25. Let t(v) = v - 5. Let u(c) = 2*k(c) + 11*t(c). Let x be u(8). Is 1 not equal to x?
True
Suppose 17 = 13*o + 173. Which is bigger: o or -110/9?
o
Let c = -5741/14 + 409. Which is bigger: c or 0?
0
Let d(z) = z**2 - 35*z + 248. Let k be d(10). Let j(m) = m**2 + 5*m - 1. Let r be j(-5). Is r > k?
True
Suppose -2*x = -3*l + 4562, 0*x - 2*x = 5*l - 7630. Let h be -4 - (l/(-230))/(-2). Let c = -37/5 - h. Which is smaller: c or 1?
c
Let p(u) = 4*u - 30. Let b be p(9). Let w be (-3)/b - -2*(-3)/(-4). Which is bigger: -1/83 or w?
w
Let v = 80 + -205. Let a = -154.8 - v. Let b = 30 + a. Which is greater: b or -8?
b
Let s(f) = f**3 - 8*f**2 + 6*f + 7. Let b be s(7). Let c be 58/(-1 + 42/78). Let l = -126 - c. Which is smaller: b or l?
l
Let r(f) = -f**2 - 7*f - 1. Let p be r(-6). Suppose 7*y = p*y - 12. Do -8 and y have the same value?
False
Suppose 3*o = 2*b + 416, 2*b = -o + 5*o - 552. Suppose -2*i + o = 28. Let z be (-18)/i - 1/(-5). Which is smaller: z or 0?
z
Let u be 0/2 - -6*(-1046)/(-21). Let y = 300 - u. Which is bigger: y or 2?
2
Suppose -q + 3*l - 4 + 7 = 0, -2*q - 19 = -l. Let r be (6/6)/(3/q). Which is bigger: -19/5 or r?
-19/5
Let k(s) = 8*s**2 - s**3 + 0*s**2 + 2 + s + 3. Let m be k(8). Which is smaller: m or 2?
2
Let p = -147 - -96. Let t = p - -45.5. Is t greater than or equal to -2?
False
Let y(q) = 201*q - 123. Let b be y(5). Is b > 882?
False
Let d = 297 + -296. Which is greater: 2/1217 or d?
d
Let g(b) = -b**3 + 6*b**2 + 8*b - 2. Let l be g(7). Suppose 2 = 3*q + x + 1, x - 3 = -l*q. Let y(h) = h + 5. Let u be y(-5). Is u smaller than q?
True
Let b be ((-8)/84)/(-2)*(14 + -47). Which is smaller: b or 2?
b
Suppose 2*b = 4*s + s + 63, -2*s - 4*b = 30. Let o = -27 - -13. Which is smaller: s or o?
o
Suppose 0 = -4*s - v + 92, 2*s - 31 = -2*v + 9. Is 30 less than s?
False
Let b = -80 + 175. Let o = 95 - b. Which is bigger: 7/3 or o?
7/3
Let a = -1 + 8. Let p be a + (0 - -2 - 4). Let k = 7 - p. Which is smaller: 3/4 or k?
3/4
Suppose -4*a - t = -15, -6*t + t - 9 = -a. Suppose b = w, 0 = -2*b + b + 3. Let c(i) = i**2 - 10*i + 25. Let m be c(w). Do a and m have the same value?
True
Suppose 12*w - 9*w + 179 = -2*g, 0 = w + 5. Which is greater: g or -89?
g
Suppose 0 = -g - g + 2*n + 54, 3*g + 5*n = 89. Suppose 14 = 2*q - 2*z, -4*q - 3 = -z - g. Let w be (q + -9)*2/6. Which is smaller: w or -1/3?
w
Let a be (2 - 142/68)*(-110)/165. Is 4/5 equal to a?
False
Suppose 0 = -b + 5*b - 156. Let y be (-12)/b - (-3)/9. Is 1 smaller than y?
False
Let v be -4 + 0/3 + 2. Let q be (v + 1 - -2) + 573. Let x = q + -7474/13. Is -1 less than x?
True
Let p be (36/(-15))/(-2)*-5. Let q(m) = -m**2 + 3*m. Let s be q(4). Let f be 5*(-2)/s*-2. Which is smaller: f or p?
p
Let u = 291.05 - 291. Which is smaller: u or -1?
-1
Let h be 0/((9/(-27))/(1/(-12))). Suppose -9*b + 10*b + 46 = h. Is b < -47?
False
Suppose d = -5*y - 88, -12*d + 14*d = -3*y - 50. Suppose 0 = -0*w - w - 18. Is w bigger than y?
False
Let u(c) = c**3 + 15*c**2 - 15*c + 22. Let t be u(-16). Suppose -9 = -0*x - 3*x, 2*x + t = -3*v. Is 2 less than v?
False
Let k be (5184/(-858))/(-2) - 3. Is 0.1 less than or equal to k?
False
Let b = 200155/137 + -1461. Which is smaller: -1 or b?
-1
Let p = 0.045 + -0.245. Which is bigger: p or 81?
81
Suppose t + 5*b = 11, 0*b - b = -3. Let w be (3*(2 + 0))/((-6)/t). Which is smaller: w or 3?
3
Let m be 4*(-6 + 5) - -3. Which is bigger: m or -2/337?
-2/337
Let c = -5747/3 + 2015. Suppose 0 = 12*r + 754 - 1930. Let z = r - c. Does z = -2?
False
Let u = -338 + 5403/16. Let y = u - 49/48. Let q(o) = o**2 - 2*o + 1. Let g be q(1). Is g bigger than y?
True
Let g be (-19)/((-57)/(-522)) - -7. Are -168 and g nonequal?
True
Let f be ((-3)/(-6) - 0)*(3 - -5). Let d be 26*((-1)/(-2))/((-4)/f). Which is greater: d or -14?
d
Let n be -15*(22/6 - 4). Suppose c + n*y = 38, 2*c + y - 19 - 39 = 0. Let k be c/(2 - -2) - 4. Is -2/7 > k?
False
Suppose 0 = -19*o - 215 + 519. Which is smaller: 2/5 or o?
2/5
Let g be -1 + (-1 - 0 - -2). Suppose r - 2 + 1 = g. Let o be 637/(-221) - (0 + (-8 - -5)). Is o at most as big as r?
True
Let j = -7.68 + 8. Let m = -0.175 + 0.155. Let v = m + j. Which is smaller: v or -2?
-2
Let u = -70 + 99. Which is bigger: 30 or u?
30
Let q(s) = -s**3 + s**2 - s + 7. Let x be q(0). Suppose 2*h + 5 = x*h. Let b = -57 + 396/7. Is b not equal to h?
True
Let p = -332.5 - -333. Is p smaller than 1/2?
False
Let t be 1*(5 - 4) - 0. Which is bigger: 88 or t?
88
Let c be 10/35 + 194/7. Let z be (-4)/8 - (-43)/2. Let o = z - c. Is -7 at least o?
True
Suppose -5*w = 2*w - 14. Suppose 3*z = w*z + 5*z. Are z and -3/4 equal?
False
Suppose m = -2*m + 3*y - 9, 2*y + 2 = -2*m. Suppose -z = 3*f - 11, 8*f - z - 13 = 3*f. Suppose j = -2*j - f. Is j < m?
False
Let r be ((-1173)/(-68))/((-3)/8). Suppose -230 = 2*o + 3*o. Is r greater than o?
False
Suppose 4*o - f = 175, f = -3*o + 2*f + 132. Suppose 7*z + 294 = 14*z. Which is bigger: z or o?
o
Let f be (-2)/(-4)*(-17)/(-2). Suppose -2*d + 50*m + 1 = 47*m, 5*d - 3*m = 16. Which is bigger: d or f?
d
Let n be (102/4)/(112/504). Is 114 less than or equal to n?
True
Let g(x) = 37*x - 119. Let p be g(-1). Which is smaller: p or -153?
p
Let c(q) = q**3 - 7*q**2 + 6*q. Let f be c(6). Suppose f = 7*p + p - 10*p. Which is smaller: 2/89 or p?
p
Let y be (-220)/165 - 2548/(-1902). Is -1 < y?
True
Let v(p) = p**3 + 24*p**2 - 24*p + 27. Let u be v(-25). Is u less than or equal to 19/7?
True
Let j(d) = 6*d**2 - 7*d - 1. Let h be j(-3). Let f be h/(-10) + (-16)/(-40). Which is smaller: f or 3?
f
Let y(d) = -2 - 4 + 0*d**2 + 0 - d**2 + 6*d. Let l be y(6). Which is smaller: l or -5?
l
Let j be -2 + 10/(-15)*-17. Which is bigger: j or 8?
j
Let i(j) = 15*j - 240. Let a be i(16). Is a >= -2/1069?
True
Let l be (8 - 5)*-1 + 0 + -1. Is l at least as big as -28/11?
False
Let r = 26 + -45. Let w = 32 + r. Let o = -13 + w. Which is smaller: 1 or o?
o
Let l = 2 + 1. Let n be 1 - l/(6/4). Let t be (1/n - -1)*-1. Is -2 less than or equal to t?
True
Let d = 38 - 29. Let y be d/(27/6) - -2. Suppose -p + 4 = 4*p + 2*m, 0 = 3*p - 2*m + y. Are 1/4 and p unequal?
True
Let c be (-17)/(-510)*15/84. Do 0 and c have the same value?
False
Let u(w) = -w - 2*w + w**2 - 3*w + 0*w. Let t be u(5). Let i(c) = 2*c + 5. Let n be i(t). Which is smaller: -7 or n?
-7
Let y = 13/478 + 3649/41586. Which is smaller: y or -1?
-1
Let h = 83 + -83.2. Let u be (-4)/(-2) - -3 - 1. Let b = u + -6. Which is smaller: b or h?
b
Let b(j) = -240*j - 6 + 0 + 243*j - 4. Let h be b(3). Which is bigger: h or -1/49?
-1/49
Suppose 3*v - 5 = 1. Suppose 3*h + 3*y = 2*y + 12, v*y + 16 = 4*h. Let q be (-3 - -2)/1*h. Which is bigger: 2/3 or q?
2/3
Let l = 436781821/255 - 1712872. Let r = 45/17 + l. Which is smaller: r or 0?
0
Let v be 15*24/3 - (-7 + 9). Is 118 at least v?
True
Suppose 0 = -7*g + 2*g + 50. Let b(y) = g + 3*y - 2*y + 0*y. Let f be b(-7). Are f and 3 unequal?
False
Let m(z) = -z**2 + 12*z - 5. Let f(i) = i**3 - 11*i**2 - 12*i + 7. Let a be f(12). Let x be m(a). Let t be ((-5)/x)/(14/(-6)). Are -1 and t non-equal?
True
Let o be (4/6)/((-46)/69) + 1. Suppose 5*r - 5 = -5*a, 5*r + a - 4*a + 3 = 0. Is r > o?
False
Let n be ((-6)/399)/((-4)/3). Let v = 2323/399 + n. Which is smaller: 5 or v?
5
Let l = -598/5 - -120. Is -1 smaller than l?
True
Let w = 31/4 + 35/4. Let o = -17 + w. Is 4 < o?
False
Let a = -50 + 50. Let g be 1*(-8 - -7 - (a + -2)). Let h = 18 - 25. Is h greater than or equal to g?
False
Let j(m) = 2*m**2 + 8*m - 16. Let s be j(-9). Let h = 131 - s. Let w be (2/(-6))/((-1)/h). Is 19 != w?
False
Suppose -6*o = 2*o - 32. Which is smaller: o or 2/15?
2/15
Suppose 25*f = -8*f. Is 2/1979 < f?
False
Let w = -31