Which is smaller: 1/30 or z?
z
Let v be (6/8)/((-20)/160). Let d(x) = -x**2 - x - 4. Let b be d(-2). Is v > b?
False
Suppose 3*a - 26 = -4*i - 2*a, 0 = a - 2. Let u = 638 + -632. Is u != i?
True
Let u = 40 - 119/3. Suppose 9*a - 256 = -472. Are a and u nonequal?
True
Suppose 0 = -2*r + 4*d + 6 - 104, 0 = -5*r - 2*d - 185. Let q be (-6)/16*130/r. Let l = q + -3/2. Is l greater than 2?
False
Let n = 0.95 + 0.15. Let i = 8 - 6.1. Let a = i + n. Which is greater: 0.1 or a?
a
Let d(o) = -o**2 + 10*o + 51. Let l be d(17). Let y = l - -67. Is 4/35 < y?
False
Let j be 6*1 + 150/(-25). Is -1/81 > j?
False
Let w be 2*(-4)/(-8)*(-8)/(-68). Is -0.09 at most as big as w?
True
Suppose -4*t - 3 = -3*r - 4, -2*t = 5*r - 33. Suppose -t = 3*f - j - 2, 4*f + 7 = -3*j. Let s be (-2 + 2)/(-1 + f). Which is smaller: s or 4/17?
s
Let o(r) = 36*r + 71. Let t be o(-2). Let g = 70735/8 - 888827/104. Let m = g - 295. Is m < t?
False
Let x be (-35)/(-84)*(-9)/10*12. Which is smaller: 0.3 or x?
x
Suppose -311 - 261 = -13*l. Suppose -l = -11*o + 7*o. Is 12 less than or equal to o?
False
Let o(b) = b**3 - 9*b**2 - 11*b. Let t be o(10). Let s(d) = d**3 + 10*d**2 + d + 9. Let n be s(t). Let i = n + 3. Is i >= 0?
True
Let b = -0.32 - 0. Let k = 1.32 + b. Let t = 2 + -1. Is t equal to k?
True
Let v(g) = -28*g - 55. Let q be v(-2). Which is bigger: -36 or q?
q
Suppose 0*g - 1 = g. Suppose -1 = 5*r + 4. Let b be (r - 36/(-34))*1. Which is greater: b or g?
b
Let d = 20 - -11. Suppose -29*z - 6 = -d*z. Which is bigger: z or 7/2?
7/2
Let k = -3 + 3. Let p = 5577/65518 + 6/1927. Which is smaller: k or p?
k
Let d = 9555.012 - 9530. Let p = d + -0.012. Let u = -24.8 + p. Which is smaller: u or 8/7?
u
Let s = -650.3 + 650. Is s <= 2.8?
True
Suppose 5*f - 3*f = 0. Let s be (0 + f)/((-1)/(-1)). Let h be 0 + (-1 - -2)*s. Which is smaller: h or 1?
h
Let q(n) = n**3 - 2*n**2 - n. Let f be q(-1). Suppose 0*a = -2*i - 3*a + 14, 0 = -4*i - a + 8. Let t be f/6*3*i. Do t and -2/23 have different values?
True
Let k = -25 + 117. Let z = -177/2 + k. Is 5 bigger than z?
True
Let f = 3773/12 - 315. Let x = f + -301/60. Are x and -5 unequal?
True
Let r = -1070271/149 + 7183. Is 0 at most as big as r?
False
Let y be 14/21 + 14/(-21). Is y > -8/31?
True
Let q = 104 - 85. Which is greater: q or 18?
q
Let h = 0.11 + -0.62. Let z = h + -12.49. Is -1/4 > z?
True
Let d = 0.11372 + 67.95628. Let s = d - 69. Let x = 0.07 - s. Which is smaller: -1/4 or x?
-1/4
Let q = -163 + 164. Let j = -95 + 139. Let w be (-64)/j - (0 - 2). Which is greater: q or w?
q
Suppose -5*u + y - 7 = 106, 5*y = -3*u - 51. Suppose 3*o + 10 + 53 = 0. Is u equal to o?
False
Let c(u) = u**3 + u**2 - u + 3. Let x be c(0). Suppose x*z + 14 = 44. Which is bigger: 9 or z?
z
Suppose -40 = 10*p - 12*p. Suppose -j = 3*j - p. Suppose 1 = 3*w + 2*y, j*w + 14 = 4*y + 1. Is w not equal to 1/11?
True
Suppose -4*f - 2*w = 2, -4*f + 0 = -3*w - 3. Let u be -2 + (0 + 20)/(3 + -2). Suppose -3*c + u + 27 = f. Is c greater than or equal to 15?
True
Let p(x) = -x**3 + 10*x**2 + 12*x - 11. Let f be p(11). Suppose g = -f*g + 1. Let s be 366/252 - 2/12. Is g at most as big as s?
True
Let k(q) = q**2 + 3*q + 7. Let r be k(-5). Let t = r - 17. Let z = -157/476 - -3/68. Is t bigger than z?
True
Let a = -4234/9 - -470. Let j = -0.06693 - 0.13307. Are j and a unequal?
True
Suppose -5*m = -9*m - 112. Let b be 31*(-21)/m*2/(-3). Is -16 < b?
True
Let t be -6 + 2 - 2420/(-15). Let j = 158 - t. Suppose -4*i + 9 = -7. Which is greater: i or j?
i
Suppose 6*z - 2146 - 224 = 0. Is z < 396?
True
Let n be ((-20)/35*-1)/((-5)/35). Which is greater: n or 1?
1
Let s be (-33)/(-45) + 8/(-10). Let i = -4.91 - -5. Let l = -2.09 + i. Do s and l have the same value?
False
Let w be (0/(-1))/(2 + -4). Let z be 10/35 - (2 - 39/21). Is w less than z?
True
Suppose 5*p + 4*x = -7, 0 = -p + 5*p - 5*x - 19. Which is smaller: -2 or p?
-2
Let d(z) = z**2 + 3*z. Let n be d(-6). Suppose 2*a + 0*a = n. Let q be 6/27 + (-38)/a. Is -5 equal to q?
False
Let d = -6.4 + 6.15. Let p be (0 - 1) + 42/30. Is p != d?
True
Let n = -659/2 - -326. Which is smaller: -0.03 or n?
n
Let k = 0.2612 + -0.0612. Let w = 0.88 + -0.7. Let g = -10.18 + w. Is k equal to g?
False
Let a(d) = -d - 3. Let f be a(-5). Let t be -4 - 5/(-1)*f. Suppose 4 = h + t. Which is greater: h or 8/7?
8/7
Let n = 6401839128757452475/4959 + -1290953651382927. Let v = n + 5737141. Let t = v + 2/261. Do t and 1 have the same value?
False
Let v = -17.02 - -18. Let r = v + 0.02. Is r >= 38?
False
Let s(w) = 20*w - 200. Let g be s(-32). Which is bigger: g or -839?
-839
Let l = 341 + -436. Which is bigger: l or -93?
-93
Let c be (-1)/(3*(-3)/(-54)). Let s(v) = -v**2 - 8*v - 1. Let a be s(c). Let y be -2 + 2*7 + 0. Is a at most as big as y?
True
Let s = 50/3 + -17. Let o = 2.1 - -6.9. Let m = -15 + o. Which is bigger: s or m?
s
Suppose -5*i + 5*i = 2*i. Suppose -3*u + 0*u = i. Is u less than 0.22?
True
Let i(c) = 4*c - 2. Let x be i(1). Is x at least 111?
False
Suppose 5*p + 42 = -3. Let k be (13/p)/(((-12)/9)/(-4)). Is k at most -4?
True
Let w = 20.4 - 20.53. Which is bigger: w or 12?
12
Let a be (19/(-95))/(2/10). Are -12 and a nonequal?
True
Let w(s) = s**3 - s**2 + 4. Let t be w(0). Suppose -10 = -b - t*p - 45, 4*p + 66 = -2*b. Let u = -37 - b. Which is greater: -4 or u?
-4
Let r be (-64)/176*3/(-180). Is r > 1?
False
Suppose 4*h - o - 17 = 0, 2 - 11 = -3*o. Suppose -3*w = w - 12, 3*w - 29 = -h*f. Suppose 5*c - 15 = 2*c. Is f <= c?
True
Let f be (92/(-184))/(6/(-28)). Are f and -2 unequal?
True
Let o be (-2)/(-16) + 717/24. Which is greater: o or 0.4?
o
Let s = 22 + -15. Suppose 0 = 2*z + 3*m + 41, -40 = 2*z - 3*m + s. Let a = z + 12. Which is bigger: -11 or a?
a
Let v be -29*(3 + -10 - (-10 - -13)). Which is smaller: 0.3 or v?
0.3
Let o = -11.8899 + 1.8899. Let w = -0.08 - 0.22. Let k = w - -0.4. Is o less than or equal to k?
True
Let l be 15/35 - 13645/21. Let y = l + 717. Let n = -67 + y. Is -8/3 greater than or equal to n?
False
Suppose -4*y + 2*w - 78 = 0, -5*y + 2*w - 99 - 1 = 0. Suppose -5*a - r + 0*r = 23, 0 = -2*a + r - 12. Let j be y/(-5) - (-2)/a. Is 8/3 > j?
False
Let m(r) = -r**3 - 2*r**2 + 4*r. Let y be m(5). Let a = 1423/9 + y. Which is greater: a or 4?
4
Let m = 85 - 82. Suppose -11 = -5*p - m*k, -4*k = p - 13 + 4. Is p greater than or equal to 9/17?
True
Let z(r) = 25*r**2 + 80*r - 8. Let j be z(-3). Which is bigger: -8 or j?
-8
Let m be 1 - (0 + 4/10). Let i be 2 + 96/(-52) - 2/13. Which is smaller: m or i?
i
Let z = 89.9 + -91. Let x = 0.63 - 7.73. Let s = x - z. Which is greater: s or -0.1?
-0.1
Let i = -7273 - -4059. Let u = 989911/308 + i. Let l = u - -289/77. Which is bigger: l or 4?
4
Suppose 381*t - 371*t = -20. Let y be (-5)/(-1)*(-12)/(-50). Let s = y + -31/30. Is t >= s?
False
Let n be ((-55)/(-10))/(-11) + 435/6. Which is smaller: 74 or n?
n
Let c = -175641451/130 + 1351081. Let m = c + 75/26. Which is smaller: -4 or m?
m
Let d(h) = h**2 - 69*h + 807. Let t be d(54). Does t = -33/17?
False
Let z be (-1)/2*(3 + -29). Let t be (-14)/(-28)*((-9)/z)/(-3). Are t and 0 unequal?
True
Suppose 2*t + 0*b - 3*b = 13, -2*t = 2*b + 2. Let u be (-470)/30 + t/3. Which is bigger: u or -0.1?
-0.1
Let u be 43/2 - 8/(-16). Let s be 4 - (-4 + u + 2). Is s bigger than -18?
True
Let h be -3*8/(-6) - (6 - 1). Let s be h - (-1 + (-22)/18). Is 1 not equal to s?
True
Let x be (-1 + 4)*28/(-6). Let i be x/21*(-6)/50. Let n = -50 - -199/4. Which is smaller: n or i?
n
Let b = -28.96 + -0.04. Let i = -29.2 - b. Which is smaller: i or 1?
i
Let x = -774 + 774. Which is smaller: x or -157?
-157
Suppose -139 = 21*m - 265. Which is smaller: 62/9 or m?
m
Suppose 5*n - 30 = -5*b, -1 - 1 = -5*b + 2*n. Suppose -3101 = -2*r - c - 804, r - b*c = 1146. Let j be 4/(-34) - r/(-1666). Which is bigger: j or -2?
j
Let m = 22 - 21. Suppose -3*a + a = -u + 1, -4*u = -5*a - m. Which is greater: -0.2 or a?
-0.2
Let k = -115 + 116. Is k less than 8.5?
True
Suppose 5*n + 12 = o + 44, -6 = -2*o - 4*n. Let f be (-2)/o - 22/224. Are f and -1 unequal?
True
Let m = 20 - 34. Let p = 13.3 + m. Let k = 2.7 + p. Is 1 >= k?
False
Let o be (-122)/100 - -6*(-1)/(-4). Which is greater: -2 or o?
o
Let p = -48 + 25. Let j = p + 22.7. Is -2 at most as big as j?
True
Let p = -9.6 -