ose l = -3*b + 41 + 19. Is b less than 0?
False
Let m = 1023482/7 - 146212. Let y = 2.07 - 2. Which is greater: m or y?
y
Let p = -97 + 121. Suppose 3*x = -0*w - w - p, -x = 0. Is w not equal to -22?
True
Let l = 12279312/14387323 - -2/91639. Do 1 and l have the same value?
False
Suppose -3*b + 5*s + 64 = 0, -27 + 92 = 3*b - 4*s. Suppose 0 = 4*a + m - 92, -b = -a + 3*m - 6*m. Let p = 50 - 28. Does p = a?
False
Let u = 33.42 - 35. Let i = -1.33 - u. Do 0.1 and i have the same value?
False
Suppose -7*f + 7*f + 3*f + 5499 = 0. Is -1835 less than f?
True
Let y = -8559 - -8559.14. Which is bigger: 14 or y?
14
Suppose 41 = 3*j + 4*b, b + 31 = 3*j + 3*b. Let u be 6*2*(-2)/8. Let r = j + u. Does r = 6?
False
Let g(x) = 105*x - 29. Let u be g(-3). Let t = -5138/15 - u. Is 0 equal to t?
False
Suppose 0 = -2*m + 4*m + 2*l + 12, l + 34 = -5*m. Let k be (-2)/m - (-143)/(-182). Is -2/91 != k?
True
Let z(q) = -2*q**2. Let o be z(1). Suppose 7*h = 5 - 40. Let d(i) = i**3 + 4*i**2 - 5*i - 4. Let s be d(h). Does o = s?
False
Let z be (-8)/112 + 57/14. Is z < 188?
True
Let s = -321 + 323. Suppose -5*i + t + 135 = -4*t, 3*t - 9 = 0. Suppose -s*u - o = 4*o - 45, -u + i = 4*o. Which is smaller: u or 2?
2
Let x be -3 + -1 + (-31280)/425 + 4*2. Is -7 at least as big as x?
True
Suppose j - 5*g = -1, g - 1 = 2*j + 1. Let o = 3 + j. Let f be (12/(-24))/(23/o). Which is smaller: f or 0?
f
Let s = -16/11 - -29/22. Let w(o) = 2*o - 7. Suppose k + 2 + 6 = b, k = -5. Let z be w(b). Which is bigger: z or s?
s
Let g be (-28126)/5040 - -6 - 4/9. Let x(o) = -o**3 - 5*o**2 + 5*o - 2. Let r be x(-6). Suppose 2*p = 6*p + r. Is p bigger than g?
False
Let b = -3 + 1. Let x = 1 - 69. Let y = x + 68. Which is smaller: y or b?
b
Let j = -58384/303 - -578/3. Let f = 8 + -5. Suppose 3*b - 5 = 2*b + 3*i, -f*i - 1 = -5*b. Are j and b equal?
False
Suppose 2*b = -2*z + 444, 5*b - 1406 = -3*z - 306. Let l = b + -218. Which is smaller: -3/32 or l?
l
Let i = -26864 + 26860. Which is greater: -10 or i?
i
Let s(a) = -a**3 - 48*a**2 - 10*a - 489. Let m be s(-48). Do -103/12 and m have different values?
True
Let w = -70 + 111. Suppose -5*v + 72 + 138 = 0. Which is bigger: v or w?
v
Let b = -851 - -851.3. Which is smaller: 221 or b?
b
Suppose -431*z + 3*b = -426*z + 1016, -3*b = 5*z + 1004. Let x = 14 + -12. Is x > z?
True
Let p = -2550 + 2242. Which is smaller: 13 or p?
p
Let g(v) = -v**2 + 11*v - 6. Let o be g(11). Let l be (-13)/(-26)*o*3. Let r be l/(-2 + 5) - (-10)/(-5). Is r greater than -4?
False
Let q = 1984 - 1983. Is q at least as big as -6/12905?
True
Let z(i) = 4*i**2 - 10*i + 5. Let a be z(3). Which is smaller: -57 or a?
-57
Let t = -25401/13 - -1953. Let i = t + 62/39. Is i at least 0?
True
Let b = 51.814 - -0.186. Let k = b - 46. Which is smaller: -0.3 or k?
-0.3
Let s = 29933/228781 + -4/9947. Which is smaller: s or -0.6?
-0.6
Let h = 1085.58 + -1059.6534. Let q = h + 0.0734. Let l = 0.1 + -1.1. Is q not equal to l?
True
Let r = -4.6 - -2.7. Let n = 4 + r. Which is greater: -2 or n?
n
Let m = 4059 - 32343/8. Let z be (1242/(-416) + 3)/((-15)/15490). Let d = z + m. Which is bigger: d or 1?
d
Let n be 2 + 3 + 4/6*-3. Let y be 3 - ((-34 - n) + -4). Suppose 0 = 3*q - 12, 3*q + y - 152 = 4*a. Is -26 not equal to a?
True
Let h = -4197 + 3960.9. Let p = 236 + h. Is p not equal to -0.1?
False
Let d(k) = -k - 9. Let z be d(-7). Let i = -6889 + 6895.697. Let x = -0.303 - i. Does x = z?
False
Suppose 22*o - 238 = -12*o. Which is smaller: 70 or o?
o
Let q = -167.6 + -2.4. Let d = 168 + q. Which is bigger: 73 or d?
73
Let z be (-9624)/(-168) - 4/14. Let x be (z/(-9) - -6) + (-82)/6. Let w(s) = -s**3 - 6*s**2 + 2*s - 2. Let d be w(-6). Is x less than d?
False
Let k(g) = -g**2 + 25*g + 3230. Let j be k(-44). Is 197 less than j?
False
Let t = 27/4 - 5215/772. Let q be 0 - (-13 - 27965/(-3860)). Let c = t + q. Do c and 5 have the same value?
False
Let r be ((-2)/(-9))/((10/141)/(-10)). Which is greater: r or -31?
-31
Let s = 143651974861/2085 + -68897832. Let g = -2/695 + s. Is -7/2 less than g?
True
Let s be 3/((-3)/4) - -9702. Let y be 0 + s/22 - (-2)/11. Suppose 2*c + 7*c - y = 0. Does c = 50?
False
Let m be (-2)/7 + 592/112. Let o be (2/10)/((1/m)/1). Which is greater: o or -6/17?
o
Let n be 2/(-25) + (-9036)/(-450). Suppose -n*j + 21*j - 5 = 0. Let r(k) = -k**2 - 6*k - 4. Let f be r(-4). Is j at least as big as f?
True
Let y = 19 + -18. Let h be ((-8)/(-20))/(y + 132/(-130)). Let j = -280 + 253. Is h smaller than j?
False
Let n = 11 - 8. Let z(h) = h**3 - 12*h**2 + h - 1. Let w be z(12). Let y = w - 10. Is n at least y?
True
Let m = 274.148 - 0.148. Let k = -303 + m. Does 1/4 = k?
False
Let w = 150 - 129. Let z be 0 + (w/14 - 3/1). Do 7 and z have the same value?
False
Suppose 0*d + 3*d = -531. Let a(v) = -15*v**3 - 194*v**2 + 25*v - 21. Let u be a(-13). Is d at most u?
True
Let a be 238/18 + (-6)/27. Let i = 257 + 778. Let m = 1036 - i. Is a >= m?
True
Suppose 5*h = 2*y + 49, -7*h + 5*h + 28 = -5*y. Let z be 23/38 - h*(-8)/(-684). Suppose -2*a + 4 + 42 = 0. Which is smaller: z or a?
z
Suppose 132 = 4561*v - 4557*v - 2*p, 32 = -4*p. Let u(f) = -7*f - 5. Let m be u(-5). Is v < m?
True
Let d = 413 + -315. Suppose 3*k - d + 95 = 0. Let x = 161/5 - 32. Is x equal to k?
False
Let s be (-12)/99*84/4. Let c = -14632 + 14629. Is s < c?
False
Let o be 3/(5193 + 6)*(1 + (-4 - 1)). Is o not equal to -1?
True
Let r = -124.34 - -69.473. Let s = r + 0.867. Which is bigger: s or 1?
1
Suppose 3*s - 5*i = -239, -3*i = -4*s + 2*i - 317. Let h be (8/s)/(10/15). Let k = 0.1 - 0. Is h greater than or equal to k?
False
Let s = 236.679 + -158.696. Let l = s + -78. Is l bigger than 0.1?
False
Let w(l) = 147*l**3 + l**2 - 8*l + 16. Let b be w(2). Do 5903/5 and b have different values?
True
Let k = 487/10191 + 2/129. Which is greater: k or 0?
k
Suppose 2*v = v + 4. Let c be ((-27)/6)/9 + 6/12. Suppose m + c = -v. Is m > -17/4?
True
Let p = 1 + -3. Let a be (-1424)/20 + p/(-10). Let r = 69 + a. Which is greater: -3 or r?
r
Let v = -6.3 + 6. Let z = 10539/36862 - 1/5266. Is v != z?
True
Let r be 2/(-4) - 27/(-54). Suppose 3*y - 231 + 51 = r. Suppose -12 = -4*v, -3*v - 2*v + 255 = 4*d. Is d less than y?
False
Let s = 11440.25 + -11363. Are s and -1 unequal?
True
Let n = -1236.97891 + -0.02109. Is -1 >= n?
True
Let p(c) = -2*c**2 + 15*c - 21. Let w be p(6). Let f be (-3 - (-34 - w))/(-2). Is f < -17?
False
Let k = -1596 - -14393/9. Let c = k - 151/45. Suppose 0 = 4*r + 86 - 90. Which is smaller: c or r?
c
Let n(r) = r**3 - 47*r**2 - 117*r + 562. Let k be n(49). Which is bigger: k or -364?
-364
Let l be -1 - (-2 + -1)*29/(-3). Let z be (l/520)/(4/736). Which is smaller: -12 or z?
-12
Let g(h) = -774*h - 33. Let n be g(4). Is -3128 != n?
True
Let u be 98/245*95*(-2)/(-34). Let r = 10 + -8. Is u at least as big as r?
True
Let f be -5*(-2 - (-4)/5). Let q be f/(5/((-60)/9)). Let b(v) = v**3 + 9*v**2 + 5*v - 12. Let x be b(q). Which is smaller: x or 13?
x
Let g(l) = -13*l - 69. Let t(j) = -4*j - 23. Let i(z) = -2*g(z) + 7*t(z). Let k be i(-6). Is -11 at least k?
True
Let n(l) = 9*l**3 + 126*l**2 - l - 13. Let d be n(-14). Do d and 10/293 have the same value?
False
Let p = 93113/2 - 46578. Let h = -3 - -3.2. Is p > h?
False
Let y = 51104/7881303 + -18/3169. Are y and 0 equal?
False
Let s be 8 + 4 + 818/(-68). Let m = s - -89/136. Is 1 greater than m?
True
Let i = -4723.1 - -4723. Let h = 51.39 - 51. Is h equal to i?
False
Let w(t) = 155*t + 1226. Let d be w(-8). Is -56 at least as big as d?
False
Suppose 5*z = -4*x + 340, 3*z - 115 = -3*x + 143. Let b be (-36)/x - (-5)/((-25)/88). Is -10 < b?
False
Let a = -5959 + 5864. Is a greater than or equal to -286/3?
True
Suppose -2*w = -w - 2*r - 56, 8 = 4*r. Let g be (-2)/(-10) - w/(-75). Is 9/20 greater than or equal to g?
False
Let g(l) = -l**2 - 12*l + 3. Let t = 9 - 21. Let d be g(t). Let m be -15 + d*3/(-9). Is -76/5 smaller than m?
False
Let u = 6/241 - -1224/8917. Let f(c) = 32*c + 530. Let k be f(-14). Let b = 83 - k. Which is bigger: u or b?
b
Let g be ((-2)/10)/(2684/385 + -7) + -7. Is -3/511 < g?
True
Let w(f) = 2*f**3 + 48*f**2 + 51*f + 130. Let h be w(-27). Is -5621 <= h?
True
Suppose -3*i + 3*m - 2490 = -0*m, 3*i + 7*m = -2520. Is -840 smaller than i?
True
Suppose 13*q +