e 13/(-26)*i/1. Suppose -o = t - 3*m, -4*t - 4*m + 6 = -14. Is -19 at least t?
False
Let v = 575/94 - -18/47. Let j = -2/3587 + 240349/35870. Let f = j - v. Is -0.2 < f?
True
Suppose 0*j = 7*j. Suppose -3*q + 22 = m + 4*m, 2*m - 4 = j. Which is smaller: 24/5 or q?
q
Let a = -553 + 452. Which is bigger: a or 2/5?
2/5
Let y(n) = -2*n**3 - 3*n**2 + 4*n - 1. Let h be y(1). Let z be (336/20)/(h/((-80)/108)). Which is bigger: 5 or z?
z
Let w be (5 - 330/(-8))/((-15)/(-72)). Are w and 222 non-equal?
False
Let p(o) = o**2 - 35*o + 172. Let w be p(29). Let u be (-3)/(117/(-120)) - 3. Let f = -11/26 - u. Which is smaller: f or w?
w
Let j = 363 + -344. Which is bigger: j or -0.06?
j
Let l be (3/6)/(3/18). Suppose 0 = -l*b - 2*b - 240. Let h be (b/(-4))/(-3) + -2. Are -5 and h unequal?
True
Let p be (-2001)/(-13713) + (-19)/133. Is 1 not equal to p?
True
Let m = -63 - -63.27. Let h = 0.293 - 0.023. Let a = h - m. Which is greater: a or -0.04?
a
Suppose -11*w = -15*w + 2*p + 10, 3*p = -9. Which is greater: 30/53 or w?
w
Suppose 109*v = -4*q + 108*v + 1, 0 = 4*q + 5*v - 21. Which is smaller: q or -1/1015?
q
Let b(s) = s**3 + 5*s**2 - 4*s - 7. Let q be b(-5). Suppose -3*m + 30 = 5*j, m = 3*j - 5 - q. Do j and 32/7 have the same value?
False
Suppose 6*l - 2*l - 4 = 0. Let b = -166 + 2489/15. Let q = b - 4/15. Is l less than or equal to q?
False
Let r(f) = 10*f**3 + 2*f**2 + f - 2. Let b be r(2). Let g be (((-85)/10)/(-17))/((-10)/(-1748)). Let k = g - b. Is 1 >= k?
True
Let x = 13 + -7. Let v = 72 + -71. Is v less than x?
True
Suppose -2*q = -6*q + 5*u + 234, 0 = -4*q - u + 246. Is 61 <= q?
True
Let j(b) = 7*b**3 + b - 3. Let r be j(2). Let l be (-10)/14*r/11. Is -3 greater than or equal to l?
True
Let j = -48 - -126. Let z = j - 84. Are -4 and z non-equal?
True
Let x = 2591108/399 - 6494. Which is greater: x or 1?
1
Let y(m) = -2*m**3 + m**2 + 2. Let i be y(3). Let d be (-173)/4 - (52/(-16) + 4). Is d at least as big as i?
False
Suppose 39*h - 41*h - 10 = 0. Let y(o) = 2*o + 9. Let i be y(h). Which is smaller: 1/68 or i?
i
Let u be (0 + -2 + 4)/4. Let z = 1.341 - 1.28. Let f = z - -6.939. Is f smaller than u?
False
Let b be 96/4731*-4 - 40/(-380). Let r be 52/44 + (-2)/11. Is b not equal to r?
True
Let z = 10.19 + -0.19. Let u = z - 9.81. Let o = 0.29 - u. Which is smaller: o or -1/13?
-1/13
Suppose 2*f + y = 4*f - 5, -2*y - 9 = -3*f. Is f bigger than -2/563?
True
Suppose 1 = 3*v - 14. Suppose 5*c = 5*m, v*c - 17 - 13 = -m. Is 2 >= m?
False
Let k be (-2)/8 + 4287/(-4). Let n = 11784/11 + k. Suppose -18*w - 13 - 5 = 0. Which is smaller: w or n?
w
Suppose 2*q = -4*q. Is q bigger than 7/24?
False
Suppose 5*s = -54*g + 51*g + 222, -3*s - 2*g = -134. Which is bigger: 43 or s?
43
Let f(i) = 2*i - 12. Let n = -7 - -7. Let d be f(n). Let g be (-8)/d*9/(-20). Is g bigger than 1?
False
Let g = 59229/67 + -884. Is g != -1?
True
Let x be ((-117)/(-11570))/(9/15). Which is greater: 0 or x?
x
Suppose 2*j + 7 = -5*h, 5*j - j - h - 19 = 0. Suppose -2*o - 2*w = 6, 0*o - j*w = -o - 13. Let p be o/5 + (-18)/(-14). Is 1 at least p?
True
Let s = -0.02 + 0.05. Let t = 48.9 + 8.1. Let x = 57.1 - t. Is x equal to s?
False
Suppose -7*u - 56 = 49. Let f = u - -43. Is f > 27?
True
Let a be 5/((-25)/30) - -7. Is a equal to 8/39?
False
Let l be -1*2/4 - -1. Let i be (-4)/(-6)*(-9)/3 + 1. Let u be i - -1 - (3 - (-68)/(-20)). Is l >= u?
True
Let s = -1.972 - 1.028. Which is smaller: s or 2?
s
Let q(l) = -l. Let a be q(3). Let r be (2/5)/(a/(-420)). Let j be r/5 + (-10)/50. Is j less than 0?
False
Let p = -37 - -36. Which is bigger: p or -1/54?
-1/54
Suppose -4*r = -3*r - 443. Suppose -2*u - 2*t + r + 423 = 0, -4*u = t - 1741. Let v = -3928/9 + u. Is v < 1?
True
Suppose -3*i + 33 = -5*j - 728, -2*j + 4*i = 310. Is j greater than or equal to -151?
True
Let p be (2/7)/((-60)/(-84)). Do -117 and p have different values?
True
Let q = 1/6 - -1/21. Let g = -17 - -53/3. Which is bigger: g or q?
g
Let n(y) = 2*y. Let f be n(6). Let d(t) = -t + 6. Let s(o) = o - 7. Let l(x) = 3*d(x) + 4*s(x). Let g be l(f). Which is smaller: g or 11/6?
11/6
Let a be 2 - 9/((-5)/5). Let v = -4 - -13. Which is bigger: v or a?
a
Let d = 593 - 593. Which is smaller: d or 43?
d
Let t be 1/((-141)/(-18))*33326/6. Let v = -709 + t. Which is bigger: 0 or v?
v
Let i = 0.973 + -0.073. Let f = -4.1 - i. Suppose 2*q - 3*x - 2*x = 0, 0 = -q - 2*x. Are f and q nonequal?
True
Let z = 16/7 - 2. Let r(a) = -a + 1. Suppose -12 = -5*j - 2. Let h be r(j). Which is smaller: h or z?
h
Let m be 5/35*-2 - (-66)/(-63). Suppose -5*t - 2*p + 8 = 0, -5*p = -5*t - 12 - 8. Suppose -2*u + 7*u = t. Which is smaller: m or u?
m
Suppose 2 = 2*v + 12, -t = 2*v + 66. Is -169/3 < t?
True
Let t be 1/(3*12/(-360)). Is -172/15 at least t?
False
Suppose -5*v - 6 = -21. Let n(a) = -13*a + 10. Let t be n(v). Is t smaller than -30?
False
Let j be 1/4*3*12. Let h = j - 8. Is h bigger than -7?
True
Let n(j) = 4*j**2 - 3*j - 3. Let d be n(3). Is 2 at most as big as d?
True
Suppose -4*h + 1112 = 84. Let n be (10 - 12)/((-1)/((-1)/h)). Which is smaller: n or -1?
-1
Let b = 7/13 - 74/65. Let s = -2.4 - 0.6. Is b less than or equal to s?
False
Suppose -2*x = 3*s - 0*x - 3, -3*s + 6 = x. Suppose k = -k. Suppose k = 3*n - 5*n + 8. Which is smaller: s or n?
s
Let x = -20.001 + 0.101. Let p = x - 5.1. Let s = p + 24.8. Is 0 bigger than s?
True
Suppose -f + 2*f - 9 = 0. Let u be ((-10)/(-6))/((-3)/f). Let q be -2 - 0 - (u - 1). Which is smaller: 3 or q?
3
Let s = 3.4 + -24.4. Let m = s + 21.2. Let w be 9/12 + (-87)/84. Which is smaller: m or w?
w
Let l be ((-801)/(-15))/(153/255). Is 92 at most l?
False
Suppose -8*v - 5*n = -9*v + 21, -v = -4*n - 21. Are 19 and v equal?
False
Let r = 243.9 - 243.877. Is 2/5 bigger than r?
True
Suppose -7*u = -11*u - 120. Let t = 23 + u. Let i be 4/(-14) + (-1071)/196. Which is bigger: i or t?
i
Suppose 0 = j - 17*f + 22*f - 5, 2*f = 2*j + 2. Are -1/34 and j unequal?
True
Let s be (-9)/2*10/85. Let f = s - 7/51. Let c = 0.02 - -0.08. Which is smaller: f or c?
f
Suppose -2*f = 2*h + 6, -4*f + 0 = 4. Let n = -22 + 21. Do h and n have different values?
True
Suppose u + 3*u + 16 = 4*a, -2*u = 2*a - 4. Let c = 553/2530 + -5/22. Which is greater: c or u?
c
Let h be 2*(4 - (-12)/(-8)). Suppose -2*c + h*j = -78, -4*j - 17 = -1. Is c at least 29?
True
Suppose 4*b = -4*t + 6*b - 284, -4*b - 202 = 3*t. Which is smaller: -64 or t?
t
Let s be 0*(-3*1 + (20 - 18)). Do -1/139 and s have the same value?
False
Let z = -204/11 + 1703/77. Is 5 less than z?
False
Suppose 2*m - 2*p - 60 = 0, 0 = -5*m - 2*p + 3*p + 142. Is m >= 28?
True
Let r = -379 - -1138/3. Which is smaller: 51 or r?
r
Let w = 80179/149772 + 2/5349. Let g = 2/7 - w. Which is greater: 1/4 or g?
1/4
Let g = -11526/815 - 42/163. Are -14 and g nonequal?
True
Let l be (4 + -7)/(-3)*2. Suppose -3*h + l*p = -20, -4*h + 2*p + 12 = -12. Let x be 27/36 + 5/h. Which is greater: x or 2/3?
x
Let a(s) = -s**2 + 30*s - 17. Let r be a(5). Is r smaller than 103?
False
Suppose y = 4*b - 0*b - 135, -3*y = -5*b + 419. Let r = y - -74. Are r and -70 nonequal?
True
Let x be 57/84 + (-15)/60. Suppose w = -3*z - 10, w + 4*z = 3*z. Which is smaller: x or w?
x
Let w(p) be the third derivative of -p**6/120 - 13*p**5/60 - 5*p**4/12 + 17*p**3/6 - 9*p**2. Let b be w(-12). Which is smaller: b or 2?
b
Let t = -9580 - -18061. Let c be -1 + 5 + (t/192)/(-11). Which is smaller: -1/2 or c?
-1/2
Suppose 2*j = 5*j. Suppose -2*z - 3*d + 65 = 0, 0*z - 100 = -3*z - 5*d. Suppose 7*m = z*m. Is m bigger than j?
False
Let g(d) = -3*d**2 - 21*d + 4*d**2 - d**3 - 6 + 22*d. Let t be g(0). Let u be (t/(-4))/((-27)/(-4)). Is 2/9 greater than u?
False
Let i be (82/4756)/(1/2*-2). Which is smaller: i or -1?
-1
Let j be 2/(-4)*(-3 + 5). Let r be j/(-2) - (-6 + 6). Which is smaller: r or -13?
-13
Let t(k) = -2*k - 22. Let x be (2/(-4))/((-16)/(-224)). Let n be t(x). Let p be -9 + -1 + (1 - 0). Which is greater: p or n?
n
Suppose 3*v - 18 = 5*y - 2*y, -3*v + 30 = 3*y. Let u(a) = -6*a - 1. Let c be u(-4). Suppose 13 = w + 2*t, 0*w + c = 2*w + 3*t. Which is smaller: w or v?
w
Suppose 3*l - 3*k + 12 = 0, -2*l - k = -5*l - 4. Suppose -4*s + 2*c = 8, l = 4*s - 0*s + 3*c + 28. Let t be ((-2)/s)/((-4)/56). Which is smaller: t or -6?
t
Let b(h) be