= -34*h + 37*h - 2 + 14. Let a be i(-4). Are a and -1/440 non-equal?
True
Let h(n) = -4*n**3 - 19*n**2 + 4*n - 10. Let r be h(-5). Let q = -4 + 10. Suppose 5*i + 5*a + 7 = 2, 0 = -2*a + q. Is i < r?
False
Let a = -44 - -56. Suppose -w = -2*w - z + 1, 3*z = -a. Let n be (w/2)/(((-44)/(-8))/11). Is 5 equal to n?
True
Let i(b) = b + 12. Let v(n) = 2*n + 13. Let l(g) = -3*i(g) + 2*v(g). Let m be l(5). Let y(d) = -2*d - 2. Let h be y(m). Is h at most as big as 8?
True
Let s = -27 - -23. Suppose 3*k - 3 = -39. Let j be ((-6)/4 - 0)*k/(-9). Which is smaller: j or s?
s
Suppose -120*h - 480 = -216*h. Let u(c) = c**3 - c**2 - 4*c + 1. Let a be u(3). Which is smaller: h or a?
h
Let n(w) = -3*w + 2. Let g be n(0). Suppose x - g*k = -5*k + 13, 4*x = 4*k - 12. Let h be 7/55 + 2/(-5). Is h less than x?
True
Let f = 26.9 - 27. Suppose 25*p + 1162 = 27*p - 0*p. Does f = p?
False
Let q = -319 + 255. Which is bigger: -66 or q?
q
Let f be 1/(-2)*(52 - 4). Let s = 384 + -372. Suppose -s*u = u + 286. Are f and u unequal?
True
Suppose 0 = -11*z + 6*z + 5*s + 3125, 0 = -5*z + 3*s + 3121. Which is smaller: 630 or z?
z
Let l = -12 - -12.035. Let t = l - 15.035. Let g = -14.7 - t. Are g and -4 equal?
False
Let r = 7765.12 + -7765. Let n = -0.3 + -0.2. Which is smaller: n or r?
n
Suppose -4*t = 5*t - 180. Let a = 18 - t. Let f(n) = -7*n. Let w be f(a). Which is greater: w or 0.1?
w
Suppose -5*l = 5*a - 195, 4*l + 5*a - 229 + 70 = 0. Suppose -j = 5*r + 6, 2*r + 30 - 6 = -4*j. Let t be (0 - (-9)/j)*296/(-12). Which is greater: l or t?
t
Let w = 1.421 - 0.476. Let j = -0.17 + 0.225. Let x = w + j. Which is greater: 3/8 or x?
x
Let w be (-2)/(-7) - 3058/(-77). Suppose 3*v + 17 = d, 0*v + 4*d - w = 5*v. Is v equal to 2?
False
Let k = -1206/613 - 767243/11647. Let m = -475/7 - k. Which is greater: 2 or m?
2
Let s = -28 - -45. Suppose 0 = 3*f - 2*h - 5, -f - 5*h = -h + s. Let b be (-5)/((-180)/(-8)) - 219/(-1350). Which is greater: f or b?
b
Suppose -j - 5*i + 83 = 0, j - 112 = 2*i + 6. Suppose j*g = 107*g. Is 5/88 < g?
False
Let u = -3146 - -9389/3. Is u at least as big as -16?
False
Let o(v) = -67*v + 467. Let m be o(7). Let n be 6455/(-35)*7/552. Let x = n + 1/184. Which is smaller: x or m?
x
Let a = 57080/9 - 6342. Which is bigger: a or 107/6?
107/6
Let j = 64.28 + -66. Let u = -1.03 - -1.85. Let i = u + j. Is i less than or equal to 0.1?
True
Let i = 113 - 103. Let m be 2765/i*(-24)/(-14). Is m greater than or equal to 475?
False
Suppose 2*o = 5*u + 230, -o - 42 = 3*u - 146. Suppose -3*y = 61 + o. Do -56 and y have different values?
True
Let b = -346 - -2069/6. Suppose -2*q + 51 = -s + 1, -s = 2*q + 66. Let z be ((-2)/(-4))/(29/s). Is b <= z?
True
Let v = 18310 - 146483/8. Which is smaller: 54 or v?
v
Let k be ((-7)/42)/1*(-495)/200. Is 1 < k?
False
Let h = 452331 - 8869758577/19609. Is h at most as big as -1?
False
Let z = -111 + 108. Let o be (-58)/(-3)*(12/2 + z). Do o and 61 have different values?
True
Let c(n) = -3*n**2 + 17*n - 12. Let i = -323 - -330. Let f be c(i). Does -39 = f?
False
Let u = 218 - 611. Let j = u + 174. Is -219 bigger than j?
False
Let u(m) = 55*m - 6786. Let i be u(124). Suppose 5*l + h + 46 - 192 = 0, -l = 5*h - 34. Which is smaller: i or l?
l
Let x = 7495 + -7207. Is x greater than or equal to 288?
True
Let p = 0.29 - 0.3. Let l = -245441 + 245415. Does l = p?
False
Let h(x) = -4*x**2 - 5. Let z(a) = -5*a**2 - 4. Let o(q) = -6*h(q) + 5*z(q). Let r be o(-3). Let f be (-20)/(-21) + (-4)/6. Which is bigger: f or r?
r
Let l = 9031 + -8978. Which is smaller: l or 490/9?
l
Let d = -110 - -77. Suppose -290*b + 560 = -270*b. Let y = d + b. Are y and 0 unequal?
True
Let r = -11707.9 - -11708. Is 1849 != r?
True
Let g be (10976/(-84))/(0 - (-15)/378). Is g at least as big as -3293?
True
Let d be (-1)/(3/(-2) - (-51)/30). Let q(x) = -x**2 - 7*x - 9. Let r be q(d). Let y be (-1)/(3/(36/(-62))). Is r < y?
False
Let r = 480 + -492. Is -8 less than or equal to r?
False
Let d(w) = 20*w**3 - 28*w**2 + 2*w - 53. Let h be d(8). Which is greater: 8409 or h?
h
Suppose 46*h = 29*h. Suppose h = -2*a - 3*j - 13, -5 = a + 7*j - 5*j. Let s be ((-2)/4)/(1/22). Is s at least as big as a?
True
Let s be (-24984)/(-486) + -9 - (0 + 3). Is s less than 40?
True
Let d be (-7344)/(-7056) + 2/(-49). Is -1/6833 >= d?
False
Let j be 3*(-110*1)/((-24)/(-64)). Let h = j + 862. Which is bigger: h or 6?
6
Suppose -4*y + 6 = -z, -603*z - y - 30 = -601*z. Is z at least 5/11?
False
Let h = -40608 + 43247. Which is greater: 0.1 or h?
h
Suppose -5*t = -3*m - 4, -2*t + 1 - 9 = 2*m. Let p be (50 - 54) + (t - 236/(-47)). Which is greater: 0 or p?
p
Suppose 5*t = 4*n + 471, -4*n = -3*t - 0*t + 481. Let u = -118 - n. Suppose -4*w = b + 45, 2*b = -0*b + u. Which is greater: 2 or w?
2
Let b = 4355 - 1917. Is 2439 less than or equal to b?
False
Let c be (-9)/(-3) - 51630/17211. Let b = c + 1107237/22948. Let l = 49 - b. Is l at least 0?
True
Let a be 0 + (-1)/(-78)*4. Let o(d) = -400*d + 800. Let j be o(2). Which is greater: a or j?
a
Let s = 0.163 - 16.163. Let i = s - 13. Is i < -3?
True
Let h(j) = j**3 - 8*j**2 - 11*j + 13. Let s be h(9). Suppose 0 = -2*z - 5*p, -17*p - 38 = 5*z - 14*p. Let y be (-145)/55 - (z + 11). Which is bigger: y or s?
y
Let n be (12/28)/((-76)/14). Let u = 22 - -9. Suppose u*q = 36*q + 5. Which is smaller: n or q?
q
Let r be -5 + 6 + 0 + -4 + -1. Let s be (r/(-64))/(36/(-16)). Which is smaller: 0 or s?
s
Let i = 178 - 330. Let d be (-1)/3*(i - 4). Is d > 51?
True
Let k = 3/25 + 19/50. Let y = -1.86 + 2.037. Let o = y + -0.017. Is o greater than k?
False
Let u = -11 + 8. Let c be u/12 - (-114)/(-56). Let r be (-6 + (25/1)/5)*1. Is r smaller than c?
False
Let u be -8 - (3/1 + (-825021)/74646). Is 1 less than u?
False
Let h = 1.26 - 0.26. Let m = 9 - 111. Is m bigger than h?
False
Let q = 45 + -45. Let f = -0.79 - 0.01. Let t = f - -0.62. Which is smaller: q or t?
t
Let u = -4.86 + 273.86. Let l = u + -268.43. Which is smaller: -1 or l?
-1
Let d(f) = 6*f**2 - 191*f - 77. Let u be d(32). Are -989/22 and u equal?
False
Let q be 2/(-4)*(-2)/2*0. Let g = -684 + 38989/57. Are q and g unequal?
True
Suppose -25 + 5 = -5*p. Let n be (p/6)/((-2)/(-3)). Let s be (0 - n)/(-15 + 16). Are s and -15/16 equal?
False
Suppose 30*a = 27*a. Let m = 14 + -39. Are m and a nonequal?
True
Suppose 3*w + 4*q = -0*q + 1717, -3*w + 4*q = -1733. Let z = 346 - w. Are z and -230 equal?
False
Let h = 1197 - 2316. Let j = h - -974. Which is smaller: j or -147?
-147
Let a = -4330 - -4041. Which is smaller: a or -285?
a
Suppose a = -2*q + 3*a - 8, -3*a + 12 = q. Let v be (11/(-1177))/(35/10 + -4). Which is greater: q or v?
v
Let u be 1 + 24 + (-4)/2. Let c(w) = w**2 + w - 38. Let k be c(-12). Suppose -k + 478 = 16*t. Is u bigger than t?
False
Suppose 328 = 17*n - 21*n. Let r = 3 + -38. Let k = -47 + r. Does n = k?
True
Suppose 0 = -18*p - 313 + 313. Suppose 6*b - 2*b = -260. Let t be (-10)/22*2/b. Are t and p nonequal?
True
Suppose 0 = -22*r - 42*r + 14656. Let d = r - 20383/89. Let p(z) = -z + 5. Let c be p(6). Which is smaller: c or d?
c
Let y be 6/4 - 9/(-6). Suppose h + y - 4 = 0. Let c = -0.01 + -0.09. Which is bigger: c or h?
h
Suppose -14*b + 31*b = -29*b - 3266. Is b smaller than -60?
True
Let k = -0.111 - 218.889. Let x = -213 - k. Let g be (-8 + 2)*5/(-75). Are g and x nonequal?
True
Suppose -3 = -2*v + 3. Suppose -3*z + 4*z + 10 = v*l, 4 = 2*z + 2*l. Let c = 1259467/26 + -48441. Which is bigger: c or z?
c
Let a be (5/(-4))/(3 + 725/(-240)). Suppose -a = 17*j - 11*j. Let y be -1 - (-57)/12*j/(-25). Which is smaller: y or 2?
y
Let b = -84253/3090 + 951/103. Suppose -3*z = 4*x - 84, -2*x - 30 = 2*z - 74. Let q = b + x. Is q greater than -1?
True
Let g be (-315)/(-60) - (-1 + 20/16). Suppose 4*x - 3*a + 103 = 0, 10*x - g*x + 5*a + 120 = 0. Which is smaller: -1.5 or x?
x
Suppose 3*b - 88 = -3*r - 223, 0 = 4*r - 4*b + 148. Let x = 67859/12 + -341671/60. Is r > x?
False
Let y = -0.1175 + -0.0395. Is -0.1 smaller than y?
False
Let u be 2/11 + 7 + (-27144)/3366. Is 3 not equal to u?
True
Let x(m) = 350*m + 5249. Let r be x(-15). Is r != 2/57511?
True
Let p = 66 + -63.3. Suppose -2*m + 2 + 2 = 2*h, -3*m = h - 2. Let f(q) = -q**3 + 3*q**2 - 4*q + 4. Let k be f(h). Is p equal to k?
False
Let s = 9956 + -9