r -2/9719?
-2/9719
Suppose -3*x = -130 - 251. Let t = x - 126. Is -4/17 at most t?
True
Suppose 297*k - 6 = 295*k. Let v be (336/(-9) - 0)*k/(-2). Does v = 54?
False
Let i be (-8)/(-6) + 4/(-12). Let c = 602 - 543. Let z be c/45 - 33/165. Is z > i?
True
Let f be -2 - -8 - 1 - 2765/555. Let n = 40 + -24. Let s = n - 15. Is f at most as big as s?
True
Let x be -5 + 2 - 8/(-76)*-57. Let q be (0 - 3)*(0 - -1). Is q greater than or equal to x?
True
Let x = 523 + -601. Let g be (-56)/(1 - -6) + x. Do -85 and g have different values?
True
Suppose -12*i - 11*i = 253. Suppose 5*f = 15, -2*o - 4*f + 39 = 183. Let l be ((-6)/18)/((-2)/o). Which is greater: i or l?
i
Let o(k) = 2*k**2 - 62*k. Let l be o(31). Let u be (4 - -3 - l)/1. Which is bigger: u or -14?
u
Let l be -35*(1275/(-60) - -21)/((-1)/4). Do -311/9 and l have the same value?
False
Let j(s) = s**3 + 12*s**2 - 12*s + 16. Let o be j(-13). Let d(c) = 2*c - 5. Let m be d(o). Suppose 0 = 4*k + 10 - 94. Is m equal to k?
False
Let i be ((-18)/(-5262))/((-75)/(-50)). Is i not equal to 11?
True
Suppose 474*t - 470*t + i = 1, 3*t = 3*i + 12. Are 31/43 and t non-equal?
True
Let j be 49 - ((-7)/(-21))/(1/(-9)). Let x = j + -56. Let a be (x - 82/(-12)) + -1 + -1. Is 1 < a?
False
Let p be 2320/60*((-6)/8)/(1/4). Which is smaller: 9 or p?
p
Let w = -93.907 + 1.107. Let i = w - -93. Is i greater than or equal to -8?
True
Suppose -3*z = -12, -7*z + 8*z = -2*c + 124. Let g be (-56)/c + 28/21. Which is greater: g or -87?
g
Let h = 618 - 992. Which is smaller: h or 0.3?
h
Let c be 12/99*(-3)/(-22). Let v be (-10 + 10)/(88/33 - 2/3). Which is bigger: v or c?
c
Let f(m) = m**2 - 4*m - 9. Let t be f(-2). Suppose -t*c + 25 = -3*v + 28, 5*v = 3*c + 3. Is -2/231 < c?
False
Let b = -2303 + 2447. Does 154 = b?
False
Suppose -15502*s = -15481*s + 4620. Are -211 and s nonequal?
True
Let w be (-18)/30 + (-372)/5. Let s be 264/(-110)*w/(-2). Let h be 274/s - (-27)/9. Is h equal to 1?
False
Let k = -16 + -20. Let i be ((-519)/(-4))/(k/24). Let p = i + 83. Which is smaller: 4 or p?
p
Suppose 3 + 7 = -2*d, 2*p + 2*d - 254 = 0. Let k = -82 + p. Are k and 48 nonequal?
True
Let x(y) = 30*y**3 - 2*y - 2. Let k be 4/(-26) - (-168)/78. Let b be -7 - (-6)/k - -3. Let f be x(b). Which is smaller: f or -31?
-31
Let v = 2555 - 2554.5. Is -21.6 smaller than v?
True
Suppose 1185 - 2610 = -327*t - 157404. Which is smaller: -464 or t?
t
Let d = 725/63 + -89/9. Are d and 2 equal?
False
Suppose 0 = -2*d + 4*k + 20, -2*d = d - k - 5. Suppose -7*i = -d*i. Let s be (-1 - -1)/(i + -2 + 4). Is s >= 10/7?
False
Let c be (-8)/(-36) - 416/9. Let h = 58 + c. Let s(v) = -v**2 + 9*v + 11. Let o be s(h). Does o = -25?
True
Let w = -21162 - -24436. Are w and 9820/3 nonequal?
True
Let p = -4 + -1. Let i = 0.045291 - -0.154709. Which is greater: p or i?
i
Let r be 180 - (-4 + (-8 - -20)). Is -27 greater than r?
False
Let v be (6 + (-506)/77)*(-42 + 35). Let c = -6.5 - -3.6. Is v not equal to c?
True
Let t = 13 + -1. Suppose 37*r - 402 = 135 + 18. Is t smaller than r?
True
Let c = 2717/9 - 303. Let m = 38 - 47. Let h = m + 9. Does h = c?
False
Let o(j) = -j**2 + 9*j + 17. Let k be o(6). Suppose 134 - k = u. Do u and 102 have the same value?
False
Let l be (2/(-4))/(13/(-78)). Let q be 20/((l + 3)/3). Let r = q - -3. Is r at least as big as 12?
True
Let u = -4471 - -3961. Which is smaller: -509 or u?
u
Let a be -8 + (11245/1053 - 13)*(-455)/132. Is 0 >= a?
False
Let p be (-6)/12 + (-21)/6. Let v(t) = 6*t**2 - t + 12. Let n be v(p). Which is smaller: n or 113?
n
Suppose 0 = -3*z - 3*d + 1740, 2*d + 352 + 210 = z. Which is bigger: z or 566?
z
Let x = -27 - -35. Let q be (x*-11)/(-2) - -3 - -3. Let n be 4/8 - q/28. Is n less than or equal to 0?
True
Let y(m) = -m - 29. Let q be y(-23). Let g(d) = -2*d - 13. Let w(a) = 6*a + 40. Let f(b) = q*w(b) - 17*g(b). Let r be f(-10). Which is smaller: 3/34 or r?
3/34
Let l = 175 - 170. Let s be ((-21)/3045)/((-1)/l). Which is smaller: s or -1?
-1
Let f = -138.6 + 140.6. Is f equal to 204?
False
Let b(y) = -4*y**3 + 4*y**2 + 3*y - 2. Let m(x) = x**3 - 8*x**2 + 11*x + 5. Let o be m(6). Let u be b(o). Is u equal to 15?
False
Let j = -131.45 - 814.55. Which is bigger: -2 or j?
-2
Let b = -2793 - -2793.03. Is b <= -19?
False
Let w = 0.062 - 0.312. Let m = 628/3069 + 6/341. Is m > w?
True
Let f(s) = 2*s**3 - 3*s**2 + 5*s - 4. Let b be f(1). Suppose -25*l - 180 = -13*l. Which is greater: b or l?
b
Suppose -176*m + 201756 = -199*m. Which is smaller: -8771 or m?
m
Let d = 71119.97 - 71529. Let y = d - -409. Do 23 and y have the same value?
False
Let j be (-408)/(-10) - (-140)/(-7 + -21). Which is smaller: j or 13?
13
Let x be (2/(-4))/((-540)/72 - (-8 + 0)). Which is smaller: 20/251 or x?
x
Let o(f) = 5*f**2 - 11*f + 4. Let b be o(0). Which is bigger: -140 or b?
b
Let o = 25.74 + -24.3. Is 22 > o?
True
Let k be 389656/(-588)*(-6)/(-8). Let q = -497 - k. Is 0 bigger than q?
False
Let z(f) = -5*f + 1. Let h be z(-1). Suppose -17 - 8 = 5*a. Let k be 1 + a + (-64)/(-22). Which is bigger: k or h?
h
Let i be (15 - 0 - 6)*190/30. Which is bigger: 58 or i?
58
Let l = 4.75 - 4.8. Let w = 0.3 - -22.7. Let p = w - 21. Is p greater than l?
True
Suppose -2*q + t = -0*t - 19, 2*t - 12 = -q. Suppose q = -32*a - 470. Which is smaller: -16 or a?
-16
Suppose 0 = -5*p - 5*k + 160, 17 - 2 = 5*k. Let d(o) be the third derivative of 29*o**6/120 - o**5/60 - 2*o**2. Let h be d(1). Is p greater than h?
True
Suppose -3*p = 5*z - 309, z + 2*z - 2*p - 174 = 0. Let m be (3 + (-81)/z)/((-5)/20). Which is greater: -2/5 or m?
-2/5
Let l = -34 - -9. Suppose -5*k = 5*o, -k + 20 = 5*o - 0. Suppose 0 = -5*u + 3*g - 145, 0 = -o*u + 9*g - 4*g - 155. Is u less than l?
True
Suppose 2*a - 1522 = -u, 17*u + 4*a = 18*u - 1510. Which is smaller: u or 1519?
u
Let z = 2/1419193 - 2838396/7095965. Let k = -174 - 60. Is z at most k?
False
Suppose -5*i = -4*x - 430, -4*i + 313 = x + 2*x. Let c = -83 + i. Let l be 4/310*(-8 - -3). Are c and l equal?
False
Let q = -134071/316 + 1697/4. Suppose 0 = -y + 5*w - 3, 3*w = -3*y - 7 - 2. Let g be 0/(3 + 2 + y). Which is smaller: q or g?
q
Let n = 71 - 71. Is n less than or equal to -0.1806?
False
Let z = -216.284 + 216. Let r = -0.184 - z. Is r bigger than -12.3?
True
Let r = -353097 - -684789/2. Let y = r + 231161/22. Let o = y - -195. Which is smaller: 0 or o?
o
Suppose -2*q - 23 + 14 = -5*h, 3 = h. Suppose 0 = q*m - a - a + 24, 3*m - 3*a = -24. Is -8 equal to m?
True
Suppose -r + 9 = 2*r, -4*r + 21 = 3*g. Suppose g*w = 3*a + 3, -4 = a - 2*a - 4*w. Let i be ((-5)/7)/((-5)/10). Which is greater: i or a?
i
Suppose 2*z = -84*b + 80*b + 14, -b - 35 = -5*z. Is b greater than or equal to -15/106?
True
Let t be (-7)/21 - 272/(-6). Suppose -t = -a + 3*g, 4*a - 161 = -a - g. Which is bigger: a or 36?
36
Suppose b = 5*f - 190, 4*f + 39 + 425 = -2*b. Which is bigger: 7 or b?
7
Let c = -236 - -229. Let n be (2 - (-71)/c)/(45 - 44). Which is greater: -9 or n?
n
Let a = 552 - 553. Suppose 1376 = 5*l - 1089. Let k = -18242/37 + l. Is k less than a?
False
Suppose -4*j - 19 = 1, -5*u + 4490 = -2*j. Let v be ((-9)/16)/(4/(u/(-24))). Which is greater: v or 6?
6
Let w = 1184 + -1145.92. Let n = 125.55 - w. Let s = n + -87. Is s >= 2/3?
False
Let o be ((-1)/(-10) - (-432841)/16590)/(32/(-60)). Which is smaller: -50 or o?
-50
Suppose 0 = y + 3, -3*s - 3*y + 1458 + 486 = 0. Let f be (-76539)/s - 2*(-4)/14. Which is smaller: -115 or f?
f
Let u = -9 + 9. Let q(k) = 2*k**2 - 24*k - 46. Let v be q(14). Suppose x - v = -u*x. Which is smaller: x or 12?
x
Let o(f) = -22 - 2 + 3*f - 62*f + 3. Let m be o(-5). Let p be 42/70 - m/40. Is -5 smaller than p?
False
Suppose 944 = p + 2*s, 5*p - 5*s = 2202 + 2578. Suppose p = 13*b + 15*b. Which is smaller: b or 33?
33
Let l be 0/(176/(-99) - (-2)/(-9)). Suppose l = x - 5, 5*y + 11*x = 7*x + 60. Which is smaller: 42/5 or y?
y
Let t be ((-2)/1)/(13/((-221)/2)). Suppose 161 = -16*f + 881. Suppose -7*x + 4*x + f = 0. Is t at least x?
True
Let i be -10 - -14 - (1 - 31). Let b be i/(-8) - (-6)/24. Let w be ((-3)/(-4))/(b/(-24)). Is w less than 4?
False
Let f(r) = -21 + 27 + 43 + 6*r + 4. Let q be f(-9). Let l(n) = -n**2 + 5*n + 4. Let v be l(6). Is q not equal to v?
True
Let x = -91 - -98. Let o = -123.13 - -123. Is x at most 