6/11
Let a = 9.4 - 0.2. Let o = a + -115.2. Which is smaller: o or 1/4?
o
Suppose 2*h + 2132 = 6*h. Does h = 532?
False
Let b be (1/271)/(26/1079). Let p = -30986/26829 - b. Let o = p - -53/18. Are 1 and o equal?
False
Let p(d) = d**3 - d**2 + 22*d - 79. Let b be p(3). Let m = -3 - -2. Let r be m + 3 - (1 - 2). Does b = r?
False
Let o be (-2 + 11/(11/2))/(-4). Let d be (2/8)/((-450)/(-16)). Which is smaller: d or o?
o
Let l be 6/(-8) - (1 - (-91)/36). Let g = -25/6 - l. Is 1 < g?
False
Let s be (6 - (3 - -2))*-1. Which is greater: s or -2/103?
-2/103
Suppose 40 = 21*u + 61. Is u greater than or equal to -2?
True
Suppose 4*w - 22 = q - 2*q, -18 = -4*w - 3*q. Suppose 0 = -m + w*m + 5. Is -1/39 less than m?
False
Let d be (2 + -4 + 11)*(-2)/(-6). Let t be ((-13)/d - -5)*1/2. Let k be (-6)/5*2/4. Is t bigger than k?
True
Let m be (4 - 0)*-2*(-4)/(-344). Is 1 at most as big as m?
False
Let y = -2 - -2. Let g = 0.156 + 0.744. Are g and y unequal?
True
Let r be 84/56 + 9/(-2). Is -39/10 less than r?
True
Let i be (-429)/(-570) + 14/5 + -3. Which is smaller: i or -2/7?
-2/7
Let u = 11903653/262857 - -2/37551. Is u not equal to 44?
True
Let m = 3/443 - -1272/8417. Suppose -5*z = -x + 14, 2*x + 4*z = -3 - 11. Are x and m equal?
False
Let z = -8552/91 - -94. Which is greater: z or -1?
z
Let h = -204 + -74. Which is smaller: h or -279?
-279
Suppose 0 = 6*c - c - 70. Let t be ((-7)/(42/(-4)))/c. Which is greater: 1 or t?
1
Suppose -5*j + 0*j + n + 25 = 0, 4*n - 25 = -5*j. Suppose 2*a - 24 = -3*y - 0*a, -4*a - 62 = -j*y. Which is bigger: y or 0.01?
y
Let f be 5/(-10) + (-1)/(-2) + 2. Suppose 0 = m + m - f. Is 4 > m?
True
Suppose -167 = -3*m - 3*u + 1, 5*m + 2*u = 292. Let f = m + -69. Which is smaller: f or -10?
-10
Let j = 25 - 45. Let p = -19 - j. Let c = 2 + -5. Is p <= c?
False
Let c be 3/2*2*4 + -5. Let h(p) = -5*p - 14. Let d(o) = 2*o + 7. Let s(q) = -7*d(q) - 3*h(q). Let x be s(c). Is 6 greater than or equal to x?
True
Let z be (15/8)/((-15)/(-10)). Suppose -2*i = -0*i + 6. Let g be 1/(2 - i/(-3)). Is z > g?
True
Let p be 1*2 + (-255)/87. Let l be (-4 - (-9)/1) + 9432/(-2204). Let z = l + p. Which is smaller: 1 or z?
z
Let s be (7/(-2))/(7/14 + -1). Which is smaller: s or -0.31?
-0.31
Let x = -76.7 + 0.7. Let p = -79 - x. Let c = 0.3 - 0.7. Is p < c?
True
Let p = 203 - 63. Suppose 9*o - 4*o - 4*t - p = 0, -44 = -o + 4*t. Let d(c) = -12*c + 1. Let q be d(-2). Which is smaller: o or q?
o
Let j be 2/(-7) + 13/21. Suppose -6*k = -k - 115. Suppose -5*p - k = -a - a, -3*p = 15. Is a < j?
True
Let b(t) = t + 15. Let p(n) = 2*n - 5. Let i be p(-4). Let d be b(i). Is 21/8 bigger than d?
True
Suppose 136 - 11 = 5*o. Let d = -21 + o. Let v = -3 - d. Is v less than -6?
True
Let l = 0.28 - 0.18. Is l at least -0.114?
True
Let s = -25 + 51. Suppose -3*m = -m - y - s, -m + 18 = -3*y. Is m != 10?
True
Let i be -2*((-2)/(-2) + (4 - 3)). Let p be i/10 + 2 + (-561)/(-15). Which is bigger: 37 or p?
p
Let n(t) = -2*t**2 + 53*t - 144. Let f be n(24). Which is smaller: -16 or f?
f
Let j = -9 - -11. Let a = j + -1. Is a bigger than -1?
True
Let r = -1054 + 1054.1. Which is smaller: -88 or r?
-88
Let y = 61 - 62. Do y and -16 have different values?
True
Let d = 31652474555/159 + -199071361. Let n = -806 + d. Which is bigger: n or 1?
1
Let y(m) = -m**3 - 7*m**2 - 7*m + 8. Let w be y(-6). Let g = 18102/5 + -3606. Let d = g - w. Are d and -4 nonequal?
True
Suppose 16*w + 19*w = 280. Suppose 3*u = -u. Suppose -5*h + 3*p = 7, u*p - 2*p = -w. Is 0 less than h?
True
Suppose 3*x + 149 = 176. Are x and 49/6 non-equal?
True
Let f = -216 + 399/2. Is f greater than or equal to -17?
True
Let i be -1 + (4 + 0)/4. Let r = 4 - i. Suppose 4*w + 4*l - 41 = 11, -2*l = r*w - 42. Does w = 2?
False
Let k be (2/(-6))/(2/(-18)). Suppose 0 = -o + 4*m - 7, 0 = o - 86*m + 90*m - 17. Is o <= k?
False
Let j = 1.7 - -0.3. Let g = j - 7. Let u = 2.17 - 1.17. Do u and g have different values?
True
Let f be ((-11)/(-33))/(2/78). Which is smaller: f or 92/7?
f
Let h(b) = -8*b - 1. Let z be h(-2). Suppose 4*p = -5*m - 11, 0 = 2*m + 3*m + z. Is 7/4 <= p?
False
Let z = 1.9039 + 0.0361. Which is smaller: 0 or z?
0
Let m = -247 - -21488/87. Let l be 1/5 + 1/(-5). Which is smaller: m or l?
m
Let j = 119/123 + 15/41. Is j bigger than 28?
False
Let r = 787 + -772. Which is greater: 107/7 or r?
107/7
Let u = 34 + -19. Suppose -3*y = -2*r - 58, -5*y + 24*r = 28*r - 60. Is y not equal to u?
True
Let j = 8125/4 - 2042. Is -12 less than j?
True
Let y(a) = a**3 + 4*a**2 + 2*a - 2. Let k be (8/3)/(-4) - (-12)/(-9). Let q be y(k). Are q and -1 nonequal?
True
Suppose 3*h = 3*z - 36, -z - 4*h + 6*h = -17. Let d be 2/z + 165/35. Let w be 56/40 + (-2)/d. Which is smaller: -2/47 or w?
-2/47
Let c be -3 + (-2 + 34)/4. Let y = c + -9. Let z be 4 + -7 + 0/1. Is z less than y?
False
Let f(a) = a + 9. Let k be f(-5). Let h be -7*1 + (-369)/(-41). Which is greater: k or h?
k
Let j = 51 - 51.42. Let c = -348.58 + 332. Let q = j + c. Which is smaller: q or -1?
q
Let x = -164.66 - -164.6. Let w = 0.111 + -5.171. Let f = w - x. Are 0.1 and f equal?
False
Let r = -86.8 + 88.8. Is -4/123 less than r?
True
Let b(u) = -7*u**3 + 7*u**2 + 21*u - 22. Let r(m) = m**3 + m**2 - m + 1. Let q(k) = b(k) + 6*r(k). Let c be q(14). Which is smaller: -1 or c?
c
Let c(i) = i**2 - 4*i + 3. Let t(b) = b**2 - 3*b + 2. Let n(p) = 5*c(p) - 6*t(p). Let s be n(1). Which is bigger: s or 13?
13
Let c = -6 - -7. Let o = -0.03 + -2.97. Let j = 1 + o. Is c != j?
True
Let n = -22.099 - -0.099. Which is smaller: n or -3/2?
n
Let x = -5 - -1. Let q be (-90)/(-24) - 1/x. Let f be (48/(-18))/(54/(-81)). Do q and f have the same value?
True
Suppose -25*z - 17*z - 294 = 0. Is z less than -59/10?
True
Let k = -4690 + 32931/7. Is 15 smaller than k?
False
Let p be 28/(-21)*15/(-2). Let d be (-1 + 6)*66/p. Let y = d + -33. Is y greater than 0.05?
False
Let u = 88 - 63. Let j be 22 + 4 - (-4)/(-2). Which is bigger: j or u?
u
Let w(u) = u**3 - 6*u**2 - 8*u + 21. Let p be w(6). Is p at most 0?
True
Let n be (-3)/(-9) + 25905/13338. Let l = n + 11/342. Which is smaller: l or 1?
1
Let k(q) = 10*q - 60. Let c be k(6). Which is bigger: -1/29 or c?
c
Let u(a) = -a**2 - 13*a + 56. Let c be u(-17). Let r be (-21)/(-4) + (c - (-10 - -3)). Let j = -16 + 31. Which is smaller: r or j?
r
Let i be 113/11 - (-19 + 29). Is 3 less than or equal to i?
False
Let x = 2/1783 + 3540/23179. Suppose -4*p + 27 = -5*w, -3*w = -2*p + w + 18. Suppose -p*t = -6*t - 5*n - 5, 0 = 4*t - 5*n - 5. Is t less than or equal to x?
True
Let d be (-115)/30 - 3/18. Let f be d + 1 - (4 + 4). Which is greater: f or -12?
f
Let w(l) = l**2 + 24*l - 70. Let z be w(-27). Which is smaller: z or 8?
8
Let j = 239.3 - 226. Let m = -14 + j. Which is smaller: -0.1 or m?
m
Let u be (1/(-5))/(368/180 - 2). Let n = 43/10 + u. Let r = 8.3 + -8. Which is greater: r or n?
r
Suppose 4*y + 40 = 2*k, -3*y + 16 = -4*y - k. Let c be (-4)/3*18/y. Let x be c - -3 - (-1 + 4). Which is greater: x or 3/4?
x
Let p be (2/(-7))/((-6837)/602). Is p less than 1?
True
Let k be (-6)/((-1356)/48 - -5). Which is greater: k or -1?
k
Let q(h) = -2*h + 8. Let d be q(13). Is -1/8 less than d?
False
Suppose -12*o + 4 = 124. Is -1/10 less than o?
False
Suppose 13*o - o = -24. Is o bigger than -0.025?
False
Let h = 38.71 + -39. Let q = -3.71 + h. Let m = -14/27 - -44/189. Which is smaller: m or q?
q
Let q(k) = 2*k**3 - 11*k**2 + 7*k - 10. Let p be q(8). Is p > 368?
False
Let h be (-16)/(-40) + (-36)/(-10). Suppose -2*y = -2*n, 2*y = 6*y + 3*n. Let b be 0 + y + 2/(-7). Do h and b have different values?
True
Suppose -29*a = -76*a - 376. Is a at most -29?
False
Let u = -47 + 75. Let g = -30 + u. Which is greater: g or 24?
24
Suppose 5*p + 3*c + 15 = 0, -5*p + 0 - 15 = -5*c. Let y(l) = -3*l - 4. Let w be y(p). Suppose 4 = w*h - h. Is h greater than 1?
False
Let d = -76 + 71.1. Let f = 0.1 - d. Let q = f + -5. Which is greater: q or -0.04?
q
Let f = 382 + -1908/5. Let t = 28 + -4. Suppose 0*d = -3*d - t. Which is smaller: f or d?
d
Let r be 4 + (-19760)/(-35) + 8/(-14). Is r smaller than 568?
False
Suppose -11*y = -2*w - 9*y + 136, 4*y - 197 = -3*w. Is w smaller than 67?
False
Let i(s) = -486*s**2 - 2. Let l be i(-1). Which is bigger: l or -489?
l
Suppose -4*b = 2