0?
10
Let x = 18.93 + -19. Let n = -0.32 - -0.79. Let l = x + n. Which is smaller: l or -1/3?
-1/3
Let f = -0.8 - -0.5. Let b = f + 0.4. Let o = 0 - b. Is -2/9 greater than o?
False
Let y = 7.3 - 7.1. Is y < 3/8?
True
Suppose -2*p - 4*g = 64, -3 = -3*g - 0. Is p smaller than -34?
False
Let s be 890/12 - 1/6. Let x be 2/s*(9 - 7). Is x less than 1?
True
Let t = -16.1 + 16.1. Is t >= 32?
False
Let j(b) = b - 5. Let x be j(-7). Let f be 1/(-2*(-3)/x). Let y(p) = -p**3 - 2*p**2 - 3*p - 3. Let v be y(f). Is v < -1?
False
Suppose 11 = -5*p + 1. Let w be ((-2 + 3)/(-2))/p. Is -1/2 > w?
False
Let r = -2.07 + -0.03. Let w = r - -1.1. Which is smaller: w or 1/4?
w
Let p be (1*-3)/(6/(-12)). Suppose 0 = 2*d + p - 2. Let c be d/(-3) + (-40)/96. Which is greater: -2 or c?
c
Let s be 6/(-15) + (-2)/(-5). Let k = -2.7 + -0.3. Let j = 3.2 + k. Is j > s?
True
Let q = 29 + -17. Let v = -12.01 + q. Let z = 1 + -1.1. Does v = z?
False
Suppose -2*h = -5*d + 2*d + 19, 0 = 3*h + d + 1. Is h not equal to -1?
True
Let x be 2/8 + 0/7. Which is bigger: x or -0.09?
x
Let n = 1.6 + 0.4. Let o = 14 - 14. Which is smaller: n or o?
o
Suppose -c = -0*c + 1. Is -2 at least c?
False
Let n(s) be the second derivative of s**5/20 - s**4/3 + 2*s**3/3 + s**2/2 - s. Suppose 0 = a - 4 + 1. Let o be n(a). Is o less than 2?
False
Suppose 0 = 3*p + 4*c - 1, -3*p + c = -3*c + 7. Which is smaller: p or -1/15?
p
Let h = 3 + 1. Suppose h*a = 2*a + 12. Let x be (a/(-15))/((-4)/15). Which is smaller: x or 1?
1
Let k(s) be the third derivative of -s**4/24 - 17*s**3/6 + 3*s**2. Let c be k(-16). Which is greater: c or -2/5?
-2/5
Let u = -18.96 - -19. Is u at least 0.5?
False
Let s be 1/2 + 14/(-12). Let j(r) = -r**3 - 8*r**2 + r + 6. Let h be (1/2)/((-3)/48). Let u be j(h). Is s at least as big as u?
True
Let n = -8 + 7.7. Let s(q) = 3*q + 2*q + 3 + 0*q + q**2. Let j be s(-4). Which is smaller: j or n?
j
Let g = -2 + 2. Let j = -7/160 + -5/32. Is g smaller than j?
False
Let f = 5 - 4.99. Let i = 1.99 + f. Let a = i + -1.7. Is -1 >= a?
False
Suppose 0*d - 3*d + 12 = 0. Suppose -2*v + 7 = 3*v - d*l, 8 = 4*l. Let q = v - 2. Is q greater than 3?
False
Let k be (-6)/18 - (-44)/(-30). Is k less than -2?
False
Let y be (2 + (-5 - -2))/(-6 - -7). Which is smaller: 1/36 or y?
y
Let r be (2 - (-3)/(-6)) + 7/14. Is 18/13 at least r?
False
Suppose 5*o - 4*n - 30 = 0, -6*o + 3*n = -3*o - 21. Are 20/9 and o non-equal?
True
Let x = -33 - -29.2. Let m = x + 1. Let o = -0.2 + m. Which is smaller: -0.1 or o?
o
Let j = 0.43 + -0.23. Which is smaller: j or -2/9?
-2/9
Suppose 3*r - n = 2, -4*n - 8 = -5*r - 0*r. Let j be r - 5/(15/(-6)). Is 1 smaller than j?
True
Suppose -97 = 5*t - 17. Is -19 at most t?
True
Let v = 62 - 190/3. Is v at least as big as -2?
True
Let i(p) = 25*p**3 - 3*p**2 + 6*p - 5. Let q be i(5). Let d = -119935/39 + q. Let l = d + 197/312. Is 0 > l?
False
Let j = 0.5 - 1. Which is smaller: j or -0.1?
j
Let i be 20/12 - 3/(-9). Which is smaller: 1 or i?
1
Let d = 343/26 + 108/13. Let l = 20 - d. Let t(i) = i**3 - 5*i**2 + 6*i - 1. Let x be t(3). Which is smaller: x or l?
l
Suppose 15*g - 12*g = 102. Does 36 = g?
False
Let u(q) = q**3 + 13*q**2 + 10*q - 14. Let f be u(-12). Let b be (-2)/f + 8/(-40). Is b less than -0.06?
True
Suppose 0 = 2*t - 4*v + 32, -5*t + v = -4*t + 17. Let g be 7 - 6 - t/(-22). Let x = 1 - 2. Is g less than x?
False
Let r be (-8)/36*-1 + 0. Let k be (-2 + 2/2)*-1. Which is bigger: r or k?
k
Let s = -1 + 3. Suppose 10 = -x - 3*x - 5*f, 4*x + s*f = -4. Let v = -16 + 15. Which is smaller: x or v?
v
Let g = 49 + -232. Let u = -919/5 - g. Suppose 21*q - 23*q = 0. Is u at least as big as q?
False
Suppose -4*w = 1138 - 438. Let j be 15/w + (-2)/10. Let r = -23 + 23. Which is greater: j or r?
r
Suppose n + 26 = q + 3*q, q - 5 = 0. Let b(r) = -r**3 - 5*r**2 + 5*r - 1. Let v be b(n). Is 5 at least as big as v?
True
Let t = -3269 - -9632/3. Let x = 59 + t. Suppose -7*r = -2*r - 15, 0 = 3*f - 3*r - 6. Which is smaller: f or x?
x
Suppose 4*g + k - 12 = 5*k, g + 5*k - 21 = 0. Let x(w) = 1 - g*w + 4 + 2 + 1 - w**2. Let l be x(-7). Do l and -2/7 have different values?
True
Let y = -4/218851 + -279910005/23198206. Let z = y - -30/53. Is -13 at least as big as z?
False
Suppose -6*n + n + 59120 = 0. Let m = n - 83035/7. Let v = 38 + m. Which is bigger: v or 1?
1
Let z(p) = -p**2 - 4*p + 6. Let r be z(-5). Is r bigger than -1/26?
True
Let a = 21 - 13. Let v = a - 8. Which is greater: v or 5/4?
5/4
Suppose 7*q + 8 = 3*q. Which is smaller: -9 or q?
-9
Let h be (18/4)/(21/(-4)). Let x = 17/28 + h. Which is bigger: 0.3 or x?
0.3
Suppose 0 = -4*a - 0 - 12. Let g be a/15 - 41/(-5). Let m be ((-6)/(-8))/((-10)/g). Which is greater: -0.1 or m?
-0.1
Let m = 72 + -77. Which is smaller: 0 or m?
m
Let g be -5 - (0 - -6 - 10). Let x = 26/691 - 100488/62881. Let r = 12/7 + x. Are g and r non-equal?
True
Let i(m) = -2 - m - m + m. Let g be i(-8). Let t be ((-4)/g)/(-5 + 3). Is 0 at most as big as t?
True
Let b(x) = -x**2 + 6*x. Let f be b(6). Let c be 150/18 + 2/(-6). Suppose -3*p + 5*t = -c, p - 6*p - 2*t = -3. Is f not equal to p?
True
Let g(r) = 2*r + 2. Let n be g(-5). Let x be ((-4)/n)/((-2)/(-4)). Let w(i) = i + 4. Let a be w(-3). Do x and a have different values?
False
Suppose 3*n - 31 = -10. Let s = -6 + n. Let x be s/2 + 81/(-18). Is x less than or equal to -3?
True
Suppose 24 = 3*d - 7*d. Does -6 = d?
True
Suppose 0 = 4*h - 3*h - 2. Let r = -32 + 32. Which is greater: r or h?
h
Let g = -2.9 + 3. Let m = g - 1.1. Let n = m + 3. Is 2 greater than n?
False
Let t be (-2)/((-4)/(-6)) - 0. Let z(k) = k**2 + 7*k + 10. Let i be z(-7). Suppose q + 3 = -2*q - 3*j, 5*j - i = 0. Is q greater than t?
False
Let z = -3 - 0. Suppose -2 = -k + 2*a - 5, 3*k + 5*a = 35. Suppose 0 = -2*n + k*n + 6. Which is greater: n or z?
n
Let g(s) = 2*s - 9. Let f be g(7). Let h = 4 - f. Let a(b) = b - 5. Let v be a(3). Is h <= v?
False
Let w be ((-5)/2)/5*0. Let s be -1 - (-27)/(-33) - -2. Is w less than s?
True
Let s = 10 + -7. Suppose 0 = -a + s*a - 4. Suppose 0 = a*h + 2 - 4. Is 2 at most h?
False
Let c(f) be the first derivative of f**2/2 + 7*f + 1. Let p be c(-5). Is 3 > p?
True
Let h = -399/8 + 50. Let p be 2*(4 - 9/2). Is h > p?
True
Let m be (6/9)/(4/54). Does 12 = m?
False
Let m = 14227/28 + -508. Which is smaller: 1 or m?
m
Let f = 52 + -366/7. Suppose -2*s + 2*b - 2 - 8 = 0, -2*s - 20 = -4*b. Which is greater: s or f?
s
Let m = -0.02 - 6.98. Let s = 5 + m. Are s and -3/2 unequal?
True
Let j be 15/2*(-4)/(-5). Suppose p = j*p + d - 2, 10 = p - 3*d. Suppose -i = -6*i - 5. Are p and i non-equal?
True
Let m = -2.19 - -2.1. Let o = 1.19 + m. Let d = o - 1.06. Which is bigger: 1 or d?
1
Suppose 2*r + 9 = -11. Let h be ((-3)/r)/((-7)/14). Is h at least 0?
False
Let u be (-1 - -7)/(0 + -1). Let q be (-4)/u*(-2)/4. Let l = -2/59 - 100/531. Which is smaller: q or l?
q
Suppose -j + 28 = -5*j - 4*w, 3*j + 23 = -w. Let m = j - -3. Is -5 equal to m?
True
Let w = 109145/22 + -4958. Let k = w - 18/11. Are 1 and k nonequal?
True
Let q = 3 - 2.9. Let i = -3.1 + 0.1. Let v = -7 - i. Is q != v?
True
Let q(b) = -b + 8. Let l be q(12). Is -0.4 less than or equal to l?
False
Suppose -o + 5*o = 8. Suppose -17 = -b - 2*b - o*s, -4*s + 13 = 3*b. Which is greater: 6 or b?
b
Let n = 116/117 - 10/13. Suppose -5*f + 17 + 28 = 0. Let k be 7/9 + 2/f. Is k equal to n?
False
Suppose 3*y - j + 3*j + 16 = 0, -3*y + 5*j - 2 = 0. Let d be (y/12)/(20/(-18)). Is 1 >= d?
True
Let d(x) = 6*x - 6. Let r be d(5). Suppose z + z = r. Suppose 3*b = -3*f - z, 0 = -3*b - f + 3*f - 27. Is -7 less than b?
False
Let k be 1/(-4) + 26/936. Which is smaller: 8 or k?
k
Suppose 0*v + 5*v - 20 = 0. Suppose 0*t + v*t = 0. Let b = 1174/63 - 132/7. Is t equal to b?
False
Let h be (-12)/28 + (-202)/(-406). Let s = 3 + -2. Which is greater: h or s?
s
Let z(b) = -2*b. Let l be z(0). Which is smaller: l or -6/25?
-6/25
Let d be 38/14 + 2/7. Suppose -d*k = -3*i - 9, -k - 5 = i - 3*k. Is i at most -1?
True
Let h = 0.5 - 0.4. Let p = 0 + h. Which is bigger: -1 or p?
p
Let p be 1 + (-4)/(208/44). Is 1 greater than or equal to p?
True
Let x = -4/19 - -31/57. Which is smaller: x or -1?
-1
Let f = 1.27 - 1.4. Is -1 greater than f?
False
Let b = -20 + 59/3. Is b <= 10?
True
Let k be 1*((-1