. Is i < 1?
True
Let s = 17 - 17.3. Is s > -0.1?
False
Suppose -4*b + 4 - 2 = 2*v, -2*v + 9 = -3*b. Let t be 2 + (-5)/((-10)/4). Suppose -l + 3 = t*j, -3*j - 4*l = -8*j + 9. Do b and j have the same value?
False
Let z be 28/(-15) + 4/2. Let t = 1 - 0. Suppose 3*c - t = -4. Which is bigger: c or z?
z
Let o = 14 + -14.7. Let p = 0.3 - o. Let r = 1.2 - p. Is r bigger than 0.2?
False
Let v = 1.94 - 2. Let t = 8 - 8. Which is smaller: v or t?
v
Let t = -6 + 3.8. Do t and 1 have the same value?
False
Let m be (-4)/10 - 18/(-20). Suppose 0 = -0*p + p. Suppose p = 2*v + 3*v. Is v at least as big as m?
False
Let c = -1 + 3. Suppose 22 = 2*q - 0*q - 5*y, -c*y - 8 = 0. Suppose a = -4*j - 10, -1 - q = a. Is j bigger than -2?
False
Let g be (0 - 3)/((-105)/10). Suppose -8 = -5*d - 38. Let z(m) = -m**2 - 7*m - 5. Let o be z(d). Is g at least as big as o?
False
Suppose -1 = 5*d - 6. Let x be 1/(d/1)*-2. Does x = -5/3?
False
Let x be 8/20*1*5. Suppose -2*a + f + 22 = a, 0 = x*f - 4. Suppose -a*z = -3*z. Is z < -1/5?
False
Let r be (-668)/(-24) + (-2)/4. Let x(t) = 8*t**2 - 4*t + 3. Let b be x(2). Let q = b - r. Are q and 0 equal?
False
Let g(x) = x**2 + x - 1. Let z be g(-3). Let r = 6 - z. Suppose 0 = 2*n + 3*q + r, 5*n - 2*q = -q - 11. Is -2 greater than or equal to n?
True
Let x = 166 - 390. Let n be (-78)/x - 8/28. Is n >= 0?
True
Let y = 395.3 - 368. Let l = y + -27. Let i = 11/10 - 3/5. Which is bigger: i or l?
i
Let q be 1/2*2*-16. Let m be (-14)/q - (0 - -1). Suppose -4*x - 1 + 21 = -4*u, -2*u = 2*x + 6. Which is smaller: x or m?
m
Let i be 2 + 7/((-14)/8). Which is bigger: i or -11?
i
Let g = -3.3 - 11.7. Let y = -16 - g. Is -0.4 at least y?
True
Let k = 0.86 + -0.06. Which is greater: k or 1?
1
Let q be (-3)/12 + 1/4. Suppose -3*y + 4*b - 32 = q, -2*b + 5*b + 5 = -5*y. Which is smaller: y or -5/2?
y
Let f be 51/2 - (-3)/2. Suppose -j - 2*j - f = 0. Does j = -7?
False
Let a(f) = 2*f - 3. Let p be a(8). Is p != 15?
True
Suppose y - 1 = 3. Suppose 2*l + y*b - 4 = 0, 12 = -0*l - l + 5*b. Which is smaller: 0 or l?
l
Let q(f) = -f**3 - 14*f**2 - 23*f + 3. Let v be q(-12). Which is bigger: -11 or v?
v
Let s(x) be the third derivative of -x**4/24 - 10*x**3/3 + 2*x**2. Let d be s(0). Let u be 6/d - (-8)/16. Which is smaller: u or -1/3?
-1/3
Suppose -6*d + 9 = -3*d. Let a(l) = -7 - 5*l + d*l + l. Let z be a(-5). Is -3 smaller than z?
True
Suppose 4*i - 4*a + 27 = -9, i = 3*a - 19. Do -18/5 and i have different values?
True
Let j(g) = -3*g + 25. Let o be j(7). Is o bigger than 2?
True
Let i(k) = k**3 + k**2 - 3*k - 1. Let h be i(-3). Are h and -12 nonequal?
True
Let g = 12.7 + -12.7. Are g and -1.3 non-equal?
True
Let k = 0.03 + 0.37. Let n = k - -3.6. Let h = n + -3.9. Which is smaller: 0 or h?
0
Let t be (-6)/(-4) + 24/(-16). Suppose -3 = 4*x - x. Is t less than or equal to x?
False
Suppose -3*i - 2 = 1. Which is smaller: i or 2/39?
i
Let g = -244 - -1198/5. Which is greater: -4 or g?
-4
Let d(i) = i**2 - 7*i - 9. Let r be d(8). Let j be (-5)/7 + (-22)/77. Is r <= j?
True
Let w(f) = -2*f**2 - 4*f + 7. Let a be w(-3). Which is smaller: 29 or a?
a
Let i = 45 + -55. Is -10 at least as big as i?
True
Let x = -34.2 - -34. Is 17 smaller than x?
False
Suppose j + 1 = -2*v + 2, 5*j = -25. Which is smaller: 13/6 or v?
13/6
Suppose 3*y + 4*z = 29, 3*z - z = 10. Let c be 1*y - (-8 + 10). Suppose 4*o - 1 = -f + c, 2 = -f. Is o at least 0?
True
Suppose -2*s + 20 = -0*s - 5*m, 3*m = -2*s + 4. Suppose -t - 5 = 2*p, -s*p - 3*t = 7 + 8. Let c = 74 - 75. Which is bigger: c or p?
p
Let o = 902/9 + -100. Is o equal to 2/7?
False
Let r = 4.3 - 1.3. Which is bigger: 0 or r?
r
Let u = -643782 + 375324786/583. Let z = -18/53 + u. Which is greater: 2/7 or z?
2/7
Let h(b) = -b**2 + 7*b - 2. Let t be (6 - 4)/(4/6). Suppose -2*q - 2 = 0, -z + 9 = q + t. Let n be h(z). Is n bigger than 0.1?
False
Let s(c) = c**3 - 3*c**2 + 2*c + 1. Let t be s(2). Suppose 4 + t = 5*x. Which is bigger: 0 or x?
x
Let n = -1 - 0. Let v = 3 - n. Let j be (2/2)/(v*-1). Which is greater: 1 or j?
1
Let g = 17 + -12. Let j = g - 1. Let z be 14/(-30) + j/6. Is z at least -1?
True
Suppose -j + 5*y = 3 - 17, -4*j + y = -18. Suppose 0 = -3*b + 12, 0*d = 3*d - 3*b. Is d >= j?
True
Let a = -3.3 - -4.3. Which is bigger: a or 9?
9
Let i(p) = -2*p**3 - 4*p**2 - p + 2. Let t be i(-2). Let g be (2/t)/(7/14). Is g <= -2/17?
False
Suppose h - 3*n - 18 = 0, -3*h + 5 = -n - 17. Let y be (-3)/2*4/(-3). Suppose -y*m + 0 + h = 0. Which is bigger: 5 or m?
5
Let q = -2 + 5. Let r = q + -1. Let f = r - 1. Which is smaller: 0 or f?
0
Let o be -3 + 4 - -3 - 3. Is 1 at most o?
True
Let f be (45/21)/3 - 1. Let z be (-12)/(-8)*(-2)/(-3). Which is smaller: z or f?
f
Let n(k) = k**3 + 6*k**2 - 6*k + 8. Let p be n(-7). Let j = 4/9 + -7/9. Which is bigger: p or j?
p
Let w be 2/1*7/2. Suppose 5*h = 19 + 156. Let i be w/(-2)*(-20)/h. Which is smaller: i or 3?
i
Let d = 48 - 47. Is d at least as big as 18/11?
False
Let x(q) = 10*q - 1. Let o be x(2). Let g be o - (1 - (-2)/(-1)). Suppose 3*a - 10 = 5*a - 2*v, -4*v + g = -5*a. Which is bigger: -3 or a?
a
Let y(n) = -3*n + 9. Let g be y(3). Let r = 22/9 + -7/3. Which is bigger: r or g?
r
Let x(o) = -9*o - 6. Let w be x(9). Is -87 < w?
False
Let y = -1.8 + 1.1. Let j = y + 0.5. Let a = 139/3 - 46. Which is greater: j or a?
a
Let s(t) = t**2 - 13*t + 36. Let j be s(14). Are -1/3 and j unequal?
True
Let a be (3/(-1))/3 - 1. Let g be a/(-8) + 1/(-4). Is g at least as big as 0?
True
Let f be (0/1)/(-1 - 0). Let r = 1.98 + -2. Let c = r + -1.98. Is f <= c?
False
Suppose -10*o - 2 = 8. Is o equal to 4/51?
False
Let y(s) be the second derivative of s**5/30 - s**4/24 - s**3/6 - s**2/2 + s. Let f(h) be the first derivative of y(h). Let m be f(2). Is m greater than 5?
False
Suppose 8*m + 28 = 4*m. Which is bigger: m or -4?
-4
Suppose -3*z + w - 1 = 0, 4*w = 2*z - 0*w + 4. Let t be ((-6)/20)/(18/(-5)). Which is smaller: t or z?
z
Suppose -1 = 2*b + b + c, -16 = 4*b + 5*c. Which is greater: -0.006 or b?
b
Let z = 5 - 1. Let j = 5 - z. Which is greater: -2/11 or j?
j
Suppose -3*c + 8 = -4*i, 4*i = -c + 6*c - 16. Which is bigger: i or -5/12?
i
Let s = 0.02 + 2.98. Let r be 8/2 - (1 + 1). Suppose m = r*m. Which is bigger: m or s?
s
Suppose 0 = 3*m + 4*s - 7*s + 45, 0 = 2*m - 3*s + 25. Is -20 at least as big as m?
True
Suppose 0 = -15*w - 146 - 34. Suppose 5*h - 3*z + 67 = 0, -4*h = -4*z + 8 + 52. Which is smaller: w or h?
w
Let m(t) = -2*t - 10. Let a be m(-5). Is a > 7?
False
Let l(r) = 2*r**2 - 8*r + 3. Let k be l(4). Suppose -n + 5*v = 15, 2*n + 2 = 5*v - 13. Suppose k*x + x - 20 = n. Are x and 6 nonequal?
True
Let t = -3 + 2.4. Let k = t - -0.6. Is k at most 4?
True
Let y = -177 + 177.16. Which is greater: y or -2?
y
Let i(a) be the second derivative of a + 2/3*a**3 + 0 + 1/12*a**4 + 2*a**2. Let m be i(-3). Is 2/13 smaller than m?
True
Let y = 23 - 20. Which is smaller: 4 or y?
y
Suppose -2*o + 3*o + 1 = 0. Let j = -123 - -489/4. Which is smaller: o or j?
o
Let l be (1/(-3))/(8/(-12) + 1). Which is smaller: l or 0.38?
l
Let f = -49 - -40. Which is smaller: 0.2 or f?
f
Let f(b) = -b**3 - 5*b**2 + b - 2. Let s be f(-5). Suppose -3*p + 5 + 13 = 3*u, -2*p = -4*u + 42. Let j = u + s. Which is smaller: 0 or j?
0
Let z(q) = q - 2. Let t be z(4). Suppose 2*a = -5*p + 16 + 3, -2*p + 7 = a. Let i = a - -5. Is t < i?
False
Let s(c) = c**3 - 11*c**2 - 12*c - 2. Let n be s(12). Suppose -4*o - 5*v + 17 = 0, 0*v = -3*v + 15. Let d be (n - 0) + 4 + o. Which is bigger: d or 2/5?
2/5
Let t = 25 - 13. Let i be (3/(-8))/(t/(-40)). Let s = 6 - 6. Which is smaller: i or s?
s
Let i be (2 - 0) + 43/(-22). Which is smaller: 0 or i?
0
Let a = 0.07 - -0.03. Let s(b) = b**2 + 4*b - 1. Let d be s(-3). Is a <= d?
False
Suppose -4*a = -0*a - 2*a. Which is smaller: 2/111 or a?
a
Let b = -0.3 - -0.6. Let d = b - 0.3. Which is bigger: -3 or d?
d
Let q be 30/12 + -3*1. Which is greater: 1/6 or q?
1/6
Let q(x) = -x + 1. Let a(w) = -1. Let g(i) = 6. Let h(v) = -2*a(v) - g(v). Let m(l) = -h(l) - q(l). Let b be m(0). Is 1 not equal to b?
True
Let x(t) = -t**3 + 6*t**2 + t + 2. Let d be x(6). Let z(o) = o**3 - 8*o**2 - o + 8. Let q be z(d). Which is smaller: q or -1/12?
-1/12
Suppose -2*w - 5*j = -18, 0 = 3*w + 2*w - 5*j + 25. Which is smalle