: l or x?
l
Let j be 1/7 + 54/14. Which is greater: j or 11/3?
j
Let y be (-238)/22 - 4/22. Let r(k) = 2*k + 29. Let j be r(-12). Suppose 0 = j*x - 2*l + 50, -68 = -x + 5*x + 4*l. Is x != y?
True
Let h = 185 + -185. Does h = 3/178?
False
Let m(q) = -q**2 - 4*q - 1. Let l be m(-3). Suppose l*y + 0*y + 34 = 2*b, 2*y + 5*b = -48. Suppose -18 + 75 = -3*k. Is k less than y?
False
Let x = -7820/7 - -1115. Is -1 less than or equal to x?
False
Let s be 36*((-81)/(-12) + -6). Is 51/2 less than or equal to s?
True
Suppose 4*d - 3*s = -2*s - 425, 0 = -4*d - 2*s - 410. Suppose 0 = -f + 2*l + 34 - 2, -3*l = -4*f + 138. Let t be (f/d)/((-4)/(-10)). Is 0 greater than t?
True
Suppose 0 = s + 3, -s = -3*n + 8 - 2. Let x(w) = 4*w - 3. Let v be x(4). Let m be (0/v - (-3)/(-2))*-4. Which is greater: m or n?
m
Let c(h) = -h**2 - 34*h - 1. Let x be c(-34). Which is smaller: x or -1/1226?
x
Suppose 5*q + 10 = 0, 4*q - 12 = -6*y + y. Let f(l) = -l - 4. Let n be f(-8). Is y equal to n?
True
Let t(i) be the third derivative of -i**4/24 + 5*i**3/3 + 12*i**2. Let r be t(10). Which is smaller: 3/16 or r?
r
Let a be 297/6*(-2)/(-12). Let r = a + -347/28. Which is greater: -4 or r?
-4
Let w = -694 - -623. Which is bigger: w or 1/2?
1/2
Let w(f) = -7*f + 6. Let d be w(-4). Suppose 0 = -5*b + 3*z + 76, -b - 2*b + d = 4*z. Is b equal to 16?
False
Let i(n) = n**3 - 9*n**2 - 8*n - 4. Let o(l) = -6*l**3 + 45*l**2 + 39*l + 21. Let z(t) = 11*i(t) + 2*o(t). Let j be z(-7). Let h = -26 - j. Is 4 != h?
False
Let b = 812 + -821. Are b and -21 non-equal?
True
Let b be (-9)/12 + (196/(-16))/(-7). Let o be (((-3)/(-12))/b)/((-1)/4). Let d = 16 + -22. Which is smaller: o or d?
d
Let n be -10*(2/1 - (-65)/(-25)). Suppose -4*p + 3*h - 6*h = n, 10 = 5*p - 5*h. Which is smaller: -1/15 or p?
-1/15
Let q = 82/45 + -20/9. Let j = 10 + -8. Suppose 48*w = 50*w + j. Which is greater: q or w?
q
Let x = -305 - -310. Which is smaller: x or -0.3?
-0.3
Let q be (-3)/(-9) + (-34)/(-6). Suppose 0 = -4*b + q*b. Let y = -2 - -1. Which is smaller: y or b?
y
Let a(z) = z**2 + 6*z - 10. Let i be a(-8). Let y(p) = -p**2 + 6*p + 3. Let h be y(i). Let v be 2/((-36)/h + -1). Which is greater: 1 or v?
1
Let u(v) = v**2 + 8*v - 13. Let r(j) = 2*j + 8. Let w be r(-9). Let c be u(w). Let l be 21/(-3)*6/c. Is -7 >= l?
False
Let q be (-11)/342*(-108405)/144. Let l = q - 949/38. Let a = l - -1/96. Which is bigger: a or -1?
a
Let j(r) = 2*r + 17. Let o be j(-7). Let p = -23 - -22. Let t be 3/p - 33/(-6). Which is smaller: o or t?
t
Let f be 10 + (-3)/(-3) + 1. Suppose 0 = -2*h + 4*z + 10, -2*z = 5*h + z - f. Suppose -2*w = 3 + h. Do -3 and w have the same value?
True
Let n = -342.2 + 365. Is n at least as big as -0.1?
True
Let l be 66 + 35*1/7. Is 70 at most l?
True
Let z = 1.26 + -0.16. Let b = 0.6 - z. Let k = b + 1.5. Which is smaller: -2/11 or k?
-2/11
Let c(o) = -o**2 + 12*o - 21. Let i be c(9). Let a be (29 + -26)*(40/i)/(-2). Is -10 >= a?
True
Let h = 14275001/12 - 1181700. Let g = -7898 + h. Let j = g - -61/4. Which is bigger: j or 0?
j
Let m be 1 + 1 + (7 - 10). Let d be 6/(-1) - -5 - 159/(-165). Which is bigger: d or m?
d
Let x = -192 - -285. Suppose -4*a + 118 = -9*a - 4*z, -3*a + 5*z - x = 0. Which is smaller: -25 or a?
a
Let z be (1 - -11)/((-6)/(-645)). Let t = z - 10305/8. Which is greater: t or 3?
3
Let n(y) = -3*y**3 - y - 8. Let w be n(3). Is w <= -1/4?
True
Let m = -27 - -23. Let p(u) = -5*u - 4. Let o be p(m). Which is bigger: 15 or o?
o
Let d be (16/(-180))/(12/(-10)). Let a = 10 + -6. Suppose 4*m + u = 5, -5*m + 20 = -0*u + a*u. Which is smaller: d or m?
m
Let q(s) = -s**2 - 29*s - 87. Let y be q(-19). Which is smaller: y or 107?
y
Let l = -83 - -85. Let d be (32/(-640))/(l/(-12)). Which is bigger: -2 or d?
d
Let l be 18/54 - 2/6. Which is bigger: l or -12/47?
l
Let r = -494 + 601. Is r less than or equal to 537/5?
True
Let c = 991 - 514. Is 477 < c?
False
Suppose 0 = -x - 3*x + 4, 0 = 4*y - x + 17. Let i = 40 + -35. Suppose i*j + 5 = 4*j. Which is bigger: j or y?
y
Let n(g) = 2*g + 4. Let c be n(-5). Let l be 3/(-4)*4/c. Let p(j) = j**3 - 4*j**2 - 6*j + 6. Let o be p(5). Is o less than l?
False
Let j = -33.93 - 0.07. Let k = -36 - j. Are k and -1 non-equal?
True
Let r be (-136)/(-14) + (-8)/(-28). Let u be 460/52 + 4/26. Is u < r?
True
Let w be 22 + -11 + -9 - -2. Which is bigger: 77/20 or w?
w
Suppose -15*g + 24 = -11*g. Let b be 3 - ((-2)/g)/((-20)/525). Do -6 and b have different values?
True
Let u = 34 - 76. Let q be (0 - 42)/((-3)/(-12)*4). Is u at most as big as q?
True
Let c = -6.9 + 7.25. Let g = -0.9 + 1. Which is bigger: g or c?
c
Let w be 4 + ((-5)/10 - (-3)/2). Suppose m + m + 22 = -w*c, 3*c = -2*m - 10. Is c bigger than -6?
False
Let p be (-32)/((-2)/(2 + -4)). Let a be -2*4/16*62. Which is smaller: p or a?
p
Let v(j) = -j**2 + 5*j + 14. Let t be v(7). Let l = 107 - 71. Is l < t?
False
Let s(n) = n - 4. Let h be s(5). Let x = 76337/105 + -727. Which is smaller: h or x?
x
Suppose -r + 100 = -5*r. Let i be r/15 + (-1)/3. Are i and 2/3 equal?
False
Let i be (1/(-63))/((-118)/(-8454)). Let o = -1/177 + i. Suppose -14 + 14 = -20*q. Is q bigger than o?
True
Suppose 0 = 60*n - 59*n - 1. Suppose -5*l - 4 - n = 0. Is -1/46 greater than l?
True
Let z = -0.49 - -0.33. Let l = z + 0.36. Is l greater than -3?
True
Let a be 136/14 - 16/(-56). Suppose 0 = -3*y + 4*y - 5*o + 11, 4*o - a = 2*y. Which is smaller: 3/13 or y?
y
Let q = 0.21 - 12.21. Let f = 11 + q. Is f greater than -1?
False
Let w(i) = -2*i**3 + 21*i**2 + 3*i + 20. Let z be w(9). Suppose -z = -5*u + 105. Is 79 != u?
False
Let s = 1487 + -1828. Which is smaller: -340 or s?
s
Let z be (-1)/(-2 - 3560/(-284)). Let p = 1/44 - z. Which is greater: p or 1?
1
Let n = 10 - 3. Let b(r) = -r + 11. Let g be b(n). Let a(m) = m**3 - 4*m**2 - m + 5. Let u be a(g). Is u >= 1?
True
Let h = 947.1 - 947. Which is greater: 483 or h?
483
Let m = 31 + -43. Let k = m - -12. Let z = -1/6 + 1/2. Is z >= k?
True
Let m(g) = g + 2. Let v be m(-4). Let c(f) = 25 + 4 - 11*f**2 - 2*f + 15*f + 10*f**2. Let x be c(15). Which is greater: v or x?
x
Let i be (-8 + 2)*(10 - 7). Let s be (23/i + (-24)/(-16))*1. Is s at least as big as 3?
False
Let u = -0.17 + -0.03. Let l = 0.3 - u. Is l greater than 4?
False
Let l = -59.067 - -59. Let u = l - -13.067. Is u greater than or equal to 2?
True
Let h be (-64)/(-126) + (-2)/9. Let g = 103/60 + -1/20. Which is smaller: h or g?
h
Suppose 2*v + 3*h = 176, 2*v - v + 4*h - 93 = 0. Suppose -4*q - v = -145. Which is smaller: q or 1?
1
Suppose -4*g = 441 - 433. Which is bigger: 10 or g?
10
Let j(g) = -74 + 9*g - 73 + 134 + g**2. Let m be j(-9). Is m >= -38/3?
False
Suppose 2*q - 3*d + 2*d = 13, 2*d + 6 = -q. Is q less than or equal to 30?
True
Let s = 0.304 - 0.504. Let a = 31 - 66. Is a less than s?
True
Let q = -19840 - -456210/23. Let n = q - -3/92. Is -5 bigger than n?
False
Let h = 0 - 0. Suppose 0 = -3*y - 5*w + 18, 2*w - 12 = -3*y + 6. Suppose -3*z + y*z = 6. Is h at most z?
True
Let b(t) = 7*t**3 + t**2 + t + 1. Let u be b(-1). Let a be 20/9 - u/(-27). Suppose 2*k + 4*y - 20 = 0, k = a*k - 4*y + 14. Is 5/2 at most k?
False
Let r be (-6)/(-16) + 39273/(-728). Is -54 less than or equal to r?
True
Let p = -7.12448 + 0.12448. Let o = -0.9 - -1. Let v = o + -0.2. Which is greater: v or p?
v
Let p = -4 + 1. Let l = -121 + 107. Let t be 4/l - 858/231. Which is smaller: p or t?
t
Let j = 32 - 26. Which is smaller: j or -31?
-31
Let r(v) = 10*v**2 - 3*v - 1. Let w be r(-2). Let d = 40 - w. Which is greater: d or -2?
-2
Let y = -35.2 - -35. Let o be 2/10 - (-44)/80. Is y less than o?
True
Suppose 3*o - 2*n = 9, 7 + 2 = 3*o + 3*n. Let q(g) = g**3 - 6*g**2 + 8*g - 2. Let v be q(o). Which is smaller: v or -14/3?
v
Let k be (-3)/4 + (-10)/(-120)*-3. Is k greater than -20/11?
True
Let o be (-2)/18*-3*(-3 - 6). Let s be o*(321/(-63) - -5). Is -0.23 at most as big as s?
True
Let l be (-316)/(-28) - (-30)/(-105). Which is greater: 61/5 or l?
61/5
Let w(z) = -z**3 - 11*z**2 - 13*z - 24. Let d be w(-10). Suppose 0 = -d*u - 20 + 68. Is u smaller than 13/2?
False
Let r = -1.2 + 0.8. Let c = -9.84 - -10. Let l = c + -0.06. Is r greater than l?
False
Suppose 0 = -2*h + 5*s + 10, 4*h - s - 3 = -1. Suppose 4*l + 2*a = -112, h = -2*l + 5*a - 2*a - 48. I