h**3 - 12*h**2 - h - 6. Let g be l(c). Let q be 2/((-136)/(-74)) + -1. Is g not equal to q?
True
Let i be 11745/1044*(-1 + 0 + -1). Which is smaller: i or -23?
-23
Let j be 9/1134*14 + (-2807)/25020. Which is smaller: 0 or j?
j
Let q = 284 - 284. Suppose -4*i - 8 = -q, -3*i = 2*f + 94. Let o(c) = -c**3 + 4*c**2 + 5*c - 1. Let x be o(6). Do x and f have the same value?
False
Let h be 8/12 + (-75)/(-9). Let m(j) = -j**2 + 37*j - 38. Let u be m(36). Is h >= u?
True
Suppose -11*h = 1013 - 243. Suppose 241*q - 648 = 250*q. Which is smaller: h or q?
q
Let p = 0.4 + -0.32. Let l = 0.72 + p. Let a = -0.992055 + -0.007945. Does a = l?
False
Suppose 3*v = -0*w - 2*w + 1318, -5*w = -v + 445. Suppose 50*l - 50 = -0. Which is bigger: v or l?
v
Suppose -80*g - 41*g + 273 + 2631 = 0. Which is smaller: g or 1?
1
Let t = -25490 - -25489. Which is smaller: -1/5448 or t?
t
Let o = 0.2253 + -0.0163. Let k = 93629 - 93629. Which is greater: o or k?
o
Let v be (-49987)/5 - (-48)/120. Let u be 6/(-8) - (-11 - v/52). Which is bigger: -180 or u?
-180
Let t = -523 - -520.89. Let z = -1.83 - t. Which is smaller: 1/2 or z?
z
Suppose 0 = -3*v + 4*s + 4, 3*s = -2*v - 3 - 0. Suppose -5*n + 0*n + 5 = v. Let u = 18317/38 + -482. Is u <= n?
True
Let j be (-3)/(-88)*1*(325/(-110) + 3). Is 0 at least j?
False
Let m be 1/(51/1305) - (5 - -5 - 13). Is 30 < m?
False
Let v(d) = -d**3 + 31*d**2 - 67*d - 81. Let k be v(29). Which is smaller: 5 or k?
k
Let o be (1*-72)/((-9)/(-42)). Let n be (18/(-12))/((-9)/o). Let x be (-2)/(-12)*n/84. Is x not equal to 0?
True
Let j(v) = -v**3 - 4*v**2 - v - 4. Let g be j(-4). Let h(b) = 81*b + 86. Let x be h(-10). Let i = x + 725. Which is bigger: g or i?
i
Let j(y) = -4*y**2 + 7. Let d be j(-3). Let w be 6/15*10 - d. Is w <= 27?
False
Let t = -37 - -39. Let n be ((-34)/12 - -3)/(13/t). Which is bigger: 0 or n?
n
Suppose 44 - 251 = -4*b - a, 5*b - 5*a = 265. Which is greater: b or -11?
b
Let f = -6.26 + 474.26. Let h = f + -467.61. Is h less than or equal to -2?
False
Suppose 18 - 30 = 4*q. Let c be q*54/30 - -5. Is c at most 1/55?
True
Let m = -3940 + 3866. Is m != -5/4?
True
Let j = 1/2578 + -291317/7734. Is j bigger than -39?
True
Let p = 9.7 + -0.7. Let f = 750.2 + -682. Let a = f - 68. Is a != p?
True
Let q = -13022 - -13021.994. Do q and -0.039 have the same value?
False
Let a = -70 + 68. Let w(n) = 7*n**2 + 3*n - 1. Let r be w(a). Suppose 3*q + r = 15. Is q <= -1.7?
True
Let w be 1/2 + (-38)/8. Let i = 722 + -677. Suppose i*b + 75 = 20*b. Which is smaller: w or b?
w
Let p(h) = 169*h**2 + 12*h - 11. Let s be p(1). Let z be ((-17)/s)/((-6)/(-15)). Which is smaller: z or -18/47?
-18/47
Let b be (-5106)/13744 + (13 - 202/16). Which is smaller: b or 0?
0
Let d be (8/(-492))/(45/(-270)). Suppose -5*s - 4*i - 9 = 0, -4*s = -i + 5*i + 8. Which is smaller: s or d?
s
Let m = 3036 - 2988. Which is bigger: 145/3 or m?
145/3
Let r(o) = -o**3 + 11*o**2 - 3*o - 64. Let c be r(0). Which is smaller: 2 or c?
c
Suppose 4*j + 3*v = -204, -5*v = -5*j - 10*v - 250. Let t be -38*(-1 - (-633)/j). Let b = t + -483. Which is smaller: b or 1?
b
Suppose 4*m = 4*q + 24, -83*m - 3*q - 17 = -85*m. Which is smaller: -6/3179 or m?
-6/3179
Let w = -28886 + 28888. Is 8377 less than or equal to w?
False
Let p = -1410 + 7203/5. Let z = 2117/70 - p. Is z <= 1?
True
Let c(f) = -2*f**2 + 107*f - 650. Let o be c(7). Is 8181 <= o?
False
Let b = 28 + -23. Suppose 5 = 4*k + k, -b*k - 15 = 5*x. Is x >= 9?
False
Let f = 91.3 - 83.3. Let b = -12 - -5. Let h = b + 6.7. Do f and h have different values?
True
Let w(h) = -3*h**2 - 39*h + 211. Let j be w(5). Which is greater: j or -80?
j
Let b = 163/228 + -29/76. Which is greater: 871/4 or b?
871/4
Let a = 48/91 + -2802/4277. Suppose -59*i + 81*i = 110. Let h be ((i + -2)/3)/(16 - 17). Is h < a?
True
Suppose 0 = 16*j - 12 - 4. Let f(m) = m**3 + 3*m**2 - m - 2. Let u be f(j). Do u and 3 have the same value?
False
Suppose -735 = -9*d - 87. Let a be (0/d)/(4 - 0). Is a equal to 1/240?
False
Let p be (-2)/(-9) - 34120/144630. Let i = p - 761564/11249. Let j = -68 - i. Which is bigger: -0.38 or j?
j
Suppose 319*z - 40543 = 115981 + 146526. Which is bigger: z or 4753/5?
4753/5
Suppose 3*f - 3*t = -14 + 47, -2*f + 26 = -t. Let y be (3/f*3)/((-12)/30). Is -21 smaller than y?
True
Let s = -168 - -71. Let a = s - -104. Is a > 1/2?
True
Let r = -27.1 + 29. Let d = 28.37 - 28.41. Which is smaller: r or d?
d
Let i = 0.6 - -3.4. Suppose -18*t + 13 = 31. Let z be (-44)/88 + t + 6/8. Is i greater than or equal to z?
True
Let n(h) = -h - 52. Let q be n(-11). Let l be (-17 + q)*(0 - -2). Which is smaller: l or -0.1?
l
Let d = 118 - -4. Let h = -1038 - -1158. Is h at most as big as d?
True
Let z be -5 + (7 - 5)*-1*-3. Is 3/1076 > z?
False
Let d be 1 + (0 - -4) + 504/(-60) + 3. Which is smaller: -1.859 or d?
-1.859
Let r = 58 - 96. Let a = r - -52. Let k be (0 + (-2)/a)/(68/(-238)). Which is smaller: k or 1/6?
1/6
Let l(f) = f**3 - 4*f**2 + 3*f + 3. Let v be l(3). Suppose 12 = 3*c + 5*q, v*q + 1 - 21 = -5*c. Let a = 71.46 + -71.46. Which is smaller: a or c?
a
Let c be 3/(-6) - ((-6462)/(-36) + -10). Which is bigger: -147 or c?
-147
Let o(y) = 177*y - 75. Let u be o(3). Let c be (1 - 0) + 66/u*-4. Which is smaller: c or 0?
0
Let k = 280 + -271. Let i be 985/100 - k - 1/4. Is 18 less than i?
False
Let y = 1172/18755 - 6/121. Which is smaller: y or 5/4?
y
Let b be (-6)/6 - -5 - (-33070)/(-952). Let a = b + 528/17. Is a at least as big as -1?
True
Let n = 18/83 + -292/581. Let y = -11 + -7. Let r = y - -25. Is r smaller than n?
False
Let c be 214/(424*13/(-156)). Does -7 = c?
False
Suppose 5*t + 26*n = 29*n + 49, t + 5*n + 7 = 0. Do 45 and t have the same value?
False
Let w be (-4 - -24)/((-2)/3). Let f be ((-3)/w*3)/(6/(-56)). Let v = 11 + -14. Is v bigger than f?
False
Let c(g) = -4*g + 76. Let r be c(19). Suppose r = 5*s + 70 + 45. Which is smaller: s or -22?
s
Let h = -15 - -32. Let d = h + -18. Let o be 4 + (-1235)/205 + 2. Which is smaller: d or o?
d
Let z = 74 + -136. Let f = 68.9 + z. Let u = 6.61 - f. Do u and 2/5 have the same value?
False
Let h be (-4)/22 + (27802/(-6))/(22/(-18)). Is 3790 greater than h?
False
Suppose -5*c - 1 = -2*q - 8, -4*q - 4 = 0. Let y be (-12)/624312*-8082 - (12/26)/3. Which is smaller: c or y?
y
Let b = 4658 - 3607. Which is smaller: b or 1049?
1049
Let d be 1 - ((-12)/11)/(-1). Let c be (9/(-36))/(4/(-14) + 3/(-14)). Which is smaller: d or c?
d
Let g be ((-5)/(-2))/(4/34 + 250/(-680)). Which is smaller: g or 10?
g
Let c be -12 + 11 - (-202)/15. Let s = c + 16/3. Suppose 264*d - 54 = 261*d. Is s >= d?
False
Let h be 28/(-129)*(-3)/(-2). Let g be (-9)/(-12) + (557346/(-69144) - -7). Let y = g - h. Are -1 and y equal?
False
Let f = -1255/414 - -161/18. Is 6 < f?
False
Let d be ((-4)/6)/((-44)/(-12) - 3). Let f = -821053/2135 - -2692/7. Which is smaller: f or d?
d
Let z be -3*18843/(-35) + 5. Let s = 1620 - z. Is s greater than or equal to 0?
False
Let z = -367307/37 - -9927. Is 2/7 greater than or equal to z?
True
Let q be 2/(-8) + -5 + 45/4. Suppose -q*m = -15*m + 27. Let l be 2 + (-2 - -3) - (-132)/m. Which is smaller: 1/3 or l?
1/3
Suppose 1620 = 5*d - 5*n, 28*d - 23*d = -5*n + 1580. Let a = 367 + -46. Which is smaller: a or d?
d
Let x = 81 - 64. Let r(l) = -l**2 + 17*l + 10. Let v be r(x). Suppose 19*u - 18*u + v = 0. Is -10 at least u?
True
Suppose 15768 = -7*g + 1376. Let c = -193259/94 - g. Which is greater: 1 or c?
1
Let c = -1/101183 + 707775094/910647. Let a = -254 - -1032. Let x = a - c. Which is greater: x or 0?
x
Let y be -4*(-1)/(-8)*4/7. Let p = -42.3 - -3.8. Let d = p + -1.5. Is d >= y?
False
Let o = 277 + -1696. Let y be (-56416)/o - 2/22. Is 41 less than y?
False
Let t be (2 + 69)/(-8 + (-726)/(-90)). Let b = t + -8503/8. Which is smaller: 2 or b?
2
Suppose 15*n = 50*n - 15120. Which is bigger: n or -4?
n
Let b = 455 - 453. Let x = 9390/11 - 853. Which is greater: b or x?
b
Suppose -7*n - 3 = -24. Suppose -23 - 5 = n*i + 5*s, 5*s + 24 = i. Let d be 16/17 + -2 - (i - 0). Which is smaller: -1 or d?
-1
Let i be (21 - -53)*2/6. Let a = -8063/327 + i. Is -1 at most as big as a?
True
Suppose 5 = -5*d + 5*c, -3*c + 5 = 4*d + 2*c. Suppose d = -3*n + 8*n - 20. Suppose p - 28 = n*q, -3*p + 2*q + 71 = 3*q. Is p at most 