0306599. Let z = -781 + p. Do 0 and z have the same value?
False
Let f = 0.02122 - -0.17878. Is 3269 bigger than f?
True
Let r be (-4 + -79)*((-2)/(-1) - 3). Let m = r + -87. Let k be (3/9)/(m - 44/(-12)). Is k at least as big as -7/3?
True
Let p be 25/((-1300)/(-117)) - 2. Which is bigger: p or 2/7?
2/7
Suppose -3*a + 3*r + 702 = 0, 144 = a + 3*r - 70. Let q be -6 - -3 - (-689)/a. Which is smaller: 1 or q?
q
Let j(y) = y**3 - 10*y**2 + 9*y + 6. Let v be j(9). Suppose -12*d = v - 6. Suppose 4*s - 2*x = -10 - 2, d = s - x + 2. Is -4 at most s?
True
Let v = 305 + -288. Let d be v/(-6) + 38/(-228). Which is smaller: 1.7 or d?
d
Let b = 1.32 - 112.32. Let m = 48995 + -48994.8. Is b < m?
True
Suppose 0 = -26*h + 31*h + 1135. Let y = -231 - h. Is -25/9 smaller than y?
False
Let n = -4.0372 + 0.0372. Which is smaller: -21/10 or n?
n
Let a = 338 + -166. Let i = -171 + a. Which is bigger: -35/9 or i?
i
Let h = 366 + -356. Let q = 0 + -0.1. Is h greater than or equal to q?
True
Let w be 1*-1 - (-19716)/128. Let d = w + -153. Let y be 8 + 0 + -1*(-81)/(-9). Which is smaller: y or d?
y
Suppose 0 = -5*n + 5, -5*d + 2*n + 9616203 = -10*d. Let h = -228863791/119 - d. Let j = h + -270/17. Is 0 greater than j?
True
Let o be (0 + (-16)/(-12))/((-10)/(-15)). Let z be (4 - (4 + 2))*(-2)/o. Let d = 68 - 105. Is z smaller than d?
False
Suppose 6 - 11 = -x. Suppose 3*z - 4*i + 3 + 43 = 0, -i = x*z + 92. Let a = -22 - z. Is a at least -14/5?
False
Let r(k) = -2*k**2 - 16*k + 8. Let i be r(-9). Let o be (-6)/i - 416/(-65). Let t be (2/(-4))/((14/20)/(-7)). Does t = o?
False
Let c = -107 + 56. Let f = 31 + c. Which is smaller: f or 0?
f
Suppose -9*m + 8*m = -5. Suppose -k = -m*l - 1170, -1212 = -k - 2*l - 21. Let c = k + -4767/4. Which is greater: -7 or c?
c
Let c be 1/(-4) - 46/56. Suppose -23963 = -35*q + 33052. Suppose 0 = -1627*j + q*j + 4. Is j greater than c?
False
Let f = 10 + -10. Let h = 2.466 + -29.476. Let o = -2.01 - h. Which is smaller: f or o?
f
Suppose 7*o = -0*o + 35. Let z(u) = -2*u**2 - 8*u + 12. Let r be z(o). Let k be (-26)/r*6/8. Is -1 smaller than k?
True
Let s be (3/26)/(36/16). Let u = -8013 - -8014. Is u at most s?
False
Let c = -1079 + 3367/3. Do 42 and c have the same value?
False
Let z(q) = 3*q + 149. Suppose -6*o - 171 = 99. Let p be z(o). Let d be 4/(-3)*1/2. Is d equal to p?
False
Let b = -2/13665 - 13657/54660. Which is smaller: b or 0.0106?
b
Let u be (-13 - -12)/((-1)/(-184)). Let k be 37*-5 - (-2 + 1). Is k less than or equal to u?
True
Let h be 51/(-825)*(-95)/(-6). Let m = h + 14/15. Is m less than -2/13?
False
Let r = -2836 + 14321/5. Let j = 1279/45 - r. Let z = -4/277 - -606/3601. Is j greater than z?
True
Let p(n) be the second derivative of 0*n**2 - 5/12*n**4 + 2/3*n**3 + 16*n + 1/20*n**5 + 0. Let j be p(4). Is j > 6/19?
False
Let s = -76.747 - -24.708. Let i = 52 + s. Let l = 0.361 - i. Is l bigger than 2/5?
False
Suppose -30*y = -26*y - 536. Let b = 135 - y. Which is smaller: b or 11/5?
b
Suppose 5*k + 3*n - 18 = 0, 3*n = k - 5*k + 15. Suppose -12 = -4*h + k*h. Let y be ((-5)/8)/(h/(-48)). Which is smaller: 2 or y?
2
Suppose 3141 = 3*h + i - 4*i, h = 3*i + 1037. Is 1050 > h?
False
Let k = -246 + 278. Let p be (5 - -23)*(-4)/(k/(-58)). Which is smaller: 202 or p?
202
Let g be 0*2/4*(-2 - -3). Suppose -10*y + 9*y - 20 = g. Which is smaller: y or -21?
-21
Let h be -2*111/(-12)*4. Suppose -5*g + 119 + 24 = -3*v, -4*v = 6*g + 140. Let y = v + h. Which is smaller: y or 32?
32
Let p be 6472578/(-9135) - (-2)/15. Let t = p + 708. Which is smaller: t or -1?
-1
Let m = -19568 - -19530.061. Let n = 38 + m. Let u = n - 0.561. Which is smaller: u or -5?
-5
Let n = 370 - 374. Let b be n - (9 + (-3123)/243). Let l(f) = f**2 + 5*f + 3. Let m be l(-4). Which is bigger: m or b?
b
Let r be (-112)/16 - (-2 - 5). Suppose 18*y - 13*y + 90 = r. Is y not equal to -128/7?
True
Let p = -12516 - -12515.7. Which is greater: p or 5788?
5788
Let y = 6012 - 3677. Is y <= -1/4?
False
Suppose 360 = -3*a + 4*d + 1075, -2*a = 5*d - 446. Which is smaller: a or 236?
a
Let l = -963 - -966. Is l <= 1738?
True
Let w(d) = -d**3 - 5*d**2 + 23*d - 2. Let c be w(-8). Suppose v - 6*k + 3*k = 16, v + k = 0. Suppose -c*x = -8*x - v. Which is greater: -8/11 or x?
-8/11
Suppose b + 5*n - 808 = 0, 2*b + 137*n - 134*n - 1644 = 0. Which is bigger: 826 or b?
b
Let f = 27 - -12. Let t = f - 37.1. Let y = t + -2. Which is bigger: 3 or y?
3
Let o be (1 + 3)*(-4)/(-32)*-20. Let n(i) = -i**3 + 9*i**2 - 8*i. Let m be n(8). Let d be m + 12/3 + -3. Which is greater: o or d?
d
Suppose -2*s + 4*s = 0, h = 12*s - 7*s - 93. Is h != -90?
True
Let n(d) = d - 5. Let a be n(6). Let w be ((-3)/2)/((-229)/(53815/1128))*(-12)/(-7). Which is smaller: a or w?
w
Let b = 28571399/31 + -922104. Let r = b + 446. Let z(d) = -2*d**2 - 10*d - 11. Let j be z(-3). Which is smaller: r or j?
r
Let k = 1.65 + -95.65. Let a = -99.4 - k. Which is smaller: 0.2 or a?
a
Let m = 2 + 42. Let j = 46.2 - m. Let a = j + -1.1. Is a not equal to -2/5?
True
Let g = -150 - -72. Let z be (g/5)/((-30)/(-100)). Which is smaller: -51 or z?
z
Suppose -15*s - 104*s = 490042. Which is greater: -4119 or s?
s
Let q = 11 - 9. Suppose -h + x + 3 = 0, -x = -4*h - 5 + q. Let y be -22*44/40 - h/10. Which is greater: -23 or y?
-23
Let c = 3729/1978 - -1066313/91977. Let x = c + 2/93. Is -1 greater than x?
False
Let y be ((-2)/(-2089))/((-127)/127). Is y >= 1?
False
Let b = 4.01 - -0.09. Let k = -2.1 + b. Let f = -179 - -197. Is k > f?
False
Let g = 33382/2821 - 48/403. Let q be 24/36*1/(-2). Is q < g?
True
Let u(r) = -6 + 9*r + 30 + 6*r + r**2. Suppose 13*s + 152 = -17. Let m be u(s). Is m < -2?
False
Let f(r) be the third derivative of -r**6/12 + r**5/60 + 7*r**4/24 + r**3 - 13*r**2. Let d be f(-1). Are d and 11 equal?
False
Let x = 984 + -984.048. Let s = 890 + -887.048. Let r = x - s. Is r not equal to -1?
True
Let c(q) = -6*q - 9. Let k be ((-9)/(-7) - 1) + (-65)/7. Let a be (-6)/k*-1 - 8/6. Let h be c(a). Is 5 less than or equal to h?
False
Let j = 4737.8884 - -0.1116. Which is bigger: j or 2/7?
j
Suppose -3*y = -8*y + 25. Suppose -4*i = -9*i - 5*g - 965, i + 196 = -2*g. Let n be (12/(-9))/(i/y). Is n >= 1?
False
Suppose 2*p + 178 = 158. Let q(n) = -10*n - 18. Let d be q(p). Suppose -d*a = -83*a - 2. Is a <= -7?
False
Suppose 0 = 3*q - q - 6, 2*a - 4*q + 8 = 0. Let r(p) = -2*p. Let f be r(a). Let o be (-1)/((-1)/4*f). Is o greater than 2?
False
Let c be (-2)/4*(-1508)/(-234) - (-8)/36. Which is bigger: c or -2?
-2
Let m = -215 - -222. Let h = 8 + -5. Let q = h - m. Which is smaller: 2 or q?
q
Let o = -12839 - -17374. Which is smaller: 4533 or o?
4533
Let w(s) = 3*s**2 - 20*s - 15. Let i be w(10). Suppose 24*z - 3010 = -11*z. Which is greater: z or i?
z
Let b be ((-195)/(-6))/(249/(-498)). Is b bigger than -1858/29?
False
Let q = -141 - -49. Let i = -2 + 1.9. Do q and i have the same value?
False
Suppose 0*k + 273592 = 48*k - 26*k. Which is smaller: k or 12435?
12435
Suppose 4*k - 28*u + 1050 = -23*u, k + 4*u + 294 = 0. Is -245 equal to k?
False
Let d = 82161 - 107713063/1311. Is d > 0?
True
Let a = -1553 - -1510.525. Let j = a + -16.526. Let c = j + 59. Which is smaller: c or 1?
c
Let a be -264 + (3 - 4)*6. Let v = a - -271. Is v less than 8/69?
False
Let y = -13.248 + 14.72. Does y = 1?
False
Let n be 157/314 - 1/2. Which is smaller: 2/4527 or n?
n
Let u = 34143 + -34138.5. Which is smaller: u or -13.3?
-13.3
Suppose -2*g + c - 13 + 3 = 0, 9*c = -5*g + 67. Which is greater: -41/725 or g?
-41/725
Let b be 2/2 - 4/8*-4. Suppose 5 = -5*t, -76 = b*d + 4*t - 12. Let o be (2*6/d)/((-8)/(-5)). Is o greater than or equal to 1?
False
Suppose z - 6 - 34 = 0. Let b be (z/(-30))/(4/(-18)). Suppose 4*c = 2*c - b. Which is smaller: c or -8?
-8
Suppose 3*y + 170*t = 169*t + 4701, 0 = -2*y - 6*t + 3102. Is y > 1569?
False
Suppose 3*j = 5*r - 4329, 2*j + 2407 - 673 = 2*r. Which is smaller: 7768/9 or r?
7768/9
Suppose 4*u = -5*b + 212, -b = -3*u - 2*u + 207. Suppose 3*a - 120 = 5*i, -2*a + 0*a = -4*i - 80. Which is bigger: u or a?
u
Let f(y) = -8*y - 32. Let d be f(-4). Let o = 6 - -2. Suppose 2*j + 5*m + 6 = -d*j, m = -5*j + o. Which is bigger: j or 11/5?
11/5
Let a(r) = r**3 + r**2 - 10*r + 3. Let c be a(-4). Let t(m) = -m**2 - 20*m - 13. Let 