han -6?
True
Suppose -7*g + 506 + 26 = 0. Let h = 534/7 - g. Is 124 at least h?
True
Let i = -5207 + 6356. Which is greater: 1148 or i?
i
Let h be (-1014)/1018 - 3*(-5)/15. Let f(o) = o**2 + 6*o. Let s be f(-6). Is s >= h?
False
Let a = 155512 + -155641. Suppose -4*h = 5*q + 758 - 130, -12 = -4*h. Which is bigger: q or a?
q
Suppose 54 = -14*c + 8*c. Let q be -1 - (4 + c) - -16. Is 18 at most as big as q?
True
Suppose -8 = -20*f + 32. Let x be (f/(-20))/(-1) - 62/820. Which is greater: x or -1?
x
Let m = -0.38215 + 0.05215. Which is bigger: -76 or m?
m
Let u = 11.3 - -1.3. Let x = 8 - u. Let v = -0.6 - x. Which is bigger: -0.09 or v?
v
Suppose 3*i = 10*i - 35. Suppose -i*l + 137 = -63. Let w = l - 202/5. Which is smaller: 7 or w?
w
Let p = -622/17 - -56636/1547. Let z = 0 - 1. Is z less than or equal to p?
True
Suppose 3*f + 5 = -4*s, f + 18*s = 23*s + 11. Which is greater: -4/1007 or f?
f
Let h = -11747 + 11636. Which is bigger: -1345/12 or h?
h
Suppose 17*p - 16*p = 471. Suppose p = -11*w - 519. Is w at least -89?
False
Let w(j) = j**3 - 10*j**2 + 20*j - 25. Let y be w(8). Let p be ((-5)/2010)/(y/28). Is 1 greater than or equal to p?
True
Let m = -2084 + 713. Is -1375 greater than or equal to m?
False
Suppose 0*a + 4*a + 4*r + 108 = 0, 4*a - 3*r + 143 = 0. Let o = a + 42. Let c be (-1 - -1)*(-2)/(o - 4). Is c >= 1/19?
False
Suppose 34 = 17*v - 16*v. Suppose 31*m - v*m + 87 = 0. Do 30 and m have the same value?
False
Suppose -3*a - 6 = -2*f, 4*a - 2 = 5*f - 3. Suppose 13*p + 38 = 32*p. Suppose 4*m = -p*l - 22, -2*l + 6*l + 20 = 0. Is m bigger than f?
False
Let q = -14193 - -57183598/4029. Does q = 1?
False
Let o(b) = -2*b**3 - 9*b**2 + 90*b - 24. Let z be o(6). Is z at most 6?
True
Let f(g) = -26*g - 21. Let i be f(9). Let o be 36/24*(-4)/i. Is o > -1?
True
Let w be (12/(-14))/(16/387856). Let j be (-405)/24*w/375. Let z = j - 935. Which is smaller: z or -1?
-1
Let g be 3/2 - (-8)/(-112)*303. Let o = g + 20. Let y = 3 + -2. Is y bigger than o?
True
Let o be 87/4 + 6/(-8). Suppose 5*w - 93 = -3*x, -2*w + 40 = -18*x + 22*x. Is o greater than w?
True
Let y(f) = f**2 - 12*f - 7. Let d be y(10). Let q = -15 - d. Suppose 608 - 728 = -10*a. Is a at most q?
True
Let s be 1044/24 - ((-12)/(-8))/(-3). Which is smaller: s or -1/5?
-1/5
Let q be 2/(-3 - 684/(-246)). Let h = 80/9 + q. Is -28 greater than h?
False
Suppose 1776*b + 2912*b - 375077 = 169*b. Let v = -185/21 - -1921/21. Is v at least b?
False
Suppose -5 = 2*c - w, -8 = -5*c - 5*w + 2. Let o be 2/3 + 22532/(-3792) + 5. Let h = -2/79 - o. Which is bigger: h or c?
h
Let n = 5/13 - 38/65. Let g be 2/1*(4 - (-774)/(-20)). Let t = -69 - g. Is t bigger than n?
True
Suppose 0 = -6*j + 2*j + 144. Let u = j - 32. Suppose -4*l = -9*w + u*w - 54, w + l + 18 = 0. Are w and -1 non-equal?
True
Suppose 0 = 3*d - 5*d - 4. Let k = 0 + d. Let u = -126131 + 126125. Is u not equal to k?
True
Let m = 0.08135 + -0.04035. Which is smaller: -130 or m?
-130
Suppose -y = -a - 3, -y + 3*a - 1 = -10. Suppose -5*k + 10 = y, c + 24 = 2*k - 5. Which is greater: c or -24?
-24
Let o be 28*3/(-14)*8. Let y = -472 + 425. Let p = y - o. Is -3/11 > p?
False
Let a be ((-205)/1025)/(2/(-10)). Are a and 2/7921 equal?
False
Let t be ((-12)/60)/(408/80). Let c(w) = -4*w - w**3 + 6*w - 3*w - 15*w**2 - 14. Let b be c(-15). Which is smaller: b or t?
t
Let v = 236 - 236.1. Let l = 397 + -272. Which is smaller: l or v?
v
Let t be ((-14)/6)/((-4)/(-12)) + 948/138. Which is smaller: -0.7 or t?
-0.7
Suppose -o + 2*o = -3*w, 0 = o - 2*w. Let n = 54.33 + -54. Let z = n - 0.304. Which is greater: z or o?
z
Let r = -1062.62 + 1428.7. Let z = r + -366. Which is bigger: -3 or z?
z
Let t be 76/(26/273*7). Is 95 > t?
False
Let i be -2*((-14)/(-6) - (-901)/(-408)). Let o = -2.06 - -2. Which is smaller: o or i?
i
Let y be (-2 + 5/2)*(-12)/(-6). Let r be (-578)/(-8890) - ((-20)/25 + y). Let w = r - 1/127. Which is smaller: w or 1?
w
Let v be -4 + (-10)/(-5) + (1 - -1). Suppose v = 102*l - 100*l. Which is greater: -0.211 or l?
l
Let y(h) = -153*h - 59. Let t be y(-6). Let z = 27/13927 - -203319814/236759. Let g = t - z. Which is greater: 1 or g?
1
Let l = 232 + -232.2. Which is smaller: l or 235?
l
Suppose -s + 3*t - 4 = 0, -3*s + 5*t = -2*s + 6. Let y be -5 - (17/(-136) - (-14916)/(-3040)). Which is bigger: y or s?
y
Let n be (-3)/(-16)*13418/(-3). Let b = -840 - n. Suppose 0 = -99*u + 206*u. Which is smaller: u or b?
b
Let a = 1.16 - 1. Let g = -0.06 + a. Let w = 1553 - 1511. Which is greater: w or g?
w
Suppose 267712 = 10*w + 37*w. Which is smaller: w or 5697?
w
Let g be ((-2)/(-7))/(164/(-246)). Is g <= -273?
False
Let v = 20 + -7. Suppose v*j = 9*j + 36. Which is bigger: 17 or j?
17
Let p = 3036 - 3050. Which is greater: -12 or p?
-12
Let o(p) = -p**3 - 4*p**2 + 4*p - 4. Let h be o(-5). Let j be (4/(-394)*3)/((-123)/82). Let n = j - 465/13199. Is h greater than n?
True
Let n = -1085 - -1085. Is 1/738 bigger than n?
True
Let i = -236.293 + 236. Let t = -2.293 - i. Which is smaller: t or 0.39?
t
Let x = -34508915/1727 + 19982. Which is smaller: 0 or x?
x
Let z be ((-2)/(-1017)*2)/(573/6876). Is z smaller than 0?
False
Suppose 8 = 2*i - 26. Let w be 3*(-7)/21 - 1700/(-12). Let j = w - 124. Which is smaller: i or j?
j
Let t = -214 - -201. Let x = 89 + -68. Which is smaller: x or t?
t
Let u = -15 - -12. Let f be (-2)/u + (-292)/6. Suppose d + 144 = -2*d. Are d and f non-equal?
False
Let o(q) = 3*q**2 - 17*q + 21. Let w be (-2)/(-7) + (-528)/(-308). Let l be o(w). Is 5/51 not equal to l?
True
Let p(h) = 719*h + 1475. Let r be p(-3). Are -681 and r non-equal?
True
Let g = -4216/3 - -2753/3. Let i = -483 - g. Which is bigger: 5 or i?
5
Suppose 0*x - 5*m = -5*x + 275, -2*x + m = -109. Let n be (-3)/(x/6)*3 - 2. Which is smaller: n or -4?
-4
Let m(q) = q - 5. Let j be m(8). Suppose 2*v - 4*r - 8 = -24, 2*v - j*r + 12 = 0. Let p = -159643/87 - -1835. Which is greater: v or p?
p
Let t(i) = 2*i + 7. Let k be t(5). Suppose -o + 2*w = -8 + k, 3*o + 5*w - 6 = 0. Let q be (2 + o)*(5 - 4). Which is greater: q or 1/125?
1/125
Let r be ((-2065)/30 + 0)*6/(-21). Let q = 6617/336 - r. Is q greater than -1?
True
Suppose -8 = 3*l - l - 4*k, 4*l + 5*k - 10 = 0. Let v be -4 + 6*(-1 + 25/16). Is v at least as big as l?
False
Let h(l) = -29*l + 23. Let b be (1/2)/(1/4). Let g be h(b). Are g and -35 unequal?
False
Let i be (-105)/819 - 30/(-65). Which is greater: i or 11?
11
Let y be (342 + -66)/(6/(-4)). Which is greater: y or 4?
4
Suppose p + 3*u - 7*u = -123, 0 = 2*p - 2*u + 246. Let b = -67 - p. Which is smaller: 58 or b?
b
Let j = -2.581 - -2.24. Let b = j + 0.321. Which is bigger: 5 or b?
5
Suppose -88 = -3*u - 2*m, 4*u - 45 - 34 = 5*m. Let z be (-9)/(702/66) - 4/u. Which is smaller: z or 0?
z
Let s = 225602 + -1582092/7. Is -412 greater than or equal to s?
False
Let w = 203 + -278. Let n = 75.2 + w. Is 0.084 at most as big as n?
True
Let j = 1/358 - -23805/716. Which is smaller: j or 34?
j
Let u be ((-17)/2)/((-3)/(-4)). Suppose 15*y - 12*y - 120 = 0. Let x = 30 - y. Is u smaller than x?
True
Suppose c + 2 = -2*p, 0 = c - 4*c - 3*p - 3. Is -3/223 at least as big as c?
False
Let v be ((-30)/(-8) + -3)*(-16)/4. Let r be v/(-3) - (6/2 + -27). Suppose -z - r = -2*i, 2*z + 52 = -2*z - 4*i. Which is bigger: z or -16?
-16
Let a(u) = u**2 + 26*u + 26. Let h be a(-26). Suppose 8*l + 6 + h = 0. Are -18 and l non-equal?
True
Let o = 2316 - 2310. Are o and 2/31 non-equal?
True
Let a(p) be the second derivative of -p**5/10 + p**4/12 + p**3/6 - 43*p**2/2 + 12*p. Let s be a(0). Is s less than -222/5?
False
Let d = -41 + 158. Let h = -116 + d. Let k = -17 + 16. Which is bigger: h or k?
h
Let f(x) = 2*x - 18. Let u be f(-1). Let q be (u/(-5))/(-4)*78. Is -78 > q?
False
Let h = 14500 - 14500.1. Is 8188 greater than or equal to h?
True
Suppose -39 = -6*z + z - q, -q = -4*z + 42. Suppose 3*c + g = 3*g + 21, 0 = 5*c - 5*g - 30. Is z > c?
False
Let m = 151 + -124. Let f = -32.925 - -33. Let a = 0.025 + f. Is a not equal to m?
True
Let j = 248369/152 + -1634. Suppose -5*z - 4*h - 13 = 0, 3*h = z - 7 + 2. Is z smaller than j?
True
Let m = 29546 + -2127287/72. Which is bigger: m or -1?
m
Let p be (-217)/434*(-4)/46083. Which is bigger: -1 or p?
p
Let a = -4335 + 4335. Which is greater: -4/163