5/11. Is 1/53 at most y?
True
Suppose f + 261 = 2*w, 5*w - 247 = 2*f + 404. Is 128 smaller than w?
True
Let g = -6/185657 - -438893214/2042227. Is g smaller than 216?
True
Suppose -3*n + 0*n - 2 = y, -y - n + 4 = 0. Let x(q) = q**3 - 8*q**2 + 5*q + 14. Let o be x(y). Is 0 != o?
False
Let q be (-13034)/63 + -2 - ((-77)/63)/(-11). Which is smaller: -2 or q?
q
Suppose -48 = 6*y - 66. Let b be (-2)/3 + y + 22426/(-9606). Which is greater: b or 1?
1
Let j = 31249 - 31024. Which is smaller: 237 or j?
j
Let v = 64280/261 + -2224/9. Let p(k) = 2*k**2 + 16*k - 2. Let o be p(-8). Is o <= v?
True
Let x be (-5 - 14/7) + -357. Let k = x - -362. Is -18/23 bigger than k?
True
Let g be 2 - -1 - (-68 - -700). Is -625 greater than g?
True
Suppose 65*a + 62*a - 127 = 0. Let i = -1039429/164 - -6338. Is i smaller than a?
True
Let j = -241.81 - -241. Let l = 8.19 - j. Which is greater: l or 5?
l
Let u = 260 + -259.765. Let p = -9.235 + u. Is p <= -5?
True
Suppose -7*t = t - 32. Suppose -8756 = -t*x + 4*q, 0*x = 2*x - 5*q - 4384. Let s = x + -37189/17. Is -2 at most s?
True
Let n(b) = -7*b + 3. Let t be n(-1). Let a = 10 - t. Is a < -3/28?
False
Suppose -53*p + 18 = -4*h - 58*p, 2*h + 6 = -p. Let c be 4*((-66)/24 + h - -1). Is c at least -7?
False
Let h = 54646/429 + -20/429. Let n = h + -122. Which is smaller: n or 6?
n
Suppose -470*v + 29112 = -458*v. Which is smaller: 2427 or v?
v
Let v be (10757/4)/(3 + (-75)/20). Let w = -3617 - v. Which is smaller: w or -32?
-32
Let o(v) = -78*v - 22. Let j be o(-2). Let z = j + -135. Does -40 = z?
False
Let g be 4980112/1182 + 8/(-9 - 15). Let d = -4213 + g. Is -1 equal to d?
False
Let g = 25/103 + 22151/824. Let x = g - 133/8. Let b = -109/10 + x. Is b smaller than -55?
False
Suppose 3*s - 109 + 1 = -3*c, -3*c + 104 = 5*s. Let y = -22 + 25. Suppose y*o - 6 = -0*o. Is c < o?
False
Let q(j) = j**3 - 5*j**2 - 4*j + 21. Let k(t) = -t**3 + 5*t**2 + 4*t - 22. Let s = 4 - 7. Let l(y) = s*q(y) - 2*k(y). Let d be l(3). Is d <= 11?
True
Let f be 8 + 3*(-25)/15. Suppose -f = h - 1. Let y be ((-532)/49)/(h/(-1)). Is -6 less than or equal to y?
True
Suppose -8 = -8*i + 7*i. Suppose 2*j - 3*j - 4*w - i = 0, 6 = -3*w. Let q = 34 - 103/3. Which is bigger: q or j?
j
Suppose 4*p - 217 = 3*r, 0 = -5*p - 2*r + 4*r + 273. Suppose -2*s - 19 + p = 0. Let i be 72/(-168)*2/s. Are i and 0 equal?
False
Let m be 600/(-2100) + 15664/(-7). Which is greater: -2237 or m?
-2237
Let f be (4 - (-231)/(-63))/(2/18). Is 59/27 bigger than f?
False
Suppose -20 + 50 = 6*u. Let k be (u/50*0)/(-3 - -2). Are k and 1 equal?
False
Let k be (54/(-21))/(159/(-130592)). Which is smaller: k or 2113?
k
Let x be -2 - (-140)/65 - 102/663. Let b = -29/10480 - -2/131. Which is smaller: x or b?
x
Let i = 1674/5 - 333. Let j be 16/(-28)*21/(-3) - -57. Let w = 63 - j. Which is smaller: i or w?
i
Let c(z) = -91*z + 3095. Let b be c(45). Which is greater: -992 or b?
-992
Let n = -1.13 - -0.24. Let g = -28.89 - n. Let u = g + 28.2. Which is greater: -3/5 or u?
u
Let w = 7/383799 - -4877573509/2686593. Let u = w - 1816. Is 0 bigger than u?
True
Let h be 4/(-24) - ((-21)/(-3) - 2190/504). Is h smaller than -2/7?
True
Let m = -4942 + 3965. Which is bigger: -2 or m?
-2
Let j = 110 - 112. Suppose 3*b + 2*b = 20. Let h be 141/(-147) + (b/j)/(-2). Which is smaller: -1 or h?
-1
Let s = -737.791 - -5.791. Which is smaller: 2 or s?
s
Let c = 27 - 502. Suppose t = -3*l - 481, 2*t - 3*t - 5*l = 485. Are t and c non-equal?
False
Let w(j) = -5*j - 2. Let u be w(0). Let a be ((76/(-2))/u)/(6/(-6)). Is a >= -135/7?
True
Let v = -4/127 + -3167/254. Let g = v + 221/18. Is g >= 1?
False
Let z be -3 - 3/(-9 - -3)*6. Let i = 5 - z. Suppose 43 = 2*u + 2*u + i*q, -31 = -4*u - q. Is 5 smaller than u?
True
Let q be (-5)/(-1) - (-188)/(-4). Let x be 3/(-2)*(-28)/q. Is x < 8/53?
True
Let r = -167.4 - -97.4. Let m = -590.4 - -519. Let f = r - m. Is f < -2?
False
Let r(f) = 8*f**2. Let c be r(1). Let q be (4/(-14))/((-125)/2625). Which is bigger: c or q?
c
Suppose 4*b = 7*y - 3*y - 20, -15 = -5*y + 3*b. Let v = -109181/262380 - 12/21865. Which is smaller: y or v?
v
Suppose 0 = -41*f - 1757 + 6308. Are 106 and f non-equal?
True
Let y be ((4/8)/(3 - 1964))/((-84)/280). Which is greater: y or -1?
y
Let g(d) = d**3 - 6*d**2 - d + 8. Let x be g(6). Let u be (-2 - -1) + 7 + (-2)/x. Suppose -p - j - 15 = -4*p, 5 = u*p + 5*j. Is p greater than 4?
False
Suppose -30 = -7*q + 2*q. Suppose -a + 9*a - 32 = 0. Let t be (-2)/2 + 1 + a/q. Which is smaller: 0.3 or t?
0.3
Let q(f) be the third derivative of f**5/60 + f**4/4 + 2*f**3/3 + f**2. Let k be q(-7). Let y be ((17/((-204)/(-24)))/2)/(1/8). Is k not equal to y?
True
Suppose -2*y = t - 3, -5*y - t - 12 = -5*t. Suppose y*c - 301 = -7*c. Suppose -4*m - 3*d = c + 2, 0 = 3*d - 15. Do -15 and m have the same value?
True
Let m be 14 + -5 + (-477035)/53005. Which is bigger: -1 or m?
m
Let r(z) = -z**2 - 21*z + 37. Let a be r(-23). Let v be -2*6/a*3 + -1. Let p be (-56)/(-12) - 4/6. Which is smaller: v or p?
v
Suppose 0*m + m = -5*a + 1350, 2*a - 540 = 3*m. Let r be 35/a*-3*-3. Which is smaller: -6 or r?
-6
Let n = -18.7841 - 0.0159. Are n and -1/3 unequal?
True
Let i(k) = 47*k + 16. Let m be i(1). Suppose 65*l = m*l - 2. Which is greater: l or -6/305?
-6/305
Let q(d) be the third derivative of d**6/120 - d**5/60 - 2*d**3/3 + 3*d**2. Let b be q(0). Let v = 5 + b. Does 1 = v?
True
Let s = -103041 + 102778. Suppose 0*h = 4*h + 1056. Is h not equal to s?
True
Let p = 20/7 - 86/35. Let y = -18/91 + -20239/273. Let a = y + 76. Is p less than a?
True
Let m = 0 + 0. Suppose m = 2*o + 29 - 35. Let p be 7/21*(-1*o - -1). Which is smaller: -1 or p?
-1
Suppose -20*a + 4 - 64 = 0. Let g be 190 + a*9/27. Is g greater than 375/2?
True
Suppose -s + 20 = -6*s. Let a be 0/((s/8)/(2/(-4))). Suppose -4*d = 8, a*c + 2*c + 4*d - 26 = 0. Which is smaller: 19 or c?
c
Let a = -2213 - 155. Let l = 75795/32 + a. Does l = 2?
False
Let a = -4485/86 - -2307/43. Suppose i + 9 = 3*d - 2, 3*d - 3 = -3*i. Is d < a?
False
Let f(v) = v**3 + 6*v**2 - 2*v - 10. Let j be f(-6). Let c = 1/230 - -8267/2990. Which is bigger: c or j?
c
Let k = -134.7 + 145. Let y = -295.9 - -285. Let p = y + k. Which is smaller: 14 or p?
p
Let u(f) = -466*f**3 - 2*f**2 - 2*f - 464*f**3 - 2 + 931*f**3. Let z be u(0). Let v = -0.09 - 0.08. Is z bigger than v?
False
Let u be 97/(-2134)*(-112)/(-54). Which is bigger: u or -1?
u
Let u be ((-30)/(-8))/(15/1000). Let x = -1031.9 - -1032.1. Are u and x unequal?
True
Let q(z) = -27*z - 2167. Let o be q(-98). Which is smaller: 1435/3 or o?
1435/3
Let b(w) = -w**2 - 12*w + 29. Let k be b(-14). Let v be -2 - k - (-854)/231. Let q = v - 4/11. Is 0 smaller than q?
True
Suppose 162 = 4*c + 1026. Which is greater: -213 or c?
-213
Let j(t) = -16*t - 87. Suppose i + 48 = 42. Let l be j(i). Let f = -0.8 - 0.2. Which is smaller: f or l?
f
Let z be 4 - 3 - (-135)/(-21). Let w = -1/942760 + -88888783/16026920. Let p = w - z. Which is smaller: p or 2/9?
p
Suppose 4*f + 5*z + 299 = 0, 74*f = 79*f + z + 358. Does f = -1279/18?
False
Let x be 9304477/(-372113) + 1*25. Which is smaller: 1 or x?
x
Suppose -s - 13719 = -3*t, -30*t + 3*s + 9132 = -28*t. Is t less than 4576?
True
Suppose 4*v + 91 = 3*o, 2*v + 1551 = -5*o + 1512. Let b be (-30)/(-2) - 4/4. Let j be b*(10/(-4) - -1). Which is smaller: j or v?
v
Suppose -65*g = -53*g - 48. Suppose -3*o - i = 578, -2*i + 282 = -g*o - 502. Which is smaller: -192 or o?
o
Let u be (8 - (-42)/(-7))*1*-1. Let h = u - -2. Is h < -10/27?
False
Let r be 18/3 - (-109 - 0). Let a be r - -9 - (1 + 2). Do 122 and a have the same value?
False
Let r be 12/20 - 12850/20500. Is -1 less than r?
True
Let d = 91.007 + -91. Let r = d - 0.115. Let b = r + 0.008. Is 5/6 < b?
False
Suppose 2*m + 3*l - 5 = 10, -m - 2*l + 10 = 0. Let u = 0 + m. Let n = 1/5383 - 2308/5383. Which is smaller: u or n?
n
Let g be 12768/(-464724) + 2/9 + 35/(-455). Which is greater: -1 or g?
g
Let r = 917 + -915. Is 22 < r?
False
Let j = -0.02767 - -0.12767. Which is greater: j or 105/526?
105/526
Let g = 9 - 8.57. Let z = -0.54 - g. Let c = -0.99 - z. Which is bigger: c or 3/8?
3/8
Let p = 352 - 301. Let n = -29 - -80. Are n and p unequal?
False
Let s be (3/2)/((-39)/45344). Which is greater: s or -1743?
-1743
Sup