 Is -0.3 bigger than h?
False
Let d = -12 + 22. Suppose 33 = 5*k + 3. Let s be k/10*(-45)/(-3). Which is bigger: d or s?
d
Let h = 67 + -99. Let p be 8/h + -45*(-1)/4. Suppose -2*g + 4*g = 18. Which is smaller: g or p?
g
Let q = -1054 + 1050. Is -0.5 less than or equal to q?
False
Let b = -18786/17 - -1105. Suppose 0 = 3*z - 2*z - 1. Suppose 4*a = -3 - z. Which is smaller: b or a?
a
Suppose 2*u - 88 = -4*k, 68*u - 64*u + 13 = k. Is k at least as big as 25?
False
Let y = 25 - 15. Let f = 9.1 - y. Let p = f - -2.9. Is p < -2?
False
Let m be (1/2)/((-6)/(-1212)). Suppose g + 5*i = 6*g + 525, g = -3*i - m. Is -104 greater than or equal to g?
True
Suppose -8*j = -21*j + 1053. Which is smaller: 80 or j?
80
Let o be 3 + 1 - (839 + 9)/2. Is -420 less than or equal to o?
True
Suppose -22*j + 24*j = -12. Let b(c) = -4*c - 26. Let w be b(j). Suppose -3*g = 7 + 2. Is w greater than g?
True
Suppose 0 = -11*q + 2726 + 2598. Which is smaller: q or 485?
q
Let r = 2 + -12. Let m(z) = 29*z + 153. Let q be m(-5). Let x = q + r. Which is bigger: x or 0.4?
0.4
Let d be ((-969)/171)/((-2)/6). Which is greater: 190/11 or d?
190/11
Let g = -6.217 - -6.2. Let h = g + 0.017. Which is bigger: 2/7 or h?
2/7
Suppose 21*t - 144 = 17*t. Let i be t/(-272) + 3/12. Suppose -2*c + 3 = -5*p - 0, 3*p - 23 = -5*c. Which is smaller: p or i?
i
Let w = -59 - -23. Let u = 1012 - 1012. Which is greater: u or w?
u
Suppose x = 5*h - 28, 0 = -x + 2*x - 4*h + 24. Let k be 1*(-2 - 0 - x). Let b = k + -6. Are -1/10 and b nonequal?
True
Let t(x) = 10*x + 142. Let b be t(-17). Is b smaller than -28?
False
Let q = -1 + -1. Let y be (-2 - 0) + -2 - q. Let s = 1749/35 + -354/7. Are s and y non-equal?
True
Let i be 30/(-4)*((-9)/5)/((-36)/(-48)). Let f = 325 - 1225/4. Is f less than or equal to i?
False
Let l = 53.8 + -306.8. Is -0.1 equal to l?
False
Let l(m) = 3*m + 3. Let c(b) = -5*b - 7. Let t(s) = -4*c(s) - 7*l(s). Let p be t(10). Which is smaller: p or -1?
p
Suppose -4*j - 20 = -0*j, -4*j - 27 = m. Let a(v) = -v - 18. Let c be a(m). Is -12 not equal to c?
True
Let d be 3/(18/4) - (-688)/48. Let t be (12/d)/(-2) + 26/90. Is t at least -1?
True
Let o = 2 - 2.1. Suppose -357 = 5*k - 187. Which is smaller: k or o?
k
Let i = 19.95 - 1.75. Let o = i + -18. Which is smaller: 0.07 or o?
0.07
Suppose -10 = 2*n, -c + 0*n - 2*n - 356 = 0. Is 1 >= c?
True
Let u = 53/22 + -10/11. Let o = 25 + -22. Are o and u unequal?
True
Let a(h) = 5*h**2 + 30*h - 10. Let k be a(-6). Let v = 24 + k. Let g = 30 + -16. Is g not equal to v?
False
Let r = 151909 + -953228977/6275. Let i = -181987/37650 - r. Which is smaller: -5 or i?
-5
Let c = -376/765 - -4/85. Which is bigger: -1 or c?
c
Let p(h) = -h - 13. Let d = -21 + 11. Let u be p(d). Let g be u - 97/33*-1. Is g less than 0?
True
Let y = 16.82 - 16.2. Which is smaller: y or 1?
y
Let i be 2/(-1 - 1) - -3. Suppose -64 = 2*w + i*w. Is -16 < w?
False
Let k be (-130)/(-42)*((-513)/(-190))/27. Which is smaller: 0 or k?
0
Let p(t) = t**2 - 14*t + 33. Suppose -7*v - 7 + 56 = 0. Let n be p(v). Is -18 bigger than n?
False
Let p = -230.508 - -230.5. Is -0.1 > p?
False
Let s = 4.58 - -0.42. Let z = s - 3.4. Which is smaller: -2 or z?
-2
Let a = -7 - -31. Suppose 3*j + 23 = q - a, -5*j - 57 = -q. Is 31 <= q?
True
Let y be -1*442/(-222) - 2. Let b = 233/1221 + y. Let f = 6 + -5. Is b equal to f?
False
Let b = 20 - 26. Suppose 5*v - 30 = v + s, -5*s - 24 = -2*v. Let y = b + v. Which is greater: -6 or y?
y
Let w be (-173)/5 + (-9)/(-15). Let u = 41 + w. Which is bigger: u or 8?
8
Suppose -9*g + 7*g = 2*g. Which is smaller: g or -4/67?
-4/67
Let k be (-4)/(-14) + 38/14. Let g = 1939 + -17437/9. Is g at least k?
False
Let m = 6 + -3. Suppose 3*p = 4*p - 3. Suppose -m*q - 13 = 4*i, 3*q + 5*i = p*i - 5. Is 0 != q?
True
Let i = 12 + -10. Suppose -3*g - 90 = -2*j - 0*g, -i*g = -4*j + 188. Let b be (2/18)/((-6)/j). Which is bigger: b or -2?
b
Let p be (-11)/(3/(-9)*-3). Let v = 7 + p. Let q = -3 + v. Which is greater: q or -8?
q
Let y = 72 - 72. Let i = -2/5 - y. Is 1 greater than or equal to i?
True
Suppose 0 = -3*o + 3*t + 21, -2*t = -o + 2*t + 16. Suppose i = -5*v + 169, -5*v + 0*i + 166 = o*i. Suppose -10 - v = -4*l. Which is smaller: l or 12?
l
Let s = 177292/482895 + 2/9855. Which is smaller: s or -1?
-1
Suppose 5*g = -2*u + 13, -4*g = 4*u + g - 11. Let x be (11 + -11)/(u/(-1)). Suppose 3*y + 5*k - 5 = x, 3*k = -y + 4*y + 3. Is y at most as big as 1.8?
True
Let k = -10566/901 + 200/17. Which is greater: 1 or k?
1
Let w(k) = k**3 - k**2 - 3*k. Suppose 0 = -6*h + 4*h + 4. Let a be w(h). Is -5 greater than or equal to a?
False
Let y = 100.87 - 100. Let r = 0.17 - y. Let b = 98 + -99. Is r bigger than b?
True
Suppose 5*d + 293 = l, -7*d + 879 = 3*l - 3*d. Is l at most 292?
False
Let l = 168 - 167.9. Which is bigger: l or -44?
l
Let b = 0 + 2. Suppose -2*x - y = -0*y + 37, 3*x - 3*y + 78 = 0. Let j be -3 - (6/x - 314/126). Is j at most as big as b?
True
Let r = -0.416 - 0.104. Let f = -0.72 - r. Let i = 2/189 - 8/27. Which is smaller: i or f?
i
Let j = -309 - -2473/8. Which is greater: 1 or j?
1
Suppose 0 = -m + 3*z, 15 + 2 = -5*m - 2*z. Is -14/9 equal to m?
False
Let j(s) = s**3 - 19*s**2 + 33*s + 14. Let v be j(17). Which is greater: v or -53?
v
Let v(b) = b**3 + 5*b**2 + b + 1. Let q be v(-3). Suppose k + 3*k = q. Let f be k/(-6) - 4/(-15). Is -3/4 < f?
True
Let c be (-1840)/(-264) - (6 + 1). Is 1 at most c?
False
Suppose -20 = 5*b - b. Let l be -3 + (b - 0) + 3. Let k be (-4)/(-6) - l/(-15). Is k less than -4/7?
False
Let w be (2/9)/(3/27). Do w and -53 have different values?
True
Let c(l) = l**3 + 5*l**2 - 7*l - 10. Let x(g) = g**3 + 5*g**2 - 6*g - 9. Let n(r) = 5*c(r) - 6*x(r). Let o be n(-5). Is -6/11 > o?
True
Let t be 2/3 - 16/6. Let k = -212 + 124. Let a = -266/3 - k. Which is bigger: a or t?
a
Let z be 9*(-1 - (-4)/18*7). Suppose -9*x = -3*q - 4*x + 38, 3*x = -2*q + 19. Let k = 16 - q. Are z and k nonequal?
False
Let x be (213/(-69) - -3)/(-2). Suppose -12*k - 8*k - 20 = 0. Which is bigger: x or k?
x
Suppose -2*c = 3*l - 3, 4*c + 1 = -5*l + 10. Suppose -4*g + g + c = 0. Is g greater than 1/3?
True
Let n = -2.6 - -2.98. Let p = -0.18 + n. Is 0.3 <= p?
False
Let q be 3/((-15)/20) + -8024. Let o = q - -2432482/303. Which is bigger: o or -1?
o
Let l = 56 - 52. Suppose 5*f = 9*f + l*v, 0 = 3*f + 2*v - 1. Let h be 4/31*(-3)/6. Is f at least as big as h?
True
Let n be (2/(-9))/(10 + -9). Let c = -145 + 583/4. Which is smaller: c or n?
n
Let m = 4/253 - 14429/506. Is -30 equal to m?
False
Let k = -11 - -5. Let f(w) = -w**3 + 3*w**2 + 4*w - 6. Let x be f(4). Let l = k - x. Is 2/23 equal to l?
False
Let n = 4.9 + -5. Let k be (-476)/(-525) + 2/(-3). Let u = -61/150 + k. Which is smaller: n or u?
u
Suppose 3*m = -2*w - 12, 3 = 3*m - 2*w + 15. Suppose 17*t + 48 = 15*t. Let i be (t/84)/(2/m). Which is greater: 0 or i?
i
Let p(b) = -b**2 + 5*b + 2. Let f be p(5). Suppose -f = 5*d + 8. Which is smaller: d or 2/7?
d
Let f(l) = 6*l + 3. Let c be f(-4). Let o be (-2)/3 + (-182)/c. Let m = -10 + o. Is 2 less than m?
False
Let u = -0.043 - 0.767. Let i = 0.89 - 0.7. Let t = u - i. Is t greater than -3?
True
Let s = -341 + 341.2. Which is bigger: s or -0.07?
s
Let p = -336 + 108. Is p bigger than -229?
True
Suppose 4*g + 16 = 0, -4*d - g - 244 = -0*d. Let h be (-5)/d*12/9. Which is smaller: 11 or h?
h
Let n = -837.81 - -838. Is -7 greater than n?
False
Let k be 2040/63*((-8)/(-2) - -2). Suppose -5*v + 1149 = 179. Let p = k - v. Which is greater: p or -0.2?
p
Let v = 22/345 + 2278/345. Let c(w) = -w + 2. Let r be c(-5). Is v greater than or equal to r?
False
Let h(a) = -a**3 + 5*a**2 - a + 4. Let r be h(5). Let c be (-18)/(-6)*(r + 2). Suppose s - 5*i - 15 = 0, -2*s + c*i = -0*s - 2. Is -4 less than or equal to s?
False
Let p be 2 - 8 - (-31 - -6). Which is greater: 17 or p?
p
Let n = 0.33 + 19.67. Let h = 50 - 31. Let b = n - h. Is b greater than -12?
True
Suppose -5*n - 725 = 10*r - 15*r, 5*r - 735 = -5*n. Is 144 at most r?
True
Let c be (-32)/(-40)*831/2 - 2. Let n = 329 - c. Is 2 <= n?
False
Let n = -2 + 0. Let b = -367 + 367.6. Is b at least as big as n?
True
Let v be (13/(-2) - -7)/(1/(-16)). Which is greater: 1 or v?
1
Let i = -9.019 - -0.019. Let y be -4 + 4 + 2/(-6). Is y > i?
True
Le