h is smaller: h or x?
x
Let p be (40/3)/(1/(-3)). Which is smaller: p or -37?
p
Let h = -0.03 - -0.11. Let w = -77 - -76.59. Let l = w + -0.59. Is h < l?
False
Suppose 5*j = 28 + 2. Let y = j - 8. Let d = 20.88 - 15.88. Which is smaller: y or d?
y
Suppose -5*o + 3*w + 1 + 6 = 0, 4*o = 4*w + 4. Let j(n) = n**3 - n**2 - 3. Let q be j(o). Suppose 4*s - 12 = 6*s + 2*a, -s - 22 = 5*a. Is s > q?
False
Let s be (-2*(13 - -1))/((-700)/(-154)). Is -5 <= s?
False
Suppose 0 = 3*n - 12, -4*b + n = -92 - 456. Let r be 80/(-12)*9/b. Which is greater: 1 or r?
1
Let k = -0.61 + 0.6. Let t = k - -0.11. Which is smaller: t or 1?
t
Let o = -0.309 - -0.409. Let y = -9 + 29. Which is smaller: o or y?
o
Let r = 340.022 + -0.022. Is r at least -2/9?
True
Let i = 12 + -9. Let m be (-78)/i + -2 - -1. Let l be ((-4)/10)/(m/(-45)). Is l at least -1/4?
False
Let j = 37 + -36. Let t be (3 - j)/(-1) + -2. Let k be 2 - 5/((-10)/t). Which is smaller: k or 28?
k
Let a(g) = g**3 - 13*g**2 - 12*g - 29. Let o be a(14). Let b be (4/8 + o/(-2))*11. Which is greater: 0.1 or b?
b
Suppose 0 = 465*g - 458*g + 1176. Is g at most as big as -168?
True
Suppose 0 = -49*p + 24 - 73. Which is bigger: p or 21/145?
21/145
Let g = 1418 + 1010. Let k = -461319/190 + g. Which is smaller: 0 or k?
0
Suppose -3*a = 2*h - 14 + 3, 2*a - 2*h - 4 = 0. Suppose -4*q - 30 = -5*i, -3*q = a*i - 6*q - 15. Is i smaller than 29/3?
False
Suppose m = s - 4*s + 22, 4*m - 4*s - 72 = 0. Suppose 4*p - b + m = 0, 4*p + b = -b - 34. Let z be 12/(-8) + p/(-4). Does 8 = z?
False
Let x = 19 + -19. Let p = 0.75 + x. Which is bigger: 0.1 or p?
p
Let o = -866 - -2552/3. Let h = o + 328/21. Let c be ((-12)/14)/6 + 2/(-7). Which is smaller: h or c?
c
Let r = 42 - 4. Let y = r - 23. Which is greater: -1/3 or y?
y
Let h be 8/(-40) - ((-712)/(-10))/4. Which is smaller: h or -14?
h
Let v(w) = w - 15. Let f be v(16). Let t be 5 + 3/f + -1. Let m = -2 + t. Is m greater than or equal to 0.3?
True
Let h be 5999/(-77) + 4 + (-4)/(-2). Let w = -72 - h. Are w and -1 unequal?
True
Suppose 1 = -s + 14. Suppose 3*c - 27 = -d, 5 = -32*c + 33*c. Does d = s?
False
Let g be 848 + (-4)/(-4)*-2. Let p = -18609/22 + g. Suppose 0 = 2*w + 1 - 3. Is p smaller than w?
True
Let c(f) = 2*f**2 - 4*f + 3. Let q be c(2). Suppose 2*a + q*x = 4*a + 18, 0 = -4*a - 5*x + 8. Let m be 20/a + 45/15. Is -4 greater than m?
False
Let v = -11 - -11. Let s(c) = c**3 + 5*c**2 - 5*c + 8. Let k be s(-6). Suppose 2 = -4*g - k. Which is greater: v or g?
v
Let m(n) = -3 + n**2 + 8 + 2*n + 5*n. Let w be m(-7). Suppose -w*s - f = -1 - 2, 3*s - f = 5. Is -1 < s?
True
Let t be 22/1375*(-30)/(-3). Which is smaller: t or 0?
0
Let o be 186/(-9) - 5/15. Let w = 18 + o. Which is greater: w or 0?
0
Let y = 8.03 - 0.03. Let b = 44 + -52.1. Let i = b + y. Which is smaller: 2 or i?
i
Let g = -13/16 - 75/16. Let m be (20/8)/(3/(-6)). Are m and g equal?
False
Suppose -55 + 319 = -12*d. Which is bigger: 1 or d?
1
Suppose -a - 36 = -3*a. Suppose 8*r - 3*k - 51 = 5*r, 3*k = -5*r + 101. Are a and r nonequal?
True
Let j be (8/(-12))/((-5)/(75/(-10))). Which is greater: j or -6/341?
-6/341
Let p = -10.5 + -5.5. Let m = -16.2 - p. Which is greater: m or 5?
5
Let m be (-8)/(-14) - (-48)/14. Suppose 2*v - 14 = -m*x, -2*v - 22 = -5*x - 3*v. Is 2 less than or equal to x?
True
Let a(f) = -6*f + 1. Let d be a(-1). Suppose 2*o + 1 = p, 3*o - 11 = d*p - 3*p. Which is greater: p or -7?
p
Let g be 1 + ((-372)/46 - -7). Which is smaller: g or 1?
g
Suppose -3*o + 20 = 5*s, -2*s = 4*o - 3*s - 42. Suppose -j + 1 = o. Let h = 6 + -14. Is h < j?
False
Suppose 5*k + o - 15 = k, 0 = k + 5*o + 1. Let t be ((-2)/6)/(1/3). Let z be t + (-4)/(-2) + 2. Which is smaller: k or z?
z
Suppose 8*c - 16 = 96. Which is bigger: c or 21?
21
Let h = -0.1 - 4.9. Let c = -8 - h. Is 1/5 > c?
True
Let c = 8 + 85. Let k = c + -60. Does 0.1 = k?
False
Let a = -3 - -7. Suppose n = -a*n + 10. Suppose n*z - 3 = 5. Is 4 at least as big as z?
True
Let j = -64.47 - -64.3. Let n = 28 + -30. Is j at least as big as n?
True
Let m = 1/275 + -9083/2200. Are -5 and m equal?
False
Let s = 1546/3 - 510. Is s at most 5?
False
Let h(b) = -b**2 - 11*b - 3. Let k be h(-4). Let x = k + -25. Is x bigger than 2/97?
False
Let m = -5718/4667 + -2/359. Are -2 and m equal?
False
Let z be (-6)/(-168)*10 + (-1)/4. Let y(j) = j**3 + 7*j**2 + 6*j + 1. Let x be y(-6). Does x = z?
False
Let t be (27/(-260))/(387/(-1032)) - 1/5. Let a be 4/10 + (-2 - -2). Which is smaller: a or t?
t
Let h(f) = -5*f - 1. Let i = -1 - 5. Let t be h(i). Is 30 smaller than t?
False
Let t = 347/3458 + 2/133. Suppose 13*j - 58 = -71. Is t at least j?
True
Let a(w) = w**2 - 22*w - 113. Let q be a(-5). Let t = 39/92 + -4/23. Which is greater: t or q?
q
Let l be 30/40 + 2892/(-16). Which is bigger: -178 or l?
-178
Let z(r) = r + 10. Let u be z(-10). Suppose u = -0*l - 5*l + 25. Suppose 0 = -5*b - l - 0. Is b less than -3?
False
Let t be -7*(5 - 4/(-28)*-37). Suppose -5*z + 27 - 106 = 4*w, 5*z - 3*w = -72. Let a = z + t. Is -13 equal to a?
True
Let t = 11.151 - 0.151. Let x = 1.53 + -0.03. Let b = 0.5 - x. Which is smaller: b or t?
b
Let h be 4/10 + 528/(-1331). Let r = -1236/7865 + h. Let o be (0 - (1 - -3)) + 3. Which is greater: o or r?
r
Let p be ((-70)/(-6))/((-3)/(-9)). Let c = -30 + p. Suppose -c*u - 46 = -4*l, 4*u - u = 5*l - 51. Which is bigger: l or 15/2?
l
Suppose -96 + 140 = -2*q. Are q and -17 unequal?
True
Let o = 0.04 + -0.04. Let c = -0.02 + o. Which is smaller: -2/9 or c?
-2/9
Suppose -10*g - 6 = -8*g. Let v(u) = -u**2 - u + 1. Let i(q) = -q**3 + 14*q**2 + 17*q - 17. Let j(o) = i(o) + 6*v(o). Let f be j(9). Which is greater: f or g?
f
Let x = 98.01 - 98.41. Let r = 3 + -5. Let y = r + 1. Is x at most as big as y?
False
Let g = 20/91 - -1347/910. Let f = 3/2 - g. Are f and -1 non-equal?
True
Let k = 28030127 - 10791580328/385. Let z = k - 241/5. Which is smaller: z or 0?
0
Let j(w) = -w**2 + 44*w - 284. Let r be j(36). Is r at least -10.3?
True
Let a be (-8)/52 + (-11)/13. Let c be a/(3 + 7/(-2)). Let p be (8/4)/(0 + c). Which is smaller: -1 or p?
-1
Let u = -96 - -107.8. Let i = u - -0.2. Let j = i + -12. Which is bigger: j or -0.1?
j
Let t be (-20)/90 + ((-460)/36 - -1). Which is greater: t or 1?
1
Let s = 0.2174 + -243.2174. Is s smaller than 0.1?
True
Let u(y) = 37*y + 38. Let x be u(-1). Is x less than 1/30?
False
Let i = -207/5 - -1019/25. Are i and 0 equal?
False
Let m = -1 + -23. Let o(j) = j**2 - 9*j + 19. Let x be o(8). Let u be (x + -1)*(-40)/16. Is m equal to u?
False
Let x be (-642)/(-120) + (-2)/(-5). Let p(b) = -2*b**2 + 133. Let z be p(8). Is x less than z?
False
Let h(m) = m**3 + 2*m**2 - 3*m - 3. Let w be h(-2). Suppose -36 = 6*q - 4*q + 2*f, 2*q = w*f - 61. Is -22 < q?
False
Let r = 43.56 + -14.89. Let j = 29 - r. Which is bigger: j or 2?
2
Let a be ((-7)/(49/(-273)))/(4/28). Which is smaller: 272 or a?
272
Suppose 25*s = 30*s - 5. Suppose -4*t = -3*t + 5*u + 44, 110 = -2*t + u. Let k be 3/(t/(-34)) - 2. Is k greater than or equal to s?
False
Suppose g - 3 = -2*g. Let d = -650.3 - -650. Which is smaller: g or d?
d
Let w(s) = s**3 - 10*s**2 + 12*s - 7. Let v be w(9). Let b be (8/v)/((-3)/(-150)). Let t = 29 - b. Is 10 less than or equal to t?
False
Let l = 0.5 - -4.5. Let x(d) be the first derivative of d**4/4 + d**2/2 + 2*d - 4. Let s be x(0). Which is bigger: l or s?
l
Suppose 3*i - v + 3 = 5*i, 3*v + 6 = -i. Suppose -i*f - 2*a = -591, -7*f + 795 = -3*f + 5*a. Let h = -1361/7 + f. Does h = 2?
False
Let p = -241 + 241. Let i = -6 + 4. Let d = 1 + i. Is p greater than d?
True
Let x(d) = 2*d - 3. Let w be x(-2). Suppose -2 - 7 = -3*z. Suppose z = -c - 5. Which is bigger: c or w?
w
Let k = 19/21 + -4/7. Which is smaller: k or 115?
k
Suppose -3*s - 3*k = -21, 0*s = -2*s + 2*k + 2. Suppose 0 = c + 5*j + s, -5*j = 22 + 3. Let g be ((-33)/7 + -1)/((-48)/168). Which is bigger: g or c?
c
Suppose -8 = 4*m, 4*j - 4*m + 6*m = 4. Suppose -2*k + 7*k = -o + 97, -o = j*k - 40. Suppose -3*c + 2*b = k - 4, 0 = 4*c - b + 20. Which is greater: c or -32/5?
c
Let f be ((-5)/(-10))/((-5)/(-40)*-10). Let s = -6.08 + 0.08. Which is greater: f or s?
f
Let t(c) = c**2 + 19*c - 47. Let w be t(-23). Do 41 and w have different values?
True
Let x = -3 + 14. Suppose -2*r - 7 = -x. Whi