. Let j = 1 - t. Let i = -1193/116800 - -1/4672. Are j and i unequal?
True
Suppose 50*y + 38 - 80 = 158. Let i(l) = -l + 3. Let m be i(-4). Is m bigger than y?
True
Let m be (-603412)/3638 + 38/(-323). Let y = -166 - m. Which is smaller: 0 or y?
y
Let j be (-1)/(-31) - (-5818836)/(-9021). Is j < -649?
False
Let z = -5540 - -5549. Is 0.1 at most z?
True
Let i(d) = 169*d**2 - 31*d + 33. Let g be i(1). Is 509/3 greater than or equal to g?
False
Let u = -2424 + 2436. Is -3/19 less than u?
True
Let f = -215 + 258. Let s = -42.078 + 0.078. Let v = f + s. Which is smaller: -2 or v?
-2
Suppose -57131 = -11*x + 10057. Which is greater: 1 or x?
x
Let j(o) = o + 5. Let v(z) = z + 6. Let n(h) = 3*j(h) - 4*v(h). Let i be n(-7). Let s be 434/(-3162)*4/14. Are s and i nonequal?
True
Let u = 74500/11 + -341411/66. Is 1601 less than u?
False
Suppose 3*a + 2*a - 140 = 0. Let m be a*58*(-2)/(-16). Let c = m - 622/3. Is -3 equal to c?
False
Let n be (92 - 62)/(-2*1). Let u = -67/2 + 20. Is n equal to u?
False
Let t = -132 + 143. Suppose -341 = 4*j - 10*h + t*h, 4*j + 2*h + 342 = 0. Is j != -84?
True
Suppose -126469 = -37*t + 86*t. Which is smaller: t or -2584?
-2584
Let w = 393 + -392. Suppose h - 5*r + w = -0*h, 4*r = -4*h - 28. Do h and -6 have the same value?
True
Let p = -68412.1282 - -68439. Let x = p - -0.0282. Let c = 27 - x. Do c and 0.1 have the same value?
True
Suppose 4*h - 4 = 3*h. Suppose -3*i + 5 = -4*a, 0 = 3*i - i + 5*a - 11. Suppose -h = x - c, c - i = -0. Which is bigger: 1/22 or x?
1/22
Let n = 766266 - 23446973332/30599. Let s = n - 62524/20287137. Is s bigger than -1?
True
Suppose p + 90 = 5*h + 7, 2*p + 64 = 4*h. Let a = 45295/7 + -6454. Which is bigger: h or a?
h
Let l = 847 - 2662. Let x = l + 1781. Let w be (2/3)/((-2)/98). Is x less than w?
True
Let b = 26294 - 26304. Which is greater: 437 or b?
437
Let i(a) = 3*a + 21. Let f(h) = 3*h**3 + 30*h**2 + 29*h + 11. Let j be f(-9). Let r be i(j). Let q be (-6)/22*4/6. Is r <= q?
False
Let w = 113387 + -112846.07. Let u = -541 + w. Which is greater: -1/5 or u?
u
Let i = -403566 - -8008767268/19845. Which is greater: 1 or i?
1
Suppose 15*x + 80*x + 23*x = 0. Suppose 5*y - 15 = -0. Which is greater: x or y?
y
Suppose -587 = -8*h + 117. Let r = 89 - h. Let b = -2320 + 294638/127. Which is smaller: r or b?
b
Let a(f) = f**3 + 17*f**2 + 17*f + 15. Let j be a(-16). Let s be (-166)/18 - (8 + 962/(-117)). Which is bigger: s or j?
j
Let f be (-5)/(-3 - 2) - 1*-6. Let c be f/14*0/1. Suppose 4*a - 60 = u - c*u, 0 = 3*u + 5*a + 95. Is -40 bigger than u?
False
Let j = -1523/3813 - -19/93. Let b(n) = n**3 - 52*n**2 - 770*n + 127. Let a be b(64). Are a and j equal?
False
Let r = -1.43 + -5.77. Let t = 17.2 + r. Is t less than 2/5?
False
Let h be 7 + (-6 + 261/54)*6. Is h bigger than 4/6187?
False
Let k = -13155 + 2183737/166. Is k != 0?
True
Let j be (-5)/35 - ((-13320)/1428 - -9). Is 0 not equal to j?
True
Suppose -d + 35 = 4*d. Let m(p) = 2*p**2 + 8*p - 4. Let l be m(-5). Suppose 0 = 2*g - l*f + f - 13, 0 = 5*g - f - 21. Is g < d?
True
Let d(z) = z + 5. Let q be d(-3). Suppose 4*s - 1282 = -4*b + 5*s, -2*b - 5*s = -630. Let g = 298 - b. Which is greater: q or g?
q
Let d be (((-340)/8)/(-17))/(-3 - (-11)/2). Is -1/419 <= d?
True
Suppose 656*i - 660*i = 384. Let o be (i/(-504))/((-2)/3). Suppose 5*y + 3 = -2*b, 3*y + 6 = 2*y + 5*b. Which is bigger: y or o?
o
Suppose 470 = -3*d + 5*n, 2*d + 3849 - 3524 = 5*n. Which is smaller: d or -3?
d
Suppose 2*y + 92 = 6*r - 2*r, 37 = r + 3*y. Suppose r*x = 2*q + 20*x - 10, 5*x = 5*q + 5. Let o = -6 + 3. Are o and q unequal?
True
Let g = -196.04 - -205.04. Let y be (-6)/9 - (-22)/6. Which is smaller: y or g?
y
Let v(a) = a**2 - 381*a - 3910. Let m be v(-10). Which is smaller: m or -111/212?
-111/212
Let o = 5697 - 5698. Which is smaller: o or -0.2165?
o
Let m(u) = 10*u + 128. Let i be m(-32). Is -195 greater than i?
False
Let k(q) = -q**3 + 21*q**2 - 86*q - 13. Let x be k(6). Which is smaller: x or 7/6?
7/6
Let f be 4 - 6/(12/(-2690)). Let w = -1321 + f. Let r(j) = -6*j + 1. Let x be r(-4). Are w and x non-equal?
True
Let f be (-359)/(6*(-3 - -2)). Let z = 127/2 - f. Suppose -233*i + 9 = -230*i. Do i and z have the same value?
False
Let g(u) = -u**3 - 6*u**2 - 17*u - 157. Let b be g(-8). Are b and 2/5 equal?
False
Suppose -123 = -836*h + 713*h. Let n be (-4)/6*3/(-293). Is h at most n?
False
Suppose x = 8*x - 392. Let l be 57/x + -1 + 0. Is 0 greater than l?
False
Let h = 15071860424/73482382491 - 2/66021907. Let m = h + -32/147. Let j = 17/53 - m. Is j < -15?
False
Let d = -1/2914 - -104911/20398. Let x be (-1)/3*-453 - (1 + -1). Let s = 157 - x. Which is greater: d or s?
s
Let y = -7556 + 672472/89. Let c = -13318/353 - -3184831/125668. Let m = c - y. Which is bigger: -11 or m?
-11
Let d(y) = 55*y + 4. Let z be d(2). Let p be (z/105)/(6/15). Which is smaller: p or 4?
p
Suppose -310 - 775 = -5*o. Suppose 2*s + 175 = 4*p - 693, -3*p = s - 661. Which is smaller: o or p?
o
Suppose 0 = 327*n - 329*n + 1108. Let s = n - 557. Which is bigger: s or -54/25?
-54/25
Let v = -0.3 - -0.2. Let d = -4762.2 + 4725.2. Which is greater: v or d?
v
Let c = -425.5 + 423.45. Which is smaller: 2/19 or c?
c
Let o be 2/3*(-179784)/(-176). Do 683 and o have the same value?
False
Let c be -2*(14/10 + (-15)/15). Suppose 3*i - 3 = 0, -5*i + 0 = -2*p - 3. Which is smaller: p or c?
c
Let q = -72 + 17. Let z be 76 - (-70 + 199) - (-1 - 8)*11/(-33). Is q at least z?
True
Let t = -34 - -638. Let j = t + -611. Is j smaller than -59/8?
False
Let w = 2/85365 + 85157/8877960. Let n(j) = j + 2. Let b be n(-2). Suppose -3*h + b*h = 3. Which is smaller: h or w?
h
Let i be 4/(-6) + 32/93. Let l(v) = 21*v**2 + 87*v + 12. Let q be l(-4). Do q and i have the same value?
False
Let q be (11 + 16898/(-1530))*(-5)/9081. Is 0 greater than q?
False
Let l = -110.8 - -128. Let b = l - 17. Which is smaller: 53 or b?
b
Let g = 0 - -2. Let t be (-198)/(-12)*((-80)/(-12))/5. Suppose -g*k = -t - 12. Is k less than 15?
False
Let z(h) = -14*h**2 - 3*h + 12. Let c be z(2). Let q be ((-9)/(-72))/(-3 - c/16). Are q and 58 unequal?
True
Let t(n) = -11*n**2 + n + 4. Let v be t(2). Let d be 1140/(-16)*(-1 + v/(-36)). Let w = d - 19/24. Do w and -6 have the same value?
False
Suppose 0 = -v + 5*v - 2*u + 678, 0 = 5*v - 3*u + 850. Are v and 0 nonequal?
True
Let y = 0.57 + 0.03. Suppose -72 = -34*k + 16*k. Let g(c) = -12*c + 52. Let o be g(k). Which is greater: y or o?
o
Let l be (-9 - -7) + 252/(-1722)*(-232)/18. Which is smaller: 0 or l?
l
Let a(c) = c**3 + c**2 - 5*c - 11. Let u be a(0). Let k = u + 11. Suppose 2*q - 6 = -4*m - k*q, 0 = m + 2*q - 6. Which is bigger: 4/11 or m?
4/11
Let k be (-10)/(-25) + (-1)/(-5)*53. Let h(r) = 2*r**2 - 22*r + 1. Let p be h(k). Is -2/81 at least as big as p?
False
Suppose 18*g - 66 = 42. Suppose -29*b - 23 = g. Is b <= -4/17?
True
Let d = 1421.7 + -1422. Suppose -5*y + 20 = 0, -2*a = -a + y - 6. Is d smaller than a?
True
Suppose -3*y + 4*q + 11 = -2, -3*y - 3*q = 15. Let p be 10450/(-65835)*14/(-5). Which is smaller: p or y?
y
Let p be (3 + 1 + 264/(-15))/((-169)/(-1040)). Do -83 and p have the same value?
False
Suppose -5*c + 3*p - 4*p + 225 = 0, 2*p = 0. Suppose -33*w = -c*w - 1080. Is -91 less than w?
True
Let u(r) = 10*r - 6*r + 10 - 11*r - 3*r. Let h be u(-4). Suppose 7*b + h = -3*b. Is b at least as big as -3?
False
Let l = 1.6 + 2. Let k = l + -3.632. Let q = -1.032 - k. Is 1 at least as big as q?
True
Let d(m) = m**3 - 16*m**2 - 13*m + 15. Let z be d(16). Let r = z - -166. Suppose 138 = -5*w - 2*l, l = -0*w + 5*w + 126. Which is smaller: r or w?
r
Let r = 6 + -3. Let n = -51 - -133. Suppose -6*a + 94 = n. Do a and r have the same value?
False
Let m = -4626/37 - -125. Let k = 278 - 275. Suppose -1 = b, 11*j - 12*j - k = 4*b. Do m and j have the same value?
False
Let p = -560 - -1089. Let x = p - 529.01. Is -19 <= x?
True
Let n(d) = -d**2 - 10*d + 25. Let g be n(-12). Let o be 6/8 - 10*(-10)/(-136). Which is smaller: o or g?
o
Let n = -770319 + 5402967/7. Are n and 1534 nonequal?
True
Let j = -9676 - -10751. Are 1076 and j non-equal?
True
Let t = -37 - -58. Let h = 19 - t. Let s be h/((-16)/(-44)) + 0. Is s <= -5?
True
Suppose 10 = 4*j - 14. Suppose -7 + 1 = j*y. Let i be (4 - 10/2)/y. Is i 