). Is t smaller than -18?
False
Let n = 70.8 - 68.654. Is n less than -2/5?
False
Let b be ((-63)/21)/(((-182)/36)/(-7) - -3). Is b > -1?
True
Suppose 34*j - 176 = -10*j. Suppose 3*w + 147 = -5*m, -2*m - 2*m + j*w = 124. Which is bigger: m or -29?
-29
Let o be (2/(-16))/(-38*5/(-380)). Which is greater: 12.974 or o?
12.974
Let l = -194 + 181. Let w = 67 + l. Suppose -g - 5 = 0, -331 + 95 = -4*b + 4*g. Is b greater than w?
False
Suppose 0 = -2*k - 3*m - 23, 32 = 4*k + 2*m + 50. Is 14/999 at least k?
True
Let t be (3/2106*-2)/(4/4286418). Let k = t + 3053. Which is greater: -1 or k?
k
Suppose 2*k - 2*d + 18 = 0, 4*d = 13*k - 10*k + 28. Let m be (k/(-12))/(6/(-9)). Is m less than -4/37?
True
Let w(g) = -g**3 - 7*g**2 + 20*g + 95. Let f be w(-8). Is -2/9037 at least f?
True
Let l be 0 + 0 + (2 - 6). Let i be (21/l)/(3/9). Suppose 2*w + 56 = -4*g, -39*w + 24 = -35*w. Is i at least g?
True
Let g = -5799.02 - -5770. Which is bigger: g or -0.1?
-0.1
Let w = 0 - -4. Let g(x) = x**3 - 5*x**2 + 5*x + 11. Let j be g(w). Suppose -9*y + 162 = -j*y. Are y and -25 nonequal?
True
Let r = 188.7295 - -0.2705. Which is bigger: r or 3?
r
Suppose -2*z + 7*f + 8 = 11*f, -3*f = 0. Suppose -3*u = z*i + 12, -2*i - 4*u + 7*u = 24. Is -31/6 at most i?
False
Let b be (-2)/10*(-1 - -1). Let h(l) = -2*l**2 - 13*l + 14. Let t be h(-8). Which is smaller: t or b?
t
Let z(x) = 6*x**3 - x**2 + 4*x - 3. Let q be z(1). Let p be (((-2)/(-4))/((-2)/28))/q. Let o(v) = -3*v - 41. Let j be o(-13). Which is smaller: p or j?
j
Suppose -3*k = 2*b - 519, -8*k + 1651 = 5*b + 266. Which is bigger: k or 1226/7?
1226/7
Let y = -9 + 10. Let z = 0.629 - -0.351. Which is greater: y or z?
y
Let a be (115/90 - 2)/((-20)/1182). Let p = a + -175/4. Is p at least as big as 0.1?
False
Suppose 0*g + 2*g - 858 = 0. Let z = g - 7311/17. Let o(h) = -h**3 - 13*h**2 + 2*h + 26. Let m be o(-13). Which is bigger: m or z?
m
Suppose 5*c + 2*f = 134, 3*c - 94 - 5 = 5*f. Let y be 3/6 + (-30)/c. Is y >= 0.5?
False
Let k be (-12)/26 - (486/(-39) - -12). Let i = -85 - -85.138. Which is greater: i or k?
i
Suppose 0 = 5*k - 8*k - 18. Let d be (-20)/k + 3/(-9). Is d at most -26?
False
Let f = -44 - -72. Let p(i) = i**3 + 9*i**2 + 17*i + 21. Let r be p(-7). Suppose 0 = -4*l + w + 69 + 38, r = -w + 5. Is l > f?
False
Let z(y) = 71*y**2 - 10344*y - 3213. Let g be z(146). Let p be (6/(-316))/(1/(-2)). Is p smaller than g?
False
Let w be (1050/49)/((-1)/71*1). Let k = w + 54706/35. Which is greater: 42 or k?
42
Let j = 6/53 - 208/901. Let c = -24001 - -23989. Which is bigger: c or j?
j
Suppose 4*f - 64 = 5*k, -13 = -6*f + 5*f + 2*k. Suppose -3*n + 4*n = f. Suppose p + 3 = 0, -4*x = x - 2*p - n. Is x at least -2?
True
Let s be (24275/25620 - -2) + -3. Let n = 10/183 - s. Is 0 >= n?
False
Let j = -34 - -35. Let v(o) = 2*o - 26 - 3 + j. Let p be v(17). Which is smaller: 11/2 or p?
11/2
Let v be -8 + (-10)/(-2) - 13/((-104)/6128). Which is smaller: -5/2 or v?
-5/2
Suppose -2*k - u = 4*u - 11, 0 = 5*k + u - 16. Let a be k/(8/6*(-378)/144). Which is greater: -8 or a?
a
Let a be (2534/(-56))/(2/(-16)). Let s = -1539 + 15295/13. Let d = a + s. Is d less than or equal to 1?
True
Let a = -976 - -13679/14. Suppose -101*c + 99 + 106 = 3. Which is greater: c or a?
c
Suppose -4*q - 5*o - 35 = 0, 6 = -3*o - 3. Let t be q/(-40) - 1962/(-48). Which is greater: 39 or t?
t
Suppose -5*b + 3*m = -30 - 4, -b = -m - 8. Suppose -2*c - 5*t + 25 = c, t = 2*c + b. Which is greater: 1/54 or c?
1/54
Suppose -g + 73 = -5*c - 23, -2*c - 5*g - 60 = 0. Suppose -5*i - 110 = 5*t, 3*i + 5*t + 115 = 43. Let l = i - c. Which is bigger: 1/5 or l?
l
Let r be 1595/77 + (-4)/(-14). Let j = 21 - r. Let u = 275/22581 - 4/193. Which is greater: j or u?
j
Let u be (1*(-2)/(-4))/((-10)/(-100)). Suppose 2*z + 305 = 5*z - g, 4*g + 520 = u*z. Which is smaller: 99 or z?
99
Let t = -29.2 + 29. Let u = -123 + 209. Let j be u/144 - (-18)/(-81). Is j greater than t?
True
Let h = 1623 + -1705.1. Let i = 9.1 + h. Let k = 42 + i. Which is bigger: k or 0.1?
0.1
Let j be (0 - 1 - -2)*-108. Suppose 33288 = -517*m + 7394 - 30459. Does j = m?
False
Suppose 5*h - 42 = 7*y, 2*h - 4*y + 8*y = -24. Is 17/308 >= h?
True
Suppose -3*m + 81 + 15 = 0. Let t be 16/m + 73/(-90). Let n = t + 1/9. Which is bigger: -3 or n?
n
Suppose 57*g - 28938 = 15976 + 5360. Does g = 884?
False
Let p be 834743/(-862081) + (-29)/(-29). Let i = 24/719 - p. Is 1 smaller than i?
False
Let k be -12*((-256)/6 - 2). Let v = -320 + k. Is 216 greater than or equal to v?
True
Suppose -5*n - 9*h = -4*h - 10, -3*n - h = -2. Let d be ((-266)/(-280) + -1)*96/(-20). Which is greater: n or d?
d
Suppose 4*q + 4*s = 88, -5*q + 0*q - 2*s = -116. Suppose 4*u - 5*i = -0*u - 72, 0 = -5*u - 3*i - 53. Let z be (q/60)/(u/10). Do 1 and z have the same value?
False
Let w(o) = o**3 + 2*o**2 + o. Let r be w(-1). Suppose -14 = h + 3*v, h + r + 2 = v. Let l be 9/21*h/(41 - -4). Do l and 0 have the same value?
False
Let r be (10/(-4) - -1)*(-2 + 10 - -6). Which is greater: 0 or r?
0
Let a = 1.6 - 1.633. Let w = -0.18988 + -0.01012. Is a smaller than w?
False
Let g be 2/(((-24)/4791)/(-4)). Is g bigger than 1596?
True
Let p = 110.886 + -111. Let m = p + 0.014. Let w = 2.9 - 0.9. Is m >= w?
False
Let n be (-172)/(-473) - (-256)/22. Let w be (-18)/(-24)*n + -10. Which is smaller: -7/6 or w?
-7/6
Let s be (-412)/74 + (-21)/(252/(-96)). Which is greater: 3 or s?
3
Let s(r) = r**2 + r + 2. Let n be s(0). Suppose 2*z + n*z = 3*m + 49, 14 = -2*m - 2*z. Let b be (-24 - -24)*(-2 + (1 - 0)). Which is smaller: b or m?
m
Let b be ((-267)/(-356))/(6/80). Let y(z) = -3*z + 12. Let d be y(10). Let c be (6/d)/((-2)/54). Do c and b have the same value?
False
Let o be (-5*(-18)/50)/((-3)/15). Let p = -1640.6 - -1640. Which is bigger: p or o?
p
Let n be (-1)/((-8)/24 + 4/(-6)). Let h = -1.591 + 1.061. Which is bigger: n or h?
n
Let n = -143.089 - -0.089. Suppose -5*g - 8 = -g. Which is smaller: g or n?
n
Let l = -11860 + 11956. Is 77 not equal to l?
True
Let q be (-1 + (-8)/10)*-11. Let c = -4.5769 - -4.4769. Is c less than or equal to q?
True
Let q = 2/11359 - 7815002/56795. Is q less than -139?
False
Let q(d) = -7*d**2 - 648*d + 249. Let j be q(-93). Does j = -64?
False
Suppose 4*q - 3*s - 212 = 0, 3*q - 138 = 30*s - 33*s. Suppose -q*j - 1576 = -46*j. Is j equal to -394?
True
Let q = 1082 - 1089. Is q less than 99/4?
True
Let u = -8758036/298051 - 6/22927. Which is bigger: -29 or u?
-29
Let t = 814 + -821. Let a be ((-4)/(12/(-9)))/((-21)/t). Let i = -4065/11 + 371. Which is bigger: a or i?
i
Let h(d) = -5*d**2 - 35*d + 38. Let c(v) = v**2 + 2*v - 1. Let n(g) = 2*c(g) + h(g). Let b be n(-12). Is b < -24?
False
Let h(i) = i**2 - 5*i + 1. Suppose 0 = -13*w + 10 + 29. Let x be h(w). Which is bigger: -6 or x?
x
Suppose -23 = -5*v + 3*m - 5*m, 5*v - 3*m - 3 = 0. Suppose -33 = -r - 4*r + 4*b, 2*r - 16 = v*b. Suppose r*s = 9*s + 40. Which is greater: s or -8?
-8
Suppose 5*b + 195 = -o + 456, -5*b = -3*o + 623. Let j(c) = 222*c**2 + 2*c + 1. Let t be j(-1). Is o <= t?
True
Suppose 81721 = -j + 4*x, -5*j + x + 0*x = 408586. Let m = -818261/10 - j. Let y = m - -109. Which is greater: -1 or y?
y
Suppose 2*q = 17 - 19. Let c(t) = 0 + 1 - 3*t**2 - 16*t**3 + 2*t**2 + 0. Let x be c(q). Are x and 13 unequal?
True
Let s be (-44)/(-11) + 0/(16/4). Suppose 0 = 3*c - p + 16, -s*c - 6 = -5*p + 8. Which is smaller: -56/11 or c?
c
Suppose 2*b = 3*j - 5560, -4*j = 552*b - 549*b - 7402. Is 1852 bigger than j?
False
Let j = 58 + -27. Suppose -4 = k, j + 0 = -5*u - 4*k. Let h = 5 + u. Is h at most 2?
True
Suppose 0 = 58*w - 30*w. Is 10/3079 != w?
True
Suppose -2*t + 4 = -2, -5*r = t - 143. Let h = 29 - r. Suppose 10*y + 9 + h = 0. Which is smaller: y or -3?
-3
Let a = -4 + 8. Let j = a + -5. Let u = -2223 + 2221. Which is bigger: j or u?
j
Let w(l) = 2*l**2 + 70*l + 522. Let f be w(-17). Which is smaller: -631/7 or f?
-631/7
Let l be 17/(-5) - (-2)/5. Let v = 97 - -276. Let i = v - 372.95. Which is smaller: i or l?
l
Let t(j) = -163*j + 430. Let v be t(12). Which is bigger: v or -1524?
-1524
Let p = -6237878727/44785 - -139285. Which is smaller: 0 or p?
p
Suppose 9*t - 4*t - 170 = 0. Suppose v = -4*v - 5*l + 115, -t = -3*v + 4*l. Suppose 2*j - 6 = 0, 2*a + 4*j = -a + v. Is a at most 