than or equal to -29?
False
Suppose -29*q = 21*q. Is q at least 2/401?
False
Let t = 3 - 3.1. Let l = 30 - 25. Suppose l*j = -4*i - 69, 3*j + 48 = -7*i + 4*i. Which is smaller: t or i?
i
Let d be ((-10)/30)/(2/(-6)). Let q be (6/(-4))/((2/d)/68). Is -1 greater than or equal to q?
True
Let y = -2 - -22. Suppose c = -3*c + 4*q, 3*c = -2*q + y. Which is greater: c or 38/9?
38/9
Let o be ((-14)/(-5))/(-1 + 6). Are o and 1 non-equal?
True
Suppose y - 706 = -705. Is y at most 2/31?
False
Let j(a) = a. Let s be j(-6). Let n be 0 + -157 + (s - -3). Let i be 3*(n/(-84))/(-4). Which is smaller: -2 or i?
-2
Suppose 0 = -0*i - 2*i - 2. Let x be (i*1)/(8/184). Suppose -4*j + 0*j = 92. Is j greater than x?
False
Let u be (-2)/(-10)*-8*(-18280)/(-16). Let h = u + 223015/122. Is h > 0?
False
Let m = 3.2 - 4.2. Let z = -1.1 - m. Are -4 and z unequal?
True
Let r(c) = 4*c**3 - 4*c - 5. Let b be r(-1). Is -8 greater than b?
False
Let f(o) = -8*o**2 - 2*o - 13. Let p be f(4). Are p and -299/2 equal?
False
Let r be (3 - (-28)/(-10)) + 24/5. Suppose 0 = r*k - 2*s - 3, 0 = 5*k + 2*s + 15 - 2. Which is smaller: -2/81 or k?
k
Let w be ((-27)/(-2))/(114/608). Which is bigger: 69 or w?
w
Let a = -126 + 231. Let x = -104 + a. Is -1/133 equal to x?
False
Suppose 4*g + 58 = -21*x + 18*x, -g - 5*x = 23. Is -55/4 at least g?
False
Let g be 1/(3/(0 + 3))*3. Suppose -g*f = 0, -4*f = 4*d - 6*f + 376. Is d != -94?
False
Let b(k) = -k**3 + 4*k**2 - 6*k + 4. Let y be b(3). Let f be (-116)/26 - (-5 + 7). Which is greater: y or f?
y
Let y = -141/436 - -8/109. Which is smaller: -11/76 or y?
y
Let n be (6/15)/((1/260)/1). Suppose 3*k + 17 = 5*k - 5*m, -4*k + n = 4*m. Is k < 21?
False
Let y = -8068/7 - -1154. Which is bigger: 14 or y?
14
Let l = 1/23631 + -118163/189048. Let a be 8/(-6) + 2/6. Is l at most a?
False
Suppose -l - 7 = -0*l. Let y be 37/7 + 2/l. Let w be 0/y + 4/(-118). Are w and 1 equal?
False
Let v = 11.23 - 0.23. Let o = -10.94 + v. Let p = o - 0.06. Is 10/11 at most p?
False
Suppose -k - 12 + 5 = -3*d, -d + 2 = 0. Let y be 3/(-6)*3/5. Do k and y have the same value?
False
Let q be (-20766)/132 - (-4)/(-22). Is q less than or equal to -157?
True
Let v = 1855749/5 + -388112. Let y = 16887 + v. Let k = -75 - y. Is k greater than or equal to 1?
False
Let s = 0.56 + -0.66. Let u = 3.4 + -0.4. Is s less than u?
True
Let g be 18/(-27) + 139/(-3). Let c = g - -34. Let a = c - -10. Which is smaller: -1 or a?
a
Let j be ((-63)/70 + 1)*4. Which is bigger: 51 or j?
51
Let k be 2/3 + (-30)/18. Let h = 5 + k. Suppose -h*p = 4 - 16. Which is smaller: 5 or p?
p
Let j = 882707/146 + -6046. Is j <= 0?
True
Let d = 8.68 + -0.18. Let u = d - 6. Let n = u - 0.5. Which is smaller: -2/9 or n?
-2/9
Let a = -382 + 74107/194. Which is bigger: -1 or a?
a
Suppose 0 = 4*m - 10 - 10. Suppose 0 = -21*k - 115 + 10. Let u = k + m. Is 25 smaller than u?
False
Let u be 6/(-8)*(-1 + -3). Let f be (-150)/(-825) - 56/66. Are u and f unequal?
True
Suppose -922*b = -913*b + 234. Is -39 less than b?
True
Let h be -10*10*-2 - 45/9. Is h bigger than 195?
False
Let d(j) = -j**3 + j**2 + j + 1. Suppose -5*a + 3 = -3*h, -4*h + 0*a - 4 = a. Let r be d(h). Suppose 6*i = r*i. Is 3/8 at most i?
False
Let k = -0.15 - -10.15. Let j = 8 + k. Let i = -17 + j. Which is bigger: i or -1/5?
i
Let t = -7076/9 + 786. Is 0.03 at most as big as t?
False
Let l be (1 - (-5)/7)/(16/(-112)). Is 31 not equal to l?
True
Let n = -38 - -39. Let d be n/(-6) + 123/954. Which is smaller: d or 0?
d
Let k be (-3)/2 - 18*54/(-696). Which is smaller: 8 or k?
k
Let r = 13.77 + -0.77. Let n = r - 13.2. Which is greater: -1/48 or n?
-1/48
Suppose -i = -0*i. Let y = -27 - -29. Let f be (2 - 1) + 0/(-3 + y). Is f equal to i?
False
Let d = 47 - 28. Let b = 5 - d. Let j = 13 + b. Which is bigger: 2 or j?
2
Let l = -67.8 - -67.8. Is l != 28?
True
Let z be (5/(-25))/((-5)/(-5)). Is z > -2?
True
Suppose 0 = x - 9*x. Suppose x = -4*l + 4*d + 8, 5*l - 4*d = 2*l + 7. Is 1/14 greater than l?
False
Suppose -4*f + f + 6 = 0, -2*y = f. Let s(o) = -6*o - 3. Let c be s(y). Which is bigger: c or 14/5?
c
Let h = -8899430335/816 + 10906159. Let i = h + 96/17. Is -1 < i?
True
Suppose 4*f = 267 - 63. Let h = f + -93. Let n be (-30)/77 + (-24)/h. Is -2 less than n?
True
Let k(r) = 4*r + 63. Let b be 36*(1 - 3)/4. Let u be k(b). Is u less than or equal to 0?
True
Let y = -148 - -145. Which is smaller: -2/21 or y?
y
Let b be (-362)/(-122) - -2 - (-55)/(-11). Which is greater: b or 0?
0
Let o be 1 - 4 - (0 + 78/24). Let z = -6 - o. Does z = 21/4?
False
Let l = -4447/32660 + 27/460. Is 1 != l?
True
Let c(b) = b**3 + 14*b**2 - 14*b + 14. Let o be c(-15). Do 4/83 and o have different values?
True
Let n be (-1 - (-3)/2)/(45/(-14220)). Which is greater: -1104/7 or n?
-1104/7
Let w be (0 - (-25)/(-5)) + 8. Suppose 3*r = -w*r - 186. Is -31 >= r?
True
Let z be (-37)/(20/15*(-12)/(-16)). Is z at most -37?
True
Suppose -14*t = -174 + 776. Is -50 >= t?
False
Let i be (-2 - -1)*(-12 + 11). Which is bigger: 1/31 or i?
i
Let z(h) = h**2 - 3*h - 6. Let o be z(5). Suppose -4*v = -2*y - 36, -4*v + 3*v - 9 = 4*y. Let j be (1 + 0 - 4) + v. Is o > j?
False
Let m = -168 + 162. Is 3 smaller than m?
False
Let g = 8.84 + -8.82. Is 2.3 at most g?
False
Let g(r) = -13*r**3 + r**2 + 12*r - 13. Let p be g(1). Which is greater: p or -29?
p
Suppose 4*m + 0*m - 4 = 0. Let q be (0 - 849/505)*50/1640. Let z = -1/404 - q. Is z greater than or equal to m?
False
Let l be 8/(-6) + (-16)/(-3) + 0. Suppose -3*r + 3*x - 27 = 0, l*x - x - 32 = 4*r. Suppose -3*u - 4*k = -2*k + 24, 36 = -5*u - 2*k. Which is bigger: r or u?
r
Let q(d) = -3*d. Suppose 10 = 2*a + 2*l, 0*a - 2*l + 7 = -a. Let j be q(a). Let p = -0.8 - -1.1. Which is smaller: j or p?
j
Suppose 4*w - t + 6 = 0, -10 = 3*w - 3*t + 5*t. Let n be 1*0*w/(-6). Suppose -d - 5*f = -19, -4*f = -n*d + 5*d + 10. Is d != -4?
True
Let p = -397 - -410. Let i = -2/711 + 1436/4977. Do p and i have the same value?
False
Let z = 20 + -2. Suppose -14*k + 148 = -z*k. Let n = k + 36. Which is bigger: n or -10/11?
-10/11
Suppose 3*l = 21*l - 1224. Which is smaller: l or 65?
65
Suppose 0 = -13*q + 10 + 16. Are -2 and q nonequal?
True
Suppose 2*k = 10, 3*l - 5*k - 83 = -l. Let h be ((-5)/(-1) - 6) + 183/l. Which is smaller: h or 5?
5
Let r(q) = 5*q**2 - 11*q - 11. Let h(s) = -2*s**2 + 4*s + 4. Let t(w) = 8*h(w) + 3*r(w). Let b be t(-2). Let o be (2/5 + 119/(-85))/1. Which is smaller: o or b?
b
Let v(u) = -245*u + 12744. Let q be v(52). Let d be 1 - ((-5)/2 - -1). Which is greater: q or d?
q
Let b be (-2 - 14/(-6))*(-2)/(-89). Let x = -827/3471 + b. Is 0 less than x?
False
Let l = 80/263 + -29924/4997. Which is smaller: -6 or l?
-6
Let c(g) = -g**2 + 9*g - 13. Let y be c(5). Let x = 37 - 19. Let s be -21*3/(x/(-2)). Is y >= s?
True
Let t = -47.579 + -0.321. Let y = t - -48. Which is smaller: -16/5 or y?
-16/5
Let p(x) = -9*x + 63. Let v be p(-7). Let a = v - 123. Which is smaller: a or 7/2?
a
Let w = 0.4 - 2.1. Let p = 4.7 + w. Is 0 > p?
False
Let a(s) = s**3 - 5*s**2 - 2*s - 3. Let t be a(6). Let x = t - 18. Which is smaller: x or 13/3?
x
Let b(v) be the third derivative of 7*v**6/120 - v**5/30 + v**4/24 - v**3/6 - 30*v**2. Let d be b(2). Are 50 and d equal?
False
Let q be ((-6)/(-4))/((-27)/(-4)). Let r = -826 - -2488/3. Is r bigger than q?
True
Suppose -3*s + 8*s - p = -16, 5*s - 4*p + 19 = 0. Suppose g - d + 8 = 0, g - 19 = -g - 5*d. Let m be g*(-2)/(-9)*6. Is s <= m?
False
Let o = 3 - -9. Suppose 2*v - 5*w = 14 + 35, 0 = 4*v + w - 43. Is v bigger than o?
False
Let i = 19.7 - 14.7. Is 27 at least as big as i?
True
Let u = -69 - -69.1. Let l = 4/413 + 2859/3304. Is u greater than l?
False
Let t = 304 + -2136/7. Suppose -4*w + w = 0. Which is bigger: w or t?
w
Let z(w) = 6 + 2*w + 4 + 5*w - w**2. Let t be z(8). Let v = t - 4. Which is greater: v or 0?
0
Let m be (3 + (-20)/8)*-1*194. Let o = m + 97. Which is bigger: o or -2/47?
o
Let q = 213.6 - 219.6. Is q smaller than 5/3?
True
Let a(w) = 6*w**3 + 15*w**2 + 11*w + 24. Let o(n) = n**3 + n**2 + 1. Let r(y) = -a(y) + 5*o(y). Let d be r(-9). Which is greater: d or 3/8?
3/8
Let i be (-9)/(-12)*84/(-63). Which is greater: i or -973?
i
Let i(q) = -q**3 + 11*q**2 - 22*q + 49. Let u be i(9). Suppose -2*p = 3*b - 2*b - 31, -3*p -