= 1 - 5. Do h and l have different values?
False
Let w = 6 + -132. Let c be 2/(-14)*w/1728. Is c bigger than -1?
True
Let t(d) = -3*d + 10. Let y be t(8). Let c be (-6*14/(-36))/((-35)/189). Which is bigger: c or y?
c
Let d = 17447 + -5949433/341. Which is bigger: d or 0.1?
0.1
Let k be (-22)/(-8) - 4/(-16). Suppose -k*u - 21 - 27 = 0. Let s(p) = p**2 - 10*p - 234. Let c be s(-11). Which is bigger: u or c?
c
Let n(x) = -17*x - 17. Let v(l) = 18*l + 18. Let o(u) = 5*n(u) + 4*v(u). Suppose -8*h - 4*h = 24. Let a be o(h). Which is smaller: 10 or a?
10
Let k = 74.1 + -74. Let o = 14.5 - 15.5. Which is greater: o or k?
k
Let n(z) = 825*z**2 - 21*z - 26. Let m be n(-1). Which is greater: m or 822?
822
Let s = -11.143 - -0.043. Let y = -5.1 + s. Let x = y + 18. Is x at most as big as 1?
False
Let b(t) = -t**2 + 11*t - 9. Let y be b(10). Let c be (y - 0) + -1 + 3. Suppose 0*r - c*r = -3. Which is bigger: r or 2/13?
r
Let r be 2/(-9)*1 - 201/(-54). Let m(k) be the first derivative of -3*k**2/2 - 63*k + 14. Let f be m(-22). Which is bigger: f or r?
r
Let m be -3 - (-854)/35 - (-8)/(-20). Suppose -3*h - 43*v + 46*v = -21, -5*v - m = 2*h. Is h smaller than 5/4?
False
Suppose 11*v = -213 - 3835. Is v < -368?
False
Let u = 9/38 + -59/570. Let r = 0.078 + -10.378. Let x = 11 + r. Which is smaller: u or x?
u
Suppose 4*t - 6*t = 5*t. Suppose 4*o - 5*h + 2 = t, 0*o = -5*o - 2*h + 14. Suppose 0 = -16*l + o*l. Is -0.05 at least as big as l?
False
Let q = -1213/3 + 7647962/18915. Which is bigger: 0 or q?
0
Let w = 25 + -34. Let o = -4 - w. Suppose o*t = 9 + 11. Which is bigger: t or -2?
t
Let p be (((-7)/2 + -1)/(27/(-36)))/3. Suppose -2*k = 3*k + 1650. Let s be p - (-39)/(-18) - 61/k. Is s bigger than 0?
True
Suppose 0 = 4*v - 5*v - 1, -5*v = -4*f + 1. Let x be ((-1)/f)/(-4 - 125/(-30)). Suppose t = b + 1, -3*b + b = 4*t - 10. Which is greater: t or x?
x
Let v be 134/201*(-3 - (0 - (-7953)/2)). Are v and -0.3 equal?
False
Let x(b) = -b**2 + b + 1. Let k(m) = -m**3 - 10*m**2 - 3*m + 5. Let h(f) = k(f) - 3*x(f). Let r be h(-6). Suppose 0 = 6*j - r*j - 8. Which is greater: j or 1.2?
j
Let m = 13191 - 13203.234. Let s = 0.234 + m. Is s smaller than 2/11?
True
Let t = -38 + 58. Suppose -2*v - 2*v + t = -3*o, -3*v = 4*o - 15. Suppose 10 = -v*b - 5. Does b = 1/9?
False
Let r = -9227 + 9265. Is 685/18 <= r?
False
Let h be (5040/75)/(1 + 190/75). Is h bigger than 19?
True
Let w = -69 + 75. Suppose 4*f + w*y = 9*y - 448, 89 = -f - 5*y. Which is smaller: -110 or f?
-110
Let z = 1536912921/12857 - 119539. Is 1 greater than z?
True
Suppose n + 1558 = 5*s - n, -n - 934 = -3*s. Let y = s - 44. Which is smaller: 0.2 or y?
0.2
Suppose -p + 3*p = 6. Suppose -85 = -18*d - 67. Let a be d/p*36/(-20). Are -1 and a equal?
False
Let l = -350 - -296. Let u be (-6)/l*45*8/(-2). Which is smaller: -17 or u?
u
Let b = -105 - -143. Let o(s) = -11*s - 1. Let u be o(-3). Which is smaller: u or b?
u
Let d = -19.59 - -20.9. Let a = 142.31 - d. Is a less than or equal to 0.1?
False
Let i be ((-6)/9)/(4/114). Let c = i + 16. Let q be (-12)/(-102) - (-163)/(-85). Which is greater: c or q?
q
Let g be (-5)/(((-885)/72)/(-59)). Let m(i) = -i**2 - 9*i + 6. Let q be m(-10). Is q equal to g?
False
Let m be (-20)/(-92)*8/(-10). Let i = 57 - 147. Let a = i - -89. Which is smaller: a or m?
a
Suppose t = 4*a - 30, -3*t + a = t + 195. Let b be (66/55)/((-3)/t). Let u(w) = 2*w**2 - 3*w - 6. Let v be u(-3). Which is smaller: v or b?
b
Let q(o) = -6*o - 1. Let k be q(1). Let n(d) = d**2 + 10*d + 11. Let i be n(k). Is -1/4 >= i?
True
Let j be ((-4)/(-24)*-2)/(1/3). Let t be (-4 + j + 6)*-57. Let h = t - -87. Is h at most 28?
False
Let t be (7 - -17)/(-3 - -5). Suppose 9*q - t*q = 117. Which is greater: q or -38?
-38
Suppose 5*f - 3*s = 19, 8*s = -4*f + 6*s + 2. Which is smaller: f or -1657?
-1657
Suppose 21*v - 147*v + 219996 = 0. Is v at least as big as 1743?
True
Let b(p) = -p**2 + 11*p + 8. Let i be b(12). Let t be (-8)/4 + (-4 - i). Let q be 3 + t + -1 - 2. Which is smaller: q or -5?
-5
Suppose 5*b + 331 = 3*w, -33 = -3*b - 4*w - 220. Let k(o) = 2*o**2 - 24*o - 12. Let g be k(9). Which is bigger: g or b?
b
Suppose 4*c = 2*t - 4*t + 38, 0 = t - 2*c - 7. Let v = -150 + 150. Suppose 8 = 3*x - 3*u - t, -u + 3 = v. Is x > 10?
False
Let g be (2/(-12))/((-382)/(-764)). Which is bigger: -1402 or g?
g
Let s(z) = -z**3 - 9*z**2 - 12*z + 11. Suppose 0 = -h - 4*h - 15. Let q(r) = -r**2 + 2. Let o be q(h). Let p be s(o). Which is smaller: p or 2/9?
p
Suppose 5*x = -3*q - 17, 55*q - 18 = 53*q + 4*x. Let t be (-2923)/1106 - q/(-2). Which is greater: t or -2?
-2
Suppose -7714*h + 7698*h - 3104 = 0. Is -773/4 bigger than h?
True
Let w = 13 + -12.84. Let r be (-104)/138 - (-376)/564. Which is bigger: r or w?
w
Suppose 1384 = 11*j - 15*j. Let w = -369 - j. Which is smaller: w or -25?
-25
Let h be (4 + (-11)/4)*-4. Let d = -46 - h. Let j = d - -40. Are j and -9/5 non-equal?
True
Let u = 66.3 + -66.7. Which is smaller: u or 6/607?
u
Let y = 461 - 458. Suppose y*a = -4*i + 8 + 9, -i = -5. Are -1/129 and a unequal?
True
Suppose 0 = r + 5*j - 4152, 958*r - 959*r - 6*j = -4150. Is 4159 at least r?
False
Let o(c) = 5*c - 51. Let f be o(16). Suppose -8*y = -37 + f. Which is bigger: y or 30.6?
30.6
Let m = 193 - 74. Let d = 119.2 - m. Let c = -48.3 + 49. Are d and c non-equal?
True
Let l be 2/2*(-22)/(-11). Suppose 0 = l*i - 16 + 16. Suppose i*y = -4*y - 12. Are y and 2 unequal?
True
Let d be -1 + (4/(-2) - -1). Suppose 6*r = r - 2*a + 86, 74 = 4*r - a. Let p be r/(-12)*((-135)/51 - -3). Is d at most as big as p?
True
Let p(k) = 3*k**2 - 59*k - 5 - 65*k + 157*k. Let v be p(-11). Is 1.4 less than or equal to v?
False
Suppose -z + 18 = 5*w + 7, -2*z + 2*w - 26 = 0. Is z less than 5?
True
Let x = 76.6 - 55.6. Let g = -357 - -336.1. Let v = g + x. Which is bigger: 1/2 or v?
1/2
Let w(y) = -8*y**3 + 2*y**2 - 3*y + 1. Let s be w(2). Suppose -3*n - 21*k = -19*k + 193, 2*n + 102 = 4*k. Is n smaller than s?
False
Let p = 6408477/8239 + -8556/11. Is p at least 1?
False
Suppose -2*p = -x, 7*x + 15 = 2*x + 5*p. Let r(b) = 4*b**2 + 27*b + 19. Let s be r(x). Does s = 7/51?
False
Let b be ((-9)/42)/((-42)/8). Let i = -16 + -9. Let s = i + 25.1. Is s greater than b?
True
Suppose 5*s + 2*a - 470 = 0, 52*a = -3*s + 48*a + 282. Is s >= 47?
True
Let g(v) = -v**2 + 26*v - 101. Let p be g(21). Suppose -4*j + 4 = -4*r, -p*j - 6 = -27*r + 25*r. Is j < 4?
True
Let c(f) = -f**2 - 50*f - 584. Let p be c(-21). Which is smaller: 20 or p?
20
Suppose -11512 = 2*w + 2*w - 2*b, -3*b + 14389 = -5*w. Let r = 8376781/2938 - -5869/226. Let k = r + w. Are k and -3 nonequal?
True
Let r(t) = -9*t**3 + 194*t**2 - 97*t + 14. Let s be r(21). Are s and 186 unequal?
True
Let v = -37814 + 37815. Let p be 1806/9 - 1 - 0. Let q = p - 204. Which is smaller: v or q?
q
Let d be (-3)/10 + (-15)/75. Let q = 426 + -554. Are q and d equal?
False
Let z = -206 - -206.0288. Let q = z - 21.0288. Let g be -1*1*1/3. Which is smaller: g or q?
q
Let s = 0.5 + -22.5. Let o be 2/19 - (-855)/2166. Which is bigger: s or o?
o
Let x be (-12)/(-3) + -2*(-39)/(-24)*4. Which is bigger: -220/29 or x?
-220/29
Let k = -209 + -179. Let g = 291 + k. Which is greater: -98 or g?
g
Suppose h + h = 3*h. Suppose 0 = 2*o + 3*y - 10, o + 2*y - 6 = -0*o. Suppose -12 = 2*i + 2*j, 2*i + h*j - o*j = 8. Is i <= -8?
False
Let u = -0.0437 + 0.2937. Let n = 8 + -7.65. Let k = u - n. Do -0.7 and k have different values?
True
Let l = -6657 + 6659. Is l smaller than 33/38?
False
Let z = -1738.018 + -1.382. Let b = -1739 - z. Let x = -1.29 + 0.09. Do x and b have the same value?
False
Let h = -186361/47790 - 2/4779. Let w = h + 2437/30. Which is smaller: 78 or w?
w
Let v be (1 - (-8)/(-12))/(3/(-9)). Let c = 301222/163 - 1848. Are c and v non-equal?
True
Suppose o - 1021 = -17*n + 21*n, -28 = -4*n. Which is greater: o or 5238/5?
o
Let v(w) = w**2 - 3*w + 4. Let y(d) = 6*d**2 - 16*d + 20. Let n(q) = 11*v(q) - 2*y(q). Let c be n(-2). Let g be (5/(-25))/((-2)/20). Is c bigger than g?
False
Let x = 102 + 89. Let z = x - 24256/127. Which is bigger: -1 or z?
z
Let f be 16876/(-4380) - -8 - 1 - 4/30. Which is smaller: f or 4?
f
Let f(i) = -2*i**3 - 6*i**2 - 2*i + 10. Let j be f(-4). Let t be 8 - j/5 - (-102)/28. Is t >= 1?
True
Let j