equal?
False
Suppose 3*j + 5*s - 17 = 0, 0*j + 4*j + 3*s - 19 = 0. Let x be j/(-12) + (-285)/9. Let h be (-4)/x*4*-2. Is h greater than -1?
False
Let o = -227 + 228. Let d be -15*(24/(-10) + 2). Suppose -d = 5*u - o. Is 1/20 less than u?
False
Let d = 0.0113 - -0.0104. Which is smaller: d or -1?
-1
Let t = -66 - -102. Let p be (4/(-3) - -2)*t/(-30). Is p at most -0.03?
True
Let u(m) = -6*m - 1. Let h be u(-5). Suppose -2*j - h = -1. Let p be ((-2)/28)/(7/j). Is 1 at most p?
False
Let z = -0.16 - -2.36. Let i = 3.9 - z. Let o = 8.7 - i. Which is smaller: 1 or o?
1
Let a be (-2)/(-9)*9/12. Let h(z) = 433*z - 429*z - 22 - 6*z**2 - z**3 + 0*z**3. Let b be h(-7). Is b > a?
False
Let b = -171278 - -19183641/112. Let u = b + -32/7. Let i = 0 - 0. Which is bigger: i or u?
i
Let o be (-30)/(-40) - (-2945)/(-3724). Let w(m) = -m**3 + 7*m**2 + 8*m - 1. Let p be w(8). Is p smaller than o?
True
Let s(d) = 2*d**2 - 7*d + 11. Let c be s(2). Suppose j + c*f = 3*f - 11, j + 26 = -5*f. Which is smaller: -2/73 or j?
j
Suppose 1 = -2*h - 1. Let c = -285 + 290. Is c < h?
False
Let l = 22.9 + -23.07. Which is smaller: 8 or l?
l
Suppose -y - 2*n - 6 = 0, -3*y = y - 5*n + 76. Let i = 56 - 61.1. Let b = i + 5. Is b bigger than y?
True
Let m = -6.1 + 6.14. Which is smaller: m or -1/3?
-1/3
Let w = 6.12 - 0.12. Let k(f) = 2*f**3 + 31*f**2 + 65*f - 5. Let r be k(-13). Is w less than or equal to r?
False
Let l = 59.8 - 60. Let b = -78/7 - -311/21. Which is greater: b or l?
b
Let h = -126 + 83. Let r = h - -43.06. Does r = -1?
False
Let c = -1740 - -1747. Which is bigger: c or 1/7?
c
Let x be 1*13/26*-1*1. Which is smaller: 66/13 or x?
x
Let q = -5257/5 + 1061. Let u be (6/(-18))/((-8)/264). Which is smaller: u or q?
q
Let d = 9.5 - 9.5. Suppose 21 = r - 5*u, 2*r + 5*u + 0 = -18. Let t be ((-33)/(-34) - r)*4. Is d > t?
True
Suppose -4*g - 23 = -5*y, -32 = -5*y + 2*g - 13. Let o be ((-2)/(-7))/(y/(-14)) - -3. Which is smaller: o or 3?
o
Let s = -307.9 - -308. Which is bigger: s or 141?
141
Let a = -601 + 40266/67. Is a >= -1?
True
Let z = -3.71 - 0.29. Let n = -3.42 + -0.38. Let v = z - n. Is 0.4 at most as big as v?
False
Let m = -6.73 - -6.63. Which is bigger: -423 or m?
m
Let d = -35 - -66. Suppose -l + 43 = 12. Is l at least as big as d?
True
Let u = 435 + -437. Which is greater: u or -23?
u
Let q = 3 + 1. Let n = -227.02 + 223. Let r = q + n. Which is smaller: -0.1 or r?
-0.1
Let o = -2.1 - 2.9. Let f = -0.2 + 1.2. Let y = o + f. Which is smaller: 3 or y?
y
Let t be 6/21 - (-182964)/260. Let g = -1514/65 - t. Let k = -729 - g. Is k less than -1?
True
Let r = -44 - -6. Let z = r + 37. Is z less than or equal to -2/213?
True
Let l = -105 + 98. Which is smaller: l or -27?
-27
Let b be (-2)/(-4) + 13/(-2). Let t be b/(-10) + 1185/25. Let x be t/21 + (-4)/2. Is -0.1 smaller than x?
True
Let k = -12820 - -243505/19. Is k at least as big as -3?
False
Let n be 4 - (-8)/16*-6. Which is bigger: n or 2/253?
n
Let z be (-1)/5 - (-537)/285. Which is smaller: z or 2?
z
Let i be 362/6*(-1)/((-2)/(-6)). Let u = i + 2899/16. Is 0 > u?
False
Let y = -100 + 200. Let u = -81 + y. Is u smaller than 19?
False
Let q = 0.158 - -4.842. Is q not equal to 4/7?
True
Let a(k) = -k**3 - 16*k**2 + 18*k + 9. Let v be a(-17). Let t be (28/(-6))/(6/18). Which is bigger: t or v?
v
Let t = -922 + 864. Which is greater: -56 or t?
-56
Let p(q) = -q**2 + q. Let i be p(-1). Let x = -5.3479 - -0.0079. Let b = x + 0.34. Which is greater: i or b?
i
Let f = -19 - -18.8. Let i = f + -3. Let p = i + 0.2. Which is greater: 3/4 or p?
3/4
Let f be 2/(0 + 2)*-1. Let k = f - -2. Let r be 83/(-21) + 1 - -3. Is r >= k?
False
Suppose 450*b - 455*b = 925. Which is smaller: -184 or b?
b
Let r be (-12)/(5 - (3 - (-51)/(-1))). Is r at least as big as 1?
False
Let h be (14/10)/((-1)/(45/(-18))). Is h less than -13/3?
False
Let p = -31 + 52. Let h = p - 25. Is h at most as big as -0.1?
True
Let o = -2151 + 15027/7. Do o and -3 have the same value?
False
Let d = -83 - -85. Suppose 3*q + 5*j = -16, 2 = d*q - 7*j + 4*j. Let k = 4 - 6. Is q at most k?
True
Let a be (-4)/(-4164)*(-15)/5. Is a equal to 0?
False
Let b(h) = -13*h - 20*h**2 - 17*h**2 - 10 + 36*h**2. Let s be b(-12). Suppose -s*a + 4*a - 4*j = 20, 3*a + j - 23 = 0. Which is greater: a or 0.1?
a
Let m(j) = -j + 12. Let x be m(6). Let d be (5/(-15))/(11/x). Is d at least as big as 2/5?
False
Let r = -21 - -14. Let g be (3/12*2)/((-1)/8). Is r at most g?
True
Let n = 0.0262 + -1.0262. Which is smaller: n or 95?
n
Let f = 3 + -19. Let q be ((-5)/(-10))/((-2)/f). Let l(z) = -z**3 + z**2 - 2*z + 3. Let c be l(0). Are q and c non-equal?
True
Suppose 4*z = -15 + 39. Let h(a) = a**3 - 6*a**2 + 3. Let g be h(z). Suppose -2*w + g = 5*i, i + 2*i + 11 = 2*w. Which is smaller: i or -1/23?
i
Let l be 6/4*8/6. Let h be (-4)/147*3/l. Which is smaller: h or 1?
h
Let g be 6/3 + -2 + (-18)/(-2349). Let n = g - 49/87. Which is greater: 0 or n?
0
Let c(g) = 85*g + 302. Let d be c(-12). Is d > -718?
False
Let h be (-6)/2 + 2 + -3. Let o be (-3)/h + (-7566)/(-216). Let z = -36 + o. Is -1/5 greater than z?
True
Suppose -3*o = -24*o - 1680. Is o at most -80?
True
Let y(x) = x + 11. Let l be y(-12). Let d be l - (-2 - -1) - 2. Let s be (-11)/10 + (-4)/10. Which is greater: d or s?
s
Let x = 47 + -48. Let d be 2938/(-936) + x/(-4). Is d equal to -3?
False
Let p = 559 - 685. Which is bigger: -124 or p?
-124
Let j(u) = -u**3 - u**2 + 81. Let z be j(0). Suppose 4*x + z = -111. Does x = -2?
False
Let w be 0/1 + (2 - -15). Suppose 4*b - w = 15. Let p be 69/(-115) + 96/10. Which is greater: p or b?
p
Let f = 434 + -435. Is f equal to -77.3?
False
Let r = 44263/105 - 1265/3. Which is smaller: r or -1?
-1
Let t be -1 + (-92)/(-6)*36/24. Let d = t - 46. Which is greater: -5 or d?
-5
Let t be 2/11 + 550/(-363). Is t bigger than -0.08?
False
Let l be (-13)/(-21*(-10)/(-3)). Let k = l - -3/14. Do k and -2/3 have the same value?
False
Let s be 4/87*(0 + 19/(-2)). Let c = s - -3/29. Which is smaller: c or 2/7?
c
Let u(c) = c**2 + 8*c + 9. Let f be u(-9). Let a be (22 - f) + -7*2. Are -9 and a equal?
False
Let d(g) = 9*g**2 + 13*g + 34. Let i be d(-4). Let u = -108 + i. Which is smaller: u or 19?
u
Suppose -9*c = -14*c - 15. Let w be (-10)/c*3/2. Suppose 5*b = -0*v + 3*v - 10, 2*v - 10 = w*b. Is v at least -11?
True
Let p = -53 - -101. Suppose p*l = 43*l + 385. Which is smaller: l or 76?
76
Let g be (-2)/3 - (-13)/(-3). Suppose 5*f + 9 = 24. Suppose 0 = -f*o + 8*o + 30. Which is smaller: g or o?
o
Suppose -5 = n - 27. Let t = 16 - n. Let c = 2 - t. Does c = 6?
False
Let v be 24*3/30*5. Let m(l) = -l**2 + 11*l + 12. Let w be m(v). Let b = -6 - -3. Which is greater: b or w?
w
Let j(p) = -2*p**2 - 16*p - 3. Let u(k) = -k**2 - 3*k + 2. Let o be u(-5). Let d be j(o). Which is greater: d or -15/8?
-15/8
Let q = -12 + 11. Let s = -55 - 91. Let h = -1607/11 - s. Which is greater: h or q?
h
Suppose -2*b + 1479 = b. Let p = b - 3457/7. Suppose 0*t + 3*t - s = 1, 3*s = 3*t - 9. Which is smaller: t or p?
t
Let k(b) = -4*b**2 - 26*b + 2. Let t be k(-6). Is 203/15 <= t?
True
Let i be (-386)/38 + 2/(18/45). Which is bigger: i or -5?
-5
Suppose -n - 20 = c - 23, -4 = -2*n - c. Is 9/4 <= n?
False
Let m(w) = w**3 + 2*w**2 - w - 34. Let y be m(0). Let i be y*5/(-25) - 2/(-10). Is i <= 5?
False
Let h = -0.053 + 32.053. Let c = h + -17. Which is smaller: 1 or c?
1
Let p = -2849.02 - -2849. Is p at most as big as -174?
False
Let h be 104/((-10)/((-420)/54)). Which is bigger: 80 or h?
h
Let z = -2434 - -2400. Suppose -204 = 4*o - 68. Is z smaller than o?
False
Suppose 0*z + 44 = 4*z. Let r be (-357)/14 + 3/(-6). Let f = z + r. Which is smaller: f or -16?
-16
Suppose r + 4489 = 5*y + 618, -4*r - 778 = -y. Suppose 6*s - 12*s = -y. Which is greater: s or 130?
130
Suppose 7 = 4*v - 5. Suppose -4*b + 25 = -i + v, 3*i + 22 = b. Let h be -3*(i/(-351) + 0). Is 1 smaller than h?
False
Let t = 1.4 + 0.6. Let s = -3.2 + 1.2. Let p = s + 6. Which is smaller: p or t?
t
Let m be 2 + 148*57/(-4215). Let b = -29501/2810 + m. Is b less than -11?
False
Let g = 1253 - 1252.3. Are -45 and g nonequal?
True
Let g be (-470)/1816 - (-4)/(14 - -2). Which is bigger: 1 or g?
1
Let k = 65.2 - 97. Let p = -32 - k. Is 1/7 less than or equal to p?
False
Suppose