1.93. Is n at least d?
True
Suppose t - 1 = 2*v - 5, -3*v - 8 = 2*t. Suppose 0 = 2*l - 3*l - 4. Is t bigger than l?
False
Let i = 1194/13 + -92. Which is smaller: i or 0?
i
Suppose 5*x + 12 = 3*z, -4*z + 16 = -3*x - 2*x. Let n = -6 + z. Which is smaller: -3 or n?
-3
Let p = 33 + -98/3. Let v = p + -7/12. Is v < -0.3?
False
Let v be -6 + -2*6/4. Let t = v - -15. Suppose 0 = 4*f - t*f. Which is smaller: 2/11 or f?
f
Let a be (2 - (4 - 1))/(-1). Which is greater: a or -9?
a
Suppose 2*c + 2 = -0. Suppose -6*h + 35 = h. Suppose 3 = -2*a + 3*w - 6, -h*w + 15 = -a. Is a != c?
True
Let n(r) = r**2 + 4*r + 0*r**2 + 2 - 6*r. Let s be n(2). Suppose -20 = 5*b + 3*o - o, 0 = -s*b + 2*o - 8. Is 0 greater than b?
True
Let h be (2 + 1)*1/3. Is h at least as big as 1/36?
True
Let t = 7.2 + -7.6. Which is smaller: t or 8?
t
Let q = -0.39 + 0.62. Let m = -1.77 - q. Which is bigger: m or -5/8?
-5/8
Let b = -73 + 72. Do -16 and b have the same value?
False
Let y(f) = -f**3 - 7*f**2 - 11*f - 5. Let v be y(-5). Which is smaller: 2/155 or v?
v
Let m be (10 + -4 - (3 + -1)) + 25. Is 29 < m?
False
Suppose -2*o - q - 1 = 1, 4*q + 12 = -4*o. Let w be 6/66*2*o. Let m be 0 - (-2)/((-8)/4). Which is greater: m or w?
w
Let g be 2/14*(-77)/(-22). Is 2 <= g?
False
Suppose 4*t - 124 = -2*o, 6*t - t = -2*o + 128. Suppose -4*r + o - 18 = 0. Suppose 6 = 3*b + r. Is -2 at least b?
False
Suppose 0 = -2*m + 4 + 2. Which is greater: m or 2?
m
Let u = -3.9 + 4. Suppose 4*f - 4*c + 555 = -3*c, 0 = c + 1. Let y = f + 971/7. Which is smaller: y or u?
y
Suppose 3*k + 30 = 3*x, 5*x + 14 - 40 = k. Let d = -15 + 14. Let l be d - 0 - (3 + 1). Is l smaller than k?
False
Let r = 19 + -4. Let i = -15.1 + r. Which is smaller: -2/45 or i?
i
Let d = 0.43 - 0.33. Which is greater: 6/19 or d?
6/19
Let r(d) = 0*d**2 + 2*d + 5*d + 0*d + d**2. Let s be r(-6). Are s and -6 unequal?
False
Suppose 0*g - 2*u - 8 = -g, 3*g = -3*u - 21. Let q = 12 + -7. Suppose d = 1 - q. Is g at most d?
False
Let z = 13/217 - -7/31. Let w = 0 - 0.2. Is z > w?
True
Let b = 41 + -28. Is b at least 12?
True
Let l = -164 + 106. Is l at most -58?
True
Suppose -3*v + 13 = 4. Let n be (3/18)/(v/(-24)). Is -1 >= n?
True
Let q = 1280 + -5047/4. Let t = -18 + q. Which is greater: 1 or t?
1
Let f(t) = t**3 - 4*t**2 + 5*t - 4. Let n be f(3). Is 1 equal to n?
False
Suppose 3*t = 3*u - 12, 0 = 5*t + 3*u - 16 - 4. Let q(k) = 2*k**3 - k**2 + 2*k - 1. Let x be q(t). Let b(s) = -s**2 - 7*s + 11. Let f be b(-8). Is x < f?
True
Let v = -136 - -72. Which is greater: v or -65?
v
Let j be (45/(-12))/((-3)/(-8)). Let a = j - -9. Let h be (-4 - 1 - -2)/a. Is 4 bigger than h?
True
Suppose 2*z = h + 12, 0 = 5*z - 0*h + h - 23. Let m = z + -7. Let g be 5/(-3) - (-2)/(-6). Is g less than m?
False
Let a = -0.08 + 2.88. Which is smaller: 2/11 or a?
2/11
Let c = -3660 - -40288/11. Which is smaller: 3 or c?
c
Let p = -3 - -5. Suppose -5*q - 7*f = -p*f - 45, 36 = 5*q - 4*f. Suppose 0*b = -2*b + q. Which is greater: 3 or b?
b
Let u = -44 - -43. Let w(y) = -y**2. Let q(o) = 5*o**2 + 1. Let k(z) = -q(z) - 6*w(z). Let t be k(1). Which is smaller: t or u?
u
Let t = -9 + 6. Let z = t - -3. Are -2/5 and z unequal?
True
Let v(n) = n + 7. Let j be v(-5). Let g = -2 + j. Let h(a) = -a**2 + 9*a + 22. Let k be h(-2). Are k and g nonequal?
False
Let n = -8 + -17. Which is greater: -1/2 or n?
-1/2
Suppose -4*i + 25 = -i + 4*t, 3*i - 2*t - 19 = 0. Suppose 0 = 5*k - 5*x - 4 - 6, -3*k + 4*x + i = 0. Which is smaller: -2 or k?
-2
Let n(v) = -v**2 + 11*v + 12. Let w be n(12). Let m be ((-2)/(-3))/((-20)/(-52)). Let f = -83/45 + m. Which is bigger: f or w?
w
Let o be (5 + 2)*(-4)/(-14). Let q be 55 + o + 1 + 0. Let g be (-54)/q - (-1)/1. Which is smaller: g or 0?
0
Suppose -a = a + 2. Let i = 18.3 + -18.6. Which is smaller: i or a?
a
Let w(j) = -2*j**2 + 36*j - 11. Let u be w(18). Which is smaller: u or -14?
-14
Let x = -3.91 - 0.09. Let l = x - 2. Let t = l + 7. Is t less than or equal to 7?
True
Suppose 4*g + 4 + 3 = -5*m, 5*g = -3*m + 1. Let l = 2 + 0. Suppose -g*p = -d, 3*p = -5*d + l*d. Which is smaller: p or 2/7?
p
Let q be (-6)/(-20)*(-4)/(-3). Let j be 2 - 0/((-6)/(-3)). Suppose 0 = -4*a + j*a. Do a and q have different values?
True
Let r(d) be the third derivative of d**4/24 - d**3/3 + d**2. Let h be r(4). Which is greater: 1/2 or h?
h
Let l = -15 + 12. Is l > -2?
False
Suppose -g = 3*d - 32, -4*d + 24 = g - 12. Let c = 14 - g. Which is smaller: c or 0?
c
Let l(d) = d + 8. Let k be l(-6). Let m be ((-1)/k)/((-2)/12). Is m >= 3?
True
Let t be 6/(-4)*13/(-6). Is 0.1 greater than t?
False
Let h(z) = -z**2 - 4*z + 7. Let j be h(-5). Let w be j - (0/(-1) - 2). Which is greater: 5 or w?
5
Suppose -4*k = -5*k. Which is smaller: 15/17 or k?
k
Let m be 2/(-4) + (-1146)/12. Is -95 at most m?
False
Let z be (-2)/(-4)*(6 + -32). Let u = 8 + z. Which is greater: -2 or u?
-2
Let o be (-1)/(-5) + 16/20. Which is bigger: o or -10?
o
Suppose -10*s + 3*s = -28. Suppose s*d + 15 - 7 = 0. Which is smaller: -18/11 or d?
d
Let t = 83/108 - 1/54. Is 0 != t?
True
Suppose 5*c + 3*m = -1 - 34, -5 = m. Let g be 0/(c - 2/(-1)). Suppose -8 = 5*p - 3. Which is bigger: g or p?
g
Let q = -0.1 - 0.1. Let x(f) = -f**2 + 5*f + 8. Let g be x(6). Suppose 0 = g*c - 4*c + 6. Is c not equal to q?
True
Let a be (-1636)/44*1 - 8/(-44). Which is bigger: a or -38?
a
Let z = -0.05 + 0.11. Let a = z + -1.06. Is a greater than -1?
False
Suppose 36 = 4*b - 4. Are b and 10 equal?
True
Let f = 29/2 - 13. Which is smaller: 2 or f?
f
Let w be 2093/(-4480) - (-6)/10. Let j = -1/128 + w. Is j != -1?
True
Let g be ((-4)/4)/(1/(-4)). Let w be (1 - 6/g) + 0. Let i = 1/39 + -85/273. Is i greater than or equal to w?
True
Suppose -3*k - 43 = -0*v + 2*v, 5*k - 2*v = -45. Is k bigger than -12?
True
Let o be (-8)/(-2) + (6 - 10). Is o < 2/69?
True
Let c be (-8 - -631)*1/5. Let w = c + -125. Which is bigger: -2 or w?
w
Let g(j) = -3*j - 3. Let a be g(-3). Let k = 6 - a. Let v be (-3)/(-6)*-2 + k. Is -1 greater than or equal to v?
True
Suppose -3*g - 2*a + 4*a = -3, g - 1 = -4*a. Is g greater than or equal to 2/33?
True
Let u(m) = 226*m - 3. Let d be u(-4). Let v = d - -6339/7. Which is greater: 0 or v?
0
Let y(b) be the third derivative of b**5/60 + 5*b**4/24 - 2*b**3/3 - 2*b**2. Let n be y(-6). Is n greater than 9/4?
False
Suppose 5*n = -2*m + 8, -5*m + 10 = -3*n - 10. Let l = 3 - 4. Is l < n?
True
Let i = 80 + -80. Let w be (-6)/(-3) + 12/(-7). Do i and w have the same value?
False
Let s be 6/417 + 0 + 0. Which is smaller: s or -1?
-1
Let y(r) = 5*r - 40. Let l be y(8). Let p be 4/(1 + -3 + 1). Let f be (1/p)/(14/(-16)). Is l at least f?
False
Let z = 22 - 12. Is z at most as big as -0.1?
False
Let n be 85/(-77) + (6/(-33))/1. Is n at least -1?
False
Let v = 3122/15 - 209. Let w = -166/105 - v. Which is smaller: -1 or w?
-1
Let k(w) = w**3 + 4*w**2 + w + 3. Suppose -4*g + g = 5*i + 11, -i = -3*g + 13. Let t be k(i). Let r = t + 2. Is r less than or equal to -2/21?
False
Suppose 0 = 2*c + 6 - 2. Do -2 and c have the same value?
True
Let b = -21 - -30. Suppose 44 = 4*a + 4. Let f be (3/a)/(b/(-12)). Is f smaller than 1/4?
True
Suppose 3*b + 5*s - 6 + 22 = 0, 5*b = 2*s + 25. Is b equal to 7/2?
False
Let u = 79 + -54. Is -3 < u?
True
Let y = -0.1 - 0.1. Let i = 0.2 + y. Let m = -4.02 + 0.02. Is i <= m?
False
Let z = -9 + 13. Suppose -z*t = t. Are -1 and t equal?
False
Suppose -p = 2*i - 3*p + 10, -4*p + 18 = -3*i. Let a be ((-3)/9)/(1/5). Is i greater than or equal to a?
False
Let u = -55 - -824/15. Is 0 < u?
False
Let a = 9857/17 - 580. Let n = a - -29/68. Which is bigger: n or -0.2?
n
Let o = -4 + 6.3. Which is smaller: o or -2/3?
-2/3
Let n = -90 + 91. Let l = 1899/4199 + 3/323. Which is bigger: n or l?
n
Let b(o) = -o + 7. Let c be b(6). Let k be (c/2)/((-2)/4). Which is smaller: 1 or k?
k
Let j = -34 + 20. Let q = 13.9 + j. Let p = 0.1 - 0.1. Is q not equal to p?
True
Let r = -0.06 + 0.86. Let j be 3 + (-8)/10*30/12. Which is greater: r or j?
j
Let q = -2.5 + 2. Let c = -0.2 - q. Let f = c - 0.3. Is f <= -5?
False
Let r(j) be the third derivative of -j**4/24 - 5*j**3/6 - 3*j**2. Let z be r(-11). Let q = 2 + -3. Which is greater: q or z?
z
Let t be 9/(3 - (-3 - -5)). Which is bigger: 10 or t?
10
Suppose -4*z + 9 = -z. Suppose