e the same value?
False
Let q be (-7)/((-16)/5 + 3). Suppose 9 = -w - 3*u, 0 = -5*w - 0*w + 5*u + q. Suppose 17 - 46 = n - 4*z, -w*n - 42 = -3*z. Are -9 and n equal?
True
Let r = 12.4 + -14.4. Is 82 less than r?
False
Let h = 1140 + -14796/13. Is h > 3?
False
Let a(c) = -c**2 + 8*c + 10. Let q be a(9). Let y be ((-36)/(-10))/((-24)/9). Let i = y - -5/4. Is q >= i?
True
Let j be 1 + 6/3 + 16. Let l = j - 5. Let b be 14/l*(10 + 0). Which is bigger: b or 11?
11
Let h = -63.056 + 63. Let p = 2.944 - h. Which is smaller: p or -11?
-11
Let b be 39/9 - 16/(-24). Suppose -2*s - 78 = -b*i, 0 = -3*s + 3*i - 0*i - 135. Which is smaller: -50 or s?
-50
Let y = -132/19 + 434/57. Let h = -3/11 + -7/55. Which is smaller: h or y?
h
Suppose 0 = 20*r - 24*r - 508. Let w = 128 + r. Is w equal to -3/44?
False
Let g = -2269.03 + 2269. Let m = -0.17 - 0. Let i = g + m. Which is greater: 1.5 or i?
1.5
Let u be -5 + ((-51)/8 + 1)/(-1). Which is smaller: u or -16?
-16
Suppose o = -66 - 151. Is -217 <= o?
True
Let d = -701 + 399. Which is smaller: -305 or d?
-305
Let x(j) = -17*j + 240. Let s be x(0). Which is bigger: s or 239?
s
Suppose 3*o + 0*i - i + 2 = 0, o - 3*i = -14. Suppose r = -o + 2. Are -3/11 and r non-equal?
True
Let g = 52.76 + -52. Let h = -0.738 + g. Which is greater: -1 or h?
h
Let f be (10/(-80))/(0 + 20). Is 0 at least as big as f?
True
Let o be -1 - (0 - -1 - 1). Let d be ((-170)/20 - -6)/(1/(-6)). Let n be 2448/(-10260) - (-2)/d. Do n and o have different values?
True
Suppose -3*a + 16 = 1. Suppose -l = -5*j + 2*l + a, -4*j - 2*l = -26. Let s be 2/(-3) + 0/j. Which is bigger: s or -1?
s
Let s = -171 + 171.01. Do s and 4 have the same value?
False
Let w(f) = f**3 - 4*f**2 - 6. Let a be w(6). Let s = a + -68. Which is smaller: s or -0.1?
s
Let r = 25 + -16. Let f = 300 + -297. Is r at least f?
True
Let b be (-1 + 21/15)/(648/54). Is b less than -4.3?
False
Suppose 126 = 19*k + 2*k. Is 55/9 at least as big as k?
True
Let c be (2/(-6))/(2/(-102)). Suppose 2*f - z = 7, 5*f - c = f + z. Suppose -f - 19 = -4*u. Is u at least as big as 6?
True
Suppose -27 + 69 = -3*z. Let f = z + 23. Let j be (-36)/f*(-2)/124. Is -1 > j?
False
Let d = 3 - 2. Let h be ((-24)/(-40))/((-42)/(-910)). Is d greater than or equal to h?
False
Let f be ((-2)/96)/(34/(-4)). Let m = f + -2455/2856. Suppose -8 + 38 = 3*b, 49 = y + 5*b. Which is greater: m or y?
m
Let l = 6 + -10. Let i be (-976)/336 - (24/63)/4. Which is greater: l or i?
i
Let c = -178 + 179. Suppose 0 = -4*f + 17 - 1. Let g(w) = w - 6. Let i be g(f). Which is greater: i or c?
c
Let k be (-162)/(-144) - 4/32. Is k bigger than -14/383?
True
Suppose 5*d - 15 = 4*t, -12*t = -3*d - 7*t + 22. Which is smaller: 12/65 or d?
d
Suppose -o - 4*o = -25005865. Let p = o - 32872709524/6573. Let y = p + 1/313. Is -1 <= y?
True
Let i = -3 - -4. Let u be 161/98 - ((-4 - -1) + 5). Which is greater: i or u?
i
Let r be 1/(5/(-15)) - -5. Suppose -3 = -b - 2*b - 3*u, -3*u = 0. Which is greater: r or b?
r
Let r = 12 - 1. Let x = -0.016 + 15.916. Let n = 16 - x. Which is greater: n or r?
r
Let z be 2/12*-2 - 42406/195. Which is smaller: z or -217?
z
Let m = 7533/5 - 1507. Let h = 0 + -1. Which is smaller: h or m?
h
Let x = 6.9581 - -0.0419. Which is smaller: x or 4?
4
Let x be 4/12 + 2/3. Suppose -5 = -2*k + x. Let a be k/((3 + -6)*-1). Is a <= -1/10?
False
Let p be 2298/2555 + 30/(-50). Let n = -6971/2701 + 96/37. Let i = p - n. Do 7 and i have the same value?
False
Let x = 2876 + -2867.412. Let l = -8.6 + x. Which is greater: l or -0.2?
l
Suppose 4*y - 5*w = 238, -3*y - 2*w + 234 = 67. Suppose 919 + y = -4*g. Let p be ((-6)/g)/((-9)/12). Is -1 < p?
True
Let y(u) = -u**3 + 14*u**2 - 26*u - 4. Let d be y(10). Does 135 = d?
False
Let m = -62.1 - -62. Let c = 54.91 - -0.09. Which is smaller: m or c?
m
Let p = 339 - 419. Do 2 and p have the same value?
False
Let r be 20/12*(1 - -2). Let a be ((-4235)/(-3))/r - -3. Let z = a + -283. Which is greater: 2 or z?
z
Let i(w) = w - 13. Let d(v) = -13*v - 27. Let j be d(-3). Let y be i(j). Let g = -144/35 + 26/7. Is g at most y?
False
Let z(h) = h**2 + 41*h - 109. Let a be z(-44). Suppose -2*c - 130 = -6*y + y, 5*y = -4*c + 100. Is y greater than a?
True
Let h = -0.7 + -0.4. Let k = -1.03 + 0.03. Let g = k - h. Which is smaller: g or 10?
g
Let i = 619 + -8649/14. Let b = 19/7 - i. Which is greater: 4 or b?
4
Let f be 8/1120*16/98. Let a = 1378/5145 - f. Let n be (-2 - (1 - 3))/2. Which is smaller: n or a?
n
Suppose -4*s + 3*x = -45, -2*s + 0*x + 27 = 3*x. Which is smaller: 138/13 or s?
138/13
Let s be 51/(-138) + -9*8/(-144). Is 0 > s?
False
Let r = -0.033 + 6.533. Let j = 6.7 - r. Let t = 1.4 + 6.6. Which is smaller: j or t?
j
Suppose 5*y - 55 = -230. Let u = -2691 + 2656. Do y and u have different values?
False
Let z be (97 + 2)*1*44/264. Is z >= 1?
True
Suppose 0 = 43*j - 4025 - 834. Which is greater: 112 or j?
j
Let z = 10 + -10. Let l(o) = -o**2 - o - 2. Let s be l(3). Let c = -29/2 - s. Is z at most as big as c?
False
Let u(r) = -r**2 + 0*r**2 + 2*r**2 + r**2 - 2*r. Let x be u(4). Let v = 614 - 589. Are v and x unequal?
True
Suppose 5*q - 150 = -5*v, 2*q - 3*v - 40 = -v. Let g = q + 7. Let i be ((-7)/(28/g))/(-1). Is 9 <= i?
False
Let d be 2*10 + 1 + -3. Let o be 130/(-39)*d/5. Let p = 25/2 + o. Which is smaller: p or 0?
0
Let z be ((-129)/(-2))/(507/(-52)). Is z greater than -8?
True
Let k(z) = -z**3 - 4*z**2 + 4*z - 4. Let g be k(-4). Let o = g - 25. Which is smaller: o or -44?
o
Let o = -286 + 2287/8. Is o >= 1?
False
Let k = 0.434 - 3.434. Is -0.212 less than k?
False
Let i = -24.982 + -0.018. Let m = i + 70. Is 1/4 equal to m?
False
Let s be (-12)/6*-1 + 6/(-2). Let d be (6 - 0)*(s + 6/1). Which is smaller: 29 or d?
29
Let i = 31 + -17. Suppose -67 = -3*v + i. Let t be 8/v - 6/27. Which is greater: t or -1?
t
Let d = 606 - 670. Do d and -65 have different values?
True
Let p be ((-4)/(-7))/((-36)/(-42)). Suppose 4*r = 3*g + 12, 4*g - 4*r + 26 = -2*r. Which is smaller: p or g?
g
Suppose y + 3820 = -5*a + 112, 0 = 3*a - 5*y + 2208. Which is smaller: -742 or a?
-742
Let b be (-1 - 0)/(8/72). Let j = 36 + -43. Which is smaller: j or b?
b
Let y(a) = 2*a + 5. Let h be y(0). Suppose 21 = h*j + 106. Which is greater: j or -2/5?
-2/5
Let c(l) = 2*l**3 + 21*l**2 + 10*l - 12. Let g be c(-10). Let i be ((-130)/(-4))/(-5)*2. Are g and i unequal?
True
Suppose 4*c = b - 5, -c - 3*c - 27 = b. Let a be -3*2 + (-3)/1. Which is smaller: b or a?
b
Let a(b) = -2*b**2 + 8*b - 2. Suppose 4*r - 36 = -3*d, 2*r = -0*r + 3*d + 36. Let h = -9 + r. Let p be a(h). Is 7 greater than or equal to p?
True
Suppose 15*p - 21*p = -342. Let h = p + 1. Which is smaller: 57 or h?
57
Let w be -1*(-5 - 0/(-2)). Suppose w = 9*c - 8*c. Suppose -l - 15 = -3*l - c*a, -4*a = -3*l - 12. Which is smaller: l or 9/8?
l
Let b = 0.048 - -0.682. Let o = b + -2.73. Is o <= 14?
True
Let i be -3 - 0 - (-7)/340*146. Is i > -1?
True
Let f be 1/(-3 - -2) - -9. Suppose -o - 17 = 3*c - 8*c, 0 = 2*c - f. Let n be -4*(o + -4) + -2. Is 1 < n?
True
Suppose -35*d = 7*d + 3024. Is d bigger than -77?
True
Let t be (3/(-18))/(18/240) + 2. Let l be ((-16)/(-12))/((-4)/6). Which is greater: t or l?
t
Let h be -2*-3*3/(-9). Let w = 231 - 230. Which is greater: w or h?
w
Suppose 0 = -6*f + f. Suppose -w + f = -1. Let o = -26/9 + 188/63. Which is smaller: w or o?
o
Suppose 5*m + 25 = 0, -t = t + m - 47. Let k(w) = -w**3 - 8*w**2 - 6*w - 5. Let g be k(-5). Let j be g*(3/(-6) - 0). Is t smaller than j?
False
Let x be 32/(-84)*12/16. Let f = -1.09 + 0.09. Which is greater: x or f?
x
Let x(v) = v**3 + 4*v**2 - 7*v - 5. Let l be x(-5). Suppose -l*z = -12*z + 21. Is z < 13/3?
True
Suppose -4*a - 4 = 0, 2*n + 2*a = -0 + 4. Suppose 0*j + 3*x - 3 = -n*j, 0 = -2*j + 2*x + 6. Is 2 greater than or equal to j?
True
Let y be 5*1*-1 + 1. Let u(z) = -6*z + 68. Let b(g) = -g + 1. Let c(k) = 4*b(k) - u(k). Let s be c(29). Which is bigger: s or y?
y
Let g = 249/2 + -129. Suppose -19*l = l + 80. Which is greater: g or l?
l
Suppose 5*q - 7 = 4*q. Let l = q + -3. Let j(b) = -b - 8. Let a be j(-12). Is l smaller than a?
False
Let k = -20 + 21. Let c = 8 - 6. Which is smaller: k or c?
k
Let i(h) = -2*h**3 - 12*h**2 + 6*h + 15. Let a be i(-8). Let d = -222 + a. Let s = -1641/266 + 43/7.