se
Let m(c) = -c**2 + 2*c + 3. Let d be m(3). Let v = d - 1. Which is smaller: v or -2/7?
v
Let x be -1 + 1 + (-6)/(-8). Is 0 smaller than x?
True
Let t be (-8)/16*10/1. Do t and -11/2 have the same value?
False
Suppose 5*t - 9 = 3*b + t, 5*t = 5*b + 15. Let k(a) = -3*a - 4. Let j be k(b). Suppose -2*n + 9 = -q + 1, 0 = 5*n + j*q + 10. Are 1/2 and n non-equal?
True
Let b(j) be the second derivative of j**5/20 + j**3/6 + j**2/2 - 3*j. Let f be b(0). Which is smaller: 2 or f?
f
Let z = 632524153/3112140080 + 6/1531565. Let s = z + -2/127. Let b = s - 53/112. Which is bigger: b or -1?
b
Let g = -13.57 + 14. Which is greater: g or 1?
1
Suppose 4*a + 6 = 2*a - 3*r, 4*a + 8 = -4*r. Let v be 1376/(-7) - (2 + -2). Let i = -197 - v. Which is bigger: a or i?
a
Let y be (0 + -1)*(-3 + 3). Suppose 0 = 4*x, 5*t + 5 = -y*x + 2*x. Let f be (-2)/(-22)*9 - 1. Is t at most f?
True
Let f = -2.11 + 0.11. Let g = -5.7 + -1.3. Let j = g - -7.1. Which is bigger: j or f?
j
Suppose 2*w + 22 = -5*o, 0*o + 4*o + 19 = -3*w. Let u be 0/(-1) + 139/(-3). Let t = -46 - u. Is t < w?
False
Let t = -53 + 36. Is t smaller than 1?
True
Suppose 4 = -2*c + 5*s + 6, s - 14 = -2*c. Which is smaller: c or 8?
c
Let f = 0.8 + -0.8. Let i(v) = -14*v**2. Let r be i(-1). Let h be r/(-20) - (-1)/(-5). Which is smaller: f or h?
f
Suppose -z + 3 = 2*z. Let t = -49138 + 8107894/165. Let m = -14/15 + t. Which is smaller: z or m?
m
Let c = 5 - 7. Let u(j) be the second derivative of j**5/20 + j**4/6 + j**3/3 + j**2 - 2*j. Let s be u(c). Which is bigger: 0.2 or s?
0.2
Let f = 27/52 - 1/52. Let g be (-3)/6*-1*-2. Let o be (-3)/(g - -2) - -3. Which is bigger: o or f?
f
Let q(l) = 4*l + 13. Let i(w) = -5*w - 14. Let v(y) = 3*i(y) + 4*q(y). Let f be v(-7). Let z be f*((-3 - -1) + 1). Is z >= -4?
True
Let x(s) = 10*s. Let l(m) = 21*m. Let y(r) = -6*l(r) + 13*x(r). Let v be y(-1). Is v less than or equal to -4?
True
Suppose 4*m - 4*i + 40 = 0, -5*m - 2 = -6*m - 2*i. Which is smaller: m or -1?
m
Let y be 348/(-144) - (-1)/(1/4). Is 2 <= y?
False
Suppose 290 = -12*t + 2*t. Which is bigger: -28 or t?
-28
Let w = -13 - -6. Let p = 9 + w. Suppose -p*q - 4 = -q. Which is smaller: -6 or q?
-6
Let w = 0.3 - -1.7. Let h = -2 + 1. Do w and h have the same value?
False
Suppose 1 = -3*b - 5*c, -b - 3*c + 7 = -5*c. Suppose b*k + 27 = 30. Do k and 2 have the same value?
False
Let m be -2 - (2 - 3)*8. Suppose n + 12 = 3*n. Let b = m - n. Is 2/15 > b?
True
Let s = 1459 - 21928/15. Let v = -16/5 - s. Which is smaller: v or -0.3?
v
Let n(i) = -2*i - 5. Let b be n(-6). Let a(x) = -2*x + 9. Let k be a(b). Let s(y) = -y**2 - 6*y - 7. Let l be s(k). Is -1 less than l?
False
Let j = 132.5 - 133. Which is smaller: j or 17?
j
Suppose 1 = 3*o + 7. Let d = 1222/9 + -136. Which is greater: o or d?
d
Suppose 5*c - 83 = 2*z, 0 = 6*c - 3*c + 5*z - 56. Is 19 >= c?
True
Suppose 3*k = k. Which is greater: k or -14?
k
Let c(f) = -f + 13. Let k be c(12). Let v = -0.04 + 0.08. Let d = v + -0.04. Is k >= d?
True
Let h = -62 - -67. Is 2 at most as big as h?
True
Let s be 8/20 + 3/5. Is s greater than or equal to -2/5?
True
Let c = -9 + 1. Let n = c + 39/5. Which is smaller: n or -1?
-1
Suppose 27 = 11*m - 8*m. Let t be (47 - m)*1/2. Is 20 less than or equal to t?
False
Let y = -345 - -5862/17. Which is bigger: y or -1?
y
Let m be ((-4)/5)/((-136)/20). Do m and -3 have the same value?
False
Let x be 2 - 1/2*0. Suppose v = x*v. Suppose -18 = -3*a - 3*h, -h - 2 + 6 = -a. Is a smaller than v?
False
Let i = -0.01 + -1.99. Let v = 18 - 13. Suppose -w + 9 = -v*x - 17, 0 = 5*w - x - 10. Is i at most w?
True
Let p = -69 - -71. Which is bigger: p or 11/5?
11/5
Suppose 0 = 2*i + i. Let j be (-4)/(-10) - 378/495. Is i at most as big as j?
False
Suppose -3*l + 3 = 6. Let c = -57 + 628/11. Is c bigger than l?
True
Suppose f - 4*x = 12, -10 + 1 = -4*f + 3*x. Suppose -5*l + 5 = -f. Let i = 122 - 612/5. Is l != i?
True
Let h = -0.05 - 7.95. Let g = h + 6. Which is smaller: g or -3?
-3
Suppose 0 = t - 4*w + 8 - 21, 2*t = -3*w - 7. Which is greater: t or -0.02?
t
Let m = 6 - 3. Suppose 0 = 2*y + m - 11. Suppose -d + 6 = 5*g + 25, -5*d - 8 = -y*g. Is g greater than or equal to -2?
False
Let t be -1 + 20/6 + -3. Let l be (-2 + 1)/((-1)/(-3)). Is l equal to t?
False
Suppose 0 = -u + 2, -5*w - 2*u - u = 4. Let l be w/(-6) - (-32)/(-24). Which is smaller: 0 or l?
l
Let n be (-14)/(-42) - (-20)/(-33). Which is smaller: n or 0?
n
Let b = -0.29 + 0.09. Is 4 > b?
True
Let v be (-4 - (-3 + 1))*-1. Let b be (1 - 0) + 0 + v. Let i = b - 0. Which is greater: 2 or i?
i
Suppose -y + 2 + 1 = 0, -z + 4*y = 8. Let t(n) = -n + 2. Let k be t(z). Let v be (-8)/(-4) + 1*-4. Is v at most as big as k?
True
Let l = -28 - -28.1. Is 22 greater than or equal to l?
True
Let y be (4/(-6))/(4/6). Let k(b) = b**3 + 6*b**2 - 6*b + 8. Let r be k(-7). Let n be r + 0 + (-8)/10. Are y and n nonequal?
True
Let c = -1219/54 + 45/2. Suppose 8 + 0 = 4*s. Let a be s - 2*3/6. Which is smaller: c or a?
c
Let x(o) = o**3 - 2*o**2 + 1. Let w be x(1). Let t = -1 + -1.2. Let v = t + 2. Is w at least as big as v?
True
Let w be (-2)/(-26)*(0 + 1). Is -1 less than or equal to w?
True
Let r = 10 - 8. Let g be (r - -1)*2/(-6). Is 2/11 equal to g?
False
Let s = 42 - 41. Let i = 10251041/24913240 + -6/56621. Let w = 1/88 - i. Which is smaller: w or s?
w
Let t be ((-10)/12)/1*2. Let g = -8 + 15. Let o(f) = -f**2 + 7*f - 2. Let w be o(g). Which is smaller: w or t?
w
Let k = 79315/63 + -1259. Is k at most as big as -1?
False
Let x be (0 + 1)/(2/14). Suppose -49 = -30*a + 23*a. Is x at most as big as a?
True
Let m = 53/114 + 2/57. Suppose -1 = 3*c - 7. Does m = c?
False
Let g(y) = y + 6. Suppose 19 + 9 = -4*c. Let j be g(c). Is -3 < j?
True
Let r = -85 + 335/4. Let z = 289.9 - 290. Is z at most r?
False
Let k = 4.3 + 0.7. Let p = k + -6. Is -0.6 greater than p?
True
Suppose 9*s = 4*s - 30. Let z be (-2)/3 + (-22)/s. Let i be z/(-2)*12/(-45). Which is smaller: i or 0.1?
0.1
Let i = 111 + -110.98. Is -7 >= i?
False
Let x be (-1 - (2 - 1))/2. Let c = 149 - 1051/7. Is x at most as big as c?
False
Suppose s - 3*s - b = 7, -s = b + 6. Let q be 65/10*(-8)/45. Let x = q - -14/15. Which is greater: x or s?
x
Let m(f) = 13*f - 5 - 1 - 12*f. Let q be m(8). Is q at most 2?
True
Let s = 100 - 95. Is 32/5 less than s?
False
Let f = -96125 - -93817987/976. Let z = 3/61 - f. Is 1 less than z?
False
Suppose 58 = -5*r - 4*i, r + i + 42 = -3*r. Which is bigger: r or -9?
-9
Let p(z) = -z**2 + 4. Let t be p(-3). Let f be 2/(-20) + (-3)/t. Which is smaller: f or 2?
f
Let s = 41/3 - 13. Are 2 and s equal?
False
Let z be (-10)/(-4)*(-16)/(-5). Suppose 4*v - 2*l - z = 0, -5*v + l - 2 = -9. Which is bigger: v or -1/4?
v
Suppose -v = v. Let o = -277/2 - -138. Is o at least as big as v?
False
Let t = 114 - 114.69. Let w = -0.11 + t. Let v = -3.8 - w. Which is greater: 1 or v?
1
Let l = -258 + 417. Let s = -633/4 + l. Which is smaller: -0.1 or s?
-0.1
Let q = -245 - -4159/17. Let j = q + 53/102. Let y = 11 - 11.1. Are y and j nonequal?
True
Suppose 0 = -4*a - 5*w + 33, 3*a - 1 = 2*w + 41. Let l(m) = m**2 - 12*m + 3. Let u be l(a). Are -2 and u unequal?
True
Suppose -4*i = -11 + 59. Is i > -12?
False
Let i = -211 + 288. Is 77 bigger than i?
False
Let t = -3 - -10. Let z = 15 - t. Let g = -6 + z. Which is smaller: g or 0?
0
Suppose -2*h = -0*h - 2*o, -4*o + 3 = -h. Which is smaller: h or 0?
0
Let s = 1 + -0.9. Let i = 59/152 - 1/76. Which is bigger: s or i?
i
Let y(k) = 2*k**3 + k**2 - 3*k - 5. Let n(x) = -3*x**3 - 2*x**2 + 5*x + 11. Let z(v) = 3*n(v) + 5*y(v). Let p be z(0). Let m = p + -7. Is m < 3?
True
Let x = -2 + 3. Let y be (17 - x)*(-1)/(-2). Let h(l) = -l + 8. Let d be h(y). Is -2 equal to d?
False
Let r be (-12)/(-9)*(1 + -4). Is r > -4?
False
Let w(s) = -s**3 + s**2 + 2*s - 1. Let l be w(2). Let i = -452/3 - -150. Which is bigger: i or l?
i
Suppose 3*n + 5*d + 19 = 0, n - 3*d = 2*n + 13. Which is bigger: n or 3?
3
Suppose -2*m - 4*l = -50, -l + 86 = 3*m + 16. Are 23 and m non-equal?
False
Let g = 11 - 10. Let y be (-6)/(2/g) - -2. Which is smaller: y or -3?
-3
Suppose 0 = -0*j - 3*j. Let t = j - 0. Suppose -x + 4*c + 23 = t, 5*x - 2*c = -c + 20. Which is greater: x or 4?
4
Suppose -3*z + 26 + 109 = l, 0 = -4*z + 5*l + 180. Do 44 an