+ -11.8. Let i = -0.2 + v. Are j and i non-equal?
True
Let b(r) = r**3 - 3*r**2 - 9*r + 4. Let z be b(5). Which is smaller: -3 or z?
-3
Suppose -20 = -3*k + 5*x + 21, 5*k - 4*x = 51. Let n = k + -6. Suppose n = t - 0. Is t < 1/25?
False
Suppose -h + 1 = 0, h - 2*h = 4*i + 63. Let s be ((-8)/3)/(9/(-216)*-4). Is s bigger than i?
False
Suppose -3*j - 12 = 4*r + 72, 2*j = -5*r - 112. Which is smaller: -1 or r?
r
Let p = 35/12 - 13/4. Let u = -8 + -4. Is p at least u?
True
Let c = 143 + -3001/21. Let m be ((-3)/2)/(15/(-40)). Let f be m - (-2)/4*-6. Which is smaller: f or c?
c
Let n = 141 - 252. Let p = n - -123. Which is bigger: -0.2 or p?
p
Let f = 2703128/347 + -7790. Which is bigger: -0.1 or f?
f
Let q(b) be the first derivative of b**2 + 12*b + 8. Let s be q(-6). Is 5/23 != s?
True
Let o(s) = s**2 + 4*s + 3. Let t be o(-4). Suppose 5*j + 0*h + 2*h = 0, 0 = -4*j + t*h. Let b = 0.25 + 0.75. Is j at most as big as b?
True
Suppose -3*i - 88 = 2*w, 62 + 24 = -2*w - 4*i. Is w bigger than -50?
True
Suppose 2*f + 1220 = -4*i, 0 = -3*f + i - 2517 + 701. Is f <= -605?
True
Let r = 0.11 - 4.11. Let s = -2.45 + 2.5. Do s and r have different values?
True
Let d be 2436/(-3170) + 332/415. Which is smaller: d or 1?
d
Let m = 0 + 3. Let o(s) be the third derivative of -s**4/24 + s**3/2 + 8*s**2. Let v be o(m). Which is smaller: v or 1/6?
v
Suppose -42 + 298 = 8*l. Which is bigger: 31 or l?
l
Let c = 22 - 15. Let m = -239/6 + 91/2. Which is greater: c or m?
c
Let k = -6 - 2. Suppose -8 - 47 = -5*f. Let o = f + k. Which is smaller: o or 15/7?
15/7
Let a(z) = 10*z**3 + 2*z**2 - 4*z + 5. Let w(c) = 11*c**3 + 2*c**2 - 4*c + 6. Let q(b) = 5*a(b) - 4*w(b). Let t be q(1). Which is bigger: 40/7 or t?
40/7
Let r be (16/(-12))/(17/(-9)). Let n = 70 - 70. Is r greater than n?
True
Let a be (-16)/(-6) + -3 - (-8)/6. Which is bigger: 1/197 or a?
a
Let g = 9 - -5. Let h = g + -11. Which is greater: -6 or h?
h
Suppose -o + 2*i = -2 + 8, 9 = -3*o + 3*i. Suppose -2*u - l - 81 = 0, o = -2*u + 4*l - 20 - 36. Which is bigger: u or -36?
-36
Suppose -w - 13 = -4*h - 48, 0 = -3*h + 3*w - 15. Let g = -7 - h. Let x = -12 + 13. Is g > x?
True
Suppose -3*n - 161 - 242 = -j, j = n + 401. Which is smaller: j or 399?
399
Suppose -3*b = 76 - 562. Does 163 = b?
False
Suppose 0 = -4*s + 3*a + 22, -3*s - a + 18 = 2*s. Suppose -13 = o - 4*p, o + p + s*p - 14 = 0. Is o at most -2/307?
True
Let s be (-6)/16 + 55/40. Let w be (222/168 - s)*1*12. Is 5 greater than w?
True
Let m = -522/287507 - -280548925/3610225399. Let o = -3/433 + m. Suppose -4*t + 1 = 5*y, -6*y + 5 = -y. Which is smaller: o or t?
t
Let h = 246 + -162. Let b(d) = 8*d + 15. Let k be b(-2). Is k less than or equal to h?
True
Let r be 2 - 10/4 - (-1548)/24. Let l be (r/(-40))/(1/(-5)). Which is greater: l or 9?
9
Let g be ((-16)/(-24))/((-4)/264). Let n(m) = -41*m - 1. Let h be n(1). Which is greater: h or g?
h
Suppose -13 = -2*c - 5. Let n be 6 + -2 - (-44)/c. Is n < 17?
True
Let a(v) = -v + 1. Let l be a(1). Let m be -3*(-596)/(-900) + (2 - l). Are 1 and m equal?
False
Let b be 5*(4 + -2) - 10/5. Let i(c) = -c**2 + 6*c + 15. Let g be i(b). Which is smaller: g or -12/13?
g
Let a(m) = -2*m - 5. Let g be (-8 - -3) + (0 - -1). Let r be a(g). Suppose 5 = -r*c + 17. Which is bigger: c or 8/3?
c
Let a be 2006/90 + -5 + (-112)/(-20). Is a != 22?
True
Let n(q) = q**3 - 19*q**2 - 22*q + 38. Let g be n(20). Let z be (g + 0)*(450/(-96) - -5). Let f = 0 - 1. Is f smaller than z?
True
Suppose -4*y - 2*j = -j + 62, -4*y = 4*j + 68. Are y and -10 nonequal?
True
Let d = -150 + 183. Which is greater: d or 34?
34
Let i = -0.13 + -7.87. Let h = i + 7.7. Let y = -0.2 - -0.1. Which is smaller: h or y?
h
Let a = 54 + -89. Let b be 1/((-858)/423 - -2). Let g = b - a. Is g at least as big as -0.5?
True
Suppose -6*v - 5 = -53. Suppose -2*y = -3 - 1. Suppose y*i = -v + 4. Which is bigger: -5/3 or i?
-5/3
Suppose -x + 21 = 2*s, 3*x + 10 = -4*s + 53. Suppose 0*m + s = 5*m. Suppose -3 = m*w + 7. Which is bigger: -7 or w?
w
Suppose -v - t + 4*t + 11 = 0, -8 = -3*v + 4*t. Let i be -1*1*(6 + v + 1). Which is smaller: i or -5/3?
i
Let v = 110 + 14. Let t be v/(-44) - (-9)/3. Which is smaller: -1 or t?
-1
Let w be 7 + (-1)/(0 + 30/6558). Which is smaller: -213 or w?
-213
Suppose 0*q - 2*b - 7 = q, -4*q + b - 1 = 0. Let t be q/(3/(-9)*-3). Let n = -373 - -398. Is t greater than n?
False
Let a = 0.674 + -0.774. Is -1/116 < a?
False
Let p = -1281 + 3887/3. Let s(h) = -34*h + 832. Let o be s(24). Which is greater: p or o?
o
Suppose 15*r = 11*r + 200. Is r != 48?
True
Let c(l) = -l**3 - 2*l**2 - 4*l - 3. Let z(f) = f. Let v be z(-2). Let p be c(v). Suppose -2*y - p - 7 = 0. Which is smaller: -7 or y?
-7
Suppose 3*b = 4 - 1. Let c(q) = -q + 10*q + 3*q - b + 8*q. Let k be c(1). Do k and 19 have different values?
False
Let q = 45 - 41. Let p be ((-26)/4)/(-13) + 10/q. Let x = 1 - 0. Which is greater: p or x?
p
Let b = 112 - 112. Suppose -2*h + 2*t = 8, -41 = 4*h - b*t + t. Let j be 1/(-5)*5/(-4). Which is smaller: h or j?
h
Let c be (-1 - 2/(-2))*1. Suppose -s + j + c = -9, 5*s - j - 33 = 0. Let i be s/(-42)*2/(-6). Is i <= 0?
False
Suppose -3*u + 30 = 4*c, -2*c + 5 = -c + 2*u. Let d(a) = -13*a - 5. Let q(z) = -12*z - 5. Let x(v) = -5*d(v) + 6*q(v). Let f be x(-2). Is f != c?
False
Let m = -0.2 + 0.3. Let i = -48 - -43. Let w be (-12)/45*((-45)/6)/i. Which is greater: w or m?
m
Let k = -1568 + 1591. Is 2/55 at most k?
True
Let h be ((-318)/(-153) + -2)/(4/(-48)). Is h at most -2?
False
Let v = 11643 - 2479964/213. Is v less than or equal to -1?
False
Let q = 2108/134845 - 2/905. Let z(n) = n**3 + 9*n**2 - 17*n - 70. Let h be z(-10). Are h and q nonequal?
True
Let t = -18847/26 - -725. Is t >= -1?
True
Let q = -617294/13 + 47484. Let l = 0 - -2. Suppose -l*h = h. Is h greater than or equal to q?
True
Let n(i) = 7*i**2 + 4*i - 59. Let w be n(-7). Are 255 and w equal?
False
Suppose 647*y = 661*y. Let t = 3 + -1. Suppose t*w - 2*q = -7*q - 20, 3*w + q + 4 = 0. Is w bigger than y?
False
Let q = -71.3 + 71.7. Are 2/5 and q unequal?
False
Let k be (-3 - (-1131)/6)*(-1 - 29). Let w be 1/(-2) + (k/(-14))/(-15). Is w greater than or equal to -27?
True
Let i = 24880/99 - 754/3. Is -1 > i?
False
Suppose f = 3*f. Let l = -212595904/741 - -286904. Let n = l - 2/39. Is n != f?
True
Suppose -h = -2*t + 42, -2*h - 2 = 6. Suppose k + v = 2*v - 1, -t = -k + 5*v. Let m be (-4)/k*21/(-28). Which is smaller: m or 5?
m
Let h be (2/2)/((-25)/(-1875)). Which is smaller: h or 76?
h
Let n = -274/7 - -39. Let i = 74 + -64. Suppose f = -4*p - 11, 3*f + 3*p = 4*f - i. Which is greater: f or n?
f
Suppose 3*g + 4 = -3*z + 7, 4*g - 4 = 5*z. Suppose z*a + 32 = a. Let f be 92/a - (-6)/(-2). Do f and 0 have the same value?
False
Suppose -12 = 33*a - 37*a. Suppose u - a*s = -20, -2*u - 4*s = 5 - 15. Do u and -14/3 have different values?
True
Let l(u) = 29*u + 46. Let g be l(-2). Which is bigger: 5 or g?
5
Let f(q) = 0 + 13 - 9*q - 7 - 7. Let n be f(-1). Which is smaller: 11 or n?
n
Let w(p) = -13*p**2 + 2*p + 1. Let b = 0 + -1. Let i be w(b). Let f be (i/8)/((-6)/24). Which is greater: 0.1 or f?
f
Suppose 0 = -5*z - 3*m + 733, 5*m - 84 = -2*z + 194. Suppose -3*a = 4*y - 112, -2*a + z = 2*a + 5*y. Are 36 and a non-equal?
False
Let x = 7 - 5. Let b be 2*(-2)/x + 7. Suppose 22 + 8 = -b*a. Which is greater: a or -8?
a
Let g be -7 + (-1431)/(-132) - 4. Which is smaller: 0 or g?
g
Let q = 48 + -38. Let i = q - -14. Which is bigger: 23 or i?
i
Let z be (-102960)/(-420) - (-1)/(-7). Which is smaller: z or 244?
244
Suppose -34470 = -4*j + 2*y, -6607 = -j - 3*y + 2000. Let v be j/120 - 2/(-10). Are v and 71 equal?
False
Let h = 15 + -12. Let w(g) = -g**2 - 3 - h*g + 2 + 10*g. Let k be w(7). Which is smaller: k or 3?
k
Let q be (17/5)/((-488)/(-40) - 12). Suppose -3*x + 49 = 4*a, -x - 4*x - a = -93. Which is bigger: x or q?
x
Suppose -5 = j, -3*f + 96 + 84 = 3*j. Suppose -2*z - z = -o + 13, f = 5*o - 2*z. Let d = -13 + 26. Is o at most as big as d?
True
Let c = 77.855 - -0.145. Let x = 78 - c. Which is smaller: x or -55?
-55
Let m be 0/(-7) + 5/((-10)/(-392)). Let v be (3/(m + 2))/((-7)/14). Let x be (0 - -1)*2 - 1. Which is bigger: v or x?
x
Let g(o) = -18*o**2 - 236*o - 25. Let v be g(-13). Is 1/4486 greater tha