-7). Let a be (-1)/(-3) + 8/f. Is 1 smaller than a?
False
Let a be ((-1)/(-10))/(2/12). Let s be (1 - -2)/(9/6). Suppose -4*o = -6*o + s. Is a at most o?
True
Suppose 3*t + 67 = 2*g, 4*t - 2*g + 3*g = -93. Are -2/5 and t unequal?
True
Let o = 12 + -11. Let s be (0 - 5)*(o + 0). Is -7 greater than or equal to s?
False
Let x(s) = 2*s + 3. Let z be x(-2). Let o be 1*-1 + (-10)/30. Do z and o have different values?
True
Suppose -3*o - 2*b = 1 + 1, -5*o = -2*b - 18. Suppose o*z = z + 1. Let q = -173/1260 - -1/252. Which is greater: z or q?
z
Let v be (-21)/(-15) + 1/(-1). Is v smaller than -1?
False
Let x be 0 - -1 - (10 + -3). Let q be x*16/(-12)*1. Is q equal to 17/2?
False
Suppose -3*n = n - v - 36, 5*n = v + 45. Is 7 > n?
False
Let g be (-33)/(-9) + (-1)/(-3). Suppose 0*v - 32 = -g*v. Which is smaller: 7 or v?
7
Let i(o) = -o**2 - 2*o**2 + 2*o**2. Let q be i(2). Which is greater: q or -3?
-3
Let n = 3 + 0. Suppose -n*x = -4*x + 1. Which is smaller: x or 1/4?
1/4
Let s = -2 - -4. Let i(z) = 2*z**2. Let n be i(1). Is s smaller than n?
False
Suppose -3*n - 22 = -5*n. Let w(z) = z**2 - 10*z - 7. Let x be w(n). Suppose x*p = 4*i + 20, p + i = 5*i + 17. Are 5 and p nonequal?
True
Let z = 11.63 + -11.5. Is -1 less than z?
True
Suppose -7*c - 6 = -4*c. Let z(l) = l - 2. Let x be z(c). Is x >= -4?
True
Let u = 1 - 0.9. Let p = 46 + -49. Is p greater than u?
False
Let r = 90 + -103. Which is smaller: -8 or r?
r
Let u(z) = 2*z**2 + 30*z + 6. Let g be u(-14). Which is smaller: -23 or g?
-23
Suppose 3*h - h = -8. Let f be h + 6 - 1*9. Are f and -7 unequal?
False
Let x = 2 - 2. Suppose x*o = -5*o. Is o greater than or equal to 0.06?
False
Let t = 52 - 103/2. Let v = -10 + 18. Let x be 3/(-12) + 18/v. Is x less than t?
False
Suppose 2 = -5*l + 7. Which is bigger: l or 3?
3
Let m = -0.73 - 0.07. Let r = 0.6 + m. Let k = 0.3 + -0.4. Is r bigger than k?
False
Let y be (21 - 25) + (-26)/(-5). Let g be ((-2)/(-10))/(12/15). Are y and g equal?
False
Let q = 0.18 - 0.18. Do -0.03 and q have different values?
True
Let o be (6 - 9) + (-4)/(-2). Is o >= 1/18?
False
Suppose -4*y - b = -52, 0*b - 8 = -2*y + 4*b. Let v = y + -12. Which is greater: 2/31 or v?
2/31
Let w = 137 - 81. Do 56 and w have different values?
False
Suppose -26 = 2*i - 2*o - 0, -4*i - 47 = -3*o. Let y be (45/(-20))/(3/i). Suppose 0 = y*d - d. Is d != 2/9?
True
Let x(m) be the first derivative of -2 + 1/2*m**2 + 8*m. Let b be x(-5). Do b and 3 have the same value?
True
Suppose 0 = 25*i - 28*i - 3. Are -1 and i non-equal?
False
Let i = -25174/119 - -1578/119. Let r = 198 + i. Which is greater: r or 0?
0
Let q be (-87)/12 - 3 - 1. Let c = 35/4 + q. Do c and -4 have the same value?
False
Suppose -4*a + 20 = -32. Is 10 not equal to a?
True
Let a(q) = -q**2 + 4*q + 13. Let d be a(6). Let t(w) be the second derivative of -w**3/6 + 3*w**2/2 - w. Let x be t(3). Which is bigger: d or x?
d
Let k = 28.6 - 29. Which is smaller: k or 0.4?
k
Suppose 4*b - 2*t + 0*t = -14, -5*b - 4*t + 15 = 0. Let h = -0.123 - -0.143. Is b less than h?
True
Let v be -18 - -14 - 0/2. Suppose 3*f + 3 + 6 = 0. Which is smaller: f or v?
v
Let t = 1 - -2. Suppose -t*l + 13 = -5*h, -5*h - 5 = 5*l - 0. Let u be (-8)/(-6)*15/(-25). Is h >= u?
False
Let k = 11 - 15. Let a be (-8)/12*6/k. Which is bigger: a or 5/11?
a
Suppose -348 = 8*l - 20. Which is bigger: l or 2?
2
Suppose 0 = -4*d - 2*d - 84. Is -14 equal to d?
True
Let g be 4/6 + (-2)/3. Is g at least as big as -2/3?
True
Let p(s) = s - 8. Let k be p(7). Let f = 2573/8 - 322. Which is bigger: k or f?
f
Let r(d) = d**2 + 34*d + 101. Let m be r(-30). Which is smaller: -3 or m?
m
Let o(n) = n + 10. Let c be o(-8). Suppose -3*k - 2*k + s + 21 = 0, -5*k - c*s + 33 = 0. Do k and 5 have different values?
False
Let b(z) = -z**3 - 6*z**2 + 8*z + 15. Let q be b(-7). Let p(t) = -7*t - 5*t**2 + 2*t**2 + 4*t**2 - 9. Let v be p(q). Which is smaller: -0.3 or v?
v
Suppose -3*y - 2*g - 4 = -y, 0 = -4*y - 3*g - 7. Let f be (8/12)/(1*2/(-3)). Is y at least f?
True
Suppose -k + b = -25, -k + 5*b = -15 - 6. Let o be 111/(-39) - 4/k. Let t be 1/o + (-19)/(-3). Is t less than 6?
False
Let q be (-3)/3*(-1 + 1). Which is bigger: q or -2?
q
Let v(g) = -g**3 + 6*g**2 - 5*g + 2. Let b be v(5). Suppose q - b*u + 7 = 0, 5*q + 0*q - 2*u - 5 = 0. Let k be -2 + (5 - q) + 2. Which is bigger: k or 3?
3
Let t be (-6)/20*8/12. Let q(o) = -2*o**2 + 1. Let r be ((-5)/2 + 3)*2. Let y be q(r). Is y < t?
True
Let a be 2/(-4)*-2 + -3. Let i be (-2 - a - -1)/(-1). Which is smaller: -3 or i?
-3
Let w = 3 - 4. Let p be (-6 - -1)*(w - 0). Suppose -l + p*x = 3, -3*l + x + 5 = -0*x. Is l < 1?
False
Let a(k) = k - 3. Let z be a(11). Suppose 15 = -3*f - 3*s, 0 = 5*f - s - 1 + z. Which is smaller: -1/3 or f?
f
Suppose 0*p = 4*p. Let o be ((-5)/15)/((-26)/(-6)). Which is smaller: p or o?
o
Let h = 0.5 + 0.3. Let o = -0.9 + h. Which is smaller: o or 1?
o
Let n = -51 - -50. Is 0.04 bigger than n?
True
Suppose -t - t = -486. Let r = -1704/7 + t. Is 0.2 equal to r?
False
Let b(z) = z**3 - 3*z**2. Let j be b(3). Let c be ((-2)/4)/((-1)/(-2)). Let f be 1*(j + c - 0). Is 0 smaller than f?
False
Let a be 14/6 - (-2)/(-6). Let m be (0 - 2/2)*-4. Suppose -b - m = -5*q, -16 = -4*b - 5*q - 7. Which is greater: b or a?
a
Let h be 6/(0 + 12/(-8)). Which is greater: -2 or h?
-2
Let k = -1 + 1. Let q = k + 0.1. Let y = -15 + 15. Do y and q have different values?
True
Let a(l) = 13*l - 27*l**2 + 16*l**2 + 7 + 13*l**2. Let m be a(-6). Are m and 1 equal?
True
Let y(d) = d**2 - d - 1. Let z be y(3). Let j(w) = -w + 4. Let q be j(z). Let v be ((-1)/3)/(q/2). Which is smaller: v or 1?
v
Let m = 9 + -4. Suppose -76 - 3 = 2*s + m*j, -3*j + 71 = -2*s. Let l = 147/4 + s. Are 2/7 and l equal?
False
Let c = 4 + 0. Let x(t) = t**2 - 10*t + 13. Let o be x(9). Suppose 0 = q - o*q + 15. Is q greater than c?
True
Let i = -99 - -54. Let x be ((-62)/(-4))/(27/78). Let w = x + i. Which is bigger: -1 or w?
w
Let a be -1 - 24/(-14) - 1. Let c = 0.27 + -9.27. Let t = 8 + c. Which is greater: t or a?
a
Let h be ((-7 - -7)*1/(-3))/(-1). Is 5/27 >= h?
True
Let l be 1/(0 - (-3)/(-36)). Which is bigger: l or -21/2?
-21/2
Let y(h) = 5*h**2 - h - 6 + 1 + 2*h**2 + 3. Let q be y(-1). Which is bigger: q or 8?
8
Suppose 2*x + p = 5*x - 24, -2*p - 30 = -4*x. Is 10 >= x?
True
Let o = -1.7 + -0.2. Let a = o + 2.9. Is -1/3 equal to a?
False
Let q be 1*(-1*4 + 1). Suppose 4*o - 10 = -l, 8*o - 4*o - 4*l = 0. Let b(j) = -2*j + 1. Let y be b(o). Are q and y equal?
True
Suppose 4*y - b = -44, y - 5*b = -3*y - 60. Which is greater: -21/2 or y?
y
Let v = 10 - 14. Let f(c) = c + 4. Let p be f(v). Which is smaller: p or -4/5?
-4/5
Suppose -2*f + 16 = 4*a, 0 = f - 4*f + 4*a - 16. Suppose -m = 3*o + 24, -2*m - 123 = 2*m + 3*o. Let b = m - -166/5. Are b and f nonequal?
True
Let p be (16 - 10) + (-4)/(-2). Let i be 6/((-30)/p + 3). Which is smaller: i or -7?
i
Let a = -3 - -3.1. Let z = -4077/11 + 371. Is z at least as big as a?
True
Let j(g) = 2*g + 17. Let w(s) = s + 9. Let c(m) = 6*j(m) - 11*w(m). Suppose 3*i = 4 + 2, -3*r = -5*i + 22. Let k be c(r). Is k >= -1/5?
False
Let l be (((-2)/(-6))/1)/(-1). Is -1 greater than l?
False
Let y = 20 + 2. Let x = 89/4 - y. Is 1 equal to x?
False
Suppose 4*i - 22 = -6. Suppose 2*v - 26 = o + 2*o, -5*v = i*o + 50. Which is greater: o or -11?
o
Suppose -j + 6 = -2*v, j + v = 6*v + 12. Suppose 0 = -h - h - 4*u - 4, 2*h + j*u = -6. Is h > -4?
False
Let a be 14/(-16)*(-4)/14. Are a and -2/7 nonequal?
True
Let g = -24 + 76/3. Is 0 smaller than g?
True
Let o be (-12)/78 - 4/(-26). Suppose o = 3*h + x - 3, 1 = 4*h - 5*x + 16. Is -5 < h?
True
Let k(r) = -7*r - 3. Let h be k(-2). Suppose -q - 3*i - i = -5, -2*i = -q + h. Which is bigger: q or 0.1?
q
Let r = -16 + 7. Let c = -11 - r. Let q be 9/6*1/(-6). Which is smaller: q or c?
c
Let x = -270/497 - 2/71. Let t(r) = -r**2 - 10*r + 3. Let q be t(-10). Let h be 1/(-1)*-3 - q. Which is smaller: x or h?
x
Let b = 128 - 527/4. Which is greater: -3 or b?
-3
Suppose -3*z = -0*z. Suppose -2*w = 3*w + 5. Let o be (-4 + 1)*w/(-3). Which is smaller: o or z?
o
Let c = 93/194 - -2/97. Let d = 27 - 15. Suppose -g + j = 5*j + 16, g = 3*j + d. Which is bigger: g or c?
c
Let s = 1 - -1. Suppose -s*v + 5 - 3 = 0. Is -2/5 smaller than v?