. Is 2/5 at least r?
True
Let o = -0.051 + -7.549. Let z = -0.4 - o. Let n = z - 7. Is n < 2?
True
Let h be 5/10 + (-7)/(-2). Suppose -10 = 9*q - h*q. Is -1/8 greater than q?
True
Let g(c) = c**2 - 6*c + 5. Let k(v) = 6*v**2 - 2*v + 1. Let h be k(1). Let i be g(h). Suppose -b + i*b - 1 = -4*y, 0 = 2*y + 5*b + 27. Is 1/4 smaller than y?
False
Let j = 117/55 - -3/11. Which is bigger: j or 3?
3
Let o be ((-2)/3)/((-6)/27). Suppose -o*d - 2*d = 0. Which is greater: d or 2/13?
2/13
Let r(q) = -q**3 - 2*q**2 - 2*q + 1. Let u be r(-2). Is 5 at least u?
True
Let i = -10 - 5. Let r = 44/3 + i. Suppose -25 = -5*o, -3*o = -4*k - k - 10. Which is smaller: r or k?
r
Suppose 2*m + 5*b = -13, 5*m - 2*b + 4 = -5*b. Suppose 0*y + 8*y + 96 = 0. Let v be (-3)/y*4/(-6). Is m equal to v?
False
Suppose -s - 4*s + 5 = 0. Let r be (-1 - -4)/(-2 + s). Let h be 2 + 8/10*r. Are h and 0 unequal?
True
Let k be ((-2)/15)/(5/(-30)). Is k at most 0?
False
Let l = -0.3 - -0.3. Which is bigger: -0.4 or l?
l
Let b(i) = i - 3. Let g be b(4). Let s = 0.8 + 5.2. Let k = s - 4. Which is greater: g or k?
k
Let f be 956/14 + -2*(-5)/(-35). Is f less than or equal to 68?
True
Let h = 4 + -10. Let i = h - -5. Let p(m) = -m - 1. Let t be p(i). Which is greater: t or 3/4?
3/4
Let s(m) = -m**2 + 2. Let d be s(-3). Let z be 4 + -3 + (-9)/3. Let f be z/d - 45/35. Is -1/8 < f?
False
Let q = 2 + -3. Let i = 5/17 + -43/204. Which is bigger: q or i?
i
Suppose 21*h - 14*h - 175 = 0. Is h at most 22?
False
Let p be (1/(-15))/(5/3). Let o = p + -73/50. Do -2 and o have the same value?
False
Let j = 19 + -15. Let q be ((-2)/(-3))/(j/30). Is q at least as big as 9/2?
True
Let s be 2/(-4)*(320 - 2). Let l = -1435/9 - s. Is 1 less than l?
False
Let a = -5 - -7. Is a at most as big as 2?
True
Let j be 2/(-3) - 194/6. Suppose -5*r - 5*a = 0, 2*a - 16 = -3*r + 7*a. Let u be ((-4)/j)/(r/3). Which is smaller: u or 0?
0
Suppose o - m = 0, -2 - 6 = -3*o - 5*m. Which is smaller: o or 2/11?
2/11
Suppose 4*v - 11 = 5*o - 39, -3*o = -2*v - 12. Let c be 0 - (6/2)/v. Which is greater: c or -1?
c
Let j = 3 + -2. Let c be j/(-3) - 17/3. Let q be c/4*4/(-6). Is q not equal to 1?
False
Suppose 5*h + 20 = 5*q, -2*q - 4*h - 1 = -3. Suppose -q = -0*r + 3*r. Is r > -1?
False
Let z be 1*(-24)/(-20)*(-35)/(-1106). Do z and 0 have different values?
True
Let c be (24/(-20))/(2/(-5)). Suppose -c*s + 3*r = 7 + 26, 5*r = -3*s - 33. Is -12 greater than s?
False
Let r = -1 - -5. Let k be 4 - -3*(3 - r). Suppose -3*q - 2 - 1 = -3*l, -5 = -4*q + l. Is q greater than k?
True
Let i = -8/341 - -2/1023. Let m = 271/372 - i. Let w(u) = -5*u - 13. Let p be w(-3). Which is smaller: m or p?
m
Suppose 0*s - 3*s - o + 124 = 0, -3*s + 2*o + 139 = 0. Are 42 and s equal?
False
Let n be (-67 - 0)/(-1 - -2). Let d = n + 1003/15. Is d greater than or equal to 2?
False
Let x = 0.01 + 0.09. Does -0.02 = x?
False
Let s be 6/(-10) - 3/5*4. Is -14 less than or equal to s?
True
Let h = -8/115 + -3/23. Let a = 41/48 + -3/16. Do h and a have the same value?
False
Let v(m) = m - 17. Let u be v(8). Which is bigger: 0.1 or u?
0.1
Suppose -i - 5 = -2*f, -28 = -4*f - 2*i - 6. Suppose -f = -o - 3. Let z(r) = -2*r + 1. Let b be z(o). Is -3 less than b?
True
Let q = -1345 + 3203. Let j be 4/(-22) - q/66. Let n = -28 - j. Which is smaller: -2 or n?
-2
Let f be (4/10)/(3/(-15)). Let b = -3 - f. Let a(l) = 3*l**3 - l**2 + l + 1. Let x be a(b). Are x and -5 unequal?
True
Let t be (41/4)/((-8)/(-32)). Let i = -79 + t. Let o be 2*i/(-28) - 3. Which is smaller: 0 or o?
o
Let h be ((1 - -1)/1)/2. Let o(q) be the second derivative of -q**3/6 - 3*q**2 - 2*q. Let p be o(-5). Are p and h equal?
False
Suppose 5*c - 3*c = 0. Let x be (-1)/(-2)*(2 + 2). Suppose -2*t - x = -2*m + m, 0 = -2*t - 4*m + 8. Are c and t unequal?
False
Let a be -2 + -234 - 2 - -1. Let r = -1893/8 - a. Suppose 2*d - 5*v = 15, -6*d = -5*d + 2*v + 6. Which is smaller: r or d?
d
Let t be 38/6 - (-14)/(-42). Suppose -21 = 3*o - 2*x, 4*o - 19 = 6*o - 3*x. Let v = t + o. Which is greater: v or -2/21?
v
Let y be (-2)/8*-2*12. Suppose -y = 2*p - 3*v, 0*v - 12 = 4*p + 4*v. Let d be (0 - (-2)/(-1)) + 1. Is p greater than or equal to d?
False
Let b = -97/72 + 9/8. Which is smaller: b or -1?
-1
Let u be -3 - (33/(-5) + 3). Suppose 0 = 2*d + 4*c - 4, 5*d = 6*d - 4*c + 16. Let p = 5 + d. Is p less than u?
False
Suppose 5*j = f + 9, -4*f + 14 = 2*j + 3*j. Suppose n + 2*h + 8 = -0*h, 5*h + 23 = -n. Is j less than n?
False
Let r = 25 - 17. Is r bigger than 9?
False
Let s(p) = -p - 1. Let o(y) = -y - 1. Let n(b) = -5*o(b) + 4*s(b). Suppose -4*h + 5*u = -1, -8*h - 3*u - 8 = -3*h. Let d be n(h). Does -3/7 = d?
False
Let s = 35/6 + -13/2. Is -0.1 < s?
False
Let v be (-3)/(-21)*(-14)/12. Let x(b) = 2*b**2 - b - 1. Let a be x(-1). Suppose -p + a = 3. Is p smaller than v?
True
Suppose 5*u = a, a = 4*a - 4*u - 11. Suppose 0*x = a*x. Which is smaller: x or -3/19?
-3/19
Let w = 3 - 1. Suppose 3*g - 46 = 2*s, 2*s = -5*g - s + 83. Suppose -g = -4*b + w*b. Is b greater than 8?
False
Suppose -q + 0 + 5 = 0. Let o = -3 + q. Suppose o*n = 6*n. Is 2 at most n?
False
Suppose 0 = s - 9. Let g = -11 + s. Let u(c) = -c**2 - c - 3. Let r be u(0). Is g <= r?
False
Let q = -434/11 + 2407/44. Let x = -15 + q. Let h = 0.2 + -0.2. Is x less than h?
False
Suppose 5*s + s = 0. Which is smaller: s or -2/25?
-2/25
Let v = -0.16 + -2.84. Which is smaller: v or -2?
v
Let z = 4/63 + 47/252. Is z equal to 1?
False
Let u be 1/(-1) - -3*(-12)/(-45). Let o be (-1 + 2)*(-2 - -2). Which is greater: o or u?
o
Suppose -4*m + 5*v = -38, -2*m = -0*m + v - 26. Let k be ((-3)/m)/(-1)*2. Let t = -1 - -1. Is t less than k?
True
Let m be (-1)/((-5)/7)*-1. Which is smaller: m or -2?
-2
Let r be (-7)/(-28) + 14/8 + -1. Let t be (14/(-10) + 1)/(-2). Is r greater than or equal to t?
True
Let r = -20 + 24. Let z(k) = -4 + 3*k - 3*k + 2*k. Let n be z(r). Do 3 and n have the same value?
False
Suppose -11 = -13*a + 15. Let u be (3 + (-1 - 1))*6. Let t = 9 - u. Is a != t?
True
Suppose 3*v + 3 - 8 = y, -4*y + 4 = 0. Suppose -g + v*g = 4. Which is bigger: 3 or g?
g
Let t = -2/9 + 32/63. Which is greater: 1 or t?
1
Suppose -3*b - 4 = -4*p, 5*b + 0*p + 20 = 4*p. Let z be (1 - b)/(25/(-85)). Let t = 30 + z. Is t at least 0?
False
Let k = -6 + 5. Which is greater: -1/6 or k?
-1/6
Let p be 6/((-18)/(-3))*(-6)/39. Which is bigger: p or 1?
1
Let s(t) be the second derivative of t**5/20 - 2*t**4/3 + 7*t**3/6 - t**2/2 + 2*t. Let g be s(7). Does -1 = g?
True
Suppose -7*y + 3*y = 0. Suppose 2*o = 6*o - 16. Suppose y = g - o*g - 3. Which is smaller: g or -1/4?
g
Let v = -8 - -6. Let z = 26 + -28.1. Let u = z - v. Is 1 bigger than u?
True
Let d = 155 + -120. Which is greater: d or 37?
37
Suppose 5*u - 2*u + 6 = 0. Let z = 3 + 10. Suppose -3*t = g + z, 0 = -2*g + 4*t - 5*t - 6. Which is greater: g or u?
g
Let s(y) = -y - 3. Let z be s(-2). Do -10/9 and z have the same value?
False
Let x = 442/7 - 63. Are -2 and x nonequal?
True
Let o(x) = x**2 - x. Let b be o(-2). Suppose -b*t = -3*t - 9. Suppose 3*y = -4*h + 12, 2*h + 0 = -t*y + 6. Do 0 and y have different values?
False
Let u = -2.8 + 7.8. Is u at most as big as -2/5?
False
Let t = 52 - 52. Does t = 0?
True
Let w = 13 + -7. Is w greater than or equal to 8?
False
Suppose 0 = 2*w + 2 + 2. Let j = 4 + w. Suppose -1 - 5 = j*k. Does k = -3?
True
Let a(f) = 2*f - 12. Let j be a(8). Is 13/5 not equal to j?
True
Let v = 0.68 - 0.7. Let l = 0.02 - v. Let y = l - -0.06. Which is smaller: y or -4?
-4
Let g be (-66)/56 + (-1)/4. Let y be (12 + -6)/12*(1 - 1). Which is bigger: g or y?
y
Let n = 6.9 - 8.82. Let k = -1.8 - n. Which is bigger: -0.1 or k?
k
Suppose 0 = -3*j - 8 + 35. Let r(z) = z**2 - 7*z + 1. Let h be r(8). Is j greater than or equal to h?
True
Suppose 4*d + 2*g - 14 = 0, -9 = -2*d - 0*g + g. Let s(q) = -q**3 + 23*q**2 - q + 29. Let c be s(23). Are c and d non-equal?
True
Let v = 0.5 + -0.6. Are -1/5 and v equal?
False
Let g be (-8)/(-110)*-1*90/(-252). Let a be 28/20 + 2/(-5). Which is greater: a or g?
a
Let a(m) = m**3 + 5*m**2 + 2*m - 5. Let c be a(-4). Suppose 0 = -k - c*q, -2*k + 2*q = -2*q. Which is smaller: k or 1?
k
Suppose -4*l - 65 + 29 = 0. Which is smaller: -7 or l?
l
Let w(m) = -5*m**2 - m + 6. Let c be w(3). Let j be c/(-