- -3. Is s > d?
False
Let t = -25 + 15. Which is bigger: -0.3 or t?
-0.3
Let s(o) = -2*o + 4. Suppose 0 = 5*i - 4*i - 3. Suppose x = 2*x - i. Let t be s(x). Is -1/2 less than or equal to t?
False
Let p be ((-2)/(-6) - -1)*(-48)/7. Which is bigger: p or -10?
p
Suppose o - 5 = -0. Let y be -14 + 13 - (0 + -2). Which is smaller: y or o?
y
Suppose 0*l = -4*o - l - 108, 4*o - 5*l + 84 = 0. Is o <= -25?
True
Let u = 9 + -17. Is u < 0.1?
True
Let p be (0 - -1)/(-12)*(-2)/(-13). Which is greater: 1 or p?
1
Let x = 0.8 - 1. Let g(z) = z**3 + 5*z**2 - 3*z - 4. Let w be g(-5). Let n be (-2)/11 + 2/w. Are x and n equal?
False
Suppose 6 + 2 = 2*p. Is p != 1?
True
Suppose 5*q - 9 = o, -q = -4*o + 2*q - 2. Is o != 0.11?
True
Let x be 18/14 + (-4 - 78/(-21)). Which is bigger: x or 1/46?
x
Suppose q + 2 = -h, 3*q + 10 = -5*h + 4*q. Let v be ((-1)/(-3))/((-1)/h). Suppose -3*t = 2*d - d, -3*t + 5*d + 18 = 0. Which is greater: t or v?
t
Suppose 0 = -2*p - 5*f - 3, 4*p + p - 18 = -4*f. Suppose 0 = h + 2*h - p. Let d = -1 + h. Which is bigger: d or -3/8?
d
Let q = 8 - 5. Suppose -2*k + 0*k + 6 = q*n, -10 = -5*n - k. Suppose -n*c = 3*c. Is -2/19 at most c?
True
Suppose 0 = -4*o + 9*o. Let k be 8/(-60)*3 + 8/(-30). Do o and k have different values?
True
Let r(j) = j - 4. Let x be r(9). Which is smaller: 1 or x?
1
Let k = 18 + -7. Let p = k + -11.2. Which is bigger: p or -1?
p
Suppose 8*u - 3*u = c - 16, -2*c + 32 = -u. Suppose -4*s + 0*s = -c. Let b be (8/42)/(s/(-6)). Which is greater: 0 or b?
0
Let s be (-3 + 16 - 1) + 1. Is 13 < s?
False
Let r be 2/6 - 4/(-6). Suppose -y + r = -2*y. Which is bigger: 1 or y?
1
Let t = 0.31 + 0.19. Is t at least -3?
True
Let d be -2 - (2 - 26/7). Let g(a) = a**2 + 4*a - 3. Let w be g(-4). Let j be w + 1 + 15/6. Which is bigger: j or d?
j
Let r(s) = -s - 4. Let w be r(-3). Let g = -61 + 304/5. Is g bigger than w?
True
Suppose 0 = 5*t - 3*s - 2*s, -s + 6 = -3*t. Let z(k) = -k**3 - 3*k**2 - 2*k - 4. Let o be z(t). Suppose -4*u - 2 = -5*u. Is u > o?
False
Let s = -179561/42 - -4272. Let n = s - -17/6. Which is smaller: -1 or n?
-1
Let d be 6/15*5 - -2. Suppose -y - 4*y + c + 25 = 0, -y = 5*c - 5. Is y less than d?
False
Let t(v) = -v**3 + 3*v**2 + 3*v + 4. Let a be t(4). Suppose -z - 3 = -a*z. Which is smaller: -4 or z?
-4
Let a = 0.13 + -0.23. Is a smaller than 0.16?
True
Let z be (2 - 4)*-2 - -1. Is z < 5?
False
Let w be ((-52)/(-10))/((-4)/(-10)). Are 0 and w equal?
False
Suppose -16 = 3*c + c. Let a(q) = -q + 9. Let p be a(5). Let n = c + p. Which is bigger: 0.1 or n?
0.1
Let h = 12 + -7. Suppose -4*c = c - f + 2, 10 = -4*c + h*f. Which is smaller: c or -2/5?
-2/5
Suppose 0 = -2*n - 3*n. Let a be 4/(-6) + n + 1. Which is smaller: 4/5 or a?
a
Let x = -0.75 + 0.05. Let l = x + -0.5. Let y = l - -1. Is 2 at least as big as y?
True
Let x = 7 + -4. Suppose w + u - 24 = -4*u, 16 = w + 3*u. Let k = w - x. Which is smaller: -1 or k?
-1
Let w = -16 + 16. Is w > 1?
False
Suppose 0 = -0*p + 4*p + 8. Which is smaller: p or 0.5?
p
Suppose -7*h - 10 = -2*h. Let y be (h/8)/(18/(-24)). Let c = -0.3 + -6.7. Which is bigger: c or y?
y
Suppose 4*c - 2*a - 16 = 0, 2*a = -2*c - 0 + 8. Let n be 86/4 + c/8. Let m = -43/2 + n. Which is smaller: m or 0?
0
Let q = 0 + -3. Let s = q + 3. Let h = 3.57 - 0.57. Which is greater: h or s?
h
Let i be 5/(-15) + (-2)/(-6). Let w = 10 + i. Let p be (-12)/w*1/3. Is p at least -3?
True
Let s = 127 + -136. Which is smaller: s or -7?
s
Let c be (-4 - 28/(-8))/2. Which is bigger: 0 or c?
0
Suppose 7*k + 0*k - 14 = 0. Are 2 and k unequal?
False
Let m = 6 - 4. Let v(l) = l - 4. Let o be v(4). Suppose o = -m*x - 2 - 0. Which is smaller: -2 or x?
-2
Let y = 960 - 950. Suppose 2*n - 14 = 10. Which is greater: n or y?
n
Let u(p) = 1. Let v(j) = j + 2. Suppose 0*z + 6 = 2*z. Let m(i) = z*u(i) - v(i). Let r be m(-5). Is 7 at most as big as r?
False
Let t = -23 + 68/3. Which is bigger: -2/3 or t?
t
Let h = -111 + 59. Let w = -258/5 - h. Which is smaller: w or 1?
w
Let r = 3602/7917 - -8/377. Let l = r + -26/35. Let x = 3/5 + l. Which is smaller: x or -1?
-1
Suppose -5*g - 18 = -2*g. Let k(d) = -d**2 - 6*d + 3. Let l be k(g). Let w = 0.1 - 0.1. Which is smaller: w or l?
w
Let h = 1 - 1. Let l be (-1)/(-4) + (-3)/(-4). Suppose -q + h = l. Is 0 at most as big as q?
False
Suppose -7*d + 12*d = 0. Let o(n) = n + 4. Let t be o(d). Is t <= 4?
True
Let s(v) = -v**2 - 4*v + 5. Let d be s(-5). Let z be -4 - (3 + 111/(-15)). Which is smaller: z or d?
d
Suppose -19*h + 1408 - 401 = 0. Is 53 at most h?
True
Suppose 2*x - 4 = 4*u, 2*u + 22 = -2*x - 2*x. Let c(p) = 5*p**2 - p + p**3 + 6*p - p. Let j be c(u). Which is bigger: j or 7?
7
Let l be ((-2)/2 + 0)/1. Let d be ((-3)/((-6)/(-8)))/l. Suppose d*u - 7*u + 6 = 0. Which is greater: 4/3 or u?
u
Suppose -9 = -4*j - 3*t + 2*t, 0 = 2*t - 10. Is j greater than 4?
False
Let q = 16 + -22. Let x be 18/q - 22/2. Which is smaller: x or -13?
x
Suppose 0*j = -4*j. Let g(q) = -2*q + 4. Let m be g(3). Are j and m equal?
False
Let d be 8/(-44) - (-6)/33. Suppose 0 = -k + 4. Is d at least k?
False
Let w be (-7)/(-3) + 4/6. Let u(h) = -h**2 - 8*h + 5. Let t be u(-3). Suppose 3*y + l = -w + 14, 4*l = t. Which is bigger: 3 or y?
3
Let f(d) = d - 11. Let b be f(4). Which is greater: b or -6?
-6
Let t = -1.097 - -0.097. Is 1/2 at least t?
True
Let l = -111 - -116. Which is smaller: 0.3 or l?
0.3
Let y = -13 - -10. Is y > -1?
False
Let l = 0 - -1. Is 3/8 equal to l?
False
Suppose -9*c = -76 + 22. Let j = -18 - -25. Which is greater: c or j?
j
Let k be (-2)/(-4) - 11/110. Which is greater: -6/7 or k?
k
Suppose 0 = 4*q + 3 + 13. Let r = q + 3. Let m = -147/4 + 37. Which is greater: m or r?
m
Let n(i) = i**2 + 4*i + 3. Let x(j) = 4*j**2 + 12*j + 10. Let f(r) = 7*n(r) - 2*x(r). Let g be f(5). Let l be (3/16)/(1/g). Is l != 0?
True
Let f = -128 - -1658/13. Which is smaller: f or 2?
f
Let y be 120/9 - (-2)/3. Is 14 not equal to y?
False
Let n = 10 + 10. Let g = n - 19.8. Let w = -1.1 - -0.1. Which is greater: g or w?
g
Suppose -3*s + 12 = -3*u, -5*u + 0*s = -s + 16. Is u less than 5?
True
Suppose -21*h + 17*h = -120. Let d be (-2)/2 + 26/h. Is d > -1?
True
Let z = 57 + -72. Is -15 greater than z?
False
Suppose 7*p = 2*p + 80. Let n be (-4)/p*(-1 - -5). Is n at least -3/10?
False
Let x = 1 + 4. Suppose 45 = -5*n - x*b, 4*n + 10 = 4*b - 2. Let w be (-10)/n - (-2)/6. Which is smaller: w or -1?
-1
Let y be 1*-1 - (-280687)/263175. Let k = -2/825 - y. Which is bigger: k or 0?
0
Suppose 0 = -4*v + 3*l + 16, -v - 2*l - 7 = -0*l. Let u be 2/(-4)*0/2. Which is bigger: u or v?
v
Suppose -2*q = -5*p - 31, 2*q + 0*q - 28 = 2*p. Which is greater: q or 5?
q
Suppose 3*i - 130 = -37. Is i bigger than 30?
True
Let c = 205/3 - 1027/15. Let h(w) = -w**3 - 11*w**2 - 9*w + 11. Suppose 0*s + 4*s = r + 6, -s - 1 = 0. Let n be h(r). Which is greater: c or n?
n
Suppose 4 = -u - 3. Let s = u - -13. Which is smaller: s or 5?
5
Let h(m) be the second derivative of -m**5/20 - 5*m**4/12 - m**3/6 - 5*m**2/2 - m. Let v be h(-5). Let a = 63/4 - 449/28. Which is smaller: v or a?
a
Let r(z) = -z**2 - 7*z. Let o be r(-7). Suppose 2*m - 105 = -3*m - 4*n, 0 = -3*m - 4*n + 55. Let i = -177/7 + m. Is o at least as big as i?
True
Suppose 0 = 5*l - 4*r - 25, 12 + 5 = 3*l - 2*r. Let s be (l - 9)*(-2)/4. Which is bigger: s or -1?
s
Suppose 0 = 4*m + 2*s - 26, m + s = 2*s - 1. Let v = m + 0. Suppose -v*p + 24 + 4 = 0. Which is greater: 6 or p?
p
Let x = -2.29 + 0.23. Let q = 0.06 + x. Is 1 < q?
False
Let v be (-1)/(-2) - 50/56. Let c = -29347/28 + 1048. Let t = v - c. Do t and -2 have the same value?
False
Let g = 2 - 2.1. Suppose 14 = -0*i + i. Let w be i/12 - 6/9. Is g at most w?
True
Let t = 46863/11 + -4257. Which is bigger: 3 or t?
t
Suppose -3*r = -8*r + 15. Suppose 2*h + r*h = 0. Is h <= -2/27?
False
Let g be 34/(4/(-3) + 0). Let l = 26 + g. Let a be -1 + 3 + 0 + -1. Which is greater: l or a?
a
Let f = -1 + 10. Let r = f - 9.2. Is r greater than or equal to 2?
False
Let x(q) = -q**2 - 4*q + 1. Let f be x(-4). Let i be (f - -1) + -4 + 3. Let w be 0/(-2) + i/4. Which is bigger: -1 or w?
w
Let q(t) = t**2 + 3*t + 3. Let i = 3 - 1. Suppose 6*l - i*l + 8 = 0. Let m be q(l). Which is greater: 0 or m?
m
Let t = 59/10 + -6. Is t bigger than 0?
False
Let t = 38 -