/5). Is u at most as big as -0.056?
False
Let i = -7.091 - -0.091. Let d = 16 + -32. Let r = d - i. Which is bigger: r or -1?
-1
Suppose -2*y - 4*y + 12 = 0. Suppose -d + y = -4*p, -1 = 4*p + d - 3. Is p bigger than 1?
False
Let f be -7 + (-268)/20 + (-6)/(-15). Is -18 <= f?
False
Let i = -2594 + 2594. Is 1/3681 < i?
False
Suppose -25*r + 13419 = 2*r. Is 498 equal to r?
False
Let y be 8/80 + (-1893)/(-30) + 4. Is y equal to 67?
False
Let l = -402 - -403. Let g = 44/93 + 6/31. Which is bigger: l or g?
l
Suppose -1181*g = -1175*g - 48. Is g < 16?
True
Let n be (34*3/(-5))/((-7)/105). Is 305 smaller than n?
True
Let h = -91 + 91.065. Let i = h + -0.065. Which is smaller: 2/9 or i?
i
Suppose -1104*w = -1112*w + 64. Suppose 0 = -d + 5 - 1, -5*u + 53 = 2*d. Which is bigger: u or w?
u
Suppose 4*y + 5*g - 16 = -4, 0 = -2*y + 4*g + 6. Suppose -3*z = -2*n + 14, n - 17 = -4*n + 3*z. Let s = n - y. Is -2 at least as big as s?
True
Let i = 18/203 - -31100/1827. Is i at most 16?
False
Suppose 0 = -4*x - x. Let q be x/(4 - 2) + 2. Suppose -79 = 65*c - 14. Which is smaller: q or c?
c
Let x = -2 - -4. Let y be (0 + x/(-4))*12. Suppose -7 = 2*a + 5. Are y and a non-equal?
False
Let x be 0*(3 + 15/12*-2). Does x = 1/7?
False
Let a be (-4)/(-18) + ((-1340)/(-45) - 5). Let o be (20/a)/(-4) - 29/5. Is o at most 10?
True
Let a = 108567 + -4776707/44. Let d = 1106 - 12114/11. Let o = a - d. Which is smaller: -2/7 or o?
-2/7
Suppose -4*r - 3*i = -3, -2*r = 2*r - 4*i - 24. Suppose 0 = -2*f, -r*f = 4*t + t + 5. Let d be 1*-2 + (-1 - -3). Are t and d nonequal?
True
Let k = 329 - 328. Do k and -11/74 have the same value?
False
Let z = 18 - 15. Let f be 6*-3*(-1)/z. Suppose -x - 11 = -f. Is -4 at most x?
False
Let p be (20/16)/(1/8). Suppose -p*f - 2 = -11*f. Let s be (-10 - -8)/(0 - f). Is 3/13 greater than or equal to s?
False
Let k = 112 - 192. Which is bigger: 1 or k?
1
Let w = 38 + -28. Which is smaller: w or 12?
w
Let l = 0.009 + -0.017. Which is bigger: l or 3?
3
Let w = -0.28 - 11.72. Let i(p) = p**3 + 8*p**2 + 5*p - 5. Let x be i(-7). Let h(a) = -a + 8. Let g be h(x). Is w >= g?
False
Suppose 2188 = -40*c + 10348. Which is smaller: c or 197?
197
Let j be ((-6)/(-75))/((-8)/1040). Which is smaller: j or -11?
-11
Suppose 9*a - 2606 - 130 = 0. Let i = -17938/59 + a. Which is smaller: i or -1?
-1
Let w be 27*(528/18)/(-8). Is -100 less than or equal to w?
True
Let r = -6.36 + -4.68. Let z = 11 + r. Is 3/4 < z?
False
Let x(l) = -l**3 + 6*l**2 + 17*l - 5. Let f be x(8). Suppose 0 = -f*y - 3*y. Is y less than or equal to 9/8?
True
Suppose 0 = 12*w - 11 - 1417. Let x = -118 + w. Which is smaller: -1/48 or x?
-1/48
Let u(n) = n**3 + 5. Suppose -v + 0 = -3. Suppose -m = -v*z + 2, -4*z + z - 8 = 4*m. Let w be u(z). Is 4 less than w?
True
Let q(h) = -h**3 - 12*h**2 + 16. Let k be q(-12). Let u(m) = 33*m - 150. Let s be u(5). Which is greater: k or s?
k
Let d = -1603 + 6375/4. Is -10 not equal to d?
True
Suppose -2 = -h + 4*h + z, 2 = 5*h - z. Let y = 579 + -6378/11. Are y and h nonequal?
True
Let s be (325 - (-2 - -4))/(-1). Let i be 1/4*(-272)/s. Which is greater: i or -1?
i
Let d = -0.018 + 0.518. Let g = -35 + 35. Which is smaller: g or d?
g
Let r be 5 - 0 - (5 + 2). Is -2/3 at most as big as r?
False
Let u = -301 + 280. Which is smaller: -3 or u?
u
Suppose -883*w = -879*w + 3*r + 15, 5*r = 2*w + 27. Let p = -43 + 22. Do p and w have different values?
True
Suppose 5*w - 2*j = 174 + 203, 2*w - 148 = -2*j. Let k be (-4)/(-10) - 60/w. Is k < -2.3?
False
Let x be 3*-4*(-25)/60*-2. Is -14 smaller than x?
True
Suppose 3*n + h = 104, -21*n - 2*h = -25*n + 122. Is 8 equal to n?
False
Let f = 1047 - 506. Which is smaller: 540 or f?
540
Let a = 0.67 + 1.18. Let v = -0.55 + a. Which is bigger: -1 or v?
v
Let p(r) = -71*r - 27. Let s be p(-2). Is s greater than 116?
False
Suppose -o + 5*o + 4*x = 0, -2*x = -2*o - 8. Let j be (o/6)/(4/(-108)). Let i be 2 - -8 - 0/(-2). Does j = i?
False
Suppose -3*z - 81 = 2*r, r = -0*z - 4*z - 113. Let l = 83/3 + z. Which is smaller: -1 or l?
l
Let l be (-2 + 2)/(-2) - 0. Suppose l = g + 3*y + 10, -3*g = -y - 10 - 10. Let q = -9 + g. Is q at most -6?
False
Let y = 59 + -24. Suppose -y + 143 = 9*d. Is 13 bigger than d?
True
Suppose 2 = 2*s - t, 4*t - 3 = 6*s - 9*s. Is s at most 7/22?
False
Let n(l) = -11*l + 12. Let w be n(5). Let p(b) = -b**2 + 24*b + 37. Let m be p(27). Which is smaller: m or w?
m
Let k be 119/(-51) + (-62)/39. Is k at most as big as -4?
False
Let c be (-2)/(-4) + 129/2. Suppose 7*l - 3*l = 2*h - 124, -2*h + 134 = l. Which is smaller: c or h?
c
Let b be (-2)/9 + 2/9. Let i = b - -1. Let y be 16/10 + (-48)/120. Is y bigger than i?
True
Suppose 3*n + 3*n - 282 = 0. Let m = -41 + n. Which is smaller: m or 7?
m
Let t = -30 + 64. Let p be 1/(3 + t/(-11)). Let d(m) = 2*m**3 + 2*m**2 + 3*m + 3. Let o be d(-2). Is p bigger than o?
False
Let g = -0.266 + -134.734. Let w = 134 + g. Do -12 and w have the same value?
False
Suppose o + 4*j = 0, -j = o - 2 + 5. Let g = o - -2. Suppose -4*z + 97 = 101. Is g equal to z?
False
Let a = 43/238 - -1/102. Which is bigger: a or -1?
a
Let k(x) = 4*x - 2. Let y be k(-2). Let o = -175 - -252. Let l be 6/y + o/(-5). Is l less than -16?
False
Let v = -0.4564 - -0.0264. Which is smaller: v or -3?
-3
Let d be 1*(2 + (1 - 1)). Let q be 6/d - 86/26. Suppose 3*p + n = 8*p + 8, 2*n - 6 = 0. Which is smaller: p or q?
p
Let l = 1553.3 - 1553. Are 65 and l unequal?
True
Let h = -17809708 - -1513694703/85. Let m = h + 1535. Is m < 1?
True
Suppose 0 = -4*q + 2*o - 42 - 98, 2*q + o = -70. Let z = 40 + q. Are z and 7 equal?
False
Suppose 1 = 5*l + 6. Let f(i) = -42*i - 6. Let z be f(-6). Let y be 5/(-4) + z/216. Is l >= y?
False
Let o = -1.8 + 1.7. Let n = 779 + -779.03. Which is bigger: n or o?
n
Let r = 0.013 - 1.913. Let a = -1 + 3. Let i = r + a. Is i >= 1.2?
False
Suppose -4*n + 2592 = -0*n. Let m be n/270*3/(18/40). Which is smaller: 29/2 or m?
29/2
Let y = -73.95 - -74. Is -5 bigger than y?
False
Let z = -275870/17 + 16222. Let w = z + 108/17. Is 2 less than or equal to w?
False
Suppose 257 = -11*i + 268. Which is greater: i or 2/229?
i
Suppose -5*g = 5*b + 4835, -2*b + 5*b = -5*g - 2909. Let i be b/63 - 4/(-14). Is i < -15?
False
Let j be ((-6)/(-108))/((-14)/6). Suppose -16*q = -14*q + 2. Which is bigger: j or q?
j
Suppose 130*h = 139*h - 45. Let f(d) = d**3 + 5. Let l be (-2 + 2)/(3/3). Let x be f(l). Is h at most x?
True
Let h = 16379832926/1491 + -10985803. Let v = 2/213 - h. Let m = 1 + -1. Are m and v unequal?
True
Let y be ((-672)/81 - -4)/((-42)/45). Let k be (-3)/9 - (-34)/126. Let p = y - k. Which is bigger: p or 5?
5
Let m be -3*(3 - (-1095)/9). Let t be 2/17 + (-364)/m. Which is smaller: t or 1?
1
Let g = -485 + 286. Which is bigger: -201 or g?
g
Let z = -122.4 - -127.4. Is z greater than -157?
True
Let o = 0.5 + -5.5. Let g be 2 + (5 - 53/7). Which is bigger: g or o?
g
Let f be ((-33658)/(-18))/(2*5/(-6)). Let z = f + 1121. Which is bigger: -1 or z?
z
Suppose f - 34 = t + 2, 0 = -f + 5*t + 56. Let j = -3 + f. Is j greater than 1?
True
Let s = -23 - -26. Suppose 0 = -2*x - 4*w - 18, 4*x + s = 3*w + 11. Is -1 less than x?
False
Suppose -5*c - 5*w + 23 = -3*c, -c - w + 7 = 0. Suppose 12 = -0*j + c*j. Suppose -2*l + 2 = -8. Which is smaller: j or l?
j
Let f = -131 + 130.9. Let z = 66 + -76. Is z at most f?
True
Let o(b) = -b + 1. Let t(h) = 3*h - 17. Let w(l) = 2*o(l) + t(l). Let p be w(11). Let j be 0/(0 + p + 3). Is -2 smaller than j?
True
Let q be ((-27)/12)/((-5)/(-4)). Suppose 2*w + 11*l - 14*l = -8, w - 4*l + 9 = 0. Which is smaller: q or w?
q
Let m = 0.352 + -19.452. Let y = 19 + m. Which is bigger: y or -0.12?
y
Let o = 472529/2320452 - 2/13491. Let r be 490/1290 - 2/6. Let z = r + o. Is z not equal to -2/15?
True
Let u(o) = o**3 + 7*o**2. Let f be u(-7). Let s = -219 + 1969/9. Which is greater: s or f?
f
Let t be (-8)/(-36)*1 + 938/720. Let g = t - 7/5. Is 1 at most as big as g?
False
Suppose -9*v - 74 = 106. Let p = v + 6. Is -14 bigger than p?
False
Let g = -9 + 13. Suppose 0 = 4*m + 3*z - 36, 5*z = 5*m + g*z - 45. Let b = m + -11. Is -1 <= b?
False
Let r = 13 - 7. Let x be ((-12)/(-5))/((-4)/(-10)). Suppose x - 1 = 2*u - 3*w, -4*u - 3*w = -37. Which is greater: u or r?
u
Let v = -466 - -46