41. Is f >= -1?
True
Let k = -2 + 3. Suppose -3*g + 0*i + 5*i = -32, -3*i + 42 = 5*g. Suppose a = -d - 4 - k, 0 = d - a + g. Is d smaller than -0.1?
True
Let v = -0.2 - -0.3. Let j = v + -0.2. Let x be (11 + -17)/(9 + -8). Is x at most j?
True
Let d be ((-64)/128)/((-5)/3). Let t = -3 + 2. Is d >= t?
True
Suppose -37*t - 6 = -43*t. Which is smaller: -4/11 or t?
-4/11
Suppose 8*s = 16*s - 56. Suppose 15 = 22*j - s. Let z(u) = -u**3 + 3*u**2 + 3*u + 3. Let g be z(4). Is g != j?
True
Let j = 13067/39 + -335. Let c = j - -269/78. Suppose -o + 3*o = 0. Is c not equal to o?
True
Suppose f + d + 0*d + 3 = 0, -4*f = -d + 2. Let a = 56937757/154 + -369721. Let n = 54/11 - a. Which is smaller: n or f?
f
Let z = -1217.93 - -1237. Let w = 0.07 - z. Which is bigger: 0.2 or w?
0.2
Suppose 9*a = 4*a - r + 21, r + 9 = a. Suppose x - 3*d = -5*d + a, -5*x - 4*d = -19. Suppose 12 = -x*s + 5*s. Which is greater: 5 or s?
s
Let r be 1/((-3)/9) - 298/(-94). Which is bigger: -1 or r?
r
Let n be 7/(21/(-18)) + (16 - 11). Is 2/3563 at least n?
True
Suppose 6*h + 4 = 2*h. Suppose -3*f + f + 2*u + 26 = 0, 5*f - 53 = 2*u. Let l be 2/f + 48/(-54). Do l and h have the same value?
False
Let q = -53 + 11. Let t be q/98 - 132/(-14). Suppose -a + 34 = 4*y, -5*a + 1 = y + 2. Is y greater than or equal to t?
True
Let v(m) = -12*m**2 + 2*m + 4. Let r be v(3). Which is smaller: r or -97?
r
Let x be ((-496)/(-310))/(4/70). Does 3/13 = x?
False
Let y = -37 - -36.57. Let n = 2.97 - y. Let m = n + -1.4. Is 2 <= m?
True
Let k = -681 - -195453/287. Which is bigger: k or 1?
1
Let t(c) = -c**2 + 9*c + 5. Let q be t(-6). Let u be 8/5 - 27/45. Let o be u/(-5) - 51/q. Is -2 <= o?
True
Let d(l) = 3*l - 63. Let o be d(20). Let n = -1359/536 - 6/67. Which is smaller: o or n?
o
Suppose -x + 166 = -2*m + x, 3*m = x - 257. Is m at most as big as -88?
False
Let s be (117/351)/(14/(-6) - -1). Are -3/74 and s unequal?
True
Let j be 7/((-21)/(-36)) - -3. Suppose -6*z + 9*z - j = 0. Suppose 2*v = -r + 1 - 2, 0 = -r - z*v + 5. Which is greater: r or 2/7?
2/7
Suppose -40*u + 1318 = 7798. Is u < -162?
False
Let t be 1 + 6 + 425/(-59). Which is smaller: t or -1?
-1
Let v be (1/(-2))/((-4440)/(-32) + -9). Is 1 at most v?
False
Let d = -0.3 + -15.7. Let c = 64 - 65. Is c less than or equal to d?
False
Let r(j) = j**2 + 18*j. Let t be r(-18). Is -5/71 greater than t?
False
Let q = -51 + 51. Let r = 0.19 - -12.81. Let g = r + -15. Do g and q have the same value?
False
Suppose 6*m = 4*m + 6. Suppose m*w = -0*w. Let n be (-36)/(-60) - (-28)/(-50). Is w smaller than n?
True
Suppose 91 = -5*x - 399. Which is smaller: -97 or x?
x
Let h(x) = -x**2 + 8*x - 14. Let v be h(7). Let o = v - -6. Is o less than -1/5?
True
Let z be 2/3*15/1. Let q be (5/(-10))/(2/(-4)). Let g = 8 + q. Do z and g have the same value?
False
Suppose -z + 5*a + 22 = 3*z, 5*z = -3*a + 46. Let u(r) = -r**2 - 9*r - 3. Let k be u(-8). Suppose -z*i = -13*i - k. Is i >= -1/11?
False
Let o be (-15)/2 - -2 - -5. Let k be (-3)/6 - 2/(-4). Which is smaller: k or o?
o
Let q(a) = -a + 14. Suppose -3*w = -2*w - 6. Let o be q(w). Let d(l) = 2*l**3 + 13*l**2 + 3*l - 9. Let p be d(-6). Is p <= o?
False
Suppose 3*h + 4*k - 58 + 17 = 0, -3*k + 6 = 0. Let a be 4/22 - (-6 + (-746)/h). Which is smaller: a or 73?
73
Let s = 1/446 + -481/15610. Which is smaller: s or -1?
-1
Let b be (18 - -4)*3/6. Suppose b = f - 9. Which is smaller: f or 64/3?
f
Let c = -45 + 48.1. Let g = c + -3.2. Is 13/3 less than g?
False
Suppose 7*s + 50 = -237. Which is smaller: s or -39?
s
Let z = -10700 - -4483298/419. Which is greater: 1 or z?
1
Let d = 4/485 + 1839/485. Let r be (-2 - 2)*1/(-2). Let j(x) = x**3 - x**2 + x - 2. Let w be j(r). Which is smaller: w or d?
d
Suppose 7 = 2*m + 7. Which is smaller: 71 or m?
m
Let c(p) = 109*p**2 + 4*p - 10. Let s(v) = -22*v**2 - v + 2. Let w(o) = -2*c(o) - 11*s(o). Let k be w(1). Which is smaller: 24 or k?
24
Let o be ((-6)/(-56))/(45/40). Let m be (-8)/(2 + -4) - 5. Is o greater than m?
True
Let g be (1/1)/(1/19). Let s = g - 41. Is s smaller than -21?
True
Let f(s) = s**3 + 13*s**2 + 34*s + 264. Let m be f(-12). Let t be 2049/66 + (0 - -1). Let c = 32 - t. Is c less than or equal to m?
True
Let p be (-2)/(-13) - (-180810)/(-1193010). Which is smaller: p or -1?
-1
Let r = 112 + -112.1. Is 143 at least r?
True
Let a be (-23 - -16) + 5 + 0. Which is greater: a or -1?
-1
Let v(p) = p**2 + 12*p - 11. Let i(a) = 8*a + 3. Let k be i(-2). Let d be v(k). Let b be d*(1 + 0 - 5). Which is bigger: -9 or b?
b
Suppose 4*r = 4*x + 916, 27*r - 223 = x + 24*r. Does -231 = x?
False
Suppose 5*o = -g - 9 - 5, 2*o + 16 = -3*g. Let n be (-6)/(-4) + (-9)/(-18). Let v be 2*(n - (-5)/(-2)). Which is smaller: o or v?
o
Let l(a) be the first derivative of -7*a**2/2 + 22*a - 2. Let d be l(7). Which is bigger: -28 or d?
d
Let d be 6/(-8)*(-44)/33. Let f be d + 1 + 252/(-117). Is 0 less than f?
False
Suppose z - 2*z = -o - 28, 0 = 5*o - 3*z + 138. Which is smaller: -31 or o?
-31
Let r(v) = -5 - 4 + v + 2. Let i be r(8). Let z = i + -5/4. Is 0.3 greater than z?
True
Suppose v = 4*g - 7, -2 = 2*g - 2*v + 2. Let m(r) = r - 7*r + 3 - 2*r**2 + 19*r**3 - 18*r**3. Let z be m(g). Is -6 != z?
False
Let b = -1053/7 + 149. Let x = -36 - -35. Which is greater: x or b?
x
Let a(s) = -s**2 - 31*s + 102. Let j be a(-34). Is j less than 1/73?
True
Let h(l) = -3*l**2 - 33*l. Let p be h(-11). Which is smaller: -17/37 or p?
-17/37
Suppose -9*k = -10*k - 104. Let m be (-1680)/k - (-2)/(-13). Let f = m - 26. Which is smaller: f or -11?
-11
Let t = -37157/885870 + 4/5211. Let v = 1303/680 + t. Is 2 smaller than v?
False
Let d = -254441/6740 - -3/3370. Which is bigger: -38 or d?
d
Let m be (-1 - 1)/(-26 - -28). Does m = 3/43?
False
Let i = -270 + 274. Let n be 6 + (0/1 - -2). Let c be 5/2 + 4/n. Do i and c have the same value?
False
Let r = -10 + 24. Suppose 3*z = -4*y + r, -y = z - 2*z. Suppose -6 = -z*a + 8. Is a >= 7?
True
Let d = 0.279 - 0.179. Is 1.4 equal to d?
False
Let p = 0.092 + -0.112. Let f be ((-1)/(-15))/(1/3). Is p != f?
True
Let o = 11 + -11.006. Let s = 2.006 + o. Is s bigger than 11?
False
Let p(s) = 7*s - 13. Let z be p(4). Let q be 18/10 + 3/z. Is 12/17 >= q?
False
Let b be -1 - -1 - 3 - -8. Let r = b + -5. Let j = 59/390 - 2/39. Is j not equal to r?
True
Suppose -5*s - 5*m - 29 = 6, -2*s + 11 = -3*m. Suppose -4 = q - 4. Let f be (q + 3)*(-189)/(-81). Which is smaller: s or f?
s
Let v = 2 + 10. Let s be v/72 - -1*1. Which is smaller: s or 1?
1
Let p(i) = -5*i - 1. Let g be p(-2). Let f = g - 6. Let n = 5 - f. Which is greater: 1 or n?
n
Let h be ((-24)/(-2))/(-4) - -91. Suppose h = u - 5*u. Is u less than -23?
False
Let w be 4/(-12)*(23 + -26). Let j(k) = k**3 - k**2 - 2*k - 1. Let o be j(-1). Let p be 0 + ((-1)/2)/o. Do p and w have different values?
True
Let a(i) = 2*i**2 - 16*i - 23. Let n be a(11). Which is smaller: n or -2?
-2
Let t be ((-36)/1008)/((-3)/(-24)). Which is smaller: 538 or t?
t
Let v = 0.305 - 0.205. Let r = 12 - 8. Let c = r - 3.8. Which is smaller: v or c?
v
Suppose -5067 = 4*d - 5059. Which is smaller: d or -28/31?
d
Let o be -2 + (-20685)/(-5170) + -2. Which is greater: o or -1?
o
Suppose 0 = 36*d - 18*d - 576. Which is bigger: d or 34?
34
Let l = -7 - -6.94. Let r = -2.58 + 1.64. Let i = l + r. Is -9 less than i?
True
Let q be (-28 - -36) + 1262/(-157). Does q = -1?
False
Let a = -28 - 0. Is a less than -29?
False
Let m = -88 - -56. Which is smaller: -2 or m?
m
Let s = 13.4 + -13.4. Is s < -0.53?
False
Let m(r) = -r**2 - 5*r + 43. Let s be m(4). Which is smaller: 2 or s?
2
Let c = -31/95 - -10/19. Which is smaller: c or -50?
-50
Let o be (6/(-6))/(-1*1). Let v = -0.71 - -3.71. Do o and v have the same value?
False
Let a be (1708/(-8640))/1 + (-7)/(-35). Is a at least 0?
True
Let m = -1/5 - -13/40. Is m greater than -6/53?
True
Let n = -376 + 527. Let h = -142 + n. Suppose 0*k = 5*k - 55. Which is smaller: k or h?
h
Let r be (-8 - (-1144)/56)*7. Is r <= 173/2?
False
Suppose -j = 5*y + 2*j - 28, -4*j + 9 = y. Suppose 3*s - 2 = y*t, 3*s - 4*s - 4*t + 12 = 0. Which is smaller: 14/5 or s?
14/5
Let s = -260/3519 - 2/153. Let a be 1 + (-1)/((-3)/6). Suppose p - 4*x = 4*p - 3, 3*p - a = -2*x. Which is greater: s or p?
p
Let o = -54.2 + 54.1. Which is greater: