ch is smaller: h or n?
h
Suppose -235 = 4*c - 9*c. Let v = c - 45. Do v and 3 have different values?
True
Suppose -2*m - m = -2*z + 14, 5*m - 10 = -5*z. Let t(p) = -p + 4. Let s be t(z). Let g = -1067/5271 + 3/251. Which is greater: s or g?
s
Let c be 2 - 0 - (7 - 10). Suppose c*a - 3*a = -20. Let r = -8 - a. Which is greater: r or 3/2?
r
Suppose 5*s + m - 340 = 905, 2*m - 996 = -4*s. Let a = s + -22661/91. Is a equal to 1?
False
Suppose 55*i - 108 = -438. Which is smaller: 0.018 or i?
i
Let l = -910/3 - -28186/93. Which is greater: l or 0?
0
Let x(o) = 2*o**3 - 2*o**2 - 2*o. Let l be x(2). Let f = -0.52 + 4.22. Let a = -3.6 + f. Which is smaller: l or a?
a
Let f = -9.7 + 1.7. Let m = 2 + f. Which is greater: m or -3/2?
-3/2
Suppose 10*a = -2*c + 8*a - 8, 4*c = 2*a + 14. Let h be 2 + -2*(-58)/(-64). Which is smaller: h or c?
h
Suppose -43 = -l - 5*y, -3*l + l + 76 = 5*y. Let b = l - 34. Which is greater: b or 4/3?
4/3
Let w = -3.362 + -0.638. Which is bigger: w or -13?
w
Suppose -6*s = -10*s - 32. Let z be (0 + 30/s)*(-28)/70. Which is greater: z or 3?
3
Let z = 2 + -8. Which is bigger: 4 or z?
4
Let s = 203 - 204. Which is bigger: s or -39/19?
s
Suppose -5*g = -5*x + 215, 2*x = 21*g - 26*g + 86. Is 45 at least as big as x?
True
Let s = 35479/55 + -645. Which is greater: -1 or s?
s
Let q be 4/3*3*-4. Suppose -36*f - 928 = -280. Which is smaller: f or q?
f
Let f be 84/8 + -11 + 2/4. Which is greater: -3/58 or f?
f
Let r be (9/12)/((-12)/32) - -2. Let l be ((-3)/282)/(3/(-18)). Which is greater: l or r?
l
Let o be (-20)/16 - (-108)/(-16) - -5. Let i(y) = -y**3 + y**2 - y + 1. Let p be i(1). Which is bigger: p or o?
p
Let v = 145 - 166. Let x be (-47)/20 + v/(-35) + 3. Which is smaller: 0 or x?
0
Let t = 286/5 + -57. Suppose 181 - 184 = 3*o. Is o less than t?
True
Suppose -2*g - 7 = -5*t, -5*t + 2*g + 9 = -2*g. Let u be 4*t/6*18. Suppose 3*i = 2*q - 14, 0 = -3*i + 5*i - 4*q + u. Which is bigger: i or -3?
-3
Suppose b + 6 = 4*b. Let z be (-42)/63 + (-23)/(-3). Let s be (z/b)/(25/(-10)). Is -2 bigger than s?
False
Suppose 5*k - 7 = -2*i + 13, 0 = -4*i + 2*k - 8. Is -5/378 > i?
False
Suppose l = 6 - 5. Let f be (-80)/(-32)*(-6)/5. Let s be ((-7 - -4) + f)/(-14). Are l and s equal?
False
Let a(i) = 4*i - 47. Let x be a(11). Let g(w) = 1 - 2*w + 5*w + w**2 + 4*w - 2*w. Let y be g(-3). Is x < y?
False
Let r(w) = w**2 + 3*w - 11. Let n be r(3). Suppose 0 = 2*s + 2*s - 16. Suppose 0 = s*q - n*q - 33. Are q and -12 non-equal?
True
Let y(k) = 48*k + 71. Let q(a) = -17*a - 24. Let b(v) = 17*q(v) + 6*y(v). Let r = 1 - -11. Let f be b(r). Is f smaller than 7?
True
Let p = -84 - -18. Suppose 2*d + 3*o + 77 = -62, -o + 203 = -3*d. Which is bigger: p or d?
p
Let o = 554 - 550. Are o and 22.2 unequal?
True
Suppose 4*x = 3*j + 35, -2*x - 4*j - 7 = -19. Let m = x - 35. Let o be 3/5 + m/45. Which is smaller: 11 or o?
o
Suppose -x = 4*c + x - 74, 100 = 5*c + 5*x. Let y be (64/512)/(4/(-32)). Is c greater than or equal to y?
True
Let j = -33/8 + 215/56. Is -5 greater than or equal to j?
False
Let f = -0.42 - -0.02. Let s = -0.13 - -1.53. Let x = s + f. Is x != -2/19?
True
Suppose 0*p + 10 = 5*p. Suppose 0 = -4*s, -2*v + 4 + 20 = p*s. Is v at least 15?
False
Suppose 3*u + u - 16 = 0. Let k be 4/(4*2/u). Let d be 1*1*(-6)/(-27). Is d at least k?
False
Let w(g) = 2*g**3 - 50*g**2 + 81*g - 33. Let d be w(23). Is -287 bigger than d?
False
Let l = -236 - -134. Let s = l - -102.08. Does 2 = s?
False
Suppose -9 = 43*r - 42*r - i, -5*r - 41 = -4*i. Is r less than -4?
True
Suppose 105 + 196 = -7*m. Let w = m + 42. Are -2 and w unequal?
True
Suppose 0 = -0*m + 4*m - 316. Suppose 167*a = 188*a - 1659. Is a less than or equal to m?
True
Let y = 684 + -685. Is y greater than -1/16?
False
Let b be (-3)/(-3 - ((-12)/(-128) - 3)). Let y = b - 57. Is -2 at most as big as y?
False
Let x(f) = f**3 + 5*f**2 + 9*f + 19. Let s be x(-4). Is 1/346 at most s?
False
Let h be 72/39 + (4 - 6). Let z = -0.011 - 0.059. Which is bigger: z or h?
z
Let i = 3332/13 - 257. Let f = -1653 - -1652. Do i and f have the same value?
False
Let b(o) = -2*o**2 - 11*o - 4. Let f(l) = -4*l**2 - 21*l - 8. Let z(p) = -7*b(p) + 4*f(p). Let m be z(-4). Let i = 17 + m. Is 9 <= i?
True
Let w = -54 + 56. Suppose 2*u = n - 6, 0*n + w*u = -2*n - 6. Which is greater: n or -2/253?
n
Let l be (-141)/378 - 4/(-9). Let i(v) = v**3 + 5*v**2 - 8*v - 11. Let q be i(-6). Is q less than l?
False
Let z be (89 - -1)/((-3)/(-15)). Is z not equal to 450?
False
Let m be 4/(-24)*2 + (-2)/18. Which is greater: -37 or m?
m
Let i(c) = c**3 + 7*c**2 + 6*c + 3. Let x be i(-6). Suppose x*g = -3*g. Let j = 0.06 + -2.06. Which is smaller: g or j?
j
Let m be (-3)/(-6)*(0 + 6/(-3849)). Is m > 1?
False
Suppose -2*h - 20 = 3*h, 0 = 3*b - 2*h - 20. Let r be 5 - (-20)/(-8) - (-42)/4. Suppose -b*t + 17 = r. Which is smaller: 0 or t?
0
Let c = -15 - -16. Let q be (-1)/3 - c/(-3). Are q and 3/29 non-equal?
True
Let m(v) = v**3 + 4*v**2 + 7*v + 12. Let b be m(-3). Is b greater than or equal to 32/51?
False
Let u = -6/1165 + 5267/233. Which is bigger: u or 23?
23
Let q be (916 - 0)/((-52)/92). Let v = q + 1622. Is 0 at least as big as v?
False
Let g = -0.0184 + 0.0884. Do 11 and g have the same value?
False
Suppose -7*v + 3*v - 41 = -5*m, 2*m - 3*v = 22. Let l(y) = 5*y + 40. Let p be l(-7). Is p greater than m?
False
Let q = -3/5825 - 23279/40775. Suppose -16 = 5*o + 3*i + i, 5*i = -20. Which is bigger: q or o?
o
Let s = 48.261 + -48. Which is smaller: s or 0?
0
Let s be 1 - (3 + (-4 - -4)). Let h be (s - 1)*10/(-75). Which is greater: -1 or h?
h
Let y = -26 - -43. Let t = 33 - y. Let w = -13 + t. Are -0.2 and w equal?
False
Let d(g) = -g**2 - 9*g - 9. Let a be d(-4). Let i = 20 - a. Suppose -s - 5*v - i = 21, 5*v + 25 = 0. Is -31/5 less than s?
True
Let m(c) = -c**2 - 3. Let r be m(0). Let n be r/(-2) + (-1)/2. Let a be -2*34/36 - (104 + -106). Which is smaller: a or n?
a
Let f(h) = h**3 - 12*h**2 - 16*h + 40. Let k be f(13). Which is bigger: k or -10/31?
k
Let u be 6/(-10) - 2/5. Let n(g) be the third derivative of g**6/120 + g**5/60 + g**4/12 + g**3/6 - 19*g**2. Let z be n(u). Which is bigger: z or -1/4?
-1/4
Let d = -779 + 778. Is d smaller than 6/35?
True
Suppose -u = 5*w - 3*u - 262, 3*u = -3. Let k = -21 + w. Suppose 0 = -5*r - 11 + k. Which is smaller: 3 or r?
3
Suppose 0 = 33*i - 28*i - 3*n - 11, 2*n + 6 = 2*i. Let q = -2 + 5. Suppose 4*b + 2*a - 22 = 0, -q*b - 2*b + a + 17 = 0. Which is greater: b or i?
b
Suppose -30488 = -31*l + 4480. Does l = 1130?
False
Let c be (-2)/8 - (-110)/(-8). Let n = -186 - -190. Let j be (-57)/21 + n/c. Is -2 at most as big as j?
False
Suppose -3*q + 2*a - 7 = -3*a, 3*a = -12. Is 0.88 smaller than q?
False
Let q(c) = c**2 + 9*c + 11. Let j be q(-9). Let f(w) = 15*w + 113. Let n be f(-7). Is n equal to j?
False
Suppose -249*n = -287*n. Which is greater: n or -1/1059?
n
Let g = -684492504 - -7699856187124/11249. Let a = g - -2/1607. Which is smaller: 0 or a?
0
Let v = -0.01 - 0. Let h = 115 + -115. Is v != h?
True
Let c = 265 + -667. Which is greater: 2 or c?
2
Suppose -23*o = -24*o + 30. Let r be (-13)/(-6) + (-15)/o. Suppose -5*y + 13 = 2*i, 0 = -0*y - 3*y - 2*i + 7. Which is greater: y or r?
y
Suppose -17*m - 1016 = -9*m. Let p = m - -94. Which is smaller: -35 or p?
-35
Let o = 0.97 + 0.23. Let v = -0.07 + -0.13. Let u = o + v. Which is bigger: u or 0.1?
u
Let k be 2 + 0 + -1 + 510. Let a = -441486 + 5732678/13. Let p = a + k. Which is smaller: p or -1?
-1
Let t = 34 - 34. Let m be -1 + (0 - t) - -7. Which is bigger: m or 3?
m
Let k = -3.11 - -0.21. Let d = 718 + -717. Which is smaller: k or d?
k
Let z = 50 + -49. Let n be 1/(-5)*z*2. Which is greater: n or -35?
n
Let c(k) = -k**3 + k**2 - 13. Let d be c(0). Let o(u) = 2*u**2 + 10*u - u**2 - 7 - 11*u + 8*u. Let b be o(-6). Is b at most as big as d?
True
Let m = -32 + 50. Let a be -3 + (-12)/4 + 252. Let y be a/14 - (-27)/63. Is y equal to m?
True
Let f = 31 + -30. Which is bigger: 669 or f?
669
Let z be (-272)/903 + 4/14. Let i = 409 - 410. Which is smaller: z or i?
i
Suppose -24 = 5*h - 8*h. Let l be (-2)/1 + 5*2. Let i = h - l. Is i > 0?
False
Let r = 583 + -582. Which is bigger: 31 or r?
31
Let o = -80 + 82. Let t(m) = -5 + 1 + 2*m - m. Let s be t(o). Which is