Does 2 = t?
False
Let r = -25/108 + -14/27. Let d(z) = -34*z - 2. Let s be d(-2). Let o = s - 200/3. Which is smaller: o or r?
r
Let r = 0.86 - -0.14. Is r greater than 1?
False
Let f be 18/(2 + -1 - -1). Let p be (5/f)/(-5)*3. Is 1/3 at most p?
False
Let k be 6/22*2/6. Let i(u) = u**3 - 7*u**2 - u + 6. Let c be i(7). Is k less than c?
False
Let m = 428/9 + -9808/207. Do m and 0 have different values?
True
Let c(s) = -s**2 - 16*s. Let r be c(-16). Is r equal to 1/14?
False
Let l(b) be the second derivative of -b**5/20 + b**4/3 - b**3/2 - b**2/2 + 2*b. Let t be l(3). Does -1/4 = t?
False
Let i(u) = -u**2 + 5*u + 6. Let f be i(6). Let a = f - 1. Which is smaller: a or 3/8?
a
Let x = -7679/13 - -591. Which is bigger: 0 or x?
x
Let o be (-82)/(-4) + 3/(-6). Suppose 3*s - k = 5, 2*k = 2*s - 2*k - o. Let v = 0 - 1. Do v and s have different values?
True
Let t = -6 + 8. Suppose -y - t = -1. Is y at least -2/9?
False
Let w be (-10)/(-35) + (-52)/(-14). Suppose -47 = 3*g + 5*r, 3*g + 2*g + 61 = -w*r. Let a be ((-1)/(-3))/(g/(-27)). Do 1/7 and a have different values?
True
Suppose u + 12 + 12 = 0. Let j be (u/3)/((-44)/(-4)). Which is bigger: -2 or j?
j
Suppose 5*k + 2*u = k - 12, k = u - 9. Which is smaller: -2/7 or k?
k
Suppose -5*q - 12 = 8. Which is smaller: q or -0.2?
q
Let j = -4 - -7. Suppose -27 = -2*d + 45. Let x be 3/d + (-1)/j. Which is smaller: x or 1?
x
Let d be (-24)/(-3) + 1 + 0. Suppose 0 = -2*u + d - 1. Suppose -4 = 4*j + u*m, -5 = 5*j + 3*m - 4*m. Which is smaller: j or -3/2?
-3/2
Let d = -8 + 15. Let k = d + -6.2. Let m = k - 3.8. Which is bigger: 0 or m?
0
Suppose 0 = 4*w - 2 + 6. Suppose -4*l = -7*l. Suppose l = -5*x - 10, -4*n + 5 = 5*x + 19. Is w >= n?
True
Let r be 4/18 - 12/54. Which is bigger: r or 1/2?
1/2
Let z = -0.02 - -3.02. Which is bigger: z or -1?
z
Let r(u) = -u**3 + 4*u**2 - 7*u + 17. Let g be r(4). Is g equal to -8?
False
Suppose -15 = 4*l + 1, 112 = -4*c - 3*l. Is -25 equal to c?
True
Let q be (-4 + 2)/(13 + 0). Suppose -4 = -3*g + 4*o, 1 - 2 = g + o. Which is smaller: q or g?
q
Suppose -3*q = -6*q + 15. Suppose -4*b + 19 = q*h, b - 3*h - 8 = 1. Which is smaller: b or 16/3?
16/3
Let v be 0 - (2 + -2 + -2). Is v at least 2?
True
Let z be (-2)/16*2*(-6)/(-3). Which is bigger: z or 1?
1
Let w be -1*6/(0 + 2). Let z be w/(-9) - 13/21. Let y be 2/4 + 2/(-4). Which is bigger: z or y?
y
Let v = 1 + 3. Suppose v*g = 4*u + g + 19, 26 = -u + 5*g. Is u greater than 5?
False
Let g = 18 - 36. Let y be 9/g - (-2)/4. Is 3 equal to y?
False
Let d be (-3)/1*4/6. Let y = -8 + 6. Let p = d - y. Is -1 at least as big as p?
False
Let f = 4.2 - 5. Let n = 4 + -5. Let t = n - f. Which is greater: -2/9 or t?
t
Let u be (-3)/(12/(-29))*2. Let f = u - 14. Is f greater than or equal to 2?
False
Let z be (-5)/(-35) - (-1)/(-7). Is -2/27 < z?
True
Let n(h) = -h**2 + 5*h + 2. Let f be n(4). Let i(w) = 4*w + 2. Let r(k) = k - 1. Let c(p) = i(p) - 3*r(p). Let y be c(0). Is y < f?
True
Suppose -h - 14 + 48 = 0. Is 33 less than h?
True
Suppose 3*i + 3*d + 6 = -i, 4*i = -d - 2. Do i and -2/9 have different values?
True
Let y = 43 - 35. Is y < 8?
False
Let c(b) be the first derivative of -1/2*b**2 + 6*b + 2 + 5/3*b**3 - 1/4*b**4. Let t be c(5). Do t and 4 have the same value?
False
Let a = 3 - 4. Let f be 3/(-7) + (-12132)/(-378). Let h = 31 - f. Is h smaller than a?
False
Let i be 5/(-2)*16/(-10). Suppose -i*a = a - 10. Is 1 at most a?
True
Let w = -8 - -6. Let a = -230 - -915/4. Is a at most as big as w?
False
Let f = 18 - 8. Suppose 5*n + 2*w = 30, w - f = -w. Which is bigger: 3 or n?
n
Let o = 1797 + -77275/43. Which is bigger: -1 or o?
o
Suppose -s + 5*y = -2*s, -3*s = -3*y + 36. Is s < -10?
False
Let t = -0.14 - -0.07. Which is smaller: -1/4 or t?
-1/4
Suppose 0 = 5*v + v + 438. Are -74 and v non-equal?
True
Let x = 1 + -1. Let v(b) = -b + 2. Let g be v(x). Which is smaller: g or 0.1?
0.1
Let a = 94.1 + -93. Which is bigger: -2 or a?
a
Let w = 10 - 5. Let c be 1 + (0 + 0 - 1) + 2. Which is greater: w or c?
w
Let y be 2/3 + (-19)/(-3). Which is greater: 8 or y?
8
Let d = -0.11 + 6.11. Is 1 greater than d?
False
Let g(n) = 2*n - 7. Let s be g(5). Suppose -k - x - s = 3, -20 = 3*k + 4*x. Let u be (-3)/(-14) - k/(-14). Which is greater: u or 0?
0
Let h = 0.16 - 0.16. Which is greater: h or -4?
h
Let f be (2/(-3))/((-2)/(-3)). Let i be (2 + -4 - 0)/(-2). Let s be i*(-2 + 5/3). Which is greater: f or s?
s
Let q = -1 - 3. Suppose 4*b - 3*c = -17, 14*b - 4*c = 13*b - 1. Is b >= q?
False
Let q = 11 + -7. Suppose -q*a + 17 = -3*k, -5*k - 3 = -4*a + 20. Suppose h + 1 = -3. Is k bigger than h?
True
Let l be 0 - (-21 - 6/2). Let u be (-36)/l + 21/2. Which is smaller: u or 8?
8
Suppose 0 = -2*k + 4*k - 4*p - 36, -3*k = 3*p - 63. Suppose -4*r - 28 = 4*z, r - k = 2*z + 5*r. Which is smaller: -5 or z?
-5
Suppose -4*k - 35 + 15 = 0. Which is smaller: -21/4 or k?
-21/4
Suppose q - 3*q = 4. Let x = -11 + 8. Which is greater: q or x?
q
Let u(p) be the first derivative of -2*p**3/3 + p + 3. Let i be u(1). Let a be 3/9*-2 - i. Is a bigger than 1?
False
Let s = 941/37399 + -8/251. Do 0 and s have the same value?
False
Suppose 0*l - 4 = l. Suppose 4*v + 10 = 3*r, 7 = -4*r + v + 3. Is r greater than l?
True
Let u = -1177 - -3490/3. Let y = u + 14. Are -1 and y equal?
False
Let x(w) = -3*w + 16. Let h be x(12). Is h at most -20?
True
Let h = -0.4 - -0.2. Suppose 5*k - 4*l - 91 = 0, -k - 4*k = -3*l - 87. Let g be -1 + 3 - (-13 + k). Which is smaller: g or h?
h
Let l be (1/25)/((-10)/20). Suppose 3*v = 3 - 0. Which is smaller: v or l?
l
Let a = -7 - -10. Suppose 0 = -a*j + 8*j. Which is bigger: j or 1/3?
1/3
Suppose 339 = -16*f + 115. Suppose -y = -0*y + 15. Is f less than y?
False
Let w = 2215/7 - 317. Which is bigger: w or 1?
1
Let h be 34/6 + (-2)/3. Let m be (h + -3)/(2/(-3)). Is -3 <= m?
True
Let l = -1/50 - -59/450. Which is smaller: 0 or l?
0
Suppose 0*m + 5*m = -15. Let s be (-1)/(-1 - -2)*4. Which is bigger: m or s?
m
Suppose -60*n + 64*n = 4. Which is bigger: n or 1/97?
n
Let r(m) = -m**2 + 10*m - 8. Let c be r(6). Let f be (-16)/110*c - 0. Let a = -30/11 - f. Which is greater: a or 3/2?
3/2
Suppose -10 = y + 30. Let j = y + 112. Let k be (-74)/j + (-8)/36. Is -1 smaller than k?
False
Let g(d) = d - 4. Let m(w) = -3*w - 21. Let k(y) = -2*y - 11. Let f(r) = 7*k(r) - 4*m(r). Let a(v) = 2*f(v) + 5*g(v). Let c be a(9). Does 0 = c?
False
Let u be (-22)/(-1) - (-6 + 3). Are 26 and u non-equal?
True
Let x = -0.3 - -0.3. Which is greater: -3/8 or x?
x
Suppose 4*f + 4*x - 7 = -31, -x = 5. Are 1 and f non-equal?
True
Let r(l) = l**2 - 11*l + 18. Let z be r(8). Let f = 8 + z. Is 0 not equal to f?
True
Suppose -j - 6 + 2 = 0. Let f be (-1)/j - 3/(-4). Let w be f/4 - 0/3. Is -2 >= w?
False
Let c(x) = -x - 7. Let q(f) = -f. Let m(g) = -c(g) + 2*q(g). Let i be m(10). Is -4 < i?
True
Suppose -4*j = c - 2*c, j + 19 = 5*c. Let n = c + -213. Let x = 2301/11 + n. Which is smaller: x or -1?
-1
Let g be -5 + 8 - 51/15. Which is smaller: 23 or g?
g
Let z(t) = -3*t + 2. Let g be z(4). Which is greater: g or -11?
g
Let v(q) = -2*q**3 + 22*q**2 + 3*q + 5. Let j be v(11). Do 40 and j have the same value?
False
Suppose -3*w = 2*w + 120. Which is smaller: -25 or w?
-25
Suppose 3*y = -4 + 52. Suppose l = -3*l, -4*i + 5*l = -y. Suppose -3*x + 25 = -5*v, i*x + 5*v = x - 25. Which is greater: -2 or x?
x
Suppose -2*v = -7*v + 4*k - 23, k + 7 = -3*v. Let x(t) = -2*t - 5. Let a be x(v). Is -7/2 greater than or equal to a?
False
Suppose 0 = 2*y - 32 + 10. Suppose 4*c = y - 7. Is -1/3 > c?
False
Let v be ((-47)/2)/((-85)/578). Let s = -161 + v. Is -2 <= s?
True
Let k = 104 + -104. Suppose 0*c + 177 = -3*c - 4*z, -281 = 5*c + 2*z. Let u be (-4)/(-10) + 27/c. Which is greater: k or u?
k
Let p(q) = q**2 + 4*q + 3. Let c be p(-3). Which is smaller: 6/7 or c?
c
Let d = 2 + -11. Let o = d - -7. Which is greater: -1 or o?
-1
Let z(x) = x**3 - 10*x**2 - 12*x + 10. Let y be z(11). Is y less than 0?
True
Let z(s) = -s**3 - 5*s**2 + 8*s - 9. Let b be z(-7). Suppose o - 2*y + 15 = 0, -b = 3*o + 3*y - 6*y. Is -6 at most as big as o?
False
Let o be -1 + 93/(-51) + 3. Which is smaller: o or 0?
0
Suppose 4*m - t = -3*t + 10, 2*t = 2*m + 10. Is m at least as big as 0?
True
Let j be (2/(-6))/(4/8). Let o(d) = d + 