 be t(6). Let a be 1 + -1 + l - -1. Is a > 2?
False
Let u(w) = -6*w**3 + w**2 + w - 1. Suppose 2*o + 13 = -3*r, 1 = 5*o + 4*r + 16. Let q be u(o). Which is smaller: -4 or q?
q
Let q = 16 - 20. Is -4 at least as big as q?
True
Suppose -2*c + 31 + 5 = -4*v, -v - 18 = -5*c. Let q be (4/(-6))/(v/132). Which is greater: q or 23/2?
23/2
Let l be 3/5*8/12. Let s = -27 + 27. Does s = l?
False
Suppose 0 = p - 4*c + 12, 4*p - 3*p + c - 8 = 0. Suppose -6*s = p + 2. Is s at most as big as 0?
True
Let n be ((-4)/6)/(1/3). Suppose -5*c - 14 = 21. Are n and c equal?
False
Let q = -0.423 + -0.077. Let t = -27 + 82/3. Is q < t?
True
Let n = 1414 - 32517/23. Which is bigger: -1 or n?
n
Let d(s) = -s**3 - 5*s**2 + 3. Let p be d(-5). Let f be -2 - ((0 - -1) + -4). Is p < f?
False
Let s be (2*-1)/(1/(-2)). Let o = 33 - 30. Is s >= o?
True
Let w be (-22)/(((-2)/4)/((-1)/2)). Are w and -21 equal?
False
Let h(v) = -v + 17. Let j be h(16). Are 2/11 and j non-equal?
True
Suppose 4*y - 13 = -1. Is 0 bigger than y?
False
Let u be -21*((-40)/12 - -3). Suppose -3*x = -3*z + 21, u*x = -3*z + 3*x + 35. Are 2 and z equal?
False
Let f = -71 + 58. Let j = 119/4 - 30. Is j at least f?
True
Let n = 0.4 - -7.6. Suppose 0 = -9*o - 4 + 13. Is o < n?
True
Suppose 6*u - 3*u - 1 = 4*a, 5*u + 2*a + 33 = 0. Let s = 11 + u. Is s <= 0.1?
False
Let z(g) = g + 5. Let s be z(-5). Suppose 11*a + 4 = 7*a. Which is smaller: s or a?
a
Let n(s) = 2*s - 2. Let h be n(3). Suppose 0*a + h = -2*a - 4*b, -b - 7 = -a. Suppose m = 3*m - a. Is m at most as big as 2?
True
Let c = -40 + 198/5. Suppose -3*o - 6 = -6*o. Suppose o*m = 1 + 1. Are m and c unequal?
True
Let v = -52608/155 - -1698/5. Do 0 and v have the same value?
False
Suppose 9 = -5*u - 11, y + 5*u - 2 = 0. Let q = y - 25. Is q smaller than -3?
False
Let z(h) = h**2 + 5*h + 5. Let f be z(-4). Let k(s) = -s + 10. Let q be k(10). Which is smaller: q or f?
q
Suppose 4*t = 3*t - 23. Let f = t + 68/3. Is -1 less than f?
True
Let v be 3/9 + (-3)/9. Which is smaller: v or 6/5?
v
Let t be (-1)/(-3) - 7/(-6). Let v = -2 + 3. Which is bigger: t or v?
t
Suppose -4*i + 0*i = 0. Let g = i + 5. Suppose -g*p + 1 + 4 = 0. Is 2 < p?
False
Let h = 38 - 37. Suppose -u - 3*v - 2*v = 0, 3*v = 5*u - 28. Which is smaller: u or h?
h
Suppose 0*r + 2*r = 2. Suppose 2 = m - r. Is 3 less than m?
False
Let m be -4 + (2 - 2) - 11. Which is bigger: -13 or m?
-13
Let q = 34 - 36. Which is smaller: q or 2?
q
Suppose p + 5*t = -9, -4*p - 5 = 4*t - 1. Let x = 7 - 4. Suppose x*u - 2 = 4. Which is bigger: u or p?
u
Let r = -938.82 - -955. Let i = r - 16. Let t = 0.02 + i. Do 1/4 and t have the same value?
False
Let f = -32/119 + 515/6783. Let w = f + 10/19. Which is bigger: w or -2?
w
Let h(r) = r**2 - r. Let d be h(0). Let m = d + 1. Let f(c) = -c**3 - 5*c**2 + 4*c - 12. Let o be f(-6). Which is bigger: m or o?
m
Let y = 2 + -1.8. Let l = y + 0. Suppose 3*m + 1 = 4. Which is bigger: m or l?
m
Suppose 3*w = -12, -3*a + 6*w + 14 = w. Let c = -13 + 23. Let g be 8/28 + c/14. Which is smaller: a or g?
a
Let l = -31 - -30. Is l bigger than 1?
False
Let c = 75 - 74.1. Is c at most -1/9?
False
Let r = 1.245 + -0.175. Let a = r - 0.07. Let i = 2/3 + -1/6. Which is smaller: i or a?
i
Let o be 10/(-10) - (-2 + -2 + 4). Let n = 105 + -1047/10. Which is bigger: o or n?
n
Let s(h) = h**2 - 4*h + 2. Let c be s(3). Let r = -4.92 - -5. Which is smaller: r or c?
c
Let m be (-13)/(-2) - ((-51)/6 - -9). Which is bigger: -1 or m?
m
Let c = 8 + -47/6. Suppose 0 = 3*i + q + 4*q - 28, -2*q + 11 = i. Which is smaller: i or c?
c
Suppose j + 0*n = 5*n - 5, 2*j + 1 = n. Which is greater: j or -2/31?
j
Let j = 47.9 - 2.9. Is j greater than -0.1?
True
Suppose 5*b - 20 = -x, 0*x - 4 = -3*x - b. Let a(k) = -3*k + 0*k - 7 + x + 4*k. Let z be a(7). Are 1/2 and z nonequal?
True
Let r = -185/6 - -31. Is r smaller than -2/9?
False
Let w be (-4)/6*18/3. Let u be (-2)/w - (3 - 3). Is u at least as big as 1?
False
Let d = 2393/13 - 184. Suppose 0 = -2*y - v - 3, 0 = -4*y + 2*y - 3*v - 5. Are y and d equal?
False
Suppose 0*l + b = l - 7, -5*l = 4*b + 10. Is l > 0?
True
Let w = -9884/21359 - -2/1643. Which is greater: w or -1/2?
w
Let q = -76.2 + -10.8. Which is greater: -0.1 or q?
-0.1
Let f be (-3)/12 - 436/(-1552). Let l = 403/485 - f. Let o = 3 - 2. Which is smaller: o or l?
l
Let o = 7 - -68. Let c = -169/2 + o. Which is greater: -11 or c?
c
Let s be (-6)/399*(2/(-1) - 5). Suppose -g - 3*f = -4*f - 3, -3*g + 9 = -4*f. Let n = 2 - g. Which is bigger: n or s?
s
Let t be (-352)/605 + (-4)/(-22). Is 0 not equal to t?
True
Suppose -2*x = -3*q + 13, -5*q - 3*x = -7*x - 23. Suppose 0*f + q*a - 12 = -2*f, -3*a + 12 = -4*f. Let d be 132/(-90) - (-32)/40. Is f at most d?
False
Suppose -r = a - 0*r + 8, -5*a + r = 58. Is a bigger than -10?
False
Let k = 3.7 - 3.5. Do k and 2 have the same value?
False
Let p be (-4)/(-6) - (-52)/(-33). Let w = -294 - -293. Is w > p?
False
Let q = -0.2 + -1.8. Let s = -25/3 - -8. Is s less than q?
False
Let l be ((-2)/(-4))/((-10)/40). Which is greater: l or -1?
-1
Let y be 1 + -2 - (-42)/(-4). Is -12 at most as big as y?
True
Let j = -6 - -9. Let w be (-2 + j)*(2 - 2). Suppose w = c + c - 6. Which is greater: 0 or c?
c
Suppose -43 = -2*r - r - 2*m, -2*r + 33 = -3*m. Is r smaller than 15?
False
Let l be (9/6)/((-5874)/(-536)). Let c = l - -4/89. Is c smaller than 0?
False
Let c be 18/(-99) - (-158)/22. Is c < 9?
True
Let o = 181366/9 + -20013. Let m = 139 - o. Is m at most 0.1?
False
Let y = 1.5 - 0.9. Let m = 0.6 - 3.6. Let r = -3 - m. Which is smaller: y or r?
r
Suppose 2*s - 5 = -u, 0 = -4*s + u + 17 + 2. Let o be s/(-18)*-6 + -2. Which is smaller: o or 1?
o
Let g = -0.04 + -0.1. Let w = 17.9 + -18. Which is smaller: w or g?
g
Let r be (-7)/(-28) - 10/8. Let f(z) = -z + 6. Let w be f(4). Let n be ((-5)/45)/((-1)/w). Which is smaller: r or n?
r
Let f be 2/(-8)*16/9. Let u be 2/(-8) + 125/(-180). Let m = f - u. Which is smaller: m or 1?
m
Let u be 1*(0 - (-3)/(-2 - 1)). Are u and -2/265 nonequal?
True
Let x = -1 - 0. Suppose -3*q + 12 = 6. Suppose 2*i - 5*b = -5, 2*b - 4*b = -i - q. Is x != i?
True
Let m be (-7 + 7)/(-4)*(-1)/1. Is m greater than 1/57?
False
Let n(a) = a**3 + 4*a**2 - 6*a - 3. Let u be n(-5). Let g be (3/u)/((-24)/10). Which is smaller: 0 or g?
g
Let m = 39 - 38. Which is smaller: m or 3/64?
3/64
Suppose 0 = l + 5*p - 24 - 3, -13 = -4*l - p. Let r = l + -4. Is -1 >= r?
True
Suppose 3*m = 9, 8 = 2*l - 3*m + 17. Let s be (l/(-2))/(2 - 0). Which is smaller: -3 or s?
-3
Let k = 4 - 5. Let s be (k + (-1 - 2))/(-7). Is s < 2?
True
Let r(u) = u**2 + 9*u + 8. Let o be r(-8). Suppose 2*y + 0*y = o. Are 6/11 and y equal?
False
Let k = -7/2 + 5. Let n be (-4)/10 + 28/(-5). Let l = -5 - n. Is k smaller than l?
False
Let a = -3376074/361 - -9352. Let l = -752/5415 - a. Let h = -13 - -14. Which is smaller: h or l?
l
Let y = -23 - -16. Is -6 smaller than y?
False
Let i be (-2 - -1) + (-5)/(-1). Suppose x - 3*o = 3*x - 8, 0 = -i*x + 3*o - 2. Let k be 2/12 - (-4)/72. Is k at most x?
True
Let v be 1*-1*1 + (-2744)/(-245). Is v at least as big as 10?
True
Let q = -27 - -28. Which is greater: q or 1/32?
q
Let o = 11 + -12. Let p = -0.8 - o. Do -13 and p have different values?
True
Let n(g) = -g**3 + g. Let h be 0*(-1 + 0 + 2). Let i be n(h). Let r = -11 + 34/3. Which is smaller: r or i?
i
Suppose -4*t = 5*f, 3*t - t = 2*f + 18. Suppose 3*v + 16 = 2*d, -d = t*v + 4*d - 15. Suppose 8*g = 3*g. Which is smaller: g or v?
v
Let l be ((-12)/(-8))/((-6)/(-8)). Let k = l + 0. Which is bigger: 2/3 or k?
k
Let v(c) = c**2 - 4*c + 4. Let h be v(3). Suppose 0 = 5*z + h + 4. Suppose -15 = f - 16*f. Is f > z?
True
Let p = -3045/11 + 277. Do p and 4/3 have the same value?
False
Suppose 0 = j + 3*j + 580. Let i = 53 - j. Let l be 80/i + (-4)/18. Which is bigger: -1 or l?
l
Let b = 33 + -37. Which is greater: 0.2 or b?
0.2
Let w(z) = -z**2 + 5*z. Let b be w(4). Suppose 4*d = d + b*k - 50, 2*d = -5*k + 5. Let y be 3 - 2 - d/4. Is 4 at most y?
False
Let v = 0.1 - -0.9. Suppose 0 = 5*a - 15, 0 = y + a + a - 6. Is v greater than y?
True
Suppose -3*z = -2*z + 4. Which is bigger: z or -1?
-1
Let u = 11 - 12. Let s be u/(-3) - (-8)/(-24). Let d be (-2)/8*(-4)/6. Which is bigger: d or s?
d
Let d = 119/5 + -24. Which i