 smaller than n?
False
Suppose 2*y = 30 - 4. Is 13 smaller than y?
False
Let w = 0.6 + 0.4. Let h = -10 + 2. Let g = h - -11. Does w = g?
False
Let m = -0.71 - 0.29. Is m <= 6?
True
Let v = 91 + -87. Which is greater: v or 0?
v
Let i = 2 + -4. Let m = i - -3. Let s = 199 + -2187/11. Is m > s?
True
Suppose 5*r + 9 = -3*l, l + 3 = 2*r + 3*r. Let k be (1/(-2))/(3/24). Let u = l - k. Is -1/8 at least as big as u?
False
Let j be 4313/(-152) - (-1)/(-8). Which is smaller: j or -28?
j
Let o(i) = -2*i**2 - 3*i - 6. Let g be o(-2). Which is greater: g or -7?
-7
Let y = 57/155 + 1/31. Is y at most as big as 27?
True
Let h = 4 - 4. Let n(l) = l. Let g be n(h). Is g != 4/5?
True
Let l = 43 - 45. Are l and -0.11 non-equal?
True
Let y = -13874/3663 - -4/407. Let s = y + 313/90. Which is smaller: 1 or s?
s
Suppose -5*o + 5*m + 30 = 0, 2*o - 5*m - 17 - 7 = 0. Suppose 3*b = -o*b. Let a be -3 - 87/(-27) - 0. Which is smaller: a or b?
b
Let f(d) = d**2 + 5*d - 2. Let a be f(-5). Let b be 0 - 2/18 - 1. Let g = b - -11/18. Which is bigger: g or a?
g
Let s = -52 + 45. Is -7 >= s?
True
Let g = 2 - 2. Let d = g - -1. Let y = d - 1.1. Which is smaller: 1/3 or y?
y
Let w(t) = -t + 9. Let v be w(10). Let o be (v - 0)*3/(-3). Which is smaller: -1/24 or o?
-1/24
Let r be -2 - -12*3/(-6). Is -8 at least r?
True
Let r = -6 + 2. Let b be (r/6)/((-6)/9). Which is smaller: -1 or b?
-1
Suppose 8 = -8*c + 4*c. Let x = -25 - -14. Let z be 2 - (-2 + x/(-2)). Which is greater: z or c?
z
Let z = -2 + -4. Which is bigger: 0.2 or z?
0.2
Let x be (-2 + -4)/2 - 2. Let f = 5 + x. Let y(n) = -n**3 - n + 3. Let j be y(f). Which is smaller: 0.2 or j?
0.2
Let j be 1/((-1)/(14/(-4))). Is j > 4?
False
Suppose -4*b + 24 = -0*b. Is b at least 6?
True
Let h = -14 + 14. Which is smaller: 2/5 or h?
h
Let f = -8 - -15. Is 1 <= f?
True
Let d = 0.103 + -0.003. Which is greater: d or 27?
27
Let n = 18 - 20. Is n at least as big as -0.1?
False
Let l = 9 + -6. Let k be (l/15)/(2/(-5)). Is k at most as big as -2?
False
Let r = 12 + -8. Let g be 2*(303/(-18) + 1). Let p = -659/21 - g. Is r smaller than p?
False
Let s = -0.07 - -0.07. Suppose 3*a - 25 + 4 = 0. Is s smaller than a?
True
Let x be (6/(-8))/(1 + (-1)/(-4)). Which is smaller: x or -0.2?
x
Let x be -2*2/(-4)*-2. Let m(u) = -5*u - 2. Let f be m(-2). Suppose a - f = 3*q, q = -2*a + 4 + 5. Is x not equal to q?
True
Let r be (-14)/12 + 3/18. Let p be (2/4)/(r/(-2)). Are p and -1/3 unequal?
True
Let n = 44 + -30. Let v = -16 + n. Which is greater: -1/4 or v?
-1/4
Let f(o) = o**2 - 2*o. Let x be f(2). Let d(q) = q**3 - q**2 - q + 4. Let c be d(x). Suppose 0 = c*s + 4. Is 2/13 > s?
True
Let t = 0.8 + -0.2. Let f = t - 0.5. Is -1/11 greater than f?
False
Let x be 2/((-132)/56 + 2). Let a = x + 6. Let c = 7 + -4. Is c at least a?
True
Suppose 13 = -4*d + 49. Let b be (6/44)/(d/(-12)). Let j = 4 + -3. Is j at most as big as b?
False
Suppose 2 = -5*p - 4*o, -5*p - 3*o = -2 + 1. Suppose -4 = -4*v - 0. Is p equal to v?
False
Suppose -11 - 1 = -3*g. Let x(r) = -r**2 - 7*r - 6. Let p be x(-4). Is p not equal to g?
True
Let q = 0.03 + 1.97. Let j be (-1)/2 - (-26)/4. Let n = 4 - j. Is n equal to q?
False
Let r be (0/(-1) + -1)*(3 + 14). Is r at most -17?
True
Let g be (1 - (-3)/3) + 1. Let v = g + 1. Which is smaller: 3 or v?
3
Let h = 52 + -49.3. Let v = h - 0.7. Is v < 0?
False
Suppose -3*a + 11 = -7. Suppose -h = -2*h - 7. Let n = a + h. Is -3/8 bigger than n?
True
Let c = -47068/45 - -1046. Is 1 at most c?
False
Let i = -8 + 12. Let g be (-1)/(-4) + (-1)/i. Let h = 0 - g. Which is smaller: 2/9 or h?
h
Let s = -7 + 7. Suppose 0*x = -5*c - 3*x + 14, s = c - x + 2. Is 1 greater than or equal to c?
True
Let t = 186 - 182. Let x = 0.065 - 3.965. Let z = x + t. Which is bigger: z or -1/2?
z
Let f(b) be the first derivative of -b**2/2 - 8*b - 1. Let o be f(-7). Which is smaller: -3/8 or o?
o
Suppose -6 = -3*q + 5*g + 6, 3*q + 3*g + 12 = 0. Are -2/33 and q non-equal?
True
Let z be ((-9)/6)/((-105)/28). Are z and -9 nonequal?
True
Let b = -2/181 + 547/362. Is 2 greater than or equal to b?
True
Let t(s) = s**3 + 14*s**2 - 2. Let x be t(-14). Which is smaller: -8 or x?
-8
Let s(h) = -h**2 + 12*h + 12. Let l be s(13). Is l less than or equal to 3/8?
True
Let a be 4/(-6) - (-86)/(-6). Let z be 4/(-18) - a/(-54). Which is smaller: z or -1?
-1
Let b be 26/(-143) + 117/(-22). Is b != -6?
True
Let t = -58 + 57. Which is smaller: t or 2/195?
t
Let q(z) = z**2 + 5*z + 6. Let d be q(-5). Let y be (-4 - (-15)/d)*1. Is y >= 0?
False
Let h = -0.049 + -0.001. Let g be 3/(-30)*(-10)/4. Which is smaller: h or g?
h
Let z = -61/40 - -9/8. Let w = -5 - -9. Let u = w + -6. Does z = u?
False
Let b = 2.1 + -1.9. Is b less than 25?
True
Let m be 1*(2 - 0)/(-13 + 15). Which is greater: 13/6 or m?
13/6
Suppose 2*v + s + 15 + 22 = 0, 0 = -5*v + 4*s - 60. Let t = -12 + 18. Let l be (8/v)/(2/t). Is l at least -1?
False
Suppose -3*y = -y. Let v = -7465/19 + 393. Which is smaller: v or y?
y
Let l = -2 + 0. Let u = l + 0. Let x = -1 - u. Is x not equal to -1?
True
Suppose 2*b - 9 - 1 = 0. Let i be (2/(-10))/((-5)/b). Which is smaller: 0 or i?
0
Let l = -8 - -5. Is l bigger than -3?
False
Let k = -0.39 + 0.59. Let l(w) = w + 2. Let s be l(-3). Let j be s/(5/(-2))*-5. Which is greater: j or k?
k
Let a = -2.03 + 2. Let j = 0.13 + a. Let d = j + 0. Is d <= -0.02?
False
Let g be 5/((-5)/(-2)) - -2. Is g <= 3?
False
Let r(c) = -c**3 - 9*c**2 - 19*c + 4. Let b be r(-5). Is -2/73 != b?
True
Let m = -0.19 + 5.19. Are m and -1 equal?
False
Let b = -14789/87 + 170. Let q = 703/609 - b. Let x(i) = -i**3 + 4*i**2 + i - 3. Let c be x(4). Is c equal to q?
False
Let v = 3 - 3. Let g = v + 1. Let y = -2.7 - -3. Is g < y?
False
Let u = 9.502 - -0.338. Let v = u + 0.16. Is v less than or equal to -1?
False
Suppose 5*i + 24 - 9 = 0. Let t = i + 4. Suppose t = -h - 0. Is -2 not equal to h?
True
Let y be (-3)/(-3)*(-2)/2. Let q be y/(-3) - 16/12. Let r be (-33)/27 + (-2)/(-2). Which is smaller: q or r?
q
Let y = -10 + 16. Suppose -w + 4 = -2*z - 0*w, 2*w - y = 2*z. Is -1 != z?
False
Let m be (-18)/(-27) - (-13)/3. Suppose m*g + 2*j = -11, -3*j + 9 = -6*j. Is -1/10 at least as big as g?
True
Let y(o) be the second derivative of -1/6*o**3 + 0 + o - 1/20*o**5 - 1/12*o**4 - 1/2*o**2. Let u be y(-1). Is u greater than 0?
False
Suppose 0*u - 3*p + 184 = -5*u, 0 = 2*u - 4*p + 82. Is u greater than or equal to -36?
True
Let a = 5 - 2. Suppose 2*c - 10 = 3*f, -a*f = -5*c + 12 + 4. Let l be 26/(-6) + -4*9/(-12). Which is smaller: l or f?
f
Let z = -157 - -1417/9. Let y be -1 + (-2)/(-6)*4. Is y at least as big as z?
False
Let g = -5.9 + 6. Let k = g - 0. Is -3 >= k?
False
Suppose 2 - 4 = y. Let x = -3 - y. Is x < -8?
False
Suppose u - 3*u = -2. Let q be (u - (2 + -1)) + 31. Suppose 0 = 5*w + 3*j - 11 + q, -4*w - j - 9 = 0. Which is greater: w or 1?
1
Let h = 62 + -77. Do -17 and h have the same value?
False
Let g = 80 - 78. Which is greater: g or -1/51?
g
Let u = -0.51 - -0.41. Which is bigger: 28 or u?
28
Suppose -3 = t - y, 0 = 2*t - 7*t + y - 7. Suppose 0 = a + 5*o + 22, 0 = -4*a - 4*o + 6 - 14. Let f = 1 - a. Which is greater: t or f?
t
Let x be (8/60*6)/(4/(-90)). Is -17 bigger than x?
True
Let b = -0.07 + -3.93. Let l = -6 + 6. Is b != l?
True
Let n be 1 + (-8)/6 + 0. Let r = -0.7 + -1.3. Which is smaller: n or r?
r
Suppose 6*i = i - 15. Let o be 0*4/(-8)*2. Suppose o*x + 10 = -2*x. Which is smaller: x or i?
x
Suppose -2*o = -4*o. Suppose -5 = -o*n + n. Which is bigger: n or -6?
n
Let n be (0 - (-14)/10) + -1. Let q = -2389/16 + 151. Let l = q + -3/16. Is n smaller than l?
True
Suppose 3*s = j + 99, 0*s - 3*j + 145 = 4*s. Is s greater than 36?
False
Suppose s = -n + 2*s - 1, -23 = 5*n + s. Which is bigger: n or -1?
-1
Let l = 23 + -14. Suppose 4*h = -b - l, -4*b - 11 - 13 = 4*h. Is -1 != h?
False
Let t = 49.1 + -47.09. Let p = 0.01 - t. Which is greater: -4 or p?
p
Let p be (-9)/2*6/(-9). Let d = 3 - p. Suppose 0 = -d*f - f - s + 1, -3*s = -4*f + 4. Are -1/6 and f unequal?
True
Let u(r) = 11*r**2 + r - 1. Let o be u(1). Let t(k) = 3*k - 17. Let w be t(9). Which is greater: w or o?
o
Let u = -2 + 7. Suppose b + u = 6*b. Let i be 3*(-2)/(-32)*4. Which is greater: b or i?
b
Let i be -3 - -2*5/2. Suppose -4*x + i + 2 = 0. 