 = 137*a + 393. Let u be i(-6). Is -429 > u?
False
Let c be (-18)/(-63)*14/6. Let r = -61.33 - -61. Let f = -0.23 - r. Which is smaller: c or f?
f
Let k be -1 + 1/(0 - -1). Suppose 10*r - 74 - 6 = k. Let g be (-126)/(-15) - ((-48)/(-20) + -2). Is g at least as big as r?
True
Let d = -21 - -155. Let o be -16 + 12 - (-4932)/(-38). Let b = o + d. Which is greater: 0 or b?
b
Let p = 10007 - 10018. Which is bigger: 2203 or p?
2203
Let q be -2 + 9 + -6 + 1*13. Let s(l) = -6 - 14*l - 2 + 3*l**2 - 2*l**2. Let j be s(q). Which is greater: j or -6?
-6
Let b = 4 - 7. Let x be (-8 - -11)*(-2)/3 - 7. Let f be b/x - 0 - 3/(-2). Is f at most as big as 2?
True
Let a(g) = g**2 - g - 21. Suppose -b = -3*v + 6, 2*v = -v - 5*b + 6. Suppose -2*d = w - v*w + 2, -3*d - 3 = 5*w. Let n be a(w). Which is bigger: n or -1/2?
-1/2
Let v = -819.5 + 819.7. Which is bigger: -54.1 or v?
v
Let a = 50 - 100. Let v be 3012885/(-60885) - (-4)/(-66)*3. Which is smaller: v or a?
a
Let f = 3247 + -3246. Are -310 and f equal?
False
Let d be 1088/85*4740/72. Is d <= 844?
True
Let o = 32254 - 32289. Suppose -71 = 4*k + 73. Which is bigger: o or k?
o
Let r be (-10)/(50/35)*2/(-14). Let j be (18/(-15))/((-957)/(-220)). Which is smaller: r or j?
j
Let r(k) = -k - 7. Let l be r(-9). Suppose -2*g + 4 = l. Let q be (g/(-62))/(96/(-64)). Is 1 < q?
False
Let i(h) = h**3 - h + 23. Let d be i(0). Suppose -2*c - 4*b = 48, -c - d = 5*b - 2. Is -27 smaller than c?
True
Let k be ((-2)/815)/((-4)/5). Let a = 21827 + -21826. Which is bigger: k or a?
a
Suppose 49*r = 5*u + 50*r + 707, 5*r + 433 = -3*u. Which is greater: u or -137?
-137
Let z = -50 - -58. Let o = z - -56. Let d = o + -47. Is 1 < d?
True
Let z = 128 + -182. Let t = z - -50. Let c = -3 + 5. Which is bigger: c or t?
c
Suppose 3*i - 598 + 108 = -4*n, -5*i = -n - 786. Let y = -113 + i. Suppose -y = 4*l + 35. Which is smaller: -18 or l?
l
Let p = -106.95 - -106.85. Are 2.662 and p equal?
False
Let t = -13.385 - -13.575. Which is smaller: t or -317?
-317
Suppose 0 = -13*t - 457 + 1445. Let y be (-8)/16 + t/151. Is y > 0?
True
Let n = -58.74 + 12.41. Let h = -0.33 - n. Let t = 34 - h. Is t at least 0.2?
False
Let l = 0.0455 - 0.1455. Is 7/53 at most l?
False
Let p = -104/495 - -1/99. Let a be 1*(-6)/(-39)*-1. Which is bigger: a or p?
a
Let r = 99 + -9. Suppose r = 2*n - 7*n. Let h be 0 + (3 - 3) + -17. Do n and h have the same value?
False
Suppose 3*s + 9 = 3*q, -9*q - 5*s = -8*q + 15. Suppose -17*p + 2*p - 15 = q. Which is smaller: 3/136 or p?
p
Suppose 2*n = -3*h + 11, 5*h - 22 = -n - 6. Let m be 10 - 18 - -13 - (5 + 0). Suppose m = -l + 6*l - h*l. Which is bigger: l or 2/47?
2/47
Let i(m) = -7*m**3 - 42*m**2 + 50*m + 144. Let s(x) = 3*x**3 + 21*x**2 - 25*x - 71. Let h(l) = -2*i(l) - 5*s(l). Let g be h(-22). Which is bigger: g or 5/6?
g
Suppose 7*p + 15 - 127 = 0. Let c be (-4 - 0)/(-4) - -1. Suppose 5*w - 5*u = -c*u, -5*w + 5*u - 10 = 0. Which is smaller: p or w?
w
Let g = 201.225 - 0.225. Let x = g + -93. Is x smaller than -2/7?
False
Let z(n) = -16*n**2 - 558*n - 10. Let i be z(-35). Which is greater: i or -81?
i
Let q = 11621 - 2399. Does q = 9222?
True
Suppose -3*c + 820 = -l, -2*c + 12*l = 11*l - 546. Let s = -1097/4 + c. Is s at least 24/11?
False
Let t be (3/1)/(-12) + 129516/(-144). Is t not equal to -900?
True
Let h be (-76752)/1456 - (12/(-105))/(2/(-5)). Is h greater than or equal to -6?
False
Suppose 184 = -5*v + 28*v. Let f be v*3/6*(-144)/(-88). Which is greater: f or 7?
7
Suppose -17*d - 45 = -2*d, -103 = 5*z + d. Which is bigger: 83/7 or z?
83/7
Let s = -35 - -38. Suppose -1 - 29 = s*g. Let o = g - -29/3. Which is greater: 3/10 or o?
3/10
Let h = -12089101/5148 + 30528/13. Suppose -2*w = 3*w. Which is greater: h or w?
w
Let c = 42 + 18. Suppose -5*k + c = 5*k. Suppose -k*t - 315 = -t. Which is bigger: -64 or t?
t
Suppose -70 = -y + 2*h, -4*y + 217 = 101*h - 102*h. Which is smaller: 73 or y?
y
Suppose -14 = -33*c + 19. Suppose h + c = -z, 6*z + 6 = 4*z - h. Which is bigger: z or 6?
6
Let d be ((-16)/(1 - 9))/(4/(-54)). Is -9 > d?
True
Suppose 2706 = h - 1442 - 1375. Is 5523 less than or equal to h?
True
Let b(l) = -24*l + 34. Let g be b(-20). Let j = g + -512. Suppose 3*y - 3*q = 24, -5*y + 0*q + 46 = q. Which is smaller: j or y?
j
Let t = 5 - -7. Suppose -j + 3*u - 2*u + 3 = 0, j = 4*u + t. Let y = -116548/25 - -4662. Which is smaller: y or j?
j
Suppose -72 - 12 = 3*y. Let z = 34 + y. Let c be (-49)/(-364)*z/21. Which is smaller: -1 or c?
-1
Let o(j) = -j + 23. Let t be o(11). Suppose -12*w = -84 + t. Suppose 2 = 3*f + 11, 0 = -3*v - 3*f + w. Which is smaller: v or 4?
4
Suppose -3*r - 9 = -2*w + 9, w + 2*r - 2 = 0. Let y be (-115)/25 - w/(-10). Let p be (-2)/(-11) - y/(-22). Is -4 at most as big as p?
True
Suppose 2*s - 3*s - 9*s = -s. Which is smaller: s or 1/49?
s
Let p be (-5)/695*8*12/2784. Is 1 not equal to p?
True
Let z be ((-2)/(-6))/(8/(-27683 - -11)). Is -1154 at most as big as z?
True
Suppose -988 = 4*o - 4*t, 4*t - 5 = 3. Let q = 205 + o. Let j be (0 - 8)/((-1)/(-5)). Are q and j nonequal?
False
Let d be (-2)/(368/(-2) + -1). Suppose -3*t - 2*t - 1090 = 5*n, -2*t + 2 = 0. Let b = -218 - n. Are b and d equal?
False
Let r = -71.7 - -180.7. Let p = -195 - -95. Let z = p + r. Which is smaller: z or 0.1?
0.1
Let u = 27.01 - -2427.99. Which is smaller: -1/2 or u?
-1/2
Let r be (1/174)/((-3)/(-12)). Let a(o) = 3*o**3 + 5*o + 1. Let q be a(2). Suppose -9*m + 35 = q. Is m bigger than r?
False
Let i be (3/(-2))/(35/14*(-21)/70). Are -0.289 and i nonequal?
True
Let u = -15 + 20. Let t be 3*u*(12 + -13). Let n be ((-9)/28)/(t/40). Do 1 and n have the same value?
False
Suppose -2*z + 3 = -45. Suppose -3*r - 18 = -5*r. Let m = z - r. Which is smaller: 14 or m?
14
Suppose 0 = -3*m - m + p - 4, 5*m + 8 = 2*p. Suppose 0 = -d + 5*d + 3576. Let b = -29504/33 - d. Is m bigger than b?
True
Let r = -95596/13 - -7348. Which is bigger: r or 0.09?
0.09
Let w = -27 - -13. Let f be (-114)/(-212) - (57 + 187178/(-3286)) - 18/20. Which is smaller: f or w?
w
Let i be ((-38640)/990 - -39)*(-18)/(-15). Suppose -4*l - 12 = 4*p, -1 = -0*l + 3*l + p. Which is greater: i or l?
l
Let n be (108/7)/((-3)/18). Let p = n - -93. Let r = -11 + 11. Which is smaller: p or r?
r
Suppose 0 = -214*w + 212*w + 5*n + 43, 14 = -2*n. Let f = 1/5465 + 262307/71045. Which is smaller: w or f?
f
Suppose 5*z = -d - 6, -4*d = -3*z + 1 - 0. Let g = 27/31 - 57/62. Is g at most as big as d?
False
Suppose -2*m - 2*y = -5*m + 50, -4*y - 44 = -2*m. Let i be m + -19 - 37/(-7). Which is smaller: 10/9 or i?
i
Let q be (((-100204)/39)/(-41))/(5/(-12)). Which is bigger: q or -150?
-150
Let o be 966/(-56) - -16 - 102/8. Which is smaller: o or 5.6?
o
Let j = -295046/45 - -75904/9. Is 1876 > j?
False
Let i be 2/2*(3 - 1 - 1). Let w be i + 336/(-34) + 192/(-1632). Suppose 0 = 4*t - 2*t + 20. Is w greater than t?
True
Let i = 20379 + -20330. Is -1.11 smaller than i?
True
Let t = 12.754 - 12.654. Is 6734 <= t?
False
Let a = 4 - 8. Let r be 40/(-25)*50/a. Let x = 15 - r. Which is smaller: -1 or x?
x
Let b = -380 + 380.974. Let f = 0.989 + b. Let k = f + 0.037. Is 0 at least k?
False
Let s = -19.2 + 17. Let a = s - -4. Let j = a + 1.2. Is j < -0.2?
False
Let o(i) = i**3 - 2*i**2 - i - 6. Let t be o(3). Let z be (t - -3) + 2 - (7 + -3). Which is smaller: z or -2/383?
-2/383
Let d be 11/6 - 255/170. Let x be 11/12 - 1/3. Is d <= x?
True
Let p = 107/11 + -1395/88. Let g be (-8 - -6) + -5 + 2. Is p smaller than g?
True
Let t = -1.165188 + -70.810112. Let i = 0.0247 - t. Do -0.3 and i have different values?
True
Let h(z) be the first derivative of 2 + 1 - 2*z**2 - 5 + 4*z. Let o be h(-12). Is o less than 53?
True
Let s = 0.157 + 29320.843. Which is greater: -1 or s?
s
Let z = -183401/135880 + -2257/632. Let h = -26/5 - z. Are h and 0.1 unequal?
True
Suppose 35*r - 1616 + 1581 = 0. Which is smaller: r or 6/547?
6/547
Suppose 2*x - 10804 = -2*d, -41*x + 38*x - 2*d = -16201. Are x and 5396 nonequal?
True
Let a(j) = -884*j + 34482. Let i be a(39). Let c = -3965 - -43691/11. Which is smaller: c or i?
i
Suppose -9996 = -3*k + 3*u, -5*u = 445 - 425. Which is bigger: k or 3330?
3330
Let s = 36138 - 20015. Is 16123 at least as big as s?
True
Suppose y = -14*m - 12, 3*y + y - 3*m - 11 = 0. Let j(z) = 