s smaller: 1 or h?
h
Let n be 34/119 - 31/133. Which is bigger: n or -1?
n
Suppose 15*h - 11*h + 16 = 0. Which is smaller: -35/8 or h?
-35/8
Let p = 11 + -7. Suppose -25 = -p*l - l. Let a = -4 + 8. Is a at most as big as l?
True
Let v = 185.23 - 185. Is -1 >= v?
False
Suppose -c + 3*c = 12. Suppose c*i - 20 = i, 5*q = -5*i + 20. Let p = 2 - 3. Which is bigger: q or p?
q
Let s = -5.99 + -0.01. Let c = -122 - -116.08. Let z = c - s. Which is smaller: -1/2 or z?
-1/2
Let t = 14 - 17. Is t greater than or equal to -7/2?
True
Suppose -4*b + 19 + 21 = 0. Let a be 5*(-2 - (-16)/b). Let s be 3*(0 - (-8)/(-12)). Is s < a?
False
Suppose -5*c = -5*u - 90, -3*u - c + 2*c - 60 = 0. Which is smaller: u or -41/2?
u
Suppose 0 = -5*l - 5, -2*q - 7*l + 3*l = 6. Is q less than or equal to 1.7?
True
Let z = 1.7 - 1.85. Let d = -0.13 - z. Suppose n = -0*n + 2. Do d and n have the same value?
False
Let z = -519 - -741. Let s be z/(-240) - (-8)/10. Which is smaller: s or -0.2?
-0.2
Let a be 6/8 + 183/(-180). Suppose -k + 5*c - 6 = -2, -c + 1 = 0. Which is smaller: a or k?
a
Suppose -3*k - 9 = -0*k, -19 = 5*p + 3*k. Let u = p - 2. Are u and -4 unequal?
False
Let z be 0/(-3 - 0/(-4)). Which is smaller: z or 1/6?
z
Let d = 4 - 7. Let q(a) = -a - 3. Let i be q(d). Which is smaller: i or -2/3?
-2/3
Let t be (62/(-6))/(28/6). Let j = t + 5/7. Which is greater: j or -3?
j
Let i = 27.9 + -28. Does -14 = i?
False
Let w = -1 + -0.4. Let o = -1 - w. Is o >= 2/9?
True
Let i = 5/24 + -1/12. Which is smaller: i or -2?
-2
Let d be 2/4 - (-14)/4. Suppose d*g - 6*g = -12. Is g less than or equal to 7?
True
Let q(m) = 4*m**3 - 2*m**2 + 1. Let f be q(1). Suppose f*d - 15 = 0, x - 5*d = -3*d - 12. Are -1 and x nonequal?
True
Suppose -s - 18 = -4*s. Suppose -s*k + 2*k = -8. Let c be -5 + (8 - 15)/(-1). Is k at most c?
True
Let y be ((-24)/100)/(2/40). Is -5 <= y?
True
Let j = 11/2 + -3. Let b = -5 + 8. Which is greater: j or b?
b
Let j = -47 - 0. Is -48 greater than or equal to j?
False
Suppose -2*w = -7*w + 15. Let u be w - (-1 - 9/(-3)). Suppose 5*v - 19 = -4. Is v smaller than u?
False
Let a = -16.2 + 18. Let y = a - -2.2. Does 0 = y?
False
Let p = 83 + -57. Is 26 at least as big as p?
True
Let q(x) = 2*x - 2. Let r be q(3). Let b be -2 - 0/(-3) - r. Suppose d + 5*t + 22 = 0, 4*t - 1 + 6 = d. Which is smaller: b or d?
d
Let a be 2*(-3)/120*-5. Let w = 0.3 - 0.1. Which is smaller: a or w?
w
Let g be (-6)/(-63) + (-1)/(-3). Which is smaller: 0 or g?
0
Let v = 0.07 - 1.07. Let x = 1.1 + v. Are x and 0.7 equal?
False
Suppose 0*z + 9 = 3*z. Suppose -d - z*d = 20. Let a = -5 - d. Is 0 at least as big as a?
True
Let c be (4/(-72))/((-3)/(-12)). Which is greater: -2 or c?
c
Let p = -9.3 - -10.3. Let y be (-1)/(-1 + -1)*0. Let u = -1 + y. Is p at most u?
False
Let w(o) = o**2 - 3*o - 11. Let n be w(6). Which is smaller: 4 or n?
4
Let a = 21 - 62/3. Which is smaller: a or 1?
a
Let v = -0.9 - -5.9. Let p = 13/21 + -20/21. Which is smaller: v or p?
p
Let b = 747 - 748. Let v = -2 - -1.8. Which is smaller: b or v?
b
Let y = 0 + 0. Suppose y = -0*z + 2*z + 20. Let x(r) = r + 8. Let m be x(z). Is m smaller than -2?
False
Let d = 177 - 102. Let a = 451/6 - d. Let b(u) = -u**3 + 4*u**2 + 4*u + 6. Let s be b(5). Which is greater: s or a?
s
Let m = -59 + 59. Which is greater: m or 10/7?
10/7
Let k = -0.31 + 1.31. Are 20 and k nonequal?
True
Let x be ((-3)/4)/3*-4. Suppose 0 = -5*y + 5 - 0. Let p be 2 + (2 - 2/y). Which is bigger: x or p?
p
Let h be 11/5 - 5/25. Suppose 0 = m + 4*a - 12, -2*m + 1 = h*a - 5. Is m smaller than -2/11?
False
Let z be (-14)/(-10) + (-2)/5. Suppose -3*u + 14 = -z. Suppose -u*l - h + 1 - 20 = 0, -4*h + 16 = -3*l. Which is bigger: l or -5?
l
Let g be (29*(-2)/1)/(-2). Do 0 and g have the same value?
False
Let s = 21/65 + 1/13. Let f = 10.6 - 11. Let q = f - -1.4. Which is smaller: s or q?
s
Let l = -3.92 - 0.08. Let s = l - -3.9. Does -0.1 = s?
True
Let x(n) = n**3 + 8*n**2 + 7*n + 3. Let a be x(-7). Suppose -5*p - 3 + 43 = 0. Suppose j - p = -3*j. Which is bigger: a or j?
a
Suppose 0*v - 5*v + 10 = 0, -3*r + 5*v = 13. Which is smaller: r or 16?
r
Let q(d) = -d**3 + 2*d + 2. Let u be q(-2). Is 7 > u?
True
Let m be (-20)/16*(-1 + 41)/2. Which is smaller: m or -24?
m
Let u(h) = h**2 - 6*h + 7. Let d be ((-6)/8)/((-2)/16). Let x be u(d). Let o be 2/x + 9/(-7). Is 0.1 less than o?
False
Let r = -5 + 5.4. Is -0.3 at most r?
True
Let c(u) = u**2 - 10*u - 58. Let l be c(14). Let q = -2/73 + 168/803. Are l and q non-equal?
True
Let a = 82 - 83. Let z = 2/279 - 568/1395. Is z bigger than a?
True
Let q be (-8)/6 - (-2)/6. Let r = -5 - -2. Let w be q/(1/(1/r)). Do w and 0.1 have different values?
True
Let f(d) = d - 12. Let a be f(11). Let j = 1 + -3. Are j and a unequal?
True
Let p be -2*(11/2 - 3). Let j = 7 + p. Is 4 <= j?
False
Let c be (-8 + 4 + -2)*(-3)/87. Which is bigger: 1 or c?
1
Let a be 1 - (-2)/(-4)*0. Suppose -2*q - 2*k + 7 = 3, -5*q - 8 = -4*k. Suppose 2*n + q*n = 2. Are n and a unequal?
False
Let s be ((-9)/(-1548))/((-6)/16). Is -1 not equal to s?
True
Suppose -5*z = -4*f - 44, -2*f - 12 = -z + 4. Let j = f + 5. Which is smaller: -5/4 or j?
-5/4
Let t be 2 + 18/(2 - 0). Let u = t + 5. Let d = u + -61/4. Is d >= 2?
False
Let q = 8 + -7.92. Let k = q - 0.01. Is 0 smaller than k?
True
Let j be ((768/20)/(-3))/((-2)/5). Are j and 34 non-equal?
True
Let h = -20 + 20. Which is greater: h or 5/4?
5/4
Let s = 14.088 - 0.088. Which is greater: -3 or s?
s
Let u be 505/6 - (-10)/(-15). Let i = -89 + u. Let c = -6 - i. Is -2 greater than or equal to c?
False
Suppose 1 = 5*z - 4*m - 1, 0 = -z - 5*m + 12. Does 3 = z?
False
Let d = -2 + 0. Let q be 0/(1 + -1 - 2). Do q and d have different values?
True
Let g = -31 + 66. Is 36 less than g?
False
Suppose 8 = -x + 3*x. Suppose 5*p + 4*z = 2*p - 1, -x*z = -4*p + 8. Which is bigger: 1/2 or p?
p
Let t be -3 - -1 - (0 - 1). Let c(p) = p**3 + 2*p**2 + 2*p. Let g be c(-2). Let s be ((-1)/g)/((-9)/(-12)). Which is bigger: t or s?
s
Suppose 0 = -2*g - 3 + 1. Which is bigger: -6/17 or g?
-6/17
Suppose 14 = 5*j - 3*j + 5*n, 0 = -j + n - 7. Let a = j + 2. Which is smaller: a or -2?
-2
Let b(a) = -a**2 - 9*a - 4. Let z be b(-8). Which is greater: 3 or z?
z
Let a = -2 - -1. Let x = 4283/7 - 613. Which is smaller: x or a?
x
Suppose 0 = n + 4*x - 16, 2*n - 12 = n - 3*x. Is n >= -3/11?
True
Suppose 0*p - 448 = -2*p. Let w be (-2)/(-3) - p/210. Which is greater: -0.1 or w?
-0.1
Let c = -0.05 + 0.03. Let o = 0.04 + c. Let v = o - -0.18. Is 1/2 greater than v?
True
Let c = 12 - 29. Let x = 16.8 + c. Which is greater: x or 0.5?
0.5
Suppose 41*l - 6 = 35*l. Let a be 6/8 + (-1)/(-2). Is l less than a?
True
Suppose 0 = 4*u - 5*m + 16, -3*u - m - 12 = m. Let c(s) = s + 3. Let z be c(u). Let n be (-6)/(-3) - (z - -1). Which is greater: 1/4 or n?
n
Let y = -8 + 13. Suppose -5*w + 3*m = -11, 3*w = -w - y*m + 31. Are w and 1 unequal?
True
Let y = -1 + -1. Let d = 0.23 - -0.57. Let o = -2.8 + d. Is o < y?
False
Suppose 3*p = 3 + 9. Let f be (228/p)/(1/(-1)). Let m = -111/2 - f. Is 2 equal to m?
False
Let b be 3*((-15)/(-9) + -1). Let s = 2 + b. Let c(g) = -g**2 + 5*g - 2. Let v be c(s). Is v at most 2?
True
Suppose -30*f - 6 = -24*f. Let o be 2/(-8) - 3170/16. Let s = -198 - o. Is f < s?
True
Let y = 0.9 - 4.9. Let t = 0 + y. Let r be 10/24 - (-4)/(-6). Which is bigger: t or r?
r
Let g = -18562/15 - -1238. Let f = g + -6/5. Which is bigger: f or -0.1?
-0.1
Let v = -160/231 - -2/77. Let h be 28/(-4)*(-12)/7. Let w be (8/h)/(2/(-3)). Which is smaller: v or w?
w
Let w be (-8)/(-10) - 6/(-30). Let u be (-2)/(-3)*10/4. Is w at least u?
False
Suppose 4*r = 3*r. Which is bigger: r or 1/56?
1/56
Let d = -0.037 + 0.537. Let l = 5.3 - 5. Let j = d - l. Which is greater: j or 2?
2
Let w be (0*(-4)/(-12))/1. Which is smaller: -5/11 or w?
-5/11
Let u = 0.1 - 0.1. Let z be -3 - 67/(-34) - -1. Let v = z + 37/102. Do u and v have different values?
True
Let p(l) be the third derivative of l**5/60 + 5*l**4/24 + l**3/3 - 2*l**2. Let z be p(-4). Which is greater: z or -4?
z
Suppose -2*q - 2*q = -20. Let l be q*(6/195 + 0). Which is smaller: l or 0?
0
Suppose -5*p + 4*n - 30 = 0, 4*p - 5 + 29 = -4*n. Let l = p + 5. Let t = 1 + -3. Which is smaller: t or l?
t
Let l be 2/3 - (-48)/9. L