+ -245/4. Are v and 0.3 unequal?
True
Let h(f) = f**2 - 1. Let n be h(2). Suppose 3*o = -2*o + 15. Are n and o non-equal?
False
Suppose -5*z + 3*p = 4*p + 3, 0 = -3*z + 5*p + 15. Suppose v + v = z. Suppose -17 = -a - 3*s + 6*s, 3*a + 4*s + 14 = v. Is a >= 2?
True
Let n(i) = i**2 - 4*i - 1. Let w be n(5). Let y = 3 - -2. Suppose -d + y = w*q, -5 = -q - q - d. Is q less than 0?
False
Let r be (-6)/4*120/(-9). Suppose -6*p + r = -p. Is 3 not equal to p?
True
Let r be 4/(-18) - 2/(-36). Suppose 4*x + 28 = -v - 4*v, 5*x - 4*v - 6 = 0. Let i = x - -3. Is i greater than or equal to r?
True
Let z = -145/798 + 2/133. Are 1 and z nonequal?
True
Suppose -5*k - 5*y - 140 = 0, 5*y - 6 + 2 = k. Let u be (-18)/k - 2/8. Let s = -4 - -6. Is u at least as big as s?
False
Suppose m + 4*g + 4 = -6, 50 = 5*m - 5*g. Which is greater: m or 4?
m
Suppose -5*r + 15 = 0, 7*r - 3*r = g + 18. Let l = -9 - -6. Let h be g*((-6)/4)/l. Which is smaller: h or -3/2?
h
Let b(d) = 2*d - 2. Let i be (-10)/(-5) + 4*-1. Let a be b(i). Let y = -5 + -1. Is a at least y?
True
Let u = -5 - -24/5. Suppose 2*a + c - 2 = a, -3*a - 2 = -c. Is u equal to a?
False
Let x = -4.12 - -3.92. Let l be (-32)/30 - (-2)/5. Which is smaller: l or x?
l
Let d(k) = k**3 - k**2 + 4. Let s be d(0). Is 5 smaller than s?
False
Let q = -19484 + 97054/5. Let s = -73 - q. Is -2/11 at least s?
False
Let v = -1 - -2. Let c = -0.3 - -0.3. Which is greater: v or c?
v
Let s = 18 - 15. Suppose -4*n + 5*f = -18, 0 = -s*n + 2*n - f. Which is greater: n or -3?
n
Let f be (-24)/15 + (52/20 - 3). Is f less than or equal to -24/11?
False
Let z = -1 - 2. Let r = -3.1 - z. Are r and -2/5 unequal?
True
Let h = 5 + -2. Suppose 18 = m - 4*f, 2*f + 2 = -6. Let d = h - m. Which is smaller: 2/7 or d?
2/7
Suppose 7*r = 10 + 46. Is 10 bigger than r?
True
Let n = -5.7 + 6. Let v = -1 - -1. Suppose -4*c + 6 - 2 = v. Which is smaller: c or n?
n
Suppose 4 = -3*d + 16. Suppose -j + d = 6. Let p be 0*j*(-3)/12. Do p and -2/9 have the same value?
False
Let o be 1*(-2 - 0 - -7). Suppose 3*k + 5*q - 5 = 0, k + o = 3*q + 16. Let g = 9 - k. Which is greater: g or 2?
g
Let x be 4/3*(-6)/(-4). Let f be (-51)/(-15) + x/(-5). Which is bigger: -1 or f?
f
Let g be ((9 - 4) + -4)*0. Let j = -2459/13 - -189. Are g and j non-equal?
True
Let i be (4 - 55/15)*15/10. Let x = 6 - 6.3. Let g = -0.4 - x. Does g = i?
False
Suppose -2*k + 2*w + 8 = 0, 2*k - w - 20 = 4*w. Suppose 0 = -5*r - k*r. Which is greater: -1/4 or r?
r
Let g(o) = -2*o - 6. Let d be g(-5). Suppose -8 = -3*u - d*t, -2*t - 4 = -4*u - 4*t. Suppose u = 3*a - 4*a - 1. Which is smaller: -4/7 or a?
a
Suppose -15 = 5*m - 2*m. Which is greater: -3 or m?
-3
Let b be 3 + (-8)/(-6) - 4. Let w = 3 + -4. Let y = -1 + w. Which is smaller: b or y?
y
Let y = 31/46 + -4/23. Suppose 2*n - 7*n = 20. Let t be 1 - 2 - n - 1. Which is smaller: y or t?
y
Let g = -5 + 26/5. Let j = -5 + 3. Let m = -2 - j. Which is smaller: g or m?
m
Let y = 0.002 - 0.002. Let t = 8.9 - 0.9. Let x = t - 7.7. Is x bigger than y?
True
Let w = -0.239 - -0.039. Is w less than or equal to -8/5?
False
Let t(z) = -z**2 + 7*z - 6. Let x be t(6). Is x <= 1/22?
True
Let g = -8.13 + 8.3. Which is smaller: 0 or g?
0
Let m(x) = x**3 + 12*x**2 + 11*x + 1. Let f be m(-11). Suppose 6*g - 4*g = 0. Is g equal to f?
False
Let o be (-4)/(-14) + (-28)/49. Is o > -1?
True
Let n = 0.021 + 2.279. Let c = n - 2. Let y = -1.3 + c. Which is smaller: y or 2/7?
y
Let y = -6 + 11. Suppose -5*u + 3*f = 11, 2*u = -2*u - y*f + 6. Is -2 != u?
True
Let b = 25/7 - 639/175. Which is smaller: 1 or b?
b
Let z = 5 - 4.5. Let c = 4.3 + -5. Let p = z + c. Is p smaller than 0.1?
True
Suppose 3*t = 3*m - 3, 2*m - 13 = -2*t - m. Let i be (-1)/4*t*2. Is i equal to -1/13?
False
Let s = 31 + -21. Let r be s/6 + (-2)/3. Let i be ((-26)/156)/((-6)/(-4)). Is r bigger than i?
True
Let t be (-3)/((-6)/(-4)) - -3. Is t less than or equal to 33?
True
Let z be (2/204)/((-2)/(-9)). Which is smaller: z or -1?
-1
Let k = 1 - 0.9. Let x = -3 + -1. Let f = x - -3. Is k less than or equal to f?
False
Let h = -1/506 - 2523/3542. Are h and -1 non-equal?
True
Suppose r = -0*r + 4*i + 9, -3*i = 6. Let z = 2.32 - -1.73. Let o = 4 - z. Which is smaller: r or o?
o
Suppose -5*g = -47 - 78. Is g smaller than 25?
False
Let v = 0.14 + 5.86. Let y = 0.2 + 0.03. Let h = -0.13 + y. Which is greater: v or h?
v
Suppose -3*z + 2*m + 2*m = 0, m = 4*z. Suppose -2*w + 10 = z, -4*u + w = 2*w + 11. Which is bigger: -10/3 or u?
-10/3
Let a = 3.9 + -1.9. Is a smaller than 5?
True
Suppose 8*y = 9*y - 3. Let g = -7 - -10. Is y bigger than g?
False
Let y(m) = -m**2 - 2*m + 5. Suppose r = 5*r + 16. Let g be y(r). Which is greater: -2 or g?
-2
Let i = -0.6 + 0.6. Let s = i + -0.1. Are s and 1/2 equal?
False
Let g = -87/34 - 1975/238. Is g greater than or equal to -12?
True
Suppose -2*m = -6*m + i + 24, 0 = -3*m - 5*i - 5. Suppose -15 = m*n, -5*g - 56 = -n + 3*n. Is -12 greater than g?
False
Suppose 0*o - o = 15. Which is smaller: o or -16?
-16
Let a = 88 + -113. Is a greater than -27?
True
Let w be (1/6)/((-4)/(-24)). Which is smaller: 2/33 or w?
2/33
Let a be (-18)/5 + (-5)/(-5). Which is smaller: -4 or a?
-4
Let z be (4/16)/(55/40). Is z > -3/7?
True
Let f = 0 - 4. Let c = -6 - f. Is c != 0.1?
True
Suppose 0 = 2*i + i - 3. Is i less than 13/6?
True
Let x be 3/(21/2) + (-52)/182. Which is smaller: 3 or x?
x
Let o = -7.97 + 8. Suppose 3*k = 4*p - 12, 4*p + 2*k - 1 + 9 = 0. Which is bigger: o or p?
o
Let b be 734/12 + (-10)/(-5). Let x = 63 - b. Let v(z) = z + 2. Let f be v(-3). Is x bigger than f?
True
Let c be (-6)/(-27) + (-40)/18. Which is smaller: c or -1?
c
Let w = 7468/14115 - -4/941. Let z = 17/60 - w. Are -1 and z nonequal?
True
Suppose -v + 5 = q - 2*v, v - 3 = -3*q. Let k be 1/q + 9/(-26). Suppose 0 = 2*j + 1 + 1. Which is bigger: k or j?
k
Suppose 2*t - 2*r = 3*r + 27, 0 = -5*r - 25. Let o be 0*(0/1 - t). Suppose o = 2*v - 5*v + 3. Is 3/2 at most as big as v?
False
Let d(q) = -12*q**2 - 1. Let o be d(1). Are -11 and o unequal?
True
Let p(t) = -3*t**2 + 48*t - 1. Let f be p(16). Let y = -1058/11 + 96. Is f at most as big as y?
True
Suppose -2*t + 7416 = -3*n - n, -5*t = 4*n - 18526. Let u = t - 10910/3. Let l = -70 + u. Which is greater: l or 1/3?
1/3
Suppose 2*q + 5*d = 4, -4*q + 33 = q + d. Suppose -4*y - 10 = -34. Is y smaller than q?
True
Let w = 11/4 + -4. Let c be ((-10)/6 - -2)*(-5 + 2). Which is smaller: c or w?
w
Let h = -5.2 - -5. Let i = -0.5 + 0.5. Let o = 0.1 + i. Which is smaller: o or h?
h
Let i(q) = -6*q - 4. Let j be i(-2). Which is greater: 0.2 or j?
j
Let b(p) = -2*p + p**3 + 3*p**2 - 1 - 1 + 1 - 3*p. Let f be b(-4). Which is smaller: 1/5 or f?
1/5
Let x(g) = -g**2 - 4*g - 2. Let l be x(-3). Suppose 5*r - l = -31. Are r and -6 unequal?
False
Let d be (-76)/(-18) - 2/9. Suppose 4*w + 2*n - 10 = 3*w, 0 = d*n - 20. Let m be 2/(-11)*(-1 + w). Which is greater: 0 or m?
m
Suppose -4*g + 26 = -0*l + l, -l + 16 = -g. Suppose 0 = -0*c - 3*c + l. Which is bigger: c or 7?
7
Let f(k) = -k**3 - 10*k**2 - 2*k - 16. Let m be f(-10). Which is smaller: 2 or m?
2
Let s = 0.09 + -0.29. Which is smaller: s or 4?
s
Let j = -6 + 5.7. Let d = -0.8 - j. Let y = 1.5 + d. Which is bigger: y or 2/7?
y
Suppose y + 1 = l + 7, y - 3*l = 4. Let t be y/10 - 3/6. Which is greater: t or -1/3?
t
Suppose -7 - 1 = -4*f. Suppose -4*p + f = -3*p. Which is bigger: p or 4?
4
Let x be 8 - 6 - -1 - (-10)/(-4). Let i be 3*3/126*4. Is i less than or equal to x?
True
Let r be 25/(-30) - (-2)/(-12). Which is smaller: r or -2/13?
r
Suppose -2*j = 2*j. Let l be 2 + 5/(15/(-9)). Is j greater than l?
True
Suppose -2 = -x - 0*x. Let w(j) = -3*j + 6. Let g be w(x). Is -1 != g?
True
Let h be (-29)/(-9) - 18/81. Let p be (4/6)/(h/6). Which is bigger: 0 or p?
p
Let u = 17.1 - 17. Which is smaller: -5 or u?
-5
Let v = 0 + 1. Let c = 1.1 - v. Let q = -301 + 899/3. Do c and q have the same value?
False
Let k = -20 - -28. Let m = -4 + k. Is m < 2?
False
Let y be 2 - (1 + (-2)/(-4)). Let g(w) = -w**3 + 6*w**2 - 3*w + 8. Let q be g(6). Is q equal to y?
False
Let l(t) = -t**2 + 8*t - 7. Let p(y) = y**2 - 5*y. Let k be p(6). Let n be l(k). Is n < -1?
False
Let y = 59 - 61. Is y bigger than -4?
True
Let x = -11 - -7. Suppose -4*d - d = -15. Let q = d 