a + 20.2. Let d = -0.2 + r. Which is smaller: 2 or d?
d
Suppose 0 = -a - 2*q - 5, 2*q - 1 = -a + 3*q. Is a >= 2/165?
False
Let o = -0.56 - -0.3. Let m = o + 0.36. Is m at least -39?
True
Let j(h) = -14*h - 14. Let a be j(-1). Which is smaller: 5/122 or a?
a
Let q = 5.132 + -0.132. Is q >= -1/2?
True
Let i = -96.039 - -96. Let d = i - -0.139. Is d greater than or equal to 7/3?
False
Let p(v) = -2*v - 7 + 20 - 4. Let c be p(3). Is 2 < c?
True
Let x = 33 - 50. Let o = -24 - x. Which is greater: o or -5?
-5
Let w be (-1)/(14*(-9)/72). Let y(u) = u**2 + 4*u - 5. Let f(b) = b**2 + b - 5. Let t be f(0). Let g be y(t). Which is bigger: g or w?
w
Let y(m) = m + 4. Suppose -2*k - 22 = 4*n + 3*k, 0 = -5*n - 3*k - 21. Let c be y(n). Let r = 48 - 47. Is r smaller than c?
False
Let d = 2120 + -2132. Suppose -t = 2*t + 36. Is d smaller than t?
False
Suppose -18*n + 6*n = 12. Which is greater: 2/7 or n?
2/7
Let c(y) = -y**3 + 12*y**2 - 12*y + 15. Let h be c(11). Suppose 4*o - 3*j + 10 = 0, 5*o + 3 = h*j - 9. Is -2 smaller than o?
False
Let y = -102.9854 - 0.0146. Which is smaller: 2/5 or y?
y
Suppose 3*j - o - 4 = j, -2*o = -8. Which is bigger: j or 7/2?
j
Let p = -290 + 187. Is p > 0.1?
False
Let k = 1100 + -1084. Is 44/3 greater than or equal to k?
False
Let d = -231 + 286. Which is greater: 57 or d?
57
Let g be (-938)/77 + 2/11. Let t be (-6)/g + (-5)/2. Let q be t/6 - (-15)/99. Is q less than or equal to -1?
False
Let j = 4.8 - 12. Let x = 7 + j. Let c = -0.8 - -0.8. Do c and x have the same value?
False
Suppose 12 + 6 = 3*w. Let r be (w/(-4))/((-15)/4). Suppose 14*j + 35*j = -49. Which is smaller: r or j?
j
Let a be 2566/(-232) - (-2)/(-8). Let z = a + 346/29. Let s = 148/145 - z. Is s at most 1?
True
Let t = 96 + -162. Let r = t - -397/6. Which is bigger: r or 1?
1
Suppose -w - 2 + 3 = -3*n, 2*n = w + 1. Suppose -2 = a - 0*o + o, 10 = 5*a - 5*o. Is a less than n?
False
Let f = -3 - 9. Let u be f/(-10)*1/(-3). Suppose -h + 5 = -i, 5*i + 8 = -12. Which is smaller: h or u?
u
Let a(d) = 20*d + 21 - 38 + d**3 + 23 - 22*d**2 + 14. Let o be a(21). Are -8/19 and o equal?
False
Let g(l) = -l**2 - 13*l + 29. Let o be g(-12). Let m = 41 - o. Is m at most as big as 2/9?
True
Suppose 5*w + 2 = 3*h, 5*w - h - 5 = 1. Let t be (35/w)/(-7) + 1. Are t and 0 nonequal?
True
Let v be (12/14 - -1) + 0. Suppose 4*p - 11 = n, -p - 5*n - 8 - 5 = 0. Which is bigger: p or v?
p
Let w(h) = -14*h - 140. Let u be w(13). Which is bigger: u or -325?
u
Let g = 143.07 - 143. Which is smaller: g or 3?
g
Let m(s) = 3*s + 2. Let u be m(4). Let a be u/(-20) + (-6)/(-12). Let k = 0.014 - 0.014. Which is smaller: a or k?
a
Let i = 4/11 + -384/1177. Are 0 and i unequal?
True
Let q = 1.15 - 1.1. Let d = q + -0.05. Are d and -0.11 unequal?
True
Let k = -35 + -4. Let l = -29 - k. Which is greater: 2/7 or l?
l
Let n be -3 + 6 + (-8 - 1*-2). Let m be (1 + (-1 - 4))/2. Which is smaller: n or m?
n
Let l = 44 - 41. Suppose -58 = -5*p - 4*z, 5*p + l*z - 60 = -2*z. Is 7 less than p?
True
Let z = -387 - -1052. Is z > 665?
False
Let j be 2 - 8 - (-3 + 5 + -5). Which is bigger: j or 23?
23
Suppose -6*v = 16*v + 440. Is v greater than or equal to -21?
True
Let d(r) = r + 5. Let s be d(-3). Let b(t) = 10*t + 20. Let j be b(-8). Let z = j + 56. Which is bigger: s or z?
s
Let c = 643/5 + -129. Suppose s + 2*m = -m + 3, s - 5 = -5*m. Which is greater: s or c?
s
Let k = 514733482/6741 - 687209/9. Let z = k + 8/107. Is 2 <= z?
True
Let a = 53 + -13. Let o be 3 + (-122)/a - 0. Is o at least 0?
False
Suppose 3*g = -5*d + 82 + 21, -2*d = -4. Are 19 and g non-equal?
True
Let l(q) = -9*q - 46. Let r be l(-4). Which is bigger: -29 or r?
r
Let o(u) = u**2 - 25*u + 45. Let w be o(23). Do w and 1/332 have the same value?
False
Let m = -1/232 + 4/87. Let f be -4*(62/(-20) - -3). Which is smaller: f or m?
m
Let f = 42 + -38.7. Let j = 3.4 - f. Let h be 0 + -1 + 1/3. Is j less than or equal to h?
False
Let k(g) = 14*g + 181. Let u be k(-13). Is u <= -1/27?
True
Let n = 3111/11 + -283. Let q = -18 + 29. Let u = -11 + q. Is n not equal to u?
True
Let p = 2.4 - 2.1. Does -54 = p?
False
Let v = 3.3 - 3.16. Let g = v + 0.86. Is 29 at least g?
True
Suppose a - 3 = 1. Let k be (34 + 0)/(4/(-2) + a). Do 17 and k have different values?
False
Let z be 6/(-16)*(-5)/((-1050)/40). Which is greater: z or 0?
0
Let b = -32 + 32.32. Let q = b - 0.52. Which is greater: q or 0.1?
0.1
Let u(g) = -g**2 + 7*g - 9. Let t be u(6). Let f be 4 + t/37*50. Let j = -88/259 - f. Does j = -1?
False
Let d be (-7 - -6) + 142/130. Is -0.1 at least as big as d?
False
Let i = 1038 + -1040. Is i less than 68?
True
Let q = -5 + 1. Suppose -21 - 5 = -4*m - 5*l, -l + 6 = 0. Which is bigger: m or q?
m
Let h = -3.05 + -1.45. Is h >= 5?
False
Let a be 23 - (-55)/(-22)*16/10. Let w be (a/(-38))/((-1)/(-106)). Which is smaller: w or -54?
-54
Let f(v) = 23*v + 1. Let a be f(-3). Let h = 78 + a. Is h less than 10?
False
Let y = -42 + 127/3. Let s = -11 + 9. Let n = s + 2. Is n at least as big as y?
False
Let a = -20.9 - -22. Let d = 26 - 46. Let x = d + 20.1. Which is smaller: a or x?
x
Let x be 105/(-6)*108/(-45). Are x and 33 nonequal?
True
Suppose 0 = 2*r + 3*x - 2 - 4, -2*r - 4*x = -2. Is r equal to 12?
False
Suppose 0 = -2*j + 1 + 45. Suppose -5*y + 70 = -5*r, -77 = -4*y + 5*r - j. Let c be y/10 - (-4)/10. Is 1 != c?
True
Let j = -1/6 - -1/4. Let n be ((-9)/12)/(2 - -1). Let q = j - n. Which is greater: 1/10 or q?
q
Let z(o) = o**2 - 3*o + 4. Let f be z(2). Suppose -3*p + 0*p - 3 = 5*h, 2 = -4*h - f*p. Suppose 4*r - 1 = -13. Do h and r have the same value?
False
Let m = -16053433252/1275 + 12590927. Let y = m - -27/25. Which is bigger: y or -1?
y
Let x = 156 + -345. Which is smaller: x or 2/5?
x
Let b be ((-4)/5)/2*200/7640. Which is smaller: -1 or b?
-1
Let n be 578/3145 + -2*(-3)/60. Which is greater: n or 1?
1
Let t be (2 - (-11)/(-6))/((-25)/100). Which is bigger: t or 9.1?
9.1
Suppose 4*l - 11*l + 2079 = 0. Let a be l/(-63) + 10/2. Which is smaller: -0.05 or a?
-0.05
Let y be (-1)/(2*(-2)/4). Let s be (5*10/(-925))/(-1). Is y at most s?
False
Let u = -6 + 6.6. Let v = u - 0.4. Let a = 0.06 + -4.06. Which is greater: v or a?
v
Let m be (14/(-21))/(4/(-54)). Suppose -i - m = -3*h + h, -i - 5*h = -12. Let k(x) = -x**3 - 3*x**2 - x + 4. Let w be k(i). Does 9 = w?
False
Let u(v) = -v**3 + 4*v**2 + 2*v - 4. Let z be u(4). Suppose -5*m - 145 = 5*x, -2*x + z*m - 94 = x. Which is greater: -28 or x?
-28
Let c be 1020/(-254) - 2*-2. Let q = c + -248/381. Which is bigger: -0.1 or q?
-0.1
Let m = 57.9 - 58. Is -30/13 bigger than m?
False
Let y = 0.16 + -6.16. Let z = y + 5. Let p = 1648/15 - 110. Do p and z have the same value?
False
Let h(o) = o**3 - 2*o**2 - 2*o - 1. Let n be h(-1). Let r be 2/(0/(-1) + n). Let g be (-2)/9 + 448/1368. Which is smaller: r or g?
r
Let b = -87 + 99. Suppose g - 187 = b*g. Do g and -18 have the same value?
False
Let z be ((-9)/(-2) - 4)*(1 - -1). Are z and -6/263 equal?
False
Let g = 64.001 - 64. Is g at least as big as -0.1?
True
Suppose -4*k + 619 + 1153 = 0. Is 442 greater than k?
False
Let w be 0 - (6/5 - 1). Let l = 379 - 380. Which is smaller: w or l?
l
Let j = 79 - 78.93. Does j = -2/5?
False
Let u = -1528.03 - -1528. Which is greater: 0.45 or u?
0.45
Let k = -14.433 - -12.433. Let a = 3.088 + 0.012. Is a at most as big as k?
False
Suppose 0 = 3*o + 50 - 14. Let j = -29 - o. Is -17 less than or equal to j?
True
Let w = -1.12 - -0.12. Suppose 36 = 7*k - 10*k. Let i(x) = x**2 + 10*x - 23. Let q be i(k). Which is greater: w or q?
q
Suppose 0 = o - q + 2, -10 = 5*o - 9*o - 5*q. Is 5/8 equal to o?
False
Let t = 5 + -9. Suppose 0 = -16*y + 8*y + 72. Suppose y*h - 4*m - 21 = 10*h, 0 = 5*h + m + 10. Is h less than t?
False
Suppose -3*z - 5*v - 17 - 72 = 0, 5*z + 165 = -5*v. Let n be (-1)/(-2) - 19/z. Which is greater: n or -1/14?
n
Let t = 15.22 + -4.22. Which is smaller: -1 or t?
-1
Let o = -9 + 5. Suppose -2*n - 20 = -5*x + 51, 5*n - 85 = -5*x. Let p be x/(-335)*o/(-6). Is 0 bigger than p?
True
Let b = -2.49 + 2.5. Which is bigger: b or -10?
b
Suppose f + 711 - 744 = 0. Is f equal to 63/2?
False
Let q = -127.92 + 128. Is q bigger than 0?
True
Let o(c) = -8*c**2 - 24*c + 9. Let r be o(-5). Is r bigger than -70?
False
Suppose -2*d - 8 = -4