g at least as big as 1895?
False
Let q be (-15)/21 - 2/7. Suppose 0 = -4*j + 13 + 15. Let n = j + -8. Is n less than q?
False
Let u(m) = -m**2. Let c be u(-1). Let b = c + -7. Let k be 18/b + (-10)/(-5). Which is smaller: k or -0.5?
-0.5
Let b = 4.5 - 2.5. Let z = b + -2. Is -0.4 <= z?
True
Let q = -10.7 - -11.7. Which is bigger: 3/7 or q?
q
Let n be -2 + 1 + -1 + (4 - 0). Let k(q) = q**2 - 2*q + 3. Let w be k(n). Is w < 1?
False
Let j be 72/(-564)*1/(-3). Which is greater: j or 0.2?
0.2
Let b be (-30)/240 + 327/(-8)*1. Which is smaller: b or -38?
b
Let h = -494.4 + 85.4. Which is smaller: h or -0.1?
h
Let p be 329/(-70) - 2/4. Is p at least as big as -4?
False
Let r = -1428 - -1429. Which is smaller: 5/553 or r?
5/553
Let s(t) = -94*t. Let o be (3/(-2))/(3/(-6)). Let h be s(o). Let k be (-200)/h + 2/(-3). Which is greater: 0 or k?
k
Suppose 3*d - 9 - 3 = 0. Suppose 9 - 33 = -4*u. Suppose u = -j - j. Which is bigger: d or j?
d
Let l = -773/8 - -96. Let u be 1/5 - (377/(-65) - -6). Which is bigger: u or l?
u
Let n(z) = -z**2 - 25*z - 17. Let g be n(-24). Does -16 = g?
False
Suppose 0 = 3*i - 7 + 22. Let h be -19 - i/(-20)*4. Is h at least as big as -19?
False
Suppose -5*x - 1 = -3*o - 16, -3*o = 2*x + 36. Let q be (-166)/o + 2 + (-26)/10. Is q less than 16?
False
Let c = 5/3694 + -37695/557794. Which is greater: c or -1?
c
Suppose 22*i - 7*i = -2910. Is -194 != i?
False
Let g be (-171)/(-38)*4/9. Suppose -4*n = -82 + g. Suppose -b - 24 = 5*t, 3*t = -n + 5. Is b <= -1?
False
Let y = 456 - 431.4. Which is smaller: y or -2/9?
-2/9
Suppose i - 2*a = 58, 10*a + 20 = 5*a. Which is bigger: 352/7 or i?
352/7
Let t be ((-1)/3)/(1/(-3)). Let q(w) = -3*w + 51. Let o = -19 - -36. Let i be q(o). Which is greater: i or t?
t
Let w be 40/(-24)*(-3)/4. Let v = w - 0. Which is smaller: 0 or v?
0
Let t = -2.2 + 4.2. Let g = t - -5. Is g less than or equal to 0?
False
Suppose 6*v = 7*v - 6. Let m be (7 - v)/((-2)/4). Is -5/2 greater than m?
False
Let u = 39 - 29. Suppose -2*m + 4*v = 10, -2*m + 0*v - u = -v. Which is greater: m or -1/6?
-1/6
Let h(j) = 24*j. Let t be h(1). Let a = 314 + -339. Let b = t + a. Which is greater: b or 0?
0
Let r = -2 - -2.1. Let i = -19 + 129. Let z = 111 - i. Are r and z equal?
False
Let k be 2/(-6) + 28/(-6). Let g(y) = -2*y + 25. Suppose -5*w + 100 = 4*d, 49 = -0*w + 4*w - 3*d. Let f be g(w). Which is smaller: f or k?
f
Let a(b) = b**3 - 35*b**2 - 28*b - 300. Let d be a(36). Are -14 and d non-equal?
True
Let j be (2/1 - 3)*-3. Suppose -16 - 44 = j*y. Let a be 2/8 - (-265)/y. Is -13 greater than a?
False
Let x = -2 + 5. Let h(y) = y**3 - y**2 - 5*y + 7. Let n be h(x). Is n bigger than 11?
False
Suppose -30 = -2*c + 4*i, 3*i + 60 = 5*c - 2*i. Let m = 656 + -1939/3. Which is smaller: c or m?
c
Suppose 10*j - 158 = 162. Is j at most as big as 30?
False
Let a be (-128)/48*2/8 - -1. Let b(c) = -c - 8. Let j be b(-6). Let s be j - (-2 + 1 + -1). Is a less than or equal to s?
False
Let r(f) = -f - 35. Let x(y) = -12. Let s(t) = 3*r(t) - 8*x(t). Let q be s(-6). Let a = -10 + q. Do 2/5 and a have the same value?
False
Let k = -32 + 35. Suppose 2*u = k*x - 4, x - 5*u = -x - 1. Which is smaller: x or 16/13?
16/13
Let f be (-2)/(-42) + (2 - 7 - -2). Let r be 3/(-7)*32/36. Let q = r + f. Which is smaller: q or -3?
q
Let v = 157 - 171. Are 0.2 and v nonequal?
True
Let r(g) = 19*g - 1. Let d be r(-1). Let c be d/(-30)*6/(-4). Let k be 4 - 3 - (-17)/c. Which is smaller: -14 or k?
k
Let x = -73 - -80. Which is smaller: 2/13 or x?
2/13
Let m be -3 + 4 - 24*-1. Which is smaller: m or 119/5?
119/5
Suppose 27 = -h - 3*a, 2*h + 4*a = a - 45. Which is smaller: h or -19?
-19
Let p = 168.81 - 168. Let f = -0.61 + p. Let b = 0.2 - 0.4. Is f less than b?
False
Suppose 5*b + m - 5 + 1 = 0, 3*m - 12 = 0. Let x be 0*(-3)/(-15) - 4/(-9). Is x at most as big as b?
False
Let f(o) = -o**3 - 7*o**2 + 10*o - 9. Let b be f(-9). Which is bigger: b or 65?
65
Suppose 2*d + 0 = 20. Let y be 4/(-2)*(-25)/d. Suppose -5*a = u + 37, y*a + 25 = -0*a. Is u at most as big as -12?
True
Let j be 248/(-837)*(-30)/(-4). Which is greater: j or -3?
j
Suppose 2*p - 7784 = -26*p. Is p smaller than 277?
False
Let w(z) = -2*z**2 + 21*z + 84. Let f be w(12). Which is smaller: f or 52?
f
Suppose -369 = -6*f + 249. Suppose 7*b = -40 + f. Which is greater: b or 17/2?
b
Let d = 12 - 32. Let v = 0.006 + -20.506. Let l = v - d. Is -1 bigger than l?
False
Let i = 140495/18 - 7805. Let n be (2*1 - 1)*-1. Is n greater than or equal to i?
False
Let h be (3 - 6) + (9/3 - -1). Is h less than 1/117?
False
Suppose 59 = 76*u - 17*u. Which is greater: u or 15/47?
u
Let a = -283 - -281.63. Let j = 1.47 + a. Is j equal to 42?
False
Let u(k) be the first derivative of -k**4/4 + 20*k**3/3 + 10*k**2 + 20*k + 12. Let w be u(21). Let q(j) = 5*j**2 - 2*j. Let t be q(w). Is -0.2 greater than t?
False
Suppose 5*l + 3*z + 242 = 3927, 5*z + 1474 = 2*l. Let u be l/143 + (-2)/13. Suppose 8*s - u*s = -27. Which is smaller: -10 or s?
-10
Let t = -3 + 10. Suppose 5*s - 34 = t*s. Let d = s - -20. Which is greater: d or 4?
4
Let i = 0.125 + 0.075. Which is smaller: 11 or i?
i
Let j(m) = -m**3 + 8*m**2 + 66*m - 12. Let z be j(13). Which is greater: z or 2/589?
z
Let u(a) = -3*a**3 - 3*a**2 - 2*a - 1. Let g be u(-2). Let c be ((-12)/g)/(1/5). Let o be (-20)/30*6/c. Which is greater: 1/7 or o?
o
Let w(p) = -p**3 + 3*p**2 - p - 1. Let t be w(3). Let m be -30*((-3)/(-2) - 2). Let q = m + -18. Which is greater: t or q?
q
Let g be 3904/26 + 208/(-1352). Is g >= 150?
True
Let r = -0.0244 + 0.0554. Which is greater: r or -3?
r
Let o = -37510824 - -4876373513/130. Let b = -3206/13 - o. Let d = b + -23/2. Are d and 0.2 nonequal?
True
Suppose 418 = -6*p - 16*p. Which is smaller: p or -25?
-25
Let w be (-2)/(-9) + (-7)/(-9). Let v be (-93)/(-240) - 189/1008. Which is bigger: w or v?
w
Let y = 4.3 - 40.3. Let f = y - -36. Is f < 4/19?
True
Let h be -1*9/6*4/362. Is 0 bigger than h?
True
Let y be 420/238 - 2/1 - 0. Let z(c) = c**3 - c**2. Let n be z(0). Which is smaller: n or y?
y
Let y(l) = -l**3 + 4*l**2 - 3*l. Let o be y(3). Let f = -1453 + 7233/5. Let t = 6 + f. Which is smaller: o or t?
t
Let x be (-8 + 97 - 5)*3/(-6). Is -42 > x?
False
Let i = 31/21 - 9/14. Suppose -4*s - 398 = -402. Which is smaller: i or s?
i
Let h = -254.111 + 254. Let b = h - -0.151. Is 0.4 less than b?
False
Let v = 11 - 12. Let r be (v - -4) + 36/(-18). Which is greater: r or 3/10?
r
Let x(r) = -r**3 - 5*r**2 + 7*r - 3. Let y be x(-6). Let m(g) = g**2 + 9*g - 8. Let t be m(y). Is t equal to -6?
False
Suppose -2434*m + 2442 = -2428*m. Are 407 and m nonequal?
False
Let n(l) = -l**2 + 4*l + 17. Let c be n(-5). Is c equal to -41?
False
Let v be (1 + 7)/((-12)/6). Let a(j) be the second derivative of -j**3/6 + 7*j**2/2 + 2*j. Let n be a(v). Which is bigger: n or 10?
n
Suppose -p + 2*z - 3 = 0, 4*z - 17 + 10 = p. Which is bigger: p or 13/21?
p
Let n = 337 - 337.1251. Are 0 and n nonequal?
True
Suppose -4*u = u + 3*x - 537, 0 = -3*u - 5*x + 319. Which is smaller: u or 107?
107
Let n be (-24)/(-36) + (-10)/(-3). Let h = n + -2. Is h bigger than 2/5?
True
Let k(p) = -3*p + 15. Let g be k(5). Suppose 4*w - 3*u - 14 = 0, g*u + 4*u - 8 = 0. Is w bigger than 4?
True
Let j = 1120.85 - 1122. Which is greater: j or 1?
1
Let g be (20/(-10))/((-2)/4). Let j be (0/(1 - g))/2. Let t be -4 - (-4)/(-24)*(-498)/20. Which is bigger: j or t?
t
Let a = 523 - 444. Let l be (-2151)/(-27) + 4/(-6). Is l equal to a?
True
Suppose 3*r = -0*r - 72. Let q = r + 31. Let s = -38 + 46. Which is greater: q or s?
s
Let m = 1366/5 + -10943/40. Let g(l) = 4*l + 2*l**2 + 0*l**2 - l**2. Let w be g(-4). Which is smaller: w or m?
m
Suppose 5*b - 7*b + 30 = -2*p, 2*b - 30 = -2*p. Suppose 0 = -b*j + 11*j + 144. Which is smaller: j or 35?
35
Let q(i) = 3*i - 11. Let d be q(-8). Let h = -36 - d. Which is bigger: h or -9/5?
h
Let g = -0.11 - -0.16. Let s = g + 9.95. Which is smaller: s or 1/3?
1/3
Let z = -77.11 + 77. Let g = 116 + -116.89. Let y = z + g. Are y and 0.06 non-equal?
True
Let u(f) = -6*f**2 + 13*f - 27. Let b be u(4). Is -70 < b?
False
Let v(d) = -d**3 - 4*d**2 + 7*d + 9. Let h be -5*-2*(-2)/4. Let z be v(h). Is 0.4 not equal to z?
True
Let m be -3 - 114/(-30) - (-2)/(-5). Let c(b) = -3*b**2 