be 1 + 3*(-5)/(-3). Let p be b(c). Is p at most as big as n?
True
Let o be 3 + -3 + (-24)/58. Let x = 67/232 + o. Which is bigger: -2/9 or x?
x
Let n = 6.05 - 0.05. Let g = 6.1 - n. Let s = 0.1 + -0.3. Which is greater: g or s?
g
Suppose -2*i + 1 = 3. Let j be -4 - i - (-172)/60. Does j = 0?
False
Suppose -2 = 4*h + 2. Let b be 0/(h*(-3 + 1)). Let d = -1/12 - -35/132. Is d at least b?
True
Let i be 2/(-4)*(-21 + 23). Is i smaller than 2/41?
True
Suppose -3*b + 3 = -d + 9, -2*b = 0. Do d and -3 have the same value?
False
Suppose 4*o - 33 = -37. Which is greater: o or 1/18?
1/18
Let j = -18 - -15. Is j > -3?
False
Let y be (-6)/36 + 642/45. Let g = y - 29/2. Which is bigger: g or -4?
g
Let w = 0.13 - -5.87. Let p = -13 + w. Let a = p - -6.8. Is a at least -1?
True
Let o = -125 - -125. Is o bigger than 27?
False
Let a = 4 + -2. Suppose 2*k - a = k. Are k and 1 nonequal?
True
Let g(t) = 4*t - 12. Let d be g(6). Let y = d - 12. Which is smaller: -6 or y?
-6
Let h = 0.03 - -0.97. Which is bigger: h or -5/19?
h
Let b be (-3)/2 + (-3 - (-35)/10). Which is smaller: 5/16 or b?
b
Suppose 6 = -5*r + 3*r. Let d(o) = -o**2 - 3. Let x be d(0). Is r at most x?
True
Suppose 12 = 3*f - 0*f. Let y be (-2 - 0)*f/(-8). Is 1/2 smaller than y?
True
Suppose -4*f + 4*s - 11 = -9*f, 4*f - 13 = s. Let j = f + -4. Which is smaller: 3 or j?
j
Suppose 3*a - 5*d = 33 + 7, -4*d = 5*a - 116. Which is smaller: 0 or a?
0
Suppose 4*c + 0*c - 4*b + 12 = 0, 0 = 5*b. Suppose -4*q + v + v + 58 = 0, -q + 22 = -2*v. Let a be (-3)/(3/q*3). Is c less than or equal to a?
False
Let a be (-3)/(-9) - (-5)/(-15)*-2. Which is bigger: a or 11/26?
a
Let f be (-4)/(-14) - 80/182. Let x be (2/(-4))/((-12)/24). Is f equal to x?
False
Let b(n) = n**2 - n - 4. Let w be b(-3). Let l = 4 - -5. Are l and w unequal?
True
Let d(l) = -2*l**2 + 16*l - 7. Let q be d(7). Which is bigger: q or 5?
q
Let t be (58/29)/(-2*2). Which is smaller: -2 or t?
-2
Let g = 1 + -1.1. Let m = -22.2 - -22. Let d = g - m. Which is bigger: 2 or d?
2
Let q(j) = -j + 0 + 0 + 5. Let r be q(5). Which is smaller: 5/6 or r?
r
Let a be (-25)/(-5)*(0 - -2). Let v be 2*12/a + -3. Which is smaller: -1 or v?
-1
Let u = 2 - 0. Let s be (1/(-2))/(u/(-12)). Suppose 2 = -2*h + 8. Do s and h have the same value?
True
Let x = -21 - -22. Let q = 45 - 991/22. Is q >= x?
False
Let p = -1 - 5. Let i be (-2)/(-4)*p/15. Let z be ((-51)/(-21) - 3) + (-30)/70. Is z at least i?
False
Suppose 5*z + u - 34 = 4*u, -2*z + 2*u = -16. Is 17/4 > z?
False
Let g = -47 - -82. Let j be 16/g - (-2)/14. Which is smaller: 2 or j?
j
Let m(z) = 2*z - 8. Let k be m(13). Let l be (-9)/k - (-5)/2. Does l = 3/5?
False
Suppose 5*m - 50 = 3*w, 1 = 3*m + 5*w + 5. Let d = -2 + m. Suppose 3*o - 6*g + d*g = -6, -4*o = 4*g - 8. Which is greater: o or 0?
0
Let u = -0.3 + 1.3. Let n = -1 + 0.8. Let f = 0.3 + n. Which is smaller: u or f?
f
Let j = -33/2 + 97/6. Suppose -4*a - 5 = c, 2*a - 2 + 3 = -c. Let h be c/2*2/(-3). Is j greater than or equal to h?
True
Let s = 7377/25 + -295. Let o = -56/75 + s. Let c be (-2)/(-8)*4/(-5). Are c and o nonequal?
True
Let w(n) = -2*n. Let x be w(-1). Let c be (664/96 + -7)/((-1)/9). Do x and c have the same value?
False
Let d = -8/11 + 13/33. Let m = 37 + -36. Which is bigger: m or d?
m
Let l = 8 + -6. Let i = 5 - 7/2. Which is greater: i or l?
l
Let x = 1.02 + -0.02. Let q = x - 0. Let t = 0.7 - -0.3. Is t at least q?
True
Suppose 2*c + 0*c = 4*p + 12, -2*c + 5*p = -13. Which is greater: c or 3?
c
Let g = -5/96 + 41/96. Which is smaller: 1 or g?
g
Suppose 0 = -3*u + 2*u - 5*z + 84, 336 = 4*u - z. Let c = 28 + -42. Let f be (-4)/c - 3/u. Is -1 equal to f?
False
Let q be (-2)/4 - (-9)/(-2). Let r = q - -5. Let b = -2714/65 - -208/5. Which is smaller: r or b?
b
Suppose -5 - 11 = -4*y. Let l = -2.1 - -2.2. Which is bigger: l or y?
y
Let b be (-3*(-4)/12)/(-1). Is b at least as big as 6?
False
Suppose -2*i = 4*g - 0*g + 10, 3*g + 11 = -5*i. Is g less than -13/5?
False
Suppose -4*m + 15 = -m. Suppose 3*d + x - 18 = 0, x + 2 = m. Is d != 6?
True
Let x(t) = -t**3 - 6*t**2 + 8*t + 10. Suppose d = -f + 3*d - 13, -4*f - 43 = -5*d. Let s be x(f). Is 4 smaller than s?
False
Let m = 287/52 + -23/4. Is -1 equal to m?
False
Let g be (2/(-3))/(12/(-396)). Is 22 less than g?
False
Suppose 55 = 4*k - 3*z, 0 = 3*k + 2*z - 10 - 10. Is k >= -2/7?
True
Let d be (-1)/((-5 + 3)/2). Which is smaller: 0 or d?
0
Let k = -85 + 120. Are k and 31 unequal?
True
Let o = 1.9 - 1.89. Is -0.1 smaller than o?
True
Suppose 5*t = -25, 5*z + 0*t - 4*t - 30 = 0. Let i be (-2)/(-4)*z*-2. Let k be (0 + (-2)/(-2))/(-1). Which is smaller: k or i?
i
Let q be ((-1)/(-8))/(7/210). Which is greater: 4 or q?
4
Suppose v - 5*y = 6*v - 35, -5*v - 4*y + 39 = 0. Is 13 > v?
True
Let k be ((-6)/(-4))/((-15)/(-40)). Let r be (k/(-10))/(11/(-10)). Which is smaller: -1 or r?
-1
Let y be (0 + 0)/(2 + -6 + 2). Which is smaller: -1/39 or y?
-1/39
Let s(r) = r**2 + 8*r - 6. Let p be s(-7). Let d = -9 - p. Are 4 and d nonequal?
False
Suppose -4*q = 0, 6*l - 2*l - 8 = -2*q. Suppose j = l + 1. Is j > 4?
False
Suppose 0 = 5*o - t + 83, 2*o - t - 2*t + 28 = 0. Which is smaller: -16 or o?
o
Suppose 3*g - 15 = 4*f - 5*f, -31 = -4*g - 5*f. Let r = g + -1. Is 3 at most as big as r?
True
Suppose -4 + 3 = -y. Are 24/11 and y unequal?
True
Let z be (-4)/12 - 7/(-3). Suppose 0 = z*h - 0*h. Let j = 0 - 0. Is h at least j?
True
Let m be 1 - 130/134*(1 + 0). Is -1 equal to m?
False
Let m = 9 + -3. Let q be 38/((1696/m)/4). Let h = -2/53 + q. Which is bigger: 0 or h?
h
Let x = -24.95 + 25. Is -1/3 >= x?
False
Let z = -42/41 - -537/164. Which is smaller: z or 2?
2
Let y = -0.3 + -0.7. Suppose 5*u - j + 7 = -5*j, 0 = -4*u + 2*j - 16. Let t be (4/(8/(-6)))/u. Is y >= t?
False
Let s = -37 - -16. Let x = -16.1 - s. Let k = x + -5. Is -1/2 < k?
True
Let r be 0 + -6 + 2 + 0. Let d be (r/(-8))/((-2)/8). Let v be (12/(-21))/(2/14*3). Which is smaller: v or d?
d
Suppose 0 = -2*f - 4, 3*q - 2*f - 3*f + 8 = 0. Suppose -4*i = 3*b - 4*b - 15, -4*b = -2*i - 10. Let h = b + -9. Which is smaller: q or h?
q
Suppose -17 = s + 7*z - 2*z, 0 = -5*s + 3*z + 55. Let p be (-2)/(-8) - (-46)/s. Let r(c) = -c + 7. Let a be r(p). Is 0 >= a?
False
Let m = -801/335 + -14/67. Which is smaller: m or -2?
m
Let s = 17 - 19.8. Let v = 0.1 - 3.1. Let h = s - v. Which is smaller: h or -1?
-1
Let q(p) = -p - 2. Let x be q(-3). Let r = x - 0. Is r less than 2?
True
Let d be 2 - (-1)/(-8)*(-8 + 2). Which is smaller: 3 or d?
d
Let o(z) = -z**2 + 5*z - 3. Let g be o(4). Let v be 1 + -2 + -2 + g. Let k = v - -1. Is k less than or equal to -1?
True
Let t = -8 + 6. Let o = 4.04 + -4. Let c = 0.04 - o. Is c greater than or equal to t?
True
Suppose -2*t - 2*t = -224. Let p be 58*(-2)/t - -2. Is 0 at least as big as p?
True
Suppose d + 4*h + 4 = 12, h - 2 = -4*d. Which is smaller: 13 or d?
d
Suppose 7*c - 2*c + 2*p = 15, 2*c - 4*p = 6. Suppose -2*x - c*u + 0 - 2 = 0, u = 0. Suppose -5*z = q - 7, 5*q + 11 = z - 6. Which is greater: x or q?
x
Suppose 7 + 5 = 4*b, 4*p - 15 = -5*b. Let t(g) = g - 6. Let q be t(8). Suppose q + 0 = 4*c + r, -3*c - 4*r + 8 = 0. Is p != c?
False
Suppose 1 = -2*y - 5. Let g be -3*(-3)/(y/(-1)). Suppose -1 = -2*a + 3*z, 3*a + 3*z - g = 6. Is a >= 3?
False
Let b be ((-1)/3)/(5/6). Let c = -150 + 153.96. Let q = c - -0.04. Is b >= q?
False
Suppose -4*z = -9*z - 10. Let c be z/(1*(3 + -1)). Suppose -2*y + 3*y = -2. Is y < c?
True
Suppose -3*v - 6 = 0, -v + 0*v = -5*a - 133. Let s be (3 + a/12)/(-2). Which is smaller: -1 or s?
-1
Let w = -13.8 - -14. Which is smaller: 2/7 or w?
w
Let g be 1*(-2)/4*-94. Let q = -32 + g. Let r be q/(-9) - 6/(-9). Is r greater than or equal to -1?
True
Let t = 0 + 0.2. Let v = 0 - 0.2. Let b = t + v. Which is greater: b or 0.2?
0.2
Let g(b) = -b**2 + 7*b - 5. Let s be g(6). Let f be 0 + -4*s/(-28). Are -1 and f non-equal?
True
Let z = 205/7 - 1023/28. Which is greater: -7 or z?
-7
Suppose 0 = -2*k - k. Suppose k = -4*d + 9 - 1. Is d > 1?
True
Let c(d) = d**3 + 4*d**2 - 3. Let z be c(-3). Suppose -o - z = -4. Which is greater: o or -1/2?
-1/2
Let k be (24/98)/((-8)/(-28)). Let h be (-1 + 2)*(0 + 1). Is h smaller than k?
False
Suppose -4*d = -m - 7, -3*m + 4*d + 2 - 7 = 0. Let h = 3 - m. Let y(j) = 4*j**2 + j. Let q b