 at most as big as q?
False
Let c = -12575043 + 222741736579/17713. Let p = c + -39699346/2922645. Let o = p + 148/11. Is 1 <= o?
False
Let q = -548 + 572. Is q not equal to 7?
True
Let b be (-1)/6*-2*12. Suppose 0 = -b*f + 7*f + 3. Which is smaller: -2/49 or f?
f
Let t = 23 + -21. Let b(s) = -4*s**t - 14*s + s**2 - 9*s**2 + 10 + s**3. Let l be b(13). Which is smaller: l or -1?
l
Let n = -3334/11 - -302. Let a = n - 13/99. Which is bigger: 0 or a?
0
Suppose 0 = -p - 5*p - 18. Let a be 1/4 + p/(216/58). Which is greater: a or -1?
a
Suppose 2*y + 10 = -4*q, -4*q - 8 = -3*q - 5*y. Let k be (-6)/q - 20/11. Let v = 241 - 240. Is k bigger than v?
False
Let u = -1090.9 + 1091. Which is smaller: u or 36.9?
u
Let v = -7 + 7. Suppose 5*r - 2*p + 11 = -59, -4*r + 3*p - 63 = v. Let q be r/(-16) + (-57)/44. Which is bigger: q or 0?
0
Let c = -2169 - -2170. Is 980 at most c?
False
Let o(c) = -5*c + 1. Let h be o(2). Let i be -5*((-141)/(-45) + -3)*66. Let s be 1/(-5) + -6*i/(-30). Is h < s?
False
Suppose 10*n - 2 = 8*n. Let r = -8131/21 - -386. Let y = -1/3 - r. Is n at most as big as y?
False
Let b = -93 + 88. Suppose -2*y + 2 = -i, -3*y = 6 - 3. Which is smaller: b or i?
b
Let t be ((-12)/(-40))/((-15)/(-10)). Suppose -2*w = -w - 1. Is w >= t?
True
Let s be 20/4 - 1/1. Suppose -2*z = s*z + 6. Do z and 1 have different values?
True
Let h(s) = -20*s + 81. Let b be h(4). Are -6/5 and b unequal?
True
Let f = -46 + 70. Let j be (-1)/((2/(-1))/f). Let d be ((-8)/j)/(4/(-18)). Is -2/7 greater than d?
False
Suppose 3*w - 4*t = 26 - 22, 0 = -5*w - 4*t - 4. Let f = 11 - 12.7. Which is greater: w or f?
w
Let c(l) = l**2 + l - 1. Let m be c(-2). Let w be (1 + -1)/(m/1). Let j be 49/(-798)*(38/7 - 6). Are j and w nonequal?
True
Let s(z) = z**3 + 7*z**2 - 8*z + 23. Let n be s(-8). Let x = 22 - 1. Which is smaller: n or x?
x
Let c = 1259 - 1258.7. Is -13/17 not equal to c?
True
Let v be 2/((-135)/(-20) + (-10)/(-4)). Which is greater: v or 1?
1
Let o = 44.5 - 21.5. Let g(l) = l + 5. Let m be g(-5). Which is greater: m or o?
o
Let d(j) = j**3 - 19*j**2 + 18*j + 8. Let m be d(18). Is m < 42?
True
Let b = -11.93 + 12. Let f = -0.116 + 0.386. Let m = b - f. Which is smaller: -2/3 or m?
-2/3
Let p = -0.27 + -0.53. Let z = 26.2 - p. Which is bigger: z or 0?
z
Let v = -8 - -23. Let r = -13.66 + -0.34. Let m = r + v. Which is bigger: m or 7?
7
Let c be (-2)/(-7) + 544/56. Let z be 3460/380 + (-6)/57. Is c greater than z?
True
Suppose 4 = 4*r, -4*j - 3*r - 3 = -j. Let w be 1*(-2 - -3) + 4/j. Let b be -1 + 0 + (-39)/(-33). Which is bigger: w or b?
b
Let a(k) = 13*k**2 + 3*k - 4 - k**2 + 2. Let p be a(1). Is 14 at least p?
True
Suppose -3*u + 2*u + 13 = -2*h, -u = 4*h + 11. Suppose 0 = -u*c - 27 + 57. Which is smaller: c or 16/3?
16/3
Let p be (-12)/(-264)*-6*(-2)/(-4). Which is greater: p or 1?
1
Let s = 2 - -1. Let h(v) = -4*v + 1. Let i(g) = 7*g - 3. Let n(a) = -5*h(a) - 3*i(a). Let c be n(s). Is c smaller than 3/2?
True
Let l = -1 + -15. Let h = 12 + l. Let i be (h/6)/(7/18). Which is smaller: -1 or i?
i
Let a(r) = r**3 + 13*r**2 + 23*r + 59. Let p be a(-12). Is -80 bigger than p?
False
Let a = -67 + 145. Suppose 2*h - l + a = 6*h, -2*h + 4*l + 30 = 0. Is 19 equal to h?
True
Let f = 636 + -706. Are f and -211/3 unequal?
True
Let r be 1*14/(-6)*-5. Let x = 221 + -210. Which is bigger: x or r?
r
Let d = 34 - 14. Let c be (1 - -13)*(-30)/d. Let w = c + 25. Which is smaller: w or 3?
3
Let b(o) = o - 6. Let k be b(10). Let g be k*(-6)/15 + 0. Let w be ((-4)/(-12))/(65/(-15) + 4). Is g < w?
True
Let z(y) = -5*y**2 - 11*y + 6. Let m be z(4). Let t = m + 118. Is 3/28 equal to t?
False
Let g = 19.45 + 0.73. Let m = -20 + g. Let z = m + -0.18. Are z and 1/12 non-equal?
True
Suppose 2*g - 5 = -5*j - 23, 3*j = -2*g - 10. Let d be ((-23)/(-230))/((-10)/25). Is g greater than or equal to d?
True
Let d be -4*(-2)/(-4) - -1. Suppose 0 = 3*j - 3*v - 47 + 287, 4*v = -16. Let n be 2/(j/9*-1). Which is bigger: d or n?
n
Let t be (25 - 5)/5 - -7. Which is smaller: t or -2?
-2
Let j = 5651/3 + -7621/4. Let l = -1/2955 - -117217/5910. Let o = j + l. Which is bigger: o or -3?
o
Let k(w) = -57*w + 13. Let a be k(1). Is a smaller than 6?
True
Suppose 3 = 5*g - u, -3*g + 9 = -u + 4*u. Let o = 4 - g. Let i = o + -2. Which is bigger: i or -3/8?
i
Let i be (-3 - 1)*(-1 - 1). Suppose -2*k = 2*k + i. Let f = -2/91 - 358/273. Is k < f?
True
Let x = -0.4 - 18.6. Let r = 23 + x. Let t = -5 + 5. Is t <= r?
True
Let n(i) = 4*i - 14. Let r be n(6). Which is smaller: 8 or r?
8
Let r be 1664/24 + -4 - 2/6. Which is greater: r or 63?
r
Let u = 189 - 2081/11. Which is smaller: 4.5 or u?
u
Let q = 1389 - 1390.82. Is 0 greater than or equal to q?
True
Let l(h) = 2*h + 47. Let s be l(-45). Is -43 >= s?
True
Let k = -0.012 - -2.812. Let t = 3 - k. Let u = -1.97 + -0.03. Which is bigger: u or t?
t
Let x = 988.2 - 988. Is x less than -229?
False
Let d(a) = -a**3 + 2*a**2 - 1. Let o be d(-1). Let t be 159/18 - (16/(-12))/o. Which is greater: t or 11?
11
Let v = -0.0388 - 40.0612. Let i = 39 + v. Is 0.2 at least i?
True
Let m = -2.96 + 3. Let j be (-1606)/3570 + 4/(-20). Let z = j + -2/119. Is z greater than m?
False
Suppose -5*v = -4*h, -h = -v - 3 + 2. Suppose v*w + 4*i - 44 = 0, -i = -w + 5*w - 29. Let y be (-102)/(-14) + (-8)/28. Which is bigger: y or w?
y
Let d be (-1 + 3/6)/(109/218). Let n = 94309/61 + -1546. Is n <= d?
False
Let p = 435 - 18269/42. Do p and -1 have the same value?
False
Let y = -10 - -20. Suppose y*r - 140 = 30. Is -1/2 greater than or equal to r?
False
Let k = -10 + 11.6. Let h = -1.5 + k. Let n = -10.1 - -10. Which is smaller: h or n?
n
Suppose -3*d = -7*d + 20. Let q = 19 + -12. Suppose -q*g - 5 = b - d*g, 3*g = -4*b. Does 2 = b?
False
Let u be 3/6*(24/81)/(-4). Is -1 at least as big as u?
False
Let n be (-2479)/(-4) + (-4)/(-16). Is n greater than or equal to 621?
False
Let d(f) = -f**2 + 4*f + 9. Let s = -19 + 13. Let w be d(s). Is -51 at least w?
True
Let t(x) = -2*x - 9. Let q = 1 - 1. Let g be t(q). Let h = 13 + g. Which is bigger: 0 or h?
h
Let v be 5/4*5/(-25). Let d = -8.8 + 5.8. Are d and v equal?
False
Let u be (-3 - -6)/3 - -377. Let d be (-12)/u*(-21)/9. Which is bigger: 0 or d?
d
Let d = 3 - 3. Suppose b + d*b = 6. Suppose -x = -8 + 2. Is x not equal to b?
False
Suppose -10*c = -7*c + 5*q - 147, -4*q = 12. Let f be -1*(-3)/3*55. Which is smaller: f or c?
c
Let x be 50 + 3 - -3*1. Suppose -2*b - 17 - 10 = -r, -2*r + x = -5*b. Let h = r - 19. Is h > 3?
True
Let h = 51.3 + -51.3. Is h less than 1/84?
True
Let u(x) = -x**3 + 11*x**2 - 13*x + 32. Let w be u(10). Which is smaller: 1 or w?
1
Let i = 226 + 18. Is -2 greater than i?
False
Let t = 75 + -11. Let r = t + -45. Which is greater: 2 or r?
r
Suppose -5*p + p - 16 = -4*o, 3*o + 5*p = -28. Let d(i) = -2*i + 2. Let z be d(2). Let t be (-3 - z/2) + 3. Which is bigger: o or t?
t
Let m = -320 - -204. Let s = m - -115. Does s = 1?
False
Let v(m) = -2*m + 17. Let u = -19 - -14. Let w(z) = -2*z + 16. Let p(n) = u*v(n) + 6*w(n). Let j be p(5). Is j > -1?
True
Let h(v) = -v**2 - 20*v + 336. Let p be h(-36). Is p at least as big as -240?
True
Let t = -36 - -45. Suppose 0 = y - 2, -5*d = -3*y + 5*y - t. Let f = 2/5 - 1/15. Which is smaller: d or f?
f
Suppose -4*k = -i + 3*i + 232, -3*k - 2*i = 172. Suppose -2*q + 3*a - 111 = 0, -q + 3*q = 5*a - 105. Is q bigger than k?
False
Let m = 804 + -807. Is m greater than or equal to -29/6?
True
Let m = 16 + -28. Let g(v) = 3*v - 24. Let i be g(4). Is i greater than or equal to m?
True
Let d = -160.7 - -160.45. Let f = -0.2 - -0.1. Which is greater: f or d?
f
Let f = 1/741 + 5144/31863. Let w = 141/602 - f. Is 1 less than or equal to w?
False
Let g be (905/70 - 11) + -2. Which is smaller: g or -12?
-12
Suppose -33 = -4*h + 43. Suppose 2*y = 4*d - 9 + 33, h = -5*d - 3*y. Let n = d + 4. Is -1 <= n?
True
Let g = 36485/294 + -13/49. Suppose 2*i - 234 = 3*u, i - 2*i + 3*u = -111. Let b = g - i. Is b <= -0.1?
False
Let w(p) = p**3 - 10*p**2 + p + 13. Let m be w(10). Is m less than 21?
False
Let t = -29 + 29. Suppose 0 = -4*h - n - n, 4*h + n = t. Which is bigger: 1/30 or h?
1/30
Let i be (-1)/5 - 16/(-5). Suppose -20 = -3*b + 4*k, -i*b + 16 = -2*k - 6. Suppose b = -o - 0*v + v, 0 = -o - 3*v - 8. Which is smal