h is greater: t or -8?
t
Let u = -0.02332 + -5.97668. Is -120/11 less than or equal to u?
True
Suppose -7*j + 2*j - 135 = 0. Suppose 17*q - 80 = 140 - 16. Let y be (4/j)/((-2)/q). Is 1 less than y?
False
Suppose -2*s = -4*d - 12, 3*d + 117 - 123 = 3*s. Suppose 2*j + j + 30 = 0. Is j > s?
False
Let d = -9380 + 9334.97. Let s = d - -0.03. Let v = s - -43. Which is bigger: v or 0.2?
0.2
Let l(z) = -2*z + 22. Let q(b) = 2*b**2 - 5*b - 7. Let p be q(7). Let h = p - 45. Let c be l(h). Which is bigger: 1/14 or c?
1/14
Let f = -340 - -343. Suppose -7*t + 6 = 2*b - f*t, -4*b - 4*t = 4. Which is smaller: b or -6?
-6
Let o(z) = -2*z**2 - 9*z + 12. Let n be o(12). Let m be n/(-4896)*((-83)/(-2) + -1). Which is smaller: m or 4?
m
Let p be 21/35 - (1222/6)/(5480/24). Are -1 and p nonequal?
True
Let o be (-2)/(24/6723) - (-3)/12. Let v be (-7)/(o/(-564)) + -3. Let z = 41/4 + v. Which is smaller: 0 or z?
0
Let y be 116584/(-30) - (642/(-90) - -7). Which is bigger: y or -3887?
y
Let h = -493.0428 + 493. Let p = h + -0.4572. Is 0.024 < p?
False
Suppose k - 2 = 2*u, -4 = 2*k + u + 3*u. Let o be ((1/(-10))/(5/20))/(216/(-210)). Which is smaller: o or k?
k
Let h(f) = 8*f + 18. Let o(k) = 2*k**3 - 21*k**2 + 12*k - 24. Let y be o(10). Let i be h(y). Are -1 and i non-equal?
True
Let v be ((-42)/54)/((-936)/(-837)) + (-8)/(-12). Suppose 0 = 2*w + 4 + 6, 23 = -2*s - 5*w. Is s != v?
True
Let r = -74 - -78. Suppose r*b + 4*z = 52, 2*b + 3*z - 22 = -0*b. Suppose x + b = 4*x + g, 3*x + 3*g - 21 = 0. Is 44/9 not equal to x?
True
Let d = -22160 + 155644/7. Which is greater: d or 75?
75
Suppose -1067 = -30*k - 47. Suppose 4 = k*n - 30*n. Which is greater: n or 334?
334
Let u be 18 - 5457/323 - (40/19 - 2). Does -6335 = u?
False
Let v be 20/(-40) + 3 + (-3891)/1558. Let m = 151 - 151. Is v < m?
False
Let k be (-1005)/195 - -5 - (-1240)/65. Which is greater: 18 or k?
k
Let x be 588/(-70)*65/(-104). Which is bigger: x or 5?
x
Let i = 25021/2250710 - 32/2849. Which is bigger: -1 or i?
i
Let d(i) = -92*i + 665. Let c be d(13). Are -3 and c nonequal?
True
Let t = 0.0208 + -212.0208. Let g = 206 + t. Let x be 8/(-45) + 4/(-18). Is x smaller than g?
False
Let v = -762569/43 + 17735. Is v smaller than 2?
True
Let a = 9 - -6. Let k = -0.361 - 15.539. Let g = -16.9 - k. Which is bigger: a or g?
a
Let k = -529 - -530. Suppose -2*j = -6*j. Suppose j*b + b = -k. Which is greater: 1/53 or b?
1/53
Let j = -10.688 + -0.112. Let g = -1.1 + j. Let w = -12 - g. Which is smaller: w or -3.1?
-3.1
Let y = -2229 + 2229.2. Let w = 9 - 158/17. Which is smaller: w or y?
w
Let b be (-46)/(-368) - (-38688006)/(-2927408). Let y = 2/16633 - b. Which is smaller: y or 1?
1
Let w = 29 + -24. Suppose -4*h + w*h + 72 = -2*b, 2*b - 4*h + 62 = 0. Let m = -74 - b. Is -37 less than m?
False
Let r = -400 - -478. Let k be 608/(13/(r/12)). Which is greater: k or 303?
k
Let h = 57391969/2706900 + 9/32225. Let k = -209/6 - -56. Let d = h - k. Is 1 smaller than d?
False
Let f be (-1 + 5)/4*5. Suppose x + b = 11, -3*b - 20 = -4*x - 4. Do x and f have the same value?
False
Let q = -7435.88 + 7303. Let c = q + -0.12. Let r = c - -132.98. Which is bigger: 2/5 or r?
2/5
Let j = 0.0199 - 0.0589. Let p = j - 392.961. Which is smaller: 1 or p?
p
Suppose 2784 = 30*l - 18*l. Let q = -217 + l. Is q at least 14?
True
Let m = 21070/23 + -1912724/2093. Do 3 and m have the same value?
False
Let s = 7580 + -7755. Which is smaller: s or -186?
-186
Let i = -57 + 58. Suppose -53*x = -52*x - i. Which is greater: 9/4 or x?
9/4
Let o = 13078 - 13124. Let q be -3*(-5)/((-45)/(-264)). Suppose 4*b + 100 = -q. Which is smaller: b or o?
b
Let y = -1.05 + -488.95. Let j = 488 + y. Let s = 3/7 - 13/14. Does s = j?
False
Suppose 0*z - 36 = 2*z. Let o be (-10)/(-5) - 7/((-35)/530). Suppose 41*j - 35*j = -o. Do z and j have different values?
False
Suppose -47042*h = -47069*h. Is -3/8098 less than or equal to h?
True
Suppose -5*i + 28*i = -208771. Let k be (0 - (-2)/(-7)) + i/203. Which is smaller: k or -232/5?
-232/5
Suppose -5*a - 15 = 0, -12 = 2*u - 0*u + 4*a. Suppose u = 13*r + 26. Let q be (-4 - 2) + (r - -4). Which is greater: q or -2?
-2
Let v = 54.905 - -0.095. Let q = -78 + v. Which is bigger: q or -0.3?
-0.3
Suppose -4*w - 5*c - 1575 = -382, -c - 903 = 3*w. Let r = w + 298. Suppose -4 = 4*y + 12. Are r and y equal?
True
Let c(j) = j**2 - 2*j + 1. Let y be c(2). Let a = 43222305 + -3587338350/83. Let q = 1361 - a. Which is greater: y or q?
y
Let f be 6 + -6 + (-299 - -7). Let k = -297 - f. Let v be 129/(-28) + (-1)/4. Which is bigger: v or k?
v
Let g = -11290 - -11291. Which is bigger: 452.3 or g?
452.3
Let u = 1911 + -4686. Which is smaller: -2777 or u?
-2777
Let b = -7873 - -7733. Is b > -10?
False
Let v = -0.21 + -20.49. Let a = v - -10.1. Let l = -10.5 - a. Which is bigger: -2/39 or l?
l
Suppose -8*c - 6*c - 231 = 19*c. Does c = -61/8?
False
Let x(y) = 5*y - 516. Let g be x(-1). Which is smaller: 3/2 or g?
g
Suppose 0*w - w - 3 = 0. Let j = -51 + 55. Suppose 6 - 18 = j*a. Is a greater than or equal to w?
True
Let g be ((-45)/90)/(-1*(-1)/(-10)). Suppose 0 = h - 2*u - 1, 3*u - 2 = g*h. Which is bigger: h or -4/5?
-4/5
Let w = 203.97 + -101.57. Is 1/3 less than or equal to w?
True
Let p = 0.2 - 1.2. Let b = -599627 + 599669. Which is smaller: p or b?
p
Suppose 4*v = -2*o - 102, 227*o - 222*o - 45 = 2*v. Which is smaller: 5 or v?
v
Suppose -5*g = -7*m + 4*m + 122506, -3*g = m + 73512. Let r = g + 31976417/1305. Is 0 less than r?
True
Suppose -2*m - 2*w = m - 64, 2*m - 5*w - 49 = 0. Suppose 4*f - 4*q = -28 + 92, 2*f - 4*q - m = 0. Let v = f - 22. Is v less than -2?
False
Let w(i) = -i**3 - 6*i**2 - 7*i - 13. Let s be w(-5). Let k be (5/(-1))/(-15)*s. Let z be 51/(-48) - (0 - 1). Is z != k?
True
Let z = 9922 - 9922.1. Let i = 0.0585 + -27.3585. Which is greater: i or z?
z
Let n(p) = 12*p**3 + 9*p**2 - 2*p - 4. Let j = 12 - 15. Let w be n(j). Is -241 at least as big as w?
True
Let j = -129 + 85. Let w = -392/9 - j. Let q = w - 61/36. Which is smaller: -1 or q?
q
Let h = 0.26 + -0.473. Let c = 0.0583 - 0.0153. Let f = c + h. Is f at least as big as -1/2?
True
Suppose 3*t - 11 = 2*s, -3*t + 9 = 3*s + 3. Suppose 0 = -5*g - t*w + 26, -3*g - 4*w + 7*w + 6 = 0. Let v = -14975/7 - -2143. Which is bigger: v or g?
g
Let a be 0 - 7/42 - (-323)/(-6). Let s be (-12)/(-3)*3*295/(-60). Which is smaller: a or s?
s
Let z be (63/(-112))/(15/(-10)). Which is smaller: -122 or z?
-122
Let z = -2933165/96 + 30553. Is z less than or equal to -2?
False
Let c be (21/(-16))/(12/(-24)). Let f = -1444881 + 335212985/232. Let m = c - f. Is -1 less than m?
True
Suppose -2*f = -5*n - 1143, -208*f + 211*f = 4*n + 1718. Which is bigger: f or -4?
f
Suppose -6*c - 25*c = 20*c. Suppose c = -v + 4*l + 34, 0 = -3*v + 2*l + 32 + 40. Suppose 3*m - 2*m = 19. Is v > m?
True
Let t(z) = -z**3 - 4*z**2 + 5. Suppose 6*y + 0 = -18. Let h be t(y). Let u be (-608)/48*6/h. Is u at least as big as 20?
False
Suppose -11 = -5*c + 2*w + 18, -5*c + 3*w + 31 = 0. Let u be ((-128)/480)/(2/c). Let o be (-6)/22*2/3. Is o equal to u?
False
Let c = 3385 + -3712. Which is greater: c or -326?
-326
Let p = 31010 - 31007. Which is greater: p or 528/215?
p
Let k be 2/(-9291)*3/24*-4. Which is bigger: 1 or k?
1
Let v be (-11)/((-66)/17844) + 2. Suppose 37*k - v = -11*k. Is 63 at most as big as k?
False
Suppose 2*d + d = -4*u + 2, 3*u + 2*d - 2 = 0. Suppose 2*a + 2*a = -u*o, 2*o + 5 = -3*a. Let b be (-1 + 0)*(12 + -10). Is b at least o?
True
Let u be 2*(-10)/25*10/(-4). Suppose -k = -3*o + 50, -7*o + 66 = -3*o - u*k. Do 10 and o have the same value?
False
Let z = 60 - -53. Let j = -111 + z. Let d be (0 + -1)/(j - (-18)/(-12)). Is d at most as big as -7/5?
True
Let u = 25 + 27. Let o = -53.36 + u. Let p = 0.36 + o. Is p less than -23?
False
Let v(q) = 3*q**2 + 20*q - 25. Let z(w) = 2*w**2 + 19*w - 23. Let b(g) = 3*v(g) - 4*z(g). Let y be b(15). Suppose -48 = -y*s - s. Is 14 smaller than s?
True
Let d = 1.8 - 30.8. Let m = -105 - -75. Let v = d - m. Is 23 bigger than v?
True
Let c = 17717 - 17748. Do c and 222 have the same value?
False
Let u be 18/(-7)*((-504)/(-2172))/6. Are 0 and u equal?
False
Suppose -89 + 9 = -16*x. Suppose 1 = 6*b - x. Is 4/13 >= b?
False
Let l = -5.145 + 5.545. Is l less than 2/3393?
