 is smaller: n or 0.1?
0.1
Suppose -38*g - 83*g - 6655 = 0. Which is smaller: -166/3 or g?
-166/3
Let u(k) = k**3 - 15*k**2 - 17*k - 6. Let s be -2 + 224/12 - (-6)/(-9). Let x be u(s). Is x smaller than -22?
False
Let r(c) = c**2 + 2*c - 1. Let n be r(-2). Suppose 0 = -0*l + l - 18. Let p = 20 - l. Is p less than n?
False
Let w = -31 + 41. Suppose 5*c + 4*i = w, 0*c + 4*c - i - 8 = 0. Do 20/9 and c have the same value?
False
Suppose 3*v - 5*v = -18. Suppose 0 = p - 3*a + 2*a, 2*p + a + v = 0. Let k = p - -11/3. Are k and 2/9 unequal?
True
Let y be (-19 - -22) + -10*3. Is y greater than or equal to 1/2?
False
Let u(p) = p**3 - 50*p + 4 + 48*p + 0*p**3. Let o be u(-2). Is o != -1/9?
True
Let t = -3.01 - -0.95. Let a = -0.06 - t. Let u = 30 + -61/2. Which is smaller: a or u?
u
Let f = -6 - -4. Let p = 0.807 + -0.757. Is p at most f?
False
Let z be ((-1918)/40)/((-2)/(-4)). Suppose -t - 3*n - 87 = 0, 2*t + 2*n + 278 = 92. Let i = z - t. Which is greater: -1 or i?
i
Let m(d) = -69*d - 16. Let q be m(-1). Which is smaller: 2 or q?
2
Suppose -5*y = -8*y - 555. Is -184 smaller than y?
False
Let v = 4.07 + -5.07. Is v less than -109?
False
Let q be (80/(-6))/(-2)*9/6. Which is bigger: q or -9?
q
Let n be (91/14 - -5)/((-1)/6). Let w = n + 86. Which is smaller: w or 14?
14
Let h = -2687 + 701305/261. Which is smaller: h or 1?
h
Suppose 5*g + o - 140 = 0, -3*o = 5*g - 4*o - 150. Let d = -10 + 39. Let t = d - g. Is t < 1/20?
True
Let r = 2 + -2.08. Let g = 0.24 + r. Which is bigger: g or 1?
1
Let f = 173632/5991475 - 54/1825. Let c = f + -114897/13132. Is -9 at most c?
True
Let v be (-1)/(-6) - (-9)/(-108)*-22. Suppose p - 3 = -0. Do v and p have different values?
True
Suppose 3*c = -9 + 27. Suppose -3 = l - c. Is 3 smaller than l?
False
Let d(r) = 2*r**2 - 11*r + 4. Let p be d(7). Suppose 2*j = -3*j - p, j = 5*f - 130. Are 26 and f non-equal?
True
Let l = 196.713 - 0.713. Which is smaller: l or -1?
-1
Let b = 45 + -43. Is b less than 4?
True
Suppose 0 = -0*c + 3*c + 5*f - 15, 15 = 3*c - 2*f. Suppose 5*y + 0*y - 15 = 0. Suppose y*u = c*u - 2. Which is smaller: u or -9?
-9
Let t = 84 + -68. Let j be t + 25/(-30) + 1/(-6). Is j at least as big as 17?
False
Let q = 1596 + -1595.88. Let i = -4 - -4. Let v = i + -0.1. Which is greater: q or v?
q
Let z be ((-19)/((-114)/12))/(2/(-7)). Let k = -10 - -1. Is z smaller than k?
False
Let v = -0.03 + -2.47. Let h = v - -4.3. Let s = h - 2.2. Is s at least 2/9?
False
Let j = 4 + -12. Let m be (6/(-32))/((-2)/j). Let u be 1/(-8)*-2 + 385/(-308). Which is greater: u or m?
m
Suppose -137*y = -127*y. Which is smaller: -5/6 or y?
-5/6
Let c(m) = 6*m**2. Let n be c(-1). Let h be ((-4)/54)/(2/n). Let f(z) = z**2 - 36*z - 638. Let s be f(49). Which is smaller: h or s?
s
Let g = 1507.02 + -1537. Let n = 30 + g. Let p = -3.5 - -1.5. Which is greater: n or p?
n
Suppose -5088 = -2*s + 14*s. Is -425 less than or equal to s?
True
Let y be (-3)/(-9)*(0 - 0). Suppose 0 = -y*p - 3*p - 36. Let z be (-12)/(-16)*p/7. Is -1 less than or equal to z?
False
Let m(c) = 5*c**2 - 4*c - 15. Let g be m(5). Suppose 8*x - g = 2*x. Which is smaller: 14 or x?
14
Suppose -3*a + 77 = 38. Suppose -3*y = 5*z - 24, -3*y = z - 1 - 11. Let f(g) = 2*g**2 - g - 1. Let r be f(z). Which is greater: a or r?
r
Suppose 9*c = 4*c - 355. Let q = c - -78. Let h be -1 + 4 + 2 - -2. Is h bigger than q?
False
Let n = -44 - -32. Suppose -2*j + 1 = -3*r, 3*j = r - 4*r + 9. Suppose 2*q - 5*i = -26 + j, -4*q = i + 48. Is n equal to q?
True
Let f(s) = -10*s**2 + 4*s + 5. Let a be f(-2). Let r = 0 + a. Is r at least as big as -44?
True
Let b(c) = c - 4. Let z be b(7). Let y be 216/84*(-14)/z. Let t be ((-2)/y)/((-4)/6). Which is smaller: 5 or t?
t
Suppose 9*u - 6*u = -4*x - 71, 3*x + 48 = -4*u. Is x less than or equal to -127/6?
False
Let l = -20 - -20. Suppose -7*c + 5*c + 34 = l. Is c < 17?
False
Let w(r) = 2*r - 2. Let q be w(6). Let d(u) = 2*u**2 - 21*u + 8. Let c be d(q). Which is greater: -9/4 or c?
c
Suppose 5*z - 2*p + 4 = -0*z, 3*z + 2*p + 12 = 0. Let d be -2*-2*z/(-8). Is -7 < d?
True
Let v(n) = -n**3 - 2*n**2 + 15*n - 320. Let t be v(0). Which is bigger: t or -321?
t
Suppose 0*a - 2*a + 122 = 0. Let d be a/4 - (-3)/4. Let c be (-8)/d + 10/4. Is c > 8?
False
Let r be 11/36 + 32/(-384). Is -1 <= r?
True
Let j = 545/6 - 22357/246. Which is greater: -1 or j?
j
Let w(o) = 3 - 2*o - o**2 + 10*o + 5. Let x be w(6). Let k be (21/(-13))/((-14)/182). Is k at most x?
False
Let d = 5 + -4.5. Let v = d - 0.4. Let n = 0.09 + -4.09. Which is bigger: n or v?
v
Let r(z) = z**2 - z + 5. Let p be r(0). Suppose 106 = 3*h - p*u, 3*u + 150 = 5*h - 0*h. Which is bigger: 1/3 or h?
h
Let p be -1*71 - (-13 - (-152)/8). Which is smaller: p or -76?
p
Let v = 20.02 - 19.96. Let q = -0.11 + 8.11. Is q >= v?
True
Let f = 18 - 28. Let m = -10.09 - f. Let b = m - -0.19. Which is greater: b or 7?
7
Suppose 0 = -g + 3*g - x - 12, -3*g = x - 23. Let d = 9 - g. Let c be d/3*(-6)/(-12). Are -1/5 and c non-equal?
True
Let a = 0.92 + 0.08. Which is greater: 95 or a?
95
Let h(y) = -y + 19. Let b be h(-67). Which is smaller: b or 262/3?
b
Let k = 9 - 7. Let c be (k + -4 - -4) + -2. Let a = 1/4 + c. Which is smaller: a or 0?
0
Suppose -37*s = -41*s + 40. Suppose 2 + 76 = 6*y. Which is bigger: s or y?
y
Let g = -3 - -6. Suppose g*w - 25 = 11. Suppose 0 = -4*t - w - 16. Is t bigger than -5?
False
Let g be 13/20 + (-3)/6. Let b = -44 - -56. Suppose 4*z - 16 = -b. Are g and z non-equal?
True
Suppose 49*d = -486 - 935. Is -2/3 greater than or equal to d?
True
Let s be (-10)/(-6) - (-1)/(-1). Let h = -136 + 59. Let u = 78 + h. Which is smaller: s or u?
s
Let i be 4/(-12)*-3 - 4. Let j(o) = 5*o**3 - o**2 - o + 1. Let v be j(1). Suppose x + v = -3*x. Which is bigger: i or x?
x
Let r be -5 + 4 - (-33)/3. Let w = 14 - r. Let z = w + -14/3. Is z at least as big as 0?
False
Let l = 1785 + -1871. Which is bigger: l or -1?
-1
Let l be (4/3)/((-2)/84). Let a = -8840 + 8784. Is l >= a?
True
Suppose 7*n + 134 = 127. Which is smaller: n or 31/4?
n
Let v = 230 - 2536/11. Let d = v - -76/99. Which is smaller: d or -0.01?
-0.01
Let k be ((-8)/6)/((-2)/12). Suppose 5*a + 39 = -k*a. Do a and -12/7 have the same value?
False
Suppose -6*u + 112 + 758 = 0. Is 145 less than u?
False
Let c = -301.6 + 302. Are -45 and c equal?
False
Let s be 1476/405*1/4. Let o = s + -17/15. Which is bigger: -22 or o?
o
Let b = 41/5 - 7. Suppose -5*h = 4*h. Which is bigger: h or b?
b
Let c = -2.61 - -2.325. Is 1/3 at least as big as c?
True
Let p = 5 + -8. Let g = -251.6 + 248. Let i = g - p. Which is greater: 1 or i?
1
Let d = 1663/51 + 324/17. Which is greater: d or 53?
53
Let h = 0.1101 + -0.1101. Is -144 >= h?
False
Let y = 7.6 + -0.6. Let j = 318.6 - 319. Which is bigger: j or y?
y
Let z be (-116820)/(-944) - -3*(-2)/8. Do 123 and z have the same value?
True
Let q be (-6 - 6)*4/(-22). Is 1/5 equal to q?
False
Let m(i) = -4*i + 23. Let g be m(6). Let x = -661 - -4615/7. Which is smaller: x or g?
x
Let m(p) = -p**2 - 7*p - 3. Let w be m(-5). Suppose 0 = -2*j + 3 - w. Is -7 not equal to j?
True
Suppose 3*w = 3, 5*b = 41*w - 43*w - 5468. Do -1096 and b have the same value?
False
Let z = -27841/120 - -232. Which is smaller: z or 4/3?
z
Let w(g) = -g**3 + g**2 + g + 1. Let u be w(2). Let b be (27/36)/((-2)/(-8)). Suppose 2*c = -3*r + 1, -c - b*c - 5 = -r. Is r at least as big as u?
True
Suppose z = 5 - 1. Let m = -371 + 367. Let p be (2/m)/(z/16). Is p greater than or equal to 0.1?
False
Let d be (-29)/10 - 105/(-35). Is 3 less than or equal to d?
False
Suppose -457*i + 30 = -452*i. Which is smaller: i or -12?
-12
Suppose -d + 3*d = -54. Suppose -3*g + 1 = 85. Is g smaller than d?
True
Let k = 136 - 85. Let l be 136/k + -2 + -1. Are -18 and l equal?
False
Let m be (138/4)/((-3)/(-6)) - 2. Suppose 0 = 72*t - m*t. Which is smaller: -1/45 or t?
-1/45
Let d(v) = -355*v - 358. Let y be d(-1). Let z = -27 - -44. Suppose -3 = 5*g + z. Which is smaller: g or y?
g
Let v(m) = 121*m + 153. Let z be v(-1). Suppose 0 = 2*u - 64. Is z less than or equal to u?
True
Suppose x + 51 = -87. Let o be x/(-33) + (-8)/44. Let g be (-12)/8*o/6. Which is greater: 1/3 or g?
1/3
Let a be 4 + (-88)/((-80)/(-10)). Which is smaller: a or -54/7?
-54/7
Let r be 1/(-4) + 38/(-8). 