= 120.9 - 103. Let h = -18 + u. Is -0.3 at most as big as h?
True
Let q be -1 - (-7 + 0/(-3)). Let p = q - 4. Let c be (-6)/(1 - p) - 2. Is c greater than or equal to 4?
True
Let m be 0 + -2 + 0/1. Let z be 0 + -2 - (5 + 1). Let l be (-2)/z - m/(-8). Is l greater than 1?
False
Let a = -230 + 227.98. Let y = a - -2. Let v = -0.1 + 0.1. Which is greater: v or y?
v
Let t(i) = -i - 1. Let m be t(-3). Suppose 4*c + 2*a = 12, -4*c - 8 = -a - m*a. Do c and 0 have the same value?
False
Let t be 240/742 - (-4)/(-14). Let j = t + 45/212. Let v = -0.56 - -0.06. Which is smaller: j or v?
v
Suppose 0 = -3*n + 8*u - 3*u + 12, -19 = 4*n + 5*u. Suppose -2*h - 103 = -99. Which is greater: n or h?
n
Let p(y) = y**2 - 5*y + 1. Let m(s) = -s + 1. Let j(g) = -3*m(g) + p(g). Let u be j(3). Is u greater than or equal to -7?
True
Let w = -8/3 - -2. Let i(u) = -u**3 - 10*u**2 - 11*u - 12. Let t be i(-9). Let b = 11/2 - t. Which is greater: w or b?
b
Let f be (-1)/12*-3*1. Is f at least -5/9?
True
Let g be 518122336/(-5460) - 3/(-5). Let a = 94893 + g. Let n = a + -10/39. Is n bigger than -1?
True
Let r(q) = q**3 + 6*q**2 - 6*q - 9. Let s be r(-7). Which is greater: -17 or s?
s
Let v = -6 + 6. Which is smaller: v or 1/15?
v
Suppose -8 - 90 = -7*l. Does l = 12?
False
Let f be (8/(-10))/2*5. Suppose 0 = -4*v - 2*q + 2 - 16, 14 = v - 3*q. Which is smaller: f or v?
f
Let x = 4/145 - 334/1595. Which is smaller: -1 or x?
-1
Let d be (1 - -1)*19/2. Suppose -3*o + 52 - d = 0. Suppose -6*k = -k + 3*j - 3, -5*k = j - o. Which is smaller: 2 or k?
2
Let s be 1/6 + (-2)/(-6). Let c = -21/13 - -223/130. Let n = c + -3/5. Which is smaller: s or n?
n
Let q(c) = -c**2 - 5*c - 1. Let k be q(-5). Suppose 0 = -10*m + 5*m + 60. Let i be k/(-4) - (-9)/m. Do i and 1 have the same value?
True
Let d(o) = 8*o**2 + o. Let n be d(-1). Is n bigger than 8?
False
Let g be (0 + 6)/2 - 1. Let y be 32/14 + g/(-7). Suppose -8 = 2*k - 2*n, 7*n - y*n - 18 = 3*k. Is k equal to -1/3?
False
Let n = 5 - 4.9. Is 4 >= n?
True
Let b = 209/13230 + -3/98. Which is bigger: 0 or b?
0
Let x be (-2)/3*3/(-2). Let a be 3 - (x*-3)/3. Suppose 7 - 15 = -a*w. Is w smaller than 2/3?
False
Let d = 9 - 10. Is 2 smaller than d?
False
Let n = 0.1 - 0. Let a = -0.1 + n. Let t = -374/63 - -40/7. Which is smaller: a or t?
t
Let h(n) = -n**3 - 6*n**2 - 2*n - 6. Let a be h(-6). Suppose 3*p = 4*x + 2, -a = -4*p + 3*x - x. Let q be ((-6)/8)/(27/(-24)). Which is greater: q or p?
p
Let m = 37 - -17. Let u be 2/9 + 312/m. Let f be (((-9)/u)/3)/(-2). Is 0.1 at least as big as f?
False
Let o = 16 + -16.07. Let c = -5 - 7. Let k be (-2)/(-2)*3/c. Is o at least k?
True
Let b = -14 - -26. Is b less than 0?
False
Suppose n + 3*m = 11, -m - m = -5*n + 21. Let c = n + -6. Let z be 48/10 + c - 3. Is 2/7 smaller than z?
True
Suppose 0 = 3*c - 7 - 2. Let s be ((-2)/6)/(c/(-9)). Let m be (-2)/(-18)*(s - -2). Is m equal to -1/2?
False
Let x(j) = -2*j - 17. Let n(w) = 3*w + 26. Let p(g) = 5*n(g) + 7*x(g). Let k be p(-10). Let h(r) = -r**2 + 5*r + 6. Let z be h(6). Does z = k?
False
Let a be (0 + -2 + 2)/1. Let t be 3 - (2 - a/1). Let g be 10/65*-12 + 2 + 0. Which is smaller: t or g?
g
Let a = -1439/13 + 111. Is 1 != a?
True
Let p = -1 + 0. Which is smaller: 1/22 or p?
p
Let a = -186 + 186. Are a and 2/41 non-equal?
True
Let c be ((-3)/(-52))/(0 + (-5)/(-20)). Is 1 less than or equal to c?
False
Let w = 1 - 5. Let b = w - -4. Let k be b/((-6)/2) - 1. Is 1 equal to k?
False
Let j = 96 + -98.93. Let q = 0.07 - j. Let p = 3.5 - q. Which is bigger: p or -1?
p
Let x(o) = o**3 - 6*o**2 + 3*o + 9. Let l be x(6). Is 25 at least as big as l?
False
Suppose 5 = -4*w - 7. Let a be 2/w*12/4. Let o be ((-4)/6)/(60/54). Is o greater than a?
True
Let o be (-2)/(-4)*12/21. Suppose -2*j - 2 + 0 = 0. Which is bigger: o or j?
o
Suppose 4*f - 8*f = -8. Suppose -f*d = -d. Does d = 0?
True
Let r be 0 - (48/(-23))/2 - 1. Which is smaller: 1 or r?
r
Let l = 1.1 + -1.5. Let b = l - 0.6. Let d be 3/(-12) + -2 + 2. Does b = d?
False
Let p = 7.09 - 7. Let x = p + -0.1. Let c = 0.09 - x. Which is bigger: c or 4?
4
Suppose 5*a = -0*a + 60. Let b be (8/(a/3))/27. Which is bigger: b or 1?
1
Let j be 8/14 + 416/(-924). Is j greater than 0?
True
Suppose 0 = 3*b + f - 15, b = -5*f + 7 + 12. Suppose -b*l - 3*p = 39, -4*l + 3*p - 4*p = 37. Is -7 bigger than l?
True
Let t(o) = o - 1. Let q be t(2). Suppose -8*y - 8*y = -32. Is q < y?
True
Suppose -3 = 3*j, 3*l + 2*j - 10 + 0 = 0. Suppose -3*q = -5*q - l. Suppose 5*h + 3 = -12. Which is smaller: q or h?
h
Suppose -6 = -5*x + 9. Let w be x + 23*4/(-36). Is w equal to 0?
False
Let q be (0 + 1)*1 - 0. Suppose -4*d + 3*d + 66 = 0. Let o be (1 - 2) + d/77. Which is smaller: q or o?
o
Let y = 5.1 + -5. Which is smaller: 22 or y?
y
Suppose -2*t + 4*i - 22 + 6 = 0, 2*t - 5*i = -20. Suppose n + 3*n + j = -50, -n + 5*j - 2 = t. Let o be (-32)/n*(-3)/(-2). Is 3 bigger than o?
False
Let p(j) be the first derivative of j**4/4 - 7*j**3/3 + j**2 - 7*j - 1. Let b be p(7). Suppose -b = 5*s + 18. Is -5 equal to s?
True
Suppose 2*d + w + w = -10, 0 = -3*d - 5*w - 21. Let a(i) = i**2 - 7*i + 5. Let v be a(6). Which is bigger: v or d?
v
Let h be 2/(-6) - 3219/(-99). Let i = h + -32. Let b = 11 + -12. Is b < i?
True
Let m(w) = w**2 + 4*w + 4. Let k be m(2). Is k greater than 19?
False
Let d be (0 + 2 - -2) + -2. Let g be 2/7 + (-38)/(-14). Let x = d - g. Which is smaller: -2/19 or x?
x
Let m = 34/5 + -33/5. Let f(s) = s + 5. Let u be f(-5). Are m and u equal?
False
Suppose -6 - 24 = -5*t. Let f be ((-5)/(-15) - (-50)/(-6))/(-1). Which is greater: f or t?
f
Let h(i) = -i. Let b be h(-1). Let w = b + -7. Let m be (-6)/(-16)*(-12)/w. Which is smaller: m or 0?
0
Let c(t) = -t**3 - 7*t**2 + 9*t + 9. Let h be c(-8). Let k be (-40)/285*(-6)/8. Is h equal to k?
False
Suppose -t = 4*u - 4, u = 3*t - 2*t - 4. Let n be (3 + -2)/(2/t). Let v be (-38)/(-12) - (-3)/(-18). Is n >= v?
False
Suppose -5*w + 59 = -71. Is w less than or equal to 26?
True
Let d be 14/(-49) - (-18)/(-35). Are -1 and d non-equal?
True
Let c be (-8)/10*(-15)/6. Suppose -4 + 16 = c*j. Which is bigger: 5 or j?
j
Let z be 1 - (-4 + (-116)/(-20)). Let i = -0.2 + 0.1. Is i greater than z?
True
Let j be 5*((-18)/(-5) - 4). Are -2 and j non-equal?
False
Let m be (-59)/(-3) - (-2)/6. Let j be (-2)/m*(-5)/2. Suppose 4*y + 3*h + 15 = 0, -3*y = h + 3*h + 20. Is j at least y?
True
Let t be (-2)/3 + (-42)/(-9). Let o be ((-2)/2)/((-3)/36). Suppose -4*s = -n + s + 3, 4*n - o = s. Do n and t have the same value?
False
Let t = -1.4 + 1.59. Let h = 0.09 - t. Let w = 0.2 + h. Is w smaller than -0.05?
False
Suppose 0 = -9*s + 9. Let l = 24 + -71/3. Is l less than or equal to s?
True
Suppose -4*z = -2*i + 106, 3*i + 0*i - 133 = 5*z. Is z equal to -25?
False
Let v = 23 - 17. Is v != 4?
True
Let t(z) = 4*z + 2. Let c be t(2). Are c and 11 non-equal?
True
Let o = 8.18 - 0.18. Is o at most -2?
False
Let d(v) = v**2 - 9*v - 12. Let x be d(10). Which is smaller: x or -1?
x
Let x(t) = t**3 + 2*t**2 - 5*t - 2. Let o be x(-3). Suppose 6*l = l - 5*z + 5, -5*l = o*z - 3. Is l greater than or equal to -2?
True
Let p = 60761 - 1215589/20. Let b = -77/4 - p. Which is bigger: b or -1?
b
Let x be (-222)/(-1242) - 2/9. Which is smaller: 0 or x?
x
Let b = 4 - 1. Let m = b - 1. Do m and -0.4 have different values?
True
Let b = 43308964/9285 - 23322/5. Let t = b - -11120/20427. Which is greater: t or 0?
t
Let n = 51/7 - 125/21. Let t be 9/4 + 3/(-12). Which is bigger: t or n?
t
Let f be ((-14)/21)/(7/3). Which is smaller: 2 or f?
f
Let m = 17 + -31/2. Suppose 6 + 4 = 5*q. Which is smaller: m or q?
m
Suppose 2*k + 0*k + 4 = 0, 2*k = 2*h + 12. Let z be (2/h*2)/1. Which is bigger: z or -0.1?
-0.1
Let u(p) = 4*p + 3. Let h be u(-1). Do 1/84 and h have the same value?
False
Let d = 17 - 24. Do -7 and d have the same value?
True
Let l = 0.17 + -7.17. Let p = l - -5. Are -2 and p unequal?
False
Let q = -104 + 68. Let v be q/10 + (-2)/5. Which is smaller: v or -5?
-5
Let b(v) be the second derivative of -v**4/12 - v**3/2 + 3*v**2/2 + 5*v. Let p be b(-4). Is p at most -1?
True
Suppose 2*j + 4 = -2*j. Let t be (1 + -2)*(j - -2). Which is bigger: 1/8 or t?
1/8
Suppose 4 = 8*g - 4. Which is greater: g or -1/10?
g
Let y be 14/3 + 2/6. Let f = y - 11.