176/10)/(-2)). Are n and 2 unequal?
True
Let b = 415/42 + -75/7. Let z(x) = -x**2 - 2. Let y(h) = -2*h**2 + h - 2. Let j(g) = 2*y(g) - 3*z(g). Let a be j(3). Which is bigger: b or a?
b
Suppose d + 11 = -u - u, 0 = 2*d + 2*u + 16. Is -5 bigger than d?
False
Let q(c) = 2*c**3 + 2*c**2 - 3*c - 3. Let b be q(-2). Let s = -7 - b. Does s = 0?
False
Suppose 0 = 4*d - 6 - 2. Let g(u) = -2*u + d*u - u - 2. Let o be g(-3). Is 1/3 less than o?
True
Let j(h) = -19*h + 2. Let d be j(2). Let x be 4/(-18) - 17/d. Which is smaller: x or -0.02?
-0.02
Let m = -253/3 + 85. Which is bigger: 0 or m?
m
Let x = -5 + 5. Let u = -0.41 + -3.29. Let d = 1.3 - u. Which is bigger: d or x?
d
Let p be (-1 + 3)/((-66)/(-8)). Let n = p + -2/33. Let y be 0*(6/(-4))/3. Is y at least n?
False
Let y be 1 + (-2)/(14/9). Let d be 4/14 - 96/385. Let i = -63/220 + d. Which is smaller: i or y?
y
Let n(j) = -6*j**2 + 0*j**3 + 0*j + j - j**3 + 6. Let u be n(-6). Let w be (-54)/(-40) - 21/35. Does w = u?
False
Let f = 3.1 + 0.9. Let o = f - 4. Let i = 0.05 - o. Which is smaller: i or 0?
0
Let j(w) = w**2 - 2*w + 2. Let b be j(2). Suppose b*z + 8 = 4*z. Suppose -l + 6*l + z*m = -21, 0 = 2*l - 4*m - 14. Is -0.1 >= l?
True
Let i be -42*3/(36/(-8)). Suppose 3*a - 2*f + i = 0, 0 - 2 = -f. Which is smaller: -3 or a?
a
Let x be (-144)/176 - 2/11. Let q be 6/8*6/(-9). Which is bigger: q or x?
q
Let r be (-5)/(-1 - -1 - 1). Suppose -r*f + 10 = -0*f. Let v(b) = 9*b - 151. Let y be v(17). Is y not equal to f?
False
Suppose k + 3*k - 20 = 0. Suppose -4*x = 7 + k. Is -3 >= x?
True
Let g = -6 + 11. Suppose o = 0, -4*c - c + g = -5*o. Which is greater: 3/4 or c?
c
Let j = 11 + -9. Suppose -c - 3 = j*c. Let r = -282 + 4796/17. Is r greater than or equal to c?
True
Let c = -23 - -2. Let k be (-13)/(-7) - 3/c. Let s be (k/(-10))/((-28)/(-35)). Do 3 and s have the same value?
False
Let x be 36*(55/(-50) + 1). Which is smaller: -0.3 or x?
x
Suppose -2*o + 4 = -2*s - 6, 3*o = 4*s + 12. Let f = -6 + o. Let a be (f/(-16))/((-4)/(-8)). Is 0.2 <= a?
False
Let r be -2 + 6/(-3) + 2. Let i be 16/(-12) + (-4)/6. Is r bigger than i?
False
Let s = 11 - 7. Let b = -3 - -4. Which is smaller: b or s?
b
Let p(o) = 2*o + 4. Let m be p(5). Suppose b = 4 - m. Let z be (-6)/5*(-5)/b. Is -2 at most z?
True
Let r(n) = -n**3 - 18*n**2 - 2*n - 36. Let m be r(-18). Let f = -4 + 3. Is m smaller than f?
False
Suppose 5*t = t. Let d = 4.39 - 4.4. Which is smaller: t or d?
d
Let k be -1 - -9 - (12 - 9). Suppose k = 4*g + 1. Which is greater: 1/3 or g?
g
Suppose -2*m = 5*p - 3, 1 - 2 = 3*p + 4*m. Let c = p - 2. Let a = -56 - -166/3. Is c <= a?
True
Suppose 0 = 4*h + 3*c - 7*c + 24, -26 = 5*h - c. Does h = 3?
False
Let o(d) = d + 12. Let i be o(-7). Suppose 0*p - 15 = -3*p. Suppose p*s - 8 = 2*t, 3*t + t = -3*s + 36. Are t and i equal?
False
Let i = 9 - 9. Let q = 2/143 - 149/429. Is i less than q?
False
Let h = 4940/1023 + 92/93. Let n = h - 6. Which is smaller: n or -1/2?
-1/2
Let u = -35/4 + 253/28. Let o be (2 - -1) + 1/(-1). Suppose -o*w = -5*n - 27, -5*w = -4*n - 11 - 14. Which is smaller: u or w?
u
Suppose 5*h - 9 = 11. Let t = 3 + 2. Which is bigger: t or h?
t
Suppose -5*d - 7 = -12*d. Is 1/10 not equal to d?
True
Suppose -11*c + 78 = 2*c. Which is bigger: 0 or c?
c
Let g be 5 - 2*2/(-4). Let u be 4/3 + (-2)/g. Let w(f) = -f**2 + 5*f - 1. Let a be w(5). Is a at least as big as u?
False
Let j be (0 - (-188)/(-28)) + (-2)/7. Are j and -8 equal?
False
Suppose -3*x + 3 = -3. Which is greater: x or 5/7?
x
Let m be 10/((-114)/(-110) - 1). Let s be 10/55 - 72/m. Which is greater: 0 or s?
0
Let q(y) = 3*y + 1. Let n be q(-1). Let u be n/1 + 11/5. Which is smaller: u or 1/3?
u
Let n = 52 + -1302/25. Is 1 less than n?
False
Let y be (-187)/77 + (50/(-14) - -3). Let d be 0 + 3 - (-2)/2. Suppose 2*u - 7*u + g - 12 = 0, d*u + 5*g = -27. Is u at most as big as y?
True
Let x be (-2)/7 + 4/7. Let r = 0.04 + -0.1. Let k = -0.94 + r. Do k and x have the same value?
False
Let n = -1334 + 50695/38. Is 0 at least n?
False
Let w = -16/79 - 1595/316. Which is bigger: w or -1?
-1
Suppose 5*k - 4 = 21. Let i = -2 - -6. Which is smaller: i or k?
i
Let u = -108541/53 + 2048. Let v = u + -383/212. Does -3 = v?
False
Let s = -184 - -182. Which is bigger: -3/7 or s?
-3/7
Let f be (1 + 257)*5/3. Let h be (1/(-2))/(f/(-8)). Let i = h + -436/645. Which is greater: i or -0.2?
-0.2
Let v = -123/2 + 61. Is -2/5 > v?
True
Let h = -7 - -6.8. Let x = -0.79 + 0.8. Let q = -0.19 - x. Is q at most as big as h?
True
Let d be (63/(-15))/((-2)/(-10)). Is d >= -21?
True
Suppose -4*d - 20 = 2*j, j = -0*d - d - 7. Let b be (8/22)/(j + 6). Are b and 0 unequal?
True
Let w(q) = -q**2 + q + 3. Let o be w(2). Is o >= 1/138?
True
Suppose 4*y - 25 = 3*y. Is y less than or equal to 27?
True
Let s be (-33)/(-6) + (-2)/4. Let i = s + -4. Let w = i + -4. Which is greater: -2 or w?
-2
Let j = -40.01 + 40. Let q = 0.05 + 0. Let i = j - q. Is -0.1 smaller than i?
True
Let c be (-4)/(-2) - (3 - 1). Suppose -5*k = -2*a - 10, c*k = -5*k + 3*a + 10. Suppose 3*m - 1 = 2. Which is greater: m or k?
k
Let h = 2.5 - 0.5. Let b = h + -1. Is 1 at least b?
True
Let u be (1 + 3)/(1 + -2). Suppose -5*v + 4*g - 9 = 0, 9 + 6 = v - 5*g. Which is greater: v or u?
u
Let r = 0.2 - -0.8. Let q = -38 - -35. Is r equal to q?
False
Let l = -0.3 - 0.7. Which is smaller: l or -15?
-15
Suppose -5*l + m = -5, -4 = -4*l + m + m. Which is smaller: l or 12/5?
l
Let z be 3/(9/(-15)) + -1. Are z and -5 equal?
False
Let u = 4124/95 - 216/5. Does 0 = u?
False
Let k = -137 - -140. Suppose -5*y = d + 15, -d + 0 = 4*y + 11. Is k bigger than d?
False
Let f = -0.31 + 0.44. Let h = f + 0.07. Let y = -0.8 - h. Is y != -0.1?
True
Let r = -49 - -48. Which is smaller: 0.25 or r?
r
Let c = -24 - -21. Suppose 3*a = 3*u - 9, 3*a + 9 = -u - 4*u. Is a at most as big as c?
True
Suppose 0 = 5*z + 8 - 28. Suppose -2*x = z*n - 26, 9*n - 25 = 4*n. Which is bigger: -1 or x?
x
Suppose 0 = 5*a - 25, 34 + 3 = 3*o + 5*a. Suppose 2*c = s - 1, -o*s + 0*c = c - 22. Do s and 4 have different values?
True
Let d(r) = 2*r + 15. Let g be d(-7). Are 2/3 and g non-equal?
True
Let o = 10 + -8. Suppose -2*u = 2 + o. Do u and -3 have the same value?
False
Suppose -9*m = 3*m. Is m not equal to 3/20?
True
Let g be -2 - -2 - (-15)/25. Which is bigger: 1 or g?
1
Let b = 805 + -8861/11. Which is smaller: b or 0?
b
Suppose 0*p + 3*p = 12. Let l be -1*(-12)/p*-3. Which is smaller: l or -8?
l
Let i = 182.13 + -181. Let d = i + -0.13. Which is greater: 6 or d?
6
Let s = -76/117 + 7/13. Is -1 at most as big as s?
True
Suppose -24 - 11 = -5*j. Suppose 2*t + 8 = 5*n, n = -0*t - 5*t + j. Are 0 and n non-equal?
True
Let x = -36 + 27.8. Let k = 8 + x. Which is smaller: k or 0.2?
k
Suppose 11*c = -3*c + 14. Are 0.015 and c equal?
False
Let h(s) = -s**2 + 4*s - 2. Let q be h(2). Let n be 25/(-20)*4/10*-6. Which is smaller: n or q?
q
Let v be (-5)/(70/4) - (-424)/14. Is 30 bigger than v?
False
Suppose 5*r = -2*o + 1, 5*o - 2*r + 13 = -28. Let w be ((-4)/6)/(o/(-3)). Let q be (-2 + 2)/(0 - 2). Is w > q?
False
Let s be -3 - ((-12)/3 + 2). Is -2 not equal to s?
True
Suppose -3*j + 10 + 17 = 0. Suppose -10*z = -7*z + j. Let y be (-1)/(-1)*2*-1. Is y >= z?
True
Let y = 2.7 - 0.7. Let p = y + -3. Which is smaller: -0.2 or p?
p
Suppose 3*r - b = 11, -22 = -5*r - 4*b + 2*b. Suppose -3*p = -r*p - 2. Is p at least as big as -2?
True
Let p = -0.35 - 0.05. Let v = -0.5 - p. Which is smaller: 0 or v?
v
Let r = -88811/1215 - 74/243. Let d = r + 73. Suppose 3*z = -2*j + 1, 4*z + j + 4 = 2. Which is smaller: z or d?
z
Let t(f) = -f**2 - 5*f + 1. Let g be t(-6). Which is greater: -10 or g?
g
Let p = -0.2 + 0.2. Which is smaller: p or -0.13?
-0.13
Let r = 38.21 + -38. Let y = -0.09 - r. Which is bigger: y or 0.2?
0.2
Let j = 68846 + -7022351/102. Let a be (-2)/(-8)*6/(-17). Let r = a + j. Is -2 at most as big as r?
True
Suppose 0 = -9*c - 4*c - 13. Suppose -3*x + 6*x = 0. Suppose x = -2*g - 2*g. Are c and g equal?
False
Suppose -40 = -5*i - 3*n + 2*n, 5*n = 4*i - 32. Let h be ((-6)/(-36))/(6/i). Suppose 0 = 3*m - 15, 2*m + 3 - 13 = 3*p. Is h at most as big as p?
False
Let y(x) = -x**3 - 4*x**2 - x + 5. Let k be y(-3). Do k and -1/33 have the same value?
False
Let q = 0.86 + 36.14. Which is s