s smaller: c or 1?
c
Suppose -2*j - j = 0. Let s be j/(0 + 1 + 0). Which is smaller: s or 2/15?
s
Suppose -2*o = -z + 3*z - 6, 0 = 5*z - 4*o - 6. Let u = 1 + -2. Let n = u - -0.8. Is n bigger than z?
False
Let t(i) = i**3 + 11*i**2 - 9*i + 6. Let o be t(-12). Is o bigger than -30?
False
Let d(k) = 2*k + 8. Let x be d(-4). Let n = 11/47 + -281/799. Is x at least n?
True
Let x = -227 - -2500/11. Which is greater: 1 or x?
1
Let l be 19*3*1/3. Are l and 19 equal?
True
Let d(s) = s**3 - 8*s**2 + 2*s + 5. Let i be d(7). Let n be (2/10)/(48/i). Does n = 1?
False
Let g = -169/5 + 34. Is g at most 0?
False
Let m = 327/392 - 7/8. Is 1 less than m?
False
Let c be 35/(-6) - (-3)/6. Let a = c - -6. Which is smaller: a or 2?
a
Let d = -12 + 28. Let y = d - 110/7. Is y smaller than -1?
False
Let p be (6/(-10) - 0)*1. Let q be (-45)/(-75) - (-32)/5. Suppose -3*o + q*o = -8. Which is bigger: o or p?
p
Let a(q) = -q**3 + q + 4. Let o be a(2). Is o bigger than -35?
True
Let q be 8/(3/(-2) - -2). Let p be (-2)/(-1) - q/6. Let s(f) = -f**2 + 2*f + 2. Let d be s(3). Is d smaller than p?
True
Let x = 0.09 + -0.17. Let c = x + -0.02. Is c smaller than -0.1?
False
Let b = -50 + 43. Which is smaller: -4 or b?
b
Let m = -0.37 - -0.07. Let a = -0.1 - m. Let z = 0.2 - 0.2. Which is smaller: z or a?
z
Suppose 1 + 3 = -2*l - 2*j, 5*j = l + 26. Let y be l/4*14/(-42). Is y < 1?
True
Let j be (-5 + 4)*(1 - 0). Let g = 2/11 + -19/44. Is j <= g?
True
Suppose -2*x + 35 - 31 = 0. Is -11 greater than x?
False
Let s(y) = y**2 - y + 6. Let l be s(0). Let w = -5 + l. Is w at most 4/5?
False
Suppose 1 = -3*l - 4*r - 21, 0 = -4*l - 3*r - 20. Let f(x) = 4*x. Let q be f(-1). Is l greater than q?
True
Let f be (-12)/10*10/2. Let i(m) be the second derivative of m**3/6 + 3*m**2 + m. Let v be i(f). Which is smaller: v or -4/7?
-4/7
Let v = 0.028 - -2.272. Let u = -0.3 + v. Is u at most as big as -1?
False
Suppose -5*g - 2*s - 98 - 41 = 0, 0 = -2*g + 3*s - 67. Is g != -29?
False
Let g = -0.9 + 0.6. Let x(s) = 4*s**2 - 3*s + 7. Let q(t) = 5*t**2 - 2*t + 7. Let a(p) = 5*q(p) - 6*x(p). Let w be a(-9). Which is smaller: g or w?
g
Let m be (-745)/(-14)*8/90. Let s = 40/9 - m. Let v = 1.955 - -0.045. Which is bigger: s or v?
v
Let y = -4413/5 + 879. Is y != -4?
True
Let i be ((-6)/4)/((-30)/(-8)). Let v(s) = 2*s - 1. Let b be v(-3). Let y be b/(-4) - (-6)/(-8). Which is bigger: y or i?
y
Let t be 2*(-3)/(3/1). Let m(d) = d + 1. Let y(z) = -2*z**2 + 4*z - 3. Let v be y(2). Let i be m(v). Is t equal to i?
True
Let l(d) = -d - 4. Let t be l(-5). Is 1/14 less than or equal to t?
True
Suppose 46 = 3*s + 5*b - 10, 0 = 3*b - 12. Let a = 22 - s. Which is smaller: a or 9?
9
Let u = 2 + 2. Suppose m = -k + 4 - 11, -28 = u*m - k. Let p be 6/21 + 9/m. Which is smaller: 2/15 or p?
p
Let n = 1436/4081 - 30/77. Which is greater: n or 0?
0
Let l be 2/11 + 3447/99. Which is bigger: l or -1?
l
Let l be (-1)/(-4) - (-75)/(-12). Let d be (l/10)/((-11)/55). Is -2 > d?
False
Let h be (-3)/((81/6)/9). Which is bigger: h or -9/13?
-9/13
Let g = 223 - 183. Is 41 less than g?
False
Suppose -3*o = o - 48. Suppose 0*q + 4*q - o = 0. Let c = -2 - q. Is c at least as big as -0.1?
False
Let h = 43 - 22. Let p = -26 + h. Which is bigger: -6 or p?
p
Let v = -4 - -2. Let f = v - -1. Suppose 15 = 5*k - 5*n, 6*n = -3*k + n + 1. Which is smaller: k or f?
f
Let k be 3 + (-76)/16*-9. Let i = 46 - k. Which is smaller: i or -6?
-6
Let q be ((-20)/8 + 3)/2. Which is bigger: 0.4 or q?
0.4
Let m be 2/2 - (-9405)/(-9375). Let x = 1188/19375 - m. Do x and 1 have the same value?
False
Suppose -47 = -3*v + 22. Are 23 and v non-equal?
False
Let v = -155/51 - -3. Is 1 at most as big as v?
False
Let l be (-61)/8 + 5/(-20). Let w = 8 + l. Is w at most 1?
True
Suppose 4 = 2*k - 6. Which is smaller: 3 or k?
3
Let p be (-4)/10 - 6/10. Let c = 72 + 68. Let m be (-2)/5 - (-96)/c. Which is smaller: m or p?
p
Suppose -c - 5*j - 15 = 0, -3*c + 3*j + 6 + 3 = 0. Suppose 2*q - 4 + 14 = c. Let x be (2/q)/((-2)/(-10)). Is x >= -2?
True
Let a = 74 - 73. Let v = 0.05 + -8.05. Are a and v nonequal?
True
Let z(y) = -y**3 + 16*y**2 - 14*y - 16. Let u be z(15). Let m = 3330115/232 - 14354. Let f = m - 2/29. Is u equal to f?
False
Let f(p) = -17*p + 2. Let t be f(5). Let n = 911/11 + t. Which is bigger: n or 0?
0
Suppose 8 = 2*h + 8. Is h less than -10/7?
False
Suppose 0 = -0*w + w. Suppose -25 = -3*v + n, -v - 2*n + 13 = -w*n. Let d be (-1)/(-6) + (-3)/v. Is d greater than or equal to 1?
False
Let h = -228/5 + 18017/395. Is 0 >= h?
False
Let r = 1345/3544 - 2/443. Let c be (-4)/4*(-2)/(-2). Is c >= r?
False
Let b(o) = o**3 + 6*o**2 + 4*o - 4. Let z = 13 - 18. Let x be b(z). Is x smaller than 3?
True
Let y(s) = -s**2 + s + 1. Let a be y(1). Let z(g) = g**3 + 5. Let w be z(0). Let j be (w - 4)/(a*-1). Is j > 2/7?
False
Suppose -8 = m + 3*m. Do -2 and m have different values?
False
Let g = 59 - 63. Is -24/5 at most g?
True
Let j = -2 - -3. Let x = -0.57 - -0.5. Let s = x - 2.93. Which is smaller: s or j?
s
Let g be ((-1)/2)/(1/(-4)). Suppose m - g = -0. Let t be 3/2 + (-1)/m. Is 1 smaller than t?
False
Let h be (1/2)/(5 + -16). Is h less than or equal to 1?
True
Suppose 2*k = 5*k - 12. Let j be 6*(2 - k/3). Let g be 1*-3 + (7 - j). Which is greater: g or -1/2?
g
Let x = 461 - 458. Let j be 4 - 4/6*3. Is x less than j?
False
Suppose 3*r = 3*d - 8*d + 20, -2*r + 4*d - 16 = 0. Let j = 8.99 - -0.01. Let z = j - 9. Do z and r have different values?
False
Let a = 31 + -65/2. Suppose -2*y - 2*y + 4 = 0. Which is bigger: y or a?
y
Let t = 45 + -20. Suppose 4*n - 3*z + t = 2*z, 2*n - 5*z + 25 = 0. Is 1/6 <= n?
False
Let t = 8 - 19. Let j = 10 + t. Which is smaller: j or -10?
-10
Let k(l) = l**2 - 8*l - 3. Let q(t) = -3*t**2 + 24*t + 9. Let h(x) = -11*k(x) - 4*q(x). Let v be h(9). Let f = -9 - -10. Which is smaller: f or v?
f
Let s be (-4)/10 + 18/20. Let r be (-8)/(-6) - (-30)/45. Which is bigger: r or s?
r
Let u(x) = -x**2 + 2*x. Let z be u(3). Let s be 6*-2*(-2 - z). Which is smaller: -0.1 or s?
s
Suppose 4*v = 6*v - 252. Let q = -66 + v. Let i be (-18)/q*4/(-6). Is i < 2/5?
True
Let q be (-3)/2*8/(-34). Is q > -1?
True
Let p be (-20)/9*3 - -4. Which is greater: -2 or p?
-2
Let c(w) = -4*w - 1. Let v(i) = -1. Let n(t) = c(t) + v(t). Let u be n(-2). Suppose -3*q + u*q = -3. Is q less than 1/16?
True
Let w(n) = -n**2 + 7*n - 7. Let q be w(6). Let f = q - -4. Is f at most 7/4?
False
Let t = -210 + 640/3. Which is greater: 3 or t?
t
Let r be 2/6 + (-43)/3. Let b be 1/(-2) - r/(-4). Let w be b/15 - (-6)/9. Is w not equal to -1?
True
Let n = 3 - -1. Let w be (-7)/n - (-3 + 1). Is w bigger than 2/5?
False
Let p(i) = 3*i**2 - 3*i**2 + i**2. Let q be p(2). Suppose 0 = 2*h - q + 2. Which is smaller: -2/7 or h?
-2/7
Let u = -433009/7 - -61628. Let g(w) = 4*w**3 + 2*w**2 + w - 3. Let c be g(-4). Let k = u - c. Which is greater: k or 2?
2
Let r(d) = d**3 + 12*d**2 + 14*d + 12. Let m be r(-11). Let k be (-6)/m + (-36)/77. Which is smaller: 0 or k?
k
Let l = 0 - -5. Suppose -16 = l*j + 9. Which is smaller: -4 or j?
j
Let k = 157 - 11459/73. Which is greater: 0 or k?
k
Let r be (18/14)/((-20)/14). Does -2 = r?
False
Let q = -1 - -0.7. Let c = 4 - 4.4. Let w = q - c. Is -1/2 at least as big as w?
False
Let k = 11 - 8. Let c be (-3)/(-2) - (-2)/4. Let a be 2/c*1 - -1. Are a and k non-equal?
True
Let o = 22 + -1. Which is smaller: o or 20?
20
Let a be ((-80)/15)/8 + (-20)/6. Which is bigger: -6 or a?
a
Let l = 2 - 0.5. Let v = 0.5 - l. Let y = -1.2 - v. Does 1 = y?
False
Let j = -22 + 12. Let n(w) = w**3 - w**2 - 1. Let b(r) = -5*r**2 + 3*r. Let m(y) = b(y) - n(y). Let z be m(-4). Is z greater than or equal to j?
False
Let w = -3 + 3.1. Let x = -0.5 - w. Which is bigger: -0.2 or x?
-0.2
Let m be (-3)/(-4) - (-39)/12. Suppose 40 = -m*t + 3*n - 7*n, -n + 1 = 0. Let k = t + 6. Is -3 >= k?
True
Let h(g) = -g**3 + 4*g**2 + g - 1. Let f be h(4). Let b = -12 + 15. Is f at most b?
True
Let f(n) = 2*n**2 + 8*n - 12. Let m be f(-5). Which is smaller: m or -5?
-5
Suppose 4*h = -66 - 86. Is h smaller than -39?
False
Let o be ((-65)/35 + (-2)/14)*-2. Which is smaller: 3 or o?
3
Let w = 1040/3 - 352. Let k = 14/3 + w. Is -1 != k?
True
Let q = 7 + -10. Let p(t) = t**2 - t - 3. Let n be p(0). Is q at most n