+ 0.02. Is v smaller than 5?
True
Let q = 0.03 + 0.078. Let b = q - 8.108. Does b = 2?
False
Let r be 1 + (-5)/(5/2). Let o(l) = l - 18 - 5*l + l + 4*l. Let d be o(22). Is r less than or equal to d?
True
Let v = 17/20 - -2/5. Which is greater: v or 0?
v
Suppose -4*a = -11*a + 322. Let v = a + -44. Is v not equal to 7/6?
True
Suppose 3*d = -5*y + 22, 3*d = 7*d - y - 37. Let u = -57 - -62. Which is greater: u or d?
d
Let i(u) = -24*u**2 + 16*u - 4. Let x be i(2). Is x > -75?
True
Let x be (-2)/8 + 34/8. Let o = x + -3. Let m = 39329 - 39308. Which is smaller: m or o?
o
Let z = -2 - -1. Let f = -40 - -40. Suppose -5*h - 6*r + 14 = -9*r, -5*r - 15 = f. Is z at most as big as h?
True
Let t be -3 - (-5)/(10/4). Let w be t*9/(-3) + 0. Which is greater: 7/3 or w?
w
Let f = 79143681/183256 + 1/45814. Let w = f + -433. Are -2 and w nonequal?
True
Let f = 0.9717 - -0.0283. Does f = -105?
False
Let d(b) be the second derivative of b**4/12 - 3*b**3/2 - b**2 + 20*b. Let t be d(3). Which is smaller: t or -17?
t
Let u be -1 + 2 - (-14)/(-12). Let t = -64.22 + 65. Let d = -1.08 + t. Which is greater: d or u?
u
Let v be 0 + (-20)/(-15) - 5052/4032. Which is smaller: v or 1?
v
Let j(y) = -2*y**2 - 2*y. Let r be j(0). Which is greater: -2/319 or r?
r
Suppose -7*o - 350 = -91. Let m be o/2 + 3 - -3. Which is bigger: m or -13?
m
Let t(f) = -f - 7. Let z be t(-11). Suppose -z*y + 4*c + 10 = 2*c, 4*c = 4. Suppose 2*k = -y*k - 20. Which is smaller: -5/2 or k?
k
Suppose -3*c - w + 23 = 0, 33*w - 38*w - 47 = -3*c. Which is greater: 87/10 or c?
c
Let q(m) = m**3 + 8*m**2 - 3*m - 9. Let j be q(-8). Let d be (-6)/j - 38/5. Let k = -6 - d. Which is greater: k or 4?
4
Let y = -25 + 31. Let n be 20/y - 8/(-12)*-3. Let x = 1 - -1. Is n <= x?
True
Let j(s) = -10*s**2 + 3*s - 2. Let c be j(2). Let y be (-8)/c - 230/(-18). Let i = y + -17. Which is smaller: 0.2 or i?
i
Let z(k) = k**2 + 17*k + 30. Let g be z(-15). Let h be (-11 - -11)/(g + 2). Do -2/5 and h have the same value?
False
Let c = -1 + 0. Let q be 8/18*(-30)/7. Let h = q + 7/3. Which is greater: c or h?
h
Suppose 0 = -0*r - 5*r. Let c be ((-2)/(-129))/(148/12 + -13). Which is smaller: c or r?
c
Let j be (-58)/2 + 0 + -1. Let o be 4/j + (-1360)/(-75). Are 1/3 and o equal?
False
Suppose 2*g - 52 + 46 = 0. Is 14/5 < g?
True
Let i(m) = 5*m - 37. Let x(w) = 3*w - 19. Let h(c) = 4*i(c) - 7*x(c). Let d be h(-5). Let v be 64/126 - d/(-35). Is v smaller than 0.9?
True
Let v(q) = -2*q - 50. Let o be v(-25). Suppose 4*s + 173 - 41 = o. Is s at most -33?
True
Let c = -31 - -40. Suppose 26*y - c = 25*y. Which is smaller: y or 10?
y
Suppose -4*w + 20 = -0*w. Suppose -5*c - 4*g + 72 = 0, w*c - 78 = -0*c - g. Which is bigger: 2 or c?
c
Let l = -643/290 + 1/58. Let v = -101 - -61. Let o = v + 37. Which is greater: o or l?
l
Let k = 3.4 + -1.6. Let a = k + 1.2. Let f = a + -2. Is f less than 1?
False
Let o = 122 + -121.43. Let h = o - 0.97. Do 1 and h have the same value?
False
Let a be (-18201)/2022 + (-36)/(-4). Which is smaller: a or 0?
a
Let m = -41 + 39. Let a be 1/(-3) - (10/m - -4). Which is bigger: a or -0.39?
a
Suppose 6*y - 3*y = -783. Let a = y + 23230/89. Let g = a - 277/890. Which is smaller: 1 or g?
g
Let t(l) = l**2 + 7*l - 9. Let d be t(-8). Let x be (3/(-324)*d)/((-1)/2). Are -1/4 and x non-equal?
True
Suppose -2*c + 2 - 24 = -5*y, 0 = -5*y + 3*c + 18. Let o(t) = y*t**2 + 8 + 0*t - t**3 + t - 12. Let k be o(6). Is k at most as big as 2?
True
Suppose 9*u + 75 = 4*u. Let y be (2/(-7))/(u/(-70)). Let d = 150 - 1052/7. Is y < d?
True
Let h be (35/(-7))/5*-1. Let s(x) = -x**2 - 7*x + 11. Let o be s(-9). Which is smaller: o or h?
o
Let q(p) = 26*p - 167. Let v be q(6). Which is smaller: -48/5 or v?
v
Let b be (-1)/((-1)/12)*-1. Let k be (-16)/24 - 195/(-9). Let u be (2/k)/((-8)/b). Is 1 greater than u?
True
Let p be (12/(-10))/(44/(-55))*8. Let w be 24/9 + p/(-3). Are w and 0 equal?
False
Let l be -2 + -1 - 1*16. Let f = l + 31. Let p = 16 - f. Is p less than 6?
True
Suppose 0 = 7*b - 1225 - 140. Which is smaller: b or 194?
194
Let o = -22 - -25. Suppose -26 = -q - o. Suppose q = g + 18. Is g > 7?
False
Suppose a - 6*a - 3*g + 1236 = 0, -2*g + 243 = a. Suppose -a = 5*m + 4*v - 0*v, 2*m + 102 = -4*v. Is -49 smaller than m?
False
Let r be 12/6 + 18/(-6). Which is smaller: -1/58 or r?
r
Let r be 474/(-90) + 4*12/80. Is -4 less than or equal to r?
False
Let q = 3497/9 - 388. Suppose -18 = -5*u - 8. Is q bigger than u?
False
Let g = 13 - 7. Let h(r) = 0*r + 0*r - r + 1 + 5. Let a be h(g). Are a and 3/7 equal?
False
Let i be (3 - 1) + (-51)/(-3). Suppose 4*m = -13*m + 323. Is i < m?
False
Let q = 267 + -149. Does q = 118?
True
Let j(r) = -r + 1. Let f be j(16). Let i be 20/f - 145/15. Let g = -1.3 - -0.3. Is i at least g?
False
Let c(z) = -z**2 - 12*z + 18. Let t be c(-14). Let u be (51/6)/(t/4). Let g = -39/10 - u. Which is smaller: g or -2?
-2
Let l(i) = 2*i + 5. Let m be l(9). Suppose -34*u + 39*u - 115 = 0. Are m and u unequal?
False
Let p(s) = -s**2 - 14*s + 4. Let y be p(-14). Suppose o = 3*x - 41, x + 4*o - 40 = -y*x. Which is bigger: x or -3?
x
Let g(j) = -j - 8. Let x be g(0). Let a(i) be the third derivative of -i**4/24 - 4*i**3/3 + 6*i**2. Let u be a(x). Is u greater than -0.1?
True
Suppose 5*d - 1 = 4. Let y = d - 9. Let t be 5/((-5)/3)*21/9. Which is smaller: t or y?
y
Suppose -7*t = -3*t - 60. Suppose 2*l - t = -3*l. Suppose 2*k - l*k + 3*x - 11 = 0, 4*k - 5*x = -9. Is 4 bigger than k?
False
Let d = 88.5 + -123. Let z = d + 34. Let t = -0.6 - z. Which is greater: -16 or t?
t
Let m be (-3)/(-35)*-537*7/63. Let g = m - -33/7. Is -5 <= g?
True
Suppose -829 = j - 690. Is j <= -139?
True
Let f be (35/42)/(2/4). Let o(p) = -p - 2. Let s be (-28)/8 - (-2)/4. Let r be o(s). Which is smaller: f or r?
r
Let b = 2.39 + -2.425. Is -0.2 greater than or equal to b?
False
Suppose -2*x + 4*d + 476 = 0, 2*x - 7*x = -2*d - 1150. Let l be (-1)/(-8) - x/32. Let p = l - -14. Is 7 greater than p?
False
Suppose -10*a + 6*a - 5*k + 802 = 0, k - 1013 = -5*a. Is 202 less than a?
True
Let v be 1/(-3)*-9*21/(-18). Suppose 4*a + 10 = 2*a. Is a <= v?
True
Let i(x) = -52*x - 973. Let j be i(-22). Is j not equal to 175?
True
Let d = -519 - -634.5. Let y = -125.44 + d. Let f = y + 10. Do f and -1 have different values?
True
Let v = 10 - 7. Suppose 0 = v*c + c - 5*x - 67, 2*c = x + 35. Let s be (-4)/c - (-325)/1989. Which is smaller: -1 or s?
-1
Let g be (1 - (3 - 1))*-1. Let r be 2 + g + 1/3. Let t = r + -2. Is 1 != t?
True
Let f(n) = 6*n**2 + 6*n**2 - 2*n**2 + 6*n. Let o be f(-5). Let g be ((-11)/o)/((-6)/(-16)). Is g greater than 1?
False
Let o be 0*(1 - (-1)/(-2)). Suppose o*b = -5*b. Let y(l) = -2*l - 8. Let h be y(-8). Which is greater: b or h?
h
Let j = 1717 - 15451/9. Is j less than -113?
False
Let m = -7 - 6. Let i be (-188)/14 + (-3)/63*-9. Does i = m?
True
Let n be (-10 - 8)*2/(-280)*2. Let o = -1/7 - n. Let z(a) = -a**3 + 3*a**2 + 5*a - 5. Let f be z(4). Which is bigger: o or f?
o
Let h be ((-4)/(-74)*2)/(-1). Let f = -2263688939/1665 - -1359573. Let q = h + f. Is 1 at most q?
False
Let a = -0.07 - -1.74. Let k = -1.6 + a. Let f = k - 1.07. Is f less than 1?
True
Let c(f) = -f**2 - 8*f - 1. Suppose 0*n + n - 31 = -k, -3*n = -2*k - 68. Let j be n/(-3) - (-16)/24. Let a be c(j). Is a greater than or equal to -1?
True
Let b(h) be the first derivative of -h**3/3 + 9*h**2/2 + h + 1. Let t be b(9). Let q = 134/1491 - 3/71. Which is greater: q or t?
t
Let p = 201 + -68. Let n = 133.1 - p. Which is greater: 45 or n?
45
Let i = 12 + -28. Let k(g) = -3*g + 1. Let q be k(1). Let n be i/8*1*q. Which is smaller: 1 or n?
1
Let x(k) = -k**3 - 16*k**2 - 26*k + 39. Let o be x(-14). Which is smaller: 7 or o?
7
Let s be (-10)/6 + (3 - 1). Let h = -4179.94 - -4179. Which is greater: h or s?
s
Suppose 12 = -z + 5*z, z = 4*g - 809. Let h = 24 - g. Let a = 3049/17 + h. Which is smaller: a or -1?
-1
Let u be -2 - 9/((-36)/40). Let x = -4 + u. Which is bigger: -0.4 or x?
x
Let x = -0.161 + -45.839. Is 1 < x?
False
Let z = 2/5043 + 55325/373182. Is -1 at most z?
True
Let c = 7/10 + -31/30. Let b be 1/((-4)/(12/(-63))). Let p = b + c. Which is greater: p or -1?
p
Let u = 5/56 + -3/14. Suppose -q = -3*q - 2*z - 8, -4*q + 5*z + 11 = 0. Is u greater than q?
True
S