1) + q + -7. Is s >= -1?
False
Let l be ((-472)/6)/((-20)/(-30)). Let f = l - -124. Which is smaller: 31/6 or f?
31/6
Suppose -7048 = 3*d - 5563. Are -493 and d non-equal?
True
Let r be 16/(-4)*(-6)/(-12) - -8. Is -103 equal to r?
False
Let t be 2/(-10) - ((-35131)/16055 - -2). Is t at least 1?
False
Let s = 3.62 + -3.6. Let f = -0.32 + s. Do f and -7 have the same value?
False
Let p = 6059/11 + -551. Which is smaller: -58 or p?
-58
Let b = 2 - 1. Suppose 2*s + 5*d = 25 + 1, 4*s + 5*d - 32 = 0. Let q be (2/(-24))/(s/(-12)). Which is bigger: b or q?
b
Suppose 111 = -2*g - 5*n, 0*g + g + 5*n + 53 = 0. Let m be g/(-30) + (-8 - -6). Which is smaller: 1 or m?
m
Let d be 6/90 + -6 + 6. Let t = 0.8 + 0.2. Is t greater than or equal to d?
True
Let t = 19 - 13. Let b(l) = l - 3. Let z be b(t). Let y be z + 1 + 0/1. Is 3 equal to y?
False
Suppose -l + 4*l = 5*v - 6, 8 = 4*v - 4*l. Let a be (-103)/(-2) + 6/(-4). Let g = -53 + a. Which is greater: g or v?
v
Let p = -534 - -825. Which is smaller: p or -1?
-1
Let u(w) = -12*w + 24. Let y be u(5). Suppose -7*b - 4*b = 407. Which is bigger: y or b?
y
Suppose -m = 2*m. Let y be (-18)/(-4) - 25/50. Suppose -3*u + 7*u - y = m. Which is smaller: 1/4 or u?
1/4
Let v = 34931/4 - 8821. Let h = -56135/636 - v. Which is smaller: -1 or h?
-1
Let v(x) = -x**3 - 13*x**2 + 13*x - 15. Suppose 0 = -m + j - 9, 3*m + 41 = -2*j - 11. Let h be v(m). Is 1/4 at least as big as h?
True
Let m be 385/(-407) - 1/(-1). Let w be ((-11)/55)/(3/15). Which is greater: w or m?
m
Let l be (4 - 3) + (5 - 2). Let z be (l - 6) + -1 - -15. Suppose 2*n - z = 3*s, -n - 6 = n. Which is smaller: -14/3 or s?
s
Let r be (0 - (-25 + -3)) + -3. Suppose -20 = -5*a, -4*a + r = 5*l - 6. Suppose -2*g + 20 = -3*p, g - 16 = -l*g. Is p at least -5?
True
Suppose -1104 = 46*q + 2208. Let f(u) = -3*u**2 + 5*u + 5. Let o be f(6). Is q greater than or equal to o?
True
Suppose -h = -3*h + 4*z + 4, -4*h + 20 = 4*z. Suppose -u - 3*j = 2*u - 6, u - 5*j - 2 = 0. Suppose -h*v = -u*v. Which is greater: -1/15 or v?
v
Suppose -34 = -12*b - 106. Is b greater than or equal to -29/6?
False
Suppose -d = 3*d - 2*i + 42, -2*d = -3*i + 15. Suppose -44 = -3*q - 32. Suppose 0*u - 2*u + v - 29 = 0, -q*u - 28 = 4*v. Is u at most as big as d?
True
Let o(n) = n**2 - 6*n + 5. Let x be o(4). Let u be (4/(-3))/(1/x). Suppose 3*j - u*b + 25 = 0, 20 = -3*j - 0*j - b. Is -7 less than or equal to j?
True
Suppose 5 = -4*o - 3. Let f = -47 + 49. Suppose 2*m - 20 = 4*b, 4*m + m = f*b + 10. Which is smaller: o or b?
b
Let w = -34 + 34.16. Let m = -8 - -7.86. Let g = w - m. Is -3 <= g?
True
Let q = 213 + 103. Let o = -311.78 + q. Let l = 0.22 - o. Which is bigger: l or -1?
-1
Let k be 708/(-1568043)*(9/2)/3. Which is smaller: k or 0?
k
Suppose -2*o + 104 = 4*k, 2*o - k - 2*k = 97. Let d = o - 50. Is 0 <= d?
True
Let z be (0/3)/1 - 0. Let o be -20*1*(-7)/14. Which is greater: z or o?
o
Let b(f) = 4*f - 7 + 3 + 7*f**2 - f**3 - 5*f**2. Let o(j) = j**2 - 6*j + 3. Let z be o(6). Let r be b(z). Which is greater: -5/3 or r?
r
Suppose -3 = 3*g, -11*y = -14*y - 4*g + 1634. Is y smaller than 546?
False
Let s = -1.702 - -0.702. Let u = 23 - 13. Does s = u?
False
Let l = -5 + 9. Suppose 16 = l*c - 0*c. Suppose -c*f - o - 15 = 0, 15 = -4*f - 2*o + 1. Which is smaller: -2 or f?
f
Let h(n) = -n + 8. Let c be h(3). Is c at least as big as 5?
True
Suppose 5*p + 10 = -r - 9, 5*r - 2*p - 13 = 0. Let k be (-9*(-2)/12)/r. Is k greater than 2?
False
Let f = 70 + -68. Let i = -269 + 1081/4. Which is bigger: i or f?
f
Let k = 297 - 296. Which is smaller: k or -13/45?
-13/45
Let w = -2037 + 34619/17. Which is bigger: w or 0?
0
Let k be (13600/204)/(((-16)/6)/(-4)). Does k = -1/3?
False
Suppose 7*i - 180 = i. Suppose -32*j + 12 = -i*j. Suppose 0*b + j = 3*b. Is 2/3 greater than or equal to b?
False
Let b = 927 + -936. Let u(j) = -2 + 4 + 1 + 4*j - j**2. Let t be u(6). Is b < t?
False
Let a = -0.2 - 0.3. Let x = 0.8 + a. Is 9 bigger than x?
True
Suppose -3*h - h = 0. Let m be ((-11)/11)/(10/8). Which is bigger: h or m?
h
Let n be (-5)/(-20)*-4*(0 - -17). Is n smaller than -17?
False
Let o = 93.59 - -1.41. Let j = -91 + o. Is j >= -0.4?
True
Let b = -0.19 + -0.11. Let h = b + 1.3. Which is bigger: -1 or h?
h
Suppose -4*i + 4*c = 476, 12*i - 9*i - 2*c = -358. Is i at least as big as -118?
False
Let i = 2220097/13 + -170893. Which is greater: i or -115?
-115
Let k = -49 + 48.09. Let b = -0.69 + k. Which is smaller: -2/9 or b?
b
Let s(f) = 6*f + 56. Let o be s(-34). Which is bigger: -147 or o?
-147
Let w(x) = x**2 - 2*x. Let d be w(4). Let o be (204/9 - (-4)/(-6))*1. Suppose -o = -5*g + 13. Which is smaller: g or d?
g
Let n = -913.1 - -913. Let s = -3.48 + 0.18. Is s >= n?
False
Suppose -2*g = 3*q + 9, -2*q + q - 13 = 4*g. Suppose 3*o - 2 = -8. Let c be o - (-13)/12*2. Which is bigger: q or c?
c
Let j = -0.666 - 0.734. Which is bigger: j or 2?
2
Let f be 3 - 2 - (-41)/(-11). Let p = f + 668/253. Which is smaller: p or 0?
p
Let f = -9/40 - 177/280. Which is bigger: -1/3 or f?
-1/3
Let z(u) = -30*u - 30. Let x be z(-1). Are x and 359 unequal?
True
Let s = -189 - -6239/33. Which is greater: s or 9?
9
Let d be 888/(-9) - 24/(-36). Is -0.2 <= d?
False
Let b be (-29 + 27)/(2/(3 + -2)). Which is greater: b or 7/67?
7/67
Let f = 490.5 + -490. Let c = 1.9 - -0.6. Let k = f + c. Which is smaller: k or 0.2?
0.2
Let p = -0.6 - -0.4. Let u = 0.2 + p. Suppose -z + 4*d - 3*d - 1 = 0, -3*d + 3 = -5*z. Is z smaller than u?
False
Let d be -3 - (-2)/(-6)*945/(-99). Is d > -33/7?
True
Suppose -4*u - y = -2*y + 91, -2*u + 3*y - 53 = 0. Let o = -22 - u. Which is bigger: o or 1?
1
Let z = 8641/1054 - -367/62. Is z at most 1?
False
Suppose -4*p + 18 = 42. Let c be 2/8 + p/(-72). Which is smaller: c or 2?
c
Let k = 37.9 + -2.9. Let l = k + -58. Is l smaller than 1?
True
Let t = 0.43 - 2.43. Is -3/5 != t?
True
Let l = 12 + -8. Suppose 2*w + 56 + l = 0. Let n be w/(-12)*(-16)/(-10). Are 4 and n equal?
True
Suppose -13 = -r + v + 3*v, -3*r + v = -6. Which is bigger: 2/235 or r?
r
Let n = -2.5 + 2. Let y = n + 3.5. Let b = y + -5. Which is bigger: -0.2 or b?
-0.2
Let j = 490 - 490.33. Which is bigger: j or 3?
3
Let k(y) = y**3 + 7*y**2 - 9*y - 6. Let c be k(-8). Let z be 5 + (c + -3 - -1). Is z equal to 16/3?
False
Let x = 0.3 + 1.7. Let p = -38.05 + 38. Let h = -0.15 - p. Is h less than x?
True
Suppose 3*z + p = -14, -2*z - p - 3 - 6 = 0. Which is smaller: z or -58/15?
z
Let s be 12 + -7 + 20/(-4). Let f = -1443 - -106785/74. Which is greater: s or f?
f
Let q = -15 + 12. Let s be -1 + 2 - (-15)/q. Let y be ((-120)/36)/(s/(-6)). Which is smaller: -2/3 or y?
y
Suppose -26 = 4*g - 2*f, g + 29 = 4*f + f. Suppose 0*s = -4*s + 16, -2*s + 2 = -3*h. Let n = h + g. Is -2 bigger than n?
False
Suppose 20*k + 28 = 24*k. Which is greater: k or 63/8?
63/8
Suppose 5*o = 4*o - 2*y - 158, -o - 164 = -y. Is o > -162?
False
Let p = 52.73 - 0.73. Let l = -48 + p. Which is bigger: -0.02 or l?
l
Let q = 352 + -358. Is -20/3 bigger than q?
False
Suppose -3*l = 3*c - c + 9, -l - 4*c - 3 = 0. Let w be (9/2 + l)*-2. Let q be -2*3*(-7)/(-21). Which is smaller: q or w?
w
Let n = 76 - 46. Suppose n = -3*z - 2*a, -5*z + 2*a - a - 37 = 0. Are -2/7 and z non-equal?
True
Let q = 30 + -25. Suppose q*h - 15 = -5*f, 0 = 5*f + 4*h - 12 - 5. Suppose 4*y = -2*i - 116, -2*y + i - f*i = 58. Are y and -29 non-equal?
False
Let n = -56.1 - -75.1. Which is smaller: n or -4?
-4
Let o(h) = h**2 + 18*h + 49. Let w be o(-14). Let p = -722 - -2147/3. Is p at least as big as w?
True
Suppose 0 = l + 30 + 27. Which is smaller: -59 or l?
-59
Suppose -384*h + 392*h = 272. Is 33 at least as big as h?
False
Suppose -1 = -x - 0. Let b be x*((-1 - 3) + 5). Is b at least as big as 4?
False
Suppose -249 = -4*x + 51. Let r = x - 79. Which is smaller: r or -3?
r
Let r(o) = -15*o. Let g be r(1). Let f be 0 + -1 - 3/g. Let b be (-4)/(7 + 4 + -9). Which is smaller: b or f?
b
Let s = 68 - 80. Let m = s - -13. Is m greater than -36?
True
Let q = 2.1 - 0.1. Let g be -3 + -5 - (-2)/82*326. Is g >= q?
False
Let p = 2205 - 1448. Which is bigger: p or 756?
p
Let d be 2/(-6) + 13/21. Let o = 4 + -11. Let j = 5 + o. Is j > d?
False
Let k = 866.6 + -869. Let f = -3.1 - -0.5. Let j = k + f. Which is smaller: -1 or j?
j
Let d 