-96))*4*3. Is a less than or equal to o?
True
Let o = 3 + -4. Let i be (-23895)/8*(-2)/6. Let h = 994 - i. Which is smaller: h or o?
h
Let f = -9876.09 - -9876. Does f = 108?
False
Let s = -12953/2 + 1955897/302. Let r(j) = -2*j - 6. Let x be r(-3). Which is smaller: s or x?
s
Let f = 119528/11 + -10858. Which is bigger: 8 or f?
f
Suppose 0 = -3*b + y - 572, 2*y + 15 = 5*y. Do -0.6 and b have the same value?
False
Let h = 0.1 + -2.1. Let r = -54573.979 + 54574. Which is greater: r or h?
r
Let r be (2/(-4))/((-4)/8). Let y(g) = g**3 + 2*g - 1. Let k be y(r). Suppose k*s + 30 + 82 = 0. Which is greater: -55 or s?
-55
Let d(p) = 84*p - 1045. Let a be d(12). Is 28 equal to a?
False
Let d be 3/(((-4)/356)/1). Let r = -233 - d. Which is smaller: -2/5 or r?
-2/5
Let l(u) = -2*u - 2. Let a be l(0). Let w be 3/((-22)/8 - a). Let k be 15/45 + w/3. Which is bigger: 0 or k?
0
Let q(y) = 2*y**3 - y**2 - 2*y + 2. Let s be q(1). Let w = 0.56 - 0.4. Let l = w - -0.04. Which is smaller: l or s?
l
Suppose 0 = 2*u - 58 + 18. Suppose 5 - u = -5*i. Let a be (4/3)/(i - 9/2). Which is bigger: -1 or a?
a
Let h = -167 - -173. Let b be h - (-57)/(-9) - (-10)/(-6). Is b at least as big as -6?
True
Suppose -5*d + 1852 = 2*r, 3*d + 5*r = r + 1100. Which is bigger: 382 or d?
382
Let x be -7 - (5 - 3497644/290576). Let d = x + -5/143. Which is smaller: 1 or d?
d
Suppose 0 = t + t - 2. Let f = -606 - -603. Let n be (50/t)/((4 + -3)*f). Is -18 not equal to n?
True
Suppose 4*g + 5*j + 116 = 0, 0 = -3*j - 76 + 64. Suppose -2*t + f + 3*f - 56 = 0, -5*t + 5*f - 150 = 0. Let w be g/t + 19/(-20). Which is smaller: 0 or w?
w
Let i be ((-12)/(-8))/(322/28 - 10). Which is smaller: i or 10/2913?
10/2913
Let t(h) = -h**2 + 9*h + 6. Let w be t(8). Let k(s) = s**3 - 4*s**2 - 18*s + 7. Let j be k(5). Let c = j + 73. Is c at most w?
False
Suppose 185*w + 64*w - 400 = 596. Let x = -0.48 + -0.62. Do x and w have the same value?
False
Let z(d) = d + 1. Let g(l) = -l**2 - 10*l - 6. Let y be g(-9). Let f be z(y). Let w(m) = -5*m + 19. Let s be w(f). Which is bigger: -1/29 or s?
-1/29
Let h = -2459 + 2764.7. Let n = 306 - h. Let o = -0.7 - -3.7. Is n less than or equal to o?
True
Let b be (-2 + 10/6)*3. Let y be (-1)/(-7) + 4*(-78)/420. Is y greater than b?
True
Let m be 0/(3/((-6)/10)). Suppose m = 2*a + 5*a - 98. Let k be (7/a)/((-6)/4). Which is bigger: 1/40 or k?
1/40
Suppose -5 + 4 = 3*t + m, -m - 1 = -2*t. Let l(a) = a + 1. Let u be l(t). Let h be (-2 + u)*3/(-12). Is -10 equal to h?
False
Let t = 84.42 - 148.3. Let m = t + 8.98. Let c = m + 55. Are c and 2.2 equal?
False
Let c = 63 - 57. Let o = c + -6.7. Let l = -8 - -26/3. Which is greater: l or o?
l
Let a be (14/4 + 0)*14904/(-966). Are -55 and a equal?
False
Suppose 5*n + 137 = 4*b, 0 = 2*b - 2*n - 53 - 15. Is b less than 48?
True
Let a = -395 - -589. Let k = a + -240. Is -46 at least as big as k?
True
Suppose 2*j + 6 = -2*m, -2*m - 4*j - 17 = -7. Let u = 8.5 - -23.1. Let v = -34.3 + u. Which is bigger: m or v?
m
Let i = 1685 - 1476. Which is greater: i or 211?
211
Let d = 412 - 396. Suppose 5*s = w + s + 18, 0 = -w + 2*s - d. Which is smaller: w or -1?
w
Let y = 2336 + -1311. Suppose 143*g - y = 148*g. Which is greater: g or -206?
g
Let x be 14/(3 + 10/(-4)) - -2. Suppose 75 - x = 5*w. Is 16 < w?
False
Let y(t) = -21*t**3 + 11*t**2 - 7*t - 20. Let h(p) = -11*p**3 + 6*p**2 - 4*p - 11. Let f(o) = -11*h(o) + 6*y(o). Let s be f(0). Which is bigger: 1/246 or s?
s
Let s = 1001.914 + -1002. Is 0.31 greater than s?
True
Suppose 5*o - 23*o = 72. Let c be (o/70)/((-45)/105). Is c at least -0.19?
True
Suppose 4*k + 4*j = 2*j - 538, 0 = j - 1. Are k and -676/5 non-equal?
True
Let r be (732/3660)/(((-152)/30)/4). Let w(o) = 2*o - 1. Let p be w(1). Do p and r have the same value?
False
Let j(o) = -7*o - 5. Suppose -5*l = -3*b, -4*b = l + b - 28. Let v be j(l). Let u = -62 - -37. Which is greater: v or u?
u
Let q = -199 + 205. Suppose -q*x + 669 = -4*l - 3*x, -334 = 2*l - 2*x. Which is smaller: -169 or l?
-169
Suppose 2*b + l - 38 = 0, 30 = 2*b + 3*l + 2*l. Let f be ((-5)/(10/4))/(5/b). Let s be (-12)/f - 4/8. Is s <= 5/14?
False
Let d = 22.6 + -22.058. Let a = -1.042 + d. Let m = -1.3 - -0.3. Is a at least m?
True
Let p(v) = 188*v + 1024. Let q be p(-11). Which is bigger: q or 2?
2
Let m = 12277 + -12539. Is m > -2613/10?
False
Let l(d) = -35*d**2 + 632*d - 36. Let m be l(18). Which is smaller: -1/1117 or m?
-1/1117
Let o = -10.09 - -802.09. Let s = 793 - o. Is 37.2 > s?
True
Let n be -8 - (-264)/(-22) - -15. Which is smaller: -35.5 or n?
-35.5
Let i = -198 + 205. Let o(k) = -36*k + 49. Let l be o(i). Is -202 < l?
False
Let r = 0.23166 - -0.25134. Is 0.07 less than r?
True
Let j = -424 - -262. Let i = j + 105. Is i not equal to -1/4?
True
Let z be ((-7)/189)/(0 - -3). Let y be 29/((-203)/14)*1. Which is smaller: z or y?
y
Let q = 59 - 58.954. Let a = 2.654 + q. Let w = a + -4.3. Is w less than or equal to -2/11?
True
Let p = 78925 + -236738/3. Let s(a) = -a**3 + 5*a**2 + 9*a - 6. Let i be s(6). Which is smaller: i or p?
i
Let k(q) = 4*q**2 - 20*q + 129. Let r(z) = 3*z**2 - 21*z + 133. Let a(c) = -4*k(c) + 5*r(c). Let i be a(-30). Which is bigger: -0.11 or i?
-0.11
Suppose -24*c = -79*c - 89*c - 144. Which is greater: 11/32 or c?
11/32
Let n = -13967 - -10394. Which is greater: n or -3572?
-3572
Let w(t) = 5*t - 92. Let k be w(20). Let m be ((-99)/6)/(12/(2 + 2)). Is m less than or equal to k?
True
Let b be (1 + 2/(-4))*-24. Let o = 73268 + -73263. Do b and o have different values?
True
Let l = -31.56 - -32. Let k = l - -1.16. Let y = 2.7 - 0.7. Does y = k?
False
Suppose 2*l - 7 = 3*l - 3*s, 3*s = 5*l + 11. Let g be (-388)/686 + (-3 - (-75)/21). Is l not equal to g?
True
Let m = 6.433 + -0.133. Let r = -18.3 + m. Which is smaller: -0.4 or r?
r
Let t be 3/42*-4 + 48/21. Let a(b) = 16*b - 5 - b**3 + 3 + 2 - 6*b**t. Let o be a(-8). Do o and 5/12 have different values?
True
Let r be 52/78*((-6)/14)/((-2)/(-427)). Which is smaller: -299/5 or r?
r
Let j(r) = 32*r**2 + 18*r + 2. Let a be j(-4). Let q = a - 443. Does q = -25/26?
False
Let h be (-7833)/(-21)*(-10 + 5). Is -1865 > h?
False
Let z be 0/(((-2)/(-4))/(14/28)). Suppose -4*b + 2*g + 6 = z, -3*b + g - 23 = 5*g. Let k = 1088/5 - 219. Which is smaller: b or k?
k
Let w = 11/2305 + -4643/6915. Which is bigger: 3719 or w?
3719
Let y be 24/(-64) + (-83)/(-8). Suppose 2 = -8*u + y*u. Let x = -6949/36 - -193. Which is bigger: x or u?
u
Let d = 773 + -78071/101. Suppose -o + 1274 = 1273. Are d and o unequal?
True
Suppose 2442 = 259*g - 253*g. Let h = 488 - g. Which is bigger: h or 80?
h
Let t be 1/(1/((-56)/(-16))) - 3. Let h = -0.21 - -18.21. Let l = 17.99 - h. Which is greater: l or t?
t
Let n = 10 - 14. Let w be 1 - ((-36)/15 - n). Which is smaller: w or 0?
w
Suppose -264*r - 933517 + 186456 = 172187. Which is smaller: -3483 or r?
-3483
Suppose -21*f - 319391 = 83*f - 83311. Are -2271 and f non-equal?
True
Let f = -86 + 110.75. Let x = -332 + 357. Let v = f - x. Are -1/3 and v unequal?
True
Suppose 5*b + 5*u - 4*u - 256 = 0, 4*b = -3*u + 207. Suppose 0 = 2*t + b - 47. Let k be ((-27)/9)/(15/t). Do k and -1 have the same value?
False
Let m = 206476 - 1432591/7. Is 1821 >= m?
True
Let a be (52/(-28))/(13/(-91)). Suppose -18*b + a*b = 5*y + 10, -2*b = 2. Is y bigger than 1/65?
False
Let g(b) = -b**3 - 34*b**2 + 56*b - 111. Let p be g(-36). Let h = -464 + p. Which is bigger: h or -2/873?
h
Let f = -1.2 + 1.05. Let j = f + 0.188. Let o = j + 0.282. Which is bigger: o or -0.1?
o
Let x = -28.08 + 27.98. Which is bigger: x or -2490?
x
Suppose 15 = -3*f - 5*b, 2*f + 5*b = -3*f - 15. Suppose f = -4*d - 3*k + 53 + 28, 0 = 4*d + k - 75. Is d not equal to 13?
True
Let x = 381712 + -3442078/9. Let c = x - -742. Is 3 less than c?
False
Let k(w) = 91*w - 13. Let m be k(7). Let d be (-2)/(-30)*(1 + 112328/(-12)). Let j = d + m. Is j smaller than -1?
False
Suppose -u - 3*i - 5 = i, -5*i - 25 = 0. Let o be 35 - (45 - (17 - -7)). Which is smaller: o or u?
o
Let l(s) = -6*s**3 + 3*s**2 + 3*s + 7. Let i be l(-2). Suppose 5*y - 87 = -2*j, 5*y - 3*j = 21 + i. Which is smaller: -0.4 or y?
-0.4
Let t = 17.1 + -17.319. Let x = t - -0.129. Is x at least as big as 0.3?
False
Suppose 77*o - 86*o - 1557 = 0. Let r = o - -256. Is r