Which is smaller: h or g?
h
Suppose 4*w - 4 = 4*y, 40 - 78 = -3*w - 4*y. Are w and 9.1 non-equal?
True
Let m(h) = -h**2 - 45*h + 2572. Let z be m(-78). Which is smaller: z or -107/49?
-107/49
Let p = -0.051 - -0.153. Let l = -0.037 + p. Let g = -0.335 - l. Which is greater: g or -9/7?
g
Let c(g) = -8*g - 258. Let h be c(-31). Let v be (-2*(-12)/h)/((-48)/(-640)). Which is smaller: -157/5 or v?
v
Let r = 99.459 - 98.8. Let y = r + 0.341. Let s = 42 + -29. Is y at least as big as s?
False
Let g = 3718 - 3718.033. Which is bigger: g or -2?
g
Let s be (-5 + 4)*0 - 30/93. Let c = 91/186 + s. Suppose 3*z + 5 = 20. Which is greater: z or c?
z
Let c be 6/22*(4872/(-64))/(-21). Let w = c + -5/8. Which is bigger: -1 or w?
w
Suppose -5*f - 4081 = 2*h, -5*h - f - 4091 - 6123 = 0. Which is smaller: h or -2041?
h
Let k = 11.97 - -0.83. Let r = -12.9 + k. Suppose 4*c + 16 - 72 = 0. Which is smaller: c or r?
r
Suppose -671 = 4*w - 3*d, -w + 13*d - 161 = 10*d. Let g be 1/(-4) - w/40. Let q = -4/11 + 137/44. Which is bigger: g or q?
g
Let h be 150282/210434 + (-1115)/1561. Which is greater: -1 or h?
h
Let v = -1714 + 10367/6. Let x be (-2 - (-150)/72)/((-198)/33300). Let p = v + x. Which is greater: -0.8 or p?
p
Let b be (-19 + 19)/(1*1/1). Suppose -5*n + 35 = -5*r, b = n - r - r - 11. Is n greater than or equal to -1?
True
Let s = -14974 - -14975. Which is smaller: s or -2404?
-2404
Let q = -143 - -240. Suppose -3*o + 296 = -25*p + 24*p, 0 = -4*o + 3*p + 403. Is o > q?
False
Let c = -10877 + 10891. Which is smaller: -2 or c?
-2
Let t be -4 + (-30)/(-6) - 561/(-18). Let d = t - 65/2. Which is smaller: d or -1?
-1
Let y(k) = -k**3 - 3*k**2 - 5*k - 12. Let b be y(-4). Let j = 61 - 51. Suppose c + 4*c = -x + j, c - 22 = -x. Which is smaller: x or b?
b
Let o(t) = t**3 - 25*t**2 - 54*t - 23. Suppose 0 = 39*z - 33*z - 162. Let w be o(z). Which is smaller: w or -24?
-24
Let r be (-7644)/130*((-20)/6 + 0). Suppose 0 = -c + 8*c - r. Which is bigger: 32 or c?
32
Let m be ((-2460)/(-1039760))/(3/2*2/(-7)). Are m and 1 nonequal?
True
Let p = 7.78894 - 7.82. Which is greater: p or -2?
p
Let h be (-9 - -10)/((-3)/3). Let x = -3415/4 - -864. Let u = 7085/692 - x. Which is smaller: u or h?
h
Let p be (-226)/103395*1/(-11). Is -1 equal to p?
False
Let t = -3.775 + 33.775. Let a be (1 + 11)*26/39. Which is greater: a or t?
t
Let d be 12/(-20) - (173/(-5) + -4). Let v be -1 + 6 - (-13 + d). Is v > -20?
False
Let p = 8578 + -8578.1. Which is bigger: p or -1714?
p
Let s = -329 - -339. Let g be 14/s + (-102)/5. Is g less than or equal to -29?
False
Let a(p) = p**3 + 13*p**2 - 15*p + 2. Let c be a(-14). Let g be ((-18)/792)/((-2)/c). Which is smaller: g or -5?
-5
Let v = 7230 - 7315. Is -6 <= v?
False
Let s = 1415 - 1411. Let h = -5.84 - 0.16. Let l = 2 + h. Is s greater than or equal to l?
True
Let v be 70/(-4) + (-9)/(-6). Let t = v - -16. Let z = -847 - -10171/12. Is t less than or equal to z?
True
Suppose 2*l + 12 = k, 0 = k - 4*l - 10 - 10. Suppose -6*j + j - 3 = -2*u, 2*j - 2 = k*u. Which is smaller: j or 2/69?
j
Let l = 32.68 - 112.64. Let d = -80 - l. Are -1/3 and d unequal?
True
Suppose 5*j + 4*c - 9*c + 30 = 0, 0 = -3*j + c - 22. Let k be ((j - -3)*1 + 6)*-14. Is k less than or equal to -102/7?
False
Let m = -32 - -35. Suppose 3*j - m = 0, -4*j + 161 - 55 = 3*y. Is 34 greater than or equal to y?
True
Let x = -3 + 3.05. Let b = -17618 + 17854.91. Let t = b + -237. Is t < x?
True
Suppose n - 322 = 8*n. Let h be (-62)/(-24) + n/(-138). Is 3 less than h?
False
Let t = 0.2857 + 228.6143. Let b = t - 229. Which is greater: -49 or b?
b
Suppose -1598 = 9*g - 1553. Is g greater than or equal to -175?
True
Let j = 0.2288 - 1248.2288. Is 1 at most as big as j?
False
Let s = 25292454908178934/85059 - 297351895844. Let w = s - -2/9451. Is -4 <= w?
False
Let s(n) = -3*n**2 + 9*n - 48. Let l be s(0). Let i = 94/7 + -1699/28. Is i bigger than l?
True
Let o be ((-2)/(-50))/(8/870). Let l = 1525/4 + -386. Let n = o + l. Which is greater: n or -2?
n
Let s(g) = -5*g**3 - 17*g**2 - 5*g + 7. Let o be s(-3). Suppose o*j - 1386 = -5*v + 7*v, 3*j + 5*v = 1072. Do j and 350 have different values?
True
Let k be (1/(-3))/((-2)/(-6)). Let h = -2.798 + 2.868. Which is smaller: k or h?
k
Suppose 5*m - 6 = 4*m. Let a be m/4 - (-12)/8. Suppose -100 = -a*f - 88. Is f <= 0?
False
Let s = 0.8 - 0.774. Let m = -0.793 - -2.819. Let a = m - s. Do a and 7 have different values?
True
Let d(g) = -g - 7. Let u be d(-6). Is u not equal to -1/2125?
True
Let s = -3056 + 13007. Which is smaller: s or 1?
1
Let a = 232 + -86. Suppose 145*z + 61 = a*z. Is 61 bigger than z?
False
Suppose 0 = 22*s - 21*s - 46. Suppose 0 = 20*v - 6 + s. Which is smaller: 17 or v?
v
Suppose 157522 + 11258 = -290*x. Is -607 < x?
True
Let l be 4/((-8)/6) + 6. Suppose -l - 15 = -18*i. Let n = -575/9 - -64. Which is bigger: i or n?
i
Let u(b) = -b**3 + 9*b**2 - b + 21. Let j be u(9). Let y be ((-3)/j)/(237/24). Is 0 at most as big as y?
False
Let h = 2.33 - -4.27. Let g = h + -6.552. Which is greater: g or -1/6?
g
Let s = -12588.09 - -12588. Is s > 200?
False
Let x = -8065 + 8066. Let f = -154945 - -10070962/65. Let v = f + -53/13. Which is greater: v or x?
x
Let s be 15 + 3 - (1 - -4). Let j = 806 + -3167/4. Which is smaller: j or s?
s
Let f = -7.896 - -0.296. Let x = -73/12 - -23/4. Does f = x?
False
Let h be -3 - 2/(2/(-32)*1). Let r be h - (0 + -9)*(-3)/9. Which is smaller: r or 27?
r
Suppose 0 = 10*s + 391 - 391. Which is greater: -6/215 or s?
s
Let z be 148/11*(-307 - -304). Is z >= -41?
True
Suppose -4*i + 3683 + 829 = 4*x, -x + 1104 = 5*i. Which is smaller: 1136 or x?
x
Suppose -5*j = 3*d - 936, 8*j - 1544 = -5*d + 5*j. Which is bigger: d or 310?
310
Let y(d) = -d**2 + 4*d + 3. Let k be y(5). Suppose -n - 29 = -2*n. Let j be 1 + (2 - n/8). Which is greater: j or k?
j
Let v = -1000 - -997. Let q = -5 - -4. Is v <= q?
True
Let k be (-407)/44 + 3*-2 + -2. Let l = -53 - -35. Is k smaller than l?
False
Suppose -3324*c = -3333*c + 2007. Is c != 224?
True
Suppose 67*j - 18*j = 236*j - 638979. Which is bigger: j or 3418?
3418
Let g be (-50*(2 - -1)/(-3))/(-1). Let v be 30/g - 3/(-5) - -181. Let z = 5971/33 - v. Is z < 0?
True
Let i = -311927/328 - -951. Let h = -499/2296 + i. Which is smaller: -1 or h?
-1
Let n = 22.63 + -23. Let f = n - 16.63. Let y = f + 17.3. Which is greater: -0.3 or y?
y
Let v = -0.089 - 0.145. Let x = 0.004 + v. Let w = x + 0.73. Are w and 1/2 non-equal?
False
Let v = -11708.2 + 11708. Which is smaller: -1630/3 or v?
-1630/3
Let i(s) = 4*s - 140. Let r(j) = 3*j - 93. Let w(k) = 5*i(k) - 8*r(k). Let u be w(11). Suppose 0 = -4*a - a - u*a. Which is smaller: a or 3/4?
a
Let g = -75 - -891. Let r be (-2)/17 - 13096/g. Let j = r + 45/2. Is 6 >= j?
False
Let x = -9512 + 9487. Which is smaller: 1/41 or x?
x
Let z be ((-1098)/12)/((-39)/(-18) - 2). Let f be (z/282 - -2)*12/165. Is f at least -1?
True
Let i = -6866 + 6863. Is i at most 12.62?
True
Let d = 100307043/6023 - 16654. Which is smaller: 0 or d?
0
Suppose -28*h = -25*h + 3. Let c be (33/12)/((-265)/(-260) + h). Is c <= 143?
True
Let l(t) = 54*t + 14. Let k be l(3). Suppose 10*x = -224 - k. Suppose -4*f = 4*a + 164, 4*f + a = -68 - 96. Which is bigger: f or x?
x
Suppose -5*x - 6*z - 105 = -4*z, -5*z = 2*x + 21. Let c = 17 + x. Which is greater: c or -52/9?
-52/9
Let k = 4974 + -2692. Is k at most 1?
False
Suppose -4*w + 30*t - 33*t = 13, -w + 4*t = -11. Does -1374 = w?
False
Let z be -2*(4 - (-1 + 6)). Suppose -26 = -h - 4*n - 5, z*h + 2*n = 36. Which is greater: h or 20?
20
Let b(c) = -3*c**3 - 5*c**2 - 5*c - 2. Let y be b(-2). Suppose 5*w = w + y. Suppose 0*o - w*o - 20 = s, -5*o = -5*s - 20. Is -7 bigger than s?
True
Let u(z) = 46*z + 1322. Let l be u(-21). Is 360 greater than or equal to l?
True
Let g = -3806.0615 + 3806. Which is bigger: g or -2?
g
Let r(z) = 14*z + 37. Let h(y) = 3*y + 35. Let p be h(-20). Let f be r(p). Does f = -313?
True
Let j be (3/(-9))/((-4)/336*-4). Let l(z) = -4*z - 3. Let w be l(-2). Suppose a + 1 = 4*v - 5, 2*a + 12 = w*v. Which is smaller: j or a?
j
Let v be (0/(-3) + -2)*8. Let c(k) = k - 34. Let p be c(12). Let f = p + 23. Is v < f?
True
Let d = -123.8998 - 0.1002. Which is smaller: 65 or d?
d
Let m(j) = -25*j + 1. Let i(x) = -x**2 + 1