c(4). Let l = v + j. Which is greater: 1/3 or l?
l
Let v(o) = o**2 - 8*o + 5. Let u be v(5). Let g be ((-3)/(-9)*3)/(u/110). Is 1/3 less than g?
False
Let k be (-88)/16 - 2/4. Suppose -5*j - 32 = 4*f, -5*f + 3*j = j + 73. Let x = k - f. Is x <= 7?
True
Let f be (-1)/(-2) - 5/2. Let h be -2 + (-2)/(f/1). Let n = 7511 + -172751/23. Which is greater: n or h?
n
Suppose 8 = 3*j + 5. Suppose 7 + j = -2*c. Which is greater: -2 or c?
-2
Let m(l) = 2*l**2 - 6*l + 5. Let o be m(3). Let k = 7 - o. Let q = -1 + k. Which is smaller: q or 2?
q
Let g(i) = i**3 + 4*i**2 - 7*i - 8. Let f be g(-5). Let r(l) = 5*l**2 + 5. Let k be r(f). Which is smaller: 26 or k?
k
Let b(j) = -2*j - 1. Let s be b(-3). Let a = 7 - s. Suppose -v + 4*h = -5*v - 4, 3*v - 3*h = 21. Is a less than or equal to v?
True
Suppose -3*d - 5 = -4*d. Suppose 4*p + d*k = 27, -4*p + 0*p - k + 15 = 0. Let v = p + -10. Is v not equal to -5?
True
Let y = -84.68 - -76. Let v = -9 - y. Let d = 10.32 + v. Is 0 at most d?
True
Let o be 3 + 1/((6/2)/(-3)). Is -14 <= o?
True
Let b(j) = j**3 - 7*j**2 + 8*j - 9. Let v be b(6). Let f be v + -5 + (-12)/(-4) - -13. Which is greater: 1 or f?
f
Suppose 13*q + 42 = 19*q. Let m be 8/28 + (-457)/q. Which is greater: m or -64?
-64
Let b = 888934/943 - 2828/3. Which is smaller: 0 or b?
b
Let d(q) = -3*q - 2. Let m be d(3). Let o = m - -13. Let x(p) = p**3 - 11*p**2 - 13*p + 16. Let l be x(12). Is l > o?
True
Suppose -4*a - 2*h = 20, -2*a = 3*a - 3*h + 14. Let v be -2*14/4 - (142 - 130). Is a less than or equal to v?
False
Suppose 4*o = -12, 32 = 5*c - 0*c + o. Let t = c + -5. Let q = 759/5 + -151. Which is greater: q or t?
t
Let l be (4 + 462/(-117))*(-2 + -1). Is -45 smaller than l?
True
Let g be ((-488)/16)/((-10)/4). Let o = g + -1774/145. Do 0 and o have different values?
True
Let r = 80 - 77. Suppose -r*b = 2*g + 64, 0 = -g + b - 5*b - 32. Is -31 smaller than g?
False
Suppose -3*c - 2*t = 14, t + 10 = -2*c + 2. Let z = -202462 - -13767751/68. Let i = 54/17 - z. Which is smaller: i or c?
c
Let z be (-13)/(-6) - (-5)/(-30). Suppose 6*c - 4 = z*c. Let q(l) = -2*l + 2. Let x be q(c). Which is smaller: -1/13 or x?
-1/13
Suppose 5*p = 4*v + 43, -4*p - 4*v + 0*v = -56. Let i(u) = -2*u**2 + 23*u - 9. Let r be i(p). Which is greater: r or 7/5?
r
Let a be (3 - 0)/(-2 + 1). Suppose -206*b = -202*b - 5*v + 41, 0 = 2*b + v + 17. Which is greater: a or b?
a
Suppose 2*s = -6*s + 472. Suppose -2*h = -s + 13. Are h and 23 nonequal?
False
Let g(y) = y**2 - 4*y - 3. Let k be g(5). Let c(h) = -1 - 8*h + 6*h - 2. Let t be c(-2). Is k at most as big as t?
False
Let d = -25.82 + 25.9. Is 0.7 < d?
False
Suppose k = z + 318, -2*z - k = -2*k + 634. Which is greater: -317 or z?
z
Let j be 10/(-25)*239/(-30) - 3. Let s = j - -2/25. Which is greater: s or 1?
1
Let i(f) = -22*f + 244. Let g be i(12). Which is smaller: g or -27?
-27
Let k = 0.9 - 0.8. Let q = -18 - -18.06. Let t = -3.06 + q. Is k at least as big as t?
True
Let f = -34 + 11. Let j = 23.9 + f. Is 0.2 at most as big as j?
True
Let u(j) = -2*j**3 + 5*j**2 + j - 3. Let l be u(2). Suppose -3*a + 6*n - n - 4 = 0, -2*n + 4 = 0. Which is smaller: l or a?
a
Let a be 3 - (1 + (-1 - 0)). Suppose 0 = a*m + 17 + 13. Let k be 2/6 + 112/(-12). Is k bigger than m?
True
Let h = 2102/161 + -92/7. Is -1 <= h?
True
Let q = 26 + -13. Let n be 32/10 - (4 - (q - 6)). Which is bigger: 6 or n?
n
Suppose -2*q = -3*p - 21 - 3, q - 18 = 3*p. Suppose -3*f - 2*d + q = 0, 4*f + 3*d = -d + 12. Is -5/9 greater than or equal to f?
False
Let u = 45.3 - 45.2. Which is bigger: u or -1.61?
u
Suppose -10*a - 8 = 2. Which is bigger: a or 7/11?
7/11
Let n be (-5)/(-3)*(-6)/(-5). Let p be (75/(-39) + -1 + 3)*n. Which is smaller: p or -1?
-1
Let s(u) = 3*u**2 + 4*u + 1. Let h be s(-2). Suppose 3*w + 2 = h. Is 26 at most as big as w?
False
Let o = 912 + -923. Is o greater than -11?
False
Let c(i) = -i**2 + 11*i - 2. Let z be c(8). Let p be 3 + z/14 - 0. Is 4 greater than p?
False
Suppose -s + 34 = 2*c - 6*s, -4*s - 37 = -3*c. Suppose -3*w + 9 = 5*x, x - 3*x - 3*w = -9. Let l be ((x - 1) + 0)*1. Which is bigger: l or c?
c
Let s(f) be the first derivative of -103*f**4/4 - f**2/2 - 1. Let i be s(1). Let x be ((-2)/i)/((-18)/48). Which is greater: -1 or x?
x
Let t = -24 - -10. Let k be t/66*40/28. Let u = 1/33 - k. Is 0 less than u?
True
Let m = 1 - -4. Let h be 1*(-8 + 0 + 12). Suppose 0 = -2*k - h*o - 28, m*o + 35 = -4*k - 9. Is -31/5 less than or equal to k?
True
Let l(o) = -3*o**2 - 15*o - 10. Let q be l(-4). Is q at least 45/26?
True
Let u be ((-44)/6)/((-4)/6). Let c(t) = 7*t - 39. Let p(r) = 10*r - 58. Let d(i) = 7*c(i) - 5*p(i). Let g be d(u). Do 7 and g have the same value?
False
Let a = -10 + 6. Suppose -2*y = -6*y + 4, l + 4*y - 2 = 0. Which is smaller: a or l?
a
Suppose -59*r = -10*r. Let p be 34/42 + (-4)/6. Is p bigger than r?
True
Let j(p) = p**2 - p + 4. Let r be j(-3). Let o = -26 + r. Let y be (-2)/o - 108/(-10). Do y and 12 have the same value?
False
Let n be (-1)/(-3) - 13/3. Let x be 27/(-45)*n/(-6). Let q = -4 + 3. Which is bigger: x or q?
x
Let y = 181 - 3438/19. Suppose -4*m + 3*m = 0. Is y greater than m?
True
Let u = -156 + 162. Which is bigger: u or 15?
15
Let p(r) = 89*r**3 + 3*r**2 + 5*r + 3. Let n be p(-1). Which is bigger: n or -87?
-87
Suppose 3*y = -3*d, -y - 7*d + 12 = -2*d. Let x be 15/(-10)*8/y. Let t be ((-8)/8)/((-10)/x). Which is bigger: 1 or t?
1
Let k = 0.0164 - 0.0164. Is k equal to 55?
False
Let d = -2/91 + 394/1365. Is d not equal to 1?
True
Let o(k) = -6 + 0 - 1 + 15*k + k**2 - 1. Let m be o(-9). Is -62 at most as big as m?
True
Let w be (-2)/7 - 34/(-168). Let m = 112 + -451/4. Let x = w - m. Which is smaller: x or -0.5?
-0.5
Let h = -140.26 - -2.26. Which is greater: h or 0?
0
Suppose -t - 3*g = -45, 2*g + 97 = 4*t - 27. Suppose -46 = -3*u - 5*m + 34, 3*m + 190 = 5*u. Is t greater than u?
False
Let x(l) = 14*l**3 - 2*l**2 - l. Let n be x(-1). Which is smaller: n or -57/4?
n
Let s = 0.031 + -0.231. Which is greater: 0.4 or s?
0.4
Let t = -162699/11 + 14773. Which is smaller: -18 or t?
-18
Let s = -496/371 - 20/53. Let q be 84/(-35) + 9/(-15). Is q greater than s?
False
Let w = 661 - 549. Which is smaller: w or 114?
w
Let a = -4.8 - 0.2. Let y be 0 + (2/(-4))/((-30)/180). Are a and y equal?
False
Suppose 0 = -7*y + 6*y + 3. Suppose -y*p + 48 = p. Let v be (2/(-6))/(p/(-9)). Is v bigger than -2/3?
True
Let s = -71.01 + 71. Which is greater: -6 or s?
s
Let j = -40 - -39. Let n = -1270 + 80008/63. Is n greater than j?
True
Let a(v) = 7*v + 208. Let n be a(-30). Is 2/523 less than n?
False
Let y be -10 + (-84)/(-12) - -157. Are y and 153 equal?
False
Let h be (-1)/(-4) - (-29)/(-84). Let v(d) be the second derivative of d**3/6 - 2*d**2 - 2*d. Let x be v(3). Which is smaller: h or x?
x
Suppose 12 = 2*v + 2*m - 3*m, -2*m = 3*v - 11. Let q be (-8)/(-68) - (-7)/(357/198). Which is smaller: q or v?
q
Let h = -64 - -69. Suppose h*j + 3*a - 30 = 0, 4*a + 2 + 9 = -j. Are -3 and j equal?
False
Let x be 806/498 + ((-1615)/(-51))/(-19). Are x and 0 non-equal?
True
Let z(v) = v + 5. Let i be z(0). Suppose 2*n = 3*o - 2, -i = -4*o + 3. Suppose 0 = n*j + 5*a + 1 - 5, 4*a + 36 = 4*j. Are j and 7 nonequal?
False
Let r be (-60)/(-110) + (-236)/110. Let t = 0 + 1. Which is bigger: r or t?
t
Suppose 34 + 26 = 5*w. Let l = 11/4 - -31/4. Which is smaller: l or w?
l
Let s(u) = -1803*u + 69. Let w be s(1). Does w = -2/3?
False
Let p = 8 - 0. Let t(v) = 6*v**2 - 3*v + 2. Let h be t(2). Let l = h + -13. Is p at least l?
True
Let b = 5.37 - 0.37. Which is smaller: -40 or b?
-40
Let k = -854 + 835. Is k not equal to -0.01?
True
Let k = 10.347 - 0.047. Let d = k - 22.3. Which is smaller: d or 3?
d
Let r(p) = -p**2 + 22*p - 104. Let m be r(11). Is 19 less than or equal to m?
False
Let i = 0.43 + -86.43. Let v = 88.5 + i. Which is bigger: v or 0.1?
v
Suppose 0 = 2*j - 7*z + 9*z - 858, 5*j = 2*z + 2138. Which is smaller: j or 426?
426
Let u = 1019 - 1015. Is 17/6 smaller than u?
True
Let i be (-7 + 3)*(-4)/(-16). Let l be ((-649)/21)/((-2)/(-6)). Let v = 93 + l. Which is greater: i or v?
v
Let v = 4 + 0. Let w = -70383899/119 - -591465. Let y = 1/357 + w. Which is smaller: v or y?
y
Let q = 443 - 437. Which is smaller: q or 111/16?
q
Let l = -1511 - -1213. W