 + 3*v = -15. Suppose t + 7*h - 12 = 2*h, 2*t - 24 = -3*h. Suppose -t*d = -8*d + 4. Is d not equal to f?
True
Let x = 3 + 0. Let m = x - 3.1. Let t = 226.9 + -227. Are m and t non-equal?
False
Let h = -322536797/70 - -4607748. Let z = -239/14 + h. Let m = 62 - z. Is 2 bigger than m?
True
Suppose 0 = 10*r - 7*r + 3. Which is bigger: -2/5 or r?
-2/5
Let v = 3 - -3. Let z be 0 - (-2)/(4/v). Suppose -f = f + 5*s + 13, -7 = f + z*s. Is f less than -4?
False
Suppose 0 = -l - 0*l + 8. Let u be 2 + -6*l/22. Does u = 1?
False
Let x be ((-1)/(-3))/((-2)/6). Let g = -17 + 10. Let m = g + 6. Do m and x have the same value?
True
Let x = 46 - 45. Is -1/9 less than x?
True
Let r be 4/((-32)/12)*70/(-3). Is r < 1/3?
False
Let i be 2/(-60) + 4/8. Let a = -3/5 + i. Let z = a + -1/105. Which is smaller: -1 or z?
-1
Let z = -120 - -602/5. Is z at most as big as -1?
False
Suppose -n = -1 + 2. Let v(c) = c**3 + 12*c**2 + 11*c + 3. Let d be v(-11). Suppose 5 = -d*m + 4*a - 9, m - a + 4 = 0. Which is smaller: n or m?
m
Let d = -8 - -7.8. Is d greater than -3?
True
Let p be (6/(-30))/((-2)/4). Which is smaller: -1/12 or p?
-1/12
Suppose -5*l + 19 = q, -q - 17 = l - 5*l. Which is smaller: q or -20?
-20
Let f = 166 - 125. Is 40 >= f?
False
Let n be 8/12 - (-3)/9. Suppose -2*i - 5*a - n = 0, -i + 2*a - 4*a = 1. Let p be (-5 - 0) + i + 2. Which is smaller: -7 or p?
-7
Let h be 2/(-3) + 45/27. Is h greater than -0.2?
True
Suppose -33 = -2*b - 3*b + 2*d, -4*b - 3*d + 31 = 0. Let k be 2 - -1 - (-2)/1. Is b > k?
True
Let f = -6 + 14. Let l(o) = -3*o + 20. Let x be l(f). Which is smaller: -2 or x?
x
Let y be 24/156 + 92/78. Is y greater than or equal to -0.1?
True
Suppose 0 = 4*x - 2*x - 5*i + 22, -3*x + 1 = i. Let o = -568467/9061 + 117/1394. Let y = -125/2 - o. Which is greater: x or y?
y
Let t = -7625/62 + 123. Which is smaller: t or 0?
0
Let j = 0 + -7. Let z be -1 - 2 - j - -1. Is z <= 5?
True
Let t be 86/(-39) - -2 - (-30)/90. Which is smaller: 1 or t?
t
Let t = 20/29 + 257/174. Let u = t + -5/3. Which is bigger: 0 or u?
u
Let u be (-2)/12*(-104)/2. Let i = -9 + u. Let m = -7 + 9. Is m greater than i?
True
Let w(m) = -m**3 - 7*m**2 - 7*m - 4. Let s be w(-6). Let n be 7 + (-2)/(s + -1). Let a = -9 + n. Is -2 at most as big as a?
False
Let w(m) = -4*m - 9. Let r be w(12). Which is smaller: 0.1 or r?
r
Let i be -3 + 3 - (-13 - -2 - 4). Which is bigger: 18 or i?
18
Let j(d) = d**2 - 12*d - 68. Let q be j(16). Let p be (4 - 3) + 1 + -1. Let y be (-2)/(-2)*p/(-1). Which is bigger: q or y?
y
Suppose 0*j - 12 = -4*j. Suppose 3*b - 2*v = -32, -j*v + 3 = 2*b + 7. Let g = -17 + 10. Which is bigger: g or b?
g
Let x(r) = 45*r + 1. Let y be x(-1). Let m be 2/(-4)*(-2471)/(-28). Let a = m - y. Which is smaller: 0 or a?
a
Suppose v = -2*y + 7, 17 = -5*v - 0*y + 3*y. Let k be (-9)/5 - v/(-5). Let i(f) = -2*f - 3. Let h be i(k). Which is bigger: 1/7 or h?
h
Let b = -2.8 + 1.8. Let w = b + -1. Which is greater: 0 or w?
0
Suppose 7*z + 35 - 14 = 0. Is z greater than or equal to 0?
False
Let g = 12/11 - 82/55. Is -2/19 at most as big as g?
False
Let z = 392/1683 - 2/187. Let i = -0.1 + 0.2. Which is bigger: z or i?
z
Let z = 3 - -1. Suppose -4*i = -2*i - z. Is 0 at most i?
True
Let v = 1011/8 - 126. Let n(u) = -u**2 - u + 1. Let p be n(-2). Which is smaller: p or v?
p
Let z = 4 - 0. Let a be z/(-10) - 110/(-25). Let r be (-1)/(-2)*2/a. Which is smaller: r or 1?
r
Let v be ((-2)/12)/((-2)/(-3)). Let a be (-2)/(-9) - (-102)/27. Suppose -1 = a*s + 3. Which is greater: v or s?
v
Suppose -2*i = -4*i. Let m(f) = -f - 5. Let c be m(-3). Let k be 2/(-4) - 5/c. Which is smaller: i or k?
i
Let v be -4 - ((-612)/152 + 0). Which is greater: -1 or v?
v
Suppose 4*d - 5*d = 4, -5*w - d - 4 = 0. Let c = 5/12 + 1/4. Which is bigger: w or c?
c
Let r = 22 - 10. Are r and 0 nonequal?
True
Let f be ((-8)/(-12))/((-40)/12). Let p be -1*(-1)/(-1)*-1. Let h = p - 1. Is h > f?
True
Let l be (-4 - (0 + -1))*(-5)/60. Which is smaller: l or 44?
l
Suppose 5 = 7*n - 58. Is 9 less than n?
False
Let l(n) = -4*n**2 - 2*n + 1. Let d be l(2). Let z = -11 - d. Is z equal to 9?
False
Let i = -1 + 2. Let v = -2 + i. Which is greater: v or 0.1?
0.1
Let z(o) = o**2 + 5*o - 4. Let p be z(-6). Let k be p*(-2)/(-4) + 7. Let x be 6/k*8/(-12). Which is greater: -0.1 or x?
-0.1
Let t = 220/21 - 13022/1239. Let h = t + -51/236. Let d(g) = -g**3 - g**2 + g + 3. Let o be d(0). Which is greater: o or h?
o
Let u(j) = -3*j + 10. Let c be u(4). Is c at most -12/11?
True
Suppose -o + y = 3*y - 9, 2*o + y = 6. Let n be 1 - ((o - 0) + 1). Are 2/5 and n non-equal?
True
Let n = -2 - -6. Suppose -n*u + 12 = -u. Suppose u + 8 = -3*r. Do r and -3 have the same value?
False
Let m(d) be the second derivative of -5*d**3/6 - 3*d**2 + 2*d. Let a be m(-6). Let q be (2/a)/(12/18). Do 1 and q have the same value?
False
Suppose 2 + 2 = -2*l. Let c be l/(11*(-2 + 1)). Let t(s) = -s**3 - 3*s**2 + 4*s. Let u be t(-4). Do u and c have different values?
True
Let r be (96/40)/(6/(-20)). Let t be (r/18)/((-1)/(-3)). Which is smaller: t or -2?
-2
Suppose 0 = o - 7 - 2. Suppose -4*c + 7*c + o = 0. Suppose s - 3 = 2*s. Is s <= c?
True
Suppose 0 = 2*x - 5*o - 14, 2*o + 27 = -5*x - o. Is x greater than or equal to -2?
False
Let f = -2937/2356 - 2/589. Is f equal to 0?
False
Suppose -56 - 8 = -4*d. Is 17 less than d?
False
Suppose 2*d - 1 = 3*d. Let c = 2 + d. Let y be 22/4 - (6 - 2). Which is smaller: c or y?
c
Let x = -0.3 + 0.1. Let j = 0.4 + x. Let u = j - 0.2. Do 3 and u have different values?
True
Let o be (-1 - (-3 + 2))/(-4). Which is bigger: 1 or o?
1
Let l(y) = y**2 + 13*y - 48. Let w be l(-16). Let c = -5 - -3. Which is bigger: c or w?
w
Let q = -55 - -55. Which is smaller: q or -3/8?
-3/8
Let i be 1 - (-2 - (2 + -3)). Suppose i*f + 6 + 6 = -4*p, 5*p - 4*f + 28 = 0. Let q(b) = b + 1. Let w be q(p). Is w smaller than -3?
False
Let f be 10/(-18)*(-8)/(-20). Let y = -0.6 - -0.9. Which is smaller: f or y?
f
Let j(p) = -p + 1. Let m be j(0). Are m and 1/7 nonequal?
True
Let v = -13 - -21. Suppose 2*x = -0*x + v. Let l be 2/x + (-5 - -4). Which is bigger: l or 0?
0
Let v = -83 + 77. Is v at most as big as 0?
True
Let f = -7/3 - -179/78. Which is greater: -1 or f?
f
Suppose 26 = 4*s + 4*k + 2, -4*s + k = -14. Suppose s*r + 31 = 11. Let h(o) = -o**3 - 6*o**2 - 5*o + 1. Let w be h(r). Which is smaller: w or 3/5?
3/5
Let z be -4 - (-2 + -1)*1. Let j = 12077/23 - 525. Is z at most j?
True
Let a(r) = r**3 - 5*r**2 - 1. Let x be a(5). Are -2/21 and x non-equal?
True
Let x(d) = d**2 - 11*d + 1. Let a be x(11). Let c = a - -3. Which is greater: 1 or c?
c
Let y be (-338)/(-14) - (-4)/14. Let t = 1867/77 - y. Which is bigger: t or 0?
0
Let o(n) = -n**3 - 7*n**2 + 6*n + 13. Let x be o(-8). Is 29 greater than x?
False
Let a be (11 - 2)*4/6. Suppose 2*x = -2*y - 4, 2*y = a*y + 2*x. Suppose -2*v + 13 - 4 = -3*r, -v = 3*r. Which is smaller: v or y?
y
Let i = -93.7 + 94. Are i and -12 equal?
False
Let h = 11 + -10. Is -8 > h?
False
Let y = 0 + 0. Is y != -4/7?
True
Let o be 0 + -6 + 3 + 4. Which is bigger: o or 4/21?
o
Let t(f) = f + 6. Let a be t(0). Suppose q = a*q. Suppose q*b + 3*b - 9 = -4*d, 7 = d - 4*b. Which is bigger: 1 or d?
d
Suppose -4*s - 2*u + 21 = 9, -4 = -2*u. Suppose j + 3 = 5*i, -4*i + 4*j + 0 - 4 = 0. Which is smaller: i or s?
i
Let y be 0/(2 + (-3)/(-3)). Suppose 5*o - 3*h = -y*o - 2, 5*o = -2*h - 7. Is -1/2 less than or equal to o?
False
Suppose 2*v = 4*v. Suppose -j - n = 5, v*j - 2*n = j + 6. Let x be j/10 + 8/20. Are -1/7 and x non-equal?
True
Suppose 2*u = -2*k + 8, -16 = -4*k - 2*u + u. Let d = 0 + -6. Let z be k/(-26) - d/39. Which is smaller: -1/8 or z?
-1/8
Let k = 97 + -116. Are 0 and k unequal?
True
Let k = 11 - 9. Suppose 0 = 4*c + k*z, z - 11 = -3*c + 5*z. Which is bigger: c or -2/5?
c
Let x(i) = i + 7. Let q be x(-4). Suppose y - q*y = 2, -3*w + 2 = 4*y. Suppose 5*k = -4*p + 32, -w*k + 11 = 4*p - 3*p. Which is smaller: p or 4?
p
Let o = -0.4 - -0.4. Suppose -q - 2*s = 3, -3*q - s - 4*s - 7 = 0. Is o at least q?
False
Let w be (-8)/44 - 1 - -1. Suppose 2*b - 3*s = -0*b, -3*b - s = 0. Is b bigger than w?
True
Let v be (-4)/(-42)*3*11. Which is bigger: v or 3?
v
Let c = 12 - 11.9. Let g = 2.9 + c. Which is smaller: g or -2?
-2
Let d be 2 + 180/(-16)