5). Which is greater: 2 or a?
2
Let u = -14 - -25. Suppose -5*t - 2*k = 3*k - 25, -3*t + u = 2*k. Is t <= -1/12?
False
Let r = 0.14 - -1.16. Let x = -1.7 - r. Let z be (-7)/(-3) - 3/9. Does z = x?
False
Suppose -2*q + 3*n + 16 = 0, 0 = n - 0*n + 4. Suppose -l - l + 10 = -q*d, 3*l + 9 = -5*d. Which is greater: -5 or d?
d
Let j = -2894 + 78116/27. Is -1/4 smaller than j?
False
Let s = -7 - -11. Suppose 0 = 4*j - 2*j + s. Let w be (9/306)/(j/4). Which is bigger: 1 or w?
1
Let i(d) = -d**3 - 7*d**2 - 11*d - 7. Let x be i(-5). Which is greater: -7/11 or x?
-7/11
Let z(l) = l. Let q be z(-1). Let w = 40390 - 40392. Is q at most w?
False
Suppose 8*w = 6*w - 388. Let t be 1/(-3) + w/552. Let l = -10/23 - t. Which is bigger: l or -4/23?
l
Let u = 1128 + -1158. Which is greater: 1.3 or u?
1.3
Let d(s) = s**2 - s - 3. Let t be d(-5). Suppose -28 = t*k - 31*k. Which is smaller: 9 or k?
k
Let j = 35 - 32. Let w be j + (-4)/(-8)*-2. Is 5/4 at most as big as w?
True
Let l = 1 - 3. Let i(v) = 2*v**2 + 4*v + 2. Let h be i(l). Suppose -27 = -5*d - 17. Do h and d have different values?
False
Let k = 0.146 + 0.054. Are 2/39 and k equal?
False
Let s = -10.4 - -17.4. Which is smaller: 0.026 or s?
0.026
Let h be 239/(2*1 + -1). Let w be (10/(20/1099))/((-46)/(-20)). Let q = w - h. Is q at least 0?
False
Suppose -3*b + 14*t - 17*t = 72, 74 = -3*b - 4*t. Which is smaller: -26 or b?
-26
Let u = -0.041 + 27.041. Let n = u - 27.14. Let g = n - -0.04. Is g >= 9?
False
Let p be (-4)/5 - 99/(-55). Is -4/49 at most p?
True
Suppose 3 = s + 2. Let x be s*((-9)/3 - -3). Let n be x - 2*6/(-4). Which is greater: n or 2?
n
Let i be ((-624)/(-221) - 3)*(-116)/6. Is 4 at most i?
False
Let d be (-42)/(-10) - (-17)/(-85). Suppose -4*z + 89 = 2*a + 3*a, d*z + 3*a = 87. Which is smaller: 20 or z?
20
Let f = 100 - 99.968. Are f and 1 nonequal?
True
Let o be 1/(-6) - (-136)/(-336). Let k = 205 - 193.1. Let y = k - 12. Is y <= o?
False
Let f = 20 + -20. Suppose -2*v + f = -2. Which is smaller: -4 or v?
-4
Suppose 0 = 35*o - 41*o - 90. Is -15 at most o?
True
Let q = -1 + 1. Let u(v) = -v**2 + 2*v + 26. Let d be u(6). Let y be (2 - q)/(4 - d). Is 7/5 > y?
True
Let w = 119 + -81. Let z be 20/(-54)*(26 - w). Which is bigger: z or 5?
5
Suppose -2*x - 628 = -5*y, -x - 181 - 443 = -5*y. Suppose 5*z = 20, -4*n + 0*z + 3*z - y = 0. Which is smaller: n or -26?
n
Let x = -10.2 - -23.2. Let k = -0.8 - 0.2. Which is smaller: x or k?
k
Let c = 2321 - 2321. Which is smaller: -2/41 or c?
-2/41
Suppose 0 = -228*j + 225*j + 3. Which is greater: -0.9 or j?
j
Let j = -25 + 26. Let x = -5/211 + 557/5697. Is x at most as big as j?
True
Suppose -4*t - 23 = -3, 7 = -k + 4*t. Is -27 less than or equal to k?
True
Let v = 0.11 - 42.11. Let k = -37 - v. Is -0.2 at least as big as k?
False
Let i be (-8508)/15*2/8. Let z = 141 + i. Which is bigger: 0 or z?
0
Let w = 86.8795 + -0.0795. Let q = -87 + w. Which is greater: -0.4 or q?
q
Let c be 6 - (-9 + 2 - -3). Let t = c - 8. Let f be 2/3 + 2 + -1. Are t and f unequal?
True
Suppose -3*k - 188 = k. Do -47 and k have the same value?
True
Let s = -49 - -36. Let z(i) = 0 + i + 7 + 15. Let j be z(s). Is 10 != j?
True
Suppose 6*q - q = -10. Let h(m) = m**2 + 3*m - 1. Let a be h(q). Let j = 39 + -39. Which is smaller: j or a?
a
Let h(x) = 10*x**2 + x. Let d be h(-1). Let y(i) = -2*i - 7. Let p be y(-9). Suppose 2*s = p + d. Is s < 8?
False
Let n = -68 - -71. Suppose 0 = -n*i - 3*m + 15, 2*i = -i + 2*m - 10. Is i at least 5/29?
False
Let c = 188.58 - 188.5. Is -1 bigger than c?
False
Let l = -205/7 - -1173/14. Let m = l - 63. Which is smaller: -10 or m?
-10
Let s = -6.4 - -6.3. Let r = s - 51.9. Is -0.1 less than r?
False
Let c be 8/(-10)*-1*(56 + -1). Let x = c + -80. Is x less than -37?
False
Let x = -621 - -869. Which is smaller: 0 or x?
0
Let l be (1/3)/(58/(-47676)). Is -274 greater than l?
False
Let g be ((6 + -9)/3)/((-2)/6). Suppose 3*t + 5*j + 4 - 35 = 0, 21 = 3*t + g*j. Is t greater than or equal to 4/5?
True
Let c = 58 - 114. Suppose n - 5 = -4. Is n at least c?
True
Suppose 0 = -n - 2*z - 13, 0 = -2*z - 3 - 5. Suppose 3*c + 5*m = 69, -m + 2*m + 33 = 2*c. Let w be (c/30)/((-9)/6). Is w >= n?
True
Let f(w) = 12*w + 158. Let t be f(-12). Suppose -3*r = 5*y - 71, -3*y + 5*r = -25 - 4. Is y less than t?
True
Let m = 0.06 + 0.02. Let l = 133 + -135. Is l smaller than m?
True
Let l be ((-4)/(-30))/((-4)/(-40)). Let y = 1 - l. Let v = 27.9 - 28. Which is smaller: v or y?
y
Suppose -2 = 3*w - 5. Let a = -128 - 213. Let c = a - -7163/21. Is c > w?
False
Let o be (7/21)/((-2)/(-30)). Let w = -2 + o. Suppose -m = -w*m. Which is greater: 1/9 or m?
1/9
Suppose -5*c + 21 = -l - c, 3*c + 13 = -5*l. Let w = -4 - l. Is -2/73 equal to w?
False
Let r(i) = -2*i**3 + 88*i**2 + 12. Let n be r(44). Let q = 1 - 1. Let w = q + 11. Is w at least n?
False
Let u = 15/2 - 433/58. Is -13 > u?
False
Let b = -307/3 + 103. Which is bigger: b or 427?
427
Let h = 0.472 - 0.052. Let o = h + -0.3. Let x = 0.08 + o. Which is bigger: 1 or x?
1
Suppose -i = -6*i, 3*i + 4 = -t. Suppose -c - 6 = -9. Let u be c + -18*1/2. Is u less than or equal to t?
True
Suppose -4*f + 8 = 0, i = 6*i + 5*f - 5. Let q = 7/59 - 391/2301. Is i equal to q?
False
Let f be (28/(-6) - 1)*6. Let d be 64/f*1 - -2. Suppose c - 4*m - m + 1 = 0, 0 = 3*c - m + 3. Do c and d have the same value?
False
Let w = -8.4 - 0.6. Let c = -10.4 - w. Which is bigger: 0 or c?
0
Let s be (42*(-2)/(-3))/1. Suppose -4*n - s = 2*b + 14, -2*b - n - 39 = 0. Let c = 17 + b. Is c <= -2?
True
Let j = 88 + -26. Suppose 184 = 3*a + r, a = -6*r + 3*r + 48. Which is smaller: a or j?
j
Let q = -161 + 162. Is 2/1891 smaller than q?
True
Let l = -18 + 12. Let s be l/5 + (-3)/(-15). Suppose -2*p = -7*p + 5. Does p = s?
False
Let m = 36423/1714 - 1/3428. Let u be (0 + 20)/((-3)/(-3)). Which is greater: m or u?
m
Let i(q) = -17*q + 45. Let x be i(6). Let z = -289/5 - x. Let k be 18/(-14) - 4/(-14). Which is bigger: k or z?
z
Let f = -3.4 - -0.2. Let a = 2.2 + f. Is a equal to -20?
False
Let q = 105.2 + -76.2. Which is smaller: 0.13 or q?
0.13
Let k(o) = 2*o**2 + 4*o + 3. Let j be k(-2). Suppose 3*u - 32 - 14 = 2*l, -l - j*u = 14. Which is greater: l or -58/3?
-58/3
Let o = 4.93 + 0.07. Let v = 4.88 - o. Let p = v + 0.02. Which is smaller: 0.2 or p?
p
Let x be (1 - 50/14)/((-51)/238). Are x and 8 non-equal?
True
Let i be 134576/86490 - (-4)/6. Let y = i + -2/4805. Is 2 <= y?
True
Let j be 1*2/(-7)*-3. Suppose 14 = -c + 20. Let b be 0*((-9)/c)/(-3). Which is bigger: j or b?
j
Let c = -38 + 39. Suppose -21 = 5*k - c. Which is bigger: k or -3?
-3
Suppose -13*s = -8*s - 20. Let n = -13 + s. Is n >= -9?
True
Suppose -3*u + 19 = 3*x + 7, 3*u - 16 = -4*x. Suppose -x*c - q = -0*c - 1, 0 = -2*c - 3*q + 13. Is c != 0.11?
True
Suppose -3*s + 2*w = 6 + 3, 3 = w. Let u be 6 + (1 - 0 - 3). Suppose -9*f = -5*f + u. Is s >= f?
True
Let d = 52 - 15. Let b = 206 + -206. Which is smaller: b or d?
b
Let o = -9/206 - 13363/618. Suppose 92 = 4*w + 4. Let q = o + w. Is 0 at most as big as q?
True
Let q(i) = -8*i + 68. Let y(j) = 2*j - 17. Let x(b) = -2*q(b) - 9*y(b). Let s be x(12). Is s smaller than 0.3?
True
Suppose 3*v = -q, -6*v = -3*v - 2*q + 9. Suppose -5*i + 5*m = -70, i + 2 - 1 = -4*m. Which is greater: v or i?
i
Let f = 84 + 24. Suppose 0 = -2*q - 4*q - f. Suppose -2*r = -3*x - 60, -6*x - 42 = -3*x + 4*r. Is q bigger than x?
False
Let n = 0.14 - 0.34. Suppose -2*a - 7 + 15 = 0. Let p be (a/50)/(3/15). Is p != n?
True
Let b = 749 - 752. Let i = -1.3 - -0.3. Which is smaller: i or b?
b
Let g = -24.98 - 0.02. Let a = -21.182 - -0.182. Let v = g - a. Are 2/11 and v unequal?
True
Let y = 728 + -282. Is y smaller than 444?
False
Let r = -47.44 - -43. Let a = r + -1.46. Let v = a + 6. Is v greater than 6?
False
Let z(c) = -34*c**3 - c**2 + 3*c + 3. Let q be z(-2). Suppose -q - 198 = t. Let d = -6022/13 - t. Is d at most as big as 0?
True
Let r(f) = -4*f**3 - 2*f**2 + 2*f. Let p = -11 + 9. Let k be r(p). Let s be k/(-9) + (-6)/(-27). Is s at most -4/5?
True
Let q = -1107 + 74161/67. Which is smaller: q or -1?
-1
Let m be (-255)/52 + (-289)/1156. Which is bigger: -5 or m?
-5
Let r(m) = m**3 + 32*m**2 + 33*m + 4. Let t be r(-31). Is -62 less than t?
True
Let n = 2 - 2.2. Let u = n - -0.3.