is greater: 3/7 or n?
3/7
Let u(y) = -223*y**3 - 62*y + 174. Let j be u(3). Which is smaller: -6032 or j?
j
Let g = 5 - 1. Let s = g + -4. Let t = -2742 - -178232/65. Which is smaller: s or t?
s
Let f = -7540 + 8252. Do f and 708 have the same value?
False
Let h be ((-3)/(-6787))/((-63)/6). Which is smaller: h or -1?
-1
Let q(s) = -6*s**2 + 6*s - 9. Let z be q(-6). Let b be z/6*60/(-18). Let u be -4 + (-1 + b)*(-3)/(-114). Are -1 and u equal?
False
Let h = -12/185 - 8301/370. Let k = 22 + h. Which is smaller: k or -0.19?
k
Let z(t) be the first derivative of t**2/2 - 6*t + 3. Let k be z(7). Suppose -3*o = 47*s - 46*s - 8, -5*s + 20 = -5*o. Is k < o?
False
Let k be 12/(-48) + 232/3. Let l = 77 - k. Let f be -2 - ((-11)/(-2) + -7). Do l and f have the same value?
False
Suppose -10 = -11*w + 6*w. Suppose 0 = -2*r - t - 1, -r + 6 = -5*r + w*t. Let h be 80/(-2720)*(-8)/10. Is h greater than r?
True
Suppose 1724*d = 1733*d + 3852. Is -429 <= d?
True
Let n = -3198.029 - -3198. Which is greater: n or -1?
n
Let b = -0.08 - -0.48. Let n = 8210.1 + -8214. Which is smaller: b or n?
n
Let d = 12 + -13. Let x(y) = y**2 + 13*y + 56. Let u be x(-8). Let b be 4 - (76/u + d). Which is bigger: b or 3/11?
3/11
Let w = 0.576 + -11.466. Let g = w + 10.8. Let b = -1.79 + 1.69. Which is smaller: g or b?
b
Let n(d) = -4*d**3 + d**2 + d + 1. Let y be n(-1). Suppose 2*o - 3 + y = 0. Let j be -2 - (4 - (-8)/o). Is 6/7 smaller than j?
True
Suppose 15*v - 1989 = -2*v. Which is greater: 115 or v?
v
Let h be ((-39622)/88)/((-9)/(30 - -6)). Is 1795 smaller than h?
True
Suppose 2*f = 138 + 142. Let k = f + -137. Which is smaller: -1/3 or k?
-1/3
Let c(l) = 4*l + 60. Let g be c(-14). Let s be (4/2 - g)*5/(-10). Which is smaller: -2/15 or s?
-2/15
Let w = -6875 - -6874. Is 0.4 bigger than w?
True
Let h be (-344)/(-110) + (-4)/10. Suppose 0 = 5*f - 23 + 123. Let c be (f/(-30))/((-4)/6)*-2. Is h less than or equal to c?
False
Let q = 138 + -132. Suppose 117 = q*x + 171. Let o = x + 25/3. Which is greater: 35/4 or o?
35/4
Suppose -371*f = -333*f. Which is smaller: -10/989 or f?
-10/989
Suppose -4*z = 5*d + 927, 4*z + 0*z + 962 = 2*d. Let t = -425 - -186. Is t greater than z?
False
Suppose 0 = -3*s + 371 - 32. Let m be ((-12)/5)/((-9)/870). Suppose -119 = l - m. Does l = s?
True
Let j = 161 + -279. Let l be (-4)/(-18) - j/(-450). Let y be 9 - (-5)/(-70)*126. Which is greater: y or l?
y
Let a = 832 - 833.91. Let y be 0 - ((-4 - -7) + -2). Is y greater than or equal to a?
True
Let s = -295 - -337. Let j be 324/72*(-8)/s. Let r = 2.6 + -3. Are j and r non-equal?
True
Let k be 24/3 - 2 - 2. Suppose 4*a - 8 = k. Suppose -a*i = -2*i - 2. Is 26/9 equal to i?
False
Let u = 0.00677 + 2.92223. Let i = u - -0.071. Which is smaller: -2.3 or i?
-2.3
Let p be 6 + 0 - 3 - 2. Let i be -8 - -147*(-12)/(-222). Do p and i have the same value?
False
Let g(k) = 38*k**3 - k**2 + 4*k - 1. Let h be (3/(-10)*-4)/((-2)/5). Let m be g(h). Let o be -2*(3136/m + 3*1). Is o bigger than 0?
False
Let r = -645/46 + 4107/598. Which is bigger: -8 or r?
r
Let y = 80 + -114. Let m = 0.1119 - 0.3119. Do y and m have different values?
True
Suppose 6*a - 2*a = -2*a. Let i be 0/(a - -1) + 1*-3. Let z be 0/(((-2)/(-6))/(i/9)). Are z and 3 nonequal?
True
Let a = -153 - -127. Let f = -70 + 48. Are a and f equal?
False
Let v = -23873 + 23871. Let f = 1116 + -3574/3. Let k = -76 - f. Which is smaller: v or k?
v
Let c = 27 - 18. Let d be 2 - (-4 - -3) - -21. Suppose 130*m = 133*m - d. Which is bigger: c or m?
c
Suppose -5*p = -2*m + 85 + 94, 5*m = -3*p - 126. Is -1/8 at least as big as p?
True
Let d be (2/24*3)/(1/8). Suppose 21 = 3*f + 3*k, -4*k - 6 = -3*f - d*k. Suppose -4*p + 3 + 1 = -f*n, 1 = 4*p - 5*n. Which is smaller: p or 32/9?
32/9
Let k = 1830/323 - 17/3. Is k smaller than 1?
True
Let p = 679378/37 - 18364. Let d = p + 1676/111. Let g be (-18)/((6/4)/(-1)). Are g and d equal?
False
Let l(s) = s - 9. Suppose 2*v + 28 = 4*y, 11 = 4*y + 5*v - 31. Let g be l(y). Let u be 2*g/(-10) - (-12)/(-10). Is -4 at least as big as u?
False
Let x = -3772 - -3773. Which is smaller: 32907 or x?
x
Let h be (-1)/(-21)*6 + 523/7. Let s be ((-1)/6)/(h/100). Which is smaller: s or 3?
s
Suppose 20 = -37*q + 39*q. Suppose -t + 7*g - 3*g + 13 = 0, -13 = -t - g. Is t at least as big as q?
True
Let q = 43336/47 + -922. Let j be (2 - 1060/6)/(14/21). Let y = 261 + j. Which is bigger: q or y?
q
Suppose 0 = -2*z - 2*z + 72. Suppose 5*u - 5*i + 15 = 0, -21*u = -z*u - i + 1. Do 1/47 and u have different values?
True
Let a = -10 + 1. Let m = -117.078 - -2.778. Let w = 114 + m. Is a > w?
False
Let x(w) = -w**3 + 9*w**2 - 4*w - 4. Let v be x(9). Let p be (-10)/v + 15/4. Suppose 0 = -3*h - f + 20, -2*f + 46 = p*h + 16. Which is smaller: h or 8?
h
Let r = -2 + 55. Suppose 60 = -5*x - 5*w, 4*x = -0*x + w - r. Suppose -3*s - 46 + 4 = 0. Is s at least x?
False
Let z = -27131 - -27284. Does 157 = z?
False
Let q = 0 + -0.1. Let o = q + 0.1. Let y = 20.792 - 18.092. Is y smaller than o?
False
Let a = 90 - 89. Let b be a + (-32)/(-12) - 12/3. Which is greater: b or -21?
b
Let u be 17/(-187) + (25623/(-35310))/(-9). Which is smaller: u or 0?
u
Let d = 9 + -10. Let g be -3*4/(-30) + 128/80. Suppose -h - x = 4*h - 36, -g*x + 23 = 3*h. Are d and h equal?
False
Let t be -1*(-4 - -1 - 4) + 687/(-99). Which is smaller: -2/45 or t?
-2/45
Let d(l) = l**2 - 2*l - 20. Let i be d(6). Suppose c = -5*s + 19, 7*s - 8 = i*s - 4*c. Suppose 0 = -5*g - 0*g + 25. Is s less than g?
True
Let x = -46 + 64. Suppose -l - x - 18 = 0. Let d = l - -31. Is d equal to -45/8?
False
Let m = -77442.04 - -77442. Let b = 4.9 + 0.1. Is b at least m?
True
Let q = -6109 + 6533. Is 426 bigger than q?
True
Let m = -4032 + 4031.93. Which is smaller: m or 30/13?
m
Let k be (-2)/(-6)*11 - (7 + (-220)/30). Which is bigger: k or 222/73?
k
Let t(l) = -l**3 - 4*l**2 - l + 7. Let y be t(-3). Suppose -g + 2*r + 8 + y = 0, -r + 41 = 3*g. Is 1 less than or equal to g?
True
Suppose -14*d + 20 = -8. Let f be ((-1 - 100/5) + d)/1. Is f equal to -17?
False
Let o = 1332 + -1361. Is o smaller than 3?
True
Suppose 8*j - 421 = 683. Let v be 16/(-44) + j/198. Is -8 less than or equal to v?
True
Let i be ((-20)/6)/((-20)/30). Suppose -i*n + 128 = -9*n. Suppose 11 = 3*x - a + 105, -4*a - 72 = 2*x. Is n at most as big as x?
True
Suppose 55*q - 102*q + 51*q = -1256. Which is bigger: -303 or q?
-303
Suppose 7*q + 70 = 2*q. Let b = 16 + q. Let z be (2 + 9/b)*4 - 1. Do 26 and z have different values?
True
Let z be (-3)/12 - 1/(-4). Let l(f) = f**3 - f**2 - 3*f + 31. Let j be l(z). Suppose 29 = -10*s - j. Which is greater: -17/3 or s?
-17/3
Let r = -0.116 - 30.384. Let h = -26.5 - r. Is -1 < h?
True
Let p be 12/(-18) + 3 + (-66)/9. Let o = 1 - -14. Let d(f) = f**3 - 14*f**2 - 16*f + 10. Let v be d(o). Is v greater than or equal to p?
True
Let x be (-936)/182*-14*2/(-22). Let a = 1024/143 + x. Suppose -1 = c - 2. Is a at least as big as c?
False
Let d = 0.67 - 0.07. Let o = 0.048747 + 13.951253. Which is smaller: o or d?
d
Let l = -1542 - -1551. Suppose 2*j = 6*j - 36. Suppose j*c + 0 = -l. Is c less than 5?
True
Let r be 0 - (-1 + 0)/(-1). Let a = 21 - 52. Let p = 31.26 + a. Which is greater: p or r?
p
Suppose -d + 47 = 12. Let k be (-1430)/(-282) - 35/(d/5). Which is bigger: 1 or k?
1
Suppose 4*i = -4*y - 1 - 23, 10 = -5*i. Let v be ((-31)/4)/(y + 94/24). Let w = v - 93. Is -3/5 <= w?
True
Let c = -391.348 + 392. Let s = c + 0.148. Which is smaller: -4 or s?
-4
Let r(l) = -8*l**2 + 2. Let f be r(-1). Let m(o) = -3*o + 9. Let d be m(f). Suppose -6*z + 4*z + 21 = v, -z + 5*v = -d. Do 15 and z have the same value?
False
Let p = -0.164 + 0.25. Let k = p + -0.086. Is -2/833 > k?
False
Let p = -185 + 96. Let t = -69 - p. Let v = 25 - t. Which is smaller: v or -4?
-4
Let s = 35.54 + -35.54. Which is greater: s or 863?
863
Let k(q) = -5*q**2 - 16*q - 10. Let y(n) = -4*n**2 - 16*n - 11. Let i(p) = -5*k(p) + 6*y(p). Let s be i(-10). Suppose 6*c = s - 76. Is 28 less than c?
False
Let l = -17408 + 13920. Which is bigger: l or -3489?
l
Let u be (-10725)/(-7470) + -3 + 26/12. Is 0 greater than or equal to u?
False
Suppose -2*s = -7*s + q + 498, 0 = 2*s - q - 198. Suppose 0 = -109*f + s*f + 72. Is f <= 7?
False
Let b be -1 + -3*2 + (10 - 