= i - -10.3. Which is bigger: -1 or h?
h
Let b = 12 - 11.93. Let v = -226 - -225. Which is greater: b or v?
b
Let b = 6 - 17. Suppose -o + 13 = -c, 0 = 2*c + c + o + 31. Is c at least as big as b?
True
Let i be (-8)/(-80) - 2/20. Which is smaller: 7/10 or i?
i
Suppose 7*s = 2*s + 5. Let t = 1 + s. Suppose v - 1 = t*v. Which is smaller: -1/3 or v?
v
Suppose -3*s = 3*n - 12, -5*n = 8 + 17. Let r = -2 + s. Let f be 2 + (-3)/(-1) + 2. Is f equal to r?
True
Let j = -1/256 + 2051/768. Which is smaller: 3 or j?
j
Suppose -1 = -5*t - 2*z - 6, -5*z = t + 1. Is 1 less than t?
False
Let q = 0.29 - 8.29. Is -4 smaller than q?
False
Suppose 5*o = 2*i + 34 + 20, i - 5*o = -22. Which is smaller: i or -2?
i
Let z = 4 + 16. Is z < 21?
True
Let s(m) = m + 1. Suppose -2*k + 7*k - 20 = 0. Suppose 4*o = a - 5, -k*a - 4 - 8 = 0. Let z be s(o). Which is smaller: z or -2/3?
z
Let y(w) = -w + 6. Let v be y(7). Let u be 4/(-18) + 12694/(-468). Let p = u - -55/2. Is p at most as big as v?
False
Let p = 417 + -2103/5. Is -3 less than or equal to p?
False
Let u = -1 - -1. Let s(h) = -h**3 + 12. Let r be s(u). Let i be (-2)/(-8) + 1/r. Which is smaller: 2/9 or i?
2/9
Let d = 0 - -3. Suppose 11*a = 12*a + 1. Which is greater: d or a?
d
Let b = -1485011/205 + 7244. Let v = -28727/615 + b. Let g = -47 - v. Which is smaller: g or 1?
g
Suppose 3*p + 14 = 35. Suppose 0*m - 12 = -m. Let n(t) = 2*t - 18. Let g be n(m). Which is greater: p or g?
p
Let n = -1 + 0. Suppose -3*j - 1023 = -3*k, -k + 5*j + 329 = -0*k. Let i = k - 4470/13. Is n bigger than i?
False
Let y = -6.4 + 6. Let a = 0.6 + y. Which is smaller: -0.2 or a?
-0.2
Let b(l) = l**3 + 17. Let f be b(0). Let g = f + -18. Is g < 2/7?
True
Let r = -8 + 6. Suppose -2*u = m + 7, 3*u - 5*m = -0*u + 9. Are u and r equal?
True
Let v(k) = k**2 - 2*k + 3. Let c be v(3). Suppose 0 = 4*z - 5*n + 25, c - 4 = 2*n. Let q be z/10 + 1/(-4). Is -1 <= q?
True
Let z = 955/11 + -87. Let l be (24/15)/(4/10). Let b = 5 - l. Are b and z unequal?
True
Let r be (-18)/(-27) - 7/3. Let a be (-14)/4*12/(-21). Let f be a + -4 + -1 + 2. Is f <= r?
False
Let g(x) = x**2 + 3*x + 3. Let q(s) = -s**2 - 4*s - 4. Let y(z) = -3*g(z) - 2*q(z). Let m be y(-1). Which is greater: -2/41 or m?
-2/41
Suppose -g = -2*g - 2. Let r be (g - -1)/(16/(-6)). Which is bigger: r or 0?
r
Let a be 0/(4/(-2)) + -6. Let b be (-4)/6 + a/(-9). Let t = 1/12 + -1/3. Which is smaller: t or b?
t
Let v(r) = r**3 + r**2 + r + 1. Let a be v(-1). Are -2/61 and a equal?
False
Let g = 3 - 2.9. Let c be 3/(-15)*(-30)/(-8). Which is greater: c or g?
g
Suppose 0 = -2*v + 3*o + 95, -2*o + 145 = 4*v + o. Is v at most as big as 39?
False
Let s be ((-6)/(-12))/((-2)/40). Let q = s + 8. Is q <= -3/5?
True
Let q = 1.94 - -0.06. Let r = q - 1. Does 0.4 = r?
False
Suppose 3*w = 2*v - 12 - 3, 0 = 4*w + 3*v + 3. Suppose 6*p = p + 3*b - 22, -5*p = 3*b - 2. Is p < w?
False
Let f = 5.4 - 0.4. Which is smaller: f or 1?
1
Let d be 2/(-7) - 0/(-2). Let q = 3.1 - -0.9. Are q and d equal?
False
Suppose -5*u = -7*u - r + 89, 5*u = -2*r + 221. Which is greater: u or 45?
45
Let l be 29/(-9) + 6 + -3. Is 1 bigger than l?
True
Suppose 4*m + 1 = -19. Let a = 5 + m. Is -2/25 >= a?
False
Suppose p = 8 - 71. Let x be (6/p)/((-8)/6). Is 0 smaller than x?
True
Let k = 14 + -19. Suppose -2*l - l = 6. Let c = k - l. Which is bigger: -4 or c?
c
Suppose 0 = 4*o - o - 3. Let s be o - (9/6 + -2). Do s and 3 have the same value?
False
Let q be 2/2 - 48/4. Which is smaller: -9 or q?
q
Suppose -6 = -3*j, 4*j - 2 = t + 1. Let c = -1 + t. Suppose 0*w = -c*w. Is w smaller than 1?
True
Let x be 112/(-666) + 26/117. Let j be 0/(-3 - (-2 + 1)). Which is smaller: j or x?
j
Let j = 8 + -6. Let g = j - 0. Suppose -g*p = -7*p. Which is smaller: p or -2/5?
-2/5
Let w(i) = -i**2 + 8*i - 9. Let y be w(8). Let t be 85/60 - (-6)/y. Is 1 at least t?
True
Let u(p) = p**2 - p - 2. Let o be u(2). Let q = -46 + 32. Let g be ((-1)/2)/(q/12). Which is smaller: o or g?
o
Suppose -3 = -2*b + 11. Is b <= 6?
False
Let p be (2/((-8)/204))/(-1). Which is greater: p or 52?
52
Let g(k) = 3*k. Let c(s) be the second derivative of s**3/3 - s**2/2 - 2*s. Let u(d) = -4*c(d) + 3*g(d). Let n be u(-5). Which is bigger: 1/3 or n?
1/3
Let r(d) = -5*d**3 + 14*d**2 - 23*d. Let j(m) = -2*m**3 + 7*m**2 - 11*m. Let x(i) = 7*j(i) - 3*r(i). Let t be x(-8). Which is smaller: t or 1?
t
Let y(s) = -s + 12. Let j be y(9). Which is smaller: j or 2?
2
Let b = 0.26 - 0.36. Which is bigger: -0.36 or b?
b
Suppose -4*a + 4 + 0 = 0. Let u be ((-9)/54)/((-4)/(-6)). Which is greater: u or a?
a
Suppose 3 = -b + 7. Suppose -1 = -5*g + b. Let r be (2/(-10))/((-8)/(-10)). Which is greater: g or r?
g
Let p(o) = -o**2 + 2*o + 17. Let m be p(6). Which is bigger: m or -8?
m
Let r(i) = 3 - 9 + 3*i - i. Let b be r(4). Is b less than or equal to 3/4?
False
Let g be (-795)/20 - (-1)/(-4). Let c be (-24)/(-15)*(-2)/g. Is 0 less than c?
True
Let c be 3 - (-5)/(20/(-8)). Let y = -14 - -43/3. Is y less than c?
True
Let q = -17 + 14.9. Which is greater: 2 or q?
2
Suppose 7*s = 4*s + 42. Is 13 <= s?
True
Suppose -z + 5 = -5*v, -v - 3 = -4*z - 2. Let t = -5/24 + -9/8. Which is greater: v or t?
v
Suppose 2*g - 3*g = 1. Is g greater than 4/13?
False
Let u = -0.4 + 2.4. Let l be (-65)/100 + (-4)/(-10). Is u > l?
True
Suppose 5 = -3*j + 2*n, 2*j + 0 + 4 = 2*n. Let x(z) be the first derivative of -z**3/3 - 7*z**2/2 - 6*z + 2. Let u be x(-6). Which is greater: j or u?
u
Let d be 1 - ((-6)/(-3))/2. Suppose 0 = -f + 1 - d. Is f not equal to 1?
False
Let r be (-2)/20*(-20)/(-55). Is r <= 1?
True
Let b(z) = -z**3 - 3*z**2 + 3*z + 2. Let h be b(-4). Which is smaller: h or 4?
4
Suppose 15 = -u - 6*d + 2*d, 5*u - 21 = 4*d. Let v be (-4)/8*(u - 1). Which is smaller: 2 or v?
v
Let c be (0/(-2))/(5 + -4). Suppose i = -c*i. Let n = -55/6 + 257/30. Is n >= i?
False
Let l be (-14 + -2)/(2/4). Which is smaller: l or -34?
-34
Suppose 5*x + 0*x + 15 = 0. Let j = -20 + 17. Do x and j have the same value?
True
Let d = 43/186 + -2/31. Which is smaller: d or -1.7?
-1.7
Let l = 33/7 + -5. Let i = 13 + -11. Suppose -y - 3*w - 18 = i*y, -5*w + 20 = -5*y. Which is smaller: l or y?
y
Suppose -5 = -5*i - 15. Let q be (0 + 2 + i)/(-2). Does 2/3 = q?
False
Let b be (-38)/33 - (-8)/(-12). Which is bigger: b or -2?
b
Let v be (65/10)/((-1)/(-2)). Are v and 13 nonequal?
False
Let o = 23 - 24. Do o and 2.1 have different values?
True
Let y be ((-40)/6)/((-12)/18). Suppose -2*d = 3*d + y. Suppose 4*a = 1 - 9. Is d less than or equal to a?
True
Let c(w) = -w**2 - 13*w + 28. Let x be c(-14). Is x at least as big as 12?
True
Let z be 0 - (-3 - (-116)/36). Let n = 28 - 16. Let c be (-6)/16*(-8)/n. Is z <= c?
True
Suppose 0 = m - 10 - 0. Suppose -2*k - 5 - 13 = -5*u, 0 = -2*k + u - m. Is k < -4?
False
Let b = -49 - -33. Which is greater: b or 0.2?
0.2
Let f = 7 - -6. Is 12 greater than f?
False
Let v(b) = -3*b - 14. Let z be v(-12). Let n = z - -43. Let t be n/(-25) + 4 + -1. Is 0.5 not equal to t?
True
Let a be 0/(7/((-21)/(-6))). Suppose a = -4*x + 5*i + 7 + 17, -3*x = i + 1. Is 0 at most as big as x?
True
Suppose -m + 27 = -4*m. Let y be ((-6)/(-9))/(10/m). Which is smaller: 0 or y?
y
Suppose 2*b + 0 - 4 = 0. Suppose 2 - 5 = -u. Suppose -b*o - o = u. Is -0.03 equal to o?
False
Suppose 2*c - 3 = -1. Let k = -167 - -4009/24. Which is smaller: c or k?
k
Let f(o) be the first derivative of o**3/3 - 5*o**2/2 - 1. Let z be f(6). Which is bigger: 7 or z?
7
Let h = -10 + 12. Is 6 greater than h?
True
Suppose -1 = 3*m + 2*p, 3*m - 2*p = 2*p + 29. Let h(x) = -4*x - 3*x**m + 3*x**3 + 1 + x**3 + 3*x**2. Let z be h(-4). Is z less than 1?
False
Let k = -4 - -3.5. Let v = -2.5 + k. Let f = v + 2. Is f greater than or equal to -1?
True
Suppose -3*h = -4*h. Suppose h*y - 2 = 2*y. Is y != -2/3?
True
Suppose -2*f - 4*i + 96 = 0, f + f = 2*i + 114. Let t be 3/f*8/2. Is t > -1?
True
Let d be 195/(-16)*8/(-6). Suppose 0*t = -4*t + 64. Let m = t - d. Is m equal to 1?
False
Suppose g + 2*g = 12. Let d be (5 - 1)/(6 - g). Which is bigger: 4 or d?
4
Let j = 11 - 10.5. Let g = j - 3.5. Is 0.1 not equal to g?
True
Let d = 571/339 + -2/113. Let p = -7/3 + d. Which is smaller: -5/2 or p?
-5/2
Let l = -49 + 195/4. Let d(i) = i**2 - 8*i + 12. Let a be d(6). Is a <= l?
False