 or -2/3?
-2/3
Let t be 30/9 - 8/12*-1. Suppose -3*s + 3*a = s - 15, -s - 4*a - 1 = 0. Let h = s - t. Which is smaller: 2 or h?
h
Let o(w) = 11*w - 5. Let p be o(9). Which is bigger: 93 or p?
p
Let n = 1419/34 - 83/2. Let s be (-12)/(-20)*5 + -4. Is s != n?
True
Let m(c) = 13*c + 105. Let o be m(-10). Is -22 equal to o?
False
Let j = -178 + 2663/15. Let d = 1/15 + j. Is -7/4 bigger than d?
False
Suppose g - 3*q = 3*g + 55, 4*g - 3*q = -101. Let n be (-4)/(-6)*75/(-2). Which is bigger: g or n?
n
Let w = 0.1561 + -4.1561. Which is bigger: 1/80 or w?
1/80
Let w be (1 + 4)/((2/(-4))/(-1)). Is 3 > w?
False
Let a be (-1)/(-2) - 22/52. Let s(h) = 2*h + 1. Let c(d) = -3*d - 1. Let k(b) = 3*c(b) + 4*s(b). Let j be k(0). Which is greater: a or j?
j
Let y = -139 + 154. Let s be 10/y + -2*14/24. Which is greater: 0.1 or s?
0.1
Let d = -506 - -508.2. Is d greater than -3?
True
Let k be ((-6)/(-4))/(8/16). Let m be 4/(-16)*k/4. Are -1 and m nonequal?
True
Let b = -450 - -415. Is b >= -7?
False
Let b be 19*(-2)/5 - 2. Suppose 1867*l + 44 = 1863*l. Which is smaller: b or l?
l
Let u = -387 + 385. Is -2 equal to u?
True
Let t(r) = r**2 + 9*r + 13. Let v = 4 + -11. Let j be t(v). Is j less than or equal to 3/16?
True
Let u = -6 - -15. Let i be (-2 - 0) + (15 - 9) + 0. Suppose -i = -4*o + 4*r, o + 5*r + 5 = -0*o. Is u != o?
True
Suppose -2*f + 10 = -0*f. Let t = 48 - 38. Suppose 3*a - t = a. Is f at most a?
True
Let w = -285/58 + 12/29. Let c(r) = -r**3 - 5*r**2 - 2*r - 3. Let i be c(-5). Let m(s) = -2*s + 8. Let a be m(i). Are a and w nonequal?
True
Suppose -4*s - 11 = -5*x, 12 = 3*s - 0*x + 3*x. Let v be s/7 - 527*5/70. Which is bigger: v or -39?
v
Let j = 765 - 765.329. Let r = -0.089 - j. Is r >= -1?
True
Let n = 0.17 - 0.06. Let k = 6/25 - -1/100. Which is smaller: n or k?
n
Suppose 4*m + 2 = -2*p, m - 4*p - 24 + 2 = 0. Suppose m*v + 6 = 14. Is v greater than 14/5?
True
Let g(m) = 6*m**2 - m - 4. Let k be g(-2). Let v = k + -4. Suppose d + d = v. Is d smaller than 8?
False
Let q = 0.093 - 0.193. Which is smaller: -62 or q?
-62
Suppose -5*h + 354 - 794 = 0. Is -88 at most as big as h?
True
Let z be 2/(-4)*(-2 + 6). Let s be (0/z)/(-1 - 1). Which is bigger: -3 or s?
s
Let q be (2 - 16/10)*2150. Let n be (2 + q/(-232))/2. Let y = n - -3/29. Which is smaller: y or -2?
-2
Suppose f + 40 = 9*f. Suppose 0 = h - s - 2, h - 3*h + f*s + 16 = 0. Is 20 < h?
False
Let w = -2427/1140662 + -2/3151. Which is smaller: w or 0?
w
Let c = -2.4 + 2.34. Let s = -0.94 + c. Let h = s + -4. Which is bigger: h or 1?
1
Let g = -13.2 + 13. Let k = g + 12.2. Do -0.1 and k have different values?
True
Let o = -166 + 152. Which is bigger: o or -13?
-13
Let w be (-4)/14 - 1692/(-42). Suppose 0 = 6*r - 3*r + 5*a + w, 44 = -3*r - 4*a. Let p be (-12)/9*6/r. Are 1 and p equal?
False
Let g = -51 - -42. Is -1.4 <= g?
False
Suppose -t + 2*x - 10 = 0, -x = 3*x - 20. Suppose t = -13*m + 6*m - 182. Suppose 108 = 2*f - 6*f. Is f smaller than m?
True
Let d = -2906 - -369073/127. Which is greater: d or 1?
1
Let z be 0 - (-1)/(64/(-540)). Let g = z + 65/8. Is 1 greater than g?
True
Suppose 10*b - 5*b + 2*z + 4254174 = 0, 4*b = -z - 3403341. Let u = b - -8121228836/9545. Let n = u + -2/415. Which is bigger: n or 0?
0
Let s = 189 + -188.3. Are s and -0.4 nonequal?
True
Let j = -83624/171 + 10098/19. Is j greater than 42?
True
Let l = -4 + 3. Let m = -4.066 - -0.066. Let q = m + l. Which is bigger: -0.1 or q?
-0.1
Let l = -79 - -159/2. Are -0.228 and l equal?
False
Suppose x - 6*b + 2*b - 17 = 0, 30 = 4*x + 3*b. Suppose 3*r = 6, -2*p + 5*r - 6*r = -18. Is p equal to x?
False
Let n = 623/30 + -103/6. Is -3 greater than or equal to n?
False
Let k be (-3)/7*((-410)/(-90) + -5). Which is smaller: -3 or k?
-3
Suppose 5*v + 101 = -19. Let m = v - -119/5. Let w = 0 + -2. Which is greater: m or w?
m
Suppose -4*k = -k + 51. Let h = k - -17. Suppose h = 4*a - 7*a. Do 7 and a have the same value?
False
Let h be ((-2)/6 + 322/1380)/2. Which is smaller: h or 2/17?
h
Let t = -113/540 - -1/108. Is -23 smaller than t?
True
Let t be (-2)/10 + (-52)/(-10). Suppose -52 = t*c + 13. Let b(l) = l**3 - 3*l**2 - 66*l + 14. Let z be b(-7). Is z > c?
False
Let w be 0 + 0 - (-1)/(8/240). Is 30 > w?
False
Let u = -4 - -5. Let a = 14 - 13. Suppose n - a = 2*n. Which is bigger: n or u?
u
Suppose -5*o + 3*o = -8. Let f be -3 + 1 - 35/(-14 + 7). Suppose 65 = -5*q + 2*r, -o*q - f*r - 49 = -4*r. Which is greater: -13 or q?
q
Let c be -2 - (3100/(-8))/(-5). Let k = c + 78. Let z be 3/(-18) + (-20)/24. Which is smaller: z or k?
k
Let y be (-15)/3 + 76 - 2. Suppose -15*w = -12*w - y. Which is bigger: -2/5 or w?
w
Let j = 0 + 26. Let w = -27 + j. Let a = -1.98 + -0.02. Is a != w?
True
Suppose k + 100 = -4*k. Let z = 21 + k. Is -2/53 at least as big as z?
False
Let x = -5324/25 - -213. Let y(r) = r**3 - 7*r**2 + 2*r - 11. Let f be y(7). Suppose -3*l + s + f*s - 8 = 0, 4*l = 3*s - 6. Which is bigger: x or l?
x
Let h be (-7)/((-7)/2) - -5. Let o = -11 - -19. Which is smaller: o or h?
h
Let o be (-10 - -11) + -1 + 24. Let n be ((-16)/(-14))/(o/84). Suppose -16 = -2*f - 2*f. Is n > f?
False
Suppose 2*y - 30 = -2*i - 3*i, -6 = -i + 5*y. Let j be (2 - 4/i)*-3. Is -3 at most as big as j?
False
Let q = 2.3 + 25.7. Let i = -27.97 + q. Is i at most as big as 1/6?
True
Let l = -0.352 - -0.092. Let k be (-12 - -13) + (-14 - 0). Let t = -12 - k. Is l at most as big as t?
True
Let i(m) = -4*m + 1 + 0*m - m + m. Let s be i(1). Let y(f) = -f**3 + 3*f**2 + f - 6. Let x be y(3). Is s <= x?
True
Let d be (-2)/(-3)*(-36)/(-24). Let g be d + (80/(-4))/4. Which is bigger: g or -3?
-3
Suppose 4*x + 0*x - 132 = 0. Suppose -3*k + 36 = x. Is k smaller than 4/33?
False
Suppose -7 = -i - 3*i + 5*s, -2*s = 3*i - 11. Let v be 4 + i*-2 + 7. Suppose 3 = -v*m + 8. Which is smaller: m or 7/4?
m
Let l = -32 - -39. Suppose 0 = 8*g - l*g. Which is smaller: g or -1?
-1
Let r = -8 - -3. Suppose -y - 12*c + 8*c = -10, -12 = 3*y - 2*c. Which is greater: r or y?
y
Let b = -53 - -80. Let j = b - 26.9. Which is smaller: 6 or j?
j
Let t be 4/(-144) - (-4)/(-18). Let f = 4 + -2. Suppose 0*b = f*b + 2. Is t greater than b?
True
Suppose 4 + 2 = 3*w. Suppose 14*c + 15 = 267. Which is smaller: w or c?
w
Let k = 909 + -908.9. Is k at most as big as 8?
True
Let p(o) = -o**3 + 10*o**2 - 10*o + 10. Let n be p(9). Let w be 0 + 10/(-14) + n. Is w < -1?
False
Let a be ((-176)/(-12))/4 - 3. Let b = -33.09 - -0.09. Let f = b + 40. Is a bigger than f?
False
Suppose 5*p + 0*i = 3*i + 1017, 2*i = 2. Let d = p + -3877/19. Which is smaller: -0.1 or d?
-0.1
Let n be 7*(-3 - -4) - -1. Let z be 10/n - 3/(-4). Suppose -3*j = 4*m - 44, -5*m + 40 = -z*j - 38. Does m = 14?
True
Let d = -1/2325 + -1547/6975. Is d greater than or equal to -0.074?
False
Let a(l) = -21*l**3 + 3*l**2 - l - 2. Let j be a(2). Let m = j + 2722/17. Suppose -45*x + 266 = 221. Which is greater: m or x?
x
Let n = 1848.8 - 1697. Is 1 >= n?
False
Let v be 30/(-75) - (-1)/(10/124). Suppose w - 5*w = -44. Is v < w?
False
Let f = -1674 + 1674. Which is smaller: f or 2?
f
Let b be 26/(-2) - 1/(4 + -5). Suppose 5*t = 65 - 15. Let i = t + b. Which is greater: 1/4 or i?
1/4
Let c(j) = -2*j**2 - 26*j - 26. Let f be c(-19). Let z = f + 6860/27. Suppose 0 = 4*r, 5*h - 3*r = -4 - 1. Is z smaller than h?
False
Suppose -16 = 2*z - 60. Let w be (-2)/11 + (-40)/z. Which is bigger: w or 2/3?
2/3
Suppose f + 353 = -2*r - 0*r, 5*r = 25. Let i = 26863/74 + f. Is 0 greater than i?
False
Suppose 0 = -5*h - 0 - 5. Suppose 0*q + 3*q - 3*r - 36 = 0, 0 = -2*q - 4*r. Suppose -3*w - 5 = -q*w. Is w at least h?
True
Let s(b) = b**3 + 9*b**2 + 13*b - 3. Let f be s(-7). Let o be (2/f)/((-92)/96). Which is greater: 0 or o?
0
Let i be (5/80)/(3/(-1434)). Is i at most as big as -1?
True
Let i be (8/6)/((-8)/(-12)). Let y(m) = 7*m**3 - 2*m + 3. Let z be y(i). Are z and 55 equal?
True
Let d be (((-2)/(-3))/(-2))/((-28)/8). Which is greater: d or 1?
1
Let d = -42 + 207/5. Let y(b) = -95*b**2. Let c be y(-1). Let o = c + 667/7. Which is bigger: o or d?
o
Suppose 67 = 5*a + 4*i, -2*a + 22 = -4*i + 8*i. Which is bigger: a or 111/8?
a
Suppose 149 = -3*w + 8*w - 3*v, 0 = -4*w - 2*v + 106. Is 24 bigger than w?
False
Let n = -126 - -115. Let j(x) = 4*x - 2. Let f be j(5). Let g be (f