s smaller: -56 or v?
v
Let g be (68/357)/((-4)/14). Is 98 at least as big as g?
True
Suppose 163 = 42*b - 131. Which is greater: 178/27 or b?
b
Suppose -8574*j = -8582*j - 952. Which is smaller: -118 or j?
j
Let b be 3/(-6) - 3/(-2). Let o = -2/5117 + 5127/25585. Is o greater than b?
False
Let z be (2/12)/(5/6). Let j be 161/(-684) - (-2)/9. Let n = -29/38 - j. Which is greater: n or z?
z
Let g be (-29 - -2)/(-3) + 1. Suppose -x = -2*x - 3*p + 23, 0 = 2*p - g. Let z be (x/54)/(10/(-15)). Which is smaller: -1 or z?
-1
Let f be (1 - (-12)/2)*1. Let i(q) = -q - 11. Let x be i(-9). Let p be (f - 11)*x/(-8). Which is smaller: -1/23 or p?
p
Suppose 16*r + 420 = 36*r. Which is bigger: r or 17?
r
Let q = -14669/43 + 341. Let j = 1596/131 + -107519/11266. Let u = q + j. Which is smaller: 0.1 or u?
0.1
Let w = 48 - 74. Let k = 31 + w. Suppose -10 = 4*d - n + 17, 4*d + k*n + 9 = 0. Which is greater: -4 or d?
-4
Let u be 20/144 + (-1)/4. Suppose 8*o + 12 = 20. Which is smaller: u or o?
u
Let w(d) = 2*d - 4. Let o be w(4). Let u be (-1)/o - 602/(-8). Let j be u/7 - (-8)/28. Is 2 smaller than j?
True
Let o(w) = -24*w + 95. Let k be o(4). Which is smaller: -32/31 or k?
-32/31
Let x be (10/35)/(2 - -1). Let h = -24289/55 + 2044/5. Let b = h + 33. Which is smaller: b or x?
x
Let i = -51.01 - -51. Does -47 = i?
False
Suppose -30 + 18 = -3*p. Let g be (43/(-3) + p)/((-1)/3). Is 32 at most as big as g?
False
Let a(j) = -j**2 - 4*j + 12. Let g be a(4). Is g >= -2/5?
False
Let c = 0.2 + -0.2. Let u = 6.42 - 75.72. Let l = -71 - u. Is c at least as big as l?
True
Let b be 15/6*(4 - 0). Suppose -7*t - 9 = -b*t. Suppose -5*j - t = -8. Which is bigger: 2/5 or j?
j
Let t(f) = -104*f + 1. Let j be t(-3). Let a = j - 1579/5. Is a > -4?
True
Let f be 6 - ((3 - (-9 - 4)) + -1). Suppose -4 = -4*l - 40. Is f < l?
False
Let g = -1602/5 + 320. Which is smaller: g or 84?
g
Let z(l) = -l**3 + 2*l**2 + 3*l + 2. Let h be z(-2). Suppose 5*q = 2*q + 2*o - 6, -4*o = -h. Which is smaller: q or -2?
-2
Let a = 25/2 - 179/14. Is a at least -48?
True
Let l be (-4 - 2) + (-15)/5. Let n be ((-1)/l)/(2/2). Let f be (-18)/(-30)*5/2. Is f at least n?
True
Let k = -34 + 37. Let z(b) = -2*b + 1. Let j be z(k). Is j equal to -5?
True
Let j = 5 - 1. Let v be 2/3*(-6)/j. Let k be (12/12)/(26/8). Which is greater: k or v?
k
Let x = 13.7 - 10. Let k = 3.8 - x. Is 5/9 > k?
True
Let a = -500 + 499. Which is smaller: 2/1869 or a?
a
Let s(b) = 5*b - 15. Let w be s(11). Is 79/2 equal to w?
False
Let j = -5.97 + 7.5. Let q = j - 0.23. Let v = q - 0.3. Which is bigger: v or -1/4?
v
Let z = 1/7578 - 45899/3266118. Is z >= -1?
True
Let p be (-2)/8 - -1095*(-7)/28. Is p less than -274?
False
Let j(o) = -o**3 + 2*o**2 - 4. Let g be j(-2). Let u be (6/(-72))/((-3)/g). Is u <= -1/4?
False
Suppose 42 = -5*s - 2*m, 2 = 3*s - 2*s + 3*m. Let l(f) = -2*f - 128 - f + 4*f + 136. Let d be l(s). Do d and -2 have the same value?
True
Suppose v + 5 = 2*b + 3, -v - 4*b - 14 = 0. Let f be 56/105*v/(-40). Let y = 3 - 2. Which is bigger: y or f?
y
Let b be 8 + -19 + 14 + (-8)/2. Which is smaller: -705 or b?
-705
Let h(n) = -3*n - 7. Let q be h(-2). Let r be (-1728)/1961 + (6 - 4). Let d = 40/37 - r. Which is smaller: q or d?
q
Let n(y) = y**2 - 2*y - 3. Let b be n(-2). Let p be 1/(-3 + 16/b). Suppose -5*l = 2*q - p, -q + 4*q = 2*l - 2. Which is bigger: q or 1?
1
Let r = 28.31 + -0.31. Let h = -29 + r. Which is smaller: -0.1 or h?
h
Let s = -91607 - -639994/7. Let i = -179 - s. Which is smaller: i or 4/5?
i
Suppose 0 = -4*r + 4*x - 168, 5*r - 55 + 238 = -4*x. Which is smaller: -63 or r?
-63
Suppose -5*b - 21 = 4*v - 3*v, 2*b = -4*v - 30. Let j be 2 - 2 - (0 - v). Let t(a) = -a**2 + 3*a + 3. Let y be t(5). Which is greater: j or y?
j
Let y be ((-5)/(-3))/(188/(-186) + 1). Let z = -129 - y. Is 27 at least as big as z?
True
Let o(m) = -m**2 + 13*m - 5. Let r be o(12). Let d = r + -6. Let z be d - (0 + (-4)/(-8)). Which is bigger: z or -11?
z
Suppose 7 = 3*f - 3*z - 5, -23 = -5*f + 2*z. Suppose f*n = -9 + 49. Let i = 15/2 - n. Is 1 not equal to i?
True
Let m(k) = k**2 + 27*k + 63. Let t be m(-24). Is -9 greater than or equal to t?
True
Let n = 76 - 139. Which is bigger: n or 1?
1
Let h = 3673/389571 - 3/1427. Is h > 1?
False
Let b = -22 - -23.5. Let v = 3 - b. Is v > -0.1?
True
Suppose 6*b = 290 + 286. Let v be (b/(-18) - -5)*3. Is v bigger than -1/5?
False
Let b = 1316 + -1317. Is -46/35 equal to b?
False
Let m(w) = -w**3 - w**2 - w + 1. Let f be m(0). Let u be 2/8*((-308)/17 + 5 + 13). Which is greater: u or f?
f
Let j = -0.0019 + 50.9019. Let u = j + -51. Which is bigger: u or 1/7?
1/7
Let o = 144 + -160.8. Let i = o - -16. Is i > 0?
False
Suppose 3*j = 3*z - 2625, 2*z + 0*j + 2*j = 1738. Let s be (-630)/z - 12/16*-1. Is s bigger than 0?
True
Let z(m) = -m**2 + m + 5. Let q be z(-4). Let h be (-10)/4*3/q. Let g be (-4 + 98/21)*6/4. Is h not equal to g?
True
Let w(g) = g - 63*g**3 - g - 2 + g - g**2 + 1. Let n be w(1). Let v = n - -450/7. Is -2/3 at least v?
False
Let l = 759 - 5311/7. Is 84.7 > l?
True
Let z = -40 + 28.45. Let q = z + -0.45. Let g = 0 - -0.1. Which is bigger: g or q?
g
Let l = 2.06 - 2. Suppose -v - k = -1, k + 5 = 10*v - 13*v. Which is greater: l or v?
l
Let p be (-8960)/84 + ((-2)/6 - -1). Is p at most as big as -107?
False
Let y = -35877/29 - -1237. Which is smaller: y or 1?
y
Suppose 397*f = 398*f - 278. Which is smaller: 280 or f?
f
Let v be (-205)/(-275) - 4/20. Is 2 bigger than v?
True
Let a = -228 + 225. Which is bigger: -1 or a?
-1
Suppose 12*t = 2*s + 10*t - 92, -2*s + 3*t + 88 = 0. Are 0.1 and s equal?
False
Let h be (203 + -10)/(0 + -1). Let q = 587/3 + h. Which is greater: 1 or q?
q
Let p(z) = -82*z**2 + z + 1. Let w be p(-1). Let s = -1/13143 + 3237562/39429. Let g = s + w. Which is bigger: g or 0?
g
Let w be ((-2)/10)/((-10)/100)*26. Let q be w/(-7)*((-8)/(-16) + -4). Suppose x - 58 = -2*k + 3*x, 0 = x + 3. Is k < q?
False
Let d = -3.96 - -3.88. Are d and -4/21 non-equal?
True
Let m = -39 - -49. Suppose 0 = m*f - 8*f. Which is bigger: f or 4/7?
4/7
Suppose -297 = -4*t + 319. Let h be (-14)/77 - 236/t. Which is smaller: h or -3?
-3
Let c be ((-1976)/60 - 2/5)*-3. Which is smaller: c or 99?
99
Let f = -152 - -152. Which is greater: 155 or f?
155
Let n(l) = l - 2. Let r = -11 - -16. Let s be n(r). Which is greater: s or 0?
s
Let a = 2442513/9415 - 1816/7. Do a and 1 have the same value?
False
Let l = -0.5 + 0.5. Let r = 5 - 5.6. Let n = r - -2.6. Which is bigger: n or l?
n
Let h(k) = k + 7. Let r be h(-4). Suppose -5*b - 3*i + 27 = 0, -2*b + 21 = 3*i + r. Is 3 not equal to b?
False
Let n = 14.2 - 1.6. Let m = 12.5 - n. Which is bigger: 5 or m?
5
Suppose 2*q - 29 = -0*q + 5*l, 5*q - 5*l - 35 = 0. Suppose q*r + 2*r - 15 = -3*t, 0 = -5*r + 15. Is -26 != t?
True
Suppose 0 = -2*p - 5*a - 69, p = a - 5*a - 33. Let u = p - -35. Which is greater: u or -5/9?
-5/9
Let n = -0.072 - -0.135. Are 0.1 and n equal?
False
Let k = 10 + -5. Suppose 0 = 5*p - 5*s - 135, -3*s - 133 = -0*p - k*p. Let f be 6/24 - p/(-8). Which is bigger: -1 or f?
f
Let k(n) = 2*n**2 - 2*n - 1. Let o be k(-2). Let p = -9 + o. Suppose 0 = -2*m + p. Which is smaller: -4/3 or m?
-4/3
Let y be (38/(-7))/(88/(-4928)). Is y < 303?
False
Let f = 7 - 15. Let k be 0/(2/(f/(-4))). Suppose k = -4*l - 0*l, r - 2*l = -1. Is r at most as big as -1?
True
Let a be (-6)/4*(3 - 7). Let f be (-6)/(-4)*a/9. Which is smaller: 0 or f?
0
Suppose -8*a - n + 2 = -5*a, a + 10 = 5*n. Which is bigger: -0.098 or a?
a
Let h be (-2)/(-8) - 28/(-16). Let t(a) be the second derivative of -a**5/20 + a**4/12 + a**3/2 - 3*a**2/2 + 5*a. Let o be t(h). Which is greater: o or 1?
1
Let b(g) = 944*g**3 + 4*g**2 + 12*g + 11. Let m be b(-1). Are m and -941 equal?
True
Let b = 751.6 + -754. Is 7 smaller than b?
False
Let o = 158 + -158. Which is greater: o or -1/56?
o
Let s = -0.48 + 0.39. Let i be 3*16/12 + (-34)/8. Which is smaller: s or i?
i
Suppose 108*y = 107*y - 4. Let o be y*(1 + (-2 - -2)). Is o equal to -13/4?
False
Let v(x) = -7*x**2 + 2*x - 3. Let y be v(-5). Let m = -3946/21 - y. Do m and 0 have different values?
True
Suppose r - 3*n = -2*n + 1, -5 = -5*r - 5*n. Does r = -2/911?
False
Let g = 20 + -22. Suppose 10 = 2*i, -5*j - 2*i + 90 + 10 = 0. Let r be (-93)/j - (2 +