
Suppose k + 90*w = 88*w - 6000, -4*k - 24040 = -2*w. Is k at most as big as -6008?
True
Let c(f) = 2*f + 10. Suppose i = d + 22, i - 46 = -2*d - 3*d. Suppose -v = v - 4*k + i, 3*k + 13 = -5*v. Let x be c(v). Which is greater: 2/149 or x?
2/149
Suppose -2*k + 0 + 10 = 0. Let y be (0 + 4)*k/50. Let x(w) = w**2 + 6*w + 7. Let u be x(-2). Which is bigger: y or u?
y
Let n(d) = 2*d**2 + 7*d. Let h be n(-5). Suppose 2*q + 3*c = 8*c + 28, q + 3*c + 8 = 0. Suppose -68 = -q*l - 12. Is h equal to l?
False
Let k be 249/27 + -6 - -1. Let c be ((-1)/(-1))/(0 - 3). Which is bigger: c or k?
k
Let a = 0.9 + 0.1. Let q be 7288/6 + (-34)/(-102). Let o be 1 + ((-2)/10 - 1017/q). Is a < o?
False
Let t(w) = -w**3 + 5*w**2 - 6. Let k be t(-5). Let o = 247 - k. Which is smaller: -4/5 or o?
-4/5
Let u be ((-1800)/(-5194))/(4/(-35504)). Let g = u - -3076. Which is smaller: 1 or g?
g
Let v(f) = 2*f**3 + 25*f**2 + 18*f + 81. Let p be v(-12). Is 128 at most p?
False
Let g be (1216/27984)/(-38)*(45 - 0). Is g less than -1?
False
Suppose 3*x + 17 + 14 = -5*f, 5*f + x + 27 = 0. Let m = 8357/2 + -4182. Which is greater: m or f?
m
Let z(o) = 21*o**2 - 168*o + 14. Let k be z(-6). Do k and 0 have the same value?
False
Let o be (0 + -3 + 2)*-15. Suppose -5*u - 2*f = -21, 3*u = -0*f - 2*f + o. Suppose 0 = 4*z - 4*p - 76, -u*z + 5*p + 3 = -2*z. Do z and 23 have the same value?
True
Let q = 68.53 - 68. Let o = q + -0.433. Let c = 0.003 + o. Is c <= -0.16?
False
Suppose 3*o = -3*j - 213, 22*o + 278 = -4*j + 21*o. Is j <= -69?
True
Let b = 270512 - 271186.991. Let h = b + 675. Are h and 0.02 non-equal?
True
Let o be (-3)/8 + -18 + 36714027/1998024. Which is greater: -1 or o?
o
Let m be ((-18)/(-4))/((-15)/(-20)). Suppose m = -6*t - 0. Let q be (t/(-2))/(1/6). Do q and 4 have the same value?
False
Suppose -5*d + 8*o = 4*o + 85, 4*o = -5*d - 125. Let p(g) = 21*g - 105. Let t be p(8). Let i be (-44)/(-6) + d/t. Which is greater: 9 or i?
9
Let q = -10 - -14. Suppose q = -d + 23. Let z = d + -15. Which is smaller: z or 21/8?
21/8
Let x = 1.44 + -56.44. Let h = x + 59. Which is smaller: h or -3?
-3
Suppose -3*j = 2*c + 111, -414*c - 2*j = -417*c - 173. Which is bigger: -29 or c?
-29
Let b be 2583/(-12) + (6 - 207/36). Are b and -429/2 non-equal?
True
Let r(t) = -4*t + 244. Let d be r(31). Is 479/4 greater than d?
False
Suppose 114 = -2*d - 4*s + 16, 4*d - s + 214 = 0. Let h be 6*8*(-11)/(-6). Let c = h + d. Which is greater: -1 or c?
c
Let u = -7707 - -7708. Is u != 9/64?
True
Let o(n) = 9*n - 43. Let g be (3 - 0 - -9) + -3. Let j be o(g). Suppose 6*c - 200 = -j. Is 27 equal to c?
True
Let r be (140/56)/(1 + 35/(-34)). Let j = r - -65. Let w be (j/15)/((-6)/(-9)). Are 7 and w nonequal?
True
Let x = -262138/3 + 88449. Which is smaller: 1070 or x?
x
Let q = -820.238 - 1.762. Let w = -818 - q. Which is smaller: 0.032 or w?
0.032
Let g(t) = -162*t + 2324. Let a be g(23). Is a at most -1408?
False
Let b = 7383433301/11983 - 616159. Is -1 < b?
True
Let p = 890.3 + -882.3. Which is smaller: 0.249 or p?
0.249
Suppose -3*x - 687 = 2*m, 2*x - 5*m - 163 + 602 = 0. Are -230 and x unequal?
True
Let r = 3619 + -3618. Let j = -456 - -475.13. Let a = -0.13 + j. Is r smaller than a?
True
Let w be (-44 - -47) + -2 + -1 - 1. Do 2/2301 and w have the same value?
False
Suppose 5 = 4*b + 1. Let m(x) = x**3 - 8*x**2 + 5*x - 1. Let h be m(7). Let k be (h/(-18))/(170/17). Which is smaller: b or k?
k
Let a = -88675819/2975 + 29807. Is a bigger than 1?
False
Let m = -649 + 1293. Is 646 >= m?
True
Let y = 0.0364 + -0.0799. Let x = y - 0.0635. Which is smaller: x or -0.1?
x
Let p(s) = -3*s**2 - 7*s + 0*s - 4 + s**3 - 2 + 19. Let l be p(3). Let i(g) = -g - 7. Let j be i(l). Is 2/23 at least j?
False
Let z = 3791 + -15163/4. Is z greater than or equal to -22/21?
True
Let r = -10368.96 - -10369. Which is smaller: 746 or r?
r
Let o = -182 + 99. Let m = o + 103. Is m less than or equal to 25?
True
Let t be 1 - (-3)/(21/(-106)). Let z = t + 1888/133. Let p be 8 - 17 - (-4 - 4). Which is bigger: z or p?
z
Let d(h) = 2*h**2 + 13*h + 1. Let f(g) = -2*g**2 + g - 1. Let z(a) = d(a) + 3*f(a). Let o be z(4). Which is bigger: o or -10/9?
-10/9
Let z(m) = -m**3 - 5*m**2 - m - 45. Suppose -10 = v + 4*h, -5*v - 68*h + 63*h - 35 = 0. Let a be z(v). Which is greater: a or -0.08?
-0.08
Suppose -2*g + 13955 = -4*h - 3*g, -5*g = -3*h - 10426. Is h less than or equal to -3488?
False
Let r = -42.445 - -10.445. Do r and -119 have the same value?
False
Let v be 1 + (-1680)/(-266) - 8. Is -2 at most as big as v?
True
Let d(v) = 28 + 23*v - 9*v + 16. Let f be d(-7). Which is greater: -58 or f?
f
Suppose -4*h + 48 = 28. Suppose -4*p + 11 = 2*n - 9, 5*n = h*p - 55. Is p bigger than 6?
True
Let o = 2.08 - 0.08. Let x = 4.5 - 14.5. Let m = x - -27. Which is smaller: o or m?
o
Suppose 2*r - 59 - 133 = 5*w, -118 = 3*w - 4*r. Let l be 9/(-6) + (-15)/20*50. Is l at most as big as w?
True
Let x(m) be the third derivative of 3*m**5/20 - 17*m**4/24 + 10*m**3/3 - 23*m**2. Let r be x(-6). Is 446 smaller than r?
False
Let n = -209.97 - 0.03. Let w = -65 + n. Are w and -0.2 equal?
False
Let f = 63.2 + 3.8. Let n = f - 70.9. Let a = n - -5.9. Which is smaller: -0.3 or a?
-0.3
Let f(u) be the second derivative of -u**4/12 - 11*u**3/6 + 12*u. Let d = -37 + 26. Let i be f(d). Is 2/11 > i?
True
Let m be (-8)/(24/(-15)) + -26. Let t be ((-24)/(-112))/((-2)/m). Let a be ((-8)/(-14))/(-2)*-7. Which is smaller: a or t?
a
Let o(f) = -7 + 16 - 17*f - 8. Let g be o(-1). Let n = -39 + 57. Is n <= g?
True
Let u = -1980 - -1982. Let f be (-2)/(-4) - 353/(-22). Let y = f + -2708/165. Which is bigger: u or y?
u
Suppose 0 = -4*s + t + 57 - 73, 0 = -3*s - 3*t - 12. Is s not equal to -673?
True
Let u = 2 + 33. Let w = u + -36. Let q be (w/(-3))/(11/363). Which is smaller: q or 14?
q
Let u(f) = f**2 - 12*f - 14. Let z be u(14). Suppose -6*i = -0*i - 168. Let h be (6/i - z/(-49))*2. Which is greater: -2/5 or h?
h
Suppose -5*r = 2*y, 3*y + 16 = r - 1. Suppose -1 = r*f - j, -2*f + 4*j - 22 = -3*f. Suppose -f*p + 25 = 25. Is 2/195 != p?
True
Suppose 0 = k + 12*k - 4*k - 2628. Which is smaller: -4 or k?
-4
Let g be (1*82)/(2 + 16/(-4)). Suppose -2*f + 0*f = l + 77, f - 3*l = -28. Let m = g - f. Which is bigger: m or -9?
m
Let n = -0.025 - 2.025. Let b = n + 2. Let t = -809893/1214844 - 1/404948. Which is greater: b or t?
b
Let p(n) = -62*n**2 - 866*n + 29. Let s be p(-14). Is -158 less than s?
True
Let m be ((-2870)/50)/(26/(-910)). Which is smaller: 2008 or m?
2008
Suppose -s - 4*q = -17, 0 = 2*s - 1363*q + 1360*q + 10. Is 4/5823 equal to s?
False
Suppose 6 = j - m, 11*j + 2*m = 6*j - 12. Is -16/251 at most as big as j?
True
Let c = -7452 + 7472.26. Which is smaller: c or 2?
2
Let u = 780.93 - 781. Let x = 7 - 7.7. Which is smaller: x or u?
x
Let z = 1.6 + -0.6. Suppose 21*g - 162 + 204 = 0. Which is greater: z or g?
z
Let v be 20 + (-363)/616 + 2/(-14)*2. Does v = 20?
False
Let r = -162.1 - -165. Let h = -2.9 + r. Are h and 3/4 equal?
False
Let w = -45468.2 - -45375. Do 17 and w have different values?
True
Suppose -v + 2*v + 2*d - 17 = 0, 0 = 4*v - 4*d - 80. Suppose -4*m + 8*m - 3*q = 237, -2*q = 4*m - 222. Suppose z + 37 = m. Which is greater: v or z?
z
Let q(b) = 3*b**3 - 139*b**2 + 48*b - 100. Let s be q(46). Which is smaller: -504/65 or s?
s
Let l(w) = -w + 6. Let c be l(5). Let o = -2432 - -2430. Which is bigger: c or o?
c
Let l = -13252 - -1629995/123. Are l and -1 non-equal?
True
Let g = 11 - 2. Let o(y) = -112*y - 462. Let w(a) = 167*a + 692. Let n(m) = 8*o(m) + 5*w(m). Let p be n(-4). Is g less than or equal to p?
False
Let c = 10754 + -10748. Which is greater: c or 13/18?
c
Suppose 18 = -45*a + 42*a. Let l(x) = 4*x + 28. Let o be l(a). Which is smaller: 22/7 or o?
22/7
Let f(u) = 23*u - 102*u - 1 + 4. Let b be f(-1). Suppose 3*y + 2*y + 4*n = 81, 5*y - b = -3*n. Is 17 at least as big as y?
True
Let o = 123 + -120. Suppose -6*p = o + 15. Let i be (1/p)/(18/(-2700)). Is i at least 51?
False
Suppose 4*j = 7*j. Let x(u) = 0*u + 2*u + j*u**2 + 8 - 6*u**2 + 5*u**2. Let z be x(4). Which is bigger: z or -1/45?
z
Let g be (524/(-60)*-2)/(94/(-4371)). Is -813 != g?
True
Let j = 5449 - 2081519/382. Let a = j - 4487/573. Is -7 > a?
True
Let k = -24 - -24. Suppose 2*v + 10 = k, -3*