1 - -31. Let b = l + -13. Let z be (-20)/(-5) - b/2. Which is smaller: 2/3 or z?
z
Suppose 15*r + 10 = 115. Is -9 less than or equal to r?
True
Let v be (-17)/(1309/22) - 27/(-21). Is -9/34 != v?
True
Suppose -5*g = -j + 15, -9 = 5*j + 6*g - 3*g. Do j and 1/69 have the same value?
False
Let p be ((-568)/(-10))/(2/(-30)*-6). Which is bigger: p or 141?
p
Let d(k) = k**2 + 6*k - 8. Let b be d(-9). Let o(w) = -w**2 + 11*w + 8. Suppose -a - 25 = -2*c, -a = -4*a - 15. Let h be o(c). Which is smaller: b or h?
h
Let n = 8629249/875 - 9862. Is n less than or equal to 0?
True
Let m = 0.0304 - 6.0304. Let u = -0.3 + 0.3. Is m less than u?
True
Let t(w) = -w**2 + 29*w - 121. Let q be t(20). Which is smaller: q or 60?
q
Let r(t) = -1 + 2 + 7 + 0*t + 7*t. Let c be r(-4). Is c bigger than -22?
True
Suppose -18*p + 20*p = 6. Let v be (0/(-3))/(p + -4). Is 2/19 bigger than v?
True
Let g = -1/73 - 56/1241. Suppose 0 = -0*r + r - 1. Which is bigger: g or r?
r
Suppose 13*d + 18 = 15*d. Suppose d*n - 8*n - 18 = 0. Is n > 19?
False
Suppose 2*o - 5*b = -45, -2*o = 3*b - 6*b + 35. Which is smaller: -3 or o?
o
Let w = 2 + -2. Let x be 8 - ((-2429)/(-161) + -7). Which is smaller: w or x?
x
Suppose 15 - 5 = q. Is q > 6?
True
Suppose -3*u + 4*v - 1 = 0, u = -2*u + 5*v - 5. Let l be (3/u)/((-6)/(-90)). Let b = -13 + l. Is b at least -5?
True
Let u be (6*(-12)/126)/((-2)/77). Are u and -1 non-equal?
True
Let m = -1.964 - 0.036. Are m and -0.1 nonequal?
True
Let h = -73 + 82. Suppose -16 = h*r + 20. Suppose -1 = -p - 5. Is p at least r?
True
Let s(k) = -k**2 + k - 6. Let x be s(7). Let m be 112/x + (-1 - -4). Which is smaller: m or -2/31?
-2/31
Suppose -1580*i - 19 = -1561*i. Is 1462 at least i?
True
Let m(k) = -8*k + 11. Let f = -18 - -10. Let w be m(f). Let u = -826/11 + w. Is u at least -2?
True
Let q = -1/33 - -4/11. Let r be 3 + 0 + 0 + 0. Suppose 0 = -r*d - d - 4. Is q smaller than d?
False
Suppose 3*s - 2 = n - 0, -5*s - 30 = 5*n. Let u = 4 + -8. Is n at most u?
True
Let f be -5 - (-133)/28 - 3/(-12). Which is greater: f or -1/6?
f
Let r be 120/(-10) + 10 - -3. Is -1/849 <= r?
True
Let n be 2970/(-7) + (-650)/(-70) + -9. Which is bigger: -422 or n?
-422
Let d(i) be the third derivative of i**5/60 - 115*i**3/6 + 4*i**2. Let t be d(0). Let n be t/13 - (-2)/(-13). Are -15/2 and n unequal?
True
Suppose 148 + 93 = n - 2*d, -2*d = 2. Is 239 >= n?
True
Suppose w - 6 = -2*w. Suppose -z + 2*v = -9, w*v = -v - 15. Let l = -3497.96 - -3498. Which is smaller: z or l?
z
Let i(s) = 2*s - 8. Let u be i(10). Let f be 4/u*42/(-9). Which is smaller: f or -3?
-3
Let p = -24520/33143 - -1/1441. Is -2 less than or equal to p?
True
Suppose -147 = 2*q + f + 15, -4*q = -3*f + 304. Is -74 < q?
False
Let y = -362 + 362. Which is smaller: -14/75 or y?
-14/75
Let q = -0.0583 - 378.9417. Which is greater: 0 or q?
0
Suppose n = -3 + 6, -4*a + 5*n = -1697. Is 429 less than or equal to a?
False
Let a = -103.8 + 81. Let i = a - -19. Let j = 13.2 - i. Are j and 0.1 equal?
False
Let k = -2.32 - -2. Let u = k - 4.68. Suppose 3*p + 0*p = 3. Which is bigger: u or p?
p
Suppose -20 = -2*k + 6*k. Let j = -23531/9 + 2611. Which is smaller: k or j?
k
Let q be (-1)/(-9) - (-140)/(-1020). Which is greater: q or 0.3?
0.3
Suppose 2*f - 4*p = 4, -2*p + 0 = 6. Suppose -2*t + 4 + 4 = m, 5*m - 4*t + 30 = 0. Let x be 10/(-5)*(m + 3). Is x greater than f?
True
Let u = -170 + 151. Is u greater than 3?
False
Let r = 13 + 23. Suppose 20 = -u + 3*w - r, -w + 102 = -2*u. Let i be ((-1)/(-4))/(u/(-40)). Which is bigger: 1/3 or i?
1/3
Suppose 19*d + 7*d = 4654. Is 178 at least as big as d?
False
Let k = 0.9 - 0.97. Let i = -1.07 - k. Let p be (-32)/56 - (-6 + 5). Does i = p?
False
Let r(f) = f**3 + f**2 - f - 1. Let x be r(0). Let v = 864 - 31105/36. Is v less than x?
False
Let r(z) = 6*z + 9. Let m be r(4). Suppose 0 = 4*o - 5*d - m, -14 - 11 = 5*d. Let p be (6/12)/((-59)/o). Is p <= 1?
True
Let a be 27/435 + ((-58)/(-10) - 6). Is -2 less than a?
True
Let l be ((-5)/4)/((3 - -3)/(-48)). Let x be l/15*(-3)/2. Are 10/27 and x equal?
False
Suppose 33 = -3*k - 2*x + 219, 0 = 2*k - 3*x - 137. Let q be -6 + 2 + k/10. Which is bigger: 2 or q?
q
Suppose 14 = 2*x + 3*n, n - 5*n = -16. Let h = 1129 - 55319/49. Which is bigger: h or x?
x
Let p(v) = -v - 9. Let w be p(-9). Suppose w*t - 4 = -2*t. Suppose 0 = -t*x - 0*x. Which is greater: x or 2/5?
2/5
Let p = -12/91 - -9351/72982. Is p equal to -1?
False
Suppose 1470 = 5*y - 19*y. Which is bigger: y or -95?
-95
Let r be 8/(-108)*2*3. Do r and 1 have the same value?
False
Let b be (-1 - 2) + (-2)/(-1). Let g(w) = -w**3 - 7*w**2 + 10*w. Let k be g(-8). Let v = 23 + k. Do v and b have the same value?
False
Let r = -1 + 9. Let z = -35 + 34. Which is bigger: z or r?
r
Let s = -4 + 3.9. Let v be ((-10)/(-70))/(12/8 + -1). Which is smaller: s or v?
s
Let r(k) = -69*k + 147. Let y be r(2). Let m = 8 - -16. Let p = -16 + m. Is y <= p?
False
Suppose 9*y = 5 - 32. Which is smaller: -22/7 or y?
-22/7
Suppose -41*u - 2*c = -43*u + 14, -5*u + 2*c + 26 = 0. Which is bigger: u or 74/15?
74/15
Suppose 37 = -4*j - 10*b + 15*b, 4*j + 32 = 4*b. Suppose -3*h = 320 + 274. Let k be h/(-40) + -2 + j. Is -0.1 bigger than k?
False
Let t be ((-20)/450)/(1/5). Let y(x) = -x**3 - 6*x**2 - 5*x. Let f be y(-5). Suppose 2 = 2*w - 2*m - 4, 3*w - 5*m - 17 = f. Is w < t?
True
Let m = 117/5 - 809/35. Let t be (-1)/((2/(-2))/(-1)). Which is bigger: t or m?
m
Let c(f) = f**2 + 5*f - 47. Let s be c(-20). Which is smaller: s or 255?
s
Suppose 3*w + 0*w = 42. Suppose -i = -3*a + 34, i + 2*a + w = -0*i. Suppose 4*k = 5*h + 122, -2*k + 28 = h - 2*h. Is i < h?
False
Suppose 35*a - 2508 - 677 = 0. Is 89 at most as big as a?
True
Let i = -8577 + 8577. Let u be 11/(-14) - (-2)/4. Is u >= i?
False
Let w(v) = v**3 + 5*v**2 - 5*v + 6. Let b be w(-6). Which is bigger: -1/769 or b?
b
Let z = 1639/20 + -331/4. Does 0 = z?
False
Let m(s) = s**3 - 12*s**2 - 12*s + 3. Let w be m(13). Let v be (-3)/(3 - 50/w). Let r be (-9)/12 - (-10)/v. Which is smaller: r or 3/7?
r
Suppose 13 = -5*m - 2. Let y(v) = -17*v - 35. Let d be y(-2). Let r be (m + 4)*(-2 - d). Which is greater: r or -7/3?
r
Suppose -136 + 121 = -g. Let q(n) = -7 - n + 18 + 7. Let h be q(g). Which is smaller: 2 or h?
2
Suppose 101*k - 10600 = 91*k. Which is smaller: 1061 or k?
k
Let o(y) = -y**2 - 6*y - 9. Let b(a) = a + 1. Let c(s) = -2*s - 3. Let h(f) = -3*b(f) - c(f). Let l be h(4). Let k be o(l). Is k less than or equal to -2/73?
True
Let k(q) = 8*q - q**2 - 4*q + 6*q - 17. Let g be k(7). Which is bigger: g or 14/5?
g
Let u = -45 + 38.1. Let x = 4.9 + u. Which is greater: x or 56?
56
Suppose -138 = 9*z - 3. Let a(d) = d**2 - 11*d + 9. Let j be a(8). Is z < j?
False
Let w be (-2)/4*1 - (-17)/(-2). Let t(k) = 2*k + 27. Let z(y) = 3*y + 41. Let s(n) = -8*t(n) + 5*z(n). Let g be s(w). Are g and -5 non-equal?
True
Suppose -48 = 3*t - 0. Let d be 19/(-12) + (-4)/t. Let w(z) = -z**2 - 6*z + 5. Let k be w(-7). Is k bigger than d?
False
Let h = 13 - 10. Suppose 2*p + h*p = -45. Let u be p/18 - (-2)/(-4). Which is smaller: u or -3/7?
u
Let f = -4 + 1. Let v be 4 + (-49 - (f + 0)). Let h be (-3)/9 - (-4)/v. Is h greater than 1?
False
Let i be 27/(-2 + -1) + 4 + -1. Suppose 0 = -3*h - 5 - 1. Let t be h/(-4) - 10/4. Do i and t have the same value?
False
Suppose -21 - 3 = 3*r. Let h(s) = -s**2 - 365 + 745 + 0*s - 7*s - 371. Let d be h(r). Is d at most 2/63?
False
Let y(c) = 2*c**2 + 40*c - 51. Let l be y(-22). Is 2 at most l?
True
Suppose 5*z + 110 = -0*z. Let o(p) = p**2 + 15*p - 7. Let w be o(-14). Are w and z nonequal?
True
Let p = -178 + 180. Do p and 4/3 have the same value?
False
Let j = -9.6 - -12.6. Which is smaller: j or -0.1?
-0.1
Let c be (0 - 36/76)*93. Let d = -44 - c. Which is bigger: 0 or d?
d
Let t = -16.1 - -16. Let r = -138 + 138.3. Is t <= r?
True
Let i = -2.4 - 27.6. Let s = -21.1 - i. Let t = -9 + s. Is t at least as big as 0.06?
False
Let d be -1*3*7/21. Is d <= 59?
True
Let m be (-30)/(-70) + 594/(-14). Let l be 2/(-6) + (-3 - 734/m). Which is smaller: l or 14?
14
Let d = 7.5 - 6. Let c = 0.2 - d. Let n = c + 1. Is -0.3 at least n?
True
Let o(s) = -s + 98. Let n be o(0). Suppose 42 + n = -5*k. Let c be 3/58*k/(-21). Is 2/3 greater than c?
True
Let w = 16.6 - 17.1. 