- 95. Which is smaller: 2/3 or l?
l
Let w be (1/(-3))/((-1)/(-3)). Let m = w - -3. Which is smaller: 0 or m?
0
Let m be (-2)/(-15) - 1542/90. Is m equal to -18?
False
Let v = -23/2 - -9. Which is bigger: v or -2/5?
-2/5
Let a = 10 - 9. Which is greater: a or 7?
7
Let i be (-84)/9*((-10)/4 - -1). Does i = 12?
False
Let n = 10 + -16. Let p(j) = j + 6. Let l be p(n). Suppose -m - 3 + 1 = l. Do m and -1 have the same value?
False
Suppose -3*i - i = 0. Suppose 3*v - 2*q - 15 = i, 0 = -7*v + 2*v + q + 18. Suppose v*z = -3*b + 15, z + 5 = 6*b - 2*b. Are b and 2 unequal?
False
Let h = 1325 - 99373/75. Is h < -1?
False
Let a = -41 + 41.1. Let n = -0.2 + 0.15. Which is bigger: n or a?
a
Suppose 2*b - 2 + 14 = 0. Let v be (-6)/(3 + b) - 1. Suppose 0 = -d + 2*d - v. Which is bigger: -2/3 or d?
d
Suppose 5*x - 3*a - 9 = 0, 5*x + 4*a + 12 = 3*x. Which is bigger: 1 or x?
1
Suppose 4 = 2*f - 0. Let h(y) = -y**2 + 3*y - 1. Let t = 0 + 2. Let m be h(t). Is m <= f?
True
Let c(k) = k**2 + 8*k + 11. Let u be c(-6). Are -2/15 and u nonequal?
True
Let c = 3 - -1. Which is bigger: 7/2 or c?
c
Let a = 1683/5510 - -3/290. Is a at most as big as 0?
False
Let b = 3 - 1. Suppose -b*n - 6 = 5*y + 13, 17 = -y + 4*n. Are y and -5 unequal?
False
Suppose 6 = g - 3*z, 3*g = 3*z + 2*z + 38. Suppose 3*y - 13 = -2*c, 4*c - g = y - 6*y. Is 2/11 < c?
False
Let x(u) = u**2 - 4*u. Let i = 9 - 5. Let p be x(i). Which is smaller: p or -1/4?
-1/4
Suppose 3*k + 2*k = -15. Let m = k - -3. Let i = -6.9 + 7. Which is greater: i or m?
i
Let c be (4/6)/(2/3). Is -2/59 <= c?
True
Let y be (-5)/((-20)/(-23)) - 3. Are -8 and y non-equal?
True
Let y = -35 - -30. Let h be 2/(-3)*6/(-25). Let v = h - -17/50. Which is bigger: y or v?
v
Let k(p) = -p - 5. Let f be k(-6). Let q(d) = -19*d**2 + 1. Let r be q(1). Let i = r + 37/2. Is f > i?
True
Let f = -8 - -10. Suppose -f*z - 2*z + 5*t = 41, 3*z = 2*t - 22. Let p(q) = 3*q. Let h be p(-1). Which is greater: z or h?
h
Let t be (-1)/2*(-5 - -5). Suppose 3*b - 1 = -5*l, 2*b = -l - 0 - 4. Which is bigger: b or t?
t
Suppose 6*x - 57 = 3*x - 2*u, 2*x - 43 = -3*u. Is x >= 18?
False
Suppose 5*t + 15 = 0, -h + 10 = -5*t - 7. Suppose 5*y + 24 = -5*w + h*w, 15 = -3*w - 2*y. Suppose -2*b = 2*b + 8. Is w smaller than b?
True
Let g = 14 - 26. Which is bigger: -13 or g?
g
Suppose -3*l - 5*i + 3 = 0, 5*l + 10*i - 5 = 14*i. Which is bigger: -2/271 or l?
l
Let j = 3.8 + -10. Let x = j + 6. Which is smaller: 2 or x?
x
Let s(y) = 3*y + 4. Let h be s(-3). Let v(p) = -p**2 - 4*p. Let g be v(-3). Let q = -1 - g. Does h = q?
False
Suppose -30 = -5*f - 0. Let s be (-3)/f*0 - -1. Let v be s/((-6)/4) - -2. Is v at least as big as 2?
False
Let y(z) = 40*z**2 - z + 1. Let t be y(1). Let v be 2/t - 2/(-8). Which is smaller: 1 or v?
v
Let z(b) be the third derivative of 0*b - 1/8*b**4 + 2*b**2 + 0 + 1/3*b**3. Let u be z(2). Is u at most as big as -4?
True
Let u be (-2*26/(-16))/(4/16). Are 11 and u non-equal?
True
Let a(t) = -t. Let g be (9/4 + -2)*4. Let b(w) = -4. Let z(d) = g*b(d) + a(d). Let y be z(-5). Which is smaller: -3/8 or y?
-3/8
Let r be (-1)/(-4)*4/(-9). Suppose -z = z + 2. Which is smaller: z or r?
z
Let r(q) = 65*q - 1. Let x be r(-2). Let l = x - -1180/9. Which is bigger: 0 or l?
l
Let o(f) = 8 - 2 - f**3 + 6*f + 35*f**2 - 38*f**2. Let m be o(-4). Is m smaller than -2?
False
Let q be ((-1)/3)/(2/(-6)). Suppose -k + 109 = -4*w - 32, 0 = 3*w + k + 97. Let g = w + 101/3. Which is bigger: g or q?
q
Let m = -64 + 446/7. Let v = 6 + -3. Let x be (-14)/(-12) + v/(-18). Is m at least as big as x?
False
Let y = 6 - 0. Suppose y*a - 2*a = -4. Let j = 905/7 - 129. Is a greater than j?
False
Let q(t) = t**3 - 2*t**2 + 2*t - 2. Let j be q(2). Suppose -j*y - 2 = -y. Let a be (1/(-3))/(y/6). Is 2 at least as big as a?
True
Let k = 0.17 - 0.07. Which is smaller: k or -0.09?
-0.09
Let k be ((-15)/(-85))/((-3)/(-7)). Which is smaller: 1 or k?
k
Suppose 3*j + t + 33 = 5*t, -4*t = -12. Let p be 3 - (-2 - (j + 2)). Is p != 0?
False
Suppose 4 = -c, 4*i - 3*c = 8 + 8. Let z be 5/(-2*i - -1). Suppose 0 = 8*j + j + 45. Is j less than or equal to z?
True
Let p be (-3)/5 + 51/60. Does p = 0.3?
False
Suppose -6*i + 8*i = 0. Which is greater: -2 or i?
i
Let c = -17 + 7. Let n = 8.7 + c. Let w = n + 1.23. Which is smaller: 0 or w?
w
Let d be (2/(-6))/((-66)/(-108)). Does d = -2?
False
Let s(x) = x - 9. Let b be s(8). Let l be (-4)/(1 + 0/(-1)). Let n = 3 + l. Is b at least n?
True
Let d = -7 + 4. Let j(a) = -a**2 - 6*a + 2. Let z be j(-6). Suppose -3*f + 2*f = z. Is d less than f?
True
Suppose 3*z - h - 3*h - 23 = 0, h = -5. Let n be 9/63*12/(-6). Which is bigger: n or z?
z
Let u be 2/(-4) - 110/(-204). Suppose -4 = 2*t - 4*l - 22, -2*l - 10 = -2*t. Is u greater than t?
False
Let u be (-63)/84 + 142/8. Which is greater: 18 or u?
18
Let q = 0.17 - 1.17. Let u = 11 + q. Which is smaller: u or 0?
0
Let c be -1*1*(-2)/8. Let x = -0.81 + 0.9. Let v = 0.09 - x. Which is smaller: c or v?
v
Let n = -82 + 47. Which is bigger: -1/4 or n?
-1/4
Let z = -2.33 + 1.34. Let f = -0.01 + z. Which is bigger: 0 or f?
0
Let a = -5 + 5.06. Let h = -4.94 - a. Let u = -5.3 - h. Which is greater: u or 0.1?
0.1
Let n(f) = -f**3 - 2*f**2 + 2*f - 5. Let x be n(-3). Let c be 6*((-9)/(-5) - 2). Which is smaller: x or c?
x
Let v = -3 - 1. Suppose -c - 2*m = c - 4, 5*c = -4*m + 11. Let q = c + v. Is q greater than 0?
False
Let f = -15 - -8. Let l = -4 - f. Let w be (-6)/(-9)*l/(-2). Which is smaller: w or -2?
-2
Let n(h) = -h**3 + 3*h**2 - 2*h + 2. Let f be n(2). Let w be (-1 - 3/9) + f. Which is smaller: 1 or w?
w
Suppose -5*v = -2*p - 5, 3*v - 2*p + 1 = -0. Let a be 3/(5 + v + -1). Suppose x - 5*d = -x - 18, 5 = x + d. Is x at most as big as a?
False
Let m be -51*(0 + (-2)/21). Let i = m + -74/21. Is 1 > i?
False
Let j be (-4)/6 - 32/(-12). Let k be (2 - 0/(-2))/j. Suppose 19 + 6 = -3*d - 5*w, -4*w = 4*d + 20. Which is smaller: d or k?
d
Let r = 412669/195 - 10571/5. Let t = -81/2 + 1017/26. Let l = r + t. Do l and 1/2 have the same value?
False
Let f(j) = -j**2 - 8*j. Let g be f(-8). Let m = 0 - g. Suppose -l + 2*l + 5 = m. Which is greater: l or -4?
-4
Let x(r) = 2*r + 6. Let t be x(-10). Which is bigger: t or -15?
t
Let g = -1 - -1. Which is smaller: -0.09 or g?
-0.09
Suppose -3*p + 6 = -6*p. Suppose 7*s - 120 = 2*s. Let d = s + -51/2. Which is bigger: p or d?
d
Suppose -3*i - 2*i = 5. Let b be (-2)/(-1) - (i + 4). Which is smaller: b or -2?
-2
Suppose 2*w + 2*l + 6 = 0, -2*w + 2*l = 2*w. Is w > -1/26?
False
Let k(d) = d**2 - 2*d - 2. Let v be k(-2). Let j be (0 + 4)*v/(-44). Do -1 and j have different values?
True
Let h = 0.24 - -0.06. Let l = 0.2 - h. Is l less than or equal to 6?
True
Let w be 2/(-6)*-5 + -1. Let v = 107.05 + -107. Is w at most v?
False
Let v = -1 - -3. Let o be -1 + 1/(v + -1). Let q be (2/4)/(15/(-4)). Is o at most q?
False
Suppose -17 = 4*x + 3*g, -x - 3*g = -0*x + 2. Let s = -4 - x. Is 3/4 less than or equal to s?
True
Let j = -12 - 6. Let y be (-50)/j + (-12)/(-54). Are 3 and y equal?
True
Let f = -236663/26 + 9108. Let x = f - 40/13. Is 2 less than or equal to x?
True
Let x be (0/(-3 - 1))/(-3). Let q(g) = g**3 - 4*g**2 - 2. Let u be q(4). Which is bigger: u or x?
x
Let b = 37 - 760. Let t be b/(-9) + (0 - -1). Let w = -82 + t. Which is greater: w or 0?
0
Let g = -152/9 + 17. Which is bigger: g or 2/9?
2/9
Let j = -537/11 + 49. Let d(l) = l - 4. Let q = -5 - -8. Let f be d(q). Which is smaller: f or j?
f
Suppose -55 = 5*x - 5*l, 15 = -4*x + 3*l - 25. Is x at most -8?
False
Let p(m) = -m**2 - 9*m + 1. Let h(j) = 9*j**3 - 2*j**2 - j. Let c be h(-1). Let i be p(c). Is i smaller than -9?
False
Suppose -4*w + 5 = -7. Suppose 5*u + 6 = -w*r, -5*u - 4*r - 8 = -0*r. Suppose 4*d - 3 - 1 = 0. Which is smaller: u or d?
u
Suppose 2*b = -4*m - 10, -2*m - 2*m + b = -5. Which is bigger: m or 0.08?
0.08
Let u = -1 - 2. Let y = -0.068 + -3.232. Let l = y - u. Are l and -1/3 equal?
False
Let r = 7 + 0. Which is greater: 1 or r?
r
Let b = -3.6 - -0.6. Let k = -3 + b. Which is greater: 1/4 or k?
1/4
Suppose a - 11 = -r + 4*a, -3*a = -4*r + 8. Suppose 2*g + 4*u = -18, -5*u - 20 = 4*g - u. Is r > g?
False
Let g be 3/(15/8) - 0. Which is bigger: g or 3?
3
Let c(s) = s**2 - 3*s - 4. Let a be c(4). Suppose 7 = 3*j - 2